Théorie ergodique

branche des mathématiques

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.

Flux d'un ensemble statistique dans le potentiel. 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

modifier

Dynamique discrète

modifier

L'objet d'étude en théorie ergodique est un triplet   où :

  •   est un espace mesurable (c’est-à-dire que   est une tribu sur  ) ;
  •   une mesure sur   ;
  •   une application préservant la mesure  , c’est-à-dire telle que :
 .

L'application   engendre une dynamique discrète : partant d'un point  , on obtient successivement  , puis  , et ainsi de suite.

Dynamique continue

modifier

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

  ;
 .

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 » ?

modifier

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   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é

modifier
L'application   est dite ergodique pour une mesure donnée si et seulement si tout ensemble mesurable invariant sous   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

modifier

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

modifier

Moyenne temporelle et moyenne microcanonique

modifier

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

 .

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

 .

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

Théorème de Birkhoff (1931)

modifier

Lorsque l'application   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

modifier

Soit   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 :

 .

  est la fonction indicatrice de A.

Récurrences

modifier

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

modifier
  • Récurrence d'un point : Soit   un sous-ensemble mesurable. Un point   est dit récurrent par rapport à A si et seulement s'il existe une infinité d'entiers   pour lesquels :
 
  • Théorème de récurrence de Poincaré : Soit   un sous-ensemble mesurable. Alors, presque tous les points   sont récurrents par rapport à A.

Temps de récurrence moyen

modifier
  • Un instant k tel que   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 :   avec  .
  • Les différences positives   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 k0 = 0.

 .

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

modifier

Système mélangeant

modifier

On dit que le système   est mélangeant si quels que soient les événements (ensembles)   et   dans  , la corrélation

  tend vers 0 lorsque   tend vers l'infini.

Hyperbolicité et système d'Anosov

modifier

Système de Bernoulli

modifier

La hiérarchie ergodique

modifier

Exemple : le flot ergodique sur une variété

modifier

Théorie ergodique et mécanique statistique

modifier

En dépit de progrès importants réalisés en théorie ergodique depuis la formulation par Boltzmann de l'hypothèse ergodique, son utilisation pour justifier l'utilisation de l'ensemble microcanonique en mécanique statistique reste à ce jour controversée[7].

Problèmes ouverts

modifier

Le mathématicien Sergiy Kolyada maintient une liste de problèmes ouverts en théorie ergodique[8].

Articles liés

modifier

Bibliographie

modifier

Aspects historiques

modifier
  • (en) M. Mathieu, « On the origin of the notion "Ergodic Theory" », Expositiones Mathematicae, vol. 6, 1988, p. 373
  • (en) Giovanni Gallavotti, Ergodicity, ensembles, irreversibility in Boltzmann and beyond, 1994, « chao-dyn/9403004 chao-dyn/9403004 », texte en accès libre, sur arXiv.

Articles originels

modifier
  • (en) Eberhard Hopf, « Ergodic theory and the geodesic flow on a surface of constant negative curvature », Bull. Amer. Math. Soc., vol. 77, no 6, 1971, p. 863
  • (en) Eberhard Hopf, Differential Geometry in the Large - 1956 Lectures Notes, Lectures Notes in Mathematics 1000, Springer-Verlag, 1983
  • (en) G. A. Margulis, « Application of ergodic theory to the investigation of manifold of negative curvature », Functional Analysis & Applications, vol. 3, 1969, p. 355
  • (en) Y. Pesin, « Characteristic Lyapounov exponents & smooth ergodic theory », Russian Mathematical Surveys, vol. 32, no 4, 1982, p. 54
  • (en) Y. Pesin, « Geodesic flows with hyperbolic behaviour of the trajectories & objects connected with them », Russian Mathematical Surveys, vol. 36, 1981, p. 1

Ouvrages modernes

modifier
  • (en) Joël Lebowitz et Oliver Penrose, « Modern Ergodic Theory », Physics Today, vol. 26, 1973, p. 155-175, pdf
  • (en) David Ruelle, Ergodic theory of differentiable dynamical systems, Publ. Math. IHES 50, 1979, p. 27-58, texte complet disponible au format pdf
  • (en) Mark Pollicott, Lectures on ergodic theory, geodesic flows and related topics, Ulm, 2003, notes de cours non corrigées au format pdf
  • (en) Charles Pugh et Michael Shub (appendix by Alexander Starkov), « Stable ergodicity », Bull. Amer. Math. Soc., vol. 41, 2004, p. 1-41, texte disponible en ligne

Notes et références

modifier
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Ergodic theory » (voir la liste des auteurs).
  1. (en) George D. Birkhoff, « Proof of the ergodic theorem », PNAS, vol. 17,‎ , p. 656-660.
  2. (en) Mark Kac, Probability and Related Topics in Physical Science, AMS, coll. « Lectures in Applied Mathematics Series » (no 1a), (ISBN 0-8218-0047-7).
  3. (de) Eberhard Hopf, « Statistik der geodätischen Linien in Mannigfaltigkeiten negativer Krümmung », dans Leipzig Ber. Verhandl. Sächs. Akad. Wiss., vol. 91, 1939, p. 261-304.
  4. (en) Sergei V. Fomin et Israel M. Gelfand, « Geodesic flows on manifolds of constant negative curvature », Uspehi Mat. Nauk, vol. 7, n° 1, 1952, p. 118-137.
  5. (en) F. I. Mautner, « Geodesic flows on symmetric Riemann spaces », dans Annals of Mathematics, vol. 65, 1957, p. 416-431
  6. (en) C. C. Moore, « Ergodicity of flows on homogeneous spaces », Amer. J. Math., vol. 88, 1966, p. 154-178
  7. Lire par exemple les articles de revue en physique théorique :
    • (en) George W. Mackey, « Ergodic Theory and its Significance for Statistical Mechanics and Probability Theory », Advances in Mathematics, vol. 12, no 2, 1974, p. 178-268 ;
    • (en) Oliver Penrose, « Foundations of Statistical Mechanics », Report on Progress in Physics, vol. 42, 1979, p. 1937-2006 ;
    • (en) Domokos Szasz, « Botzmann's ergodic hypothesis, a conjecture for centuries? », Studia Scientiarium Mathematicarum Hungarica (Budapest), vol. 31, 1996, p. 299-322, texte au format Postscript ;
    ainsi que les essais philosophiques :
    • (en) Massimiliano Badino, The Foundational Role of Ergodic Theory, 2005, texte au format Word ;
    • (en) Jos Uffink, Compendium of the foundations of classical statistical physics, 2006, texte au format pdf.
  8. (en) Open Problems in Dynamical Systems & Ergodic Theory, site de Sergiy Kolyada.