Está en la página 1de 12

1

SOLUCIONES MEDIANTE SERIES DE POTENCIAS



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.
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|
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
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:
2

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.

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 :


) ( ) ( ) (
2 1 1 0
0
0
x y a x y a x x a y
n
n
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.


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

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

Solucin.

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 R.
4
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

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


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:


+ =
(

+
+
+ + + + +
(

+ + + + + =
+
x x y a x y a
n
x x x
x a
n
x x x
a x y
n n
) ( ) (
...
! )! 1 2 (
...
! ! 5 ! ! 3
...
! )! 2 (
...
! ! 4 ! ! 2
1 ) (
2 1 1 0
1 2 5 3
1
2 4 2
0


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 =




5
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
= + +

Solucin.

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

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 + + + +

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

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.

Solucin.

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

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

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

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

+
=
9
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
+ =
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 llamapolinomio 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
+ + + = +



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




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| :

=


=

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 :

11
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 :

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

12

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