19 Elliptic Integrals Legendre’s Integrals 19.7 Connection Formulas 19.9 Inequalities

§19.8 Quadratic Transformations

ⓘ

Keywords:: Legendre’s elliptic integrals, quadratic transformations
Permalink:: http://dlmf.nist.gov/19.8
See also:: Annotations for Ch.19

§19.8(i) Gauss’s Arithmetic-Geometric Mean (AGM)
§19.8(ii) Landen Transformations
§19.8(iii) Gauss Transformation

§19.8(i) Gauss’s Arithmetic-Geometric Mean (AGM)

ⓘ

Defines:: $M\left(\NVar{a},\NVar{g}\right)$ : arithmetic-geometric mean
Keywords:: Legendre’s elliptic integrals, arithmetic-geometric mean, integral representations
Notes:: See Cox (1984, 1985), Borwein and Borwein (1987, Chapter 1). To prove the second equality in (19.8.4), put $\tan\theta=\sqrt{t}/g_{0}$ . (19.8.7) is derived from (19.22.12) and (19.25.14), and (19.8.9) is derived from (19.6.5) and (19.8.7); see also Carlson (2002).
Referenced by:: §19.22(ii), §19.24(i), §19.36(ii), item 1
Permalink:: http://dlmf.nist.gov/19.8.i
See also:: Annotations for §19.8 and Ch.19

When $a_{0}$ and $g_{0}$ are positive numbers, define

19.8.1		$\displaystyle a_{n+1}$	$\displaystyle=\frac{a_{n}+g_{n}}{2},$
		$\displaystyle g_{n+1}$	$\displaystyle=\sqrt{a_{n}g_{n}}$ ,
	$n=0,1,2,\dots$ .
ⓘ Symbols: $n$ : nonnegative integer, $a_{n}$ : iterate and $g_{n}$ : iterate Permalink: http://dlmf.nist.gov/19.8.E1 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for §19.8(i), §19.8 and Ch.19

As $n\to\infty$ , $a_{n}$ and $g_{n}$ converge to a common limit $M\left(a_{0},g_{0}\right)$ called the AGM (Arithmetic-Geometric Mean) of $a_{0}$ and $g_{0}$ . By symmetry in $a_{0}$ and $g_{0}$ we may assume $a_{0}\geq g_{0}$ and define

19.8.2		$c_{n}=\sqrt{a_{n}^{2}-g_{n}^{2}}.$
ⓘ Symbols: $n$ : nonnegative integer, $a_{n}$ : iterate and $g_{n}$ : iterate Permalink: http://dlmf.nist.gov/19.8.E2 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

Then

19.8.3		$c_{n+1}=\frac{a_{n}-g_{n}}{2}=\frac{c_{n}^{2}}{4a_{n+1}},$
ⓘ Symbols: $n$ : nonnegative integer, $a_{n}$ : iterate and $g_{n}$ : iterate Permalink: http://dlmf.nist.gov/19.8.E3 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

showing that the convergence of $c_{n}$ to 0 and of $a_{n}$ and $g_{n}$ to $M\left(a_{0},g_{0}\right)$ is quadratic in each case.

The AGM has the integral representations

19.8.4		$\frac{1}{M\left(a_{0},g_{0}\right)}=\frac{2}{\pi}\int_{0}^{\pi/2}\frac{\,% \mathrm{d}\theta}{\sqrt{a_{0}^{2}{\cos}^{2}\theta+g_{0}^{2}{\sin}^{2}\theta}}=% \frac{1}{\pi}\int_{0}^{\infty}\frac{\,\mathrm{d}t}{\sqrt{t(t+a_{0}^{2})(t+g_{0% }^{2})}}.$
ⓘ Symbols: $M\left(\NVar{a},\NVar{g}\right)$ : arithmetic-geometric mean, $\pi$ : the ratio of the circumference of a circle to its diameter, $\cos\NVar{z}$ : cosine function, $\,\mathrm{d}\NVar{x}$ : differential of $x$ , $\int$ : integral, $\sin\NVar{z}$ : sine function, $a_{n}$ : iterate and $g_{n}$ : iterate Referenced by: §19.8(i) Permalink: http://dlmf.nist.gov/19.8.E4 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

The first of these shows that

19.8.5		$K\left(k\right)=\frac{\pi}{2M\left(1,k^{\prime}\right)},$
$-\infty<k^{2}<1$ .
ⓘ Symbols: $M\left(\NVar{a},\NVar{g}\right)$ : arithmetic-geometric mean, $\pi$ : the ratio of the circumference of a circle to its diameter, $K\left(\NVar{k}\right)$ : Legendre’s complete elliptic integral of the first kind, $k$ : real or complex modulus and $k^{\prime}$ : complementary modulus Permalink: http://dlmf.nist.gov/19.8.E5 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

