Namespaces
Variants
Actions

Difference between revisions of "Special flow"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
''constructed from an automorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862701.png" /> of a [[Measure space|measure space]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862702.png" /> and a measurable function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862703.png" /> (defined on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862704.png" /> and taking positive values)''
+
{{TEX|done}}
 +
''constructed from an automorphism $S$ of a [[Measure space|measure space]] $(X,\nu)$ and a measurable function $f$ (defined on $X$ and taking positive values)''
  
A [[Measurable flow|measurable flow]] in a certain new measure space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862705.png" /> constructed in the following way. The points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862706.png" /> are the pairs <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862707.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862708.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s0862709.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627010.png" /> is the restriction to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627011.png" />, regarded as a subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627012.png" />, of the direct product of the measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627013.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627014.png" /> and the Lebesgue measure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627015.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627016.png" />, then one usually normalizes this measure. The motion takes place in such a way that the second coordinate of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627017.png" /> increases with unit speed until it reaches the value <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627018.png" />, and then the point jumps into the position <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627019.png" />.
+
A [[Measurable flow|measurable flow]] in a certain new measure space $(M,\mu)$ constructed in the following way. The points of $M$ are the pairs $(x,s)$, where $x\in X$ and $0\leq s<f(x)$, and $\mu$ is the restriction to $M$, regarded as a subset of $X\times[0,\infty)$, of the direct product of the measure $\nu$ on $X$ and the Lebesgue measure on $[0,\infty)$. If $\mu(M)=\int_Xfd\nu<\infty$, then one usually normalizes this measure. The motion takes place in such a way that the second coordinate of $(x,s)$ increases with unit speed until it reaches the value $f(x)$, and then the point jumps into the position $(Sx,0)$.
  
In [[Ergodic theory|ergodic theory]], special flows play a role similar to that of sections and the [[Poincaré return map|Poincaré return map]] in the study of smooth dynamical systems: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627020.png" /> plays the role of the section and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627021.png" /> that of the map. But in the topological theory one can usually construct a section in the form of a manifold only locally. In ergodic theory, the construction of a global section is possible under very general conditions, because here there are no restrictions connected with the topology. (Even if the initial flow is smooth, one nevertheless allows for the section to be discontinuous.) Therefore, under very general conditions a measurable flow is metrically isomorphic to some special flow, even with some extra conditions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627022.png" /> (see [[#References|[1]]]). A related concept is that of a [[Special automorphism|special automorphism]].
+
In [[Ergodic theory|ergodic theory]], special flows play a role similar to that of sections and the [[Poincaré return map|Poincaré return map]] in the study of smooth dynamical systems: $X$ plays the role of the section and $S$ that of the map. But in the topological theory one can usually construct a section in the form of a manifold only locally. In ergodic theory, the construction of a global section is possible under very general conditions, because here there are no restrictions connected with the topology. (Even if the initial flow is smooth, one nevertheless allows for the section to be discontinuous.) Therefore, under very general conditions a measurable flow is metrically isomorphic to some special flow, even with some extra conditions on $f$ (see [[#References|[1]]]). A related concept is that of a [[Special automorphism|special automorphism]].
  
 
====References====
 
====References====
Line 11: Line 12:
  
 
====Comments====
 
====Comments====
Each measurable flow on a Lebesgue space without fixed points is metrically isomorphic to a special flow; see [[#References|[1]]], Chapt. 11, §2. For such a  "special representation"  with extra conditions on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627023.png" /> (Rudolph's theorem), see [[#References|[1]]], Chapt. 11, §4. Special representations are used e.g. for the analysis of the spectrum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627024.png" />-flows (cf. [[K-system(2)|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s086/s086270/s08627025.png" />-system]]).
+
Each measurable flow on a Lebesgue space without fixed points is metrically isomorphic to a special flow; see [[#References|[1]]], Chapt. 11, §2. For such a  "special representation"  with extra conditions on $f$ (Rudolph's theorem), see [[#References|[1]]], Chapt. 11, §4. Special representations are used e.g. for the analysis of the spectrum of $K$-flows (cf. [[K-system(2)|$K$-system]]).

Latest revision as of 14:04, 30 August 2014

constructed from an automorphism $S$ of a measure space $(X,\nu)$ and a measurable function $f$ (defined on $X$ and taking positive values)

A measurable flow in a certain new measure space $(M,\mu)$ constructed in the following way. The points of $M$ are the pairs $(x,s)$, where $x\in X$ and $0\leq s<f(x)$, and $\mu$ is the restriction to $M$, regarded as a subset of $X\times[0,\infty)$, of the direct product of the measure $\nu$ on $X$ and the Lebesgue measure on $[0,\infty)$. If $\mu(M)=\int_Xfd\nu<\infty$, then one usually normalizes this measure. The motion takes place in such a way that the second coordinate of $(x,s)$ increases with unit speed until it reaches the value $f(x)$, and then the point jumps into the position $(Sx,0)$.

In ergodic theory, special flows play a role similar to that of sections and the Poincaré return map in the study of smooth dynamical systems: $X$ plays the role of the section and $S$ that of the map. But in the topological theory one can usually construct a section in the form of a manifold only locally. In ergodic theory, the construction of a global section is possible under very general conditions, because here there are no restrictions connected with the topology. (Even if the initial flow is smooth, one nevertheless allows for the section to be discontinuous.) Therefore, under very general conditions a measurable flow is metrically isomorphic to some special flow, even with some extra conditions on $f$ (see [1]). A related concept is that of a special automorphism.

References

[1] I.P. [I.P. Kornfel'd] Cornfel'd, S.V. Fomin, Ya.G. Sinai, "Ergodic theory" , Springer (1982) (Translated from Russian)


Comments

Each measurable flow on a Lebesgue space without fixed points is metrically isomorphic to a special flow; see [1], Chapt. 11, §2. For such a "special representation" with extra conditions on $f$ (Rudolph's theorem), see [1], Chapt. 11, §4. Special representations are used e.g. for the analysis of the spectrum of $K$-flows (cf. $K$-system).

How to Cite This Entry:
Special flow. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Special_flow&oldid=33206
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article