SOLUCIONES DE E.D.

O MEDIANTE
SERIES DE POTENCIAS

Hemos cómo resolver ecuaciones lineales de 2º orden, las de coeficientes constantes y

algunas de coeficientes variables, como las de Euler .

Pero, en general, no se ha visto cómo resolver las ecuaciones lineales con coeficientes
variables, algunas de las cuales aparecen ligadas a importantes problemas de la Física,
como las ecuaciones de Legendre, Hermite, Airy, Bessel, etc. que son de coeficientes
polinómicos.

Además, las ecuaciones hasta ahora vistas, generalmente tienen soluciones expresables
en términos de un nº finito de funciones elementales (polinomios, exponenciales,
trigonométricas, etc., o inversas de éstas). Otras veces, aún sabiendo resolver la
ecuación, había que expresar la solución por medio de una integral. Pero en general, las
soluciones no pueden expresarse tan fácilmente.

Es necesario por tanto, buscar otros modos de expresar las soluciones de ecuaciones
lineales de 2º orden, que propicien a su vez nuevos métodos de resolución de las
mismas.

En este tema se estudiará un método de resolución basado en la representación de

soluciones mediante series de potencias. Y en los dos siguientes, mediante series de
Frobenius.

1. SOLUCIÓN MEDIANTE SERIES DE POTENCIAS EN EL ENTORNO DE

UN PUNTO ORDINARIO

Se va a considerar el caso de la ecuación diferencial lineal homogénea de 2º orden :

P( x ) y   Q( x ) y   R( x ) y  0 1
ó en forma canónica :
y   p( x ) y   q( x ) y  0 1´

Definiciones.

1
 Q( x )
Un punto x0 se llama punto ordinario de  1 o  1´ si las funciones p( x ) 
P( x ) y
R( x )
q( x )  son analíticas en x0 (es decir, si p(x) y q(x) tienen desarrollos en serie de
P( x )
Taylor 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 sólo si
P(x0)  0 ( siendo 1 no simplificable ).

Si x0 no es punto ordinario, se llama punto singular de la ecuación  1 ó  1´ .

Según el estudio de las ecuaciones diferenciales lineales homogéneas, la

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 ecuación 1´ en
dicho entorno, así como para garantizar la existencia y unicidad de solución del
problema de valor inicial definido por 1´ y las condiciones: y(x0) = y0 , y´(x0)
= b0 con x0  I

Pero si además es x0 un punto ordinario de 1 ó 1´, las p(x) y q(x) no sólo son
continuas en I , sino analíticas. Y cabe preguntarse entonces si las soluciones de tal
ecuación heredarán dicha propiedad. Por tanto, si x0 es un punto ordinario de 1 ,
surgen las preguntas siguientes:

 ¿Existen soluciones analíticas de  1 en un entorno de x0 , es decir, soluciones de

la forma :
y  a  a ( x  x )  a ( x  x )  ...  a ( x  x )  ... 2
0 1 0 2 0
2
n 0
n

En caso afirmativo :

 ¿Cómo se obtienen los coeficientes an?

 ¿Dónde converge la serie  2 ?

Es importante poder responder a estas preguntas, pues sería absurdo intentar buscar
soluciones de la forma 2, si no existen. Si existen en I, pueden además derivarse
término a término en I.

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

Teorema:

2
Si x0 es un punto ordinario de  1 ( ó  1’ ) entonces la solución general de  1 en
un cierto entorno de x0 puede escribirse en la forma  2 y a su vez :


y   an ( x  x0 )n  a0 y1 ( x )  a1 y2 ( x )
n 0

siendo a0 , a1 ctes arbitrarias e y1(x), y2(x) analíticas en un entorno I de

x0, y linealmente independientes en I.

El radio de convergencia de las series y1(x) e y2(x) es al menos tan grande como el
mínimo de los radios de convergencia de los desarrollos en serie de p(x) y q(x) en
torno a x0 (es decir, al menos igual a la distancia de x 0 al punto singular más
próximo de la ecuación  1 , sea dicho punto real o complejo)

Los coeficientes an de la serie  2 se obtienen en términos de a 0 y a1 , sustituyendo


la serie genérica y  an ( x  x0 )n en  1 , (así como los desarrollos de p(x) y q(x) si
n 0

P(x), Q(x), R(x) no son polinomios) y procediendo por coeficientes indeterminados.

Observaciones:

a) La serie solución 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) Según el teorema de existencia y unicidad, cada solución 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 términos de a0 y a1.

d) El método para resolver una ecuación completa : y   p( x ) y   q( x ) y  h( x ) , siendo x0

