4.

Soluciones de ecuaciones
lineales
en series de potencias

( Chema Madoz, VEGAP, Madrid 2009) 1

 Repaso de Series de Potencias
Recuerda de clculo que una serie de
potencias en (x a) es una serie de
la forma
n
c ( x a ) n
c0 c1 ( x a ) c2 ( x a ) 2

n 0

Se dice que es una serie de

potencias centrada en a.

2
 N n 0 n
N
lim
La serie converge S
N N ( x ) lim c ( x a ) n

si existe el siguiente lmite de las sumas

parciales:
Intervalo de convergencia
Es el conjunto de nmeros reales x o intervalo
para los que la serie converge.
Radio de convergencia
Si R es el radio de convergencia, la serie de
potencias converge para |x a| < R y
diverge para |x a| > R. Si R = 0 la serie
converge solo para x = a. Y si la serie
converge para todo x, entonces escribimos R
= .
3
 Convergencia absoluta
Dentro de su intervalo de convergencia, una
serie de potencias converge absolutamente.
Es decir, la siguiente serie converge:

n 0 n
n
| c ( x a ) |
Prueba de convergencia (criterio del
cociente) Suponiendo cn 0 para todo n, y

cn 1 ( x a) n 1 cn 1
Si L <lim
1, la serie | x a absolutamente;
converge | lim L si
n cn ( x diverge;
L > 1, la serie a) n n
y si L = 1, cn el criterio
no es concluyente.

Ch5_4
 Una serie de potencias define una
y ( x ) n 0 cn x n

funcin
cuyo dominio es el
intervalo de convergencia de la serie,
donde
y ' ( x) n 1 n x , y" ( x) n 2 n(n 1e
es continua,
n 1 derivable

) x n2
integrable:
Funcin analtica en un punto
Una funcin f(x) es analtica en un punto
a, si se puede representar mediante una
serie de potencias en (x a) con un radio
de convergencia positivo. Por ejemplo:
x x x2 x3 x5
e 1 , sin x x
1! 2! 3! 5!
x2 x 4 x6
cos x 1 5
2! 4! 6!
 Aritmtica de series de potencias
Las series de potencias se pueden
combinar mediante operaciones de
suma, resta, multiplicacin y divisin.
e x sin x
x 2 x3 x 4 x3 x5 x7
1 x x
2 6 24 6 120 5040
1 1 1 1 1 1 1
(1) x (1) x 2 x3 x 4 x5
6 2 6 6 120 12 24
3 5
x x
x x2
3 30
6

Escribir n2 n ( n 1) c n x n2
n 0 cn x n 1 como
una sola serie de potencias (i.e., bajo el mismo
sumatorio).

Solucin
Primero, buscamos que ambos sumatorios comiencen por
la misma potencia:

n
n 2
( n 1) c n x n2
n
c
n 0
x n 1
21c 2 x 0
n ( n
n 3
1) c n x n 2
n
c
n 0
x n 1

Ahora cuando sustituimos el primer valor de n en ambos

sumatorios, las series comienzan potencias x1. Haciendo
los cambios de ndice k = n 2 para la primera serie y k
= n + 1 para la segunda serie:

2c2 (k 2)(k 1)ck 2 x k ck 1 x k
k 1 k 1

2c2 [(k 2)(k 1)ck 2 ck 1 ]x k
k 1 Ch5_7
 Supongamos la ED lineal
a2 ( x) y a1 ( x) y a0 ( x) y 0
que podemos escribir como
y P( x) y Q( x) y 0
DEFINICIN

Se dice que un punto x0 es un punto ordinario o regul

de la ED si P(x) y Q(x) son analticas en x0; es decir si
admiten desarrollos en serie de potencias alrededor de x
Un punto que no es un punto ordinario es un punto
singular.

Si P(x) y Q(x) son cocientes de polinomios: P(x) =

