Microcanonical Ensemble

In statistical mechanics, the microcanonical ensemble is a statistical ensemble that represents the possible states of a mechanical system whose total energy is exactly specified. The system is assumed to be isolated in the sense that it cannot exchange energy or particles with its environment, so that (by conservation of energy) the energy of the system does not change with time.

The primary macroscopic variables of the microcanonical ensemble are the total number of particles in the system (symbol: ), the system's volume (symbol: ), as well as the total energy in the system (symbol: ). Each of these is assumed to be constant in the ensemble. For this reason, the microcanonical ensemble is sometimes called the ensemble.

In simple terms, the microcanonical ensemble is defined by assigning an equal probability to every microstate whose energy falls within a range centered at . All other microstates are given a probability of zero. Since the probabilities must add up to 1, the probability is the inverse of the number of microstates within the range of energy,
:$P = 1/W,$
The range of energy is then reduced in width until it is infinitesimally narrow, still centered at . In the limit of this process, the microcanonical ensemble is obtained.

Applicability

Because of its connection with the elementary assumptions of equilibrium statistical mechanics (particularly the postulate of a priori equal probabilities), the microcanonical ensemble is an important conceptual building block in the theory. It is sometimes considered to be the fundamental distribution of equilibrium statistical mechanics. It is also useful in some numerical applications, such as molecular dynamics. On the other hand, most nontrivial systems are mathematically cumbersome to describe in the microcanonical ensemble, and there are also ambiguities regarding the definitions of entropy and temperature. For these reasons, other ensembles are often preferred for theoretical calculations.

The applicability of the microcanonical ensemble to real-world systems depends on the importance of energy fluctuations, which may result from interactions between the system and its environment as well as uncontrolled factors in preparing the system. Generally, fluctuations are negligible if a system is macroscopically large, or if it is manufactured with precisely known energy and thereafter maintained in near isolation from its environment. In such cases the microcanonical ensemble is applicable. Otherwise, different ensembles are more appropriate—such as the canonical ensemble (fluctuating energy) or the grand canonical ensemble (fluctuating energy and particle number).

Properties

Thermodynamic quantities

The fundamental thermodynamic potential of the microcanonical ensemble is entropy. There are at least three possible definitions, each given in terms of the phase volume function , which counts the total number of states with energy less than (see the Precise expressions section for the mathematical definition of ):

In the microcanonical ensemble, the temperature is a derived quantity rather than an external control parameter. It is defined as the derivative of the chosen entropy with respect to energy. For example, one can define the "temperatures" and as follows:
:$1/T_v = dS_v/dE,$
:$1/T_s = dS_s/dE = dS_\text/dE.$
Like entropy, there are multiple ways to understand temperature in the microcanonical ensemble. More generally, the correspondence between these ensemble-based definitions and their thermodynamic counterparts is not perfect, particularly for finite systems.

The microcanonical pressure and chemical potential are given by:
:$\frac=\frac; \qquad \frac=-\frac$

Phase transitions

Under their strict definition, phase transitions correspond to nonanalytic behavior in the thermodynamic potential or its derivatives.Nigel Goldenfeld; ''Lectures on Phase Transitions and the Renormalization Group'', Frontiers in Physics 85, Westview Press (June, 1992) Using this definition, phase transitions in the microcanonical ensemble can occur in systems of any size. This contrasts with the canonical and grand canonical ensembles, for which phase transitions can occur only in the thermodynamic limit—i.e., in systems with infinitely many degrees of freedom. Roughly speaking, the reservoirs defining the canonical or grand canonical ensembles introduce fluctuations that "smooth out" any nonanalytic behavior in the free energy of finite systems. This smoothing effect is usually negligible in macroscopic systems, which are sufficiently large that the free energy can approximate nonanalytic behavior exceedingly well. However, the technical difference in ensembles may be important in the theoretical analysis of small systems.

Information entropy

For a given mechanical system (fixed , ) and a given range of energy, the uniform distribution of probability over microstates (as in the microcanonical ensemble) maximizes the ensemble average .

Thermodynamic analogies

Early work in statistical mechanics by Ludwig Boltzmann led to his eponymous entropy equation for a system of a given total energy, , where is the number of distinct states accessible by the system at that energy. Boltzmann did not elaborate too deeply on what exactly constitutes the set of distinct states of a system, besides the special case of an ideal gas. This topic was investigated to completion by Josiah Willard Gibbs who developed the generalized statistical mechanics for arbitrary mechanical systems, and defined the microcanonical ensemble described in this article. Gibbs investigated carefully the analogies between the microcanonical ensemble and thermodynamics, especially how they break down in the case of systems of few degrees of freedom. He introduced two further definitions of microcanonical entropy that do not depend on - the volume and surface entropy described above. (Note that the surface entropy differs from the Boltzmann entropy only by an -dependent offset.)

