Captulo 5

Resolucin de Ecuaciones Diferenciales Mediante Series

5.1. Introduccin

Existen ciertas ecuaciones diferenciales que no pueden resolverse exactamente en trminos de funciones elementales por cualquiera de los mtodos vistos. Para estos casos existe el mtodo que usa series de potencia.
5.2. Serie de potencias
serie de potencias

Una

es de la forma:

c0 + c1 x + c2 x2 + c3 x3 + . . . + cn xn =
n=0

cn xn

Esta serie de potencias, se pueden obtener mediante el desarrollo en serie de Taylor de una funcin.
5.2.1. Propiedades de la notacin sumatoria

Las propiedades de la notacin sumatoria empleadas en la serie de potencias, son: 1.

n

uk = u0 + u1 + u2 + u3 + . . . + un
k=0

2.

uk = u0 + u1 + u2 + u3 + . . .
k=0

47

48CAPTULO 5. 3.

RESOLUCIN DE ECUACIONES DIFERENCIALES MEDIANTE SERIES

k (k + 1) = 0 + 1 2 + 2 3 + 3 4 + . . . + n(n + 1)
k=0

4.

cn xn =
n=2 n=0

cn+2 xn+2 =
k=0

ck+2 xk+2

5.

cn xn+2 =
n=0 n=2

cn2 xn

6.

cn+m xn+p =
n=k n=0

cn+m+k xn+p+k

7.

k=0

xk x2 x3 =1+x+ + + . . . tomando 0!=1 k! 2! 3!

n n n

8.

uk +
k=j k=j

vk =
k=j

(uk + vk )

9.

ck =
n=k n=k

ck

5.3.

Resolucin de una ecuacin diferencial mediante serie de potencias

El mtodo para obtener la solucin de una ecuacin diferencial en serie de potencias es similar a la tcnica de los coecientes indeterminados para ello se necesita conocer la derivada de una serie de potencias y de las propiedades de serie de potencias. Se ilustra el mtodo al resolver la ecuacin diferencial:
dy 2xy = 0 dx

Se supone que existe la solucin de la ecuacin diferencial dada y tiene la forma:

y = c0 + c1 x + c2 x + c3 x + . . . + cn x =
n=0

cn xn

5.3. RESOLUCIN DE UNA ECUACIN DIFERENCIAL MEDIANTE SERIE DE POTENCIAS

49

Derivando y reemplazando, se tiene:

dy 2xy = ncn xn1 2x cn xn = 0 dx n=0 n=0

Se puede escribir como:

dy 2xy = +0c0 x1 1c1 x0 + ncn xn1 2cn xn+1 = 0 dx n=2 n=0

Con el objeto de igualar el inicio, se considera k = n 1 para la primera serie y k = n + 1 para la segunda, la ecuacin se transforma en:
dy 2xy = c1 + dx

(k + 1)ck+1 x
k=1 k=1

2ck1 xk = 0

Despus de restar termino a trmino las series, se tiene:

dy 2xy = c1 + dx

[(k + 1)ck+1 2ck1 ]xk = 0

k=1

De modo que c1 = 0 y [(k + 1)ck+1 2ck1 ] = 0, k = 1, 2, 3, . . . De donde

ck+1 = c2 = 2 2 c0 c3 = 2 3 c1 c4 = 2 4 c2 c5 = 2 5 c3 c6 = 2 6 c4 2ck1 k+1

Para cada iteracin, esta frmula genera los siguientes resultados:

k=1 k=2 k=3 k=4 k=5 =0 1 =1 2 c0 = 2! c0 =0 = 1 c0 = 1 c0 3 2! 3!

As sucesivamente, por lo tanto:

y=
n=0

cn xn = c0 + c1 x + c2 x2 + c3 x3 + c4 x4 + c5 x5 + c6 x6 + . . .

reemplazando los ai , se tiene:

y=
n=0

cn xn = c0 + 0 + c0 x2 + 0 +

