Funciones Especiales 7: Relaciones de

Recurrencia funciones esféricas de Bessel

Relaciones de recurrencia para las funciones modificadas de Bessel y para las funciones de
Newmann.

Como ya habíamos visto, las funciones de Bessel de Primera clase y las J satisfacen relaciones
de de recurrencia que tienen la forma:

d ν
Jv (x) ∓ Jv (x) = ∓Jν±1 (x)
dx x

Resulta conveniente, como después veremos, escribir la función de la siguiente manera:

d
±ν ∓ν
x (x Jν (x)) = ∓Jν±1 (x)
dx

Recordando que J ν
ν
(ix) = i Jν (x) :

1 d
±ν ∓ν ν ν±1
x (x i Iν (x)) = ∓ i Iν±1 (x)
i dx

d
±ν ∓ν
x (x Iν (x)) = Iν±1 (x)
dx

d ν
⎧ Iν (x) − Iν (x) = Iν+1 (x)
⎪
⎪ dx x

ó⎨
⎪
⎪
⎩ d ν
Iν (x) + Iν (x) = Iν−1 (x)
dx x

Por otro lado, recordamos la definición para las funciones de Neuwmann:

cos νπ Jν (x) − J−ν (x) d

±ν ∓ν
Yν (x) ≡ , x (x Jν (x)) = ∓Jν∓1 (x)
sin νx dx

Sustituimos Y , como J , en la relación de recurrencia:

ν ν

d d
±ν ±ν ±ν ∓ν ∓ν
x (x Yν (x)) = x [cot νπ x Jν (x) − csc νπ x J−ν (x)]
dx dx

(cos νπ)Jν±1 (x) + J−ν ∓1 (x)

= ∓
sin νπ

Usando identidades trigonométricas, llegamos a que:

− [cos (ν ± 1)π] Jν±1 (x) + J−(ν±1) (x)

= ∓{ } = ∓Yν±1 (x)
− sin (ν ± 1)π
Funciones esféricas de Bessel
Para comenzar, recordemos que la ecuación de Bessel en su forma tradicional se escribe de la
siguiente manera:

2
d y dy
2 2 2
x + x + (x − ν )y = 0
2
dx dx

Ecuación de Helmholtz en coordenadas esféricas

2 2
∇ φ = −k φ

Para escribir la ecuación en coordenadas esféricas, hacemos:

(r, θ, ϕ), Hr = 1, hθ = r, hϕ = r sin θ

1 ∂ ∂φ ∂ ∂φ ∂ 1 ∂φ
2 2
{ (r sin θ ) + (sin θ ) + ( )} = −k φ
2
r sin θ ∂r ∂r ∂θ ∂θ ∂ϕ sin θ ∂ϕ

Para esta ecuación buscamos ahora, soluciones separables:

imϕ
φ(r, θ, ϕ) = R(r)P (θ)e

donde se requiere que:

m = 0, ±1, ±2, . . .

Ahora, sustituimos esto en la ecuación y despúes dividimos entre esta.

Después, multiplicamos por r , y ahora obtenemos una igualdad donde podemos separar las
2

variables que depende de r y las que dependen de θ, lo cual nos indica que en esta situación se
admiten soluciones separables.

2
1 d dR 1 d dP m
2 2
(r ) + (sin θ ) − = −k
2 2 2
r R dr dr r sin θ P dθ dθ r
2
sin θ

2
1 d dR 1 d dP m
2 2 2
(r ) + k r = − (sin θ ) +
2
R dr dr sin θ P dθ dθ sin θ

= const. = l(l + 1) ec. asociada de legendre

l = 0, 1, 2, . . .

2
d R dR
2 2 2
r + 2r + [k r − l(l + 1)] R = 0
2
dr dr

Como se puede notar, esto se parece mucho a las funciónes de Bessel y para mejor apreciar,
introducimos la varibale adimensional:
2
2 d R dR 2
x = kr : x + 2x + [x − l(l + 1)] R = 0
2
dx dx
 2

Podemos expresar x 2 d R
, como y tenemos luego que si:
dR d 2 dR
+ 2x (x )
2
dx dx dx dx

f (x)
R = ;
√x

df 1
⎛ √x − f ⎞
d dR d dx 2√x
2 2
(x ) = ⎜x ⎟
⎜ ⎟
dx dx dx x
⎝ ⎠

1 1
2
d 3
df x2 3 d f 3 1
df x2 df f
− (x 2 − f) = x 2 + x2 − −
2
dx dx 2 dx 2 dx 2 dx 4√x

2
d f df 1
2 2
x + x + [x − l(l + 1) − ]f = 0
2
dx dx 4

