10 Bessel FunctionsBessel and Hankel Functions

§10.9 Integral Representations

Contents
  1. §10.9(i) Integrals along the Real Line
  2. §10.9(ii) Contour Integrals
  3. §10.9(iii) Products
  4. §10.9(iv) Compendia

§10.9(i) Integrals along the Real Line

Bessel’s Integral

10.9.1 J0⁡(z)=1π⁢∫0πcos⁡(z⁢sin⁡θ)⁢dθ=1π⁢∫0πcos⁡(z⁢cos⁡θ)⁢dθ,
10.9.2 Jn⁡(z)=1π⁢∫0πcos⁡(z⁢sin⁡θ−n⁢θ)⁢dθ=i−nπ⁢∫0πei⁢z⁢cos⁡θ⁢cos⁡(n⁢θ)⁢dθ,
n∈ℤ.

Neumann’s Integral

where γ is Euler’s constant (§5.2(ii)).

Poisson’s and Related Integrals

10.9.4 Jν⁡(z)=(12⁢z)νπ12⁢Γ⁡(ν+12)⁢∫0πcos⁡(z⁢cos⁡θ)⁢(sin⁡θ)2⁢ν⁢dθ=2⁢(12⁢z)νπ12⁢Γ⁡(ν+12)⁢∫01(1−t2)ν−12⁢cos⁡(z⁢t)⁢dt,
ℜ⁡ν>−12.
10.9.5 Yν⁡(z)=2⁢(12⁢z)νπ12⁢Γ⁡(ν+12)⁢(∫01(1−t2)ν−12⁢sin⁡(z⁢t)⁢dt−∫0∞e−z⁢t⁢(1+t2)ν−12⁢dt),
ℜ⁡ν>−12,|ph⁡z|<12⁢π.

Schläfli’s and Related Integrals

10.9.6 Jν⁡(z)=1π⁢∫0πcos⁡(z⁢sin⁡θ−ν⁢θ)⁢dθ−sin⁡(ν⁢π)π⁢∫0∞e−z⁢sinh⁡t−ν⁢t⁢dt,
|ph⁡z|<12⁢π,
10.9.7 Yν⁡(z)=1π⁢∫0πsin⁡(z⁢sin⁡θ−ν⁢θ)⁢dθ−1π⁢∫0∞(eν⁢t+e−ν⁢t⁢cos⁡(ν⁢π))⁢e−z⁢sinh⁡t⁢dt,
|ph⁡z|<12⁢π.

Mehler–Sonine and Related Integrals

10.9.8 Jν⁡(x) =2π⁢∫0∞sin⁡(x⁢cosh⁡t−12⁢ν⁢π)⁢cosh⁡(ν⁢t)⁢dt,
Yν⁡(x) =−2π⁢∫0∞cos⁡(x⁢cosh⁡t−12⁢ν⁢π)⁢cosh⁡(ν⁢t)⁢dt,
|ℜ⁡ν|<1,x>0.

In particular,

10.9.9 J0⁡(x) =2π⁢∫0∞sin⁡(x⁢cosh⁡t)⁢dt,
x>0,
Y0⁡(x) =−2π⁢∫0∞cos⁡(x⁢cosh⁡t)⁢dt,
x>0.
10.9.12 Jν⁡(x) =2⁢(12⁢x)−νπ12⁢Γ⁡(12−ν)⁢∫1∞sin⁡(x⁢t)⁢dt(t2−1)ν+12,
Yν⁡(x) =−2⁢(12⁢x)−νπ12⁢Γ⁡(12−ν)⁢∫1∞cos⁡(x⁢t)⁢dt(t2−1)ν+12,
|ℜ⁡ν|<12, x>0.
10.9.13 (z+ζz−ζ)12⁢ν⁢Jν⁡((z2−ζ2)12)=1π⁢∫0πeζ⁢cos⁡θ⁢cos⁡(z⁢sin⁡θ−ν⁢θ)⁢dθ−sin⁡(ν⁢π)π⁢∫0∞e−ζ⁢cosh⁡t−z⁢sinh⁡t−ν⁢t⁢dt,
ℜ⁡(z+ζ)>0,
10.9.14 (z+ζz−ζ)12⁢ν⁢Yν⁡((z2−ζ2)12)=1π⁢∫0πeζ⁢cos⁡θ⁢sin⁡(z⁢sin⁡θ−ν⁢θ)⁢dθ−1π⁢∫0∞(eν⁢t+ζ⁢cosh⁡t+e−ν⁢t−ζ⁢cosh⁡t⁢cos⁡(ν⁢π))⁢e−z⁢sinh⁡t⁢dt,
ℜ⁡(z±ζ)>0.
10.9.15 (z+ζz−ζ)12⁢ν⁢Hν(1)⁡((z2−ζ2)12)=1π⁢i⁢e−12⁢ν⁢π⁢i⁢∫−∞∞ei⁢z⁢cosh⁡t+i⁢ζ⁢sinh⁡t−ν⁢t⁢dt,
ℑ⁡(z±ζ)>0,
10.9.16 (z+ζz−ζ)12⁢ν⁢Hν(2)⁡((z2−ζ2)12)=−1π⁢i⁢e12⁢ν⁢π⁢i⁢∫−∞∞e−i⁢z⁢cosh⁡t−i⁢ζ⁢sinh⁡t−ν⁢t⁢dt,
ℑ⁡(z±ζ)<0.

