Phase space, Ensemble and Liouville’s theorem.
Lecture III; This lecture, the 3rd in the series of statistical mechanics lectures, a paper for the physics honors degree class, was delivered on the 8th of January this year (2018).
For a better understanding refer to lecture – I, II here.
Topics covered in this lecture
a. Ensemble and average — thermodynamic systems
b. Phase space — a classical system
c. Liouville’s theorem
Ensemble and average in thermodynamic systems
For a given “macrostate” a statistical system, at any instant of time, , is likely to be found in any one of an extremely large number of distinct “microstates”.
When time passes, the system evolves into different microstates. In due course of time the system exhibits an average behavior of all microstates it passes through.
We can equivalently depict this behavior by envisaging a large number of mental copies of the system, with the same macrostate as the original system, but all the possible microstates, in which the system can exist, all at once. Such a collection of hypothetical or mental copies of the given system is known as an ensemble.
Thus the average behavior of the ensemble is expected to be identical with the time-averaged behavior of the actual physical system. In fact this is one of the fundamental requirements for statistical mechanics to be valid. No matter which mathematical avenue we prefer to meander through we must in the end reach our unique destination of physical validity.
To understand the deeper aspects of this ensemble theory we need to define what is known as “phase space” of a statistical system.
Phase space of a classical system
Let us consider a given physical system with a specified macrostate with number of particles. There are position coordinates in short and momentum coordinates in short that characterizes the microstates of the system.
Thus we are in a dimensional space geometrically. This space so defined embodies the “phase space” of the given physical system represented by . is called the “representative point” or the “phase point“.
and are functions of time and satisfy the “canonical equations of motion” given by the following.
is the Hamiltonian of the system.
As time passes by the representative point traces a trajectory whose direction is given by: .
Due to finite volume and finite energy the representative point is restricted to a limited region in phase space.
Note that: restricts but restricts both and .
Thus through , the trajectory is restricted to a “hyper surface“. If the trajectory is restricted to a “hyper-shell“.
For an “ensemble theory” the member of the ensemble will keep on changing their microstates, over time. Thus there are a “swarm of representative points” which continually move along respective trajectories of the member in the ensemble.
We now define a “density function” where , , . Thus gives number of representative points in a given volume of phase space , around phase point , for all — i.e. . Thus also gives the fashion in which the members of the ensemble are distributed over all possible microstates.
We can take an “ensemble average” of a given physical variable as follows.
The integration is carried out over all space in the phase space but has contribution only where , i.e. populated regions in the phase space.
An ensemble is said to be stationary if does not depend on time, explicitly: i.e. , at all times. This would mean ensemble average of a physical variable , i.e. is independent of time. Stationary ensembles represent systems in equilibrium.
Consider an arbitrary “volume” in a relevant region in the phase space, which is bounded by the surface . Rate of increase of representative points in this volume is given by: .
The net rate at which these points would flow out of the volume from the surface , is given by: .
By the application of divergence theorem, which converts surface integrals to volume integrals — and vice a versa, the surface integral mentioned above turns into: .
But divergence is defined in this space by; .
Since there are no sources or sinks in the volume, total number of representative points must be conserved. Thus; ;
or by simple algebra, .
This integration is zero identically for all arbitrary volumes . Thus;
The boxed equation is an equation of continuity, for the swarm of representative points depicting the time evolution of the members of the ensemble.
Let us combine the equation of continuity with the definition of the divergence in the phase space.
The term is zero due to equation of motion, which we wrote out at the beginning as a condition that the phase point or representative point was required to satisfy. So if we use the equation of motion to the definition of divergence, coupled with equation of continuity we can see immediately that the term is indeed zero.
Thus we can write;
where is the Poisson bracket.
The above boxed equation is known as Liouville’s theorem.
It signifies that for an observer moving with a representative point, the “local” density of the representative points stays constant in time. The “swarm of representative points” move in phase space in a manner identical to the motion of an incompressible fluid in physical space.