1 1 c0 x4 + 0 + c0 x6 + . . . 2! 3!

y=
n=0

cn xn = c0 [1 + x2 +

1 4 1 x2n x + x6 + . . .] = c0 2! 3! n! n=0

donde c0 es una constante a determinar.

50CAPTULO 5.
5.3.1.

RESOLUCIN DE ECUACIONES DIFERENCIALES MEDIANTE SERIES

Puntos ordinarios y puntos singulares

Sea la ecuacin diferencial en la forma reducida:

y + P (x)y + Q(x)y = 0

Denicin 5.1 (Punto ordinario)

nario de la ecuacin diferencial si

Se dice que un punto y

x0

es punto ordi-

P (x)

Q(x)

son analticas en

x0 .

La ecuacin diferencial
y +

senx y=0 x

tiene un punto ordinario en x = 0, puesto que Q(x) = senx x se puede desarrollar en serie de Taylor alrededor de x = 0:
Q(x) = senx x2 x4 x6 =1 + + + ... x 3! 5! 7!

que converge para todos los valores nitos de x.

Denicin 5.2 ( Punto singular) Se dice que un punto x0

gular de la ecuacin diferencial si

es un punto sin-

P (x)

Q(x)

no son analticas en

x0 .

La ecuacin diferencial
y + (lnx)y = 0

tiene un punto singular en x = 0 porque Q(x) = lnx no se puede desarrollar como serie de potencias en x en ese punto.
5.4. El mtodo de la serie de Taylor

Existe un mtodo alternativo para hallar soluciones con series de potencias de la ecuacin diferencial alrededor de un punto ordinario x = a y se conoce como el mtodo de la serie de Taylor. Este mtodo usa los valores de las derivadas evaluadas en el punto ordinario, los cuales se obtienen de la ecuacin diferencial por diferenciacin sucesiva. Cuando se encuentran las derivadas, se realiza la expansin en serie de Taylor alrededor del punto a:
y (x) = y (a) + y (a)(x a) + 1 1 y (a)(x a)2 + y (a)(x a)3 + . . . 2! 3!

Ejemplo 5.1

Resuelva la ecuacin diferencial por serie de Taylor:

2y 5y + 3y = 0, a = 1

5.5.

MTODO DE ITERACIN DE PICARD

51

5.5.

Mtodo de iteracin de Picard

Existe un mtodo muy interesante debido al matemtico Picard el cual se puede usar para obtener soluciones con series de ecuaciones diferenciales.

Ejemplo 5.2

Resolver la ecuacin diferencial

y =x+y+1
Considerando que

y = c

cuando

x = 0,
x

se puede integrar respecto a

ambos

lados de la ecuacin diferencial, se tiene:

y =c+
0

(x + y + 1)dx

La integral a la derecha no se puede desarrollar puesto que no se sabe la dependencia

de

x.

De hecho, esto es lo que estamos buscando. El mtodo de Picard

consiste en asumir que

primera aproximacin por integrando, denotando aproximacin a

y = c es una primera aproximacin a y . Denotamos esta y1 = c. Cuando este valor se sustituye por y en el el valor resultante de y por y2 , el cual es una segunda
x

y,
x

esto es:

y2 = c +
0

(x + y1 + 1)dx = c +
0

(x + c + 1)dx = c +

x2 + cx + x 2

Sustituyendo en el integrando nuevamente, se tiene la tercera aproximacin

y3 ,

dado por:

y3 = c +
0

(x + y2 + 1)dx = c + (c + 1)x +

(c + 2)x2 x3 + 2! 3!

5.6.

El Mtodo de Frobenius

Para resolver una ecuacin diferencial como la (1) en torno a un punto singular regular, se aplica el siguiente teorema, debido a Georg Ferdinand Frobenius. Existen ecuaciones como:
y +

