Serie

Web: http://cevale2.uis.edu.co/ ~cevale2/wiki/index.php/Luis_A.
_Nunez
1
Ecuaciones Diferenciales y Series...
2
L. A. Nu~nez
Grupo de Investigacion en Relatividad y Gravitacion
Escuela de F sica, Facultad de Ciencias,
Universidad Industrial de Santander, Santander, Colombia
Version 1.0 Julio 2012
1
ADVERTENCIA: El presente documento constituye una gu a inacabada y en evolucion para los estudiantes de
Metodos Matematicos de la F sica. Es, en el mejor de los casos, un FORMULARIO y de ninguna manera sustituye a
los libros de texto del curso. La bibliograf a de la cual han surgido estas notas se presenta al nal y debe ser
consultada por los estudiantes. Es importante resaltar que por ser un documento en evolucion tambien es posible
que existan versiones mas completas y actualizadas en este mismo sitio WEB
2
e-mail: lnunez@uis.edu.ve
Formulario de Metodos Matematicos
Indice
1. Otra vez Algebra de Series 2
2. Un Ejemplo conocido. 2
3. Otro Ejemplo menos conocido pero importante 4
4. Metodo de Diferenciaciones Sucesiva 6
5. Metodos de los Coe cientes Indeterminados 7
6. Los Puntos y las Estrategias 9
7. Ecuaciones e intervalos en puntos regulares 9
8. El Metodo de Frobenius 11
8.1. m1 6= m2 ^ m1 m2 6= N con N entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

8.2. m1 = m2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
8.3. m 6= m ^ m m = N con N entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1 2 1 2
9. Revisitando a Bessel 26
9.1. Otras Formas de la Ecuacion de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
9.2. Relaciones de Recurrencia: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
9.3. Funciones de Bessel y Funciones Elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
9.4. Re exion: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
9.5. Funcion Generatriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
9.6. Representacion Integral para las Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . 35
9.7. Ortogonalidad de las Funciones de Bessel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
9.7.1. Ortogonalidad: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
10.Algunas funciones Especiales 37
10.1. Funcion Gamma e Integrales de Probabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

10.2. La Funciones Digamma y Poligamma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
10.3. La Aproximacion de Stirling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
10.4. La funcion Beta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
10.4.1. La Funcion Integral de Probabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Luis A. Nu~nez Universidad Industrial de Santander 1

1. Otra vez Algebra de Series

Las series se suman
1 1 1
X X X
n n n
an (x x0) + bn (x x0) = (an + bn) (x x0)
n=0 n=0 n=0
Las series se multiplican
1 1 1
" a (x x )n #" n #= c (x x )n
n=0 n 0 n=0 bn (x x0) n=0 n 0
X X X
con
cn = a0bn + a1bn 1 + a2bn 2 + + ajbn j + + an 2 b2 + an 1 b1 + a n b0
Las series se derivan
P d[ a (x x ) ] 1
1n n=0 n 0
X n 1
dx = an n (x x0)
n=1
Notese como cambia el comienzo de la
serie. Los ndices en las series son mudos
1 a n n (x x 0) n 1
= 1 a j j (x x0 )j 1
= 1 a k +1 (k + 1) (x x 0) k
X X X
n=1 j=1 k=0
en la ultima sumatoria hemos hecho k = j 1; por lo cual j = k + 1:
Las series se igualan

1 b n (x x 0) n =
1 a n n (x x 0) n 1
X X
n=0 n=1 1
1 1
X X X
n k n
bn (x x0) = ak+1 (k + 1) (x x0) = an+1 (n + 1) (x x0)
n=0 k=0 n=0
por lo cual
bn = an+1 (n + 1)
si la igualdad hubiera sido
1 n 1 n 1 1 n
an
X X X
n=0 nan (x x0) = an n (x x0) = an+1 (n + 1) (x x0) =) an+1 = (n + 1)

n=1 n=0
2. Un Ejemplo conocido.
Consideremos la conocidad ecuacion diferencial
00
y +y=0

se propone encontrar una solucion entorno a x = 0 por lo tanto

8 P1
1n=1X
< y0 = nanxn
n : P
y= anx =) y00 = n=2 n (n 1) anx
n=0 1 n 2
00 1 n 2 1 n
y +y=0 = 1) a x x =0
n (n + a
) n=2 n n
n=0
X X
00 1 (k + 2) (k + 1) a k 1 a xn = 0
y +y=0 = k+2
x +
) k=0 n=0 n
X X
y
00
+y=0 =
1 [(k + 2) (k + 1) a k+2
+ a ] xk = 0
) k=0 k
entonces
(k + 2) (k + 1) a +a =0 = a = ak con k = 0; 1; 2;
k+2 k
) k+2 (k + 2) (k + 1)
por lo que
a = a0 ; a = a2 =1 ( a0) = a0 = a0 ;
2 2 1 4 4 3 4 3 2 4 3 2 1 4!
a = a4 = a0 = a0
6 6 5 6 5 4 3 2 1 6!
en general
k a
( 1) 2k
= a
(2k)! 0
Similarmente, para los impares se obtiene
a = a1 ; a =a3 =1 ( a1) = a =a ;
1 1
3 3 2 5 5 4 5 4 3 2 54 3 2 1 5!
a7 = a5 = a1 =a1
7 6 76 5 4 3 2 1 7!
de donde ( 1)
k
a = a1
2k+1
(2k + 1)!
De este modo, la solucion deseada queda como

y= 1
a xn = a + a x +
( a 0)
x2 +
( a1)
x3 +
a0
x4 +
a1
x4 +
( a 0)
x6 +
( a1)
x7 +
X
n 0 1 2! 3! 4! 5! 6! 7!
n=0
1 2 4 6 3 + a1 2 3 5 7 3
x x x x x x
2
y= a xn = a 6 + 7 6 + 7
n 0 1 2! 4! 6! + x 3! 5! 7! +
X 6 7 6 7
n =0
k k
6 1 ( 1)
x2k 7 6 1 ( 1)
x2k+1 7
4 5 4 5
| P {z } | P {z }
6 k=0 (2k)! 7 6 k=0 (2k+1)! 7
1
anxn = a0 1 ( 1)k
y= x2k + a1
1
( 1)k x2k+1 = a0 cos x + a1 sen x
X X X
n=0 k=0 (2k)! k=0 (2k + 1)!
3. Otro Ejemplo menos conocido pero importante

1
Considere ecuacion de Hermite la cual aparece en la solucion del oscilador armonico
00 0
cuantico y 2xy + y = 0
Para resolver esta ecuacion alrededor del punto x0 = 0; proponemos la siguiente expansion en series de
potencias como solucion:
8 P1
1 < y0(x) =
j=1 jajxj 1
j
Xj y00(x) = j(j 1)ajx
) :
j=2
y(x) = ajx P 1 j 2
=0
entonces la ecuacion de Hermite queda como 3
ajxj = 0
21 3 2 3 2
j(j 1)ajxj 2 2 1 jajxj + 1
4X 5 4 X 5 4 Xj 5
j=2 j=1 =0
reacomodando ndices queda como 3 21 3
jajxj + ajxj
"1 # 21 =0
(k + 2) (k + 1)ak+2xk 2
X 4X 5 4X 5
k=0 j=1 j=0
o equivalentemente 1
Xj
j
(2a2 + a0) + [(j + 2) (j + 1)aj+2 2jaj + aj] x = 0
=1
a = 2a2 y a = ( 2j) a n 1
0 j+2 (j + 2) (j + 1) j
1
Charles Hermite, (1822-1901). Matematico frances, especializado en el estudio de teor a de funciones. Profesor en la
Universidad de Par s, ofreci importantes aportaciones al algebra, las funciones abelianas y la teor a de las formas cuadraticas.

y tendra como solucion 3

