About the Project
19 Elliptic IntegralsSymmetric Integrals

§19.27 Asymptotic Approximations and Expansions

Contents
  1. §19.27(i) Notation
  2. §19.27(ii) RF(x,y,z)
  3. §19.27(iii) RG(x,y,z)
  4. §19.27(iv) RD(x,y,z)
  5. §19.27(v) RJ(x,y,z,p)
  6. §19.27(vi) Asymptotic Expansions

§19.27(i) Notation

Throughout this section

19.27.1 a =12(x+y),
b =12(y+z),
c =13(x+y+z),
f =(xyz)1/3,
g =(xy)1/2,
h =(yz)1/2.

§19.27(ii) RF(x,y,z)

Assume x, y, and z are real and nonnegative and at most one of them is 0. Then

19.27.2 RF(x,y,z)=12z(ln8za+g)(1+O(az)),
a/z0.
19.27.3 RF(x,y,z)=RF(0,y,z)1h(xh+O(xh)),
x/h0.

§19.27(iii) RG(x,y,z)

Assume x, y, and z are real and nonnegative and at most one of them is 0. Then

19.27.4 RG(x,y,z)=z2(1+O(azlnza)),
a/z0.
19.27.5 RG(x,y,z)=RG(0,y,z)+xO(x/h),
x/h0.
19.27.6 RG(0,y,z)=z2+y8z(ln(16zy)1)(1+O(yz)),
y/z0.

§19.27(iv) RD(x,y,z)

Assume x and y are real and nonnegative, at most one of them is 0, and z>0. Then

19.27.7 RD(x,y,z) =32z3/2(ln(8za+g)2)(1+O(az)),
a/z0.
19.27.8 RD(x,y,z) =3xyz6xyRG(x,y,0)(1+O(zg)),
z/g0.
19.27.9 RD(x,y,z) =3xz(y+z)(1+O(bxlnxb)),
b/x0.
19.27.10 RD(x,y,z) =RD(0,y,z)3xhz(1+O(xh)),
x/h0.

§19.27(v) RJ(x,y,z,p)

Assume x, y, and z are real and nonnegative, at most one of them is 0, and p>0. Then

19.27.11 RJ(x,y,z,p) =3pRF(x,y,z)3π2p3/2(1+O(cp)),
c/p0.
19.27.12 RJ(x,y,z,p) =32xyz(ln(4fp)2)(1+O(pf)),
p/f0.
19.27.13 RJ(x,y,z,p) =32zp(ln(8za+g)2RC(1,pz)+O((az+ap)lnpa)),
max(x,y)/min(z,p)0.
19.27.14 RJ(x,y,z,p) =3yzRC(x,p)6yzRG(0,y,z)+O(x+2pyz),
max(x,p)/min(y,z)0.
19.27.15 RJ(x,y,z,p) =RJ(0,y,z,p)3xhp(1+O((bh+hp)xh)),
x/min(y,z,p)0.
19.27.16 RJ(x,y,z,p) =(3/x)RC((h+p)2,2(b+h)p)+O(1x3/2lnxb+h),
max(y,z,p)/x0.

§19.27(vi) Asymptotic Expansions

The approximations in §§19.27(i)19.27(v) are furnished with upper and lower bounds by Carlson and Gustafson (1994), sometimes with two or three approximations of differing accuracies. Although they are obtained (with some exceptions) by approximating uniformly the integrand of each elliptic integral, some occur also as the leading terms of known asymptotic series with error bounds (Wong (1983, §4), Carlson and Gustafson (1985), López (2000, 2001)). These series converge but not fast enough, given the complicated nature of their terms, to be very useful in practice.

A similar (but more general) situation prevails for Ra(𝐛;𝐳) when some of the variables z1,,zn are smaller in magnitude than the rest; see Carlson (1985, (4.16)–(4.19) and (2.26)–(2.29)).