Carlson symmetric form

In mathematics, the Carlson symmetric forms of elliptic integrals are a small canonical set of elliptic integrals to which all others may be reduced. They are a modern alternative to the Legendre forms. The Legendre forms may be expressed in terms of the Carlson forms and vice versa.

The Carlson elliptic integrals are:F.W.J. Olver, D.W. Lozier, R.F. Boisvert, and C.W. Clark, editors,
2010, ''NIST Handbook of Mathematical Functions''
(Cambridge University Press), Section 19.16, .
$R_F(x,y,z) = \tfrac\int_0^\infty \frac$
$R_J(x,y,z,p) = \tfrac\int_0^\infty \frac$
$R_G(x,y,z) = \tfrac\int_0^\infty\frac \biggl(\frac + \frac + \frac \biggr) t\,dt$
$R_C(x,y) = R_F(x,y,y) = \tfrac \int_0^\infty \frac$
$R_D(x,y,z) = R_J(x,y,z,z) = \tfrac \int_0^\infty \frac$

Since $R_C$ and $R_D$ are special cases of $R_F$ and $R_J$, all elliptic integrals can ultimately be evaluated in terms of just $R_F$, $R_J$, and $R_G$.

The term ''symmetric'' refers to the fact that in contrast to the Legendre forms, these functions are unchanged by the exchange of certain subsets of their arguments. The value of $R_F(x,y,z)$ is the same for any permutation of its arguments, and the value of $R_J(x,y,z,p)$ is the same for any permutation of its first three arguments.

The Carlson elliptic integrals are named after Bille C. Carlson (1924-2013).

Relation to the Legendre forms

Incomplete elliptic integrals

Incomplete elliptic integrals can be calculated easily using Carlson symmetric forms:

:$F(\phi,k)=\sin\phi R_F\left(\cos^2\phi,1-k^2\sin^2\phi,1\right)$

:$E(\phi,k)=\sin\phi R_F\left(\cos^2\phi,1-k^2\sin^2\phi,1\right) -\tfrack^2\sin^3\phi R_D\left(\cos^2\phi,1-k^2\sin^2\phi,1\right)$

:$\Pi(\phi,n,k)=\sin\phi R_F\left(\cos^2\phi,1-k^2\sin^2\phi,1\right)+ \tfracn\sin^3\phi R_J\left(\cos^2\phi,1-k^2\sin^2\phi,1,1-n\sin^2\phi\right)$

(Note: the above are only valid for $-\frac2\le\phi\le\frac2$ and $0\le k^2\sin^2\phi\le1$)

Complete elliptic integrals

Complete elliptic integrals can be calculated by substituting φ = π:

:$K(k)=R_F\left(0,1-k^2,1\right)$

:$E(k)=R_F\left(0,1-k^2,1\right)-\tfrack^2 R_D\left(0,1-k^2,1\right)$

:$\Pi(n,k)=R_F\left(0,1-k^2,1\right)+\tfracn R_J \left(0,1-k^2,1,1-n\right)$

Special cases

When any two, or all three of the arguments of $R_F$ are the same, then a substitution of $\sqrt = u$ renders the integrand rational. The integral can then be expressed in terms of elementary transcendental functions.

:$R_(x,y) = R_(x,y,y) = \frac \int _^ \frac = \int _^ \frac = \begin \frac, & x < y \\ \frac, & x = y \\ \frac, & x > y \\ \end$

Similarly, when at least two of the first three arguments of $R_J$ are the same,

:$R_(x,y,y,p) = 3 \int _^ \frac = \begin \frac (R_(x,y) - R_(x,p)), & y \ne p \\ \frac \left( R_(x,y) - \frac \sqrt\right), & y = p \ne x \\ \frac, &y = p = x \\ \end$

Properties

Homogeneity

By substituting in the integral definitions $t = \kappa u$ for any constant $\kappa$, it is found that

:$R_F\left(\kappa x,\kappa y,\kappa z\right)=\kappa^R_F(x,y,z)$

:$R_J\left(\kappa x,\kappa y,\kappa z,\kappa p\right)=\kappa^R_J(x,y,z,p)$

Duplication theorem

:$R_F(x,y,z)=2R_F(x+\lambda,y+\lambda,z+\lambda)= R_F\left(\frac,\frac,\frac\right),$

where $\lambda=\sqrt\sqrt+\sqrt\sqrt+\sqrt\sqrt$.

:$\beginR_(x,y,z,p) & = 2 R_(x + \lambda,y + \lambda,z + \lambda,p + \lambda) + 6 R_(d^,d^ + (p - x) (p - y) (p - z)) \\ & = \frac R_\left( \frac,\frac,\frac,\frac\right) + 6 R_(d^,d^ + (p - x) (p - y) (p - z)) \end$

where $d = (\sqrt + \sqrt) (\sqrt + \sqrt) (\sqrt + \sqrt)$ and $\lambda =\sqrt\sqrt+\sqrt\sqrt+\sqrt\sqrt$

Series Expansion

In obtaining a Taylor series expansion for $R_$ or $R_$ it proves convenient to expand about the mean value of the several arguments. So for $R_$, letting the mean value of the arguments be $A = (x + y + z)/3$, and using homogeneity, define $\Delta x$, $\Delta y$ and $\Delta z$ by

:$\beginR_(x,y,z) & = R_(A (1 - \Delta x),A (1 - \Delta y),A (1 - \Delta z)) \\ & = \frac R_(1 - \Delta x,1 - \Delta y,1 - \Delta z) \end$

that is $\Delta x = 1 - x/A$ etc. The differences $\Delta x$, $\Delta y$ and $\Delta z$ are defined with this sign (such that they are ''subtracted''), in order to be in agreement with Carlson's papers. Since $R_(x,y,z)$ is symmetric under permutation of $x$, $y$ and $z$, it is also symmetric in the quantities $\Delta x$, $\Delta y$ and $\Delta z$. It follows that both the integrand of $R_$ and its integral can be expressed as functions of the elementary symmetric polynomials in $\Delta x$, $\Delta y$ and $\Delta z$ which are

:$E_ = \Delta x + \Delta y + \Delta z = 0$

:$E_ = \Delta x \Delta y + \Delta y \Delta z + \Delta z \Delta x$

:$E_ = \Delta x \Delta y \Delta z$

Expressing the integrand in terms of these polynomials, performing a multidimensional Taylor expansion and integrating term-by-term...

:$\beginR_(x,y,z) & = \frac \int _^\frac dt \\ & = \frac \int _^\left( \frac - \frac + \frac + \frac - \frac + O(E_) + O(\Delta^)\right) dt \\ & = \frac \left( 1 - \frac E_ + \frac E_ + \frac E_^ - \frac E_ E_ + O(E_) + O(\Delta^)\right) \end$

The advantage of expanding about the mean value of the arguments is now apparent; it reduces $E_$ identically to zero, and so eliminates all terms involving $E_$ - which otherwise would be the most numerous.

An ascending series for $R_$ may be found in a similar way. There is a slight difficulty because $R_$ is not fully symmetric; its dependence on its fourth argument, $p$, is different from its dependence on $x$, $y$ and $z$. This is overcome by treating $R_$ as a fully symmetric function of ''five'' arguments, two of which happen to have the same value $p$. The mean value of the arguments is therefore taken to be

:$A = \frac$

and the differences $\Delta x$, $\Delta y$ $\Delta z$ and $\Delta p$ defined by

:$\beginR_(x,y,z,p) & = R_(A (1 - \Delta x),A (1 - \Delta y),A (1 - \Delta z),A (1 - \Delta p)) \\ & = \frac R_(1 - \Delta x,1 - \Delta y,1 - \Delta z,1 - \Delta p) \end$

The elementary symmetric polynomials in $\Delta x$, $\Delta y$, $\Delta z$, $\Delta p$ and (again) $\Delta p$ are in full

:$E_ = \Delta x + \Delta y + \Delta z + 2 \Delta p = 0$

:$E_ = \Delta x \Delta y + \Delta y \Delta z + 2 \Delta z \Delta p + \Delta p^ + 2 \Delta p \Delta x + \Delta x \Delta z + 2 \Delta y \Delta p$

:$E_ = \Delta z \Delta p^ + \Delta x \Delta p^ + 2 \Delta x \Delta y \Delta p + \Delta x \Delta y \Delta z + 2 \Delta y \Delta z \Delta p + \Delta y \Delta p^ + 2 \Delta x \Delta z \Delta p$

:$E_ = \Delta y \Delta z \Delta p^ + \Delta x \Delta z \Delta p^ + \Delta x \Delta y \Delta p^ + 2 \Delta x \Delta y \Delta z \Delta p$

:$E_ = \Delta x \Delta y \Delta z \Delta p^$

However, it is possible to simplify the formulae for $E_$, $E_$ and $E_$ using the fact that $E_ = 0$. Expressing the integrand in terms of these polynomials, performing a multidimensional Taylor expansion and integrating term-by-term as before...

:$\beginR_(x,y,z,p) & = \frac \int _^\frac dt \\ & = \frac \int _^\left( \frac - \frac + \frac + \frac + \frac + O(E_) + O(\Delta^)\right) dt \\ & = \frac \left( 1 - \frac E_ + \frac E_ + \frac E_^ - \frac E_ - \frac E_ E_ + \frac E_ + O(E_) + O(\Delta^)\right) \end$

As with $R_$, by expanding about the mean value of the arguments, more than half the terms (those involving $E_$) are eliminated.

Negative arguments

In general, the arguments x, y, z of Carlson's integrals may not be real and negative, as this would place a branch point on the path of integration, making the integral ambiguous. However, if the second argument of $R_C$, or the fourth argument, p, of $R_J$ is negative, then this results in a simple pole on the path of integration. In these cases the Cauchy principal value (finite part) of the integrals may be of interest; these are

:$\mathrm\; R_C(x, -y) = \sqrt\,R_C(x + y, y),$

and

:$\begin\mathrm\; R_(x,y,z,-p) & = \frac \\ & = \frac \end$
where

:$q = y + \frac.$

which must be greater than zero for $R_(x,y,z,q)$ to be evaluated. This may be arranged by permuting x, y and z so that the value of y is between that of x and z.

Numerical evaluation

The duplication theorem can be used for a fast and robust evaluation of the Carlson symmetric form of elliptic integrals
and therefore also for the evaluation of Legendre-form of elliptic integrals. Let us calculate $R_F(x,y,z)$:
first, define $x_0=x$, $y_0=y$ and $z_0=z$. Then iterate the series

:$\lambda_n=\sqrt\sqrt+\sqrt\sqrt+\sqrt\sqrt,$
:$x_=\frac, y_=\frac, z_=\frac$
until the desired precision is reached: if $x$, $y$ and $z$ are non-negative, all of the series will converge quickly to a given value, say, $\mu$. Therefore,

:$R_F\left(x,y,z\right)=R_F\left(\mu,\mu,\mu\right)=\mu^.$

Evaluating $R_C(x,y)$ is much the same due to the relation

:$R_C\left(x,y\right)=R_F\left(x,y,y\right).$

References and External links

B. C. Carlson, John L. Gustafson 'Asymptotic approximations for symmetric elliptic integrals' 1993 arXivB. C. Carlson 'Numerical Computation of Real Or Complex Elliptic Integrals' 1994 arXivB. C. Carlson 'Elliptic Integrals:Symmetric Integrals' in Chap. 19 of ''Digital Library of Mathematical Functions''. Release date 2010-05-07. National Institute of Standards and Technology.'Profile: Bille C. Carlson' in ''Digital Library of Mathematical Functions''. National Institute of Standards and Technology.
*{{Citation , last1=Press , first1=WH , last2=Teukolsky , first2=SA , last3=Vetterling , first3=WT , last4=Flannery , first4=BP , year=2007 , title=Numerical Recipes: The Art of Scientific Computing , edition=3rd , publisher=Cambridge University Press , publication-place=New York , isbn=978-0-521-88068-8 , chapter=Section 6.12. Elliptic Integrals and Jacobian Elliptic Functions , chapter-url=http://apps.nrbook.com/empanel/index.html#pg=309 , access-date=2011-08-10 , archive-date=2011-08-11 , archive-url=https://web.archive.org/web/20110811154417/http://apps.nrbook.com/empanel/index.html#pg=309 , url-status=dead
* Fortran code from SLATEC for evaluatin
RF

RJRC

RD

Elliptic functions