Théorème de Riesz-Fischer

En mathématiques, plus précisément en théorie de l'intégration, le théorème de Riesz-Fischer dit :

Pour les articles homonymes, voir Théorème de Riesz.

Ces deux énoncés (avec p = 2 dans le second) ont été démontrés en 1907 par le Hongrois Frigyes Riesz[1] et l'Autrichien Ernst Sigismund Fischer[2],[3] : Riesz a démontré le premier énoncé et Fischer le second, à partir duquel il a redémontré le premier.

Convergence de la série de Fourier

Le premier énoncé signifie que si la somme partielle de la série de Fourier correspondant à la fonction f est donnée par

,

Fn est le n-ième coefficient de Fourier, donné par

,

alors

,

est la norme L2 qui peut s'écrire pour une fonction g

.

Inversement, si (an) est une suite de nombres complexes indexée par l'ensemble des entiers relatifs telle que

,

alors il existe une fonction f de carré intégrable telle que les an sont les coefficients de Fourier de f.

Ce théorème généralise l'inégalité de Bessel et peut être utilisé pour démontrer l'égalité de Parseval pour les séries de Fourier.

Complétude de l'espace Lp

Pour tout p > 0, l'espace métrique Lp est complet. Dans le cas usuel 1 ≤ p ≤ ∞, c'est par ailleurs un espace vectoriel normé, donc un espace de Banach ; en particulier si p = 2, c'est un espace de Hilbert.

On démontre au passage que pour p ≥ 1, toute suite de Cauchy dans Lp — autrement dit, a posteriori : toute suite convergente dans Lp — possède une sous-suite qui converge presque partout.

Notes et références

  1. F. Riesz, « Sur les systèmes orthogonaux de fonctions », CRAS, vol. 144, , p. 615–619.
  2. E. Fischer, « Sur la convergence en moyenne », CRAS, vol. 144, , p. 1 022–1 024.
  3. E. Fischer, « Applications d'un théorème sur la convergence en moyenne », CRAS, vol. 144, , p. 1 148-1 151.
  • Portail de l'analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.