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.
Gibbs-Duhem equation Created 2026-09-24 Updated 2026-10-05
The Euler theorem for homogeneous functions applied to an extensive quantity, together with give
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 .