4.6.6 · D1Ordinary Differential Equations

Foundations — Exact equations — exactness condition, finding potential function

1,981 words9 min readBack to topic

Before you can trust a single line of the parent note, you need to genuinely see what each symbol means. This page builds them one at a time, from a reader who has never met a partial derivative. Nothing here is assumed; each tool is earned before it is used.


1. The starting object: a function of TWO variables

Everything in this chapter orbits around a function that eats two numbers and returns one.

Plain words → picture → why.

  • Plain words: a machine with two dials and one output number.
  • Picture: a landscape. Above each floor point sits a hill surface at height .
  • Why the topic needs it: the whole solution of an exact equation is the sentence "". Without knowing what a two-input function is, that sentence is meaningless. See Total Differential & Partial Derivatives for the machinery we build on it.

2. Level curves: the contour lines

A hill is 3D and hard to draw. Mapmakers flatten it by drawing the set of all floor points that sit at the same height.

Plain words → picture → why.

  • Plain words: "all places at the same altitude."
  • Picture: loops drawn on the flat floor (look at the coloured rings in the figure). Move along a ring and your height stays frozen.
  • Why the topic needs it: the answer to an exact ODE is one of these rings. Solving the equation = identifying which ring you were told to stay on. Deep dive: Level Curves & Contour Lines.
Recall If you walk along a level curve, how does

change? Not at all — by definition every point on the curve has the same value , so the change in height is exactly zero. That "zero change" is the seed of the equation .


3. Partial derivatives: and

To describe the hill we need its slopes. But a hill has two independent slopes at each point: steepness walking east, and steepness walking north.

Plain words → picture → why.

  • Plain words: slope toward east () and slope toward north ().
  • Picture: two perpendicular ramps carved out of the hill at one point (the red ramp is the -slope, the mint ramp the -slope).
  • Why the topic needs it: the parent note's central boxed equations are and . The coefficients and in your ODE are secretly these two slopes. Full treatment: Total Differential & Partial Derivatives.

4. The differentials , , and the total differential

Plain words → picture → why.

  • Plain words: climbing a little east plus climbing a little north adds up to your total climb.
  • Picture: the same two ramps from figure s03, now used to estimate how much height you gain in a diagonal micro-step.
  • Why the topic needs it: the parent's definition of "exact" is exactly " is a total differential ." So pairs with and with . This is where is born.
Recall Why does staying on a level curve force

? On a contour the height never changes, so its change over any step along the curve is . Hence is the sentence "", i.e. "don't leave the contour."


5. The coefficients and


6. Mixed second partials & Clairaut:

Take a slope, then take the slope of that slope in the other direction. That is a mixed second partial.

Plain words → picture → why.

  • Plain words: "how the east-slope changes as you go north" equals "how the north-slope changes as you go east."
  • Picture: a tiny square patch of hill; you may climb around it clockwise or anticlockwise — the corner heights force both mixed slopes to agree.
  • Why the topic needs it: since and , we get and . Clairaut says these are equal, giving the exactness test . This is the entire justification. See Clairaut's Theorem (Equality of Mixed Partials).

7. "Simply-connected region" — the no-holes condition


8. The constant of integration that is secretly a function:


9. The symbol and ""


Prerequisite map

Two-input function F x,y

Level curves F = c

Partial derivatives F_x and F_y

Total differential dF

Coefficients M and N

Mixed partials F_xy and F_yx

Clairaut theorem

Simply-connected region

Exactness test M_y = N_x

Constant function g of y

Exact equations and potential F


Equipment checklist

I can state what a two-input function returns and picture it
A single height number above the floor point — a hill surface.
I can describe a level curve in one sentence
All floor points sharing one height, — a contour ring.
I know why the symbol is used instead of
Because there are two inputs; means "slope in one direction with the other input held fixed."
I can compute and for
and .
I can write the total differential
.
I know what and are
The coefficients of and in .
I can state Clairaut's theorem
For continuous second partials, .
I can explain how Clairaut gives the exactness test
.
I know why (not just ) appears
Integrating in treats as constant, so the missing piece may depend on .
I know why "simply connected" matters
No holes lets the slopes be glued into one single-valued potential .

Recall One-line summary before you leave

and are the two slopes of a hidden hill ; if their cross-slopes match () the hill really exists, and the ODE just says "stay on the contour ."