a1(x)/a2(x),
Q(x) = a0(x)/a2(x), entonces x = x0 es un punto
ordinario de nuestra ecuacin simplemente si a2(x0)8 0
Soluciones respecto a puntos
ordinarios
TEOREMA
Existencia de soluciones
en series de potencias
Si x = x0 es un punto ordinario o regular, siempre es
posible hallar dos soluciones linealmente independiente
en forma de series de potencias centradas en x0:

y n0 cn ( x x0 ) n

Cada una de las dos soluciones linealmente

independientes en serie de potencias converger
por lo menos dentro del intervalo definido por |x
x0| < R, donde R es la distancia desde x0 hasta
el punto singular ms prximo de la EDO.
9
Resolver y"xy 0
Solucin P(x) = 0, Q(x) = x
No tenemos puntos singulares. Podemos buscar
solucin en serie alrededor de cualquier punto porque
todos son regulares. En particular, lo haremos para x
= 0.
y
y ( x) y" ( x) n 2 n(n 1)cn x n 2
n
Sustituyendo
n 0 en
c x
n la ED obtenemos:

y xy cn n(n 1) x n2 x cn x n
n2 n 0

cn n(n 1) x n2
cn x n 1

n2 n 0 10
Obtuvimos esta suma de series en el
ejercicio anterior

y xy 2c2 [(k 1)(k 2)ck 2 ck 1 ]x k 0
k 1
Para que la identidad se cumpla es
necesario que todos los coeficientes sean
cero: 2c2 = 0; c2 = 0 y
(k 1)(k 2)ck 2 ck 1 0 , k 1, 2 , 3 ,

Puesto que (k + 1)(k + 2) 0, obtenemos

la siguiente relacin de recurrencia:

ck 1
ck 2 , k 1, 2 , 3 ,
(k 1)(k 2)
11
 ck 1
ck 2 , k 1, 2 , 3 ,
(k 1)(k 2)
Tomando valores de k y recordando que c2 =
0: c5
c0 c8 0
k 1, c3 k 6,
23 78
c c6 1
k 2, c4 1 k 7, c9 c0
34 89 235689
c c 1
k 3, c5 2 0 k 8, c10 7 c1
45 910 3467910
c 1
k 4, c6 3 c0 c
56 2356 k 9, c11 8 0
1011
c4 1
k 5, c7 c1
67 3467 (....)

Observa que todos los coeficientes dependen o de c0, o de c1.

De hecho, si c0 y c1 no quedan indeterminados es que hemos
metido la gamba en algn sitio. 12
 Nuestra solucin era:
c0 3 c1 4 c0
y ( x) n 0 cn x c0 c1 x 0
n
x x 0 x6
2 3 3 4 2356
c1
x 7 0 .... c0 y0 ( x) c1 y1 ( x)
3 467
Entonces las dos soluciones linealmente independientes
en serie de potencias son:
1 3 1 1
y0 ( x ) 1 x x
6
x9
2 3 2 3 5 6 2 3 5 6 8 9

(1) k
1 x 3k
k 1 2 3 (3k 1)(3k )

1 4 1 1
y1 ( x) 1 x x
7
x10
3 4 3 4 6 7 3 4 6 7 9 10

(1) k
x x 3k 1
k 1 3 4 (3k )(3k 1) 13
 Hay una manera algo menos trabajosa de realizar el
clculo anterior para encontrar los coeficientes en la
relacin de recurrencia:
ck 1
ck 2 , k 1, 2 , 3 ,
(k 1)(k 2)

Observa que si hacemos primero c0 = 1 y c1 = 0,

(recordando que en este caso particular adems c2 =
0),
obtenemos directamente los coeficientes del desarrollo
de y0(x). Y haciendo c0 = 0 y c1 = 1, obtenemos
directamente los coeficientes del desarrollo de y 1(x).
Repite el clculo anterior desde el principio, utilizando
esta estrategia.
14
 ck 1
