Soluciones de ecuaciones lineales

en series de potencias

Proyecto Curricular de Matemticas

Universidad Distrital Francisco Jos de Caldas

Repaso de Series de Potencias

Una serie de potencias en (x a) es una serie de la forma

n
2
c
(
x

a
)

c
(
x

a
)

c
(
x

a
)

n
0
1
2

n 0

Se dice que es una serie de potencias centrada en a.

La serie converge

lim N S N ( x) lim N n0 cn ( x a) n
N

si el lmite de las sumas parciales existe:

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

Convergencia absoluta
Dentro de su intervalo de convergencia, una serie de potencias
converge absolutamente. Es decir, la siguiente serie converge:
n
|
c
(
x

a
)
|
n 0 n

Prueba de convergencia (criterio del cociente) Suponiendo cn 0

para todo n, y

cn1 ( x a) n1
cn1
lim
| x a | lim
L
n
n
n c
cn ( x a)
n
Si L < 1, la serie converge absolutamente; si L > 1, la serie diverge; y si
L = 1, el criterio no es concluyente.
Una serie de potencias define una funcin

y( x) n0 cn x n

cuyo dominio es el intervalo de convergencia de la serie, donde es

continua, derivable e integrable:

y' ( x) n1 n x , y" ( x) n2 n(n 1) x

n 1

n2

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:
2
x
x
ex 1

,
1!
2!
x3
x5
sin x x

3!
5!
x2
x4
x6
cos x 1

2!
4!
6!

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 5
2 1 1 3 1 1 4 1
(1) x (1) x x x
x
6 2
6 6
120 12 24
3
5
x
x
x x2
3 30


n2
n
(
n

1
)
c
x
n
n2

n 1

c
x
como una sola serie de
n 0 n

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

n(n 1)cn x
n2

n2

cn x

n1

n 0

21c2 x n(n 1)cn x

0

n3

n2

cn x n1
n 0

Ahora cuando sustituimos el primer valor de n en ambos sumatorios,

las series comienzan con potencias de 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 ck 1x 2c [(k 2)(k 1)c c ]x k

2
k 2
k 1
k 1

k 1

k 1

Problemas:
1. Determine el radio de convergencia de las siguientes series de
potencias:
2n
n
x
(
2
x

1
)

n
(
x

3
)
;
n 0
n0 n! ; n0 n 2 ;
n
n 2
n
n
( 1) n ( x 2)
n! x
( x x0 )
; n 1 n ; n 1
.
n1
n
3
n
n

2. Determine la serie de Taylor alrededor del punto indicado para la

funcin dada:

1
ln( x), x0 1;
, x0 0, x0 2; cos( x), x0 0.
1 x

3. Verifique la ecuacin dada:

n0 an ( x 1)

k 0 ak 1x

k 1

n 1

n 1 an 1 ( x 1) n ,

k 0 ak x

k 1

a1 k 1 (ak 1 ak 1 ) x k .

4. Reescriba la expansin dada como una suma cuyo trmino genrico

contenga xn:

n2 n(n 1)an x ; x n1 nan x

n2

x n2 n(n 1)an x

n2

n 1

n0 a0 x n ;

n0 an x ; (1 x ) n2 n(n 1)an x n2 .

Determine an de modo que se satisfaga la ecuacin:

n1 nan x

n 1

2 n0 a0 x n 0.

E identifique la funcin representada por la serie

n
a
x
n0 n .

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 (1)
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) 0.
DEFINICIN

Se dice que un punto x0 es un punto ordinario o regular de la ED

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

Soluciones respecto a puntos ordinarios

Teorema

Si x = x0 es un punto ordinario o regular de la ecuacin diferencial

lineal homognea (1), entonces dado un par cualquiera de nmeros,
La nica solucin y = y(x) de (1) que satisface las condiciones iniciales
y(x0)=y0 y y(x0)=v0 , puede representarse en la forma de series de
potencias centradas en x0:

y cn ( x x0 )n ,
n 0

que converge en |x x0| < R, R>0. El intervalo R< x x0<R donde

converge la expansin en serie para y(x) es, por lo menos, igual al
mayor de los intervalos alrededor de x0 en donde ambos coeficientes de
(1), tienen una representacin convergente en serie de potencias
alrededor de x0.

P(x) = 0, Q(x) = x
y"xy 0
Resolver
Solucin
No tenemos puntos singulares. Podemos buscar solucin en serie
alrededor de cualquier punto porque todos son regulares. En particular, lo
haremos para x = 0.

n2

n y
y
"
(
x
)

n
(
n

1
)
c
x
y ( x)
cx

n 0 n

n2

Sustituyendo en la ED obtenemos:

n2

n 0

n2
n

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

cn n(n 1) x
n2

n2

cn x
n 0

n 1

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 2

