MODULO DE CLASES N 5 Prof. Mara Anglica Vega U.

1.6.

Ecuaciones diferenciales de orden superior.

4.1) Teora Preliminar. 4.2) Ecuaciones Homogneas y Ecuaciones No homogneas. 4.3) Reduccin de orden. En este mdulo se generalizan algunos conceptos, vlidos para las ecuaciones diferenciales de primer orden .

1.6.1.

Ecuaciones lineales. Problemas de valor inicial y de valor de frontera.

Una ecuacin diferencial lineal de orden n, es una ecuacin de la forma : an (x) d n1 y dy dny ( x ) + a ( x ) (x) + + a1 (x) (x) + a0 (x)y(x) = g(x). n1 n n 1 dx dx dx (1.47)

i) Problema de valor inicial Un problema de valor inicial de orden n es un par, formado por una ecuacin diferencial de orden n sujeta a n condiciones iniciales, que suele representarse: an (x) dny d n1 y dy ( x ) + a ( x ) (x) + + a1 (x) (x) + a0 (x)y(x) = g(x) n 1 n n 1 dx dx dx

(1.48)

y(x0 ) = y0 , y (x0 ) = y1 , yn1 (x0 ) = yn1 . Una generalizacin del Teorema de Picard, garantiza la existencia de una nica solucin de este problema. Teorema 1.6.1 Existencia y unicidad. Sean an (x) , an1 (x) , a1 (x) , a0 (x) , g(x) funciones continuas en un intervalo I con an (x) = 0(x) para todo x I. Si x0 es un punto cualquiera de I, existe una nica solucin y(x) en I del problema de valor inicial (1.50). Nota 1.6.1 . 0(x) representa la funcin nula y no al nmero 0. 28

ii) Problema de valor en la frontera. Un problema de valor en la frontera o de contorno de segundo orden o superior es un par, formado por una ecuacin diferencial de segundo orden o superior, sujeta a condiciones denidas en puntos distintos, suele representarse: a2 (x) d2y dy + a1 (x) + a0 (x)y = g(x) 2 dx dx (1.49)

y(a) = y0 , y(b) = y1 . Las condiciones y(a) = y0 , y(b) = y1 se llaman condiciones de frontera y la solucin de este problema es una funcin que satisface la ecuacin diferencial en algn intervalo I , que contiene a los puntos x = a y x = b y cuya grca pasa por los puntos (a, y0 ) y (b, y1 ). Observacin 1.6.1 1) Una ecuacin diferencial de segundo orden, podra tener otras condiciones de frontera en lugar de (1.51) i) y (a) = y0 , y(b) = y1 ii) y(a) = y0 , y (b) = y1 iii) y (a) = y0 , y (b) = y1 2) Es posible probar que un problema de valor de frontera puede satisfacer las hiptesis del teorema (3.1) y sin embargo puede tener una, varias o ninguna solucin. Actividades 1.6.1 i) Compruebe que y = C1 e4x + C2 ex familia de dos parmetros es solucin de la ecuacin diferencial y 3y 4y = 0 en (, ) sujeta a las condiciones y(0) = 1 , y (0) = 2 ii) La familia biparamtrica y = C1 ex cos x + C2 ex sin x es solucin de y 2y + 2y = 0 en (, ). Determine si es posible un miembro de la familia que satisfaga y(0) = 1 , y( ) = 1 2

1.6.2.

Ecuaciones Diferenciales Homogneas de orden n.

Una ecuacin lineal de orden n se dice que es homognea, si es de la forma: an (x) dny d n1 y dy (x) + an1 (x) n1 (x) + + a1 (x) (x) + a0 (x)y(x) = 0 n dx dx dx 29 x I (1.50)

Una ecuacin lineal de orden n se dice que es no homognea, si es de la forma: an (x) donde g(x) = 0. Nota 1.6.2 La solucin a este tipo de ecuaciones diferenciales, la buscaremos desde el mbito de los espacios vectoriales debido a la simplicidad de los conceptos . Para ello consideremos el espacio vectorial de las funciones n veces diferenciables en un intervalo I de nmeros reales sobre el cuerpo de los reales. Adems consideraremos los siguientes operadores o aplicaciones lineales denidos sobre este espacio: D(y) = dy , y sus potencias, dx d2y dx2 dny dxn d n1 y dy dny ( x ) + a ( x ) (x) + + a1 (x) (x) + a0 (x)y(x) = g(x) n 1 n n 1 dx dx dx (1.51)

