19 Elliptic IntegralsSymmetric Integrals

§19.20 Special Cases

Contents
  1. §19.20(i) RF⁡(x,y,z)
  2. §19.20(ii) RG⁡(x,y,z)
  3. §19.20(iii) RJ⁡(x,y,z,p)
  4. §19.20(iv) RD⁡(x,y,z)
  5. §19.20(v) R−a⁡(𝐛;𝐳)

§19.20(i) RF⁡(x,y,z)

In this subsection, and also §§19.20(ii)–19.20(v), the variables of all R-functions satisfy the constraints specified in §19.16(i) unless other conditions are stated.

19.20.1 RF⁡(x,x,x) =x−1/2,
RF⁡(λ⁢x,λ⁢y,λ⁢z) =λ−1/2⁢RF⁡(x,y,z),
RF⁡(x,y,y) =RC⁡(x,y),
RF⁡(0,y,y) =12⁢π⁢y−1/2,
RF⁡(0,0,z) =∞.

The first lemniscate constant is given by

19.20.2 ∫01dt1−t4=RF⁡(0,1,2)=(Γ⁡(14))24⁢(2⁢π)1/2=1.31102 87771 46059 90523⁢….

Todd (1975) refers to a proof by T. Schneider that this is a transcendental number. The general lemniscatic case is

19.20.3 RF⁡(x,a,y)=R−14⁡(34,12;a2,x⁢y),
a=12⁢(x+y).

§19.20(ii) RG⁡(x,y,z)

19.20.4 RG⁡(x,x,x) =x1/2,
RG⁡(λ⁢x,λ⁢y,λ⁢z) =λ1/2⁢RG⁡(x,y,z),
RG⁡(0,y,y) =14⁢π⁢y1/2,
RG⁡(0,0,z) =12⁢z1/2,

§19.20(iii) RJ⁡(x,y,z,p)

19.20.6 RJ⁡(x,x,x,x) =x−3/2,
RJ⁡(λ⁢x,λ⁢y,λ⁢z,λ⁢p) =λ−3/2⁢RJ⁡(x,y,z,p),
RJ⁡(x,y,z,z) =RD⁡(x,y,z),
RJ⁡(0,0,z,p) =∞,
RJ⁡(x,x,x,p) =RD⁡(p,p,x)=3x−p⁢(RC⁡(x,p)−1x),
x≠p, x⁢p≠0.
19.20.7 RJ⁡(x,y,z,p)→+∞,
p→0+ or 0−; x,y,z>0.
19.20.8 RJ⁡(0,y,y,p) =3⁢π2⁢(y⁢p+p⁢y),
p>0,
RJ⁡(0,y,y,−q) =−3⁢π2⁢y⁢(y+q),
q>0,
RJ⁡(x,y,y,p) =3p−y⁢(RC⁡(x,y)−RC⁡(x,p)),
p≠y,
RJ⁡(x,y,y,y) =RD⁡(x,y,y).
19.20.9 RJ⁡(0,y,z,±y⁢z)=±32⁢y⁢z⁢RF⁡(0,y,z).
19.20.10 limp→0+p⁢RJ⁡(0,y,z,p) =3⁢π2⁢y⁢z,
limp→0−RJ⁡(0,y,z,p) =−RD⁡(0,y,z)−RD⁡(0,z,y)=−6y⁢z⁢RG⁡(0,y,z).
19.20.11 RJ⁡(0,y,z,p)=32⁢p⁢z⁢ln⁡(16⁢zy)−3p⁢RC⁡(z,p)+O⁡(y⁢ln⁡y),
y→0+; p (≠0) real.
19.20.12 limp→±∞p⁢RJ⁡(x,y,z,p)=3⁢RF⁡(x,y,z).
19.20.13 2⁢(p−x)⁢RJ⁡(x,y,z,p)=3⁢RF⁡(x,y,z)−3⁢x⁢RC⁡(y⁢z,p2),
p=x±(y−x)⁢(z−x),

where x,y,z may be permuted.

When the variables are real and distinct, the various cases of RJ⁡(x,y,z,p) are called circular (hyperbolic) cases if (p−x)⁢(p−y)⁢(p−z) is positive (negative), because they typically occur in conjunction with inverse circular (hyperbolic) functions. Cases encountered in dynamical problems are usually circular; hyperbolic cases include Cauchy principal values. If x,y,z are permuted so that 0≤x<y<z, then the Cauchy principal value of RJ is given by

19.20.14 (q+z)⁢RJ⁡(x,y,z,−q)=(p−z)⁢RJ⁡(x,y,z,p)−3⁢RF⁡(x,y,z)+3⁢(x⁢y⁢zx⁢y+p⁢q)1/2⁢RC⁡(x⁢y+p⁢q,p⁢q),

valid when

19.20.15 q >0,
p =z⁢(x+y+q)−x⁢yz+q,

or

19.20.16 p =w⁢y+(1−w)⁢z,
w =z−xz+q,
0 <w<1.

Since x<y<p<z, p is in a hyperbolic region. In the complete case (x=0) (19.20.14) reduces to

19.20.17 (q+z)⁢RJ⁡(0,y,z,−q)=(p−z)⁢RJ⁡(0,y,z,p)−3⁢RF⁡(0,y,z),
p=z⁢(y+q)/(z+q), w=z/(z+q).

§19.20(iv) RD⁡(x,y,z)

19.20.18 RD⁡(x,x,x) =x−3/2,
RD⁡(λ⁢x,λ⁢y,λ⁢z) =λ−3/2⁢RD⁡(x,y,z),
RD⁡(0,y,y) =34⁢π⁢y−3/2,
RD⁡(0,0,z) =∞.
19.20.19 RD⁡(x,y,z)∼3⁢x−1/2⁢y−1/2⁢z−1/2,
z/x⁢y→0.
19.20.20 RD⁡(x,y,y)=32⁢(y−x)⁢(RC⁡(x,y)−xy),
x≠y, y≠0,
19.20.21 RD⁡(x,x,z)=3z−x⁢(RC⁡(z,x)−1z),
x≠z, x⁢z≠0.

The second lemniscate constant is given by

19.20.22 ∫01t2⁢dt1−t4=13⁢RD⁡(0,2,1)=(Γ⁡(34))2(2⁢π)1/2=0.59907 01173 67796 10371⁢….

Todd (1975) refers to a proof by T. Schneider that this is a transcendental number. Compare (19.20.2). The general lemniscatic case is

19.20.23 RD⁡(x,y,a)=R−34⁡(54,12;a2,x⁢y),
a=12⁢x+12⁢y.

§19.20(v) R−a⁡(𝐛;𝐳)

Define c=∑j=1nbj. Then

19.20.24 R0⁡(𝐛;𝐳) =1,
RN⁡(𝐛;𝐳) =N!(c)N⁢TN⁡(𝐛,𝐳),
N=0,1,2,…,

where TN is defined by (19.19.1). Also,

19.20.25 R−c⁡(𝐛;𝐳)=∏j=1nzj−bj,
19.20.26 R−a⁡(𝐛;𝐳)=∏j=1nzj−bj⁢R−a′⁡(𝐛;𝒛−𝟏),
a+a′=c, 𝒛−𝟏=(z1−1,…,zn−1).

See also (19.16.11) and (19.16.19).