13 Confluent Hypergeometric FunctionsWhittaker Functions

§13.20 Uniform Asymptotic Approximations for Large μ

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

§13.20(i) Large μ, Fixed κ

When μ→∞ in the sector |ph⁡μ|≤12⁢π−δ(<12⁢π), with κ(∈ℂ) fixed

13.20.1 Mκ,μ⁡(z)=zμ+12⁢(1+O⁡(μ−1)),

uniformly for bounded values of |z|; also

13.20.2 Wκ,μ⁡(x)=π−12⁢Γ⁡(κ+μ)⁢(14⁢x)12−μ⁢(1+O⁡(μ−1)),

uniformly for bounded positive values of x. For an extension of (13.20.1) to an asymptotic expansion, together with error bounds, see Olver (1997b, Chapter 10, Ex. 3.4).

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

Let

13.20.3 X=4⁢μ2−4⁢κ⁢x+x2.

Then as μ→∞

13.20.4 Mκ,μ⁡(x)=2⁢μ⁢xX⁢(4⁢μ2⁢x2⁢μ2−κ⁢x+μ⁢X)μ⁢(2⁢(μ−κ)X+x−2⁢κ)κ⁢e12⁢X−μ⁢(1+O⁡(1μ)),
13.20.5 Wκ,μ⁡(x)=xX⁢(2⁢μ2−κ⁢x+μ⁢X(μ−κ)⁢x)μ⁢(X+x−2⁢κ2)κ⁢e−12⁢X−κ⁢(1+O⁡(1μ)),

uniformly with respect to x∈(0,∞) and κ∈[0,(1−δ)⁢μ], where δ again denotes an arbitrary small positive constant.

§13.20(iii) Large μ, −(1−δ)⁢μ≤κ≤μ

Let

13.20.6 α =2⁢|κ−μ|/μ,
13.20.7 X =|x2−4⁢κ⁢x+4⁢μ2|,
13.20.8 Φ⁡(κ,μ,x) =(μ2⁢ζ2−2⁢κ⁢μ+2⁢μ2x2−4⁢κ⁢x+4⁢μ2)14⁢x,

with the variable ζ defined implicitly as follows:

(a) In the case −μ<κ<μ

13.20.9 ζ⁢ζ2+α2+α2⁢arcsinh⁡(ζα)=Xμ−2⁢κμ⁢ln⁡(X+x−2⁢κ2⁢μ2−κ2)−2⁢ln⁡(μ⁢X+2⁢μ2−κ⁢xx⁢μ2−κ2).

(b) In the case μ=κ

13.20.10 ζ=±xμ−2−2⁢ln⁡(x2⁢μ),

the upper or lower sign being taken according as x≷2⁢μ.

(In both cases (a) and (b) the x-interval (0,∞) is mapped one-to-one onto the ζ-interval (−∞,∞), with x=0 and ∞ corresponding to ζ=−∞ and ∞, respectively.) Then as μ→∞

13.20.11 Wκ,μ⁡(x)=(12⁢μ)−14⁢(κ+μe)12⁢(κ+μ)⁢Φ⁡(κ,μ,x)⁢U⁡(μ−κ,ζ⁢2⁢μ)⁢(1+O⁡(μ−1⁢ln⁡μ)),
13.20.12 Mκ,μ⁡(x)=(8⁢μ)14⁢(2⁢μe)2⁢μ⁢(eκ+μ)12⁢(κ+μ)⁢Φ⁡(κ,μ,x)×U⁡(μ−κ,−ζ⁢2⁢μ)⁢(1+O⁡(μ−1⁢ln⁡μ)),

uniformly with respect to x∈(0,∞) and κ∈[−(1−δ)⁢μ,μ]. For the parabolic cylinder function U see §12.2.

These results are proved in Olver (1980b). This reference also supplies error bounds and corresponding approximations when x, κ, and μ are replaced by i⁢x, i⁢κ, and i⁢μ, respectively.

§13.20(iv) Large μ, μ≤κ≤μ/δ

Again define α, X, and Φ⁡(κ,μ,x) by (13.20.6)–(13.20.8), but with ζ now defined by

