Technopedia

The technologist’s encyclopedia

Microcanonical Ensemble

The microcanonical ensemble is the probability measure for an isolated system with fixed energy EE, volume VV, and particle number NN. Every microstate compatible with those constraints is equally probable. It is the most fundamental ensemble: all others are derived from it by coupling to reservoirs. It is the right tool for isolated systems: a gas in a perfectly insulated box, the early universe, or any system where no energy or particles are exchanged.

Authoritative sources

Equal a priori probability

The postulate: all microstates α\alpha with H(α)≤EH(\alpha) \leq E (and fixed V,NV, N) have probability

P(α)=1Ω(E,V,N),Ω(E,V,N)=∑α: H(α)≤E1P(\alpha) = \frac{1}{\Omega(E,V,N)}, \qquad \Omega(E,V,N) = \sum_{\alpha:\, H(\alpha) \leq E} 1

where Ω(E,V,N)\Omega(E,V,N) is the cumulative number of accessible microstates — the phase-space volume enclosed by the energy surface H=EH = E. For a classical system:

Ω(E,V,N)=1h3NN!∫H(q,p)≤Edq dp\Omega(E,V,N) = \frac{1}{h^{3N} N!} \int_{H(q,p) \leq E} dq\,dp

The thin-shell density of states is ω(E)=∂Ω/∂E\omega(E) = \partial \Omega / \partial E.

Details

Step 1 — The axiom. The equal a priori probability postulate is the sole axiom of the microcanonical ensemble. It is justified by ergodicity: a generic isolated Hamiltonian system explores all accessible phase-space volume uniformly over long times. The microcanonical probability is a uniform measure on the region H≤EH \leq E in phase space.

Step 2 — Why cumulative, not shell. The standard convention (Reif, Pathria, Sackur–Tetrode) uses the cumulative count Ω(E)=∫H≤Edq dp/h3NN!\Omega(E) = \int_{H \leq E} dq\,dp / h^{3N}N! rather than the thin-shell count. The reason is practical: for macroscopic systems, Ω(E)\Omega(E) grows so rapidly with EE that ln⁡Ω\ln \Omega is insensitive to whether one uses the shell or the cumulative volume. The derivative ω(E)=∂Ω/∂E\omega(E) = \partial\Omega/\partial E gives the shell density, and ln⁡ω≈ln⁡Ω\ln \omega \approx \ln \Omega when Ω\Omega is a power law in EE.

Step 3 — Phase-space picture. For a single particle in one dimension with Hamiltonian H=p2/(2m)+V(q)H = p^2/(2m) + V(q), the accessible region in the $(q,p)$ plane is the interior of the curve H(q,p)=EH(q,p) = E. The microcanonical ensemble assigns uniform probability density to every point inside that curve.

q p H(q,p) = E accessible region (Ω) α₁ α₂ P(α) = 1/Ω for every α inside the curve

Step 4 — The shell approximation. In practice one often writes E<H<E+ΔE < H < E + \Delta with Δ≪E\Delta \ll E but Δ\Delta large enough that Ω(E+Δ)−Ω(E)≫1\Omega(E+\Delta) - \Omega(E) \gg 1 (many states in the shell). The entropy S=kBln⁡ΩS = k_B \ln \Omega is well-defined because Δ\Delta is negligible on the logarithmic scale.

Step 5 — Classical vs. quantum. For a classical system, Ω\Omega is a continuous phase-space volume divided by h3NN!h^{3N}N! (the h3Nh^{3N} makes it dimensionless; the N!N! corrects for indistinguishability). For a quantum system, Ω\Omega is simply the number of energy eigenstates with En≤EE_n \leq E.

Authoritative sources

Example problem

A single classical particle of mass mm moves in one dimension with Hamiltonian H=p2/(2m)H = p^2/(2m). Compute Ω(E)\Omega(E).

Solution

The accessible region is p2/(2m)≤Ep^2/(2m) \leq E, i.e. ∣p∣≤2mE|p| \leq \sqrt{2mE}. The phase-space volume is

Ω(E)=1h∫−2mE2mEdp=22mEh\Omega(E) = \frac{1}{h} \int_{-\sqrt{2mE}}^{\sqrt{2mE}} dp = \frac{2\sqrt{2mE}}{h}

So Ω∝E1/2\Omega \propto E^{1/2}. The entropy is S=kBln⁡Ω=kB(12ln⁡E+const)S = k_B \ln \Omega = k_B(\tfrac{1}{2}\ln E + \text{const}) and 1/T=∂S/∂E=kB/(2E)1/T = \partial S/\partial E = k_B/(2E).

Entropy

The Boltzmann entropy is

