4.

3 Ecuaciones diferenciales lineales de orden n

En esta seccin presentaremos un mtodo general para resolver ED lineales de orden n cuya forma es an .x/y .n/ C C a1 .x/y 0 C a0 .x/y D g.x/: (4.1)

Estas ecuaciones se caracterizan por las dos propiedades siguientes: 1. La variable dependiente y as como sus derivadas tienen exponente igual a 1, o bien 0, exclusivamente.

4.3.1

Espacio vectorial

Un espacio vectorial consta de un conjunto V , cuyos elementos denotados por v se llaman vectores, y de dos E operaciones: adicin vectorial y multiplicacin por escalar, que satisfacen a un conjunto de axiomas. No entraremos en el detalle de todos ellos porque, para nosotros, dos axiomas importantes son los siguientes: E 1. Existe un vector en V al que se le llama vector cero y se escribe como 0 tal que v C 0 D v para todo E E E v 2 V. E 2. Dados los vectores u; v 2 V y los escalares ; 2 R, entonces u C v 2 V . E E E E A esto se le llama cerradura bajo la adicin y multiplicacin por escalares.

ww

w.

M at

Cabe mencionar que no existen mtodos, ni generales ni sencillos que permitan resolver ecuaciones diferenciales no lineales de orden n. Qu hace la diferencia?; la respuesta es simple: poder usar o no el bagaje del lgebra lineal. sta es una rama muy til de las matemticas donde encontramos las deniciones, conceptos y resultados que nos permitirn resolver el problema general. As, nuestro estudio pasar obligadamente por algunas de las ideas ms importantes de este tema que se presentan a continuacin.

em

at

ic

a1

2. Los coecientes an .x/; : : : ; a1 .x/; a0 .x/ y la funcin g.x/ son funciones que slo dependen de x, o son constantes. Es decir, no dependen de la variable dependiente y.

.c om

Deseamos resaltar lo siguiente: 1. El concepto de espacio vectorial nos permite dotar a un conjunto con operaciones que producen resultados que nuevamente satisfacen a las condiciones que denen al conjunto. 2. Si V es un espacio vectorial (con las operaciones de adicin y multiplicacin por escalar), al vector u C v se le llama combinacin lineal de los vectores u & v . E E E E Ejemplo 4.3.3 El conjunto de las funciones derivables es un espacio vectorial.

4.3.2

Independencia lineal

em

at

Sea V un espacio vectorial y sean v1 ; : : : ; vn vectores del mismo. Diremos que estos vectores son E E linealmente independientes si

ic

a1

Un vector contiene informacin. El concepto de independencia lineal nos dir en cierto sentido si un vector aporta o no informacin adicional a la ya considerada por un conjunto de vectores. Precisamos:

c1 v1 C c2 v2 C E E solamente se cumple cuando c1 D c2 D

E C cn vn D 0 E es linealmente dependiente.

.c om

(4.2)

Supongamos que el conjunto v1 ; : : : ; vn es linealmente dependiente. Esto signica que la ecuacin (4.2) E E se cumple para al menos un ci 0. Si suponemos que c1 0. Entonces, de (4.2), hallamos lo siguiente: c2 cn E c1 v1 C c2 v2 C C cn vn D 0 ) v1 D E E E E v2 E vn : E c1 c1 Lo que signica que la informacin del vector v1 se puede obtener de una combinacin lineal del resto de E los vectores, en otras palabras: la informacin de v1 no aporta informacin adicional a la que ya se conoca E por medio del resto de vectores. Esto signica que podemos prescindir de este vector. Los conceptos de independencia y dependencia lineal tienen una interpretacin grca interesante que podemos visualizar en el espacio vectorial R2:

ww

En caso contrario diremos que el conjunto de vectores

M at

D cn D 0. E v1 ; : : : ; vn E

w.

Si la combinacin lineal anterior se cumple para al menos un ci 0, diremos que la coleccin es linealmente dependiente. Para el caso particular de dos funciones, la denicin anterior equivale a lo siguiente: f f1 ; f2 g es un conjunto linealmente dependiente de funciones, si y slo si y alguna constante c. f1 .x/ D c, para toda x 2 J f2 .x/

