Entropy maximization implies equality of temperature

For two weakly coupled subsystems exchanging energy at fixed total energy, maximization of total entropy yields equality of temperatures at equilibrium.
Entropy maximization implies equality of temperature

Statement (temperature equality from entropy maximization)

Let two weakly interacting subsystems 1 and 2 form an isolated composite system. Let UiU_i be the of subsystem ii, and let Si(Ui,Vi,Ni)S_i(U_i,V_i,N_i) be its (with Vi,NiV_i,N_i fixed).

Assume:

  • the subsystems can exchange energy but not volume or particles,

  • the total energy is fixed: U1+U2=UtotU_1+U_2=U_{\mathrm{tot}},

  • the total entropy is additive:

    Stot(U1)=S1(U1,V1,N1)+S2(UtotU1,V2,N2), S_{\mathrm{tot}}(U_1)= S_1(U_1,V_1,N_1) + S_2(U_{\mathrm{tot}}-U_1,V_2,N_2),
  • S1,S2S_1,S_2 are differentiable in UU and the equilibrium corresponds to an interior maximizer of StotS_{\mathrm{tot}}.

Then at equilibrium,

(S1U1)V1,N1=(S2U2)V2,N2. \left(\frac{\partial S_1}{\partial U_1}\right)_{V_1,N_1} ={} \left(\frac{\partial S_2}{\partial U_2}\right)_{V_2,N_2}.

Using the definition of ,

1T=(SU)V,N, \frac{1}{T} = \left(\frac{\partial S}{\partial U}\right)_{V,N},

it follows that the equilibrium condition is

T1=T2. T_1 = T_2.

Key hypotheses

  • Two subsystems with negligible interaction energy so that entropy is additive.
  • Exchange of energy only, with fixed (Vi,Ni)(V_i,N_i).
  • Differentiability of SiS_i in UiU_i.
  • Equilibrium characterized by a (local) maximum of StotS_{\mathrm{tot}} at fixed UtotU_{\mathrm{tot}}.

Key conclusions

  • Equality of temperatures is the equilibrium condition for thermal contact:

    T1=T2. T_1=T_2.
  • If, additionally, the entropies are strictly concave in UU (a stability condition), the entropy maximizer (hence the equilibrium energy split) is unique and stable.

Proof idea / significance (sketch)

Maximize Stot(U1)S_{\mathrm{tot}}(U_1) subject to U2=UtotU1U_2=U_{\mathrm{tot}}-U_1. At an interior maximizer,

dStotdU1=(S1U1)V1,N1(S2U2)V2,N2=0. \frac{dS_{\mathrm{tot}}}{dU_1} ={} \left(\frac{\partial S_1}{\partial U_1}\right)_{V_1,N_1} -{} \left(\frac{\partial S_2}{\partial U_2}\right)_{V_2,N_2} =0.

Identifying (S/U)V,N(\partial S/\partial U)_{V,N} with 1/T1/T yields T1=T2T_1=T_2. This is the thermodynamic origin of temperature as the intensive parameter that equalizes under thermal contact.