Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 43 1 Solution 2026-10-14
A phase diagram partitions a space of control parameters into regions with distinct equilibrium phases. Its boundaries mark nonanalyticities of the thermodynamic-limit free energy; a first-order phase transition has a jump in a first derivative, whereas a continuous phase transition has a continuously vanishing order parameter and singular fluctuations.
An explicit three-parameter example is the scalar Landau free energywith parameter axes . These can be realized locally by the temperature, single-ion anisotropy and magnetic field of the Blume–Capel model. The three dimensions here refer to control-parameter space, not necessarily to three spatial dimensions. At , minimizing this potential gives a continuous phase transition at for . For , coexistence occurs at , whereThere are three global minima, and . Their order parameter jump decreases to zero as . Thus is a tricritical point. The two transition curves in the plane meet there.
In the three-dimensional phase diagram, crossing inside the ordered region switches between opposite signs of , so that region is itself a first-order phase transition sheet. For , two tricritical wings at opposite nonzero fields separate weakly and strongly magnetized phases. Their wing critical edges can be obtained rather than merely sketched: require . Since , the nonzero solutions satisfyThe fourth derivative there is , giving ordinary continuous critical endpoints. The wings meet the zero-field coexistence sheet along the tricritical three-phase line and terminate at these edges. Their exact tricritical wing coexistence factorization supplies the surfaces in the figure: for two nonnegative minima , set , andDirect expansion gives , proving that these surfaces describe coexistence of global, not merely local, minima.
Tricritical phase diagram of the sextic scalar free energy: first-order sheets, critical edges and the zero-field slice
. Details. For the unheaded Ising model calculation, assume ferromagnetic exchange and let denote the mean Ising spin. On the hypercubic lattice the coordination number of a lattice is , even though the original positive-direction bond sum counts each bond only once. The mean-field approximation neglects products of deviations from :There are bonds, so the approximate energy is . Each independent Ising spin therefore sees the effective field . With , averaging its two Boltzmann weights gives the self-consistency equationThe slope of its right side at zero is , whereAbove , for excludes a nonzero solution. Below the initial slope exceeds one, and concavity of the hyperbolic tangent on the positive axis gives one positive solution and its negative partner. The Ising auxiliary mean-field free energy has positive quartic coefficient near , while its quadratic coefficient changes sign there. Its stable minima therefore move continuously away from zero; this is a continuous phase transition in the mean-field theory of the Ising model.
Put and . The Taylor expansion gives, on the nonzero branch,Consequently and the mean-field order-parameter exponent is . The inverse-temperature symbol used above is distinct from this order-parameter critical exponent.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 303 1 a Solution Created 2026-10-03 Updated 2026-10-06
Use inverse temperature , reserving without a subscript for the critical exponent. Write ; each undirected bond occurs once, so the number of bonds is . In the mean-field theory of the Ising model, write each Ising spin as and neglect the product of fluctuations:The resulting independent-spin statistical Hamiltonian isThe constant corrects the double counting of interaction energy. The Ising spin sums now factorize and can all be evaluated:This is the approximate partition function at an assumed mean field; equilibrium fixes self-consistently. The corresponding Ising auxiliary mean-field free energy isIts equilibrium value gives the mean-field Helmholtz free energy in the imposed field. Away from a stationary point its parameter is an assumed field variable, not necessarily the actual mean Ising spin of that independent-spin distribution.
For the full small- expansion at fixed , set and . Differentiating gives successive derivatives , , , and at . ThereforeAt zero field, spin inversion symmetry eliminates odd powers and this simplifies toThe quadratic coefficient changes sign and the quartic coefficient is positive atThus the zero-field mean-field prediction is a continuous, continuous phase transition: the stable zero spin magnetization develops two symmetry-related nonzero minima continuously below .
Both requested routes give the same mean-field self-consistency equation. First, the one-spin expectation in the effective field isSecond, differentiating the Ising auxiliary mean-field free energy giveswhose stationary condition is precisely that mean-field self-consistency equation. Choose its stable, lowest-free-energy branch rather than every algebraic solution.
An equally useful mean-field approximation parametrizes the trial distribution by its actual mean Ising spin. Its probabilities are , giving the Bragg-Williams free energy of the Ising modelThis energy-minus-entropy function has expansionIts stationary equation is , again equivalent to the mean-field self-consistency equation. The two functions differ away from equilibrium, but agree on stationary branches: for and , the entropy bracket equals . Their small- coefficients therefore need not agree at arbitrary temperature; at they have the same leading critical quartic coefficient . This distinction prevents confusing the auxiliary-field expansion with the physical-magnetization variational expansion.
For the order-parameter critical exponent, expand the equation of state at :On a nonzero stable branch,Hence . The spontaneous magnetization is understood by selecting a branch with an infinitesimal field after the thermodynamic limit; a finite symmetric sample has zero exact zero-field mean Ising spin.
For the magnetic susceptibility per site, define with in energy units. Implicit differentiation givesAbove , and . Below , evaluated on a selected ordered branch, the expansion of gives . Thus the magnetic-susceptibility critical exponent is on both sides, with different amplitudes. At , the equation of state becomesso the critical-isotherm exponent is . These are mean-field critical exponents, not a claim that neglecting fluctuations gives the exact Ising transition in every dimension.
