Théorème de Fréchet-Kolmogorov

En analyse fonctionnelle, le théorème de Fréchet-Kolmogorov (noms auxquels on adjoint parfois Riesz ou Weil) donne une condition nécessaire et suffisante pour qu'un ensemble de fonctions soit relativement compact dans l'espace Lp(λ), où λ désigne la mesure de Lebesgue sur ℝn. Il constitue une variante Lp du théorème d'Ascoli.

Ne doit pas être confondu avec Théorème de Fréchet-Riesz.

Énoncé

Soient p un nombre réel supérieur ou égal à 1 et B un sous-ensemble de Lp(λ).

Cette partie B est relativement compacte si et seulement si les trois propriétés suivantes ont lieu simultanément :

  1. B est bornée,
  2. uniformément par rapport à f B,
  3. uniformément par rapport à f B, où τa f désigne la translatée de f par a, c'est-à-dire τa f(x) = f(x + a).

Démonstration

Puisque Lp est complet, B est relativement compact si et seulement s'il est précompact.

Sachant que les trois propriétés sont vraies si B est un singleton, on en déduit facilement qu'elles le restent si B est un précompact.

Réciproquement, supposons que B satisfait les trois propriétés et montrons qu'il est précompact. D'après l'hypothèse 2, il suffit de démontrer que pour tout compact K de ℝn, l'ensemble B|K des restrictions à K d'éléments de B est précompact.

Pour tout r > 0, notons :

  • Br la boule de ℝn de centre 0 et de rayon r ;
  • Vr = λ(Br) son volume ;
  • μr la mesure de probabilité de Lebesgue sur cette boule  : μr(A) = Vr−1λ(ABr) ;

D'après l'inégalité de Jensen ou celle de Hölder, pour une mesure de probabilité, la norme Lp est une fonction croissante de p. En appliquant le théorème de Fubini, on en déduit :

ce qui garantit au passage que fr ∈ Lp mais montre surtout que (d'après l'hypothèse 3) uniformément par rapport à f B, si bien que pour démontrer la précompacité (pour la norme Lp) de B|K, il suffit de vérifier, pour tout r > 0, celle de l'ensemble Il est même précompact pour la norme de la convergence uniforme sur K car le théorème d'Ascoli s'applique. On montre en effet qu'en tout point x, cet ensemble est :

  • équicontinu d'après l'hypothèse 3 car (en réutilisant la croissance des normes)
  • borné d'après l'hypothèse 1 car (par un calcul analogue)

Références

  • Haïm Brezis, Analyse fonctionnelle : théorie et applications [détail des éditions], p. 72
  • Marcel Riesz, « Sur les ensembles compacts de fonctions sommables », Acta Sci. Math., vol. 6, , p. 136-142 (lire en ligne)
  • (en) Harald Hanche-Olsen et Helge Holden, « The Kolmogorov-Riesz compactness theorem », Expositiones Mathematicae, vol. 28, , p. 385-394 (arXiv 0906.4883)
  • (en) Radu Precup, Methods in Nonlinear Integral Equations, Springer, (ISBN 978-1-40200844-3, lire en ligne), p. 21-22 — en supposant que B est à support borné
  • (en) Kōsaku Yosida, Functional Analysis, Springer, (lire en ligne), p. 275-277 — en dimension n = 1
  • 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.