Categories: Mathematics, Thermodynamics.

Triple product rule

Suppose we have a function f(x,y,z)f(x, y, z), whose stationary points we want to find. This is simple: we take the differential df\dd{f} and set it to zero:

0=df=(fx)y,zdx+(fy)x,zdy+(fz)x,ydz\begin{aligned} 0 = \dd{f} &= \bigg( \pdv{f}{x} \bigg)_{y, z} \dd{x} + \bigg( \pdv{f}{y} \bigg)_{x, z} \dd{y} + \bigg( \pdv{f}{z} \bigg)_{x, y} \dd{z} \end{aligned}

But what if we have a constraint of the form f(x,y,z)=Cf(x, y, z) = C, for some constant CC? In that case, ff must be stationary everywhere, so the above still holds, but the coordinates (x,y,z)(x, y, z) are no longer independent: there exists an implicit relation z(x,y)z(x, y) to satisfy the constraint.

Then zz can be regarded as a height function, in which case we can vary (x,y)(x, y) such that zz stays constant, i.e. it is possible to choose dx\dd{x} and dy\dd{y} such that dz=0\dd{z} = 0, leaving:

0=(fx)y,zdx+(fy)x,zdy\begin{aligned} 0 &= \bigg( \pdv{f}{x} \bigg)_{y, z} \dd{x} + \bigg( \pdv{f}{y} \bigg)_{x, z} \dd{y} \end{aligned}

We divide this by dy\dd{y}. Note the subscript (f,z)(f, z), which says those variables are kept constant for that derivatives, to indicate that xx and yy are not independent:

0=(fx)y,z(xy)f,z+(fy)x,z\begin{aligned} 0 &= \bigg( \pdv{f}{x} \bigg)_{y, z} \bigg( \pdv{x}{y} \bigg)_{f, z} + \bigg( \pdv{f}{y} \bigg)_{x, z} \end{aligned}

Rearranging this gives a form of the triple product rule heavily used in thermodynamics:

(xy)f,z=(fy)x,z(fx)y,z\begin{aligned} \boxed{ \bigg( \pdv{x}{y} \bigg)_{f, z} = - \frac{ \bigg( \displaystyle\pdv{f}{y} \bigg)_{x, z} }{ \bigg( \displaystyle\pdv{f}{x} \bigg)_{y, z} } } \end{aligned}

If we had divided by dx\dd{x} instead of dy\dd{y}, we would have arrived at an equivalent result:

(yx)f,z=(fx)y,z(fy)x,z\begin{aligned} \bigg( \pdv{y}{x} \bigg)_{f, z} = - \frac{ \bigg( \displaystyle\pdv{f}{x} \bigg)_{y, z} }{ \bigg( \displaystyle\pdv{f}{y} \bigg)_{x, z} } \end{aligned}

Comparing the two previous relations, we see that y/x\ipdv{y}{x} is simply one over x/y\ipdv{x}{y}, just like in an unconstrained problem:

(yx)f,z=(xy)f,z1\begin{aligned} \bigg( \pdv{y}{x} \bigg)_{f, z} = \bigg( \displaystyle\pdv{x}{y} \bigg)_{f, z}^{-1} \end{aligned}

You may think this is obvious, but it was worth checking that it holds here too. Applying this to either of our earlier relations yields the standard form of the triple product rule:

1=(xy)f,z(fx)y,z(yf)x,z\begin{aligned} \boxed{ -1 = \bigg( \pdv{x}{y} \bigg)_{f, z} \bigg( \pdv{f}{x} \bigg)_{y, z} \bigg( \displaystyle\pdv{y}{f} \bigg)_{x, z} } \end{aligned}

Many authors write this relation with f(x,y,z)=z(x,y)f(x, y, z) = z(x, y), in which case it becomes:

1=(xy)z(zx)y(yz)x\begin{aligned} -1 = \bigg( \pdv{x}{y} \bigg)_{z} \bigg( \pdv{z}{x} \bigg)_{y} \bigg( \displaystyle\pdv{y}{z} \bigg)_{x} \end{aligned}

References

  1. H.B. Callen, Thermodynamics and an introduction to thermostatistics, 2nd edition, Wiley.