Mean-field variational construction

Approximate an interacting Gibbs state by minimizing a free-energy functional over factorized trial measures.
Mean-field variational construction

Mean-field theory can be formulated cleanly as a constrained minimization of the . The key idea is to replace the true interacting equilibrium measure by a simpler trial measure (often a product measure) and choose it by a variational principle.

Variational principle for the canonical free energy

For a Hamiltonian HH at , the has partition function ZZ and free energy

F(β)=1βlogZ,Z=ωexp ⁣(βH(ω)) F(\beta) = -\frac{1}{\beta}\log Z, \qquad Z=\sum_{\omega}\exp\!\big(-\beta H(\omega)\big)

(or an integral, for continuous microstates).

Let qq be any trial on microstates. Define its entropy as the S(q)S(q) and denote by q\langle\cdot\rangle_q the under qq. Then one has the exact identity

F(β)=Hq1βS(q)1βD(qp), F(\beta) ={} \langle H\rangle_q-\frac{1}{\beta}S(q) -\frac{1}{\beta}D(q\|p),

where pp is the true Gibbs distribution and D(qp)D(q\|p) is the . Since D(qp)0D(q\|p)\ge 0 by , this implies the variational upper bound

F(β)Hq1βS(q)for every trial q, F(\beta)\le \langle H\rangle_q-\frac{1}{\beta}S(q) \quad\text{for every trial }q,

with equality if and only if q=pq=p.

This is an “energy minus temperature times entropy” competition, consistent with and with the Legendre-structure viewpoint in .

Mean-field restriction: product trial measures

The mean-field approximation chooses a restricted family of trial measures, typically factorized:

q(ω)=iΛqi(ωi), q(\omega)=\prod_{i\in\Lambda} q_i(\omega_i),

so correlations are neglected at the level of the ansatz. Minimizing the bound Hqβ1S(q)\langle H\rangle_q-\beta^{-1}S(q) over this family yields self-consistency equations for the one-site marginals qiq_i (or for order parameters such as magnetization).

This mean-field variational viewpoint is closely related to the , which produces the same type of upper bound by comparison with a solvable reference Hamiltonian.

Example: Curie–Weiss/Ising mean-field equation

For Ising spins si{±1}s_i\in\{\pm1\} with a mean-field Hamiltonian

H(s)=J2N(i=1Nsi)2hi=1Nsi, H(s)= -\frac{J}{2N}\Big(\sum_{i=1}^N s_i\Big)^2 - h\sum_{i=1}^N s_i,

a translation-invariant product ansatz is characterized by the magnetization m=siqm=\langle s_i\rangle_q. The resulting mean-field free-energy density can be written as a function of mm:

fMF(m)=J2m2hm+1β[1+m2log1+m2+1m2log1m2]. f_{\mathrm{MF}}(m) ={} -\frac{J}{2}m^2-hm +\frac{1}{\beta}\left[ \frac{1+m}{2}\log\frac{1+m}{2} + \frac{1-m}{2}\log\frac{1-m}{2} \right].

Stationarity mfMF(m)=0\partial_m f_{\mathrm{MF}}(m)=0 yields the self-consistency equation

m=tanh ⁣(β(Jm+h)). m=\tanh\!\big(\beta(Jm+h)\big).

Physical interpretation

Mean-field theory replaces the fluctuating influence of neighbors by an average “molecular field,” while still accounting for thermal disorder through the entropy term. Minimizers of the variational functional approximate equilibrium macrostates; differentiating the resulting approximate free energy yields approximate response functions such as the .