2
y (x) = a0 1
2 (4 ) x4 (8 ) (4 ) x6
x
7
6 2! 4! 6!
6
4| {z
y0 7 }5
(2 ) x + 3 (6 ) (2 ) x + 5 (10 ) (6 ) (2 ) x7 + 3
+ a1 2
x+
7
6
6
3! 5! y
1 7! 7
4 5
notese que para valores pares de una u otra serie se corta y genera polinomios de la forma
| {z }
Ecuacion de Hermite Polinomio asociado
00 0
0 y 2xy = 0 y0(x) = 1
00 0
2 y 2xy + 2y = 0 y1(x) = x
0 2
4 y00 2xy + 4y = 0 y (x) = 1 2x
0 2
6 00 0 3 35 4
y 2xy + 6y = 0 y1(x) = x 3 x x
00 0 2
8 y 2xy + 8y = 0 y0(x) = 1 10x + 3
Tambien, puede ser de nido a partir de una ecuacion:
H (x) = ( 1) ex2 d 2
; = 0; 1; 2; :::: (1)
ex
dx
o a traves de una relacion de recurrencia
Hn+1(x) 2xHn(x) + 2nHn 1(x) = 0
Las ecuaciones antes mencionadas son ecuaciones homogeneas. En el caso que la ecuacion diferencial a
resolver por series sea una ecuacion inhomogena, se procedera del mismo modo como se propuso en el caso de
que los coe cientes de la ecuacion diferencial fueran constantes. Esto es se resuelve, por series la homogenea y
luego se propone una solucion particular, en forma de serie de potencias, la cual se iguala con la expansion, tambien
en series de potencias, del termino inhomogeneo. Como ejemplo, antes de proceder a casos mas generales
2
resolvamos la ecuacion de Airy , pero inhomogena planteada arriba. A pesar de su simplicidad, esta ecuacion admite
solo soluciones en forma de serie. ahora el caso de la ecuacion homogenea de Airy
00
y xy = 0
Luego, compruebe, siguiendo el procedimiento arriba expuesto que una posible ecuacion inhomogenea
de Airy
00
y xy = exp (x)
tiene como solucion la siguiente serie de potencias 4 + 3 4 +
y (x) = y (0) 1 + 6 x3 ++ y0 (0) x + 12 x + 2 x2 + 6 x + 24 x
1 1 1 1 1
| y1 } yh | y2 | {z }
y
{z {z }
| {z } ih
2
George Biddell Airy (1801-1892) Matematico y Astronomo Ingles con contribuciones importantes en la solucion de
ecuaciones diferenciales y su utilizacion en Astronom a. Mejor signi cativamente las estimaciones teoricas de la orbita de
Venus y la Luna. Igualmente realizo estudios matematicos de la formacion del arcoiris y la densidad de la tierra.

Notese que los dos primeros terminos corresponden a la solucion de la ecuacion homogenea y el ultimo
representa la serie que anula el termino inhomogeneo. Hemos hecho patente la dependencia de las
constantes de integracon de las condiciones iniciales.
4. Metodo de Diferenciaciones Sucesiva

En general, dada la Ecuacion diferencial
n
Xi
0
a0(x) y(x) + a1(x) y (x) + + an 1(x) y
n 1
(x) + an(x) y (x) =
n (i)
ai(x) y (x) = F(x) (2)
=o
Si los coe cientes a0(x) an(x) son funciones anal ticas en x = x 0 (se pueden expresar como una serie de
Taylor de (x x0) que converge al valor de la funcion con un radio de convergencia de jx x 0j < ),
entonces, la ecuacion diferencial 2 tendra como solucion unica, y = y(x) de la ecuacion homogena una serie
de potencias la cual satisface las n condiciones iniciales
0 00 00
y(x0) = c1; y (x0) = c2; y (x0) = c3; y (x0) = cn
n i
Adicionalmente, se expandir en Taylor la funcion X (i) (x x0) y se
inhomogenea, esto es F(x) = F (x0) i!
i=o
P1
propondra una solucion particular de la inhomogenea, tambien en terminos de una serie y ih(x) = ajxj.
j=0
Otra forma de hacerlo es proceder directamente y conservar el termino inhomogeneo y a partir de la
ecuacion completa encontrar los coe cientes de la expansion por Taylor alrededor del punto en el cual se
disponga de las condiciones iniciales. La solucion en series de Taylor sera
0 00 x2 000 x3
yh(x) = y(0) + y (0)x + y (0) +y (0) +
2! 3!
As para la siguiente ecuacion diferencial
00 0 2 0
y (x + 1) y + x y = x; con y(0) = 1; y y (0) = 1:
los coe cientes de la expansion se obtienen de los valores de las derivadas en x 0 = 0; los cuales salen de
las condiciones iniciales, de la ecuacion diferencial esto es
0 00 0 2
y(0) = 1; y (0) = 1; y (0) = (0) + (0 + 1) y (0) 0 y(0) = 1 y de
las derivadas de la ecuacion diferencial
000 0 00 2 0
y (x) = y (x) + (x + 1) y (x) 2x y(x) x y (x) + 1
000 0 00 2 0
y (0) = y (0) + (0 + 1) y (0) 2(0) y(0) 0 y (0) + 1
000
y (0) = 1 + 1 + 1 = 3
nalmente, la solucion
x2 x3
+yh(x) = 1 + x + +
2 2
Esta solucion contiene las dos soluciones (la homogenea y la particular de la inhomogenea) sumadas
Dado jxj < 1 y la ecuacion diferencial
x 1
y
00
+ 1 x2 y
0
2 y = exp (2x) ; con y(0) = 1; 0
y y (0) = 1:
1 x
compruebe que tiene como solucion general por series 2 3 4 +

0
y (x) = y (0) 1 + 2 x2 +24 x4 +80 x6 + + y (0) x + 2x +3 x +8 x
1 1 1 1 1 1
y al incorporar los valores de las condiciones iniciales se obtiene
2 1 3 1 4 1 5 1 6 4 7 79 8
y (x) = 1 + x + x + 3 x + 6 x + 30 x + 180 x 315 x 10 080 x +
5. Metodos de los Coe cientes Indeterminados

En general, para encontrar la solucion a la ecuacion antes mencionada
X
n
(i)
ai(x) y (x) = F(x)
i=o
Se expanden por series de potencias cada uno de los coe cientes a 0(x) an(x); la funcion F(x) y se
expande tambien la serie 1 j
X (x x0)
y(x) = j=0 cj
j!
luego de bastante transpiracion se despejan los coe ciente c 0 cn veamos el ejemplo con la misma
ecuacion del ejemplo anterior.
00 0 2
y (x + 1) y + x y = x; con y(0) = 1; y 0
y (0) = 1:
Como x0 = 0; proponemos la siguiente expansion en series de potencias como solucion:

8 1 j 1
1 j =) 0 P
y(x) = cjx y (x) = jc x j=1 j
<
j=0 y00(x) = j=2 j(j 1)cjx
X 1 j 2
: P
y al sustituir 1
1 1
X X Xj
j 2 j 1 2 j
j(j 1)cjx (x + 1) jcjx +x cjx = x
j=2 j=1 =0
expandiendo 1 1 1
1
X X X Xj
j 2 j j 1 j+2
j(j 1)cjx jcjx jcjx + cjx =x
j=2 j=1 j=1 =0
si hacemos j 2 = l en el primer termino, j 1 = k en el tercero y j + 2 = m en el cuarto, tenemos
1 1 1 1
Xl X X X
l j k m
(l + 2) (l + 1) cl+2x jcjx (k + 1) ck+1x + cm 2x = x
=0 j=1 k=0 m=2
acomodando 1
1
X X
n m
((n + 2) (n + 1) cn+2 ncn (n + 1) cn+1) x + cm 2x = x
n=0 m=2

por lo tanto
c2 c1 = 0
3 2 c 3 c1 2 c 2 = 1
y la relacion 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 demas coe cientes.
Si la ecuacion es
+ (sin x) y + (exp x) y = 0
00 0
y
se expanden los coe cientes + 3 4 5 +y = 0
y00 + x 6 x3 + 120 x5 y0 + 1 + x + 2 x2
+ 6 x + 24 x + 120 x
1 1 1 1 1 1
se propone la solucion en terminos de series de potencias
1 j 1
1 8
y(x) = cjxj ) 0 P
y (x) = j=1 jcjx
<
j=0 y00(x) = j=2 j(j 1)cjx
X
: P1 j 2
por lo cual 3 2 j3
+ x 6 x3 j=0 cjx
2 2 13
j=2 j(j 1)cjxj 2
+ j=1 jcjxj + 1 + x + 2 x2 + =0
1 1 1 1 1
X X X
4 5 4 5 4 5
acomodando
2 3
(2c2 + c0) + (6c3 + 2c1 + c0) x + (12c4 + 3c2 + c1 + c0) x + (20c5 + 4c3 + c2 + c1 + c0) x + =0
2c2 + c0 = 0
6c3 + 2c1 + c0 = 0
12c4 + 3c2 + c1 + c0 = 0
20c5 + 4c3 + c2 + c1 + c0 = 0
.
.
.
Ejercicio. Utilice el mismo metodo para la ecuacion ejercicio anterior
x 1
2x 0
2 2 y = e ;con y(0) = 1; y y (0) = 1:
y00 + 1 x y0 1 x

6. Los Puntos y las Estrategias

Dada una ecuacion diferencial del tipo
Q (x) R (x)
+ P (x) y + P (x) y = 0
00 0 ) 0 00
P (x) y + Q (x) y + R (x) y = 0 y
Puntos ordinarios Un punto ordinario x = x0 sera aquel alrededor del cual p(x) = Q(x) y q (x) = R(x)
P (x) P (x)
sean anal ticas en ese punto o
Q (x)
l m p(x) lm = l1 con l1 nito
x!x0 x!x0 P (x)
R (x)
l m q (x) lm = l2 con l2 nito
x!x0 x!x0 P (x)
Q(x) R(x)
y q (x) = tengan una expansion en Taylor alrededor
O tambien, lo que es lo mismo, que p(x) = P (x) P (x)
de ese punto x = x0.
Puntos singulares regulares Un punto x = x0 se llamar punto singular regular si

m (x x ) p(x) l m (x x ) Q (x) = l con l nito
0 x x0 0 P (x)
3 3
!
xx l
0
m (x x )2 q (x) l m (x x R (x) = l con l nito

)2
0 x 0 P (x)
4 4
!
xx
l
0 0
x
O tambien, lo que es lo mismo, que p(x) (x x0) = (x x0)

Q(x)
y q (x) (x x0)
2
= (x x0)
2 R(x) tengan
P (x) P (x)
una expansion en Taylor alrededor de ese punto.
Puntos singulares irregulares Ninguna de las anteriores
7. Ecuaciones e intervalos en puntos regulares

3
La ecuacion de Legendre
2 00 0
(1 x )y 2x y + ( + 1) y = 0
tiene puntos regulares en x 6= 1 y puntos singulares regulares en x = 1. Pero es anal tica en x 2 ( 1; 1) lo
tanto, todos los x son ordinarios si x 2 ( 1; 1): En ese intervalo se propone una solucion
X
1
n
y(x) = anx
n=0
3
Adrien Marie Legendre (1752-1833). Matematico frances, encuadrado en la escuela de Par s, que surgio tras la
revolucion de 1789. Realizo una teor a general de las funciones elipticas y divulgo numerosos trabajos de investigadores
jovenes en el campo del analisis matematico.
por lo tanto
1 1 1
X X X
2 n 2 n 1 n
(1 x )n(n 1)anx 2x n anx + ( + 1) anx = 0
n=2 n=1 n=0
multiplicando y acomodando
1 1 1 1
Xj X X X
j n n n
(j + 2)(j + 1)aj+2x n(n 1)anx 2 n anx + ( + 1) anx = 0
=0 n=2 n=1 n=0
expandiendo
0 =2a2 + ( + 1)a0 f( + 2)( 1)a1 + (3 2)a3g x+

X
1
n
+ f(n + 2)(n + 1)an+2 + ( + n + 1)( n)ang x
n=2
donde hemos utilizado

n(n 1) 2n + ( + 1) = ( + n + 1)( n)
por lo tanto
( + 1)
a2 = a0 2
a4 = ( + 3)( + 1) ( 2) a0 4!
( + 2n 1)( + 2n 3) ( + 1) ( 2) ( 2n + 2)
a2n = ( 1)n a0 (2n)!
y las potencias impares seran
a3 = ( + 2)( 1) a1 3!
a5 = ( + 4)( + 2)( 1)( 3) a1 5!

( + 2n)( + 2n 2) ( + 2)( 1) ( 2n + 1)
a2n+1 = ( 1)n a1 (2n + 1)!
y su solucion general de la forma

y(x) = a0 y0(x) + a1y1(x)
con
y(x) = 1 ( + 1) x2 + ( + 3)( + 1) ( 2) x4 +
0 2 4!
y(x) = x ( + 2)( 1) x3 + ( + 4)( + 2)( 1)( 3) x5 +
1 3! 5!
si = 2n una de las series se corta solucion es un polinomio de potencias pares y si = 2n + 1 la otra se
corta en uno de potencias impares

Ecuacion de Legendre Polinomio Asociado

