Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

El M
etodo de Frobenius
Para la soluci
on de ecuaciones diferenciales lineales ordinarias alrededor de puntos singulares
regulares se utiliza el metodo de Frobenius1 . Dada una ecuacion diferencial de segundo orden:
y 00 + F1 (x) y 0 + F2 (x) y = 0

y 00 +

f1 (x) 0
f2 (x)
y=0
y +
(x x0 )
(x x0 )2

(1)

donde F1 (x) y F2 (x) tienen singularidades regulares en x = x0 y por lo tanto f1 (x) y f2 (x) son
analticas alrededor de ese punto entonces, la propuesta de solucion sera una serie de Frobenius
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 mas simples supongamos, sin perder generalidad, x0 = 0. Ademas, como f1 (x) y f2 (x) son
analticas entonces

X
X
n
f1 (x) =
bn x
y
f2 (x) =
cn xn
(3)
n=0

n=0

por lo tanto, la ecuaci

on (1) queda
y 00 +

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

o tambien:
x2 y 00 + x

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

bn xn y 0 +

n=0

(4)

cn xn y = 0

n=0

Propondremos entonces la serie de Frobenius como solucion de prueba:

y(x) = x

an xn

n=0

por lo tanto:
y 0 (x) = mxm1

an xn + xm

n=0

y 00 (x) = m (m 1) xm2

nan xn1

n=1

an xn + 2mxm1

n=0

X
n=1

nan xn1 + xm

n (n 1) an xn2

n=2

Ferdinand Georg Frobenius (1849-1917) Matem

atico Alem
an famoso por sus contribuciones en Teora de
Grupos y metodos para resolver ecuaciones diferneciales.

Hector Hern
andez / Luis N
un
ez

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

sustituyendo en la ecuaci
on diferencial
"
#

X
X
X
2
m2
n
m1
n1
m
n2
x m (m 1) x
an x + 2mx
nan x
+x
n (n 1) an x
+
n=0

"
bn x

mx

m1

n=0

n=1

X
m

an x + x

n=0

n=2

#
nan x

n1

n=1

cn x x

n=0

an xn = 0

n=0

acomodando algunos terminos:

m (m 1) x

"
bn x

n=0

mx

an x + 2mx

n=0

X
m

nan x + x

n=1
n

an x + x

n=0

n (n 1) an xn +

n=2
n

nan x

n=1

cn x x

n=0

an xn = 0

n=0

podemos ahora sacar como factor com

un 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

X
n=0

n=1

cn x

#
an x

=0

n=0

Expandiendo estas series y factorizando para los terminos 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 ] + an1 [b1 (m + n 1) + c1 ] +
an2 [b2 (m + n 2) + c2 ] +
an3 [b3 (m + n 3) + c3 ] +
+ + a1 [bn1 (m + 1) + cn1 ] +
a0 [bn m + cn ]} xm+n = 0
(5)
Consideremos por un momento el coeficiente de a0 que aparece en la primera lnea, lo denotaremos por (m)
(m) = m (m 1) + b0 m + c0
Hector Hern
andez / Luis N
un
ez

Universidad de Los Andes, Merida

Semana 9 - Clase 25

08/02/11

Tema 4: Sistemas y Series

podemos notar que para el coeficiente de a1 en la segunda lnea 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

un m
as nuestros calculos
"
#

n1
X
X
m
a0 (m)x +
an (m + n) +
ak [(m + k) bnk + cnk ] xm+n = 0
n=1

(6)

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 ecuacion 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
an (m + n) +

n1
X

ak [(m + k) bnk + cnk ] = 0 ,

(8)

k=0

