CAPTULO

4
Ecuaciones diferenciales de orden superior

4.1 Conceptos bsicos

En este captulo trataremos sobre el procedimiento que debemos llevar a cabo para obtener la solucin general de la ED lineal no homognea de orden n: an .x/y .n/ C an
1 .x/y .n 1/

C a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D Q.x/:

Con este objetivo realizaremos un estudio detallado sobre la forma de resolver a la ED lineal no homognea de segundo orden: a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D Q.x/ y para esto trataremos primero con la ED lineal homognea de segundo orden: a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D 0: As, una vez obtenida la solucin general de la homognea, resolveremos la no homognea. Una ecuacin diferencial lineal homognea de segundo orden es de la forma: a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D 0: (4.1)

Es decir, los coecientes de y as como de sus dos derivadas dependen slo de x (o son constantes) y los exponentes de y y sus derivadas son 1. La parte izquierda de la ecuacin diferencial es un operador L que asocia funciones a funciones, es decir, L es una funcin de funciones: L W F ! F; donde F es el conjunto de funciones reales de variable real que son derivables a cualquier orden. L se dene como sigue: L.y/ D a2 .x/y 00 C a1 .x/y 0 C a0 .x/y:
1. [Link]: 23/ 9/ 2010

Ecuaciones diferenciales Una solucin de la ecuacin diferencial (4.1) es una funcin f .x/ 2 F que cumple: Lf .x/ D 0: Es decir, al sustituir f .x/ y sus derivadas correspondientes en la ecuacin diferencial, se satisface a la ED. Resolver la ecuacin diferencial (4.1) signica encontrar todas sus soluciones.

Ejemplo 4.1.1 La siguiente es una ecuacin diferencial lineal homognea de segundo orden: x 2 y 00 C 2xy 0 En este caso L.y/ D x 2 y 00 C 2xy 0 1. Si f .x/ D x, calcular Lf .x/. 2. Si g.x/ D x 2 , calcular Lg.x/. H 1. Si y D f .x/ D x, calcular L.x/. (Sabemos en este caso que y 0 D 1 & y 00 D 0.) L.y/ D Lf .x/ D L.x/ D x 2.0/ C 2x.1/ 6x D 2x 6x D 4x: 6y: 6y D 0:

Por consiguiente, la funcin y D x no es solucin de la ecuacin diferencial L.y/ D 0: 2. Si y D g.x/ D x 2 , calcular L.x 2 /. (Sabemos en este caso que y 0 D 2x & y 00 D 2.) L.y/ D Lg.x/ D L.x 2 / D x 2 .2/ C 2x.2x/ 6x 2 D 2x 2 C 4x 2 6x 2 D 0:

Este ltimo resultado nos dice que la funcin y D x 2 es solucin de la ecuacin diferencial L.y/ D 0: El operador L tiene las siguientes propiedades: Si y es solucin de L.y/ D 0, entonces y D cy tambin es solucin; donde c 2 R es una constante arbitraria. H Como y es solucin de L.y/ D 0, entonces: L.y/ D a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D 0: Aplicando el operador L.y/ a la funcin y D cy, se tiene que L.y/ D [Link]/ D a2 .x/.cy/ 00 C a1 .x/.cy/ 0 C a0 .x/.cy/ D D a2 .x/ cy 00 C a1 .x/ cy 0 C a0 .x/ cy D D c a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D
L.y/ D 0

D c L.y/ D c 0 D 0: Por lo tanto y D cy es solucin.

4.1 Conceptos bsicos Si y1 & y2 son soluciones de L.y/ D 0, entonces y1 C y2 tambin es solucin. H Como y1 & y2 son solucines de L.y/ D 0, entonces:
00 0 L.y1 / D a2 .x/y1 C a1 .x/y1 C a0 .x/y1 D 0: 00 0 L.y2 / D a2 .x/y2 C a1 .x/y2 C a0 .x/y2 D 0:

