SOLUCION DE ECUACIONES DIFERENCIALES MEDIANTE SERIES DE

POTENCIA:

El mtodo de series de potencias para resolver una ecuacin diferencial

consiste en sustituir la serie de potencias

en la ecuacin diferencial y despus determinar cules deben ser los

coeficientes a0, a1, a2,... para que la serie de potencias satisfaga la
ecuacin diferencial. Esto es muy semejante al mtodo de coeficientes
indeterminados, pero ahora tenemos un nmero infinito de coeficientes que
de algn modo hemos de obtener.
Para ilustrar el mtodo de la serie de potencias consideremos una ecuacin
diferencial lineal de primer orden sencilla.
Ejemplo: Encontrar una solucin en serie de potencias en torno a x = 0 de
la ecuacin

Solucin: Si suponemos que existe una solucin en serie de potencias de la

forma

nuestra tarea consistir en determinar los coeficientes an. Para ello,

sustituimos los desarrollos en serie de y (x) y y0 (x) en la ecuacin (1),
obteniendo

o equivalentemente

Si escribimos los primeros trminos de estas series y sumamos los

coeficientes de potencias iguales de x, se obtiene

Para que la serie de potencias del primer miembro de la ecuacin anterior

sea idnticamente cero, se debe verificar que todos los coeficientes sean
iguales a cero. De modo que

Resolviendo el sistema anterior resulta

Por tanto, la serie de potencias adopta la forma

Si bien el clculo de estos primeros trminos es til, sera mejor disponer de

una frmula de trmino general del desarrollo en serie de potencias de la
solucin. Para ello, volvemos a la expresin (2) y la escribimos de manera
que las dos series presenten la misma potencia de x, esto es

y, puesto que la primera serie empieza en k = 0 y la segunda en k = 1,

separamos el primer trmino de la primera y sumamos los coeficientes de
igual potencia de x, obteniendo que

Haciendo ahora todos los coeficientes iguales a cero, obtenemos una

relacin de recurrencia para los coeficientes

Tomando k = 1, 2,... , 6 y teniendo en cuenta que a1 = 0, resulta que

y de aqu, se observa que

Puesto que el coeficiente a0 se deja indeterminado, sirve como constante

arbitraria y, por tanto, proporciona la solucin general de la ecuacin

Se puede comprobar que esta serie tiene radio de convergencia R = .

Adems esta serie recuerda el desarrollo de la funcin exponencial,
verificndose que

solucin que se poda obtener fcilmente ya que se trataba de una ecuacin

de variables separables.

1. Soluciones en serie en torno a puntos ordinarios

Aunque el mtodo de series de potencias puede usarse en
ecuaciones lineales de cualquier orden, sus aplicaciones ms
relevantes se refieren a ecuaciones diferenciales lineales de segundo
orden de la forma
donde a (x), b (x) y c (x) son funciones analticas de x. En realidad, en
la mayora de las aplicaciones esas funciones son polinomios. Por esta
razn limitaremos el estudio a este tipo de ecuaciones.
Para determinar cundo el mtodo de series de potencias ser
efectivo, reescribimos la ecuacin anterior en la forma
con el coeficiente principal 1 y p (x) = b (x) /a (x) y q (x) = c (x) /a (x).
Ntese que p (x) y q (x) en general no tienen porqu ser
analticas en los puntos que a (x) se anula. Por ejemplo, en la
ecuacin
todos los coeficientes son funciones analticas en todos los puntos
pero si lo escribimos en la forma (4) resulta que p (x) = 1 x no es
analtica en x = 0.
Definicin 1.1 El punto x = x0 se denomina punto ordinario de la
ecuacin diferencial (3) si las funciones p (x) y q (x) son analticas en
x0. En caso contrario, el punto recibe el nombre de punto singular.
Ejemplos:
1) El punto x = 0 es un punto ordinario de la ecuacin

Pues

son ambas analticas en x = 0

2) El punto x = 0 no es un punto ordinario de la ecuacin

pues p (x) = x2 es analtica en el origen, pero q (x) = x no

