Expresión integral de las funciones de Bessel

Sea la ecuación de Bessel:

𝑑2𝑤
2
𝑑𝑤
𝑧 + 𝑧 + (𝑧 2 − 𝑣 2 )𝑤 = 0
𝑑𝑧 2 𝑑𝑧
z=x+iy; x, y son números reales
Las soluciones son las funciones de Bessel de primer tipo J±v(z), de segundo tipo
Yv(z) (también llamado función de Weber) y de tercer tipo Hv(1)(z), Hv(2)(z)
(también llamadas funciones de Hankel). Cada una es una función regular
(holomórfica) de z a través del corte del plano z a lo largo del eje real negativo,
y para z (≠0) fija cada una es una función integral de v. Cuando v=±n, Jv(z) no
tiene punto de ramificación y una función entera (integral) de z.

Expresion integral de las funciones de Bessel:

 Funciones de Bessel de primer tipo J±v(z)

Para n=0:
1 𝜋 1 𝜋
𝐽𝑜 (𝑧) = ∫ cos(𝑧 sin 𝜃) 𝑑𝜃 = ∫ cos(𝑧 cos 𝜃) 𝑑𝜃
𝜋 0 𝜋 0
Para n, entero positivo:
1 𝜋 𝑖 −𝑛 𝜋 𝑖𝑧 cos 𝜃
𝐽𝑛 (𝑧) = ∫ cos(𝑧 sin 𝜃 − 𝑛𝜃) 𝑑𝜃 = ∫ 𝑒 cos(𝑛𝜃) 𝑑𝑡
𝜋 0 𝜋 0
Esta definición integral puede extenderse a órdenes no enteros:
1 𝑣
(2 𝑧) 𝜋
𝐽𝑣 (𝑧) = 1 ∫ cos(𝑧 cos 𝜃) sin2𝑣 𝜃 𝑑𝜃
1
𝜋 2 Γ (𝑣 + ) 0
2
1 𝑣
2 ( 𝑧) 1 1 1
= 1 2 ∫ (1 − 𝑡 2 )𝑣−2 cos 𝑧𝑡 𝑑𝑡 (𝑅𝑣 > − )
1 2
𝜋 2 Γ (𝑣 + ) 0
2
 1 𝜋
𝐽𝑣 (𝑧) = ∫ cos(𝑧 sin 𝜃 − 𝑣𝜃) 𝑑𝜃
𝜋 0
sin(𝑣𝜋) ∞ −𝑧 sinh t−vt 1
− ∫ 𝑒 𝑑𝑡 (|arg 𝑧| < 𝜋)
𝜋 0 2
1 −𝑣
2 ( 𝑥) ∞
sin(𝑥𝑡)𝑑𝑡 1
𝐽𝑣 (𝑥) = 1 2 ∫ (|𝑅𝑣| < , 𝑥 > 0)
1 1 2
𝜋 2 Γ ( − 𝑣) 0 (𝑡 2 − 1)𝑣+2
2
2 ∞
𝐽𝑜 (𝑥) = ∫ sin(𝑥 cosh 𝑡) 𝑑𝑡 (𝑥 > 0)
𝜋 0
1 𝑣+2𝑡
1 Γ(−𝑡) ( 𝑥)
𝑖∞
𝐽𝑣 (𝑥) = ∫ 2 𝑑𝑡 (|𝑅𝑣| > 0, 𝑥 > 0)
2𝜋𝑖 −𝑖∞ Γ(𝑣 + 𝑡 + 1)
En la última integral, la solución de la integración debe tender a la izquierda de
los puntos t = 0,1,2,3…

 Funciones de Bessel de segundo tipo Yv(z)

Para n=0:
1
4 2𝜋
𝑌𝑜 (𝑧) = 2 ∫ cos(𝑧 cos 𝜃){𝛾 + ln(2𝑥 sin2 𝜃)} 𝑑𝜃
𝜋 0
Para n, entero positivo:
1 𝜋
𝑌𝑣 (𝑧) = ∫ sin(𝑧 sin 𝜃 − 𝑣𝜃) 𝑑𝜃
𝜋 0
1 ∞ vt 1
− ∫ {𝑒 + 𝑒 −vt cos(𝑣𝜋)}𝑒 −𝑧 sinh t 𝑑𝑡 (|arg 𝑧| < 𝜋)
𝜋 0 2
Esta definición integral puede extenderse a órdenes no enteros:
2 ∞
𝑌𝑜 (𝑥) = − ∫ cos(𝑥 cosh 𝑡) 𝑑𝑡 (𝑥 > 0)
𝜋 0
1 −𝑣
2 ( 𝑥) ∞
cos(𝑥𝑡)𝑑𝑡 1
𝑌𝑣 (𝑥) = − 1 2 ∫ (|𝑅𝑣| < , 𝑥 > 0)
1 1 2
𝜋 2 Γ ( − 𝑣) 0 (𝑡 2 − 1)𝑣+2
2
 Funciones de Bessel de tercer tipo Hv(1)(z), Hv(2)(z) (también llamadas
funciones de Hankel)

(1) 1 ∞+𝜋𝑖 𝑧 sinh t−vt 1

𝐻𝑣 (𝑧) = ∫ 𝑒 𝑑𝑡 (|arg 𝑧| < 𝜋)
𝜋𝑖 −∞ 2

(2) 1 ∞−𝜋𝑖 𝑧 sinh t−vt 1

𝐻𝑣 (𝑧) =− ∫ 𝑒 𝑑𝑡 (|arg 𝑧| < 𝜋)
𝜋𝑖 −∞ 2