APPENDIXF MATHEMATICALPROPERTIES OFSTATEFUNCTIONS 485
We can make other Legendre transforms off by subtracting one or more products of
conjugate variables. A second example of a Legendre transform is
f 2
def
D f by cz (F.4.7)
whose total differential is
df 2 Ddf bdy ydb cdz zdc
Dadx ydb zdc (F.4.8)
Herebhas replacedyandchas replacedzas independent variables. Again, we can identify
the coefficients as partial derivatives and write new reciprocity relations.
If we have an algebraic expression for a state function as a function of independent vari-
ables, then a Legendre transform preserves all the information contained in that expression.
To illustrate this, we can use the state functionf and its Legendre transformf 2 described
above. Suppose we have an expression forf .x; y; z/—this isfexpressed as a function of
the independent variablesx,y, andz. Then by taking partial derivatives of this expression,
we can find according to Eq.F.2.3expressions for the functionsa.x; y; z/,b.x; y; z/, and
c.x; y; z/.
Now we perform the Legendre transform of Eq.F.4.7:f 2 Df by czwith total
differential df 2 Dadx ydb zdc(Eq.F.4.8). The independent variables have been
changed fromx,y, andztox,b, andc.
We want to find an expression forf 2 as a function of these new variables, using the
information available from the original functionf .x; y; z/. To do this, we eliminatez
from the known functionsb.x; y; z/andc.x; y; z/and solve foryas a function ofx,b,
andc. We also eliminateyfromb.x; y; z/andc.x; y; z/and solve forzas a function
ofx,b, andc. This gives us expressions fory.x; b; c/andz.x; b; c/which we substitute
into the expression forf .x; y; z/, turning it into the functionf .x; b; c/. Finally, we use
the functions of the new variables to obtain an expression forf 2 .x; b; c/Df .x; b; c/
by.x; b; c/ cz.x; b; c/.
The original expression forf .x; y; z/and the new expression forf 2 .x; b; c/contain
the same information. We could take the expression forf 2 .x; b; c/and, by following the
same procedure with the Legendre transformf Df 2 CbyCcz, retrieve the expression
forf .x; y; z/. Thus no information is lost during a Legendre transform.