Ejemplo 4.3.4 Las funciones f1 .x/ D e x cos 2xI f2 .x/ D e x sen 2x conforman un conjunto linealmente independiente de funciones.

Ejemplo 4.3.5 Determine si el conjunto f f1 .x/ D arcsen x; f2.x/ D arccos x; f3 .x/ D 1 g es linealmente independiente o bien linealmente dependiente. H Como arcsen x C arccos x D arcsen x D 2 , entonces: f3 .x/ C . 1/f2 .x/;

.1/ C . 1/ arccos x ) f1 .x/ D

ww

w.

M at

f1 .x/ c; para c constante. f2 .x/

em

Entonces:

at
2

deducimos que la informacin de la funcin f1 .x/ D arcsen x puede recuperarse (va una combinacin lineal) de las otras dos funciones f2 .x/ D arccos x & f3 .x/ D 1. En consecuencia, el conjunto f f1 .x/ D arcsen x; f2 .x/ D arccos x; f3 .x/ D 1 g es linealmente dependiente.

ic

f1 .x/ e x cos 2x D x D cot 2x f2 .x/ e sen 2x

a1

no es una constante.

.c om

La razn es muy simple:

f2 f1 C a1 .x/f2 f1 C a0 .x/f1 f2 D 0 f1 f200 C a1 .x/f1 f20 C a0 .x/f1 f2 D 0

) f1 f200

f2 f100 C a1 .x/f1 f20

f2 f10 D 0:

(4.3)

Deseamos resaltar la expresin f1 f20 f2 f10 . Su estudio se atribuye al matemtico polaco Hone Wronski. Si la expresamos por medio de W .x/ D W .f1 ; f2/.x/, observamos que W .f1 ; f2 /.x/ D y adems que W0D d .f1 f20 dx f2 f10 / D .f1 f200 C f10 f20 / .f2 f100 C f20 f10 / D f1 f200 f2 f100 : f1 .x/ f10 .x/ f2 .x/ D f1 f20 f20 .x/ f2 f10 ;

Por lo tanto, al integrar:

ww

w.

dW dW D a1 .x/W ) D a1 .x/ dx: dx W ln W D deducimos que W De As obtenemos como solucin: W .x/ D Ce

R a1 .x/ dxCC

M at

em
a1 .x/ dx C C;

que es un ED de variables separables:

at

W 0 .x/ C a1 .x/W .x/ D 0;

ic

a1
: :
R a1 .x/dx

Por lo que la ecuacin (4.3) se expresa como

Y como la funcin exponencial nunca se anula, tenemos que 1. Si C 0, entonces W .x/ 0, para toda x 2 J .

.c om

Luego entonces: x 2 f100 x 2 f200 Esto es, f1 .x/ D x & f1 f10 & 2xf10 C 2f1 D x 2 .0/ 2xf20 C 2f2 D x 2 .2/ 2x.1/ C 2.x/ D 0: 2x.2x/ C 2.x 2 / D 0:

f2 .x/ D x 2 son soluciones de la ED. Adems: f2 D f1 f20 f20 f10 f2 D .x/.2x/ .1/.x 2 / D 2x 2 x 2 D x 2 0:

W .f1 ; f2 / D Por lo tanto, f1 .x/ D x de la ED es

f2 .x/ D x 2 son soluciones linealmente independientes. La solucin general y D c1 f1 C c2 f2 D c1x C c2 x 2 :

2x

Ejemplo 4.3.7 Las funciones f1 .x/ D 3xe adems son linealmente dependientes. H En efecto: f1 D 3xe Luego entonces:
2x

f100 C 4f10 C 4f1 D .12x f200 Adems: W .f1 ; f2 / D f1 f10 f2 D f1 f20 f20 15x
2x

ww

f2 D 5xe

2x

f20

w.

) f10 D . 6x C 3/e D .10x 5/e

M at

em

at

y 00 C 4y 0 C 4y D 0;

ic
2x 2x

&

a1

.c om
f2 .x/ D 5xe
2x

, con x 0, son soluciones de la ED lineal

) f100 D .12x ) f200

12/e

2x

:
2x

D . 20x C 20/e
2x 2x

: D 0: D 0:

12/ C 4. 6x C 3/ C 4.3x/e 5/ C 4. 5x/e

