Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

El Método de Frobenius
Para la solución de ecuaciones diferenciales lineales ordinarias alrededor de puntos singulares
regulares se utiliza el método de Frobenius1 . Dada una ecuación diferencial de segundo orden:

f1 (x) 0 f2 (x)
y 00 + F1 (x) y 0 + F2 (x) y = 0 ⇔ y 00 + y + y=0 (1)
(x − x0 ) (x − x0 )2

donde F1 (x) y F2 (x) tienen singularidades regulares en x = x0 y por lo tanto f1 (x) y f2 (x) son
analı́ticas alrededor de ese punto entonces, la propuesta de solución será una serie de Frobenius
∞
X
y(x) = (x − x0 )m an (x − x0 )n (2)
n=0

donde n es entero positivo, pero m puede ser entero positivo (entonces la serie de Frobenius es una
serie de Taylor) o entero negativo (entonces la serie de Frobenius es una serie de Laurent), o un
racional. Por lo cual una serie de Frobenius incluye a las serie de Taylor y Laurent. Para hacer las
cosas más simples supongamos, sin perder generalidad, x0 = 0. Además, como f1 (x) y f2 (x) son
analı́ticas entonces
∞
X X∞
n
f1 (x) = bn x y f2 (x) = cn xn (3)
n=0 n=0

por lo tanto, la ecuación (1) queda

f1 (x) 0 f2 (x)
y 00 + y + y=0 ⇒ x2 y 00 + x f1 (x) y 0 + f2 (x) y = 0 (4)
x x2
o también:
∞
X ∞
X
x2 y 00 + x bn xn y 0 + cn xn y = 0
n=0 n=0

Propondremos entonces la serie de Frobenius como solución de prueba:

∞
X
m
y(x) = x an xn
n=0

por lo tanto:
∞
X ∞
X
y 0 (x) = mxm−1 an xn + xm nan xn−1
n=0 n=1
∞
X ∞
X ∞
X
y 00 (x) = m (m − 1) xm−2 an xn + 2mxm−1 nan xn−1 + xm n (n − 1) an xn−2
n=0 n=1 n=2
1
Ferdinand Georg Frobenius (1849-1917) Matemático Alemán famoso por sus contribuciones en Teorı́a de
Grupos y métodos para resolver ecuaciones diferneciales.

Héctor Hernández / Luis Núñez 1 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

sustituyendo en la ecuación diferencial

∞ ∞ ∞
" #
X X X
2 m−2 n m−1 n−1 m n−2
x m (m − 1) x an x + 2mx nan x +x n (n − 1) an x +
n=0 n=1 n=2
∞ ∞ ∞ ∞ ∞
" #
X X X X X
n m−1 n m n−1 n m
x bn x mx an x + x nan x + cn x x an xn = 0
n=0 n=0 n=1 n=0 n=0

acomodando algunos términos:

∞
X ∞
X ∞
X
m n m n m
m (m − 1) x an x + 2mx nan x + x n (n − 1) an xn +
n=0 n=1 n=2
∞ ∞ ∞ ∞ ∞
" #
X X X X X
n m n m n n m
bn x mx an x + x nan x + cn x x an xn = 0
n=0 n=0 n=1 n=0 n=0

podemos ahora sacar como factor común a xm ,

∞ ∞ ∞ ∞
" " ∞ ∞
#
X X X X X X
xm m (m − 1) an xn + 2m nan xn + n (n − 1) an xn + bn xn m an xn + nan xn +
n=0 n=1 n=2 n=0 n=0 n=1

∞ ∞
#
X X
n n
cn x an x =0
n=0 n=0

Expandiendo estas series y factorizando para los términos de igual potencia:

{a0 [m (m − 1) + b0 m + c0 ]} xm +
{a1 [m (m + 1) + b0 (m + 1) + c0 ] + a0 [b1 m + c1 ]} xm+1 +
{a2 [(m + 2) (m + 1) + b0 (m + 2) + c0 ] + a1 [b1 (m + 1) + c1 ] + a0 [b2 m + c2 ]} xm+2 +
{a3 [(m + 3) (m + 2) + b0 (m + 3) + c0 ] + a2 [b1 (m + 2) + c1 ] + a1 [b2 (m + 1) + c2 ] + a0 [b3 m + c3 ]} xm+3 +
.. ..
. .
+ · · · + {an [(m + n) (m + n − 1) + b0 (m + n) + c0 ] + an−1 [b1 (m + n − 1) + c1 ] +
an−2 [b2 (m + n − 2) + c2 ] +
an−3 [b3 (m + n − 3) + c3 ] +
+ · · · + a1 [bn−1 (m + 1) + cn−1 ] +
a0 [bn m + cn ]} xm+n = 0
(5)

