En mathématiques, les formes de Legendre d'intégrales elliptiques sont un ensemble canonique de trois intégrales elliptiques auxquelles toutes les autres peuvent être réduites. Legendre a choisi le nom d'intégrales elliptiques car le deuxième type donne la longueur d'arc d'une ellipse de demi-grand axe unitaire et d'excentricité (l'ellipse étant définie paramétriquement par , ).
Dans les temps modernes, les formes de Legendre ont été largement supplantées par un ensemble canonique alternatif, les .
Définition Lintégrale elliptique incomplète du premier type est définie par :
le deuxième type comme
et le troisième type comme
L'argument n d'intégrale du troisième type est connu sous le nom de caractéristique, qui dans différentes conventions de notation peut apparaître comme le premier, le deuxième ou le troisième argument de et est en outre parfois défini avec le signe opposé. L'ordre des arguments indiqué ci-dessus est celui de Gradshteyn et Ryzhik ainsi que Numerical Recipes. Le choix du signe est celui d'Abramowitz et Stegun ainsi que de Gradshteyn et Ryzhik, mais correspond au de Numerical Recipes.
Les intégrales elliptiques complètes respectives sont obtenues en réglant lamplitude, , la limite supérieure des intégrales, à .
La forme de Legendre d'une courbe elliptique est donnée par
Évaluation numérique La méthode classique d'évaluation s'effectue au moyen des transformations de Landen. La transformation de Landen descendante diminue le module vers zéro, tout en augmentant l'amplitude . À l’inverse, la transformation ascendante augmente le module vers l’unité, tout en diminuant l’amplitude. Dans l'une ou l'autre limite de approchant zéro ou un, l'intégrale est facilement évaluée.
La plupart des auteurs modernes recommandent une évaluation en termes de , pour lesquelles il existe des algorithmes efficaces, robustes et relativement simples. Cette approche a été adoptée par les bibliothèques Boost C++, la bibliothèque scientifique GNU et Numerical Recipes.
Références
Voir également
Catégorie:Fonction spéciale