Ecuaciones Diferenciales
edel170327 de Abril de 2013
17.500 Palabras (70 Páginas)331 Visitas
1
3. Ecuaciones diferenciales de orden superior
(© Chema Madoz, VEGAP, Madrid 2009) 2
Ecuaciones lineales: teoría básica
Un problema de valor inicial de n-ésimo
orden consiste en resolver la EDO lineal:
sujeta a las n condiciones iniciales:
Resolverlo consiste en encontrar una función
y(x) en definida en un intervalo I que contiene a
x 0 , donde se cumplen la ecuación y las
condiciones iniciales.
) ( ) ( ) ( ) ( ) ( 0 1 1
1
1 x g y x a
dx
dy
x a
dx
d
x a
dx
y d
x a
n
n
n n
n
n
= + + + +
−
−
− "
1 0
)1 (
1 0 0 0 ) ( , , ) ( , ) ( −
− = = ′ =
n
n y x y y x y y x y "3
Existencia de una solución única
(Condición suficiente)
Sea a n (x), a n-1 (x), …, a 0 (x), y g(x) continuas en I,
con a n (x) ≠
0 para todo x de I. Si x = x 0 es
cualquier punto de este intervalo, entonces existe
una solución y(x) del problema anterior en I y es
única.
•Ejemplo:
posee la solución trivial y(x) = 0. Como es una ED de tercer
orden lineal con coeficientes constantes, y(x) = 0 es la única
solución en cualquier intervalo que contenga a x = 1.
0 )1( ,0 )1( , 0 )1( ,0 7 5 3 = ′′ = ′ = = + ′ + ′′ + ′′′ y y y y y y y4
• Ejemplo: Comprueba que y = 3e 2x + e –2x – 3x es la
única solución de
La ED es lineal, los coeficientes y g(x) son todos
funciones continuas, y a 2 (x) = 1 es distinto de 0 en
cualquier intervalo que contenga x = 0. La solución
propuesta cumple la EDO y es única en I.
1 )0(' ,4 )0( , 12 4 " = = = − y y x y y
Comprueba que y = cx 2 + x + 3 es solución del PVI:
en toda la recta real. Este PVI tiene infinitas soluciones. Observa que el
coeficiente de la derivada a 2 (x) = x 2 más alta se hace cero en x = 0 y ese
punto necesariamente tiene que estar incluido en I porque lo imponen las
condiciones iniciales.
1 )0( , 3 )0( ,6 2 2 2 = ′ = = + ′ − ′′ y y y y y x5
Problemas de valores en la frontera
• Resolver:
sujeta a :
se llama problema de valor
en la frontera (PVF) y a las
restricciones se conocen
como condiciones de contorno
o condiciones en la frontera.
Nota: Las condiciones de contorno
pueden ser también sobre las derivadas.
) ( ) ( ) ( ) ( 0 1 2
2
2 x g y x a
dx
dy
x a
dx
y d
x a = + +
1 0 ) ( , ) ( y b y y a y = =6
Vimos que x = c 1 cos 4t + c 2 sin 4t era solución de
(a) Supongamos el PVF
Si x(0) = 0, entonces c 1 = 0, y x(t) = c 2 sen 4t.
Si x(π/2) = 0, obtenemos 0 = 0 independientemente
de c 2 . De modo que tenemos infinitas soluciones.
(b) Si
tenemos que c 1 = 0, c 2 = 0:
x(t) = 0, solución única.
0 16 " = + x x
0
2
, 0 )0( , 0 16 = ⎟
⎠
⎞
⎜
⎝
⎛
= = + ′′
π
x x x x
0
8
, 0 )0( , 0 16 = ⎟
⎠
⎞
⎜
⎝
⎛
= = + ′′
π
x x x x
(c) Si
tenemos que c 1 = 0, y 1 = 0
(contradicción). No hay solución.
1
2
, 0 )0( , 0 16 = ⎟
⎠
⎞
⎜
⎝
⎛
= = + ′′
π
x x x x7
La siguiente EDO lineal de orden n:
se dice que es no homogénea.
si g(x) = 0 la ecuación es homogénea.
Veremos que para resolver una ecuación no
homogénea tendremos que resolver también la
ecuación homogénea asociada.
0 ) ( ) ( ) ( ) ( 0 1 1
1
1
= + + + +
−
−
− y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n n
n
n "
) ( ) ( ) ( ) ( ) ( 0 1 1
1
1 x g y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n n
n
n
= + + + +
−
−
− "8
• Sea Dy = dy/dx. Al símbolo D se le llama operador
diferencial. Definimos a un operador diferencial de
n-ésimo orden u operador polinominal como
• El operador diferencial L es un operador lineal:
Podemos escribir las EDOs anteriores simplemente
como
L(y) = 0 y L(y) = g(x)
Operadores diferenciales
) ( ) ( ) ( ) ( 0 1
1
1 x a D x a D x a D x a L n
n
n
n
+ + + + = −
− "
)) ( ( )) ( ( )} ( ) ( { x g L x f L x g x f L β α β α + = +9
Principio de superposición
(ecuaciones homogéneas)
Sean y 1 , y 2 , …, y k soluciones de una ecuación
diferencial homogénea de n-ésimo orden en un
intervalo I. Entonces la combinación lineal
y = c 1 y 1 (x) + c 2 y 2 (x) + …+ c k y k (x)
donde c i , i = 1, 2, …, k, son constantes arbitrarias,
también es una solución en el intervalo.
Nota:
(A) y(x) = cy 1 (x) también es solución si y 1 (x) es una solución.
(B) Una ED lineal homogénea siempre posee la solución trivial y(x) = 0.
Ejemplo: Las funciones y 1 = x 2 , y 2 = x 2 ln x son ambas
soluciones en (0, ∞) de
Luego y = x 2 + x 2 ln x también es una solución en (0, ∞).
0 4 2 3 = + ′ − ′′′ y yx y x10
Dependencia e independencia lineal
Un conjunto de funciones f 1 (x), f 2 (x), …, f n (x) es
linealmente dependiente en un intervalo I, si existen
ciertas constantes c 1 , c 2 , …, c n no todas nulas, tales
que:
c 1 f 1 (x) + c 2 f 2 (x) + … + c n f n (x) = 0
Si el conjunto no es linealmente dependiente, entonces
es linealmente independiente.
En otras palabras, si el conjunto es linealmente
independiente, cuando:
c 1 f 1 (x) + c 2 f 2 (x) + … + c n f n (x) = 0
entonces necesariamente c 1 = c 2 = … = c n = 0.11
¿Son estas funciones linealmente independientes?
c 1 f 1 (x) + c 2 f 2 (x) = 012
Ejemplo: Las funciones f 1 = cos 2 x, f 2 = sin 2 x,
f 3 = sec 2 x, f 4 = tan 2 x son linealmente
dependientes en el intervalo (-π/2, π/2)
porque
c 1 cos 2 x +c 2 sin 2 x +c 3 sec 2 x +c 4 tan 2 x = 0
con c 1 = c 2 = 1, c 3 = -1, c 4 = 1.
Ejemplo: Las funciones f 1 = x ½ + 5, f 2 = x ½ + 5x,
f 3 = x – 1, f 4 = x 2 son linealmente dependientes
en el intervalo (0, ∞), porque
f 2 = 1⋅
f 1 + 5⋅
f 3 + 0⋅
f 413
)1 ( )1 ( )1 (
2 1
2 1
1
2 1
' ' '
) ,..., (
− − −
=
n
n
n n
n
n
n
f f f
f f f
f f f
f f W
"
# # #
"
"
Wronskiano
Supongamos que cada una de las funciones f 1 (x),
f 2 (x), …, f n (x) posee al menos n – 1 derivadas. El
determinante
se llama el Wronskiano de las funciones.14
Sean y 1 (x), y 2 (x), …, y n (x) soluciones de una
ED homogénea de n-ésimo orden en un intervalo I.
Este conjunto de soluciones es linealmente
independiente si y sólo si W(y 1 , y 2 , …, y n ) ≠
0 para
todo x en el intervalo.
TEOREMA Criterio para soluciones
linealmente independientes
Cualquier conjunto y 1 (x), y 2 (x), …, y n (x) de n
soluciones linealmente independientes de una ED
homogénea de n-ésimo orden se llama conjunto
fundamental de soluciones.
DEFINICIÓN
Conjunto fundamental de soluciones15
CH3_15x
Existe un conjunto fundamental de soluciones
para una ED lineal homogénea de orden n en un
intervalo I.
TEOREMA
Existencia de un conjunto fundamental
Sea y 1 (x), y 2 (x), …, y n
...