About the Project
13 Confluent Hypergeometric FunctionsKummer Functions

§13.8 Asymptotic Approximations for Large Parameters


§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 (et-1)a-1exp(t+z(1-e-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)b12ae14ζ2b(λ(λ-1ζ)a-1U(a-12,-ζb)+(λ(λ-1ζ)a-1-(ζλ-1)a)U(a-32,-ζb)ζb)


13.8.5 U(a,b,z)b-12ae14ζ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)),


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).

For more asymptotic expansions for the cases b± see Temme (2015, §§10.4 and 22.5)

§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)=2e12xΓ(a)(2βtanh(w2)(1-e-wβ)-bβ1-bK1-b(2βa)+a-1(a-1+β1+β)1-be-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)e12x((12b-a)x)12-12b×(Jb-1(2x(b-2a))+envJb-1(2x(b-2a))O(|a|-12)),


13.8.10 U(a,b,x)=Γ(12b-a+12)e12xx12-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).

When a in |pha|π-δ and b and z fixed,

13.8.11 U(a,b,z)2(z/a)(1-b)/2ez/2Γ(a)(Kb-1(2az)s=0ps(z)as+z/aKb(2az)s=0qs(z)as),
13.8.12 M(a,b,z)(z/a)(1-b)/2ez/2Γ(1+a-b)Γ(a)×(Ib-1(2az)s=0ps(z)as-z/aIb(2az)s=0qs(z)as),
13.8.13 M(-a,b,z)(z/a)(1-b)/2ez/2Γ(1+a)Γ(a+b)×(Jb-1(2az)s=0ps(z)(-a)s-z/aJb(2az)s=0qs(z)(-a)s),
13.8.14 U(-a,b,z)(z/a)(1-b)/2ez/2Γ(1+a)×(Cb-1(a,2az)s=0ps(z)(-a)s-z/aCb(a,2az)s=0qs(z)(-a)s),

where Cν(a,ζ)=cos(πa)Jν(ζ)+sin(πa)Yν(ζ) and

13.8.15 pk(z) =s=0k(ks)(1-b+s)k-szsck+s(z),
qk(z) =s=0k(ks)(2-b+s)k-szsck+s+1(z)

where c0(z)=1 and

13.8.16 (k+1)ck+1(z)+s=0k(bBs+1(s+1)!+z(s+1)Bs+2(s+2)!)ck-s(z)=0,

For the Bernoulli numbers Bk see §24.2(i) and for proofs and similar results in which z can also be unbounded see Temme (2015, Chapters 10 and 27)