 Ergodic theory

Ergodic theory is a branch of mathematics that studies dynamical systems with an invariant measure and related problems. Its initial development was motivated by problems of statistical physics.
A central concern of ergodic theory is the behavior of a dynamical system when it is allowed to run for a long time. The first result in this direction is the Poincaré recurrence theorem, which claims that almost all points in any subset of the phase space eventually revisit the set. More precise information is provided by various ergodic theorems which assert that, under certain conditions, the time average of a function along the trajectories exists almost everywhere and is related to the space average. Two of the most important examples are ergodic theorems of Birkhoff and von Neumann. For the special class of ergodic systems, the time average is the same for almost all initial points: statistically speaking, the system that evolves for a long time "forgets" its initial state. Stronger properties, such as mixing and equidistribution, have also been extensively studied.
The problem of metric classification of systems is another important part of the abstract ergodic theory. An outstanding role in ergodic theory and its applications to stochastic processes is played by the various notions of entropy for dynamical systems.
The concepts of ergodicity and the ergodic hypothesis are central to applications of ergodic theory. The underlying idea is that for certain systems the time average of their properties is equal to the average over the entire space. Applications of ergodic theory to other parts of mathematics usually involve establishing ergodicity properties for systems of special kind. In geometry, methods of ergodic theory have been used to study the geodesic flow on Riemannian manifolds, starting with the results of Eberhard Hopf for Riemann surfaces of negative curvature. Markov chains form a common context for applications in probability theory. Ergodic theory has fruitful connections with harmonic analysis, Lie theory (representation theory, lattices in algebraic groups), and number theory (the theory of diophantine approximations, Lfunctions).
Ergodic transformations
Main article: ErgodicityErgodic theory is often concerned with ergodic transformations.
Let T: X → X be a measurepreserving transformation on a measure space (X, Σ, μ), with μ(X) = 1. A measurepreserving transformation T as above is ergodic if for every
 with , then either or .
Examples
 An irrational rotation of the circle R/Z, T: x → x+θ, where θ is irrational, is ergodic. This transformation has even stronger properties of unique ergodicity, minimality, and equidistribution. By contrast, if θ = p/q is rational (in lowest terms) then T is periodic, with period q, and thus cannot be ergodic: for any interval I of length a, 0 < a < 1/q, its orbit under T is a Tinvariant mod 0 set that is a union of q intervals of length a, hence it has measure qa strictly between 0 and 1.
 Let G be a compact abelian group, μ the normalized Haar measure, and T a group automorphism of G. Let G^{*} be the Pontryagin dual group, consisting of the continuous characters of G, and T^{*} be the corresponding adjoint automorphism of G^{*}. The automorphism T is ergodic if and only if the equality (T^{*})^{n}(χ)=χ is possible only when n = 0 or χ is the trivial character of G. In particular, if G is the ndimensional torus and the automorphism T is represented by an integral matrix A then T is ergodic if and only if no eigenvalue of A is a root of unity.
 A Bernoulli shift is ergodic. More generally, ergodicity of the shift transformation associated with a sequence of i.i.d. random variables and some more general stationary processes follows from Kolmogorov's zeroone law.
 Ergodicity of a continuous dynamical system means that its trajectories "spread around" the phase space. A system with a compact phase space which has a nonconstant first integral cannot be ergodic. This applies, in particular, to Hamiltonian systems with a first integral I functionally independent from the Hamilton function H and a compact level set X = {(p,q): H(p,q)=E} of constant energy. Liouville's theorem implies the existence of a finite invariant measure on X, but the dynamics of the system is constrained to the level sets of I on X, hence the system possesses invariant sets of positive but less than full measure. A property of continuous dynamical systems that is the opposite of ergodicity is complete integrability.
