19 Elliptic Integrals Symmetric Integrals 19.23 Integral Representations 19.25 Relations to Other Functions

§19.24 Inequalities

ⓘ

Permalink:: http://dlmf.nist.gov/19.24
See also:: Annotations for Ch.19

§19.24(i) Complete Integrals
§19.24(ii) Incomplete Integrals

§19.24(i) Complete Integrals

ⓘ

Keywords:: complete integrals, inequalities, symmetric elliptic integrals
Notes:: The first three inequalities come from (19.9.1) and (19.9.4). For (19.24.4) see (19.16.22) and Carlson (1966, (2.15)). For (19.24.3) see (19.30.5). (19.24.8) is a special case of (19.24.13). For (19.24.9) see Neuman (2003, (4.2)).
Referenced by:: Ch.19
Permalink:: http://dlmf.nist.gov/19.24.i
See also:: Annotations for §19.24 and Ch.19

The condition $y\leq z$ for (19.24.1) and (19.24.2) serves only to identify as the smaller of the two nonzero variables of a symmetric function; it does not restrict validity.

19.24.1 $\ln 4\leq\sqrt{z}R_{F}\left(0,y,z\right)+\ln\sqrt{y/z}\leq\tfrac{1}{2}\pi,$ $0<y\leq z$ ,

ⓘ

Symbols:: $R_{F}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of first kind, $\pi$ : the ratio of the circumference of a circle to its diameter and $\ln\NVar{z}$ : principal branch of logarithm function
Referenced by:: §19.24(i)
Permalink:: http://dlmf.nist.gov/19.24.E1
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

19.24.2 $\tfrac{1}{2}\leq z^{-1/2}R_{G}\left(0,y,z\right)\leq\tfrac{1}{4}\pi,$ $0\leq y\leq z$ ,

ⓘ

Symbols:: $R_{G}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of second kind and $\pi$ : the ratio of the circumference of a circle to its diameter
Referenced by:: §19.24(i)
Permalink:: http://dlmf.nist.gov/19.24.E2
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

19.24.3 $\left(\frac{y^{3/2}+z^{3/2}}{2}\right)^{2/3}\leq\frac{4}{\pi}R_{G}\left(0,y^{2% },z^{2}\right)\leq\left(\frac{y^{2}+z^{2}}{2}\right)^{1/2},$

ⓘ

Symbols:: $R_{G}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of second kind and $\pi$ : the ratio of the circumference of a circle to its diameter
Referenced by:: §19.24(i)
Permalink:: http://dlmf.nist.gov/19.24.E3
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

If , , and are positive, then

19.24.4 $\frac{2}{\sqrt{p}}(2yz+yp+zp)^{-1/2}\leq\frac{4}{3\pi}R_{J}\left(0,y,z,p\right% )\leq(yzp^{2})^{-3/8}.$

ⓘ

Symbols:: $R_{J}\left(\NVar{x},\NVar{y},\NVar{z},\NVar{p}\right)$ : symmetric elliptic integral of third kind and $\pi$ : the ratio of the circumference of a circle to its diameter
Referenced by:: §19.24(i)
Permalink:: http://dlmf.nist.gov/19.24.E4
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

Inequalities for $R_{D}\left(0,y,z\right)$ are included as the case .

A series of successively sharper inequalities is obtained from the AGM process (§19.8(i)) with $a_{0}\geq g_{0}>0$ :

19.24.5 $\frac{1}{a_{n}}\leq\frac{2}{\pi}R_{F}\left(0,a_{0}^{2},g_{0}^{2}\right)\leq% \frac{1}{g_{n}},$ $n=0,1,2,\dots$ ,

ⓘ

Symbols:: $R_{F}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of first kind, $\pi$ : the ratio of the circumference of a circle to its diameter, : nonnegative integer, $a_{n}$ : iterate and $g_{n}$ : iterate
Permalink:: http://dlmf.nist.gov/19.24.E5
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

