Funciones de Bessel.

1. Función generatriz y desarrollo en serie.

1. Al igual que los polinomios de Legendre las funciones de Bessel de primera
especie se pueden introducir a través de una función generatriz.
n=∞
x
(t− 1t )
X
g(x, t) = e 2 = Jn (x)tn (1)
n=−∞

Notese que entendemos las funciones de Bessel como los coeficientes, 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:
∞ ∞ ∞ X
∞
xt x
X xr tr X xs t−s X (−1)s x r+s
e e 2
− 2t
= (−1)s s = tr−s (2)
r=0
2r r! s=0
2 s! r=0 s=0
r!s! 2

Para poder identificar 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=∞ ∞
X X (−1)s  x n+2s n
t (3)
n=−∞ s=0
s!(n + s)! 2
∞
X (−1)s  x n+2s xn xn+2
Jn (x) = = n − n+2 (4)
s=0
s!(n + s)! 2 2 n! 2 (n + 2)!

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) 1 1 1 1X n
X 1
= x(1 + 2 )g(x, t) = x(1 + 2 Jn (x)t = Jn (x)(tn + tn−2 (5)
dt 2 t 2 t n=0 n=0
2x
Por otro lado ∞
dg(x, t) X
= nJn (x)tn−1 (6)
dt n=0

1
 Igualando términos en tn en ambas expresiones llegamos a
2n
Jn−1 (x) + Jn+1 (x) = Jn (x) (7)
x
Podemos encontrar una segunda relación de recurrencia derivando con respecto a
x:
n=∞
dg(x, t) 1 1 1 1 X
= (1 − )g(x, t) = (1 − ) Jn (x)tn (8)
dx 2 t 2 t n=−∞
por otro lado
∞
dg(x, t) X ′
= Jn (x)tn (9)
dx n=0
Igualando términos en tn en ambas expresiones llegamos a:

Jn−1 (x) − Jn+1 (x) = 2Jn′ (x) (10)

Sumando y restando las dos relaciones de recurrencia obtenemos:
n
Jn−1 (x) = Jn (x) − Jn (x) (11)
x
n
Jn+1 (x) = Jn (x) − Jn′ (x) (12)
x

3. Propiedades.
1. Las funciones de Bessel no son polinomios. Su serie de Taylor tiene infinitos
términos.
2. Para x << 1 las funciones de Bessel se pueden aproximar como

xn
Jn (x) ∼ n (13)
2 n!
El término dominante a x pequeños es una potencia del mismo orden que la
función de Bessel (ver figura) . De lo que se deduce además que J0 (x) = 1 y que
Jn (x) = 0 para n > 0
3.
J−n (x) = (−1)n Jn (x) (14)

Esto se puede demostrar haciendo

∞
X (−1)s  x 2s−n
J−n (x) = (15)
s=0
s!(s − n)! 2

2
 1
J0
J1
J2
J3
J4

0.5

−0.5
0 2 4 6 8 10 12 14 16 18 20

Figura 1: Representación de las cinco primeras funciones de Bessel. Son funciones oscilantes
pero no periódicas.

Las contribuciones a la serie para valores s = 0, . . . , n − 1 son cero. Así que

podemos hacer el cambio s → s + n
∞
X (−1)s+n  x 2s+n
J−n (x) = = (−1)n Jn (x) (16)
s=0
(s + n)!s! 2

4. La paridad de las funciones de Bessel está bien definida:

Jn (−x) = (−1)n Jn (x) (17)

Esto se puede comprobar de la siguiente forma:

n=∞
(−t+ 1t )
X
(−1)n Jn (−x)tn
−x
g(−x, −t) = e 2 = (18)
n=−∞

que por otro lado es igual a:

n=∞
x
(−t+ 1t ) (t− 1t )
X
Jn (x)tn
−x
g(−x, −t) = e 2 =e 2 = (19)
n=−∞

3
5.
J0′ (x) = J1 (x) (20)
Es un caso particular de la segunda relación de recurrencia.
Ejercicio Demuestralo
6. Si sustituimos t = eiθ en la función generatriz:
n=∞
x iθ −e−iθ )
X
iθ
g(x, e ) = Jn (x)einθ = e 2 (e = eix sin θ (21)
n=−∞

de donde concluimos que

n=∞
X
ix sin θ
e = Jn (x)einθ (22)
n=−∞

7. Del mismo modo si sustitiuimos t = ieiθ

n=∞
x iθ −(ieiθ )−1 ) ix iθ +e−iθ )
X
iθ
g(x, ie ) = Jn (x)in einθ = e 2 (ie = e 2 (e = eix cos θ (23)
n=−∞

y por tanto:

n=∞
X
eix cos θ = in Jn (x)einθ (24)
n=−∞

de esta propiedades puede venir un justificación física de la función generatriz.

Consideremos la onda plana en d=3 propagandose a lo largo de un eje perpen-
dicular al eje z. En coordenadas cilíndricas escribiremos
~
eik~r = eikr cos θ (25)

renombrando x = kr tenemos la expansión de una onda plana (propagandose

perpendicularmente al eje de la cilíndricas) en ondas cilíndricas

n=∞
X
eix cos θ in Jn (kr)einθ (26)
n=−∞

4
4. Representación Integral.
Las funciones de Bessel admiten la siguiente representación integral.
1 π
Z
Jn (x) = cos(nθ − x sin θ)dθ (27)
π 0
Para demostrar que esta definición es equivalente a otras que hemos estudiado
podemos utilizar las ecuaciones(14) (22) y (24) para escribir:

∞
X
cos(x sin θ) = J0 (x) + 2 J2n (x) cos(2nθ) (28)
n=1
∞
X
sin(x sin θ) = 2 J2n−1 (x) sin [(2n − 1)θ] (29)
n=1
(30)

Usamos la expresión para el coseno del ángulo resta.

1 π
Z
Jn (x) = cos(nθ − x sin θ)dθ (31)
π 0
1 π 1 π
Z Z
= cos(nθ) cos(x sin θ)dθ + sin(nθ) sin(x sin θ)dθ (32)
π 0 π 0
Usando las expresiones (30)
" ∞
#
π
1
Z X
Jn (x) = cos(nθ) J0 (x) + 2 J2m (x) cos(2mθ) dθ (33)
π 0 m=1
π ∞
1
Z X
+ sin(nθ)2 J2m−1 (x) sin [(2m − 1)θ] dθ (34)
π 0 m=1

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
1 R π
cos(nθ) cos(y sin θ)dθ n par
Jn (y) = π1 R0π (35)
π 0
sin(nθ) sin(y sin θ)dθ n impar
Esto completa la demostración. Por consiguiente se puede afirmar que:
π
1
Z
Jn (x) = cos(nθ − x sin θ)dθ (36)
π 0

Ejercicio: Comprueba la ecuación (14) utilizando la representación integral

5
 1 R π
cos(−nθ) cos(y sin θ)dθ n par
J−n (y) = π1 R0π (37)
π 0
sin(−nθ) sin(y sin θ)dθ n impar

Jn (y) n par
J−n (y) = (38)
−Jn (y) n impar
Ejercicio: Comprobar la segunda relación de recurrencia utilizando la represen-
tación integral. Por un lado:
1 π ∂
Z
′
Jn (y) = cos(nθ − y sin θ)dθ (39)
π 0 ∂y
1 π
Z
= − sin(nθ − y sin θ)(− sin θ)dθ (40)
π 0
Por otro lado:
1 π
Z
Jn±1 (y) = cos(nθ − y sin θ ± θ)dθ (41)
π 0
Z π
1
= [cos(nθ − y sin θ) cos θ ∓ sin(nθ − y sin θ) sin θ)] dθ (42)
π 0
La combinación
π
2
Z
Jn−1 (y) − Jn+1 (y) = sin(nθ − y sin θ) sin θdθ (43)
π 0

cancela el término que es producto de cosenos.

Por tanto se cumple que Jn′ (y) = 21 (Jn+1 (y) − Jn−1 (y))

5. Ecuación de Bessel.
1. Utilizando las relaciones de recurrencia llegamos a la ecuación diferencial ordi-
naria:

d 2 Jn dJn
x2 2
+x + (x2 − n2 )Jn = 0 (44)
dx dx
Que es la ecuación de Bessel. Sus soluciones dependen del índice n. Las funciones
de Bessel tal como las hemos definido con la funcion generatriz satisfacen la
ecuación de Bessel.
2. Si dividimos la ecuación por x, el operador que genera la ecuación de Bessel es
autoadjunto. Para ello hay que redefinir el producto escalar adecuadamente.

6
3. Con la ecuación escrita en su forma canónica

d2 Jn 1 dJn n2
+ + (1 − )Jn = 0 (45)
dx2 x dx x2
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 ecuación 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 términos subdominantes para x >> 1
recuperamos la ecuación del oscilador armónico simple luego esperamos que las
soluciones de la ecuación de Bessel sean oscilatorias, no periodicas, pero que se
aproximen asintoticamente a oscilaciones armónicas para valores de x grandes.
5. Como veremos más adelante, la ecuación de Bessel aparece al aplicar el metodo
de separación de variables a la ecuación de autovalores del Laplaciano en coorde-
nadas polares. Versiones modificadas de esta ecuación aparecen en coordenadas
cilíndricas y esféricas.
6. En estas aplicaciones es habitual considerar como intervalo de definición un
recinto finito [0, a] con condiciones de contorno homogeneas en x = a. Es impor-
tante saber resolver ecuaciones de la forma Jn (a) = 0 ó Jn′ (a) = 0, o lo que es
lo mismo conocer, los valores del m-simo cero de la función de Bessel de orden
n xnm (Jn (xnm ) = 0) y de la derivada de la de la función de Bessel de orden
n x′nm (Jn′ (x′nm = 0). Los ceros de las funciones de Bessel y de sus derivadas
se pueden encontrar en libros de tablas y también en los libros de ecuaciones
diferenciales de la bibliografía.