2 00 0
0 (1 x ) y 2x y = 0 y0(x) = 1
2 00 0
1 (1 x ) y 2x y + 2 y = 0 y1(x) = x
2 (1 x2) y00 2x y
0
+ 6 y = 0 y (x) = 1 3x
2
0 5
3 2 00 0 + 12 y = 0 y1(x) = x 3 35 4
(1 x ) y 2x y 3 x x
2 00 0 2
4 (1 x ) y 2x y + 20 y = 0 y0(x) = 1 10x + 3
Los polinomios de Legendre son funciones que surgen en problemas de electrostatica como solucion
de la ecuacion de Legendre y son efectivamente polinomios para entero. Los Polinomios de Legendre
tambien pueden ser generados a partir de la Formula de Rodr gues
n
1 d
Pn(x) = (x2 1)n; n = 0; 1; 2; :::::
n!2n dxn
con P0(x) = 1: Tambien se dispone de una relacion de recurrencia
(n + 1) Pn+1(x) = (2n + 1) xPn(x) nPn 1(x)
8. El Metodo de Frobenius
Para la solucion de ecuaciones diferenciales lineales ordinarias alrededor de puntos singulares
4
regulares se utiliza el metodo de Frobenius . Dada una ecuacion diferencial
f1 (x) f2 (x)
00 0
00 0 y + (x x ) y + 2 y=0 (3)
y + F1 (x) y + F2 (x) y = 0() (x x0)
0
donde F1 (x) y F2 (x) tienen singularidades regulares enx = x 0 y por lo tanto f 1 (x) y f2 (x) son anal ticas
alrededor de ese punto entonces, la propuesta de solucion sera una serie de Frobenius
1
X
m n
y(x) = (x x0) an (x x0) (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 mas simples supongamos,
sin perder generalidad, x0 = 0. Ademas, como f1 (x) y f2 (x) son anal ticas entonces
1 1
X X
n n
f1 (x) = bnx y f2 (x) = cnx (5)
n=0 n=0
por lo tanto
2 00
x y
0
+ x f1 (x) y + f2 (x) y = 0 () x y
2 00
+x
1 0
y +
1 # y=0
" n# " c xn
n=0 bnx n=0 n
X X
4 Aleman famoso por sus contribuciones en Teor a de Grupos y

Ferdinand Georg Frobenius (1849-1917) Matematico
metodos para resolver ecuaciones diferneciales.

y con la propuesta de serie de Frobenius

1 0 m 1 1 1
y(x) = xm
n=0
a xn
n
=) y (x) = mx "
n=0 anx
n#
+x
m"
n=1 na nx
n 1#
X X X
+ 1 1 1 #
00 m 2" n# m 1" n 1# m " n 2
y (x) = m (m 1) x n=0 anx + 2mx n=1 na nx +x n=2 n (n 1) anx
X X X
sustituyendo
( 1
+ 2mx
m 1 1 1 #) +
0 = x2 m (m 1) xm 2 "
n=0 anx
n# "
n=1 na nx
n 1# m
+x
"
n=2 n
n 2
(n 1) anx
X X X
1 1 1 1 1
" n# ( m 1" n# m" n 1#) " n# ( m n)
+x n=0 bnx mx n=0 anx +x n=1 na nx + n=0 cnx x n=0 a nx
X X X X X
acomodando
( m 1 1 m 1
0 = m (m 1) x "
n=0 anx
n#
+ 2mx
m"
n=1 na nx
n#
+x "
n=2 n (n 1) anx
n#)
+
X X X
1 1 1 1 1
" n# ( m" n# m" n#) " n# ( m n)
+ n=0 bnx mx n=0 anx +x n=1 na nx + n=0 cnx x n=0 a nx
X X X X X
o
m 1 1 1
0=x (
m (m 1)
"
n=0 a nx
n#
+ 2m
"
n=1 na nx
n#
+
"
n=2 n (n 1) anx
n#)
+
X X X
1 1 1 1 1
" n#( " n# " n#) " n#( n)!
+ n=0 bnx m n=0 anx + n=1 na nx + n=0 cnx n=0 a nx
X X X X X

Expandiendo las series tendremos

8 9 (6)
0 = xm a0[m (m 1) + b0m + c0] +
> >
< =
{z
> | EI (m) }>
: 8 ; 9
a1 [m (m + 1) + b 0 (m + 1) + c 0] + a 0 [b 1 m + c1
] + (7)
m+1 <
> >
+ x
m =
+1)
{z
> | } >
: ;
EI(
8 (8)
+ xm+2 >
a2 [(m + 2) (m + 1) + b0 (m + 2) + c0] + a1 [b1 (m + 1) + c1] + a0 [b2m + c2 ]9
>
< m =
+2)
{z
> | } >
: ;
EI(
8 (9)
+ xm+3 a3[(m + 3) (m + 2) + b0 (m + 3) + c0] + a2 [b1 (m + 2) + c1] +
>
g
}
>| +a1 [b2 (m {z 2 0 3 3
:
EI(m+3)
<
+ 1) + c ] + a [b m + c ] +
.
.
. 8
+ xm+n an[(m + n) (m + n 1) + b0 (m + n) + c0] + an 1 [b1 (m + n 1) + c1] + (10)
>
< EI(m+n) }
| + an {z
> 2 [b2 (m 2 n 3 3 3 (11)
: + n 2) + c ] + a [b (m + n 3) + c ] +
+ +a1 [bn 1 (m + 1) + cn 1] + a0 [bnm + cn]g (12)
la cual puede ser reacomodada aun mas, y toma la forma elegante y compacta de )
( i 1
1
X X
m+i
m
0 = x fa0 EI (m)g + ai EI (m + i) + ak [(m + k) bi k + c i k] x (13)
i=1 k=0
cadoEI (m) = m (m 1) + b m + c. Como es de esperarse, este polinomio se anula si
donde hemos identim m+i 0 0 indicadora o
los coe cientes de x x se anulan. La primera de las ecuaciones que surge es la ecuacion
ndice a0 6= 0 =) EI (m) = m (m 1) + b0m + c0 = 0
(14)
m+i
que no es otra cosa que un polinomio de segundo grado en m: Al anular el coe ciente de x
( i 1 ) (15)
ai EI (m + i) + ak [(m + k) bi k + ci k] = 0
X
k=0
obtendremos la relacion de recurrencia para la serie de Frobenius, correspondientes a cada ra z de la ecuacion

indicadora (14). Dato que la ecuacion 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 solucion en terminos de la serie de Frobenius para la ecuacion diferencial sera
m 1 # 1 (16)
y(x) = C1 kxk 1 " + C2 kxk 2 "
m #
| n X1 } 1+
|n =1 n X2
a (m
} ) xn 1+
n =1
a (m ) xn
y y
{z {z
1 (x) 2 (x)
2. m1 = m2
m 1
y(x) = C1 kxk "
1 + n=1 an (m) x
n#
| X }
y
{z (17)
1 (x)
n
an (m) x ln x + x
m 1 m 1
+ C2 8 9
n
>x 1+ Bn (m) x >
" # "
>
>
>
kk kk #>
n=1 n=0
> >
> >
< X X =
>
y1(x) >
> >
> >
| {z } ;
:
| {z }
y2(x)
3. m1 6= m2 ^ m1 m2 = N con N entero positivo.

1 m1 " n#
y(x) = C1 kxk 1 + n=1 a n (m 1) x
| X }
y
{z (18)
1 (x)
m 1 1 n m 2 1
+ C2 8 an (m1) x ln x + x 9
> n
f x 1+ an (m2) x >
" # "
> >
> k k k k #>
n=1 n=0
> >
> >
< X X =
>
y1(x) >
> >
> >
:| {z } ;
| {z }
y2(x)
Donde las constantes an (m1) ; an (m2) ; Bn (m1) y f; surgen de sustituir estas soluciones en la
ecuacion diferencial y resolver por el metodo de los coe cientes indeterminados. Notese que hemos
indicado expl cita-mente que los coe cientes an = an (m1) ; an = an (m2) ; Bn = Bn (m2) corresponden a las
series de cada una de las ra ces de la ecuacion indicadora.
00 0
En resumen, si una ecuacion diferencial y +F1 (x) y +F2 (x) y = 0 presenta puntos sigulares
regulares para F1 (x) y F2 (x) en x = x0: Lo que se traduce en que
y + f1 (x) y + f2 (x) y = 0
00 0 con 8 f1 (x) = :
(x x0) (x x0) 2 f2 (x) =

<
1
P 1 n P c (x x )
b (x x ) n
n=0 n 0
n=0 n 0

es decir, que f1 (x) y f2 (x) sean anal ticas en torno a x = x0: Entonces se aplica el metodo de Frobenius.
Para ello,
1. se propone una solucion en series de potencias de Frobenius:
1
m n
X y(x) =
x anx
n=0
con m 2 < ^ n 2 N,
2. se sustituye en la ecuacion diferencial y se aisla el termino independiente (de orden cero en n). El
coe ciente de este termino se anula e implica la ecuacion la indicadora o ndice
a0 6= 0 =) EI (m) = m (m 1) + b0m + c0 = 0
que no es otra cosa que un polinomio de segundo grado en m: De esta ecuacion emergen dos ra
ces m2 ^ m1;en funcion 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
1 1
y(x) = C1 xm1 "
n=0
n#
an (m 1) x
+ C2 xm2 "
n=0
n#
an (m 2) x
X X
b) si m1 = m2 tenemos que insertar un logaritmo

m ( 1 1
y(x) = x 1 (C1 + C2 ln x) "
n=0
n#
an (m) x + C2
"
n=0 Bn (m) x
n#)
X X
c) m1 6= m2 ^ m1 m( 2 = N con N entero positivo, entoces, como por arte

m de magia
y(x) = x
m
1 (C1 + f ln x) 1 + C2x 2
"
n=0
1 n#)
an (m 1) x
"
n=0
n#
an (m 2) x
X X
3. Seguidamente se determina, segun el caso, se determinan las relaciones de recurrecias para los
distintos coe cientes an = an (m1) ; an = an (m2) ; Bn = Bn (m2) ; Gn = Gn (m2) a partir de la ecuacion (15)
( n 1 ) =0
an EI (m + n) + ak [(m + k) bn k + cn k]
X
k=0
tomando en cuenta los coe cientes de los desarrollos en series de potencias de las funciones
X
1 X
1
n n
f1 (x) = bnx y f2 (x) = cnx
n=0 n=0
m+n
si anulamos los coe cientes de x k
[(m + k) bn k +c ]
n 1
X
n 1 a
an EI (m + n) + ak [(m + k) bn k + cn k] = 0 () an = P EI (m + n) n k
k=0 k=0
entonces se obtiene la relacion 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 m 1 6= m2 ^ m1 m2 = N con N sera anali-zado en
detalle mas adelante.

8.1. m1 6= m2 ^ m1 m2 6= N con N entero.

En ese caso es claro que la resolver la ecuacion indicadora y sustituir m 1 en el resto de los coe
cientes, se va despejando todos los coe cientes a 0 an en terminos de a0: Igualmente al sustituir m2
encontramos la otra solucion y ambas son linealmente independientes y la solucion sera
"1 # "1 #X X
m1 n m2 n
y(x) = C1 x anx + C2 x anx
n=0 n=0
Ejemplo, encuentre la solucion en terminos de series de Frobenius de la siguiente ecuacion

2 00
x y +x x+2 y0 x2 + 2 y=0
1 1
2
al dividir por x identi camos que a x = 0 es un punto singular regular. Proponemos por lo tanto una serie
P1
de Frobenius y(x) = xm anxn como posible solucion. La ecuacion indicadora EI (m) = m (m 1) +
n=0
b0m + c0 = 0 queda ahora, como 1
8 8 b = 1 9 = f1 (x) = 2 +x
=
> < 0 b1 = 1
2
(
m=1
>
>
>
1 1 : ;
>
> 1
>
= m (m 1) + m =0 => c0= 2
9 >
>
m= 1 ( 2 2 ( >
>
2 = 9
c1 = 0 = f 2 (x) = x2
<8 1
> > 2
; > > (
>> >
>> >
>< =
>
>
> c 2 = 1
>
> >
>>
>> >
>> >
>> >
:: ;
los demas coe cientes b2 = b3 = = bn = = 0 y c3 = c4 = = cn = = 0:
m+n
El primer termino del coe ciente de x ; puede ser escrito en terminos de genericos, como
EI (m + n) = (m + n) (m + n 1) + 2 (m + n) + 2 = m2 + 2mn 2m+n
2
2n 2 (19)
1 1 1 1 1
|{z}b0 | c0 }
{z
El segundo termino de ese mismo coe ciente, es una sumatoria en la cual inervienen los coe
cientes de las expansiones de f 1 (x) y f2 (x) (ecuacion (5)). Como de esta expansion sobrevive b 1 =
1 signi ca que solo aparecen el coe ciente para el cual n k = 1 ) k = n 1 y como tambien sobrevive
c2 = 1; tendremos que n k = 2 ) k = n 2;tambien estar presente. Esto es
a 2(m + n 1) 1 3 + a 2 ( 1) 3 (20)
n 1 n 2
4 b1 5 4 c2 5
|{z} |{z}
En de nitiva el coe
a ciente completo se escribe como
2
n m + 2mn 2 m + n
2
2n 2 + an 1 [m + n 1] an 2 =0 (21)
1 1 1

con lo cual la relacion de recurrencia general sera

a = an 2 an 1 [m + n 1] para n 2 (22)
n 2 1 2 1 1
m + 2mn 2 m+n 2 n 2
Dependiendo del valor de m tendremos una relacion de recurrencia para la primera de las series m = 1
o para la segunda, m = 1 : Analicemos cado por caso. Para el caso particular m = 1; se obtiene la
2
relacion de recurrencia:
2
an = (an 2 nan 1) para n 2
2
2n + 3n
y se encuentra a1 al utilizar el coe ciente de x
m+1
(ecuacion (7)) = a
5 0
a1 1 (1 + 1) + 2 (1 + 1) 2 + a0 [1 + 0] = 0 =)a1
1 1 2
con lo cual
1 1 4 9 9
n = 2 =) a2 = 7 ( 2a1 + a0) = 7 5 a0 + a0 = a0 =) a2 = a0
35 35
n=3 = a3 =
2 ( 3a2 + a1) =
2
3527 a0 5
2
a0 = 82
a0 = a3 =
82
a0
27 27 945 945
1 1 328 9 571 571

) )
n=4 =) a4 = ( 4a3 + a2) = a =) a4 =
2 2 35 a0 = 20790
a0
... 20790 a0
... 2 2
945 0
As la primera solucion sera 2 3 4

y1(x) = a0 x 1 5 x + 35 x 945 x + 20790 x +
2 9 82 571
Del mismo modo se construye la segunda solucion linealmente independiente a partir de m = 1 : As , la
2
1
relacion de recurrencia para los co cientes de la serie de Frobenius m = sera:
2
an = an 2 n 2 an 1 2n2 3n para n 2
3 2
y + =0 =)a1 = a0
2 2 2 2 + a0 2
a1 2
1 1 1 1 1 1
por lo cual
1 1 3 3
n = 2 =) a2 = 2 a1 + a0 = 2 a0 + a0 = 2 a0 =) a2 = 2 a0
2 3 2 9 13 13
n = 3 = a3 = 9 2 a2 + a1 =9 4 a0 a0 = 18 a0 = a3 = 18 a0
) 5 65 119 ) 119
1 1 3
n=4 = a = 10 a +a = 1
0 36 a0 + a = a =) a4 = a0
... ) 4 2 3 2 2 0 360 0 ... 360

Por lo cual, la solucion general sera
2 9 82 571
y(x) = C1 x 1 5 x + 35 x
2
945
3
x + 20790
4
x +
+ C2 1 x+ 2 3 + 4 +
x2 2x 18 x 360 x
1
3 13 119
Notese que esta solucion vale para 0 < kxk < 1 por cuanto para x < 0; la segunda solucion se hace
imaginaria pero se puede resolver haciendo C2 = i C3
Como ejercicio resuelva
2 00 0
2x y xy (x + 1) y = 0
8.2. m1 = m 2 .
Del mismo modo, si tenemos una ecuacion diferencial
2 00 0 2 2 00 0
x y + x [x F1 (x)]y + x F2 (x) y = 0() L fyg = x y + x f1 (x) y + 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 f 1 (x) y f2 (x) son anal ticas
para ese punto, vale decir
1 1
X X
n n
f1 (x) = bnx y f2 (x) = cnx
n=0 n=0
se aplica el Metodo de Frobenius. Pero antes de proceder a ilustrar este caso en al cual ambas ra ces
coinciden, veamos, un poco de donde surge la forma general de la solucion (17). Para ello
reacomodemos la ecuacion diferencial (23) de la forma
2 00 0 2 d 2 d
x y + x f1 (x) y + f2 (x) y = x d x 2 + x f1 (x) d x + f2 (x) y L fyg = 0
donde L f g esta concebido como un operador lineal. Es ilustrador mostrar de donde sale la forma curiosa
de la solucion de la ecuacion diferencial (17). Para ello, recordamos que
m
L fyg = x fa0 EI (m)g + 1( n 1 )
an EI (m + n) + ak [(m + k) bn k + cn k] xm+n
X X
n=1 k=0
m+n
si anulamos los coe cientes de x entonces
n 1 n k ]
a n EI (m + n) + k=0 ak [(m + k) b n k + cn k] = 0 () an =
Pk=0
n 1 a [(m + k) bn
k
EI (m + n)
k +c
X
m+n
considerando EI (m + n) 6= 0 por lo tanto, para los an seleccionados (que anulen el coe ciente x )y
considerando el caso m1 = m2
m 2 m
L fyg (m; x) = fa0 EI (m)g x = a0 (m m1) x

Notese que estamos considerando L fyg (m; x) como una funcion de m; y x: Por lo cual evaluando en m = m 1
2 m
L fyg (m; x)jm=m1 = a0 (m m1) x m=m1 =0
pero ademas podemos intentar derivar respecto a la constante m

@fL f yg (m; x)g = @ x2 d2 + x f (x) d + f (x) y = x2 2 + x f (x) d + f (x) L
d
@m @m 2 1 dx 2 2 1 dx 2
dx dx y
comprobamos
que tambien se
anula al
evaluarla en m
= m1
@y
@
n @y o
m
por lo tanto @m (m; x) m=m1 tambien es solucion, con lo cual la segunda toma la forma
L @y @ ( " 1
#)
kxkm a0 + an (m) xn
=
@m (m; x) m=m1 @m
n=1 m=m1
X
1 1
@an (m)
m " n# " #
= (x 1 ln x) a0 + an (m1) x + xm1 @m m=m1 xn
n=1 n=1
X X
y la solucion general tendra la forma
m1 1
y(x) = C1 kxk "
1 + n=1 a n (m 1) x
n#
| X }
y
{z
1 (x)
8 m 1 m1 1 n 9
bn (m1) x
> n
+ C2 x 1
1+ an (m1) x ln x + x >
" # "
> >
>k k k k #>
n=1 n=0
> >
> >
< X X =
>
y1(x) >
> >
> >
| {z } ;
:
| {z }
y2(x)
5
Analicemos, como ejemplo un caso particular de la ecuacion de Bessel
2 00 0 2 2
x y +xy +x + y=0
5
Fredrich Wilhel Bessel (1784-1846). Astronomo y matematico aleman. Aport notables contribuciones a la astronom a
posicional, la geodesia y la mecanica celeste. Particularmente, se dedico a aumentar la exactitud de las mediciones de la
posicion y el movimiento de los astros. La precision de sus mediciones hizo posible que determinara peque~nas
irregularidades en los movimientos de Urano lo condujo a predecir la existencia de Neptuno. Analogos 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, calculo la orbita del cometa Halley

Una vez mas, la ecuacion viene parametrizada por y dependiendo de su valor tendremos una familia de
soluciones. Consideremos el caso = 0
2 00 0 2
x y +xy +x y=0
la ecuacion indicadora EI (m) = m (m 1) + b0m + c0 = 0 nos queda como
8 b0 = 1 (= f1 (x) = 1
> c0 = 0
m = 0 = m (m 1) + m = 0 =
>
>
>
8 9
>
>
( ( > c =0 2
>
1 > = f (x) = x
<> 2
> > (
> >
> >
> < =
> c 2 =1
>
> >
>
>
> >
>
> >
>
> >
>
cientes b =b =b = =b =0y : = ;= c = 0: Con lo cual EI (n) =
:c = c
los demas coe 2 1 2 3 n 3 4 n m+n
n (n 1) + n = n , Por lo tanto, la relacion de recurrencia se obtiene del coe ciente de x
a
an = P k=0 k [(m + k) bn k + cn k] dado que 8 6 ) )
n 1 < b1 = 0 n k = 1 k=n 1
EI (m + n) c2 = 0 ) n k=2 ) k=n 2
n 1 : 6
(m)
P
n (m + n) (m + n 1) + (m + n) (m + n)2
a (m) = = an
a (m) [(m + k) b +c ]
k n k n k
(m) (m + n 1) + an
k=0
1 2
tomando m = 0; se tiene 8
a
an (0) = P k=0 k (0) [ 2 n k n k
con 6 ) )
n 1 kb +c ] < b1 = 0 n k=1 k=n 1
n c2 = 0 n k=2 k=n 2
con lo cual : 6 ) )
a n (0) = a
n 2 (0) [c2] + an 1 (0) [(n 1) b1] = an 2 (0) + an 1 (0) (n 1) para n 2
n2 n2
m+1
Otra vez, al anular el coe ciente para x (ecuacion (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 coe cientes impares, y as
a2n (0) = a2n 2 (0) para n = 1; 2; 3;
2
(2n)
con lo cual

n=1 =) a2 (0) = 1 a0 (0) =) a2 (0) = 4

