An ODE is said to be exact if it can be represented as the derivative of a multivariate function, i.e. in the following format:
Sketch of Proof
Given differential equation,
we first assume that there exists a function such that
By Schwarz’s theorem, it’s known that the order of partial differentiation does not matter:
Therefore, assuming that the above holds, the following should be true for an exact equation:
Integrating Factor
If a DE is not exact, we may be able to multiply the equation by an integrating factor to render it exact; the following then holds:
IF in terms of x (independent var)
By the product rule,
In other words, as a shortcut we may observe that if
is expressed solely in terms of , we may find a valid .
IF in terms of y (dependent var)
Linear Equations
A linear equation is of the form
The integrating factor can then be found by