Microcanonical ensemble: Definition from Answers.com

Statistical mechanics
Microcanonical ensemble
Canonical ensemble
Grand canonical ensemble
Isothermal–isobaric ensemble
Isoenthalpic–isobaric ensemble
edit

In statistical physics, the microcanonical ensemble is a theoretical tool used to describe the thermodynamic properties of an isolated system. In such a system, the possible states of the system all have the same energy and the probability for the system to be in any given state is the same.

1 Terminology
2 The Microcanonical Ensemble
- 2.1 Relation to the Canonical Ensemble
3 Entropy
- 3.1 An application: residual entropy
4 Classical mechanical systems
5 Connection with Liouville's theorem
6 Ergodic hypothesis
- 6.1 Remark
7 Quantum mechanical systems
- 7.1 Semi-classical treatment
- 7.2 Density operators
8 References

Terminology

A macroscopic system, e.g. a gas in a box, consists of many particles. A microstate is a complete description of every particle in the system. For a gas, this would be the position and velocity of all molecules. In quantum mechanics, a microstate would be the complete many-particle wavefunction.

It is impossible to exactly determine the microstate of a large system. Therefore, different microstates that lead to the same macroscopic properties such as volume, temperature or energy are bundled in a macrostate.

A statistical ensemble is a theoretical tool used to analyze a macroscopic system. One imagines multiple copies of the system. Each copy of the system has a different microstate, but all copies share the same macrostate. To fully describe a statistical ensemble it is also necessary to specify the probability for a certain microstate to occur. Thermodynamic properties of the system are then obtained by taking the average value of all copies in the ensemble. The fundamental assumption of thermodynamics is that each microstate occurs with the same probability.

The Microcanonical Ensemble

In the microcanonical ensemble, all copies of the system have the same number of particles (N), the same volume (V) and the same energy (E). This is precisely what distinguishes a isolated system. If $Ω$ is the number of accessible microstates, the probability that a system chosen at random from the ensemble would be in a given microstate is simply $\frac{1}{\Omega}$ . It is possible to approximately calculate $Ω$ for a number of systems such as the ideal gas or the 2-state paramagnet.

The benefit of the ensemble is that it allows for calculation of average values for thermodynamic properties. For example, while the pressure of a container of gas fluctuates continuously, we measure the time average of the pressure. The ensemble contains all microstates which the system might inhabit during the period of measurement, so we can replace the time average with an average over the ensemble. System for which this is possible are called ergodic.

Relation to the Canonical Ensemble

A microcanonical ensemble is a degenerate canonical ensemble in the sense that a canonical ensemble can be divided into sub-ensembles, each of which corresponds to a possible energy value and is itself a microcanonical ensemble.

Note that thermodynamical systems that appear in physics are sometimes constituted of extended objects (e.g. strings) and in this case the canonical and microcanonical ensembles are not equivalent. One must then resort to the microcanonical ensemble which is thought to be more fundamental. This, in turn, actually leads to a limiting maximum temperature called the Hagedorn temperature in string theory which is possibly relevant in the early universe which was, according to observations, much denser and hotter than it is today. We should emphasize that one can calculate with the canonical ensemble, but to actually derive a physical quantity, such as the entropy or energy density, one needs do so from the microcanonical ensemble, from Ω. (For more information see Deo et al.)

Entropy

From the number of accessible microstates, $Ω$ , we can obtain the Entropy of the system via

$S = \, k_B \ln \Omega$

where $k B$ is the Boltzmann constant. Or, equivalently,

$\Omega(U,V,N) = e^{S/k_B} .$

Some textbooks present this formula as the definition of entropy. If the entropy is defined phenomenologically via the second law of thermodynamics one has to show that the formula above indeed satisfies the law $d U = T d S + d A$ .

Notice that, for the microcanonical ensemble, $Ω$ plays the role of the partition function in the canonical and grand canonical ensembles. For this reason, it is also sometimes referred to as the "microcanonical partition function". We should note here that the notion of multiplicity $e^{S/k_B}$ is valid for any thermodynamical system. The same can be said for partition functions and any ensemble. It is only for the microcanonical ensemble that they happen to be the same.

$Ω$ is also called the characteristic state function of the microcanonical ensemble.

An application: residual entropy

The expression for entropy above can be used to calculate the residual entropy.

