Funciones de Bessel - Fórmulas

Agustı́n Nieto
Departamento de Fı́sica
Universidad de Oviedo
25 de mayo de 2009

Resumen
Se dan fórmulas relacionadas con las funciones de Bessel de primera, segunda y tercera especie,
las funciones de Bessel modificadas y las funciones esféricas de Bessel.

1. Funciones de Bessel de 1a especie

1.1. Ecuación de Bessel
La ecuación de Bessel de orden ν es

z 2 u00 (z) + z u0 (z) + (z 2 − ν 2 ) u(z) = 0 . (1)

Cuando ν no es un número entero, la solución general es de la forma

u(z) = A Jν (z) + B J−ν (z) , (2)

donde A y B constantes y
∞
X (−1)j  z 2j+ν
Jν (z) = (3)
Γ(j + 1) Γ(j + ν + 1) 2
bessel.nb j=0

Si ν es un número entero, véase la sección dedicada a las funciones de Neumann (funciones de Bessel de
2a especie).

1.2. Propiedades

J0 HzL
1

J1 HzL
0.8

J2 HzL
0.6

0.4

0.2

z
2 4 6 8
-0.2

-0.4

1
Funciones de Bessel – A.Nieto 2

1.
r
2
J1/2 (z) = sin z (4)
πz
r
2
J−1/2 (z) = cos z (5)
πz

2. Cuando |z| → 0,
 z 2
J0 (z) ≈ 1− (6)
2
1  z ν
Jν (z) ≈ ν 6= 0 (7)
Γ(ν + 1) 2
z
J00 (z) ≈ − (8)
2
1  z ν−1
Jν0 (z) ≈ ν 6= 0 (9)
2Γ(ν) 2

3. Para las funciones de Bessel de orden entero n:

J−n (z) = (−1)n Jn (z) (10)

n
Jn (−z) = (−1) Jn (z) (11)

4. Relaciones de recurrencia
2ν
Jν−1 (z) + Jν+1 (z) = Jν (z) (12)
z
Jν−1 (z) − Jν+1 (z) = 2Jν0 (z) (13)

o, de forma equivalente,
ν
Jν±1 (z) = Jν (z) ∓ Jν0 (z) (14)
z
5. Fórmula wronskiana
0 −2 sin(πν)
Jν (z) J−ν (z) − Jν0 (z) J−ν (z) = (15)
πz
6.
 
d
z ν Jν (z) = z ν Jν−1 (z) (16)
dz
 
d
z −ν Jν (z) = −z −ν Jν+1 (z) (17)
dz

7. b
Z b 
1 0 0
z Jν (kz)Jν (lz) dz = lz J ν (kz)Jν (lz) − kz J ν (lz)J ν (kz) (18)
a k 2 − l2 a

8. 2
1 2 ν2 z2 0
Z   
z Jν2 (kz) dz = 2
z − 2 Jν (kz) + J (kz) (19)
2 k 2 ν

9. La función generatriz de las funciónes de Bessel de 1a especie es

   +∞
z 1 X
g(z, t) ≡ exp t− = Jn (z) tn (20)
2 t n=−∞
Funciones de Bessel – A.Nieto 3

10.
+∞
X
Jn (x + y) = Jk (x) Jn−k (y) (21)
k=−∞

11.
+∞
X
iz sin θ
e = Jn (z) einθ (22)
n=−∞
o
+∞
X
cos(z sin θ) = J0 (z) + 2 J2k (z) cos(2kθ) (23)
k=1
+∞
X
sin(z sin θ) = 2 J2k+1 (z) sin [(2k + 1)θ] (24)
k=0
(25)

12. Representación integral de Schläfli:

e(z/2)(t−1/t)
I
1
Jn (z) = dt (26)
2πi C tn+1

donde el contorno C es de la forma

En general
e(z/2)(t−1/t)
I
1
Jν (z) = dt (27)
2πi C tν+1
donde con el contorno C es de la forma

C
Funciones de Bessel – A.Nieto 4

También
Z π
1
Jn (z) = ei(z sin θ−nθ) dθ (28)
2π −π
1 π
Z
Jn (z) = cos(z sin θ − nθ) dθ (29)
π 0

1.3. Ortogonalidad de la función de Bessel de 1a especie

Denotemos como xνk el k-ésimo cero de la función de Bessel Jν (x): Jν (xνk ) = 0. Denotemos como
x0νk el k-ésimo cero de la derivada de la función de Bessel Jν0 (x): Jν0 (x0νk ) = 0.
Consideremos el intervalo 0 ≤ x ≤ a. Entonces, los conjuntos de funciones
n x o
νk
Jν x (30)
a
y   0 
xνk
Jν x (31)
a
son ortogonales con peso x en dicho intervalo:
Z a 2
a2 0
x  x  
νk νl
x Jν x Jν x dx = J (xνk ) δkl (32)
0 a a 2 ν
Z a  0   0 
a2 ν2
 
xνk xνl
x Jν x Jν x dx = 1 − 0 2 Jν2 (x0νk ) δkl (33)
0 a a 2 (xνk )

2. Funciones de Bessel de 2a especie: Funciones de Neumann

2.1. Definición

cos(νπ)Jν (z) − J−ν (z)
ν 6= 0, 1, 2, . . .


sin(νπ)



Nν (z) ≡ (34)

 cos(sπ)Js (z) − J−s (z)
 lı́m ν = 0, 1, 2, . . .


s→ν sin(sπ)

2.2. Ecuación de Bessel de Orden Entero

La ecuación de Bessel de orden entero n es
z 2 u00 (z) + zu0 (z) + (z 2 − n2 )u(z) = 0 . (35)
La solución general es de la forma
u(z) = AJn (z) + BNn (z) , (36)
con A y B constantes.

2.3. Propiedades
1. Para ν = n, entero  
1 ∂Jν (z) ∂J−ν (z)
Nn (z) = − (−1)n (37)
π ∂ν ∂ν ν=n

2. Cuando |z| → 0,
2 z 
N0 (z) ≈ ln + γ (38)
π 2 
ν
−Γ(ν) 2
Nν (z) ≈ ν>0 (39)
π z
Funciones de Bessel – A.Nieto 5

3. Para funciones de Bessel de orden entero n:

N−n (z) = (−1)n Nn (z) (40)

Nn (−z) = (−1)n Nn (z) (41)

4. Relaciones de recurrencia
2ν
Nν−1 (z) + Nν+1 (z) = Nν (z) (42)
z
Nν−1 (z) − Nν+1 (z) = 2Nν0 (z) (43)

5. Desarrollos asintóticos
r    
2 1 π
Nν (z) ∼ sen z − ν + |z| → ∞ (44)
πz 2 2
r
2  ez −ν

Nν (z) ∼ − ν→∞ (45)
πν 2ν

6. Algunas fórmulas wronskianas

2
Jν (z)Nν0 (z) − Jν0 (z)Nν (z) = (46)
πz
2
Jν (z)Nν+1 (z) − Jν+1 (z)Nν (z) = − (47)
πz

3. Funciones de Bessel de 3a especie: Funciones de Hankel

3.1. Definiciones

Hν(1) (z) ≡ Jν (z) + i Nν (z) (48)

Hν(2) (z) ≡ Jν (z) − i Nν (z) (49)

3.2. Propiedades
1. Cuando |z| → 0,

(1) 2i  z 
H0 (z) ≈ 1 + ln + γ (50)
π  2
ν
−i Γ(ν) 2
Hν(1) (z) ≈ ν>0 (51)
π z
(2) 2i  z 
H0 (z) ≈ 1 − ln + γ (52)
π  2
ν
i Γ(ν) 2
Hν(2) (z) ≈ ν>0 (53)
π z

2. Para funciones de Bessel de orden entero n:

(1)
H−n (z) = (−1)n Hn(1) (z) (54)
Hn(1) (−z) = (−1) n
Hn(1) (z) (55)

y
(2)
H−n (z) = (−1)n Hn(2) (z) (56)
Hn(2) (−z) = (−1) n
Hn(2) (z) (57)
Funciones de Bessel – A.Nieto 6

(1) (2)
3. Relaciones de recurrencia para Hν y Hν
2ν
Hν−1 (z) + Hν+1 (z) = Hν (z) (58)
z
Hν−1 (z) − Hν+1 (z) = 2Hν0 (z) (59)

4. Desarrollos asintóticos
r
2 i[z−(ν+1/2)π/2]
Hν(1) (z) ∼ e (60)
πz
r
2 −i[z−(ν+1/2)π/2]
Hν(2) (z) ∼ e (61)
πz

5. Algunas fórmulas wronskianas

(1) (2) 4
Hν(2) Hν+1 − Hν(1) Hν+1 = (62)
iπz
(1) 2
Jν−1 Hν(1) − Jν Hν−1 = (63)
iπz
(2) 2
Jν Hν−1 − Jν−1 Hν(2) = (64)
iπz

4. Funciones de Bessel Modificadas

4.1. Definiciones
1. Para x ∈ R

Iν (x) ≡ Jν (ix) e−iνπ/2 (65)

iπ (1)
Kν (x) ≡ H (ix) eiνπ/2 (66)
2 ν

2. Para z ∈ C
a) Si −π < arg z < π/2,

Iν (z) ≡ Jν (zeiπ/2 ) e−iνπ/2 (67)

iπ (1) iπ/2 iνπ/2
Kν (z) ≡ H (ze )e (68)
2 ν

b) Si π/2 < arg z < π,

Iν (z) ≡ Jν (ze−iπ/2 ) eiνπ/2 (69)

−iπ (2) −iπ/2 −iνπ/2
Kν (z) ≡ Hν (ze )e (70)
2

4.2. Ecuación de Bessel Modificada

Las funciones de Bessel modificadas satisfacen la ecuación de Bessel modificada:

z 2 u00 (z) + zu0 (z) − (z 2 + ν 2 )u(z) = 0 . (71)

La solución general es de la forma

u(z) = AIν (z) + BKν (z) , (72)
con A y B constantes.
Funciones de Bessel – A.Nieto 7

4.3. Propiedades
1.
∞  z 2j+ν
X 1
Iν (z) = (73)
j=0
Γ(j + 1)Γ(j + ν + 1) 2
π I−ν (z) − Iν (z)
Kν (z) = (74)
2 sen(νπ)
In (0) = δ0n (75)

2. Cuando |z| → 0,

z2
I0 (z) ≈ 1 + (76)
4
1  z ν
Iν (z) ≈ (77)
Γ(ν + 1) 2
z 
K0 (z) ≈ −γ − ln (78)
 2ν
Γ(ν) 2
Kν (z) ≈ ν>0 (79)
2 z

3. Para funciones de Bessel de orden entero n:

I−n (z) = In (z) (80)

n
In (−z) = (−1) In (z) (81)

K−n (z) = Kn (z) (82)

n
Kn (−z) = (−1) Kn (z) (83)

4. Relaciones de recurrencia
a)
2ν
Iν−1 (z) − Iν+1 (z) = Iν (z) (84)
z
0
Iν−1 (z) + Iν+1 (z) = 2Iν (z) (85)

b)
2ν
Kν−1 (z) − Kν+1 (z) = − Kν (z) (86)
z
Kν−1 (z) + Kν+1 (z) = −2Kν0 (z) (87)

5. Desarrollos asintóticos
r
1 z
Iν (z) ∼ e (88)
2πz
r
π −z
Kν (z) ∼ e (89)
2z

6. Fórmula wronskiana
−1
Iν (z)Kν0 (z) − Iν0 (z)Kν (z) = (90)
z
Funciones de Bessel – A.Nieto 8

5. Funciones Esféricas de Bessel

5.1. Definiciones
(1) (2)
Denotemos mediante Fν (z) las funciones Jν (z), Nν (z), Hν (z) y Hν (z) y mediante fn (z) las funcio-
(1) (2)
nes jn (z), nn (z), hn (z) y hn (z) respectivamente. Entonces, definimos las funciones esféricas de Bessel
como r
π
fn (z) ≡ Fn+1/2 (z) , (91)
2z
donde n ∈ Z.

5.2. Ecuación Esférica de Bessel

Las funciones esféricas de Bessel satisfacen la ecuación

z 2 u00 (z) + 2zu0 (z) + [z 2 − n(n + 1)]u(z) = 0 . (92)

La solución general es de la forma

u(z) = A jn (z) + B nn (z) , (93)
donde A y B son constantes. La solución también se puede escribir

u(z) = A h(1) (2)

n (z) + B hn (z) . (94)

