1 Definition and basic form

An exact differential equation is a first-order differential equation that can be written as

M(x, y)dx + N(x, y)dy = 0,

where M and N are functions of two variables. The equation is called exact when there exists a scalar potential function F(x, y) such that its total differential satisfies

dF = Fx dx + Fy dy = Mdx + Ndy.

In that case, solving the differential equation reduces to finding F(x, y) and setting F(x, y) = C, where C is a constant. The resulting implicit equation represents a family of solution curves.

1.1 Differential equation notation

The standard notation places the x-derivative term beside dx and the y-derivative term beside dy. This form is useful because it matches the structure of total differentials from multivariable calculus. A differential equation in this format may describe the slope field indirectly, but exact equations stand out because they can be integrated through a single potential function rather than by iterative numerical steps.

1.2 Exactness condition

Exactness means that the two coefficient functions come from one underlying function F. Equivalently, M and N must behave like partial derivatives of the same function on an appropriate domain. When this happens, the equation is integrable in a direct and systematic way.

1.2.1 Equality of mixed partial derivatives

If F exists and has continuous second partial derivatives, then

∂M/∂y = ∂N/∂x.

This criterion follows from the equality of mixed partial derivatives. It is the most common test for exactness in elementary applications, though it must be used together with a suitable domain condition.

1.2.2 Domain assumptions

The mixed partial derivative condition is sufficient only when the functions are defined on a region where no topological obstruction prevents the existence of a global potential function. In typical calculus problems, the domain is assumed to be simply connected or otherwise well behaved. Without such assumptions, local exactness may not guarantee a single-valued potential everywhere in the region.

1.3 Potential function interpretation

The potential function F plays the role of an accumulated quantity whose differential reproduces the equation. Its level sets F(x, y) = C form the integral curves of the differential equation. This interpretation links exact equations to conservation laws, where the solution describes paths along which a quantity remains constant.

2 Solving exact differential equations

The usual strategy is to reconstruct the potential function F from the partial derivatives M and N. Once F is known, the solution follows immediately from F(x, y) = C. The main task is therefore to integrate one coefficient and determine the part that the integration process cannot reveal directly.

2.1 Finding the potential function

One may start from either coefficient. A convenient choice is often the term that is easiest to integrate with respect to one variable. The result provides most of F, but a remaining unknown function of the other variable is typically needed to complete the expression.

2.1.1 Integration with respect to x

If M is integrated with respect to x, then

F(x, y) = ∫ M(x, y) dx + g(y),

where g(y) is an unknown function of y alone. This function appears because the integration is performed while treating y as constant. The term g(y) must then be chosen so that differentiating F with respect to y reproduces N.

2.1.2 Integration with respect to y

Alternatively, one may integrate N with respect to y:

F(x, y) = ∫ N(x, y) dy + h(x),

where h(x) is an unknown function of x alone. This approach is especially useful when N is simpler to integrate. The missing function h(x) is determined by matching the x-partial derivative of F to M.

2.2 Determining the missing function

After one coefficient has been integrated, the remaining function is found by comparing partial derivatives. This step ensures that the reconstructed potential function is consistent with both M and N.

2.2.1 Method for M(x, y)

Starting from

F(x, y) = ∫ M(x, y) dx + g(y),

differentiate F with respect to y. The result must equal N(x, y). Any terms depending only on y are absorbed into g′(y). After comparing the two expressions, g(y) is obtained by integrating the leftover y-only terms.

2.2.2 Method for N(x, y)

Starting from

F(x, y) = ∫ N(x, y) dy + h(x),

differentiate with respect to x and set the result equal to M(x, y). The discrepancy between the computed derivative and M determines h′(x), which can then be integrated to recover h(x). Either method leads to the same potential function up to an additive constant.

2.3 General implicit solution

Once F is known, the general solution is written as

F(x, y) = C.

This implicit form is often the final answer. In many cases the equation cannot be solved explicitly for y as a function of x in elementary terms, but the constant-level representation still completely describes the solution family.

3 Tests for exactness

Before attempting to solve an equation, one usually checks whether it is exact. This avoids unnecessary calculation and clarifies whether an integrating factor may be needed instead.

3.1 Mixed partial derivative test

The most common test compares the cross partial derivatives:

∂M/∂y and ∂N/∂x.

If these are equal on the domain of interest, the equation is exact, provided the domain conditions are suitable. If they differ, the equation is not exact in its present form.

3.2 Verification procedure

A full verification checks both the derivative condition and the consistency of the reconstructed potential function. This is helpful in worked problems, where algebraic errors can occur during integration.

3.2.1 Differentiating candidate functions

After a candidate F is found, one differentiates it with respect to x and y. The resulting partial derivatives should match M and N exactly. This direct check confirms that the reconstruction was done correctly.

3.2.2 Checking consistency

If one integration path produces a function that disagrees with the other coefficient, the equation is not exact or an algebraic mistake has occurred. Consistency means that both coefficient functions originate from the same F and that the same constant-level family results regardless of the starting point.