The third law of thermodynamics says that the entropy of a pure crystalline substance at 0 K is zero. However, in some solids, at temperatures close to 0 K, there may be many molecular orientations. For example, water molecules in ice crystal may arrange themselves in several different ways. In principle, there must be one molecular orientation with the lowest energy. But due the near randomness with which configurations occur, it is often impractical to attempt realization of the lowest energy configuration. This leads to the notion of residual entropy. Furthermore, there is often very little difference between the total energy of the system and different molecular configurations. Therefore, as an approximation, the system can be viewed having fixed energy and the possible configurations as microstates: a microcanonical ensemble. So it is sensible to estimate the residual entropy via the same expression for the microcanonical ensemble entropy:

$S =\, k_B \ln \Omega$

where Ω is the number of possible molecular arrangements of the crystal, at some suitable temperature range close to 0 K.

Classical mechanical systems

As with any ensemble of classical systems, we would like to find a corresponding probability measure on the phase space "M". This constant energy assumption means that every system in the ensemble is confined to a submanifold of phase space of constant energy "E". Call this submanifold $M E$ . From the physical considerations given above, it is already clear what the probability measure on the constant energy surface ("not the full phase space") should be: namely, the trivial one that is constant everywhere. However, while only the submanifold $M E$ is of interest for the microcanonical ensemble, in other, more general ensembles, it is necessary to consider the full phase space. We now construct a measure on the full phase space that is suitable for the microcanonical ensemble.

The Liouville measure $d q d p$ on the full phase space induces a measure $d A$ on $M E$ in the following manner:

The measure of an open subset R of $M E$ is given by

$\lim_{\Delta E \to 0}\frac{\mbox{vol}(Q(E, E + \Delta E))}{\Delta E}$

Where Q is any open subset of M such that Q ∩ M = R, Q(E, E + ΔE) is part of Q with E < H < E + ΔE, and " $v o l$ " is the usual Liouville volume. Thus any sufficiently good (measurable) subset of $M E$ can be characterized by its hyperarea(measure) with respect to $d A$ .

The density function on the full phase space $ρ(q, p)$ is the generalized function $\frac {\delta(H(q, p) - E)}{ \Omega}$ , where H is the Hamiltonian and $Ω$ is the hyperarea of $M E$ . If Δ is a region of the phase space, the probability of a system being in a state within Δ is simply

$\int_{\Delta} \rho (q, p) dq dp = \frac{1}{ \Omega} \int_{\Delta_E}{} dA .$

where $Δ E$ is the intersection of $M E$ and $Δ$ .

Notice how one can either consider the whole phase space and use the measure whose density is a generalized function, or restrict to the constant energy surface in question and use the measure whose density is a constant function. For instance, consider a 1-dimensional harmonic oscillator. The phase space is $\mathbb{R}^2$ (the position-momentum plane) and the constant energy hypersurface is the ellipse

$\frac{k q^2}{2} + \frac{p^2}{2 m} = E$

The later can be parametrized as

$q = \sqrt{\frac{2 E}{k}} \cos(\phi)$

$p = \sqrt{2 m E} \sin(\phi)$

where $φ$ varies between 0 and $2π$ . The measure $d A$ would then equal $d φ$ up to a constant. On the other hand, if one considers the ellipse embedded in the plane, then it would have measure zero, which is why a generalized function is used as the density.

Connection with Liouville's theorem

We have

$\{H, \rho\} =\, 0$

(the curly bracket is Poisson bracket) since $ρ$ is a function of H. Therefore, according to Liouville's theorem (Hamiltonian) we get

$\frac{d\rho}{dt} = 0.\$

In particular, $d A$ is time-invariant, that is, the ensemble is a stationary one.

Alternatively, one can say that since the Liouville measure is invariant under the Hamiltonian flow, so is the measure $d A$ .

Physically speaking, this means the local density of a region of representative points in phase space is invariant, as viewed by an observer moving along with the systems.

Ergodic hypothesis

A microcanonical ensemble of classical systems provides a natural setting to consider the ergodic hypothesis, that is, the long time average coincides with the ensemble average. More precisely put, an observable is a real valued function f on the phase space Γ that is integrable with respect to the microcanonical ensemble measure μ. Let $x (0)$ denote a representative point in the phase space, and $x (t)$ be its image under the Hamiltonian flow at time t. The time average of f is defined to be

$\bar f = \lim _{T \rightarrow \infty}\frac{1}{T} \int _0 ^T f(x(t)) d t,$

provided that this limit exists μ-almost everywhere. The ensemble average is

$\langle f \rangle = \int _{\Gamma} f(x) d \mu (x) . \,$

