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.[1] 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,
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.[2] [3] 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.[4] [5]
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.[6] 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).
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.[7] For example, one can define the "temperatures" and as follows:
1/Tv=dSv/dE,
1/Ts=dSs/dE=dSB/dE.
The microcanonical pressure and chemical potential are given by:[8]
p | = | |
T |
\partialS | |
\partialV |
;
\mu | =- | |
T |
\partialS | |
\partialN |
Under their strict definition, phase transitions correspond to nonanalytic behavior in the thermodynamic potential or its derivatives.[9] 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.[9] [10] 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.[10]
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 .[1]
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.[1] 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
Sv
Tv
dE=TvdSv-\langleP\rangledV,
Ss
SB
The microcanonical temperatures
Tv
Ts
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.[13]
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\left(\tfrac{H-E}{\omega}\right)
f(x)=\begin{cases}1,&if~|x|<\tfrac12,\ 0,&otherwise.\end{cases}
f(x)=
-\pix2 | |
e |
.
A statistical ensemble in quantum mechanics is represented by a density matrix, denoted by
\hat\rho
\hat\rho=
1 | |
W |
\sumif\left(\tfrac{Hi-E}{\omega}\right)|\psii\rangle\langle\psii|,
\hatH|\psii\rangle=Hi|\psii\rangle
\hat\rho
W=\sumif\left(\tfrac{Hi-E}{\omega}\right).
v(E)=
\sum | |
Hi<E |
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).
In classical mechanics, an ensemble is represented by a joint probability density function defined over the system's phase space.[1] The phase space has generalized coordinates called, and associated canonical momenta called .
The probability density function for the microcanonical ensemble is:
\rho=
1 | |
hnC |
1 | |
W |
f\left(\tfrac{H-E}{\omega}\right),
Again, the value of is determined by demanding that is a normalized probability density function:
W=\int\ldots\int
1 | |
hnC |
f\left(\tfrac{H-E}{\omega}\right)dp1\ldotsdqn
v(E)=\int\ldots\intH
1 | |
hnC |
dp1\ldotsdqn.
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.
The fundamental quantity in the microcanonical ensemble is
W(E,V,N)
(E,V,N)
W
VN
W
3N
\sqrt{2mE}
W
W=
VN | |
N! |
2\pi3N/2 | |
\Gamma(3N/2) |
\left(2mE\right)(3N-1)/2
\Gamma(.)
N!
N
S=kBlogW
S=k\rmNlog\left[
VN | |||
|
EN\right) | \right]+{ | |
3/2 |
52} | |
k |
\rmN+O\left(logN\right)
The temperature is given by
1 | |
T |
\equiv
\partialS | |
\partialE |
=
3 | |
2 |
NkB | |
E |
p | |
T |
\equiv
\partialS | |
\partialV |
=
NkB | |
V |
→ pV=NkBT
\mu
\mu\equiv-T
\partialS | |
\partialN |
=k\rmTlog\left[
V | |
N |
\left(
4\pimE | |
3N |
\right)3/2\right]
The microcanonical phase volume can also be calculated explicitly for an ideal gas in a uniform gravitational field.[17]
The results are stated below for a 3-dimensional ideal gas of
N
m
A
g
W(E,N)
W(E,N)=
(2\pi)3N/2ANmN/2 | |
gN\Gamma(5N/2) |
| |||||
E |
E
The gas density
\rho(z)
z
\rho(z)=\left(
5N | |
2 |
-1\right)
mg | |
E |
\left(1-
mgz | |
E |
| |||||
\right) |
|\vec{v}|
f(|\vec{v}|)=
\Gamma(5N/2) | |
\Gamma(3/2)\Gamma(5N/2-3/2) |
x
m3/2|\vec{v | |
| |
2
N → infty
N
Adz
Tkinetic=
3E | |
5N-2 |
\left(1-
mgz | |
E |
\right)
N