Consideremos por un momento el coeficiente de a0 que aparece en la primera lı́nea, lo denota-

remos por µ(m)
µ(m) = m (m − 1) + b0 m + c0

Héctor Hernández / Luis Núñez 2 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

podemos notar que para el coeficiente de a1 en la segunda lı́nea tenemos

µ(m + 1) = m (m + 1) + b0 (m + 1) + c0

de manera que:

para a2 ⇒ µ(m + 2) = (m + 2) (m + 1) + b0 (m + 2) + c0
para a3 ⇒ µ(m + 3) = (m + 3) (m + 2) + b0 (m + 3) + c0
.. .. .. ..
. . . .
para an ⇒ µ(m + n) = (m + n) (m + n − 1) + b0 (m + n) + c0

Esto nos permite reacomodar aún más nuestros cálculos

∞ n−1
" #
X X
m
a0 µ(m)x + an µ(m + n) + ak [(m + k) bn−k + cn−k ] xm+n = 0 (6)
n=1 k=0

Como es de esperarse, este polinomio se anula si los coeficientes de xm , . . . , xm+i se anulan. La

primera de las ecuaciones que surge es lo que llamaremos la ecuación indicadora o ı́ndice

a0 6= 0 ⇒ µ(m) = m (m − 1) + b0 m + c0 = 0 (7)

que no es otra cosa que un polinomio de segundo grado en m. Al anular el coeficiente de xm+n
n−1
X
an µ(m + n) + ak [(m + k) bn−k + cn−k ] = 0 , (8)
k=0

obtendremos la relación de recurrencia para la serie de Frobenius, correspondientes a cada raı́z de

la ecuación indicadora (7), ed decir, los coeficientes an dependerán de m y de los coeficientes que
le preceden: {an−1 }.
Dado que la ecuación indicadora es un polinomio de segundo grado para m, entonces de allı́ se
derivan dos raı́ces: m1 y m2 (consideraremos siempre que m1 ≥ m2 ). Dependiendo de como sean
estas raı́ces distinguiremos tres casos:

1. m1 6= m2 ∧ m1 − m2 6= N , con N entero.

2. m1 = m2 = m.

3. m1 6= m2 ∧ m1 − m2 = N , con N entero positivo.

Como veremos a continuación, las raı́ces determinan fuertemente el comportamiento de las so-
luciones en la vecindad de la singularidad. También podemos ver que los dos términos que aparecen
en (8) no tienen por qué ser necesariamente diferentes a cero simultáneamente.
Estudiemos estos casos con un poco más de detalle:

Héctor Hernández / Luis Núñez 3 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

Caso 1: m1 6= m2 ∧ m1 − m2 6= N , con N entero.

En ese caso es claro que al resolver la ecuación indicadora y sustituir m1 en (8), se van despe-
jando todos los coeficientes a1 , . . . , an en términos de a0 . Notemos que siempre se cumplirá,
en (8), que µ(m1 + n) 6= 0. Igualmente al sustituir m2 encontramos la otra solución y ambas
son linealmente independientes. La solución general será
∞
X ∞
X
m1 n m2
y(x) = C1 x an x + C2 x an xn , x>0
n=0 n=0

para x < 0, debemos reemplazar xm1 por |x|m1 y xm2 por |x|m2 en la solución anterior.

Ejemplo Encuentre la solución en términos de series de Frobenius de la siguiente ecuación

   
2 00 1 0 2 1
x y +x x+ y − x + y=0
2 2

Al dividir por x2 identificamos que x = 0 es un punto singular regular.

   
00 1 1 0 1 2 1
y + x+ y − 2 x + y=0
x 2 x 2

Proponemos por lo tanto una serie de Frobenius: y(x) = xm ∞ n