13.20.13 ζ⁢ζ2−α2−α2⁢arccosh⁡(ζα) =Xμ−2⁢κμ⁢ln⁡(X+x−2⁢κ2⁢κ2−μ2)−2⁢ln⁡(κ⁢x−μ⁢X−2⁢μ2x⁢κ2−μ2),
x≥2⁢κ+2⁢κ2−μ2,
13.20.14 ζ⁢α2−ζ2+α2⁢arcsin⁡(ζα) =Xμ+2⁢κμ⁢arctan⁡(x−2⁢κX)−2⁢arctan⁡(κ⁢x−2⁢μ2μ⁢X),
2⁢κ−2⁢κ2−μ2≤x≤2⁢κ+2⁢κ2−μ2,
13.20.15 −ζ⁢ζ2−α2−α2⁢arccosh⁡(−ζα) =−Xμ+2⁢κμ⁢ln⁡(2⁢κ−X−x2⁢κ2−μ2)+2⁢ln⁡(μ⁢X+2⁢μ2−κ⁢xx⁢κ2−μ2),
0<x≤2⁢κ−2⁢κ2−μ2,

when μ<κ, and by (13.20.10) when μ=κ. (As in §13.20(iii) x=0 and ∞ correspond to ζ=−∞ and ∞, respectively). Then as μ→∞

13.20.16 Wκ,μ⁡(x)=(12⁢μ)−14⁢(κ+μe)12⁢(κ+μ)⁢Φ⁡(κ,μ,x)×(U⁡(μ−κ,ζ⁢2⁢μ)+env⁢U⁡(μ−κ,ζ⁢2⁢μ)⁢O⁡(μ−23)),
13.20.17 Mκ,μ⁡(x)=(8⁢μ)14⁢(2⁢μe)2⁢μ⁢(eκ+μ)12⁢(κ+μ)⁢Φ⁡(κ,μ,x)×(U⁡(μ−κ,−ζ⁢2⁢μ)+env⁢U¯⁡(μ−κ,ζ⁢2⁢μ)⁢O⁡(μ−23)),

uniformly with respect to ζ∈[0,∞) and κ∈[μ,μ/δ].

Also,

13.20.18 Wκ,μ⁡(x)=(12⁢μ)−14⁢(κ+μe)12⁢(κ+μ)⁢Φ⁡(κ,μ,x)×(U⁡(μ−κ,ζ⁢2⁢μ)+env⁢U¯⁡(μ−κ,−ζ⁢2⁢μ)⁢O⁡(μ−23)),
13.20.19 Mκ,μ⁡(x)=(8⁢μ)14⁢(2⁢μe)2⁢μ⁢(eκ+μ)12⁢(κ+μ)⁢Φ⁡(κ,μ,x)×(U⁡(μ−κ,−ζ⁢2⁢μ)+env⁢U⁡(μ−κ,−ζ⁢2⁢μ)⁢O⁡(μ−23)),

uniformly with respect to ζ∈(−∞,0] and κ∈[μ,μ/δ].

For the parabolic cylinder functions U and U¯ see §12.2, and for the env functions associated with U and U¯ see §14.15(v).

These results are proved in Olver (1980b). Equations (13.20.17) and (13.20.18) are simpler than (6.10) and (6.11) in this reference. Olver (1980b) also supplies error bounds and corresponding approximations when x, κ, and μ are replaced by i⁢x, i⁢κ, and i⁢μ, respectively.

It should be noted that (13.20.11), (13.20.16), and (13.20.18) differ only in the common error terms. Hence without the error terms the approximation holds for −(1−δ)⁢μ≤κ≤μ/δ. Similarly for (13.20.12), (13.20.17), and (13.20.19).

§13.20(v) Large μ, Other Expansions

For uniform approximations valid when μ is large, x/i∈(0,∞), and κ/i∈[0,μ/δ], see Olver (1997b, pp. 401–403). These approximations are in terms of Airy functions.

For uniform approximations of Mκ,i⁢μ⁡(z) and Wκ,i⁢μ⁡(z), κ and μ real, one or both large, see Dunster (2003a).