6.

SOLUCIN DE ECUACIONES DIFERENCIALES

EMPLEANDO SERIES DE POTENCIAS

INTRODUCCIN
Definicin de una serie de potencias
Una serie de potencias en x a es una serie infinita de la forma

c
n 0

(x a )n

Una serie como sta se dice que es tambin una serie de potencias centrada en a. Por

ejemplo, la serie de potencias

c
n 0

n 1

(x 1)n est centrada en a = -1, mientras que

( 1) x
es una serie de potencias en x, tal que est centrada en cero (a = 0).
n2
n 0

Convergencia
Intervalo de convergencia
Radio de convergencia
Convergencia en un punto extremo
Convergencia absoluta

Tarea: estudiar estos conceptos

Una serie de potencias define una funcin

Una serie de potencias define una funcin como

f (x ) c n (x a )n c 0 c 1 (x a ) c 2 (x a )2 ...
n 0

cuyo dominio es el intervalo de convergencia de la serie. Si la serie tiene un radio de

convergencia R>0, entonces f es continua, diferenciable e integrable en el intervalo (a-R,
a+R).
Adems, f '(x ) _ y _ f (x )dx pueden encontrarse diferenciando e integrando trmino a
trmino:

f '(x ) c 1 2c 2 (x a ) 3c 3 (x a )2 ... nc n (x a )n 1
n 1

f (x )dx c c 0 (x a ) c 1

(x a )
(x a )3
( x a )4
c ( x a )n 1
c2
c3
... c n
2
3
4
n 1
n 0
2

106

6. SERIES DE POTENCIAS

Propiedad de identidad

Si

c
n 0

(x a )n 0 , R > 0 para todo nmero real x en el intervalo de convergencia,

entonces c n 0 para todo R.

Analtica en un punto
En Clculo se ha visto que funciones como e x , cos x ,ln(x 1) se pueden representar por
series de potencias desarrollando en series de Taylor o de Maclaurin (series de Taylor
centradas en cero).
Se dice que una funcin es analtica en el punto a si se puede representar por una serie de
potencias en x a, con radio de convergencia positivo.

n 0

n0

f ( n ) ( a)
f n ( a)
( x a)n f ( a) f '( a)(x a)
(x a)2 ...
n!
2!
f ( n ) (0) n
f '' (0) 2
x f (0) f '(0)x
x ...
n!
2!

Aritmtica de las series de potencias

Sean

n 0

n 0

f (x ) c n x n y g (x ) b n x n es decir,

f (x ) c 0 c 1x c 2 x 2 c 3x 3 ...
g (x ) b 0 b 1x b 2 x 2 b 3x 3 ...

entonces:
f (x ) g (x ) (c 0 b 0 ) (c 1 b 1 )x (c 2 b 2 )x 2 ...

f (x )g (x ) c 0 b 0 (c 0 b 1 c 1b 0 )x (c 0b 2 c 1b 1 c 2b 0 )x 2 ...

Suma de dos series de potencias

Ejemplo 6.1. Escribir

n 2

n 0

n (n 1)c n x n 2 c n x n 1 como una sola serie.

Solucin:
Para sumar las dos series, se requiere:
1) que los dos ndices de las sumas comiencen con el mismo nmero.
2) que las potencias de x en cada serie estn en fase, es decir, que comiencen con
la misma potencia de x.
SEMESTRE 2011A

107

6. SERIES DE POTENCIAS

Igualando potencias

n 2

n 0

k 0

k 1

n (n 1)c n x n 2 c n x n 1 (k 2)(k 2 1)c k 2x k 22 c k 1x k 11

Si _ k n 2, _ n k 2
___ n 2 k 0

Si _ k n 1, _ n k 1
___ n 0 k 1

n 2

n 0

k 0

k 1

n (n 1)c n x n 2 c n x n 1 (k 2)(k 1)c k 2x k c k 1x k

Para obtener el mismo ndice de suma
La primera serie del miembro derecho comienza con x 0 , mientras que la segunda
comienza con x 1 . Escribiendo el primer trmino de la primera serie fuera de la notacin de
:

n 2

n 0

n (n 1)c n x n 2 c n x n 1 2(1)c 2x 0 (k 2)(k 1)c k 2x k c k 1x k

k 1