P
n=0 an x . Necesitamos ahora
hacer algunas identificaciones fundamentales de esta última ecuación

 b0 = 12 , b1 = 1

1 1 2
f1 (x) = + x , f2 (x) = − − x ⇒
2 2
c0 = − 12 , c1 = 0 , c2 = −1


el resto de los coeficientes son: b2 = b3 = · · · = 0 y c3 = c4 = · · · = 0. Además f1 (x) y f2 (x)

son validas para todo x.
En cuanto a la ecuación indicadora tenemos lo siguiente:

1 1  m1 = 1
µ(m) = m (m − 1) + b0 m + c0 = 0 ⇒ m (m − 1) + m − = 0 ⇒
2 2
m2 = − 12


Las dos raı́ces son diferentes y su diferencia no es un entero: 1 − (−1/2) = 3/2.

Ahora podemos ir directamente al coeficiente de xm+n en (5) pues sabemos los valores de
todos los coeficientes {bi } y {ci }. Por lo tanto:
 
1 1
an (m + n) (m + n − 1) + (m + n) − + an−1 (m + n − 1) − an−2 = 0
2 2
 
1 1 1
an m2 + 2mn − m + n2 − n − + an−1 (m + n − 1) − an−2 = 0
2 2 2

Héctor Hernández / Luis Núñez 4 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

Con lo cual la relación de recurrencia general será

an−2 − an−1 (m + n − 1)
an = para n ≥ 2
m2 + 2mn − 21 m + n2 − 12 n − 1
2

dependiendo del valor de m tendremos una relación de recurrencia diferente

• Para m = 1. En este caso se obtiene:

2 (an−2 − nan−1 )
an = para n ≥ 2
2n2 + 3n
Note que podemos encontrar a1 a partir del coeficiente de xm+1 en la ecuación (5):
 
1 1 2
a1 1 (1 + 1) + (1 + 1) − + a0 [1 + 0] = 0 ⇒ a1 = − a0
2 2 5
con lo cual
1 1
a0 + 45 a0 = 9 9


n = 2 ⇒ a2 = 7 (a0 − 2a1 ) = 7 35 a0 ⇒ a2 = 35 a0

2 2
− 52 a0 − 27 82 82


n = 3 ⇒ a3 = 27 (a1 − 3a2 ) = 27 35 a0 = − 945 a0 ⇒ a3 = − 945 a0

1 1 9 328 571 571

n = 4 ⇒ a4 = 22 (a2 − 4a3 ) = 22 35 a0 + 945 a0 = 20790 a0 ⇒ a4 = 20790 a0
.. ..
. .
Ası́ la primera solución será
 
2 9 2 82 3 571 4
y1 (x) = a0 x 1 − x + x − x + x + ···
5 35 945 20790

• Para m = − 21 . En este caso, la relación de recurrencia es:

2 an−2 − n − 32 an−1



an = para n ≥ 2
2n2 − 3n
nuevamente, a1 se obtiene del coeficiente de xm+1 en la ecuación (5):
        
1 1 1 1 1 1
a1 − + − + a0 − = 0 ⇒ a1 = −a0
2 2 2 2 2 2
por lo tanto:
n = 2 ⇒ a2 = a0 − 12 a1 = a0 + 12 a0 = 32 a0 ⇒ a2 = 23 a0

2
a1 − 32 a2 = 2
−a0 − 49 a0 = − 13 ⇒ a3 = − 13



n = 3 ⇒ a3 = 9 9 18 a0 18 a0

1
a2 − 52 a3 = 1 3 65 119 119



n = 4 ⇒ a4 = 10 10 2 a0 + 36 a0 = 360 a0 ⇒ a4 = 360 a0
.. ..
. .

Héctor Hernández / Luis Núñez 5 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

Por lo cual, la solución general será

   
2 9 2 82 3 571 4 C2 3 2 13 3 119 4
y(x) = C1 x 1 − x + x − x + x + ··· + 1 1 − x + x − x + x + ···
5 35 945 20790 x2 2 18 360
Nótese que esta solución vale para 0 < x < ∞. Por cuanto para x < 0, la segunda solución se
hace imaginaria pero se puede resolver haciendo C2 = i C3 .