4 Integrating factors

When an equation is not exact, it may sometimes be made exact by multiplying through by a nonzero function called an integrating factor. This transforms the original equation into one that satisfies the exactness condition.

4.1 Purpose of an integrating factor

The integrating factor rescales M and N so that the modified equation becomes exact. In effect, it converts a nonconservative form into a conservative one, allowing the potential-function method to be applied. Finding such a factor is not always possible, but when it is, the resulting equation is often much easier to solve.

4.2 Special cases of integrating factors

Some integrating factors depend on only one variable. These are particularly valuable because they can often be identified by simple formulas involving M and N and their derivatives.

4.2.1 Factors depending only on x

If an integrating factor μ(x) depends only on x, then the exactness condition for μM dx + μN dy = 0 can often be rearranged into an expression that isolates x. In standard textbook cases, a quotient involving derivatives of M and N may reduce to a function of x alone, making μ(x) obtainable by direct integration.

4.2.2 Factors depending only on y

Similarly, if an integrating factor μ(y) depends only on y, the exactness condition can be manipulated to produce a formula depending only on y. Such cases are common in exercises where the nonexactness has a simple multiplicative structure. Once μ(y) is found, the transformed equation is solved as an exact equation.

4.3 Methods for finding integrating factors

Several approaches are used in practice. One method tests whether a specific ratio depends only on x or only on y. Another uses pattern recognition, especially when the coefficients have polynomial or homogeneous structure. In more advanced settings, integrating factors may be obtained through symmetry methods or by exploiting special algebraic forms.

5 Geometric interpretation

Exact differential equations have a clear geometric meaning. They describe families of curves along which a potential function remains constant, so the differential form is orthogonal to the gradient of that potential.

5.1 Level curves of a potential function

The solutions F(x, y) = C are level curves. Each curve lies in a contour of equal potential, and moving along such a curve produces no change in F. This viewpoint explains why exact equations naturally encode conserved quantities.

5.2 Relation to conservative vector fields

The pair (M, N) may be viewed as a planar vector field or differential form. When the equation is exact, the field is conservative, meaning it is the gradient of some scalar potential. Conservative fields have zero circulation around suitable closed loops, reflecting the path-independence of the associated line integrals.

5.3 Connection with total differentials

Exact equations are closely related to total differentials in multivariable calculus. If dF = Mdx + Ndy, then the differential form is literally the differential of a function. This makes exact equations an important bridge between ordinary differential equations and multivariable analysis.

6 Examples

Worked examples show how the theory is applied in practice. They also illustrate the difference between equations that are exact, those that are not, and those that become exact after multiplying by an integrating factor.

6.1 Exact equation examples

A typical exact equation has coefficients whose cross partial derivatives agree. After integration, a potential function is recovered and the solution is written as F(x, y) = C. Such examples often include polynomial, exponential, or simple rational expressions chosen so that the exactness condition is easy to verify.

6.2 Non-exact equation examples

Nonexact examples fail the mixed partial derivative test. In these cases, direct integration does not produce a consistent potential function. The example is still useful because it shows why the exactness criterion matters and why an integrating factor may be needed.

6.3 Solved applications

Applied problems often begin with a physical or geometric quantity written in differential form. Once exactness is established, the solution gives an invariant relation between x and y. These problems may describe an implicit family of trajectories, curves of constant energy, or other conserved relationships.

7 Applications

Exact differential equations appear throughout calculus, mathematical physics, and classical mechanics. Their usefulness comes from the way they encode conserved quantities in a compact differential form.

7.1 Physics and mechanics

In physics, exact equations often arise from energy-based descriptions. They can represent changes in a state variable where the underlying field is conservative. In mechanics, this makes them suitable for modeling idealized systems in which potential energy governs motion.

7.2 Work and potential energy

The language of exactness is closely tied to work. In a conservative field, the work done between two points depends only on the endpoints, not on the path taken. The corresponding differential form is exact, and the potential function represents stored energy up to a constant.

7.3 Other first-order differential equations

Exact methods are also useful as a tool within broader classes of first-order equations. Some equations can be transformed into exact form, while others are compared with exact equations to motivate alternative techniques. This makes exact equations a standard reference point in elementary differential equations.

Exact differential equations are part of a larger network of ideas in calculus and differential equations. Several nearby topics use similar transformations, tests, or geometric interpretations.

8.1 Separable differential equations

Separable equations are solved by rearranging variables onto opposite sides before integrating. Unlike exact equations, they do not require a potential function. However, both types lead to implicit solutions by integration, and both rely on careful handling of constants.

8.2 Linear first-order equations

Linear first-order equations use an integrating factor in a different but related way. The integrating factor technique for linear equations is a standard parallel to the method used to make some nonexact equations exact. This connection helps students recognize integrating factors as a broader conceptual tool.

8.3 Green's theorem perspective

In two dimensions, exactness can be interpreted through line integrals and Green's theorem. A vanishing circulation around closed curves is consistent with the existence of a potential function. This perspective links exact differential equations to integral theorems in vector calculus.