Negative heat capacity in the microcanonical ensemble

In the microcanonical ensemble, heat capacity can be negative when the entropy has locally convex curvature; this cannot occur in the canonical ensemble and signals possible ensemble inequivalence.
Negative heat capacity in the microcanonical ensemble

Prerequisites and notation

Extension (and key example mechanism): negative microcanonical heat capacity

Microcanonical temperature and curvature criterion

Let S(E)S(E) be the microcanonical entropy and write S(E)=Ns(u)S(E)=N s(u) with energy density u=E/Nu=E/N. The microcanonical inverse temperature is

β(E)=SE(E),T(E)=1β(E). \beta(E)=\frac{\partial S}{\partial E}(E), \qquad T(E)=\frac{1}{\beta(E)}.

Differentiate TT with respect to EE:

dTdE=T2Ns(u). \frac{dT}{dE} = -\frac{T^2}{N}\,s''(u).

Therefore the microcanonical heat capacity

Cmic(E)=(dTdE)1 C_{\mathrm{mic}}(E)=\left(\frac{dT}{dE}\right)^{-1}

has the sign

Cmic(E)<0s(u)>0. C_{\mathrm{mic}}(E) < 0 \quad\Longleftrightarrow\quad s''(u) > 0.

So negative heat capacity is equivalent to local convexity of the entropy density.

Why canonical heat capacity cannot be negative

In the canonical ensemble, energy fluctuations satisfy

Varβ(E)=2β2logZ(β)0. \mathrm{Var}_\beta(E)=\frac{\partial^2}{\partial \beta^2}\log Z(\beta)\ge 0.

Using U(β)=EβU(\beta)=\langle E\rangle_\beta and Ccan=dUdTC_{\mathrm{can}}=\frac{dU}{dT}, one finds

Ccan(β)=β2Varβ(E)0. C_{\mathrm{can}}(\beta)=\beta^2\,\mathrm{Var}_\beta(E)\ge 0.

Hence negative heat capacity is a specifically microcanonical (or finite/nonadditive) phenomenon and is incompatible with canonical stability.

Interpretation and where it appears

  • In additive short-range systems at equilibrium, s(u)s(u) is typically concave in the thermodynamic limit, so Cmic0C_{\mathrm{mic}}\ge 0.
  • In nonadditive/long-range systems, s(u)s(u) may be nonconcave, producing Cmic<0C_{\mathrm{mic}}<0 and indicating .
  • In finite systems (e.g., small clusters) interface/surface contributions can also produce effective convex intruders in S(E)S(E) over a range of energies.

Diagnostic use

Observed Cmic<0C_{\mathrm{mic}}<0 is a strong diagnostic that:

  1. microcanonical and canonical descriptions may disagree over that energy range, and
  2. a convex-analytic “envelope” construction is needed to relate entropy to canonical free energy (see ).