The result in §2.3(ii) carries over to a complex parameter $z$. Except that $\lambda $ is now permitted to be complex, with $\mathrm{\Re}\lambda >0$, we assume the same conditions on $q\left(t\right)$ and also that the Laplace transform in (2.3.8) converges for all sufficiently large values of $\mathrm{\Re}z$. Then
2.4.1 | $${\int}_{0}^{\mathrm{\infty}}{\mathrm{e}}^{-zt}q\left(t\right)dt\sim \sum _{s=0}^{\mathrm{\infty}}\mathrm{\Gamma}\left(\frac{s+\lambda}{\mu}\right)\frac{{a}_{s}}{{z}^{\left(s+\lambda \right)/\mu}}$$ | ||
as $z\to \mathrm{\infty}$ in the sector $\left|\mathrm{ph}z\right|\le \frac{1}{2}\pi -\delta $ ($$), with ${z}^{\left(s+\lambda \right)/\mu}$ assigned its principal value.
If $q\left(t\right)$ is analytic in a sector $$ containing $\mathrm{ph}t=0$, then the region of validity may be increased by rotation of the integration paths. We assume that in any closed sector with vertex $t=0$ and properly interior to $$, the expansion (2.3.7) holds as $t\to 0$, and $q\left(t\right)=O\left({\mathrm{e}}^{\sigma \left|t\right|}\right)$ as $t\to \mathrm{\infty}$, where $\sigma $ is a constant. Then (2.4.1) is valid in any closed sector with vertex $z=0$ and properly interior to $$. (The branches of ${t}^{\left(s+\lambda -\mu \right)/\mu}$ and ${z}^{\left(s+\lambda \right)/\mu}$ are extended by continuity.)
On the interval $$ let $q\left(t\right)$ be differentiable and ${\mathrm{e}}^{-ct}q\left(t\right)$ be absolutely integrable, where $c$ is a real constant. Then the Laplace transform
2.4.2 | $$Q\left(z\right)={\int}_{0}^{\mathrm{\infty}}{\mathrm{e}}^{-zt}q\left(t\right)dt$$ | ||
is continuous in $\mathrm{\Re}z\ge c$ and analytic in $\mathrm{\Re}z>c$, and by inversion (§1.14(iii))
2.4.3 | $$q\left(t\right)=\frac{1}{2\pi \mathrm{i}}\underset{\eta \to \mathrm{\infty}}{lim}{\int}_{\sigma -\mathrm{i}\eta}^{\sigma +\mathrm{i}\eta}{\mathrm{e}}^{tz}Q\left(z\right)dz,$$ | ||
$$, | |||
where $\sigma $ ($\ge c$) is a constant.
Now assume that $c>0$ and we are given a function $Q\left(z\right)$ that is both analytic and has the expansion
2.4.4 | $$Q\left(z\right)\sim \sum _{s=0}^{\mathrm{\infty}}\mathrm{\Gamma}\left(\frac{s+\lambda}{\mu}\right)\frac{{a}_{s}}{{z}^{\left(s+\lambda \right)/\mu}},$$ | ||
$z\to \mathrm{\infty}$, | |||
in the half-plane $\mathrm{\Re}z\ge c$. Here $\mathrm{\Re}\lambda >0$, $\mu >0$, and ${z}^{\left(s+\lambda \right)/\mu}$ has its principal value. Assume also (2.4.4) is differentiable. Then by integration by parts the integral
2.4.5 | $$q\left(t\right)=\frac{1}{2\pi \mathrm{i}}{\int}_{\sigma -\mathrm{i}\mathrm{\infty}}^{\sigma +\mathrm{i}\mathrm{\infty}}{\mathrm{e}}^{tz}Q\left(z\right)dz,$$ | ||
$$, | |||
is seen to converge absolutely at each limit, and be independent of $\sigma \in \left[c,\mathrm{\infty}\right)$. Furthermore, as $t\to 0+$, $q\left(t\right)$ has the expansion (2.3.7).
For large $t$, the asymptotic expansion of $q\left(t\right)$ may be obtained from (2.4.3) by Haar’s method. This depends on the availability of a comparison function $F\left(z\right)$ for $Q\left(z\right)$ that has an inverse transform
2.4.6 | $$f\left(t\right)=\frac{1}{2\pi \mathrm{i}}\underset{\eta \to \mathrm{\infty}}{lim}{\int}_{\sigma -\mathrm{i}\eta}^{\sigma +\mathrm{i}\eta}{\mathrm{e}}^{tz}F\left(z\right)dz$$ | ||
with known asymptotic behavior as $t\to +\mathrm{\infty}$. By subtraction from (2.4.3)
2.4.7 | $$q\left(t\right)-f\left(t\right)=\frac{{\mathrm{e}}^{\sigma t}}{2\pi}\underset{\eta \to \mathrm{\infty}}{lim}{\int}_{-\eta}^{\eta}{\mathrm{e}}^{\mathrm{i}t\tau}\left(Q\left(\sigma +\mathrm{i}\tau \right)-F\left(\sigma +\mathrm{i}\tau \right)\right)d\tau .$$ | ||
If this integral converges uniformly at each limit for all sufficiently large $t$, then by the Riemann–Lebesgue lemma (§1.8(i))
2.4.8 | $$q\left(t\right)=f\left(t\right)+o\left({\mathrm{e}}^{ct}\right),$$ | ||
$t\to +\mathrm{\infty}$. | |||
If, in addition, the corresponding integrals with $Q$ and $F$ replaced by their derivatives ${Q}^{\left(j\right)}$ and ${F}^{\left(j\right)}$, $j=1,2,\mathrm{\dots},m$, converge uniformly, then by repeated integrations by parts
2.4.9 | $$q\left(t\right)=f\left(t\right)+o\left({t}^{-m}{\mathrm{e}}^{ct}\right),$$ | ||
$t\to +\mathrm{\infty}$. | |||
The most successful results are obtained on moving the integration contour as far to the left as possible. For examples see Olver (1997b, pp. 315–320).
Let $\mathcal{P}$ denote the path for the contour integral
2.4.10 | $$I\left(z\right)={\int}_{a}^{b}{\mathrm{e}}^{-zp\left(t\right)}q\left(t\right)dt,$$ | ||
in which $a$ is finite, $b$ is finite or infinite, and $\omega $ is the angle of slope of $\mathcal{P}$ at $a$, that is, $lim\left(\mathrm{ph}\left(t-a\right)\right)$ as $t\to a$ along $\mathcal{P}$. Assume that $p\left(t\right)$ and $q\left(t\right)$ are analytic on an open domain $\mathbf{T}$ that contains $\mathcal{P}$, with the possible exceptions of $t=a$ and $t=b$. Other assumptions are:
In a neighborhood of $a$
2.4.11 | $p\left(t\right)$ | $=p\left(a\right)+{\displaystyle \sum _{s=0}^{\mathrm{\infty}}}{p}_{s}{\left(t-a\right)}^{s+\mu},$ | ||
$q\left(t\right)$ | $={\displaystyle \sum _{s=0}^{\mathrm{\infty}}}{q}_{s}{\left(t-a\right)}^{s+\lambda -1},$ | |||
with $\mathrm{\Re}\lambda >0$, $\mu >0$, ${p}_{0}\ne 0$, and the branches of ${\left(t-a\right)}^{\lambda}$ and ${\left(t-a\right)}^{\mu}$ continuous and constructed with $\mathrm{ph}\left(t-a\right)\to \omega $ as $t\to a$ along $\mathcal{P}$.
$z$ ranges along a ray or over an annular sector ${\theta}_{1}\le \theta \le {\theta}_{2}$, $\left|z\right|\ge Z$, where $\theta =\mathrm{ph}z$, $$, and $Z>0$. $I\left(z\right)$ converges at $b$ absolutely and uniformly with respect to $z$.
Excluding $t=a$, $\mathrm{\Re}\left({\mathrm{e}}^{\mathrm{i}\theta}p\left(t\right)-{\mathrm{e}}^{\mathrm{i}\theta}p\left(a\right)\right)$ is positive when $t\in \mathcal{P}$, and is bounded away from zero uniformly with respect to $\theta \in \left[{\theta}_{1},{\theta}_{2}\right]$ as $t\to b$ along $\mathcal{P}$.
Then
2.4.12 | $$I\left(z\right)\sim {\mathrm{e}}^{-zp\left(a\right)}\sum _{s=0}^{\mathrm{\infty}}\mathrm{\Gamma}\left(\frac{s+\lambda}{\mu}\right)\frac{{b}_{s}}{{z}^{\left(s+\lambda \right)/\mu}}$$ | ||
as $z\to \mathrm{\infty}$ in the sector ${\theta}_{1}\le \mathrm{ph}z\le {\theta}_{2}$. The coefficients ${b}_{s}$ are determined as in §2.3(iii), the branch of $\mathrm{ph}{p}_{0}$ being chosen to satisfy
2.4.13 | $$\left|\theta +\mu \omega +\mathrm{ph}{p}_{0}\right|\le \frac{1}{2}\pi .$$ | ||
Now suppose that in (2.4.10) the minimum of $\mathrm{\Re}\left(zp\left(t\right)\right)$ on $\mathcal{P}$ occurs at an interior point ${t}_{0}$. Temporarily assume that $\theta $ $\left(=\mathrm{ph}z\right)$ is fixed, so that ${t}_{0}$ is independent of $z$. We may subdivide
2.4.14 | $$I\left(z\right)={\int}_{{t}_{0}}^{b}{\mathrm{e}}^{-zp\left(t\right)}q\left(t\right)dt-{\int}_{{t}_{0}}^{a}{\mathrm{e}}^{-zp\left(t\right)}q\left(t\right)dt,$$ | ||
and apply the result of §2.4(iii) to each integral on the right-hand side, the role of the series (2.4.11) being played by the Taylor series of $p\left(t\right)$ and $q\left(t\right)$ at $t={t}_{0}$. If ${p}^{\prime}\left({t}_{0}\right)\ne 0$, then $\mu =1$, $\lambda $ is a positive integer, and the two resulting asymptotic expansions are identical. Thus the right-hand side of (2.4.14) reduces to the error terms. However, if ${p}^{\prime}\left({t}_{0}\right)=0$, then $\mu \ge 2$ and different branches of some of the fractional powers of ${p}_{0}$ are used for the coefficients ${b}_{s}$; again see §2.3(iii). In consequence, the asymptotic expansion obtained from (2.4.14) is no longer null.
Zeros of ${p}^{\prime}\left(t\right)$ are called saddle points (or cols) owing to the shape of the surface $\left|p\left(t\right)\right|$, $t\in \mathrm{\u2102}$, in their vicinity. Cases in which ${p}^{\prime}\left({t}_{0}\right)\ne 0$ are usually handled by deforming the integration path in such a way that the minimum of $\mathrm{\Re}\left(zp\left(t\right)\right)$ is attained at a saddle point or at an endpoint. Additionally, it may be advantageous to arrange that $\mathrm{\Im}\left(zp\left(t\right)\right)$ is constant on the path: this will usually lead to greater regions of validity and sharper error bounds. Paths on which $\mathrm{\Im}\left(zp\left(t\right)\right)$ is constant are also the ones on which $\left|\mathrm{exp}\left(-zp\left(t\right)\right)\right|$ decreases most rapidly. For this reason the name method of steepest descents is often used. However, for the purpose of simply deriving the asymptotic expansions the use of steepest descent paths is not essential.
In the commonest case the interior minimum ${t}_{0}$ of $\mathrm{\Re}\left(zp\left(t\right)\right)$ is a simple zero of ${p}^{\prime}\left(t\right)$. The final expansion then has the form
2.4.15 | $${\int}_{a}^{b}{\mathrm{e}}^{-zp\left(t\right)}q\left(t\right)dt\sim 2{\mathrm{e}}^{-zp\left({t}_{0}\right)}\sum _{s=0}^{\mathrm{\infty}}\mathrm{\Gamma}\left(s+\frac{1}{2}\right)\frac{{b}_{2s}}{{z}^{s+\left(1/2\right)}},$$ | ||
in which
2.4.16 | ${b}_{0}$ | $={\displaystyle \frac{q}{{\left(2{p}^{\mathrm{\prime \prime}}\right)}^{1/2}}},$ | ||
${b}_{2}$ | $=\left(2{q}^{\mathrm{\prime \prime}}-{\displaystyle \frac{2{p}^{\mathrm{\prime \prime \prime}}{q}^{\prime}}{{p}^{\mathrm{\prime \prime}}}}+\left({\displaystyle \frac{5{\left({p}^{\mathrm{\prime \prime \prime}}\right)}^{2}}{6{\left({p}^{\mathrm{\prime \prime}}\right)}^{2}}}-{\displaystyle \frac{{p}^{\mathrm{iv}}}{2{p}^{\mathrm{\prime \prime}}}}\right)q\right){\displaystyle \frac{1}{{\left(2{p}^{\mathrm{\prime \prime}}\right)}^{3/2}}},$ | |||
with $p,q$ and their derivatives evaluated at ${t}_{0}$. The branch of ${\omega}_{0}=\mathrm{ph}\left({p}^{\mathrm{\prime \prime}}\left({t}_{0}\right)\right)$ is the one satisfying $\left|\theta +2\omega +{\omega}_{0}\right|\le \frac{1}{2}\pi $, where $\omega $ is the limiting value of $\mathrm{ph}\left(t-{t}_{0}\right)$ as $t\to {t}_{0}$ from $b$.
Higher coefficients ${b}_{2s}$ in (2.4.15) can be found from (2.3.18) with $\lambda =1$, $\mu =2$, and $s$ replaced by $2s$. For integral representations of the ${b}_{2s}$ and their asymptotic behavior as $s\to \mathrm{\infty}$ see Boyd (1995). The last reference also includes examples, as do Olver (1997b, Chapter 4), Wong (1989, Chapter 2), and Bleistein and Handelsman (1975, Chapter 7).
Consider the integral
2.4.17 | $$I\left(\alpha ,z\right)={\int}_{\mathcal{P}}{\mathrm{e}}^{-zp\left(\alpha ,t\right)}q\left(\alpha ,t\right)dt$$ | ||
in which $z$ is a large real or complex parameter, $p\left(\alpha ,t\right)$ and $q\left(\alpha ,t\right)$ are analytic functions of $t$ and continuous in $t$ and a second parameter $\alpha $. Suppose that on the integration path $\mathcal{P}$ there are two simple zeros of $\partial p\left(\alpha ,t\right)/\partial t$ that coincide for a certain value $\widehat{\alpha}$ of $\alpha $. The problem of obtaining an asymptotic approximation to $I\left(\alpha ,z\right)$ that is uniform with respect to $\alpha $ in a region containing $\widehat{\alpha}$ is similar to the problem of a coalescing endpoint and saddle point outlined in §2.3(v).
The change of integration variable is given by
2.4.18 | $$p\left(\alpha ,t\right)=\frac{1}{3}{w}^{3}+a{w}^{2}+bw+c,$$ | ||
with $a$ and $b$ chosen so that the zeros of $\partial p\left(\alpha ,t\right)/\partial t$ correspond to the zeros ${w}_{1}\left(\alpha \right),{w}_{2}\left(\alpha \right)$, say, of the quadratic ${w}^{2}+2aw+b$. Then
2.4.19 | $$I\left(\alpha ,z\right)={\mathrm{e}}^{-cz}{\int}_{\mathcal{Q}}\mathrm{exp}\left(-z\left(\frac{1}{3}{w}^{3}+a{w}^{2}+bw\right)\right)f\left(\alpha ,w\right)dw,$$ | ||
where $\mathcal{Q}$ is the $w$-map of $\mathcal{P}$, and
2.4.20 | $$f\left(\alpha ,w\right)=q\left(\alpha ,t\right)\frac{dt}{dw}=q\left(\alpha ,t\right)\frac{{w}^{2}+2aw+b}{\partial p\left(\alpha ,t\right)/\partial t}.$$ | ||
The function $f\left(\alpha ,w\right)$ is analytic at $w={w}_{1}\left(\alpha \right)$ and $w={w}_{2}\left(\alpha \right)$ when $\alpha \ne \widehat{\alpha}$, and at the confluence of these points when $\alpha =\widehat{\alpha}$. For large $\left|z\right|$, $I\left(\alpha ,z\right)$ is approximated uniformly by the integral that corresponds to (2.4.19) when $f\left(\alpha ,w\right)$ is replaced by a constant. By making a further change of variable
2.4.21 | $$w={z}^{-1/3}v-a,$$ | ||
and assigning an appropriate value to $c$ to modify the contour, the approximating integral is reducible to an Airy function or a Scorer function (§§9.2, 9.12).
For examples, proofs, and extensions see Olver (1997b, Chapter 9), Wong (1989, Chapter 7), Olde Daalhuis and Temme (1994), Chester et al. (1957), and Bleistein and Handelsman (1975, Chapter 9).
For a symbolic method for evaluating the coefficients in the asymptotic expansions see Vidūnas and Temme (2002).
The problems sketched in §§2.3(v) and 2.4(v) involve only two of many possibilities for the coalescence of endpoints, saddle points, and singularities in integrals associated with the special functions. For a coalescing saddle point and a pole see Wong (1989, Chapter 7) and van der Waerden (1951); in this case the uniform approximants are complementary error functions. For a coalescing saddle point and endpoint see Olver (1997b, Chapter 9) and Wong (1989, Chapter 7); if the endpoint is an algebraic singularity then the uniform approximants are parabolic cylinder functions with fixed parameter, and if the endpoint is not a singularity then the uniform approximants are complementary error functions.
For two coalescing saddle points and an endpoint see Leubner and Ritsch (1986). For two coalescing saddle points and an algebraic singularity see Temme (1986), Jin and Wong (1998). For a coalescing saddle point, a pole, and a branch point see Ciarkowski (1989). For many coalescing saddle points see §36.12. For double integrals with two coalescing stationary points see Qiu and Wong (2000).