13 Confluent Hypergeometric FunctionsWhittaker Functions

§13.21 Uniform Asymptotic Approximations for Large κ

Contents
  1. §13.21(i) Large κ, Fixed μ
  2. §13.21(ii) Large κ, 0≤μ≤(1−δ)⁢κ
  3. §13.21(iii) Large κ, 0≤μ≤(1−δ)⁢κ (Continued)
  4. §13.21(iv) Large κ, Other Expansions

§13.21(i) Large κ, Fixed μ

For the notation see §§10.2(ii), 10.25(ii), and 2.8(iv).

When κ→∞ through positive real values with μ (≥0) fixed

13.21.1 Mκ,μ⁡(x)=x⁢Γ⁡(2⁢μ+1)⁢κ−μ⁢(J2⁢μ⁡(2⁢x⁢κ)+env⁡J2⁢μ⁡(2⁢x⁢κ)⁢O⁡(κ−12)),
13.21.2 Wκ,μ⁡(x)=x⁢Γ⁡(κ+12)⁢(sin⁡(κ⁢π−μ⁢π)⁢J2⁢μ⁡(2⁢x⁢κ)−cos⁡(κ⁢π−μ⁢π)⁢Y2⁢μ⁡(2⁢x⁢κ)+env⁡Y2⁢μ⁡(2⁢x⁢κ)⁢O⁡(κ−12)),

uniformly with respect to x∈(0,A] in each case, where A is an arbitrary positive constant.

Other types of approximations when κ→∞ through positive real values with μ (≥0) fixed are as follows. Define

13.21.5 2⁢ζ=x+x2+ln⁡(x+1+x).

Then

13.21.6 M−κ,μ⁡(4⁢κ⁢x)=2⁢Γ⁡(2⁢μ+1)κμ−12⁢(x⁢ζ1+x)14⁢I2⁢μ⁡(4⁢κ⁢ζ12)⁢(1+O⁡(κ−1)),
13.21.7 W−κ,μ⁡(4⁢κ⁢x)=8/π⁢eκκκ−12⁢(x⁢ζ1+x)14⁢K2⁢μ⁡(4⁢κ⁢ζ12)⁢(1+O⁡(κ−1)),

uniformly with respect to x∈(0,∞).

For (13.21.6), (13.21.7), and extensions to asymptotic expansions and error bounds, see Olver (1997b, Chapter 12, Exs. 12.4.5, 12.4.6). For extensions to complex values of x see López (1999).

§13.21(ii) Large κ, 0≤μ≤(1−δ)⁢κ

Let

13.21.8 c⁡(κ,μ)=eμ⁢π⁢i⁢12⁢π⁢(κ−μκ+μ)12⁢μ⁢(e2κ2−μ2)12⁢κ,
13.21.9 X=|x2−4⁢κ⁢x+4⁢μ2|,
13.21.10 Ψ⁡(κ,μ,x)=(4⁢μ2−κ⁢ζx2−4⁢κ⁢x+4⁢μ2)14⁢x,

with the variable ζ defined implicitly by

13.21.11 4⁢μ2−κ⁢ζ−μ⁢ln⁡(2⁢μ+4⁢μ2−κ⁢ζ2⁢μ−4⁢μ2−κ⁢ζ)=12⁢X+μ⁢ln⁡(x⁢κ2−μ22⁢μ2−κ⁢x+μ⁢X)+κ⁢ln⁡(2⁢κ2−μ22⁢κ−x−X),
0<x≤2⁢κ−2⁢κ2−μ2,

and

13.21.12 κ⁢ζ−4⁢μ2−2⁢μ⁢arctan⁡(κ⁢ζ−4⁢μ22⁢μ)=12⁢(X−π⁢μ)−μ⁢arctan⁡(x⁢κ−2⁢μ2μ⁢X)+κ⁢arcsin⁡(X2⁢κ2−μ2),
2⁢κ−2⁢κ2−μ2≤x<2⁢κ+2⁢κ2−μ2.

Then as κ→∞

13.21.13 Mκ,μ⁡(x) =Γ⁡(2⁢μ+1)⁢(e2κ2−μ2)12⁢μ⁢(κ−μκ+μ)12⁢κ⁢Ψ⁡(κ,μ,x)⁢(J2⁢μ⁡(ζ⁢κ)+env⁡J2⁢μ⁡(ζ⁢κ)⁢O⁡(κ−1)),
13.21.14 Wκ,μ⁡(x) =e−μ⁢π⁢iπ⁢Γ⁡(κ+μ+12)×Γ⁡(κ−μ+12)⁢c⁡(κ,μ)⁢Ψ⁡(κ,μ,x)×(sin⁡(κ⁢π−μ⁢π)⁢J2⁢μ⁡(ζ⁢κ)−cos⁡(κ⁢π−μ⁢π)⁢Y2⁢μ⁡(ζ⁢κ)+env⁡Y2⁢μ⁡(ζ⁢κ)⁢O⁡(κ−1)),

