10 Bessel FunctionsBessel and Hankel Functions

§10.19 Asymptotic Expansions for Large Order

Contents
  1. §10.19(i) Asymptotic Forms
  2. §10.19(ii) Debye’s Expansions
  3. §10.19(iii) Transition Region

§10.19(i) Asymptotic Forms

§10.19(ii) Debye’s Expansions

If ν→∞ through positive real values with α (>0) fixed, then

10.19.3 Jν⁡(ν⁢sech⁡α) ∼eν⁢(tanh⁡α−α)(2⁢π⁢ν⁢tanh⁡α)12⁢∑k=0∞Uk⁡(coth⁡α)νk,
Yν⁡(ν⁢sech⁡α) ∼−eν⁢(α−tanh⁡α)(12⁢π⁢ν⁢tanh⁡α)12⁢∑k=0∞(−1)k⁢Uk⁡(coth⁡α)νk,
10.19.4 Jν′⁡(ν⁢sech⁡α) ∼(sinh⁡(2⁢α)4⁢π⁢ν)12⁢eν⁢(tanh⁡α−α)⁢∑k=0∞Vk⁡(coth⁡α)νk,
Yν′⁡(ν⁢sech⁡α) ∼(sinh⁡(2⁢α)π⁢ν)12⁢eν⁢(α−tanh⁡α)⁢∑k=0∞(−1)k⁢Vk⁡(coth⁡α)νk.

If ν→∞ through positive real values with β (∈(0,12⁢π)) fixed, and

10.19.5 ξ=ν⁢(tan⁡β−β)−14⁢π,

then

10.19.6 Jν⁡(ν⁢sec⁡β) ∼(2π⁢ν⁢tan⁡β)12⁢(cos⁡ξ⁢∑k=0∞U2⁢k⁡(i⁢cot⁡β)ν2⁢k−i⁢sin⁡ξ⁢∑k=0∞U2⁢k+1⁡(i⁢cot⁡β)ν2⁢k+1),
Yν⁡(ν⁢sec⁡β) ∼(2π⁢ν⁢tan⁡β)12⁢(sin⁡ξ⁢∑k=0∞U2⁢k⁡(i⁢cot⁡β)ν2⁢k+i⁢cos⁡ξ⁢∑k=0∞U2⁢k+1⁡(i⁢cot⁡β)ν2⁢k+1),
10.19.7 Jν′⁡(ν⁢sec⁡β) ∼(sin⁡(2⁢β)π⁢ν)12⁢(−sin⁡ξ⁢∑k=0∞V2⁢k⁡(i⁢cot⁡β)ν2⁢k−i⁢cos⁡ξ⁢∑k=0∞V2⁢k+1⁡(i⁢cot⁡β)ν2⁢k+1),
Yν′⁡(ν⁢sec⁡β) ∼(sin⁡(2⁢β)π⁢ν)12⁢(cos⁡ξ⁢∑k=0∞V2⁢k⁡(i⁢cot⁡β)ν2⁢k−i⁢sin⁡ξ⁢∑k=0∞V2⁢k+1⁡(i⁢cot⁡β)ν2⁢k+1).

In these expansions Uk⁡(p) and Vk⁡(p) are the polynomials in p of degree 3⁢k defined in §10.41(ii).

For error bounds for the first of (10.19.6) see Olver (1997b, p. 382).

§10.19(iii) Transition Region

As ν→∞, with a(∈ℂ) fixed,

10.19.8 Jν⁡(ν+a⁢ν13) ∼213ν13⁢Ai⁡(−213⁢a)⁢∑k=0∞Pk⁡(a)ν2⁢k/3+223ν⁢Ai′⁡(−213⁢a)⁢∑k=0∞Qk⁡(a)ν2⁢k/3,
|ph⁡ν|≤12⁢π−δ,
Yν⁡(ν+a⁢ν13) ∼−213ν13⁢Bi⁡(−213⁢a)⁢∑k=0∞Pk⁡(a)ν2⁢k/3−223ν⁢Bi′⁡(−213⁢a)⁢∑k=0∞Qk⁡(a)ν2⁢k/3,
|ph⁡ν|≤12⁢π−δ.

