CAPTULO

4
Ecuaciones diferenciales de orden superior

4.2 Reduccin de orden

Hallar un mtodo para encontrar soluciones que formen un conjunto fundamental de la ED ser nuestro trabajo en las siguientes secciones.

4.2.1

Reduccin de orden en ED lineales de segundo orden

Consideremos la ecuacin diferencial lineal homognea de segundo orden: a2 .x/y 00 C a1 .x/y 0 C a0 .x/y D 0; de la cual se conoce una solucin que llamaremos y1 . De acuerdo con lo visto en la seccin anterior, requerimos una segunda solucin y2 de la ecuacin diferencial de tal manera que el conjunto f y1 ; y2 g constituya un conjunto fundamental de soluciones. A n de encontrar esta segunda solucin, aplicaremos un mtodo llamado variacin de parmetros que se debe a DAlembert. La idea fundamental es la siguiente: debido a que la ecuacin es lineal, y dado que y1 es solucin, entonces ay1 para a constante, tambin es solucin. La pregunta que se formula en este mtodo es cmo encontrar una funcin u, de tal manera que y2 D uy1 tambin sea solucin de la ecuacin? Para el desarrollo de la idea de DAlembert, requerimos, en primer lugar, normalizar la ecuacin; esto es, necesitamos que el coeciente de y 00 sea 1. Para ello, dividimos la ecuacin entre a2 .x/: y 00 C p.x/y 0 C q.x/y D 0, donde p.x/ D a1 .x/ a0 .x/ y donde q.x/ D , con a2 .x/ 0: a2 .x/ a2 .x/

Queremos ahora determinar bajo qu condiciones podemos asegurar que y2 D uy1 es solucin. Constatamos que, por ser y1 solucin de la ED, tenemos:
00 0 y1 C py1 C qy1 D 0:

1. canek.azc.uam.mx: 23/ 9/ 2010

2 Si derivamos y2 dos veces, hallamos: y2 D uy1 : 0 0 y2 D uy1 C u 0 y1 : 00 00 0 y2 D uy1 C 2u 0 y1 C u 00 y1 :

00 0 Sustituyendo en la ED y2 C py2 C qy2 D 0, obtenemos:

Ecuaciones diferenciales ordinarias

00 0 0 uy1 C 2u 0 y1 C u 00 y1 C puy1 C pu 0 y1 C qy1 u D 0:

00 y2 0 py2

qy2

Reagrupamos en trminos de u, u 0 , u 00 y as resulta:

0 0 0 u .y100 C py1 C qy1 / Cy1 u 00 C 2y1 u 0 C py1 u 0 D 0 ) y1 u 00 C 2y1 u 0 C py1 u 0 D 0: L.y1 / D 0

Si hacemos el cambio de variable w D u 0 , se tiene u 00 D w 0, por lo que la ED se reduce a otra de orden uno, concretamente: dw 0 0 y1 w 0 C 2y1 w C py1w D 0 ) y1 C 2y1 w C py1 w D 0: dx Si escribimos ahora la ecuacin en forma diferencial, hallaremos:
0 y1 dw C 2y1wdx C py1wdx D 0:

Esta ltima expresin es una ED que puede resolverse mediante separacin de variables. En efecto, multi1 plicando por , tenemos: wy1 dw y0 C 2 1 dx C pdx D 0: w y1 Integrando, encontramos: dw C2 w
0 y1 dx C y1

pdx D C ) ln w C 2 ln y1 C

pdx D C:

Aplicando propiedades de logaritmos encontramos:

2 ln.y1 w/ C 2 pdx D C ) ln.y1 w/ D C

pdx:

Si ahora aplicamos la funcin exponencial,

2 y1 w D e C R pdx

D eC e

pdx

D Ce e
R

pdx

As,

du e pdx wD DC ) uDC 2 dx y1

pdx

2 y1

dx C K:

De esta manera, cualesquiera de las funciones u 0 que resulten de esta frmula ser de utilidad para construir una segunda solucin y2 D uy1 . Como W .y1 ; y2 / D y1 0 y1 e y2 y1 0 D 0 y2 y1
R pdx 2 y1

uy1 2 D 1 C u 0 y1 uy1 y 0 0 uy1 C u 0 y1

R pdx

0 2 uy1 y 0 1 D u y1 D

DC

2 .y1 / D Ce  

0;

4.2 Reduccin de orden

