19 Elliptic Integrals Legendre’s Integrals 19.13 Integrals of Elliptic Integrals 19.15 Advantages of Symmetry

§19.14 Reduction of General Elliptic Integrals

Keywords:: Legendre’s elliptic integrals, general elliptic integrals
Referenced by:: ¶ ‣ §23.6(iv)
Permalink:: http://dlmf.nist.gov/19.14

§19.14(i) Examples
§19.14(ii) General Case

§19.14(i) Examples

Notes:: For the first three integrals see Cazenave (1969, pp. 286,276). For (19.14.4) use (19.29.19) and (19.25.24).
Permalink:: http://dlmf.nist.gov/19.14.i

In (19.14.1)–(19.14.3) both the integrand and $\mathop{\cos\/}\nolimits\phi$ are assumed to be nonnegative. Cases in which $\mathop{\cos\/}\nolimits\phi<0$ can be included by application of (19.2.10).

19.14.1 $\int_{1}^{x}\frac{dt}{\sqrt{t^{3}-1}}=3^{{-1/4}}\mathop{F\/}\nolimits\!\left(% \phi,k\right),$ $\mathop{\cos\/}\nolimits\phi=\dfrac{\sqrt{3}+1-x}{\sqrt{3}-1+x}$ , $k^{2}=\dfrac{2-\sqrt{3}}{4}$ .

Symbols:: $\mathop{\cos\/}\nolimits z$ : cosine function, : differential of , $\mathop{F\/}\nolimits\!\left(\phi,k\right)$ : Legendre’s incomplete elliptic integral of the first kind, $\int$ : integral, $\phi$ : real or complex argument and : real or complex modulus
Referenced by:: §19.14(i)
Permalink:: http://dlmf.nist.gov/19.14.E1
Encodings:: TeX, pMML, png

19.14.2 $\int_{x}^{1}\frac{dt}{\sqrt{1-t^{3}}}=3^{{-1/4}}\mathop{F\/}\nolimits\!\left(% \phi,k\right),$ $\mathop{\cos\/}\nolimits\phi=\dfrac{\sqrt{3}-1+x}{\sqrt{3}+1-x}$ , $k^{2}=\dfrac{2+\sqrt{3}}{4}$ .

Symbols:: $\mathop{\cos\/}\nolimits z$ : cosine function, : differential of , $\mathop{F\/}\nolimits\!\left(\phi,k\right)$ : Legendre’s incomplete elliptic integral of the first kind, $\int$ : integral, $\phi$ : real or complex argument and : real or complex modulus
Permalink:: http://dlmf.nist.gov/19.14.E2
Encodings:: TeX, pMML, png

19.14.3 $\int_{0}^{x}\frac{dt}{\sqrt{1+t^{4}}}=\frac{\mathop{\mathrm{sign}\/}\nolimits% \!\left(x\right)}{2}\mathop{F\/}\nolimits\!\left(\phi,k\right),$ $\mathop{\cos\/}\nolimits\phi=\dfrac{1-x^{2}}{1+x^{2}}$ , $k^{2}=\dfrac{1}{2}$ .

Symbols:: $\mathop{\cos\/}\nolimits z$ : cosine function, : differential of , $\mathop{F\/}\nolimits\!\left(\phi,k\right)$ : Legendre’s incomplete elliptic integral of the first kind, $\int$ : integral, $\mathop{\mathrm{sign}\/}\nolimits x$ : sign of , $\phi$ : real or complex argument and : real or complex modulus
Referenced by:: §19.14(i)
Permalink:: http://dlmf.nist.gov/19.14.E3
Encodings:: TeX, pMML, png

19.14.4 ${\int_{y}^{x}\frac{dt}{\sqrt{(a_{1}+b_{1}t^{2})(a_{2}+b_{2}t^{2})}}=\frac{1}{% \sqrt{\gamma-\alpha}}\mathop{F\/}\nolimits\!\left(\phi,k\right)},$ $k^{2}=\ifrac{(\gamma-\beta)}{(\gamma-\alpha)}$ .

Symbols:: : differential of , $\mathop{F\/}\nolimits\!\left(\phi,k\right)$ : Legendre’s incomplete elliptic integral of the first kind, $\int$ : integral, $\phi$ : real or complex argument and : real or complex modulus
Referenced by:: §19.14(i), §19.14(i), §19.14(i), §19.15, §19.29(iii)
Permalink:: http://dlmf.nist.gov/19.14.E4
Encodings:: TeX, pMML, png

In (19.14.4) $0\leq y<x$ , each quadratic polynomial is positive on the interval , and $\alpha,\beta,\gamma$ is a permutation of $0,a_{1}b_{2},a_{2}b_{1}$ (not all 0 by assumption) such that $\alpha\leq\beta\leq\gamma$ . More generally in (19.14.4),