(D D)(y) = D(Dy) = D2 y =

(D Dn1 )(y) = D(Dn1 y) = Dn (y) =

Para toda funcin a con dominio en I , se denen los operadores dny (aDn )(y)(x) = a(x) n (x) dx Actividades 1.6.2 1.- Verique que los operadores denidos anteriormente son lineales. 2.- Verique que: L = an Dn + an1 Dn1 + + a1 D + a0 I donde I es el operador identidad , es decir I ( f ) = f y ai son funciones denidas en I. 3.- Escriba L(y)(x) = 0. 4.- Qu relacin encuentra entre (1.52) y (1.54)? Observacin 1.6.2 Observamos que resolver la ecuacin diferencial lineal homognea de orden n es equivalente a encontrar el ncleo del operador L, es decir, el subespacio vectorial de las funciones que se anulan bajo L . Adems, resolver el problema no homogneo es equivalente a encontrar el conjunto de funciones tales que bajo el operador L su imagen es g. Actividades 1.6.3 Hallar el operador lineal L tal que las siguientes ecuaciones diferenciales puedan escribirse como: L(y) = g. 30 (1.52)

a) y 9y + 4y = ex b) y(iv) 8y + 16y = (x3 2x)e4x Recordemos algunos conceptos del Algebra Lineal Resultados Importantes de la cosecha. i) Principio de Superposicin Dado que, el ncleo de un operador lineal T ( es el conjunto de todos los u V tales que T ( u)= 0 es un subespacio vectorial, tenemos que: Si y1 , y2 , , ym son soluciones de la ecuacin diferencial homognea de orden n, (1.52) para x I , entonces la combinacin lineal de estas soluciones es solucin . Es decir, y = c1 y1 + c2 y2 + + cm ym es solucin, donde ci , para i = 1, , m son constantes arbitrarias. ii) Ntese que la solucin trivial y = 0, es siempre solucin. iii) Si y1 es solucin de (1.52), entonces es solucin cualquier mltiplo constante de y1 . Es decir, Si y1 es solucin y = Cy1 es solucin.

Es el ncleo de este operador un subespacio de dimensin nita ? Es decir, existir un nmero nito de elementos en la base? Para contestar esta pregunta, necesitamos recordar, cmo determinamos si un conjunto nito de funciones es linealmente independiente o dependiente.

1.6.3.

Dependencia e independencia lineal.

Recordemos que : 1) Se dice que un conjunto de funciones f1 (x) , f2 (x) , , fn (x) es linealmente dependiente (L.D.) en un intervalo I si y slo si existen constantes c1 , c2 , , cn no todas nulas, tales que c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0 para toda x I . (1.53)

2) Se dice que un conjunto de funciones f1 (x) , f2 (x) , , fn (x) es linealmente independiente (L.I.) en un intervalo I si y slo si las nicas constantes que satisfacen c1 f1 (x) + c2 f2 (x) + + cn fn (x) = 0 31 para toda x I .

son c1 = c2 = = cn = 0. Pero cmo demostrar que (1.55). es verdadera para todo x I . Observemos que para el caso particular de dos funciones, resulta fcil determinar si son L.I o L.D en un intervalo. Puesto que: Las funciones f1 (x) y f2 (x) son linealmente dependientes en un intervalo I , si y slo si una es mltiplo escalar de la otra. Es decir, f1 (x) = k f2 (x) , x I ...Y qu ocurre si son tres o ms funciones? Analizaremos esto a travs de un ejemplo. Ejemplo 1.6.1 Dadas f1 (x) = 5 , f2 (x) = cos (x) , f3 (x) = ex . Analizar su dependencia lineal x I = (, ). Solucin: Supongamos que existen c1 , c2 , c3 no todas nulas tales que c1 f1 (x) + c2 f2 (x) + c3 f3 (x) = 0 Si se cumple lo anterior, tambin es cierto que : c1 f1 (x) + c2 f2 (x) + c3 f3 (x) = 0 y c1 f1 (x) + c2 f2 (x) + c3 f3 (x) = 0 x0 I . Entonces, para todo x I se satisface el sistema , en particular para x0 5c1 + c2 cos (x0 ) + c3 e(x0 ) 0 c1 c2 sen (x0 ) + c3 0 c1 c2 cos (x0 ) + c3 Este sistema de ecuaciones tiene una e(x0 ) e(x0 ) =0 =0 =0 no trivial, si los vectores x0 I . x0 I .

