About the Project
13 Confluent Hypergeometric FunctionsComputation

§13.29 Methods of Computation


§13.29(i) Series Expansions

Although the Maclaurin series expansion (13.2.2) converges for all finite values of z, it is cumbersome to use when |z| is large owing to slowness of convergence and cancellation. For large |z| the asymptotic expansions of §13.7 should be used instead. Accuracy is limited by the magnitude of |z|. However, this accuracy can be increased considerably by use of the exponentially-improved forms of expansion supplied by the combination of (13.7.10) and (13.7.11), or by use of the hyperasymptotic expansions given in Olde Daalhuis and Olver (1995a). For large values of the parameters a and b the approximations in §13.8 are available.

Similarly for the Whittaker functions.

§13.29(ii) Differential Equations

A comprehensive and powerful approach is to integrate the differential equations (13.2.1) and (13.14.1) by direct numerical methods. As described in §3.7(ii), to insure stability the integration path must be chosen in such a way that as we proceed along it the wanted solution grows in magnitude at least as fast as all other solutions of the differential equation.

For M(a,b,z) and Mκ,μ(z) this means that in the sector |phz|π we may integrate along outward rays from the origin with initial values obtained from (13.2.2) and (13.14.2).

For U(a,b,z) and Wκ,μ(z) we may integrate along outward rays from the origin in the sectors 12π<|phz|<32π, with initial values obtained from connection formulas in §13.2(vii), §13.14(vii). In the sector |phz|<12π the integration has to be towards the origin, with starting values computed from asymptotic expansions (§§13.7 and 13.19). On the rays phz=±12π, integration can proceed in either direction.

§13.29(iii) Integral Representations

The integral representations (13.4.1) and (13.4.4) can be used to compute the Kummer functions, and (13.16.1) and (13.16.5) for the Whittaker functions. In Allasia and Besenghi (1991) and Allasia and Besenghi (1987a) the high accuracy of the trapezoidal rule for the computation of Kummer functions is described. Gauss quadrature methods are discussed in Gautschi (2002b).

§13.29(iv) Recurrence Relations

The recurrence relations in §§13.3(i) and 13.15(i) can be used to compute the confluent hypergeometric functions in an efficient way. In the following two examples Olver’s algorithm (§3.6(v)) can be used.

Example 1

We assume 2μ-1,-2,-3,. Then we have

13.29.1 z2(n+μ-12)((n+μ+12)2-κ2)(n+μ)(n+μ+12)(n+μ+1)y(n+1)+16((n+μ)2-12κz-14)y(n)-16((n+μ)2-14)y(n-1)=0,

with recessive solution

13.29.2 y(n)=z-n-μ-12Mκ,n+μ(z),

normalizing relation

13.29.3 e-12z=s=0(2μ)s(12+μ-κ)s(2μ)2ss!(-z)sy(s),

and estimate

13.29.4 y(n)=1+O(n-1),

Example 2

We assume a,a+1-b0,-1,-2,. Then we have

13.29.5 (n+a)w(n)-(2(n+a+1)+z-b)w(n+1)+(n+a-b+2)w(n+2)=0,

with recessive solution

13.29.6 w(n)=(a)nU(n+a,b,z),

normalizing relation

13.29.7 z-a=s=0(a-b+1)ss!w(s),

and estimate

13.29.8 w(n)πe12zz14(4a-2b+1)Γ(a)Γ(a+1-b)n14(4a-2b-3)e-2nz,

as n. See Temme (1983), and also Wimp (1984, Chapter 5) and Deaño et al. (2010).

§13.29(v) Continued Fractions

In Colman et al. (2011) an algorithm is described that uses expansions in continued fractions for high-precision computation of M(n,b,x), when b and x are real and n is a positive integer. The accuracy is controlled and validated by a running error analysis coupled with interval arithmetic.