que no se pueden resolver por el mtodo anterior, pues sus coecientes no son funciones analticas en el origen, sin embargo, se observa que tiene la solucin:
ex 1 x2 x3 = (1 + x + + + . . .) x x 2! 3!

2 y y =0 x

esto sugiere, y en esto consiste el soluciones de la forma:

y = f (x) = x

mtodo de Frobenius

, que se trata de buscar

r n=0

cn x =
n=0

cn xn+r

con r < 0.

52CAPTULO 5.

RESOLUCIN DE ECUACIONES DIFERENCIALES MEDIANTE SERIES

Ejemplo 5.3
1.

Aplicando el mtodo de Frobenius, resolver la ecuaciones difer-

enciales siguientes:

d2 y dy +3 y =0 dx dx2 d2 y dy + (x + 1) +y =0 dx dx2

2.

2x

5.7.

La Ecuacin Hipergeomtrica de Gauss

Gauss a la ecuacin diferencial:

Para a, b, c constantes reales, se llama ecuacin hipergeomtrica de

x(1 x)y + [c (a + b + 1)x]y aby = 0

Suponiendo que c = 0 y c = a + b + 1. Bajo estas condiciones las func (a + b + 1)x ciones P (x) = y Q(x) = ab solo no son analticas en x(1 x) x(1 x) los punto x = 0 y x = 1. Por lo tanto, estos son lo nicos puntos singuc (a + b + 1)x y lares de la ecuacin. Como las funciones a(x) = xP (x) =
(1 x) b(x) = x2 Q(x) = abx son analticas en x = 0, este es un punto singular. (1 x)

5.8.

La Ecuacin de Legendre

La ecuacin diferencial:
(1 x2 )y 2xy + n(n + 1)y = 0

se conoce como la ecuacin diferencial de Legendre de orden n. Se ve que en x = 0 es un punto ordinario de la ecuacin, de modo que se puede obtener soluciones de la forma:
y= cj xj

Sustituyendo en la ecuacin diferencial, se tiene:

n n n

(1 x2 )
j =2 n

j (j 1)cj xj 2 2x
j =1 n

jcj xj 1 +
j =0 n

n(n + 1)cj xj = 0
n

j (j 1)cj xj 2
j =2 n j =2

j (j 1)cj xj
j =1

2jcj xj +
j =0

n(n + 1)cj xj = 0

[(k + 2)(k + 1)ck+2 k (k 1)ck 2kck + n(n + 1)ck ]xk = 0

j =0

5.9.

LA ECUACIN BESSEL Y LAS FUNCIONES DE BESSEL

53

{(k + 2)(k + 1)ck+2 + [n(n + 1)ck k (k 1)ck ]}xk = 0

j =0

La solucin general, es:

ck+2 = [n(n + 1) k (k + 1)] ck (k + 2)(k + 1)

5.9.

La Ecuacin Bessel y las Funciones de Bessel

La ecuacin diferencial:
x2 y + xy + (x2 n2 )y = 0

donde n puede y tomar cualquier valor pero generalmente toma un valor entero, se conoce como la ecuacin de Bessel de orden n Se llama funcin de Bessel a toda solucin de esa ecuacin. Estas aparecen en problemas sobre vibraciones de una cadena colgante (Daniel Bernoulli), vibraciones de una membrana circular (Euler), movimiento de planetas (Bessel), propagacin de ondas, elasticidad, movimiento de uidos, teora del potencial, etc.
5.10.
5.10.1.

Otras Funciones Especiales

Ecuacin diferencial de Hermite

y 2xy + 2ny = 0 n = 0, 1, 2, . . . y se denotan por Hn (x)

5.10.2.

Esta ecuacin tiene soluciones llamadas polinomios

de Hermite

para el caso

Ecuacin diferencial de Laguerre

xy + (1 x)y + ny = 0

Esta ecuacin tiene soluciones llamadas polinomios de Laguerre para el caso n = 0, 1, 2, . . . y se denotan por Ln (x) y tienen las siguientes propiedades: