Funciones de Bessel.

1. Funcin generatriz y desarrollo en serie.

1. Al igual que los polinomios de Legendre las funciones de Bessel de primera
especie se pueden introducir a travs de una funcin generatriz.
g(x, t) = e
x
2
(t
1
t
)
=
n=

n=
J
n
(x)t
n
(1)
Notese que entendemos las funciones de Bessel como los coecientes, que de-
penden de x, de una serie en la variable t. A diferencia de los polinomios de
Legendre, esta serie no es una serie de Taylor sino de Laurent pues contiene
potencias negativas.
2. Expandiendo el producto de las dos exponenciales podemos llegar expresiones
en forma de serie de Taylor:
e
xt
2
e

x
2t
=

r=0
x
r
t
r
2
r
r!

s=0
(1)
s
x
s
t
s
2
s
s!
=

r=0

s=0
(1)
s
r!s!
x
2
r+s
t
rs
(2)
Para poder identicar este producto con la serie en (1) haremos el cambio de
ndice n = r s o equivalentemente r = n + s y r + s = n + 2s. Sustituyendo
obtenemos:
n=

n=

s=0
(1)
s
s!(n + s)!

x
2

n+2s
t
n
(3)
J
n
(x) =

s=0
(1)
s
s!(n + s)!

x
2

n+2s
=
x
n
2
n
n!

