Thermodynamic Potentials via Legendre Transforms
Statement
Starting from the fundamental relation for the internal energy in its natural variables, dU = TdS − PdV, we perform Legendre transformations that exchange one or both of the extensive variables (S, V) for their conjugate intensive variables (T, P). This generates the enthalpy H = U + PV, the Helmholtz free energy F = U − TS, and the Gibbs free energy G = U − TS + PV, each with its exact differential and its own set of natural variables.
Why it matters
The four potentials are not four independent physical facts; they are one function U(S,V) viewed through four coordinate choices. A Legendre transform re-expresses the same information so that the variables you actually control in the laboratory become the independent ones: constant (T,V) selects F, constant (T,P) selects G, constant (S,P) selects H.
Because each transform preserves the full thermodynamic content, the minimum of the appropriate potential at fixed control variables is the criterion for equilibrium, and the second cross-derivatives of each potential give the Maxwell relations. Almost every practical calculation in chemical thermodynamics, phase equilibria, and materials science begins by choosing the potential whose natural variables match the constraints.
Assumptions
Derivation
Result
dH = TdS + VdP (S,P), H = U + PV
dF = −SdT − PdV (T,V), F = U − TS
dG = −SdT + VdP (T,P), G = U − TS + PV
Reading. Each free energy is the internal energy with a "stored" contribution removed so that an intensive variable you can clamp becomes independent. Subtracting TS removes the reversible heat reservoir bookkeeping and hands control to temperature; adding PV removes the atmospheric flow work and hands control to pressure. The sign of each differential coefficient tells you the conjugate variable: e.g. −(∂G/∂T)P = S and (∂G/∂P)T = V.
Units check. All four potentials are energies (J). TS: K × (J K−1) = J. PV: Pa × m³ = (N m−2)(m³) = N m = J. In each differential, TdS = K × J K−1 = J, PdV = Pa × m³ = J, SdT = J K−1 × K = J, VdP = m³ × Pa = J. Dimensionally consistent throughout.
Limiting cases
- Constant S and V: dU = 0 at equilibrium; U is minimized — the isolated-system criterion.
- Constant T,V: dF = 0; the Helmholtz free energy is minimized and −ΔF bounds the extractable work.
- Constant T,P: dG = 0; Gibbs free energy is minimized — the standard bench-chemistry condition.
- Constant S,P (adiabatic, isobaric): dH = 0; enthalpy is minimized and ΔH is the heat at constant pressure.
- Incompressible / condensed phase: PV is nearly constant, so H ≈ U and G ≈ F up to a fixed offset.
Breaks when
- First-order phase transitions. U(S,V) loses strict convexity across coexistence; the Legendre transform flattens onto a tie-line and (T,P) map to a whole range of volumes, so G is continuous but its first derivatives jump. The transform is then the convex-hull (Maxwell) construction rather than a smooth swap.
- Irreversible or non-equilibrium processes. When the path is not quasi-static, TdS > δQ and PdV is not the actual work; the intensive variables T,P are undefined for the system as a whole, so the differentials above no longer identify measurable heat and work — only the endpoint state-function changes survive.
- Non-extensive or long-range-interacting systems. For self-gravitating or small systems the entropy is not concave and can be non-additive; the Legendre transform is not invertible and different ensembles cease to be equivalent, so the potentials do not carry the same information.
Failure modes
- Writing G = U − TS − PV (wrong PV sign): the sign follows from P = −(∂U/∂V)S, so the transform adds PV.
- Reporting the wrong natural variables, e.g. treating F as a function of (T,P): differentiating a potential with respect to a non-natural variable loses information and gives wrong Maxwell relations.
- Confusing −(∂F/∂T)V = S with +S: the minus sign is intrinsic to the Legendre transform dg = −xdp.
- Using dU = TdS − PdV to claim heat = TdS along an irreversible leg; it is exact for the state change but only equals δQ when reversible.
- Forgetting the μdN term in open systems, then being surprised that G ≠ ΣμiNi.
Discussion
The deep point is geometric. A convex function is completely encoded either by its graph (value versus variable) or by the envelope of its tangent lines (intercept versus slope). The Legendre transform switches between these two descriptions, and thermodynamics exploits both: the extensive description U(S,V) is natural for isolated systems, while the tangent-line description is natural when a reservoir fixes a slope — a heat bath fixes T = (∂U/∂S), a pressure reservoir fixes P = −(∂U/∂V). Choosing the potential is choosing which reservoir you have coupled to.
Each potential also has a variational meaning. If the system exchanges heat and volume with reservoirs at fixed T0,P0, the total entropy of system-plus-reservoir is maximized exactly when the system's G = U − T0S + P0V is minimized. So the "minimum free energy" rules are not new postulates — they are the second law rewritten from the system's viewpoint after the reservoir degrees of freedom have been eliminated, which is precisely what the Legendre transform accomplishes.
Because each transform leaves a well-defined exact differential, equality of mixed second partials immediately yields the Maxwell relations, one per potential: from F, (∂S/∂V)T = (∂P/∂T)V; from G, (∂S/∂P)T = −(∂V/∂T)P; and so on. These convert hard-to-measure entropy derivatives into mechanical (P,V,T) measurements — the practical payoff of the whole construction.
There is a statistical-mechanical mirror. The transform between U(S) and F(T) corresponds exactly to the passage from the microcanonical entropy S(E) = kB ln Ω(E) to the canonical free energy F = −kBT ln Z via a Laplace transform, Z = ∫ Ω(E) e−E/kBT dE. In the thermodynamic limit the Laplace integral is dominated by its saddle point, and the saddle-point (steepest-descent) evaluation reduces the Laplace transform precisely to a Legendre transform. Ensemble equivalence is therefore exactly the statement that S(E) is concave; where it is not, the ensembles inequivalence is the same failure that breaks the thermodynamic Legendre transform.
Common misconceptions. The free energies are not "the energy available to do work" in any universal sense — that identity holds only under specific constraints (−ΔF bounds isothermal work; −ΔG bounds isothermal-isobaric non-expansion work). And subtracting TS does not "remove energy that is unavailable"; it changes which variable is independent. The numerical value of any potential also carries an arbitrary additive constant (and, for F and G, an arbitrary linear-in-T piece from the entropy reference); only differences and derivatives are physical.
Worked examples
Reading. Compression raises the Gibbs free energy by about 4.0 kJ; the positive sign means work must be done on the gas. Units check. J K−1 mol−1 × mol × K = J, and the logarithm is dimensionless, so ΔG is in joules.
Reading. The 831 J gap is exactly the flow-work term PV that distinguishes enthalpy from internal energy; heating at constant pressure delivers more energy as heat than the internal energy rises, the excess going into pushing back the atmosphere. Units check. mol × J K−1 mol−1 × K = J for every quantity; the two routes agree to rounding.
Problems
- Starting from H = U + PV and dU = TdS − PdV, derive dH and state the natural variables of H.
Solution
dH = dU + d(PV) = (TdS − PdV) + (PdV + VdP) = TdS + VdP. The −PdV and +PdV cancel, so H depends naturally on (S,P), with T = (∂H/∂S)P and V = (∂H/∂P)S. - From dU = TdS − PdV, derive the Maxwell relation associated with U.
Solution
Here T = (∂U/∂S)V and −P = (∂U/∂V)S. Because U is a state function, ∂²U/∂V∂S = ∂²U/∂S∂V, i.e. (∂T/∂V)S = (∂(−P)/∂S)V. Hence (∂T/∂V)S = −(∂P/∂S)V. - Compute ΔG for n = 2.00 mol of ideal gas compressed isothermally at T = 298 K from 1.00 bar to 10.0 bar.
Solution
At constant T, ΔG = nRT ln(P2/P1) = (2.00)(8.314)(298) ln(10.0). Now nRT = 4955 J and ln 10.0 = 2.303, so ΔG = 4955 × 2.303 ≈ +1.141 × 10⁴ J = +11.4 kJ. Positive, as expected for compression. - Show that G = U − TS + PV is the double Legendre transform of U, and hence find the conjugate relations for S and V from dG.
Solution
dG = dU − TdS − SdT + PdV + VdP. Substituting dU = TdS − PdV cancels both TdS and PdV, giving dG = −SdT + VdP. Both extensive variables have been traded for their intensive conjugates, so G = G(T,P). Reading coefficients: S = −(∂G/∂T)P and V = +(∂G/∂P)T. - Using G = H − TS and S = −(∂G/∂T)P, derive the Gibbs–Helmholtz relation (∂(G/T)/∂T)P = −H/T².
Solution
From G = H − TS and S = −(∂G/∂T)P we get G = H + T(∂G/∂T)P. Now differentiate G/T: (∂(G/T)/∂T)P = (1/T)(∂G/∂T)P − G/T². Substitute G = H + T(∂G/∂T)P: the (1/T)(∂G/∂T) terms cancel, leaving −H/T². This lets equilibrium constants' temperature dependence be tied directly to reaction enthalpies.