You are on page 1of 13

TEMA 12:

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 :
P( x ) y Q( x ) y R( x ) y 0

y p( x ) y q( x ) y 0

en forma cannica :

Definiciones.
Un punto x0
q( x )

se llama punto ordinario de 1 o 1 si las funciones p( x )

Q( x )
P( x )

R( x )
son analticas en x0 (es decir, si p(x) y q(x) tienen desarrollos en serie de Taylor
P( x )

en torno a x0 con radios respectivos de convergencia R1 y R2 no nulos)


Si P(x), Q(x), R(x) son polinomios, entonces x0 es punto ordinario de 1 si y slo si P(x0) 0
( siendo 1 no simplificable ).
Si x0 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 x0, 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(x0) = y0 ,
y(x0) = b0
con x0 I
Pero si adems es x0 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 x0 es un punto ordinario de 1 , surgen las preguntas siguientes:

Existen soluciones analticas de 1 en un entorno de x0 , es decir, soluciones de la


forma :
y a 0 a 1 ( x x 0 ) a 2 ( x x 0 ) 2 ... a n ( x x 0 ) n ...

En caso afirmativo :
Cmo se obtienen los coeficientes an?
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 x0 es un punto ordinario de 1 ( 1 ) entonces la solucin general de 1 en un
cierto entorno de x0 puede escribirse en la forma 2 y a su vez :
y

an ( x x0 )n

n 0

a0 y1 ( x ) a1 y2 ( x )

siendo a0 , a1 ctes arbitrarias e y 1(x), y2(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 y2(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 x0 al punto singular ms prximo de la ecuacin
1, sea dicho punto real o complejo)
Los coeficientes an de la serie 2 se obtienen en trminos de a0 y a1 , sustituyendo la
serie genrica

an ( x x0 )n en 1, (as como los desarrollos de p(x) y q(x) si P(x),

n 0

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 x0 0, pueden simplificarse las notaciones trasladando x0 al origen,
mediante el cambio x - x0 = t.
c) Segn el teorema de existencia y unicidad, cada solucin est determinada de manera nica
por los valores y(x0) e y(x0), es decir por a0 y a1 . Por eso, todos los coeficientes se obtienen en
trminos de a0 y a1.
d) El mtodo para resolver una ecuacin completa : y p( x ) y q( x ) y h( x ) , siendo x0
punto ordinario y h(x) analtica en x0, es anlogo. En este caso, tambin hay que desarrollar
h(x) en serie de potencias en torno a x0 , 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.

2. EJEMPLOS
Ejemplo 1
Hallar la solucin general de la ecuacin diferencial y xy y 0 , 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( x) x

q( x) 1

. Ambas analticas en x0 = 0, con radios de convergencia de sus respectivos

R1

desarrollos

R2

, es decir x0 = 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 .
Sea

a n x n . Por tanto :

n0

n a n x n 1 ,

n 1

n (n 1) a n x n2

n2

En la ecuacin diferencial :

n2

n1

n 0

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

Trmino independiente :

2 1 a2 a0 0

Coeficiente de x :

3 2 a 3 a1 a1 0

............................

.................................

Coeficiente de xn :

n 2 n 1 a n2 n 1 a n

Ley de recurrencia :

an

en
a0
2
a
a3 1
3
.................
a
a n 2 n
n2

a2

a n2
n2
n

a0
a

2n (2n)!!

a a1
2n1 (2n 1)!!

Luego a0 y a1 son libres y

Por tanto :

x2 x4
x 2n
x 3 x5
x 2 n 1
y ( x ) a 0 1 ...
... a1 x ...
...
(2n)!!
3!! 5!!
(2n 1)!!
2!! 4!!

a 0 y1 ( x ) a1 y 2 ( x )
x

Solucin particular:

y()0 1 a0 1

y()0 0 a1 0

y( x)

Luego

2n

(2n)!!
0

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

x2

n!

y( x)

x2
e 2

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

Es

2x
p(
x
)

1 x2

q( x) 2

1 x2

Ambas analticas en x0 = 0 con R1 = R2 = 1

Luego existe solucin analtica en x0 = 0, vlida al menos para

x 1.

y anxn

Sustituyendo

en la ecuacin diferencial:

n 0

n2

n2

n1

n 0

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

Trmino independiente :
Coeficiente de x :

