Polynôme de Legendre

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Cet article a une forme trop académique. (indiquez la date de pose grâce au paramètre date).

La forme ressemble trop à un extrait de cours et nécessite une réécriture afin de correspondre aux standards de Wikipédia. N'hésitez pas à l'améliorer.

 Ne doit pas être confondu avec Polynôme associé de Legendre.
Polynômes de Legendre

Les polynômes de Legendre constituent l'exemple le plus simple d'une suite de polynômes orthogonaux. Ce sont des solutions particulières de l'équation différentielle de Legendre :

,

dans le cas particulier où le paramètre n est un entier. Les polynômes de Legendre sont définis uniquement pour puisque les points sont des points singuliers réguliers de cette équation différentielle[1].

Les polynômes de Legendre constituent un cas particulier des polynômes de Jacobi d'indice n, pour lesquels les paramètres α et β sont nuls: .

Une définition équivalente, plus abstraite, mais intéressante sur le plan conceptuel, est de considérer que les polynômes de Legendre sont les fonctions propres de l'endomorphisme défini sur par :

,

pour la valeur propre .

Ces polynômes orthogonaux ont de nombreuses applications tant en mathématiques, par exemple pour la décomposition d'une fonction en série de polynômes de Legendre, ou encore en physique, où l'équation de Legendre apparaît aussi naturellement lors de la résolution des équations de Laplace ou de Helmholtz en coordonnées sphériques.

Équation de Legendre[modifier | modifier le code]

Définitions, propriétés générales[modifier | modifier le code]

On appelle équation de Legendre l'équation : avec en général . Il est possible de rechercher des solutions à cette équation différentielle sous forme de séries entières (par exemple en utilisant la méthode de Frobenius). Comme l'équation différentielle admet pour point singuliers réguliers (pôles simples) les valeurs , cette série ne convergera que pour .

Dans le cas particulier où entier naturel, il est possible d'obtenir des solutions qui soient régulières aux points , et pour lesquelles la série s'arrête au terme de degré n, i.e. des solutions sous forme de polynômes.

Par suite le polynôme de Legendre (pour tout entier naturel n, et pour ) comme la solution de l'équation différentielle :

Cette équation est naturellement liée à l'équation de Laplace , écrite en coordonnées sphériques. En effet, lors de la recherche d'une solution ne dépendant pas de l'angle d’azimut sous la forme d'un produit de deux fonctions d'une seule variable, l'équation vérifiée par B ainsi obtenue est de la forme :

,

étant la constante de séparation. Le changement de variable permet de vérifier que B suit l'équation de Legendre[2]. Les seules solutions physiquement acceptables, i.e. qui ne divergent pas pour sont alors celles pour lesquelles n est entier, donc les polynômes de Legendre[3].

Fonction génératrice[modifier | modifier le code]

La fonction génératrice des polynômes de Legendre est donnée par :

Cette expression intervient notamment en physique, par exemple dans le développement à grande distance du potentiel (développement multipolaire).

Autres définitions[modifier | modifier le code]

Formule de récurrence de Bonnet[modifier | modifier le code]

Cette formule permet rapidement d'obtenir l'expression du polynôme de Legendre d'ordre n + 1 à partir de ceux d'ordres n et n - 1. Pour tout entier n ≥ 1 :

avec . Elle se démontre facilement à partir de la fonction génératrice.


Formule de Rodrigues[modifier | modifier le code]

En prenant pour condition de normalisation , le polynôme peut s'exprimer en utilisant la formule de Rodrigues :

Définition analytique[modifier | modifier le code]

On peut aussi définir cette suite de polynômes par sa fonction génératrice :

Le calcul des coefficients de la série de Laurent donne alors :

où le contour entoure l'origine et est pris dans le sens trigonométrique.

Définitions sous forme de somme[modifier | modifier le code]

On définit ce polynôme de deux façons sous forme de somme :

(on en déduit )

Où on a utilisé :

Quelques polynômes[modifier | modifier le code]

Les premiers polynômes sont :

Les 20 premiers polynômes de Legendre

Propriétés[modifier | modifier le code]

Degré[modifier | modifier le code]

Le polynôme est de degré n.

Base[modifier | modifier le code]

La famille étant une famille de polynômes à degrés étagés, elle est une base de l'espace vectoriel .

Parité[modifier | modifier le code]

Les polynômes de Legendre suivent la parité de n. On peut exprimer cette propriété par :

(en particulier, et ).

Orthogonalité[modifier | modifier le code]

Une propriété importante des polynômes de Legendre est leur orthogonalité. Il est possible de montrer, pour tout m,n entiers, que :

Il est possible d'interpréter cette relation en introduisant le produit scalaire de deux fonctions, défini à partir de l'intégrale du produit des deux fonctions sur un intervalle borné :

,

est appelé « fonction poids », étant l'intervalle d'orthogonalité des deux fonctions, qui peut être infini sous réserve de convergence de l'intégrale.

Dans le cas des polynômes de Legendre l'intervalle d'orthogonalité est [−1, 1] et la fonction poids est simplement la fonction constante de valeur 1, il est donc possible d'écrire : ces polynômes sont orthogonaux par rapport au produit scalaire défini sur par la relation :

.

De plus, comme est une base de , on a , c'est-à-dire :

Norme[modifier | modifier le code]

Le carré de la norme, dans L2([-1,1]), est

En effet, pour tout n>1, on peut établir la relation

dont on déduit (en utilisant que pour tout k, est de degré k-2<k donc est orthogonal à , et en effectuant une intégration par parties) :

Comme est impair et pour tout k, , on aboutit ainsi à

Théorème d'addition[modifier | modifier le code]

Si , , et un réel quelconque, alors

ce qui est équivalent à

On a aussi

sous l'hypothèse que , , ,

Décomposition en série de polynômes de Legendre[modifier | modifier le code]

Décomposition d'une fonction holomorphe[modifier | modifier le code]

Toute fonction f, holomorphe à l'intérieur d'une ellipse de foyers -1 et +1, peut s'écrire sous la forme d'une série qui converge uniformément sur tout compact à l'intérieur de l'ellipse :

avec

Décomposition d'une fonction lipschitzienne[modifier | modifier le code]

On note le quotient du polynôme par sa norme.

Soit f une application continue sur [-1,1]. Pour tout entier naturel n on pose

Alors la suite est de carré sommable, et permet d'expliciter le projeté orthogonal de f sur  :

On a de plus :

  1. , avec

Supposons de plus que f est une fonction lipschitzienne. On a alors la propriété supplémentaire :[réf. souhaitée]

autrement dit, l'égalité

est vraie non seulement au sens L2 mais au sens de la convergence simple sur ]-1,1[.

Intégration numérique d'une fonction[modifier | modifier le code]

Afin de calculer numériquement l'intégrale d'une fonction sur l'intervalle [-1, 1], l'une des méthodes les plus populaires est la méthode de quadrature de Gauss-Legendre fondée sur les propriétés des polynômes de Legendre. Elle prend la forme :

avec :

  • l'ensemble des zéros du polynôme de Legendre
  • les poids respectifs :

En particulier, la formule[4] à l'ordre n est exacte pour toute fonction polynomiale de degré 2n-1.

Applications en physique[modifier | modifier le code]

Les polynômes de Legendre, tout comme ceux d'Hermite ou de Laguerre, apparaissent dans diverses branches de la physique ou du calcul numérique car ils permettent le calcul d'intégrales définies sans qu'il soit nécessaire de les évaluer analytiquement, à condition toutefois que par un changement de variable adéquat, on se place dans l'intervalle d'intégration [−1, 1].

Les polynômes de Legendre permettent de développer en série les fonctions du type (cette formule se déduit directement de la fonction génératrice) :

r et r' sont les normes des vecteurs et , respectivement, et est l'angle entre ceux-ci. Un tel développement est utilisé par exemple dans l'étude du dipôle électrique ou de façon plus générale dans l'expression du champ électrique ou gravitationnel à grande distance d'une distribution continue de charge ou de masse (développement multipolaire).

Les polynômes de Legendre apparaissent également dans la résolution de l'équation de Laplace pour le potentiel électrique V dans une région vide de charges, en coordonnées sphériques, dans le cas d'un problème présentant une symétrie axiale (V est alors indépendant de ϕ), procédant par la méthode de séparation des variables. La solution de l'équation de Laplace se met alors sous la forme :

Notes et références[modifier | modifier le code]

  1. En effet, en développant l'équation différentielle se met sous la forme , avec et . Par suite il est évident que les points x=1 et x=-1 constituent bien des pôles d'ordre un de f(x) et g(x).
  2. Murray R. Spiegel (en), Analyse de Fourier et application aux problèmes de valeurs aux limites : 205 exercices résolus, Série Schaum, , 200 p. (ISBN 978-2-7042-1019-0), chap. 7 (« Les fonctions de Legendre et leurs applications »), p. 138-142.
  3. Le cas plus général où l'on cherche par séparation des variables une les solutions de la partie angulaire de l'équation de Laplace dépendant à la fois de et permet d'introduire les polynômes associés de Legendre, étroitement liés aux harmoniques sphériques.
  4. On trouvera une table pour les cinq premières formules dans (en) Eric W. Weisstein, « Legendre-Gauss quadrature », MathWorld

Voir aussi[modifier | modifier le code]

Articles connexes[modifier | modifier le code]

Bibliographie[modifier | modifier le code]