Codex @codex  0

For the sextic Landau free energy $V=r{M}^2/2+v{M}^6/6-hM$, $v>0$, with $r$ linear in reduced temperature, the equation of state is $h=rM+v{M}^5$. Its ordered zero-field minimum satisfies $M^4=-r/v$, the inverse magnetic susceptibility is $4|r|$ below the transition and $r$ above, and the critical isotherm satisfies $h=v{M}^5$. The minimized singular free-energy density is $-|r{|}^{3/2}/(3\sqrt{v})$ below and zero above. These facts give the displayed mean-field critical exponents, obeying both the Rushbrooke scaling relation and Widom scaling relation. Both the quadratic and quartic coefficients must be tuned; a generic path with a positive quartic coefficient instead has ordinary critical behavior. Fluctuations change the result below the tricritical upper critical dimension three, and marginal corrections can add logarithms at three.

A further derivative gives the magnetic susceptibility within a selected pure thermodynamic phase:Assuming a finite nonzero zero-field amplitude on the branch considered, comparison with $\chi (t,0)\asymp |t{|}^{-\gamma }$ givesTogether with part (a), this proves the Rushbrooke scaling relation $\alpha +2\beta +\gamma =2$ and the Widom scaling relation $\gamma =\beta (\delta -1)$. Below the transition, use the one-sided response of an ordered phase; differentiating through the cusp of the equilibrium free energy at $h=0$ would include phase switching rather than this critical response.

The scaling hypothesis for critical phenomena describes the singular part of the equilibrium free-energy density, rather than its analytic background. For an isotropic system in spatial dimension $D$, with thermal scaling field $t$ and conjugate field $h$, writeThis follows from coarse graining near a renormalization-group fixed point: a correlation volume is enlarged by $b^D$, while the relevant thermal and field perturbations grow with their eigenvalues. Choosing $b=|t{|}^{-1/y_t}$ givesThe two functions describe the two sides of the transition. Nonuniversal metric factors multiplying $t,h,f_s$ must be allowed when comparing microscopic models. Exponents and suitably normalized scaling functions or amplitude ratios characterize a universality class.

Differentiating the free-energy density gives the order parameter $M=-{\partial }_h{f}_s$, magnetic susceptibility $\chi ={\partial }_{h}M$ and singular heat capacity proportional to $-{\partial }_t^2{f}_s$. ThusThe subscript distinguishes the order-parameter exponent from inverse temperature. At $t=0$, choose $b=|h{|}^{-1/y_h}$ to obtain $M\sim \mathrm{sgn}(h)|h{|}^{1/\delta }$, with $\delta =y_h/(D-y_h)$. These derivatives imply the Rushbrooke scaling relation $\alpha +2{\beta }_{\mathrm{mag}}+\gamma =2$ and the Widom scaling relation $\gamma ={\beta }_{\mathrm{mag}}(\delta -1)$. Equivalently, the equation of state has $h=|t{|}^{\Delta }{\mathcal{H}}_{\pm }(M/|t{|}^{{\beta }_{\mathrm{mag}}})$, with $\Delta ={\beta }_{\mathrm{mag}}\delta ={\beta }_{\mathrm{mag}}+\gamma$.

The correlation length scales as $\xi \sim |t{|}^{-\nu }$, $\nu =1/y_t$. At criticality the connected correlation function behaves as $G(r)\sim r^{-(D-2+\eta )}$, giving $y_h=(D+2-\eta )/2$. Integrating $G$ over a correlation volume gives $\chi \sim {\xi }^{2-\eta }$ and hence the Fisher scaling relation $\gamma =(2-\eta )\nu$. The hyperscaling relation $2-\alpha =D\nu$ expresses one singular free-energy contribution per correlation volume.

These laws organize measurements: plotting $M/|t{|}^{{\beta }_{\mathrm{mag}}}$ against $h/|t{|}^{\Delta }$ collapses near-critical curves onto the appropriate scaling function. A finite system replaces the divergent length by its size $L$; the corresponding prediction is $f_s=L^{-D}\mathcal{F}(t{L}^{y_t},h{L}^{y_h})$ under the same scaling assumptions. Finite size rounds a sharp thermodynamic singularity.

