Métodos Matemáticos de la Fı́sica 2

Métodos de Solución de Ecuaciones Diferenciales

Ordinarias
Mediante Series de Potencias
L. A. Núñez*
Centro de Astrofı́sica Teórica,
Departamento de Fı́sica, Facultad de Ciencias,
Universidad de Los Andes, Mérida 5101, Venezuela
and
Centro Nacional de Cálculo Cientı́fico
Universidad de Los Andes (CeCalCULA),
Corporación Parque Tecnológico de Mérida,
Mérida 5101, Venezuela

Mérida, Junio 2003 Versión α

Índice
1. Definiciones para Comenzar 2
1.1. Convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Algebra de Series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2. Un Ejemplo conocido. 4

3. Otro Ejemplo menos conocido pero importante 5

4. Método de Diferenciaciones Sucesiva 7

5. Métodos de los Coeficientes Indeterminados 8

6. Los Puntos y las Estrategias 10

7. Ecuaciónes e intervalos en puntos regulares 11

*
e-mail: nunez@ula.ve

1
8. El Método de Frobenius 13
8.1. m1 6= m2 ∧ m1 − m2 6= N con N entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
8.2. m1 = m2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
8.3. m1 6= m2 ∧ m1 − m2 = N con N entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

1. Definiciones para Comenzar

1.1. Convergencia
P∞
Una serie de potencias n=0 an (x − x0 )n converge en un punto x si el
∞
X
lı́m an (x − x0 )n
m→∞
n=0

existe, para x = x0 ; para todo x o para algunos x

P
Una serie de potencias ∞ n
n=0 an (x − x0 ) convergerá absolutamente sı́ el
∞
X
lı́m kan (x − x0 )n k = l
m→∞
n=0
P∞ n P∞
existe. Si n=0 kan (x − x0 ) k converge ⇒ n=0 an (x − x0 )n converge, pero el inverso no es
siempre verdad.
Existen algunos criterios para evaluar la convergencia, los más populares son:
° ° 
°a (x − x )n+1 °
 
° n+1 0 ° 
lı́mn→∞ ° n °=l   l<1 =⇒ converge
° an (x − x0 ) °
=⇒

 
p n

 l>1 =⇒ diverge
n
lı́mn→∞ an (x − x0 ) = l

Ejemplo
° ° ° °
∞
X ° (−1)n+2 (n + 1) (x − 2)n+1 ° °n + 1°
° °
(−1)n+1 n (x − 2)n =⇒ lı́m ° ° = kx − 2k lı́m ° °=
n→∞ ° (−1)n+1 n (x − 2)n ° n→∞ ° n °
n=1


° °  converge si kx − 2k < 1 =⇒ 1<x<3
°n + 1°
°
kx − 2k lı́m ° ° = kx − 2k =⇒
n→∞ n ° 
diverge si kx − 2k > 1

Si una serie converge en x = x1 , convergerá absolutamente para kx − x0 k < kx1 − x0 k y diverg-

erá para kx − x0 k > kx1 − x0 k
P∞
Se llama radio de convergencia, ρ, a aquella cantidad tal que la serie
P∞ n=0 an (x − x0 )n converge
n
para kx − x0 k < ρ y diverge para kx − x0 k > ρ. Una serie n=0 an (x − x0 ) que converge
únicamente para x = x0 tendrá un radio de convergencia ρ = 0, mientras que una que converja
para todo x tendrá un radio de convergencia ρ = ∞

2
1.2. Algebra de Series
Las series se suman
∞
X ∞
X ∞
X
an (x − x0 )n + bn (x − x0 )n = (an + bn ) (x − x0 )n
n=0 n=0 n=0

Las series se multiplican

"∞ #" ∞
# ∞
X n
X n
X
an (x − x0 ) bn (x − x0 ) = cn (x − x0 )n
n=0 n=0 n=0

con
cn = a0 bn + a1 bn−1 + a2 bn−2 + · · · + aj bn−j + · · · + an−2 b2 + an−1 b1 + an b0

Las series se derivan P∞ ∞

X
d[ n=0 an (x − x0 )n ]
= an n (x − x0 )n−1
dx
n=1

Nótese como cambia el comienzo de la serie.

Los ı́ndices en las series son mudos

∞
X ∞
X ∞
X
n−1 j−1
an n (x − x0 ) = aj j (x − x0 ) = ak+1 (k + 1) (x − x0 )k
n=1 j=1 k=0

en la última sumatoria hemos hecho k = j − 1, por lo cual j = k + 1.

Las series se igualan

∞
X ∞
X
bn (x − x0 )n = an n (x − x0 )n−1
n=0 n=1
X∞ X∞ ∞
X
bn (x − x0 )n = ak+1 (k + 1) (x − x0 )k = an+1 (n + 1) (x − x0 )n
n=0 k=0 n=0

por lo cual
bn = an+1 (n + 1)
si la igualdad hubiera sido
∞
X ∞
X ∞
X
n an
n an (x − x0 ) = an n (x − x0 )n−1 = an+1 (n + 1) (x − x0 )n =⇒ an+1 =
(n + 1)
n=0 n=1 n=0

3
2. Un Ejemplo conocido.
Consideremos la conocidad ecuación diferencial

y 00 + y = 0
se propone encontrar una solución entorno a x = 0 por lo tanto
 0 P∞
X∞  y = n=1 nan xn
n
y= an x =⇒
 00 P∞
n=0 y = n=2 n (n − 1) an xn−2

∞
X ∞
X
00 n−2
y +y =0 =⇒ n (n − 1) an x + an x n = 0
n=2 n=0

∞
X ∞
X
y 00 + y = 0 =⇒ (k + 2) (k + 1) ak+2 xk + an x n = 0
k=0 n=0

∞
X
00
y +y =0 =⇒ [(k + 2) (k + 1) ak+2 + ak ] xk = 0
k=0

entonces
−ak
(k + 2) (k + 1) ak+2 + ak = 0 =⇒ ak+2 = con k = 0, 1, 2, · · ·
(k + 2) (k + 1)

por lo que

−a0 −a2 −1 (−a0 ) a0 a0

a2 = ; a4 = = · = = ;
2·1 4·3 4·3 2 4·3·2·1 4!

−a4 −a0 a0
a6 = = =−
6·5 6·5·4·3·2·1 6!
en general
(−1)k
a2k = a0
(2k)!
Similarmente, para los impares se obtiene

−a1 −a3 −1 (−a1 ) a1 a1

a3 = ; a5 = = · = = ;
3·2 5·4 5·4 3·2 5·4·3·2·1 5!

−a5 −a1 −a1

a7 = = =
7·6 7·6·5·4·3·2·1 7!

4
de donde
(−1)k
a2k+1 = a1
(2k + 1)!
De este modo, la solución deseada queda como
∞
X (−a0 ) 2 (−a1 ) 3 a0 4 a1 4 (−a0 ) 6 (−a1 ) 7
y= an xn = a0 + a1 x + x + x + x + x + x + x + ···
2! 3! 4! 5! 6! 7!
n=0

   
   
