Green's Theorem

💡 The Core Insight

Green's Theorem states that the total "microscopic rotation" of a vector field throughout a region (measured by a double integral of the curl) equals the "macroscopic circulation" around its boundary (measured by a line integral). This boundary-interior duality is fundamental to understanding how local and global properties relate in calculus.

Definition

Green's Theorem: Let $D$ be a closed, bounded region in $\mathbb{R}^2$ whose boundary $\partial D$ (denoted $C$ ) is a piecewise smooth, simple closed curve, oriented counterclockwise. Let $\mathbf{F}(x,y) = P(x,y)\mathbf{i} + Q(x,y)\mathbf{j}$ be a vector field where $P$ and $Q$ have continuous partial derivatives on an open region containing $D$ . Then:

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

Equivalently, using vector notation:

\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA

TheoremMain Result

Theorem [Green's Theorem]: Let $D \subset \mathbb{R}^2$ be a closed, bounded region whose boundary $C = \partial D$ consists of finitely many piecewise smooth, simple closed curves oriented so that $D$ is always on the left as one traverses $C$ . Let $P, Q: U \to \mathbb{R}$ be continuously differentiable functions on an open set $U$ containing $D$ . Then:

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

Theorem [Circulation-Curl Form]: For a vector field $\mathbf{F} = P\mathbf{i} + Q\mathbf{j}$ :

\oint_C \mathbf{F} \cdot d\mathbf{r} = \iint_D \left(\text{curl}\,\mathbf{F}\right) \cdot \mathbf{k}\,dA

where $\text{curl}\,\mathbf{F} = \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)\mathbf{k}$ is the scalar curl in two dimensions.

Theorem [Flux-Divergence Form]: For a vector field $\mathbf{F} = P\mathbf{i} + Q\mathbf{j}$ :

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

where $\mathbf{n}$ is the outward unit normal to $C$ and the right side is the divergence of $\mathbf{F}$ .

Proof

We prove Green's Theorem for the case where $D$ is a simple region that is both vertically simple and horizontally simple (more general regions follow by decomposition).

Step 1: We prove the result separately for the two terms and then combine them. First, consider $\iint_D -\frac{\partial P}{\partial y}\,dA$ . Assume $D$ can be described as: $D = \{(x,y) : a \leq x \leq b, g_1(x) \leq y \leq g_2(x)\}$ where $g_1, g_2$ are continuous functions with $g_1(x) \leq g_2(x)$ . Then:

\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

Using the Fundamental Theorem of Calculus on the inner integral:

= \int_a^b \left[-P(x, g_2(x)) + P(x, g_1(x))\right] dx

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

Step 2: Now consider the line integral $\oint_C P\,dx$ . The boundary $C$ consists of four parts:

$C_1$ : bottom curve from $(a, g_1(a))$ to $(b, g_1(b))$ along $y = g_1(x)$
$C_2$ : right edge (if any)
$C_3$ : top curve from $(b, g_2(b))$ to $(a, g_2(a))$ along $y = g_2(x)$
$C_4$ : left edge (if any)

Along $C_1$ : $y = g_1(x)$ , $x$ goes from $a$ to $b$ , so:

\int_{C_1} P\,dx = \int_a^b P(x, g_1(x))\,dx

Along $C_3$ : $y = g_2(x)$ , $x$ goes from $b$ to $a$ , so:

\int_{C_3} P\,dx = \int_b^a P(x, g_2(x))\,dx = -\int_a^b P(x, g_2(x))\,dx

Along the vertical edges $C_2$ and $C_4$ : $dx = 0$ , so these contribute nothing to $\int P\,dx$ . Therefore:

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

Step 3: Comparing Steps 1 and 2:

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

Step 4: Similarly, treating $D$ as horizontally simple ( $D = \{(x,y) : c \leq y \leq d, h_1(y) \leq x \leq h_2(y)\}$ ), we can show:

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

Step 5: Adding the results from Steps 3 and 4:

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

For more general regions, we decompose $D$ into finitely many simple regions. The line integrals along interior boundaries cancel (traversed in opposite directions), leaving only the outer boundary. □

∎

⚠️ Common mistake

Common Error: Green's Theorem requires the region $D$ to be simply connected (no holes). If $D$ has holes, you must account for all boundary components, with inner boundaries oriented clockwise (keeping $D$ on the left). Many students forget to reverse orientation for holes, leading to incorrect signs. Additionally, the theorem fails if $P$ or $Q$ are not continuously differentiable throughout $D$ —singularities inside $D$ invalidate the result.

mathematician

George Green (1793-1841) — Self-taught English mathematician and physicist who introduced Green's Theorem in his 1828 essay on electricity and magnetism, establishing foundational techniques for potential theory that would later influence Maxwell's formulation of electromagnetism.

visualization

Example1

Computing Area Using Green's Theorem Use Green's Theorem to find the area enclosed by the ellipse $\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$ .

Solution: The area of region $D$ can be computed as $A = \iint_D 1\,dA$ . We need to find $P$ and $Q$ such that $\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = 1$ . One simple choice is $P = 0$ and $Q = x$ , giving:

A = \iint_D 1\,dA = \oint_C x\,dy

Parameterize the ellipse by $x = a\cos t$ , $y = b\sin t$ for $0 \leq t \leq 2\pi$ . Then $dy = b\cos t\,dt$ .