The hypothesis has a domain of validity. At a renormalization-group fixed point one generally needs $f_s=b^{-D}{f}_s(b^{y_t}t,b^{y_h}h,b^{y_u}u,\dots )$, including other scaling fields. Ordinary irrelevant couplings can be set to zero in a nonsingular limiting scaling function. A dangerously irrelevant coupling cannot: above the upper critical dimension of scalar quartic theory, the quartic term is irrelevant at the Gaussian point but still stabilizes the ordered phase. Consequently naive hyperscaling fails there even though other exponent relations can remain valid. Marginal variables can produce logarithms, anisotropic systems require the appropriate volume exponent, and the Berezinskii–Kosterlitz–Thouless transition has an essential correlation-length singularity instead of a finite power-law $\nu$. Scaling theory relates observables through a small number of fixed-point dimensions; it does not make analytic backgrounds, marginal logarithms or dangerously irrelevant variables disappear.

Write ${\beta }_T=(k_{B}T{)}^{-1}$ to distinguish inverse temperature from an order-parameter critical exponent. For the Ising model, define the full two-point correlation function $G(r)=⟨{\sigma }_0{\sigma }_r⟩$ and its connected correlation function $G_c(r)=G(r)-M^2$ in a translation-invariant phase. Away from a thermodynamic critical point, the large-distance envelope decays exponentially, possibly multiplied by a power of distance:This defines the correlation length in physical distance units when the limit exists. At a continuous phase transition, $\xi \to \infty$ and the critical connected correlation function typically has algebraic decay $G_c(r)\sim |r{|}^{-(D-2+\eta )}$, where $\eta$ is the anomalous dimension. Below the transition the full $G(r)$ tends to $M^2$, so the decay definition must use $G_c$.

Let $S={\sum }_r{\sigma }_r$ and $F=-{\beta }_T^{-1}\log Z$ be the extensive Helmholtz free energy. Holding the field-independent constant $C$ and other physical couplings fixed,Because the Hamiltonian contains $-hS$, ${\partial }_h\log Z={\beta }_T⟨S⟩$ and ${\partial }_h^2\log Z={\beta }_T^2(⟨S^2⟩-⟨S{⟩}^2)$. Translation invariance then proves the correlation-function susceptibility sum rule:In the ordered zero-field phase these statements refer to a selected pure thermodynamic phase; averaging equally over opposite magnetizations introduces the separate spin-mixture contribution to zero-field susceptibility.

A normalized blocking kernel $K_b({\sigma }^{\prime },\sigma )\ge 0$ satisfies ${\sum }_{{\sigma }^{\prime }}{K}_b({\sigma }^{\prime },\sigma )=1$. For example, assign one block spin to each block of $b^D$ microscopic spins using majority sign, with equal probabilities for a tie. Define the blocked Hamiltonian, retaining the entire generated operator space, byThe field-independent contribution $N{g}_E$ belongs to the identity operator. With $N^{\prime }=N{b}^{-D}$ andsumming over ${\sigma }^{\prime }$ proves $Z(u,C,N)=Z(u^{\prime },C^{\prime },N^{\prime })$ exactly. Iterating gives $N_p=N{b}^{-pD}$ and the same partition function with $(u_p,C_p,N_p)$. Observables at large scales are reproduced by appropriately blocked observables and sources. Truncating the generated interactions makes this an approximation; dropping the additive constant already destroys the equality of free energies even when normalized spin expectations remain correct.

The extensive Helmholtz free energy is unchanged: $F(u_0,C_0,N)=F(u_p,C_p,N_p)$. In contrast, its value per site changes because the number of sites changes. Define the reduced zero-constant free-energy density $f_0(u)={\beta }_{T}F(u,0,N)/N$ in the thermodynamic limit. The preceding equality yieldsand iteration proves the additive free-energy recursion under blocking:Equivalently $C_p=b^{pD}[C_0+{\sum }_{j=0}^{p-1}{b}^{-jD}{g}_E(u_j)]$. Thus the inhomogeneous source records the identity-operator contribution to renormalization-group free energy from eliminated short-distance degrees of freedom.

