1

SOLUCIONES MEDIANTE SERIES DE POTENCIAS

Se ha visto en temas anteriores cmo resolver algunas ecuaciones lineales de 2 orden: las de
coeficientes constantes y algunas de coeficientes variables, como las de Euler o aquellas de
las que se conoce una solucin particular de la correspondiente homognea.

Pero, en general, no se ha visto cmo resolver las ecuaciones lineales con coeficientes
variables, algunas de las cuales aparecen ligadas a importantes problemas de la Fsica, como
las ecuaciones de Legendre, Hermite, Airy, Bessel, etc. que son de coeficientes polinmicos.

Adems, las ecuaciones hasta ahora vistas, generalmente tienen soluciones expresables en
trminos de un n finito de funciones elementales (polinomios, exponenciales,
trigonomtricas, etc., o inversas de stas). Otras veces, an sabiendo resolver la ecuacin,
haba que expresar la solucin por medio de una integral. Pero en general, las soluciones no
pueden expresarse tan fcilmente.

Es necesario por tanto, buscar otros modos de expresar las soluciones de ecuaciones lineales
de 2 orden, que propicien a su vez nuevos mtodos de resolucin de las mismas.

En este tema se estudiar un mtodo de resolucin basado en la representacin de soluciones
mediante series de potencias. Y en los dos siguientes, mediante series de Frobenius.

1. SOLUCIN MEDIANTE SERIES DE POTENCIAS EN EL ENTORNO
DE UN PUNTO ORDINARIO

Se va a considerar el caso de la ecuacin diferencial lineal homognea de 2 orden :

0 y ) x R( y ) x Q( y ) x P( = + ' + ' ' |1|

en forma cannica :


0 y ) x q( y ) x p( y = + ' + ' '
|1|


2
Definiciones.

Un punto x
0
se llama punto ordinario de |1| o |1| si las funciones p( )
Q( )
P( )
x
x
x
= y
q( )
R( )
P( )
x
x
x
= son analticas en x
0
(es decir, si p(x) y q(x) tienen desarrollos en serie de Taylor
en torno a x
0
con radios respectivos de convergencia R
1
y R
2
no nulos)

Si P(x), Q(x), R(x) son polinomios, entonces x
0
es punto ordinario de |1| si y slo si P(x
0
) = 0
( siendo |1| no simplificable ).

Si x
0
no es punto ordinario, se llama punto singular de la ecuacin |1| |1|.
______________

Segn el estudio de las ecuaciones diferenciales lineales homogneas, la simple continuidad
de p(x) y q(x) en un entorno I de un x
0
, es suficiente para garantizar la existencia de dos
soluciones linealmente independientes de la ecuacin |1| en dicho entorno, as como para
garantizar la existencia y unicidad de solucin del problema de valor inicial definido por |1|
y las condiciones: y(x
0
) = y
0
, y(x
0
) = b
0
con x
0
e I

Pero si adems es x
0
un punto ordinario de |1| |1|, las p(x) y q(x) no slo son continuas en
I , sino analticas. Y cabe preguntarse entonces si las soluciones de tal ecuacin heredarn
dicha propiedad. Por tanto, si x
0
es un punto ordinario de |1| , surgen las preguntas siguientes:

- Existen soluciones analticas de |1| en un entorno de x
0
, es decir, soluciones de la
forma :

... ) x x ( a ... ) x x ( a ) x x ( a a y
n
0 n
2
0 2 0 1 0
+ + + + + =
|2|

En caso afirmativo :

- Cmo se obtienen los coeficientes a
n
?
- Dnde converge la serie |2| ?

Es importante poder responder a estas preguntas, pues sera absurdo intentar buscar
soluciones de la forma |2|, si no existen. Si existen en I, pueden adems derivarse trmino a
trmino en I.

3
Las respuestas a estas preguntas las da el siguiente teorema, que ser enunciado, pero no
demostrado.

Teorema:

Si x
0
es un punto ordinario de |1| ( |1| ) entonces la solucin general de |1| en un cierto
entorno de x
0
puede escribirse en la forma |2| y a su vez :


) x ( y a ) x ( y a ) x x ( a y
2 1 1 0
0 n
n
0 n
+ = =

=

siendo a
0
, a
1
ctes arbitrarias e y
1
(x), y
2
(x) analticas en un entorno I de x
0
, y
linealmente independientes en I .

El radio de convergencia de las series y
1
(x) e y
2
(x) es al menos tan grande como el mnimo
de los radios de convergencia de los desarrollos en serie de p(x) y q(x) en torno a x
0
(es
decir, al menos igual a la distancia de x
0
al punto singular ms prximo de la ecuacin |1|,
sea dicho punto real o complejo)

Los coeficientes a
n
de la serie |2| se obtienen en trminos de a
0
y a
1
, sustituyendo la serie
genrica

=
=
0 n
n
0 n
) x x ( a y en |1|, (as como los desarrollos de p(x) y q(x) si P(x), Q(x),
R(x) no son polinomios) y procediendo por coeficientes indeterminados.

Observaciones:

a) La serie solucin puede converger con radio mayor que el indicado en el teorema.