Llegamos, finalmente, a la ecuación de Bessel, para aun orden semientero y las soluciones de
esta se pueden obtener mediante las funciones de Bessel de primera clase.

2 2
d f df 1
2 2
x + x + [x − (l + ) ]f = 0
2
dx dx 2

La parte radial de la solución separable de la ecuación de Helmoholtz va a ser una combinación

lineal de las soluciones esféricas de Bessel de primera clase y de segunda clase.

1
R = (AJ 1 (x) + BY 1 (x))
l+ l+
√x 2 2

π π
jl (x) ≡ √ J 1 (x), , yl (x) ≡ √ Y 1 (x)
l+ l+
2x 2 2x 2

Tomando en consideración que la l tiene como mínimo valor el cero, podemos calcular:

∞ k 1

π π (−1) x
2k+
2

j0 (x) = √ J1 = √ ∑ ( )
(x) 3
2x 2 2x 2
k=0 k!Γ (k + )
2

Pero, hacemos primero:

3 1 1 1 1 1
Γ (k + ) = (k + ) Γ (k + ) = (k + ) (k − ) Γ (k − )
2 2 2 2 2 2

1 1 1 1
= (k + ) (k − )... Γ ( )
2 2 2 2

2k + 1 2k − 1 1
= ... √π
2 2 2

(2k + 2)!√π
=
2k+2
2 (k + 1)!

Sustituímos esto en j : 0
 ∞ k 2k+1 2k+2
π (−1) x 2 (k + 1)!
j0 (x) = √ ∑
1
2x k!(2k + 2)!√π 2k+
k=0 2 2

∞ k 2k+1
1 (−1) x
= ∑ 2(k + 1)
x (2k + 2)(2k + 1)!
k=0

∞ k 2k+1
1 (−1) x
= ∑
x (2k + 1)!
k=0

sin x
=
x

En forma similalr, reuniendo definiciones

1
(cos π)J 1 (x) − J 1 (x)
π π 2
2
−
2

y0 (x) ≡ √ Y 1 (x) = √
1
2x 2 2x
sin π
2

π
= −√ J 1 (x) = −j−1 (x)
−
2x 2

∞ k 1

π (−1) x
2k−
2

= −√ ∑ ( )
2x 1 2
k=0 k!Γ (k + )
2

(2k)!√π
Pero Γ
1
(k + ) =
2k
2
2 k!

Luego:
1
∞ k 2k− 2k
π (−1) x 2
2 k! cos x
y0 (x) = −√ ∑ = −
1
2x k!(2k)!√π 2k− x
k=0 2 2

Ahora, veremos que forma toman las la relaciones de recurrencia para las relaciones de
recurrencia de Bessel.

primero recordamos la siguiente definición de j en función de J y la relación de recurrencia l

básica para las funciones de Bessel de primera clase.

π ±ν d ∓ν
jl (x) = √ J 1 (x) , x (x Jν (x)) = ∓Jν±1 (x)
2x l+ dx
2

Primero, tomamos la relación de recurrencia y en ν , sustituímos por l +

1

1 1
±(l+ ) d ∓(l+ ) 2x 2x
2 2
x (x √ jl (x)) = ∓√ jl±1 (x)
dx π π

1 1 1
±(l+ ) d ∓(l+ )
1

2 2 2
x (x jl (x)) = ∓x 2 jl±1 (x)
dx

1 1
∓ (l + )
1 djl 2 2 1

x2 + jl = ∓x 2 jl±1 (x)
1
dx
x2

Tenemos entonces que:

 djl l
⎧
⎪
⎪ − = −jl+1
⎪ dx x

⎨
⎪
⎪
⎪ djl
⎩ l+1
+ jl = jl−1
dx x

(Las mismas relaciones se aplican para las yl )

cos x sin x
j1 (x) = − +
x x
2

cos x
j−1 (x) =
x

Ejemplo de una particula encerrada en una esfera de pared

rígida
2
ℏ ∂Ψ
2
− ∇ Ψ = iℏ (V = 0)
2m ∂t

imϕ −iEt/ℏ
Ψ = R(r)P (θ)e e

2M E
2 2 2
∇ Ψ = −k Ψ ; k ≡
2
ℏ

2
2M E α
li
= ; l = 0, 1, 2, . . . i = 1, 2, . . .
2 2
ℏ a

2 2
ℏ π
Emin =
2
2M a

Funciones Especiales 8: Otra forma de

construir las funciones de Bessel

Ecuación de Laplace: ∇ 2
φ = 0

En coordenadas cartesianas:

2 2 2
∂ φ ∂ φ ∂ φ
+ + = 0
2 2 2
∂x ∂y ∂z

