SOLUCIONES EN SERIES DE POTENCIAS EN TORNO PUNTOS ORDINARIOS

Supongamos que la ecuación diferencial lineal de segundo orden 𝑎2 (𝑥)𝑦 ′′ + 𝑎1 (𝑥)𝑦 ′ +

𝑎0 (𝑥)𝑦 = 0 se escribe en la forma estándar 𝑦 ′′ + 𝑃(𝑥)𝑦 ′ + 𝑄(𝑥)𝑦 = 0 al dividir entre el
coeficiente principal 𝑎2 (𝑥).

Definición.

Se dice que un punto 𝑥0 es un punto ordinario de la ecuación diferencial (5) si tanto P(x) como
Q(x) de la forma estándar (6) son analíticos en 𝑥0 . Y de un punto que no es ordinario se afirma
que es un punto singular de la ecuación.

Ejemplo 1

a) Todo valor finito de x es un punto ordinario de 𝑦 ′′ + (𝑒 𝑥 )𝑦 ′ + (𝑠𝑒𝑛𝑥)𝑦 = 0 . En particular,

x = 0 es un punto ordinario, pues como ya vimos tanto 𝑒 𝑥 como 𝑠𝑒𝑛𝑥 son analíticos en este
punto.

b) Observe que x = 0 es un punto singular de la ecuación diferencial 𝑦 ′′ + (𝑒 𝑥 )𝑦 ′ + (𝑙𝑛𝑥)𝑦 = 0

, puesto que 𝑄(𝑥) = 𝑙𝑛𝑥 es discontinua en x = 0 y, por lo tanto, no se puede representar
mediante una serie de potencias en x

Coeficientes polinomiales Nos interesamos especialmente en que la Ecuación Diferencial

𝑎2 (𝑥)𝑦 ′′ + 𝑎1 (𝑥)𝑦 ′ + 𝑎0 (𝑥)𝑦 = 0 tiene coeficientes polinomiales. Un polinomio es analítico
en cualquier valor de x, mientras que una función racional es analítica excepto en los puntos
donde su denominador es cero. Por lo tanto tenemos que si 𝑎2 (𝑥), 𝑎1 (𝑥) 𝑦 𝑎0 (𝑥) son
𝑎1 (𝑥) 𝑎0 (𝑥)
polinomios que no tienen factores comunes, entonces 𝑃(𝑥) = y 𝑄(𝑥) = son
𝑎2 (𝑥) 𝑎2 (𝑥)
analíticos con la excepción de aquellos valores de x tal que 𝑎2 (𝑥) = 0. Por tanto, 𝑥 = 𝑥0 es un
punto ordinario de (5) si 𝑎2 (𝑥0 ) ≠ 0, mientras que 𝑥 = 𝑥0 es un punto singular de (5) si
𝑎2 (𝑥0 ) = 0.

Ejemplo 2

a) La ecuación (𝑥 2 − 1)𝑦 ′′ + 2𝑥𝑦 ′ + 5𝑦 = 0 tiene como puntos singulares las soluciones de

𝑥 2 − 1 = 0, esto es, 𝑥 = ±1. Cualquier valor finito de 𝑥 ≠ ±1 es un punto ordinario.

b) La ecuación de Cauchy-Euler 𝑎𝑥 2 𝑦 ′′ + 𝑏𝑥𝑦 ′ + 𝑐𝑦 = 0 tiene como punto singular único x = 0.

Teorema (Existencia de soluciones en forma de series de potencias)

Si 𝑥 = 𝑥0 es un punto ordinario de la ecuación diferencial (5), siempre podemos encontrar dos

soluciones linealmente independientes en forma de series de potencias centradas en 𝑥0 , es
decir, 𝑦 = ∑∞ 𝑛
𝑛=0 𝑐𝑛 (𝑥 − 𝑥0 ) . Una solución en forma de serie converge al menos en algún
intervalo definido por|𝑥 − 𝑥0 | < 𝑅, donde 𝑅 es la distancia entre 𝑥0 y el punto singular más
cercano.

Se dice que una solución de la forma 𝑦 = ∑∞ 𝑛

