# Liouville's theorem

The first important result that we want to prove is *Liouville's theorem*; this is a very important theorem which will be useful in the following, and ultimately justifies why we microscopically describe systems in phase space and not in other possible spaces^{[1]}. It essentially states that the phase space volume is *locally conserved*, or in other words time evolution doesn't change it.
Let's show it explicitly.

**Theorem**

Let be the Hamiltonian of a physical system of particles, and a generic probability density in phase space which can in general also depend explicitly on time. Let be the initial conditions of the system and call their time evolutions, namely the solutions of Hamilton's equations:

Then is constant along, namely:

*Proof*

Since is a probability density it must satisfy the continuity equation^{[2]}:

*probability flow*is given by

^{[3]}:

If we now compute all the derivatives, since is a sufficiently regular function we can use Schwartz's theorem to cancel all the terms with the second derivatives in . We therefore get:

As a consequence of Liouville's theorem we have that the probability density in phase space of an isolated system in equilibrium is such that:

^{[4]}so must be some function of the Hamiltonian :

From what we have seen when we studied the microcanonical ensemble we have that the function is , but this is just a particular case (there is nothing that urges us to suppose so).
Therefore, the a priori equal probability postulate is *compatible* with Liouville's theorem but does not necessarily derive from it.

- ↑ For example, if we consider a system of particles of the same mass we could have equally well described it in the space of positions and velocities rather than with positions and momenta. In this case, in fact, a collision between particles can be seen as an exchange of velocity between the two and since all the particles have the same mass this is also equivalent to an exchange in momentum. However, if we consider particles of different mass this is not true any more and the only quantity exchanged between colliding particles is momentum. Therefore, position-velocity space does not have the same properties of phase space (in particular, Liouville's theorem does not apply).
- ↑ This is a general property of probability distributions: in fact probability can't just "disappear" and "reappear" in different parts of the phase space.
- ↑ This can be better understood through an analogy with fluids: if is the fluid density, then it must satisfy the continuity equation where .
- ↑ We are considering the system fixed and still, so that its momentum and angular momentum are zero.