1

4. Soluciones de ecuaciones lineales

en series de potencias
( Chema Madoz, VEGAP, Madrid 2009)
2
Repaso de Series de Potencias
Recuerda de clculo que una serie de
potencias en (x a) es una serie de la forma



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


+ + + =

=
2
2 1 0
0
) ( ) ( ) ( a x c a x c c a x c
n
n
n
3
La serie converge
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 = .

=

=
N
n
n
n N N N
a x c x S
0
) ( lim ) ( lim
Ch5_4
Convergencia absoluta
Dentro de su intervalo de convergencia, una
serie de potencias converge absolutamente. Es
decir, la siguiente serie converge:


Prueba de convergencia (criterio del cociente)
Suponiendo c
n
= 0 para todo n, y



Si L < 1, la serie converge absolutamente; si L > 1,
la serie diverge; y si L = 1, el criterio no es
concluyente.

=

0
| ) ( |
n
n
n
a x c
L
c
c
a x
a x c
a x c
n
n
n
n
n
n
n
n
= =

+

+
+

1
1
1
lim | |
) (
) (
lim
5
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:

+ + =
+ = + + + =
! 6 ! 4 ! 2
1 cos
! 5 ! 3
sin ,
! 2 ! 1
1
6 4 2
5 3 2
x x x
x
x x
x x
x x
e
x
Una serie de potencias define una funcin
cuyo dominio es el intervalo de
convergencia de la serie, donde es continua,
derivable e integrable:




) 1 ( ) ( " , ) ( '
2
2
1
1


=

=

= =
n
n
n
n
x n n x y x n x y

=
=
0
) (
n
n
n
x c x y
6
Aritmtica de series de potencias
Las series de potencias se pueden combinar
mediante operaciones de suma, resta,
multiplicacin y divisin.

+ + =
+
|
.
|

\
|
+ +
|
.
|

\
|
+ +
|
.
|

\
|
+ + + =
|
|
.
|

\
|
+
|
|
.
|

\
|
+ + + + + =
30 3
24
1
12
1
120
1
6
1
6
1
2
1
6
1
) 1 ( ) 1 (
5040 120 6 24 6 2
1
sin
5 3
2
5 4 3 2
7 5 3 4 3 2
x x
x x
x x x x x
x x x
x
x x x
x
x e
x
Ch5_7
Escribir como una sola
serie de potencias (i.e., bajo el mismo sumatorio).

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



Ahora cuando sustituimos el primer valor de n en ambos
sumatorios, las series comienzan potencias x
1
. Haciendo los
cambios de ndice k = n 2 para la primera serie y k = n + 1 para
la segunda serie:


=
+
=

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

=
+ +
+ + = +
2 0 3 0
1 2 0
2
1 2
) 1 ( 1 2 ) 1 (
n n n n
n
n
n
n
n
n
n
n
x c x c n n x c x c x c n n

=
+
+ + + +
1 1
1 2 2
) 1 )( 2 ( 2
k k
k
k
k
k
x c x c k k c

=
+
+ + + + =
1
1 2 2
] ) 1 )( 2 [( 2
k
k
k k
x c c k k c
8
Supongamos la ED lineal

que podemos escribir como

0 ) ( ) ( ) (
0 1 2
= +
'
+
' '
y x a y x a y x a
0 ) ( ) ( = +
'
+
' '
y x Q y x P y

Se dice que un punto x
0
es un punto ordinario o regular
de la ED si P(x) y Q(x) son analticas en x
0
; es decir si
admiten desarrollos en serie de potencias alrededor de x
0
.
Un punto que no es un punto ordinario es un punto
singular.
DEFINICIN
Si P(x) y Q(x) son cocientes de polinomios: P(x) = a
1
(x)/a
2
(x),
Q(x) = a
0
(x)/a
2
(x), entonces x = x
0
es un punto ordinario de nuestra
ecuacin simplemente si a
2
(x
0
) = 0.
9
Cada una de las dos soluciones linealmente independientes
en serie de potencias converger por lo menos dentro del
intervalo definido por |x x
0
| < R, donde R es la distancia
desde x
0


hasta el punto singular ms prximo de la EDO.


Si x = x
0
es un punto ordinario o regular, siempre es
posible hallar dos soluciones linealmente independientes
en forma de series de potencias centradas en x
0
:


TEOREMA
Existencia de soluciones
en series de potencias

=
=
0
0
) (
n
n
n
x x c y
Soluciones respecto a puntos ordinarios
10
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.
y

Sustituyendo en la ED obtenemos:



0 " = +xy y

=
=
0
) (
n
n
n
x c x y

=

=
2
2
) 1 ( ) ( "
n
n
n
x c n n x y

=
+

+ =
+ = +
' '
0
1
2
2
2 0
2
) 1 (
) 1 (
n
n
n
n
n
n
n n
n
n
n
n
x c x n n c
x c x x n n c xy y
P(x) = 0, Q(x) = x
11
Obtuvimos esta suma de series en el ejercicio
anterior



Para que la identidad se cumpla es necesario que
todos los coeficientes sean cero: 2c
2
= 0; c
2
= 0 y



Puesto que (k + 1)(k + 2) = 0, obtenemos la
siguiente relacin de recurrencia:

=
+
= + + + + = +
' '
1
1 2 2
0 ] ) 2 )( 1 [( 2
k
k
k k
x c c k k c xy y
, 3 , 2 , 1 , 0 ) 2 )( 1 (
1 2
= = + + +
+
k c c k k
k k
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
=
+ +
=

+
k
k k
c
c
k
k
12
Tomando valores de k y recordando que c
2
= 0:
, 1 = k
3 2
0
3

c
c =
, 2 = k
4 3
1
4

c
c =
, 3 = k
0
5 4
2
5
= =

c
c
, 4 = k
0
3
6
6 5 3 2
1
6 5
c
c
c

= =
, 5 = k
1
4
7
7 6 4 3
1
7 6
c
c
c

= =
, 6 = k
0
8 7
5
8
= =

c
c
, 7 = k
0
6
9
9 8 6 5 3 2
1
9 8
c
c
c

= =
, 8 = k
1
7
10
10 9 7 6 4 3
1
10 9
c
c
c

= =
, 9 = k
0
11 10
8
11
= =

c
c
(....)
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
=
+ +
=

+
k
k k
c
c
k
k
Observa que todos los coeficientes dependen o de c
0
, o de c
1
.
De hecho, si c
0
y c
1
no quedan indeterminados es que hemos
metido la gamba en algn sitio.
13
Entonces las dos soluciones linealmente independientes en serie de
potencias son:
) ( ) ( .... 0
7 6 4 3
6 5 3 2
0
4 3 3 2
0 ) (
1 1 0 0
7
1
6
0
4
1
3
0
1 0
0
x y c x y c x
c
x
c
x
c
x
c
x c c x c x y
n
n
n
+ = + +

+

+ +

+ + = =

=
+
+

+ =
+ + =
1
1 3
10 7 4
1
) 1 3 )( 3 ( 4 3
) 1 (
10 9 7 6 4 3
1
7 6 4 3
1
4 3
1
1 ) (
k
k
k
x
k k
x
x x x x y

+ =
+ + =
1
3
9 6 3
0
) 3 )( 1 3 ( 3 2
) 1 (
1
9 8 6 5 3 2
1
6 5 3 2
1
3 2
1
1 ) (
k
k
k
x
k k
x x x x y

Nuestra solucin era:

14
Observa que si hacemos primero c
0
= 1 y c
1
= 0, (recordando
que en este caso particular adems c
2
= 0),
obtenemos directamente los coeficientes del desarrollo de
y
0
(x). Y haciendo c
0
= 0 y c
1
= 1, obtenemos directamente los
coeficientes del desarrollo de y
1
(x).
Repite el clculo anterior desde el principio, utilizando esta
estrategia.
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
=
+ +
=

+
k
k k
c
c
k
k
Hay una manera algo menos trabajosa de realizar el
clculo anterior para encontrar los coeficientes en la
relacin de recurrencia:
15
Si hacemos primero c
0
= 1 y c
1
= 0, (con c
2
= 0):
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
=
+ +
=

+
k
k k
c
c
k
k
, 1 = k
3 2
1
3
= c
, 2 = k
0
4
= c
, 3 = k
0
5 4
2
5
= =

c
c
, 4 = k
6 5 3 2
1
6 5
3
6
= =
c
c
, 5 = k
0
7
= c

+ =
+ + =
1
3
9 6 3
0
) 3 )( 1 3 ( 3 2
) 1 (
1
9 8 6 5 3 2
1
6 5 3 2
1
3 2
1
1 ) (
k
k
k
x
k k
x x x x y

(...)
16
Si hacemos ahora c
0
= 0 y c
1
= 1, obtenemos:
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
=
+ +
=

+
k
k k
c
c
k
k
, 1 = k
0
3
= c
, 2 = k
4 3
1
4
= c
, 3 = k
0
5 4
2
5
= =

c
c
, 4 = k
0
6 5
3
6
= =
c
c
, 5 = k
7 6 4 3
1
7 6
4
7
= =
c
c
(....)

=
+
+

+ =
+ + =
1
1 3
10 7 4
1
) 1 3 )( 3 ( 4 3
) 1 (
10 9 7 6 4 3
1
7 6 4 3
1
4 3
1
1 ) (
k
k
k
x
k k
x
x x x x y

17
Resolver

Solucin
Puesto que x
2
+ 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:

0 ' " ) 1 (
2
= + + y xy y x

=

+ + =
+ +
0 1 2
2
2
2 0 1
1 2 2
) 1 ( ) 1 (
) 1 ( ) 1 (
n
n
n
n
n
n
n
n
n
n
n
n
n n
n
n
n
n
n
n
n
x c x nc x c n n x c n n
x c x nc x x c n n x
18


n k
n
n
n
n k
n
n
n
n k
n
n
n
n k
n
n
n
x c x nc x c n n
x c n n x c x c x c x c x c
=

=
=

=
=

+ +
+ + + =
2 2
2
4
2
2
1 1 3
0
0
0
2
) 1 (
) 1 ( 6 2

=
+

=
+
= + + + + + + =
+ + + + + + =
2
2 3 0 2
2
2 3 0 2
0 ] ) 1 )( 2 ( ) 1 )( 1 [( 6 2
] ) 1 )( 2 ( ) 1 ( [ 6 2
k
k
k k
k
k
k k k k
x c k k c k k x c c c
x c kc c k k c k k x c c c
Primero hacemos que todos los sumatorios comiencen por la potencia ms
alta, que en este caso es x
2
, y separamos los trminos "sobrantes":
Ahora reindexamos:
19
De lo anterior, tenemos 2c
2
c
0
= 0, 6c
3
= 0 , y



As que c
2
= c
0
/2, c
3
= 0, c
k+2
= (1 k)c
k
/(k + 2). Luego:

0 ) 1 )( 2 ( ) 1 )( 1 (
2
= + + + +
+ k k
c k k c k k
0
2
0 2 4
! 2 2
1
4 2
1
4
1
c c c c = = =

0
5
2
3 5
= = c c
0
3
0 4 6
! 3 2
3 1
6 4 2
3
6
3
c c c c


= = =
0
7
4
5 7
= = c c
20
... y as
sucesivamente.
0
4
0 6 8
! 4 2
5 3 1
8 6 4 2
5 3
8
5
c c c c

= = =
0
9
6
7 9
= = c c
0
5
0 8 10
! 5 2
7 5 3 1
10 8 6 4 2
7 5 3
10
7
c c c c

= = =
) ( ) (
! 5 2
7 5 3 1
! 4 2
5 3 1
! 3 2
3 1
! 2 2
1
2
1
1
1 1 0 0
1
10
5
8
4
6
3
4
2
2
0
10
10
9
9
8
8
7
7
6
6
5
5
4
4
3
3
2
2 1 0
x y c x y c
x c x x x x x c
x c x c x c x c x c
x c x c x c x c x c c y
+ =
+
(

+ + + =
+ + + + + +
+ + + + + =

1 | | ,
! 2
) 3 2 ( 5 3 1
) 1 (
2
1
1 ) (
2
2
1 2
0
<

+ + =

x x
n
n
x x y
n
n
n
n

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

obtenemos c
2
= c
0
/2 y la siguiente relacin de
recurrencia:


Examinando la frmula se ve que c
3
, c
4
, c
5
, se
expresan en trminos de c
1
y c
2
. Eligiendo primero
c
0
= 0, c
1
= 0, tenemos:
, 3 , 2 , 1 ,
) 2 )( 1 (
1
2
=
+ +
+
=

+
k
k k
c c
c
k k
k
0 ) 1 ( = +
' '
y x y
0 2
2
1
c c =
y
22
Ahora elegimos c
0
= 0, c
1
= 0, y entonces
0
0 1 2
4
24
1
4 3 2 4 3
c
c c c
c = =
+
=

0
0 2 3
5
30
1
2
1
6
1
5 4 5 4
c
c c c
c =
(

+ = =
+
=

0
0 0 1
3
6
1
3 2 3 2
c
c c c
c = =
+
=

0
2
1
0 2
= = c c
y as sucesivamente...
1
1 0 1
3
6
1
3 2 3 2
c
c c c
c = =
+
=

1
1 1 2
4
12
1
4 3 4 3
c
c c c
c = =
+
=

1
1 2 3
5
120
1
6 5 4 5 4
c
c c c
c = =
+
=

Etc.
23
Finalmente, la solucin ser:
y = c
0
y
0
+ c
1
y
1
, donde
+ + + + + =
5 4 3 2
0
30
1
24
1
6
1
2
1
1 ) ( x x x x x y
+ + + + =
5 4 3
1
120
1
12
1
6
1
) ( x x x x x y
que convergen para todo x.
Ch5_24
Resolver
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 para
cos x, y empleando como solucin:

=
=
0 n
n
n
x c y
0 ) (cos " = + y x y

|
|
.
|

\
|
+ + + =
+
' '
2 0
6 4 2
2
! 6 ! 4 ! 2
1 ) 1 (
) (cos
n n
n
n
n
n
x c
x x x
x c n n
y x y

0
2
1
20
2
1
12 ) 6 ( 2
3
1 3 5
2
0 2 4 1 3 0 2
=
+
|
.
|

\
|
+ +
|
.
|

\
|
+ + + + + = x c c c x c c c x c c c c
25
De ah deducimos que



c
2
=1/2c
0
, c
3
=1/6c
1
, c
4
= 1/12c
0
, c
5
= 1/30c
1
,.
Agrupando trminos llegamos a la solucin general
y = c
0
y
1
+ c
1
y
2
, con radio de convergencia |x| < :

0
2
1
20 , 0
2
1
12 , 0 6 , 0 2
1 3 5 0 2 4 1 3 0 2
= + = + = + = + c c c c c c c c c c
+ =
4 2
0
12
1
2
1
1 ) ( x x x y
+ =
5 3
1
30
1
6
1
1 ) ( x x x y
26
Soluciones respecto a puntos singulares
Un punto singular x
0
de una ED lineal


puede ser regular o irregular. La clasificacin
depende de

0 ) ( ) ( ) (
0 1 2
= +
'
+
' '
y x a y x a y x a
0 ) ( ) ( = +
'
+
' '
y x Q y x P y

Se dice que un punto singular x
0
es un punto singular
regular si p(x) = (x x
0
)P(x) y q(x) = (x x
0
)
2
Q(x)
son analticas en x
0
, i.e. admiten desarrollos en series
de potencias centradas en x
0
. Un punto singular que no
es regular es un punto singular irregular de la ecuacin.
DEFINICIN
Puntos singulares regulares e irregulares
27
Coeficintes polinomiales
Si (x x
0
) 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 x
0
es un punto
singular regular.
Para resolver la EDO la multiplicaremos en forma
estndar por (x x
0
)
2
:




donde p(x) = (x x
0
)P(x) y q(x) = (x x
0
)
2
Q(x) son analticas en x = x
0
.
Observa que de esta manera hemos "matado" las singularidades.


0 ) ( ) ( ) ( ) (
0 ) ( ) ( ) ( ) ( ) (
0
2
0
2
0
2
0
2
0
= +
'
+
' '

= +
'
+
' '

y x q y x p x x y x x
y x Q x x y x P x x y x x
28
Ejemplo: observemos que x = 2, x = 2 son puntos
singulares de:
(x
2
4)
2
y + 3(x 2)y + 5y = 0
Entonces:
2
) 2 )( 2 (
3
) (
+
=
x x
x P
2 2
) 2 ( ) 2 (
5
) (
+
=
x x
x Q
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.
29

Si x

= x
0
es un punto singular regular, entonces
existe al menos una solucin de la forma



donde el nmero r es una constante por determinar.
La serie converge al menos en algn intervalo
0 < x x
0
< R.
TEOREMA
Teorema de Frobenius


=
+

=
= =
0
0
0
0 0
) ( ) ( ) (
n
r n
n
n
n
n
r
x x c x x c x x y
30
Ejemplo del mtodo de Frobenius
Debido a que x = 0 es un punto singular
regular de

trataremos de hallar una solucin en serie con:

0 3 = +
'
+
' '
y y y x

=
+
=
0 n
r n
n
x c y

=
+
+ =
'
0
1
) (
n
r n
n
x c r n y

=
+
+ + =
' '
0
2
) 1 )( (
n
r n
n
x c r n r n y
31

=
+

=
+

=
+

=
+

=
+
+ + =
+ + + + =

'
+
' '
0 0
1
0 0
1
0
1
) 2 3 3 )( (
) ( ) 1 )( ( 3
3
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x c x c r n r n
x c x c r n x c r n r n
y y y x
0 ] ) 1 3 3 )( 1 [( ) 2 3 (
) 2 3 3 )( ( ) 2 3 (
0
1
1
0
0
1
1
1 1
0
=
(

+ + + + + =
(
(
(

+ + + =

=
+

=
=

=

k
k
k k
r
n k
n
n
n
n k
n
n
n
r
x c c r k r k x c r r x
x c x c r n r n x c r r x

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

en:

, 2 , 1 , 0 ,
) 1 3 3 )( 1 (
1
=
+ + + +
=
+
k
r k r k
c
c
k
k
r
1
= 2/3, k = 0, 1, 2,

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

,
) 1 )( 5 3 (
1
+ +
=
+
k k
c
c
k
k
,
) 1 3 )( 1 (
1
+ +
=
+
k k
c
c
k
k
Ch5_33
) 2 3 ( 7 4 1 !
) 1 (
) 2 3 ( 11 8 5 !
10 7 4 1 ! 4 10 4 14 11 8 5 ! 4 4 14
7 4 1 ! 3 7 3 11 8 5 ! 3 3 11
4 1 ! 2 4 2 8 5 ! 2 2 8
0 0
0 3
4
0 3
4
0 2
3
0 2
3
0 1
2
0 1
2

=
+
=
= = = =
= = = =
= = = =
n n
c
c
n n
c
c
c c
c
c c
c
c c
c
c c
c
c c
c
c c
c
n
n n






r
1
= 2/3,


k = 0, 1, 2,


,
) 1 )( 5 3 (
1
+ +
=
+
k k
c
c
k
k
,
) 1 3 )( 1 (
1
+ +
=
+
k k
c
c
k
k
r
2
= 0,


k = 0, 1, 2,
34
Observa que los dos conjuntos contienen el
mismo mltiplo c
0
. Si se omite este trmino,
hacindolo igual a ,1 tenemos:






(

+
+ =

=1
3 / 2
0
) 2 3 ( 11 8 5 !
1
1 ) (
n
n
x
n n
x x y

+ =

=1
0
1
) 2 3 ( 7 4 1 !
1
1 ) (
n
n
x
n n
x x y

que convergen para |x| < y son linealmente

independientes. As que la solucin es:
y(x) = C
0
y
0
(x) + C
1
y
1
(x), 0 < x <
35
Ecuacin indicial
La ecuacin r (3r 2) c
0
= 0 se llama ecuacin indicial, y los
valores de r se llaman races indiciales.

Recordemos que si x
0
= 0 es un punto singular regular,
entonces p(x) = x P(x) y q(x) = x
2
Q(x) son analticas en x
0
= 0.

Sus desarrollos en serie de potencia son:
p(x) = xP(x) = a
0
a
1
xa
2
x
2

q(x) = x
2
Q(x) = b
0
b
1
xb
2
x
2

que sern vlidos en intervalos con ciertos radios de
convergancia.
36

Multiplicando por x
2
, tenemos



Despus de sustituir

p(x) = xP(x) = a
0
a
1
xa
2
x
2

q(x) = x
2
Q(x) = b
0
b
1
xb
2
x
2
en la EDO, obtendremos la
ecuacin indicial:


0 ) ( ) (
0 )] ( [ )] ( [
2
2 2
= +
'
+
' '
= +
'
+
' '
y x q y x xp y x
y x Q x y x xP x y x
0 ) ( ) ( = +
'
+
' '
y x Q y x P y

=
+
=
0 n
r n
n
x c y

=
+
+ =
'
0
1
) (
n
r n
n
x c r n y

=
+
+ + =
' '
0
2
) 1 )( (
n
r n
n
x c r n r n y
r(r 1) + a
0
r + b
0
= 0
Ch5_37
Resolver
Solucin
Sea , entonces

=
+
=
0 n
r n
n
x c y

=
+

=
+

=
+

=
+

=
+

=
+
+ + + + + =
+ + +
+ + + + =
+
'
+ +
' '
0 0
1
0 0
0
1
0
1
) 1 ( ) 1 2 2 )( (
) (
) ( ) 1 )( ( 2
) 1 ( 2
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
x c r n x c r n r n
x c x c r n
x c r n x c r n r n
y y x y x
0 ' ) 1 ( " 2 = + + + y y x xy
38
(

+ + + + + + + + =
(
(
(

+ + + + + + =

=
+

=
=

=

0
1
1
0
0
1
1
1 1
0
] ) 1 ( ) 1 2 2 )( 1 [( ) 1 2 (
) 1 ( ) 1 2 2 )( ( ) 1 2 (
k
k
k k
r
n k
n
n
n
n k
n
n
n
r
x c r k c r k r k x c r r x
x c r n x c r n r n x c r r x

, 2 , 1 , 0 , 0 ) 1 ( ) 1 2 2 )( 1 (
1
= = + + + + + + +
+
k c r k c r k r k
k k
r (2r 1) = 0; r
1
= , r
2
= 0.
, 2 , 1 , 0 ,
) 1 ( 2
1
=
+

=
+
k
k
c
c
k
k
, 2 , 1 , 0 ,
1 2
1
=
+

=
+
k
k
c
c
k
k
39
1

1 2
0
1
0
1
c
c
c
c

=

=
) 1 2 ( 7 5 3 1
) 1 (
! 2
) 1 (
7 5 3 1 7 ! 4 2 4 2
5 3 1 5 ! 3 2 3 2
3 1 3 ! 2 2 2 2
0 0
0 3
4
4
0 3
4
0 2
3
3
0 2
3
0 1
2
2
0 1
2

=
=

= =

=
=

= =

=
n
c
c
n
c
c
c c
c
c c
c
c c
c
c c
c
c c
c
c c
c
n
n
n
n
n

, 2 , 1 , 0
,
) 1 ( 2
1
=
+

=
+
k
k
c
c
k
k
, 2 , 1 , 0
,
1 2
1
=
+

=
+
k
k
c
c
k
k
40
As para r
1
=



y para r
2
= 0



Y la solucin final es y(x) = C
1
y
1
+ C
2
y
2
.



=
+

=
(

+ =
0
2 / 1
1
2 / 1
1
! 2
) 1 (
! 2
) 1 (
1 ) (
n
n
n
n
n
n
n
n
x
n
x
n
x x y
<

+ =

=
| | ,
) 1 2 ( 7 5 3 1
) 1 (
1 ) (
1
2
x x
n
x y
n
n
n

41
Resolver
Solucin
De xP = 0, x
2
Q = x, y el hecho de que 0 y x sean sus propias
series de potencias centradas en 0, se concluye a
0
= 0, b
0
= 0.
De modo que la ecuacin indicial r(r 1) + a
0
r + b
0
= 0,
queda:
r(r 1) = 0, r
1
= 1, r
2
= 0.
Comprueba que en este caso ambas races producen el
mismo conjunto de coeficientes. En otras palabras, que slo
obtenemos una solucin en serie

0 " = +y xy
...
12 2 )! 1 ( !
) 1 (
) (
3 2
1
0
1
+ + + =
+

=
+

x x
x x
n n
x y
n
n
n
42


=
+

=
+
= =
0
2
0
1
2 1
) ( ) (
n
r n
n
n
r n
n
x b x y x c x y
Cmo obtener la segunda solucin?
Hay que distinguir tres casos:
(1) Si r
1
, r
2
son distintas y la diferencia r
1
- r
2
no es un entero positivo,
entonces existen dos soluciones linealmente independientes de la
ecuacin de la forma :
(2) Si r
1
r
2
= N, donde N es un entero positivo, entonces existen
dos soluciones linealmente independientes de la ecuacin de la
forma :

0 , ln ) ( ) (
0 , ) (
0
0
1 2
0
0
1
2
1
= + =
= =

=
+

=
+
b x b x x Cy x y
c x c x y
n
r n
n
n
r n
n
43
(3) Si r
1
= r
2
, entonces existen dos soluciones linealmente
independientes de la ecuacin de la forma:
ln ) ( ) (
0 , ) (
0
1 2
0
0
1
2
1

=
+

=
+
+ =
= =
n
r n
n
n
r n
n
x b x x y x y
c x c x y
Si ya conocemos una solucin y
1
, la segunda
puede obtenerse de la siguiente manera


Veamos un ejemplo.

}
}
=

) (
2
1 2
1
dx
y
e
y x y
Pdx
44
Hallar la solucin general de
Solucin Habamos hallado una solucin:




0 " = +y xy
...
12 2 )! 1 ( !
) 1 (
) (
3 2
1
0
1
+ + + =
+

=
+

x x
x x
n n
x y
n
n
n
}
}
}
} }
(

+ + + + =
(

+ + + + =
(

+ +
=
(

+ + + +
=
}
=

dx x x x
x
x y
dx x
x x
x y
x x x x
dx
x y
x x x x
dx
x y dx
x y
e
x y x y
dx

2
1
2
1
5 4 3 2
1
2
4 3 2
1
2
1
0
1 2
144
19
12
7
ln
1
) (
72
19
12
7 1 1
) (
12
7
12
5
) (
144
1
12
1
2
1
) (
)] ( [
) ( ) (
45
(

+ + + + =
2
1 1 2
144
19
12
7 1
) ( ln ) ( ) ( x x
x
x y x x y x y
Que finalmente nos proporciona como solucin:
Para ver ms ejemplos resueltos y detalles de esta
ltima parte, consulta los apuntes de Jose Olarrea en
Soluciones_series.pdf.