resulta que f y1 ; y2 g es un conjunto fundamental de soluciones. Tomamos el caso ms sencillo para la funcin u, esto es C D 1 y K D 0; u toma la forma de uD En resumen, tenemos el siguiente resultado:. Dada la ecuacin diferencial lineal homognea de segundo orden y 00 C p.x/y 0 C q.x/y D 0 y una solucin no nula y1 , entonces: 1. La funcin y2 D uy1 , donde uD e
R pdx 2 y1

pdx

2 y1

dx:

(4.1)

dx;

es tambin solucin y, adems, f y1 ; y2 g conforma un conjunto fundamental de soluciones de la ecuacin diferencial. 2. La solucin general de la ED (4.1) est dada por: y D c1 y1 C c2 y2 :

Ejemplo 4.2.1 Consideremos la ED lineal homognea de segundo orden x 2 y 00 C 2xy 0 1. Vericar que y1 D x 2 es una solucin de la ED. 2. Encontrar una segunda solucin y2 de la ecuacin. 3. Escribir la solucin general de la ecuacin. H 1. En primer lugar calculamos la primera y segunda derivada de y1 :
0 y1 D x 2 ) y1 D 2x

6y D 0.

&

00 y1 D 2:

Si sustituimos en la ecuacin diferencial: x 2 .2/ C2x .2x/

00 y1 0 y1

.x / 6 D 0 ) 6x
2 y1

6x 2 D 0;

concluimos que y1 es una solucin de la ecuacin diferencial. 2. Usamos ahora el resultado anterior. Determinamos u. Primero necesitamos normalizar la ecuacin para lo cual dividimos entre x 2. Obtenemos: y 00 C 2 0 y x 6 y D 0: x2 2 & y1 D x 2 ; encontramos: x
2/

Usamos la frmula del resultado anterior con p D e

R 2 dx x

uD

.x 2 /2

dx D 1 x 5
5

2 ln x

x4 x2 D

dx D 1 x 5
3

e ln.x x4 .

dx D

x 2 dx D x4

dx D

1 x 5

Por lo tanto, y2 D uy1 D

4 3. La solucin general es y D c1 y1 C c2 y2 D c1x 2 C c2 1 x 5

3

Ecuaciones diferenciales ordinarias

D c1 x 2 C c2 x

Ejemplo 4.2.2 Utilizando el mtodo de reduccin de orden, calcular una segunda solucin de la ED dada y escribir su solucin general. x 2y 00 C 2xy 0 2y D 0; y1 .x/ D x: H Vamos a usar dos procedimientos. 1. Procedimiento 1: uso de la frmula. Primero, normalizamos la ED; para ello, dividimos entre x 2 : y 00 C 2 0 y x 2 x
2/

2 y D 0: x2 & y1 D x; encontramos: x 2 dx D x2 1 x 3

Usamos ahora la frmula de esta seccin con p D e

R 2 dx x

uD Por lo tanto,

x2

dx D

2 ln x

x2

dx D

e ln.x x2 1 x 3

dx D

dx D

y2 D uy1 D As, la solucin general de la ED es

xD

1 x 3

y D c1y1 C c2y2 D c1 x C c2 O bien y D c1 x C c2 x 2. Procedimiento 2: sustitucin de y2 D u.x/y1 .x/. Si y2 D ux, entonces:

0 y2 D u 0 x C u 2

1 3

&

00 y2 D u 00 x C 2u 0 :

Sustituimos en la ED para garantizar que y2 D uy1 sea solucin:

00 0 x 2 y2 C 2xy2

2y2 D 0:

Se debe cumplir: x 2 .u 00 x C 2u 0 / C 2x.u 0 x C u/ 2.ux/ D 0 ) ) x 3 u 00 C 2x 2 u 0 C 2x 2 u 0 C $$ $$ D 0 ) 2xu 2xu ) x 3 u 00 C 4x 2u 0 D 0: Dividiendo entre x 3 : u 00 C 4 0 u D 0: x (4.2)

4.2 Reduccin de orden Si u0 D w, entonces u 00 D dw . Sustituyendo en (4.2) se tiene que dx

dw 4 dw 4 dw dx C wD0 ) D w ) D 4 ) dx x dx x w x dw dx ) D 4 ) ln w D 4 ln x C C1 ) w x ) ln w D ln x 4 C ln C1 D ln.C1 x 4 / ) w D C1 x Pero w D u0 D

du du x 3 ) D C1 x 4 ) u D C1 x 4 dx D C1 C C2 ) dx dx 3 C1 3 x C C2 ) u D C1 x 3 C C2 : )u D 3
3

Si tomamos C1 D 1 & C2 D 0, obtenemos que u D x Pero y2 .x/ D ux, por lo tanto: y2 .x/ D x
3 2

