About the Project
13 Confluent Hypergeometric FunctionsKummer Functions

§13.8 Asymptotic Approximations for Large Parameters

Contents
  1. §13.8(i) Large |b|, Fixed a and z
  2. §13.8(ii) Large b and z, Fixed a and b/z
  3. §13.8(iii) Large a
  4. §13.8(iv) Large a and b

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

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 \lambda=z/b>0 and \zeta=\sqrt{2(\lambda-1-\ln\lambda)} with \operatorname{sign}\left(\zeta\right)=\operatorname{sign}\left(\lambda-1\right). Then

and

as b\to\infty, uniformly in compact \lambda-intervals of (0,\infty) 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).

To obtain approximations for M\left(a,b,z\right) and U\left(a,b,z\right) that hold as b\to\infty, with a>\tfrac{1}{2}-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\to\pm\infty 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\to+\infty with b (\leq 1) fixed,

where w=\operatorname{arccosh}\left(1+(2a)^{-1}x\right), and \beta=\ifrac{(w+\sinh w)}{2}. (13.8.8) holds uniformly with respect to x\in[0,\infty). 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).

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

When a\to\infty in \left|\operatorname{ph}a\right|\leq\pi-\delta and b and z fixed,

13.8.11 U\left(a,b,z\right)\sim 2\left(z/a\right)^{(1-b)/2}\frac{e^{z/2}}{\Gamma\left(%
a\right)}\*\left(K_{b-1}\left(2\sqrt{az}\right)\sum_{s=0}^{\infty}\frac{p_{s}(%
z)}{a^{s}}+\sqrt{z/a}K_{b}\left(2\sqrt{az}\right)\sum_{s=0}^{\infty}\frac{q_{s%
}(z)}{a^{s}}\right),
13.8.12 {\mathbf{M}}\left(a,b,z\right)\sim\left(z/a\right)^{(1-b)/2}\frac{e^{z/2}%
\Gamma\left(1+a-b\right)}{\Gamma\left(a\right)}\*\left(I_{b-1}\left(2\sqrt{az}%
\right)\sum_{s=0}^{\infty}\frac{p_{s}(z)}{a^{s}}-\sqrt{z/a}I_{b}\left(2\sqrt{%
az}\right)\sum_{s=0}^{\infty}\frac{q_{s}(z)}{a^{s}}\right),
13.8.13 {\mathbf{M}}\left(-a,b,z\right)\sim\left(z/a\right)^{(1-b)/2}\frac{e^{z/2}%
\Gamma\left(1+a\right)}{\Gamma\left(a+b\right)}\*\left(J_{b-1}\left(2\sqrt{az}%
\right)\sum_{s=0}^{\infty}\frac{p_{s}(z)}{(-a)^{s}}-\sqrt{z/a}J_{b}\left(2%
\sqrt{az}\right)\sum_{s=0}^{\infty}\frac{q_{s}(z)}{(-a)^{s}}\right),
13.8.14 U\left(-a,b,z\right)\sim\left(z/a\right)^{(1-b)/2}e^{z/2}\Gamma\left(1+a\right%
)\*\left(C_{b-1}(a,2\sqrt{az})\sum_{s=0}^{\infty}\frac{p_{s}(z)}{(-a)^{s}}-%
\sqrt{z/a}C_{b}(a,2\sqrt{az})\sum_{s=0}^{\infty}\frac{q_{s}(z)}{(-a)^{s}}%
\right),

where C_{\nu}\left(a,\zeta\right)=\cos\left(\pi a\right)J_{\nu}\left(\zeta\right)+%
\sin\left(\pi a\right)Y_{\nu}\left(\zeta\right) and

13.8.15
p_{k}(z)=\sum_{s=0}^{k}\genfrac{(}{)}{0.0pt}{}{k}{s}{\left(1-b+s\right)_{k-s}}%
z^{s}c_{k+s}(z),
q_{k}(z)=\sum_{s=0}^{k}\genfrac{(}{)}{0.0pt}{}{k}{s}{\left(2-b+s\right)_{k-s}}%
z^{s}c_{k+s+1}(z)

where c_{0}(z)=1 and

13.8.16 (k+1)c_{k+1}(z)+\sum_{s=0}^{k}\left(\frac{bB_{s+1}}{(s+1)!}+\frac{z(s+1)B_{s+2%
}}{(s+2)!}\right)c_{k-s}(z)=0,k=0,1,2,\dots.

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

§13.8(iv) Large a and b

When a,b\to+\infty with \left|z\right| and \nu=\frac{a}{b} bounded

where \Gamma^{*}\left(a\right) is the scaled gamma function defined in (5.11.3). These results follow from Temme (2022), which can also be used to obtain more terms in the expansions. For generalizations in which z is also allowed to be large see Temme and Veling (2022).