solucin

(5, 0, 0), (cos (x0 ), sen (x0 ), cos (x0 )) y (ex0 , ex0 , ex0 ) son L.D. Es decir si el producto mixto de ellos es igual a cero. En otras palabras el volumen del paralelotopo formado por los tres vectores tiene volumen cero. Recordemos que el volumen viene dado por: 5 cos (x0 ) ex0

det 0 sen (x0 ) ex0 0 cos (x0 ) ex0 32

Calculando el determinante, se obtiene: 5ex (cos (x0 ) sen (x0 )) = 0 x0 I Para que este producto sea cero, (cos (x0 ) sen (x0 )) = 0 cos (x0 ) = sen (x0 ) x0 I Observemos que esto es cierto slo si x = del sistema es c1 = c2 = c3 = 0. + 2k para k Z y no para todo x R. Luego la nica solucin 4

Por lo tanto el conjunto de funciones dado es L.I. Actividades 1.6.4 Determine si las funciones dadas son linealmente independientes o dependientes en R, siguiendo la metodologa ilustrada en el ejemplo anterior. i) f1 (x) = x , f2 (x) = x2 , f3 (x) = 4x 3x2 ii) f1 (x) = 5 , f2 (x) = cos2 x , f3 (x) = sin2 x iii) f1 (x) = x , f2 (x) = x 1 , f3 (x) = x + 3 iv) f1 (x) = 1 + x , f2 (x) = x , f3 (x) = x2 v) f1 (x) = 0 , f2 (x) = x , f3 (x) = ex Resp. L.D. Resp. L.D. Resp. L.D. Resp. L.I. Resp. L.D.

1.6.4.

Soluciones de una ecuacin diferencial de orden superior.

Denicin 1.6.1 Wronskiano. Sean las funciones f1 (x) , f2 (x) , , fn (x) con (n 1) derivadas continuas en I. Se denomina wronskiano de estas funciones al determinante, W ( f1 , f2 , , fn ) = det f1 f1 . . .
(n1) f1

f2 f2 . . .
(n1) f2

fn

fn fn . . .
(n1)

Nota 1.6.3 El criterio ilustrado en el ejemplo (3.1) se puede generalizar a un conjunto de n funciones, a travs del siguiente teorema. 33

Teorema 1.6.2 Supongamos que f1 (x) , f2 (x) , , fn (x) tienen al menos (n 1) derivadas. Si el determinante f1 f1 . . . f1 independientes en el intervalo. Teorema 1.6.3 Criterio para soluciones L.I. Sean y1 (x) , y2 (x) , , yn (x), n soluciones de la ecuacin deferencial homognea (1.52) en I , entonces el conjunto de soluciones es linealmente independiente en I si y slo si W (y1 , y2 , , yn ) = 0 para todo x I. Denicin 1.6.2 Conjunto fundamental de soluciones. Se llama conjunto fundamental de soluciones a todo conjunto de n soluciones linealmente independiente de la ecuacin lineal homognea de orden n. Teorema 1.6.4 Existencia de un conjunto fundamental de soluciones. Existe un conjunto fundamental de soluciones de la ecuacin diferencial lineal homognea de orden n en I. Teorema 1.6.5 Solucin general de la ecuacin diferencial Sean y1 (x) , y2 (x) , , yn (x) un conjunto fundamental de soluciones de la ecuacin diferencial lineal homognea de orden n en I. Se llama solucin general de la ecuacin a : y = c1 y1 (x) + c2 y2 (x) , + cn yn (x) donde c1 , c2 , , cn son constantes arbitrarias. La demostracin puede consultarse en el texto Ecuaciones Diferenciales con Aplicaciones de Modelado, D. Zill Actividades 1.6.5 Compruebe que las funciones dadas forman un conjunto fundamental de soluciones de la ecuacin diferencial en el intervalo indicado. Forme la solucin general. 34
(n1)

f2 f2 . . . f2
(n1)

fn

fn fn . . .
(n1)

=0

por lo menos en un punto del intervalo I, entonces las funciones f1 (x) , f2 (x) , , fn (x) son linealmente

i) y y 12y = 0 , ii) y 2y + 5y = 0 ,

y1 = e3x , y2 = e4x

, en (, ), , en (, ),

y1 = ex cos 2x, y2 = ex sin 2x y1 = x3 , y2 = x4

iii) x2 y 6xy + 12y = 0 ,

, en (0, ),

35