ck 1

,
(k 1)( k 2)

k 1, 2 , 3 ,

k 1,
k 2,
k 3,
k 4,
k 5,

c0
23
c1
c4
34
c2
c5
0
45
c3
1
c6

c0
56 2356
c
1
c7 4
c1
67 3467
c3

k 6,
k 7,
k 8,
k 9,

c5
0
78
c6
1
c9

c0
89 235689
c
1
c10 7
c1
910 3467910

c8

c11

c8
0
1011

(....)

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

c0 3
c0
c1 4
y ( x) n 0 cn x c0 c1 x 0
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
6
y0 ( x ) 1
x
x
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 )

y1 ( x) 1

1 4
1
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)

Hay una manera algo menos trabajosa de realizar el clculo

anterior para encontrar los coeficientes en la relacin de
recurrencia:

ck 2

ck 1

,
(k 1)( k 2)

k 1, 2 , 3 ,

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 y1(x).
Repite el clculo anterior desde el principio, utilizando esta estrategia.

ck 2

ck 1

,
(k 1)( k 2)

k 1, 2 , 3 ,

Si hacemos primero c0 = 1 y c1 = 0, (con c2 = 0):

c3
1

5 6 2 3 5 6

k 1,

1
c3
2 3

k 4,

c6

k 2,

c4 0

k 5,

c7 0

k 3,

c2
c5
0
45

y0 ( x ) 1

(...)

1 3
1
1
x
x6
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 )

ck 2

ck 1
,
(k 1)(k 2)

k 1, 2 , 3 ,

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

c3
0
k 4, c6
k 1, c3 0
5 6
1
c4
1
c

k 5,
k 2, 4
7
3 4
6 7 3 4 6 7
c2
0
k 3, c5
(....)
45

1
1
1
4
7
y1 ( x) 1
x
x
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)

Resolver
( x 2 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:

n2

n 1

n 0

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

n2

n2

n 1

n 0

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

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 c0 x 6c3 x c1 x c1 x n(n 1)cn x

n
2

k n

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

n
4
n

2
2
n
k n2

k n

k n

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 0

k 2

De lo anterior, tenemos 2c2c0 = 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

5
35
135
c8 c6
c0 4 c0
8
2468
2 4!
6
c9 c7 0
9
7
357
1357
c10 c8
c0
c0
5
10
246810
2 5!
... y as
2
3
4
5
y c0 c1 x c2 x c3 x c4 x c5 x
sucesivamente.

c6 x 6 c7 x 7 c8 x8 c9 x 9 c10 x10
1 2 1 4 1 3 6 1 3 5 8 1 3 5 7 10

c0 1 x 2 x 3 x 4 x
x

c1 x
5

2 2!
2 3!
2 4!
2 5!
2

c0 y0 ( x) c1 y1 ( x)
1 2
n 1 1 3 5 (2n 3) 2 n
y0 ( x) 1 x (1)
x ,
n
2
2 n!
n2

y1 ( x) x

| x | 1

Si se busca una solucin en serie de potencias y(x) centrada en cero para

y (1 x) y 0

obtenemos c2 = c0/2 y la siguiente relacin de recurrencia:

ck 2

ck ck 1

,
(k 1)(k 2)

k 1, 2 , 3 ,

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
2

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
45
45 6 2 30 y as sucesivamente...

1
c2 c0 0
2

c1 c0
c1
1
c3

c1
23 23 6

Ahora elegimos c0 = 0, c1 0, y entonces

c3 c2
c1
1
c2 c1
c1
1

c1
c4

c1 c5
45 456 120
34 34 12

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.

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

n
y

c
x
cos x, y empleando
como solucin:
n 0 n

y (cos x) y
2
4
6

x
x
x
n(n 1)cn x n2 1 cn x n
2! 4! 6!
n2

n 0

1 2
1 3

2c2 c0 (6c3 c1 ) x 12c4 c2 c0 x 20c5 c3 c1 x

2
2

De ah deducimos que

2c2 c0 0 , 6c3 c1 0 ,
1
1
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

Soluciones respecto a puntos singulares

a2 ( x) y a1 ( x) y a0 ( x) y 0
puede ser regular o irregular. La clasificacin depende de
y P( x) y Q( x) y 0
Un punto singular x0 de una ED lineal

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

Coeficientes 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 ) 2 y ( x x0 ) p( x) y q( x) y 0

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 eliminado las
singularidades.

Ejemplo: observemos que x = 2, x = 2 son puntos singulares de:

(x2 4)2y + 3(x 2)y + 5y = 0

Entonces:

3
P( x)
( x 2)( x 2) 2