∞
X  x2 x4 x6   x3 x5 x7 
n    
y= an x = a0 1 − + − + · · · + a1 x − + − + · · ·
| 2! 4!
{z 6! }  3! 5! 7! }
n=0  | {z 
P∞ (−1)k P∞ (−1)k
k=0 (2k)! x2k k=0 (2k+1)! x
2k+1

∞
X ∞
X ∞
X
n (−1)k 2k (−1)k 2k+1
y= an x = a0 x + a1 x = a0 cos x + a1 sen x
(2k)! (2k + 1)!
n=0 k=0 k=0

3. Otro Ejemplo menos conocido pero importante

Considere ecuación de Hermite1 la cual aparece en la solución del oscilador armónico cuántico

y 00 − 2xy 0 + λy = 0

Para resolver esta ecuación alrededor del punto x0 = 0, proponemos la siguiente expansión en series de
potencias como solución:
 0 P∞ j−1
X∞  y (x) = j=1 jaj x
j
y(x) = aj x ⇒ P
 00
j=0 y (x) = ∞ j=2 j(j − 1)aj x
j−2

entonces la ecuación de Hermite queda como

     
∞
X X∞ X∞
 j(j − 1)aj xj−2  − 2  jaj xj  + λ  aj xj  = 0
j=2 j=1 j=0

reacomodando ı́ndices queda como

"∞ #    
X X∞ X∞
(k + 2) (k + 1)ak+2 xk − 2 jaj xj  + λ  aj xj  = 0
k=0 j=1 j=0

1
Charles Hermite, (1822-1901). Matemático francés, especializado en el estudio de teorı́a de funciones. Profesor en
la Universidad de Parı́s, ofreció importantes aportaciones al álgebra, las funciones abelianas y la teorı́a de las formas
cuadráticas.

5
o equivalentemente
∞
X
(2a2 + λa0 ) + [(j + 2) (j + 1)aj+2 − 2jaj + λaj ] xj = 0
j=1

2a2 − (λ − 2j)
a0 = − y aj+2 = aj n≥1
λ (j + 2) (j + 1)
y tendrá como solución
 
 λ 2 (4 − λ) λ 4 (8 − λ) (4 − λ) λ 6 
y (x) = a0 
1 − 2! x − x − x − · · ·

| 4! {z 6! }
y0

 
 (2 − λ) 3 (6 − λ) (2 − λ) 5 (10 − λ) (6 − λ) (2 − λ) 7 
+ a1 
x + x + x + x + · · ·

| 3! 5! {z 7! }
y1

nótese que para valores pares de λ una u otra serie se corta y genera polinomios de la forma

λ Ecuación de Hermite Polinomio asociado

0 y 00 − 2xy 0 = 0 y0 (x) = 1
2 y − 2xy 0 + 2y = 0
00 y1 (x) = x
4 y 00 − 2xy 0 + 4y = 0 y0 (x) = 1 − 2x2
6 y 00 − 2xy 0 + 6y = 0 y1 (x) = x − 32 x3
8 y 00 − 2xy 0 + 8y = 0 y0 (x) = 1 − 10x2 + 35
3 x
4

También, puede ser definido a partir de una ecuación:

2 dλ −x2
Hλ (x) = (−1)λ ex e , λ = 0, 1, 2, .... (1)
dxλ
o a través de una relación de recurrencia

Hn+1 (x) − 2xHn (x) + 2nHn−1 (x) = 0

Las ecuaciones antes mencionadas son ecuaciones homogéneas. En el caso que la ecuación diferencial
a resolver por series sea una ecuación inhomogéna, se procederá del mismo modo como se propuso en
el caso de que los coeficientes de la ecuación diferencial fueran constantes. Esto es se resuelve, por
series la homogénea y luego se propone una solución particular, en forma de serie de potencias, la cual
se iguala con la expansión, también en series de potencias, del término inhomogéneo. Como ejemplo,
antes de proceder a casos más generales resolvamos la ecuación de Airy2 , pero inhomogéna planteada
2
George Biddell Airy (1801-1892) Matemático y Astrónomo Inglés con contribuciones importantes en la solución
de ecuaciones diferenciales y su utilización en Astronomı́a. Mejoró significativamente las estimaciones teóricas de la orbita
de Venus y la Luna. Igualmente realizó estudios matemáticos de la formación del arcoiris y la densidad de la tierra.

6
arriba. A pesar de su simplicidad, esta ecuación admite sólo soluciones en forma de serie. ahora el caso
de la ecuación homogénea de Airy
y 00 − xy = 0
Luego, compruebe, siguiendo el procedimiento arriba expuesto que una posible ecuación inhomogénea
de Airy
y 00 − xy = exp (x)
tiene como solución la siguiente serie de potencias
½ ¾ ½ ¾
1 3 1 4 1 1 1
0
y (x) = y (0) 1 + x + · · · + y (0) x + x + · · · + x2 + x3 + x4 + · · ·
6 12 2 6 {z 24
| {z } | {z } | }
y1 y2 yih
| {z }
yh

Nótese que los dos primeros términos corresponden a la solución de la ecuación homogénea y el último
representa la serie que anula el término inhomogéneo. Hemos hecho patente la dependencia de las
constantes de integracón de las condiciones iniciales.

4. Método de Diferenciaciones Sucesiva

En general, dada la Ecuación diferencial
n
X
0 n−1 n
a0 (x) y(x) + a1 (x) y (x) + · · · + an−1 (x) y (x) + an (x) y (x) = ai (x) y (i) (x) = F(x) (2)
i=o

Si los coeficientes a0 (x) · · · an (x) son funciones analı́ticas en x = x0 (se pueden expresar como una serie
de Taylor de (x − x0 ) que converge al valor de la función con un radio de convergencia de |x − x0 | < ρ),
entonces, la ecuación diferencial 2 tendrá como solución única, y = y(x) de la ecuación homogéna una
serie de potencias la cual satisface las n condiciones iniciales

y(x0 ) = c1 ; y 0 (x0 ) = c2 ; y 00 (x0 ) = c3 ; · · · y 00 (x0 ) = cn

n
X
− x0 )i (x
Adicionalmente, se expandirá en Taylor la función inhomogénea, esto es F(x) = F (i) (x0 )
i!
i=o
y
Pse propondrá una solución particular de la inhomogénea, también en términos de una serie yih (x) =
∞ j
j=0 aj x .
Otra forma de hacerlo es proceder directamente y conservar el término inhomogéneo y a partir de
la ecuación completa encontrar los coeficientes de la expansión por Taylor alrededor del punto en el
cual se disponga de las condiciones iniciales. La solución en series de Taylor será

x2 x3
yh (x) = y(0) + y 0 (0)x + y 00 (0) + y 000 (0) + · · ·
2! 3!
Ası́ para la siguiente ecuación diferencial

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

7
los coeficientes de la expansión se obtienen de los valores de las derivadas en x0 = 0, los cuales salen
de las condiciones iniciales, de la ecuación diferencial esto es

y(0) = 1; y 0 (0) = 1; y 00 (0) = (0) + (0 + 1) y 0 (0) − 02 y(0) = 1

y de las derivadas de la ecuación diferencial

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

y 000 (0) = y 0 (0) + (0 + 1) y 00 (0) − 2(0) y(0) − 02 y 0 (0) + 1
y 000 (0) = 1 + 1 + 1 = 3

finalmente, la solución
x2 x3
yh (x) = 1 + x +
+ + ···
2 2
Esta solución contiene las dos soluciones (la homogénea y la particular de la inhomogénea) sumadas
Dado |x| < 1 y la ecuación diferencial
x 1
y 00 + y0 − y = exp (2x) ; con y(0) = 1; y y 0 (0) = 1.
1 − x2 1 − x2
compruebe que tiene como solución general por series
½ ¾ ½ ¾
1 2 1 4 1 6 0 1 2 1 3 1 4
y (x) = y (0) 1 + x + x + x + · · · + y (0) x + x + x + x + ···
2 24 80 2 3 8

y al incorporar los valores de las condiciones iniciales se obtiene

1 1 1 1 6 4 7 79
y (x) = 1 + x + x2 + x3 + x4 + x5 + x − x − x8 + · · ·
3 6 30 180 315 10 080

5. Métodos de los Coeficientes Indeterminados

En general, para encontrar la solución a la ecuación antes mencionada
n
X
ai (x) y (i) (x) = F(x)
i=o

Se expanden por series de potencias cada uno de los coeficientes a0 (x) · · · an (x), la función F(x) y se
expande también la serie
X∞
(x − x0 )j
y(x) = cj
j!
j=0

luego de bastante transpiración se despejan los coeficiente c0 · · · cn · · · veamos el ejemplo con la misma
ecuación del ejemplo anterior.

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

8
Como x0 = 0, proponemos la siguiente expansión en series de potencias como solución:
 P
X∞  y 0 (x) = ∞ j=1 jcj x
j−1
j
y(x) = cj x =⇒ P
 00
j=0 y (x) = ∞ j=2 j(j − 1)cj x
j−2

y al sustituir
∞
X ∞
X ∞
X
j(j − 1)cj xj−2 − (x + 1) jcj xj−1 + x2 cj xj = x
j=2 j=1 j=0

expandiendo
∞
X ∞
X ∞
X ∞
X
j(j − 1)cj xj−2 − jcj xj − jcj xj−1 + cj xj+2 = x
j=2 j=1 j=1 j=0

si hacemos j − 2 = l en el primer término, j − 1 = k en el tercero y j + 2 = m en el cuarto, tenemos

∞
X ∞
X ∞
X ∞
X
l j k
(l + 2) (l + 1) cl+2 x − jcj x − (k + 1) ck+1 x + cm−2 xm = x
l=0 j=1 k=0 m=2

acomodando
∞
X ∞
X
((n + 2) (n + 1) cn+2 − ncn − (n + 1) cn+1 ) xn + cm−2 xm = x
n=0 m=2

por lo tanto

c2 − c1 = 0
3 · 2 c3 − c1 − 2 c2 = 1

y la relación de recurrencia para n ≥ 2

(n + 2) (n + 1) cn+2 − ncn − (n + 1) cn+1 − cn−2 = 0

con la cual se obtienen todos los demás coeficientes.

Si la ecuación es
y 00 + (sin x) y 0 + (exp x) y = 0
se expanden los coeficientes
µ ¶ µ ¶
1 1 5 1 1 1 1 5
y 00 + x − x3 + x + · · · y 0 + 1 + x + x2 + x3 + x4 + x + ··· y = 0
6 120 2 6 24 120

se propone la solución en términos de series de potencias

 P
X∞  y 0 (x) = ∞ j=1 jcj x
j−1
j
y(x) = cj x ⇒ P
 00
j=0 y (x) = ∞ j=2 j(j − 1)cj x
j−2

9
por lo cual
     
X∞ µ ¶ X∞ µ ¶ X∞
 1 1
j(j − 1)cj xj−2  + x − x3 + · · ·  jcj xj−1  + 1 + x + x2 + · · ·  cj xj  = 0
6 2
j=2 j=1 j=0

acomodando

(2c2 + c0 ) + (6c3 + 2c1 + c0 ) x + (12c4 + 3c2 + c1 + c0 ) x2 + (20c5 + 4c3 + c2 + c1 + c0 ) x3 + · · · = 0

2c2 + c0 = 0

6c3 + 2c1 + c0 = 0

12c4 + 3c2 + c1 + c0 = 0

20c5 + 4c3 + c2 + c1 + c0 = 0
..
.

Ejercicio. Utilice el mismo método para la ecuación ejercicio anterior

x 1
y 00 + 2
y0 − y = e2x ; con y(0) = 1; y y 0 (0) = 1.
1−x 1 − x2

6. Los Puntos y las Estrategias

Dada una ecuación diferencial del tipo

Q (x) 0 R (x)
P (x) y 00 + Q (x) y 0 + R (x) y = 0 ⇒ y 00 + y + y=0
P (x) P (x)

Q(x)
Puntos ordinarios Un punto ordinario x = x0 será aquel alrededor del cual p(x) = P (x) y q (x) =
R(x)
P (x) sean analı́ticas en ese punto o

Q (x)
lı́m p(x) ≡ lı́m = l1 con l1 finito
x→x0 x→x0 P (x)

R (x)
lı́m q (x) ≡ lı́m = l2 con l2 finito
x→x0 x→x0 P (x)
Q(x) R(x)
O también, lo que es lo mismo, que p(x) = P (x) y q (x) = P (x) tengan una expansión en Taylor alrededor
de ese punto x = x0 .

10
Puntos singulares regulares Un punto x = x0 se llamará punto singular regular si

Q (x)
lı́m (x − x0 ) p(x) ≡ lı́m (x − x0 ) = l3 con l3 finito
x→x0 x→x0 P (x)

R (x)
lı́m (x − x0 )2 q (x) ≡ lı́m (x − x0 )2 = l4 con l4 finito
x→x0 x→x0 P (x)

O también, lo que es lo mismo, que p(x) (x − x0 ) = (x − x0 ) Q(x) 2

P (x) y q (x) (x − x0 ) = (x − x0 )
2 R(x)
P (x)
tengan una expansión en Taylor alrededor de ese punto.

Puntos singulares irregulares Ninguna de las anteriores

7. Ecuaciónes e intervalos en puntos regulares

La ecuación de Legendre3

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

tiene puntos regulares en x 6= ±1 y puntos singulares regulares en x = ±1. Pero es analı́tica en

x ∈ (−1, 1) lo tanto, todos los x son ordinarios si x ∈ (−1, 1). En ese intervalo se propone una solución
∞
X
y(x) = an x n
n=0

por lo tanto
∞
X ∞
X ∞
X
(1 − x2 ) n(n − 1)an xn−2 − 2x n an xn−1 + λ(λ + 1) an xn = 0
n=2 n=1 n=0

multiplicando y acomodando
∞
X ∞
X ∞
X ∞
X
(j + 2)(j + 1)aj+2 xj − n(n − 1)an xn − 2 n an xn + λ(λ + 1) an xn = 0
j=0 n=2 n=1 n=0

expandiendo

0 =2a2 + λ(λ + 1)a0 {(λ + 2)(λ − 1)a1 + (3 · 2)a3 } x+

∞
X
+ {(n + 2)(n + 1)an+2 + (λ + n + 1)(λ − n)an } xn
n=2
3
Adrien Marie Legendre (1752-1833). Matemático francés, encuadrado en la escuela de Parı́s, que surgió tras la
revolución de 1789. Realizó una teorı́a general de las funciones elipticas y divulgó numerosos trabajos de investigadores
jóvenes en el campo del análisis matemático.

11
donde hemos utilizado
−n(n − 1) − 2n + λ(λ + 1) = (λ + n + 1)(λ − n)
por lo tanto
(λ + 1)λ
a2 = − a0
2
(λ + 3)(λ + 1)λ(λ − 2)
a4 = a0
4!
(λ + 2n − 1)(λ + 2n − 3) · · · (λ + 1)λ(λ − 2) · · · (λ − 2n + 2)
a2n = (−1)n a0
(2n)!
y las potencias impares serán
(λ + 2)(λ − 1)
a3 = − a1
3!
(λ + 4)(λ + 2)(λ − 1)(λ − 3)
a5 = a1
5!
(λ + 2n)(λ + 2n − 2) · · · (λ + 2)(λ − 1) · · · (λ − 2n + 1)
a2n+1 = (−1)n a1
(2n + 1)!
y su solución general de la forma
y(x) = a0 y0 (x) + a1 y1 (x)
con
(λ + 1)λ 2 (λ + 3)(λ + 1)λ(λ − 2) 4
y0 (x) = 1 − x + x + ···
2 4!
(λ + 2)(λ − 1) 3 (λ + 4)(λ + 2)(λ − 1)(λ − 3) 5
y1 (x) = x − x + x + ···
3! 5!
si λ = 2n una de las series se corta solución es un polinomio de potencias pares y si λ = 2n + 1 la otra
se corta en uno de potencias impares

λ Ecuación de Legendre Polinomio Asociado

0 (1 − x2 ) y 00 − 2x y 0 = 0 y0 (x) = 1
1 (1 − x2 ) y 00 − 2x y 0 + 2 y = 0 y1 (x) = x
2 (1 − x2 ) y 00 − 2x y 0 + 6 y = 0 y0 (x) = 1 − 3x2
3 (1 − x2 ) y 00 − 2x y 0 + 12 y = 0 y1 (x) = x − 35 x3
4 (1 − x2 ) y 00 − 2x y 0 + 20 y = 0 y0 (x) = 1 − 10x2 + 35
3 x
4

Los polinomios de Legendre son funciones que surgen en problemas de electrostática como solución
de la ecuación de Legendre y son efectivamente polinomios para λ entero. Los Polinomios de Legendre
también pueden ser generados a partir de la Fórmula de Rodrı́gues
1 dn 2
Pn (x) = (x − 1)n , n = 0, 1, 2, .....
n!2n dxn
con P0 (x) = 1. También se dispone de una relación de recurrencia
(n + 1) Pn+1 (x) = (2n + 1) xPn (x) − nPn−1 (x)

12
8. El Método de Frobenius
Para la solución de ecuaciones diferenciales lineales ordinarias alrededor de puntos singulares regu-
lares se utiliza el método de Frobenius4 . Dada una ecuación diferencial
f1 (x) 0 f2 (x)
y 00 + F1 (x) y 0 + F2 (x) y = 0 ⇐⇒ y 00 + y + y=0 (3)
(x − x0 ) (x − x0 )2

donde F1 (x) y F2 (x) tienen singularidades regulares enx = 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 (4)
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
f1 (x) = bn xn y f2 (x) = cn xn (5)
n=0 n=0

por lo tanto
" ∞
# " ∞
#
X X
x2 y 00 + x f1 (x) y 0 + f2 (x) y = 0 ⇐⇒ x2 y 00 + x bn xn y0 + cn xn y=0
n=0 n=0

y con la propuesta de serie de Frobenius

∞
" ∞
# " ∞
#
X X X
y(x) = xm an xn =⇒ y 0 (x) = mxm−1 an x n + x m nan xn−1
n=0 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

sustituyendo
( " ∞
# " ∞
# " ∞
#)
X X X
0 = x2 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

" ∞
#( " ∞
# " ∞
#) " ∞
#( ∞
)
X X X X X
+x bn xn mxm−1 an xn + xm nan xn−1 + cn xn xm an xn
n=0 n=0 n=1 n=0 n=0
4
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.

13
acomodando
( " ∞
# " ∞
# " ∞
#)
X X X
m n m n m n
0= 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 n m n n m n
+ bn x mx an x +x nan x + cn x x an x
n=0 n=0 n=1 n=0 n=0

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

" ∞
#( " ∞
# " ∞
#) " ∞
#( ∞
)!
X X X X X
n n n n n
+ bn x m an x + nan x + cn x an x
n=0 n=0 n=1 n=0 n=0

Expandiendo las series tendremos

 

 

m
0=x a0 [m (m − 1) + b0 m + c0 ] + (6)
 |
 {z }

EI(m)
 

 

m+1
+x a1 [m (m + 1) + b0 (m + 1) + c0 ] + a0 [b1 m + c1 ] + (7)
 |
 {z } 

EI(m+1)
 

 

m+2
+x a2 [(m + 2) (m + 1) + b0 (m + 2) + c0 ] + a1 [b1 (m + 1) + c1 ] + a0 [b2 m + c2 ] (8)
 |
 {z } 

EI(m+2)



m+3
+x a3 [(m + 3) (m + 2) + b0 (m + 3) + c0 ] + a2 [b1 (m + 2) + c1 ] + (9)
 |
 {z }
EI(m+3)

+a1 [b2 (m + 1) + c2 ] + a0 [b3 m + c3 ]} + · · ·

