View source for Microcanonical ensemble

{{Use American English|date=January 2019}}
{{Use mdy dates|date=January 2019}}
{{Short description|Ensemble of states with an exactly specified total energy}}
{{Statistical mechanics|cTopic=Ensembles}}

In [[statistical mechanics]], a '''micro-canonical ensemble''' is the [[statistical ensemble (mathematical physics)|statistical ensemble]] that is used to represent the possible states of a mechanical system that has an exactly specified total energy.<ref name="gibbs">{{cite book |last=Gibbs |first=Josiah Willard |authorlink=Josiah Willard Gibbs |title=Elementary Principles in Statistical Mechanics |year=1902 |publisher=[[Charles Scribner's Sons]] |location=New York|title-link=Elementary Principles in Statistical Mechanics }}</ref> The system is assumed to be isolated in the sense that the system cannot exchange energy or particles with its environment, so that (by [[conservation of energy]]) the energy of the system remains exactly the same as time goes on. The system's energy, composition, volume, and shape are kept the same in all possible states of the system.

The macroscopic variables of the micro-canonical ensemble are quantities that influence the nature of the system's micro-states such as the total number of particles in the system (symbol: {{math|''N''}}), the system's volume (symbol: {{math|''V''}}), as well as the total energy in the system (symbol: {{math|''E''}}). This ensemble is therefore sometimes called the '''{{math|''NVE''}} ensemble''', as each of these three quantities is a constant of the ensemble.

In simple terms, the micro-canonical ensemble is defined by assigning an equal probability to every [[microstate (statistical mechanics)|micro-state]] whose energy falls within a range centered at {{math|''E''}}. All other micro-states are given a probability of zero. Since the probabilities must add up to 1, the probability {{math|''P''}} is the inverse of the number of micro-states {{math|''W''}} within the range of energy,
:<math>P = 1/W,</math>
The range of energy is then reduced in width until it is [[infinitesimal]]ly narrow, still centered at {{math|''E''}}. In the [[Limit (mathematics)|limit]] of this process, the micro-canonical ensemble is obtained.<ref name="gibbs"/>

==Applicability==

The micro-canonical ensemble is sometimes considered to be [[Fundamental postulate of statistical mechanics|the fundamental distribution]] of statistical thermodynamics, as its form can be justified on elementary grounds such as the [[principle of indifference]]: the micro-canonical ensemble describes the possible states of an isolated mechanical system when the energy is known exactly, but without any more information about the internal state. Also, in some special systems the evolution is [[ergodic]] in which case the micro-canonical ensemble is equal to the time-ensemble when starting out with a single state of energy {{math|''E''}} (a time-ensemble is the ensemble formed of all future states evolved from a single initial state).

In practice, the micro-canonical ensemble does not correspond to an experimentally realistic situation. With a real physical system there is at least some uncertainty in energy, due to uncontrolled factors in the preparation of the system. Besides the difficulty of finding an experimental analogue, it is difficult to carry out calculations that satisfy exactly the requirement of fixed energy since it prevents logically independent parts of the system from being analyzed separately. Moreover, there are ambiguities regarding the appropriate definitions of quantities such as entropy and temperature in the micro-canonical ensemble.<ref name="gibbs"/>

Systems in thermal equilibrium with their environment have uncertainty in energy, and are instead described by the [[canonical ensemble]] or the [[grand canonical ensemble]], the latter if the system is also in equilibrium with its environment in respect to particle exchange.

==Properties==

{{unordered list
| 1 = ''Statistical equilibrium'' (steady state): A microcanonical ensemble does not evolve over time, despite the fact that every constituent of the ensemble is in motion. This is because the ensemble is defined strictly as a function of a conserved quantity of the system (energy).<ref name="gibbs"/>
| 2 = ''Maximal [[information entropy]]'': For a given mechanical system (fixed {{math|''N''}}, {{math|''V''}}) and a given range of energy, the uniform distribution of probability over microstates (as in the microcanonical ensemble) maximizes the ensemble average {{math|−⟨log ''P''⟩}}.<ref name="gibbs"/>
| 3 = Three different quantities called "entropy" can be defined for the microcanonical ensemble.<ref>{{cite book|title=Statistical Mechanics|last1=Huang|first1=Kerson|year= 1987|publisher=Wiley|isbn=978-0471815181|page=134}}</ref> Each can be defined in terms of the phase volume function {{math|''v''(''E'')}}, which counts the total number of states with energy less than {{math|''E''}} (see the [[#Precise expressions for the ensemble|Precise expressions]] section for the mathematical definition of {{math|''v''}}):
{{unordered list
| 1 = the [[Boltzmann entropy]]<ref group=note>{{math|''S''<sub>B</sub>}} is the [[information entropy]], or [[Gibbs entropy]], for the specific case of the microcanonical ensemble. Note that it depends on the energy width {{math|''ω''}}.</ref>
:<math>S_\text{B} = k \log W = k \log\left(\omega \frac{dv}{dE}\right),</math>
| 2 = the volume entropy
:<math>S_v = k \log v,</math>
| 3 = the surface entropy
:<math>S_s = k \log \frac{dv}{dE} =  S_\text{B} - k \log \omega.</math>
}}
| 4 =  Different "temperatures" may be defined by differentiating the entropy quantities:
:<math>1/T_v = dS_v/dE,</math>
:<math>1/T_s = dS_s/dE = dS_\text{B}/dE.</math>
The analogies between these quantities and thermodynamics is not perfect, as discussed below.
}}

==Thermodynamic analogies==

Early work in statistical mechanics by [[Ludwig Boltzmann]] led to his [[Boltzmann entropy formula|eponymous entropy equation]] for a system of a given total energy, {{math|''S'' {{=}} ''k'' log ''W''}}, where {{math|''W''}} 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 micro-canonical ensemble described in this article.<ref name="gibbs"/> Gibbs investigated carefully the analogies between the micro-canonical ensemble and thermodynamics, especially how they break down in the case of systems of few degrees of freedom. He introduced two further definitions of micro-canonical entropy that do not depend on {{math|''ω''}} - the volume and surface entropy described above. (Note that the surface entropy differs from the Boltzmann entropy only by an {{math|''ω''}}-dependent offset.)

The volume entropy {{math|''S''<sub>v</sub>}} and associated {{math|''T''<sub>v</sub>}} form a close analogy to thermodynamic entropy and temperature. It is possible to show exactly that
:<math>dE = T_{\rm v} dS_{\rm v} - \langle P\rangle dV,</math>
<!-- :{{math|''dE'' {{=}} ''T''<sub>v</sub>''dS''<sub>v</sub> - ⟨''P''⟩''dV''}} -->
({{math|⟨''P''⟩}} 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 {{math|''T''<sub>s</sub>}}, however the "pressure" in this equation is a complicated quantity unrelated to the average pressure.<ref name="gibbs"/>

The micro-canonical {{math|''T''<sub>v</sub>}} and {{math|''T''<sub>s</sub>}} are not entirely satisfactory in their analogy to temperature. Outside of the [[thermodynamic limit]], a number of artifacts occur.
* ''Nontrivial result of combining two systems'': Two systems, each described by an independent micro-canonical ensemble, can be brought into thermal contact and be allowed to equilibriate into a combined system also described by a micro-canonical ensemble. Unfortunately, the energy flow between the two systems cannot be predicted based on the initial {{math|''T''}}'s. Even when the initial {{math|''T''}}'s are equal, there may be energy transferred. Moreover, the {{math|''T''}} 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.<ref name="gibbs"/>
* ''Strange behavior for few-particle systems'': Many results such as the micro-canonical [[Equipartition theorem]] acquire a one- or two-degree of freedom offset when written in terms of {{math|''T''<sub>s</sub>}}. For a small systems this offset is significant, and so if we make {{math|''S''<sub>s</sub>}} the analogue of entropy, several exceptions need to be made for systems with only one or two degrees of freedom.<ref name="gibbs"/>
* ''Spurious negative temperatures'': A negative {{math|''T''<sub>s</sub>}} occurs whenever the density of states is decreasing with energy. In some systems the density of states is not [[Monotonic function|monotonic]] in energy, and so {{math|''T''<sub>s</sub>}} can change sign multiple times as the energy is increased.<ref>{{cite journal|arxiv=1304.2066|author1=Jörn Dunkel|author2=Stefan Hilbert|title=Inconsistent thermostatistics and negative absolute temperatures|year=2013|doi=10.1038/nphys2815|volume=10|issue=1|journal=Nature Physics|pages=67–72|bibcode=2014NatPh..10...67D}}</ref><ref>See further references at https://sites.google.com/site/entropysurfaceorvolume/</ref>

The preferred solution to these problems is avoid use of the micro-canonical 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.<ref name="tolman">{{cite book | last=Tolman |first=R. C. | year=1938 | title=The Principles of Statistical Mechanics | publisher=[[Oxford University Press]]}}</ref>

==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 "micro-state" is considerably different in these two cases. In quantum mechanics, [[Matrix diagonalization|diagonalization]] provides a discrete set of [[microstate (statistical mechanics)|micro-states]] with specific energies. The classical mechanical case involves instead an integral over canonical [[phase space]], and the size of micro-states in phase space can be chosen somewhat arbitrarily.

To construct the micro-canonical ensemble, it is necessary in both types of mechanics to first specify a range of energy. In the expressions below the function <math>f(\tfrac{H - E}{\omega})</math> (a function of {{math|''H''}}, peaking at {{math|''E''}} with width {{math|''ω''}}) will be used to represent the range of energy in which to include states. An example of this function would be<ref name="gibbs"/>
:<math>f(x) = \begin{cases} 1, & \mathrm{if}~|x| < \tfrac 12, \\  0, & \mathrm{otherwise.} \end{cases}</math>
or, more smoothly,
:<math>f(x) = e^{-\pi x^2}.</math>

=== Quantum mechanical ===

{{multiple image
<!-- Essential parameters -->
| align     = right
| direction = horizontal
| width     = 220
| header    = Example of microcanonical ensemble for a quantum system consisting of one particle in a potential well.
| footer    = {{small|The particle's Hamiltonian is [[Schrödinger equation|Schrödinger]]-type, {{math|''Ĥ'' {{=}} ''U''(''x'') + ''p''<sup>2</sup>/2''m''}} (the potential {{math|''U''(''x'')}} is plotted as a red curve). Each panel shows an energy-position plot with the various stationary states, along with a side plot showing the distribution of states in energy.}}
<!-- Image 1 -->
| image1    = Ensemble quantum 1DOF all states.png
| width1    =
| alt1      =
| caption1  = Plot of all possible states of this system. The available stationary states displayed as horizontal bars of varying darkness according to {{math|{{!}}''ψ''<sub>''i''</sub>(x){{!}}<sup>2</sup>}}.
<!-- Image 2 -->
| image2    = Ensemble quantum 1DOF microcanonical.png
| width2    =
| alt2      =
| caption2  = An ensemble containing only those states within a narrow interval of energy. As the energy width is taken to zero, a microcanonical ensemble is obtained (provided the interval contains at least one state).
}}

{{details|topic=the representation of ensembles in quantum mechanics|Statistical ensemble (mathematical physics)}}

A statistical ensemble in quantum mechanics is represented by a [[density matrix]], denoted by <math>\hat\rho</math>. The micro-canonical ensemble can be written using [[bra–ket notation]], in terms of the system's [[stationary state|energy eigenstates]] and energy eigenvalues. Given a complete basis of energy eigenstates {{math|{{!}}''ψ''<sub>''i''</sub>⟩}}, indexed by {{math|''i''}}, the micro-canonical ensemble is{{citation needed|date=November 2013}}
:<math>\hat\rho = \frac{1}{W} \sum_i f\left(\tfrac{H_i - E}{\omega}\right) |\psi_i\rangle \langle \psi_i |,</math>
where the {{math|''H''<sub>''i''</sub>}} are the energy eigenvalues determined by <math>\hat H |\psi_i\rangle = H_i |\psi_i\rangle</math> (here {{math|''Ĥ''}} is the system's total energy operator, i. e., [[Hamiltonian (quantum mechanics)|Hamiltonian operator]]). The value of {{math|''W''}} is determined by demanding that <math>\hat\rho</math> is a normalized density matrix, and so
:<math>W = \sum_i f\left(\tfrac{H_i - E}{\omega}\right).</math>
The state volume function (used to calculate entropy) is given by
:<math>v(E) = \sum_{H_i < E} 1.</math>

The micro-canonical 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 {{math|''E''}}, since no states fall within the range. When the ensemble does exist, it typically only contains one ([[Kramers theorem|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 {{math|''NVEω''}} ensemble).

===Classical mechanical===

{{multiple image
<!-- Essential parameters -->
| align     = right
| direction = horizontal
| width     = 220
| header    = Example of microcanonical ensemble for a classical system consisting of one particle in a potential well.
| footer    = Each panel shows [[phase space]] (upper graph) and energy-position space (lower graph). The particle's Hamiltonian is {{math|''H'' {{=}} ''U''(''x'') + ''p''<sup>2</sup>/2''m''}}, with the potential {{math|''U''(''x'')}} shown as a red curve. The side plot shows the distribution of states in energy.
<!-- Image 1 -->
| image1    = Ensemble classical 1DOF all states.png
| width1    =
| alt1      =
| caption1  = Plot of all possible states of this system. The available physical states are evenly distributed in phase space, but with an uneven distribution in energy; the side-plot displays {{math|''dv''/''dE''}}.
<!-- Image 2 -->
| image2    = Ensemble classical 1DOF microcanonical.png
| width2    =
| alt2      =
| caption2  = An ensemble restricted to only those states within a narrow interval of energy. This ensemble appears as a thin shell in phase space. As the energy width is taken to zero, a microcanonical ensemble is obtained.
}}

{{details|topic=the representation of ensembles in classical mechanics|Statistical ensemble (mathematical physics)}}

In classical mechanics, an ensemble is represented by a [[joint probability density function]] {{math|''ρ''(''p''<sub>1</sub>, … ''p''<sub>''n''</sub>, ''q''<sub>1</sub>, … ''q''<sub>''n''</sub>)}} defined over the system's [[phase space]].<ref name="gibbs"/> The phase space has {{math|''n''}} [[generalized coordinates]] called {{math|''q''<sub>1</sub>, … ''q''<sub>''n''</sub>}}, and {{math|''n''}} associated [[canonical momentum|canonical momenta]] called {{math|''p''<sub>1</sub>, … ''p''<sub>''n''</sub>}}.

The probability density function for the micro-canonical ensemble is:
:<math>\rho = \frac{1}{h^n C} \frac{1}{W} f(\tfrac{H-E}{\omega}),</math>
where
* {{math|''H''}} is the total energy ([[Hamiltonian mechanics|Hamiltonian]]) of the system, a function of the phase {{math|(''p''<sub>1</sub>, … ''q''<sub>''n''</sub>)}},
* {{math|''h''}} is an arbitrary but predetermined constant with the units of {{math|energy×time}}, setting the extent of one micro-state and providing correct dimensions to {{math|''ρ''}}.<ref group=note>(Historical note) Gibbs' original ensemble effectively set {{math|''h'' {{=}} 1 [energy unit]×[time unit]}}, leading to unit-dependence in the values of some thermodynamic quantities like entropy and chemical potential. Since the advent of quantum mechanics, {{math|''h''}} is often taken to be equal to [[Planck's constant]] in order to obtain a semiclassical correspondence with quantum mechanics.</ref>
* {{math|''C''}} is an overcounting correction factor, often used for particle systems where identical particles are able to change place with each other.<ref group=note>In a system of {{math|''N''}} identical particles, {{math|''C'' {{=}} ''N''!}} ([[factorial]] of {{math|''N''}}). This factor corrects the overcounting in phase space due to identical physical states being found in multiple locations. See the [[Statistical ensemble (mathematical physics)#Correcting overcounting in phase space|statistical ensemble]] article for more information on this overcounting.</ref>

Again, the value of {{math|''W''}} is determined by demanding that {{math|''ρ''}} is a normalized probability density function:
:<math>W = \int \ldots \int \frac{1}{h^n C} f(\tfrac{H-E}{\omega}) \, dp_1 \ldots dq_n </math>
This integral is taken over the entire [[phase space]]. The state volume function (used to calculate entropy) is defined by
:<math>v(E) = \int \ldots \int_{H < E} \frac{1}{h^n C} \, dp_1 \ldots dq_n .</math>

As the energy width {{math|''ω''}} is taken to zero, the value of {{math|''W''}} decreases in proportion to {{math|''ω''}} as {{math|''W'' {{=}} ''ω'' (''dv''/''dE'')}}.

Based on the above definition, the micro-canonical ensemble can be visualized as an infinitesimally thin shell in phase space, centered on a constant-energy surface. Although the micro-canonical 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 micro-canonical ensemble is "thicker" (more concentrated) in some parts of the surface than others. This feature is an unavoidable consequence of requiring that the micro-canonical ensemble is a steady-state ensemble.

== Notes ==
{{reflist|group=note}}

== References ==
{{reflist}}

{{Statistical mechanics topics}}

[[Category:Statistical ensembles]]