Caso 2: m1 = m2
Pongamos nuevamente nuestra atención en la ecuación (4):

x2 y 00 + x f1 (x) y 0 + f2 (x) y = 0

donde f1 (x) y f2 (x) son analı́ticas en x = 0. Reacomodemos esta última ecuación de la forma
2
 
2 00 0 2 d d
x y + x f1 (x) y + f2 (x) y = x + x f1 (x) + f2 (x) y ≡ L [y] = 0
dx2 dx

donde L {•} está concebido como un operador lineal. Recordamos que si y(x) = xm ∞ n
P
n=0 an x ,
entonces
∞ n−1
" #
X X
m
L [y] ≡ a0 µ (m) x + an µ (m + n) + ak [(m + k) bn−k + cn−k ] xm+n
n=1 k=0

si anulamos los coeficientes de xm+n entonces

n−1 Pn−1
X
k=0 ak [(m + k) bn−k + cn−k ]
an µ (m + n)+ ak [(m + k) bn−k + cn−k ] = 0 ⇔ an = −
µ (m + n)
k=0

considerando que µ (m + n) 6= 0.
Por lo tanto, para los an seleccionados (que anulen el coeficiente xm+n ) y tomando el caso
cuando las raı́ces están repetidas, es decir, m1 = m2 = m se tiene lo siguiente:

L [y] (m, x) = a0 µ (m) xm = a0 (m − m1 )2 xm

Nótese que estamos considerando L [y] (m, x) como una función de m y x. Por lo cual, al
evaluar para la raı́z m = m1 resulta

L [y] (m, x)|m=m1 = a0 (m − m1 )2 xm  =0

m=m1

Veamos algo más interesante, intentemos derivar respecto a la constante m

2 2
    
2 d d 2 d d
∂m [L [y]] = ∂m x + x f1 (x) + f2 (x) y = x + x f1 (x) + f2 (x) ∂m y
dx2 dx dx2 dx
h i h i
L [∂m y] = ∂m a0 (m − m1 )2 xm = a0 (m − m1 )2 xm ln(x) + 2 (m − m1 ) xm

Héctor Hernández / Luis Núñez 6 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

comprobamos que también se anula cuando evaluamos en m = m1

h i
L [∂m y]m=m1 = a0 (m − m1 )2 xm ln x + 2 (m − m1 ) xm =0
m=m1

por lo tanto también es solución. Con lo cual una segunda solución puede construirse de la
siguiente manera
∞
" " ##
X
m n
y2 (x) = ∂m y|m=m1 = ∂m x a0 + an (m) x
n=1 m=m1
∞ ∞
" #
X X
= xm1 ln(x) a0 + an (m1 ) xn + xm1 ∂m [an (m1 )] xn
n=1 n=1
∞
X
m1
= y1 (x) ln(x) + x Bn (m1 ) xn
n=1

donde hemos denotado ∂m [an (m1 )] = Bn (m1 ).

La solución general tendrá la forma
∞ ∞ ∞
" # " " # #
X X X
m n m n m n
y(x) = C1 x 1 + an (m) x + C2 x 1 + an (m) x ln(x) + x Bn (m) x ,
n=1 n=1 n=0
∞ ∞
" #
X X
= xm 1 + an (m) xn [C1 + C2 ln(x)] + C2 xm Bn (m) xn , x > 0.
n=1 n=0

Ejemplo Analicemos, como ejemplo, un caso particular de la ecuación de Bessel2

x2 y 00 + x y 0 + x2 + ν 2 y = 0

La ecuación viene parametrizada por ν y dependiendo de su valor tendremos una familia de

soluciones. Consideremos el caso ν = 0:
1 0 x2
x2 y 00 + x y 0 + x2 y = 0 ⇒ y 00 + y + 2y = 0
x x
Podemos ver que:

 b0 = 1
f1 (x) = 1 , f2 (x) = x2 ⇒
c0 = 0 , c1 = 0 , c2 = 1