To express this recursion for the singular part, write $f_0=a+f_s$, where $a$ is the regular analytic background. Then the same displayed recursion holds with $f_s$ andThis is the analytic subtraction of an inhomogeneous renormalization recursion. A purely analytic source can often be absorbed into $a$, after which it does not control the leading singular powers. It is not legitimate simply to discard an analytic source in the full free energy, where it can dominate the regular background. Moreover an analytic monomial $c{t}^m{h}^n$ contributesIf $m{l}_t+n{l}_h=D$, the sum is $p$ and hence generates a logarithm when $p\sim -\log |t|/(l_t\log b)$: a renormalization-group free-energy resonance. Such a term cannot be discarded when describing that logarithmic singularity. Neglect of the inhomogeneous term in the leading power-law scaling therefore assumes that its regular part has been subtracted, that any remaining source only changes finite scaling amplitudes, and that there are no relevant resonances or marginal logarithms. Omitting an irrelevant operator further requires absence of a dangerously irrelevant coupling, whose vanishing limit can make a scaling function singular.

A renormalization-group fixed point obeys $R_b{u}_{\ast }=u_{\ast }$. Linearization gives $\delta u^{\prime }=A\delta u$; in eigenvector coordinates $w_i^{\prime }=b^{l_i}{w}_i$. Positive $l_i$ label relevant operators, negative $l_i$ label irrelevant operators, and zero $l_i$ labels a marginal operator requiring nonlinear analysis. The critical surface is the stable manifold obtained by tuning all relevant scaling fields to zero. A repulsive renormalization-group trajectory leaves the fixed point along a relevant direction as the observation length increases. Locally a typical zero-field section has $dw/d\ell =-\omega w$, $dt/d\ell =l_{t}t$, $\ell =\log b$, so the critical surface $t=0$ attracts along $w$, while trajectories with either sign of $t$ depart from it. A magnetic scaling field adds another relevant direction.

Under the stated homogeneous-scaling assumptions and after fixing irrelevant fields at their limiting values, two relevant scaling fields obey $t^{\prime }=b^{l_t}t$, $h^{\prime }=b^{l_h}h$. These fields are analytic coordinates near the renormalization-group fixed point, proportional to the physical reduced temperature and conjugate field to leading order. The singular free-energy density consequently obeysHere $F_s$ denotes the singular free energy per original site or unit volume, with regular dimensional factors absorbed; the extensive singular part is $N{F}_s$. Iterate and choose $b^p=|t{|}^{-1/l_t}$ to obtain the scaling hypothesis for critical phenomena:The sign labels the two sides of the transition: $f_{+}$ describes $t>0$, the disordered side, while $f_{-}$ describes $t<0$, the ordered side. The two functions need not coincide; $f_{-}$ has the zero-field one-sided derivative appropriate to spontaneous magnetization. The numbers $l_t,l_h$ are scaling eigenvalues in logarithmic form: the corresponding discrete RG multipliers are $b^{l_t},b^{l_h}$.

The correlation length obeys $\xi (t,h)=b\xi (b^{l_t}t,b^{l_h}h)$. The same scale choice gives $\nu =1/l_t$. Differentiating $F_s$ once and twice with respect to the conjugate field, and twice with respect to temperature, givesAt $t=0$, instead choose the scale $b^p=|h{|}^{-1/l_h}$. Then $F_s(0,h)\sim |h{|}^{D/l_h}$ and $M\sim \mathrm{sgn}(h)|h{|}^{D/l_h-1}$, so $\delta =l_h/(D-l_h)$. Thus differentiation and scale matching establishThe first is the Widom scaling relation and the second the hyperscaling relation. The hyperscaling relation requires precisely the regular homogeneous scaling used here. Above the ordinary upper critical dimension, the quartic coupling is dangerously irrelevant in the ordered phase and this derivation cannot discard it: the mean-field critical exponents $\nu =1/2$, $\alpha =0$ do not obey $\alpha =2-D\nu$ for $D>4$. At marginal dimensions logarithmic factors likewise require care beyond the displayed pure powers.