S(E,V,N)=kBln⁡Ω(E,V,N)S(E,V,N) = k_B \ln \Omega(E,V,N)

This is the bridge from counting microstates to thermodynamics. Temperature and pressure follow as derivatives:

1T=(∂S∂E)V,N,PT=(∂S∂V)E,N\frac{1}{T} = \left(\frac{\partial S}{\partial E}\right)_{V,N}, \qquad \frac{P}{T} = \left(\frac{\partial S}{\partial V}\right)_{E,N}
Details

Step 1 — From counting to thermodynamics. The entropy S=kBln⁡ΩS = k_B \ln \Omega converts the enormous number of microstates into an additive (extensive) quantity. For two non-interacting subsystems, Ωtot=Ω1⋅Ω2\Omega_{\text{tot}} = \Omega_1 \cdot \Omega_2 so Stot=S1+S2S_{\text{tot}} = S_1 + S_2.

Step 2 — Temperature as an entropy slope. The definition 1/T=∂S/∂E1/T = \partial S / \partial E makes TT the Lagrange multiplier that equalizes when two systems are brought into thermal contact. If T1>T2T_1 > T_2, energy flows from 1 to 2 until the slopes match — this is the zeroth law derived from counting.

Step 3 — Pressure as a volume derivative. Similarly, P/T=∂S/∂VP/T = \partial S / \partial V at fixed E,NE, N. Expanding the box increases the accessible phase-space volume, increasing Ω\Omega and SS. The slope gives the thermodynamic pressure.

Step 4 — Shape of S(E). For a system with Ω∝Ea\Omega \propto E^a, the entropy is S=kB(aln⁡E+const)S = k_B(a \ln E + \text{const}), which is concave in EE (since ∂2S/∂E2=−akB/E2<0\partial^2 S/\partial E^2 = -ak_B/E^2 < 0). This concavity guarantees that energy flows from hot to cold and that equilibrium is stable.

E S (E₀, S₀) slope = 1/T S(E) = k_B ln Ω(E) — concave for Ω ∝ Eᵃ

Step 5 — Connection to thermodynamics. The full thermodynamic structure (fundamental relation, Legendre transforms, stability criteria) follows from S(E,V,N)S(E,V,N). See Thermodynamic Potentials and Equilibrium.

Authoritative sources

Example problem

Two isolated systems with entropies S1(E1)=a1ln⁡E1S_1(E_1) = a_1 \ln E_1 and S2(E2)=a2ln⁡E2S_2(E_2) = a_2 \ln E_2 are brought into thermal contact. Total energy E=E1+E2E = E_1 + E_2 is fixed. Find the equilibrium energy split.

Solution

Maximize Stot=a1ln⁡E1+a2ln⁡E2S_{\text{tot}} = a_1 \ln E_1 + a_2 \ln E_2 subject to E1+E2=EE_1 + E_2 = E.

Setting ∂Stot/∂E1=0\partial S_{\text{tot}}/\partial E_1 = 0: a1/E1=a2/E2a_1/E_1 = a_2/E_2. This gives E1/E2=a1/a2E_1/E_2 = a_1/a_2, so E1=E⋅a1/(a1+a2)E_1 = E \cdot a_1/(a_1+a_2) and E2=E⋅a2/(a1+a2)E_2 = E \cdot a_2/(a_1+a_2). The energy splits in proportion to the “heat capacities” aikBa_i k_B.

Computing the density of states

The key computational skill in the microcanonical ensemble is evaluating Ω(E,V,N)\Omega(E,V,N) for a given Hamiltonian. Two canonical examples:

Classical ideal gas

For NN non-interacting particles of mass mm in a box of volume VV, the Hamiltonian is H=∑ipi2/(2m)H = \sum_i p_i^2/(2m). The phase-space volume with H≤EH \leq E is the volume of a 3N3N-dimensional ball of radius 2mE\sqrt{2mE} in momentum space, times VNV^N in configuration space:

Ω(E,V,N)=VNN! h3N⋅π3N/2Γ(3N/2+1)(2mE)3N/2\Omega(E,V,N) = \frac{V^N}{N!\, h^{3N}} \cdot \frac{\pi^{3N/2}}{\Gamma(3N/2 + 1)} (2mE)^{3N/2}

So Ω∝VN E3N/2\Omega \propto V^N \, E^{3N/2}.

3D harmonic oscillator

For a single particle in a 3D isotropic harmonic potential H=p2/(2m)+12mω2r2H = p^2/(2m) + \tfrac{1}{2}m\omega^2 r^2, the accessible region in the 6D phase space is a 6D ellipsoid. The cumulative count scales as

Ω(E)∝E3\Omega(E) \propto E^3

(the exponent equals the number of quadratic terms in HH divided by 2, i.e. f/2=6/2=3f/2 = 6/2 = 3).

Details

Step 1 — General strategy. To compute Ω(E)=∫H≤Edq dp/h3NN!\Omega(E) = \int_{H \leq E} dq\,dp / h^{3N}N!, identify the shape of the region H≤EH \leq E in phase space. For separable Hamiltonians (sum of independent quadratic terms), the region is a high-dimensional ellipsoid whose volume is known in closed form.

Step 2 — Ideal gas in detail. The momentum integral ∫∑pi2≤2mEd3Np\int_{\sum p_i^2 \leq 2mE} d^{3N}p is the volume of a 3N3N-dimensional ball of radius R=2mER = \sqrt{2mE}:

V3N(R)=π3N/2Γ(3N/2+1)R3N=π3N/2Γ(3N/2+1)(2mE)3N/2V_{3N}(R) = \frac{\pi^{3N/2}}{\Gamma(3N/2+1)} R^{3N} = \frac{\pi^{3N/2}}{\Gamma(3N/2+1)} (2mE)^{3N/2}

The configuration integral is simply ∫d3Nq=VN\int d^{3N}q = V^N. Multiplying and dividing by h3NN!h^{3N}N! gives the result.

Step 3 — Harmonic oscillator in detail. The 3D harmonic oscillator has 6 quadratic terms (3 in pp, 3 in qq). The region H≤EH \leq E is a 6D ellipsoid. By a linear change of variables, it maps to a 6D ball, and the volume scales as E6/2=E3E^{6/2} = E^3. More generally, a system with ff quadratic degrees of freedom has Ω∝Ef/2\Omega \propto E^{f/2}.

Step 4 — Scaling and Stirling. For macroscopic NN, use Stirling’s approximation ln⁡N!≈Nln⁡N−N\ln N! \approx N \ln N - N to simplify. The Sackur–Tetrode equation (next section) is the result of this procedure for the ideal gas.

Authoritative sources

Example problem

A system has f=4f = 4 quadratic degrees of freedom (e.g., a 2D harmonic oscillator). What is the scaling of Ω(E)\Omega(E) and the heat capacity CVC_V?

Solution

With f=4f = 4 quadratic terms, Ω∝Ef/2=E2\Omega \propto E^{f/2} = E^2. Then S=kBln⁡Ω=2kBln⁡E+constS = k_B \ln \Omega = 2k_B \ln E + \text{const}.

Temperature: 1/T=∂S/∂E=2kB/E1/T = \partial S/\partial E = 2k_B/E so T=E/(2kB)T = E/(2k_B).

Heat capacity: CV=∂E/∂T=2kBC_V = \partial E/\partial T = 2k_B. This matches equipartition: CV=(f/2)kB=2kBC_V = (f/2)k_B = 2k_B. ✓

The ideal gas in the microcanonical ensemble

The ideal gas is the most important application. Substituting the phase-space volume into S=kBln⁡ΩS = k_B \ln \Omega and using Stirling’s approximation gives the Sackur–Tetrode equation:

S(E,V,N)=NkB[ln⁡ ⁣(VN(4πmE3Nh)3/2)+52]S(E,V,N) = Nk_B \left[ \ln\!\left(\frac{V}{N}\left(\frac{4\pi m E}{3Nh}\right)^{3/2}\right) + \frac{5}{2} \right]

From this, the ideal gas law and equipartition follow directly:

U=E=32NkBT,PV=NkBTU = E = \frac{3}{2}Nk_B T, \qquad PV = Nk_B T
Details

Step 1 — Take the logarithm. Starting from Ω=VNN! h3N⋅π3N/2Γ(3N/2+1)(2mE)3N/2\Omega = \frac{V^N}{N!\,h^{3N}} \cdot \frac{\pi^{3N/2}}{\Gamma(3N/2+1)}(2mE)^{3N/2}:

ln⁡Ω=Nln⁡V−ln⁡N!−3Nln⁡h+3N2ln⁡(2mE)+3N2ln⁡π−ln⁡Γ ⁣(3N2+1)\ln \Omega = N\ln V - \ln N! - 3N\ln h + \frac{3N}{2}\ln(2mE) + \frac{3N}{2}\ln\pi - \ln\Gamma\!\left(\tfrac{3N}{2}+1\right)

Step 2 — Apply Stirling. For large NN: ln⁡N!≈Nln⁡N−N\ln N! \approx N\ln N - N and ln⁡Γ(3N/2+1)≈3N2ln⁡(3N/2)−3N/2\ln\Gamma(3N/2+1) \approx \tfrac{3N}{2}\ln(3N/2) - 3N/2. Substituting and collecting terms:

ln⁡Ω≈Nln⁡ ⁣[VN(4πmE3Nh)3/2]+5N2\ln \Omega \approx N\ln\!\left[\frac{V}{N}\left(\frac{4\pi m E}{3Nh}\right)^{3/2}\right] + \frac{5N}{2}

Step 3 — Entropy. Multiplying by kBk_B gives the Sackur–Tetrode equation. It is extensive: S∝NS \propto N when V/NV/N and E/NE/N are held fixed.

Step 4 — Temperature. Differentiate: 1/T=∂S/∂E=3NkB/(2E)1/T = \partial S/\partial E = 3Nk_B/(2E), giving E=3NkBT/2E = 3Nk_BT/2. This is the equipartition result: each of the 3N3N quadratic momentum terms contributes kBT/2k_BT/2 to the energy.

Step 5 — Pressure. Differentiate: P/T=∂S/∂V=NkB/VP/T = \partial S/\partial V = Nk_B/V, giving PV=NkBTPV = Nk_BT. The ideal gas law emerges purely from phase-space geometry — no intermolecular forces are needed.

Step 6 — Heat capacity. CV=∂E/∂T=3NkB/2C_V = \partial E/\partial T = 3Nk_B/2, constant and independent of temperature. This is the classical result; quantum corrections (Debye, Bose, Fermi) modify it at low TT.

T C_V/Nk_B C_V = 3Nk_B/2 (classical ideal gas) constant — equipartition Each of 3N quadratic terms contributes k_BT/2

Authoritative sources

Example problem

A monatomic ideal gas has N=1023N = 10^{23} particles in V=1 m3V = 1\,\text{m}^3 at T=300 KT = 300\,\text{K}. Compute EE and PP.

Solution

Energy: E=32NkBT=32×1023×1.38×10−23×300≈6.2×103 JE = \tfrac{3}{2}Nk_BT = \tfrac{3}{2} \times 10^{23} \times 1.38\times10^{-23} \times 300 \approx 6.2\times10^3\,\text{J}.

Pressure: P=NkBT/V=1023×1.38×10−23×300/1≈4.1×103 PaP = Nk_BT/V = 10^{23} \times 1.38\times10^{-23} \times 300 / 1 \approx 4.1\times10^3\,\text{Pa} (about 0.04 atm).

Quantum microcanonical ensemble

For a quantum system with discrete energy eigenvalues EnE_n, the microcanonical ensemble counts eigenstates:

Ω(E)=∑nΘ(E−En)\Omega(E) = \sum_n \Theta(E - E_n)

The classical phase-space volume ∫dq dp/h3N\int dq\,dp / h^{3N} is replaced by the number of quantum states. In the semiclassical limit (ℏ→0\hbar \to 0), the quantum count reproduces the classical phase-space volume. This connection is essential for quantum statistics: the GrandCanonicalEnsemble uses the same density of states to build the Fermi–Dirac and Bose–Einstein distributions.

Details

Step 1 — Discrete counting. A quantum system has a discrete spectrum {En}\{E_n\}. The microcanonical ensemble at energy EE assigns equal probability 1/Ω(E)1/\Omega(E) to every eigenstate ∣n⟩|n\rangle with En≤EE_n \leq E. There is no phase space to integrate over — just a count.

Step 2 — Semiclassical limit. When the level spacing ΔEn≪E\Delta E_n \ll E (many states below EE), the sum ∑nΘ(E−En)\sum_n \Theta(E - E_n) approximates the classical integral ∫H≤Edq dp/h3NN!\int_{H\leq E} dq\,dp/h^{3N}N!. The factor 1/h3N1/h^{3N} in the classical formula is precisely the number of quantum states per unit phase-space volume (each state occupies a cell of volume h3Nh^{3N} by the uncertainty principle).

Step 3 — Connection to quantum statistics. The density of single-particle states g(ε)=∂Ω1/∂εg(\varepsilon) = \partial \Omega_1 / \partial \varepsilon (where Ω1\Omega_1 is the single-particle count) enters the Fermi–Dirac and Bose–Einstein occupation formulas. In the grand canonical ensemble, the total particle number is N=∑εg(ε) f(ε)N = \sum_\varepsilon g(\varepsilon)\, f(\varepsilon) where ff is the appropriate quantum distribution. See GrandCanonicalEnsemble for the full treatment.