punto ordinario y h(x) analítica en x0, es análogo. En este caso, también hay que
desarrollar h(x) en serie de potencias en torno a x0 , antes de proceder por coeficientes
indeterminados. También podría resolverse en primer lugar la ecuación homogénea y
actuar luego por variación de constantes, o por reducción de orden.

e) Es claro que podría usarse un método semejante para ecuaciones diferenciales

lineales, de primer orden.

2. EJEMPLOS
Ejemplo 1

3
Hallar la solución general de la ecuación diferencial
y   xy   y  0 ,

determinando dos soluciones linealmente independientes en serie de potencias de

x. En particular obtener la solución tal que y(0) = 1 y´(0) = 0.

SOLUCION
p( x)   x
1) Es  . Ambas analíticas en x0 = 0, con radios de convergencia de sus
q( x)  1
R 1  
respectivos desarrollos  , es decir x = 0 es punto ordinario..
0

R 2  
1) Según el teorema anterior, existe solución de la ecuación en serie de potencias de x,
válida para todo x  R .
  
Sea y   a n x n . Por tanto : y    n a n x n 1 , y    n (n  1) a n x n2
n0 n 1 n2

En la ecuación diferencial :
  
 n (n  1) a n x n 2 -  n an x n -  a n x n  0
n2 n1 n 0

a0
Término independiente : 2  1  a 2  a0  0  a2 
2
a1
Coeficiente de x : 3  2  a 3  a 1  a1  0  a3 
3
............................ ................................. .................
a
Coeficiente de xn :  n  2 n  1 an 2   n  1 a n 0  an2  n
n2

a n2
Ley de recurrencia : an  , n2
n

 a0
a 
 2n (2n)!!
Luego a0 y a1 son libres y 
a  a1
 2n1 (2n  1)!!
Por tanto :

4
  x2 x4 x 2n   x 3 x5 x 2 n1 
y ( x )  a 0 1   ... ...  a1  x   ... ...
 2!! 4!! (2n)!!   3!! 5!! (2n  1)!! 
 a 0 y1 ( x )  a1 y2 ( x )  x 

y()0 1  a0  1
Solución particular:

y()0  0  a1  0 n
 x2 
x 2n   x2
Luego y( x)   2n
x  2
y( x)    y( x)  e 2
0 ( 2n)!!  
0 2 n n! 0 n!

Ejemplo 2

Hallar, por el método de series de potencias en torno a x0 = 0, la solución general

de la ecuación diferencial: (1  x 2 )y   2xy   2y  0

SOLUCION

 2x
 p( x ) 
1 x2
Es  Ambas analíticas en x0 = 0 con R1 = R2 = 1
q( x)   2
 1 x2

Luego existe solución analítica en x0 = 0, válida al menos para x  1.


Sustituyendo y   anxn en la ecuación diferencial:
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
n2 n2 n1 n 0

Término independiente : 2a 2  2a 0  0  a2  a0
Coeficiente de x : 6a 3  2a1  2a1  0  a3  0
............................ ................................. .................

5
Coeficiente de xn :  n  2 n  1 a n 2  n n  1 a n  2n  a n  2a n 0

Luego a0 y a1 libres, a2 = a0 , a3 = 0,

n(n  1)  2n  2 (n  1)(n  2) n3

a n 2   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

2n  3 2n  3 2n  5 3 1  1 (1) n 1
a 2n =  a 2 n  2  ...  ( 1) n   ...       a 0  a0
2n  1 2 n  1 2n  3 5 3  1 2n  1

Por tanto :
 x2 x4 x6 ( 1) n 1 2 n 
y= a 0 1 
1

3

5
 ... 
2n  1
x  ...  a1 x x 1
 

En este caso puede sumarse la serie :

 x x3 x5 x7 
y= a 0 1  x     ...   a1 x  y  a 0  1  x arctg x   a 1 x
  1 3 5 7  

Nota
En los dos primeros ejemplos, la relación de recurrencia ha consistido únicamente en
dos términos y además podía deducirse fácilmente de ella, la forma general de an . Pero,
pueden aparecer relaciones con dos o más términos (Con 3 en el Ejemplo 3), que sean
más complicadas, tales que no pueda determinarse la forma general de los coeficientes
an. Entonces sólo podrán obtenerse algunos términos.

Ejemplo 3

Hallar por el método de series de potencias en torno a x0 = 1 los términos hasta la

potencia de grado 4, correspondientes a la solución general de la ecuación
diferencial: 2y   xy   y  0
Se efectúa el cambio de variable : x - 1 = t ó x = t + 1.

dy dy dt
Entonces y    y , y   y 2 y  (t  1) y  y  0 , t0 = 0
dx dt dx