lo es, ya que q (x) no es diferenciable en x = 0.
Vamos a encontrar ahora soluciones en serie de potencias en torno a
puntos ordinarios, para ecuaciones diferenciales del tipo (3) en las
que los coeficientes son polinomios. Para ello, se deber, tal y como
hemos hecho en
un ejemplo anterior, sustituir
En (3) agrupar
trminos semejantes e igualar
a cero los coeficientes de la serie de potencias resultante, lo que
conducir a una relacin de recurrencia para los coeficientes a n. Para
simplificar, supondremos que un punto ordinario de la ecuacin
diferencial est siempre localizado en x = 0, ya que si no lo est, la
sustitucin t = x x0 traslada el valor x = x0 a t = 0. Establecemos
ahora un resultado bsico de existencia de soluciones en serie de
potencias en torno a un punto ordinario de la ecuacin (3) que
justifica el mtodo de series de potencias.
Teorema 4.1 Si x = 0 es un punto ordinario de la ecuacin diferencial
(3), entonces existen dos soluciones linealmente independientes en
forma de series de potencias centradas en 0, es decir, cada una de la
forma

cuyos radios de convergencia son por lo menos tan grandes como la

distancia de x = 0 al punto singular ms prximo.
Ejemplo: Encontrar la solucin de
en forma de serie de potencias en torno al punto ordinario x = 0.
Solucin: Consideramos

y los correspondientes desarrollos en serie para y (x) y y (x) dados

por

Sustituimos estas series de potencias en nuestra ecuacin

y escribimos las tres series de forma que el trmino general de cada

una de ellas sea una constante multiplicada por x k.

Separamos los trminos correspondientes a x0 y agrupamos los

coeficientes de xk obteniendo

Igualando a cero los coeficientes de la serie de potencias, resulta que

De esta manera,

Considerando a0 y a1 como constantes arbitrarias, se obtiene

De aqu resultan dos soluciones linealmente independientes

y por consiguiente la solucin general de nuestra ecuacin viene dada

por

Este mtodo se puede utilizar tambin para resolver problemas de

valores iniciales. Si se tienen los valores de y (0) y y (0), es fcil
comprobar que se verifica que a0 = y (0) y a1 = y (0), con lo cual se
llega a una solucin nica del problema de valor inicial.

2. SOLUCIONES EN TORNO A PUNTOS SINGULARES

En la seccin precedente vimos que no hay mucha dificultad en

encontrar una solucin en serie de potencias de

en torno a un punto ordinario x = x0. Sin embargo, cuando x = x0 es

un punto singular, no siempre es posible encontrar una solucin de la
forma

Veremos que, en algunos casos, si podemos obtener una solucin de

la forma

donde r es una constante a determinar.

Por ejemplo, si consideramos la ecuacin diferencial 6x 2y + 5xy +
( x2 1 ) y = 0, que tiene un punto singular en x = 0, esta ecuacin
no tienen ninguna solucin de la forma

. No obstante, se puede demostrar que existen dos soluciones en

serie de la forma

Vamos, por tanto, a investigar la solucin de la ecuacin (3) cerca de

un punto singular. Los puntos singulares se subdividen en regulares e
irregulares. Para definir estos conceptos reescribimos la ecuacin de
la forma y + p (x) y + q (x) y = 0.
Definicin 1.2
Un punto singular, x = x0, de la ecuacin (3) es un punto singular
regular si tanto (x x0) p (x) como (x x0) 2 q (x) son analticas en x0
y es un punto singular irregular en caso contrario.
Ejemplo Los puntos x = 0 y x = 1 son, ambos, puntos singulares de
la ecuacin diferencial
Si examinamos

podemos observar que x = 0 es un punto singular irregular, mientras

que x = 1 es un punto singular regular. Antes de establecer un
resultado de existencia de soluciones en serie en torno a un punto
singular regular, necesitamos la siguiente definicin.
Definicin 1.3

Si x0 es un punto singular regular de y + p (x) y + q (x) y = 0,

entonces llamamos ecuacin indicial de ese punto a la ecuacin
Donde

