Théorie ergodique

Pour les articles homonymes, voir ergodicité.

La théorie ergodique est une branche des mathématiques née de l'étude de l'hypothèse ergodique formulée par le physicien Ludwig Boltzmann en 1871 pour sa théorie cinétique des gaz. Il y a ergodicité si plusieurs analyses statistiques différentes et séparées sur un même sujet produisent un résultat suffisamment comparable. La théorie a connu de nombreux développements en relation étroite avec la théorie des systèmes dynamiques et la théorie du chaos.

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite pas suffisamment ses sources (août 2020).

Thumb — Flux d'un ensemble statistique dans le potentiel $x^{6}+4x^{3}-5x^{2}-4x$ . Sur de longues périodes, il devient tourbillonnant et semble devenir une distribution lisse et stable. Cependant, cette stabilité est un artefact de la pixellisation (la structure réelle est trop fine pour être perçue). Cette animation est inspirée d'une discussion de Gibbs dans son Wikisource de 1902 : Elementary Principles in Statistical Mechanics, Chapter XII, p. 143 : « Tendance d'un ensemble de systèmes isolés vers un état d'équilibre statistique ». Une version quantique de ceci peut être trouvée Ici

Notations

Résumé

Contexte

Dynamique discrète

Article détaillé : Système dynamique mesuré.

L'objet d'étude en théorie ergodique est un triplet $((X,B),\mu ,\phi )$ où :

$(X,B)$ est un espace mesurable (c’est-à-dire que $B$ est une tribu sur $X$ ) ;
$\mu$ une mesure sur $(X,B)$ ;
$\phi :X\to X$ une application préservant la mesure $\mu$ , c’est-à-dire telle que :

\forall A\in B,\ \mu \left(\phi ^{-1}(A)\right)\ =\ \mu (A)

L'application $\phi :X\to X$ engendre une dynamique discrète : partant d'un point $x_{0}\in X$ , on obtient successivement $x_{1}=\phi (x_{0})$ , puis $x_{2}=\phi (x_{1})=\phi ^{2}(x_{0})$ , et ainsi de suite.

Dynamique continue

On peut étendre l'étude au cas d'une dynamique continue en remplaçant l'application $\phi :X\to X$ précédente par un flot sur X, c’est-à-dire un groupe continu à un paramètre $\phi _{t}:X\to X$ tel que :

\phi _{0}\ =\ \mathrm {Id}

;

\forall \ (t,s)\,\in \,\mathbb {R} ^{2}\,\quad \phi _{t}\ \circ \phi _{s}\ =\ \phi _{t+s}

Ce cas est particulièrement important puisqu'il inclut le flot hamiltonien de la mécanique classique, ainsi que le flot géodésique.

Flot ou « cascade » ?

Le cas continu englobe le cas discret, car on peut toujours construire une application discrète à partir d'un flot continu, en posant par exemple $\phi =\phi _{t=1}$ pour l'unité de temps. Poursuivant l'analogie avec le vocabulaire de l'hydrodynamique, l'application discrète est alors parfois baptisée « cascade » par certains mathématiciens.

Définition de l'ergodicité

Résumé

Contexte

L'application $\varphi :X\rightarrow X$ est dite ergodique pour une mesure donnée si et seulement si tout ensemble mesurable invariant sous $\varphi$ est de mesure nulle, ou de complémentaire de mesure nulle.

L'ergodicité capture la notion d'irréductibilité en théorie de la mesure : pour toute partition d'un système dynamique ergodique en deux sous-systèmes invariants, l'un des deux est trivial ou négligeable, au sens où il vit sur un ensemble de mesure nulle.

Une application satisfaisant cette propriété était autrefois également dite « métriquement transitive ».

Définition triviale simplifiée

Il y a ergodicité si plusieurs analyses statistiques différentes et séparées sur un même sujet produisent un résultat suffisamment comparable. À l'inverse, il n'y a pas d'ergodicité si les effets aléatoires s'expriment davantage d'une mesure statistique à une autre, ne permettant pas de reproduire des valeurs dans le même ordre de grandeur par exemple. La taille de l'échantillon, ou de la population, ou de la zone considérée dans le calcul peut, si elle est trop réduite, amener à une absence d'ergodicité.

Théorème ergodique de Birkhoff

Résumé

Contexte

Article connexe : Théorème ergodique#Théorème ergodique de Birkhoff.

Moyenne temporelle et moyenne microcanonique

Soit f une bonne fonction sur X. On définit sa valeur moyenne temporelle par la limite (si elle existe) :

{\overline {f(x_{0})}}\ =\ \lim _{n\rightarrow +\infty }\ {\frac {1}{n}}\ \sum _{k=0}^{n-1}\ f\left(\phi ^{k}(x_{0})\right)

Elle dépend a priori de la condition initiale $x_{0}$ . On peut également définir la moyenne spatiale de f, ou moyenne microcanonique, par :

