Exact Equations

Definition and Basic Concepts

First-Order Differential Equations

Form: M(x,y)dx + N(x,y)dy = 0. Variables: independent x, dependent y. Order: highest derivative is first order (dy/dx).

Exact Differential Forms

Definition: A differential form ω = M dx + N dy is exact if ∃ψ(x,y) such that dψ = ω.

Exact Equation

Equation is exact if M dx + N dy = 0 is total differential of some ψ(x,y) = C, implicit solution.

Exactness Condition

Mathematical Criterion

Condition: ∂M/∂y = ∂N/∂x in domain D ⊆ ℝ². Ensures existence of potential function ψ.

Interpretation

Equality of mixed partial derivatives implies path independence of line integral of ω.

Domain Requirements

D must be simply connected and open for exactness condition to guarantee solution.

Potential Function and Solution

Existence of ψ(x,y)

If exact, ∃ψ such that dψ = M dx + N dy. ψ is scalar potential of vector field (M,N).

Constructing ψ

Integrate M with respect to x: ψ(x,y) = ∫ M(x,y) dx + h(y). Differentiate w.r.t y, equate to N, solve for h'(y).

Implicit Solution

General solution: ψ(x,y) = C, C constant. Represents implicit curve family satisfying ODE.

Given: M(x,y), N(x,y)Find ψ(x,y):1. ψ(x,y) = ∫ M(x,y) dx + h(y)2. Differentiate: ∂ψ/∂y = ∂/∂y (∫ M dx) + h'(y)3. Set equal to N(x,y)4. Solve for h'(y), integrate h(y)5. ψ(x,y) = constant is solution 

Identification of Exact Equations

Checking Partial Derivatives

Compute ∂M/∂y and ∂N/∂x. If equal, equation exact; else not exact.

Counterexamples

When ∂M/∂y ≠ ∂N/∂x, equation not exact; may require integrating factor.

Practical Tips

Domain consideration critical. Test exactness in region of interest. Use symbolic computation for complex M,N.

Method of Solving Exact Equations

Stepwise Procedure

1. Verify exactness. 2. Integrate M w.r.t x. 3. Differentiate result w.r.t y. 4. Equate to N, find h(y). 5. Write implicit solution.

Alternative Approaches

Integrate N w.r.t y, find g(x), check consistency. Either approach valid.

Final Solution Format

Implicit: ψ(x,y) = C. Explicit y(x) may require algebraic manipulation or inversion.

Integrating Factors

Purpose

Convert non-exact equation into exact form via multiplication by μ(x,y).

Types of Integrating Factors

μ(x) only, μ(y) only, or μ(x,y) general. Simplest are functions of single variable.

Finding Integrating Factors

Use formula: μ(x) = exp(∫ (∂N/∂x - ∂M/∂y) / M dx) if right side depends only on x. Similar for μ(y).

Given: M dx + N dy = 0 not exactCompute: (∂N/∂x - ∂M/∂y)/M = function of x only?If yes: μ(x) = exp(∫ (∂N/∂x - ∂M/∂y)/M dx)Multiply entire ODE by μ(x)Check exactness againSolve as exact equation 

Worked Examples

Example 1: Simple Exact Equation

Equation: (2xy + 3) dx + (x² + 4y) dy = 0

∂M/∂y = 2x, ∂N/∂x = 2x → exact.

Integrate M w.r.t x: ψ = x²y + 3x + h(y)

∂ψ/∂y = x² + h'(y) = N = x² + 4y → h'(y) = 4y → h(y) = 2y²

Solution: ψ(x,y) = x²y + 3x + 2y² = C

Example 2: Non-Exact with Integrating Factor

Equation: (y + 2x) dx + (x - 3y²) dy = 0

∂M/∂y = 1, ∂N/∂x = 1 → not equal → not exact.

Compute (∂N/∂x - ∂M/∂y)/M = (1 - 1)/(y+2x) = 0 → trivial integrating factor μ=1 fails.

Try μ(y) or μ(x) or more complex; in this case, μ(y) = e^{∫ -6y dy} = e^{-3y²} may work.

Relation to Other First-Order ODEs

Separable Equations

Separable if M(x,y)dx + N(x,y)dy = 0 with M and N factored by single variables. Exact equations generalize separable forms.

Linear Equations

Linear ODEs sometimes exact or transformable to exact form using integrating factors.

Bernoulli and Homogeneous Equations

Transformations can convert Bernoulli or homogeneous equations into exact form.

Existence and Uniqueness Theorems

Existence

Under continuity of M, N, and partial derivatives with exactness condition met, implicit solution ψ(x,y) exists locally.

Uniqueness

Uniqueness guaranteed if ∂ψ/∂y ≠ 0 near initial condition, enabling implicit function theorem application.

Initial Value Problems (IVP)

Given y(x₀) = y₀, solution ψ(x,y) = C passes through (x₀,y₀) uniquely if conditions above hold.

Applications

Physics

Conservative force fields: exact differentials represent potential energy gradients.

Engineering

Heat transfer, fluid flow modeled by exact or transformable equations.

Economics and Biology

Dynamic systems with implicit relations modeled via exact equations.

Common Errors and Misconceptions

Mismatched Partial Derivatives

Assuming exactness without checking ∂M/∂y = ∂N/∂x leads to incorrect solutions.

Ignoring Domain Constraints

Exactness condition requires simply connected domain; ignoring this invalidates results.

Misapplication of Integrating Factors

Improper choice of μ(x,y) or failure to verify new exactness causes futile attempts.

Summary and Key Takeaways

Exact Equation Definition

First order ODE M dx + N dy = 0 exact if ∂M/∂y = ∂N/∂x in domain.

Solution Method

Find potential function ψ by integrating M and adjusting with h(y). Solution ψ = C.

Integrating Factors

Used to convert non-exact equations into exact form; often depend on x or y alone.

Applications and Importance

Exact equations fundamental in modeling conservative systems and implicit relationships in science and engineering.

References

• E. A. Coddington, "An Introduction to Ordinary Differential Equations," Prentice-Hall, vol. 1, 1961, pp. 45-72.
• M. Braun, "Differential Equations and Their Applications," Springer, vol. 2, 2012, pp. 101-135.
• F. Hildebrand, "Methods of Applied Mathematics," Prentice-Hall, vol. 4, 1976, pp. 202-228.
• R. Boyce and R. DiPrima, "Elementary Differential Equations and Boundary Value Problems," Wiley, vol. 10, 2017, pp. 134-172.