Step 4 — Example: particle in a 3D box. The energy levels are Enx,ny,nz=ℏ2π22mL2(nx2+ny2+nz2)E_{n_x,n_y,n_z} = \frac{\hbar^2\pi^2}{2mL^2}(n_x^2+n_y^2+n_z^2). The number of states with E≤E0E \leq E_0 is the volume of an octant of a sphere of radius n=2mL2E0/(ℏ2π2)n = \sqrt{2mL^2 E_0/(\hbar^2\pi^2)} in the (n_x, n_y, n_z) space: Ω∝n3∝E3/2\Omega \propto n^3 \propto E^{3/2} — the same scaling as the classical result.

Authoritative sources

Energy fluctuations and ensemble equivalence

In the microcanonical ensemble, energy is exactly fixed: Var⁡(E)=0\operatorname{Var}(E) = 0. This is the most restrictive ensemble. When the system is coupled to a heat bath (canonical ensemble), energy fluctuates with Var⁡(E)=kBT2CV\operatorname{Var}(E) = k_B T^2 C_V. In the thermodynamic limit (N→∞N \to \infty), the relative fluctuation Var⁡(E)/E∼1/N\sqrt{\operatorname{Var}(E)}/E \sim 1/\sqrt{N} vanishes, and all ensembles give identical thermodynamic predictions — this is ensemble equivalence.

Details

Step 1 — Why zero fluctuation. The microcanonical ensemble conditions on a single energy value. There is no randomness in EE — the system is isolated and energy is conserved exactly. All the “randomness” is in which microstate within the energy shell is occupied.

Step 2 — Canonical fluctuations. In the canonical ensemble, the system exchanges energy with a bath. The energy distribution is P(E)∝Ω(E) e−βEP(E) \propto \Omega(E)\, e^{-\beta E}. The variance is Var⁡(E)=kBT2CV\operatorname{Var}(E) = k_B T^2 C_V. For an ideal gas, CV=3NkB/2C_V = 3Nk_B/2, so Var⁡(E)=94NkB2T2\operatorname{Var}(E) = \tfrac{9}{4}Nk_B^2T^2 and Var⁡(E)/E=2/(3N)\sqrt{\operatorname{Var}(E)}/E = \sqrt{2/(3N)}.

Step 3 — Thermodynamic limit. As N→∞N \to \infty at fixed energy density e=E/Ne = E/N, the relative fluctuation ∼1/N→0\sim 1/\sqrt{N} \to 0. The canonical energy distribution becomes a delta function at E=NeE = Ne, and the canonical and microcanonical predictions for all intensive quantities (temperature, pressure, entropy density) become identical. This is why one can freely choose whichever ensemble is most convenient for a given calculation.

Step 4 — When equivalence breaks. For small systems (nanoparticles, single molecules, black holes with few degrees of freedom), the relative fluctuations are not negligible and the ensembles give different predictions. The microcanonical ensemble is the correct one for truly isolated small systems.

See CanonicalEnsemble for the fixed-TT ensemble and GrandCanonicalEnsemble for the fixed-T,μT,\mu ensemble.

How this fits together

The microcanonical ensemble is the foundation of statistical mechanics: it defines entropy as a state count (S=kBln⁡ΩS = k_B \ln \Omega) and temperature as an entropy slope (1/T=∂S/∂E1/T = \partial S/\partial E). The canonical ensemble (fixed TT) and grand canonical ensemble (fixed T,μT, \mu) are derived by embedding the system in a larger microcanonical reservoir. Phase transitions appear as non-analyticities in S(E)S(E) in the thermodynamic limit. The quantum microcanonical ensemble connects to quantum statistics (Fermi–Dirac, Bose–Einstein) through the density of states.

See CanonicalEnsemble, GrandCanonicalEnsemble, PhaseTransitions, and Statistical Foundations of Thermodynamics.

Quizz

Problem

A system has Ω(E)=c⋅E3\Omega(E) = c \cdot E^3 microstates (for E>0E > 0). Find S(E)S(E), T(E)T(E), and the heat capacity CVC_V. Identify the physical system this corresponds to.

Solution

The E3E^3 scaling corresponds to a 3D harmonic oscillator (6 quadratic degrees of freedom: 3 kinetic + 3 potential). The constant heat capacity is the classical equipartition result: CV=(f/2)kB=(6/2)kB=3kBC_V = (f/2)k_B = (6/2)k_B = 3k_B. ✓

Note: this is the cumulative count. The thin-shell density of states would be ω(E)=∂Ω/∂E=3cE2∝E2\omega(E) = \partial\Omega/\partial E = 3cE^2 \propto E^2, but ln⁡ω≈ln⁡Ω\ln \omega \approx \ln \Omega for large EE (they differ only by a constant in the logarithm), so the thermodynamic predictions are identical.