The scaling hypothesis (SH), introduced by Widom in 1965 [
1], marked the turning point in the modern description of critical phenomena. It lead to the development of the renormalization group (RG) theory [
2,
3], which gave an explanation both to SH and to its deep underlying physics in terms of general concepts such as phenomena at all length scales and symmetry breaking. The trascendental roles of SH and RG cannot be exaggerated, pervading not only the physics and chemistry of phase transitions and condensed matter in general, but also influencing many other fields, from the then emerging field of complex systems to high energy physics. As it is now common knowledge, and expressed in too many articles and monographies, see e.g., Refs. [
4,
5,
6,
7], the scaling hypothesis has remained as such, namely as a hypothesis that leads to the equalities of the different critical exponents, and that its validation and the actual calculation of the exponents are the success of RG. The purpose of this article is to show that the scaling hypothesis follows directly from the laws of thermodynamics and the equilibrium conditions in a magnetic-like system with a coexistence curve of different thermodynamic states. We show first that the existence of such a curve implies that there is a point, the critical point of the phase transition, where the thermodynamic properties may or may not be analytic, and where the isothermal susceptibility must diverge, while the specific heat may remain finite. These results suggest power law dependences of the thermodynamic properties on the natural variables, energy and magnetization, near the critical point. As a consequence, the equilibrium conditions at coexistence imply that the entropy function obeys scaling. As we will comment at the end of the text, there may be a way to go further to, first, show that the two critical exponents of the scaling form are not independent of each other, and second, to calculate them without resorting to RG.
To be succinct, we consider the fundamental form of the entropy
s, per unit of volume, of a very general “magnetic” system, with a scalar magnetization
m per unit of volume, that can be both positive and negative, and with energy
e per unit of volume. That is, we consider the function
which gives all the thermodynamics of such a system. Thermodynamics asserts [
8,
9,
10] that
s is a concave single valued function of
e and
m, with its first derivatives yielding the temperature
T and the magnetic field
H,
where
and
,
We consider dimensionless variables [
11]. The fact that
s is a concave function of
e and
m follows from the second law and it is expressed through the inequalities [
8,
9]
which imply
. In the above inequalities we have already identified the isothermal magnetic susceptibility,
and the specific heat at constant magnetization,
The inequalities and the third law, , give rise to the well known stability conditions and .
Before proceeding with our demonstration, it is worth making here a brief review of the scaling hypothesis, as it is now described in many article and textbooks [
5,
6,
7]. Let the system show a second order phase transition, say, a para-ferromagnetic transition. This occurs at zero magnetic field
H: if the temperature is above a certain critical value
, the magnetization is zero, while below,
the system spontaneously acquires a finite magnetization different from zero, at an arbitrary direction. As the critical transition is approached, several quantities behave in the form of power law dependences, with universal critical exponents which obey so-called exponent equalities. For instance, with
, the specific heat behaves as
, the magnetic susceptibility always diverge as
, and for
, the magnetization grows as
. Along the critical isotherm
, the magnetic field vanishes as the magnetization does so, with the law
.
In the Landau and van der Waals mean-field models the exponents are known [
5], as well as in the exact 2D Ising model [
12]. Moreover, the corresponding exponents obey the mentioned equalities. The validity of the equalities was further supported by rigorous thermodynamic bounds [
13,
14,
15,
16], that indicated that those were inequalities at least. It was Widom [
1] who showed that if the free energies had a certain parametric dependence on their variables, now called scaling form, the inequalities were exact equalities. For example, if the Helmholtz free energy per volume, in the vicinity of the critical point, had the form,
with
a scaling function with assumed asymptotic limits [
5], the exponents can be shown to obey the equalities
and
, independently of the dimension of space,
, 3, or 4. This scaling hypothesis was the remarkable achievement mentioned above that opened the door for the modern understanding of critical phenomena. Although the scaling hypothesis in Equation (
6) was extended to the behavior of the magnetization correlation function, yielding further equalities involving the exponents
and
and the space dimension
d [
4], here we will limit ourselves to the derivation of the scaling form of the free energies, such as Equation (
6), from pure thermodynamics. As it was mentioned already, the renormalization group formalism [
3], based on the use of the Ginzburg–Landau theory [
5,
6,
7,
17], not only yielded the scaling form but a systematic path to the calculation of the exponents; yet, such a formalism requires the use of statistical physics and of microscopic models of the systems, a procedure that goes beyond general considerations of thermodynamics.
Let us now return, then, to general aspects of thermodynamics, in terms of the entropy function , introduced above. We now consider properties of a magnetic’ system. The main consideration is that is an even function of m, . Therefore, the magnetic field h is an odd function of m, . Hence, if it follows that . Since there are no restrictions in the energy dependence, and using the third law , we find that for constant m the entropy is a monotonic, increasing, concave function of e; thus, decreases as e increases for fixed m. On the the other hand, for fixed energy e, s has a maximum at , then decreases monotonically in a concave fashion as increases.
Now we analyze the geometrical characteristics that the entropy surface
should have in order to allow for a two-phase coexistence region. First, for the present system and due to its assumed symmetry, we consider the existence of two phases with magnetizations of opposite signs but same entropy and energy [
18], namely, the coexistence of states
with
. From the usual considerations of the coexistence of two thermodynamic states [
8], the strong requirement is that their temperature
and their magnetic field
h are the same. Since
h is an odd function of
m, it must then be true that
for all coexistence states. In addition, we assume that the entropy surface represents stable thermodynamic states only. Hence, these considerations imply that there exists a void region on the entropy surface
whose edge define a coexistence curve; see
Figure 1 for a qualitative rendering of this consideration. This curve is symmetric with respect to
and, aside the point at
, the rest of the points on the curve represent two coexisting different phases whose magnetizations
m have opposite signs. As we will see below, the introduction of such a curve is so disruptive in an otherwise smooth concave surface, that it forces the point
on the curve to be “critical”, in the sense that
must diverge and that the function
must obey scaling in its neighborhood. The point
on the coexistence curve is identified as the critical point, with energy
, entropy
, temperature
, and critical field
. It is very important to emphasize again that the piece of surface inside the coexistence curve simply does not exist: it is a “hole” or a “cut” on the entropy surface. It is one of the greatest results of statistical physics that such a type of cut can be shown to exist in interacting atomic systems in the thermodynamic limit [
19].
Let us now see the consequences of the coexistence curve. Such a curve can be written quite generally as a relationship between
e and
m,
where
, even in
m and vanishing at the critical point. As indicated above
. Below we will propose an explicit form of such a curve in the neighborhood of the critical point but, first, we can show an important very general result, namely, the vanishing of the inverse of the susceptibility
at the critical point, see Equation (
3). For this, let us introduce the vector field
normal to the entropy surface. By considering the vector
oriented in right-hand Cartesian axes, a vector normal to the surface at such a point is given by
. From the equilibrium conditions one can conclude that at any pair of coexistence points,
and
, with
, the corresponding normal vectors are equal. Now consider a point
not on the coexistence curve but near to the critical point
. The normal to such a point can be written as
, where,
and
with the subscript
c meaning evaluation at the critical point. Consider also the symmetrical point of the above, namely at
; it can be obtained from the previous one by changing
and leaving
the same. Now we let those two arbitrary points move to the coexistence curve, keeping their symmetry. At coexistence,
,
and
. Therefore, from the above expressions, Equations (
8) and (
9), we conclude that at the critical point,
and
while there is no restriction on
, but to remain negative. By using the concavity conditions, Equation (
3), and the above critical values, Equations (
10) and (
11), one finds the severe result that
as the critical point is approached, equivalent to assert that
diverges there, and that there is no restriction on the (inverse) specific heat
, that is, it may remain finite or not at the critical point. These results are the usual observed behavior at actual phase transitions at the critical point. While the previous derivation makes use of the geometrical properties of the entropy surface, one can visualize this result by noting that the normal vectors at both sides of the coexistence curve must approach the normal at the critical point remaining parallel throughout: intuitively, this can be achieved if the surface at the critical point is flat. Since the gaussian curvature
necessarily vanishes at the critical point, as shown above, the surface at such a point is cylindrical when
or definitely flat if
.
We can now show that the scaling hypothesis is no longer a hypothesis and that it follows from the strong conditions at the coexistence curve. Since the presence of the coexistence curve implies a discontinuity in, at least, one of the variables, there is no reason to expect full analyticity at such a curve. Thus, while we do not assume analyticity of the entropy function at the coexistence curve and, in particular, at the critical point, we do assume that
is indeed analytic elsewhere. In any case, using as the origin the critical point
, we can write the entropy in the form,
where the function
may be singular at
and
, but still
. Since at other points on
is analytic, we can expand it around the point
but arbitrary
, shown as point (A) in
Figure 1,
where
are not necessarily analytic at
and, therefore, we cannot make a Taylor expansion around that point. The powerful insight in proposing Equation (
13) was introduced by Widom in his seminal paper [
1]. The above expression is valid above and at the coexistence curve, such as point (B) in
Figure 1, but not at points such as (C). Thus, we can calculate the isothermal susceptibility
and specific heat
, using Equations (
3), and the magnetic field
h, Equation (
2) at any of the valid points. Of particular relevance is their evaluation at the coexistence curve, using Equation (
7), where we find,
The first expression must vanish as
, while the second one may or may not. At coexistence, the magnetic field is zero,
, yielding the condition,
for all values of
m.
The previous expressions, Equation (
14) and (
15), and their limits, being functions of
only, pose very stringent demands on the form of the coexisting curve and on the functions
. First, one can safely and very generally assume that very near the critical point the coexistence curve is given by
where
is a constant and the exponent
is arbitrary. The only reasonable restriction on the exponent is that
, otherwise it would have a cusp, see
Figure 1. This algebraic dependence and the conditions on the susceptibility at coexistence, indicate that very near
one can asymptotically write
with
constants and the exponents
to be determined. It is important to realize that, even in the asymptotic regime
, due to the possible nonanaliticity of
, in principle one cannot cut the expansion Equation (
13) at any order
n in the sum; that is, the whole sum must vanish in the joint limit
first, then
. Hence, expression Equation (
17) is the statement that all the functions
are of equal importance in the expansion and, therefore, that they behave similarly with a (possible nonanalytic) power law behavior near
. One cannot make any compromise on the coefficients
, except their contribution to the limiting behaviors of the sums. As it will also be discussed below, there is still room for additional logarithmic terms not considered above.
By substituting the asymptotic expressions given by Equations (
16) and (
17) into the
condition at coexistence, Equation (
15), one finds,
Since this quantity must be zero for any finite value of the magnetization
near
, it can only be so if the exponents at all orders in
n are equal, namely, if
for all
, and the following sum vanishes,
The condition Equation (
19) for the exponents
yields a scaling form for the entropy function. That is, near the critical point, gathering Equations (
13), (
17), and (
19), one finds,
The singular part of the entropy is thus expressed in terms of two exponents only,
and
, with a scaling function
. The condition
follows from the vanishing of
at criticality, see Equation (
14). Obviously
, a constant, and, by continuity,
must reach
, with
a constant. This is a usual argument in dealing with scaling functions [
7], namely, since the form Equation (
21) is valid everywhere near the critical point, it must also be valid for a point such as (C) in
Figure 1, where
strictly and
, and can depend on
only. Therefore, the limit
must cancel any dependence on
m, forcing the mentioned limit. Hence, for
, one can expand in powers of
, yielding,
with
constants that depend on the coefficients
.
With the forms given by Equations (
21) and (
22) all the scaling results for the thermodynamic quantities near the critical point, including the exponent equalities, follow. See Ref. [
7] for a thorough analysis of results following scaling. Since most of the critical properties are typically given in terms of the temperature, one can first find it using Equation (
2); we quote the final results below. Before, we believe it is instructive to find the critical isotherm curve in the present variables
. For this, let us calculate the temperature near the coexisting curve using Equation (
21); one finds
By setting
,
and
, the solution is a curve with the same exponent as the coexistence curve, that is
but
the factor of the coexistence curve, see Equation (
16). See
Figure 1. Using Equation (
23), it is then a simple exercise to find the usual scaling results in terms of
and
,
where
,
,
, and
are constants and the signs ± indicate
and
, and
and
at coexistence. One reads off the usual critical exponents
,
,
, and
, obeying the Rushbrooke [
13]
and Griffiths [
14]
equalities. Two additional comments. If
is analytic at the critical point, then
and
, the series can be cut at second order and one recovers the usual classical Landau–van der Waals exponents. In general, if
, with
M an integer, the series in Equations (
21) and (
22) can be cut at the
M-th order. For
but
non-analytic, Widom [
1] showed that there could still be a logarithm divergence in the specific heat, as in the two-dimensional Ising model [
12], that we have certainly not considered. If
, the logarithmic divergence can be ignored and the specific heat diverges algebraically at the critical point, see Equation (
14).
Summarizing, we first highlight the fact that the scaling form of the entropy near the critical point, as given by Equation (
21), follows directly from the laws of thermodynamics and its restrictions on the entropy surface. One does not need to introduce it as a hypothesis. On the other hand, as thermodynamics is an empirical theory that does not explicitly include the dimensionality
d of space, it is certainly unable to access the exponents
and
of the density correlation function [
5], and whose relationship to the other exponents is given by the Fisher equality [
15]
and the hyperscaling Josephson relation [
16]
. Their elucidation is one of the greatest achievement of RG. However, the present result may open a novel approach to find, in a practical way, the values of the critical exponents, a procedure that we have not been able to materialize. The point being that the exponent
is at our disposal, that is, we can give it any value
. It is our guess that, again, since the inclusion of the coexistence curve seriously disrupts the otherwise continuous and smooth entropy surface, it may result that such a distortion necessarily requires that the exponent
is a function of
, i.e.,
. Thus, if one were able to find such a relationship, then, by scanning the value of
one could find the value of all the other exponents. The further obvious condition is that the exponent
should be a continuous function of the dimensionality
d, but at the moment this appears out of context. Finally, the other profound issue of critical phenomena, which adds to the discussion of the thermodynamic origin of the supposed relationship
, is the universal character of the critical exponents. The present discussion has been limited to a magnetic system with its concomitant assumed symmetries. However, as it is well known, the critical exponents of an Ising-magnetic system are the same as those of the critical point of the liquid–vapor transition [
4,
5,
6]. As we will discuss elsewhere [
20], one finds that locally the corresponding entropy surface shows the same properties as the present one, once one includes a coexisting curve. Hence, if
is a function of
, then, for the same
the exponents will be the same in both physical systems.
To conclude, we believe the present study shows a way to reanalyze all the known critical phenomena in terms of thermodynamics only, without statistical physics models. That is, to reevaluate them using general differential geometric properties of the entropy function, in terms of the corresponding extensive variables, to find relevant constraints on its shape and on the form of the coexistence lines, such that one can, not only show that scaling is obeyed, but to investigate into finding a further relationship between the, so far, independent two exponents. Here, we approached the Ising critical point, to which para-ferromagnetic and liquid-vapor transitions belong, but this procedure should be extended to study the normal to superfluid transition in which the critical transition is not a point but a whole line, such as the lambda critical transition in Helium [
21] and the Bose–Einstein condensation in ultracold gases [
22], fields of active current interest.