1
a0 (0)
4
n=2 =) a4 (0) = 1 a2 (0) = 1 a0 (0) =) a4 (0) = 1 a0 (0)
2 2 2 # 2 2
(2 2) (2 2) 2 (2 2) 2
2 2 " 2
. ) 6 (2 3) 4 (2 3) (2 2) 22
2 0 ) .6 (2 3) 23 0
n=3 = a (0) = 1 a (0) = 1 1 a (0) = a (0) = 1 a (0)
. .
. .
n=l = a (0) = l l
a2l 2 (0) = ( 1) a (0) = a (0) = ( 1) a (0)
) 2l 2 2l 2 0
) 2l 2l 2 0
(2l) 2 (l!) 2 (l!)
por lo tanto la primera de las soluciones sera
y (x) = a 1 + 1 n
( 1)
1
x2n
2n 2
n=1 2 (n!)
0" #
| X }
J
{z
0 (x)
Donde J0 (x) se conoce como la funcion de Bessel de primera especie de orden cero.
Para calcular la segunda solucion de la ecuacion de Bessel se sustituye
1
X
y2 (x) = J0 (x) ln x + Bnx

n en la ecuacion x2 y00 + x y0 + x2 y = 0
n=0
para ello se requieren sus derivadas
y (x) = J (x) ln x + 1 n 0 0 1 n 1 y
Bx y (x) = J J0 (x)
B (0) nx
(x) ln x + +
X X
2 0 n )2 0 x n=1 n
n=0
+
00 0 1
00 (x) = J (x) ln x + 2 J (x) J0 (x)
y 2 0
0
x x
2
+
n=1
B n (n
n
1) xn 2
entonces
2 (x) J (x) 1
0=x
" J0
J 000 (x) ln x + 2 0 x
0
x2
X
+ n=2 B nn (n 1) xn 2#
+
+x " (x) 1 2 "
0 +x
J0 (x) ln x + J0 (x) ln x +
1 #
X
n
Bnx
J 1#
x + B nnxn
X
0 n=1
n=0
con lo cual
0 1 1 n 1 n 1 n+2
2 00 0 2 0 Bnn (n 1) x + Bnnx + Bnx
0 = x J0 (x) + x J0 (x) + Jx 0 (x) ln x + 2 J0 (x) x +
@| =0
}
A
X X X
n=2 n=1 n=0
{z

n
y nalmente ( 1) 2n
1 1
B x + 22B x2 + B n2 +B xn = 2 x2n
X
X
1 2 n=3 n n 2 n=1 2
22n
(n!)
es claro que para los coe cientes impares se obtiene b 1 = b3 = b5 = = b2n+1 = 0 ya que
2 2 2 3 2 4 2 5
Bx+2 Bx +3 B+B x +4 B+B x +5 B+B x + = 2 1 ( 1)n 2n x2n
X
1 2 3 1 4 2 5 3 n=1 2n 2
2 (n!)
mientras que para las potencias pares tendremos la relacion de recurrencia
" #
2n (2n)2 22(n 1) (n!)
2
2n 2
B = 1 ( 1)
n+1
n
b
entonces
B2 = 2 1
2 2 2 2 2 2 ! 1
B4 = 1
(2 2)2
2 (1!) 22 (2!) 2 (1!) = 42 22 1+2
4 11
B6 = (6) "
2 b4 # " 2+4
2 2
2 #
24 (3!)2 = 62 24 (3!) 1 + 2 = 6242 22 1 + 2 + 3
1 3 1 3 1 1 1 1 1
.
. 0 1
B = ( 1)k+1 1 + 1 + 1 + + 1 + 1 +1 = ( 1)k+1 Hk
2k
B
22k (k!)2 B
k k 1 k 2 Hk
3 2 C C
22k (k!)2
@ A
| de }
As la segunda solucion puede tomar la forma
{z
y2 (x) = J0 (x) ln x + 1 ( 1)n+1 Hn x2n
X
2
n=1 22n (n!)
y por lo tanto la solucion general tendra la forma
y (x) = A 1 J 0 (x) + A 2 J (x) ln x + 1 n+1 Hn
( 1)
x2n
" 0 n=1 22n (n!)2 #
X
es costumbre en F sica reacomodar la segunda solucion de la forma #
y (x) Y (x) = 2 + ln x J (x) + 1 ( 1)n+1 H
2 0 2 n
x2n
"
0 n=1 22n (n!)2
X
6
donde se conoce como la constante de Euler-Mascheroni y tiene un valor
n!1 n n 1 n 2 3 2
=lm + + + + + +1 ln (n) = 0;5772
1 1 1 1 1
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. Ademas de poeta, se destaco por sus contribuciones al Calculo y
a la Mecanica.
y as , nalmente
y (x) = C1 J0 (x) + C2 Y0 (x)
Comportamiento de las funciones de Bessel de orden cero. De primera especie J 0 (x) y de

segunda especieY0 (x)
Notese que tanto la funcion de Bessel de orden cero, de primera especie, J 0 (x) ; como la funcion de
Bessel de orden cero, de segunda especie, Y 0 (x) ;tienen un comportamiento oscilatorio cuando x ! 1,
2
que J0 (0) = 1, mientras que Y0 (x) se comporta como ln x cuando x ! 0:
8.3. m1 6= m2 ^ m1 m2 = N con N entero.

En general, la ecuacion indicadora para este caso, m1 m2 = N ) m1 = N + m2, con m1 > m2. Este caso
nos lleva a la ecuacion (13)
( n 1 )
N 1
X X
m m+n (24)
0 = x fa0 EI (m)g + an EI (m + n) + ak [(m + k) bn k + cn k] x
n=1 k=0
(
+ aN N 1 ) m+N (25)
EI (m + N) + ak [(m + k) bN k + cN k] x +
X
k=0
1 n 1
)
(
X X
m+n
+ an EI (m + n) + ak [(m + k) bn k + cn k] x (26)
n=N+1 k=0
donde esta m es la menor de las ra ces y m + N la mayor. Anulando el termino fa0 EI (m)g coe ciente de
m
x nos lleva a la ecuacion 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 coe ciente del termino a n para n = N, esto es la ecuacion (12),
consecuentemente eso signi ca que se derivan dos casos
N 1
EI (m + N) = 0 ^
P
k=0
ak [(m + N + k) bn k + cn k] = 0
En este caso la solucion en serie de Frobenius, partiendo de la ra z mayor de la ecuacion
indicadora, m + N, quedar en terminos de a 0 y no sera linealmente independiente a la solucion
provista por la ra z menor, por consiguiente la solucion proveniente de esta ra z menor, m, sera la
solucion general. Esto quiere decir que en (18) la constante f = 0 y por consiguiente la solucion sera
m 1 # 1 # (27)
y(x) = a0 kxk " + aN kxkm "
| nX } | 1+
Xn
n =1
a
}
(m ) xn
n =0
a (m + N) xn
N 1 y {z y {z
1 (x) 2 (x)
P
EI (m + N) = 0 ^ k=0 ak [(m + N + k) bn k + cn k] 6= 0
En este caso la ra z mayor de la ecuacion indicadora m + N determinar una de las soluciones, la
constante f 6= 0 y la solucion general tendra la forma de
1 m1 " n#
y(x) = C1 kxk 1 + n=1 a n (m 1) x
| X }
y
{z
1 (x)
m 1 1 n m 2 1
+ C2 8 (m1) x ln x + x 9
> n
f x 1+ an an (m2) x >
" # "
> >
> k k k k #>
n=1 n=0
> >
> >
< X X =
>
y1(x) >
> >
> >
:| {z } ;
| {z }
y2(x)
La ecuacion de Bessel de orden fraccionario puede ilustrar el primero de estos casos, resolvamosla
1
2 00 0 2 y=0
x y +xy + x
4
una vez mas, le expansion en serie de Frobenius de y (x) nos lleva a una ecuacion indicadora del tipo
1 8 b0 = 1 (= f1 (x) = 1
m= > 1
2 1 >
>
c0 =
4
9 = m (m 1) + m= 0 =
>
> 9
>8
1
> ( 4 ( > >
> = f (x) = x
2 1
> >>
= <> > 2
m= > c1 =0 > ( 4
2 > >
> >
> < =
>
> >
; >
c2 =1
> >
> >
>> >
>> >
>> >
>> >
:: ;
los demas coe cientes b1 = b2 = b3 = = bn = 0 y c3 = c4 = = cn = 0: Dado que N = 1 se tiene que la
ecuacion (12)
8a1[(m + 1) (m + 1 1) + b0 (m + 1) + c0] + a0 [b1 (m + 1 1) + c1] + 9 =0 (28)
> >
< =
> | {z } >
: ;
EI(m+N)

8 9
> 1 1 1 1 >
>
>
>>
1 +1 + +1 +a > =0 a [0] + a [0] = 0(29)

>a [0]
> 0 > 1 0
> 2 2 2 4 > )
> >
> >
> >
< =
EI 1 +1
> >
> |
2 ! ! }
>
> >
> >
> >
> >
> >
: ;
con lo cual cualquier valor de a 1 y a0 estaran permitidos. La relacion de recurrencia proviene de anular el
m+n 1
coe ciente de x , para m = 2 : Vale decir
1
X
an EI (m + n) + ak [(m + k) bn k + cn k] = 0 ) (30)
k=0
an 2 +n 2 +n 1 + 2 +n + an 1 [0] + an 2 [1] = 0
4
1 1 1 1
2 (31)
los coe cientes seran an n n = an 2
(32
)
n = 2 =) 1 n = 3 =) 1
a2 = a3 =
2 a0 6 a1
n = 4 =) a4 = 1 a 2 = 1 a0 n = 5 =) a5 = 1 a3 = 1 a1
12 24 20 120
1 1 1 1
a = a a
n = 6 =) a4 = 30 4 720 0 n = 7 =) a7 == 42 a5 = 5040 1
. .
. .
. .
1 2
1 2 x + 24 x
4 6
720 x ++ a1 x 1 6x+ 5 7
120 x 5040 x +
1 1 1 1 1 1
y(x) = a 0 x 2 2
N 1
Para considerar el segundo caso, EI (m + N) = 0
la ecuacion diferencial 2 ^P ak
k=0 2 [(m + N + k) bn k + cn k] 6= 0 analicemos
00 0
x y + x (2 x) y + 2 x y=0
una vez mas, la expansion en serie de Frobenius de y (x)
nos lleva a una ecuacion indicadora del tipo
88 9 = f1 (x) = 2+x
b0 = 2
>< b1 = 1 =(
>
>
m=2
>
>
>
>: ;
= m (m 1) 2m + 2 = 0 > c0 = 2
=
9 >
>
m=1
( ( >
= < 8 9
> c1 = 0 > = f2 (x) = x2 + 2
; >
> >
>
>
>
>(
>
> < =
>
>
> c2 = 1
>
> > >
>
> > >
> > >
> > >
: : ;

los demas coe cientes b2 = b3 = = b n = 0 y c 3 = c4 = = cn = 0: Dado que N = 1 se tiene que la

ecuacion (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 relacion de recurrencia para m = 2 nos queda

1
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)
los coe cientes seran 2
an n + n + a n 1 (n + 1) = an 2
(37
)
n = 2 =) 6a2 = 3a1 a0 = 3a0 a0 =) 1

a2 = 3 a0
4 1
n = 3 =) 12a3 = 4a2 a1 = 3 a0 + a 0 =) a3 = 36 a0
. .
. .
. .
y
1
2
(x) = a0 x 1 x + 3 x
2
36 x
3
+
1 1
y la segunda solucion linealmente independiente sera
y2(x) = u (x) B1y1(x) ln x (38)
y queda como ejercicio demostrar la relacion de recurrencia para los coe cientes B n de la serie que describe
u (x) = x 1
! (39)
Bixi
Xi
=0
9. Revisitando a Bessel
La Ecuacion de Bessel es 2 00
x y
0
+ xy + x
2 2
k y = 0; k2<
obviamente x = 0 es una singularidad regular,

por lo tanto el metodo de Frobenius nos permite a rmar que
si x = x0 corresponde a un polo regular de la ecuacion

2 00 ~ 0 ~
xy + xP (x) y + Q (x) y = 0;

la solucion vendra expresada de la forma

1
rX n
y(x) = (x x0) an (x x0)
n=0
con r real y determinado a traves de las ra ces de la ecuacion indicadora

r2 ~ ~
+ P (x0) 1 r + Q(x0) = 0
~ ~
y donde P (x) y Q (x) son funciones anal ticas en el entorno de x = x0 y por lo tanto
1 1
~
X X
~ n n
P (x0) = bn (x x0) ^ Q(x0) = cn (x x0)
n=0 n=0
Para la Ecuacion de Bessel
~ =1 ^ ~ 2k 2 2
; c2 =1
P (x) = 1 ) b0 Q(x) = x ) c0 = k
los demas coe cientes b's y c's se anulan. La ecuacion indicadora y sus ra ces quedan como
2 2 2
m (m 1) + m k = 0 ) m = k ) r1;2 = k
Donde, para r = k proponemos 1
k X anxn
y1(x) = x
n=0
Al hacer las cuentas
X
1 X
1
2 2 k n k 2 n
x k y1(x) = x an 2x x k anx
n=2 n=0
1
X
0 k n
xy1 (x) = x (k + p) anx
n=0
1
2 00 k X n
x y (x) = x (k + p) (k + p 1) a x
1 n=0 n
la ecuacion de Bessel queda como

1 1
X X
2 n n
(k + n) (k + n 1) + (k + n) k anx + an 2x = 0
n=0 1 n=2
X n
(2n + 1) a x+ [k (2n + k) a + a n 2 ]x =0
1 n=2 k
y por consiguiente obtenemos la relacion de recurrencia

a
an = n 2
n (2k + n)
donde es claro que a1 = 0: Adicionalmente, si suponemos
a0 = 1
k
2 (k + 1)

tendremos
a1 = a 3 = a 5 = =0
a0
a2 =
2 (2k + 2)
a0
a4 =
2 4 (2k + 2) (2k + 4)
.
..
n a0
a2n = ( 1)
22n n! (k + 1) (k + 2) (k + n)
Por lo tanto, la primera de las soluciones sera