..
.



+ xm+n an [(m + n) (m + n − 1) + b0 (m + n) + c0 ] + an−1 [b1 (m + n − 1) + c1 ] + (10)

 | {z }
EI(m+n)

+ an−2 [b2 (m + n − 2) + c2 ] + an−3 [b3 (m + n − 3) + c3 ] + · · · (11)

+a1 [bn−1 (m + 1) + cn−1 ] + a0 [bn m + cn ]} (12)
+ ···

14
la cual puede ser reacomodada aún más, y toma la forma elegante y compacta de
∞
( i−1
)
X X
m
0 = x {a0 EI (m)} + ai EI (m + i) + ak [(m + k) bi−k + ci−k ] xm+i (13)
i=1 k=0

donde hemos identificadoEI (m) = m (m − 1) + b0 m + c0 . 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 la ecuación
indicadora o ı́ndice

a0 6= 0 =⇒ EI (m) = m (m − 1) + b0 m + c0 = 0 (14)

que no es otra cosa que un polinomio de segundo grado en m. Al anular el coeficiente de xm+i
( i−1
)
X
ai EI (m + i) + ak [(m + k) bi−k + ci−k ] = 0 (15)
k=0

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

ecuación indicadora (14). Dato que la ecuación indicadora es un polinomio de segundo grado para m,
entonces de allı́ se derivan dos raı́ces m1 y m2 . Dependiendo de como sean estas raı́ces distinguiremos
tres casos:

1. m1 6= m2 ∧ m1 − m2 6= N con N entero.
En este caso, la solución en términos de la serie de Frobenius para la ecuación diferencial será
" ∞
# " ∞
#
m1
X m2
X
n n
y(x) = C1 kxk 1+ an (m1 ) x + C2 kxk 1+ an (m2 ) x (16)
n=1 n=1
| {z } | {z }
y1 (x) y2 (x)

2. m1 = m2
En este caso, la solución en términos de la serie de Frobenius para la ecuación diferencial será
" ∞
#
X
y(x) = C1 kxkm 1 + an (m) xn
n=1
| {z }
y1 (x)

(17)
 

 

 " # " #


 ∞
X ∞
X 
+ C2 kxkm 1 + an (m) xn ln x + kxkm Bn (m) xn

 


 n=1 n=0 

| {z } 
y1 (x)
| {z }
y2 (x)

15
 3. m1 6= m2 ∧ m1 − m2 = N con N entero positivo.
En este caso, la solución en términos de la serie de Frobenius para la ecuación diferencial será
" ∞
#
m1
X
y(x) = C1 kxk 1+ an (m1 ) xn
n=1
| {z }
y1 (x)

(18)
 

 

 " # " #


 ∞
X ∞
X 
+ C2 f kxkm1 1 + an (m1 ) xn ln x + kxkm2 an (m2 ) xn

 


 n=1 n=0 