𝑛=0 𝑐𝑛 (𝑥 − 𝑥0 ) es una solución en torno al punto
ordinario 𝑥0 . En el teorema 5.1, la distancia 𝑅 es el valor mínimo o el límite inferior para el radio
de convergencia.

En los siguientes ejemplos, por simplicidad, sólo encontraremos soluciones en forma de series
de potencias en torno a un punto ordinario 𝑥 = 0. Si fuera necesario encontrar una solución en
forma de series de potencias de una EDO en torno a un punto ordinario 𝑥0 ≠ 0, simplemente
podemos cambiar la variable 𝑡 = 𝑥 − 𝑥0 en la ecuación (esto se traduce 𝑥 = 𝑥0 , 𝑒𝑛 𝑡 = 0), para
encontrar las soluciones para la nueva ecuación de la forma 𝑦 = ∑∞ 𝑛
𝑛=0 𝑐𝑛 𝑡 , y después volver a
sustituir 𝑡 = 𝑥 − 𝑥0 .

El método de determinar una solución de una ecuación diferencial ordinaria de segundo orden,
lineal homogénea, en forma de serie de potencias es el “método de series de coeficientes
indeterminados”, pues, el procedimiento se parece mucho a dicho método.

La idea consiste en sustituir 𝑦 = ∑∞ 𝑛=0 𝑐𝑛 𝑥

𝑛
en la ecuación diferencial que se nos da,
combinamos las series bajo un solo símbolo de sumatoria e igualamos los coeficientes del lado
derecho de la ecuación para determinar los coeficientes 𝑐𝑛 . Como el lado derecho es cero (0),
en el último paso se requiere por la “propiedad de identidad” que los coeficientes de “𝑥” se
igualen a cero (0). Esto no significa que todos los coeficientes sean “ceros”, pues no tendría
sentido. El teorema de existencia de soluciones en forma de serie de potencias nos garantiza la
existencia de dos soluciones. Los ejemplos a desarrollar ilustran como la sola hipótesis de que

𝑦 = ∑∞ 𝑛 2 3
𝑛=0 𝑐𝑛 𝑥 =𝑐0 + 𝑐1 𝑥 + 𝑐2 𝑥 + 𝑐3 𝑥 + ⋯

Conduce a dos conjuntos de coeficientes, por lo que se tienen dos series de potencias distintas
𝑦1 (𝑥) y 𝑦2 (𝑥), ambas desarrolladas respecto al punto ordinario 𝑥 = 0. La solución general de la
ecuación diferencial es entonces 𝑦 = 𝐶1 𝑦1 (𝑥) + 𝐶2 𝑦2 (𝑥).

Ejemplo 3

Resolver la ecuación de segundo orden 𝑦 ′′ − 2𝑥𝑦 = 0 en torno al punto ordinario x = 0.

Solución: 𝑥 = 0 es un punto ordinario de la ecuación, entonces, por el teorema se tienen dos

soluciones de la forma
𝑦 = ∑∞ 𝑛=0 𝑐𝑛 𝑥
𝑛
que convergen para |𝑥| < ∞. Tenemos que 𝑦′ = ∑∞
𝑛=1 𝑛𝑐𝑛 𝑥
𝑛−1
y 𝑦′′ =
∑∞𝑛=2 𝑛(𝑛 − 1)𝑐𝑛 𝑥
𝑛−2
.

Sustituyendo en la ecuación diferencial

𝑦 ′′ − 2𝑥𝑦 = ∑∞
𝑛=2 𝑛(𝑛 − 1)𝑐𝑛 𝑥
𝑛−2
− 2𝑥 ∑∞ 𝑛
𝑛=0 𝑐𝑛 𝑥 = 0

∑∞
𝑛=2 𝑛(𝑛 − 1)𝑐𝑛 𝑥
𝑛−2
− ∑∞
𝑛=0 2𝑐𝑛 𝑥
𝑛+1
= 0 (Es necesario que ambas series empiecen con la
misma potencia en x)