k 1

k 1

k 1

________________________ 2c 2 (k 2)(k 1)c k 2 x k c k 1x k

Asociando los trminos de la misma potencia:

n 2

n 0

k 1

n (n 1)c n x n 2 c n x n 1 2c 2 (k 2)(k 1)c k 2 c k 1 x k

SOLUCIONES EN TORNO A PUNTOS ORDINARIOS
Definicin
Se dice que un punto x 0 es un punto ordinario de la ecuacin diferencial

a 2 (x ) y '' a 1 (x ) y ' a 0 (x ) y 0

(1)

expresada en la forma estndar

y '' P (x ) y ' Q (x ) y 0

(2)

si P(x) y Q(x) son analticas en x 0 , es decir, que ambas funciones se pueden desarrollar en
series de Taylor o de Maclaurin.
Se dice que un punto que no es ordinario es un punto singular de la ecuacin.
SEMESTRE 2011A

108

6. SERIES DE POTENCIAS

Ejemplos:
Sea la ecuacin diferencial y '' (e x ) y ' (senx ) y 0 .
Se aprecia que todo valor finito de x es un punto ordinario de la ecuacin.
En particular, x = 0 es un punto ordinario ya que tanto ex como sen x son funciones
analticas en ese punto, es decir,
ex 1

x x2
x3 x5
..., _____ senx x ...
1! 2!
3! 5!

Para la ecuacin diferencial y '' (e x ) y ' (ln x ) y 0

x = 0 es un punto singular, ya que Q(x) = ln x es discontinua en x = 0, por lo que no se
puede representar por una serie de potencias.
Coeficientes polinomiales
Interesa principalmente el caso en que la ecuacin (1) tiene coeficientes polinomiales.
Un polinomio es analtico en cualquier valor de x,
Una funcin racional es analtica excepto en puntos donde su denominador es cero.
En consecuencia,
x x 0 es un punto ordinario de la ecuacin (1) si a 2 (x 0 ) 0 , mientras que
x x 0 es un punto singular de (1) si a 2 (x 0 ) 0 .

Ejemplo 6.2. Determine dos soluciones en forma de serie de potencias, de la ecuacin

diferencial, respecto al punto ordinario x = 0.

2 y '' 3xy ' y 0

Solucin:

Como x = 0 es un punto ordinario, se propone la solucin en serie:

y Cn x n
n0

Derivando

y ' nCn x n1

y '' n n 1 Cn x n2

n2

n1

Sustituyendo en la ecuacin diferencial

SEMESTRE 2011A

n2

n1

n0

2 n n 1 Cn x n2 3x nCn x n1 Cn x n 0 ,

109

6. SERIES DE POTENCIAS

Igualando potencias

n n 1 C x
n

n2

n2

n 1

n 0

2 n n 1 Cn x n2 3 nCn x n Cn x n 0
k n 2, _ n k 2

k n

k n

k n

entonces:

k 2

k 0

k 1

k 0

k k 1 Ck x k 2 k 2 k 1 Ck 2 x k 3 kCk x k Ck x k 0
Para obtener el mismo ndice de suma:

k k 1 C x
k 2

k 2

k 2

2(2)(1)C 2 x 0 2(3)(2)C 3 x 2 k 2 k 1 C k 2 x k 3(1)C 1x 3 kC k x k

C0 x 0 C 1 x C k x k 0
k 2

Asociando trminos de la misma potencia de x:

4C2 C0 x0 12C3 2C1 x k k 1 C k 2 k 2 k 1 C k 2 3kC k C k x k 0

k 2

Aplicando la propiedad de identidad: como esta ecuacin es idntica a cero, es necesario

que el coeficiente de cada potencia de x sea igual a cero.

4C2 C0 0,

1
C2 C0 ,
4

12C3 2C1 0,

1
C 3 C1
6

k k 1 Ck 2 k 2 k 1 Ck 2 3kCk Ck 0
despejando el trmino C k 2 :

Ck2

2 k 1

2 k 2 k 1

C k , k 2, 3,...

Ecuacin de recurrencia o relacin de recurrencia

Esta relacin permite calcular en forma sucesiva C2 , C3 ,... en trminos de C0

SEMESTRE 2011A

y C1 .

110

6. SERIES DE POTENCIAS