\langle \ f\ \rangle \ =\ {\frac {1}{\mu (X)}}\ \int _{X}f\,d\mu

La moyenne spatiale et la moyenne temporelle n'ont a priori pas de raison d'être égales.

Théorème de Birkhoff (1931)

Lorsque l'application $\phi$ est ergodique, moyenne spatiale et moyenne temporelle sont égales presque partout. Ce résultat constitue le célèbre théorème ergodique de Birkhoff^[1].

Temps de séjour moyen

Soit $A\subset X$ un sous-ensemble mesurable de X. On appelle temps de séjour dans A le temps total passé par le système dynamique dans A au cours de son évolution. Une conséquence du théorème ergodique est que le temps de séjour moyen est égal au rapport de la mesure de A par la mesure de X :

\lim _{n\rightarrow \infty }\ {\frac {1}{n}}\ \sum _{k=0}^{n-1}\ \chi _{A}\left(\phi ^{k}(x)\right)\ =\ {\frac {1}{\mu (X)}}\int _{X}\chi _{A}\,d\mu \ =\ {\frac {\mu (A)}{\mu (X)}}

où $\chi _{A}$ est la fonction indicatrice de A.

Récurrences

Théorème de récurrence de Poincaré

Article détaillé : Théorème de récurrence.

Récurrence d'un point : Soit $A\subset X$ un sous-ensemble mesurable. Un point $x\in A$ est dit récurrent par rapport à A si et seulement s'il existe une infinité d'entiers $k\geq 1$ pour lesquels :

\phi ^{k}(x)\ \in \ A

Théorème de récurrence de Poincaré : Soit $A\subset X$ un sous-ensemble mesurable. Alors, presque tous les points $x_{0}\in A$ sont récurrents par rapport à A.

Temps de récurrence moyen

Un instant k tel que $\phi ^{k}(x)$ est dans un ensemble mesurable A est appelé instant d'occurrence de A. Ces instants d'occurrence peuvent être classés par ordre croissant dans un ensemble dénombrable : $\{k_{0},k_{1},\dots ,k_{i},\dots \}$ avec $k_{i+1}>k_{i}$ .
Les différences positives $r_{i}=k_{i}-k_{i-1}$ entre deux instants d'occurrence consécutifs sont appelés les durées de récurrence de A.

Une conséquence du théorème ergodique est que la durée moyenne de récurrence de A est inversement proportionnelle à la mesure de A , sous l'hypothèse que la condition initiale x appartient à A, de telle sorte que k₀ = 0.

\lim _{n\to +\infty }\ {\frac {1}{n}}\ \sum _{i=1}^{n}r_{i}\ =\ {\frac {\mu (X)}{\mu (A)}}\quad {\mbox{(presque partout)}}

Ainsi, plus l'ensemble A est « petit » et plus il faut attendre longtemps en moyenne avant d'y retourner. Malheureusement, ce résultat ne nous renseigne pas sur l'écart-type de la distribution des temps de récurrence. Par exemple, pour le modèle des urnes d'Ehrenfest, Kac a pu démontrer^[2] que cet écart-type tend vers l'infini lorsque le nombre de boules du modèle tend vers l'infini, de telle sorte que des fluctuations importantes autour de la durée moyenne de récurrence deviennent de plus en plus probables.

Hiérarchie ergodique

Système mélangeant

On dit que le système $(\Omega ,{\mathcal {F}},\mu ,T)$ est mélangeant si quels que soient les événements (ensembles) $A$ et $B$ dans ${\mathcal {F}}$ , la corrélation

$\mu (A\cap T^{-n}(B))-\mu (A)\mu (B)$ tend vers 0 lorsque $n$ tend vers l'infini.

Hyperbolicité et système d'Anosov

Article détaillé : Système d'Anosov.

Système de Bernoulli

La hiérarchie ergodique

Exemple : le flot ergodique sur une variété

L'ergodicité du flot géodésique sur une variété riemannienne à courbure négative, de volume fini, a été découverte par Hopf^[3] en 1939.
La relation entre le flot géodésique et les sous-groupes à un paramètre de SL₂(R) a été établie par Fomin et Gelfand^[4] en 1952.
L'ergodicité du flot géodésique sur les espaces localement symétriques de volume fini a été établie par Mautner^[5] en 1957.
Un critère simple pour l'ergodicité d'un flot homogène sur un espace homogène d'un groupe de Lie semi-simple a été établi par Moore^[6] en 1966.
Beaucoup des théorèmes et résultats de ce domaine d'étude sont typiques de la théorie de la rigidité.
Les flots d'Anosov constituent un exemple de flots ergodiques sur SL₂(R) et, plus généralement, sur une surface de Riemann à courbure négative. La plupart des développements à ce sujet se généralisent à des variétés hyperboliques à courbure négative constante, celles-ci pouvant être vues comme l'espace quotient d'un espace hyperbolique simplement connexe par un groupe discret de SO(n,1).