2
Fredrich Wilhel Bessel (1784-1846). Astrónomo y matemático alemán. Aportó notables contribuciones a la
astronomı́a posicional, la geodesia y la mecánica celeste. Particularmente, se dedicó a aumentar la exactitud de las
mediciones de la posición y el movimiento de los astros. La precisión de sus mediciones hizo posible que determinara
pequeñas irregularidades en los movimientos de Urano lo condujo a predecir la existencia de Neptuno. Análogos
razonamientos lo llevaron a especular sobre la presencia de estrellas compañeras en Sirio y Procyon. A partir de datos
registrados en el siglo XVII, calculó la órbita del cometa Halley

Héctor Hernández / Luis Núñez 7 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

el resto de los coeficientes son cero. De la ecuación indicadora vemos lo siguiente:


 m1 = 0
µ(m) = m (m − 1) + b0 m + c0 = 0 ⇒ m (m − 1) + m = m2 = 0 ⇒
m2 = 0


Por lo tanto, la relación de recurrencia se obtiene del coeficiente de xm+n de (5)

an−2
an [(m + n) (m + n − 1) + (m + n)]+an−2 = 0 ⇒ an (m) = −
(m + n) (m + n − 1) + (m + n)
tomando m = 0, se tiene:
an−2
an (0) = − para n ≥ 2
n2
Otra vez, al anular el coeficiente para xm+1 (ecuación (5)) se obtiene:

a1 [0 (0 + 1) + (0 + 1) + 0] + a0 [0 + 0] = 0 ⇒ a1 = 0

Con lo cual, es claro que se anulan todos los coeficientes impares, y ası́
a2n−2
a2n = − para n = 1, 2, 3, . . .
(2n)2
tenemos entonces lo siguiente:
1
n=1 ⇒ a2 = − a0 ⇒ a2 = − 14 a0
4
1 1 1
n=2 ⇒ a4 = − 2 a2 = a0 ⇒ a4 = a0
(2 · 2) (2 · 2)2 22 (2 · 2)2 22
 
1 1 1 −1
n=3 ⇒ a6 = − a
2 4 = − 2 a
2 2 0 ⇒ a6 = a0
(2 · 3) (2 · 3) (2 · 2) 2 (2 · 3)2 23
.. ..
. .
a2n−2 (−1)n (−1)n
n = n ⇒ a2n = − = a0 ⇒ a2n = a0
(2n)2 22n (n!)2 22n (n!)2

La primera de las soluciones será

∞
" #
X (−1)n 2n
y1 (x) = a0 1+ x = a0 J0 (x)
n=1
22n (n!)2

Donde J0 (x) se conoce como la función de Bessel de primera especie de orden cero.
Para calcular la segunda solución de la ecuación de Bessel se sustituye
∞
X
y2 (x) = J0 (x) ln(x) + Bn xn en la ecuación: x2 y 00 + xy 0 + x2 y = 0
n=0

Héctor Hernández / Luis Núñez 8 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

para ello se requieren sus derivadas

∞ ∞
J0 X J00 J0 X
y20 = J00 ln(x) + + Bn nxn−1 , y200 = J000 ln(x) + 2 − 2+ Bn n (n − 1) xn−2 ,
x x x
n=1 n=2

entonces, al sustituir en la ecuación diferencial:

∞ ∞
" # " #
J 0 J J
0 0
X X
x2 J000 ln(x) + 2 0 − 2 + Bn n (n − 1) xn−2 + x J00 ln(x) + + Bn nxn−1 +
x x x
n=2 n=1
∞
" #
X
x2 J0 ln(x) + Bn xn = 0
n=0
 
∞
X ∞
X ∞
X
x2 J000 + xJ00 + x2 J0  ln(x) + 2xJ00 + Bn n (n − 1) xn + Bn nxn + Bn xn+2 = 0
| {z }
=0 n=2 n=1 n=0

por lo tanto:
∞ ∞
2 2
X
2 n
X (−1)n 2n
x2n


B1 x + 2 B2 x + Bn n + Bn−2 x = −2
n=3 n=1
22n (n!)2

es claro que para los coeficientes impares se obtiene B1 = B3 = B5 = · · · = B2n+1 · · · = 0, ya

que
∞
2 2 2 3 2 4 2 5
X (−1)n 2n
x2n




B1 x+2 B2 x + 3 B3 + B1 x + 4 B4 + B2 x + 5 B5 + B3 x +· · · = −2
n=1
22n (n!)2