19.14.5 ${\mathop{\sin\/}\nolimits^{{2}}}\phi=\frac{\gamma-\alpha}{U^{2}+\gamma},$

Symbols:: $\mathop{\sin\/}\nolimits z$ : sine function and $\phi$ : real or complex argument
Permalink:: http://dlmf.nist.gov/19.14.E5
Encodings:: TeX, pMML, png

where

19.14.6 $(x^{2}-y^{2})U=x\sqrt{(a_{1}+b_{1}y^{2})(a_{2}+b_{2}y^{2})}+y\sqrt{(a_{1}+b_{1% }x^{2})(a_{2}+b_{2}x^{2})}.$

Referenced by:: §19.14(i)
Permalink:: http://dlmf.nist.gov/19.14.E6
Encodings:: TeX, pMML, png

There are four important special cases of (19.14.4)–(19.14.6), as follows. If , then

19.14.7 ${\mathop{\sin\/}\nolimits^{{2}}}\phi=\frac{(\gamma-\alpha)x^{2}}{a_{1}a_{2}+% \gamma x^{2}}.$

Symbols:: $\mathop{\sin\/}\nolimits z$ : sine function and $\phi$ : real or complex argument
Permalink:: http://dlmf.nist.gov/19.14.E7
Encodings:: TeX, pMML, png

If $x=\infty$ , then

19.14.8 ${\mathop{\sin\/}\nolimits^{{2}}}\phi=\frac{\gamma-\alpha}{b_{1}b_{2}y^{2}+% \gamma}.$

Symbols:: $\mathop{\sin\/}\nolimits z$ : sine function and $\phi$ : real or complex argument
Permalink:: http://dlmf.nist.gov/19.14.E8
Encodings:: TeX, pMML, png

If $a_{1}+b_{1}y^{2}=0$ , then

19.14.9 ${\mathop{\sin\/}\nolimits^{{2}}}\phi=\frac{(\gamma-\alpha)(x^{2}-y^{2})}{% \gamma(x^{2}-y^{2})-a_{1}(a_{2}+b_{2}x^{2})}.$

Symbols:: $\mathop{\sin\/}\nolimits z$ : sine function and $\phi$ : real or complex argument
Permalink:: http://dlmf.nist.gov/19.14.E9
Encodings:: TeX, pMML, png

If $a_{1}+b_{1}x^{2}=0$ , then

19.14.10 ${\mathop{\sin\/}\nolimits^{{2}}}\phi=\frac{(\gamma-\alpha)(y^{2}-x^{2})}{% \gamma(y^{2}-x^{2})-a_{1}(a_{2}+b_{2}y^{2})}.$

Symbols:: $\mathop{\sin\/}\nolimits z$ : sine function and $\phi$ : real or complex argument
Referenced by:: §19.15, §19.29(iii)
Permalink:: http://dlmf.nist.gov/19.14.E10
Encodings:: TeX, pMML, png

(These four cases include 12 integrals in Abramowitz and Stegun (1964, p. 596).)

§19.14(ii) General Case

Keywords:: Legendre’s elliptic integrals, general elliptic integrals
Permalink:: http://dlmf.nist.gov/19.14.ii

Legendre (1825–1832) showed that every elliptic integral can be expressed in terms of the three integrals in (19.1.2) supplemented by algebraic, logarithmic, and trigonometric functions. The classical method of reducing (19.2.3) to Legendre’s integrals is described in many places, especially Erdélyi et al. (1953b, §13.5), Abramowitz and Stegun (1964, Chapter 17), and Labahn and Mutrie (1997, §3). The last reference gives a clear summary of the various steps involving linear fractional transformations, partial-fraction decomposition, and recurrence relations. It then improves the classical method by first applying Hermite reduction to (19.2.3) to arrive at integrands without multiple poles and uses implicit full partial-fraction decomposition and implicit root finding to minimize computing with algebraic extensions. The choice among 21 transformations for final reduction to Legendre’s normal form depends on inequalities involving the limits of integration and the zeros of the cubic or quartic polynomial. A similar remark applies to the transformations given in Erdélyi et al. (1953b, §13.5) and to the choice among explicit reductions in the extensive table of Byrd and Friedman (1971), in which one limit of integration is assumed to be a branch point of the integrand at which the integral converges. If no such branch point is accessible from the interval of integration (for example, if the integrand is $(t(3-t)(4-t))^{{-3/2}}$ and the interval is [1,2]), then no method using this assumption succeeds.

© 2010–2013 NIST / Privacy Policy / Disclaimer / Feedback; Version 1.0.6; Release date 2013-05-06 Math-Image version (See MathML) . A Printed Companionis available. 19.13 Integrals of Elliptic Integrals 19.15 Advantages of Symmetry

§19.14 Reduction of General Elliptic Integrals

Contents

§19.14(i) Examples

§19.14(ii) General Case