The AGM appears in

19.8.6		$E\left(k\right)=\frac{\pi}{2M\left(1,k^{\prime}\right)}\left(a_{0}^{2}-\sum_{n% =0}^{\infty}2^{n-1}c_{n}^{2}\right)=K\left(k\right)\left(a_{1}^{2}-\sum_{n=2}^% {\infty}2^{n-1}c_{n}^{2}\right),$
$-\infty<k^{2}<1$ , $a_{0}=1$ , $g_{0}=k^{\prime}$ ,
ⓘ Symbols: $M\left(\NVar{a},\NVar{g}\right)$ : arithmetic-geometric mean, $\pi$ : the ratio of the circumference of a circle to its diameter, $K\left(\NVar{k}\right)$ : Legendre’s complete elliptic integral of the first kind, $E\left(\NVar{k}\right)$ : Legendre’s complete elliptic integral of the second kind, $n$ : nonnegative integer, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $a_{n}$ : iterate and $g_{n}$ : iterate Permalink: http://dlmf.nist.gov/19.8.E6 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

and in

19.8.7		$\Pi\left(\alpha^{2},k\right)=\frac{\pi}{4M\left(1,k^{\prime}\right)}\left(2+% \frac{\alpha^{2}}{1-\alpha^{2}}\sum_{n=0}^{\infty}Q_{n}\right),$
$-\infty<k^{2}<1$ , $-\infty<\alpha^{2}<1$ ,
ⓘ Symbols: $M\left(\NVar{a},\NVar{g}\right)$ : arithmetic-geometric mean, $\pi$ : the ratio of the circumference of a circle to its diameter, $\Pi\left(\NVar{\alpha}^{2},\NVar{k}\right)$ : Legendre’s complete elliptic integral of the third kind, $n$ : nonnegative integer, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $\alpha^{2}$ : real or complex parameter and $Q_{n}$ Referenced by: §19.8(i) Permalink: http://dlmf.nist.gov/19.8.E7 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

where $a_{0}=1$ , $g_{0}=k^{\prime}$ , $p_{0}^{2}=1-\alpha^{2}$ , $Q_{0}=1$ , and

19.8.8		$\displaystyle p_{n+1}$	$\displaystyle=\frac{p_{n}^{2}+a_{n}g_{n}}{2p_{n}},$
		$\displaystyle\varepsilon_{n}$	$\displaystyle=\frac{p_{n}^{2}-a_{n}g_{n}}{p_{n}^{2}+a_{n}g_{n}},$
		$\displaystyle Q_{n+1}$	$\displaystyle=\tfrac{1}{2}Q_{n}\varepsilon_{n}$ ,
	$n=0,1,\dots$ .
ⓘ Symbols: $n$ : nonnegative integer, $a_{n}$ : iterate, $g_{n}$ : iterate, $Q_{n}$ and $\varepsilon_{n}$ Referenced by: §19.8(i) Permalink: http://dlmf.nist.gov/19.8.E8 Encodings: TeX, TeX, TeX, pMML, pMML, pMML, png, png, png See also: Annotations for §19.8(i), §19.8 and Ch.19

Again, $p_{n}$ and $\varepsilon_{n}$ converge quadratically to $M\left(a_{0},g_{0}\right)$ and 0, respectively, and $Q_{n}$ converges to 0 faster than quadratically. If $\alpha^{2}>1$ , then the Cauchy principal value is

19.8.9		$\Pi\left(\alpha^{2},k\right)=\frac{\pi}{4M\left(1,k^{\prime}\right)}\frac{k^{2% }}{k^{2}-\alpha^{2}}\sum_{n=0}^{\infty}Q_{n},$
$-\infty<k^{2}<1$ , $1<\alpha^{2}<\infty$ ,
ⓘ Symbols: $M\left(\NVar{a},\NVar{g}\right)$ : arithmetic-geometric mean, $\pi$ : the ratio of the circumference of a circle to its diameter, $\Pi\left(\NVar{\alpha}^{2},\NVar{k}\right)$ : Legendre’s complete elliptic integral of the third kind, $n$ : nonnegative integer, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $\alpha^{2}$ : real or complex parameter and $Q_{n}$ Referenced by: §19.8(i) Permalink: http://dlmf.nist.gov/19.8.E9 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

