ERGODIQUE THÉORIE

On va maintenant formaliser le problème ergodique. On se donne un espace compact Ω et une mesure de Radon positive m sur Ω (cf. intégration et mesure ; on peut se placer dans des situations plus générales, mais on n'a pas jugé utile de le faire ici), qui est aussi une probabilité m(Ω) = 1 (cf. calcul desprobabilités). On se donne aussi une transformation mesurable θ : Ω → Ω et on suppose que θ conserve la mesure, c'est-à-dire que θ vérifie la condition :

pour tout ensemble mesurable E. Cette condition entraîne que θ^-1E est négligeable si E est négligeable, c'est-à-dire m(E) = 0.

Théorème de Birkhoff. Soit f une fonction complexe et intégrable sur Ω ; la suite des moyennes de Cesaro :

converge presque partout sur Ω vers une fonction intégrable f̃ ; cette fonction f̃ est θ-invariante (c'est-à-dire f̃ = f̃ ∘ θ) et enfin :quel que soit l'ensemble mesurable A invariant, c'est-à-dire tel que A = θ^-1A.

Dans le cas particulier où la condition (E) suivante est satisfaite : les seuls ensembles invariants sont modulo les ensembles négligeables, l'ensemble Ω et l'ensemble vide, les fonctions invariantes sont les fonctions constantes presque partout (p.p.), et le théorème de Birkhoff donne l'égalité :

autrement dit le système (Ω, m, θ) vérifie l'hypothèse ergodique si la condition (E) est remplie. On dit dans ce cas que θ est transitivement métrique ou encore que θ est ergodique.

Quelques semaines avant que G. D. Birkhoff eût donné son résultat, J. von Neumann avait établi le théorème suivant en faisant les mêmes hypothèses que pour le théorème de Birkhoff.

Théorème de von Neumann. Soit f une fonction complexe sur Ω, de carré intégrable ; la suite des fonctions :

converge en moyenne quadratique vers une fonction f̃ de carré intégrable et θ-invariante ; autrement dit :et :

Il n'est pas question de donner ici les démonstrations de ces théorèmes, mais il est utile d'ajouter quelques indications sur ces preuves pour montrer en particulier les liens existant entre la théorie ergodique et l'analyse fonctionnelle.

Dans ces théorèmes intervien [...]