Namespaces
Variants
Actions

Difference between revisions of "Absolutely continuous invariant measure"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 18 formulas out of 18 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
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.
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,  
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
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.
+
Out of 18 formulas, 18 were replaced by TEX code.-->
  
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.
+
{{TEX|semi-auto}}{{TEX|done}}
 +
A [[Dynamical system|dynamical system]], treated as a space $X$ with a mapping $T : X \rightarrow X$ or a family of mappings $\mathcal{T}$, 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 $X$ (cf. also [[Absolutely continuous measures|Absolutely continuous measures]]), such as [[Lebesgue measure|Lebesgue measure]] for $X \subset {\bf R} ^ { n }$, [[Haar measure|Haar measure]] when $X$ is a [[Topological group|topological group]], or a product [[Measure|measure]] when $X$ 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 $\mu$. First construct the images of $\mu$ under the mapping $\mu _ { n } = \mu \circ T ^ { - n }$, then take the averages $\nu _ { n } = \sum _ { k = 0 } ^ { n - 1 } \mu _ { k } / n$ and take some weak$\square ^ { * }$ [[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 $T$ 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 $T ^ { - 1 } A = A$ then either $\mu ( A ) = 0$ or $\mu ( X \backslash A ) = 0$. 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:
 
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>
+
\begin{equation*} \nu = \operatorname { lim } \sum _ { k = 0 } ^ { n - 1 } \frac { 1 } { n } \delta _ { T ^ { n } x } \end{equation*}
  
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.
+
for any $x \in A$ 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]].
 
See also [[Strange attractor|Strange attractor]]; [[Chaos|Chaos]].
  
 
====References====
 
====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>
+
<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>

Latest revision as of 16:46, 1 July 2020

A dynamical system, treated as a space $X$ with a mapping $T : X \rightarrow X$ or a family of mappings $\mathcal{T}$, may have a large number of invariant measures (cf. also Invariant measure). Among them there are invariant measures that are absolutely continuous with respect to some canonical measure on $X$ (cf. also Absolutely continuous measures), such as Lebesgue measure for $X \subset {\bf R} ^ { n }$, Haar measure when $X$ is a topological group, or a product measure when $X$ is a shift space (cf. 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 $\mu$. First construct the images of $\mu$ under the mapping $\mu _ { n } = \mu \circ T ^ { - n }$, then take the averages $\nu _ { n } = \sum _ { k = 0 } ^ { n - 1 } \mu _ { k } / n$ and take some weak$\square ^ { * }$ 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 $T$ to prove a 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 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 $T ^ { - 1 } A = A$ then either $\mu ( A ) = 0$ or $\mu ( X \backslash A ) = 0$. 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) on the trajectories of points from a set of positive Lebesgue measure:

\begin{equation*} \nu = \operatorname { lim } \sum _ { k = 0 } ^ { n - 1 } \frac { 1 } { n } \delta _ { T ^ { n } x } \end{equation*}

for any $x \in A$ 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; Chaos.

References

[a1] J. de Vries, "Elements of topological dynamics" , Kluwer Acad. Publ. (1993)
[a2] R.L. Devaney, "An introduction to chaotic dynamical systems" , Benjamin/Cummings (1986)
[a3] Yu.I. Neimark, P.S. Landa, "Stochastic and chaotic oscillations" , Kluwer Acad. Publ. (1992) pp. Chap. 2
[a4] I.P. Cornfeld, S.V. Fomin, Ya.G. Sinai, "Ergodic theory" , Springer (1982)
[a5] U. Krengel, "Ergodic theorems" , de Gruyter (1985)
How to Cite This Entry:
Absolutely continuous invariant measure. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Absolutely_continuous_invariant_measure&oldid=16718
This article was adapted from an original article by T. Nowicki (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article