[go: up one dir, main page]

19 Elliptic IntegralsApplications

§19.30 Lengths of Plane Curves

Contents
  1. §19.30(i) Ellipse
  2. §19.30(ii) Hyperbola
  3. §19.30(iii) Bernoulli’s Lemniscate

§19.30(i) Ellipse

The arclength s of the ellipse

19.30.1 x =a⁢sin⁡ϕ,
y =b⁢cos⁡ϕ,
0≤ϕ≤2⁢π,

with a>b, is given by

19.30.2 s=a⁢∫0ϕ1−k2⁢sin2⁡θ⁢dθ.

When 0≤ϕ≤12⁢π,

where

19.30.4 k2 =1−(b2/a2),
c =csc2⁡ϕ.

Cancellation on the second right-hand side of (19.30.3) can be avoided by use of (19.25.10).

The length of the ellipse is

19.30.5 L⁡(a,b)=4⁢a⁢E⁡(k)=8⁢a⁢RG⁡(0,b2/a2,1)=8⁢RG⁡(0,a2,b2)=8⁢a⁢b⁢RG⁡(0,a−2,b−2),

showing the symmetry in a and b. Approximations and inequalities for L⁡(a,b) are given in §19.9(i).

Let a2 and b2 be replaced respectively by a2+λ and b2+λ, where λ∈(−b2,∞), to produce a family of confocal ellipses. As λ increases, the eccentricity k decreases and the rate of change of arclength for a fixed value of ϕ is given by

§19.30(ii) Hyperbola

The arclength s of the hyperbola

19.30.7 x =a⁢t+1,
y =b⁢t,
0≤t<∞,

is given by

19.30.8 s=12⁢∫0y2/b2(a2+b2)⁢t+b2t⁢(t+1)⁢dt.

From (19.29.7), with aδ=1 and bδ=0,

19.30.9 s=12⁢I⁡(𝐞1)=−13⁢a2⁢b2⁢RD⁡(r,r+b2+a2,r+b2)+y⁢r+b2+a2r+b2,
r=b4/y2.

For s in terms of E⁡(ϕ,k), F⁡(ϕ,k), and an algebraic term, see Byrd and Friedman (1971, p. 3). See Carlson (1977b, Ex. 9.4-1 and (9.4-4)) for arclengths of hyperbolas and ellipses in terms of R−a that differ only in the sign of b2.

§19.30(iii) Bernoulli’s Lemniscate

For 0≤θ≤14⁢π, the arclength s of Bernoulli’s lemniscate

19.30.10 r2=2⁢a2⁢cos⁡(2⁢θ),
0≤θ≤2⁢π,

is given by

19.30.11 s=2⁢a2⁢∫0rdt4⁢a4−t4=2⁢a2⁢RF⁡(q−1,q,q+1),
q=2⁢a2/r2=sec⁡(2⁢θ),

or equivalently,

The perimeter length P of the lemniscate is given by

19.30.13 P=4⁢2⁢a2⁢RF⁡(0,1,2)=2⁢a2×5.24411 51⁢…=4⁢a⁢K⁡(1/2)=a×7.41629 87⁢….

For other plane curves with arclength representable by an elliptic integral see Greenhill (1892, p. 190) and Bowman (1953, pp. 32–33).