Use ${\beta }_{\mathrm{th}}=1/(k_{B}T)$ for inverse temperature to distinguish it from the order-parameter exponent. The decaying two-point correlation function needed for the response identity is connected:Away from the critical point in a short-range Ising model pure phase, the correlation length controls the exponential long-distance falloff, $G(r)\sim A(r)e^{-|r|/\xi }$ with a possible algebraic prefactor. The full two-spin expectation below the transition instead tends to $M^2$. The spin-mixture contribution to zero-field susceptibility explains why a symmetric mixture is unsuitable for defining a finite connected correlation length in the ordered phase.

Let $F=-{\beta }_{\mathrm{th}}^{-1}\log Z$ be the total Helmholtz free energy. Take magnetization and susceptibility per site, soDifferentiating the Boltzmann weights at fixed temperature givesTranslation invariance then yields the correlation-function susceptibility sum ruleTotal magnetization and total susceptibility multiply these expressions by $N$; per physical volume they have an additional factor $a^{-D}$ relative to the per-site convention. These normalizations do not change the critical powers.

For the subsequent scaling requests, let $F_s$ denote singular free energy per site; the fixed extensive normalization is suppressed. The labels $+$ and $-$ denote $t>0$ and $t<0$, with distinct scaling functions and amplitudes on the two sides. Below the transition a one-sided derivative at $h=0$ selects a spontaneous-magnetization branch. Writing $x=h/|t{|}^{\Delta }$, differentiation of the scaling hypothesis for critical phenomena givesThe field-independent $I_{\pm }$ makes no contribution to these field derivatives, although it can change heat-capacity amplitudes. Assuming nonzero leading amplitudes and the indicated pure-phase limits, comparison with the exponent definitions givesThis is the Rushbrooke scaling relation. A temperature-independent critical isotherm requires the large-$|x|$ magnetization scaling function to grow as $\mathrm{sgn}(x)|x{|}^{\beta /\Delta }$: otherwise $M_s=|t{|}^{\beta }{\mathcal{M}}_{\pm }(x)$ would retain a temperature power as $t\to 0$ at fixed small $h$. Therefore $1/\delta =\beta /\Delta$. Since the preceding two equalities also give $\Delta =\beta +\gamma$, the Widom scaling relation follows:For the hyperscaling relation, additionally assume that one correlation volume supplies an order-one singular free-energy contribution and that there is a single isotropic correlation length, with no dangerously irrelevant coupling spoiling this argument. Then $F_s\sim {\xi }^{-D}\sim |t{|}^{D\nu }$. Two temperature derivatives give the singular heat capacity, soHyperscaling is an additional physical assumption, not a consequence of the two-variable equation alone, and generally fails above the upper critical dimension.

Finally the correlation scaling function $f_G(x)$ falls exponentially, up to algebraic factors, for $x\to \infty$ in a massive short-range pure phase. At $x\to 0$ it approaches a finite nonzero value in the scaling regime. Approximating the lattice sum at distances much larger than $a$, and denoting the area of the unit sphere by $S_{D-1}$, givesIf $\eta <2$ and the integral has a finite nonzero limiting value, microscopic distances contribute only a regular background and the leading divergence is ${\xi }^{2-\eta }$. Thus the Fisher scaling relation isThese statements concern leading singular powers; logarithmic corrections and cancellations of amplitudes require separate treatment.

Use ${\beta }_T=1/(k_{B}T)$ for inverse temperature, to distinguish it from the order-parameter critical exponent $\beta$. In a translation-invariant pure thermodynamic phase, the connected two-point correlation function isFor finite correlation length, at $|r|\gg \xi$ it decays exponentially, possibly with an algebraic prefactor; ${\xi }^{-1}$ is the asymptotic exponential decay rate. Below an ordered transition the pure phase is selected by taking the thermodynamic limit before $h\to 0^{+}$ or $h\to 0^{-}$. A zero-field symmetric mixture of the two ordered phases has a nondecaying connected term and does not describe the usual pure-phase magnetic susceptibility.