x
n+2
2
n+2
(n + 2)!
(4)
2. Relaciones de Recurrencia
Podemos deducir relaciones de recurrencia similares a las encontradas para los
polinomios de Legendre de la siguiente forma:
dg(x, t)
dt
=
1
2
x(1 +
1
t
2
)g(x, t) =
1
2
x(1 +
1
t
2

n=0
J
n
(x)t
n
=

n=0
1
2x
J
n
(x)(t
n
+ t
n2
(5)
Por otro lado
dg(x, t)
dt
=

n=0
nJ
n
(x)t
n1
(6)
1
Igualando trminos en t
n
en ambas expresiones llegamos a
J
n1
(x) + J
n+1
(x) =
2n
x
J
n
(x) (7)
Podemos encontrar una segunda relacin de recurrencia derivando con respecto a
x:
dg(x, t)
dx
=
1
2
(1
1
t
)g(x, t) =
1
2
(1
1
t
)
n=

n=
J
n
(x)t
n
(8)
por otro lado
dg(x, t)
dx
=

n=0
J

n
(x)t
n
(9)
Igualando trminos en t
n
en ambas expresiones llegamos a:
J
n1
(x) J
n+1
(x) = 2J

n
(x) (10)
Sumando y restando las dos relaciones de recurrencia obtenemos:
J
n1
(x) =
n
x
J
n
(x) J
n
(x) (11)
J
n+1
(x) =
n
x
J
n
(x) J

n
(x) (12)
3. Propiedades.
1. Las funciones de Bessel no son polinomios. Su serie de Taylor tiene innitos
trminos.
2. Para x << 1 las funciones de Bessel se pueden aproximar como
J
n
(x)
x
n
2
n
n!
(13)
El trmino dominante a x pequeos es una potencia del mismo orden que la
funcin de Bessel (ver gura) . De lo que se deduce adems que J
0
(x) = 1 y que
J
n
(x) = 0 para n > 0
3.
J
n
(x) = (1)
n
J
n
(x) (14)
Esto se puede demostrar haciendo
J
n
(x) =

s=0
(1)
s
s!(s n)!

x
2

2sn
(15)
2
0 2 4 6 8 10 12 14 16 18 20
0.5
0
0.5
1


J
0
J
1
J
2
J
3
J
4
Figura 1: Representacin de las cinco primeras funciones de Bessel. Son funciones oscilantes
pero no peridicas.
Las contribuciones a la serie para valores s = 0, . . . , n 1 son cero. As que
podemos hacer el cambio s s + n
J
n
(x) =

s=0
(1)
s+n
(s + n)!s!

x
2

2s+n
= (1)
n
J
n
(x) (16)
4. La paridad de las funciones de Bessel est bien denida:
J
n
(x) = (1)
n
J
n
(x) (17)
Esto se puede comprobar de la siguiente forma:
g(x, t) = e
x
2
(t+
1
t
)
=
n=

n=
(1)
n
J
n
(x)t
n
(18)
que por otro lado es igual a:
g(x, t) = e
x
2
(t+
1
t
)
= e
x
2
(t
1
t
)
=
n=

n=
J
n
(x)t
n
(19)
3
5.
J

0
(x) = J
1
(x) (20)
Es un caso particular de la segunda relacin de recurrencia.
Ejercicio Demuestralo
6. Si sustituimos t = e
i
en la funcin generatriz:
g(x, e
i
) =
n=

n=
J
n
(x)e
in
= e
x
2
(e
i
e
i
)
= e
ixsin
(21)
de donde concluimos que
e
ix sin
=
n=

n=
J
n
(x)e
in
(22)
7. Del mismo modo si sustitiuimos t = ie
i
g(x, ie
i
) =
n=

n=
J
n
(x)i
n
e
in
= e
x
2
(ie
i
(ie
i
)
1
)
= e
ix
2
(e
i
+e
i
)
= e
ix cos
(23)
y por tanto:
e
ix cos
=
n=

n=
i
n
J
n
(x)e
in
(24)
de esta propiedades puede venir un justicacin fsica de la funcin generatriz.
Consideremos la onda plana en d=3 propagandose a lo largo de un eje perpen-
dicular al eje z. En coordenadas cilndricas escribiremos
e
i

kr
= e
ikr cos
(25)
renombrando x = kr tenemos la expansin de una onda plana (propagandose
perpendicularmente al eje de la cilndricas) en ondas cilndricas
e
ix cos
n=

n=
i
n
J
n
(kr)e
in
(26)
4
4. Representacin Integral.
Las funciones de Bessel admiten la siguiente representacin integral.
J
n
(x) =
1

0
cos(n xsin )d (27)
Para demostrar que esta denicin es equivalente a otras que hemos estudiado
podemos utilizar las ecuaciones(14) (22) y (24) para escribir:
cos(xsin ) = J
0
(x) + 2

n=1
J
2n
(x) cos(2n) (28)
sin(xsin ) = 2

n=1
J
2n1
(x) sin [(2n 1)] (29)
(30)
Usamos la expresin para el coseno del ngulo resta.
J
n
(x) =
1

0
cos(n xsin )d (31)
=
1

0
cos(n) cos(xsin )d +
1

0
sin(n) sin(xsin )d (32)
Usando las expresiones (30)
J
n
(x) =
1

0
cos(n)

J
0
(x) + 2

m=1
J
2m
(x) cos(2m)

d (33)
+
1

0
sin(n)2

m=1
J
2m1
(x) sin [(2m1)] d (34)
y de la ortogonalidad de la base de Fourier vemos que para n par contribuye
solamante la primera integral y para n impar la segunda. De ello deducimos que
J
n
(y) =

0
cos(n) cos(y sin )d n par
1

0
sin(n) sin(y sin )d n impar
(35)
Esto completa la demostracin. Por consiguiente se puede armar que:
J
n
(x) =
1

0
cos(n xsin )d (36)
Ejercicio: Comprueba la ecuacin (14) utilizando la representacin integral
5
J
n
(y) =

0
cos(n) cos(y sin )d n par
1

0
sin(n) sin(y sin )d n impar
(37)
J
n
(y) =

J
n
(y) n par
J
n
(y) n impar
(38)
Ejercicio: Comprobar la segunda relacin de recurrencia utilizando la represen-
tacin integral. Por un lado:
J

n
(y) =
1

y
cos(n y sin )d (39)
=
1

0
sin(n y sin )(sin )d (40)
Por otro lado:
J
n1
(y) =
1

0
cos(n y sin )d (41)
=
1

0
[cos(n y sin ) cos sin(n y sin ) sin )] d (42)
La combinacin
J
n1
(y) J
n+1
(y) =
2

0
sin(n y sin ) sin d (43)
cancela el trmino que es producto de cosenos.
Por tanto se cumple que J

n
(y) =
1
2
(J
n+1
(y) J
n1
(y))
5. Ecuacin de Bessel.
1. Utilizando las relaciones de recurrencia llegamos a la ecuacin diferencial ordi-
naria:
x
2
d
2
J
n
dx
2
+ x
dJ
n
dx
+ (x
2
n
2
)J
n
= 0 (44)
Que es la ecuacin de Bessel. Sus soluciones dependen del ndice n. Las funciones
de Bessel tal como las hemos denido con la funcion generatriz satisfacen la
ecuacin de Bessel.
2. Si dividimos la ecuacin por x, el operador que genera la ecuacin de Bessel es
autoadjunto. Para ello hay que redenir el producto escalar adecuadamente.
6
3. Con la ecuacin escrita en su forma cannica
d
2
J
n
dx
2
+
1
x
dJ
n
dx
+ (1
n
2
x
2
)J
n
= 0 (45)
Obsevamos que x=0 es un punto singular. Es de esperar que existan soluciones
que diverjan en ese punto. De hecho, las funciones de Bessel de segunda especie,
o funciones de Neumann, son tambien soluciones de la ecuacin de Bessel lineal-
mente independientes con las funciones de Bessel de primera especie y divergen
en x=0.
4. Partiendo de (45) y despreciando los trminos subdominantes para x >> 1
recuperamos la ecuacin del oscilador armnico simple luego esperamos que las
soluciones de la ecuacin de Bessel sean oscilatorias, no periodicas, pero que se
aproximen asintoticamente a oscilaciones armnicas para valores de x grandes.
5. Como veremos ms adelante, la ecuacin de Bessel aparece al aplicar el metodo
de separacin de variables a la ecuacin de autovalores del Laplaciano en coorde-
nadas polares. Versiones modicadas de esta ecuacin aparecen en coordenadas
cilndricas y esfricas.
6. En estas aplicaciones es habitual considerar como intervalo de denicin un
recinto nito [0, a] con condiciones de contorno homogeneas en x = a. Es impor-
tante saber resolver ecuaciones de la forma J
n
(a) = 0 J

n
(a) = 0, o lo que es
lo mismo conocer, los valores del m-simo cero de la funcin de Bessel de orden
n x
nm
(J
n
(x
nm
) = 0) y de la derivada de la de la funcin de Bessel de orden
n x

nm
(J

n
(x

nm
= 0). Los ceros de las funciones de Bessel y de sus derivadas
se pueden encontrar en libros de tablas y tambin en los libros de ecuaciones
diferenciales de la bibliografa.
7