D .0/e D .0/e

2x 2x

4f20

C 4f2 D . 20x C 20/ C 4.10x

f10 f2 D .3xe
4x

2x

/.10x
4x

5/e D 0:

2x

. 6x C 3/e

2x

. 5xe

2x

/D

D .30x 2 Por lo tanto, f1 .x/ D 3xe

30x 2 C 15x/e &

D .0/e
2x

f2 .x/ D 5xe

son soluciones linealmente dependientes.

1. v1 D .1; 0; 1/; v2 D .0; 1; 1/. E E 2. v1 D .1; 0; 1/; v2 D .0; 1; 1/; v3 D .1; 1; 0/ & v4 D .1; 1; 1/. E E E E 3. v1 D .1; 0; 1/; v2 D .0; 1; 1/; v3 D .1; 1; 0/. E E E H 1. Los vectores v1 D .1; 0; 1/; v2 D .0; 1; 1/ son linealmente independientes (un argumento a favor de E E nuestra armacin es que uno no es mltiplo del otro). Sin embargo, no generan el espacio vectorial R3 . Por ejemplo, el vector w D .1; 1; 1/ no puede ser escrito como una combinacin lineal de E v1 & v2 . En efecto, si w fuera una combinacin lineal de v1 & v2 , obtendramos: E E E E w D c1 v1 C c2 v2 ) .1; 1; 1/ D c1 .1; 0; 1/ C c2 .0; 1; 1/ ) E E E ) .1; 1; 1/ D .c1 ; 0; c1/ C .0; c2; c2/ ) .1; 1; 1/ D .c1 ; c2 ; c1 C c2 / )

ww

w.

2. Los vectores v1 D .1; 0; 1/; v2 D .0; 1; 1/; v3 D .1; 1; 0/ & v4 D .1; 1; 1/ no forman una base del espacio E E E E vectorial. En este caso, v1 ; : : : ; v4 es un conjunto linealmente dependiente: E E 1 1 1 v4 D v1 C v2 C v3 : E E E E 2 2 2

3. Puede vericarse que los vectores v1 D .1; 0; 1/; v2 D .0; 1; 1/; v3 D .1; 1; 0/ conforman una base del E E E espacio vectorial R3 , por lo que su dimensin es 3.

4.3.4

Ecuaciones diferenciales de orden n

Aplicaremos los aspectos tericos anteriores a la discusin de nuestro inters principal: las ecuaciones dife-

M at

em

) c1 D 1; c2 D 1; c1 C c2 D 1 ) 2 D 1; imposible.

at

ic

a1

.c om

y 00 C a1 .x/y 0 C a0 .x/y D q.x/;

(4.6)

tiene solucin denida en el intervalo J . Ms an para un punto x0 2 J jo y nmeros reales y0 ; y1 proporcionados, el PVI formado por la ED (4.6), con y.x0 / D y0 & y 0 .x0 / D y1 ; presenta una nica solucin. La ED lineal (4.5), con q.x/ 0, para algn x 2 J , se dice que es no homognea. La ED lineal (4.5), con q.x/ D 0, para toda x 2 J , se dice que es homognea. Es la ED homognea asociada a la ED no homognea anterior.

Si tomamos una combinacin lineal de estas dos soluciones, hallamos que

0 0 y D c1 y1 C c2 y2 ) y 0 D c1 y1 C c2 y2

ww

00 0 y1 C a1 .x/y1 C a0 .x/y1 D 0

M at

Sea V el conjunto de soluciones de (4.7). Advierta que la funcin y D 0 satisface a la ecuacin (4.7), es decir, la funcin y D 0 2 V . Ahora, si y1 & y2 estn en V , entonces:

em

w.

at

&

ic

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

a1

Consideremos la ED lineal homognea asociada a (4.6):

.c om

(4.7)

00 0 y2 C a1 .x/y2 C a0 .x/y2 D 0:

&

00 00 y 00 D c1y1 C c2 y2 :

Por lo tanto:
00 00 0 0 y 00 C a1 .x/y 0 C a0 .x/y D c1y1 C c2 y2 C a1 .x/c1 y1 C c2 y2 C a0 .x/c1 y1 C c2y2 D 00 0 00 0 D c1y1 C a1 .x/y1 C a0 .x/y1 C c2 y2 C a1 .x/y2 C a0 .x/y2 D D c10 C c2 0 D 0:

Esto signica que V es un espacio vectorial y, por lo tanto, es posible aplicar la teora que hemos discutido

nos permitir expresar cualquier solucin en trminos de y1 & y2 . Resumimos nuestras ideas en el siguiente teorema. Sea V el conjunto de todas las funciones que son solucin de la ecuacin diferencial: y 00 C a1 .x/y 0 C a0 .x/y D 0: 1. Entonces V es un espacio vectorial. 2. Si y1 & y2 son soluciones linealmente independientes, entonces f y1 ; y2 g constituye una base de V por lo cual todo elemento de V , es decir, cualquier solucin de la ecuacin diferencial puede ser escrita como una combinacin lineal de y1 & y2 ; en smbolos, para cualquier y 2 V ) y D c1y1 C c2 y2 : 3. La armacin anterior establece que la dimensin de V es 2 y que y D c1 y1 C c2 y2 es la solucin general de la ED lineal homognea.

Ejemplo 4.3.9 Verique que las funciones y1 D e x cos 2x; y2 D e x sen 2x forman un conjunto fundamental de soluciones de la ecuacin diferencial y 00 2y 0 C5y D 0. Despus forme la solucin general de la ED y, posteriormente, halle la solucin particular que satisface las condiciones iniciales y.0/ D 0; y 0 .0/ D 1. H En primer lugar vericaremos que y1 & y2 son soluciones de la ecuacin diferencial; como la vericacin es similar, slo probaremos nuestra armacin para y1 . Tenemos:
0 00 y1 D e x cos 2x ) y1 D 2e x sen 2x C e x cos 2x & y1 D 3e x cos 2x

ww

w.

M at

em

4. Al conjunto f y1 ; y2 g se le llama conjunto fundamental de soluciones de la ecuacin diferencial lineal homognea.

at

ic

a1

.c om

4e x sen 2x:

Sustituyendo en la ecuacin diferencial, hallamos: 3e x cos 2x 4e x sen 2x 2 2e x sen 2x C e x cos 2x C 5e x cos 2x D D 3e x 4e xXXX C 4e xXXX 2e x C 5e x D 0; para todo x 2 R: cos 2x sen 2x sen 2x cos 2x cos 2x

De este resultado concluimos que el conjunto de soluciones f y1 ; y2 g es linealmente independiente, y en consecuencia podemos decir que ste es un conjunto fundamental de soluciones para la ED. As, con base en lo discutido en la teora preliminar, la solucin general de la ED est expresada por: y.x/ D c1 e x cos 2x C c2 e x sen 2x: Finalmente, para hallar la solucin particular consideramos las condiciones iniciales. En primer lugar tenemos: y.0/ D 0 ) c1 e 0 cos.0/ C c2 e 0 sen.0/ D 0 ) c1 D 0:

Suponiendo que yp sea una solucin conocida de la ED lineal no homognea y 00 C a1 .x/y 0 C a0 .x/y D q.x/; (4.9)

que y sea cualquier solucin de (4.9) y que f y1 ; y2 g sea as mismo un conjunto fundamental de soluciones de la ED lineal homognea y 00 C a1 .x/y 0 C a0 .x/y D 0; se puede armar que cualquier solucin de la ED (4.9) puede ser escrita en la forma:

ww

Para cerrar esta seccin, discutiremos un resultado asociado al teorema anterior.

w.

M at

Concluimos que la solucin buscada es y.x/ D

em

y 0 .x/ D c2 .2e x cos 2x C e x sen 2x/ & y 0 .0/ D 1 ) 1 ) 1 D c2 2e 0 cos 0 C e 0 sen 0 D 2c2 ) c2 D : 2 1 x e sen 2x. 2

at

ic

a1

.c om

De esta forma, la solucin se reduce a y.x/ D c2e x sen 2x. Ahora, de y 0 .0/ D 1 deducimos que

1. Mostrar que tanto f y1 D e x ; y2 D e x g como f y3 D senh x; y4 D cosh x g son conjuntos fundamentales de soluciones para la ecuacin diferencial y 00 y D 0. 2. a. Vericar que y1 D x 2 & y2 D x 1 son soluciones de la ecuacin diferencial x 2 y 00 La combinacin lineal y D c1 y1 C c2 y2 es solucin de la ecuacin?
1