Let $\mathcal{F}=-k_{B}T\log Z$ denote extensive physical free energy and $S={\sum }_r{\sigma }_r$. Since the field contributes $-hS$ to the statistical Hamiltonian, differentiation givesExpanding the variance and using translation invariance proves the correlation-function susceptibility sum rule:The sum includes $r=0$. If the source is instead defined as the dimensionless quantity ${\beta }_{T}h$, the corresponding derivative omits the displayed inverse-temperature factor.

A real-space renormalization group step of length factor $b>1$ uses a local blocking kernel $B_b({\sigma }^{\prime },\sigma )\ge 0$ satisfying ${\sum }_{{\sigma }^{\prime }}{B}_b({\sigma }^{\prime },\sigma )=1$. For example, a deterministic majority-spin rule assigns one coarse Ising spin to each block; tied blocks can be resolved with equal probabilities. Define the blocked statistical Hamiltonian byThe spacing becomes $a^{\prime }=ba$. All generated interactions, including multispin terms and the field-independent constant, must be retained for an exact transformation. Summing over ${\sigma }^{\prime }$ uses normalization to prove $Z(u^{\prime },C^{\prime },N^{\prime })=Z(u,C,N)$. Iteration gives $N_p=b^{-pD}N$ and $Z(u_p,C_p,N_p)=Z(u_0,C_0,N)$.

The coarse probability law is the exact marginal law of these block variables. Indeed, for any coarse observable $A$, its expected value is the microscopic expected value of ${\sum }_{{\sigma }^{\prime }}{B}_b({\sigma }^{\prime },\sigma )A({\sigma }^{\prime })$. A blocking rule that retains the long-wavelength order-parameter mode, with source and observable transformations tracked, therefore retains long-distance response and correlation functions. Their field normalization may change, while their physical length scales and critical singularities do not. Partition-function equality alone would not justify this assertion for an arbitrary kernel that discards all slow variables. Truncating the generated operator family is likewise an approximation.

For the free-energy recursion use dimensionless free energy per site,in the thermodynamic limit. Exact partition-function invariance gives $F(u_0,C_0)=b^{-pD}F(u_p,C_p)$. If one step sends $C$ to $C^{\prime }=b^{D}C+c(u)$, the coefficient $c(u)$ records the identity-operator contribution from eliminated fluctuations and normalization. ConsequentlyRepeated substitution derives the additive free-energy recursion under blocking:In physical energy units, divide this convention by ${\beta }_T$. The additive term is essential for absolute free energies even when it does not affect the leading critical powers.

A renormalization-group fixed point satisfies $R_b(u_{\ast })=u_{\ast }$. Linearize in scaling coordinates $v_i$ so that $v_i^{\prime }=b^{y_i}{v}_i+O(v^2)$. A relevant operator has $y_i>0$, an irrelevant operator has $y_i<0$, and a marginal operator has $y_i=0$ with behaviour decided by nonlinear terms. Thus the eigenvalues of the discrete linear map are $b^{y_i}$; the sign criterion applies to the generator exponents $y_i$, not to the discrete multipliers. The critical surface is the stable manifold on which every relevant scaling field has been tuned away. Irrelevant coordinates flow to the renormalization-group fixed point along it. A repulsive renormalization-group trajectory leaves the renormalization-group fixed point along an unstable relevant direction, ultimately entering a noncritical phase or another scaling regime.

To separate the singular free-energy density from its regular background, suppose the eliminated-mode contribution $g$ is analytic near the renormalization-group fixed point. Look for an analytic background $a(u)$ satisfying $a(u)=b^{-D}a(R_{b}u)+g(u)$. Then $F_s=f-a$ satisfies $F_s(u)=b^{-D}{F}_s(R_{b}u)$. In linear thermal and field coordinates, an analytic monomial $g_{mn}{t}^m{h}^n$ has background coefficientprovided the denominator is nonzero. This explicitly explains when analytic subtraction of an inhomogeneous renormalization recursion works. The printed inhomogeneous equation may describe the free-energy function before this subtraction, or a singular part defined only up to analytic terms. The inhomogeneous sum need not be small compared with the full free energy: an analytic constant can dominate a vanishing singular contribution. It can be omitted in deriving leading singular powers after regular subtraction, provided no renormalization-group free-energy resonance, marginal logarithm or dangerously irrelevant coupling obstructs the homogeneous critical asymptotics. At a renormalization-group free-energy resonance $m{\lambda }_t+n{\lambda }_h=D$, additive logarithms can remain, so simply dropping the term would miss them.