2a 2 2a 0 0

............................
Coeficiente de xn :

.................................

Luego a0 y a1 libres,
a n2

a 2 a0

6a 3 2a1 2a1 0

a3 0

.................

n 2 n 1 a n2 n n 1 a n 2n a n 2a n 0

a2 = a0 , a3 = 0,

n(n 1) 2n 2
(n 1)(n 2)
n3
an
an an
a n 2 n 2
(n 1)(n 2)
(n 1)(n 2)
n 1

Como a3 = 0 a5 = a7 = ... = a2n+1 = ... = 0


a 2n =

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

... a 0
a0
2n 1
2n 1 2 n 3
5 3 1
2n 1

Por tanto :

x2

x4

x6

( 1) n1

x 2n ... a1 x
y = a 0 1 ...
1
3
5
2
n

x 1

En este caso puede sumarse la serie :

x3 x5 x7
a
1

...

y = 0
3
5
7
1

a1 x

y a 0 1 x arctg x a 1 x

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 an . 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 an. Entonces
slo podrn obtenerse algunos trminos.
Ejemplo 3

Hallar por el mtodo de series de potencias en torno a x0 = 1 los trminos hasta la


potencia de grado 4, correspondientes a la solucin general de la ecuacin diferencial:
2y xy y 0

Se efecta el cambio de variable :

x - 1 = t x = t + 1.

Entonces y

dy dy dt

y , y y
dx dt dx

t 1
p(
t
)

q(t ) 1

Ambas analticas en t = 0 con R1 = R2 =

2 y ( t 1) y y 0 ,

t0 = 0

Luego existe solucin analtica en t = 0, vlida para todo t.


Sustituyendo y

an t n

n0

en la ecuacin diferencial :

2 n (n 1) a n t n 2 +
n2

n1

n 1

n 0

n a n t n + n a n t n 1 + a n t n

Trmino independiente :

2 2 1 a 2 a1 a 0 0

Coeficiente de t :

2 3 2 a 3 a1 2 a 2 a 1 0

............................
Coeficiente de tn :

.................................

a n 2

Luego :

a 0 a1
4
a a
a3 1 2
6
a2

..........................

2 n 2 n 1 a n 2 n a n (n 1)a n 1 a n 0

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

a 0 a1
4 3a1 a 0
6
24
a 0 a1 3a1 a 0

a2 a3
24 6a 0 6a1 3a1 a 0 5a 0 9a1
a4
4
8
8
192
192
a a
a1
a2 0 1 ;
a3
4

( x 1) 2
( x 1) 3
5
y ( x) a 0 1

( x 1) 4 ...
4
24
192

( x 1) 2
( x 1) 3
9
a 1 ( x 1)

( x 1) 4 ...
4
8
192

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.

y q(x) = 8 , ambas analticas en xo = 0 , con R1 = R2 =

Son p(x) = -2x

Por tanto, existe solucin y = y(x), analtica en xo = 0, vlida para todo x.

Sustituyendo

y anxn

en la ecuacin diferencial:

n 0

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

n2

n an x n + 8

n1

Trmino independiente :
Coeficiente de x :
............................
Coeficiente de xn :
Luego :

a n 2

an x n 0

n 0

2 a 2 8 a0 0

a 2 4 a0

6 a 3 2 a1 8 a1 0

a 3 a1

.................................

n 2 n 1 a n2 2n a n 8 a n 0

2( n 4 )
2( n 6 )
a n . De donde: a n
a n2
n( n 1 )
( n 1 )( n 2 )

.................

n2

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

a0 3
a1 0
a 2 12
a 3 a 5 ...... 0

Luego:

Por tanto:

y = 3 12 x2 + 4 x4

4a2
4
12

a6 0 a 8 a10 ..... 0
a4

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


La ecuacin de Legendre de parmetro m 0 es :
3

(1 x 2 )y 2xy m(m 1)y 0

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

Es

2x
p
(
x
)

1 x2

q(x ) m(m 1)

1 x2

Ambas analticas en x0 = 0 con radio de convergencia de los respectivos

desarrollos : R1 = R2 = 1
Luego x0 = 0 es punto ordinario, existiendo solucin en serie de potencias de x, vlida, al menos para

Sea y

anxn

n 0

. Sustituyendo en la ecuacin :

n (n 1)a n x n 2

n 2

x 1.