2y D 0.

b. Vericar que y1 D 1 & y2 D x 2 son soluciones de la ecuacin diferencial yy 00 C .y 0 /2 D 0. La combinacin lineal y D c1 y1 C c2 y2 es solucin de la ecuacin (en general)? c. Si hay alguna diferencia entre a. y b., en qu radica esta diferencia? 3. a. Sea y1 .x/ una solucin de la ecuacin diferencial y 00 C p.x/y 0 C q.x/y D f .x/. Es y2 .x/ D cy1.x/ solucin de la ecuacin diferencial?

b. y1 D e

2x

sen x & y2 D e

2x

cos x. e

d. y1 D x sen 2x & y2 D sen 2x. 5.

a. Extender la denicin de wronskiano para el caso de tres funciones. b. Calcular el wronskiano de cada una de las siguientes ternas de funciones: i. y1 D e x ; y2 D xe x & y3 D x 2 e x . ii. y1 D cos x; y2 D sen x & y3 D 1. iii. y1 D cos x C sen x; y2 D cos x sen x & y3 D cos x.

En cada uno de los siguientes ejercicios, vericar que el conjunto dado es un conjunto fundamental de soluciones de la ecuacin proporcionada; despus encontrar la solucin particular que satisface las condiciones iniciales dadas.

ww

c. y1 D senh 3x & y2 D 4.e

w.

3x

M at

a. y1 D sen x & y2 D cos x.

3x

/.

em

4. Calcular el wronskiano de cada uno de los siguientes pares de funciones:

at

ic

b. Si V representa el conjunto de todas las soluciones de la anterior ecuacin diferencial, es V un espacio vectorial?

a1

.c om

solucin general de la ecuacin diferencial. 13. a. Muestre que y1 D 3x 2 1 satisface a la ecuacin .1 x 2 /y 00 2xy 0 C 6y D 0 y tiene un mnimo en x D 0. b. Verique ahora que cualquier otra solucin y2 no podr tener mnimo en x D 0, si f y1 ; y2 g es linealmente independiente .

14. Demuestre que y D x 3 es una solucin de yy 00 D 6x 4 , pero que, si c 2 1, entonces y D cx 3 no es una solucin de la ecuacin diferencial. Por qu este hecho no contradice la teora discutida en esta seccin?

En los siguientes ejercicios se proporciona una ecuacin diferencial no homognea, una solucin particular, condiciones iniciales y un conjunto fundamental de soluciones para la ecuacin diferencial homognea asociada. En cada caso encuentre la solucin particular del PVI. 17. y 00 C y D 3xI yp D 3x; con y.0/ D 2; y 0 .0/ D 2I f cos x; sen x g. 18. y 00 19. y 00 2y 0 3y D 6I yp D 2; con y.0/ D 3; y 0 .0/ D 11I e
x

ww

w.

M at

em

at

ic

16.

a. Determine si el conjunto de funciones y1 D sen x 2 ; y2 D cos x 2 es linealmente dependiente o independiente. b. Calcule W .y1 ; y2 /.0/. c. Existe una ecuacin de la forma y 00 C p.x/y 0 C q.x/y D 0 (en la que p & q sean funciones continuas) tal que y1 & y2 sean soluciones de la ecuacin diferencial?

a1

.c om

15. Compruebe que y1 D 1 & y2 D x 2 son soluciones de yy 00 C .y 0 /2 D 0, pero que la suma y D y1 C y2 no es solucin. Por qu este hecho no contradice la teora discutida en esta seccin?

; e 3x . e 2x ; e
2x

4y D senh xI yp D

1 senh x; con y.0/ D 0; y 0 .0/ D 1I 3

e C e . 3 3 7. y D cos 2x C 2 sen 2x. 1 8. y D 3 C 3ex cos 2x C ex sen 2x. 5

6. y D

17. y D 2 cos x

5 sen x C 3x.

18. y D e x C 4e3x 2. 2 1 19. y D senh 2x senh x. 3 3

ww

w.

M at

em

at

ic

a1

.c om