Namespaces
Variants
Actions

Mixing

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.


2020 Mathematics Subject Classification: Primary: 37A25 [MSN][ZBL]

A property of a dynamical system (a cascade $ \{ S ^ {n} \} $ or a flow (continuous-time dynamical system) $ \{ S _ {t} \} $) having a finite invariant measure $ \mu $, in which for any two measurable subsets $ A $ and $ B $ of the phase space $ W $, the measure

$$ \mu (( S ^ {n} ) ^ {-} 1 A \cap B), $$

or, respectively,

$$ \mu (( S _ {t} ) ^ {-} 1 A \cap B), $$

tends to

$$ \frac{\mu ( A) \mu ( B) }{\mu ( W) } $$

as $ n \rightarrow \infty $, or, respectively, as $ t \rightarrow \infty $. If the transformations $ S $ and $ S _ {t} $ are invertible, then in the definition of mixing one may replace the pre-images of the original set $ A $ with respect to these transformations by the direct images $ S ^ {n} A $ and $ S _ {t} A $, which are easier to visualize. If a system has the mixing property, one also says that the system is mixing, while in the case of a mixing cascade $ \{ S ^ {n} \} $, one says that the endomorphism $ S $ generating it in the measure space $ ( W, \mu ) $ also is mixing (has the property of mixing).

In ergodic theory, properties related to mixing are considered: multiple mixing and weak mixing (see [H]; in the old literature the latter is often called mixing in the wide sense or simply mixing, while mixing was called mixing in the strong sense). A property intermediate between mixing and weak mixing has also been discussed [FW]. All these properties are stronger than ergodicity.

There is an analogue of mixing for systems having an infinite invariant measure [KS].

References

[H] P.R. Halmos, "Lectures on ergodic theory" , Math. Soc. Japan (1956) MR0097489 Zbl 0073.09302
[FW] H. Furstenberg, B. Weiss, "The finite multipliers of infinite ergodic transformations" N.G. Markley (ed.) J.C. Martin (ed.) W. Perrizo (ed.) , The Structure of Attractors in Dynamical Systems , Lect. notes in math. , 668 , Springer (1978) pp. 127–132 MR0518553 Zbl 0385.28009
[KS] U. Krengel, L. Sucheston, "On mixing in infinite measure spaces" Z. Wahrscheinlichkeitstheor. Verw. Geb. , 13 : 2 (1969) pp. 150–164 MR0254215 Zbl 0176.33804

Comments

For a cascade $ \{ S ^ {n} \} $ on a finite measure space $ ( W , \mu ) $ the notion of weak mixing as defined above is equivalent to the property that the cascade generated by $ S \times S $ on the measure space $ ( W \times W , \mu \otimes \mu ) $, where $ \mu \otimes \mu $ denotes the product measure, is ergodic (cf. Ergodicity; Metric transitivity). See [H].

For topological dynamical systems the notions of strong and weak mixing have been defined as well [F]. A flow on a topological space $ W $ is said to be topologically weakly mixing whenever the flow $ \{ S _ {t} \times S _ {t} \} $ on $ W \times W $( with the usual product topology) is topologically ergodic; equivalently: whenever for every choice of four non-empty open subsets $ U _ {i} , V _ {i} $( $ i = 1 , 2 $) of $ W $ where exists a $ t $ such that $ S _ {t} U _ {i} \cap V _ {i} \neq \emptyset $ for $ i = 1 , 2 $. On compact spaces the weakly mixing minimal flows are the minimal flows that have no non-trivial equicontinuous factors; see [A], p. 133. A flow $ \{ S _ {t} \} $ on a space $ W $ is said to be topologically strongly mixing whenever for every two non-empty open subsets $ U $ and $ V $ of $ W $ there exists a value $ t _ {0} $ such that $ S _ {t} U \cap V \neq \emptyset $ for all $ | t | \geq t _ {0} $. For example, the geodesic flow on a complete two-dimensional Riemannian manifold of constant negative curvature is topologically strongly mixing; see [GH], 13.49. For cascades, the definitions are analogous.

References

[A] J. Auslander, "Minimal flows and their extensions" , North-Holland (1988) MR0956049 Zbl 0654.54027
[F] H. Furstenberg, "Disjointness in ergodic theory, minimal sets and a problem in diophantine approximations" Math. Systems Th. , 1 (1967) pp. 1–49 MR0213508
[GH] W.H. Gottschalk, G.A. Hedlund, "Topological dynamics" , Amer. Math. Soc. (1955) MR0074810 Zbl 0067.15204
How to Cite This Entry:
Mixing. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Mixing&oldid=47863
This article was adapted from an original article by D.V. Anosov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article