| {z } 
y1 (x)
| {z }
y2 (x)

Donde las constantes an (m1 ) , an (m2 ) , Bn (m1 ) y f, surgen de sustituir estas soluciones en la
ecuación diferencial y resolver por el método de los coeficientes indeterminados. Nótese que hemos
indicado explı́citamente que los coeficientes an = an (m1 ) ; an = an (m2 ) ; Bn = Bn (m2 ) corresponden
a las series de cada una de las raı́ces de la ecuacion indicadora.
En resumen, si una ecuación diferencial y 00 + F1 (x) y 0 + F2 (x) y = 0 presenta puntos sigulares
regulares para F1 (x) y F2 (x) en x = x0 . Lo que se traduce en que
 P∞ n
f (x) f (x)  f1 (x) = n=0 bn (x − x0 )
00 1 0 2
y + y + y=0 con P
(x − x0 ) (x − x0 )2 
f2 (x) = ∞ n
n=0 cn (x − x0 )

es decir, que f1 (x) y f2 (x) sean analı́ticas en torno a x = x0 . Entonces se aplica el método de Frobenius.
Para ello,

1. se propone una solución en series de potencias de Frobenius:

∞
X
y(x) = xm an x n
n=0

con m ∈ < ∧ n ∈ N ,
2. se sustituye en la ecuación diferencial y se aisla el término independiente (de orden cero en n).
El coeficiente de este término se anula e implica la ecuación la indicadora o ı́ndice
a0 6= 0 =⇒ EI (m) = m (m − 1) + b0 m + c0 = 0
que no es otra cosa que un polinomio de segundo grado en m. De esta ecuación emergen dos
raı́ces m2 ∧ m1 ,en función de estas raı́ces, procedemos de distinto modo

a) si m1 6= m2 ∧ m1 − m2 6= N con N entero entonces tendremos dos series de Frobenius

"∞ # "∞ #
X X
y(x) = C1 xm1 an (m1 ) xn + C2 xm2 an (m2 ) xn
n=0 n=0

16
 b) si m1 = m2 tenemos que insertar un logaritmo
( "∞ # "∞ #)
X X
m1 n n
y(x) = x (C1 + C2 ln x) an (m) x + C2 Bn (m) x
n=0 n=0

c) m1 6= m2 ∧ m1 − m2 = N con N entero positivo, entoces, como por arte de magia