5
Q( x)
( 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.

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 r es una raz de la ecuacin de ndices

r 2 ( 1)r 0
La serie converge al menos en algn intervalo 0 < x x0 < R.

32

Debido a que x = 0 es un punto singular regular de

3xy y y 0
trataremos de hallar una solucin en serie con:

y n0 cn x nr

y (n r )cn x nr 1
n 0

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

3xy y y

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

n r 1

(n r )cn x
n 0

n 0

n 0

n r 1

cn x
n 0

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

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

k n 1
k n

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

k 0

n r

Que implica: r(3r 2)c0 = 0, (k + r + 1)(3k + 3r + 1)ck+1 ck = 0,

k = 0, 1, 2,
Haciendo c0 = 1, r(3r 2) = 0. Entonces: r = 0, 2/3. Cada valor
de r nos transforma la ecuacin de recurrencia en:

ck
ck 1
,
(k r 1)(3k 3r 1)

r1 = 2/3,
r2 = 0,

k 0, 1, 2,

ck
ck 1
,
(3k 5)( k 1)

k = 0, 1, 2,

ck

,
(k 1)(3k 1)

k = 0, 1, 2,

ck 1

r1 = 2/3,

ck
ck 1
,
(3k 5)( k 1)
k = 0, 1, 2,

c1
c0
c2

82 2! 58
c2
c0
c3

113 3! 5811
c3
c0
c4

144 4! 581114

c0
cn
n! 5811 (3n 2)

r2 = 0,

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

c1
c0
c2

24 2!14
c2
c0
c3

37 3!147
c3
c0
c4

410 4!14710

(1)n c0
cn
n!147 (3n 2)

Observa que los dos conjuntos contienen el mismo mltiplo c0. Si se

omite este trmino, hacindolo igual a ,1 tenemos:

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

1
0
n
y1 ( x) x 1
x
n1 n!1 4 7 (3n 2)

que convergen para |x| < y son linealmente independientes. As que la

solucin es:
y(x) = C0y0(x) + C1y1(x), 0 < x <

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) = a0a1xa2x2
q(x) = x2Q(x) = b0b1xb2x2
que sern vlidos en intervalos con ciertos radios de convergancia.

Multiplicando por x2, tenemos

y P( x) y Q( x) y 0
2

x y x[ xP ( x)] y [ x Q( x)] y 0
2

x 2 y xp ( x) y q( x) y 0
Despus de sustituir
p(x) = xP(x) = a0a1xa2x2
q(x) = x2Q(x) = b0b1xb2x2 en la EDO,
obtendremos la ecuacin
indicial:

n r 2
n

n r y ( n r )c x
y

(
n

r
)(
n

1
)
c
x

n
n
y
cx

n 0

n 0

r(r 1) + a0r + b0 = 0

n 0

2 xy"(1 x) y' y 0
y n0 cn x nr

2 xy (1 x) y y

n 0

n 0

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

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

k n 1
k n
r

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

k 0
1

(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 1
,
2(k 1)

k 0, 1, 2,

ck
ck 1
,
2k 1

k 0, 1, 2,

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

c0
c1
2 1
c1
c0
c2
2
22 2 2!
c2
c0
c3
3
23 2 3!
c3
c0
c4
4
24 2 4!

(1) n c0
cn n
2 n!

ck
ck 1
,
2k 1
k 0, 1, 2,

c0
c1
1
c1 c0
c2

3 13
c2
c0
c3

5
135
c3
c0
c4

7
1357

(1) n c0
cn
1357 (2n 1)

As para r1 =
n
n

1
)
(

1
)
y1 ( x) x1/ 2 1 n x n n x n1/ 2
n1 2 n! n0 2 n!
y para r2 = 0

(1)
y2 ( x ) 1
xn ,
n1 1357 ( 2n 1)
n

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

| x|

xy" y 0
Resolver
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 ...
2 12
n0 n!( n 1)!

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
n 0

y2 ( x) bn x n r2
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 0

n r1

, c0 0

y2 ( x) Cy1 ( x) ln x bn x
n 0

n r2

, b0 0

(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

e
y2 ( x) y1 2 dx
y1
Pdx

Veamos un ejemplo.

xy" y
Hallar la solucin general de
Solucin Habamos hallado una solucin:

(1)n n1
x 2 x3
y1 ( x)
x x ...
2 12
n0 n!( n 1)!
e
dx
y2 ( x) y1 ( x)
dx

y
(
x
)
1
1 2 1 3 1 4 2
[ y1 ( x)]2
x 2 x 12 x 144 x
0 dx

y1 ( x)

dx

5 4 7 5
2

3
x

12
12
1 1 7 19

y1 ( x) 2
x dx
x 12 72
x

7
19 2
1

y1 ( x) ln x x
x dx
12
144
x

Que finalmente nos proporciona como solucin:

1 7
19 2

y2 ( x) y1 ( x) ln x y1 ( x) x
x
x 12 144