1 Exact differential equations
Exact differential equations are first-order differential equations that can be written as the differential of a single function. When this is possible, the equation is said to be exact because its left-hand side matches the total differential of a potential function. Such equations are important because they can often be solved by reconstructing that function rather than by more elaborate integration techniques.
1.1 Definition
A first-order differential equation is called exact if there exists a function \(F(x,y)\) such that the equation can be expressed as
\[ dF = 0. \]
In expanded form, this means the differential equation corresponds to a total derivative. If one can identify a function whose partial derivatives reproduce the terms of the equation, then the equation is exact and its solutions are given by level curves of that function.
1.2 Standard form
A common form of an exact differential equation is
\[ M(x,y)\,dx + N(x,y)\,dy = 0, \]
where \(M\) and \(N\) are functions of two variables. The equation is exact if there is a function \(F(x,y)\) satisfying
\[ \frac{\partial F}{\partial x} = M, \qquad \frac{\partial F}{\partial y} = N. \]
In that case, the differential equation can be rewritten as \(dF = 0\), and its implicit solution is \(F(x,y)=C\), where \(C\) is a constant.
1.3 Exactness condition
Exactness is determined by checking whether the given coefficients arise from a common potential function. The test depends on the number of variables, but it always reflects the compatibility of mixed partial derivatives.
1.3.1 Condition for two variables
For an equation of the form
\[ M(x,y)\,dx + N(x,y)\,dy = 0, \]
a standard exactness test is
\[ \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x}, \]
provided the functions are sufficiently smooth on a suitable domain. This condition comes from the equality of mixed second partial derivatives of the potential function \(F\).
1.3.2 Condition for higher dimensions
In more than two variables, exactness requires that the differential form correspond to the total differential of some scalar function. For a form such as
\[ M_1\,dx_1 + M_2\,dx_2 + \cdots + M_n\,dx_n, \]
the components must satisfy the compatibility conditions implied by a common potential. In vector notation, this is closely related to the vanishing of the curl for the associated vector field on an appropriate domain.
1.4 Potential function
The potential function is the scalar function whose differential reproduces the equation. Once \(F\) is found, the solutions of the exact equation are simply the curves or surfaces on which \(F\) remains constant. The potential function plays a central role because it converts a differential equation into an implicit algebraic relation.
1.5 Solution method
Solving an exact equation usually involves recovering the potential function from its partial derivatives. The process is systematic and relies on integration and consistency checks.
1.5.1 Finding the potential
One common method is to integrate \(M(x,y)\) with respect to \(x\), treating \(y\) as a constant. This produces a candidate function \(F(x,y)\) up to an unknown function of \(y\). Differentiating this expression with respect to \(y\) and comparing it with \(N(x,y)\) determines the missing part.
1.5.2 Integration constants
When integrating one partial derivative, the “constant” of integration may depend on the other variables. For example, integrating with respect to \(x\) may introduce an arbitrary function \(g(y)\). This function is then identified by matching the remaining partial derivative. The final solution is written as
\[ F(x,y)=C, \]
where \(C\) is a constant.
2 Differential forms
Differential forms provide a compact framework for expressing exactness in calculus. In this setting, exactness concerns whether a form is the differential of another function or form of lower degree. This language is especially useful in multivariable analysis and geometric applications.
2.1 Closed forms
A differential form is closed if its exterior derivative is zero. Closedness indicates a local compatibility condition, and it often signals that the form may arise from a potential. In elementary terms, closedness is the differential-form analogue of the derivative test for exact equations.
2.2 Exact forms
A differential form is exact if it is the exterior derivative of another form. Exact forms are always closed, because applying the exterior derivative twice gives zero. This property makes exactness stronger than closedness.
2.3 Relation between closedness and exactness
Closedness and exactness are related but not identical. Every exact form is closed, yet a closed form need not be exact unless the domain has suitable topological properties. The distinction is central in advanced calculus and differential geometry.
2.3.1 Simply connected domains
On simply connected domains, many closed forms are also exact. This is why exactness tests often succeed in regions without holes or other topological obstructions. In such settings, local compatibility is enough to guarantee the existence of a global potential.
2.3.2 Topological considerations
If the domain has holes or other nontrivial topology, a form may be closed without being exact. The obstruction is not algebraic but global: the form may fail to have a single-valued potential on the entire domain. Thus, topology influences whether exactness can be concluded from closedness alone.
3 Vector calculus interpretation
Exactness has a natural interpretation in vector calculus, where it corresponds to special vector fields derived from scalar potentials. This viewpoint connects differential equations with geometry and physical intuition.
3.1 Conservative vector fields
A conservative vector field is one whose line integral depends only on endpoints, not on the path taken. Such fields arise from a potential function, and their associated differential forms are exact. Exactness therefore provides a test for conservativeness.
3.2 Gradient fields
Gradient fields are vector fields of the form \(\nabla \phi\), where \(\phi\) is a scalar potential. They are the vector-calculus counterpart of exact differential forms. If a field is a gradient field, then it is conservative and its associated differential equation can often be integrated directly.
3.3 Line integrals
Exactness simplifies the evaluation of line integrals by replacing path-dependent calculations with endpoint data. When a field is conservative, the integral can be computed from the potential function alone.
3.3.1 Path independence
Path independence means that any two curves connecting the same points produce the same line integral. This property is equivalent to the existence of a potential function in the conservative case. Exactness is the underlying criterion that explains why the path does not matter.
3.3.2 Fundamental theorem for line integrals
The fundamental theorem for line integrals states that the line integral of a gradient field over a curve equals the change in the potential function between the endpoints. This theorem is the vector-calculus analogue of evaluating an exact differential by substitution of endpoints. It provides a direct and efficient method for computation.
4 Applications
Exactness conditions appear in several areas of mathematics and the physical sciences. Their main value lies in simplifying integration and revealing hidden structure in equations.
4.1 Solving differential equations
Exact equations can often be solved by identifying a potential function and setting it equal to a constant. This method converts a differential problem into an implicit solution. It is especially useful when direct separation of variables is not available.
4.2 Physics and mechanics
In physics and mechanics, exactness is associated with quantities derived from potentials, such as force fields that come from energy functions. When a force is conservative, work done along a path depends only on the endpoints. Exactness therefore helps describe systems with underlying scalar potentials.
4.3 Multivariable integration
Exact forms can simplify multivariable integration by reducing certain expressions to total differentials. This allows evaluation through boundary terms rather than repeated integration. The method is especially effective when a problem naturally matches a potential structure.
4.4 Thermodynamics
In thermodynamics, exact differentials describe state functions, whose changes depend only on the initial and final states. By contrast, quantities that depend on the path are represented by inexact differentials. Exactness thus helps distinguish energy-like state variables from process-dependent quantities.
5 Testing exactness
Testing exactness usually begins with a derivative comparison and may be followed by additional techniques if the equation is not immediately exact. These methods help determine whether a hidden potential exists.
5.1 Partial derivative criterion
For a two-variable equation \(M\,dx + N\,dy = 0\), the common test is whether
\[ \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x}. \]
If the equality holds on a suitable domain and the relevant smoothness assumptions are met, the equation is exact. If it fails, the equation is not exact in its present form.
5.2 Integrating factors
An integrating factor is a function that multiplies a non-exact equation to make it exact. Finding one can transform an intractable equation into a solvable one. In many elementary problems, the integrating factor depends only on one variable, although more general factors may also occur.
5.3 Common examples
Common examples illustrate how the test works in practice. Some equations are exact immediately, while others require modification before a potential can be identified.
5.3.1 Exact equations
A simple exact equation might satisfy the partial derivative criterion from the start, allowing direct reconstruction of the potential function. In such cases, integration yields an implicit solution with little additional work. These examples demonstrate the efficiency of the method.
5.3.2 Non-exact equations
A non-exact equation fails the compatibility test in its original form. It may still become exact after multiplication by an integrating factor, but without such a factor no single potential function exists on the domain. These examples show why testing exactness is an essential first step.