The system is said to be ergodic if they are equal.

Using the fact that μ is preserved by the Hamiltonian flow, we can show that indeed the time average exists for all observables. Whether classical mechanical flows on constant energy surfaces is in general ergodic is unknown at this time.

Remark

The relationship between the microcanonical ensemble, Liouville's theorem, and ergodic hypothesis can be summarized as follows: The key assumption of a microcanonical ensemble is that all accessible microstates are equally probable. Therefore the density function on the relevant region of phase space is constant, say it is 1 everywhere, i.e. the phase space measure μ is just the Lebesgue measure. But, according to Liouville's theorem, this measure is invariant under the Hamiltonian time evolution. From this follows that the notion of time average makes sense for all observables. The ensemble average is defined using μ. The question of ergodicity is whether they coincide. It should perhaps be emphasized that while the microcanonical ensemble and Liouville's theorem are directly related, they should not be confused as being equivalent to the ergodic hypothesis.

Quantum mechanical systems

Semi-classical treatment

So far, we have assumed the system in question is classical. Slight modification is required for quantum mechanical systems, although the results are essentially the same. For an ensemble consisting of quantum mechanical systems, it no longer make sense to speak of all members of the ensemble having the same definite energy E. So, instead of a level set $H (q, p) = E$ in the phase space, one considers a small range of energies $E < H < E + d E$ that a system in the ensemble may have and the corresponding region of the phase space. When classical states are replaced by quantum states, the degeneracy needs to be taken into account. Also, in the quantum mechanical case, due to the uncertainty principle, the states can no longer be viewed as continuously distributed in the phase space. Rather, one must find a "fundamental volume" $ω 0$ , which depends on the particulars of a given system. As we would expect, $ω 0$ is usually related to $\hbar$ in some way. Consequently, the multiplicity is not the total available volume of the phase space $Ω$ but is replaced by $\frac{\Omega}{ \omega _0}$ , and entropy becomes

$S = k_B \ln \frac{\Omega}{ \omega _0}.$

Density operators

The microcanonical ensemble can also be described by a density operator. Namely, if $Ω$ is the total number of accessible microstates of the system, and $| \psi_n \rangle$ are all states of the system (accessible and otherwise), then a microcanonical ensemble is the mixed state

$\rho = \sum p_n | \psi _n \rangle \langle \psi_n | ,$

where $p_n = \frac{1}{\Omega}$ if $| \psi_n \rangle$ is an accessible state and 0 otherwise.

We note here that, in this context, $Ω$ is computed quantum-mechanically, taking into account indistinguishability of particles. The entropy is

$S = k_B \ln \Omega = - k_B \operatorname{Tr}(\rho \ln \rho) .$

When $Ω = 1$ , the ensemble is said to be a pure ensemble. The fact that the entropy vanishes for pure states is essentially the third law of thermodynamics.

References

R.K. Pathria, Statistical Mechanics, Elsevier 2001.
Nivedita Deo, Sanjay Jain, Chung-I Tan, The Ideal Gas of Strings, Bombay Quant. Field Theory (1990) 112-148, http://www-spires.dur.ac.uk/cgi-bin/spiface/hep/www?rawcmd=FIND+T+%22IDEAL+GAS+OF+STRINGS%22+and+a+deo&FORMAT=www&SEQUENCE=

v • d • e Statistical mechanics

Statistical ensembles	Microcanonical • Canonical • Grand canonical • Isothermal–isobaric • Isoenthalpic–isobaric

Statistical thermodynamics	Characteristic state functions

Partition functions	Translational • Vibrational • Rotational

Equations of state	Dieterici • Van der Waals • Ideal gas law • Birch–Murnaghan

Entropy	Sackur–Tetrode equation • Nonextensive entropy

Particle statistics	Maxwell–Boltzmann statistics • Fermi–Dirac statistics • Bose–Einstein statistics

Statistical field theory	Conformal field theory • Osterwalder–Schrader axioms

See also	Probability distribution • Structureless particles

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

	Ensemble average
	Demon algorithm
	Isothermal–isobaric ensemble

	Who goes to an ensemble rehearseal? Read answer...
	What is a small ensemble of musicians called? Read answer...
	What types of ensembles does the flute play in? Read answer...

	What is repertoire ensemble?
	What is a repertoire ensemble?
	Ensemble of mindoro?

		Sci-Tech Dictionary. McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved. Read more
		Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Microcanonical ensemble". Read more

Microcanonical ensemble

Contents