A = \oint_C x\,dy = \int_0^{2\pi} (a\cos t)(b\cos t)\,dt = ab\int_0^{2\pi} \cos^2 t\,dt

Using the identity $\cos^2 t = \frac{1 + \cos 2t}{2}$ :

A = ab\int_0^{2\pi} \frac{1 + \cos 2t}{2}\,dt = ab\left[\frac{t}{2} + \frac{\sin 2t}{4}\right]_0^{2\pi} = ab \cdot \pi = \pi ab

This recovers the classical formula for the area of an ellipse! Note: Another choice is $P = -\frac{y}{2}$ , $Q = \frac{x}{2}$ , giving $A = \frac{1}{2}\oint_C (x\,dy - y\,dx)$ .

Example2

Verifying Green's Theorem Directly Let $\mathbf{F} = (x^2 - y)\mathbf{i} + (x + y^2)\mathbf{j}$ , and let $C$ be the triangle with vertices $(0,0)$ , $(2,0)$ , $(2,2)$ , oriented counterclockwise. Verify Green's Theorem.

Solution: First, compute the double integral. Here $P = x^2 - y$ and $Q = x + y^2$ , so:

\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = 1 - (-1) = 2

The region $D$ is: $\{(x,y) : 0 \leq x \leq 2, 0 \leq y \leq x\}$ .

\iint_D 2\,dA = 2 \cdot \text{Area}(D) = 2 \cdot \frac{1}{2}(2)(2) = 4

Now compute the line integral $\oint_C \mathbf{F} \cdot d\mathbf{r} = \oint_C (x^2 - y)\,dx + (x + y^2)\,dy$ .

Segment 1: From $(0,0)$ to $(2,0)$ : $y = 0$ , $dy = 0$ , $x: 0 \to 2$ .

\int_{C_1} = \int_0^2 x^2\,dx = \frac{8}{3}

Segment 2: From $(2,0)$ to $(2,2)$ : $x = 2$ , $dx = 0$ , $y: 0 \to 2$ .

\int_{C_2} = \int_0^2 (2 + y^2)\,dy = \left[2y + \frac{y^3}{3}\right]_0^2 = 4 + \frac{8}{3} = \frac{20}{3}

Segment 3: From $(2,2)$ to $(0,0)$ : Along $y = x$ , so $dy = dx$ , $x: 2 \to 0$ .

\int_{C_3} = \int_2^0 [(x^2 - x) + (x + x^2)]\,dx = \int_2^0 (2x^2)\,dx = -\frac{16}{3}

Total: $\oint_C = \frac{8}{3} + \frac{20}{3} - \frac{16}{3} = \frac{12}{3} = 4$ ✓ The line integral equals the double integral, verifying Green's Theorem.

Counterexample

Region with a Hole Consider $\mathbf{F} = \frac{-y}{x^2+y^2}\mathbf{i} + \frac{x}{x^2+y^2}\mathbf{j}$ and the annular region $D = \{(x,y) : 1 \leq x^2 + y^2 \leq 4\}$ . Computing the curl:

\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = \frac{y^2 - x^2}{(x^2+y^2)^2} - \frac{x^2 - y^2}{(x^2+y^2)^2} = 0

So $\iint_D 0\,dA = 0$ . However, if we only integrate around the outer boundary $C_{\text{outer}}$ (radius 2, counterclockwise):

\oint_{C_{\text{outer}}} \mathbf{F} \cdot d\mathbf{r} = 2\pi \neq 0

What went wrong? The field $\mathbf{F}$ has a singularity at the origin, which lies inside the annulus. Green's Theorem requires $P$ and $Q$ to be continuously differentiable throughout $D$ . When properly applied with both boundaries (outer counterclockwise, inner clockwise), we get $2\pi - 2\pi = 0$ , consistent with the zero curl.

🧠 Intuition

Physical Intuition: Imagine a fluid flowing in the plane. The line integral $\oint_C \mathbf{F} \cdot d\mathbf{r}$ measures the total circulation—how much the fluid "swirls around" the boundary. The double integral $\iint_D (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y})\,dA$ measures the accumulated "microscopic rotation" (vorticity) at each point inside. Green's Theorem says: the total spinning around the boundary equals the sum of all the tiny rotations inside. If you have a paddlewheel at each point in $D$ , the net circulation around the edge equals the total of all the paddlewheel rotations throughout the region.

Geometric Picture: Think of Green's Theorem as a "conservation law" for circulation. The boundary captures all the rotation happening in the interior. This is why, for a conservative vector field (where $\frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}$ ), the circulation around any closed curve is zero—there's no net rotation anywhere inside.

connection

Complex Analysis and Cauchy's Theorem: Green's Theorem provides a real-variable proof of Cauchy's Integral Theorem in complex analysis. For a holomorphic function $f(z) = u(x,y) + iv(x,y)$ , the Cauchy-Riemann equations $\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$ and $\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$ imply that $\frac{\partial v}{\partial x} - \frac{\partial (-u)}{\partial y} = 0$ . Applying Green's Theorem with $P = -u$ and $Q = v$ shows $\oint_C f(z)\,dz = 0$ for any closed contour in a simply connected domain where $f$ is holomorphic. This deep connection reveals that holomorphicity is fundamentally about "zero curl" in a complex sense.

Green's Theorem

Overview

Core Theory

Examples and Applications

Historical Development

Connections to Other Areas

What You Need First

What This Opens Up

See Also