(2)(1)𝑐2 𝑥 0 + ∑∞
𝑛=3 𝑛(𝑛 − 1)𝑐𝑛 𝑥
𝑛−2
− ∑∞
𝑛=0 2𝑐𝑛 𝑥
𝑛+1
= 0 (Se evaluó n =2 en la primera serie
1
para que ambas series empezaran con 𝑥 )

Haciendo 𝑘 = 𝑛 − 2 en la primera serie y 𝑘 = 𝑛 + 1 en la segunda, resulta

2𝑐2 + ∑∞ 𝑘 ∞ 𝑘
𝑘=1(𝑘 + 2)(𝑘 + 1)𝑐𝑘+2 𝑥 − ∑𝑘=1 2𝑐𝑘−1 𝑥 = 0

2𝑐2 + ∑∞ 𝑘
𝑘=1[(𝑘 + 2)(𝑘 + 1)𝑐𝑘+2 − 2𝑐𝑘−1 ]𝑥 = 0

Debemos tener que 2𝑐2 = 0 y (𝑘 + 2)(𝑘 + 1)𝑐𝑘+2 − 2𝑐𝑘−1 = 0 (propiedad de identidad)

2𝑐𝑘−1
𝑐2 = 0 ; 𝑐𝑘+2 = , k=1, 2, 3,… (Relación de recurrencia)
(𝑘+2)(𝑘+1)

Reemplazando los valores de k en la relación de recurrencia se tiene

2𝑐0 𝑐0 2𝑐5
𝑘 = 1 ⇒ 𝑐3 = = 𝑘 = 6 ⇒ 𝑐8 = =0
(3)(2) 3 (8)(7)

2𝑐1 𝑐1 2𝑐6 1 𝑐 𝑐
𝑘 = 2 ⇒ 𝑐4 = = 𝑘 = 7 ⇒ 𝑐9 = = (9)(4) ( 0 ) = 0
(4)(3) 6 (9)(8) 45 1620

2𝑐2 2𝑐7 1 𝑐1 𝑐
𝑘 = 3 ⇒ 𝑐5 = =0 𝑘 = 8 ⇒ 𝑐10 = = (5)(9) ( ) = 1
(5)(4) (10)(9) 126 5670

2𝑐3 1 𝑐 𝑐 2𝑐8
𝑘 = 4 ⇒ 𝑐6 = = (3)(5) ( 0) = 0 𝑘 = 9 ⇒ 𝑐11 = =0
(6)(5) 3 45 (11)(10)

2𝑐4 1 𝑐 𝑐
𝑘 = 5 ⇒ 𝑐7 = = (7)(3) ( 1) = 1
(7)(6) 6 126

Etcétera. Por lo tanto,

𝑦 = ∑∞ 𝑛=0 𝑐𝑛 𝑥
𝑛
= 𝑐0 + 𝑐1 𝑥 + 𝑐2 𝑥 2 + 𝑐3 𝑥 3 + 𝑐4 𝑥 4 + 𝑐5 𝑥 5 + 𝑐6 𝑥 6 + 𝑐7 𝑥 7 + 𝑐8 𝑥 8 + 𝑐9 𝑥 9 +
𝑐10 𝑥 10 + 𝑐11 𝑥 11 + ⋯
 𝑐 𝑐 𝑐 𝑐
𝑦 = 𝑐0 + 𝑐1 𝑥 + (0)𝑥 2 + ( 0) 𝑥 3 + ( 1) 𝑥 4 + (0)𝑥 5 + ( 0 ) 𝑥 6 + ( 1 ) 𝑥 7 + (0)𝑥 8 +
3 6 45 126
𝑐 𝑐
0
(1620 ) 𝑥 9 + (5670
1
) 𝑥 10 + (0)𝑥 11 + ⋯

𝑐 𝑐 𝑐 𝑐 𝑐 𝑐
𝑦 = 𝑐0 + 𝑐1 𝑥 + ( 0) 𝑥 3 + ( 1) 𝑥 4 + ( 0 ) 𝑥 6 + ( 1 ) 𝑥 7 + ( 0 ) 𝑥 9 + ( 1 ) 𝑥 10 + ⋯
3 6 45 126 1620 5670