6
 t 1
 p( t ) 
2 Ambas analíticas en t = 0 con R = R = 
 1 2

q(t )  1
 2
Luego existe solución analítica en t = 0, válida para todo t.


Sustituyendo y   a n t n en la ecuación diferencial :
n0
   
2  n ( n  1) a n t n 2 +  n a n t n +  n a n t n 1 +  a n t n  0
n2 n1 n 1 n 0

a 0  a1
Término independiente : 2  2  1 a 2  a1  a 0  0  a2  
4
a1  a 2
Coeficiente de t : 2  3  2 a 3  a 1  2 a 2  a1  0  a3  
6
............................ ................................. ..........................
Coeficiente de tn : 2 n  2 n  1 a n  2  n a n  (n  1) a n 1  an 0

(n  1)a n 1  (n  1)a n a a a a
a n2     n 1 n  a n   n  2 n 1
2(n  1)(n  2) 2( n  2) 2n

a 0  a1
a a a1 
Luego : a2   0 1 ; a  4   3a1  a 0
4 3
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

 ( 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  ... x
 4 8 192 

Ejemplo 4

Hallar, por el método de series, la solución del problema de valor inicial:

y’’ – 2xy’ + 8y = 0 ; y(0) = 3 , y’(0) = 0.

Son p(x) = -2x y q(x) = 8 , ambas analíticas en xo = 0 , con R1 = R2 = 

7
Por tanto, existe solución y = y(x), analítica en xo = 0, válida para todo x.


Sustituyendo y   anxn en la ecuación diferencial:
n 0

  
 n (n  1) a n x n 2 - 2  n an x n + 8  an x n  0
n2 n1 n 0

Término independiente : 2a 2  8 a0  0  a 2   4 a0
Coeficiente de x : 6 a 3  2 a1  8 a 1  0  a 3   a1
............................ ................................. .................
Coeficiente de x : n  n  2  n  1 a n2  2n  a n  8 a n  0

2( n  4 ) 2( n  6 )
Luego : a n 2 
( n  1 )( n  2 )
an .De donde: an 
n( n  1 )
a n2 n2

Se pide la solución 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

Luego: a 3  a 5  ......  0 Por tanto: y = 3 – 12 x2 + 4 x4
  4a2
a 4  4
 12
a6  0  a 8  a10  .....  0

Ejemplo 5: Ecuación y polinomios de Legendre (1752-1833)

La ecuación de Legendre de parámetro m  0 es :

(1  x 2 )y   2xy   m(m  1)y  0 3

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

8
  2x
 p ( x )  
 1  x2
Es  Ambas analíticas en x0 = 0 con radio de convergencia de los
q(x )  m(m  1)
 1  x2
respectivos desarrollos : R1 = R2 = 1
Luego x0 = 0 es punto ordinario, existiendo solución en serie de potencias de x, válida,
al menos para x  1 .


Sea y  a n x n . Sustituyendo en la ecuación :
n 0
   
 n (n  1)a n x n 2 -  n (n  1)a n x n -2  n a n x n +  m(m  1)a n x n  0
n 2 n 2 n 1 n 0

Habrán de ser nulos los coeficientes de todas las potencias de x.

m( m  1)
x0 : 2  1  a 2  m(m  1)a 0  0  a2   a0
2 1
m(m  1)  2 (m  1)(m  2)
x1 : 3  2  a 3  2a 1  m(m  1)a 1  0  a3   a1   a1
3 2 3!
..... ............................................................................................
xn :  n  2 n  1 a n 2  n n  1 a n  2n  a n  m(m  1)a n  0

( m  n )( m  n  1) (m  n  2)(m  n  1)
a n 2   an  an   a n 2 n2
(n  2)( n  1) n (n  1)

Luego :

 m( m  1) 2 ( m  2) m( m  1)(m  3) 4 
y  a 0 1  x  x ...
 2! 4! 
 ( m  1)(m  2) 3 ( m  3)(m  1)(m  2)(m  4) 5 
a1  x  x  x ... x 1
 3! 5! 

Es decir : 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
pn(x) son respectivamente :
5 3
p0 = 1 p1(x) = x p2(x) = 1 - 3 x2 p3(x) = x - 3
x ......

Se llama polinomio de Legendre de orden m y se designa con Pm(x), a la solución

polinómica de la ecuación de Legendre de parámetro m ( o sea, el múltiplo de pn(x), tal
que Pm(1) = 1.
9
Será:
3 2 1 5 3 3
P0(x) = 1 P1(x) = x P2 ( x )  x  P3 ( x )  x  x .........
2 2 2 2

10