k
2
3
4

Ck2

2 k 1

Ck
2 k 2 k 1
7
7
C4 C2
C4
C0
4!
4 4!
14
14
C5
C3 C5
C1
5 42
2 5!
23
23 7
C6
C4
C6
C0
652
8 6!
C7

34
34 14
C5
C7
C1
7 62
4 7!

Entonces:

y Cn x n C0 C1x C 2 x 2 C 3 x 3 ...
n0

1
1
7
14
23 7
34 14
y C0 C1 x C0 x 2 C1 x 3
C0 x 4
C 1x 5
C0x 6
C 1x 7 ...
4
6
4 4!
2 5!
8 6!
4 7!

1
7 4 23 7 6

y1 ( x ) C0 1 x 2
x
x ...
4
4 4!
8 6!

1
14 5 34 14 7

y2 (x ) C1 x x 3
x
x ...
6
2 5!
4 7!

SEMESTRE 2011A

111

6. SERIES DE POTENCIAS

SOLUCIONES EN TORNO A PUNTOS SINGULARES

Puntos singulares regulares e irregulares
Un punto singular x = xo de una ecuacin diferencial lineal

a2 (x)y '' a1 (x)y ' a0 (x)y 0

(1)

se clasifica tambin como regular e irregular. La clasificacin depende de las funciones P y

Q en la forma estndar
(2)
y '' P(x)y ' Q( x)y 0
El punto singular xo es un punto singular regular de la ecuacin diferencial (1), si las
funciones P(x ) x x0 y Q(x ) x x0 son analticas en xo. En caso contrario, es un
punto singular irregular.
2

Ejemplo:
Sea la ecuacin diferencial

9 y '' x 3 y ' 2 y 0
2

dividiendo entre x 2 9 :
2

y ''

x 3

y '

y0

Identificando los puntos singulares:

x 2 9 0, x 3

Verificando si son regulares con las dos condiciones antes mencionadas:

P(x ) x x0 y Q(x ) x x0

con xo 3

P( x ) x 3

x 3

x2 9

x 3

x 9
P( x ) x 3
x 9
2

P( x ) x 3

1
x 9
2

se observa que la funcin no es analtica en x 3 .

2
Ya no es necesario revisar la condicin Q(x ) x x0 , por lo que x 3 es un punto
singular irregular.

SEMESTRE 2011A

112

6. SERIES DE POTENCIAS

con xo 3

P( x ) x 3

x 3

x 3

P( x ) x 3

x 3 2
x 3 2 x 3 2

P( x ) x 3

1
x 3 2

la funcin es analtica en x 3 .

Q( x ) x 3
2

Q( x ) x 3

2
2

x 3 2

Q( x ) x 3

x 3 x 3
2

x 3 2

2
x 3 2

la funcin es analtica en x 3 .

Por lo tanto, x 3 es un punto singular regular.

Mtodo de Frobenius
Este mtodo se emplea para hallar las soluciones de una ecuacin diferencial lineal de
segundo orden cerca de puntos singulares regulares. Como en el caso de soluciones
respecto a puntos ordinarios, para simplificar la solucin de la ecuacin diferencial se
considera el punto singular regular x 0 .
El mtodo de Frobenius supone una solucin de la forma

n0

n0

y x r cn x n cn x nr c o x r c1x r 1 c 2 x r 2 ... (3)

donde a (3) se le conoce como Serie de Frobenius.

Esta serie es aplicable a ecuaciones de la forma
x 2 y '' xp(x)y ' q(x)y 0

(4)

Al sustituir las series

n0

n0

n0

y cn x nr , y ' cn (n r )x nr 1 , y '' cn (n r )(n r 1)x nr 2

SEMESTRE 2011A

113

6. SERIES DE POTENCIAS

en la ecuacin (4), se obtiene:

r(r 1)c o x r (r 1)rc1x r 1 ... po x p1x 2 ... rc o x r 1 (r 1)c 1x r ...

qo q1x ... co x r c1x r 1 ... 0

(5)

La menor potencia de x que aparece en la ecuacin (5) es x r . Si la ecuacin (5) debe

