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.

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.

Use a selected translationally invariant pure thermodynamic phase and define the connected lattice correlation functionAway from criticality its long-distance tail has an exponential factor $e^{-r/\xi }$, possibly multiplied by a power. Equivalently ${\xi }^{-1}=-{\lim }_{r\to \infty }{r}^{-1}\log |G(r)|$ when this limit exists; different directions can have different lengths on an anisotropic lattice. At a thermodynamic critical point the correlation length diverges and the tail becomes algebraic. Differentiate $M=N^{-1}⟨{\sum }_n{\sigma }_n⟩$ with respect to the physical field appearing in the energy Statistical Hamiltonian. With ${\beta }_{\mathrm{th}}=1/(k_{B}T)$, the correlation-function susceptibility sum rule isIn physical continuum coordinates the sum becomes $a^{-D}\int d^{D}rG(r)$. Differentiating with respect to the dimensionless source ${\beta }_{\mathrm{th}}h$ instead removes the explicit inverse-temperature factor. Below the transition, take a one-sided pure-phase limit rather than a macroscopic symmetric mixture.

A normalized blocking kernel $B_b({\sigma }^{\prime },\sigma )$ assigns a probability or a delta constraint to a coarse configuration for each microscopic one, with ${\sum }_{{\sigma }^{\prime }}{B}_b({\sigma }^{\prime },\sigma )=1$. Define the blocked Boltzmann weight bySumming over ${\sigma }^{\prime }$ proves exact equality of the partition functions. Repeated real-space renormalization group steps compose the kernels and integrate out shorter-scale variables. To retain equality one must keep all generated interactions and the field-independent constant; a finite truncation is an approximation. Long-distance observables are mapped through the corresponding coarse observables, not identified blindly with microscopic spins. In physical units,A subsequent coordinate rescaling restores the reference lattice spacing while expressing couplings in cutoff units.

Let $F(u,C)=-({\beta }_{\mathrm{th}}N{)}^{-1}\log Z=C+f(u)$ be free energy per microscopic site. Invariance of $Z$ givesThe constant transforms as $C_1=b^D{C}_0+c(u_0)$. Therefore, with $g(u)=b^{-D}c(u)$, the identity-operator contribution to renormalization-group free energy givesThe second equality follows by substitution and induction. The inhomogeneous term records eliminated-mode entropy, determinants, and normalization factors, all multiplying the identity operator; it is not an interaction with the retained spins. Strictly, this $f$ can contain regular background terms. After an analytic subtraction of an inhomogeneous renormalization recursion, the genuinely singular part satisfies the homogeneous scaling equation, except for possible logarithmic resonances.

A renormalization-group fixed point satisfies $R_b(u_{\ast })=u_{\ast }$. Linearize in scaling coordinates $s_i$: $s_i^{\prime }=b^{{\lambda }_i}{s}_i$. A relevant operator has ${\lambda }_i>0$, an irrelevant operator has ${\lambda }_i<0$, and a marginal operator has ${\lambda }_i=0$ and needs nonlinear analysis. These ${\lambda }_i$ are logarithmic scaling eigenvalues; the discrete Jacobian eigenvalues are $b^{{\lambda }_i}$, not ${\lambda }_i$. The critical surface is the stable manifold obtained by tuning all relevant coordinates to zero. A repulsive renormalization-group trajectory leaves the fixed point along a relevant direction as the coarse-graining length grows. Stable and unstable manifolds become curved away from linear order.

The left section has $h=0$, one irrelevant coordinate $w$ and a relevant thermal coordinate $t$. Its critical surface is $t=0$ in that section. With two relevant variables, the full critical surface has codimension two: the second section shows repulsion in the $(t,h)$ plane at $w=0$.

Assume an isolated fixed point with two relevant scaling fields, analytic changes from physical controls to $(t,h)$, short-range isotropic scaling, no dangerously irrelevant variable in the thermodynamic scaling function, and no marginal or resonant logarithm. Let ${\lambda }_t,{\lambda }_h>0$ denote their scaling eigenvalues. The homogeneous singular free-energy density obeysChoose a stopping scale $L=b^p\simeq |t{|}^{-1/{\lambda }_t}$ so the renormalized thermal field is order one. Irrelevant fields vanish at this scale. With $s=D/{\lambda }_t$ and $\Delta ={\lambda }_h/{\lambda }_t$,Continuous scale interpolation absorbs the immaterial integer stopping-scale convention. Nonuniversal thermal, field and free-energy metric factors can be included explicitly; the normalized functions depend only on the universality class. The $+$ and $-$ labels refer to $t>0$ and $t<0$, which flow to different sides of the critical surface.

For clarity about the additive terms, let $a(t,h)$ solve $a(t,h)=b^{-D}a(b^{{\lambda }_t}t,b^{{\lambda }_h}h)+g(t,h)$. If $g=\sum g_{mn}{t}^m{h}^n$, its analytic coefficients areprovided the denominators do not vanish. Subtracting $a$ makes the recursion homogeneous. A vanishing denominator is a resonance and generically produces logarithms, which the simple power-law hypothesis excludes. In a convention where the regular field-dependent background has been subtracted, write ${\Phi }_{\pm }=f_{\pm }+C_{\pm }$ and $I_{\pm }(t)=C_0+a(t,0)$. This yields the requested formThe $C_{\pm }$ contain branch-dependent matching contributions; only $f_{\pm }+C_{\pm }$ is physically determined. The $I_{\pm }$ are nonsingular functions analytic through the thermodynamic critical point and represent the same regular Taylor background on the two sides, though either branch may be used to describe them. For the full free energy at nonzero field, the regular background is generally $I(t,h)$, not just $I(t)$. Adding an analytic identity-operator contribution proportional to $h^2$ provides a direct counterexample to an exact unrestricted $I(t)$ formula; it changes no singular exponents. The printed expression is justified for the leading singular scaling form with that analytic field background removed. Confluent corrections from irrelevant fields are also omitted in this leading form.

Differentiate the singular scaling form, with one-sided derivatives in the ordered phase. It givesThe length transforms as $\xi (t,h)=L\xi (L^{{\lambda }_t}t,L^{{\lambda }_h}h)$, so $\nu =1/{\lambda }_t$. Thus the Rushbrooke scaling relation and hyperscaling relation follow by direct substitution:The same reasoning also gives $\gamma =\beta (\delta -1)$. Hyperscaling relation relies on the assumptions above and can fail above an upper critical dimension because of a stabilizing dangerously irrelevant coupling.

For the universal specific-heat amplitude ratio, write $F_s=A_f|a_{t}t{|}^s{\Phi }_{\pm }(0)$ at $h=0$. Two temperature derivatives multiply both branches by the same dimensional and thermal metric factors. Away from logarithmic resonances and exceptional zero amplitudes, $A_{+}/A_{-}={\Phi }_{+}(0)/{\Phi }_{-}(0)$ with the same heat-capacity sign convention on both sides. HenceThe functions and their matched branch constants are tied to the fixed-point theory; the constants are not independent arbitrary experimental parameters. If $\alpha <0$, this means the amplitudes of the subleading singular contribution after subtracting the analytic specific-heat background. A finite background ratio itself need not be universal.

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.