b) Si el punto ordinario es x
0
= 0, pueden simplificarse las notaciones trasladando x
0
al origen,
mediante el cambio x - x
0
= t.

c) Segn el teorema de existencia y unicidad, cada solucin est determinada de manera nica
por los valores y(x
0
) e y(x
0
), es decir por a
0
y a
1
. Por eso, todos los coeficientes se obtienen
en trminos de a
0
y a
1
.

d) El mtodo para resolver una ecuacin completa : '' + ' + = y x y x y x p( ) q( ) h( ) , siendo x
0

punto ordinario y h(x) analtica en x
0
, es anlogo. En este caso, tambin hay que desarrollar
h(x) en serie de potencias en torno a x
0
, antes de proceder por coeficientes indeterminados.
4
Tambin podra resolverse en primer lugar la ecuacin homognea y actuar luego por
variacin de constantes, o por reduccin de orden.

e) Es claro que podra usarse un mtodo semejante para ecuaciones diferenciales lineales, de
primer orden.

2. EJ EMPLOS

Ejemplo 1

Hallar la solucin general de la ecuacin diferencial 0 y y x y = ' ' ' , determinando
dos soluciones linealmente independientes en serie de potencias de x . Campo de validez
de las mismas. En particular obtener la solucin tal que y(0) = 1 y(0) = 0.
_____________

Es
p( )
q( )
x x
x
=
=

1
. Ambas analticas en x
0
= 0, con radios de convergencia de sus respectivos
desarrollos
R
R
1
2
=
=

, es decir x
0
= 0 es punto ordinario..

Luego, segn el teorema anterior, existe solucin de la ecuacin en serie de potencias de x,
vlida para todo x e R .
Sea y a x
n
n
n
=
=

0
. Por tanto : ' =

=

y n a x
n
n
n
1
1
, ' ' =

=

y n n a x
n
n
n
( ) 1
2
2


En la ecuacin diferencial :
n n a x
n
n
n
( )

=

1
2
2
- n a x
n
n
n=

1
- a x
n
n
n=

0
0 en 9

Trmino independiente : 2 1 0
2 0
= a a = a
a
2
0
2

Coeficiente de x : 3 2 0
3 1 1
= a a a = a
a
3
1
3

............................ ................................. .................
Coeficiente de x
n
: ( )( ) ( ) n n a n a
n n
+ + + =
+
2 1 1 0
2
=
+
+
a
a
n
n
n
2
2


5
Ley de recurrencia : a
a
n
n
n
n
= >
2
2

Luego a
0
y a
1
son libres y
a
a
n
a
a
n
n
n
2
0
2 1
1
2
2 1
=
=
+

+
( )!!
( )!!

Por tanto :


y x a
x x x
n
a x
x x x
n
a y x a y x x
n n
( )
!! !!
...
( )!!
...
!! !!
...
( )!!
...
( ) ( )
= + + + + +