J k (x) = 1 n x 2n+k
( 1)
n=0 (n + 1) (n + k + 1) 2
la Funcion de Bessel, de orden k de primera especie.
Si k = 0 entonces 1 n
( 1)
J (x) = x 2n
0 n=0 (n!)2 2
X
Para el caso particular de k = m entero positivo la funcion de Bessel de primera especie toma la forma de
J m (x) = 1 n x 2n+m
n=0 n! (n + m)!
( 1) 2

Para encontrar la segunda solucion linealmente independiente de la ecuacion de Bessel el metodo de

Frobenius propone tres casos dependiendo el valor de k
8
< r1=r2r )6= entero ) k 6= entero r1 = r2

k=0
:
r1 r2 = entero ) k = entero
Caso 1: r1 r2 6= entero ) k 6= entero:
La solucion general sera de la forma
y(x) = C1Jk(x) + C2J k(x)
donde 1 n
( 1)
J (x) = x 2n k x>0
k n=0 (n + 1) (n k + 1) 2
X k
k
Para x < 0 se debe reemplazar x por k xk . Notese que esta ultima expresion tambien es valida para k
1
semientero, i.e. k = n + .
2
Caso 2: r1 = r2 = r ) k = 0:
1
X
n
K0(x) = a~nx + J0(x) ln x
n=0
y los coe cientes a~ n se encuentran mediante el tradicional metodo de sustituirlos en la ecuacion de

Bessel para k = 0
00 0
xy + y + xy = 0;
De donde se obtiene
1 1
X X
n+1 n 1
xK0(x) = a~nx + xJ0(x) ln x = a~n 2x + xJ0(x) ln x
n=0 n=3
n 1 0 n 1 J0(x)
1 na~ x + (J (x) ln x) 1 na~ x + J0 (x) ln x +
X X
K0 (x) = =
n 0 n
0 0
n=0 n=1
x
1 J0(x)
00 00 0
n (n
X
xK (x) = 1) a~ xn 1 + xJ (x) ln x + 2J (x)

0 n 0 0 x
n=2
y por lo tanto 2 3
xJ000 ln x + 2J00
n a~n + a~n
1 2 0 (x) = 0
a~1 + 4~a2x + + J0 + xJ0
2 xn 1 +
X 4 =0 }5
n=3 | {z
Acomodando y derivando la expresion para J0 tendremos
2 0 1 n+1
1 n a~ + a~ xn 1 = 2J (x) = 2 2n ( 1) x2n 1
X
0 X
a~1 + 4~a2x + nn 2 n=1 2n 1 2
n=3 2 (n!)

Ahora multiplicando la expresion por x y separando las sumatorias en sus terminos pares e impares,
tendre-mos
1 h i
X 2 2n+1
a~1x +n=1 (2n + 1) a~2n+1 + a~2n 1 x =0
2
h
1
(2n) 2 a~2n + a~2n
i
x2n
+ 4~a2x 2 n+1
= x + n=1 ( 1)
1
2
22n (n!)2
x2n
n
X X
n=2 2
Por lo cual a~1 = a~3 = a~5 = = 0 mientras que
4~a2 = 1;
2
(2n) a~2n + a~2n = ( 1)
n+1 2n n>1
2
2n 2
2 (n!)
De esta forma los coe cientes quedan como:
1
a~2 = 1+2 = 1+
22 24 (2!)2 2
2 21 1 1 1
a~4
.
2 4
.
.
a~
= n+1 1+1+ 1+ 1 + + 1
( 1)
2n 2n 2 2 3 4 k
2 (n!)
La expresion para la solucion general de la ecuacion de Bessel para k = 0 sera
K (x) = 1 n+1 1 +1 + 1 +1 + +1 + J (x) ln x
( 1)
x 2n
0 n =0 (n!) 2
2 3 4 k 2 0
En F sica, es costumbre expresar esta solucion de una forma equivalente pero ligeramente diferente:
Y (x) = 2 1 n 1 +1 +1 + +1 x 2 J (x) lnx +
( 1)
2 3 k 2
2n + 2
0 (n!)2 0
n=0
i
X h
donde, una vez mas, = 0;577215664901 es la constante de Euler-Mascheroni.

Caso 3: r1 r2 = entero ) k = entero:
X
1
k+n
Kk(x) = a~nx + CJn(x) ln x
n=0
Procediendo de forma equivalente a la situacion anterior tenemos que la solucion general podra
expresarse (luego de una laboriosa faena) como
Kk(x) = (k n 1)! x 2n k H x k
k 1 1 2
n! 2 k
2k ! 2
X
n=0
1 n
1 X ( 1) [H + H ] x 2n+k
n n+k + Jk(x) ln x 2 n=1 n! (k
+ n)! 2

Y nalmente la Funcion de Bessel de orden k de segunda especie o Funcion de Neumann

