For a fixed amount of a simple compressible system, write the internal energy as . Its exact differential is
Assuming the thermodynamic potential has continuous second partial derivatives, equality of its mixed partial derivatives yields the first Maxwell relation:
For the second Maxwell relation, use the Legendre transform , the enthalpy. Its natural variables are since
Thus and . Equality of the mixed partial derivatives now gives
Set and . Direct differentiation gives
Their sum vanishes, proving that is a harmonic function. More generally the Cauchy-Riemann equations give and ; the mixed partial derivatives commute because a holomorphic function is smooth. Since , a harmonic conjugate and the resulting holomorphic function are
These expressions also verify the Cauchy-Riemann equations directly.
Set and . Direct differentiation gives
Their sum vanishes, proving that is a harmonic function. More generally the Cauchy-Riemann equations give and ; the mixed partial derivatives commute because a holomorphic function is smooth. Since , a harmonic conjugate and the resulting holomorphic function are
These expressions also verify the Cauchy-Riemann equations directly.
A magnetic field favors alignment of the magnetic moments of a paramagnet, reducing the number of substantially occupied magnetic configurations at fixed temperature. Its magnetic entropy therefore decreases as the field magnitude increases, explaining the negative sign of .
Choose the magnetic Helmholtz free energy convention . Equality of its mixed partial derivatives gives the magnetic Maxwell relation
The magnetic moment inferred from an entropy derivative, integrated at fixed , is
The given entropy derivative alone cannot determine the temperature-independent function . With the usual independent-paramagnet condition as at fixed , , giving Curie's law, . The sketch uses that additional condition. The inverse- expression applies in the weak-field regime; its divergence cannot describe the actual low-temperature saturation of a finite set of magnetic moments.
Figure 1. . Original Curie's law sketch under the condition of zero moment at infinite temperature. The low-temperature saturation regime is outside this approximation. Details.
For reversible quasistatic thermal isolation, . With positive field-dependent heat capacity ,
Reducing a positive therefore lowers : this is adiabatic demagnetization. Equivalently, reducing cools for either field sign. Reduced alignment would raise magnetic entropy at fixed ; cooling compensates so total entropy remains constant. Insulation without reversibility would allow additional entropy production and need not follow this adiabat exactly.
When the second partial derivatives are continuous in a neighborhood, the order of the mixed partial derivatives can be interchanged. Expressing a rectangular finite difference as either iterated integral by the fundamental theorem of calculus and shrinking the rectangle proves the equality. Mere existence of both derivatives does not imply this symmetry.
For away from the origin and zero at the origin, proves Fréchet differentiability with zero derivative. Yet and , giving the displayed unequal mixed partial derivatives. They exist but are not continuous at the origin, so Clairaut's theorem does not apply.