4.1 Why free energy: system and reservoir
The thermodynamics chapter gave the rules of bookkeeping; this one gives the rule of prediction. The second law says an isolated system moves toward maximum entropy — but the systems we usually care about are not isolated. A reaction in a beaker, a crystal in contact with its melt, a magnet in a thermostat all exchange heat with their surroundings. For these the quantity that is extremised is not the entropy but a free energy.
The total-entropy argument
Put the system in thermal contact with a much larger reservoir at fixed temperature . The combination “system + reservoir” is isolated, so its total entropy can only increase. The reservoir is so large that it stays at ; the entropy it gains is the heat it absorbs divided by , and at fixed system volume that heat is . So
where is the Helmholtz free energy. The second law is therefore exactly equivalent to . The free energy is the system-level bookkeeping that has already absorbed the reservoir’s entropy change, so that a statement about the universe becomes a statement about the system alone.
At fixed T and V, a process is spontaneous (allowed) iff the *total* entropy of system + reservoir increases. Because the reservoir's entropy change is exactly -ΔU/T, this condition is equivalent to ΔF = ΔU − T ΔSsys ≤ 0. The Helmholtz free energy F is not a new physical quantity — it is just the system-level bookkeeping that absorbs the reservoir contribution. *That* is why we minimise F at fixed T, V.
Slide and . The total-entropy verdict — “allowed” or “forbidden” — flips exactly at the line: a change with is allowed, one with is forbidden. That is why a system at fixed and relaxes toward the minimum of .
For a system held at fixed temperature and pressure — the usual case under the atmosphere — the same argument, now allowing the reservoir to do pressure work, gives the Gibbs free energy
with the criterion . Which free energy to minimise is set entirely by which variables the surroundings hold fixed.
Free energies as Legendre transforms
The definitions and are not arbitrary: each is the Legendre transform of the internal energy, trading a natural variable for its conjugate. has natural variables and , with and . The transform swaps the entropy for the temperature — geometrically, is the intercept of the tangent to whose slope is .
The Legendre transform F(T) is the y-intercept of the tangent to U(S) with slope T. As you slide T, the tangent point S* moves along the curve, and F(T) = U(S*) − T·S* traces out a new function — the same information as U(S), but indexed by T instead of S. This is why F depends on T but not on S: choosing T fixes S* automatically by dU/dS = T.
Slide — the slope of the tangent line. The point of tangency on moves, and the tangent’s intercept is . The transform carries exactly the same information as , repackaged so that the control variable is the temperature the experimenter actually fixes. Differentiating the definitions gives the working forms
from which the entropy, pressure, and volume are read off as first derivatives — the machinery the rest of the chapter uses to locate equilibrium.