where (19.8.8) still applies, but with

19.8.10		$p_{0}^{2}=1-(k^{2}/\alpha^{2}).$
ⓘ Symbols: $k$ : real or complex modulus and $\alpha^{2}$ : real or complex parameter Permalink: http://dlmf.nist.gov/19.8.E10 Encodings: TeX, pMML, png See also: Annotations for §19.8(i), §19.8 and Ch.19

§19.8(ii) Landen Transformations

ⓘ

Notes:: See Cazenave (1969, pp. 119–127). For (19.8.16) and (19.8.17) replace $(\phi,k)$ by $(\phi_{2},k_{2})$ , and then $(\phi_{1},k_{1})$ by $(\phi,k)$ in (19.8.11) and (19.8.13). See also Hancock (1958, pp. 74–77) for proof of (19.8.13) and (19.8.17).
Referenced by:: §19.15
Permalink:: http://dlmf.nist.gov/19.8.ii
See also:: Annotations for §19.8 and Ch.19

Descending Landen Transformation

ⓘ

Keywords:: Landen transformations, Legendre’s elliptic integrals, descending
See also:: Annotations for §19.8(ii), §19.8 and Ch.19

Let

19.8.11	$\displaystyle k_{1}$	$\displaystyle=\frac{1-k^{\prime}}{1+k^{\prime}},$
19.8.11	$\displaystyle\phi_{1}$	$\displaystyle=\phi+\operatorname{arctan}\left(k^{\prime}\tan\phi\right)=% \operatorname{arcsin}\left((1+k^{\prime})\frac{\sin\phi\cos\phi}{\sqrt{1-k^{2}% {\sin}^{2}\phi}}\right).$
ⓘ Defines: $k_{1}$ : change of variable (locally) and $\phi_{1}$ : change of variable (locally) Symbols: $\cos\NVar{z}$ : cosine function, $\operatorname{arcsin}\NVar{z}$ : arcsine function, $\operatorname{arctan}\NVar{z}$ : arctangent function, $\sin\NVar{z}$ : sine function, $\tan\NVar{z}$ : tangent function, $\phi$ : real or complex argument, $k$ : real or complex modulus and $k^{\prime}$ : complementary modulus Referenced by: §19.22(iii), §19.8(ii) Permalink: http://dlmf.nist.gov/19.8.E11 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for §19.8(ii), §19.8(ii), §19.8 and Ch.19

(Note that $0<k<1$ and $0<\phi<\pi/2$ imply $k_{1}<k$ and $\phi<\phi_{1}<2\phi$ , and also that $\phi=\pi/2$ implies $\phi_{1}=\pi$ .) Then

19.8.12	$\displaystyle K\left(k\right)$	$\displaystyle=(1+k_{1})K\left(k_{1}\right),$
19.8.12	$\displaystyle E\left(k\right)$	$\displaystyle=(1+k^{\prime})E\left(k_{1}\right)-k^{\prime}K\left(k\right).$
ⓘ Symbols: $K\left(\NVar{k}\right)$ : Legendre’s complete elliptic integral of the first kind, $E\left(\NVar{k}\right)$ : Legendre’s complete elliptic integral of the second kind, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus and $k_{1}$ : change of variable Referenced by: §19.36(iv), §19.5 Permalink: http://dlmf.nist.gov/19.8.E12 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for §19.8(ii), §19.8(ii), §19.8 and Ch.19

19.8.13	$\displaystyle F\left(\phi,k\right)$	$\displaystyle=\tfrac{1}{2}(1+k_{1})F\left(\phi_{1},k_{1}\right),$
19.8.13	$\displaystyle E\left(\phi,k\right)$	$\displaystyle=\tfrac{1}{2}(1+k^{\prime})E\left(\phi_{1},k_{1}\right)-k^{\prime% }F\left(\phi,k\right)+\tfrac{1}{2}(1-k^{\prime})\sin\phi_{1}.$
ⓘ Symbols: $F\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the first kind, $E\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the second kind, $\sin\NVar{z}$ : sine function, $\phi$ : real or complex argument, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $k_{1}$ : change of variable and $\phi_{1}$ : change of variable Referenced by: §19.8(ii) Permalink: http://dlmf.nist.gov/19.8.E13 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for §19.8(ii), §19.8(ii), §19.8 and Ch.19