Nótese que j−n (z) no es una solución de (??), sino de z 2 u00 (z) + 2zu0 (z) + [z 2 − n(n − 1)]u(z) = 0.

5.3. Propiedades
1.
r
π
nn (z) = (−1)n+1 J−n−1/2 (z) (95)
2z
h(1)
n (z) = jn (z) + i nn (z) (96)
h(2)
n (z) = jn (z) − i nn (z) (97)

2. Desarrollos en serie
∞
X (−1)k (k + n)! 2k
jn (z) = 2n z n z (98)
k!(2k + 2n + 1)!
k=0
∞
(−1)n+1 X (−1)k (k − n)! 2k
nn (z) = z (99)
2n z n+1 k!(2k − 2n)!
k=0
∞
iz X
e ik (n + k)!
h(1)
n (z) = (−i)n+1 (100)
z k!(2z)k (n − k)!
k=0
∞
−iz X
e (−i)k (n + k)!
h(2)
n (z) = in+1 (101)
z k!(2z)k (n − k)!
k=0
Funciones de Bessel – A.Nieto 9

3.
sen z
j0 (z) = (102)
z
sen z cos z
j1 (z) = 2
− (103)
 z z
3 1 3
j2 (z) = − sen z − 2 cos z (104)
z3 z z
cos z
n0 (z) = − (105)
z
cos z sen z
n1 (z) = − 2 − (106)
 z z
3 1 3
n2 (z) = − − cos z − 2 sen z (107)
z3 z z
(1) i
h0 (z) = − eiz (108)
z 
(1) iz 1 i
h1 (z) = e − − 2 (109)
z z
 
(1) iz i 3 3i
h2 (z) = e − 2− 3 (110)
z z x
(2) i −iz
h0 (z) = e (111)
z
4. Relaciones de recurrencia
2n + 1
fn−1 (z) + fn+1 (z) = fn (z) (112)
z
nfn−1 (z) − (n + 1)fn+1 (z) = (2n + 1)fn0 (z) (113)

5.
 
d n+1
z fn−1 (z) = z n+1 fn−1 (z) (114)
dz
 
d −n
z fn (z) = −z −n fn+1 (z) (115)
dz

6. Cuando |z| → 0,
2n n! zn
jn (z) ≈ zn = (116)
(2n + 1)! (2n + 1)!!
(2n)! −n−1
nn (z) ≈ − n z = −(2n − 1)!! z −n−1 (117)
2 n!
7. Desarrollos asintóticos
1  π 
jn (z) ∼sen z − n (118)
z 2
1  π 
nn (z) ∼ − cos z − n (119)
z 2
iz
e
h(1)
n (z) ∼ (−i)
n+1
(120)
z
−iz
e
h(2)
n (z) ∼ i
n+1
(121)
z
8. Algunas fórmulas wronskianas
1
jn (z)n0n (z) − jn0 (z)nn (z) = (122)
z2
0 0 −2i
h(1) (2) (1) (2)
n (z)hn (z) − hn (z)hn (z) = (123)
z2
Funciones de Bessel – A.Nieto 10

5.4. Ortogonalidad de la función esférica de Bessel

Denotemos como xnk el k-ésimo cero de la función esférica de Bessel jn (x): jn (xnk ) = 0. Denotemos
como x0nk el k-ésimo cero de la derivada de la función esférica de Bessel jn0 (x): jn0 (x0nk ) = 0. Los ceros de
las funciones de Bessel J y j se relacionan mediante la expresión

xnk = xn+1/2,k , (124)

donde xνk es el k-ésimo cero de la función de Bessel Jν (x).

Consideremos el intervalo 0 ≤ x ≤ a. Entonces, los conjuntos de funciones
  
xnk
jn x (125)
a
y
x0nk
  
jn x (126)
a
son ortogonales con peso x2 en dicho intervalo:
Z a
a3
   
xnk xnl
x2 jn x jn x dx = [jn0 (xnk )]2 δkl (127)
0 a a 2
Z a  0   0 
a3
 
xnk xnl n(n + 1) 2 0
x2 jn x jn x dx = 1− jn (xnk )δkl (128)
0 a a 2 (x0nk )2
Además, las funciones esféricas de Bessel son ortogonales respecto de los ı́ndices:
Z +∞
π
jn (x)jm (x)dx = δnm (129)
−∞ 2n + 1