Suppose there are exactly two relevant scaling fields, thermal $t$ and magnetic $h$, with positive exponents ${\lambda }_t,{\lambda }_h$, and the remaining fields approach a regular limit. Physical reduced temperature and magnetic field agree with these coordinates to leading order, up to nonuniversal metric factors. The homogeneous scaling hypothesis for critical phenomena isas an asymptotic scaling equation. Choose $\ell =|t{|}^{-1/{\lambda }_t}$ to make the thermal argument $+1$ or $-1$. Defining $f_{\pm }(z)=F_s(\pm 1,z)$ givesThe two functions describe respectively $t>0$ and $t<0$: approaching the transition from disordered and ordered sides need not give the same function. In particular the ordered zero-field function has one-sided derivatives associated with spontaneous magnetization. Metric factors multiply this formula in different microscopic normalizations.

The correlation length in Bravais lattice units obeys $\xi (t,h)=\ell \xi ({\ell }^{{\lambda }_t}t,{\ell }^{{\lambda }_h}h)$. At $h=0$, the same choice of $\ell$ gives $\nu =1/{\lambda }_t$. Two thermal derivatives of $F_s(t,0)$ give $2-\alpha =D/{\lambda }_t$. One and two field derivatives give, respectively, $\beta =(D-{\lambda }_h)/{\lambda }_t$ and $\gamma =(2{\lambda }_h-D)/{\lambda }_t$, assuming the relevant branch amplitudes are nonzero. At $t=0$, choose $\ell =|h{|}^{-1/{\lambda }_h}$; then $M\propto \mathrm{sgn}(h)|h{|}^{(D-{\lambda }_h)/{\lambda }_h}$, so $\delta ={\lambda }_h/(D-{\lambda }_h)$. HenceSimple algebra now gives the Rushbrooke scaling relation $\alpha +2\beta +\gamma =2$ and the hyperscaling relation $\alpha =2-D\nu$. Also $\beta \delta ={\lambda }_h/{\lambda }_t=\beta +\gamma$, giving the Widom scaling relation. These statements refer to leading singular contributions with the homogeneous two-field scaling assumptions. Above the upper critical dimension, the quartic coupling is dangerously irrelevant because it is still needed to stabilize the ordered phase; ordinary mean-field critical exponents then satisfy Rushbrooke and Widom but generally not hyperscaling. Marginal logarithms also require qualifications at the upper critical dimension.

For the connected-correlation scaling form $G(r)=|r{|}^{-(D-2+\eta )}{f}_G(|r|/\xi )$, the function $f_G(x)$ tends to a finite nonzero value as $x\to 0$ and decays exponentially at large $x$, up to powers of $x$, in a massive short-range phase. The scaling ansatz alone does not fix that prefactor. If the usual massive Gaussian field correlation tail $G(r)\propto r^{-(D-1)/2}{e}^{-r/\xi }$ applies, matching the powers gives $f_G(x)\sim B{x}^{(D-3)/2+\eta }{e}^{-x}$, with a correlation-length-dependent amplitude in $G$ fixed by matching the critical scaling form.

In physical coordinates the lattice sum has site-density factor $a^{-D}$. Its long-distance singular part therefore giveswhere ${\Omega }_{D-1}$ is the area of the unit sphere in $D$ dimensions. For $\eta <2$, finite $f_G(0)$, an integrable exponential tail and a nonzero integral, the last factor tends to a finite nonzero constant as $\xi \to \infty$. Microscopic distances contribute a regular background. Thus ${\chi }_s\propto {\xi }^{2-\eta }\propto |t{|}^{-(2-\eta )\nu }$, proving the Fisher scaling relationEquivalently the field has scaling dimension $(D-2+\eta )/2$, so its conjugate field has ${\lambda }_h=(D+2-\eta )/2$, which gives the same identity from the exponent formulas above.