Las races de la ecuacin indicial se llaman exponentes (ndices) de la

singularidad x0.
En general, si x0 es un punto singular regular de (3), entonces las
funciones (x x0) p (x) y (x x0)2 q (x) son analticas en x0; es
decir, los desarrollos

Para estudiar la existencia de soluciones en serie en torno a puntos

singulares regulares, y al igual que hicimos en la seccin precedente,
restringiremos nuestra atencin al caso en el que x0 = 0 es un punto
singular regular de la ecuacin. El siguiente teorema nos garantiza la
existencia de al menos una solucin en serie de la forma anterior a la
vez que proporciona, en algunos casos, la expresin de una segunda
solucin linealmente independiente.
Teorema 1.2 Soluciones en serie de Frobenius
Sea x = 0 un punto singular regular de la ecuacin y + p (x) y + q
(x) y = 0 y sean r1 y r2 las races, con r1 r2, de la ecuacin indicial
asociada. Entonces:
(a) Para x > 0, existe una solucin de la forma

correspondiente a la raz mayor r1.

(b) Si r1 r2 no es cero ni un entero positivo, entonces existe una
segunda solucin linealmente independiente para x > 0 de la
forma

correspondiente a la raz menor r2.

Ejemplo: Encontrar la solucin de
en forma de serie de potencias en torno al punto singular regular x
= 0.
Solucin: Ensayamos una solucin de la forma

Puesto que

al sustituir en la ecuacin, obtenemos

lo cual implica que

De la ecuacin r (3r 2) = 0 (ecuacin indicial), tenemos que r1 =

2/ 3 y r2 = 0. Al sustituir en (5) los dos valores de r resultan dos
relaciones de recurrencia diferentes

Iterando

en

ambas

relaciones

Conseguimos as dos soluciones en serie

obtenemos

Se puede comprobar que el radio de convergencia de estas series

es R = . Adems se puede ver que ninguna es un mltiplo
constante de la otra y por lo tanto, y1 (x) y y2 (x) son soluciones
linealmente independientes. Luego,

presenta la solucin general de la ecuacin diferencial en

cualquier intervalo que no contenga al origen.
En el caso en el que r1 = r2 slo puede haber una solucin en
serie de Frobenius. Si r1r2 es un entero positivo, puede existir o
no una segunda solucin en serie de Frobenius correspondiente a
la raz menor r2. Los resultados correspondientes a la obtencin
de una segunda solucin linealmente independiente en estas dos
situaciones particulares los enunciamos en el siguiente teorema.
Teorema 1.3 Sea x = 0 un punto singular regular de la ecuacin
y + p (x) y + q (x) y = 0 y sean r1 y r2 las races, con r1 r2, de
la ecuacin indicial asociada. Entonces:
(a) Si r1 = r2, existen dos soluciones linealmente independientes
para x > 0 de la forma

(b) Si r1 r2 es un entero positivo, existen dos soluciones

linealmente independientes para x > 0 de la forma

donde C es una constante que puede ser cero. En el caso (b) del
teorema b0 6= 0, pero C puede ser cero o no; de modo que el
trmino logartmico puede estar presente o no en la segunda
solucin. Los coeficientes de estas series (y la constante C)
pueden determinarse por sustitucin directa de las series en la
ecuacin diferencial.

Observacin: Puede ocurrir que al intentar encontrar la solucin

en serie de una ecuacin diferencial de la forma (3), en torno a un
punto singular regular, las races de la ecuacin indicial resulten
ser nmeros complejos. Cuando r1 y r2 son complejos, la
suposicin r1 > r2 carece de significado y debe ser reemplazada
por Re (r1) > Re (r2), y, en este caso las soluciones sern
complejas. Esta dificultad puede ser superada mediante el
principio de superposicin. Puesto que una combinacin de
soluciones tambin es solucin de la ecuacin diferencial,
podramos formar combinaciones adecuadas de y1(x) y y2(x) para
obtener soluciones reales.
Por ltimo, si x = 0 es un punto singular irregular, debe hacerse
notar que puede ser posible no encontrar ninguna solucin de la
forma