Teorema ergodico

In matematica, una trasformazione T che preserva la misura su uno spazio di probabilità è chiamata ergodica se i soli insiemi misurabili invarianti sotto T hanno misura 0 oppure 1. Un termine precedentemente usato per questa proprietà è stato metricamente transitivo. La teoria ergodica, cioè lo studio delle trasformazioni ergodiche, deriva da un tentativo di dimostrare le ipotesi ergodiche della fisica statistica. Gran parte del lavoro chiamato oggi teoria del caos fu inizialmente prodotto da matematici e pubblicato con il nome di "teoria ergodica", poiché il termine "teoria del caos" fu introdotto solo alla metà del ventesimo secolo.

Teorema ergodico

Sia ${\displaystyle T:X\to X}$ una trasformazione che conserva la misura su uno spazio misurabile ${\displaystyle (X,\Sigma ,\mu )}$. Si può allora considerare la "media temporale" di una funzione sufficientemente regolare f (più precisamente, f deve essere per esempio L^1-integrabile rispetto alla misura ${\displaystyle \mu }$, ${\displaystyle f\in L^{1}(\mu )}$). La "media temporale" è definita come la media (se esiste) sulle iterazioni di T partendo da qualche punto iniziale x.

${\displaystyle {\hat {f}}(x)=\lim _{n\rightarrow \infty }\;{\frac {1}{n}}\sum _{k=0}^{n-1}f\left(T^{k}(x)\right)}$

Consideriamo anche la "media spaziale" o "media sullo spazio delle fasi" di f, definita come

${\displaystyle {\bar {f}}={\frac {1}{\mu (X)}}\int f\,d\mu }$

dove μ è la misura di probabilità.

In generale la media temporale e la media spaziale sono diverse. Ma se la trasformazione è ergodica e la misura è invariante, allora la media temporale è uguale alla media spaziale quasi ovunque. Questo è il celebre teorema ergodico, in una forma astratta dovuta a George David Birkhoff. (In realtà, gli scritti di Birkhoff considerano non il caso astratto generale ma solo il caso dei sistemi dinamici derivanti da equazioni differenziali di molteplicità regolare.) Il teorema di equidistribuzione è un caso speciale del teorema ergodico, considerando in particolare distribuzioni di probabilità su un intervallo unitario.

Più precisamente, il teorema ergodico forte, o puntuale, afferma che esiste una

${\displaystyle f^{*}\in L^{1}(\mu )}$

tale che

${\displaystyle f^{*}(x)={\hat {f}}(x)}$

per quasi tutti ${\displaystyle x\in X}$. Inoltre, ${\displaystyle f^{*}}$ è T-invariante, così che

${\displaystyle f^{*}\circ T=f^{*}}$

quasi ovunque. La normalizzazione deve essere la stessa,

${\displaystyle \int f^{*}\,d\mu =\int f\,d\mu .}$

L'ultima relazione, combinata con la T-invarianza di ${\displaystyle f^{*}}$, implica che, nel caso di trasformazioni ergodiche, ${\displaystyle f^{*}}$ è costante quasi ovunque e così si ha che

${\displaystyle {\bar {f}}=f^{*}}$

quasi ovunque. Collegando la prima all'ultima eguaglianza, si ha che

${\displaystyle \lim _{n\rightarrow \infty }\;{\frac {1}{n}}\sum _{k=0}^{n-1}f\left(T^{k}x\right)={\frac {1}{\mu (X)}}\int f\,d\mu }$

per quasi ogni x. Per una trasformazione ergodica, la media temporale uguaglia quasi certamente la media spaziale.

Tempo di permanenza

Il tempo speso in un insieme misurabile A è detto tempo di permanenza. Un'immediata conseguenza del teorema ergodico è che la misura di A è uguale al tempo medio di permanenza.

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

dove χ_A è la funzione indice su A.

I 'tempi di visita di un insieme misurabile A siano definiti come l'insieme k₁, k₂, k₃, ..., dei tempi k tali che T^k(x) è in A, ordinato in ordine crescente. Le differenze tra tempi di visita consecutivi R_i = k_i − k_i−1 sono chiamate tempi di ritorno in A. Un'altra conseguenza del teorema ergodico è che il tempo medio di ritorno in A è inversamente proporzionale alla misura di A, assumendo che il punto iniziale x sia in A, così che k₀ = 0.

${\displaystyle {\frac {R_{1}+\cdots +R_{n}}{n}}\rightarrow {\frac {1}{\mu (A)}}\quad {\mbox{(quasi sicuramente)}}}$

