Differential equations MOC

Exact differential equations

Exact differential equations are solved by finding a scalar potential that generates the multiplying functions of the first order ODE. Hence a first-order ODE is exact if and only if such a potential exists, i.e. the field โƒ—๐… (defined below) is conservative.

Consider a function of the form

๐‘€(๐‘ฅ,๐‘ฆ)+๐‘(๐‘ฅ,๐‘ฆ)๐‘‘๐‘ฆ๐‘‘๐‘ฅ=0

We rewrite this in terms of a covector field โƒ—๐… and a function โƒ—๐ฏ :๐‘ฅ โ†ฆ[๐‘ฅ ๐‘ฆ(๐‘ฅ)]๐–ณ1 so that

(โƒ—๐…โˆ˜โƒ—๐ฏ)(๐‘ก)๐ท๐‘ฃ(๐‘ก)=0

If โƒ—๐… is conservative, via the multivariable chain rule this can be rewritten as

0=(๐ทฮจโˆ˜โƒ—๐ฏ)(๐‘ฅ)๐ทโƒ—๐ฏ(๐‘ฅ)=๐ท(ฮจโˆ˜โƒ—๐ฏ)(๐‘ฅ)

Since this is a function of a single variable, both sides of the equation can be integrated giving

0=โˆซ๐‘‘๐‘‘๐‘ฅ(ฮจโˆ˜โƒ—๐ฏ)(๐‘ฅ)๐‘‘๐‘ฅ=(ฮจโˆ˜โƒ—๐ฏ)(๐‘ฅ)+๐ถ=๐œ“([๐‘ฅ๐‘ฆ(๐‘ฅ)])+๐ถ

Which can then be rearranged for ๐‘ฆ(๐‘ฅ).2

It follows from this exploration that the solutions to an exact equation are just the Level set of its generating potential, or equivalently that the solutions correspond to each path through the field โƒ—๐… for which there is no work done in any segment.

Integrating factor

Sometimes a first order ODE will be almost exact, in that it can be made exact via an integrating factor ๐œ‡(๐‘ฅ,๐‘ฆ), in a similar vein to Integrating factor. If such a ๐œ‡ exists, then (๐œ‡ โƒ—๐…)(โƒ—๐ฏ) is conservative, and hence we get the following first order partial differential equation

๐œ•๐œ‡๐œ•๐‘ฅ๐‘โˆ’๐œ•๐œ‡๐œ•๐‘ฆ๐‘€+๐œ‡(๐œ•๐‘๐œ•๐‘ฅโˆ’๐œ•๐‘€๐œ•๐‘ฆ)=0

Which is unfortunately usually just as difficult to solve if not more so than the original differential equation.3 However, if we assume that ๐œ‡ is only a function of ๐‘ฅ or only a function of ๐‘ฆ, and test for each of these cases.

Higher order

Practice problems


#state/tidy | #lang/en | #SemBr | #review

Footnotes

  1. We assume ๐‘ฆ to be a function of ๐‘ฅ. โ†ฉ

  2. The above explanation of exact equations differs slightly from the conventional one: it has been shaped by my preference for explicit functions and the matrix-based chain rule. โ†ฉ

  3. 2017. Elementary differential equations and boundary value problems, p. 74 โ†ฉ

  4. 2017. Elementary differential equations and boundary value problems, pp. 119โ€“120 (ยง3.2 problems 31ff.) โ†ฉ