Al usar en L.y/ la funcin y D y1 C y2 , se obtiene: L.y1 C y2 / D a2 .x/.y1 C y2 / 00 C a1 .x/.y1 C y2 / 0 C a0 .x/.y1 C y2 / D 00 00 0 0 D a2 .x/y1 C y2 C a1 .x/y1 C y2 C a0 .x/y1 C y2 D 00 0 00 0 D a2 .x/y1 C a1 .x/y1 C a0 .x/y1 C a2 .x/y2 C a1 .x/y2 C a0 .x/y2 D

L.y1 / D 0 L.y2 / D 0

D L.y1 / C L.y2 / D 0 C 0 D 0: Por lo tanto y1 C y2 es solucin. Podemos resumir las propiedades anteriores como sigue: Si L.y/ D 0 y si c es una constante, entonces [Link]/ D cL.y/ D 0. Si L.y1 / D 0 y si L.y2 / D 0, entonces L.y1 C y2 / D L.y1 / C L.y2 / D 0. Tomando en cuenta lo anterior se cumple lo siguiente: Si L.y1 / D 0 y si L.y2 / D 0, entonces L.c1 y1 C c2 y2 / D 0, donde c1 & c2 son constantes arbitrarias. H En efecto, si L.y1 / D 0 y si L.y2 / D 0, entonces: L.c1 y1 C c2 y2 / D L.c1 y1 / C L.c2 y2 / D c1L.y1 / C c2L.y2 / D c1 0 C c2 0 D 0 C 0 D 0:

Ejemplo 4.1.2 Sea la ecuacin diferencial L.y/ D y 00 C 2y 0 C y D 0: Comprobar que y1 D e H

x

, y2 D xe

& y D c1 e
x

C c2 xe

son soluciones de la ED L.y/ D 0.

Primero comprobamos que y1 D e y1 D e

x

es solucin:
x 00 ) y1 D e x

0 ) y1 D e

Entonces: L.y1 / D L.e De igual forma, para y2 D xe

x x

/De

2e

Ce

D 0:

:
x 0 ) y2 D e x

y2 D xe Entonces:

xe

00 ) y2 D 2e

C xe

L.y2 / D [Link] Finalmente, para y D c1e

x

x x

/D

2e

C xe

C 2.e

xe

/ C xe

D 0:

C c2xe

se tiene:
x

L.y/ D L.c1 y1 C c2 y2 / D c1 L.e Por lo cual, y D c1 e

x

/ C [Link]

/ D c1 .0/ C c2.0/ D 0:

C c2 xe

es tambin solucin de la ED.

Ecuaciones diferenciales

4.1.1

Combinaciones lineales
Dadas dos funciones y1 2 F & y2 2 F , se dice que la funcin y D c1 y1 C c2 y2 ; donde c1 2 R & c2 2 R son constantes arbitrarias;

es una combinacin lineal de las funciones y1 & y2 .

Ntese que en el ejemplo 4.1.2 vimos que las funciones y1 D e x , y2 D xe soluciones de L.y/ D y 00 C 2y 0 C y D 0:

& y D c1 e

C c2 xe

son

Entonces, por la denicin anterior, se puede armar que toda combinacin lineal de las funciones y1 D e & y2 D xe x tambin es solucin de L.y/ D 0.

Denimos a la recta generada por una funcin f 2 F , como el conjunto Rf de todas las combinaciones lineales de esa funcin, que en este caso es el conjunto de todos los mltiplos de la funcin: Rf D Una representacin de este concepto:
cf

cf c 2 R

F:

c>0

0 f

Estamos dando una representacin en analoga con los vectores. Ejemplo 4.1.3 La recta generada por la funcin f .x/ D x 2 es Rx2 D As las funciones g.x/ D 5x 2 & h.x/ D cx 2 c 2 R :

2 2 x pertenecen a esta recta. 7

Dos funciones f & g son colineales cuando pertenecen a una misma recta. Esto es, cuando una es un mltiplo de la otra. Denimos al plano generado por dos funciones no colineales y1 D f .x/ & y2 D g.x/ como el conjunto f;g de todas las combinaciones lineales de las funciones: f;g D c1 f C c2 g c1 ; c2 2 R F:

Podemos visualizar este plano como sigue:

cf

c<0

4.1 Conceptos bsicos

f g

Ejemplo 4.1.4 El plano generado por las funciones y1 D x 2 x2 ;sen x D

