Let be the zero-field constrained order-parameter free energy. At coexistence in a conjugate field , two global minima obey
Thus the same line of slope is tangent to at both endpoints: the common-tangent construction for phase coexistence. Equivalently,
This is the Maxwell equal-area construction on the equation-of-state curve : the signed areas on either side of the horizontal coexistence line cancel. Equal slope alone finds stationary phases; the integral additionally enforces equal free energy.
If the mean order parameter is constrained between the endpoints, the system can separate into two macroscopic phases. With , their bulk free-energy density is . The interface contributes subextensively in the thermodynamic limit. The resulting constrained order-parameter free energy is the convex envelope of , with a straight coexistence segment. This explains why a nonconvex uniform Landau free energy must be convexified when describing stable constrained equilibrium, and why a spinodal point is not the Maxwell construction boundary.
A partition function sums the Boltzmann weights of all states: for discrete states, or the corresponding integral for continuous fields. It normalizes equilibrium probabilities. Its physical Helmholtz free energy is , and its free-energy density is . With a momentum ultraviolet cutoff , a scalar-field example is
The normalization of the functional measure and field-independent energy terms must be tracked when discussing absolute free energy.
Choose a smaller cutoff and split the field into retained modes with and eliminated modes with . Define the Wilsonian coarse-grained statistical Hamiltonian by
Substitution into the partition function proves for every intermediate cutoff. A source retained in this definition similarly preserves long-wavelength connected correlation functions and response. Thus the coefficients in a Hamiltonian density must run with : the dependence induced by eliminated modes compensates the dependence of the remaining field integral. Holding the original bare coefficients fixed while changing the cutoff would generally change the system. Exact integration generates all interactions allowed by symmetry, including higher powers, derivative terms and an additive constant; a local derivative expansion or a truncation to a few couplings is an extra approximation.
Cutoff independence makes arbitrary intermediate coarse-graining scales unphysical. It allows calculations at the scale of the observable, avoids repeatedly resolving irrelevant short-distance details and exposes the renormalization-group fixed points responsible for universality. A microscopic cutoff, such as a Bravais lattice spacing, can still label a physical microscopic model; taking it to infinity as a continuum limit requires tuning appropriate bare couplings. This is distinct from lowering an intermediate Wilsonian cutoff in a fixed model.
To interpret the zero-cutoff limit, define , the spatially uniform mode of the order parameter. Keep this mode fixed and integrate the others, rather than integrating over too. Write , with , and define the constrained order-parameter free energy by
In a finite periodic box, once is below the smallest nonzero momentum, all nonconstant modes have been eliminated. The remaining effective energy is , so its defining integral is exactly . Therefore, with consistent normalization,
When denotes this uniform effective Hamiltonian density, this is the stated identification of with its zero-cutoff limit. It requires a free-energy density constrained at fixed , not the unconstrained extensive free energy; all integrated fluctuations and additive constants are included, the zero mode in field theory is retained, and a density for the uniform configuration is well defined. The finite-volume argument avoids an interchange of the thermodynamic and cutoff limits without justification. On a homogeneous pure-phase branch one may use a local potential description, while a thermodynamic limit allowing phase separation can convexify the constrained potential. A bare nonconvex Landau polynomial is accordingly a homogeneous-branch approximation, not a claim that the exact equilibrium Legendre potential stays nonconvex.
In a field , the remaining integral is , up to the consistently chosen zero-mode measure. The thermodynamic saddle then gives and selects the equilibrium magnetization. Landau theory assumes that the relevant uniform potential can be approximated by a regular analytic expansion in , with symmetry-constrained coefficients, and minimizes it. At tree level the integrated fluctuations are neglected, recovering the familiar bare polynomial. With fluctuations retained, the coefficients run and can become singular near criticality; the zero-cutoff identification of constrained free energy alone does not justify mean-field critical exponents.
For an ordinary short-range scalar thermodynamic critical point, the leading interaction is quartic. Absorb inverse temperature and the gradient coefficient into field normalization and write
Scale and to leave the gradient term invariant. The quartic term changes to , so its engineering scaling exponent is . It is irrelevant at the Gaussian fixed point for , relevant for , and marginal for . Hence
The loop expansion makes the breakdown concrete. A quartic-vertex correction is proportional to , where
For , rescaling gives , diverging as . At , radial integration gives
which is logarithmically divergent. Above four dimensions its infrared limit is finite; the leading cutoff-dependent constant can be absorbed into a coupling renormalization. The effective expansion parameter is thus of order below four, or at four, since . It eventually becomes large for any fixed bare interaction in the lower-dimensional critical limit, defeating the uncorrected mean-field expansion. The Ginzburg criterion gives the same threshold by comparing correlation-volume fluctuations with the squared mean order parameter.
Below four dimensions an interacting renormalization-group fixed point can replace the Gaussian fixed point and change critical exponents, provided a continuous transition exists. At four dimensions the interaction is marginal and produces logarithmic corrections: the leading power exponents can remain their mean-field values, so “breakdown” there means that pure mean-field power laws omit those corrections, rather than necessarily that every power exponent changes. Above four the stabilizing quartic interaction is dangerously irrelevant for the ordered phase, explaining why mean-field thermodynamic exponents need not obey naive hyperscaling with the spatial dimension.
Phase separation 2026-10-14
A system can split into macroscopic regions with distinct local order parameters, densities or compositions. In a short-range system at phase coexistence, regions of two phases with means and volume fractions have spatial mean . Their interface contribution is subextensive, so their thermodynamic free-energy density is the corresponding convex combination of the phase densities. This can lie below the homogeneous-branch Landau free energy at the same . The equilibrium constrained order-parameter free energy is consequently convexified, with a straight coexistence segment described by the Maxwell construction. A nonconvex local potential remains useful for homogeneous branches, metastability and interfaces, but must not be identified with the full equilibrium constrained density throughout a coexistence interval.
In a finite box, retain the constant mode while integrating all nonzero field modes using the Wilsonian coarse-grained statistical Hamiltonian. Below the smallest nonzero momentum, the remaining effective energy is and its Boltzmann weight is precisely the constrained order-parameter free energy weight. Thus the displayed equality holds with consistent field-independent normalization. It is not an identity between a bare statistical Hamiltonian and an unconstrained equilibrium free energy. An analytic polynomial Landau free energy further assumes a homogeneous branch and regular effective coefficients; long-distance fluctuations near and below an upper critical dimension can invalidate that analytic approximation.