Now that we have laid out the general framework we needed we can proceed to study the properties of the microcanonical ensemble; we therefore have a system with fixed values of energy , volume and number of particles .
We have just seen that the ensemble of such a system is constituted by a multitude of equivalent microstates; since we have no additional information we can assume that all these microscopic configurations are equally probable. In other words, we introduce statistics in our treatment by formulating the so called a priori equal probability postulate:
If a system is in a given macroscopic configuration it can be found with equal probability in any of the microstates of its ensemble.
Mathematically this means introducing a constant probability density in the ensemble of the system, namely:
is the volume occupied by the ensemble in phase space (i.e. the volume of the set of points corresponding to all the microstates of a given ensemble, which is a hypersurface of constant energy
is a short notation for
. If we now divide both sides by
we see that
as we have defined it has indeed the meaning of a probability density
In particular the Dirac delta is needed to make
vanish everywhere but on the hypersurface of energy
in phase space, and
in order to correctly normalize
Therefore since we have introduced a probability density in phase space, if in general we define an observable as a function of all the positions and momenta of the particles we can define its mean value in the ensemble as:
This is the value of
that we actually measure: since the microstate of the system is continuously moving through the ensemble and since the time that macroscopic measurements require is many orders of magnitude longer than the time intervals typical of microscopic dynamics, we will only be able to measure ensemble averages
Now, the mean value of an observable is significant if its variance is small, otherwise the results of a measure of the same quantity in the same conditions would fluctuate over a wide range making the observable essentially meaningless; for example, since we know that a system in equilibrium has a constant value of energy we expect that, in order to be a good theory, statistical mechanics can show that the statistical fluctuations of energy (at least for macroscopic systems) are very small and thus negligible, but of course this consideration can be extended to any observable (like the number of particles of a system)
. We will show that (fortunately!) this is always the case.
We can however already get a taste of that in a very simple situation: consider a gas of particles in a cubic box of side and let us mentally divide this box into two halves, the right and the left one. We ask: what is the probability to find particles in the right half and in the left one?
Since intuitively the probability to find a single particle in one half of the box is we will have:
where we have introduced the binomial factor because all the configurations which differ for the exchange of particles are equivalent, since they are identical. The original question we asked can now be rephrased as: how does
If we call
the probability to find a particle in the left half and
the probability to find it in the right one (we will later set both equal to
, but let's distinguish them for now), we have:
which is rather reasonable. Therefore, we expect that the configuration where
particles are in the right half and
in the left one is the most probable for our system. However, how much
more probable is this configuration with respect to the other ones?
In order to understand that let us also compute the standard deviation from the mean value
. We have:
This means that the relative fluctuation is:
which turns out to be astonishingly small: in fact if
this relative fluctuation is of the order of
. We can therefore conclude that the fluctuations of the number of particles in the two halves from their mean values are absolutely negligible (we never observe the gas spontaneously occupying only one half of the system!).
We can also obtain the same result in a slightly more complicated way, but which allows us to extract some more interesting information on the system.
In order to do that let us consider the logarithm of :
Using Stirling's approximation (see the appendix Stirling's approximation
) for large
and with some algebraic reshuffling we obtain:
is even in
, as we could have expected). If we now suppose that
, and the previous computation showed that this is indeed the case, then:
and plugging this approximation to the second order in
Therefore, we learn the interesting fact that for macroscopic systems if
the probability to find
particles in excess or lack in the two halves of the system is distributed along a Gaussian with
; we have therefore found the same result as before, since the relative fluctuation is again of the order
- ↑ What we are seeing now could also have been derived in a different but equivalent way.
Let us suppose that the energy of the system instead of being exactly equal to can belong to the interval with . This means that in phase space the system will occupy the region enclosed by the two hypersurfaces of energy and ; the volume of this region can be written as:
where is the Heaviside step function. Within the theory of distributions it can be shown that, formally, the derivative of is the Dirac function, i.e. , so that:
On the other hand, we could have equivalently obtained the expression of from the general definition of the mean value of an observable over this ensemble:
and proceeding in the same way.
- ↑ In other words, it is impossible to measure a macroscopic quantity relative to a single microstate of the system since in the time the measurement takes the system will have acquired many other different microscopic configurations and what we measure is the average (of course weighted with the probability density of the ensemble) over all the microscopic configurations acquired. This also relates to what we will see in The foundations of statistical mechanics and in the appendix A more convincing foundation of statistical mechanics.
- ↑ Of course this is not possible in the microcanonical ensemble, since both and are fixed, and will become possible in the other ensembles.