For a single-component equilibrium system with extensive internal energy , scaling its entropy, volume and particle number together gives . The Euler theorem for homogeneous functions therefore gives . The first law of thermodynamics identifies these derivatives as , respectively, proving . Dividing by volume yields the entropy density formula . This step fixes the entropy normalization rather than merely identifying its differential. Differentiating the Euler relation and subtracting gives the Gibbs-Duhem equation . The argument requires extensivity; it is not an assumption about arbitrary nonadditive systems.
Euler theorem for homogeneous functions Created 2026-09-24 Updated 2026-10-05
Let be a differentiable function on an open domain stable under positive rescaling, with for . The chain rule differentiates this homogeneous function identity at to give
If is twice differentiable, differentiating once more gives . In degree one its Hessian matrix therefore annihilates the radial vector . This is the identity used in the no-scale identity from degree-one homogeneity. For an extensive quantity, the degree-one formula also supplies the thermodynamic identity behind the Gibbs-Duhem equation.
Let be the physical volume of a region with fixed comoving coordinates, so , and write . The first law of thermodynamics is . Use extensive quantities: under replication, . The Euler theorem for homogeneous functions gives
Setting yields
This is the entropy form of the Gibbs-Duhem equation; it fixes the normalization by extensivity, rather than adding an arbitrary volume-independent entropy constant.
For equilibrium expansion of the same region, the first law and the cosmological perfect-fluid continuity equation imply
Therefore , establishing cosmological entropy conservation for adiabatic equilibrium evolution. Here “comoving volume” means a patch moving with the cosmological fluid; its physical volume changes. The corresponding coordinate volume is constant. The local TeX's in the continuity-equation hint is a transcription error: the PDF correctly has .
Replicating a macroscopic equilibrium system scales , and by the same factor, so is homogeneous of degree one. Euler's theorem and the first law
give
Differentiating this identity and comparing with the first law cancels the , , and terms, leaving the Gibbs-Duhem equation
Therefore