Green's Theorem

Green's Theorem connects line integrals around closed curves to double integrals over enclosed regions, revealing boundary-interior duality.
States: ∮_C (P dx + Q dy) = ∬_D (∂Q/∂x - ∂P/∂y) dA for vector field F = (P, Q).
Converts difficult line integrals into simpler double integrals and vice versa, with major applications in fluid dynamics and electromagnetism.
Shows that microscopic rotation (curl) throughout a region equals macroscopic circulation around its boundary.
Special case of Stokes' Theorem, unifying key vector calculus results into a single framework.
Published by George Green in 1828; demonstrates how local properties (derivatives) determine global properties (integrals).

Green's Theorem

Overview

Green's Theorem is a fundamental result in vector calculus that establishes a profound relationship between a line integral around a closed curve and a double integral over the region it encloses. Named after British mathematician George Green, this theorem reveals that the circulation of a vector field around a boundary is completely determined by the behavior of the field throughout the interior region. This connection between boundary and interior is one of the most beautiful and useful patterns in mathematics.

The theorem has far-reaching practical applications in physics and engineering, particularly in fluid dynamics, electromagnetism, and the calculation of areas and work done by force fields. It allows difficult line integrals to be converted into often-simpler double integrals, and vice versa. More profoundly, Green's Theorem is a special case of the more general Stokes' Theorem, which unifies several major results in vector calculus into a single framework.

Historically, Green's Theorem emerged in the early 19th century during the development of potential theory and the mathematical foundations of electricity and magnetism. George Green published this result in 1828 in an essay on electricity and magnetism that went largely unnoticed until after his death. The theorem exemplifies the power of differential and integral calculus working together, showing that local properties (expressed by derivatives) determine global properties (expressed by integrals).

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.

Green's Theorem: Let

D

be a closed, bounded region in

R^{2}

whose boundary

\partial D

(denoted

C

) is a piecewise smooth, simple closed curve, oriented counterclockwise. Let

F (x, y) = P (x, y) i + Q (x, y) j

be a vector field where

P

and

Q

have continuous partial derivatives on an open region containing

D

. Then:

\oint_{C} P d x + Q d y = \iint_{D} (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}) d A

Equivalently, using vector notation:

\oint_{C} F \cdot d r = \iint_{D} (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}) d A

Core Theory

Main Result

Theorem [Green's Theorem]: Let

D \subset 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 R

be continuously differentiable functions on an open set

U

containing

D

. Then:

\oint_{C} P d x + Q d y = \iint_{D} (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}) d A

Theorem [Circulation-Curl Form]: For a vector field

F = P i + Q j

\oint_{C} F \cdot d r = \iint_{D} (curl F) \cdot k d A

where

curl F = (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}) k

is the scalar curl in two dimensions. Theorem [Flux-Divergence Form]: For a vector field

F = P i + Q j

\oint_{C} F \cdot n d s = \iint_{D} (\frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y}) d A

where

n

is the outward unit normal to

C

and the right side is the divergence of

F

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} d A$ .

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} d A = \int_{a}^{b} \int_{g_{1} (x)}^{g_{2} (x)} - \frac{\partial P}{\partial y} d y d x

Using the Fundamental Theorem of Calculus on the inner integral:

= \int_{a}^{b} [- P (x, g_{2} (x)) + P (x, g_{1} (x))] d x

= \int_{a}^{b} P (x, g_{1} (x)) d x - \int_{a}^{b} P (x, g_{2} (x)) d x

Step 2: Now consider the line integral

\oint_{C} P d x

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 d x = \int_{a}^{b} P (x, g_{1} (x)) d x

Along $C_{3}$ : $y = g_{2} (x)$ , $x$ goes from $b$ to $a$ , so:

\int_{C_{3}} P d x = \int_{b}^{a} P (x, g_{2} (x)) d x = - \int_{a}^{b} P (x, g_{2} (x)) d x

Along the vertical edges $C_{2}$ and $C_{4}$ : $d x = 0$ , so these contribute nothing to $\int P d x$ .

Therefore:

\oint_{C} P d x = \int_{a}^{b} P (x, g_{1} (x)) d x - \int_{a}^{b} P (x, g_{2} (x)) d x

Step 3: Comparing Steps 1 and 2:

\oint_{C} P d x = \iint_{D} - \frac{\partial P}{\partial y} d A

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 d y = \iint_{D} \frac{\partial Q}{\partial x} d A

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

\oint_{C} P d x + Q d y = \iint_{D} (\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}) d A

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 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

Q

are not continuously differentiable throughout

D

—singularities inside

D

invalidate the result. 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.

Examples and Applications

1

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 d A$ . 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 d A = \oint_{C} x d y

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

A = \oint_{C} x d y = \int_{0}^{2 π} (a cos t) (b cos t) d t = ab \int_{0}^{2 π} cos^{2} t d t

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

A = ab \int_{0}^{2 π} \frac{1 + cos 2 t}{2} d t = ab [\frac{t}{2} + \frac{sin 2 t}{4}]_{0}^{2 π} = ab \cdot π = π 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 d y - y d x)$ .

2

Verifying Green's Theorem Directly

Let $F = (x^{2} - y) i + (x + y^{2}) 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 d A = 2 \cdot Area (D) = 2 \cdot \frac{1}{2} (2) (2) = 4

Now compute the line integral $\oint_{C} F \cdot d r = \oint_{C} (x^{2} - y) d x + (x + y^{2}) d y$ .

Segment 1: From

(0, 0)

(2, 0)

y = 0

d y = 0

x : 0 \to 2

\int_{C_{1}} = \int_{0}^{2} x^{2} d x = \frac{8}{3}

Segment 2: From

(2, 0)

(2, 2)

x = 2

d x = 0

y : 0 \to 2

\int_{C_{2}} = \int_{0}^{2} (2 + y^{2}) d y = [2 y + \frac{y ^{3}}{3}]_{0}^{2} = 4 + \frac{8}{3} = \frac{20}{3}

Segment 3: From

(2, 2)

(0, 0)

: Along

y = x

, so

d y = d x

x : 2 \to 0

\int_{C_{3}} = \int_{2}^{0} [(x^{2} - x) + (x + x^{2})] d x = \int_{2}^{0} (2 x^{2}) d x = - \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.

Region with a Hole

Consider $F = \frac{- y}{x ^{2} + y ^{2}} i + \frac{x}{x ^{2} + y ^{2}} 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 d A = 0$ .

However, if we only integrate around the outer boundary $C_{outer}$ (radius 2, counterclockwise):

\oint_{C_{outer}} F \cdot d r = 2 π \neq = 0

What went wrong? The field

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 π - 2 π = 0

, consistent with the zero curl. Physical Intuition: Imagine a fluid flowing in the plane. The line integral

\oint_{C} F \cdot d 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}) d A

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.

Historical Development

George Green published his essay "An Essay on the Application of Mathematical Analysis to the Theories of Electricity and Magnetism" in 1828, while working as a miller in Nottingham, England. The essay was privately published and distributed to only about 50 subscribers, mostly personal contacts. Green's Theorem appeared in this work as a tool for solving problems in potential theory.

After Green's death in 1841, Lord Kelvin (William Thomson) discovered Green's essay in 1845 and recognized its significance. Kelvin promoted Green's work, and it became foundational to the mathematical theory of electricity and magnetism. The theorem was independently discovered and used by others, including Augustin-Louis Cauchy and Bernhard Riemann in the context of complex analysis, where it relates closely to Cauchy's Integral Theorem.

The modern vector calculus formulation emerged in the late 19th century through the work of Josiah Willard Gibbs and Oliver Heaviside, who developed vector notation and systematized the relationships between line integrals, surface integrals, and volume integrals. Green's Theorem was recognized as a special two-dimensional case of the more general Stokes' Theorem, which itself is a special case of the Generalized Stokes' Theorem in differential geometry.

Connections to Other Areas

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) + i v (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) d z = 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

Green's Theorem

Overview

Core Theory

Main Result

Examples and Applications

1

2

Historical Development

Connections to Other Areas

What You Need First

What This Opens Up

See Also

Before this

Where this leads