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,

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 .  In classical mechanics  this is the volume of the region of phase space where the energy is less than .  In quantum mechanics  is roughly the number of energy eigenstates with energy less than ; however this must be smoothed so that we can take its derivative (see the Precise expressions section for details on how this is done).   The definitions of microcanonical entropy are:

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:
 
 
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:

Phase transitions 
Under their strict definition, phase transitions correspond to nonanalytic behavior in the thermodynamic potential or its derivatives. 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 temperature  are closely analogous to thermodynamic entropy and temperature. It is possible to show exactly that
 

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

The microcanonical temperatures  and  are not entirely satisfactory in their analogy to temperature as defined using a canonical ensemble. 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.

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  (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
 
or, more smoothly,

Quantum mechanical 

A statistical ensemble in quantum mechanics is represented by a density matrix, denoted by . 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
 
where the  are the energy eigenvalues determined by  (here  is the system's total energy operator, i. e., Hamiltonian operator). The value of  is determined by demanding that  is a normalized density matrix, and so
 
The state volume function (used to calculate entropy) is given by
 

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:
 
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 .
  is an overcounting correction factor, often used for particle systems where identical particles are able to change place with each other.

Again, the value of  is determined by demanding that  is a normalized probability density function:
 
This integral is taken over the entire phase space. The state volume function (used to calculate entropy) is defined by
 

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 , which is equal to the phase space volume compatible with given . From , all thermodynamic quantities can be calculated. For an ideal gas, the energy is independent of the particle positions, which therefore contribute a factor of  to . The momenta, by contrast, are constrained to a -dimensional (hyper-)spherical shell of radius ; their contribution is equal to the surface volume of this shell. The resulting expression for  is:
 
where  is the gamma function, and the factor  has been included to account for the indistinguishability of particles (see Gibbs paradox). In the large  limit, the Boltzmann entropy  is
 
This is also known as the Sackur–Tetrode equation.

The temperature is given by
 
which agrees with analogous result from the kinetic theory of gases. Calculating the pressure gives the ideal gas law:
 
Finally, the chemical potential  is

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  particles, each with mass , confined in a thermally isolated container that is infinitely long in the z-direction and has constant cross-sectional area . The gravitational field is assumed to act in the minus z direction with strength . The phase volume  is
 
where  is the total energy, kinetic plus gravitational.

The gas density  as a function of height  can be obtained by integrating over the phase volume coordinates. The result is:
 
Similarly, the distribution of the velocity magnitude  (averaged over all heights) is
 
The analogues of these equations in the canonical ensemble are the barometric formula and the Maxwell–Boltzmann distribution, respectively. In the limit , the microcanonical and canonical expressions coincide; however, they differ for finite . 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 , is nonuniform throughout the container:
 
By contrast, the temperature is uniform in the canonical ensemble, for any .

See also 
 Isolated system
 Ergodic hypothesis
 Loschmidt's paradox
 Canonical ensemble
 Grand canonical ensemble

Notes

References 

Statistical ensembles