ck 2 , k 1, 2 , 3 ,
(k 1)(k 2)
Si hacemos primero c0 = 1 y c1 = 0, (con c2 = 0):

1 c3 1
k 1, c3 k 4, c6
2 3 5 6 2
3 5
6
k 2, c4 0 k 5, c7 0

c2
k 3, c5 0 (...)
45

1 3 1 1
y0 ( x ) 1 x x
6
x9
2 3 2 3 5 6 2 3 5 6 8 9

(1) k
1 x 3k
k 1 2 3 (3k 1)(3k )

15
 ck 1
ck 2 , k 1, 2 , 3 ,
(k 1)(k 2)

Si hacemos ahora c0 = 0 y c1 = 1, obtenemos:

c3
k 1, c3 0 k 4, c6 0
5 6
1 c 1
k 2, c4 k 5, c7 4
3 4 6 7 3 4 6 7
c2
k 3, c5 0
45 (....)

1 4 1 1
y1 ( x) 1 x x7 x10
3 4 3 4 6 7 3 4 6 7 9 10

(1) k
x x 3k 1
k 1 3 4 (3k )(3k 1)
16
 2
Resolver ( x 1) y" xy ' y 0

Solucin
Puesto que x2 + 1 = 0, x = i, i son puntos
singulares, la solucin en serie de potencias
centrada en 0 converger al menos para |x|
< 1. Usando la solucin en forma en serie de
potencia de y, y e y:

( x 2 1) n(n 1)cn x n2 x ncn x n1 cn x n
n2 n 1 n 0

n(n 1)cn x n n( n 1)cn x n2 ncn x n cn x n
n2 n2 n 1 n 0

17
 Primero hacemos que todos los sumatorios comiencen por la potencia ms
alta, que en este caso es x2, y separamos los trminos "sobrantes":

2c2 x 0 c0 x 0 6c3 x c1 x c1 x n(n 1)cn x n
n 2
k n

n(n 1)cn x n2 ncn x n cn x n
n 4 n2 n 2
k n2 k n k n
Ahora reindexamos:

2c2 c0 6c3 x [k ( k 1)ck (k 2)(k 1)ck 2 kck ck ]x k
k 2

2c2 c0 6c3 x [(k 1)(k 1)ck (k 2)(k 1)ck 2 ]x k 18 0
k 2
De lo anterior, tenemos 2c2 c0 = 0, 6c3 = 0
,y
(k 1)(k 1)ck (k 2)(k 1)ck 2 0

As que c2 = c0/2, c3 = 0, ck+2 = (1 k)ck/(k +

2). Luego: 1 1 1
c4 c2 c0 2 c0
4 24 2 2!
2
c5 c3 0
5
3 3 13
c6 c4 c0 3 c0
6 246 2 3!
4
c7 c5 0
7 19
 5 35 135
c8 c6 c0 4 c0
8 2468 2 4!
6
c9 c7 0
9
7 357 1357
c10 c8 c0 5
c0 ... y as
10 246810 2 5!
sucesivamente.
y c0 c1 x c2 x 2 c3 x 3 c4 x 4 c5 x 5
c6 x 6 c7 x 7 c8 x 8 c9 x 9 c10 x10
1 2 1 4 1 3 6 13 5 8 1
3 57 10
c0 1 x 2 x 3 x 4 x 5
x c1 x
2 2 2! 2 3! 2 4! 2 5!
c0 y0 ( x) c1 y1 ( x)
1 2 n 1 13 5 ( 2n 3) 2 n
y0 ( x) 1 x (1) n
x , | x | 1
2 n2 2 n!
y2 ( x ) x 20
Si se busca una solucin en serie de
y cero
potencias y(x) centrada en (1 para
x) y 0

obtenemos c2 = c0/2 y la siguiente

relacin de recurrencia:
ck ck 1
ck 2 , k 1, 2 , 3 ,
(k 1)(k 2)
Examinando la frmula se ve que c3, c4,
c5, se expresan en trminos de c1 y c2.
Eligiendo primero c0 0, c1 = 0, tenemos:
1
c2 c0 y
2
21
 c1 c0 c0 1
