Use the usual homogeneous, local, analytic Landau-Ginzburg theory; rotational symmetry and Z2 symmetry alone do not specify locality, analyticity, or the signs of the coefficients. The local derivative expansion contains every rotational scalar with an even total number of fields:
The omitted terms include all allowed higher field powers and contracted spatial derivatives. Terms differing by a total derivative are equivalent for bulk behavior with suitable boundary conditions. The displayed gradient energy assumes spatial homogeneity. If only rotations about an origin are imposed, rotationally invariant position-dependent coefficients are also possible.
In the mean-field approximation, take a spatially uniform order parameter and minimize its Landau free energy. For , and with , keeping the quadratic and quartic terms gives
The single minimum splits into two minima as the temperature passes below the critical temperature. Choosing one minimum gives spontaneous symmetry breaking of the Z2 symmetry and a continuous phase transition. The order parameter is the expectation in a selected ordered state; averaging equally over both states gives zero. A Z2 symmetry does not guarantee a continuous phase transition: a negative quartic coefficient stabilized by a positive sextic coefficient can instead give a first-order phase transition.
Relaxing the Z2 symmetry permits odd terms. A nonzero linear source generally rounds this ordinary continuous phase transition. A cubic term can instead give a first-order phase transition: for , and , equal minima occur at
The order parameter jumps from zero to . A continuous phase transition without an exact Z2 symmetry is still possible with additional tuning; odd terms do not logically exclude it.
For the multicritical even Landau potential, set and assume an integer , and . For , all lower even interactions must be absent or tuned to zero to obtain these mean-field critical exponents. The stationary equation is
Its nonzero solutions are minima because . Thus the order-parameter critical exponent is
Substituting into the minimum free energy density gives
The singular heat capacity per unit volume is . Smooth variation of the other coefficients does not change the leading power. Consequently
For , this means a finite heat capacity jump, with ; for , the tricritical point has and . The case would contain only a quadratic potential and would not stabilize an ordered phase.
The Gaussian fluctuation correction near a critical point is more singular than the mean-field approximation contribution when
This is the upper critical dimension of an even scalar interaction. Equivalently, its coupling has engineering dimension , positive below . Dominant fluctuations signal breakdown of the mean-field approximation; the Gaussian expression is not then a calculation of the exact interacting heat-capacity critical exponent. At , equality of the powers allows logarithmic corrections.