Green’s Theorem

1 Green’s Theorem

Let \(F (x,y) \) be a planar vector field, and \(p\) a point in the domain of \(F\). Let \(C\subset \mathbb {R}^2 \) be a very small circle around \(p\), positively oriented (counterclockwise). Then the integral

\[ \int _C F \cdot d \gamma \]

measures how much counterclockwise rotation around \(p\) is generated by \(F\). It turns out we have another quantity that measures precisely that:

\[ \text {curl}(F)(p) . \]

Overall, if we have a region \(D\) with boundary \(\partial D\) oriented positively, the two integrals

\begin{gather*} \int _{\partial D} F \cdot d \gamma \\ \iint _{D} \text {curl}(F) \, dA \end{gather*}

measure the overall amount of counterclockwise rotation generated by \(F\) in the region \(D\). Green’s Theorem states that they agree.

Let \(C\subset \mathbb {R}^2\) be the curve that travels along straight lines from \((-3,0)\) to \((2,0)\), then from \((2,0) \) to \((0,4)\), and then from \((0,4)\) back to \((-3,0)\). Compute
\[ \int _C \langle 2y + x^2 \cos x - 5 , y^2e^y - 3x \rangle \cdot d \gamma \]

Applying Green’s Theorem, the integral above coincides with the integral

\[ \iint _D \text {curl}(F) \, dA \]

where \(F = \langle 2y + x^2 \cos x - 5 , y^2e^y - 3x \rangle \) and \(D\) is the interior of the triangle. So we compute

\[ \text {curl}F = \frac {\partial Q}{\partial x} - \frac {\partial P}{\partial y} = -3 - 2 = -5 \]

Then the integral becomes

\[ \iint _D \text {curl}(F) \, dA = - 5\cdot \text {Area}(D ) = -50 \]
Let \(C\subset \mathbb {R}^2 \) be the ellipse \((x- 3) ^2 + 4 (y-2) ^2 = 16 \) oriented clockwise. Compute
\[ \int _C \langle 3x^2 + 5x^2 - 2y + 1 ,3xy - e^y \rangle \cdot d \gamma \]

Let \(D\) be the interior of the ellipse, and \(F = \langle 3x^2 + 5x^2 - 2y + 1 ,3xy - e^y \rangle \). Then

\[ \text {curl} (F) = \frac {\partial Q}{\partial x} - \frac {\partial P}{\partial y} = 3y - 2 \]

By Green’s Theorem, we have

\[ \int _C \langle 3x^2 + 5x^2 - 2y + 1 ,3xy - e^y \rangle \cdot d \gamma = - \iint _D (3y - 2) \, dA \]

(the minus sign appeared because the curve is oriented clockwise). Since the average \(y\)-coordinate of \(D\) is \(2\), we have

\[ \iint _D y = 2 \cdot \text {Area}(D) \]

Consequently,

\[ \iint _D (3y - 2) \, dA = (6-2)\cdot \text {Area}(D) = 4 \cdot \text {Area}(D) \]

The area of the ellipse is

\[ \text {Area}(D) = \pi \cdot 4 \cdot 2 = 8 \pi \]

so we conclude

\[ \int _C \langle 3x^2 + 5x^2 - 2y + 1 ,3xy - e^y \rangle \cdot d \gamma = - 32 \pi \]

This is immediate from Green’s Theorem because

\begin{align*} \text {curl}(\langle 0,x \rangle ) & = 1 \\ \text {curl} (\langle y,0 \rangle ) & = -1 \end{align*}

Hence

\begin{align*} \text {Area}(D) & = \iint _D 1 \, dA \\ & = \iint _D \text {curl}(\langle 0,x \rangle ) \, dA \\ & = \int _{\partial D } \langle 0,x \rangle \cdot d \gamma \end{align*}
\begin{align*} \text {Area}(D) & = \iint _D 1 \, dA \\ & = - \iint _D \text {curl}(\langle y , 0 \rangle ) \, dA \\ & = - \int _{\partial D } \langle y , 0 \rangle \cdot d \gamma \end{align*}