c3 c0
23 23 6
c2 c1 c0 1
c4 c0
34 234 24
c3 c2 c0 1 1 1
c5 c0 y as sucesivamente...
45 45 6 2 30
1
c2 c0 0
Ahora elegimos c0 = 0, c1 0, y entonces
2
c1 c0 c1 1
c3 c1
23 23 6
c2 c1 c1 1
c4 c1
34 34 12
c3 c2 c1 1
c5 c1 Etc.
45 456 120
22
Finalmente, la solucin ser:
y = c0y0 + c1y1, donde

1 2 1 3 1 4 1 5
y0 ( x ) 1 x x x x
2 6 24 30
1 3 1 4 1 5
y1 ( x) x x x x
6 12 120

que convergen para todo x.

23
 Resolver y"(cos x) y 0
Solucin
Observemos que en este caso Q(x) no es un
polinmio. x = 0 es un punto ordinario de la
ecuacin. Usando la serie de Maclaurin
y n0 cn x n

para
cos x, y empleando como
y (cos x ) y
solucin:

x 2
x 4
x 6

n(n 1)cn x n2 1 cn x n
n2 2! 4! 6! n 0
1 2 1 3
2c2 c0 (6c3 c1 ) x 12c4 c2 c0 x 20c5 c3 c1 x
2 2
0 Ch5_24
De ah deducimos que
1 1
2c2 c0 0 , 6c3 c1 0 , 12c4 c2 c0 0 , 20c5 c3 c1 0
2 2

c2 = 1/2c0, c3 = 1/6c1, c4 = 1/12c0, c5 =

1/30c1,. Agrupando trminos llegamos a la
solucin general
y = c0y1 + c1y2, con radio de convergencia |x| <
: 1 2 1 4
y0 ( x ) 1 x x
2 12
1 3 1 5
y1 ( x) 1 x x
6 30
25
 Soluciones respecto a puntos
singulares
Un punto singular x0 de una ED lineal
a2 ( x) y a1 ( x) y a0 ( x) y 0
puede ser regular o irregular. La
y P ( x) yde
clasificacin depende Q( x) y 0
DEFINICIN
Puntos singulares regulares e irregulares
Se dice que un punto singular x0 es un punto singular
regular si p(x) = (x x0)P(x) y q(x) = (x x0)2Q(x)
son analticas en x0 , i.e. admiten desarrollos en series
de potencias centradas en x0. Un punto singular que no
es regular es un punto singular irregular de la ecuaci
26
 Coeficintes polinomiales

Si (x x0) aparece a lo sumo a la primera potencia en

el denominador de P(x) y a lo sumo a la segunda
potencia en el denominador de Q(x), entonces x0 es
un punto singular regular.
Para resolver la EDO la multiplicaremos en forma
estndar por (x x0)2:

( x x0 ) 2 y ( x x0 ) 2 P ( x) y ( x x0 ) 2 Q ( x) y 0
( x x0 ) y ( x x0 ) p ( x) y q ( x) y 0
2

donde p(x) = (x x0)P(x) y q(x) = (x x0)2Q(x) son analticas en

x = x0. Observa que de esta manera hemos "matado" las
singularidades.

27
 Ejemplo: observemos que x = 2, x = 2
son puntos singulares de:
(x2 4)2y + 3(x 2)y + 5y
=0
Entonces: 3 5
P ( x) 2
Q( x)
( x 2)( x 2) ( x 2) 2 ( x 2) 2

Para x = 2, la potencia de (x 2) en el
denominador de P(x) es 1, y la potencia de (x
2) en el denominador de Q(x) es 2. As que x =
2 es un punto singular regular.

Para x = 2, la potencia de (x + 2) en el
denominador de P(x) y Q(x) es 2. As que x =
2 es un punto singular irregular. 28
 Teorema de Frobenius