( "∞ #) "∞ #
X X
y(x) = xm1 (C1 + f ln x) an (m1 ) xn + C2 xm2 an (m2 ) xn
n=0 n=0

3. Seguidamente se determina, según el caso, se determinan las relaciones de recurrecias para los
distintos coeficientes an = an (m1 ) ; an = an (m2 ) ; Bn = Bn (m2 ) ; Gn = Gn (m2 ) a partir de la
ecuación (15) ( )
n−1
X
an EI (m + n) + ak [(m + k) bn−k + cn−k ] = 0
k=0

tomando en cuenta los coeficientes de los desarrollos en series de potencias de las funciones
∞
X ∞
X
n
f1 (x) = bn x y f2 (x) = cn xn
n=0 n=0

si anulamos los coeficientes de xm+n

n−1
X Pn−1
k=0 ak [(m + k) bn−k + cn−k ]
an EI (m + n)+ ak [(m + k) bn−k + cn−k ] = 0 ⇐⇒ an = −
EI (m + n)
k=0

entonces se obtiene la relación de recurrencia, al menos para los casos (16) y (17) en los cuales
EI (m + n) 6= 0. El caso EI (m + n) = 0, vale decir m1 6= m2 ∧ m1 −m2 = N con N será analizado
en detalle más adelante.

8.1. m1 6= m2 ∧ m1 − m2 6= N con N entero.

En ese caso es claro que la resolver la ecuación indicadora y sustituir m1 en el resto de los coefi-
cientes, se va despejando todos los coeficientes a0 · · · an en términos de a0 . Igualmente al sustituir m2
encontramos la otra solución y ambas son linealmente independientes y la solución será
"∞ # "∞ #
X X
m1 n m2 n
y(x) = C1 x an x + C2 x an x
n=0 n=0

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

17
al dividir por x2 identificamos que
P a x = 0n es un punto singular regular. Proponemos por lo tanto
una serie de Frobenius y(x) = xm ∞ n=0 an x como posible solución. La ecuación indicadora EI (m) =
m (m − 1) + b0 m + c0 = 0 queda ahora, como
  
  b0 = 12 




 ⇐= f1 (x) = 12 + x

  
 
 b1 = 1


m=1    
1 1
⇐= m (m − 1) + m − = 0 ⇐= 
 c0 = − 21 
 2 2 
 
 

m = −12 
  



 c1 = 0 ⇐= f2 (x) = − 21 − x2

 
 


  
  

c2 = −1

los demás coeficientes b2 = b3 = · · · = bn = · · · = 0 y c3 = c4 = · · · = cn = · · · = 0.

El primer término del coeficiente de xm+n , puede ser escrito en términos de genéricos, como
µ ¶
1 1 1 1 1
EI (m + n) = (m + n) (m + n − 1)+ (m + n)+ − = m2 +2mn− m+n2 − n− (19)
2
|{z} 2 2 2 2
| {z }
b0 c0

El segundo término de ese mismo coeficiente, es una sumatoria en la cual inervienen los coeficientes
de las expansiones de f1 (x) y f2 (x) (ecuación (5)). Como de esta expansión sobrevive b1 = 1
significa que sólo aparecen el coeficiente para el cual n − k = 1 ⇒ k = n − 1 y como también
sobrevive c2 = −1, tendremos que n − k = 2 ⇒ k = n − 2,también estará presente. Esto es
   

an−1 (m + n − 1) · |{z}

1  + an−2 (−1) (20)
| {z }
b1 c2

En definitiva el coeficiente completo se escribe como

· ¸
2 1 2 1 1
an m + 2mn − m + n − n − + an−1 [m + n − 1] − an−2 = 0 (21)
2 2 2

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

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

Dependiendo del valor de m tendremos una relación de recurrencia para la primera de las series
1
m = 1 o para la segunda, m = − . Analicemos cado por caso. Para el caso particular m = 1, se
2
obtiene la relación de recurrencia:
2
an = (an−2 − nan−1 ) para n ≥ 2
2n2 + 3n

18
 y se encuentra a1 al utilizar el coeficiente de xm+1 (ecuación (7))
· ¸
1 1 2
a1 1 (1 + 1) + (1 + 1) − + a0 [1 + 0] = 0 =⇒ a1 = − a0
2 2 5
con lo cual
1 1
¡4 ¢ 9 9
n = 2 =⇒ a2 = 7 (−2a1 + a0 ) = 7 5 a0 + a0 = 35 a0 =⇒ a2 = 35 a0

2 2
¡ −27 ¢
n = 3 =⇒ a3 = 27 (−3a2 + a1 ) = 27 35 a0 − 25 a0 = − 945
82
a0 82
=⇒ a3 = − 945 a0

1 1
¡ 328 9
¢ 571 571
n = 4 =⇒ a4 = 22 (−4a3 + a2 ) = 22 945 a0 − 35 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
1
Del mismo modo se construye la segunda solución linealmente independiente a partir de m = − . Ası́,
2
1
la relación de recurrencia para los coficientes de la serie de Frobenius m = − será:
2
µ µ ¶ ¶
3 2
an = an−2 − n − an−1 2
para n ≥ 2
2 2n − 3n
y · µ ¶ µ ¶µ ¶ ¸ · ¸
1 1 1 1 1 1
a1 − + − + a0 − =0 =⇒ a1 = −a0
2 2 2 2 2 2
por lo cual
n = 2 =⇒ a2 = − 12 a1 + a0 = 12 a0 + a0 = 32 a0 =⇒ a2 = 32 a0

2
¡ 3 ¢ 2
¡ −9 ¢
n = 3 =⇒ a3 = 9 − 2 a2 + a1 = 9 4 a0 − a0 = − 13
18 a0 =⇒ a3 = − 13
18 a0

1
¡ 5 ¢ 1
¡ 65 ¢
n = 4 =⇒ a4 = 10 − 2 a3 + a2 = 10 36 a0 + 32 a0 = 119
360 a0 =⇒ a4 = 119
360 a0
.. ..
. .
Por lo cual, la solución general será
µ ¶
2 9 2 82 3 571 4
y(x) = C1 x 1 − x + x − x + x + ···
5 35 945 20790

µ ¶
− 12 3 2 13 3 119 4
+ C2 x 1−x+ x − x + x + ···
2 18 360
Nótese que esta solución vale para 0 < kxk < ∞ por cuanto para x < 0, la segunda solución se hace
imaginaria pero se puede resolver haciendo C2 = i C3
Como ejercicio resuelva
2x2 y 00 − x y 0 − (x + 1) y = 0

19
8.2. m1 = m2 .
Del mismo modo, si tenemos una ecuación diferencial
£ ¤
x2 y 00 + x [x F1 (x)]y 0 + x2 F2 (x) y = 0 ⇐⇒ L {y} = x2 y 00 + x f1 (x) y 0 + f2 (x) y = 0 (23)
| {z } | {z }
f1 (x) f2 (x)

donde en la cual F1 (x) y F2 (x) tienen singularidades regulares en x = 0 pero f1 (x) y f2 (x) son
analı́ticas para ese punto, vale decir
∞
X ∞
X
f1 (x) = bn xn y f2 (x) = cn xn
n=0 n=0

se aplica el Método de Frobenius. Pero antes de proceder a ilustrar este caso en al cual ambas raı́ces
coinciden, veamos, un poco de dónde surge la forma general de la solución (17). Para ello reacomodemos
la ecuación diferencial (23) 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. Es ilustrador mostrar de dónde sale la forma
curiosa de la solución de la ecuación diferencial (17). Para ello, recordamos que
∞
( n−1
)
X X
L {y} ≡= xm {a0 EI (m)} + an EI (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
X Pn−1
k=0 ak [(m + k) bn−k + cn−k ]
an EI (m + n) + ak [(m + k) bn−k + cn−k ] = 0 ⇐⇒ an = −
EI (m + n)
k=0

considerando EI (m + n) 6= 0 por lo tanto, para los an seleccionados (que anulen el coeficiente xm+n )
y considerando el caso m1 = m2

L {y} (m, x) = {a0 EI (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 evaluando en
m = m1 ¯
2 m¯
L {y} (m, x)|m=m1 = a0 (m − m1 ) x ¯ =0
m=m1
pero además podemos intentar derivar respecto a la constante m
½ 2
¾ ½ 2
¾
∂ {L {y} (m, x)} ∂ 2 d d 2 d d ∂y
= x 2
+ x f1 (x) + f2 (x) y = x 2
+ x f1 (x) + f2 (x)
∂m ∂m dx dx dx dx ∂m

½ ¾
∂y ∂ ³ ´ h i
L (m, x) = a0 (m − m1 )2 xm = a0 (m − m1 )2 xm ln x + 2 (m − m1 ) xm
∂m ∂m

20
y comprobamos que también se anula al evaluarla en m = m1
½ ¾ ¯ h i¯
∂y ¯ ¯
L (m, x)¯¯ = a0 (m − m1 )2 xm ln x + 2 (m − m1 ) xm ¯ =0
∂m m=m1 m=m1

n o ¯
∂y ¯
por lo tanto ∂m (m, x)¯ también es solución, con lo cual la segunda toma la forma
m=m1

½ ¾ ¯ ( " #)¯
∂y ¯ ∂
∞
X ¯
¯
L (m, x)¯¯ = kxk m
a0 + an (m) x n
¯
∂m m=m1 ∂m ¯
n=1 m=m1

" ∞
# " ∞ ¯ #
X X ∂an (m) ¯¯
m1 n m1 n
= (x ln x) a0 + an (m1 ) x +x x
∂m ¯m=m1
n=1 n=1

y la solución general tendrá la forma

" ∞
#
X
y(x) = C1 kxkm1 1 + an (m1 ) xn
n=1
| {z }
y1 (x)

 

 

 " # "∞ #


 X∞ X 
m1 n m1 n
+ C2 kxk 1+ an (m1 ) x ln x + kxk bn (m1 ) x

 


| n=1
{z } n=0 

 
y1 (x)
| {z }
y2 (x)

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

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

Una vez más, la ecuación viene parametrizada por ν y dependiendo de su valor tendremos una familia
de soluciones. Consideremos el caso ν = 0

x2 y 00 + x y 0 + x2 y = 0
5
Fredrich Wilhel Bessel (1784-1846). Astrónomo y matemático alemán. Aportó notables contribuciones a la as-
tronomı́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 ir-
regularidades 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

21
la ecuación indicadora EI (m) = m (m − 1) + b0 m + c0 = 0 nos queda como


 b0 = 1 ⇐= f1 (x) = 1



  


 
 c0 = 0 

 

m = 0 ⇐= m (m − 1) + m = 0 ⇐=  



 c1 = 0 ⇐= f2 (x) = x2

 
 


 
 

  
c2 = 1
los demás coeficientes b1 = b2 = b3 = · · · = bn = 0 y c3 = c4 = · · · = cn = 0. Con lo cual EI (n) =
n (n − 1) + n = n2 , Por lo tanto, la relación de recurrencia se obtiene del coeficiente de xm+n

Pn−1  b1 6= 0 ⇒ n − k = 1 ⇒ k = n − 1
ak [(m + k) bn−k + cn−k ]
an = k=0 dado que
EI (m + n) 
c2 6= 0 ⇒ n − k = 2 ⇒ k = n − 2

Pn−1
k=0 ak (m) [(m + k) bn−k + cn−k ] an−1 (m) (m + n − 1) + an−2 (m)
an (m) = =
(m + n) (m + n − 1) + (m + n) (m + n)2
tomando m = 0, se tiene

Pn−1  b1 6= 0 ⇒ n − k = 1 ⇒ k = n − 1
k=0 ak (0) [kbn−k + cn−k ]
an (0) = − con
n2 
c2 6= 0 ⇒ n − k = 2 ⇒ k = n − 2
con lo cual
an−2 (0) [c2 ] + an−1 (0) [(n − 1) b1 ] an−2 (0) + an−1 (0) (n − 1)
an (0) = − 2
=− para n ≥ 2
n n2
Otra vez, al anular el coeficiente para xm+1 (ecuación (7)) se obtiene a1 [0 (0 + 1) + 1 · (0 + 1) + 0] +
a0 [0 · 0 + 0] = 0 ⇒ a1 = 0. Con lo cual es claro que se anulan todos los coeficientes impares, y ası́
a2n−2 (0)
a2n (0) = − para n = 1, 2, 3, · · ·
(2n)2
con lo cual
1
n = 1 =⇒ a2 (0) = − a0 (0) =⇒ a2 (0) = − 41 a0 (0)
4
1 1 1
n = 2 =⇒ a4 (0) = − 2 a2 (0) = a0 (0) =⇒ a4 (0) = a0 (0)
(2 · 2) (2 · 2)2 22 (2 · 2)2 22
· ¸
1 1 1 −1
n = 3 =⇒ a6 (0) = − a4 (0) = − a0 (0) =⇒ a6 (0) = a0 (0)
(2 · 3)2 (2 · 3)2 (2 · 2)2 22 (2 · 3)2 23
.. ..
. .
a2l−2 (0) (−1)l (−1)l
n=l =⇒ a2l (0) = − = a0 (0) =⇒ a2l (0) = a0 (0)
(2l)2 22l (l!)2 22l (l!)2

22
 por lo tanto la primera de las soluciones será
" ∞
#
X (−1)n 2n
y1 (x) = a0 1 + x
22n (n!)2
n=1
| {z }
J0 (x)

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 + x y 0 + x2 y = 0
n=0

para ello se requieren sus derivadas

∞
X ∞
J0 (x) X
y2 (x) = J0 (x) ln x + Bn xn ⇒ y20 (x) = J00 (x) ln x + + Bn (0) nxn−1 y
x
n=0 n=1
⇓
∞
J00 (x) J0 (x) X
y200 (x) = J000 (x) ln x + 2 − + Bn n (n − 1) xn−2
x x2
n=1

entonces
" ∞
#
2 J00 (x) J0 (x) X
0=x J000 (x) ln x +2 − + Bn n (n − 1) xn−2
+
x x2
n=2

" ∞
# " ∞
#
J 0 (x) X X
+x J00 (x) ln x + + Bn nxn−1 + x2 J0 (x) ln x + Bn xn
x
n=1 n=0

con lo cual
 
∞
X ∞
X ∞
X
0 = x2 J000 (x) + x J00 (x) + Jx2 0 (x) ln x+2 J00 (x) x+ n
Bn n (n − 1) x + n
Bn nx + Bn xn+2
| {z }
n=2 n=1 n=0
=0

y finalmente
X∞ X∞
2
¡ 22
¢ n (−1)n 2n 2n
B1 x + 2 B2 x + Bn n + Bn−2 x = −2 x
n=3 n=1
22n (n!)2
es claro que para los coeficientes impares se obtiene b1 = b3 = b5 = · · · = b2n+1 · · · = 0 ya que
X∞
¡ ¢ ¡ ¢ ¡ ¢ (−1)n 2n 2n
B1 x + 22 B2 x2 + 32 B3 + B1 x3 + 42 B4 + B2 x4 + 52 B5 + B3 x5 + · · · = −2 x
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

23
entonces
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 + 1 + · · · + 1 + 1 + 1 = (−1)
k+1
B2k = Hk
22k (k!)2 |k k − 1 k − 2{z 3 2 } 22k (k!)2
Hk

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

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

y por lo tanto la solución general tendrá la forma

" ∞
#
X (−1)n+1
y (x) = A1 J0 (x) + A2 J0 (x) ln x + Hn x2n
22n (n!)2
n=1

es costumbre en Fı́sica reacomodar la segunda solución de la forma

" #
2 ³ ³ x ´´ ∞
X (−1)n+1
y2 (x) ≡ Y0 (x) = γ + ln J0 (x) + Hn x2n
π 2 22n (n!)2
n=1

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

µ ¶
1 1 1 1 1
γ = lı́m + + + · · · + + + 1 − ln (n) ∼ = 0,5772
n→∞ n n−1 n−2 3 2

y ası́, finalmente
y (x) = C1 J0 (x) + C2 Y0 (x)
6
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.

24
 Comportamiento de las funciones de Bessel de orden cero. De primera especie J0 (x) y de segunda
especieY0 (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 → ∞,
que J0 (0) = 1, mientras que Y0 (x) se comporta como π2 ln x cuando x → 0.

8.3. m1 6= m2 ∧ m1 − m2 = N con N entero.

En general, la ecuación indicadora para este caso, m1 − m2 = N ⇒ m1 = N + m2 , con m1 > m2 .
Este caso nos lleva a la ecuación (13)
N −1
( n−1
)
X X
0 = xm {a0 EI (m)} + an EI (m + n) + ak [(m + k) bn−k + cn−k ] xm+n (24)
n=1 k=0

( N −1
)
X
+ aN EI (m + N ) + ak [(m + k) bN −k + cN −k ] xm+N + (25)
k=0

∞
( n−1
)
X X
+ an EI (m + n) + ak [(m + k) bn−k + cn−k ] xm+n (26)
n=N +1 k=0

donde esta m es la menor de las raı́ces y m + N la mayor. Anulando el término {a0 EI (m)} coeficiente
de xm nos lleva a la ecuación indicadora:
EI (m + N ) = (m + N ) (m + N − 1) + b0 (m + N ) + c0 = EI (m) = (m) (m − 1) + b0 (m) + c0 = 0.
por lo tanto EI (m + N ) = 0 anula al coeficiente del término an para n = N , esto es la ecuación (12),
consecuentemente eso significa que se derivan dos casos

25
 P −1
EI (m + N ) = 0 ∧ N 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. Esto quiere decir que en (18) la constante f = 0 y por consiguiente la solución será
" ∞
# "∞ #
m
X m
X
n n
y(x) = a0 kxk 1 + an (m) x + aN kxk an (m + N ) x (27)
n=1 n=0
| {z } | {z }
y1 (x) y2 (x)

P −1
EI (m + N ) = 0 ∧ N k=0 ak [(m + N + k) bn−k + cn−k ] 6= 0
En este caso la raı́z mayor de la ecuación indicadora m + N determinará una de las soluciones,
la constante f 6= 0 y la solución general tendrá la forma de
" ∞
#
X
y(x) = C1 kxkm1 1 + an (m1 ) xn
n=1
| {z }
y1 (x)

 

 

 " # " #


 ∞
X ∞
X 
+ C2 f kxkm1 1 + an (m1 ) xn ln x + kxkm2 an (m2 ) xn

 


 n=1 n=0 

| {z } 
y1 (x)
| {z }
y2 (x)

La ecuación de Bessel de orden fraccionario puede ilustrar el primero de estos casos, resolvámosla
µ ¶
1
x2 y 00 + x y 0 + x2 − y=0
4
una vez más, le expansión en serie de Frobenius de y (x) nos lleva a una ecuación indicadora del tipo


 b0 = 1 ⇐= f1 (x) = 1



1  


 
 1 
m= 
 
 
 c = − 

2 1 

0
4 

⇐= m (m − 1) + m − = 0 ⇐= 
 

−1   4 
 2 1
m=  

  c1 = 0  ⇐= f2 (x) = x − 4
2 
 
 


 
 


  
c =1 2

los demás coeficientes b1 = b2 = b3 = · · · = bn = 0 y c3 = c4 = · · · = cn = 0. Dado que N = 1 se tiene

que la ecuación (12)
 

 

a1 [(m + 1) (m + 1 − 1) + b0 (m + 1) + c0 ] + a0 [b1 (m + 1 − 1) + c1 ] + · · · = 0 (28)
 |
 {z } 

EI(m+N )

26
  

 


 


 


 ·µµ ¶ ¶ µµ ¶¶ µµ ¶ ¶ ¸ 

 1 1 1 1 
a1 − +1 − + − +1 − + a0 [0] = 0 ⇒ a1 [0] + a0 [0] = 0 (29)

 2 2 2 4 

 |
 {z } 


 ÃÃ ! ! 


 1 

 EI − +1 
2
con lo cual cualquier valor de a1 y a0 estarán permitidos. La relación de recurrencia proviene de anular
1
el coeficiente de xm+n , para m = − . Vale decir
2
∞
X
an EI (m + n) + ak [(m + k) bn−k + cn−k ] = 0 ⇒ (30)
k=0

·µµ ¶ ¶ µµ ¶ ¶ µµ ¶ ¶ ¸
1 1 1 1
an − +n − +n−1 + − +n − + an−1 [0] + an−2 [1] = 0 (31)
2 2 2 4

¡ ¢
an n2 − n = −an−2 (32)

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á

1µ ¶ 1µ ¶
− 1 2 1 4 1 6 − 1 1 5 1 7
y(x) = a0 x 2 1 − x + x − x + · · · + a1 x 2 − x + x − x + ···
2 24 720 6 120 5040
P −1
Para considerar el segundo caso, EI (m + N ) = 0 ∧ N k=0 ak [(m + N + k) bn−k + cn−k ] 6= 0 anal-
icemos la ecuación diferencial
¡ ¢
x2 y 00 + x (2 − x) y 0 + 2 − x2 y = 0

27
una vez más, la expansión en serie de Frobenius de y (x) nos lleva a una ecuación indicadora del tipo
  
  b0 = −2 



 ⇐= f1 (x) = −2 + x

  

 b 1 = 1
 

m=2  
  
⇐= m (m − 1) − 2m + 2 = 0 ⇐= 
 c0 = 2 

 
 
 

m=1 
  



 c1 = 0 ⇐= f2 (x) = x2 + 2

 
 


  
   

c2 = 1
los demás coeficientes b2 = b3 = · · · = bn = 0 y c3 = c4 = · · · = cn = 0. Dado que N = 1 se tiene que
la ecuación (12) para m = 1
a1 [(m + 1) m − 2 (m + 1) + 2] + a0 [m] = a1 [2 − 4 + 2] + a0 [2] = a1 [0] + a0 [1] = 0 (33)
y no conduce a nada por cuanto a0 = 0, mientras que, para m = 2 se obtiene
a1 [(m + 1) m − 2 (m + 1) + 2] + a0 [m] = a1 [3 · 2 − 2 · 3 + 2] + a0 [1] = a1 [1] + a0 [1] = 0 (34)
por lo cual la relación de recurrencia para m = 2 nos queda
X∞
an EI (m + n) + ak [(m + k) bn−k + cn−k ] = 0 ⇒ (35)
k=0

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

¡ ¢
an n2 + n + an−1 (n + 1) = −an−2 (37)
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, la solución general será
µ ¶
2 1 2 1 3
y1 (x) = a0 x 1 − x + x − x + · · ·
3 36
y la segunda solución linealmente independiente será
y2 (x) = u (x) − B1 y1 (x) ln x (38)
y queda como ejercicio demostrar la relación de recurrencia para los coeficientes Bn de la serie que
describe ̰ !
X
u (x) = x Bi xi (39)
i=0

28