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 .

Complete elliptic integrals

Legendre's relation stated using complete elliptic integrals is

: $K'E + KE' - KK' = \frac \pi 2$

where ''K'' and ''K''′ are the complete elliptic integrals of the first kind for values satisfying , 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

: $\omega_2 \eta_1 - \omega_1 \eta_2 = 2\pi i \,$

where ''ω''₁ and ''ω''₂ are the periods of the Weierstrass elliptic function, and ''η''₁ and ''η''₂ 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.

Proof

Proof of the lemniscatic case

The lemniscatic arc sine and the complementary lemniscatic arcsine are defined as follows:
:\operatorname(r) = \int_^ \frac \,\mathrm\rho = \frac\sqrt \,K\bigl(\tfrac\sqrt\bigr) - \frac\sqrt \,E\bigl arccos(r);\tfrac\sqrt\bigr/math>
:\operatorname^(r) = \int_^ \frac \,\mathrm\rho = \sqrt \,E\bigl(\tfrac\sqrt\bigr) - \sqrt \,E\bigl arccos(r);\tfrac\sqrt\bigr/math>

And these derivatives are valid:
:$\frac \operatorname(r) = \frac$
:$\frac \operatorname^(r) = \frac = \biggl(\frac\biggr)^$

The lemniscatic case for the Legendre Identity can be shown in this way:

Following formula is given, that uses the lemniscatic arc functions as antiderivatives:
:$\frac\operatorname^(x) - \frac\operatorname(x) = \int_^ \frac \,\mathrmy$

By constructing the original antiderivative in relation to x, this formula appears:
: \operatorname(x)\bigl operatorname^(x) - \operatorname(x)\bigr= \int_^ \frac\biggl operatorname(y^2) - \operatorname\bigl(\frac\bigr)\biggr\mathrmy

By putting the value $x = 1$ into that formula, following result is generated:
: \operatorname(1)\bigl operatorname^(1) - \operatorname(1)\bigr= \int_^ \frac\operatorname(y^2) \,\mathrmy = \frac

Because of the identities of the functions K, F and E, this formula can be directly deduced from that result:
: K\bigl(\frac\sqrt\bigr) \bigl E\bigl(\frac\sqrt\bigr) - K\bigl(\frac\sqrt\bigr)\bigr= \frac

Proof of the general case

According to the derivation just carried out, the above result is valid and displayed here in a summandized way:

: $2 E\bigl(\frac\sqrt\bigr)K\bigl(\frac\sqrt\bigr) - K\bigl(\frac\sqrt\bigr)^2 = \frac$

Now the modular general case is to be proved in the following. For this purpose, the derivatives of the complete elliptic integrals are derived. And then the derivation of Legendre's identity balance is determined.

Proof of the derivative of the elliptic integral of the first kind:

: $\frac K(\varepsilon) = \frac \int_^ \frac \mathrmx = \int_^ \frac \frac \mathrmx = \int_^ \frac \mathrmx =$
: $= \int_^ \frac \mathrmx - \int_^ \frac \mathrmx - \int_^ \frac \mathrmx =$
: = \fracE(\varepsilon) - \fracK(\varepsilon) - \int_^ \frac \frac \mathrmx = \frac \bigl (\varepsilon) - (1-\varepsilon^2)K(\varepsilon)\bigr/math>

Proof of the derivative of the elliptic integral of the second kind:

: $\frac E(\varepsilon) = \frac \int_^ \frac \mathrmx = \int_^ \frac \frac \mathrmx = \int_^ \frac \mathrmx =$
: = - \int_^ \frac \mathrmx + \int_^ \frac \mathrmx = - \frac\bigl (\varepsilon) - E(\varepsilon)\bigr/math>

For the Pythagorean counter-modules and according to the chain rule this relation is valid:

: \fracK(\sqrt) = \frac \bigl varepsilon^2 K(\sqrt) - E(\sqrt)\bigr/math>
: \fracE(\sqrt) = \frac \bigl (\sqrt) - E(\sqrt)\bigr/math>

Because the derivative of the circle function is the negative product of the so called identical function and the reciprocal of the circle function. The Legendre's relation always includes products of two complete elliptic integrals. For the derivation of the function side from the equation scale of Legendre's identity, the product rule is now applied in the following:

: \fracK(\varepsilon)E(\sqrt) = \frac \bigl (\varepsilon)E(\sqrt) - K(\varepsilon)E(\sqrt) + \varepsilon^2 K(\varepsilon)K(\sqrt)\bigr/math>
: \fracE(\varepsilon)K(\sqrt) = \frac \bigl E(\varepsilon)E(\sqrt) + E(\varepsilon)K(\sqrt) - (1 - \varepsilon^2) K(\varepsilon)K(\sqrt)\bigr/math>
: \fracK(\varepsilon)K(\sqrt) = \frac \bigl (\varepsilon)K(\sqrt) - K(\varepsilon)E(\sqrt) - (1 - 2\varepsilon^2) K(\varepsilon)K(\sqrt)\bigr/math>

Of these three equations, adding the top two equations and subtracting the bottom equation gives this result:

: \frac \bigl (\varepsilon)E(\sqrt) + E(\varepsilon)K(\sqrt) - K(\varepsilon)K(\sqrt)\bigr= 0
In relation to ε, the balance constantly gives the value zero.

The previously determined result applies to the module $\varepsilon = 1/\sqrt$ in this way:

: $2E\bigl(\frac\sqrt\bigr)K\bigl(\frac\sqrt\bigr) - K\bigl(\frac\sqrt\bigr)^2 = \frac$

The combination of the last two formulas gives the following result:

: $K(\varepsilon)E(\sqrt) + E(\varepsilon)K(\sqrt) - K(\varepsilon)K(\sqrt) = \frac$

Because if the derivative of a continuous function constantly takes the value zero, then the concerned function is a constant function. This means that this function results in the same function value for each abscissa value ε and the associated function graph is therefore a horizontal straight line.

References

*
*
*
*{{citation, first=A.M., last= Legendre, title= Traité des fonctions elliptiques et des intégrales eulériennes, volume= I, place=Paris, year= 1825

Elliptic functions