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:

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/:

ww

w.

M at

y 00 C p.x/y 0 C q.x/y D 0, donde p.x/ D

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:

em

at

a1 .x/ a0 .x/ y donde q.x/ D , con a2 .x/ 0: a2 .x/ a2 .x/

ic

a1

.c om

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

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: 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

0 y1 dw C 2y1wdx C py1wdx D 0:

Aplicando propiedades de logaritmos encontramos:

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

ww

dw C2 w

0 y1 dx C y1

w.

Integrando, encontramos:

at

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

em

pdx D C ) ln w C 2 ln y1 C

at

ic a1
R pdx

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:

.c om
R R pdx 2 y1

pdx D C:

pdx:

Si ahora aplicamos la funcin exponencial,

2 y1 w D e C R pdx

D eC e

D Ce e

pdx

As,

du e pdx wD DC ) uDC 2 dx 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;

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:

2. Encontrar una segunda solucin y2 de la ecuacin. 3. Escribir la solucin general de la ecuacin. H

ww

1. En primer lugar calculamos la primera y segunda derivada de y1 :

0 y1 D x 2 ) y1 D 2x

w.

at

em

1. Vericar que y1 D x 2 es una solucin de la ED.

at

Ejemplo 4.2.1 Consideremos la ED lineal homognea de segundo orden x 2 y 00 C 2xy 0

ic

a1
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

.c om
2

y D c1 y1 C c2 y2 :

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

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

3

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

uD Por lo tanto,

x2

dx D

x2

dx D

ic a

R 2 dx x

2 ln x

e ln.x x2 1 x 3

1 .c

om

Usamos ahora la frmula de esta seccin con p D

&

y1 D x; encontramos: x 2 dx D x2 1 x 3

dx D

dx D

at

at

As, la solucin general de la ED es

em

y2 D uy1 D

xD

1 x 3

y D c1y1 C c2y2 D c1 x C c2

O bien

ww w.

1 3

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

&

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)

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 )u D x C C2 ) u D C1 x 3 C C2 : 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

1 .c
C 2ux
3 1 1

om
:
2

Si y2 .x/ D u.x/y1 .x/, entonces:

at

ww w.

y2 D ux Du x Du x
00 0

em

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 :

I ux
0 2

0 y2 00 y2

1 1

at
I 2u x
3

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

ic a
2 1

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

C 2ux C 3u
0

/ C 3x.u 0 x C ux

ux

/ C ux

D0 )

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

3ux

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

/ )

Pero w D u 0 D

du , por lo que dx du D C1 x dx
1

) 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:

Sustituyendo en se obtiene .2x C 1/.u 00 Multiplicando por e

2x

em

at

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

4u 0 C 4u/e

2x

ic a

0 y2 00 y2

Du e

00

2x

4u e

2x

C 4ue

2x

1 .c
4y2 D 0; 2u/e

Du e

2x

2ue

2x

D .u 0

2u/e

2x

om

y2 D ue

2x

I D .u 00

4u 0 C 4u/e

2x

C 4x.u 0

2x

4ue

2x

D 0:

) .2x C 1/u 00 C . 4x Dividiendo entre .2x C 1/ para normalizar:

ww w.

.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 )

at

se tiene que

4/u 0 D 0:

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)

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 De
2x

) 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:

dx )

D 2 dxI 1 D e 2x : 2

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

u 00 x 2 sen x C 2u 0 x 2 cos x D 0:

M at

De donde, dividiendo entre x 2 :

u 00 sen x C 2u 0 cos x D 0:

em

at

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

1 4

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

3

ic

a1

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

1 2

om

1 2

sen x

3 2

3 cos x C x 4

5 2

sen x :

.c

(4.5)

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

ww

Si u 0 D w, entonces u 00 D

dw . Sustituyendo en (4.5) se tiene que dx

w.

sen x D .cot x/x

1 2

sen x D

cos x x sen$ x $$

1 2

sen$ x $$ )

cos x:

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

1 4

y D 0;

sen x C c2x

1 2

cos x )

sen x C c2 cos x/:

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

..

y1 D e

..

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

y1 D x 2 . . 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

ww w.

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

at

2x

cos 3x. .

..

..

y1 D e x . .

em

at ic

2. 4y 00

12y 0 C 9y D 0I

y1 D e

3x 2

..

a1

1. 2y 00 C 3y 0

2y D 0I

y1 D e

2x

..

.c om

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.

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

5. y D e 6. y D 7. y D 8. y D

2 c1 e 3 x

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

2x .c

M at

4. y D .c1 C c2 x/e

em

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

ww w.

at

ic a1

2. y D .c1 C c2 x/e

10. y

11. y 12. y 13. y

c1 c2 C 4. 3 x x 4 C c2 . D c1 x x2 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

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

.c om

C c2 .x C c2 x 2 /.

1/.