Legendre form explained

\scriptstyle{k}

(the ellipse being defined parametrically by

\scriptstyle{x=\sqrt{1-k2

} \cos(t)},

\scriptstyle{y=\sin(t)}

).

In modern times the Legendre forms have largely been supplanted by an alternative canonical set, the Carlson symmetric forms. A more detailed treatment of the Legendre forms is given in the main article on elliptic integrals.

Definition

The incomplete elliptic integral of the first kind is defined as,

F(\phi,k)=

\phi
\int
0
1
\sqrt{1-k2\sin2(t)
} dt,

the second kind as

E(\phi,k)=

\phi
\int
0

\sqrt{1-k2\sin2(t)}dt,

and the third kind as

\Pi(\phi,n,k)=

\phi
\int
0
1
(1-n\sin2(t))\sqrt{1-k2\sin2(t)
}\,dt.

The argument n of the third kind of integral is known as the characteristic, which in different notational conventions can appear as either the first, second or third argument of Π and furthermore is sometimes defined with the opposite sign. The argument order shown above is that of Gradshteyn and Ryzhik[2] as well as Numerical Recipes.[3] The choice of sign is that of Abramowitz and Stegun as well as Gradshteyn and Ryzhik, but corresponds to the

\scriptstyle{\Pi(\phi,-n,k)}

of Numerical Recipes.

The respective complete elliptic integrals are obtained by setting the amplitude,

\scriptstyle{\phi}

, the upper limit of the integrals, to

\scriptstyle{\pi/2}

.

The Legendre form of an elliptic curve is given by

y2=x(x-1)(x-λ)

Numerical evaluation

The classic method of evaluation is by means of Landen's transformations. Descending Landen transformation decreases the modulus

\scriptstyle{k}

towards zero, while increasing the amplitude

\scriptstyle{\phi}

. Conversely, ascending transformation increases the modulus towards unity, while decreasing the amplitude. In either limit of

\scriptstyle{k}

approaching zero or one, the integral is readily evaluated.

Most modern authors recommend evaluation in terms of the Carlson symmetric forms, for which there exist efficient, robust and relatively simple algorithms. This approach has been adopted by Boost C++ Libraries, GNU Scientific Library and Numerical Recipes.[3]

References

  1. Book: Gratton-Guinness , Ivor . The Fontana History of the Mathematical Sciences . Fontana Press . 1997 . 308 . 0-00-686179-2.
  2. Book: И. С. . Градштейн . Израиль Соломонович Градштейн . И. М. . Рыжик . Иосиф Моисеевич Рыжик . Ю. В. . Геронимус . Юрий Венеаминович Геронимус . М. Ю́. . Цейтлин . Михаил Ю́льевич Цейтлин . ru:Таблицы интегралов, сумм, рядов и произведений . Tablitsy integralov, summ, rjadov i proizvedenii . Tables of Integrals, Sums, Series, and Products . Russian . 5 . 1971 . . Moscow . 78876185 . Gradshteyn and Ryzhik . 8.1: Special Functions: Elliptic Integrals and Functions.
  3. Book: William H. Press . Saul A. Teukolsky . William T. Vetterling . Brian P. Flannery . Numerical Recipes in C . Cambridge University Press . 1992 . 2 . Chap. 6.11 Special Functions: Elliptic Integrals and Jacobian Functions . 261–271 . 0-521-43108-5 . https://archive.org/details/numericalrecipes0865unse/page/261 .

See also