obtendremos la relaci
on de recurrencia para la serie de Frobenius, correspondientes a cada raz de
la ecuacion indicadora (7), ed decir, los coeficientes an dependeran de m y de los coeficientes que
le preceden: {an1 }.
Dado que la ecuaci
on indicadora es un polinomio de segundo grado para m, entonces de all se
derivan dos races: m1 y m2 (consideraremos siempre que m1 m2 ). Dependiendo de como sean
estas races 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
on, las races determinan fuertemente el comportamiento de las soluciones en la vecindad de la singularidad. Tambien podemos ver que los dos terminos que aparecen
en (8) no tienen por que ser necesariamente diferentes a cero simultaneamente.
Estudiemos estos casos con un poco mas de detalle:

Hector Hern
andez / Luis N
un
ez

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

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

En ese caso es claro que al resolver la ecuacion indicadora y sustituir m1 en (8), se van despejando todos los coeficientes a1 , . . . , an en terminos de a0 . Notemos que siempre se cumplir
a,
en (8), que (m1 + n) 6= 0. Igualmente al sustituir m2 encontramos la otra solucion y ambas
son linealmente independientes. La solucion general sera
y(x) = C1 x

m1

an x + C2 x

n=0

m2

an xn ,

x>0

n=0

para x < 0, debemos reemplazar xm1 por |x|m1 y xm2 por |x|m2 en la solucion anterior.
Ejemplo

Encuentre la soluci
on en terminos de series de Frobenius de la siguiente ecuaci
on




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

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





1
1
1
1
00
0
2
y +
x+
y 2 x +
y=0
x
2
x
2
P
n
Proponemos por lo tanto una serie de Frobenius: y(x) = xm
n=0 an x . Necesitamos ahora
hacer algunas identificaciones fundamentales de esta u
ltima ecuacion

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. Ademas f1 (x) y f2 (x)
son validas para todo x.
En cuanto a la ecuaci
on indicadora tenemos lo siguiente:
(m) = m (m 1) + b0 m + c0 = 0

1
1
m (m 1) + m = 0
2
2

m1 = 1

m2 = 12

Las dos races son diferentes y su diferencia no es un entero: 1 (1/2) = 3/2.

Ahora podemos ir directamente al coeficiente
todos los coeficientes {bi } y {ci }. Por lo tanto:

1
an (m + n) (m + n 1) + (m + n)
2

1
1
an m2 + 2mn m + n2 n
2
2

Hector Hern
andez / Luis N
un
ez

de xm+n en (5) pues sabemos los valores de


1
+ an1 (m + n 1) an2 = 0
2

1
+ an1 (m + n 1) an2 = 0
2

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

Con lo cual la relaci

on de recurrencia general sera
an =

m2

an2 an1 (m + n 1)
+ 2mn 21 m + n2 12 n

para n 2

1
2

dependiendo del valor de m tendremos una relacion de recurrencia diferente

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

2 (an2 nan1 )
2n2 + 3n

para n 2

Note que podemos encontrar a1 a partir del coeficiente de xm+1 en la ecuacion (5):


1
2
1
+ a0 [1 + 0] = 0 a1 = a0
a1 1 (1 + 1) + (1 + 1)
2
2
5
con lo cual
1
7

a0 + 45 a0 =

n = 2 a2 =

1
7

n = 3 a3 =

2
27

(a1 3a2 ) =

2
27

52 a0

n = 4 a4 =
..
.

1
22

(a2 4a3 ) =

1
22

9
35 a0

(a0 2a1 ) =

9
35 a0

a2 =

9
35 a0

27
35 a0

82
82
= 945
a0 a3 = 945
a0

328
945 a0

571
20790 a0

a4 =
..
.

571
20790 a0

As la primera soluci
on ser
a


2
9 2
82 3
571 4
x +
x +
y1 (x) = a0 x 1 x + x
5
35
945
20790
Para m = 21 . En este caso, la relacion de recurrencia es:




2 an2 n 32 an1
an =
para n 2
2n2 3n
nuevamente, a1 se obtiene del coeficiente de xm+1 en la ecuacion (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
n = 3 a3 =

2
9

n = 4 a4 =
..
.

1
10

Hector Hern
andez / Luis N
un
ez

a1 32 a2 =

2
9

a2 52 a3 =

a2 = 23 a0

a0 49 a0 = 13
18 a0
1
10

3
2 a0

65
36 a0

119
360 a0

a3 = 13
18 a0
a4 =
..
.

119
360 a0

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

Por lo cual, la soluci

on general sera




9 2
82 3
571 4
3 2 13 3 119 4
2
C2
y(x) = C1 x 1 x + x
x +
x + + 1 1 x + x x +
x +
5
35
945
20790
2
18
360
x2
Notese que esta soluci
on vale para 0 < x < . Por cuanto para x < 0, la segunda soluci
on se
hace imaginaria pero se puede resolver haciendo C2 = i C3 .
Caso 2: m1 = m2
Pongamos nuevamente nuestra atencion en la ecuacion (4):
x2 y 00 + x f1 (x) y 0 + f2 (x) y = 0
donde f1 (x) y f2 (x) son analticas en x = 0. Reacomodemos esta u
ltima ecuacion de la forma


2
d
2 00
0
2 d
x y + x f1 (x) y + f2 (x) y = x
+ x f1 (x)
+ f2 (x) y L [y] = 0
dx2
dx
P
n
donde L {} est
a concebido como un operador lineal. Recordamos que si y(x) = xm
n=0 an x ,
entonces
#
"
n1

X
X
m
ak [(m + k) bnk + cnk ] xm+n
an (m + n) +
L [y] a0 (m) x +
n=1

k=0

si anulamos los coeficientes de xm+n entonces

n1
X

an (m + n)+

Pn1
ak [(m + k) bnk + cnk ] = 0

an =

k=0

k=0

ak [(m + k) bnk + cnk ]

(m + n)

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 races est
an repetidas, es decir, m1 = m2 = m se tiene lo siguiente:
L [y] (m, x) = a0 (m) xm = a0 (m m1 )2 xm
Notese que estamos considerando L [y] (m, x) como una funcion de m y x. Por lo cual, al
evaluar para la raz m = m1 resulta


L [y] (m, x)|m=m1 = a0 (m m1 )2 xm 
=0
m=m1

Veamos algo m
as interesante, intentemos derivar respecto a la constante m

  

2
2
d
d
2 d
2 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
Hector Hern
andez / Luis N
un
ez

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

comprobamos que tambien 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

m=m1

=0

por lo tanto tambien es soluci

on. Con lo cual una segunda solucion puede construirse de la
siguiente manera
" "
##

X
m
n
an (m) x
y2 (x) = m y|m=m1 = m x a0 +
n=1

"
= xm1 ln(x) a0 +

m=m1

#
an (m1 ) xn + xm1

n=1

X
m1

= y1 (x) ln(x) + x

m [an (m1 )] xn

n=1

Bn (m1 ) xn

n=1

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

La soluci
on general tendr
a 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 ,
"
= xm 1 +

n=1

n=1

n=0

an (m) xn [C1 + C2 ln(x)] + C2 xm

n=1

Ejemplo

Bn (m) xn ,

x > 0.

n=0

Analicemos, como ejemplo, un caso particular de la ecuacion de Bessel2

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

La ecuaci
on 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

y 00 +

1 0 x2
y + 2y = 0
x
x

Podemos ver que:

f1 (x) = 1 ,

f2 (x) = x2

b0 = 1

c0 = 0 , c1 = 0 , c2 = 1

Fredrich Wilhel Bessel (1784-1846). Astr

onomo y matem
atico alem
an. Aport
o notables contribuciones a la
astronoma posicional, la geodesia y la mec
anica celeste. Particularmente, se dedic
o a aumentar la exactitud de las
mediciones de la posici
on y el movimiento de los astros. La precisi
on de sus mediciones hizo posible que determinara
peque
nas irregularidades en los movimientos de Urano lo condujo a predecir la existencia de Neptuno. An
alogos
razonamientos lo llevaron a especular sobre la presencia de estrellas compa
neras en Sirio y Procyon. A partir de datos
registrados en el siglo XVII, calcul
o la o
rbita del cometa Halley

Hector Hern
andez / Luis N
un
ez

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

el resto de los coeficientes son cero. De la ecuacion 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
on de recurrencia se obtiene del coeficiente de xm+n de (5)
an [(m + n) (m + n 1) + (m + n)]+an2 = 0
tomando m = 0, se tiene:
an (0) =

an2
n2

an (m) =

an2
(m + n) (m + n 1) + (m + n)

para n 2

Otra vez, al anular el coeficiente para xm+1 (ecuacion (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 =

a2n2
(2n)2

para n = 1, 2, 3, . . .

tenemos entonces lo siguiente:

n=1

1
a2 = a0
4

n=2

a4 =

n=3

a6 =

..
.

a2 = 14 a0

1
1
a0
2 a2 =
(2 2)
(2 2)2 22

a4 =

1
a0
(2 2)2 22



1
1
1
1
a
=

a
a6 =
a0
2 4
2
2 2 0
(2 3)
(2 3) (2 2) 2
(2 3)2 23
..
.

n = n a2n =

(1)n
a2n2
=
a0
(2n)2
22n (n!)2

a2n =

(1)n
a0
22n (n!)2

La primera de las soluciones ser

a
#

X
(1)n 2n
1+
x
= a0 J0 (x)
22n (n!)2
n=1

"
y1 (x) = a0

Donde J0 (x) se conoce como la funcion de Bessel de primera especie de orden cero.
Para calcular la segunda soluci
on de la ecuacion de Bessel se sustituye
y2 (x) = J0 (x) ln(x) +

en la ecuacion: x2 y 00 + xy 0 + x2 y = 0

Bn xn

n=0

Hector Hern
andez / Luis N
un
ez

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

para ello se requieren sus derivadas

J0 X
+
Bn nxn1 ,
x

y20 = J00 ln(x) +

y200 = J000 ln(x) + 2

n=1

J00
J0 X
2+
Bn n (n 1) xn2 ,
x
x
n=2

entonces, al sustituir en la ecuacion diferencial:

"
#
"
#

0
X
X
J
J
J
0
0
x2 J000 ln(x) + 2 0 2 +
Bn n (n 1) xn2 + x J00 ln(x) +
+
Bn nxn1
+
x
x
x
n=2
n=1
"
#

X
x2 J0 ln(x) +
Bn xn
= 0
n=0

x2 J000 + xJ00 + x2 J0 ln(x) + 2xJ00 +

{z
}
|
=0

Bn n (n 1) xn +

n=2

Bn nxn +

n=1

Bn xn+2 = 0

n=0

por lo tanto:
2

B1 x + 2 B2 x +

Bn n + Bn2 x = 2

n=3

X
(1)n 2n
n=1

22n (n!)2

x2n

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

que
2

B1 x+2 B2 x + 3 B3 + B1 x + 4 B4 + B2 x + 5 B5 + B3 x + = 2

X
(1)n 2n
n=1

22n (n!)2

x2n

mientras que para las potencias pares tendremos la relacion de recurrencia

"
#
(1)n+1 n
1
B2n =
B2n2
(2n)2 22(n1) (n!)2
como se puede ver:
B2 = 2

1
22 (1!)2





1
1
4
1
1
B4 =

2
= 2 2 1+
4 2
2
(2 2)2
22 (2!)2
22 (1!)2







1
3
1
3
1
1
1
1 1
B6 =
B4 = 2
+
1+
= 2 2 2 1+ +
6 24 (3!)2 42 22
2
6 4 2
2 3
(6)2 24 (3!)2
..
..
.
.


(1)k+1 1
1
1
1 1
(1)k+1
B2k =
+
+
+

+
+
+
1
=
Sk
3 2
22k (k!)2 k k 1 k 2
22k (k!)2
Hector Hern
andez / Luis N
un
ez

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

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
on 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
on general se podr
a escribir como:
"
y (x) = C1 J0 (x) + C2

X
(1)n+1
Sn x2n
J0 (x) ln(x) +
2n (n!)2
2
n=1

Es costumbre en Fsica reacomodar la segunda solucion de la siguiente manera

"
#

 x i
X
(1)n+1
2 h
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
= lm
+
+
+ + + + 1 ln (n)
= 0,5772
n n
n1 n2
3 2
3

Lorenzo Mascheroni (1750-1800) Monje Italiano, nacido en Bergamo, Lombardo-Veneto. Profesor de Algebra y
Geometra en la Universidad de Pavia y luego Rector de la misma. Adem
as de poeta, se destaco por sus contribuciones
al C
alculo y a la Mec
anica.

Hector Hern
andez / Luis N
un
ez

10

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

de manera que finalmente:

y (x) = C1 J0 (x) + C2 Y0 (x) .
Notese que tanto la funci
on de Bessel de orden cero, de primera especie, J0 (x), como la funci
on
de Bessel de orden cero, de segunda especie, Y0 (x), tienen un comportamiento oscilatorio
cuando x . Adem
as 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 races como: m y m + N . Entonces, como m + N es una raz satisface
tambien la ecuaci
on indicadora:
(m + N ) = (m + N ) (m + N 1) + b0 (m + N ) + c0 = 0 ,
esto significa que (m + N ) = 0 anula al coeficiente del termino an para n = N del coeficiente
xm+n , ecuaci
on (5), como se puede ver a continuacion
an [(m + n) (m + n 1) + b0 (m + n) + c0 ] + an1 [b1 (m + n 1) + c1 ] +
an2 [b2 (m + n 2) + c2 ] +
an3 [b3 (m + n 3) + c3 ] +
+ + a1 [bn1 (m + 1) + cn1 ] +
a0 [bn m + cn ] = 0

cuando n = N , se tiene
an [(m + N ) (m + N 1) + b0 (m + N ) + c0 ] +

n1
X

ak [(m + N k) bnk + cnk ] = 0

k=0

Esto trae como consecuencia que se derivan dos casos:

PN 1
(1) (m + N ) = 0
k=0 ak [(m + N k) bnk + cnk ] = 0.
En este caso, la soluci
on en serie de Frobenius, partiendo de la raz mayor de la ecuaci
on
indicadora, m + N , quedar
a en terminos de a0 y no sera linealmente independiente a la
solucion provista por la raz menor, por consiguiente la solucion proveniente de esta raz
menor, m, ser
a la soluci
on general:
"
#

X
X
y(x) = a0 |x|m 1 +
an (m) xn + aN |x|m
an (m + N ) xn
(9)
n=1

Hector Hern
andez / Luis N
un
ez

n=0

11

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Ejemplo

Tema 4: Sistemas y Series

08/02/11

La ecuaci
on de Bessel, de orden fraccionario, puede ilustrar este caso, resolvamosla


1
2 00
0
2
y=0
x y + xy + x
4

Veamos entonces que

f1 (x) = 1 ,

1
f2 (x) = + x2
4

b0 = 1

c0 = 14 , c1 = 0 , c2 = 1

el resto de los coeficientes son iguales a cero. En cuanto a la ecuacion 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 races son diferentes y su diferencia es un entero: N = 1/2 (1/2) = 1. La raz m
as
peque
na 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


3
2
a1 m + 2m +
+ a0 [0] = 0
4
Para la raz m
as peque
na, que es m = 1/2, tendremos


3
1
a1
1+
+ a0 [0] = 0
4
4
a1 [0] + a0 [0] = 0
el coeficiente de a1 es cero y el del otro coeficiente tambien es cero. Con lo cual cualquier
valor de a1 y a0 estar
an permitidos.
La relaci
on de recurrencia proviene de anular el coeficiente de xm+n , para m = 1/2. Vale
decir

 





 
1
1
1
1
1
an + n
+n1 + +n
+ an1 0 + n 1 + 0 +
2
2
2
4
2
 


1
an2 0 + n 2 + 1 = 0
2


 


1
3
1
1
an + n
+n + +n
+ an1 [0] + an2 [1] = 0
2
2
2
4


an n2 n + an2 = 0
Hector Hern
andez / Luis N
un
ez

12

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

La relaci
on de recurrencia ser
a entonces:
an2
an = 2
n n

con n 2.

Los coeficientes ser

an
1
n = 2 a2 = a0
2
n = 4 a4 =

1
n = 3 a3 = a1
6

1
1
a2 = a0
12
24

n = 5 a5 =

1
1
n = 6 a4 = a4 =
a0
30
720
..
.

1
1
a3 =
a1
20
120

1
1
n = 7 a7 = a5 =
a1
42
5040
..
.

Por lo cual, la soluci

on general sera




1 4
1 6
1 5
1 7
1 2
1 3
21
21
x + +a1 x
x
x +
y(x) = a0 x
1 x + x
x x +
2
24
720
6
120
5040
que es equivalente a:




1
1 4
1 6
1 4
1 6
1 2
1 2
21
x + +a1 x 2 1 x +
x
x +
y(x) = a0 x
1 x + x
2
24
720
6
120
5040
(2) (m + N ) = 0

PN 1
k=0

ak [(m + N k) bnk + cnk ] 6= 0.

En este caso la raz mayor de la ecuacion indicadora m1 = m + N determinara una de las

soluciones. Veamos el siguiente ejemplo:
Ejemplo

Analicemos la siguiente ecuacion diferencial

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

Ahora
f1 (x) = 2 + x ,

f2 (x) = 2 + x2

b0 = 2 , b1 = 1

c0 = 2 , c1 = 0 , c2 = 1

el resto de los coeficientes son iguales a cero.

Una vez m
as, la expansi
on en serie de Frobenius de y (x) nos lleva a una ecuacion 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
Hector Hern
andez / Luis N
un
ez

13

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

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 raz m
as peque
na, 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
on de recurrencia proviene de anular el coeficiente de xm+n , para m = 2:
an [(2 + n) (2 + n 1) 2 (2 + n) + 2] + an1 [(2 + n 1) + 0] + an2 [0 (2 + n 2) + 1] = 0
an [(2 + n) (1 + n) 2n 2] + an1 [1 + n] + an2 [1] = 0


an n2 + n + an1 [1 + n] + an2 [1] = 0
por lo tanto:


an n2 + n = an1 [1 + n] an2 ,

para n 2

los coeficientes ser

an
n = 2 6a2 = 3a1 a0 = 3a0 a0

1
a2 = a0
3

4
1
n = 3 12a3 = 4a2 a1 = a0 + a0 a3 = a0
3
36
..
..
.
.
Por lo cual:
y1 (x) = a0 x

1
1
1 x + x2 x3 +
3
36

y la segunda soluci
on linealmente independiente (se deja como ejercicio) sera
y2 (x) = u (x) bN y1 (x) ln(x)

(10)

donde N es la diferencia entre las raices, y1 (x) es la solucion en series obtenida a partir de
la raz mayor: n + N y u(x) es la serie de Frobenius
u (x) = x

bi xi

(11)

i=0

Hector Hern
andez / Luis N
un
ez

14

Universidad de Los Andes, Merida

Semana 9 - Clase 25

Tema 4: Sistemas y Series

08/02/11

Ejercicios
1. Resuelva la siguiente ecuaci
on diferencial
2x2 y 00 x y 0 (x + 1) y = 0 .
2. Verifique que el origen es una singularidad regular y encuentre la solucion de la siguiente
ecuaci
on 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 races de la ecuaci
on 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 races de la ecuaci
on 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 races de la ecuaci
on 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

Hector Hern
andez / Luis N
un
ez

15

Universidad de Los Andes, Merida