(Vedi anche quasi sicuramente.) cioè più piccolo è A, più lungo è il tempo necessario per ritornarvi.

Flussi ergodici su varietà

L'ergodicità di un flusso geodetico su una varietà a curvatura costante negativa fu scoperta da Eberhard Hopf nel 1939, anche se casi speciali erano stati studiati prima, come per esempio, il biliardo di Hadamard (1898) e il biliardo di Artin (1924). La relazione tra i flussi geodetici e i sottogruppi a un parametro su SL(2,R) fu stabilita da Sergei Fomin e Izrail' Moiseevič Gel'fand nel 1952. L'ergodicità del flusso geodetico in uno spazio simmetrico fu trovata da F. I. Mautner nel 1957. Un semplice criterio per l'ergodicità di un flusso omogeneo su uno spazio omogeneo di un semi gruppo semplice di Lie fu dato da C. C. Moore nel 1966. Molti teoremi e risultati di quest'area di studi sono tipici della teoria della rigidità.

La voce flussi di Anosov fornisce un esempio^[la frase rimanda a contenuti inesistenti] di flusso ergodico su SL(2,R) e più generalmente sulle superficie di Riemann a curvatura negativa. Molti degli sviluppi lì forniti si generalizzano al caso di varietà iperboliche a curvatura costante negativa, poiché queste possono essere viste come quoziente di un semplice spazio iperbolico connesso rispetto a un reticolo in SO(n,1).

Bibliografia

Bibliografia storica

• G. D. Birkhoff, Proof of the ergodic theorem, (1931), Proc Natl Acad Sci U S A, 17 pp 656-660.
• J. von Neumann, Proof of the Quasi-ergodic Hypothesis, (1932), Proc Natl Acad Sci U S A, 18 pp 70-82.
• J. von Neumann, Physical Applications of the Ergodic Hypothesis, (1932), Proc Natl Acad Sci U S A, 18 pp 263-266.
• E. Hopf, Statistik der geodätischen Linien in Mannigfaltigkeiten negativer Krümmung, (1939) Leipzig Ber. Verhandl. Sächs. Akad. Wiss. 91, p.261-304.
• S. V. Fomin and I. M. Gelfand, Geodesic flows on manifolds of constant negative curvature, (1952) Uspehi Mat. Nauk 7 no. 1. p. 118-137.
• F. I. Mautner, Geodesic flows on symmetric Riemann spaces, (1957) Ann. of Math. 65 p. 416-431.
• C. C. Moore, Ergodicity of flows on homogeneous spaces, (1966) Amer. J. Math. 88, p.154-178.

Bibliografia moderna

• Vladimir Igorevich Arnol'd and André Avez, Ergodic Problems of Classical Mechanics. New York: W.A. Benjamin. 1968.
• Leo Breiman, Probability. Original edition published by Addison-Wesley, 1968; reprinted by Society for Industrial and Applied Mathematics, 1992. ISBN 0-89871-296-3. (See Chapter 6.)
• Peter Walters, An introduction to ergodic theory, Springer, New York, 1982, ISBN 0-387-95152-0.
• Tim Bedford, Michael Keane and Caroline Series, eds., Ergodic theory, symbolic dynamics and hyperbolic spaces, Oxford University Press, 1991, ISBN 0-19-853390-X.
• A survey of topics in ergodic theory; with exercises.
• Joseph M. Rosenblatt and Máté Weirdl, Pointwise ergodic theorems via harmonic analysis, (1993) appearing in Ergodic Theory and its Connections with Harmonic Analysis, Proceedings of the 1993 Alexandria Conference, (1995) Karl E. Petersen and Ibrahim A. Salama, eds., Cambridge University Press, Cambridge, ISBN 0-521-45999-0. (An extensive survey of the ergodic properties of generalizations of the equidistribution theorem of shift maps on the unit interval. Focuses on methods developed by Bourgain.)

Voci correlate

• Tempo medio di permanenza
• Teorema di ricorrenza
• Teoria ergodica

Collegamenti esterni

• ergòdico, su sapere.it, De Agostini.
• (EN) ergodic theorem, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Teorema ergodico, su MathWorld, Wolfram Research.
• (EN) D.V. Anosov, Ergodic theory, in Encyclopaedia of Mathematics, Springer e European Mathematical Society, 2002.
• (EN) Teorema ergodico, in PlanetMath.
• (EN) What Is Ergodicity? An intuitive description of the concept.