Consider a first-order ODE in the slightly different form
(1)
|
Such an equation is said to be exact if
(2)
|
This statement is equivalent to the requirement that a conservative field exists, so that a scalar potential can be defined. For an exact equation, the solution is
(3)
|
where is a constant.
A first-order ODE (◇) is said to be inexact if
(4)
|
For a nonexact equation, the solution may be obtained by defining an integrating factor of (◇) so that the new equation
(5)
|
satisfies
(6)
|
or, written out explicitly,
(7)
|
This transforms the nonexact equation into an exact one. Solving (7) for gives
(8)
|
Therefore, if a function satisfying (8) can be found, then writing
(9)
| |||
(10)
|
in equation (◇) then gives
(11)
|
which is then an exact ODE. Special cases in which can be found include -dependent, -dependent, and -dependent integrating factors.
Given an inexact first-order ODE, we can also look for an integrating factor so that
(12)
|
For the equation to be exact in and , the equation for a first-order nonexact ODE
(13)
|
becomes
(14)
|
Solving for gives
(15)
| |||
(16)
|
which will be integrable if
(17)
| |||
(18)
|
in which case
(19)
|
so that the equation is integrable
(20)
|
and the equation
(21)
|
with known is now exact and can be solved as an exact ODE.
Given an exact first-order ODE, look for an integrating factor . Then
(22)
|
(23)
|
Combining these two,
(24)
|
For the equation to be exact in and , the equation for a first-order nonexact ODE
(25)
|
becomes
(26)
|
Therefore,
(27)
|
Define a new variable
(28)
|
then , so
(29)
|
Now, if
(30)
|
then
(31)
|
so that
(32)
|
and the equation
(33)
|
is now exact and can be solved as an exact ODE.
Given an inexact first-order ODE, assume there exists an integrating factor
(34)
|
so . For the equation to be exact in and , equation (◇) becomes
(35)
|
Now, if
(36)
|
then
(37)
|
so that
(38)
|
and the equation
(39)
|
is now exact and can be solved as an exact ODE.
Given a first-order ODE of the form
(40)
|
define
(41)
|
Then the solution is
(42)
|
If
(43)
|
where
(44)
|
then letting
(45)
|
gives
(46)
|
(47)
|
This can be integrated by quadratures, so
(48)
|
(49)
|