Legendre's relation

In mathematics, Legendre's relation can be expressed in either of two forms: as a relation between complete elliptic integrals, or as a relation between periods and quasiperiods of elliptic functions. The two forms are equivalent as the periods and quasiperiods can be expressed in terms of complete elliptic integrals. It was introduced (for complete elliptic integrals) by A. M. Legendre (1811, 1825,p. 61).

Complete elliptic integrals

Legendre's relation stated using complete elliptic integrals is

where K and K are the complete elliptic integrals of the first kind for values satisfying k2 + k2 = 1, and E and E are the complete elliptic integrals of the second kind.

This form of Legendre's relation expresses the fact that the Wronskian of the complete elliptic integrals (considered as solutions of a differential equation) is a constant.

Elliptic functions

Legendre's relation stated using elliptic functions is

where ω1 and ω2 are the periods of the Weierstrass elliptic function, and η1 and η2 are the quasiperiods of the Weierstrass zeta function. Some authors normalize these in a different way differing by factors of 2, in which case the right hand side of the Legendre relation is πi or πi / 2. This relation can be proved by integrating the Weierstrass zeta function about the boundary of a fundamental region and applying Cauchy's residue theorem.

References

This article is issued from Wikipedia - version of the 9/2/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.