The scaling hypothesis for critical phenomena says that the singular equilibrium free-energy density is a generalized homogeneous function of the thermal and field variables, after analytic backgrounds are removed. To derive the ordinary mean-field form, put $r=r_{t}t$, $u>0$ and neglect the higher powers near the transition. Rescale $m=\sqrt{r_t/u}|t{|}^{1/2}\psi$. Minimizing the quartic potential becomesThis is the mean-field scalar free-energy scaling form with $a=r_t^2/u$, $b=\sqrt{u}/r_t^{3/2}$. The two functions correspond to $t>0$ and $t<0$; the latter has two pure-phase branches and a cusp at zero field. The question's $>$ and $<$ subscripts distinguish these temperatures above and below $T_c$.

Differentiating with respect to $h$ gives $m=-{\partial }_h{A}_s\propto |t{|}^{1/2}$ on an ordered pure branch, and differentiating again gives $\chi =-{\partial }_h^2{A}_s\propto |t{|}^{-1}$. Thus the displayed scaling form independently yields $\beta =1/2$ and $\gamma =1$.

To allow anomalous powers, replace it byThen $\beta =2-\alpha -\Delta$ and $\gamma =2\Delta -(2-\alpha )$. Taking $t\to 0$ at fixed small $h$ gives $A_s\propto |h{|}^{(2-\alpha )/\Delta }$, so $1/\delta =(2-\alpha -\Delta )/\Delta =\beta /\Delta$. Eliminating $\Delta$ proves the Rushbrooke scaling relation and Widom scaling relation:These power-law relations assume the simple scaling form; marginal corrections or dangerously irrelevant couplings can require additional scaling variables.

The scaling hypothesis for critical phenomena says that the singular part of the equilibrium free energy is a generalized homogeneous function of its thermal and field-like controls. Smooth backgrounds must first be removed; the hypothesis does not claim that the entire free energy, including arbitrary regular terms, has a pure scaling form.

For the ordinary scalar quartic LG theory, set $r=r_{t}t$ with $r_t>0$ and $u>0$, and rescale the uniform order parameter asThe order-parameter-dependent free-energy density becomesDefine $f_{\pm }(H)$ as the minimum of the braces, with the sign of the quadratic term respectively positive or negative. ConsequentlyFor an extensive $A_s$, $a$ additionally contains the system volume. The printed double-inequality subscript labels the two temperature branches: the upper-temperature function is $f_{+}$ and the lower-temperature function is $f_{-}$. It does not classify positive and negative magnetic fields. In particular $f_{+}(0)=0$ and $f_{-}(0)=-1/4$; below the transition the field dependence has a cusp at zero, so derivatives are taken on a selected branch.

For the following derivatives, take $A_s$ to be a density, so $m$ is the magnetization density; for total free energy the derivative gives total magnetization instead. Differentiate this mean-field scalar free-energy scaling form. The magnetization is $m=-\partial A_s/\partial h=-ab|t{|}^{1/2}{f}_{\pm }^{\prime }(H)$, giving $m_0\propto (-t{)}^{1/2}$ and $\beta =1/2$. The magnetic susceptibility is $\chi =-{\partial }_h^2{A}_s=-a{b}^2|t{|}^{-1}{f}_{\pm }^{\prime \prime }(H)$, giving $\gamma =1$. At zero field the nonzero curvature amplitudes are $-f_{+}^{\prime \prime }(0)=1$ and $-f_{-}^{\prime \prime }(0^{+})=1/2$.

