Green's theorem
Statement
Let be a region with positively oriented, piecewise-smooth boundary curve , and let and have continuous partial derivatives on an open region containing . Then .
Why is it true?
The right side sums the local 'circulation density' (the 2D curl) over every point of ; the interior circulations of adjacent tiny cells cancel along their shared edges, leaving only the circulation along the outer boundary .
Proof sketch
First prove it for a rectangle with . By Fubini's theorem, and .
These are exactly the line integrals of along the right and left edges of and of along the top and bottom edges, so , matching the theorem for a rectangle.
For a general region , approximate it by a fine grid of small rectangles covering . Apply the rectangle case to each small piece and sum over all pieces. Every interior edge shared by two adjacent pieces is traversed once in each direction by the two pieces' boundaries, so the two line integral contributions along that shared edge cancel exactly.
What remains after cancellation is precisely the line integral around the outer boundary , while the sum of the double integrals over the small rectangles converges to as the grid is refined, proving the identity for .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Jerrold E. Marsden, Anthony J. Tromba (2012). Vector Calculus
- H. M. Schey (2005). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus
- Tom M. Apostol (1969). Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications