Green's Theorem

⚡ Key Takeaways

Green's Theorem relates a line integral around a simple closed curve $C$ to a double integral over the plane region $D$ it encloses. In words: the circulation of a vector field around a closed loop equals the integral of the field's "microscopic rotation" (curl) over the enclosed area. It applies to vector fields with continuous partial derivatives on a region bounded by a piecewise-smooth, positively oriented simple closed curve. Proved/published by George Green (1828) and independently associated with Augustin-Louis Cauchy and Bernhard Riemann.

💡 The Core Insight

The total rotation accumulated by walking around the boundary of a region equals the sum of all the tiny rotations happening at every interior point. Adjacent interior "cells" share edges that are traversed in opposite directions, so their contributions cancel — leaving only the outer boundary. This telescoping/cancellation of interior boundaries is the conceptual engine behind every theorem in the Stokes family.

DefinitionPositively Oriented Simple Closed Curve

A simple closed curve $C$ is a continuous closed loop that does not cross itself. It is positively oriented if it is traversed counterclockwise, equivalently so that the enclosed region $D$ lies to the left of the direction of travel. The boundary of $D$ is written $\partial D = C$ . A region is simply connected if it has no holes; for regions with holes, $\partial D$ consists of an outer curve (counterclockwise) and inner curves (clockwise).

TheoremGreen's Theorem — Circulation (Tangential) Form

Let $C$ be a piecewise-smooth, positively oriented, simple closed curve bounding a region $D$ in the plane. Let $P(x,y)$ and $Q(x,y)$ have continuous first-order partial derivatives on an open set containing $D$ . Then

1

\quad \oint_C P\,dx + Q\,dy = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA

Derivation hint: Prove $\oint_C P\,dx = -\iint_D P_y\,dA$ on a vertically simple region and $\oint_C Q\,dy = \iint_D Q_x\,dA$ on a horizontally simple region, then add. Here $P, Q$ are the components of $\mathbf{F} = (P,Q)$ ; the integrand $Q_x - P_y$ is the scalar (out-of-plane) component of $\operatorname{curl}\mathbf{F}$ ; $dA = dx\,dy$ is the area element; the circle on $\oint$ denotes a closed curve.

TheoremGreen's Theorem — Flux (Normal/Divergence) Form

With the same hypotheses, the outward flux of $\mathbf{F} = (P, Q)$ across $C$ equals the integral of its divergence over $D$ :

2

\quad \oint_C \mathbf{F}\cdot\mathbf{n}\,ds = \oint_C P\,dy - Q\,dx = \iint_D \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} \right) dA

Derivation hint: The outward unit normal is $\mathbf{n} = (dy/ds,\,-dx/ds)$ ; substitute into the tangential form with relabeled components $P \to -Q$ , $Q \to P$ . Here $\mathbf{n}$ is the outward unit normal, $ds$ is arc length, and $P_x + Q_y = \operatorname{div}\mathbf{F}$ is the divergence.

DefinitionArea via the Boundary

Choosing $P, Q$ so that $Q_x - P_y = 1$ yields three equivalent area formulas:

3

\quad \operatorname{Area}(D) = \oint_C x\,dy = -\oint_C y\,dx = \frac{1}{2}\oint_C (x\,dy - y\,dx)

Derivation hint: Take $(P,Q)=(0,x)$ , then $(P,Q)=(-y,0)$ , then average the two; each gives $Q_x - P_y = 1$ .

ProofProof for a Type I / Type II Region

We prove the tangential form for a region that is simultaneously vertically simple (Type I) and horizontally simple (Type II). The general case follows by decomposition.

Step 1 — Set up a Type I region. Suppose $D = \{(x,y): a \le x \le b,\ g_1(x) \le y \le g_2(x)\}$ . We compute the double integral of $-P_y$ :

4

\quad \iint_D \frac{\partial P}{\partial y}\,dA = \int_a^b \int_{g_1(x)}^{g_2(x)} \frac{\partial P}{\partial y}\,dy\,dx = \int_a^b \big[ P(x, g_2(x)) - P(x, g_1(x)) \big]\,dx

Derivation hint: Apply the Fundamental Theorem of Calculus to the inner $y$ -integral.

Step 2 — Evaluate the line integral $\oint_C P\,dx$ . The boundary $C$ splits into the bottom curve $y = g_1(x)$ (left to right) and the top curve $y = g_2(x)$ (right to left), plus vertical sides on which $dx = 0$ :

5

\quad \oint_C P\,dx = \int_a^b P(x, g_1(x))\,dx - \int_a^b P(x, g_2(x))\,dx

Derivation hint: On the top curve, traversed right-to-left, the limits reverse, producing the minus sign; vertical segments contribute zero since $x$ is constant.

Step 3 — Match them. Comparing [4] and [5]:

6

\quad \oint_C P\,dx = -\iint_D \frac{\partial P}{\partial y}\,dA

Derivation hint: Negate [5] and observe it equals [4].

Step 4 — Repeat for $Q$ using the Type II description $D = \{(x,y): c \le y \le d,\ h_1(y) \le x \le h_2(y)\}$ . By the symmetric argument:

7

\quad \oint_C Q\,dy = \iint_D \frac{\partial Q}{\partial x}\,dA

Derivation hint: Integrate $Q_x$ in $x$ first via FTC; the right boundary $x=h_2$ goes upward (positive), the left $x=h_1$ downward.

Step 5 — Add. Summing [6] and [7] gives equation [1]. For a region that is not of this simple type, partition $D$ into finitely many Type I & II subregions; the line integrals along shared internal cuts cancel in pairs (opposite orientations), leaving only $\partial D$ . $\blacksquare$

∎

🧠 Telescoping of Interior Boundaries

Picture $D$ tiled by tiny squares. Green's Theorem says: sum the circulation around every little square, and the integral of $Q_x - P_y$ over each square approximates that square's circulation. When you add neighboring squares, the wall they share is walked up by one and down by the other — those contributions cancel. After all cancellation, only the unshared outer edges survive, and their sum is the circulation around the big boundary $C$ . The "curl" is precisely the circulation per unit area in the small-square limit.

GG

George Green

1793–1841

A self-taught miller's son from Nottingham, Green published the theorem (in more general "Green's identities" form) in his 1828 privately printed An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism. Largely ignored at first — only 51 copies were sold — the essay was rediscovered by William Thomson (Lord Kelvin) in 1846. Green did not attend university until age 40, entering Cambridge as an undergraduate. His work introduced the term potential and laid foundations for potential theory, electrostatics, and the modern theory of partial differential equations.

Figure

Positively oriented boundary

C

enclosing region

D

, with interior cells whose shared edges cancel

```svg

```

⚠️ Orientation Is Not Optional

Green's Theorem in its stated form requires counterclockwise (positive) orientation of $C$ . If you traverse the boundary clockwise, the line integral picks up a minus sign: $\oint_{-C} = -\oint_{C}$ . For regions with holes, the outer boundary is counterclockwise but inner boundaries (around holes) must be clockwise so that $D$ always stays on the left. Forgetting this sign is the single most common error.

⚠️ Continuity Hypotheses Cannot Be Dropped

The theorem requires $P$ , $Q$ , and their partials $P_y$ , $Q_x$ to be continuous on an open set containing all of $D$ — interior included. If the field has a singularity inside $D$ (e.g. a $1/r$ blow-up at the origin), Green's Theorem does not apply directly, and naively equating the integrals gives wrong answers.

ExampleVerifying the Theorem on a Disk

Given: $\mathbf{F} = (P, Q) = (-y, x)$ , and $C$ the unit circle $x^2 + y^2 = 1$ oriented counterclockwise.

Double integral side. Compute the integrand:

Q_x - P_y = \frac{\partial}{\partial x}(x) - \frac{\partial}{\partial y}(-y) = 1 - (-1) = 2.

Then

\iint_D 2\,dA = 2 \cdot \operatorname{Area}(D) = 2\pi.

Line integral side. Parametrize $x = \cos t,\ y = \sin t,\ t \in [0, 2\pi]$ , so $dx = -\sin t\,dt$ , $dy = \cos t\,dt$ :

\oint_C -y\,dx + x\,dy = \int_0^{2\pi} \big[ -\sin t(-\sin t) + \cos t(\cos t)\big]\,dt = \int_0^{2\pi} 1\,dt = 2\pi.

Both sides agree.

\boxed{\oint_C \mathbf{F}\cdot d\mathbf{r} = 2\pi \quad (\text{dimensionless})}

ExampleArea of an Ellipse via the Boundary

Given: the ellipse $\dfrac{x^2}{a^2} + \dfrac{y^2}{b^2} = 1$ with $a = 3$ , $b = 2$ . Find its area using only the boundary.

Step 1 — Parametrize: $x = a\cos t = 3\cos t$ , $y = b\sin t = 2\sin t$ , $t \in [0,2\pi]$ , counterclockwise. Then

dx = -3\sin t\,dt, \qquad dy = 2\cos t\,dt.

Step 2 — Apply the area formula [3]:

\operatorname{Area} = \frac{1}{2}\oint_C (x\,dy - y\,dx) = \frac{1}{2}\int_0^{2\pi}\Big[ (3\cos t)(2\cos t) - (2\sin t)(-3\sin t)\Big]dt.

Step 3 — Simplify the integrand:

= \frac{1}{2}\int_0^{2\pi} \big(6\cos^2 t + 6\sin^2 t\big)\,dt = \frac{1}{2}\int_0^{2\pi} 6\,dt = \frac{1}{2}(6)(2\pi) = 6\pi.

This matches the known formula $\pi a b = \pi(3)(2) = 6\pi$ .

\boxed{\operatorname{Area} = 6\pi \approx 18.85 \ \text{square units}}

CounterexampleThe Vortex Field — Singularity Inside

Consider $\mathbf{F} = \left( \dfrac{-y}{x^2+y^2},\ \dfrac{x}{x^2+y^2} \right)$ . A direct computation gives $Q_x - P_y = 0$ everywhere the field is defined. One might conclude $\oint_C \mathbf{F}\cdot d\mathbf{r} = \iint_D 0\,dA = 0$ for the unit circle. But the actual integral equals $2\pi$ , not $0$ . The resolution: $\mathbf{F}$ is undefined at the origin, which lies inside $C$ , so the continuity hypothesis fails and Green's Theorem does not apply. To handle this, excise a small disk around the origin and apply the theorem to the resulting annulus, where it does hold — revealing the $2\pi$ "topological charge" of the singularity.

⚠️ Green ≠ Path Independence

Vanishing curl ( $Q_x - P_y = 0$ ) implies path independence only on a simply connected domain. The vortex field above has zero curl yet is not conservative on the punctured plane. The hole in the domain — not the curl alone — controls conservativity. This subtlety is the seed of De Rham Cohomology.

connection · Where Green's Theorem Sits

Green's Theorem is the planar special case of Stokes' Theorem: take a flat surface in the $xy$ -plane and Stokes reduces exactly to equation [1]. Its flux form [2] is the two-dimensional Divergence Theorem (Gauss's Theorem). All three are instances of the Generalized Stokes' Theorem $\int_{\partial \Omega}\omega = \int_\Omega d\omega$ on differential forms, where the curl/divergence appear as the exterior derivative. The conservative-field criterion it sharpens connects to Conservative Vector Fields and Potential Functions, and the singularity analysis links to the Cauchy Integral Theorem in complex analysis, where $\oint f\,dz$ around a pole is the same $2\pi i$ phenomenon.

🔬 Concrete Uses

⏳ History

- 1825 — Augustin-Louis Cauchy proves the closely related contour-integral result in complex analysis (the Cauchy integral theorem), an analytic cousin of Green's identity.

- 1828 — George Green privately publishes his Essay on...Electricity and Magnetism in Nottingham, containing Green's identities; only ~51 subscribers.

- 1831 — Mikhail Ostrogradsky proves the divergence theorem in

n

dimensions, providing the flux-form context.

- 1841 — George Green dies, largely unrecognized by the broader mathematical community.

- 1846 — William Thomson (Lord Kelvin) rediscovers Green's essay and arranges its republication in Crelle's Journal (1850–54), spreading its influence.

- 1851 — Bernhard Riemann employs the planar formula extensively in his work on complex function theory and conformal mapping.

- 1854 — George Gabriel Stokes poses what becomes Stokes' Theorem as a Cambridge exam problem; the generalization of Green's result to curved surfaces takes shape.

- 1899 — Henri Poincaré and later Élie Cartan develop the calculus of differential forms, unifying Green, Stokes, and Gauss into the generalized Stokes' Theorem.

- 1930s — The modern rigorous treatment, including precise regularity hypotheses (rectifiable Jordan curves, the Jordan Curve Theorem), is consolidated in textbooks.

open-problem · Sharpening the Hypotheses

The "obvious" statement hides delicate analysis. For an arbitrary simple closed curve (a Jordan curve) that is merely continuous and rectifiable — possibly highly irregular, even of fractal-like roughness — proving that it bounds a well-defined interior requires the Jordan Curve Theorem, and extending Green's Theorem to such boundaries requires care (e.g. via the Gauss–Green theorem for sets of finite perimeter and BV functions). For domains with non-smooth or fractal boundaries, the right framework is geometric measure theory, where the boundary integral is replaced by integration against the reduced boundary and the outward normal exists only in a measure-theoretic sense. Even the question of which $P, Q$ (beyond continuously differentiable) make [1] valid leads into Sobolev spaces and the theory of distributional derivatives — active territory at the boundary of analysis and geometry.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also