Exact differential

In mathematics, a differential dQ is said to be exact, as contrasted with an inexact differential, if the function Q exists. It is always possible to calculate the differential dQ of a given function Q(x, y, z). However, if dQ is arbitrarily given, the function Q generally does not exist.

Overview

A differential

dQ = A(x)dx,

for a single variable, is always exact. In order that a differential

dQ = A(x, y)dx + B(x, y)dy, a function of two variables, be an exact differential in a simply-connected region R of the xy-plane, it is necessary and sufficient that between A and B there exists the relation:

<math>\left( \frac{\partial A}{\partial y} \right)_{x} = \left( \frac{\partial B}{\partial x} \right)_{y}</math>

A differential

dQ = A(x, y, z)dx + B(x, y, z)dy + C(x, y, z)dz

is an exact differential in a simply-connected region R of the xyz-coordinate system if between the functions A, B and C there exists the relations:

<math>\left( \frac{\partial B}{\partial z} \right)_{x,y} = \left( \frac{\partial C}{\partial y} \right)_{x,z}</math> ; <math>\left( \frac{\partial C}{\partial x} \right)_{y,z} = \left( \frac{\partial A}{\partial z} \right)_{x,y}</math> ; <math>\left( \frac{\partial A}{\partial y} \right)_{x,z} = \left( \frac{\partial B}{\partial x} \right)_{y,z}</math>

These conditions, which are easy to generalize, arise from the independence of the order of differentions in the calculation of the second derivatives. So, in order for a differential dQ, that is a function of four variables to be an exact differential, there are six conditions to satisfy.

In summary, when a differential dQ is exact:

• the function Q exists;
• <math>\int_i^f dQ=Q(f)-Q(i)</math>, independent of the path followed.

In thermodynamics, when dQ is exact, the function Q is a state function of the system. The thermodynamic functions U, S, H, F and G are state functions. Generally, neither work nor heat is a state function. An exact differential is sometimes also called a 'total differential', or a 'full differential', or in the study of differential geometry it is termed an exact form.

Some useful equations derived from exact differentials in two dimensions

(See also Bridgman's thermodynamic equations for the use of exact differentials in the theory of thermodynamic equations)

Suppose we have five state functions <math>z,x,y,u</math>, and <math>v</math>. Suppose that the state space is two dimensional and any of the five quantites are exact differentials. Then by the chain rule

<math>(1)~~~~~

 dz = 
 \left(\frac{\partial z}{\partial x}\right)_y dx+
 \left(\frac{\partial z}{\partial y}\right)_x dy
 =
 \left(\frac{\partial z}{\partial u}\right)_v du
 +\left(\frac{\partial z}{\partial v}\right)_u dv

</math>

but also by the chain rule:

<math>(2)~~~~~

 dx =
 \left(\frac{\partial x}{\partial u}\right)_v du
 +\left(\frac{\partial x}{\partial v}\right)_u dv

</math>

and

<math>(3)~~~~~

 dy=
  \left(\frac{\partial y}{\partial u}\right)_v du
 +\left(\frac{\partial y}{\partial v}\right)_u dv

</math>

so that:

<math>(4)~~~~~

 dz = 
 \left[
 \left(\frac{\partial z}{\partial x}\right)_y
 \left(\frac{\partial x}{\partial u}\right)_v
 +
 \left(\frac{\partial z}{\partial y}\right)_x
 \left(\frac{\partial y}{\partial u}\right)_v
 \right]du

</math>

<math>+

 \left[
 \left(\frac{\partial z}{\partial x}\right)_y
 \left(\frac{\partial x}{\partial v}\right)_u
 +
 \left(\frac{\partial z}{\partial y}\right)_x
 \left(\frac{\partial y}{\partial v}\right)_u
 \right]dv

</math>

which implies that:

<math>(5)~~~~~

 \left(\frac{\partial z}{\partial u}\right)_v
 =
 \left(\frac{\partial z}{\partial x}\right)_y
 \left(\frac{\partial x}{\partial u}\right)_v
 +
 \left(\frac{\partial z}{\partial y}\right)_x
 \left(\frac{\partial y}{\partial u}\right)_v

</math>

Letting <math>v=y</math> gives:

<math>(6)~~~~~

 \left(\frac{\partial z}{\partial u}\right)_y
 =
 \left(\frac{\partial z}{\partial x}\right)_y
 \left(\frac{\partial x}{\partial u}\right)_y

</math>

Letting <math>u=y</math>, <math>v=z</math> gives:

<math>(7)~~~~~

 \left(\frac{\partial z}{\partial y}\right)_x
 = -
 \left(\frac{\partial z}{\partial x}\right)_y
 \left(\frac{\partial x}{\partial y}\right)_z  

</math>

using (<math>\partial a/\partial b)_c = 1/(\partial b/\partial a)_c</math> gives:

<math>(8)~~~~~

 \left(\frac{\partial z}{\partial x}\right)_y
 \left(\frac{\partial x}{\partial y}\right)_z
 \left(\frac{\partial y}{\partial z}\right)_x
 =-1

</math>

See also

• Closed and exact differential forms for a higher-level treatment
• Differential
• Inexact differential
• Integrating factor for solving non-exact differential equations by making them exact

References

• Perrot, P. (1998). A to Z of Thermodynamics. New York: Oxford University Press.
• Zill, D. (1993). A First Course in Differential Equations, 5th Ed. Boston: PWS-Kent Publishing Company.

External links

• Inexact Differential – from Wolfram MathWorld
• Exact and Inexact Differentials – University of Arizona
• Exact and Inexact Differentials – University of Texas
• Exact Differential – from Wolfram MathWorld

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Exact differential".