mientras que para las potencias pares tendremos la relación de recurrencia

" #
1 (−1)n+1 n
B2n = − B2n−2
(2n)2 22(n−1) (n!)2

como se puede ver:

1
B2 = 2
22 (1!)2
   
1 4 1 1 1
B4 = − −2 =− 2 2 1+
(2 · 2)2 22 (2!)2 22 (1!)2 4 2 2
      
1 3 1 3 1 1 1 1 1
B6 = − B4 = 2 + 1+ = 2 2 2 1+ +
(6)2 24 (3!)2 6 24 (3!)2 42 22 2 6 4 2 2 3
.. ..
. .
(−1)k+1 1 (−1)k+1
 
1 1 1 1
B2k = + + + · · · + + + 1 = Sk
22k (k!)2 k k − 1 k − 2 3 2 22k (k!)2

Héctor Hernández / Luis Núñez 9 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

Figura 1: Comportamiento de las funciones de Bessel de orden cero. De primera especie J0 (x) y de
segunda especie Y0 (x)

Ası́ la segunda solución puede tomar la forma de

∞
X (−1)n+1 2n
y2 (x) = J0 (x) ln(x) + 2 Sn x
2n
2 (n!)
n=1

La solución general se podrá escribir como:

∞
" #
X (−1)n+1
y (x) = C1 J0 (x) + C2 J0 (x) ln(x) + Sn x2n
2 2n (n!)2
n=1

Es costumbre en Fı́sica reacomodar la segunda solución de la siguiente manera

∞
" #
2 h  x i X (−1)n+1
y2 (x) ≡ Y0 (x) = γ + ln J0 (x) + Sn x2n
π 2 22n (n!)2
n=1

donde γ se conoce como la constante de Euler-Mascheroni3 y tiene de valor

 
1 1 1 1 1
γ = lı́m + + + · · · + + + 1 − ln (n) ∼ = 0,5772
n→∞ n n−1 n−2 3 2
3
Lorenzo Mascheroni (1750-1800) Monje Italiano, nacido en Bergamo, Lombardo-Veneto. Profesor de Algebra y
Geometrı́a en la Universidad de Pavia y luego Rector de la misma. Además de poeta, se destaco por sus contribuciones
al Cálculo y a la Mecánica.

Héctor Hernández / Luis Núñez 10 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

de manera que finalmente:

y (x) = C1 J0 (x) + C2 Y0 (x) .
Nótese que tanto la función de Bessel de orden cero, de primera especie, J0 (x), como la función
de Bessel de orden cero, de segunda especie, Y0 (x), tienen un comportamiento oscilatorio
cuando x → ∞. Además J0 (0) = 1, mientras que Y0 (x) se comporta como π2 ln(x) cuando
x → 0.

Caso 3: m1 6= m2 ∧ m1 − m2 = N , con N entero.

En general, para este caso: m1 − m2 = N ⇒ m1 = N + m2 , con m1 > m2 . Notemos que
podemos escribir las dos raı́ces como: m y m + N . Entonces, como m + N es una raı́z satisface
también la ecuación indicadora:

µ (m + N ) = (m + N ) (m + N − 1) + b0 (m + N ) + c0 = 0 ,

esto significa que µ (m + N ) = 0 anula al coeficiente del término an para n = N del coeficiente
xm+n , ecuación (5), como se puede ver a continuación

an [(m + n) (m + n − 1) + b0 (m + n) + c0 ] + an−1 [b1 (m + n − 1) + c1 ] +

an−2 [b2 (m + n − 2) + c2 ] +
an−3 [b3 (m + n − 3) + c3 ] +
+ · · · + a1 [bn−1 (m + 1) + cn−1 ] +
a0 [bn m + cn ] = 0

cuando n = N , se tiene
n−1
X
an [(m + N ) (m + N − 1) + b0 (m + N ) + c0 ] + ak [(m + N − k) bn−k + cn−k ] = 0
k=0

Esto trae como consecuencia que se derivan dos casos:

PN −1
(1) µ (m + N ) = 0 ∧ k=0 ak [(m + N − k) bn−k + cn−k ] = 0.
En este caso, la solución en serie de Frobenius, partiendo de la raı́z mayor de la ecuación
indicadora, m + N , quedará en términos de a0 y no será linealmente independiente a la
solución provista por la raı́z menor, por consiguiente la solución proveniente de esta raı́z
menor, m, será la solución general:
∞ ∞
" #
X X
y(x) = a0 |x|m 1 + an (m) xn + aN |x|m an (m + N ) xn (9)
n=1 n=0

Héctor Hernández / Luis Núñez 11 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

Ejemplo La ecuación de Bessel, de orden fraccionario, puede ilustrar este caso, resolvámosla
 
2 00 0 2 1
x y + xy + x − y=0
4

Veamos entonces que


1  b0 = 1
f1 (x) = 1 , f2 (x) = − + x2 ⇒
4
c0 = − 14 , c1 = 0 , c2 = 1


el resto de los coeficientes son iguales a cero. En cuanto a la ecuación indicadora tenemos lo
siguiente:
 m1 = 12

1 1
µ(m) = m (m − 1)+b0 m+c0 = 0 ⇒ m (m − 1)+m− = m2 − = 0 ⇒
4 4
m2 = − 12


Las dos raı́ces son diferentes y su diferencia es un entero: N = 1/2 − (−1/2) = 1. La raı́z más
pequeña es m = −1/2
Vayamos al coeficiente de xm+1 en (5):
a1 [m (m + 1) + b0 (m + 1) + c0 ] + a0 [b1 m + c1 ] = 0
 
1
a1 m (m + 1) + (m + 1) − + a0 [0m + 0] = 0
4
 
2 3
a1 m + 2m + + a0 [0] = 0
4
Para la raı́z más pequeña, que es m = −1/2, tendremos
 
1 3
a1 −1+ + a0 [0] = 0
4 4
a1 [0] + a0 [0] = 0
el coeficiente de a1 es cero y el del otro coeficiente también es cero. Con lo cual cualquier
valor de a1 y a0 estarán permitidos.
La relación de recurrencia proviene de anular el coeficiente de xm+n , para m = −1/2. Vale
decir
         
1 1 1 1 1
an − + n − +n−1 + − +n − + an−1 0 − + n − 1 + 0 +
2 2 2 4 2
   
1
an−2 0 − + n − 2 + 1 = 0
2
     
1 3 1 1
an − + n − +n + − +n − + an−1 [0] + an−2 [1] = 0
2 2 2 4
an n2 − n + an−2 = 0
 

Héctor Hernández / Luis Núñez 12 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

La relación de recurrencia será entonces:

an−2
an = − 2 con n ≥ 2.
n −n
Los coeficientes serán
1 1
n = 2 ⇒ a2 = − a0 n = 3 ⇒ a3 = − a1
2 6
1 1 1 1
n = 4 ⇒ a4 = − a2 = a0 n = 5 ⇒ a5 = − a3 = a1
12 24 20 120
1 1 1 1
n = 6 ⇒ a4 = − a4 = − a0 n = 7 ⇒ a7 = − a5 = − a1
30 720 42 5040
.. ..
. .

Por lo cual, la solución general será

   
− 21 1 2 1 4 1 6 − 21 1 3 1 5 1 7
y(x) = a0 x 1− x + x − x + · · · +a1 x x− x + x − x + ···
2 24 720 6 120 5040
que es equivalente a:
   
− 21 1 2 1 4 1 6 1 1 2 1 4 1 6
y(x) = a0 x 1− x + x − x + · · · +a1 x 2 1 − x + x − x + ···
2 24 720 6 120 5040
PN −1
(2) µ (m + N ) = 0 ∧ k=0 ak [(m + N − k) bn−k + cn−k ] 6= 0.
En este caso la raı́z mayor de la ecuación indicadora m1 = m + N determinará una de las
soluciones. Veamos el siguiente ejemplo:

Ejemplo Analicemos la siguiente ecuación diferencial

x2 y 00 − x (2 − x) y 0 + 2 + x2 y = 0

Ahora 
 b0 = −2 , b1 = 1
f1 (x) = −2 + x , f2 (x) = 2 + x2 ⇒
c0 = 2 , c1 = 0 , c2 = 1


el resto de los coeficientes son iguales a cero.

