MathLabs
TheoremProved

Green's theorem

Statement

Let D⊂R2D \subset \mathbb{R}^2 be a region with positively oriented, piecewise-smooth boundary curve ∂D\partial D, and let P(x,y)P(x,y) and Q(x,y)Q(x,y) have continuous partial derivatives on an open region containing DD. Then ∮∂D(P dx+Q dy)=∬D(∂Q∂x−∂P∂y)dA\oint_{\partial D} (P\,dx + Q\,dy) = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA.

Why is it true?

The right side sums the local 'circulation density' ∂Q∂x−∂P∂y\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} (the 2D curl) over every point of DD; the interior circulations of adjacent tiny cells cancel along their shared edges, leaving only the circulation along the outer boundary ∂D\partial D.

Proof sketch

First prove it for a rectangle R=[a,b]×[c,d]R = [a,b]\times[c,d] with D=RD = R. By Fubini's theorem, ∬R∂Q∂x dA=∫cd(Q(b,y)−Q(a,y))dy\iint_R \frac{\partial Q}{\partial x}\,dA = \int_c^d \left(Q(b,y) - Q(a,y)\right) dy and ∬R∂P∂y dA=∫ab(P(x,d)−P(x,c))dx\iint_R \frac{\partial P}{\partial y}\,dA = \int_a^b \left(P(x,d) - P(x,c)\right) dx.

These are exactly the line integrals of Q dyQ\,dy along the right and left edges of RR and of P dxP\,dx along the top and bottom edges, so ∬R(∂Q∂x−∂P∂y)dA=∮∂R(P dx+Q dy)\iint_R \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA = \oint_{\partial R} (P\,dx + Q\,dy), matching the theorem for a rectangle.

For a general region DD, approximate it by a fine grid of small rectangles covering DD. 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 ∂D\partial D, while the sum of the double integrals over the small rectangles converges to ∬D(∂Q∂x−∂P∂y)dA\iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA as the grid is refined, proving the identity for DD.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Jerrold E. Marsden, Anthony J. Tromba (2012). Vector Calculus
  2. H. M. Schey (2005). Div, Grad, Curl, and All That: An Informal Text on Vector Calculus
  3. Tom M. Apostol (1969). Calculus, Vol. 2: Multi-Variable Calculus and Linear Algebra with Applications