7

How can one in a very contrasting manner distinguish between the physical meaning of mixing dynamics and that of ergodic dynamics? More precisely, is one a stronger condition than the other? (which begs to ask questions such as: are ergodic systems also mixing? or vice-versa).

Usually by "mixing" one means the quick decorrelation of system properties (more correctly averages of system properties) from the initial conditions. On the other hand, rather similarly by ergodicity one means equal time and ensemble averages independently of initial conditions. Please feel free to use examples that you see fit, in order to shed a clear light on the difference behind these two concepts.

Qmechanic
  • 220,844
user929304
  • 4,910

4 Answers4

6

Yes, these conditions are one stronger than the others. Actually, there are various types of "mixing" (in descending order of strength): multiple mixing (omitted here), mixing, weak mixing.

I will not write all the definitions down, and I suggest to see this book (section 1.6, page 22).

In addition, we have this chain of implications (proved in the reference): $$\text{mixing}\Rightarrow\text{weak mixing}\Rightarrow\text{ergodicity}$$

In addition, it can be shown that the notions are not equivalent: there are ergodic systems that are not weakly mixing, and weakly mixing systems that are not mixing.

As far as I know, the concept of mixing is introduced for convenience: it is often easier to prove the (weak) mixing property than ergodicity directly, and once mixing is proved, ergodicity follows.

yuggib
  • 12,357
6

Mixing is a very physically intuitive concept: a set of particles saitsfying a small spread of uncertainty in their initial conditions, follow paths that enter (nearly) into (nearly) any region, and in a relatively "uniform" way: After sufficiently long a period of time, the percentage of them found within in that region, even within a short period, is proportional to the volume of the region.

Consider the following intuitive example. We consider a (small) amount of uncertainty in the initial conditions, which means we consider not a point but a small volume to begin with. Picture it as being a bit of black colour in the phase space, where the rest of the phase space is white. Now suppose the dynamics really is mixing: somebody is stirring the phase space as if it were a can of paint (into which we put this bit of colour). If the dynamics is truly "mixing", then after a while, the colour will be, as far as the eye can tell, more or less evenly spread throughout the phase space. This is the intuitive example of "mixing" dynamics. Another way of putting this is, even a small deviation in the initial condition eventually results in a large deviation in the state.

Ergodicity is more of a mathematical notion than a physical notion. It means that the time averages are (nearly always) equal to the phase averages. This is the "dual" to the above notion. The ergodic theorem says that this holds as long as the phase space cannot be decomposed into two disjoint invariant subsets of positive measure ("metric transitivity") . Well, you could be generous and say that this is physical too.

A trivial example of ergodic dynamics is irrational rotation on the torus. consider the two-dimensional surface of a three-dimenional doughnut. Or, what is the same, consider the unit square with its edges identified, so a particle that reaches the boundary immediately re-appears at the opposite edge. The dynamics is simple unaccelerated free motion. The initial condition consists of the initial position plus a velocity vector. If the slope of the velocity vector is rational number, the particle will eventually return to its original position and the motion is not ergodic since there are regions it will never reach. But such initial conditions constitute a set of measure zero. "Nearly all" initial conditions have a velocity vector with irrational slope. On such trajectories, the time average of an observable equals the phase average. So this dynamical system is ergodic.

joseph f. johnson
  • 7,212
4

This is not a full answer, but just an excuse to show a closely related animation I made (more information here):

enter image description here

What you see is phase space (top panel) and an energy-vs-position graph (bottom panel). The dynamics are simply those of a massive particle in a potential well, where that potential is shown by the red curve in the lower panel. An ensemble of systems is being considered, each represented by a blue pixel. A small distribution of initial states is considered.

As I understand mixing, it means that the ensemble seems to approach a smoothened, steady state distribution. Indeed this seems to be the case, as the ensemble swirls up. In detail, though, it always contains fine stripes and if the motion were reversed, the ensemble would return back to the initial compact region. See the H-theorem wikipedia article for discussion about what this means for entropy.

As I understand it, ergodicity is the idea that mixing will cover "all accessible phase space". Usually "accessible" is taken to mean any state with the same energy. As you can see however, the ensemble never mixes into the same-energy states in the left half of the potential well. So I think this is a good illustration of why either "accessibility" is a subtle concept, or ergodicity is not generally true.

Nanite
  • 3,530
0

Mathematically, mixing means that any small volume $A$ in the phase space will spread to the full phase space $X$ in the sense $T^n(A)\rightarrow X$. Ergodicity is weaker and means that any small volume $A$ will visit the full phase space in the sense $A\cup T(A)\cup T^2(A)...T^n(A)\rightarrow X$

In statistical mechanics, the consequences are the following:

  • an ergodic system is a system whose only invariant of motion is the internal energy: trajectories and thus equilibrium states are made of full energy levels
  • a mixing system is a system such that any initial state becomes indistinguishable from an equilibrium state after a while

Ergodicity justifies that equilibrium states are microcanonical ensembles (and mixtures of these ensembles). Mixing justifies that equilibrium actually happens.

Benoit
  • 601
  • 4
  • 10