.
2

xDx

) y2 .x/ D x 2y D 0, es

Por lo tanto, la solucin general de la ED x 2 y 00 C 2xy 0

y D c1 y1 C c2 y2 ) y D c1x C c2 x

Ejemplo 4.2.3 Utilizando el mtodo de reduccin de orden, calcular una segunda solucin de la ED proporcionada y escribir su solucin general. x 2y 00 C 3xy 0 C y D 0; y1 .x/ D x 1 : H Si y2 .x/ D u.x/y1 .x/, entonces: y2 D ux
0 y2 00 y2 1

I ux
0 2

Du x Du x
00

1 1

I
2

2u x

C 2ux

00 0 Sustituyendo en la ED x 2 y2 C 3xy2 C y2 D 0, se obtiene:

x 2 .u 00 x
00

1 0

2u 0 x

2 1

C 2ux C 3u
0

/ C 3x.u 0 x
1

1 1

ux

/ C ux

D0 )

) u x 2u C 2ux ) u 00 x C u 0 D 0:

3ux

C ux

D0 )

Dividiendo entre x para normalizar la ED: u 00 C Si u 0 D w, entonces u 00 D 1 0 u D 0: x (4.3)

dw ; sustituyendo en (4.3) se tiene que dx

dw 1 dw dx C wD0 ) D ) dx x w x dw dx ) D ) ln w D w x ) w D C1 x 1 :

ln x C C1 D ln x

C ln C1 D ln.C1 x

/ )

6 Pero w D u 0 D du , por lo que dx du D C1 x dx

1

Ecuaciones diferenciales ordinarias

) u D C1

dx D C1

dx ) u D C1 ln x C C2 : x
1

Si tomamos, por ejemplo, C1 D 1 y C2 D 0, hallamos que u D ln x. Ya que y2 .x/ D ux ln x y2 D . x Por lo tanto, la solucin general de la ED: y D c1 x
1

, entonces

C c2 x

ln x:

Ejemplo 4.2.4 Utilizando el mtodo de reduccin de orden, calcular una segunda solucin de la ED dada y escribir su solucin general. .2x C 1/y 00 C 4xy 0 4y D 0; y1 .x/ D e 2x : H Si y2 .x/ D u.x/y1 .x/, entonces: y2 D ue
0 y2 D u 0 e 00 y2 2x

I 2ue 4u e
0 2x

2x 2x

D .u 0 C 4ue

2u/e
2x

2x

I 4u 0 C 4u/e
2x

Du e

00

2x

D .u 00

Sustituyendo en
00 0 .2x C 1/y2 C 4xy2

4y2 D 0; 2u/e
2x

se obtiene .2x C 1/.u 00 Multiplicando por e 2x se tiene que 4u 0 C 4u/e

2x

C 4x.u 0

4ue

2x

D 0:

.2x C 1/.u 00 4u 0 C 4u/ C 4x.u 0 2u/ 4u D 0 ) ) .2x C 1/u 00 C . 8x 4 C 4x/u 0 C .8x C 4 8x 4/u D 0 ) ) .2x C 1/u 00 C . 4x Dividiendo entre .2x C 1/ para normalizar: u 00 Si u 0 D w, entonces u 00 D dw dx ) 4x C 4 0 u D 0: 2x C 1 (4.4) 4/u 0 D 0:

dw . Sustituyendo en (4.4): dx

4x C 4 dw 4x C 4 wD0 ) D dx ) 2x C 1 w 2x C 1 dw D w 2C 2 2x C 1 dx ) t dv D 2x C 1 ) dt D e 2x dx ) v D 2 dxI 1 D e 2x : 2

) ln w D 2x C ln.2x C 1/ C C1 ) ) w D e 2x e ln.2xC1/ e C1 D e 2x .2x C 1/C1 ) du ) w D C1 .2x C 1/e 2x ; pero w D ) dx ) u D C1 .2x C 1/e 2x dx:

4.2 Reduccin de orden Aplicando integracin por partes: u D C1 1 .2x C 1/e 2x 2 e 2x dx ) u D C1 xe 2x C C2 :

Tomando C1 D 1 & C2 D 0, hallamos que y2 .x/ D ue 2x D xe 2x e 2x D x. Por lo tanto, la solucin general de la ED es y D c1 y1 C c2 y2 D c1e 2x C c2x:

Ejemplo 4.2.5 Utilizando el mtodo de reduccin de orden, calcular una segunda solucin de la ED conocida y escribir su solucin general. x 2 y 00 C xy 0 C x 2 H Si y2 .x/ D u.x/y1 .x/, entonces: y2 D ux
0 y2 D u 0 x 1 2

