4.4.29 · D5Multivariable Calculus

Question bank — Green's theorem — proof sketch, both forms

1,321 words6 min readBack to topic

True or false — justify

Every field satisfies Green's theorem if is closed.
False. must also be simple (no self-crossings) and must have continuous partials on all of ; a singularity inside breaks the hypothesis.
If for one particular loop, the field must be conservative.
False. One loop giving zero is a single data point; conservative means every closed loop gives zero, which needs throughout a simply-connected region.
Green's theorem and the Fundamental Theorem of Calculus are unrelated results.
False. Green's theorem is a 2D Fundamental Theorem: the inner -integral in the proof collapses by FTC to boundary values, so the whole result is "boundary remembers the interior" one dimension up.
The circulation and flux forms are two different theorems needing separate proofs.
False. They are the same theorem for two field arrangements; applying circulation to yields the flux form for with no new work.
If everywhere inside , then .
True — provided the partials are continuous on all of . If there is a hole/singularity, the double integral hypothesis fails and the loop integral can be nonzero.
Reversing the orientation of negates both sides of Green's theorem equally.
False. It negates only the line integral side; the double integral over the fixed region is unchanged. So a clockwise loop equals .
Green's theorem is just the planar case of Stokes' Theorem.
True. Stokes' relates to the flux of curl through a surface; taking the surface flat in the -plane reduces to , recovering the circulation form.
The flux form of Green's theorem is the 2D version of the Divergence Theorem.
True. Both say total outward flux across a boundary equals the integral of divergence inside; Green's flux form is that statement in the plane.

Spot the error

"The disk with the origin removed is simply connected, so any curl-free field on it is conservative."
Error: a punctured disk is not simply connected — a loop around the hole cannot shrink to a point, so curl-free does not force conservative there.
"For we have , hence on the unit circle."
Error: the field is singular at the origin, so Green's hypothesis fails on any containing it; the actual loop integral is , not .
"I'll apply the circulation form; the integrand is ."
Error: that is the divergence, used in the flux form. The circulation integrand is the difference , the scalar curl.
"The curve is clockwise, so I'll use and keep the sign."
This is actually correct in effect — swapping to is the same as prepending a minus for the reversed orientation. Just make sure you flip it once, not twice.
"When proving , the two vertical sides contribute the term along them."
Error: on a vertical segment is constant so ; those pieces contribute nothing to .
"Any region can be treated directly as Type I, so decomposition is never needed."
Error: some regions (e.g. an annulus, or an L-shape read the wrong way) aren't Type I as a whole; you must chop into Type I/II pieces where internal cuts cancel.
"The internal cuts in the decomposition add up because both sub-regions include them."
Error: each cut is traversed twice in opposite directions, so those Line Integrals cancel, leaving only the outer boundary.

Why questions

Why must the boundary be traversed counterclockwise?
Because is the counterclockwise (positive) scalar curl; to match its sign convention you must walk so the region stays on your left.
Why does symmetry sometimes let us skip the line integral entirely?
If is an odd function over a symmetric region (e.g. an integrand odd in over a disk), the double integral is by cancellation, so the loop integral is with no computation.
Why is the outward normal taken as ?
Rotating the unit tangent clockwise by 90° points outward when the region is on your left; that rotation sends .
Why do we split the boundary into bottom and top curves in the Type I proof?
So each piece is a single-valued graph ; the counterclockwise top curve runs right-to-left, which supplies the minus sign that matches FTC's boundary evaluation.
Why does a hole in the region force us to add its inner boundary to the integral?
The theorem needs continuous partials on the whole enclosed region; excising a singularity with a small loop restores the hypothesis, and that inner loop (oriented so the region stays on your left, i.e. clockwise around the hole) enters the boundary sum.
Why is the flux form connected to Curl and Divergence while circulation is too?
Circulation measures net spin (curl) around the loop; flux measures net outflow (divergence) through it — Green's packages both scalar quantities as boundary-versus-interior statements.
Why does choosing compute area?
Because , so the double integral becomes ; the field is engineered to make the integrand exactly .

Edge cases

What does Green's theorem give if (the zero field)?
Both sides are trivially; it is consistent but carries no information — a degenerate sanity check.
What if shrinks to a single point (zero area)?
The double integral is and the boundary has zero length, so both sides vanish; the theorem holds vacuously in the limit.
What happens on an annulus (region between two circles)?
It is not simply connected, so its boundary is two loops; orient the outer counterclockwise and the inner clockwise (region on your left throughout) and sum both line integrals.
What if are continuous but their partials are not?
The theorem may fail — the proof needs continuous partial derivatives on an open set containing , not just continuity of .
What if the curve has a corner (piecewise-smooth but not smooth)?
Fine — Green's theorem only requires piecewise-smooth, so finitely many corners are allowed; you just integrate over the smooth arcs and add.
What if crosses itself (a figure-eight)?
The theorem doesn't apply directly since isn't simple; split it into simple sub-loops, each with its own consistent orientation, and treat them separately.
What is the sign of the flux of through any closed curve enclosing area ?
Positive: , so flux — the radially-outward field always pushes outward.