19.8.14		$2(k^{2}-\alpha^{2})\Pi\left(\phi,\alpha^{2},k\right)=\frac{\omega^{2}-\alpha^{% 2}}{1+k^{\prime}}\Pi\left(\phi_{1},\alpha_{1}^{2},k_{1}\right)+k^{2}F\left(% \phi,k\right)-{(1+k^{\prime})\alpha_{1}^{2}R_{C}\left(c_{1},c_{1}-\alpha_{1}^{% 2}\right)},$
ⓘ Symbols: $R_{C}\left(\NVar{x},\NVar{y}\right)$ : Carlson’s combination of inverse circular and inverse hyperbolic functions, $F\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the first kind, $\Pi\left(\NVar{\phi},\NVar{\alpha}^{2},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the third kind, $\phi$ : real or complex argument, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $\alpha^{2}$ : real or complex parameter, $k_{1}$ : change of variable, $\phi_{1}$ : change of variable, $\omega$ : change of variable, $\alpha_{1}$ : change of variable and $c_{1}$ : change of variable Permalink: http://dlmf.nist.gov/19.8.E14 Encodings: TeX, pMML, png See also: Annotations for §19.8(ii), §19.8(ii), §19.8 and Ch.19

where

19.8.15	$\displaystyle\omega^{2}$	$\displaystyle=\frac{k^{2}-\alpha^{2}}{1-\alpha^{2}},$
	$\displaystyle\alpha_{1}^{2}$	$\displaystyle=\frac{\alpha^{2}\omega^{2}}{(1+k^{\prime})^{2}},$
	$\displaystyle c_{1}$	$\displaystyle={\csc}^{2}\phi_{1}.$
ⓘ Defines: $\omega$ : change of variable (locally), $\alpha_{1}$ : change of variable (locally) and $c_{1}$ : change of variable (locally) Symbols: $\csc\NVar{z}$ : cosecant function, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $\alpha^{2}$ : real or complex parameter and $\phi_{1}$ : change of variable Permalink: http://dlmf.nist.gov/19.8.E15 Encodings: TeX, TeX, TeX, pMML, pMML, pMML, png, png, png See also: Annotations for §19.8(ii), §19.8(ii), §19.8 and Ch.19

Ascending Landen Transformation

ⓘ

Keywords:: Landen transformations, Legendre’s elliptic integrals, ascending
See also:: Annotations for §19.8(ii), §19.8 and Ch.19

Let

19.8.16	$\displaystyle k_{2}$	$\displaystyle=2\sqrt{k}/(1+k),$
19.8.16	$\displaystyle 2\phi_{2}$	$\displaystyle=\phi+\operatorname{arcsin}\left(k\sin\phi\right).$
ⓘ Defines: $k_{2}$ : change of variable (locally) and $\phi_{2}$ : change of variable (locally) Symbols: $\operatorname{arcsin}\NVar{z}$ : arcsine function, $\sin\NVar{z}$ : sine function, $\phi$ : real or complex argument and $k$ : real or complex modulus Referenced by: §19.8(ii) Permalink: http://dlmf.nist.gov/19.8.E16 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for §19.8(ii), §19.8(ii), §19.8 and Ch.19

(Note that $0<k<1$ and $0<\phi\leq\pi/2$ imply $k<k_{2}<1$ and $\phi_{2}<\phi$ .) Then

19.8.17	$\displaystyle F\left(\phi,k\right)$	$\displaystyle=\frac{2}{1+k}F\left(\phi_{2},k_{2}\right),$
19.8.17	$\displaystyle E\left(\phi,k\right)$	$\displaystyle=(1+k)E\left(\phi_{2},k_{2}\right)+(1-k)F\left(\phi_{2},k_{2}% \right)-k\sin\phi.$
ⓘ Symbols: $F\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the first kind, $E\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the second kind, $\sin\NVar{z}$ : sine function, $\phi$ : real or complex argument, $k$ : real or complex modulus, $k_{2}$ : change of variable and $\phi_{2}$ : change of variable Referenced by: §19.8(ii) Permalink: http://dlmf.nist.gov/19.8.E17 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for §19.8(ii), §19.8(ii), §19.8 and Ch.19

§19.8(iii) Gauss Transformation

ⓘ

Keywords:: Gauss transformation, Legendre’s elliptic integrals
Notes:: See Cazenave (1969, pp. 114–119 and 126–127).
Referenced by:: §19.15
Permalink:: http://dlmf.nist.gov/19.8.iii
See also:: Annotations for §19.8 and Ch.19

We consider only the descending Gauss transformation because its (ascending) inverse moves $F\left(\phi,k\right)$ closer to the singularity at $k=\sin\phi=1$ . Let

19.8.18	$\displaystyle k_{1}$	$\displaystyle=(1-k^{\prime})/(1+k^{\prime}),$
	$\displaystyle\sin\psi_{1}$	$\displaystyle=\frac{(1+k^{\prime})\sin\phi}{1+\Delta},$
	$\displaystyle\Delta$	$\displaystyle=\sqrt{1-k^{2}{\sin}^{2}\phi}.$
ⓘ Defines: $k_{1}$ : change of variable (locally), $\psi_{1}$ : change of variable (locally) and $\Delta$ : change of variable (locally) Symbols: $\sin\NVar{z}$ : sine function, $\phi$ : real or complex argument, $k$ : real or complex modulus and $k^{\prime}$ : complementary modulus Permalink: http://dlmf.nist.gov/19.8.E18 Encodings: TeX, TeX, TeX, pMML, pMML, pMML, png, png, png See also: Annotations for §19.8(iii), §19.8 and Ch.19

(Note that $0<k<1$ and $0<\phi<\pi/2$ imply $k_{1}<k$ and $\psi_{1}<\phi$ , and also that $\phi=\pi/2$ implies $\psi_{1}=\pi/2$ , thus preserving completeness.) Then

19.8.19	$\displaystyle F\left(\phi,k\right)$	$\displaystyle=(1+k_{1})F\left(\psi_{1},k_{1}\right),$
19.8.19	$\displaystyle E\left(\phi,k\right)$	$\displaystyle=(1+k^{\prime})E\left(\psi_{1},k_{1}\right)-k^{\prime}F\left(\phi% ,k\right)+(1-\Delta)\cot\phi,$
ⓘ Symbols: $\cot\NVar{z}$ : cotangent function, $F\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the first kind, $E\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the second kind, $\phi$ : real or complex argument, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $k_{1}$ : change of variable, $\psi_{1}$ : change of variable and $\Delta$ : change of variable Permalink: http://dlmf.nist.gov/19.8.E19 Encodings: TeX, TeX, pMML, pMML, png, png See also: Annotations for §19.8(iii), §19.8 and Ch.19

19.8.20		$\rho\Pi\left(\phi,\alpha^{2},k\right)=\frac{4}{1+k^{\prime}}\Pi\left(\psi_{1},% \alpha_{1}^{2},k_{1}\right)+(\rho-1)F\left(\phi,k\right)-R_{C}\left(c-1,c-% \alpha^{2}\right),$
ⓘ Symbols: $R_{C}\left(\NVar{x},\NVar{y}\right)$ : Carlson’s combination of inverse circular and inverse hyperbolic functions, $F\left(\NVar{\phi},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the first kind, $\Pi\left(\NVar{\phi},\NVar{\alpha}^{2},\NVar{k}\right)$ : Legendre’s incomplete elliptic integral of the third kind, $\phi$ : real or complex argument, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus, $\alpha^{2}$ : real or complex parameter, $k_{1}$ : change of variable, $\psi_{1}$ : change of variable, $\rho$ : change of variable, $\alpha_{1}^{2}$ : change of variable and $c$ : change of variable Referenced by: §19.36(ii) Permalink: http://dlmf.nist.gov/19.8.E20 Encodings: TeX, pMML, png See also: Annotations for §19.8(iii), §19.8 and Ch.19

where

19.8.21	$\displaystyle\rho$	$\displaystyle=\sqrt{1-(k^{2}/\alpha^{2})},$
	$\displaystyle\alpha_{1}^{2}$	$\displaystyle=\alpha^{2}(1+\rho)^{2}/(1+k^{\prime})^{2},$
	$\displaystyle c$	$\displaystyle={\csc}^{2}\phi.$
ⓘ Defines: $\rho$ : change of variable (locally), $\alpha_{1}^{2}$ : change of variable (locally) and $c$ : change of variable (locally) Symbols: $\csc\NVar{z}$ : cosecant function, $\phi$ : real or complex argument, $k$ : real or complex modulus, $k^{\prime}$ : complementary modulus and $\alpha^{2}$ : real or complex parameter Permalink: http://dlmf.nist.gov/19.8.E21 Encodings: TeX, TeX, TeX, pMML, pMML, pMML, png, png, png See also: Annotations for §19.8(iii), §19.8 and Ch.19

If $0<\alpha^{2}<k^{2}$ , then $\rho$ is pure imaginary.

19.7 Connection Formulas 19.9 Inequalities

Site Privacy Accessibility Privacy Program Copyrights Vulnerability Disclosure No Fear Act Policy FOIA Environmental Policy Scientific Integrity Information Quality Standards Commerce.gov Science.gov USA.gov