where

19.24.6

$a_{n+1}=(a_{n}+g_{n})/2,$

$g_{n+1}=\sqrt{a_{n}g_{n}}.$

ⓘ

Symbols:: : nonnegative integer, $a_{n}$ : iterate and $g_{n}$ : iterate
Referenced by:: §19.24(i)
Permalink:: http://dlmf.nist.gov/19.24.E6
Encodings:: TeX, TeX, pMML, pMML, png, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

Other inequalities can be obtained by applying Carlson (1966, Theorems 2 and 3) to (19.16.20)–(19.16.23). Approximations and one-sided inequalities for $R_{G}\left(0,y,z\right)$ follow from those given in §19.9(i) for the length of an ellipse with semiaxes and , since

19.24.7 $L(a,b)=8R_{G}\left(0,a^{2},b^{2}\right).$

ⓘ

Symbols:: $R_{G}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of second kind and : length
Permalink:: http://dlmf.nist.gov/19.24.E7
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

For , , and $x\neq y$ , the complete cases of $R_{F}$ and $R_{G}$ satisfy

19.24.8

$R_{F}\left(x,y,0\right)R_{G}\left(x,y,0\right)>\tfrac{1}{8}\pi^{2},$

$R_{F}\left(x,y,0\right)+2R_{G}\left(x,y,0\right)>\pi.$

ⓘ

Symbols:: $R_{F}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of first kind, $R_{G}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of second kind and $\pi$ : the ratio of the circumference of a circle to its diameter
Referenced by:: §19.24(ii), §19.24(i)
Permalink:: http://dlmf.nist.gov/19.24.E8
Encodings:: TeX, TeX, pMML, pMML, png, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

Also, with the notation of (19.24.6),

19.24.9 $\frac{1}{2}\,g_{1}^{2}\leq\frac{R_{G}\left(a_{0}^{2},g_{0}^{2},0\right)}{R_{F}% \left(a_{0}^{2},g_{0}^{2},0\right)}\leq\frac{1}{2}\,a_{1}^{2},$

ⓘ

Symbols:: $R_{F}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of first kind, $R_{G}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of second kind, $a_{n}$ : iterate and $g_{n}$ : iterate
Referenced by:: §19.24(i), §19.9(i)
Permalink:: http://dlmf.nist.gov/19.24.E9
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(i), §19.24 and Ch.19

with equality iff $a_{0}=g_{0}$ .

§19.24(ii) Incomplete Integrals

ⓘ

Keywords:: incomplete integrals, inequalities, symmetric elliptic integrals
Permalink:: http://dlmf.nist.gov/19.24.ii
See also:: Annotations for §19.24 and Ch.19

Inequalities for $R_{-a}\left(\mathbf{b};\mathbf{z}\right)$ in Carlson (1966, Theorems 2 and 3) can be applied to (19.16.14)–(19.16.17). All variables are positive, and equality occurs iff all variables are equal.

Examples

ⓘ

See also:: Annotations for §19.24(ii), §19.24 and Ch.19

19.24.10 $\frac{3}{\sqrt{x}+\sqrt{y}+\sqrt{z}}\leq R_{F}\left(x,y,z\right)\leq\frac{1}{(% xyz)^{1/6}},$

ⓘ

Symbols:: $R_{F}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of first kind
Referenced by:: §19.9(ii)
Permalink:: http://dlmf.nist.gov/19.24.E10
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(ii), §19.24(ii), §19.24 and Ch.19

19.24.11 $\left(\frac{5}{\sqrt{x}+\sqrt{y}+\sqrt{z}+2\sqrt{p}}\right)^{3}\leq R_{J}\left% (x,y,z,p\right)\leq(xyzp^{2})^{-3/10},$

ⓘ