TEOREMA

Si x = x0 es un punto singular regular, entonces

existe al menos una solucin de la forma

y ( x x0 ) r cn ( x x0 ) n cn ( x x0 ) n r
n 0 n 0

donde el nmero r es una constante por determ

La serie converge al menos en algn intervalo
0 < x x0 < R.

29
 Ejemplo del mtodo de
Frobenius
Debido a que x = 0 es un punto
singular regular de
3 xy y y 0

trataremos de hallar una solucin en
serie con: y c x nr
n 0 n

y (n r )cn x n r 1
n 0

y (n r )(n r 1)cn x
n r 2

n 0 30
 3 xy y y

3 (n r )(n r 1)cn x n r 1 (n r )cn x nr 1 cn x n r
n 0 n 0 n 0

(n r )(3n 3r 2)cn x n r 1
cn x n r

n 0 n 0

r

x r (3r 2)c0 x (n r )(3n 3r 2)cn x cn x
1 n 1 n

n 1 n 0
k n 1 k n
r

x r (3r 2)c0 x [(k r 1)(3k 3r 1)ck 1 ck ]x 0
1 k

k 0
31
 Que implica:
r(3r 2)c0 = 0
(k + r + 1)(3k + 3r + 1)ck+1 ck = 0, k =
0, 1, 2, ck
ck 1 , k 0, 1, 2,
Haciendo c(0k = r1,
1)(3r(3r
k 3r 2)
1) = 0. Entonces:
r = 0, 2/3. Cada valor de r nos transforma
la ecuacin de ck
recurrencia
r1 = 2/3,ck 1 (3k 5)(k 1) , k = 0, 1, 2,

en: ck
ck 1 ,
(k 1)(3k 1)
r = 0, k = 0, 1, 2,
32
r1 = 2/3, r2 = 0,
ck ck
ck 1 , ck 1 ,
(3k 5)(k 1) ( k 1)(3k 1)

k = 0, 1, 2, k = 0, 1, 2,

Ch5_33
Observa que los dos conjuntos contienen
el mismo mltiplo c0. Si se omite este
trmino, hacindolo igual a ,1 tenemos:

2/3 n

1
y0 ( x ) x 1 n! 5
8
x
11 (3n 2)
n 1

0 n

1
y1 ( x) x 1 x
n 1 n!1
47 (3n 2)

que convergen para |x| < y son

linealmente independientes. As que la
solucin es:
y(x) = C0y0(x) + C1y1(x), 0 < x < 34
 Ecuacin indicial
La ecuacin r (3r 2) c0 = 0 se llama ecuacin
indicial, y los valores de r se llaman races
indiciales.

Recordemos que si x0 = 0 es un punto singular

regular, entonces p(x) = x P(x) y q(x) = x2 Q(x) son
analticas en x0 = 0.

Sus desarrollos en serie de potencia son:

p(x) = xP(x) = a0 a1x a2x2
q(x) = x2Q(x) = b0 b1x b2x2
que sern vlidos en intervalos con ciertos radios de
convergancia.
35
 y P ( x) y Q ( x) y 0

2

x y x[ xP
Multiplicando [ x Q( x)] y 0
( xx)], ytenemos
por 2
2

x 2 y xp( x) y q( x) y 0

Despus de sustituir
y n0 cn x
nr
y (n r )cn x n r 1 y (n r )(n r 1)cn x n r 2
n 0 n 0
p(x) = xP(x) = a0 a1x a2x2
q(x) = x2Q(x) = b0 b1x b2x2 en la EDO, obtendremos la
ecuacin indicial:

r(r 1) + a0r + b0 = 0
36
Resolver 2 xy"(1 x) y ' y 0
Solucin
n 0 n
n r
Sea y c x , entonces

2 xy (1 x) y y

2 (n r )(n r 1)cn x n r 1 (n r )cn x n r 1
n 0 n 0