En coordenadas cilíndricas (r, θ, z):

2 2
1 ∂ ∂φ 1 ∂ φ ∂ φ
(r ) + + = 0
2 2 2
r ∂r ∂r r ∂θ ∂z

Ambas ecuaciones admiten soluciones separables:

 Para coordenadas cartesianas:

ik1 x ik2 y αz
φ(x, y, z) = e e e

2 2 2
k + k = α
1 2

Para coordenadas cilíndricas:

imθ αz
φ(r, θ, z) = R(r)e e

2
1 d dR m
2
(r ) + (α − )R = 0
2
r dr dr r

2
d R dR
2 2 2
r + r + [(αr) − m ]R = 0
2
dr dr

Las soluciones obtenidas ya sea en coordenadas cartesianas o cilíndricas deben ser igualmente
útiles para expresar la solución general, de alguna forma estas debes ser equivalentes.

Ahora, podemos verlo como:

∞

i(k1 x+k2 y) imθ

e = ∑ Am Jm (αr)e

m=−∞

Donde, nos hace falta determinar A m

Debido a que podemos ver nuestras constantes en el plano cartesiano, podemos escribir esto
como:
∞

i(α cos θ x+α sin ϕ y) imθ

e = ∑ Am Jm (αr)e

m=−∞

iαr(cos θ cos θ+sin ϕ sin θ) imθ

e = ∑ Am Jm (αr)e

m=−∞

iαr cos (θ−ϕ) imθ

e = ∑ Am Jm (αr)e

m=−∞

Esto se puede expresar en serie como:

 k
∞ ∞ i(θ−ϕ) −i(θ−ϕ)
1 1 e + e
k k k
∑ (iαr) cos (θ − ϕ) = ∑ (iαr) [ ]
k! k! 2
k=0 k=0

∞ k k
k−n n
1 iαr k!
i(θ−ϕ) −i(θ−ϕ)
= ∑ ( ) ∑ [e ] [e ]
k! 2 n!(k − n)!
k=0 n=0

∞ k k
1 iαr
i(k−2n)(θ−ϕ)
= ∑∑ ( ) e
n!(k − n)! 2
k=0 n=0

Para poder identificar más facilmente la J , haremos m m = k − 2n , y eliminaremos

k = m + 2n . Para eliminar la k en los límites de las sumatorias podemos apoyarnos de la
gráfica.

Nos queda que:

∞ ∞ m+2n
1 iαr
iαr cos (θ−ϕ) im(θ−ϕ)
e = ∑ ∑ ( ) e
n!(m + n)! 2
m=−∞ n=0

imθ
= ∑ Am Jm (αr)e

m=−∞

Equivalentemente, tomando ϕ
π
=
2

iαr sin θ imθ

e = ∑ Jm (αr)e

m=−∞

Multiplicando amnbos lados por e −inθ

e integrando sobre θ de 0 a 2π:

2π ∞ 2π
iαr sin θ −inθ i(m−n)θ
∫ e e dθ = ∑ Jm (αr) ∫ e dθ
0 m=−∞ 0

= 2πJn (αr)
 2π
1
i(αr sin θ−nθ)
Jn (αr) = ∫ e dθ
2π
0
∞
1
= ∫ cos (αr sin θ − nθ)dθ
2π
0

Esto, como ya se había visto es una representación integral para las funciones de Bessel de
orden entero.

Como ejemplo de la ultilidad de las expresiones obtenidad podemos ver como se obtienen
fácilmente las relaciones de recurrencia para las funciones de Bessel de orden entero.

Par esto, aplicamos el operador e a ambos lados de la ecuación:

iθ ∂ i ∂
( + )
∂r r ∂θ

iαr sin θ imθ

e = ∑ Jm (αr)e

m=−∞

∞
i d m
iθ iαr sin θ iθ imθ
e e (iα sin θ sin θ + iαr cos θ) = ∑ e e [ Jm (αr) − Jm (αr)]
r dr r
m=−∞

∞
d m
iαr sin θ i(m+1)θ
−αe = ∑ e [ Jm (αr) − Jm (αr)]
dr r
m=−∞

∞ ∞

imθ i(m+1)θ
−α ∑ Jm (αr)e = −α ∑ Jm+1 (αr)e

m=−∞ m=−∞

d m
⟺ Jm (αr) − Jm (αr) = −αJm+1 (αr) , mϵZ
dr r

m
′
αJm (αr) − Jm (αr) = −αJm+1 (αr)
r
m
′
Jm (x) − Jm (x) = −Jm+1 (x)
x

En forma similar se obtiene:

m
′
Jm (x) + Jm (x) = Jm−1 (x)
x