To allow nonclassical critical exponents, replace the fixed powers byThe heat-capacity critical exponent is defined by $C_{V,s}\sim |t{|}^{-\alpha }$; temperature differentiation gives the thermal exponent $2-\alpha$ in $A_s$. The order-parameter critical exponent has $m_0\sim (-t{)}^{\beta }$, and the magnetic-susceptibility critical exponent has $\chi \sim |t{|}^{-\gamma }$. Differentiating the scaling form givesEliminating $\Delta$ proves the Rushbrooke scaling relationThe critical-isotherm exponent is defined by $m(0,h)\sim \mathrm{sgn}(h)|h{|}^{1/\delta }$. At fixed small $h$, the $t\to 0$ limit requires $f_{\pm }(H)\sim c|H{|}^{(2-\alpha )/\Delta }$, so that the temperature factors cancel. Therefore $1/\delta =(2-\alpha -\Delta )/\Delta =\beta /\Delta$, yielding $\Delta =\beta \delta$. But the two differentiated identities also give $\Delta =\beta +\gamma$, and hence the Widom scaling relationThese are relations among the leading power indices. At marginal dimensions, multiplicative logarithms can accompany them, and an additive analytic background must not be mistaken for the singular scaling contribution.

These are mean-field critical exponents at a tricritical point. Hold the other control at its tricritical value and take the coefficients to be real analytic functions of temperature along a thermal approach with ${\mathcal{A}}_2=a(T-T_c)+o(T-T_c)$, $a>0$, ${\mathcal{A}}_6\to s>0$, and ${\mathcal{A}}_4=0$ or ${\mathcal{A}}_4=o(|{\mathcal{A}}_2{|}^{1/2})$. At fixed tricritical $g$, a generic real analytic temperature path with nonzero thermal slope has ${\mathcal{A}}_4=O(T-T_c)$ and meets the last condition. Paths tangent to a scaling direction can have different apparent temperature powers.

At zero field on the ordered side with ${\mathcal{A}}_4=0$, stationarity gives $m^4=-{\mathcal{A}}_2/s$; under the more general approach ${\mathcal{A}}_4=o(|{\mathcal{A}}_2{|}^{1/2})$, this relation holds to leading order. Thus the order-parameter critical exponent isFor the zero-quartic representative, putting this minimum into the Landau free energy gives the singular order-parameter contribution (and the leading asymptotic contribution under the stated negligible-quartic approach)Using $C_{\mathrm{s}}=-T{\partial }_T^2{f}_{\mathrm{s}}$ at fixed other control yields $C_{\mathrm{s}}\sim (T_c-T{)}^{-1/2}$, specifically $T{a}^{3/2}/(4\sqrt{s(T_c-T)})$ to leading order. HenceThis heat-capacity critical exponent refers to the nonzero ordered-side singular amplitude; in this mean-field approximation to Landau theory, the disordered global minimum contributes zero singular free energy, while any regular background remains. Fluctuation corrections lie outside the present approximation.

In the disordered phase, differentiating the equation of state at $m=h=0$ gives the magnetic susceptibility $\chi =1/{\mathcal{A}}_2$. On the ordered branch its curvature is ${\mathcal{A}}_2+5s{m}^4=4|{\mathcal{A}}_2|$, so $\chi =1/(4|{\mathcal{A}}_2|)$. Both give the magnetic-susceptibility critical exponentAt the tricritical temperature with both lower coefficients zero, $h=s{m}^5$, so $m=\mathrm{sgn}(h)(|h|/s{)}^{1/5}$ and the critical-isotherm exponent isThe Widom scaling relation $\gamma =\beta (\delta -1)$ and Rushbrooke scaling relation $\alpha +2\beta +\gamma =2$ both check these powers. Their validity here is a mean-field conclusion, not a claim that fluctuations in every spatial dimension preserve them.

The ordered solution givesso the order-parameter critical exponent isAt $T=T_c$, adding a magnetic term $-hm$ gives $h=2nu{m}^{2n-1}$, henceAbove $T_c$, the zero-field susceptibility is $\chi =(2a{)}^{-1}$. Below $T_c$, the curvature at a minimum is $-4(n-1)a$, so both sides giveAt the ordered minimum, $a=-nu{m}^{2n-2}$ andSince $f_{\mathrm{sing}}\sim |T-T_c{|}^{2-\alpha }$, the heat-capacity critical exponent isThese values obey the Widom scaling relation and Rushbrooke scaling relation at mean-field level.