first order odes
Exact Differential Equations
You should know: first order differential equation
Overview
A first-order equation written as M(x,y)dx + N(x,y)dy = 0 is called exact if the left side is the total differential of some function F(x,y), i.e. dF = M dx + N dy. When this holds, the solution is simply the implicit curve F(x,y) = C, so no further integration technique is needed once F is found. The test for exactness is the mixed-partials condition ∂M/∂y = ∂N/∂x, which follows from equality of mixed partial derivatives of F. Exact equations generalize separable equations and are the starting point for the method of integrating factors when a given equation is not already exact.
Intuition
Think of M dx + N dy as measuring the change in some underlying quantity F — like elevation on a hillside, where M and N are the slopes in the x- and y-directions. If F really is a well-defined 'elevation' function, then the slope you measure moving east then north must match the slope from moving north then east first — that consistency check is exactly ∂M/∂y = ∂N/∂x. When it holds, solving the ODE is just recovering the elevation function F from its two partial derivatives, and every level curve F(x,y)=C is a solution.
Formal Definition
An equation M dx + N dy = 0 is exact exactly when the cross-partial condition holds, and then a potential function F exists with:
Worked Examples
Identify M = 2xy+3, N = x²-1 and check exactness.
Integrate M with respect to x to build F, holding y fixed; add an unknown function of y.
Differentiate F with respect to y and match it to N to find g(y).
Assemble F and write the implicit solution.
Answer: x²y + 3x − y = C (verify: F_x = 2xy+3 = M, F_y = x²−1 = N, so dF = M dx + N dy = 0 exactly as required).
Practice Problems
Verify that (2x + y)dx + (x + 2y)dy = 0 is exact, then solve it.
Solve (y cos x + 2xe^y)dx + (sin x + x²e^y + 2)dy = 0.
In a certain conservative force field, the equation (2xy)dx + (x² - 1)dy = 0 describes level curves of the potential energy. Find the potential F(x,y) and confirm exactness.
Quiz
Summary
- M dx + N dy = 0 is exact when ∂M/∂y = ∂N/∂x, meaning the left side is the total differential of some F(x,y).
- Solve by integrating M in x (or N in y), then matching the leftover function of y (or x) against the other coefficient.
- The general solution is the implicit level-curve family F(x,y) = C.
Mathematics