uniformly with respect to μ∈[0,(1−δ)⁢κ] and x∈(0,(1−δ)⁢(2⁢κ+2⁢κ2−μ2)], where δ again denotes an arbitrary small positive constant. For the functions J2⁢μ, Y2⁢μ, H2⁢μ(1), and H2⁢μ(2) see §10.2(ii), and for the env functions associated with J2⁢μ and Y2⁢μ see §2.8(iv).

These approximations are proved in Dunster (1989). This reference also includes error bounds and extensions to asymptotic expansions and complex values of x.

§13.21(iii) Large κ, 0≤μ≤(1−δ)⁢κ (Continued)

Let

13.21.17 c^⁡(κ,μ)=2⁢π⁢κ16⁢(κ−μκ+μ)12⁢μ⁢(e2κ2−μ2)12⁢κ,
13.21.18 X=|x2−4⁢κ⁢x+4⁢μ2|,
13.21.19 Ψ^⁡(κ,μ,x)=(ζ^x2−4⁢κ⁢x+4⁢μ2)14⁢2⁢x,

and define the variable ζ^ implicitly by

13.21.20 ζ^=−(32⁢κ⁢(−12⁢X+2⁢μ⁢arctan⁡(x⁢κ−x⁢κ2−μ2−2⁢μ2μ⁢X)+κ⁢arccos⁡(x−2⁢κ2⁢κ2−μ2)))2/3,
2⁢κ−2⁢κ2−μ2<x≤2⁢κ+2⁢κ2−μ2,

and

13.21.21 ζ^=(32⁢κ⁢(12⁢X+μ⁢ln⁡(x⁢κ2−μ2κ⁢x−2⁢μ2−μ⁢X)+κ⁢ln⁡(2⁢κ2−μ2x−2⁢κ+X)))2/3,
x≥2⁢κ+2⁢κ2−μ2.

Then as κ→∞

13.21.22 Mκ,μ⁡(x)=12⁢π⁢Γ⁡(2⁢μ+1)⁢Γ⁡(κ−μ+12)⁢c^⁡(κ,μ)⁢Ψ^⁡(κ,μ,x)×(sin⁡(κ⁢π−μ⁢π)⁢Ai⁡(κ23⁢ζ^)+cos⁡(κ⁢π−μ⁢π)⁢Bi⁡(κ23⁢ζ^)+envBi⁡(κ23⁢ζ^)⁢O⁡(κ−1)),
13.21.23 Wκ,μ⁡(x)=2⁢π⁢κ16⁢(κ+μκ−μ)12⁢μ⁢(κ2−μ2e2)12⁢κ⁢Ψ^⁡(κ,μ,x)×(Ai⁡(κ23⁢ζ^)+envAi⁡(κ23⁢ζ^)⁢O⁡(κ−1)),
13.21.24 W−κ,μ⁡(x⁢e−π⁢i)=e(κ−16)⁢π⁢i⁢c^⁡(κ,μ)⁢Ψ^⁡(κ,μ,x)×(Ai⁡(κ23⁢ζ^⁢e−23⁢π⁢i)+envBi⁡(κ23⁢ζ^)⁢O⁡(κ−1)),
13.21.25 W−κ,μ⁡(x⁢eπ⁢i)=e−(κ−16)⁢π⁢i⁢c^⁡(κ,μ)⁢Ψ^⁡(κ,μ,x)×(Ai⁡(κ23⁢ζ^⁢e23⁢π⁢i)+envBi⁡(κ23⁢ζ^)⁢O⁡(κ−1)),

uniformly with respect to μ∈[0,(1−δ)⁢κ] and x∈[(1+δ)⁢(2⁢κ−2⁢κ2−μ2),∞). For the functions Ai and Bi see §9.2(i), and for the env functions associated with Ai and Bi see §2.8(iii).

These approximations are proved in Dunster (1989). This reference also includes error bounds and extensions to asymptotic expansions and complex values of x.

§13.21(iv) Large κ, Other Expansions

For a uniform asymptotic expansion in terms of Airy functions for Wκ,μ⁡(4⁢κ⁢x) when κ is large and positive, μ is real with |μ| bounded, and x∈[δ,∞) see Olver (1997b, Chapter 11, Ex. 7.3). This expansion is simpler in form than the expansions of Dunster (1989) that correspond to the approximations given in §13.21(iii), but the conditions on μ are more restrictive.

For asymptotic expansions having double asymptotic properties see Skovgaard (1966).

See also §13.20(v).