Conservative system

Last updated April 25, 2023

In mathematics, a conservative system is a dynamical system which stands in contrast to a dissipative system. Roughly speaking, such systems have no friction or other mechanism to dissipate the dynamics, and thus, their phase space does not shrink over time. Precisely speaking, they are those dynamical systems that have a null wandering set: under time evolution, no portion of the phase space ever "wanders away", never to be returned to or revisited. Alternately, conservative systems are those to which the Poincaré recurrence theorem applies. An important special case of conservative systems are the measure-preserving dynamical systems.

Informal introduction

Informally, dynamical systems describe the time evolution of the phase space of some mechanical system. Commonly, such evolution is given by some differential equations, or quite often in terms of discrete time steps. However, in the present case, instead of focusing on the time evolution of discrete points, one shifts attention to the time evolution of collections of points. One such example would be Saturn's rings: rather than tracking the time evolution of individual grains of sand in the rings, one is instead interested in the time evolution of the density of the rings: how the density thins out, spreads, or becomes concentrated. Over short time-scales (hundreds of thousands of years), Saturn's rings are stable, and are thus a reasonable example of a conservative system and more precisely, a measure-preserving dynamical system. It is measure-preserving, as the number of particles in the rings does not change, and, per Newtonian orbital mechanics, the phase space is incompressible: it can be stretched or squeezed, but not shrunk (this is the content of Liouville's theorem).

Formal definition

Formally, a measurable dynamical system is conservative if and only if it is non-singular, and has no wandering sets.^[1]

A measurable dynamical system (X, Σ, μ, τ) is a Borel space (X, Σ) equipped with a sigma-finite measure μ and a transformation τ. Here, X is a set, and Σ is a sigma-algebra on X, so that the pair (X, Σ) is a measurable space. μ is a sigma-finite measure on the sigma-algebra. The space X is the phase space of the dynamical system.

A transformation (a map) $\tau :X\to X$ is said to be Σ-measurable if and only if, for every σ ∈ Σ, one has $\tau ^{-1}\sigma \in \Sigma$ . The transformation is a single "time-step" in the evolution of the dynamical system. One is interested in invertible transformations, so that the current state of the dynamical system came from a well-defined past state.

A measurable transformation $\tau :X\to X$ is called non-singular when $\mu (\tau ^{-1}\sigma )=0$ if and only if $\mu (\sigma )=0$ .^[2] In this case, the system (X, Σ, μ, τ) is called a non-singular dynamical system. The condition of being non-singular is necessary for a dynamical system to be suitable for modeling (non-equilibrium) systems. That is, if a certain configuration of the system is "impossible" (i.e. $\mu (\sigma )=0$ ) then it must stay "impossible" (was always impossible: $\mu (\tau ^{-1}\sigma )=0$ ), but otherwise, the system can evolve arbitrarily. Non-singular systems preserve the negligible sets, but are not required to preserve any other class of sets. The sense of the word singular here is the same as in the definition of a singular measure in that no portion of $\mu$ is singular with respect to $\mu \circ \tau ^{-1}$ and vice versa.

A non-singular dynamical system for which $\mu (\tau ^{-1}\sigma )=\mu (\sigma )$ is called invariant, or, more commonly, a measure-preserving dynamical system.

A non-singular dynamical system is conservative if, for every set $\sigma \in \Sigma$ of positive measure and for every $n\in \mathbb {N}$ , one has some integer $p>n$ such that $\mu (\sigma \cap \tau ^{-p}\sigma )>0$ . Informally, this can be interpreted as saying that the current state of the system revisits or comes arbitrarily close to a prior state; see Poincaré recurrence for more.

A non-singular transformation $\tau :X\to X$ is incompressible if, whenever one has $\tau ^{-1}\sigma \subset \sigma$ , then $\mu (\sigma \smallsetminus \tau ^{-1}\sigma )=0$ .

Properties

For a non-singular transformation $\tau :X\to X$ , the following statements are equivalent:^[1]^[3]^[4]

τ is conservative.
τ is incompressible.
Every wandering set of τ is null.
For all sets σ of positive measure, ${\textstyle \mu \left(\sigma \smallsetminus \bigcup _{n=1}^{\infty }\tau ^{-n}\sigma \right)=0}$ .

The above implies that, if $\mu (X)<\infty$ and $\tau$ is measure-preserving, then the dynamical system is conservative. This is effectively the modern statement of the Poincaré recurrence theorem. Indeed, suppose that $\mu (X)<\infty$ and $\tau$ is measure-preserving. Let $A$ be a wandering set of $\tau$ . By Definition of wandering sets and since $\tau$ preserves $\mu$ , $X$ would thus contain a countably infinite union of pairwise disjoint sets that have the same $\mu$ -measure as $A$ . Since we assumed $\mu (X)<\infty$ , it thus follows that $A$ is a null set, so that all wandering sets must be null sets.

This argumentation fails even for the simplest examples if $\mu (X)=\infty$ . Indeed, consider for instance $(X,{\mathcal {A}},\mu )=(\mathbb {R} ,{\mathcal {B}}(\mathbb {R} ),\lambda )$ , where $\lambda$ denotes the Lebesgue measure, and consider the shift operator $\tau :X\to X,x\mapsto x+1$ . Since the Lebesgue measure is translation-invariant, $\tau$ is measure-preserving. However, $(X,{\mathcal {A}},\mu ,\tau )$ is not conservative. In fact, every interval of length strictly less than $1$ contained in $X$ is wandering. In particular, $X$ can be written as a countable union of wandering sets.

A sketch of the proof of the equivalence of these four is given at Hopf decomposition#Recurrence theorem.

Hopf decomposition

The Hopf decomposition states that every measure space with a non-singular transformation can be decomposed into an invariant conservative set and a wandering (dissipative) set. A commonplace informal example of Hopf decomposition is the mixing of two liquids (some textbooks mention rum and coke): The initial state, where the two liquids are not yet mixed, can never recur again after mixing; it is part of the dissipative set. Likewise any of the partially-mixed states. The result, after mixing (a cuba libre, in the canonical example), is stable, and forms the conservative set; further mixing does not alter it. In this example, the conservative set is also ergodic: if one added one more drop of liquid (say, lemon juice), it would not stay in one place, but would come to mix in everywhere. One word of caution about this example: although mixing systems are ergodic, ergodic systems are not in general mixing systems! Mixing implies an interaction which may not exist. The canonical example of an ergodic system that does not mix is the Bernoulli process: it is the set of all possible infinite sequences of coin flips (equivalently, the set $\{0,1\}^{\mathbb {N} }$ of infinite strings of zeros and ones); each individual coin flip is independent of the others.

Ergodic decomposition

The ergodic decomposition theorem states, roughly, that every conservative system can be split up into components, each component of which is individually ergodic. An informal example of this would be a tub, with a divider down the middle, with liquids filling each compartment. The liquid on one side can clearly mix with itself, and so can the other, but, due to the partition, the two sides cannot interact. Clearly, this can be treated as two independent systems; leakage between the two sides, of measure zero, can be ignored. The ergodic decomposition theorem states that all conservative systems can be split into such independent parts, and that this splitting is unique (up to differences of measure zero). Thus, by convention, the study of conservative systems becomes the study of their ergodic components.

Formally, every ergodic system is conservative. Recall that an invariant set σ ∈ Σ is one for which τ(σ) = σ. For an ergodic system, the only invariant sets are those with measure zero or with full measure (are null or are conull); that they are conservative then follows trivially from this.

When τ is ergodic, the following statements are equivalent:^[1]

τ is conservative and ergodic
For all measurable sets σ, ${\textstyle \mu \left(X\smallsetminus \bigcup _{n=1}^{\infty }\tau ^{-n}\sigma \right)=0}$ ; that is, σ "sweeps out" all of X.
For all sets σ of positive measure, and for almost every $x\in X$ , there exists a positive integer n such that $\tau ^{n}x\in \sigma$ .
For all sets $\sigma$ and $\rho$ of positive measure, there exists a positive integer n such that $\mu \left(\tau ^{-n}\rho \cap \sigma \right)>0$
If $\tau ^{-1}\sigma \subset \sigma$ , then either $\mu (\sigma )=0$ or the complement has zero measure: $\mu (\sigma ^{c})=0$ .

Notes

1 2 3 Danilenko & Silva (2009) , section 2.2
↑ Danilenko & Silva (2009) , p. 1
↑ Krengel (1985) , pp. 16–17
↑ Sarig (2020) , section 1.14

Related Research Articles

In mathematics, the concept of a measure is a generalization and formalization of geometrical measures and other common notions, such as mass and probability of events. These seemingly distinct concepts have many similarities and can often be treated together in a single mathematical context. Measures are foundational in probability theory, integration theory, and can be generalized to assume negative values, as with electrical charge. Far-reaching generalizations of measure are widely used in quantum physics and physics in general.

In mathematical analysis and in probability theory, a σ-algebra on a set X is a nonempty collection Σ of subsets of X closed under complement, countable unions, and countable intersections. The ordered pair $is called a measurable space.$

Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, statistical properties means properties which are expressed through the behavior of time averages of various functions along trajectories of dynamical systems. The notion of deterministic dynamical systems assumes that the equations determining the dynamics do not contain any random perturbations, noise, etc. Thus, the statistics with which we are concerned are properties of the dynamics.

In mathematics, a measure-preserving dynamical system is an object of study in the abstract formulation of dynamical systems, and ergodic theory in particular. Measure-preserving systems obey the Poincaré recurrence theorem, and are a special case of conservative systems. They provide the formal, mathematical basis for a broad range of physical systems, and, in particular, many systems from classical mechanics as well as systems in thermodynamic equilibrium.

In mathematics, an additive set function is a function mapping sets to numbers, with the property that its value on a union of two disjoint sets equals the sum of its values on these sets, namely, $If this additivity property holds for any two sets, then it also holds for any finite number of sets, namely, the function value on the union of k disjoint sets equals the sum of its values on the sets. Therefore, an additive set function is also called a finitely additive set function . However, a finitely additive set function might not have the additivity property for a union of an infinite number of sets. A σ-additive set function is a function that has the additivity property even for countably infinite many sets, that is,$

In mathematics, mixing is an abstract concept originating from physics: the attempt to describe the irreversible thermodynamic process of mixing in the everyday world: e.g. mixing paint, mixing drinks, industrial mixing.

In functional analysis, an abelian von Neumann algebra is a von Neumann algebra of operators on a Hilbert space in which all elements commute.

In mathematics and physics, the Poincaré recurrence theorem states that certain dynamical systems will, after a sufficiently long but finite time, return to a state arbitrarily close to, or exactly the same as, their initial state.

In mathematics, ergodic flows occur in geometry, through the geodesic and horocycle flows of closed hyperbolic surfaces. Both of these examples have been understood in terms of the theory of unitary representations of locally compact groups: if Γ is the fundamental group of a closed surface, regarded as a discrete subgroup of the Möbius group G = PSL(2,R), then the geodesic and horocycle flow can be identified with the natural actions of the subgroups A of real positive diagonal matrices and N of lower unitriangular matrices on the unit tangent bundle G / Γ. The Ambrose-Kakutani theorem expresses every ergodic flow as the flow built from an invertible ergodic transformation on a measure space using a ceiling function. In the case of geodesic flow, the ergodic transformation can be understood in terms of symbolic dynamics; and in terms of the ergodic actions of Γ on the boundary S¹ = G / AN and G / A = S¹ × S¹ \ diag S¹. Ergodic flows also arise naturally as invariants in the classification of von Neumann algebras: the flow of weights for a factor of type III₀ is an ergodic flow on a measure space.

In dynamical systems and ergodic theory, the concept of a wandering set formalizes a certain idea of movement and mixing. When a dynamical system has a wandering set of non-zero measure, then the system is a dissipative system. This is the opposite of a conservative system, to which the Poincaré recurrence theorem applies. Intuitively, the connection between wandering sets and dissipation is easily understood: if a portion of the phase space "wanders away" during normal time-evolution of the system, and is never visited again, then the system is dissipative. The language of wandering sets can be used to give a precise, mathematical definition to the concept of a dissipative system. The notion of wandering sets in phase space was introduced by Birkhoff in 1927.

In mathematics, the Hahn decomposition theorem, named after the Austrian mathematician Hans Hahn, states that for any measurable space $and any signed measure defined on the -algebra, there exist two -measurable sets, and, of such that:$

$and .$
For every $such that, one has, i.e., is a positive set for .$
For every $such that, one has, i.e., is a negative set for .$

In mathematics, ergodicity expresses the idea that a point of a moving system, either a dynamical system or a stochastic process, will eventually visit all parts of the space that the system moves in, in a uniform and random sense. This implies that the average behavior of the system can be deduced from the trajectory of a "typical" point. Equivalently, a sufficiently large collection of random samples from a process can represent the average statistical properties of the entire process. Ergodicity is a property of the system; it is a statement that the system cannot be reduced or factored into smaller components. Ergodic theory is the study of systems possessing ergodicity.

In mathematics, an invariant measure is a measure that is preserved by some function. The function may be a geometric transformation. For examples, circular angle is invariant under rotation, hyperbolic angle is invariant under squeeze mapping, and a difference of slopes is invariant under shear mapping.

In measure theory, a pushforward measure is obtained by transferring a measure from one measurable space to another using a measurable function.

In probability theory, a standard probability space, also called Lebesgue–Rokhlin probability space or just Lebesgue space is a probability space satisfying certain assumptions introduced by Vladimir Rokhlin in 1940. Informally, it is a probability space consisting of an interval and/or a finite or countable number of atoms.

In mathematics, a metric outer measure is an outer measure μ defined on the subsets of a given metric space (X, d) such that

In mathematics, lifting theory was first introduced by John von Neumann in a pioneering paper from 1931, in which he answered a question raised by Alfréd Haar. The theory was further developed by Dorothy Maharam (1958) and by Alexandra Ionescu Tulcea and Cassius Ionescu Tulcea (1961). Lifting theory was motivated to a large extent by its striking applications. Its development up to 1969 was described in a monograph of the Ionescu Tulceas. Lifting theory continued to develop since then, yielding new results and applications.

In mathematics, the Rokhlin lemma, or Kakutani–Rokhlin lemma is an important result in ergodic theory. It states that an aperiodic measure preserving dynamical system can be decomposed to an arbitrary high tower of measurable sets and a remainder of arbitrarily small measure. It was proven by Vladimir Abramovich Rokhlin and independently by Shizuo Kakutani. The lemma is used extensively in ergodic theory, for example in Ornstein theory and has many generalizations.

In mathematics, the Hopf decomposition, named after Eberhard Hopf, gives a canonical decomposition of a measure space (X, μ) with respect to an invertible non-singular transformation T:X→X, i.e. a transformation which with its inverse is measurable and carries null sets onto null sets. Up to null sets, X can be written as a disjoint union C ∐ D of T-invariant sets where the action of T on C is conservative and the action of T on D is dissipative. Thus, if τ is the automorphism of A = L^∞(X) induced by T, there is a unique τ-invariant projection p in A such that pA is conservative and (I–p)A is dissipative.

In mathematics, a Markov odometer is a certain type of topological dynamical system. It plays a fundamental role in ergodic theory and especially in orbit theory of dynamical systems, since a theorem of H. Dye asserts that every ergodic nonsingular transformation is orbit-equivalent to a Markov odometer.

References

Danilenko, Alexandre I.; Silva, Cesar E. (2009). "Ergodic theory: Nonsingular transformations". Encyclopedia of Complexity and Systems Science. Springer: 3055–3083. arXiv: 0803.2424 . doi:10.1007/978-0-387-30440-3_183. ISBN 978-0-387-75888-6.
Krengel, Ulrich (1985). Ergodic theorems. De Gruyter Studies in Mathematics. Vol. 6. de Gruyter. ISBN 3-11-008478-3.
Sarig, Omri (March 8, 2020). "Lecture Notes on Ergodic Theory" (PDF). Home | Omri Sarig. Weizmann Institute.