Binary activity-coefficient consistency 2026-10-18
For a nonideal chemical solution, write its thermodynamic activities on a mole fraction basis as and . Use composition-independent pure-component reference chemical potentials at the same temperature and pressure:The activity coefficients describe departure from the ideal solution under that reference convention.[ref]
At fixed temperature and pressure, insert these expressions into the Gibbs-Duhem equation. The ideal solution terms cancel because . What remains isThus two independent fits to measured activity coefficients can each look smooth while failing to describe one possible Gibbs free energy. This is a necessary consistency condition; satisfying it alone does not establish experimental accuracy or thermodynamic stability.
For an original algebraic example, suppose at one fixed temperature and pressure that , with dimensionless constant . The constraint requires . With the pure-B normalization , integration givesFor and , the derivatives of the two logarithms are and ; their weighted sum is . Choosing instead would give a weighted sum at that composition, contradicting the Gibbs-Duhem equation. These are invented model functions, with no claim to fit a particular mixture.
The fixed-temperature, fixed-pressure restriction matters. Along a path with changing temperature or pressure, the general equation contains , and the reference chemical potentials and also change. Across phase coexistence, apply the relation separately within each smooth thermodynamic phase; do not differentiate a discontinuous switch between phases as if it were a single composition curve.
Euler relation in thermodynamics 2026-10-06
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 giveIf 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-18
The Gibbs-Duhem equation constrains changes of the intensive quantities describing one uniform thermodynamic phase. For a mixture with independently specified component amounts, its molar form isHere is entropy, is volume, is temperature, is pressure, is the amount of substance of component , and is its molar chemical potential. This assumes a simple compressible system whose bulk internal energy is an extensive quantity; additional work coordinates require additional terms.[ref]
Thermodynamics and Chemistry by Howard DeVoe. Howard DeVoe, Thermodynamics and Chemistry, second edition, version 10, §9.2.8, printed p. 240, equations 9.2.42–9.2.44
The proof exposes the source of the constraint. For internal energy , replication of the whole thermodynamic phase by a factor gives . The Euler theorem for homogeneous functions and the fundamental differential of internal energy therefore giveTaking the differential of the first equation produces all the terms in the second, plus . Subtraction proves the Gibbs-Duhem equation. Thus the constraint comes from two descriptions of the same state function, rather than an assumed microscopic interaction model.
At fixed temperature and pressure, divide by and introduce the mole fractions :The chemical potentials cannot be varied independently. In a two-component mixture, put and . Within a smooth single-thermodynamic phase region with ,One chemical potential fixes the other's change, but determining its absolute value still requires a reference value. This does not say : equality at phase coexistence concerns the same chemical species in different thermodynamic phases. Nor does the constraint say whenever temperature and pressure are fixed; changing composition still contributes to the Gibbs free energy.
Isothermal compressibility from chemical-potential response Created 2026-10-18 Updated 2026-10-20
For a homogeneous extensive single-component thermodynamic phase, the Gibbs-Duhem equation at fixed temperature gives . With number density , fixed gives . The chain rule therefore givesThe derivatives are evaluated within the same smooth equation of state; an interface contribution or phase coexistence can invalidate this simple homogeneous derivation.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 83 2 ii Solution Created 2026-10-03 Updated 2026-10-14
Let be the normalized stationary profile. Multiplying its stationary Gross–Pitaevskii equation by , integrating and integrating the kinetic term by parts yieldsThis is not simply : the quartic contribution is twice its contribution to that energy per particle. For an infinite periodic system one uses one cell and the corresponding cell particle number, or equivalently average densities.
At fixed lattice spacing, mean density , coupling and temperature, the commonly used condensate compressibility in an optical lattice isIf compressibility means the thermodynamic volume response instead, the Gibbs-Duhem equation at zero temperature gives . Stating the convention removes this factor-of-density ambiguity; the lattice-depth derivative has the same sign at fixed .
For the stable repulsive ground-band Bose-Einstein condensate, the intended trend is for increasing nonzero lattice depth, with mean density held fixed. Deeper wells localize the field, enhancing the repulsive interaction response. To quantify this, in the weak-interaction band approximation write , with the cell average of equal to one. Perturbation in givesIn deep wells the localized orbital is approximately a normalized Gaussian of width . Neglecting interwell overlap, , hence . This explicitly establishes the sign in that controlled regime; the repulsive ground-band calculation describes the broader trend.
The sign statement needs the repulsive, stable ground-band interpretation, not merely the literal assumption . It also need not be a strictly nonzero derivative at : at weak interaction , with normalization corrected at second order, gives and a zero initial slope. A leading density-dominated Thomas–Fermi approximation for a condensate with density positive everywhere gives and no depth dependence of this response at that approximation's order. These limits do not justify a strict universal sign for every unspecified interaction and parameter regime.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 310 3 a Solution Created 2026-10-03 Updated 2026-10-05
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 givesSetting yieldsThis 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 implyTherefore , 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 .
Past exam of the mathematics course of the University of Cambridge 2024 ii Paper 2 37B c Solution Created 2026-09-24 Updated 2026-09-25
Differentiate the Euler relation for a single-component simple compressible system:The thermodynamic fundamental relation for the same system is . Subtraction givesDividing by , with and , proves the Gibbs-Duhem equationThe underlying Euler relation assumes extensive bulk thermodynamics and no additional work coordinates. The result says that the intensive quantities are constrained; the chemical potential cannot be varied independently of temperature and pressure within one homogeneous phase.
Use the Gibbs-Duhem equation for a homogeneous, extensive, single-component thermodynamic phase:At fixed temperature, this becomes , with number density . Separately, at fixed particle number,The chain rule along the same isothermal process in the equation of state now givesConsequentlyThis is isothermal compressibility from chemical-potential response. Since chemical potential has units of energy per particle, the right-hand side has units of volume per energy, or , as required. The derivation assumes a smooth bulk equation of state; changing the fractions of coexisting thermodynamic phases at fixed pressure needs separate treatment.