satisfacerse, entonces el coeficiente r(r 1)c0 p0rc 0 q0c0 0 de x r debe anularse. Como
c0 0 , r debe satisfacer la ecuacin
r(r 1) p0r q0 0 (6)
La ecuacin (6) recibe el nombre de ecuacin indicial de la ecuacin diferencial (4) y sus
dos races son los exponentes de la ecuacin diferencial (en el punto singular regular x 0
).
La deduccin de la ecuacin (6) muestra que si la serie de Frobenius y x r cn x n fuese
una solucin de la ecuacin diferencial (4), entonces el exponente r debe ser una de las
races r1 y r2 de la ecuacin indicial en (6). Si r1 r2 entonces existen dos posibles
soluciones en serie de Frobenius; mientras que si r1 r2 slo hay una posible solucin en
serie de Frobenius; la segunda solucin no puede ser una serie de Frobenius.
Ejemplo 6.3:
Obtener la solucin general de la ecuacin diferencial aplicando el teorema de Frobenius si
x0 = 0 es un punto singular regular.

2xy '' 5y ' xy 0

Solucin

Como x = 0 es un punto singular regular, se propone la solucin en serie: y C n x nr

n0

Derivando

y ' n r C n x n r 1

y '' n r n r 1 Cn x nr 2

n 0

n0

Sustituyendo en la ecuacin diferencial

n 0

n 0

n 0

n 0

n 0

n 0

2 x n r n r 1 Cn x nr 2 5 n r Cn x nr 1 x Cn x nr 0 ,
2 n r n r 1 Cn x nr 1 5 n r Cn x nr 1 Cn x nr 1 0 ,

SEMESTRE 2011A

114

6. SERIES DE POTENCIAS

Igualando potencias

x r n r 2n 2r 3 Cn x n1 Cn x n1 0 ,
n0
n0

k n 1, _ n k 1

k n 1, _ n k 1

entonces:

x r k 1 r 2 k 2 2r 3 C k 1x k C k 1x k 0
k 1
k 1

Para obtener el mismo ndice de suma:

x r r 2r 3 C0 x 1 1 r 2r 5 C1x 0 k 1 r 2 k 2r 5 C k 1 C k 1 x k 0
k 1

r
x 0

Aplicando la propiedad de identidad: como esta ecuacin es idntica a cero, es necesario

que el coeficiente de cada potencia de x sea igual acero.
*La ecuacin indicial corresponde al coeficiente de la menor potencia de x.

r1 0

r 2r 3 C0 0, ___ C0 0 , entonces, r 2r 3 0, ___

3
r2

ndices

Ecuacin indicial

1 r 2r 5 C1 0,

C1 0

k 1 r 2k 2r 5 Ck 1 Ck 1 0
despejando el trmino C k 1 :

C k 1

C k 1
, k 1, 2,...
k 1 r 2 k 2r 5

A partir de esta ecuacin se obtendrn dos ecuaciones de recurrencia, dado que se tienen
dos valores de r.
Si r = 0

SEMESTRE 2011A

C k 1

C k 1
, k 1, 2,...
k 1 2 k 5

115

6. SERIES DE POTENCIAS

C k 1

Si r = -3/2

C k 1
, k 1, 2,...
2 k 1 k 1

r 3 2

r 0

C k 1

C k 1
k 1 2 k 5

C0
2(7)
1
C3
C1
3(9)
1
C3
C2
4(11)

C2

1
2
3

C2

1
C0
14

C1 0

C4

1
C0
616

C k 1

C k 1
2 k 1 k 1

1
C2 C0
2
1
C3
C1
3(3)
1
C3
C2
5(4)

C1 0
C4

1
C0
40

Como la solucin propuesta es:

y x r Cn x n x r C0 C1x C 2 x 2 C 3x 3 ...
n0

entonces
1
1

y1 x 0 C0 C0 x 2
C0 x 4 ...
14
616

1
1

y2 x 3 2 C0 C0 x 2 C0 x 4 ...
2
40

Sea A C0 en y 1 y B C0 en y 2
1
1 4

y1 A 1 x 2
x ...
14
616

1
1 4

y2 Bx 3 2 1 x 2
x ...
2
40

por lo que la solucin general de la ecuacin diferencial:

1
1 4
1
1 4

y A 1 x2
x ... Bx 3 2 1 x 2
x ...
14
616
2
40

SEMESTRE 2011A