Théorème de Favard

En mathématiques, le théorème de Favard, aussi appelé théorème de Shohat–Favard, d'après Jean Favard et Modèle:Lien, affirme qu'une suite de polynômes satisfaisant une certaine relation de récurrence à trois termes est une suite de polynômes orthogonaux.

Historique

Le théorème fut publié dans le cadre de la théorie des polynômes orthogonaux par Jean Favard en 1935 et (indépendamment, sous une forme plus précise) par Modèle:Lien en 1938, mais un résultat essentiellement équivalent avait été obtenu longtemps auparavant par Stieltjes dans l'étude des fractions continues (généralisées), et redécouvert à plusieurs reprises avant les travaux de Favard.

Énoncé

Soit y₀ = 1, y₁, ... une suite de polynômes avec y_n de degré n. Si c'est une suite de polynômes orthogonaux, elle vérifie une relation de récurrence à trois termes. Le théorème de Favard en est essentiellement la réciproque, énonçant que si la suite vérifie une relation de récurrence de la forme

$y_{n+1}=(x-c_n)y_n-d_n{y}_{n-1}$

(les c_n et d_n étant des constantes réelles quelconques), alors il existe une forme linéaire Λ vérifiant Λ(1) = 1 telle que les polynômes y_n forment une suite « orthogonale » pour Λ, c'est-à-dire que Λ(y_my_n) = 0 si m ≠ n.

Avec ces conditions, Λ est unique, et est définie par Λ(1) = 1, Λ(y_n) = 0 si n > 0.

Λ vérifie $\mathrm{\Lambda }(y_n^2)=d_n\mathrm{\Lambda }(y_{n-1}^2)$ ; la forme bilinéaire $(y,y^{\prime })\mapsto \mathrm{\Lambda }(y{y}^{\prime })$ est donc définie positive si et seulement si les d_n sont positifs ; Λ(y) est alors la projection orthogonale de y sur l'espace des constantes, pour le produit scalaire ainsi défini.

Shohat a démontré en 1938 que lorsque les d_n sont positifs, on peut écrire $\mathrm{\Lambda }(y)=\int y\mathrm{d}g$ pour une fonction croissante $g$ convenable (l'intégrale étant prise au sens de Stieltjes), ce qui achève d'identifier les y_n à des polynômes orthogonaux.

Références

• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Article

Articles connexes

• Mesure secondaire
• Transformée de Stieltjes