The chain rule gives . Equality with for every therefore requires and , which implies . Conversely, on the plane this compatibility condition makes an exact differential, so a potential exists.
Here , , and . Integrating gives , hence
On the simply connected domain , a continuously differentiable differential one-form is exact if its mixed partial derivatives agree, equivalently if its associated vector field has zero curl. Here one can verify exactness directly by observing that
satisfies
Thus . By the fundamental theorem for line integrals, its integral is path independent and equals
Consequently, for every path with the stated endpoints,
If for a twice continuously differentiable potential , then and . Equality of mixed partial derivatives gives the necessary condition for an exact differential:
This condition alone does not ensure global exactness on a domain with holes.
For the Helmholtz free energy , use the stated identity for internal energy and the product rule:
Thus and . Equality of mixed partial derivatives yields the Maxwell relation
The temperature and volume are the independent variables here, with composition and amount of gas fixed.
Next express and substitute its total differential into :
Matching the coefficient of gives
This is the thermodynamic internal pressure identity: an equation of state determines how internal energy changes under an isothermal change of volume.
For the Dieterici equation, set while differentiating at fixed . Then
Substitute into the thermodynamic internal pressure identity. The term proportional to cancels , leaving
The physical gas domain has and .
For the ideal gas instead, gives . Therefore is independent of volume at fixed amount of gas. Integrating the remaining condition , with constant heat capacity at constant volume, gives
where is independent of both and and fixes the reference for internal energy.
For this homogeneous first-order differential equation, set , with . The product rule gives , and substitution simplifies the equation to
The useful further substitution is . Its chain rule derivative satisfies
Thus . Replacing and gives the implicit solution
No division by was needed, so the level is included. A direct verification also identifies the integrating factor for a differential one-form:
Setting this exact differential to zero recovers precisely the original equation after multiplication by the nonzero factor . The coefficient never vanishes for real , since implies . Hence these level sets give local function graphs everywhere with .
Here whereas , so the equation is not exact. The identity gives the integrating factor for a differential one-form . Multiplying makes the left-hand side the exact differential of . Thus
For real graph solutions, the right-hand side must be nonnegative; a smooth choice of square-root branch is made on the interval concerned. Finding the factor did not require dividing by at zero.
The cross derivatives are both , so the equation is exact. The function differentiates to the given one-form. Hence
Differentiating this implicit equation checks both coefficients of the exact differential directly.
Holding fixed, the chain rule gives
where the local change of variable from to is valid.
For the internal energy , its exact differential identifies and . The Maxwell relation from equality of mixed partial derivatives is . At fixed volume, the constant-volume heat capacity satisfies
so , assuming nonzero and a locally invertible relation. Applying the chain rule to gives the isentropic temperature-volume derivative
For the stated one-mole ideal gas, the equation of state gives and , so the right side is . Along an isentropic process, and , giving the same left side:
The product rule gives
Thus this is an exact differential, and its zero level differential means . The initial data set , giving
The displayed interval is the maximal connected real interval containing on which this finite-valued solution is defined.
For an exact differential , equality of mixed partial derivatives requires . Here this gives
On an open two-dimensional domain the coefficient relation is , so on a connected interval avoiding zero. The normalization gives on the positive interval through . Integrating and checking yields
There is no smooth extension of this normalized integrating factor across ; an independently specified factor on is not fixed by data at one.
If with continuous second partial derivatives of , then , . The symmetry of second derivatives requires
This is a necessary condition for an exact differential. With continuously differentiable coefficients it is also locally sufficient, and is globally sufficient on a simply connected open domain; a domain with holes can require additional global information.
If the form is for a scalar function with continuous second partial derivatives, then and . Equality of the mixed partial derivatives therefore requires
This is necessary for an exact differential. For continuously differentiable coefficients on a simply connected open domain it is also sufficient; on a domain with holes, the equality alone need not give a single-valued global potential.
Let and . Their cross partial derivatives agree: . More directly, construct the scalar function
This exhibits the expression as an exact differential. Along a solution of the differential equation,
Thus the general solution is
For , the graph also extends smoothly through and satisfies the original, undivided equation there. Nonzero cannot extend through zero as a finite-valued differentiable solution. The extra vertical component of the implicit zero-level equation is not a graph on an interval and is not an additional solution of this ordinary differential equation.
On the circular arc, and , so the line integral reduces to
This exact differential evaluation applies to the specified arc; for example its parametric equation is , . On the vertical segment , only contributes, giving . The whole path therefore gives
To answer the final conservativeness requirement, compute the curl:
It vanishes identically exactly when
On the simply connected whole space this condition is sufficient for a conservative vector field. Explicitly a vector-field potential is
Both path calculations then give , equal to by the fundamental theorem for line integrals. Equality of just these two path values would only force ; it is the curl calculation that establishes full path independence.
When the Hamiltonians agree, exactness of the one-form gives
The action argument of part b then proves canonicity. Equivalently, exterior differentiation preserves the symplectic two-form. For a time-dependent transformation, the exact differential must supply the full action identity; a fixed-time check alone would not establish that the new Hamiltonian equals the old one without a time-dependent correction.
Path independence Created 2026-09-29 Updated 2026-10-14
A line integral is path independent when its value depends only on the two endpoints. On a connected domain, this holds for the line integral of every exact differential.
For a vector-field line integral, this condition is equivalent to the field being a conservative vector field.
State function Created 2026-10-14 Updated 2026-10-14
A state function assigns a value to each equilibrium thermodynamic state of a specified thermodynamic system. Its change depends only on the initial and final states. Internal energy , entropy and enthalpy are state functions; here is pressure and is volume. Transferred heat and work belong to a thermodynamic process, rather than to a state. A system stores internal energy; it does not store separate inventories of “heat received” and “work received”.[ref]
Use the explicit convention for heat entering and for work done by the thermodynamic system on its surroundings. For a closed system with unchanged endpoint bulk kinetic energy and external potential energy, the first law of thermodynamics reads
The notation denotes an exact differential of a state function; and denote incremental transfers. Along a reversible thermodynamic process of a simple compressible system,
where is absolute temperature. These are rules for particular thermodynamic processes, not definitions of stored heat or stored work. In particular, a quasistatic process with friction can remain near thermodynamic equilibrium while producing entropy.[ref]
For any state function and two equilibrium states , an integral of its exact differential gives
The proof is telescoping: add the changes along a subdivided path, and all intermediate values cancel. The smooth limit gives the integral. Conversely, if an integrable differential form has zero integral around every accessible closed path in a connected region, define by integrating from a reference state. Two routes differ by a closed path, so the definition is unambiguous. This argument needs every accessible loop, rather than a local test that might miss a hole in the domain; see path independence.
The same cancellation does not hold separately for heat and work. A thermodynamic cycle has but can have nonzero net transfers, with . Nor does the fact that entropy is a state function make its general change: the formula uses a reversible thermodynamic process and its varying temperature.
This distinction makes endpoint calculations powerful. We can compute an internal energy, entropy or enthalpy difference along a convenient reversible reference path even when the actual thermodynamic process is irreversible. Its actual heat and work must still be obtained from its own boundary interactions. The appealing cancellation is visible in two reversible ideal-gas paths between the same states: a different mechanical output requires a matching difference in thermal input, while stored internal energy arrives at the same value.