(n r )cn x n r cn x n r
n 0 n 0

(n r )(2n 2r 1)cn x n r 1 (n r 1)cn x n r
n 0 n 0

Ch5_37

r n

x r (2r 1)c0 x (n r )(2n 2r 1)cn x (n r 1)cn x
1 n 1

n1 n0
k n 1 k n

r k
x r (2r 1)c0 x [(k r 1)(2k 2r 1)ck 1 (k r 1)ck ]x
1

k 0

(k r 1)(2k 2r 1)ck 1 (k r 1)ck 0, k 0, 1, 2,

r (2r 1) = 0; r1 = , r2 = 0.

ck ck
ck 1 , k 0, 1, 2, ck 1 , k 0, 1, 2,
2(k 1) 2k 1

38
 ck ck
ck 1 , ck 1 ,
2(k 1) 2k 1
k 0, 1, 2, k 0, 1, 2,

c0 c0
c1 c1
21 1

39
As para r1 =

( 1) n

( 1) n
y1 ( x) x1/ 2 1 n x n n x n1/ 2
n 1 2 n! n0 2 n!
y para r2 = 0
n
(1)
y2 ( x ) 1 xn , | x|
n 1 1357 ( 2n 1)

Y la solucin final es y(x) = C1y1 + C2y2.

40
Resolver xy" y 0
Solucin
De xP = 0, x2Q = x, y el hecho de que 0 y x sean
sus propias series de potencias centradas en 0,
se concluye a0 = 0, b0 = 0.
De modo que la ecuacin indicial r(r 1) + a0r +
b0 = 0, queda:
r(r 1) = 0, r1 = 1, r2 = 0.
Comprueba que en este caso ambas races
producen el mismo conjunto de coeficientes. En
otras palabras, que slo obtenemos una solucin

en serie (1) n n1 x 2 x3
y1 ( x) x x ...
n 0 n!( n 1)! 2 12 41
Cmo obtener la segunda solucin?
Hay que distinguir tres casos:
(1) Si r1, r2 son distintas y la diferencia r1 - r2 no es un
entero positivo, entonces existen dos soluciones
linealmente independientes de la ecuacin de la forma :

y1 ( x) cn x n r1
y2 ( x) bn x n r2

n 0 n 0
(2) Si r1 r2 = N, donde N es un entero positivo,
entonces existen dos soluciones linealmente
independientes de la ecuacin de la forma :

y1 ( x) cn x n r1 , c0 0
n 0

y2 ( x) Cy1 ( x) ln x bn x n r2 , b0 0
n 0 42
(3) Si r1 = r2, entonces existen dos soluciones
linealmente independientes de la ecuacin de la
forma:
y1 ( x) cn x n r1 , c0 0
n 0

y2 ( x) y1 ( x) ln x bn x n r2

n 0

Si ya conocemos una solucin y1, la

segunda puede obtenerse de la
siguiente manera Pdx
e
y2 ( x) y1 2 dx
y1

Veamos un ejemplo. 43
 xy" y 0
Hallar la solucin general de
Solucin Habamos hallado una solucin:

(1) n n1 x 2 x3
y1 ( x) x x ...
n 0 n!( n 1)! 2 12

e
0 dx
dx
y2 ( x) y1 ( x) 2
dx y1 ( x) 2
[ y1 ( x)] 1 2 1 3 1 4
x x x x
2 12 144
dx
y1 ( x)
5 4 7 5

2
x x 3
x x
12 12
1 1 7 19
y1 ( x) 2 x dx
x x 12 72
1 7 19 2
y1 ( x) ln x x x dx
x 12 144 44
Que finalmente nos proporciona como solucin:

1 7 19 2
y2 ( x) y1 ( x) ln x y1 ( x) x x
x 12 144

Para ver ms ejemplos resueltos y detalles de esta

ltima parte, consulta los apuntes de Jose Olarrea en
Soluciones_series.pdf.
45