View source for Absolutely continuous invariant measure

A [[Dynamical system|dynamical system]], treated as a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300201.png" /> with a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300202.png" /> or a family of mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300203.png" />, may have a large number of invariant measures (cf. also [[Invariant measure|Invariant measure]]). Among them there are invariant measures that are absolutely continuous with respect to some canonical measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300204.png" /> (cf. also [[Absolutely continuous measures|Absolutely continuous measures]]), such as [[Lebesgue measure|Lebesgue measure]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300205.png" />, [[Haar measure|Haar measure]] when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300206.png" /> is a [[Topological group|topological group]], or a product [[Measure|measure]] when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300207.png" /> is a shift space (cf. [[Shift dynamical system|Shift dynamical system]]). The importance of absolutely continuous invariant measures is due to a heuristic belief that canonical measures are the ones which represent physical objects.

There is a natural procedure for finding an absolutely continuous invariant measure, by iterating the canonical measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300208.png" />. First construct the images of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a1300209.png" /> under the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002010.png" />, then take the averages <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002011.png" /> and take some weak<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002012.png" /> [[Accumulation point|accumulation point]]. Special properties of the mapping (e.g. its uniform expansion) may be reflected in the properties of the limit measure (absolute continuity). An alternative (dual) way is to iterate the density function with the transfer operator, and use the properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002013.png" /> to prove a [[Compactness|compactness]] property of a resulting sequence. The existence of an absolutely continuous invariant measure is not granted and is due in many cases to hyperbolic properties of the mapping, such as large derivatives on big sets of points. Once found, the absolutely continuous invariant measure serves via the [[Ergodic theorem|ergodic theorem]] to pronounce statements about typical (with respect to the canonical measure) behaviour of the system.

The ergodic theorem says that the long-time behaviour of the system is asymptotically described by the behaviour on ergodic components of the space. The time averages of observables (measurable functions) are then equal to their space averages (integrals). An invariant measure is ergodic if there are no non-trivial invariant sets — if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002014.png" /> then either <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002015.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002016.png" />. One can say, imprecisely, that any invariant measure is a combination of invariant ergodic measures.

One calls an invariant measure a Sinai–Bowen–Ruelle measure, or SBR measure, when it is a limit point of the averages of Dirac measures (cf. also [[Dirac distribution|Dirac distribution]]) on the trajectories of points from a set of positive Lebesgue measure:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002017.png" /></td> </tr></table>

for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a130/a130020/a13002018.png" /> with positive measure. When an SBR measure is absolutely continuous with respect to some natural measure on the space (most often the Lebesgue or Haar measure), then it is said that the system is chaotic or stochastic. When, on the other hand, the SBR measure is concentrated on a finite number of points, then the system is called deterministic (with a periodic attractor). All other systems are commonly called strange or wild. It is widely believed that typically the systems are either stochastic or deterministic (or a combination of them), but there are known examples of strange limit behaviour.

See also [[Strange attractor|Strange attractor]]; [[Chaos|Chaos]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  J. de Vries,   "Elements of topological dynamics" , Kluwer Acad. Publ.  (1993)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  R.L. Devaney,   "An introduction to chaotic dynamical systems" , Benjamin/Cummings  (1986)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  Yu.I. Neimark,   P.S. Landa,   "Stochastic and chaotic oscillations" , Kluwer Acad. Publ.  (1992)  pp. Chap. 2</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  I.P. Cornfeld,   S.V. Fomin,   Ya.G. Sinai,   "Ergodic theory" , Springer  (1982)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  U. Krengel,   "Ergodic theorems" , de Gruyter  (1985)</TD></TR></table>