The volume entropy and associated form a close analogy to thermodynamic entropy and temperature. It is possible to show exactly that
:$dE = T_ dS_ - \langle P\rangle dV,$

( is the ensemble average pressure) as expected for the first law of thermodynamics. A similar equation can be found for the surface (Boltzmann) entropy and its associated , however the "pressure" in this equation is a complicated quantity unrelated to the average pressure.

The microcanonical and are not entirely satisfactory in their analogy to temperature. Outside of the thermodynamic limit, a number of artefacts occur.
* ''Nontrivial result of combining two systems'': Two systems, each described by an independent microcanonical ensemble, can be brought into thermal contact and be allowed to equilibriate into a combined system also described by a microcanonical ensemble. Unfortunately, the energy flow between the two systems cannot be predicted based on the initial 's. Even when the initial 's are equal, there may be energy transferred. Moreover, the of the combination is different from the initial values. This contradicts the intuition that temperature should be an intensive quantity, and that two equal-temperature systems should be unaffected by being brought into thermal contact.
* ''Strange behavior for few-particle systems'': Many results such as the microcanonical Equipartition theorem acquire a one- or two-degree of freedom offset when written in terms of . For a small systems this offset is significant, and so if we make the analogue of entropy, several exceptions need to be made for systems with only one or two degrees of freedom.
* ''Spurious negative temperatures'': A negative occurs whenever the density of states is decreasing with energy. In some systems the density of states is not monotonic in energy, and so can change sign multiple times as the energy is increased.See further references at https://sites.google.com/site/entropysurfaceorvolume/

The preferred solution to these problems is avoid use of the microcanonical ensemble. In many realistic cases a system is thermostatted to a heat bath so that the energy is not precisely known. Then, a more accurate description is the canonical ensemble or grand canonical ensemble, both of which have complete correspondence to thermodynamics.

Precise expressions for the ensemble

The precise mathematical expression for a statistical ensemble depends on the kind of mechanics under consideration—quantum or classical—since the notion of a "microstate" is considerably different in these two cases. In quantum mechanics, diagonalization provides a discrete set of microstates with specific energies. The classical mechanical case involves instead an integral over canonical phase space, and the size of microstates in phase space can be chosen somewhat arbitrarily.

To construct the microcanonical ensemble, it is necessary in both types of mechanics to first specify a range of energy. In the expressions below the function $f(\tfrac)$ (a function of , peaking at with width ) will be used to represent the range of energy in which to include states. An example of this function would be
:$f(x) = \begin 1, & \mathrm~, x, < \tfrac 12, \\ 0, & \mathrm \end$
or, more smoothly,
:$f(x) = e^.$

Quantum mechanical