Y (x) = (k n 1)! x 2n k Hk x
k
k
k 1 1 n=0 (n!)
2
2 k! 2
X
1 n
1 X ( 1) [H + H ] x 2n+k 2 h x i
n)! 2 2
n n+k + Jk(x) ln + n=1 n! (k +
En ambos casos 1 1 1
Hn = 1 + 2 + 3 + + n
Mas aun
Y (x) = 2 J (x) ln x 1 k 1 (k n 1)! x 2n k
k k n=0 2
2 (n!) 2
1 n X
( 1)
1 x 2n+k [ (n + 1) + (n + k + 1)]
n=1 n! (k + n)! 2
0 X
(n)
donde (n) = es la funcion Digamma con

(n)
1 1 1
(n + 1) = + 1 + + + +
2 3 n
(1) =
Tambien es costumbre de nir la funcion de Bessel de segunda especie en terminos de las de primera especie
Nk(x) = Yk(x) = Jk(x) cos k J k(x)
sen k
Notese que para k = m entero, aparentemente no esta de nida. Pero, aplicando la regla de L'Hospital
d [Jk(x) cos k J k(x)]
Nm(x) = dk
d
[sen k ]
dk k=m
d
d
=
Jn(x) sen n + cos n Jk(x) J k (x)
dk dk
cos n
k=m
1 d n d
= dk Jk(x) ( 1) dk J (x)
k k=m
De este modo, la soluciones generales para la ecuacion de Bessel, se expresan segun el caso en
Zk(x) = C1Jk(x) + C2J k(x); k 6= entero
~ k=0 _ entero
Zk(x) = C1Jk(x) + C2Yk(x);
~
La funciones Zk(x) y Zk(x) se denominan Funciones Cil ndricas de orden k
Propiedades de las Funciones de Bessel

9.1. Otras Formas de la Ecuacion de Bessel

Haciendo los cambios de variables correspondientes llegamos a
2 2 2 2
u (x) + 1 2 u (x) +x
00 0 1 u(x) = 0
+ k
x 2
x
donde
u(x) = x Zk( x )
00
o tambien u (x) + x u(x) = 0
p
con u(x) = xZ +2 +
p
2x
2 1+
1 2
9.2. Relaciones de Recurrencia:

Las funciones de Bessel tienen las siguientes relaciones de recurrencia
xJk+1(x) 2k Jk(x) + xJk 1(x) = 0

0
Jk+1(x) + 2Jk (x) Jk 1(x) = 0
Para demostrar estas relaciones partimos por demostrar la siguiente identidad
k 0 k
x Jk(x) = x Jk 1(x) x
k 0 k
Jk(x) = x Jk+1(x)

De la expresion para Jk(x) se obtiene

#
" 1 n 0
( 1) 1
( 1)
n
2 (n + k) x
2n+2k 1
X x 2n+2k
n =0 (n + 1) (n + k + 1)
X
n=0 2n+k
2 2 (n + 1) (n + k + 1)
k n
=x 1 ( 1) x2n+(k 1)
X
2n+(k 1)
n=0 2 (n + 1) (n + k) =
k
x Jk 1(x)
Unos cambios apropiados nos llevan a demostrar las segunda de las relaciones y al desarrollar las derivadas
k 0 k 1 k 0 k
x Jk(x) = kx Jk(x) + x Jk (x) = x Jk 1(x)
k 0 k 1 k 0 k
x Jk(x) = kx Jk(x) + x Jk (x) = x Jk+1(x)
Por lo cual
0
kJk(x) + xJk (x) = xJk 1(x)
0
kJk(x) + xJk (x) = xJk+1(x)
Al sumar y restar miembro a miembro obtenemos las relaciones de recurrencia. Es obvia la importancia
que adquieren J1(x) y J0(x) para generar el resto de las funciones de Bessel.
9.3. Funciones de Bessel y Funciones Elementales

1
Las funciones de Bessel de orden semientero, k = 2 se expresa como
1 n
( 1)
J1=2(x) = r x x 2n
2 n=0 (n + 1) n + 2
3 2
pero como X 2 =
n + 2 =2
3 1 3 5
2 2 2n
3 3 5 2n + 1 (2n + 1)
se encuentra que
1 n
( 1)
J1=2(x) = x r (2n + 1) x2n
n
2 n=0 2 n! 2
3
1 3 5
X +
p x x2 x4 x6
= 23
1 +
2x 2 3 2 4 3 5 2 4 6 3 5 7
1 x3 x x7 1
5
=p 23
1 + += p 23
sen x
2x 3! 5! 7! 2x
3 p
Finalmente, y otra vez invocando a las propiedades de la funcion Gamma: 2 = 2

r
2
J (x) = sen x
1=2 x
Equivalentemente se puede demostrar que

r cos x
J 1=2(x) = 2
x
y ahora utilizando las relaciones de recurrencia tendremos que
1
J3=2(x) = J 1=2(x) + x Ji 1=2(x)
r
= x
h x cos x
2 sen x
As mismo
J5=2(x) = J1=2(x) + 3J (x)

3=2
x
=r 3
2
x
x2 x sen x
sen x 3 cos
x
En general
Jn+ 21 (x) = ( 1) r x (xdx)n x n = 1; 2; 3;

n
n 2 n+ 1
d sen x
r 2
n = 1; 2; 3;
Jn+ 21 (x) = x (xdx)n x
n
2 n+
1
d cos x
2
Las funciones de Bessel de orden semientero son las unicas funciones de Bessel que pueden ser
expresadas en terminos de funciones elementales.
9.4. Re exion:
Las funciones de Bessel cumplen con
m
J m(x) = ( 1) Jm(x)
Para el caso k = m entero positivo la Funcion de Bessel de primera especie toma la forma de
J (x) = 1 n x 2n+m
( 1)
m n =0 n! (n + m)!
2
X
Si k = m es un entero negativo los primeros m terminos de la serie anterior se anulan ya que (n) ! 1 para
n = 1; 2; 3; y la serie se arma como
x 2n+m =
1 1 ( 1)l+m
X
n
( 1) n! X
x 2l+m 2 l =0 (l + m)! l!
J m(x) = (n m)!
n=m 2
m
J m(x) = ( 1) Jm(x)

9.5. Funcion Generatriz

La funcion generatriz para las Funciones de Bessel es
(t
B(x; t) = e x2 1
t
)
desarrollando las dos series para las exponenciales

xt x x n
x
e 2 = 1 + 2 t + 222! t2 + + 2 n!
n n
t +
x x x 2 ( 1) x
n n
n
e 2t = 1 t1 + t + + t +
2 2 n
2 2! 2 n!
Por lo tanto multiplicando ambas series
x 1
( 1 xn )( 1 ( 1)n xn 1
)=
B(x; t) = e
X X
2 tn
(t )= 2nn! 2nn! t
n
Jn(x) tn
X
t
n=0 n=0 n= 1
9.6. Representacion Integral para las Funciones de Bessel

i
En la expresion anterior para la funcion generatriz se realiza el siguiente cambio de varible t = e de este
modo
(t ) ix sen
e x2 1
t =e = cos (x sen ) + i sen (x sen )
y por lo tanto
1
X
cos (x sen ) + i sen (x sen ) = Jn(x) [cos (n ) + i sen (n )]

n= 1
m
igualando partes reales e imaginarias y recordando que J m(x) = ( 1) Jm(x), para anular los terminos
impares en la serie de la parte real y los pares en la de la parte imaginaria, podemos escribir
1
X
cos (x sen ) = J0(x) + 2 J2n(x) cos (2n )

n=1
1
X
sen (x sen ) = 2 J2n+1(x) sen ([2n + 1] )

n=0
Multiplicando miembro a miembro en la primera de ellas por cos (2k ) (y por cos ([2k + 1] ) ) y la segunda
por sen ([2k + 1] ) (y por sen (2k )). Integrando (en 0 ), tambien miembro a miembro y termino por termino
en las series, se obtienen
J Z
2n (x) = 0
1
cos (x sen ) cos (2n ) d
Z
0= 0 cos (x sen ) cos ([2n + 1] ) d
1
J Z
2n+1 (x) = 0 sen (x sen ) sen ([2n + 1] ) d
1
Z
0= 0 sen (x sen ) sen (2n ) d

Sumando miembro a miembro primera con cuarta y segunda con tercera tendremos la expresion integral
para las funciones de Bessel Z
Jn(x) = 0 cos (cos (n ) x sen ) d
ya que todos sabemos que
cos (n x sen ) = cos (2n ) cos (x sen ) + sen (2n ) sen (x sen )
9.7. Ortogonalidad de las Funciones de Bessel

9.7.1. Ortogonalidad:
Haciendo el caso particular de =0y = 1 en la primera de las expresiones equivalentes para la
ecuacion de Bessel, tendremos 2
k u(x) = 0
2
1 0
u00 (x) + x u (x) +
x2
donde
u(x) = Jk( x)
multiplicando por x la ecuacion diferencial puede ser reescrita como
2
k
0 0
[xJk ( x)]
+ 2x x Jk( x) = 0
suponiendo k real y positivo, planteamos la ecuacion para dos ndices diferentes 1 y 2 por lo tanto quedan
como
2
k
0 0
[xJk ( 1x)] 2 x Jk( 1x) = 0 + 1 x 2
k
0 0
[xJk ( 2x)]
+ 22x x Jk( 2x) = 0
Multiplicando apropiadamente por Jk( 1x) y Jk( 2x); Integrando y restando miembro a miembro tendremos
que
1 1
n 0 0 0 0o
Z Z Jk( 2x) [xJk ( 1x)] Jk( 1x) [xJk ( 2x)] dx
2212 0 xJk( 1x)Jk( 2x)dx = 0
Z 1 0 0 0
= 0 [Jk( 2x)xJk ( 1x) Jk( 1x)xJk ( 2x)] dx
0 0 x=1
= J k( 2
x)xJ ( x) J ( x)xJ ( 2 x)
k 1 k 1 k j
x=0
para i las ra ces de los polinomios de Bessel, i.e. Jk( i) = 0 podemos deducir que las funciones de Bessel
son ortogonales 1
Z xJk( ix)Jk( jx)dx / ij

2
i2j 0
Mas aun partiendo de la ecuacion de Bessel original se puede llegar a

k J ( x) k 1 [J0 ( )]2 + 2 k2 [J ( )]2
2 =
k 2 k 2 k
2

10. Algunas funciones Especiales

10.1. Funcion Gamma e Integrales de Probabilidad
Es la generalizacion del factorial n! el cual solo esta de nido para enteros, mientras que (z) esta de
nida para toda variable compleja z con parte real positiva.
(z) se de ne indistintamente como:
Z 1 tz 1 (z 1)Re z > 0
(z) = 0 e t dt (z 1)!
1 2 3n Y
z
(z) = l m n
n!1 z (z + 1) (z + 2) (z + n)
1 1 z z
(z) = ze z
1+ n e n
Y
n=1
donde n es un entero positivo y

= 0;577215664901
se conoce como la constante de Euler-Mascheroni:
Tambien es frecuente encontrar (z) con algunas variantes cosmeticas:
Z0 ln 1
1 2 1 z 1 1
Z z Z
(z) = 2 dt = k 0
0
e t t2z 1dt = t e kttz 1dt
Para probar la equivalencia de las dos primeras de niciones inventamos las siguiente funcion de dos variables
Z n 1t n
F (z; n) = 0
Re z > 0
n tz 1dt
y como es conocido que n
l t e t
n !1 n
Entonces m 1 Z 1
nl!1 F (z; n) = F (z; 1) = 0 e t

dt(z)
tz 1
m
Con lo cual queda demostrada la primera de propuestas de Euler.

Para construir la segunda partimos de la misma funcion F (z; n) y un cambio estrategico de variable
u= t .
n zZ n n z 1
F (z; n) = n 0 (1 u) u du
Re z > 0
Un par de integraciones por partes nos llevan a comprobar

( u z 1 n 1 )
F (z; n) = nz u)n 1 uzdu
z z
(1 u) n 0 + Z 0 (1
1) 1 n(n 1) 1
=n z (1 u) n 2 z+1 n(n + (1 u) n 2 u z+1 du

( u
z(z + 1) 0 z(z + 1) Z0 )

que el primer termino se anula siempre. Repitiendo el proceso n veces

z n(n 1)(n 2)(n 3) 3 2 1 1
F (z; n) = n uz+n 1du
z(z + 1)(z + 2)(z + 3) (z + n 1) Z0
z
= n n(n 1)(n 2)(n 3) 3 2 1
z(z + 1)(z + 2)(z + 3) (z + n)
Una vez mas, haciendo
l m F (z; n) = F (z; z n(n 1)(n 2)(n 3) 3 2 1 (z)
)=lmn
n!1 1 n!1 z(z + 1)(z + 2)(z + 3) (z + n)
Se completa la equivalencia para la primera y segunda de niciones de Euler.
En particular, de la primera de las de niciones se tiene por integracion directa
Z 1
(1) = 0 e tdt = 1
1 Z 1 1 2
= 0 Z p
2 e u du =
e tt 1=2dt = 0
mientras que de la segunda, si z = n = 1; 2; 3; ; se obtiene
(n + 1) = n!
n+ 1 1 3 5 (2n 1)
=
n p 2
2
Finalmente la tercera de las de niciones de la funcion (z) viene expresada en termino de un producto
in nito (Weierstrass). Este puede demostrarse partiendo de la segunda de nicion de Euler
(z) = l m 1 2 3n z
n
n!1 z (z + 1) (z + 2) (z + n)
= l m1 n
m z n 1+ z 1
n =lm 1 nz
n!1 z m=1 m + z n!1 z m=1 m
Por lo tanto Y Y
n
1 m 1+ ze z ln n
(z) m
=z
nl!1 m=1
Ahora bien, multiplicando y dividiendo por Y
n
m=1
ez=m = ez(
Pn
m =1 m
1 )
nos queda Y
n
1 n 1
( z )
=z z((P m
) ln n) 1+ m
(z) nl me m=1 nl m e z=m
!1
n !1 o m=1
Y
Donde, la serie exponente del primero de los terminos converge a un valor constante y cual ha quedado
bautizado como la constante de Euler-Mascheroni ! )
= lm 1+2
n +3 +4 + n ln n = l m
( m ln n n
1 1 1 1 !1 n 1
!1 m=1
= 0;5772156649015328606065112

Con lo cual queda demostrada la tercera de las propuestas para expresar la Funcion Gamma
1 1 z z
z
(z) = ze 1+ n e n
Y
n=1
Es facil comprobar las siguientes propiedades
(z + 1) = z (z)
Z =
(z) (1 z) = 0
1 xz 1dx
(1 + x) sen z
1
(z) z +
22z 1 2 = p (2z)
La primera de ellas (la relacion de recurrencia) es trivial y se obtiene integrando por partes la de nicion
integral de Euler.
Z 1 1 tz 1
e t dt = z (z)
(z + 1) = 0 1
e ttzdt = z e ttz 1 0
Z
+z 0
8z con z 6=
El primer sumando de la integracion por partes se anula siempre. Esta propiedad es valida
0; 1; 2; .
La segunda de las propiedades (formula de re exion) se comprueba tambien partiendo de de nicion
2
integral de Euler con el siguiente cambio de variable t = u .
Z 1 2
Z1 2
(z) (1 z) = 2 0 e u u2z 1du 2 0 e v v1 2zdv
ZZ
=4 0 e (u +v ) v dudv
u 2z 1 1 2 2
si ahora hacemos u = cos ' y v = sen ', la integral anterior queda como
1
Z 2 Z =2
(z) (1 z) = 4 0 e d 0 cot2z 1 'd'
=4 2 Z0 =2 'd'
c ot 2z 1
1
Finalmente, si p dx
' = arccot
x; d' =
p
2 x (1 + x)
nos queda
1 xz 1dx
Z =
(z) (1 z) = 0
(1 + x) sen z
p
Es inmediato volver a comprobar 2 =
1
Del mismo modo, si utilizamos ademas la relacion de recurrencia encontramos
(z) ( z) =
z sen z

La formula de duplicacion y puede comprobarse partiendo de la de nicion del l mite de Euler, as

2 (2z) 2 =p
2z 1 1
(z) z +
Hay que hacer notar que en el numerador sustituimos directamente las expresiones para del l mite de
Euler y en la del denominador, adicionalmente sustituimos n por 2n
(2z) = l m 1 2 3n 2z 1 2 32n 2z
n =lm (2n)
n!1 2z (2z + 1) (2z + n) n!1 2z (2z + 1) (2z + 2n)
por lo cual se tiene la siguiente expresion dentro del argumento del l mite
22z 1 z (z + 1) (z + 2) (z + n) n
z
1 2 3n
1 2 3 n
nz+ 21
+n
z + 21 z + 23z + 21
12 3 2n
2z (2z + 1) (2z + 2) (2z + 2n) (2n)2z
la cual se reacomoda como

lm 2z 1 2 (2z + 2n)
2 (n!) 2z (2z + 1) (2z + 2)
n2z+ 21
1 3 1 2z
y n!1
(2n)! z z + 2 (z + 1) z + 2 (z + 2) z + 2 + n (z + n) (2n)
1 3 n 2
z z + 2 (z + 1) z + 2 (z + 2) z+ 2 2n 1 22z 1 (n!) nz+ 2
1
nl m 1 (z + 1) z + 3 (z + 2) z + 12 n (z + n) (2n)! 22zn2z
!1 z z + 2 2 +
Entonces
2z 1 1 2 p n
2 (z) z + 2n 2 (n!)
2
=lm
(2z) n !1 (2n)!
por lo cual se deduce que el valor de lado izquierdo de la ecuacion es independiente del valor de z por lo
tanto es el mismo valor para cualquier z y lo evaluamos para z = 1
2
2z 1 1
2 (z) z + 1
(2z) 2 =
2= p
con lo cual queda comprobada la formula de duplicacion.
Otras propiedades que van quedar como curiosidad y sin demostracion son:
1n 1 k
(nz) = (2 )(1 n)=2 nnz 2
k=0 z +n
z z! (z + 1)
= =
w w!(z w)! (w + 1) (z w + 1)
A partir de (z) se de nen otras funciones especiales, las cuales se expresan conjuntamente con sus
propie-dades como

10.2. La Funciones Digamma y Poligamma

,
Para evitar tratar con derivadas de los factoriales es costumbre trabajar con sus derivadas logar
tmicas. A partir de la segunda de nicion
(z + 1) = z! = l m 1 2 3n z
n
n!1 (z + 1) (z + 2) (z + n)
ln (z!) = ln nl!1 (z + 1) (z + 2) (z + n)
m 1 2 3 n n
z
= l m (ln (n!) + z ln n ln (z + 1) ln (z + 2) ln (z + n))

n!1
ahora derivando,
dz ln (z!) F(z) = nl!1
ln n (z + 1) (z + 2)(z + n)
d m 1 1 1
y nalmente acomodando, para llegar a la de nicion mas conocida
1 1 1
F(z) =n=1 (z + n) n
Tambien se le conoce como funcion Psi
0
(z) d d
(z) = = ln ( (z)) F(z 1) = ln ((z 1)!)
(z) dz dz
con las siguientes propiedades
(z + 1) = 1 + (z)
(z 1) z
(z) = cot z
(z) + z+ 1 + 2 ln 2 = 2 (2z)
2
De donde se pueden deducir
0
(1) = (1) =
La funcion (z) puede ser expresada en terminos de integrales de nidas, para ello notamos que
Z1
0 tz 1
(z) = e t ln t dt
0
y sustituyendo la identidad de Frullani

ln t = 1 dx
e x e xt
Z x
0

tendremos
0
(z) = 1
1 dx dt
et t z 1 e x e xt
Z
Z 0
0 x
1 x 1
Z d
Z
= 0
x 0 e x e xt e ttz 1dt
1
1 x 1 dx 1
Z d
Z tz 1
= 0
x ex 0
e t dt Z0 x Z0 e t(x+1)tz 1dt
Z 1 dx h i
= (z) e x (x + 1) z
0 x
z R 1 kt z 1
ya que (z) = k 0 e t dt y por lo tanto
Z 1 dx h i
(z) = ex (x + 1) z
x
0
Tambien daremos (sin demostracion) otras expresiones
Z 1 dt
(z) = 0 et e tz
t t
1 e
1
(z) = + 1 xz 1 dx
Z0 1 x
La Funcion Poligamma se obtiene derivando en forma repetida la Funcion Digamma

m 1 1
d
(m) (m) m+1 X m = 1; 2; 3
(z + 1) = F (z) = m F(z) = ( 1) m! n=1 m+1
dz (z + n)
y cuya serie puede ser expresada en terminos de la funcion Zeta de Riemman

1
(m) X
1
m
n=1 n
como
(m) m+1
F (0) = 1) m! (m + 1)
de esta forma es posible desarrollar en serie de Maclaurin
2 3 n
z z n z
ln(n!) = + 2 (2) 3 (3) + + ( 1) n (n) +
10.3. La Aproximacion de Stirling