Ergodic theorems
Let be a measurepreserving transformation on a measure space (X,Σ,μ). One may then consider the "time average" of a μintegrable function f, i.e. . The "time average" is defined as the average (if it exists) over iterations of T starting from some initial point x.
If μ(X) is finite and nonzero, we can consider the "space average" or "phase average" of f, defined as
In general the time average and space average may be different. But if the transformation is ergodic, and the measure is invariant, then the time average is equal to the space average almost everywhere. This is the celebrated ergodic theorem, in an abstract form due to George David Birkhoff. (Actually, Birkhoff's paper considers not the abstract general case but only the case of dynamical systems arising from differential equations on a smooth manifold.) The equidistribution theorem is a special case of the ergodic theorem, dealing specifically with the distribution of probabilities on the unit interval.
More precisely, the pointwise or strong ergodic theorem states that the limit in the definition of the time average of f exists for almost every x and that the (almost everywhere defined) limit function is integrable:
Furthermore, is Tinvariant, that is to say
holds almost everywhere, and if μ(X) is finite, then the normalization is the same:
In particular, if T is ergodic, then must be a constant (almost everywhere), and so one has that
almost everywhere. Joining the first to the last claim and assuming that μ(X) is finite and nonzero, one has that
for almost all x, i.e., for all x except for a set of measure zero.
For an ergodic transformation, the time average equals the space average almost surely.
As an example, assume that the measure space (X,Σ,μ) models the particles of a gas as above, and let f(x) denotes the velocity of the particle at position x. Then the pointwise ergodic theorems says that the average velocity of all particles at some given time is equal to the average velocity of one particle over time.
Probabilistic formulation: Birkhoff–Khinchin theorem
Birkhoff–Khinchin theorem. Let f be measurable, , and T be a measurepreserving map. Then
where is the conditional expectation given the σalgebra of invariant sets of T.
Corollary (Pointwise ergodic theorem) In particular, if T is also ergodic, then is the trivial σalgebra, and thus
Mean ergodic theorem
Von Neumann's mean ergodic theorem, holds in Hilbert spaces.^{[1]}
Let U be a unitary operator on a Hilbert space H; more generally, an isometric linear operator (that is, a not necessarily surjective linear operator satisfying for all , or equivalently, satisfying U ^{*} U = I, but not necessarily UU ^{*} = I). Let P be the orthogonal projection onto .
Then, for any , we have:
where the limit is with respect to the norm on H. In other words, the sequence of averages
converges to P in the strong operator topology.
This theorem specializes to the case in which the Hilbert space H consists of L^{2} functions on a measure space and U is an operator of the form
where T is a measurepreserving endomorphism of X, thought of in applications as representing a timestep of a discrete dynamical system.^{[2]} The ergodic theorem then asserts that the average behavior of a function f over sufficiently large timescales is approximated by the orthogonal component of f which is timeinvariant.
In another form of the mean ergodic theorem, let U_{t} be a strongly continuous oneparameter group of unitary operators on H. Then the operator
converges in the strong operator topology as T → ∞. In fact, this result also extends to the case of strongly continuous oneparameter semigroup of contractive operators on a reflexive space.
Remark: Some intuition for the mean ergodic theorem can be developed by considering the case where complex numbers of unit length are regarded as unitary transformations on the complex plane (by left multiplication). If we pick a single complex number of unit length (which we think of as U), it is intuitive that its powers will fill up the circle. Since the circle is symmetric around 0, it makes sense that the averages of the powers of U will converge to 0. Also, 0 is the only fixed point of U, and so the projection onto the space of fixed points must be the zero operator (which agrees with the limit just described).
Convergence of the ergodic means in the L^{p} norms
Let (X,Σ,μ) be as above a probability space with a measure preserving transformation T, and let . The conditional expectation with respect to the subσalgebra Σ_{T} of the Tinvariant sets is a linear projector E_{T} of norm 1 of the Banach space L^{p}(X,Σ,μ) onto its closed subspace L^{p}(X,Σ_{T},μ). The latter may also be characterized as the space of all Tinvariant L^{p}functions on X. The ergodic means, as linear operators on L^{p}(X,Σ,μ) also have unit operator norm; and, as a simple consequence of the Birkhoff–Khinchin theorem, converge to the projector E_{T} in the strong operator topology of L^{p} if and in the weak operator topology if . More is true if then the Wiener–Yoshida–Kakutani ergodic dominated convergence theorem states that the ergodic means of are dominated in L^{p}; however, if , the ergodic means may fail to be equidominated in L^{1}. Finally, if f is assumed to be in the Zygmund class, that is  f  log ^{+}  f  is integrable, then the ergodic means are even dominated in L^{1}.
Sojourn time
Let (X,Σ,μ) be a measure space such that μ(X) is finite and nonzero. The time spent in a measurable set A is called the sojourn time. An immediate consequence of the ergodic theorem is that, in an ergodic system, the relative measure of A is equal to the mean sojourn time:
for all x except for a set of measure zero, where χ_{A} is the indicator function of A.
Let the occurrence times of a measurable set A be defined as the set k_{1}, k_{2}, k_{3}, ..., of times k such that T^{k}(x) is in A, sorted in increasing order. The differences between consecutive occurrence times R_{i} = k_{i} − k_{i−1} are called the recurrence times of A. Another consequence of the ergodic theorem is that the average recurrence time of A is inversely proportional to the measure of A, assuming that the initial point x is in A, so that k_{0} = 0.
(See almost surely.) That is, the smaller A is, the longer it takes to return to it.
Ergodic flows on manifolds
The ergodicity of the geodesic flow on compact Riemann surfaces of variable negative curvature and on compact manifolds of constant negative curvature of any dimension was proved by Eberhard Hopf in 1939, although special cases had been studied earlier: see for example, Hadamard's billiards (1898) and Artin billiard (1924). The relation between geodesic flows on Riemann surfaces and oneparameter subgroups on SL(2,R) was described in 1952 by S. V. Fomin and I. M. Gelfand. The article on Anosov flows provides an example of ergodic flows on SL(2,R) and on Riemann surfaces of negative curvature. Much of the development described there generalizes to hyperbolic manifolds, since they can be viewed as quotients of the hyperbolic space by the action of a lattice in the semisimple Lie group SO(n,1). Ergodicity of the geodesic flow on Riemannian symmetric spaces was demonstrated by F. I. Mautner in 1957. In 1967 D. V. Anosov and Ya. G. Sinai proved ergodicity of the geodesic flow on compact manifolds of variable negative sectional curvature. A simple criterion for the ergodicity of a homogeneous flow on a homogeneous space of a semisimple Lie group was given by Calvin C. Moore in 1966. Many of the theorems and results from this area of study are typical of rigidity theory.
In the 1930s G. A. Hedlund proved that the horocycle flow on a compact hyperbolic surface is minimal and ergodic. Unique ergodicity of the flow was established by Hillel Furstenberg in 1972. Ratner's theorems provide a major generalization of ergodicity for unipotent flows on the homogeneous spaces of the form Γ\G, where G is a Lie group and Γ is a lattice in G.
In the last 20 years, there have been many works trying to find a measureclassification theorem similar to Ratner's theorems but for diagonalizable actions, motivated by conjectures of Furstenberg and Margulis. An important partial result (solving those conjectures with an extra assumption of positive entropy) was proved by Elon Lindenstrauss, and he was awarded the Fields medal in 2010 for this result.
See also
 Chaos theory
 Ergodic hypothesis
 Ergodic process
 Maximal ergodic theorem
 Statistical mechanics
 Symbolic dynamics
References
 ^ I: Functional Analysis : Volume 1 by Michael Reed, Barry Simon,Academic Press; REV edition (1980)
 ^ (Walters 1982)
Historical references
 Birkhoff, George David (1931), "Proof of the ergodic theorem", Proc Natl Acad Sci USA 17 (12): 656–660, Bibcode 1931PNAS...17..656B, doi:10.1073/pnas.17.12.656, PMC 1076138, PMID 16577406, http://www.pnas.org/cgi/reprint/17/12/656.
 Birkhoff, George David (1942), "What is the ergodic theorem?", American Mathematical Monthly (The American Mathematical Monthly, Vol. 49, No. 4) 49 (4): 222–226, doi:10.2307/2303229, JSTOR 2303229.
 von Neumann, John (1932), "Proof of the Quasiergodic Hypothesis", Proc Natl Acad Sci USA 18 (1): 70–82, Bibcode 1932PNAS...18...70N, doi:10.1073/pnas.18.1.70, PMC 1076162, PMID 16577432, http://www.pubmedcentral.nih.gov/articlerender.fcgi?tool=pmcentrez&artid=1076162.
 von Neumann, John (1932), "Physical Applications of the Ergodic Hypothesis", Proc Natl Acad Sci USA 18 (3): 263–266, Bibcode 1932PNAS...18..263N, doi:10.1073/pnas.18.3.263, JSTOR 86260, PMC 1076204, PMID 16587674, http://www.pubmedcentral.nih.gov/articlerender.fcgi?tool=pmcentrez&artid=1076204.
 Hopf, Eberhard (1939), "Statistik der geodätischen Linien in Mannigfaltigkeiten negativer Krümmung", Leipzig Ber. Verhandl. Sächs. Akad. Wiss. 91: 261–304.
 Fomin, Sergei V.; Gelfand, I. M. (1952), "Geodesic flows on manifolds of constant negative curvature", Uspehi Mat. Nauk 7 (1): 118–137.
 Mautner, F. I. (1957), "Geodesic flows on symmetric Riemann spaces", Ann. Math. (The Annals of Mathematics, Vol. 65, No. 3) 65 (3): 416–431, doi:10.2307/1970054, JSTOR 1970054.
 Moore, C. C. (1966), "Ergodicity of flows on homogeneous spaces", Amer. J. Math. (American Journal of Mathematics, Vol. 88, No. 1) 88 (1): 154–178, doi:10.2307/2373052, JSTOR 2373052.
Modern references
 D.V. Anosov (2001), "Ergodic theory", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Springer, ISBN 9781556080104, http://eom.springer.de/e/e036150.htm
 This article incorporates material from ergodic theorem on PlanetMath, which is licensed under the Creative Commons Attribution/ShareAlike License.
 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 0898712963. (See Chapter 6.)
 Peter Walters, An introduction to ergodic theory, Springer, New York, 1982, ISBN 0387951520.
 Tim Bedford, Michael Keane and Caroline Series, eds. (1991), Ergodic theory, symbolic dynamics and hyperbolic spaces, Oxford University Press, ISBN 019853390X (A survey of topics in ergodic theory; with exercises.)
 Karl Petersen. Ergodic Theory (Cambridge Studies in Advanced Mathematics). Cambridge: Cambridge University Press. 1990.
 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 0521459990. (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.)
 A.N. Shiryaev, Probability, 2nd ed., Springer 1996, Sec. V.3. ISBN 0387945490.
External links
 Ergodic Theory (29 October 2007) Notes by Cosma Rohilla Shalizi
 Ergodic theorem passes the test From Physics World
Categories: Ergodic theory
 Stochastic processes
 Dynamical systems
 Probability theory
 Statistical theory
Wikimedia Foundation. 2010.
Look at other dictionaries:
ergodic theory — ergodinė teorija statusas T sritis fizika atitikmenys: angl. ergodic theory vok. Ergodentheorie, f rus. эргодическая теория, f pranc. théorie ergodique, f … Fizikos terminų žodynas
Ergodic Ramsey theory — is a branch of mathematics where problems motivated by additive combinatorics are proven using ergodic theory.Ergodic Ramsey theory arose shortly after Endre Szemerédi s proof that a set of positive upper density contains arbitrarily long… … Wikipedia
Ergodic hypothesis — In physics and thermodynamics, the ergodic hypothesis says that, over long periods of time, the time spent by a particle in some region of the phase space of microstates with the same energy is proportional to the volume of this region, i.e.,… … Wikipedia
Ergodic (adjective) — In mathematics and physics, the adjective ergodic is used to imply that a system satisfies the ergodic hypothesis of thermodynamics or that it is a system studied in ergodic theory. Formal definitionLet (X, Sigma, mu) be a probability space, and… … Wikipedia
Ergodic process — In signal processing, a stochastic process is said to be ergodic if its statistical properties (such as its mean and variance) can be deduced from a single, sufficiently long sample (realization) of the process. Specific definitions One can… … Wikipedia
Ergodic sequence — In mathematics, an ergodic sequence is a certain type of integer sequence, having certain equidistribution properties.DefinitionLet A = {a j} be an infinite, strictly increasing sequence of positive integers. Then, given an integer q , this… … Wikipedia
Ergodic measure — In mathematics, specifically in ergodic theory, an ergodic measure is a measure that satisfies the ergodic hypothesis for a given map of a measurable space into itself. Intuitively, an ergodic measure is one with respect to which the points of… … Wikipedia
Ergodic (disambiguation) — Aside from its generic use as the generic adjective ergodic, ergodic may relate to: * Ergodic hypothesis, a postulate of thermodynamics * Ergodic theory, a branch of mathematics * Ergodic literature, literature that requires special effort to… … Wikipedia
ergodic — ergodicity /err geuh dis i tee/, n. /err god ik/, adj. Math., Statistics. of or pertaining to the condition that, in an interval of sufficient duration, a system will return to states that are closely similar to previous ones: the assumption of… … Universalium
ergodic — er•god•ic [[t]ɜrˈgɒd ɪk[/t]] adj. Math., Statistics. math. pertaining to the condition that, in an interval of sufficient duration, a system will return to states that are closely similar to previous ones: the basis of statistical methods used in … From formal English to slang