1 4

y D 0;

y1 .x/ D x

1 2

sen x:

sen xI

1 1 3 2 sen x I sen x C u x 2 cos x x 2 1 1 1 3 00 2 sen x C u y2 D u 00 x 2 sen x C 2u 0 x 2 cos x x x 2

1 2 00 0 Sustituyendo en x 2y2 C xy2 C x 2

1 2

sen x

3 2

3 cos x C x 4

5 2

sen x :

1 4

y2 D 0, se obtiene, despus de algunas operaciones:

3 3

u 00 x 2 sen x C 2u 0 x 2 cos x D 0: De donde, dividiendo entre x 2 : u 00 sen x C 2u 0 cos x D 0: Si u 0 D w, entonces u 00 D dw . Sustituyendo en (4.5) se tiene que dx (4.5)
3

dw dw dw cos x sen x C 2w cos x D 0 ) sen x D 2w cos x ) D 2 dx ) dx dx w sen x dw cos x D 2 dx ) ) w sen x ) ln w D 2 ln.sen x/ C C1 D ln.sen x/ 2 C ln C1 D ln C1 .sen x/ ) w D C1 .sen x/ Pero w D u 0 D du , por lo tanto: dx du 1 D C1 D C1 csc2 x ) u D C1 csc2 x dx D C1 . cot x/ C C2 ) dx sen 2 x ) u D C1 cot x C C2 ) u D C1 cot x C C2 : Si se toma C1 D 1 & C2 D 0, obtenemos u D cot x, con lo que: y2 D ux ) y2 D x
1 2 1 2 2

sen x D .cot x/x

1 2

sen x D

cos x x sen$ x $$

1 2

sen$ x $$ )

cos x:

8 Por lo tanto la solucin general de la ED x 2 y 00 C xy 0 C x 2 est dada por y.x/ D c1 y1 .x/ C c2 y2 .x/ D c1x ) y.x/ D x
1 2 .c1 1 2

Ecuaciones diferenciales ordinarias

1 4

y D 0;

sen x C c2x

1 2

cos x )

sen x C c2 cos x/:

Ejercicios 4.2.1 Reduccin de orden. Soluciones en la pgina 9 Obtener la solucin general de la ED conocida, considerando que y1 es una solucin de ella. 1. 2y 00 C 3y 0 2. 4y 00 2y D 0I y1 D e y1 D e
2x
3x 2

.. ..

12y 0 C 9y D 0I

3. y 00 C 4y D 0I

y1 D sen 2x. . y1 D e y1 D e
2x 3

4. y 00 C 6y 0 C 9y D 0I 5. y 00 C 4y 0 C 13y D 0I 6. 9y 00 7. x 2 y 00 8. x 2 y 00 4y D 0I

3x

.. cos 3x. .

2x

y1 D e

.. y1 D x 2 . .

6xy 0 C 10y D 0I xy 0 3y D 0I

y1 D

1 .. x
3

9. x 2 y 00 C 8xy 0 C 12y D 0I 10. x 2 y 00 C xy 0 C 8y D 0I x/y 00 C xy 0 y D 0I

y1 D x

..

y1 D x 4 . . y1 D x. . sen x .. x y1 D x. .
x

11. .1

12. xy 00 C 2y 0 C xy D 0I 13. x 2 .ln x 14. xy 00 C .x 15. xy 00 1/y 00 1/y 0

y1 D

xy 0 C y D 0I y D 0I

y1 D e

..

.2x C 1/y 0 C .x C 1/y D 0I

y1 D e x . .

4.2 Reduccin de orden

Ejercicios 4.2.1 Reduccin de orden. Pgina 8 1. y D c1 e
2x

C c2 e 2 .
3x 2 . 3x .

9. y D 10. y 11. y 12. y 13. y

2. y D .c1 C c2 x/e 4. y D .c1 C c2 x/e 5. y D e 6. y D

2x .c 2 c1 e 3 x

3. y D c1 sen 2x C c2 cos 2x.

1 cos 3x C c2 sen 3x/. 2 C c2 e 3 x .

c1 c2 C 4. x3 x c2 D c1 x 4 C 2 . x D c1 x C c2 e x . 1 D .c1 sen x C c2 cos x/. x D c1x C c2 ln x.

x 1

7. y D c1 x 2 C c2 x 5 . c1 8. y D C c2 x 3 . x

14. y D c1e 15. y D ex .c

C c2 .x C c2 x 2 /.

1/.