6 Exponential, Logarithmic, Sine, and Cosine IntegralsComputation6.17 Physical Applications6.19 Tables

For small or moderate values of $x$ and $|z|$, the expansion in power series (§6.6) or in series of spherical Bessel functions (§6.10(ii)) can be used. For large $x$ or $|z|$ these series suffer from slow convergence or cancellation (or both). However, this problem is less severe for the series of spherical Bessel functions because of their more rapid rate of convergence, and also (except in the case of (6.10.6)) absence of cancellation when $z=x$ ($>0$).

For large $x$ and $\left|z\right|$, expansions in inverse factorial series (§6.10(i)) or asymptotic expansions (§6.12) are available. The attainable accuracy of the asymptotic expansions can be increased considerably by exponential improvement. Also, other ranges of $\mathrm{ph}z$ can be covered by use of the continuation formulas of §6.4.

Quadrature of the integral representations is another effective method. For example, the Gauss-Laguerre formula (§3.5(v)) can be applied to (6.2.2); see Todd (1954) and Tseng and Lee (1998). For an application of the Gauss-Legendre formula (§3.5(v)) see Tooper and Mark (1968).

Lastly, the continued fraction (6.9.1) can be used if $|z|$ is bounded away from the origin. Convergence becomes slow when $z$ is near the negative real axis, however.

Power series, asymptotic expansions, and quadrature can also be used to compute the functions $\mathrm{f}\left(z\right)$ and $\mathrm{g}\left(z\right)$. In addition, Acton (1974) developed a recurrence procedure, as follows. For $n=0,1,2,\mathrm{\dots}$, define

6.18.1 | ${A}_{n}$ | $={\displaystyle {\int}_{0}^{\mathrm{\infty}}}{\displaystyle \frac{t{\mathrm{e}}^{-zt}}{1+{t}^{2}}}{\left({\displaystyle \frac{{t}^{2}}{1+{t}^{2}}}\right)}^{n}dt,$ | ||

${B}_{n}$ | $={\displaystyle {\int}_{0}^{\mathrm{\infty}}}{\displaystyle \frac{{\mathrm{e}}^{-zt}}{1+{t}^{2}}}{\left({\displaystyle \frac{{t}^{2}}{1+{t}^{2}}}\right)}^{n}dt,$ | |||

${C}_{n}$ | $={\displaystyle {\int}_{0}^{\mathrm{\infty}}}{\mathrm{e}}^{-zt}{\left({\displaystyle \frac{{t}^{2}}{1+{t}^{2}}}\right)}^{n}dt.$ | |||

Then $\mathrm{f}\left(z\right)={B}_{0}$, $\mathrm{g}\left(z\right)={A}_{0}$, and

6.18.2 | ${A}_{n-1}$ | $={A}_{n}+{\displaystyle \frac{z}{2n}}{C}_{n},$ | ||

${B}_{n-1}$ | $={\displaystyle \frac{2n{B}_{n}+z{A}_{n-1}}{2n-1}},$ | |||

${C}_{n-1}$ | $={C}_{n}+{B}_{n-1}$, | |||

$n=1,2,3,\mathrm{\dots}.$ | ||||

${A}_{0}$, ${B}_{0}$, and ${C}_{0}$ can be computed by Miller’s algorithm (§3.6(iii)), starting with initial values $({A}_{N},{B}_{N},{C}_{N})=(1,0,0)$, say, where $N$ is an arbitrary large integer, and normalizing via ${C}_{0}=1/z$.

For a comprehensive survey of computational methods for the functions treated in this chapter, see van der Laan and Temme (1984, Ch. IV).