A statistical ensemble in quantum mechanics is represented by a density matrix, denoted by $\hat\rho$. The microcanonical ensemble can be written using bra–ket notation, in terms of the system's energy eigenstates and energy eigenvalues. Given a complete basis of energy eigenstates , indexed by , the microcanonical ensemble is
:$\hat\rho = \frac \sum_i f\left(\tfrac\right) , \psi_i\rangle \langle \psi_i , ,$
where the are the energy eigenvalues determined by $\hat H , \psi_i\rangle = H_i , \psi_i\rangle$ (here is the system's total energy operator, i. e., Hamiltonian operator). The value of is determined by demanding that $\hat\rho$ is a normalized density matrix, and so
:$W = \sum_i f\left(\tfrac\right).$
The state volume function (used to calculate entropy) is given by
:$v(E) = \sum_ 1.$

The microcanonical ensemble is defined by taking the limit of the density matrix as the energy width goes to zero, however a problematic situation occurs once the energy width becomes smaller than the spacing between energy levels. For very small energy width, the ensemble does not exist at all for most values of , since no states fall within the range. When the ensemble does exist, it typically only contains one ( or two) states, since in a complex system the energy levels are only ever equal by accident (see random matrix theory for more discussion on this point). Moreover, the state-volume function also increases only in discrete increments, and so its derivative is only ever infinite or zero, making it difficult to define the density of states. This problem can be solved by not taking the energy range completely to zero and smoothing the state-volume function, however this makes the definition of the ensemble more complicated, since it becomes then necessary to specify the energy range in addition to other variables (together, an ensemble).

Classical mechanical

In classical mechanics, an ensemble is represented by a joint probability density function defined over the system's phase space. The phase space has generalized coordinates called , and associated canonical momenta called .

The probability density function for the microcanonical ensemble is:
:$\rho = \frac \frac f(\tfrac),$
where
* is the total energy ( Hamiltonian) of the system, a function of the phase ,
* is an arbitrary but predetermined constant with the units of , setting the extent of one microstate and providing correct dimensions to .(Historical note) Gibbs' original ensemble effectively set , leading to unit-dependence in the values of some thermodynamic quantities like entropy and chemical potential. Since the advent of quantum mechanics, is often taken to be equal to Planck's constant in order to obtain a semiclassical correspondence with quantum mechanics.
* is an overcounting correction factor, often used for particle systems where identical particles are able to change place with each other.In a system of identical particles, (factorial of ). This factor corrects the overcounting in phase space due to identical physical states being found in multiple locations. See the statistical ensemble article for more information on this overcounting.

Again, the value of is determined by demanding that is a normalized probability density function:
:$W = \int \ldots \int \frac f(\tfrac) \, dp_1 \ldots dq_n$
This integral is taken over the entire phase space. The state volume function (used to calculate entropy) is defined by
:$v(E) = \int \ldots \int_ \frac \, dp_1 \ldots dq_n .$

As the energy width is taken to zero, the value of decreases in proportion to as .

Based on the above definition, the microcanonical ensemble can be visualized as an infinitesimally thin shell in phase space, centered on a constant-energy surface. Although the microcanonical ensemble is confined to this surface, it is not necessarily uniformly distributed over that surface: if the gradient of energy in phase space varies, then the microcanonical ensemble is "thicker" (more concentrated) in some parts of the surface than others. This feature is an unavoidable consequence of requiring that the microcanonical ensemble is a steady-state ensemble.

Examples

Ideal gas

The fundamental quantity in the microcanonical ensemble is $W(E, V, N)$, which is equal to the phase space volume compatible with given $(E, V, N)$. From $W$, all thermodynamic quantities can be calculated. For an ideal gas, the energy is independent of the particle positions, which therefore contribute a factor of $V^N$ to $W$. The momenta, by contrast, are constrained to a $3N$-dimensional (hyper-)spherical shell of radius $\sqrt$; their contribution is equal to the surface volume of this shell. The resulting expression for $W$ is:
:$W = \frac \frac\left(2mE\right)^$
where $\Gamma(.)$ is the gamma function, and the factor $N!$ has been included to account for the indistinguishability of particles (see Gibbs paradox). In the large $N$ limit, the Boltzmann entropy $S = k_ \log W$ is
:
S = k_ N \log \left \frac VN \left(\frac\frac EN\right)^\right k_ N + O\left( \log N \right)

This is also known as the Sackur–Tetrode equation.

The temperature is given by
:$\frac \equiv \frac = \frac \frac$
which agrees with analogous result from the kinetic theory of gases. Calculating the pressure gives the ideal gas law:
:$\frac \equiv \frac = \frac \quad \rightarrow \quad pV = N k_ T$
Finally, the chemical potential $\mu$ is
:
\mu \equiv -T \frac = k_ T \log \left frac \, \left(\frac \right)^ \right

Ideal gas in a uniform gravitational field

The microcanonical phase volume can also be calculated explicitly for an ideal gas in a uniform gravitational field.

The results are stated below for a 3-dimensional ideal gas of $N$ particles, each with mass $m$, confined in a thermally isolated container that is infinitely long in the ''z''-direction and has constant cross-sectional area $A$. The gravitational field is assumed to act in the minus ''z'' direction with strength $g$. The phase volume $W(E, N)$ is
:$W(E, N) = \frac E^$
where $E$ is the total energy, kinetic plus gravitational.

The gas density $\rho(z)$ as a function of height $z$ can be obtained by integrating over the phase volume coordinates. The result is:
:$\rho(z) = \left(\frac - 1 \right) \frac\left(1 - \frac \right)^$
Similarly, the distribution of the velocity magnitude $, \vec,$ (averaged over all heights) is
:$f(, \vec, ) = \frac \times \frac \times \left(1 - \frac \right)^$
The analogues of these equations in the canonical ensemble are the barometric formula and the Maxwell–Boltzmann distribution, respectively. In the limit $N \rightarrow \infty$, the microcanonical and canonical expressions coincide; however, they differ for finite $N$. In particular, in the microcanonical ensemble, the positions and velocities are not statistically independent. As a result, the kinetic temperature, defined as the average kinetic energy in a given volume $A \, dz$, is nonuniform throughout the container:
:$T_ = \frac\left(1 - \frac \right)$
By contrast, the temperature is uniform in the canonical ensemble, for any $N$.

See also

*Isolated system
*Ergodic hypothesis
*Loschmidt's paradox

Notes

References

{{Statistical mechanics topics

Statistical ensembles