𝑐 𝑐 𝑐 𝑐 𝑐 𝑐
𝑦 = [𝑐0 + ( 0) 𝑥 3 + ( 0 ) 𝑥 6 + ( 0 ) 𝑥 9 + ⋯ ] + [𝑐1 𝑥 + ( 1 ) 𝑥 4 + ( 1 ) 𝑥 7 + ( 1 ) 𝑥 10 +
3 45 1620 6 126 5670
⋯]
1 1 1 1 1 1
𝑦 = 𝑐0 [1 + ( ) 𝑥 3 + ( ) 𝑥 6 + ( ) 𝑥 9 + ⋯ ] + 𝑐1 [𝑥 + (6) 𝑥 4 + (126) 𝑥 7 + (5670) 𝑥 10 +
3 45 1620
⋯]

Luego, la solución general de la ecuación diferencial es 𝑦 = 𝑐0 𝑦1 (𝑥) + 𝑐1 𝑦2 (𝑥), con 𝑐0 y 𝑐1

constantes arbitrarias. Donde:
1 1 1
𝑦1 (𝑥) = 1 + ( ) 𝑥 3 + ( ) 𝑥 6 + ( ) 𝑥9 + ⋯
3 45 1620

1 1 1
𝑦2 (𝑥) = 𝑥 + ( ) 𝑥 4 + ( ) 𝑥 7 + ( ) 𝑥 10 + ⋯
6 126 5670

Son dos soluciones en serie de potencias en torno al punto ordinario x = 0 que son linealmente
independientes. Además, cada serie converge para |𝑥| < ∞.

Ejemplo 4

Resolver la ecuación de segundo orden 𝑦 ′′ − (1 + 𝑥)𝑦 = 0 en torno al punto ordinario x = 0.

Solución: 𝑥 = 0 es un punto ordinario de la ecuación, entonces, por el teorema se tienen dos

soluciones de la forma

𝑦 = ∑∞ 𝑛=0 𝑐𝑛 𝑥
𝑛
que convergen para |𝑥| < ∞. Tenemos que 𝑦′ = ∑∞
𝑛=1 𝑛𝑐𝑛 𝑥
𝑛−1
y 𝑦′′ =
∑∞𝑛=2 𝑛(𝑛 − 1)𝑐𝑛 𝑥
𝑛−2
.

Sustituyendo en la ecuación diferencial.

𝑦 ′′ − (1 + 𝑥)𝑦 = ∑∞
𝑛=2 𝑛(𝑛 − 1)𝑐𝑛 𝑥
𝑛−2
− (1 + 𝑥) ∑∞ 𝑛
𝑛=0 𝑐𝑛 𝑥 = 0

∑∞𝑛=2 𝑛(𝑛 − 1)𝑐𝑛 𝑥

𝑛−2
− ∑∞ 𝑛 ∞
𝑛=0 𝑐𝑛 𝑥 − ∑𝑛=0 𝑐𝑛 𝑥
𝑛+1
= 0 (serie1 empieza con 𝑥 0 , serie2 con 𝑥 0 ,
serie3 con 𝑥 1 )

2𝑐2 − 𝑐0 + ∑∞
𝑛=3 𝑛(𝑛 − 1)𝑐𝑛 𝑥
𝑛−2
− ∑∞ 𝑛 ∞
𝑛=1 𝑐𝑛 𝑥 − ∑𝑛=0 𝑐𝑛 𝑥
𝑛+1
= 0 (las 3 series empiezan con
𝑥1)
Haciendo 𝑘 = 𝑛 − 2 en la primera serie, 𝑘 = 𝑛 en la segunda y 𝑘 = 𝑛 + 1 , resulta

2𝑐2 − 𝑐0 + ∑∞ 𝑘 ∞ 𝑘 ∞ 𝑘
𝑘=1(𝑘 + 2)(𝑘 + 1)𝑐𝑘+2 𝑥 − ∑𝑘=1 𝑐𝑘 𝑥 − ∑𝑘=1 𝑐𝑘−1 𝑥 = 0