(
+ + + + +
+
+

(
= + e9
+
0
2 4 2
1
3 5 2 1
0 1 1 2
1
2 4 2 3 5 2 1

Solucin particular:
y
y
a
a
( )
( )
0 1
0 0
1
0
0
1
=
' =

=
=

Luego y x
x
n
n
( )
( )!!
=

2
0
2
= =
|
\

|
.
|

y x
x
n
x
n
n
n
n
( )
! !
2
0
2
0
2
2

2
x
2
e ) x ( y =


Ejemplo 2

Hallar, por el mtodo de series de potencias en torno a x
0
= 0, la solucin general de la
ecuacin diferencial: 0 y 2 y x 2 y ) x 1 (
2
= ' + ' ' +
_____________

Es
p( )
q( )
x
x
x
x
x
=
+
=

+

2
1
2
1
2
2
Ambas analticas en x
0
= 0 con R
1
= R
2
= 1

Luego existe solucin analtica en x
0
= 0, vlida al menos para x < 1.


Sustituyendo y a x
n
n
n
=
=

0
en la ecuacin diferencial:

n n a x
n
n
n
( )

=

1
2
2
+ n n a x
n
n
n
( )
=

1
2
+2 n a x
n
n
n=

1
- 2 a x
n
n
n=

0
0
6

Trmino independiente : 2 2 0
2 0
a a = = a a
2 0

Coeficiente de x : 6 2 2 0
3 1 1
a a a + = = a
3
0
............................ ................................. .................
Coeficiente de x
n
: ( )( ) ( ) n n a n n a n a a
n n n n
+ + + + =
+
2 1 1 2 2 0
2


Luego a
0
y a
1
libres, a
2
= a
0
, a
3
= 0,

a
n n n
n n
a
n n
n n
a
n n n +
=
+
+ +
=
+
+ +

2
1 2 2
1 2
1 2
1 2
( )
( )( )
( )( )
( )( )
a
n
n
a
n n
=

3
1
2
n > 2

Como a
3
= 0 a
5
= a
7
= ... = a
2n+1
= ... = 0

a
n 2
=

= =

|
\

|
.
|
=

2 3
2 1
1
2 3
2 1
2 5
2 3
3
5
1
3
1
1
2 2 0
n
n
a
n
n
n
n
a
n
n
... ( ) ...
( )

+
1
2 1
1
0
n
n
a


Por tanto :
y = a
x x x
n
x a x x
n
n
0
2 4 6 1
2
1
1
1 3 5
1
2 1
1 + + + +

(
+ <
+
...
( )
...

En este caso puede sumarse la serie :

y = a x
x x x x
a x
0
3 5 7
1
1
1 3 5 7
+ + +
|
\

|
.
|

(
(
+ ... | | x a x arctg x 1 a y
1 0
+ + =

Nota
En los dos primeros ejemplos, la relacin de recurrencia ha consistido nicamente en dos
trminos y adems poda deducirse fcilmente de ella, la forma general de a
n
. Pero, pueden
aparecer relaciones con dos o ms trminos (Con 3 en el Ejemplo 3), que sean ms
complicadas, tales que no pueda determinarse la forma general de los coeficientes a
n.

Entonces slo podrn obtenerse algunos trminos.

Ejemplo 3

Hallar por el mtodo de series de potencias en torno a x
0
= 1 los trminos hasta la
potencia de grado 4, correspondientes a la solucin general de la ecuacin diferencial:
0 y y x y 2 = + ' + ' '
Se efecta el cambio de variable : x - 1 = t x = t + 1.
7

Entonces y y , y
x d
t d
t d
y d
x d
y d
y = ' ' = = = ' 2 1 0 ( ) y t y y + + + = , t
0
= 0

p( )
q( )
t
t
t
=
+
=

1
2
1
2
Ambas analticas en t

= 0 con R
1
= R
2
=
Luego existe solucin analtica en t

= 0, vlida para todo t.

Sustituyendo y a t
n
n
n
=
=

0
en la ecuacin diferencial :
2 1
2
2
n n a t
n
n
n
( )

=

+ n a t
n
n
n=

1
+ n a t
n
n
n

1
1
+ a t
n
n
n=

0
0

Trmino independiente : 2 2 1 0
2 1 0
+ + = a a a =
+
a
a a
2
0 1
4

Coeficiente de t : 2 3 2 2 0
3 1 2 1
+ + + = a a a a =
+
a
a a
3
1 2
6

............................ ................................. ..........................
Coeficiente de t
n
: ( )( ) 2 2 1 1 0
2 1
n n a n a n a a
n n n n
+ + + + + + =
+ +
( )

a
n a n a
n n
a a
n
a
a a
n
n
n n n n
n
n n
+
+ +
=
+ + +
+ +
=
+
+
=
+
2
1 1 2 1
1 1
2 1 2 2 2 2
( ) ( )
( )( ) ( )


Luego : a
a a
2
0 1
4
=
+
; a
a
a a
a a
3
1
0 1
1 0 4
6
3
24
=

+
=


a
a a
a a a a
a a a a a a
4
2 3
0 1 1 0
0 1 1 0 0 1
8
4
3
24
8
6 6 3
192
5 9
192
=
+
= +
+
+

=
+ +
=
+



x ... ) 1 x (
192
9
8
) 1 x (
4
) 1 x (
) 1 x ( a
... ) 1 x (
192
5
24
) 1 x (
4
) 1 x (
1 a ) x ( y
4
3 2
1
4
3 2
0

(
(

+ +

+
(
(

+ +

=




Ejemplo 4
8

Hallar, por el mtodo de series, la solucin del problema de valor inicial:
y 2xy + 8y = 0 ; y(0) = 3 , y(0) = 0.


Son p(x) = -2x y q(x) = 8 , ambas analticas en x
o
= 0 , con R
1
= R
2
=
Por tanto, existe solucin y = y(x), analtica en x
o
= 0, vlida para todo x.

Sustituyendo y a x
n
n
n
=
=

0
en la ecuacin diferencial:

n n a x
n
n
n
( )

=

1
2
2
- 2 n a x
n
n
n=

1
+ 8 a x
n
n
n=

0
0

Trmino independiente : 0 a 8 a 2
0 2
= +
0 2
a 4 a =
Coeficiente de x : 0 a 8 a 2 a 6
1 1 3
= +
1 3
a a =
............................ ................................. .................
Coeficiente de x
n
: ( )( ) 0 a 8 a n 2 a 1 n 2 n
n n 2 n
= + + +
+


Luego :
n 2 n
a
) 2 n )( 1 n (
) 4 n ( 2
a
+ +

=
+
. De donde:
2 n n
a
) 1 n ( n
) 6 n ( 2
a

= n > 2

Se pide la solucin tal que : y(0) = 3 e y(0) = 0 , es decir, tal que a
o
= 3 y a
1
= 0.

Luego:

= = = =
=

=
= = =
=
=
=
0 ..... a a 0 a
4
12
a 4
a
0 ...... a a
12 a
0 a
3 a
10 8 6
2
4
5 3
2
1
0
Por tanto: y = 3 12 x
2
+ 4 x
4








Ejemplo 5: Ecuacin y polinomios de Legendre (1752-1833)
9

La ecuacin de Legendre de parmetro m > 0 es :


0 y ) 1 m ( m y x 2 y ) x 1 (
2
= + + ' ' '
|3|

Se trata de hallar soluciones en serie de potencias de x, es decir en torno a x
0
= 0.

Es

+
=

=
2
2
x 1
) 1 m ( m
) x ( q
x 1
x 2
) x ( p
Ambas analticas en x
0
= 0 con radio de convergencia de los respectivos
desarrollos : R
1
= R
2
= 1
Luego x
0
= 0 es punto ordinario, existiendo solucin en serie de potencias de x, vlida, al menos para x < 1.

Sea

=
=
0 n
n
n
x a y . Sustituyendo en la ecuacin :

2 n
2 n
n
x a ) 1 n ( n -

=

2 n
n
n
x a ) 1 n ( n -2

=1 n
n
n
x a n +

=
+
0 n
n
n
x a ) 1 m ( m 0

Habrn de ser nulos los coeficientes de todas las potencias de x.

x
0
: 0 a ) 1 m ( m a 1 2
0 2
= + +
0 2
a
1 2
) 1 m ( m
a

+
=
x
1
: 0 a ) 1 m ( m a 2 a 2 3
1 1 3
= + +
1 1 3
a
! 3
) 2 m )( 1 m (
a
2 3
2 ) 1 m ( m
a
+
=

+
=
..... ............................................................................................
x
n
: ( )( ) ( ) 0 a ) 1 m ( m a n 2 a 1 n n a 1 n 2 n
n n n 2 n
= + + + +
+



+ +
+ +
=
+ n 2 n
a
) 1 n )( 2 n (
) 1 n m )( n m (
a 2 n a
) 1 n ( n
) 1 n m )( 2 n m (
a
2 n n
>

+ +
=



Luego :

1 x ... x
! 5
) 4 m )( 2 m )( 1 m )( 3 m (
x
! 3
) 2 m )( 1 m (
x a
... x
! 4
) 3 m )( 1 m ( m ) 2 m (
x
! 2
) 1 m ( m
1 a y
5 3
1
4 2
0
<
(

+ +
+
+

+ +
+
+
=



Es decir : ) x ( y a ) x ( y a y
2 1 1 0
+ =
10
Si m = 0, 1, 2, ... una de las dos series es un polinomio de grado m. Dichos polinomios p
n
(x) son
respectivamente :
p
0
= 1 p
1
(x) = x p
2
(x) = 1 - 3 x
2
p
3
(x) = x -
3
5
x
3
......

Se llama polinomio de Legendre de orden m y se designa con P
m
(x), a la solucin polinmica de la ecuacin
de Legendre de parmetro m ( o sea, el mltiplo de p
n
(x), tal que P
m
(1) = 1.
Ser:
P
0
(x) = 1 P
1
(x) = x
2
1
x
2
3
) x ( P
2
2
= x
2
3
x
2
5
) x ( P
3
3
= .........


Algunas propiedades : (Sin demostraciones)

- Los polinomios de Legendre pueden darse mediante la frmula de Rodrigues :


n 2
n
n
n
) 1 x (
x d
d
! )! n 2 (
1
) x ( P =


- O mediante una funcin generadora, debida a Legendre :


( ) ... t ) x ( P t ) x ( P ) x ( P t xt 2 1
2
2 1 0
2 2
1
+ + + = +



Tambin mediante frmulas de recurrencia :


n 1 n 1 n
1 n n 1 n
P ) 1 n ( 2 P P
) x ( P
1 n
n
) x ( P x
1 n
1 n 2
) x ( P
+ = ' '
+

+
+
=
+
+


- Cumplen la relacin de ortogonalidad :

=
+
=
=
}

n m
1 n 2
2
n m 0
x d ) x ( P ) x ( P
1
1
n m |4|

La ecuacin de Legendre aparece en varios problemas de la Fsica dotados de simetra esfrica.




11
Ejemplo 6: Ecuacin y polinomios de Hermite (1822 -1901)

La ecuacin de Hermite es :

0 y 2 y x 2 y = + ' ' '
|5|

Aparece esta ecuacin, por ejemplo en la mecnica cuntica, a partir de la ecuacin de Schrdinger para un
oscilador armnico.

Se trata ahora de obtener su solucin por el mtodo de series, en torno a x
0
= 0.

El x
0
= 0 es un punto ordinario de la ecuacin |5|, pues p(x) = -2x y q(x) = 2 son analticas en x = 0.
Adems los radios de convergencia de los respectivos desarrollos, son ambos infinitos. Luego existe solucin de
|5| , de la forma

=
=
0 n
n
n
x a y , vlida para todo x real.

Sustituyendo en la |5| :

9 e =


=

x 0 x a 2 x na 2 x a ) 1 n ( n
2 n
n
n
2 n
n
n
2 n
2 n
n


Luego :

Coeficiente de 1 : 0 a 2 a 2
0 2
= +
0 2
a a =
--------------------------------------------------------------------------------------
Coeficiente de x
n-2
: n(n-1)a
n
-2(n-2)a
n-2
+2a
n
= 0

Relacin de recurrencia :
) 1 n ( n
a ) n 2 ( 2
a
2 n
n

+
=

n> 2

Luego :

x ... x
! 7
) 5 )( 3 )( 1 ( 2
x
! 5
) 3 )( 1 ( 2
x
! 3
) 1 ( 2
x a
... x
! 6
) 4 )( 2 ( 2
x
! 4
) 2 ( 2
x
! 2
2
1 a ) x ( y
7
3
5
2
3
1
6
3
4
2
2
0

(
(

(
(

+ =




Para = 0,1,2, ... una de las dos series es un polinomio. Dichos polinomios h
n
(x), para = n = 0,1,2,...
son respectivamente :

12
... , x
3
2
- x = ) x ( h , x 2 - 1 = ) x ( h , x ) x ( h , 1 ) x ( h
3
3
2
2 1 0
= =

Se llama polinomio de Hermite de grado n , y se designa H
n
(x), a la solucin polinmica de la ecuacin de
Hermite de parmetro = n ( o sea el mltiplo de h
n
(x)), cuyo coeficiente de x
n
es 2
n
. Ser por tanto :

... , x 12 - x 8 = ) x ( H 2, - x 4 = ) x ( H , x 2 ) x ( H , 1 ) x ( H
3
3
2
2 1 0
= =


Algunas propiedades: (sin demostracin)

- Los polinomios de Hermite pueden darse mediante la frmula de Rodrigues :


2 2
x
n
n
x n
n
e e
x d
d
) 1 ( ) x ( H

=


- Tambin por medio de la funcin generadora :

=
0 n
n n t tx 2
t
! n
) x ( H
2
e


- O mediante las frmulas de recurrencia :


) x ( H n 2 ) x ( H
) x ( H n 2 ) x ( H x 2 ) x ( H
1 n
'
n
1 n n 1 n

+
=
=


- Cumplen la relacin de ortogonalidad:

=
=
=
}

n m ! n 2
n m 0
x d ) x ( H ) x ( H
n
n m
x
2
e
t