§10.9(ii) Contour Integrals

Schläfli–Sommerfeld Integrals

Schläfli’s Integral

where the integration path is a simple loop contour (see Figure 5.9.1), and tν+1 is continuous on the path and takes its principal value at the intersection with the positive real axis.

Hankel’s Integrals

In (10.9.20) and (10.9.21) the integration paths are simple loop contours not enclosing t=−1. Also, (t2−1)ν−12 is continuous on the path, and takes its principal value at the intersection with the interval (1,∞).

10.9.20 Jν⁡(z)=Γ⁡(12−ν)⁢(12⁢z)νπ32⁢i⁢∫0(1+)cos⁡(z⁢t)⁢(t2−1)ν−12⁢dt,
ν≠12,32,….
10.9.21 Hν(1)⁡(z) =Γ⁡(12−ν)⁢(12⁢z)νπ32⁢i⁢∫1+i⁢∞(1+)ei⁢z⁢t⁢(t2−1)ν−12⁢dt,
Hν(2)⁡(z) =Γ⁡(12−ν)⁢(12⁢z)νπ32⁢i⁢∫1−i⁢∞(1+)e−i⁢z⁢t⁢(t2−1)ν−12⁢dt,
ν≠12,32,…,|ph⁡z|<12⁢π.

Mellin–Barnes Type Integrals

10.9.22 Jν⁡(x)=12⁢π⁢i⁢∫−i⁢∞i⁢∞Γ⁡(−t)⁢(12⁢x)ν+2⁢tΓ⁡(ν+t+1)⁢dt,
ℜ⁡ν>0, x>0,

where the integration path passes to the left of t=0,1,2,….

10.9.23 Jν⁡(z)=12⁢π⁢i⁢∫−∞−i⁢c−∞+i⁢cΓ⁡(t)Γ⁡(ν−t+1)⁢(12⁢z)ν−2⁢t⁢dt,

where c is a positive constant and the integration path encloses the points t=0,−1,−2,….

In (10.9.24) and (10.9.25) c is any constant exceeding max⁡(ℜ⁡ν,0).

10.9.24 Hν(1)⁡(z) =−e−12⁢ν⁢π⁢i2⁢π2⁢∫c−i⁢∞c+i⁢∞Γ⁡(t)⁢Γ⁡(t−ν)⁢(−12⁢i⁢z)ν−2⁢t⁢dt,
0<ph⁡z<π,
10.9.25 Hν(2)⁡(z) =e12⁢ν⁢π⁢i2⁢π2⁢∫c−i⁢∞c+i⁢∞Γ⁡(t)⁢Γ⁡(t−ν)⁢(12⁢i⁢z)ν−2⁢t⁢dt,
−π<ph⁡z<0.

For (10.9.22)–(10.9.25) and further integrals of this type see Paris and Kaminski (2001, pp. 114–116).

§10.9(iii) Products

10.9.26 Jμ⁡(z)⁢Jν⁡(z)=2π⁢∫0π/2Jμ+ν⁡(2⁢z⁢cos⁡θ)⁢cos⁡((μ−ν)⁢θ)⁢dθ,
ℜ⁡(μ+ν)>−1.
10.9.27 Jν⁡(z)⁢Jν⁡(ζ)=2π⁢∫0π/2J2⁢ν⁡(2⁢(z⁢ζ)12⁢sin⁡θ)⁢cos⁡((z−ζ)⁢cos⁡θ)⁢dθ,
ℜ⁡ν>−12,

where the square root has its principal value.

where c is a positive constant. For the function Iν see §10.25(ii).

Mellin–Barnes Type

10.9.29 Jμ⁡(x)⁢Jν⁡(x)=12⁢π⁢i⁢∫−i⁢∞i⁢∞Γ⁡(−t)⁢Γ⁡(2⁢t+μ+ν+1)⁢(12⁢x)μ+ν+2⁢tΓ⁡(t+μ+1)⁢Γ⁡(t+ν+1)⁢Γ⁡(t+μ+ν+1)⁢dt,
x>0,

where the path of integration separates the poles of Γ⁡(−t) from those of Γ⁡(2⁢t+μ+ν+1). See Paris and Kaminski (2001, p. 116) for related results.

Nicholson’s Integral

§10.9(iv) Compendia

For collections of integral representations of Bessel and Hankel functions see Erdélyi et al. (1953b, §§7.3 and 7.12), Erdélyi et al. (1954a, pp. 43–48, 51–60, 99–105, 108–115, 123–124, 272–276, and 356–357), Gröbner and Hofreiter (1950, pp. 189–192), Marichev (1983, pp. 191–192 and 196–210), Magnus et al. (1966, §3.6), and Watson (1944, Chapter 6).