2𝑐2 − 𝑐0 + ∑∞ 𝑘
𝑘=1[(𝑘 + 2)(𝑘 + 1)𝑐𝑘+2 − 𝑐𝑘 − 𝑐𝑘−1 ]𝑥 = 0

Luego, por propiedad de identidad

𝑐
2𝑐2 − 𝑐0 = 0 ⇒ 𝑐2 = 0;
2

𝑐𝑘−1 + 𝑐𝑘
(𝑘 + 2)(𝑘 + 1)𝑐𝑘+2 − 𝑐𝑘 − 𝑐𝑘−1 = 0 ⇒ 𝑐𝑘+2 = , 𝑘 = 1. 2, 3, …
(𝑘+1)(𝑘+2)

𝑐0 + 𝑐1 𝑐0 𝑐1
𝑘 = 1 ⇒ 𝑐3 = = +
(2)(3) 6 6

𝑐1 + 𝑐2 𝑐1 1 𝑐 𝑐 𝑐
𝑘 = 2 ⇒ 𝑐4 =
(3)(4)
=
12
+ ( 0) = 240 + 121
12 2

𝑐2 + 𝑐3 1 0 𝑐 1 𝑐 𝑐 𝑐 𝑐
𝑘 = 3 ⇒ 𝑐5 = = ( ) + ( 0 + 1) = 0 + 1
(4)(5) 20 2 20 6 6 30 120

Etcétera. Por lo tanto,

𝑦 = ∑∞ 𝑛 2 3 4 5
𝑛=0 𝑐𝑛 𝑥 = 𝑐0 + 𝑐1 𝑥 + 𝑐2 𝑥 + 𝑐3 𝑥 + 𝑐4 𝑥 + 𝑐5 𝑥 + ⋯

𝑦 = 𝑐0 + 𝑐1 𝑥 + 𝑐2 𝑥 2 + 𝑐3 𝑥 3 + 𝑐4 𝑥 4 + 𝑐5 𝑥 5 + ⋯
𝑐 𝑐 𝑐 𝑐 𝑐 𝑐 𝑐
𝑦 = 𝑐0 + 𝑐1 𝑥 + ( 0) 𝑥 2 + ( 0 + 1) 𝑥 3 + ( 0 + 1 ) 𝑥 4 + ( 0 + 1 ) 𝑥 5 + ⋯
2 6 6 24 12 30 120

𝑐 𝑐 𝑐 𝑐 𝑐 𝑐
𝑦 = [𝑐0 + ( 0) 𝑥 2 + ( 0) 𝑥 3 + ( 0 ) 𝑥 4 + ( 0 ) 𝑥 5 + ⋯ ] + [𝑐1 𝑥 + ( 1) 𝑥 3 + ( 1 ) 𝑥 4 +
2 6 24 30 6 12
𝑐
1
(120 ) 𝑥5 + ⋯ ]

1 1 1 1 1 1
𝑦 = 𝑐0 [1 + ( ) 𝑥 2 + ( ) 𝑥 3 + ( ) 𝑥 4 + ( ) 𝑥 5 + ⋯ ] + 𝑐1 [𝑥 + ( ) 𝑥 3 + ( ) 𝑥 4 +
2 6 24 30 6 12
1
(120) 𝑥 5 + ⋯ ]

Luego, la solución general de la ecuación diferencial es 𝑦 = 𝑐0 𝑦1 (𝑥) + 𝑐1 𝑦2 (𝑥), con 𝑐0 y 𝑐1

constantes arbitrarias. Donde:
1 1 1 1
𝑦1 (𝑥) = 1 + ( ) 𝑥 2 + ( ) 𝑥 3 + ( ) 𝑥 4 + ( ) 𝑥 5 + ⋯
2 6 24 30

1 1 1
𝑦2 (𝑥) = 𝑥 + ( ) 𝑥 3 + ( ) 𝑥 4 + ( ) 𝑥 5 + ⋯
6 12 120
Son dos soluciones en serie de potencias en torno al punto ordinario x = 0 que son linealmente
independientes. Además, cada serie converge para |𝑥| < ∞.

Ejemplo5