El comportamiento asintotico de las funciones especiales sera tratado en una clase aparte. Pero la
impor-tancia de la Aproximacion de Stirling obliga a que se trate en este punto. Supongamos que
consideramos el caso z x 2 <: Por lo cual estamos interesados en el caso x 1: Partimos de
1 1 1 1 1
(x) = (x + 1) = e
tx
t dt =
x x Z0 x Z0 t+x ln t e dt

haciendo t = xu tenemos que

Z1
(x) = xx e x(u ln u)du

0
Ahora bien, el integrando tendra su maximo en u = 1 donde la exponencial tiene su m nimo y es entorno
a ese punto que desarrollar en series de Taylor
1 2 1 3 1 4
u ln u = 1 + 2 (u 1) 3 (u 1) + 4 (u 1) +
por lo cual
Z0 1
Z 0 1
(x) = xx e x(u ln u) du xx du e x(1+ 21 (u 1)
2
3
1
(u 1) +
3
)du
p 1) nos lleva
Otro cambio de variable v = x (u
(x) xxe x
1 exp 1 v3 1 v4 + 1 v5
dve 21 v2 3
Z x p 4x 5x 2
px p 3 x
1
Para valores x 1 se expande, en series de Taylor los exponenciales que contengan terminos p x
(x) xxe x 1 1 2
1+ 1 1 + 1 +
dve 2 v
p
v3 v4 3 v5
px Z
1 3 x 4x 5x 2
2! 3px 4x 5x 2 2
1
+ 1 1
+ 1
+
v3 v4 3
v5 )
3! 3px 4x 5x 2 3
1 1 3 1 4 1 5
+ v v + 3 v +
Finalmente, utilizando que
1
dve 2
1
v2 vn = 8p (n 1) n = 2k
<p 2 n=0
2 1 3 5
Z
1 0 n = 2k 1
: que
e integrando termino a termino, tendremos
r
(x) x xxe x 1 + 12x + 288 x2 +
2 1 1
10.4. La funcion Beta
Z1
x 1 y 1
B(x; y) = t (1 t) dt Re x > 0 ^ Re y > 0
0
B(x; y) = (x)+(y)
y)
(x

10.4.1. La Funcion Integral de Probabilidad

La funcion Integral de Probabilidad para una variable compleja arbitraria z como
Z z dt
(z) = p 0
e t
2 2
Obviamente (0) = 0 y (1) = 1: A partir de esta funcion se de ne la Funcion Error y su complemento
z 2
Z p
erf(z) =
e dt = 2 (z)
t
0
z 2
Z p
erf c(z) = t
e dt = 2 [1 (z)]
z
Funcion Gamma Incompleta (z; ) y

Funcion Gamma Complementaria (z; )
Z
tz 1
(z; ) = e t dt
0
Z1
tz 1
(z; ) = e t dt
las cuales claramente cumplen con

(z; ) + (z; ) = (z)
y resumen
z
(z + 1; ) = z (z; ) e (z + 1; ) =
z
z (z; ) + e

Referencias
[1] M. L. Abell y J. P Braselton (1994) Di erential Equations with MAPLE V (Academic Press, New York).
[2] F. Ayres (1952) Di erential Equations. (Shaum's Series McGraw-Hill, New York) (Existe Traduc-cion).
[3] Arfken, G. B.,Weber, H., Weber, H.J. (2000) Mathematical Methods for Physicists 5ta Edicion
(Academic Press, Nueva York)
[4] W. E. Boyce y R.C. DiPrima. Elementary Di erential Equations and Boundary Problems. (8th Edition)
John Wiley, New York, 2004. (Existe Traduccion)
[5] C. H. Edwards, D. E. Penney (2003) Elementary Di ential Equations with Boundary Value Problems
(Prentice Hall, Englewood Cli , N.J:)
[6] L. Elsgoltz (1969) Ecuaciones Diferenciales y Calculo Variacional. (Mir, Moscu).
[7] Harper, C. (1971) Introduction to Mathematical Physics (Prentice Hall, Englewood Cli , N.J:)
[8] A. Kiseliov, M. Krasnov y G. Makarenko. Problemas de Ecuaciones Diferenciales Ordinarias.
Mir, Moscu, 1969.
[9] N. N. Lebevedev (1972) (Special Functions and Their Applications. Dover, New York)
[10] The Mathematical Atlas http://www.math-atlas.org/welcome.html
[11] M. Tenenbaun y H. Pollard (1963) Ordinary Di erential Equations (Harper and Row, New York).
[12] Riley, K.F., Hobson, M.P. y Bence, S.J. (2002) Mathematical Methods for Physics and Enginee-ring
(Cambridge University Press)
[13] Weisstein, E. W., MathWorld http://mathworld.wolfram.com/

Serie

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Serie

Enviado por

Direitos autorais:

Formatos disponíveis

Web: http://cevale2.uis.edu.co/ ~cevale2/wiki/index.php/Luis_A.

Version 1.0 Julio 2012

3. Otro Ejemplo menos conocido pero importante 4

4. Metodo de Diferenciaciones Sucesiva 6

5. Metodos de los Coe cientes Indeterminados 7

6. Los Puntos y las Estrategias 9

7. Ecuaciones e intervalos en puntos regulares 9

8.1. m1 6= m2 ^ m1 m2 6= N con N entero. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

10.1. Funcion Gamma e Integrales de Probabilidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

Luis A. Nu~nez Universidad Industrial de Santander 1

1. Otra vez Algebra de Series

en la ultima sumatoria hemos hecho k = j 1; por lo cual j = k + 1:

Las series se igualan

n=0 nan (x x0) = an n (x x0) = an+1 (n + 1) (x x0) =) an+1 = (n + 1)

Luis A. Nu~nez Universidad Industrial de Santander 2

se propone encontrar una solucion entorno a x = 0 por lo tanto

De este modo, la solucion deseada queda como

3. Otro Ejemplo menos conocido pero importante

Luis A. Nu~nez Universidad Industrial de Santander 4

y tendra como solucion 3

Luis A. Nu~nez Universidad Industrial de Santander 5

4. Metodo de Diferenciaciones Sucesiva

compruebe que tiene como solucion general por series 2 3 4 +

y al incorporar los valores de las condiciones iniciales se obtiene

5. Metodos de los Coe cientes Indeterminados

Como x0 = 0; proponemos la siguiente expansion en series de potencias como solucion:

Luis A. Nu~nez Universidad Industrial de Santander 7

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

Luis A. Nu~nez Universidad Industrial de Santander 8

6. Los Puntos y las Estrategias

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

m (x x )2 q (x) l m (x x R (x) = l con l nito

O tambien, lo que es lo mismo, que p(x) (x x0) = (x x0)

7. Ecuaciones e intervalos en puntos regulares

0 =2a2 + ( + 1)a0 f( + 2)( 1)a1 + (3 2)a3g x+

donde hemos utilizado

y las potencias impares seran

a5 = ( + 4)( + 2)( 1)( 3) a1 5!

y su solucion general de la forma

Luis A. Nu~nez Universidad Industrial de Santander 10

Ecuacion de Legendre Polinomio Asociado

(n + 1) Pn+1(x) = (2n + 1) xPn(x) nPn 1(x)

4 Aleman famoso por sus contribuciones en Teor a de Grupos y

Luis A. Nu~nez Universidad Industrial de Santander 11

y con la propuesta de serie de Frobenius

Luis A. Nu~nez Universidad Industrial de Santander 12

Expandiendo las series tendremos

obtendremos la relacion de recurrencia para la serie de Frobenius, correspondientes a cada ra z de la ecuacion

Luis A. Nu~nez Universidad Industrial de Santander 13

3. m1 6= m2 ^ m1 m2 = N con N entero positivo.

(x x0) (x x0) 2 f2 (x) =

Luis A. Nu~nez Universidad Industrial de Santander 14

b) si m1 = m2 tenemos que insertar un logaritmo

c) m1 6= m2 ^ m1 m( 2 = N con N entero positivo, entoces, como por arte

Luis A. Nu~nez Universidad Industrial de Santander 15

8.1. m1 6= m2 ^ m1 m2 6= N con N entero.

Ejemplo, encuentre la solucion en terminos de series de Frobenius de la siguiente ecuacion

Luis A. Nu~nez Universidad Industrial de Santander 16

con lo cual la relacion de recurrencia general sera

1 1 328 9 571 571

As la primera solucion sera 2 3 4

Luis A. Nu~nez Universidad Industrial de Santander 17

Por lo cual, la solucion general sera