Advanced Classical Mechanics/Liouville's theorem
This proof of Liouville's theorem in a three dimensional phase space uses the Divergence theorem theorem in a fashion familiar to most physics majors. This proof in N-dimensions is completely analogous, except that we need to carefully define an N-dimensional Flux density.
Liouville's theorem applies only to Hamiltonian systems. The Hamiltonian is allowed to vary with time, and there are no restrictions regarding how strongly the degrees of freedom are coupled. Liouville's theorem states that:
- The density of states in an ensemble of many identical states with different initial conditions is constant along every trajectory in phase space.
It states that if one constructs an ensemble of paths, the probability density along the trajectory remains constant. To prove this we use the generalized Stokes' Theorem to equate the n-dimensional volume integral of the divergence of a vector field J over a region U to the (n-1)-dimensional surface integral of J over the boundary of U:
Let represent all the dimensions of phase space, and let the dimensional vector field. Define as the 'current' of particles in phase space, and is the density (number of particles per unit 2N-dimensional hypersphere. (The dots represent differentiation with respect to time.)
Apply this divergence theorem to a 2N dimensional hypercube of length, L, with one corner at the origin. The volume inside this hypercube are the inequalities, 0<xn<L, where xn represent the q variables and the p variables.
The hypercube is bounded by 2N-1 hypersurfaces at xn=0, and 2N-1 'surfaces' at xn=L, that can be viewed as making up one hypersurface. (In this context, each hypersuface is actually a 2N-1 dimensional hypercube.) A particle in each hypersurface is on the verge of entering the 2N-dimensional hypercube, and is inside a differential , of the hypersurface. This implies that (almost always) 2N-1 of the variables obey the inequality, 0<xn<L, while one variable is either at x=0, or on the 'other surface' at x=L. The rate at which particles crosses this hypersurface is proportional to , where j represents the coordinate or momentum variable that is on the boundary, (i.e. equal to either 0 or L). In other words,
is the rate at which particles leave the hypersphere. (We take the sign convention from the well known case of continuity of charge or particles in three dimensions) Taking the limit that the length, L, of the hypercube vanishes, we have the 2N dimensional continuity equation,
The partial derivative reflects the fact that the hypercube remains stationary and does not move with the flow of particles in phase space. The divergence of the flow can be calculated as follows:
The second term on the RHS vanishes because our variables obey Hamilton's equations of motion:
The other term is a convective term of the form , where . Liouville's equation is a statement about for the derivative of density in the reference frame of the points moving through phase space:
Never in the proof have we demanded that must vanish. Liouville's theorem is true even if the Hamiltonian is time dependent.
What Liouville's theorem does NOT imply
- Liouville's theorem does not imply that the density is uniform throughout phase space. In particular, if the Hamiltonian preserves energy, then one trajectory cannot visit two parts of phase space with different energy. By the Boltzmann equation, if an ensemble has a property called 'temperature', then regions of phase space with more energy are less populated.
- Liouville's theorem does not imply that every point along a given path has the same density. In other words, suppose that two particles, A and B, follow the same trajectory, except that particle A leads particle B by a finite time (or equivalently, there is a finite distance in xp space between the two particles). Particle A could be in a region of different density than particle B.
- Liouville's theorem only holds in the limit that the particles are infinitely close together. Eqivalently, Liouville's theorem does not hold for any ensemble that consists of a finite number of particles; instead the theorem describes the probability density in phase space of an ensemble consisting of an infinite number of possible states.
- Jordan, T. "Steppingstones in Hamiltonian Dynamics", American Journal of Physics, Vol. 72, No. 8, pp. 1095-99, August 2004. States that theorem is valid if H depends on time. Proof uses divergence theorem in 2N dimensions.
- http://www.physics.purdue.edu/nlo/NoltePT10.pdf physics today
- https://www.math.okstate.edu/~binegar/4263/4263-l17.pdf states but never prove n dimensional divergence theorem
- http://www.lecture-notes.co.uk/susskind/classical-mechanics/lecture-7/liouvilles-theorem/ divergence theorem