c1 x 2 C c2 sen x c1; c2 2 R

H As la funcin g.x/ D x 2 C 7 sen x est en este plano, tomando c1 D 1 & c2 D 7. Igualmente la funcin i.x/ D 30x 2 9 sen x est en el plano, tomando c1 D 30 & c2 D 9.

Teorema 4.1 de Existencia y Unicidad Dado el siguiente PVI: a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D 0; con y.x0 / D y0 y con y 0 .x0 / D y1 : (4.2)

Si suponemos que a2 .x/ 0, a1 .x/ & a0 .x/ son funciones continuas en un intervalo I y si x0 2 I , entonces el PVI tiene una solucin nica y.x/ para x 2 I .

4.1.2

Solucin de un problema con condiciones iniciales

Suponiendo que podemos encontrar dos soluciones y1 & y2 no colineales de la ED lineal homognea: a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D 0 y que generamos con estas dos soluciones el plano: y1 ;y2 D c1 y1 C c2 y2 c1 ; c2 2 R ;

queremos saber bajo qu condiciones la solucin del PVI (4.2) es una funcin que est en este plano. Es decir, cundo la solucin, que se menciona que existe y es nica, es de la forma: y D c1y1 C c2y2 :

y1 y2

c1 y1

c2 y2

c1 f

c2 g

&

y2 D sen x es :

c1 y1 C c2 y2

c1 f C c2 g

Ecuaciones diferenciales

Para que esto suceda, dicha solucin debe cumplir las condiciones iniciales. Puesto que:
0 0 y 0 D c1 y1 C c2 y2 :

De las condiciones iniciales:

y.x0 / D c1y1 .x0 / C c2y2 .x0 / D y0 I

0 0 y 0 .x0 / D c1y1 .x0 / C c2y2 .x0 / D y1 :

(4.3)

Por lo tanto, para que la solucin del PVI (4.2) exista en el plano mencionado, deben existir las constantes c1 & c2 que satisfagan el sistema (4.3). ste es un sistema de 2 ecuaciones con 2 incgnitas c1 y c2 . Sabemos que un sistema de este tipo tiene solucin nica si su determinante es diferente de cero. En este caso, el determinante del sistema es y1 .x0 / y2 .x0 / : 0 0 y1 .x0 / y2 .x0 / En consecuencia, para resolver el PVI (4.2), se tienen que encontrar dos soluciones y1 & y2 que satisfagan: y1 .x0 / 0 y1 .x0 / y2 .x0 / 0: 0 y2 .x0 /

4.1.3

El wronskiano
Dadas dos funciones y1 2 F & y2 2 F , se dene el wronskiano de estas funciones como sigue: W .y1 ; y2 / D y1 .x/ 0 y1 .x/ y2 .x/ : 0 y2 .x/ & y2 D sen x.

Ejemplo 4.1.5 Calcular el wronskiano de las funciones y1 D cos x H W .cos x; sen x/ D cos x .cos x/ 0 sen x D .sen x/ 0 cos x sen x

sen x D cos 2 x C sen 2 x D 1: cos x

Con esta nueva denicin, podemos armar: Para resolver el PVI, basta con encontrar dos soluciones y1 & y2 de la ecuacin diferencial lineal homognea cuyo wronskiano sea diferente de cero. El conjunto de todas las soluciones es entonces el plano generado por estas funciones. La solucin del PVI es un elemento (un vector) de este plano. Por esto, denominamos solucin general de la ED a la combinacin lineal: y D c1 y1 C c2y2 : Un conjunto de funciones f y1 ; y2 g que cumple con la condicin anterior se llama un conjunto fundamental de soluciones. Es decir, un conjunto f y1 ; y2 g ser un conjunto fundamental de soluciones si: 1. Cada yi es solucin de la ED. 2. y1 & y2 no son colineales. Ejemplo 4.1.6 Encontrar la solucin general de la ED: y 00 C y D 0: H Es fcil ver que las funciones y1 D cos x & y2 D sen x son soluciones de la ED. Por el ejemplo 4.1.5 estas funciones tienen wronskiano no nulo. Por lo tanto la solucin general de la ED es y D c1 cos x C c2 sen x: