Polynôme de Legendre - Définition

Introduction

Les polynômes de Legendre sont des solutions de l'équation différentielle de Legendre, et constituent l'exemple le plus simple d'une suite de polynômes orthogonaux.

Équation de Legendre

On appelle équation de Legendre l'équation :

On définit ainsi le polynôme de Legendre P_n (pour tout entier naturel n) :

On a donc , où désigne le polynôme de Jacobi d'indice n associé aux paramètres α et β.

Quelques polynômes

Les premiers polynômes sont :

• 
• 
• 
• 
• 
• 
• 
• 
• 
• 
• 

Autres définitions

Formule de récurrence de Bonnet

et pour tout entier n>0

Formule de Rodrigues

On définit le polynôme P_n (pour tout entier naturel n) par :

Définition analytique

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

Le théorème des résidus donne alors :

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

Définitions sous forme de somme

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

(on en déduit )

Décomposition en série de polynômes de Legendre

Décomposition d'une fonction holomorphe

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 uniformement à l'intérieur de l'ellipse:

avec

Décomposition d'une fonction lipschitzienne

On note le quotient du polynôme P_n 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
2. 

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 L² mais au sens de la convergence simple sur ]-1,1[.

Propriétés

Degré

Le polynôme P_n est de degré n.

Parité

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

(en particulier, P_n( − 1) = ( − 1)ⁿ et P_{2n + 1}(0) = 0).

Orthogonalité

Les polynômes orthogonaux les plus simples sont les polynômes de Legendre pour lesquels l'intervalle d'orthogonalité est [−1, 1] et la fonction poids est simplement la fonction constante de valeur 1 : ces polynômes sont orthogonaux par rapport au produit scalaire < , > défini sur par la relation :

.

Norme

Le carrré de la norme, dans L²([-1,1]), est

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

dont on déduit (en utilisant que pour tout k, P'_{k − 1} est de degré k-2<k donc est orthogonal à P_k, et en effectuant une intégration par parties) :

Comme P_nP_{n + 1} est impair et pour tout k, P_k(1) = 1, on aboutit ainsi à (2n + 1) | | P_n | | ² = 2.