Symbols:: $R_{J}\left(\NVar{x},\NVar{y},\NVar{z},\NVar{p}\right)$ : symmetric elliptic integral of third kind
Permalink:: http://dlmf.nist.gov/19.24.E11
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(ii), §19.24(ii), §19.24 and Ch.19

19.24.12 $\tfrac{1}{3}(\sqrt{x}+\sqrt{y}+\sqrt{z})\leq R_{G}\left(x,y,z\right)\leq\min% \left(\sqrt{\frac{x+y+z}{3}},\frac{x^{2}+y^{2}+z^{2}}{3\sqrt{xyz}}\right).$

ⓘ

Symbols:: $R_{G}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of second kind
Permalink:: http://dlmf.nist.gov/19.24.E12
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(ii), §19.24(ii), §19.24 and Ch.19

Inequalities for $R_{C}\left(x,y\right)$ and $R_{D}\left(x,y,z\right)$ are included as special cases (see (19.16.6) and (19.16.5)).

Other inequalities for $R_{F}\left(x,y,z\right)$ are given in Carlson (1970).

If ( $\neq 0$ ) is real, all components of $\mathbf{b}$ and $\mathbf{z}$ are positive, and the components of are not all equal, then

19.24.13

$R_{a}\left(\mathbf{b};\mathbf{z}\right)R_{-a}\left(\mathbf{b};\mathbf{z}\right% )>1,$

$R_{a}\left(\mathbf{b};\mathbf{z}\right)+R_{-a}\left(\mathbf{b};\mathbf{z}% \right)>2;$

ⓘ

Symbols:: $R_{\NVar{-a}}\left(\NVar{b_{1}},\dots,\NVar{b_{n}};\NVar{z_{1}},\dots,\NVar{z_% {n}}\right)$ or $R_{\NVar{-a}}\left(\NVar{\mathbf{b}};\NVar{\mathbf{z}}\right)$ : multivariate hypergeometric function
Referenced by:: §19.24(i)
Permalink:: http://dlmf.nist.gov/19.24.E13
Encodings:: TeX, TeX, pMML, pMML, png, png
See also:: Annotations for §19.24(ii), §19.24(ii), §19.24 and Ch.19

see Neuman (2003, (2.13)). Special cases with $a=\pm\frac{1}{2}$ are (19.24.8) (because of (19.16.20), (19.16.23)), and

19.24.14

$R_{F}\left(x,y,z\right)R_{G}\left(x,y,z\right)>1,$

$R_{F}\left(x,y,z\right)+R_{G}\left(x,y,z\right)>2.$

ⓘ

Symbols:: $R_{F}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of first kind and $R_{G}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of second kind
Permalink:: http://dlmf.nist.gov/19.24.E14
Encodings:: TeX, TeX, pMML, pMML, png, png
See also:: Annotations for §19.24(ii), §19.24(ii), §19.24 and Ch.19

The same reference also gives upper and lower bounds for symmetric integrals in terms of their elementary degenerate cases. These bounds include a sharper but more complicated lower bound than that supplied in the next result:

19.24.15 $R_{C}\left(x,\tfrac{1}{2}(y+z)\right)\leq R_{F}\left(x,y,z\right)\leq R_{C}% \left(x,\sqrt{yz}\right),$ $x\geq 0$ ,

ⓘ

Symbols:: $R_{C}\left(\NVar{x},\NVar{y}\right)$ : Carlson’s combination of inverse circular and inverse hyperbolic functions and $R_{F}\left(\NVar{x},\NVar{y},\NVar{z}\right)$ : symmetric elliptic integral of first kind
Permalink:: http://dlmf.nist.gov/19.24.E15
Encodings:: TeX, pMML, png
See also:: Annotations for §19.24(ii), §19.24(ii), §19.24 and Ch.19

with equality iff .

19.23 Integral Representations 19.25 Relations to Other Functions

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

§19.24 Inequalities

Contents

§19.24(i) Complete Integrals

§19.24(ii) Incomplete Integrals

Examples