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 James Shohat (en), affirme qu'une suite de polynômes satisfaisant une certaine relation de récurrence à trois termes est une suite de polynômes orthogonaux.
Historique
modifierLe théorème fut publié dans le cadre de la théorie des polynômes orthogonaux par Jean Favard en 1935[1] et (indépendamment, sous une forme plus précise) par James Shohat (en) en 1938[2], 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é
modifierSoit y0 = 1, y1, ... une suite de polynômes avec yn de degré n. Si c'est une suite de polynômes orthogonaux, elle vérifie une relation de récurrence à trois termes[3]. 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
(les cn et dn étant des constantes réelles quelconques), alors il existe une forme linéaire Λ vérifiant Λ(1) = 1 telle que les polynômes yn forment une suite « orthogonale » pour Λ, c'est-à-dire que Λ(ymyn) = 0 si m ≠ n.
Avec ces conditions, Λ est unique, et est définie par Λ(1) = 1, Λ(yn) = 0 si n > 0.
Λ vérifie ; la forme bilinéaire est donc définie positive si et seulement si les dn 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 dn sont positifs, on peut écrire pour une fonction croissante convenable (l'intégrale étant prise au sens de Stieltjes), ce qui achève d'identifier les yn à des polynômes orthogonaux.
Notes
modifier- Favard 1935
- Shohat 1938
- On en trouvera la démonstration dans l'article Polynômes orthogonaux
Références
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Favard's theorem » (voir la liste des auteurs).
- (en) Theodore Seio Chihara, An introduction to orthogonal polynomials, vol. 13, New York, Gordon and Breach Science Publishers, coll. « Mathematics and its Applications », , 249 p. (ISBN 978-0-677-04150-6, MR 0481884 Reprinted by Dover 2011, ISBN 978-0-486-47929-3, lire en ligne)
- Jean Favard, « Sur les polynômes de Tchebicheff. », C. R. Acad. Sci., Paris, vol. 200, , p. 2052–2053 (JFM 61.0288.01)
- (en) Q. I. Rahman et G. Schmeisser, Analytic theory of polynomials, vol. 26, Oxford, Oxford University Press, coll. « London Mathematical Society Monographs. New Series », , 15–16 p. (ISBN 0-19-853493-0, zbMATH 1072.30006)
- J. Shohat, « Sur les polynômes orthogonaux généralisés. », C. R. Acad. Sci., Paris, vol. 207, , p. 556–558 (zbMATH 0019.40503)