Skip to main content
Chemistry LibreTexts

15.6: Appendix F- Mathematical Properties of State Functions

  • Page ID
    23778
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    \( \newcommand{\tx}[1]{\text{#1}}      % text in math mode\)
     \( \newcommand{\subs}[1]{_{\text{#1}}} % subscript text\)
     \( \newcommand{\sups}[1]{^{\text{#1}}} % superscript text\)
     \( \newcommand{\st}{^\circ}            % standard state symbol\)
     \( \newcommand{\id}{^{\text{id}}}      % ideal\)
     \( \newcommand{\rf}{^{\text{ref}}}     % reference state\)
     \( \newcommand{\units}[1]{\mbox{$\thinspace$#1}}\)
     \( \newcommand{\K}{\units{K}}  % kelvins\)
     \( \newcommand{\degC}{^\circ\text{C}} % degrees Celsius\)
     \( \newcommand{\br}{\units{bar}}  % bar (\bar is already defined)\)
     \( \newcommand{\Pa}{\units{Pa}}\)
     \( \newcommand{\mol}{\units{mol}}  % mole\)
     \( \newcommand{\V}{\units{V}}  % volts\)
     \( \newcommand{\timesten}[1]{\mbox{$\,\times\,10^{#1}$}}\)
     \( \newcommand{\per}{^{-1}}  % minus one power\)
     \( \newcommand{\m}{_{\text{m}}}  % subscript m for molar quantity\)
     \( \newcommand{\CVm}{C_{V,\text{m}}} % molar heat capacity at const.V\)
     \( \newcommand{\Cpm}{C_{p,\text{m}}} % molar heat capacity at const.p\)
     \( \newcommand{\kT}{\kappa_T} % isothermal compressibility\)
     \( \newcommand{\A}{_{\text{A}}}  % subscript A for solvent or state A\)
     \( \newcommand{\B}{_{\text{B}}}  % subscript B for solute or state B\)
     \( \newcommand{\bd}{_{\text{b}}}  % subscript b for boundary or boiling point\)
     \( \newcommand{\C}{_{\text{C}}}  % subscript C\)
     \( \newcommand{\f}{_{\text{f}}}  % subscript f for freezing point\)
     \( \newcommand{\mA}{_{\text{m},\text{A}}} % subscript m,A (m=molar)\)
     \( \newcommand{\mB}{_{\text{m},\text{B}}} % subscript m,B (m=molar)\)
     \( \newcommand{\mi}{_{\text{m},i}}        % subscript m,i (m=molar)\)
     \( \newcommand{\fA}{_{\text{f},\text{A}}} % subscript f,A (for fr. pt.)\)
     \( \newcommand{\fB}{_{\text{f},\text{B}}} % subscript f,B (for fr. pt.)\)
     \( \newcommand{\xbB}{_{x,\text{B}}}       % x basis, B\)
     \( \newcommand{\xbC}{_{x,\text{C}}}       % x basis, C\)
     \( \newcommand{\cbB}{_{c,\text{B}}}       % c basis, B\)
     \( \newcommand{\mbB}{_{m,\text{B}}}       % m basis, B\)
     \( \newcommand{\kHi}{k_{\text{H},i}}      % Henry's law constant, x basis, i\)
     \( \newcommand{\kHB}{k_{\text{H,B}}}      % Henry's law constant, x basis, B\)
     \( \newcommand{\arrow}{\,\rightarrow\,} % right arrow with extra spaces\)
     \( \newcommand{\arrows}{\,\rightleftharpoons\,} % double arrows with extra spaces\)
     \( \newcommand{\ra}{\rightarrow} % right arrow (can be used in text mode)\)
     \( \newcommand{\eq}{\subs{eq}} % equilibrium state\)
     \( \newcommand{\onehalf}{\textstyle\frac{1}{2}\D} % small 1/2 for display equation\)
     \( \newcommand{\sys}{\subs{sys}} % system property\)
     \( \newcommand{\sur}{\sups{sur}} % surroundings\)
     \( \renewcommand{\in}{\sups{int}} % internal\)
     \( \newcommand{\lab}{\subs{lab}} % lab frame\)
     \( \newcommand{\cm}{\subs{cm}} % center of mass\)
     \( \newcommand{\rev}{\subs{rev}} % reversible\)
     \( \newcommand{\irr}{\subs{irr}} % irreversible\)
     \( \newcommand{\fric}{\subs{fric}} % friction\)
     \( \newcommand{\diss}{\subs{diss}} % dissipation\)
     \( \newcommand{\el}{\subs{el}} % electrical\)
     \( \newcommand{\cell}{\subs{cell}} % cell\)
     \( \newcommand{\As}{A\subs{s}} % surface area\)
     \( \newcommand{\E}{^\mathsf{E}} % excess quantity (superscript)\)
     \( \newcommand{\allni}{\{n_i \}} % set of all n_i\)
     \( \newcommand{\sol}{\hspace{-.1em}\tx{(sol)}}\)
     \( \newcommand{\solmB}{\tx{(sol,$\,$$m\B$)}}\)
     \( \newcommand{\dil}{\tx{(dil)}}\)
     \( \newcommand{\sln}{\tx{(sln)}}\)
     \( \newcommand{\mix}{\tx{(mix)}}\)
     \( \newcommand{\rxn}{\tx{(rxn)}}\)
     \( \newcommand{\expt}{\tx{(expt)}}\)
     \( \newcommand{\solid}{\tx{(s)}}\)
     \( \newcommand{\liquid}{\tx{(l)}}\)
     \( \newcommand{\gas}{\tx{(g)}}\)
     \( \newcommand{\pha}{\alpha}        % phase alpha\)
     \( \newcommand{\phb}{\beta}         % phase beta\)
     \( \newcommand{\phg}{\gamma}        % phase gamma\)
     \( \newcommand{\aph}{^{\alpha}}     % alpha phase superscript\)
     \( \newcommand{\bph}{^{\beta}}      % beta phase superscript\)
     \( \newcommand{\gph}{^{\gamma}}     % gamma phase superscript\)
     \( \newcommand{\aphp}{^{\alpha'}}   % alpha prime phase superscript\)
     \( \newcommand{\bphp}{^{\beta'}}    % beta prime phase superscript\)
     \( \newcommand{\gphp}{^{\gamma'}}   % gamma prime phase superscript\)
     \( \newcommand{\apht}{\small\aph} % alpha phase tiny superscript\)
     \( \newcommand{\bpht}{\small\bph} % beta phase tiny superscript\)
     \( \newcommand{\gpht}{\small\gph} % gamma phase tiny superscript\)

    \( \newcommand{\upOmega}{\Omega}\)

     \( \newcommand{\dif}{\mathop{}\!\mathrm{d}}   % roman d in math mode, preceded by space\)
     \( \newcommand{\Dif}{\mathop{}\!\mathrm{D}}   % roman D in math mode, preceded by space\)
     \( \newcommand{\df}{\dif\hspace{0.05em} f} % df\)

     \(\newcommand{\dBar}{\mathop{}\!\mathrm{d}\hspace-.3em\raise1.05ex{\Rule{.8ex}{.125ex}{0ex}}} % inexact differential \)
     \( \newcommand{\dq}{\dBar q} % heat differential\)
     \( \newcommand{\dw}{\dBar w} % work differential\)
     \( \newcommand{\dQ}{\dBar Q} % infinitesimal charge\)
     \( \newcommand{\dx}{\dif\hspace{0.05em} x} % dx\)
     \( \newcommand{\dt}{\dif\hspace{0.05em} t} % dt\)
     \( \newcommand{\difp}{\dif\hspace{0.05em} p} % dp\)
     \( \newcommand{\Del}{\Delta}\)
     \( \newcommand{\Delsub}[1]{\Delta_{\text{#1}}}\)
     \( \newcommand{\pd}[3]{(\partial #1 / \partial #2 )_{#3}} % \pd{}{}{} - partial derivative, one line\)
     \( \newcommand{\Pd}[3]{\left( \dfrac {\partial #1} {\partial #2}\right)_{#3}} % Pd{}{}{} - Partial derivative, built-up\)
     \( \newcommand{\bpd}[3]{[ \partial #1 / \partial #2 ]_{#3}}\)
     \( \newcommand{\bPd}[3]{\left[ \dfrac {\partial #1} {\partial #2}\right]_{#3}}\)
     \( \newcommand{\dotprod}{\small\bullet}\)
     \( \newcommand{\fug}{f} % fugacity\)
     \( \newcommand{\g}{\gamma} % solute activity coefficient, or gamma in general\)
     \( \newcommand{\G}{\varGamma} % activity coefficient of a reference state (pressure factor)\)
     \( \newcommand{\ecp}{\widetilde{\mu}} % electrochemical or total potential\)
     \( \newcommand{\Eeq}{E\subs{cell, eq}} % equilibrium cell potential\)
     \( \newcommand{\Ej}{E\subs{j}} % liquid junction potential\)
     \( \newcommand{\mue}{\mu\subs{e}} % electron chemical potential\)
    \( \newcommand{\defn}{\,\stackrel{\mathrm{def}}{=}\,} % "equal by definition" symbol\)

     \( \newcommand{\D}{\displaystyle} % for a line in built-up\)
     \( \newcommand{\s}{\smash[b]} % use in equations with conditions of validity\)
     \( \newcommand{\cond}[1]{\\[-2.5pt]{}\tag*{#1}}\)
     \( \newcommand{\nextcond}[1]{\\[-5pt]{}\tag*{#1}}\)
     \( \newcommand{\R}{8.3145\units{J$\,$K$\per\,$mol$\per$}}     % gas constant value\)
     \( \newcommand{\Rsix}{8.31447\units{J$\,$K$\per\,$mol$\per$}} % gas constant value - 6 sig figs\)

    \( \newcommand{\jn}{\hspace3pt\lower.3ex{\Rule{.6pt}{2ex}{0ex}}\hspace3pt} \)
    \( \newcommand{\ljn}{\hspace3pt\lower.3ex{\Rule{.6pt}{.5ex}{0ex}}\hspace-.6pt\raise.45ex{\Rule{.6pt}{.5ex}{0ex}}\hspace-.6pt\raise1.2ex{\Rule{.6pt}{.5ex}{0ex}} \hspace3pt} \)
    \( \newcommand{\lljn}{\hspace3pt\lower.3ex{\Rule{.6pt}{.5ex}{0ex}}\hspace-.6pt\raise.45ex{\Rule{.6pt}{.5ex}{0ex}}\hspace-.6pt\raise1.2ex{\Rule{.6pt}{.5ex}{0ex}}\hspace1.4pt\lower.3ex{\Rule{.6pt}{.5ex}{0ex}}\hspace-.6pt\raise.45ex{\Rule{.6pt}{.5ex}{0ex}}\hspace-.6pt\raise1.2ex{\Rule{.6pt}{.5ex}{0ex}}\hspace3pt} \) 

    A state function is a property of a thermodynamic system whose value at any given instant depends only on the state of the system at that instant (Sec. 2.4).

    F.1 Differentials

    The differential \(\df\) of a state function \(f\) is an infinitesimal change of \(f\). Since the value of a state function by definition depends only on the state of the system, integrating \(\df\) between an initial state \(1\) and a final state \(2\) yields the change in \(f\), and this change is independent of the path: \begin{equation} \int_{f_1}^{f_2}\!\df=f_2-f_1=\Del f \tag{F.1.1} \end{equation} A differential with this property is called an exact differential. The differential of a state function is always exact.

    F.2 Total Differential

    A state function \(f\) treated as a dependent variable is a function of a certain number of independent variables that are also state functions. The total differential of \(f\) is \(\df\) expressed in terms of the differentials of the independent variables and has the form \begin{equation} \df = \Pd{f}{x}{}\dx + \Pd{f}{y}{}\dif y + \Pd{f}{z}{}\dif z + \ldots \tag{F.2.1} \end{equation} There are as many terms in the expression on the right side as there are independent variables. Each partial derivative in the expression has all independent variables held constant except the variable shown in the denominator.

    Figure F.1 interprets this expression for a function \(f\) of the two independent variables \(x\) and \(y\). The shaded plane represents a small element of the surface \(f = f(x,y)\).

    Consider a system with three independent variables. If we choose these independent variables to be \(x\), \(y\), and \(z\), the total differential of the dependent state function \(f\) takes the form \begin{equation} \df = a\dx + b\dif y + c\dif z \tag{F.2.2} \end{equation} where we can identify the coefficients as \begin{equation} a=\Pd{f}{x}{y,z} \qquad b=\Pd{f}{y}{x,z} \qquad c=\Pd{f}{z}{x,y} \tag{F.2.3} \end{equation} These coefficients are themselves, in general, functions of the independent variables and may be differentiated to give mixed second partial derivatives; for example: \begin{equation} \Pd{a}{y}{x,z} = \frac{\partial^2 f}{\partial y \partial x} \qquad \Pd{b}{x}{y,z} = \frac{\partial^2 f}{\partial x \partial y} \tag{F.2.4} \end{equation} The second partial derivative \(\partial^2 f/\partial y\partial x\), for instance, is the partial derivative with respect to \(y\) of the partial derivative of \(f\) with respect to \(x\). It is a theorem of calculus that if a function \(f\) is single valued and has continuous derivatives, the order of differentiation in a mixed derivative is immaterial. Therefore the mixed derivatives \(\partial^2 f/\partial y\partial x\) and \(\partial^2 f/\partial x\partial y\), evaluated for the system in any given state, are equal: \begin{equation} \Pd{a}{y}{x,z} = \Pd{b}{x}{y,z} \tag{F.2.5} \end{equation} The general relation that applies to a function of any number of independent variables is \begin{equation} \Pd{X}{y}{} = \Pd{Y}{x}{} \tag{F.2.6} \end{equation} where \(x\) and \(y\) are any two of the independent variables, \(X\) is \(\partial f/\partial x\), \(Y\) is \(\partial \f/\partial y\), and each partial derivative has all independent variables held constant except the variable shown in the denominator. This general relation is the Euler reciprocity relation, or reciprocity relation for short. A necessary and sufficient condition for \(\df\) to be an exact differential is that the reciprocity relation is satisfied for each pair of independent variables.

    F.3 Integration of a Total Differential

    If the coefficients of the total differential of a dependent variable are known as functions of the independent variables, the expression for the total differential may be integrated to obtain an expression for the dependent variable as a function of the independent variables.

    For example, suppose the total differential of the state function \(f(x,y,z)\) is given by Eq. F.2.2 and the coefficients are known functions \(a(x,y,z)\), \(b(x,y,z)\), and \(c(x,y,z)\). Because \(f\) is a state function, its change between \(f(0,0,0)\) and \(f(x',y',z')\) is independent of the integration path taken between these two states. A convenient path would be one with the following three segments:

    1. The expression for \(f(x,y,z)\) is then the sum of the three integrals and a constant of integration.

      Here is an example of this procedure applied to the total differential \begin{equation} \df = (2xy)\dx + (x^2+z)\dif y + (y-9z^2)\dif z \tag{F.3.1} \end{equation} An expression for the function \(f\) in this example is given by the sum \begin{equation} \begin{split} f & = \int_0^{x'}\!(2x\cdot 0)\dx + \int_0^{y'}\![(x')^2+0]\dif y + \int_0^{z'}\!(y'-9z^2)\dif z + C\cr & = 0 + x^2y + ( yz-9z^3/3 ) + C\cr & = x^2y + yz - 3z^3 + C \end{split} \tag{F.3.2} \end{equation} where primes are omitted on the second and third lines because the expressions are supposed to apply to any values of \(x\), \(y\), and \(z\). \(C\) is an integration constant. You can verify that the third line of Eq. F.3.2 gives the correct expression for \(f\) by taking partial derivatives with respect to \(x\), \(y\), and \(z\) and comparing with Eq. F.3.1.

      A different kind of integration can be used to express a dependent extensive property in terms of independent extensive properties. An extensive property of a thermodynamic system is one that is additive, and an intensive property is one that is not additive and has the same value everywhere in a homogeneous region (Sec. 2.1.1). Suppose we have a state function \(f\) that is an extensive property with the total differential \begin{equation} \df = a\dx + b\dif y + c\dif z + \ldots \tag{F.3.3} \end{equation} where the independent variables \(x,y,z,\ldots\) are extensive and the coefficients \(a,b,c,\ldots\) are intensive. If the independent variables include those needed to describe an open system (for example, the amounts of the substances), then it is possible to integrate both sides of the equation from a lower limit of zero for each of the extensive functions while holding the intensive functions constant: \begin{equation} \int_0^{f'}\!\!\df = a\int_0^{x'}\!\!\dx + b\int_0^{y'}\!\!\dif y + c\int_0^{z'}\!\!\dif z + \ldots \tag{F.3.4} \end{equation} \begin{equation} f' = ax'+by'+cz'+\ldots \tag{F.3.5} \end{equation} Note that a term of the form \(c\dif u\) where \(u\) is intensive becomes zero when integrated with intensive functions held constant, because \(\dif u\) is this case is zero.

      F.4 Legendre Transforms

      A Legendre transform of a state function is a linear change of one or more of the independent variables made by subtracting products of conjugate variables.

      To understand how this works, consider a state function \(f\) whose total differential is given by \begin{equation} \df=a\dx+b\dif y+c\dif z \tag{F.4.1} \end{equation} In the expression on the right side, \(x\), \(y\), and \(z\) are being treated as the independent variables. The pairs \(a\) and \(x\), \(b\) and \(y\), and \(c\) and \(z\) are conjugate pairs. That is, \(a\) and \(x\) are conjugates, \(b\) and \(y\) are conjugates, and \(c\) and \(z\) are conjugates.

      For the first example of a Legendre transform, we define a new state function \(f_1\) by subtracting the product of the conjugate variables \(a\) and \(x\): \begin{equation} f_1 \defn f-ax \tag{F.4.2} \end{equation} The function \(f_1\) is a Legendre transform of \(f\). We take the differential of Eq. F.4.2 \begin{equation} \df_1 = \df - a\dx - x\dif a \tag{F.4.3} \end{equation} and substitute for \(\df\) from Eq. F.4.1: \begin{equation} \begin{split} \df_1 & = (a\dx+b\dif y+c\dif z) - a\dx - x\dif a \cr & = -x\dif a + b\dif y + c\dif z \end{split} \tag{F.4.4} \end{equation} Equation F.4.4 gives the total differential of \(f_1\) with \(a\), \(y\), and \(z\) as the independent variables. The functions \(x\) and \(a\) have switched places as independent variables. What we did in order to let \(a\) replace \(x\) as an independent variable was to subtract from \(f\) the product of the conjugate variables \(a\) and \(x\).

      Because the right side of Eq. F.4.4 is an expression for the total differential of the state function \(f_1\), we can use the expression to identify the coefficients as partial derivatives of \(f_1\) with respect to the new set of independent variables: \begin{equation} -x = \Pd{f_1}{a}{y,z} \qquad b = \Pd{f_1}{y}{a,z} \qquad c = \Pd{f_1}{z}{a,y} \tag{F.4.5} \end{equation} We can also use Eq. F.4.4 to write new reciprocity relations, such as \begin{equation} -\Pd{x}{y}{a,z} = \Pd{b}{a}{y,z} \tag{F.4.6} \end{equation}

      We can make other Legendre transforms of \(f\) by subtracting one or more products of conjugate variables. A second example of a Legendre transform is \begin{equation} f_2 \defn f - by - cz \tag{F.4.7} \end{equation} whose total differential is \begin{equation} \begin{split} \df_2 & = \df - b\dif y - y\dif b - c\dif z - z\dif c \cr & = a\dx - y\dif b - z\dif c \end{split} \tag{F.4.8} \end{equation} Here \(b\) has replaced \(y\) and \(c\) has replaced \(z\) as 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 variables, then a Legendre transform preserves all the information contained in that expression. To illustrate this, we can use the state function \(f\) and its Legendre transform \(f_2\) described above. Suppose we have an expression for \(f(x,y,z)\)—this is \(f\) expressed as a function of the independent variables \(x\), \(y\), and \(z\). Then by taking partial derivatives of this expression, we can find according to Eq. F.2.3 expressions for the functions \(a(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=f-by-cz\) with total differential \(\df_2=a\dx-y\dif b-z\dif c\) (Eq. F.4.8). The independent variables have been changed from \(x\), \(y\), and \(z\) to \(x\), \(b\), and \(c\).

      We want to find an expression for \(f_2\) as a function of these new variables, using the information available from the original function \(f(x,y,z)\). To do this, we eliminate \(z\) from the known functions \(b(x,y,z)\) and \(c(x,y,z)\) and solve for \(y\) as a function of \(x\), \(b\), and \(c\). We also eliminate \(y\) from \(b(x,y,z)\) and \(c(x,y,z)\) and solve for \(z\) as a function of \(x\), \(b\), and \(c\). This gives us expressions for \(y(x,b,c)\) and \(z(x,b,c)\) which we substitute into the expression for \(f(x,y,z)\), turning it into the function \(f(x,b,c)\). Finally, we use the functions of the new variables to obtain an expression for \(f_2(x,b,c)=f(x,b,c)-by(x,b,c)-cz(x,b,c)\).

      The original expression for \(f(x,y,z)\) and the new expression for \(f_2(x,b,c)\) contain the same information. We could take the expression for \(f_2(x,b,c)\) and, by following the same procedure with the Legendre transform \(f=f_2+by+cz\), retrieve the expression for \(f(x,y,z)\). Thus no information is lost during a Legendre transform.


    This page titled 15.6: Appendix F- Mathematical Properties of State Functions is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Howard DeVoe via source content that was edited to the style and standards of the LibreTexts platform.