Una vez más, la expansión en serie de Frobenius de y (x) nos lleva a una ecuación indicadora
que debemos resolver

 m1 = 2
2
µ(m) = m (m − 1)+b0 m+c0 = 0 ⇒ m (m − 1)−2m+2 = m −3m+2 = 0 ⇒
m2 = 1


Héctor Hernández / Luis Núñez 13 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

Por lo tanto N = 1. Veamos nuevamente al coeficiente de xm+1 en (5)

a1 [m (m + 1) + b0 (m + 1) + c0 ] + a0 [b1 m + c1 ] = 0
a1 [m (m + 1) − 2 (m + 1) + 2] + a0 [m + 0] = 0
a1 m2 − m + a0 [m] = 0
 

Para la raı́z más pequeña, que es m = 1, tendremos

a1 [0] + a0 [1] = 0

lo cual no conduce a nada por cuanto a0 = 0, mientras que, para m = 2 se obtiene

a1 [2] + a0 [2] = 0 ⇒ a1 = −a0

La relación de recurrencia proviene de anular el coeficiente de xm+n , para m = 2:

an [(2 + n) (2 + n − 1) − 2 (2 + n) + 2] + an−1 [(2 + n − 1) + 0] + an−2 [0 (2 + n − 2) + 1] = 0

an [(2 + n) (1 + n) − 2n − 2] + an−1 [1 + n] + an−2 [1] = 0
an n2 + n + an−1 [1 + n] + an−2 [1] = 0
 

por lo tanto:
an n2 + n = −an−1 [1 + n] − an−2 ,
 
para n ≥ 2

los coeficientes serán

1
n = 2 ⇒ 6a2 = −3a1 − a0 = 3a0 − a0 ⇒ a2 = a0
3
4 1
n = 3 ⇒ 12a3 = −4a2 − a1 = − a0 + a0 ⇒ a3 = − a0
3 36
.. ..
. .

Por lo cual:  
2 1 1
y1 (x) = a0 x 1 − x + x2 − x3 + · · ·
3 36
y la segunda solución linealmente independiente (se deja como ejercicio) será

y2 (x) = u (x) − bN y1 (x) ln(x) (10)

donde N es la diferencia entre las raı́ices, y1 (x) es la solución en series obtenida a partir de
la raı́z mayor: n + N y u(x) es la serie de Frobenius
∞
X
m
u (x) = x bi xi (11)
i=0

Héctor Hernández / Luis Núñez 14 Universidad de Los Andes, Mérida

Semana 9 - Clase 25 08/02/11 Tema 4: Sistemas y Series

Ejercicios

1. Resuelva la siguiente ecuación diferencial

2x2 y 00 − x y 0 − (x + 1) y = 0 .

2. Verifique que el origen es una singularidad regular y encuentre la solución de la siguiente

ecuación diferencial
x2 y 00 + x y 0 + x2 − 1 y = 0 .

3. Verifique que el origen es una singularidad regular de cada una de las ecuaciones siguientes.
Como las raı́ces de la ecuación indicadora no difieren por un entero y encuentre las dos
soluciones linealmente independientes

a) x2 y 00 + x(x + 21 )y 0 + xy = 0
b) 2x2 y 00 + 3xy 0 + (2x − 1)y = 0
c) 2xy 00 + (x + 1)y 0 + 3y = 0
d ) 2x2 y 00 − xy 0 + (1 − x2 )y = 0

4. Verifique que el origen es una singularidad regular de cada una de las ecuaciones siguientes.
Como las raı́ces de la ecuación indicadora difieren por un entero encuentre las dos soluciones
linealmente independientes

a) x2 y 00 − x2 y 0 + (x2 − 2)y = 0
b) x2 y 00 + (1 + x3 )xy 0 − y = 0
c) x2 y 00 + xy 0 + (x2 − 19 )y = 0

5. Verifique que el origen es una singularidad regular de cada una de las ecuaciones siguientes.
Como las raı́ces de la ecuación indicadora se repiten encuentre al menos una de las soluciones

a) x2 y 00 − 3y 0 + 4(x + 1)y = 0
b) xy 00 + (1 − x)y 0 + 12 y = 0

Héctor Hernández / Luis Núñez 15 Universidad de Los Andes, Mérida