Also,

10.19.9 Hν(1)⁡(ν+a⁢ν13)Hν(2)⁡(ν+a⁢ν13)}∼243ν13⁢e∓π⁢i/3⁢Ai⁡(e∓π⁢i/3⁢213⁢a)⁢∑k=0∞Pk⁡(a)ν2⁢k/3+253ν⁢e±π⁢i/3⁢Ai′⁡(e∓π⁢i/3⁢213⁢a)⁢∑k=0∞Qk⁡(a)ν2⁢k/3,

with sectors of validity −12⁢π+δ≤±ph⁡ν≤32⁢π−δ. Here Ai and Bi are the Airy functions (§9.2), and

10.19.10 P0⁡(a) =1,
P1⁡(a) =−15⁢a,
P2⁡(a) =−9100⁢a5+335⁢a2,
P3⁡(a) =9577000⁢a6−1733150⁢a3−1225,
P4⁡(a) =2720000⁢a10−235731 47000⁢a7+59031 38600⁢a4+9473 46500⁢a,
10.19.11 Q0⁡(a) =310⁢a2,
Q1⁡(a) =−1770⁢a3+170,
Q2⁡(a) =−91000⁢a7+6113150⁢a4−373150⁢a,
Q3⁡(a) =54928000⁢a8−1 107676 93000⁢a5+7912375⁢a2.
10.19.12 Jν′⁡(ν+a⁢ν13) ∼−223ν23⁢Ai′⁡(−213⁢a)⁢∑k=0∞Rk⁡(a)ν2⁢k/3+213ν43⁢Ai⁡(−213⁢a)⁢∑k=0∞Sk⁡(a)ν2⁢k/3,
|ph⁡ν|≤12⁢π−δ,
Yν′⁡(ν+a⁢ν13) ∼223ν23⁢Bi′⁡(−213⁢a)⁢∑k=0∞Rk⁡(a)ν2⁢k/3−213ν43⁢Bi⁡(−213⁢a)⁢∑k=0∞Sk⁡(a)ν2⁢k/3,
|ph⁡ν|≤12⁢π−δ.
10.19.13 Hν(1)′⁡(ν+a⁢ν13)Hν(2)′⁡(ν+a⁢ν13)}∼−253ν23⁢e±π⁢i/3⁢Ai′⁡(e∓π⁢i/3⁢213⁢a)⁢∑k=0∞Rk⁡(a)ν2⁢k/3+243ν43⁢e∓π⁢i/3⁢Ai⁡(e∓π⁢i/3⁢213⁢a)⁢∑k=0∞Sk⁡(a)ν2⁢k/3,

with sectors of validity −12⁢π+δ≤ph⁡ν≤32⁢π−δ and −32⁢π+δ≤ph⁡ν≤12⁢π−δ, respectively. Here

10.19.14 R0⁡(a) =1,
R1⁡(a) =−45⁢a,
R2⁡(a) =−9100⁢a5+5770⁢a2,
R3⁡(a) =6993500⁢a6−26173150⁢a3+233150,
R4⁡(a) =2720000⁢a10−466311 47000⁢a7+38894620⁢a4−11591 15500⁢a,
10.19.15 S0⁡(a) =35⁢a3−15,
S1⁡(a) =−131140⁢a4+15⁢a,
S2⁡(a) =−9500⁢a8+54374500⁢a5−5933150⁢a2,
S3⁡(a) =3697000⁢a9−9 994436 93000⁢a6+317271 73250⁢a3+9473 46500.

For proofs and also for the corresponding expansions for second derivatives see Olver (1952).

For higher coefficients in (10.19.8) in the case a=0 (that is, in the expansions of Jν⁡(ν) and Yν⁡(ν)), see Watson (1944, §8.21), Temme (1997), and Jentschura and Lötstedt (2012). The last reference also includes the corresponding expansions for Jν′⁡(ν) and Yν′⁡(ν).

See also §10.20(i).