Landen's transformation

Landen's transformation is a mapping of the parameters of an elliptic integral, useful for the efficient numerical evaluation of elliptic functions. It was originally due to John Landen and independently rediscovered by Carl Friedrich Gauss.[1]

Statement

The incomplete elliptic integral of the first kind F is

 F(\varphi \setminus \alpha) = F(\varphi, \sin \alpha) = \int_0^\varphi \frac{d \theta}{\sqrt{1-(\sin \theta \sin \alpha)^2}},

where \alpha is the modular angle. Landen's transformation states that if \alpha_0, \alpha_1, \varphi_0, \varphi_1 are such that (1 + \sin\alpha_1)(1 + \cos\alpha_0) = 2 and \tan(\varphi_1 - \varphi_0) = \cos\alpha_0 \tan \varphi_0, then[2]

\begin{align}
F(\varphi_0 \setminus \alpha_0) &= (1 + \cos\alpha_0)^{-1} F(\varphi_1 \setminus \alpha_1) \\
&= \tfrac{1}{2}(1 + \sin\alpha_1) F(\varphi_1 \setminus \alpha_1).
\end{align}

Landen's transformation can similarly be expressed in terms of the elliptic modulus k = \sin\alpha and its complement k' = \cos\alpha.

Proof of a special case

Consider an example when the transformation does not change the value of the integral. Let

I = \int_0^{\frac{\pi}{2}}\frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d \theta

and \scriptstyle{a} and \scriptstyle{b} are replaced by their arithmetic and geometric means respectively, that is

a_1 = \frac{a + b}{2},\qquad b_1 = \sqrt{a b},
I_1 = \int _0^{\frac{\pi}{2}}\frac{1}{\sqrt{a_1^2 \cos^2(\theta) + b_1^2 \sin^2(\theta)}} \, d \theta.

Therefore

I=\frac{1}{a}K(\frac{\sqrt{(a^2 - b^2)}}{a}),
I_1=\frac{2}{a+b}K(\frac{a-b}{a+b}).

From equation (aa) we conclude

K(\frac{\sqrt{(a^2 - b^2)}}{a})=\frac{2a}{a+b}K(\frac{a-b}{a+b})

and I_1=I.

The same equation can be proved by integration by substitution. It is convenient to first cast the integral in an algebraic form by a substitution of \scriptstyle{\theta = \arctan\left( \frac{x}{b}\right)}, \scriptstyle{d \theta = \left( \frac{1}{b}\cos^{2}(\theta)\right) d x} giving

I = \int _0^{\frac{\pi}{2}}\frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d \theta = \int _0^\infty \frac{1}{\sqrt{(x^2 + a^2) (x^2 + b^2)}} \, dx

A further substitution of \scriptstyle{x = t + \sqrt{t^{2} + a b}} gives the desired result

\begin{align}I & = \int _0^\infty \frac{1}{\sqrt{(x^2 + a^2) (x^2 + b^2)}} \, dx \\
 & = \int _{- \infty}^\infty \frac{1}{2 \sqrt{\left( t^2 + \left( \frac{a + b}{2}\right)^2 \right) (t^2 + a b)}} \, dt \\
 & = \int _0^\infty\frac{1}{\sqrt{\left( t^2 + \left( \frac{a + b}{2}\right)^2\right) \left(t^2 + \left(\sqrt{a b}\right)^2\right)}} \, dt \end{align}

This latter step is facilitated by writing the radical as

\sqrt{(x^2 + a^2) (x^2 + b^2)} = 2x \sqrt{t^2 + \left( \frac{a + b}{2}\right)^2}

and the infinitesimal as

 dx = \frac{x}{\sqrt{t^2 + a b}} \, dt

so that the factor of \scriptstyle{x} is recognized and cancelled between the two factors.

Arithmetic-geometric mean and Legendre's first integral

If the transformation is iterated a number of times, then the parameters \scriptstyle{a} and \scriptstyle{b} converge very rapidly to a common value, even if they are initially of different orders of magnitude. The limiting value is called the arithmetic-geometric mean of \scriptstyle{a} and \scriptstyle{b}, \scriptstyle{\operatorname{AGM}(a,b)}. In the limit, the integrand becomes a constant, so that integration is trivial

I = \int _0^{\frac{\pi}{2}} \frac{1}{\sqrt{a^2 \cos^2(\theta) + b^2 \sin^2(\theta)}} \, d\theta = \int _0^{\frac{\pi}{2}}\frac{1}{\operatorname{AGM}(a,b)} \, d\theta = \frac{\pi}{2 \,\operatorname{AGM}(a,b)}

The integral may also be recognized as a multiple of Legendre's complete elliptic integral of the first kind. Putting \scriptstyle{b^2 = a^2 (1 - k^2)}

I = \frac{1}{a} \int _0^{\frac{\pi}{2}} \frac{1}{\sqrt{1 - k^2 \sin^2(\theta)}} \, d\theta = \frac{1}{a} F\left( \frac{\pi}{2},k\right) = \frac{1}{a} K(k)

Hence, for any \scriptstyle{a}, the arithmetic-geometric mean and the complete elliptic integral of the first kind are related by

K(k) = \frac{\pi a}{2 \, \operatorname{AGM}(a,a \sqrt{1 - k^2})}

By performing an inverse transformation (reverse arithmetic-geometric mean iteration), that is

a_{-1} = a + \sqrt{a^2 - b^2} \,
b_{-1} = a - \sqrt{a^2 - b^2} \,
\operatorname{AGM}(a,b) = \operatorname{AGM}(a + \sqrt{a^2 - b^2},a - \sqrt{a^2 - b^2}) \,

the relationship may be written as

K(k) = \frac{\pi a}{2 \, \operatorname{AGM}(a (1 + k),a (1 - k))} \,

which may be solved for the AGM of a pair of arbitrary arguments;

 \operatorname{AGM}(u,v) = \frac{\pi (u + v)}{4 K\left( \frac{u - v}{v + u}\right)}.
The definition adopted here for \scriptstyle{K(k)} differs from that used in the arithmetic-geometric mean article, such that \scriptstyle{K(k)} here is \scriptstyle{K(m^{2})} in that article.

References

  1. Gauss, C. F.; Nachlass (1876). "Arithmetisch geometrisches Mittel, Werke, Bd. 3". Königlichen Gesell. Wiss., Göttingen: 361–403.
  2. Abramowitz, Milton; Stegun, Irene A., eds. (December 1972) [1964]. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series 55 (10 ed.). New York, USA: United States Department of Commerce, National Bureau of Standards; Dover Publications. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642.
This article is issued from Wikipedia - version of the Sunday, January 10, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.