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)
|