Fields, Circulation, and Flux
If then — the fundamental theorem for line integrals: path-independent, and zero around every loop. Test: in the plane, is conservative when .
Why only the endpoints matter: along any path , , so the line integral is the total change of (proof below). The test comes from mixed partials: if and , then . For , the work from to is at the end minus at the start, , whether you go straight or turn a corner at .
for a counterclockwise loop. The famous special case powers planimeters and the shoelace formula alike.
Why: the double integral of adds up the tiny circulations of the cells of the region. Along every edge shared by two cells, the two circulations run in opposite directions and cancel, so only the outer boundary survives (proof sketch below). For the triangle with corners , , , the area formula along the three straight edges gives , the area ; the shoelace formula is exactly this computation.
measures how much the field SPREADS from a point (source strength); measures how much it ROTATES. Conservative fields are curl-free; incompressible flows are divergence-free — and the Stokes/divergence theorems extend Green to surfaces and solids. For example, has divergence and curl , while has divergence and curl .
Why these derivatives: the divergence compares what flows out of a tiny box with what flows in — the term measures how much faster the flow leaves through the right face than it enters through the left. The curl's -component compares the push along opposite edges of the box; it is the circulation per unit area, which is why it is the integrand in Green's theorem. In the figure, points straight out everywhere (pure source), while circles the origin (pure rotation).
Green's theorem and its 3D siblings are the mathematical form of 'what is created inside crosses the boundary.' Fluid flow, heat, electric charge — every conservation law in physics is one of these theorems applied to the right field. The planimeter (a 19th-century gadget that measures area by tracing a boundary) is Green's theorem built in brass.
Is conservative? If it is, find a potential and the value of from to along any path.
Show the answerHide the answer
Test: and agree, and is defined on the whole plane, so a potential exists. To build it, integrate in : . Then must equal , so and (check: ). Along any path the integral is .
Line Integrals: Work Along a Path
For a curve given by , :
The first (work, circulation) changes sign when the direction of travel is reversed; the second (mass of a wire, total along a curve) does not.
Why: over a short time step the point moves by , and the force does work on that step; adding the steps gives the first integral. For , the step's length is what gets counted, and a length has no direction, so reversing the path leaves unchanged.
Compute for from to along two paths. Along the upper half of the unit circle, for , so , and the integral is .
Along the diameter, for : then and , so and the integral is . The same endpoints give two different values, so is not a gradient; the test agrees, since . On the arc the field pushes along the motion the whole way; on the diameter it pushes sideways and does no work.
A straight wire runs from to with density . Parametrize it as , ; then and .
The mass is . Check: the density grows evenly from to along a wire of length , so its average is and the mass is .
Dropping the speed from : for the wire, wrong by the factor — the length of the wire, which the parameter interval knows nothing about. The opposite slip, using magnitudes in a work integral, fails too: happens to give on the semicircle, but on the diameter it gives instead of , because it ignores the angle between the force and the motion.
Find the work done by along the parabola from to .
Show the answerHide the answer
Parametrize by : , , so and . Then , and the work is .
Green's Theorem in Practice
when is the boundary of traversed counterclockwise, with the region on the left. Use it from left to right when the loop integral is unpleasant and is simple; use it from right to left when the boundary is easy but the region is awkward, as in the area formulas.
Why the orientation matters: the proof tiles by tiny cells and lets the shared edges cancel, which works only if every cell is traversed the same way, with its inside on the left. Reversing the boundary flips the sign of the line integral, while the double integral does not change, so Green's theorem is only true for the counterclockwise direction.
Compute counterclockwise around the circle of radius centred at the origin. Here and , so .
By Green's theorem the integral is . The terms and , which would be hopeless along the circle, never mattered: in has and in has . Each is a gradient piece, and gradients have zero loop integrals.
Take and around the rectangle . The right side is quick: , so .
The left side, edge by edge. Bottom (, from to ): . Right (, from to ): . Top (, from back to ): . Left (, from down to ): . The total is , matching.
Find the area inside , with . Here and , so .
The area is , which is with , — the same answer the Jacobian topic reached by stretching a disk. A planimeter does this integral mechanically as its arm traces the boundary.
Orientation and the order of the derivatives. Going round the rectangle clockwise gives . Mixing up the integrand, as instead of , gives over the rectangle, a plausible-looking wrong answer. The correct integrand is the -component of the curl: the -derivative of the -component minus the -derivative of the -component.
Use Green's theorem to compute counterclockwise around the triangle with corners , , .
Show the answerHide the answer
Here , so the loop integral equals . At each the triangle runs from to , so this is . Check with the centroid: the triangle has area and centroid -coordinate , and .
Proofs & Why It Matters
If and is parametrized by , , then .
By the chain rule the integrand is exactly , so the integral is by the ordinary fundamental theorem of calculus. Only the endpoints survive.
On : , which is the line integral of up the right side and down the left. Similarly produces along the bottom and top. Adding gives the counterclockwise loop integral.
A general region is tiled by small rectangles: interior edges are traversed twice in opposite directions and cancel, leaving only the outer boundary.
Apply Green's theorem with , : then , so the loop integral equals — the enclosed area. Choosing polygon vertices as the path gives the shoelace formula as a corollary.
Going Deeper: Explanations & Worked Problems
Given , the question "does a potential exist?" has a mechanical answer. Test: compute and ; if they differ, no potential, stop.
If they agree (on a region without holes), CONSTRUCT the potential: integrate in to get with an unknown function of alone; differentiate this in , set it equal to , and solve for ; integrate once more. Example: . Check: ✓. Integrate: . Match: , so and . Potential: , and every line integral of is now just at the endpoints. The hole caveat is real: passes the derivative test everywhere it is defined yet has integral around the origin — the missing point matters.
Take around the unit circle, counterclockwise. LEFT SIDE (the line integral, done honestly):
Step 1 — parametrize: , , so , .
Step 2 — substitute: .
Step 3 — the identity collapses the integrand to : the integral is . RIGHT SIDE (the double integral): , and . The two sides agree — and dividing by gives the area formula , the area of the unit disk, computed purely from its boundary.
Let . DIVERGENCE: differentiate each component by ITS OWN variable and add: — at this is , so the field is expanding there (a net source).
CURL: the determinant recipe gives . Nonzero curl means is NOT conservative — no potential exists, and loop integrals of can be nonzero — even though two of the three components look innocent. One derivative test settles what no amount of staring at the formula would.