n (n 1)a n x n

n 2

-2 n a n x

n 1

m(m 1)a n x n

n 0

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

m(m 1)
a0
2 1
m(m 1) 2
(m 1)(m 2)
a3
a1
a1
3 2
3!

x0 :

2 1 a 2 m(m 1)a 0 0

x1 :

3 2 a 3 2a 1 m(m 1)a 1 0

.....

............................................................................................

x :

a2

n 2 n 1 a n 2 n n 1 a n 2n a n m(m 1)a n 0

a n 2
an

( m n )(m n 1)
an
(n 2)( n 1)

(m n 2)(m n 1)
a n 2
n ( n 1)

n 2

Luego :

m( m 1) 2 ( m 2) m(m 1)(m 3) 4

y a0 1
x
x ...
2!
4!

( m 1)(m 2) 3 (m 3)(m 1)(m 2)(m 4) 5

a1 x
x
x ...
3!
5!

Es decir :

x 1

y a 0 y1 ( x ) a 1 y 2 ( x )

Si m = 0, 1, 2, ...

una de las dos series es un polinomio de grado m. Dichos polinomios p n(x) son

respectivamente :
p0 = 1

p1(x) = x

p2(x) = 1 - 3 x2

p3(x) = x -

5 3
x ......
3

Se llama polinomio de Legendre de orden m y se designa con Pm(x), a la solucin polinmica de la ecuacin
de Legendre de parmetro m ( o sea, el mltiplo de pn(x), tal que Pm(1) = 1.
Ser:
P0(x) = 1

P1(x) = x

Algunas propiedades :

P2 ( x )

3 2 1
x
2
2

P3 ( x )

5 3 3
x x
2
2

.........

(Sin demostraciones)

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

Pn ( x )

1
dn
( x 2 1 )n
( 2 n )! ! d x n

O mediante una funcin generadora, debida a Legendre :

1 2 xt t

1
2 2

P0 ( x ) P1 ( x )t P2 ( x )t 2 ...

Tambin mediante frmulas de recurrencia :

10

2n 1
n
x Pn ( x )
Pn 1 ( x )
n1
n1
Pn 1 Pn 1 2( n 1 ) Pn
Pn 1 ( x )

Cumplen la relacin de ortogonalidad :

mn

Pm ( x )Pn ( x )d x 2
1
2n 1 m n

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

y 2 x y 2 y 0

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 x0 = 0 es un punto ordinario de la ecuacin 5, pues p(x) = -2x

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 y

an x n , vlida para todo

x real.

n 0

Sustituyendo en la 5 :

n2

n2

n2

n( n 1 )an x n 2 2 nan x n 2 an x n

Luego :
Coeficiente de 1 :

2a 2 2a0 0

a2 a0

11

-------------------------------------------------------------------------------------Coeficiente de xn-2 :

n(n-1)an-2(n-2)an-2+2an= 0

Relacin de recurrencia : a n

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

n 2

Luego :

2 2 2 2 ( 2 ) 4 2 3 ( 2 )( 4 ) 6
y ( x ) a0 1
x
x
x ...
2!
4!
6!

2( 1 ) 3 2 2 ( 1 )( 3 ) 5 2 3 ( 1 )( 3 )( 5 ) 7
a1 x
x
x
x ...
3
!
5
!
7
!

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

h0 ( x ) 1,

h2 ( x ) = 1 - 2 x 2 ,

h1 ( x ) x ,

h3 ( x ) = x -

2 3
x , ...
3

Se llama polinomio de Hermite de grado n , y se designa Hn(x), a la solucin polinmica de la ecuacin de


Hermite de parmetro = n ( o sea el mltiplo de h n(x)), cuyo coeficiente de xn es 2n. Ser por tanto :
H 0 ( x ) 1,

H 2 ( x ) = 4 x 2 - 2,

H 1( x ) 2 x,

H 3 ( x ) = 8 x 3 - 12 x , ...

Algunas propiedades: (sin demostracin)


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

H n ( x ) ( 1 )n e x

dn
dx

e x

Tambin por medio de la funcin generadora :

e 2 tx t

Hn( x ) n
t
n!
n 0

O mediante las frmulas de recurrencia :

12

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

Cumplen la relacin de ortogonalidad:

0 m n
x2
H m ( x )H n ( x )d x n

2 n! m n

13