Identité de Legendre

L'identité de Legendre ou relation de Legendre peut être exprimée sous deux formes :

• comme une relation entre des intégrales elliptiques complètes : ${\displaystyle KE'+EK'-KK'={\tfrac {\pi }{2}}}$ ;
• comme une relation entre les périodes et quasi-périodes de fonctions elliptiques.

Les deux formes sont équivalentes dans la mesure où les périodes et quasi-périodes peuvent être exprimées en termes d'intégrales elliptiques complètes. Cette identité a été introduite (pour les intégrales elliptiques complètes) par le mathématicien français Adrien-Marie Legendre en 1811^[1] et 1825^[2].

L'identité de Legendre est, pour ${\displaystyle k\in \left]0;1\right[}$ :

${\displaystyle KE'+EK'-KK'={\frac {\pi }{2}}}$.

Sous une forme légèrement modifiée, l'identité de Legendre pour le même ensemble de définition de ${\displaystyle k}$ peut également être formulée en termes de "contreparties tangentielles de modules elliptiques"^{[traduction souhaitée 1]} :

${\displaystyle \left(1+k\right)K\left(k\right)E\left({\frac {1-k}{1+k}}\right)+{\frac {2}{1+k}}E\left(k\right)K\left({\frac {1-k}{1+k}}\right)-2K\left(k\right)K\left({\frac {1-k}{1+k}}\right)={\frac {\pi }{2}}}$

Par exemple, la première formule et la deuxième formule donne respectivement :

${\displaystyle {\begin{aligned}&K\left({\frac {3}{5}}\right)E\left({\frac {4}{5}}\right)+\;\;\;E\left({\frac {3}{5}}\right)K\left({\frac {4}{5}}\right)-\;\;K\left({\frac {3}{5}}\right)K\left({\frac {4}{5}}\right)={\frac {\pi }{2}}\\{\frac {4}{3}}&K\left({\frac {1}{3}}\right)E\left({\frac {1}{2}}\right)+{\frac {3}{2}}E\left({\frac {1}{3}}\right)K\left({\frac {1}{2}}\right)-2K\left({\frac {1}{3}}\right)K\left({\frac {1}{2}}\right)={\frac {\pi }{2}}\end{aligned}}}$

Le mathématicien Adrien-Marie Legendre a noté cette relation dans son ouvrage Exercices de calcul intégral sur divers ordres de "transcendantes et sur les quadratures de 1811. Dans cet ouvrage, il établit la forme normale dite de Legendre. Il y introduit également la répartition des intégrales elliptiques en trois catégories^[3], à savoir la première, la deuxième et la troisième espèce. A cette époque, Legendre était membre de l'Académie des sciences de Paris^[4]. Dans un autre ouvrage, Traité des fonctions elliptiques et des intégrales eulériennes de 1825, il dérive son identité de manière encore plus détaillée. Dans cet ouvrage, il a principalement analysé les théorèmes d'addition^[5] des fonctions elliptiques.

La première forme d'identité de Legendre exprime le fait que le Wronskien des intégrales elliptiques complètes (considérées comme solutions d'une équation différentielle) est une constante.

Dans le cas lemniscatique, on a ${\displaystyle k={\tfrac {\sqrt {2}}{2}}}$. Les intégrales elliptiques de première espèce traitent des longueurs d'arc paramétré en coordonnées polaires des lemniscates de Bernoulli et les intégrales elliptiques de deuxième espèce traitent les longueurs d'arc d'une ellipse avec ${\displaystyle {\sqrt {2}}}$ comme rapport des demi-axes associé. L'identité de Legendre pour le cas lemniscatique peut être prouvée comme suit. On a :

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}F\left[\arccos(xy),{\tfrac {\sqrt {2}}{2}}\right]=-{\frac {{\sqrt {2}}\,x}{\sqrt {1-x^{4}y^{4}}}}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}E\left[\arccos(xy),{\tfrac {\sqrt {2}}{2}}\right]=-{\frac {x\left(1+x^{2}y^{2}\right)}{{\sqrt {2}}{\sqrt {1-x^{4}y^{4}}}}}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}{\tfrac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}={\frac {-2\,x^{3}y^{2}\left(1-x^{4}y^{4}\right)+2x^{3}y^{6}\left(1-x^{4}\right)}{\sqrt {\left(1-x^{4}\right)\left(1-x^{4}y^{4}\right)^{3}}}}={\frac {-2\,x^{3}y^{2}\left(1-y^{4}\right)}{\sqrt {\left(1-x^{4}\right)\left(1-x^{4}y^{4}\right)^{3}}}}\Rightarrow {\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {artanh} {\frac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}={\frac {-2\,x^{3}y^{2}}{\sqrt {\left(1-x^{4}\right)\left(1-x^{4}y^{4}\right)}}}}$

On a ces quatre identités :

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}\left[K\left({\tfrac {\sqrt {2}}{2}}\right)-F\left[\arccos(xy),{\tfrac {\sqrt {2}}{2}}\right]\right]={\frac {{\sqrt {2}}\,x}{\sqrt {1-x^{4}y^{4}}}}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}\left[2E\left({\tfrac {\sqrt {2}}{2}}\right)-K\left({\tfrac {\sqrt {2}}{2}}\right)-2E\left[\arccos(xy),{\tfrac {\sqrt {2}}{2}}\right]+F\left[\arccos(xy),{\tfrac {\sqrt {2}}{2}}\right]\right]={\frac {{\sqrt {2}}\,x^{3}y^{2}}{\sqrt {1-x^{4}y^{4}}}}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} x}}\left[{\frac {y^{2}+1}{y^{2}}}\left[\operatorname {artanh} \left(y^{2}\right)-\operatorname {artanh} {\tfrac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}\right]\right]={\frac {2\,x^{3}(y^{2}+1)}{\sqrt {(1-x^{4})(1-x^{4}y^{4})}}}}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} y}}\left[2\arctan y-{\frac {1-y^{2}}{y}}\,\operatorname {artanh} \left(y^{2}\right)\right]={\frac {y^{2}+1}{y^{2}}}\operatorname {artanh} \left(y^{2}\right)}$

On a alors :

${\displaystyle {\frac {\sqrt {2}}{\sqrt {1-x^{4}}}}\left\{\left[2E\left({\tfrac {\sqrt {2}}{2}}\right)-K\left({\tfrac {\sqrt {2}}{2}}\right)-2E\left(\arccos x,{\tfrac {\sqrt {2}}{2}}\right)+F\left(\arccos x,{\tfrac {\sqrt {2}}{2}}\right)\right]+x^{2}\left[K\left({\tfrac {\sqrt {2}}{2}}\right)-F\left(\arccos x,{\tfrac {\sqrt {2}}{2}}\right)\right]\right\}=\int _{0}^{1}{\frac {2\,x^{3}\!\left(y^{2}+1\right)\mathrm {d} y}{\sqrt {\left(1-x^{4}\right)\left(1-x^{4}\,y^{4}\right)}}}}$

En intégrant par rapport à ${\displaystyle x}$ de 0 à ${\displaystyle x}$, on a :

${\displaystyle \left[K\left({\tfrac {\sqrt {2}}{2}}\right)-F\left(\arccos x,{\tfrac {\sqrt {2}}{2}}\right)\right]\left[2E\left({\tfrac {\sqrt {2}}{2}}\right)-K\left({\tfrac {\sqrt {2}}{2}}\right)-2E\left(\arccos x,{\tfrac {\sqrt {2}}{2}}\right)+F\left(\arccos x,{\tfrac {\sqrt {2}}{2}}\right)\right]=\int _{0}^{1}{\frac {y^{2}+1}{y^{2}}}\left[\operatorname {artanh} \left(y^{2}\right)-\operatorname {artanh} {\tfrac {{\sqrt {1-x^{4}}}\,y^{2}}{\sqrt {1-x^{4}y^{4}}}}\right]\mathrm {d} y}$

Selon la règle de L'Hôpital, on a :

${\displaystyle \lim _{y\rightarrow 0}{\frac {1-y^{2}}{y}}\operatorname {artanh} \left(y^{2}\right)=0}$

${\displaystyle \lim _{y\rightarrow 1}{\frac {1-y^{2}}{y}}\operatorname {artanh} \left(y^{2}\right)=0}$

Si la valeur ${\displaystyle x=1}$ est insérée dans la dernière identité intégrale mentionnée, alors l'identité suivante apparaît :

${\displaystyle K\left({\tfrac {\sqrt {2}}{2}}\right)\left[2\,E\left({\tfrac {\sqrt {2}}{2}}\right)-K\left({\tfrac {\sqrt {2}}{2}}\right)\right]=\int _{0}^{1}{\frac {y^{2}+1}{y^{2}}}\operatorname {artanh} \left(y^{2}\right)\,\mathrm {d} y=\left[2\arctan y-{\frac {1-y^{2}}{y}}\,\operatorname {artanh} \left(y^{2}\right)\right]_{y=0}^{y=1}=2\arctan 1={\frac {\pi }{2}}}$

C’est ainsi qu’émerge cet extrait de l’identité de Legendre :

${\displaystyle 2E\left({\tfrac {\sqrt {2}}{2}}\right)K\left({\tfrac {\sqrt {2}}{2}}\right)-K^{2}\left({\tfrac {\sqrt {2}}{2}}\right)={\frac {\pi }{2}}}$

Puisqu'on sait ici que :

Dérivée de E et K par rapport à ${\displaystyle k}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}K(k)={\frac {E(k)-k'^{2}K(k)}{k\,k'^{2}}}}$	${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}K'\left(k\right)={\frac {k^{2}K'\left(k\right)-E'\left(k\right)}{k\,k'^{2}}}}$
${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}E(k)={\frac {E(k)-K(k)}{k}}}$	${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}E'\left(k\right)={\frac {k\left[K'\left(k\right)-E'\left(k\right)\right]}{k'^{2}}}}$

on a :

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}K(k)E'\left(k\right)={\frac {1}{k\,k'^{2}}}\left[E(k)E'\left(k\right)-K(k)E'\left(k\right)+k^{2}K(k)K'\left(k\right)\right]}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}E(k)K'\left(k\right)={\frac {1}{k\,k'^{2}}}\left[-E(k)E'\left(k\right)+E(k)K'\left(k\right)-(1-k^{2})K(k)K'\left(k\right)\right]}$

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}K(k)K'\left(k\right)={\frac {1}{k\,k'^{2}}}\left[E(k)K'\left(k\right)-K(k)E'\left(k\right)-(1-2k^{2})K(k)K'\left(k\right)\right]}$

En additionnant les deux premières égalités et en soustrayant la troisième, on a :

${\displaystyle {\frac {\mathrm {d} }{\mathrm {d} k}}\left[K(k)E'\left(k\right)+E(k)K'\left(k\right)-K(k)K'\left(k\right)\right]=0}$

Or, on vient de voir que, pour ${\displaystyle k={\tfrac {\sqrt {2}}{2}}}$, on a :

${\displaystyle 2E\left({\tfrac {\sqrt {2}}{2}}\right)K\left({\tfrac {\sqrt {2}}{2}}\right)-K^{2}\left({\tfrac {\sqrt {2}}{2}}\right)={\tfrac {\pi }{2}}}$

Donc, on a :

${\displaystyle K(k)E'\left(k\right)+E(k)K'\left(k\right)-K(k)K'\left(k\right)={\tfrac {\pi }{2}}}$

soit :

${\displaystyle KE'+EK'-KK'={\tfrac {\pi }{2}}}$

Les transformations de Landen indiquent :

${\displaystyle \left.{\begin{aligned}K\left(k\right)&={\frac {2}{1+k'^{2}}}K\left({\frac {1-k'^{2}}{1+k'^{2}}}\right)\\E\left(k\right)&=\left(1+k'^{2}\right)E\left({\frac {1-k'^{2}}{1+k'^{2}}}\right)-{\frac {2k'^{2}}{1+k'^{2}}}K\left({\frac {1-k'^{2}}{1+k'^{2}}}\right)\end{aligned}}\right\}\Rightarrow \left\{{\begin{aligned}K'\left(k\right)&={\frac {2}{1+k}}K\left({\frac {1-k}{1+k}}\right)\\E'\left(k\right)&=\left(1+k\right)E\left({\frac {1-k}{1+k}}\right)-{\frac {2k}{1+k}}K\left({\frac {1-k}{1+k}}\right)\end{aligned}}\right.}$

L'égalité ${\displaystyle KE'+EK'-KK'={\tfrac {\pi }{2}}}$ se réécrit :

${\displaystyle (1+k)K(k)E\left({\frac {1-k}{1+k}}\right)-{\frac {2k}{1+k}}K(k)K\left({\frac {1-k}{1+k}}\right)+{\frac {2}{1+k}}E(k)K\left({\frac {1-k}{1+k}}\right)-{\frac {2}{1+k}}K(k)K\left({\frac {1-k}{1+k}}\right)={\tfrac {\pi }{2}}}$

puis :

${\displaystyle (1+k)K(k)E\left({\frac {1-k}{1+k}}\right)+{\frac {2}{1+k}}E(k)K\left({\frac {1-k}{1+k}}\right)-2K(k)K\left({\frac {1-k}{1+k}}\right)={\tfrac {\pi }{2}}}$

Ces séries de Maclaurin sont valables pour toutes les valeurs réelles k

${\displaystyle K(k)={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}{\binom {2k}{k}}^{2}k^{2k}}$

${\displaystyle E(k)={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{16^{k}(1-2k)}}{\binom {2k}{k}}^{2}k^{2k}}$

On a alors cette paire de formules :

${\displaystyle K\left({\frac {\sqrt {2}}{2}}\right)={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{32^{k}}}{\binom {2k}{k}}^{2}}$

${\displaystyle E\left({\frac {\sqrt {2}}{2}}\right)={\frac {\pi }{2}}\sum _{k=0}^{\infty }{\frac {1}{32^{k}(1-2k)}}{\binom {2k}{k}}^{2}}$

Ces deux formules peuvent être substituées dans cette formule :

${\displaystyle 2E\left({\frac {\sqrt {2}}{2}}\right)K\left({\frac {\sqrt {2}}{2}}\right)-K^{2}\left({\frac {\sqrt {2}}{2}}\right)={\frac {\pi }{2}}}$

On peut alors synthétiser le développement en série suivant :

${\displaystyle {\biggl [}\sum _{k=0}^{\infty }{\frac {1}{32^{k}}}{\binom {2k}{k}}^{2}{\biggr ]}{\biggl [}\sum _{k=0}^{\infty }{\frac {1+2k}{32^{k}(1-2k)}}{\binom {2k}{k}}^{2}{\biggr ]}={\frac {2}{\pi }}}$

La vitesse de convergence pour cette formule de série se comporte linéairement par rapport aux décimales :

Les résultats ont été arrondis. On a :

${\displaystyle {\frac {2}{\pi }}\approx 0{,}636\,619\,772\,367\,581\,343}$

Dans l'article intégrales elliptiques, on explique qu'on peut établir à l'aide de l'identité de Legendre :

${\displaystyle \int _{0}^{x}\left[{\frac {\pi ^{2}}{8k\,k'^{2}K(k)^{2}}}-{\frac {1}{2k}}\right]\mathrm {d} k={\frac {1}{4}}\ln {\frac {16}{x^{2}}}-{\frac {\pi \,K'(x)}{4\,K(x)}}}$

La relation de Legendre avec les fonctions elliptiques est :

${\displaystyle \omega _{2}\eta _{1}-\omega _{1}\eta _{2}=2\mathrm {i} \pi }$

où ${\displaystyle \omega _{1}}$ et ${\displaystyle \omega _{2}}$ sont les périodes de la fonction elliptique de Weierstrass, ${\displaystyle \eta _{1}}$ et ${\displaystyle \eta _{2}}$ sont les quasi-périodes de la fonction zêta de Weierstrass. Certains auteurs les normalisent différemment par des facteurs de 2, auquel cas le membre de droite de la relation de Legendre est ${\displaystyle \mathrm {i} \pi }$ ou ${\displaystyle \mathrm {i} \pi /2}$. Cette relation peut être testée en intégrant la fonction zêta de Weierstrass sur la limite d'une région fondamentale et en appliquant le théorème des résidus de Cauchy.

• (en) Peter Duren, « The Legendre relation for elliptic integrals », dans John H. Ewing (éd.), F. W. Gehring (éd.), Paul Halmos, Celebrating 50 years of mathematics, New York, Springer-Verlag, 1991 (ISBN 0-387-97509-8, DOI 10.1007/978-1-4612-0967-6_32, MR 1113282), p. 305-315.

• (en) E. A. Karatsuba et M. Vuorinen, « On hypergeometric functions and generalizations of Legendre's relation », Journal of Mathematical Analysis and Applications , vol. 260, n^o 2,‎ 2001, p. 623-640 (MR 1845572).

• Adrien-Marie Legendre, Exercices de calcul intégral sur divers ordres de transcendantes et sur les quadratures, vol. 1, Paris, 1811.

• Adrien-Marie Legendre, Traité des fonctions elliptiques et des intégrales eulériennes, vol. 1, Paris, 1825.

• (de) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en allemand intitulé « Legendresche Identität » (voir la liste des auteurs).

• (ca) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en catalan intitulé « Relació de Legendre » (voir la liste des auteurs).

• Portail de l'analyse
• Portail des mathématiques