Digital Library of Mathematical Functions
About the Project
NIST
13 Confluent Hypergeometric FunctionsKummer Functions

§13.8 Asymptotic Approximations for Large Parameters

Contents

§13.8(i) Large |b|, Fixed a and z

If b in in such a way that |b+n|δ>0 for all n=0,1,2,, then

13.8.1 M(a,b,z)=s=0n-1(a)s(b)ss!zs+O(|b|-n).

For fixed a and z in

13.8.2 M(a,b,z)Γ(b)Γ(b-a)s=0(a)sqs(z,a)b-s-a,

as b in |phb|π-δ, where q0(z,a)=1 and

13.8.3 (t-1)a-1exp(t+z(1--t))=s=0qs(z,a)ts+a-1.

When the foregoing results are combined with Kummer’s transformation (13.2.39), an approximation is obtained for the case when |b| is large, and |b-a| and |z| are bounded.

§13.8(ii) Large b and z, Fixed a and b/z

Let λ=z/b>0 and ζ=2(λ-1-lnλ) with sign(ζ)=sign(λ-1). Then

13.8.4 M(a,b,z)b12a14ζ2b(λ(λ-1ζ)a-1U(a-12,-ζb)+(λ(λ-1ζ)a-1-(ζλ-1)a)U(a-32,-ζb)ζb)

and

13.8.5 U(a,b,z)b-12a14ζ2b(λ(λ-1ζ)a-1U(a-12,ζb)-(λ(λ-1ζ)a-1-(ζλ-1)a)U(a-32,ζb)ζb)

as b, uniformly in compact λ-intervals of (0,) and compact real a-intervals. For the parabolic cylinder function U see §12.2, and for an extension to an asymptotic expansion see Temme (1978).

Special cases are

13.8.6 M(a,b,b)=π(b2)12a(1Γ(12(a+1))+(a+1)8/b3Γ(12a)+O(1b)),

and

13.8.7 U(a,b,b)=π(2b)-12a(1Γ(12(a+1))-(a+1)8/b3Γ(12a)+O(1b)).

To obtain approximations for M(a,b,z) and U(a,b,z) that hold as b, with a>12-b and z>0 combine (13.14.4), (13.14.5) with §13.20(i).

Also, more complicated—but more powerful—uniform asymptotic approximations can be obtained by combining (13.14.4), (13.14.5) with §§13.20(iii) and 13.20(iv).

For other asymptotic expansions for large b and z see López and Pagola (2010).

§13.8(iii) Large a

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

When a+ with b (1) fixed,

13.8.8 U(a,b,x)=212xΓ(a)(2βtanh(w2)(1--wβ)-bβ1-bK1-b(2βa)+a-1(a-1+β1+β)1-b-2βaO(1),)

where w=arccosh(1+(2a)-1x), and β=(w+sinhw)/2. (13.8.8) holds uniformly with respect to x[0,). For the case b>1 the transformation (13.2.40) can be used.

For an extension to an asymptotic expansion complete with error bounds see Temme (1990b), and for related results see §13.21(i).

When a- with b (1) fixed,

13.8.9 M(a,b,x)=Γ(b)12x((12b-a)x)12-12b(Jb-1(2x(b-2a))+envJb-1(2x(b-2a))O(|a|-12)),

and

13.8.10 U(a,b,x)=Γ(12b-a+12)12xx12-12b×(cos(aπ)Jb-1(2x(b-2a))-sin(aπ)Yb-1(2x(b-2a))+envYb-1(2x(b-2a))O(|a|-12),)

uniformly with respect to bounded positive values of x in each case.

For asymptotic approximations to M(a,b,x) and U(a,b,x) as a- that hold uniformly with respect to x(0,) and bounded positive values of (b-1)/|a|, combine (13.14.4), (13.14.5) with §§13.21(ii), 13.21(iii).