Calculus III 15.04 Green’s Theorem
Previous | Calculus III 15.03 Conservative Vector Fields and Independent Path |
Next | Calculus III 15.05 Parametric Surfaces |
Contents
15.04 Green's Theorem[1]
- Use Green’s Theorem to evaluate a line integral.
- Green's Theorem variants.
Green's Theorem
|
Green's Theorem named after the English mathematician George Green (1793–1841).[2] This theorem states that the value for a double integral over a simply connected plane region \(R\) is determined by the value for a line integral around \(R\)'s boundary. A curve \(C\) given by \(\textbf{r} = x(t)\textbf{i}+y(t)\textbf{j}\), where \(a \leqslant t \leqslant b\), is simple when it does not cross itself -- that is, \(\textbf{r}(c) \ne \textbf{r}(d)\) for all \(c\) and \(d\) in the open interval \((a,b)\). A connected plane region \(R\) is simply connected when every simple closed curve in \(R\) encloses only points that are in \(R\), as shown in Figure 15.4.1. Informally, a simply connected region is coterminous with no separate parts or holes. |
Theorem 15.4.1 Green's Theorem
|
Let \(R\) be a simply connected region with a piecewise smooth boundary \(C\), oriented counterclockwise, \(C\) is traversed once so that the region \(R\) always lies to the left. If \(M\) and \(N\) have continuous first partial derivatives in an open region containing then \(R\), then
Proof This proof applies to a region that is both vertically and horizontally simple, as shown in Figure 15.4.2.
The \(\partial M\) produces
Consequently,
The same method will show that
Adding both equals the theorem's concluding statement. |
An integral sign with a circle is sometimes used to indicate a line integral around a simple closed curve, as shown below. To indicate the boundary orientation, an arrow can be used. For instance, in the second integral, the arrow indicates the boundary is oriented clockwise. The third integral indicates the boundary is oriented counterclockwise.
- $$ \textbf{1. } \oint_{C} M \:dx + N \: dy \:\:\:\: \textbf{2. } \rlap{\mkern5.5mu\circlearrowright}\int_{C} M \:dx + N \: dy \:\:\:\: \textbf{3. } \rlap{\mkern5.5mu\circlearrowleft}\int_{C} M \:dx + N \: dy $$
Example 15.4.1 Using Green's Theorem
|
Use Green’s Theorem to evaluate the line integral
where \(C\) is the path from \((0,0)\) to \((1,1)\) along the graph for \(y=x^{3}\) and from \((1,1)\) to \((0,0)\) along the graph for \(y=x\), as shown in Figure 15.4.3.
Applying Green's Theorem produces
|
Green’s Theorem cannot be applied to every line integral. Among other restrictions stated in Theorem 15.4.1, the curve must be simple and closed. When Green’s Theorem does apply, however, it can save time. To see this, try using the techniques described in Section 15.2 to evaluate the line integral in Example 15.4.1. To do this, you would need to write the line integral as
$$\int_{C} y^{3} \: dx + (x^{3}+3xy^{2}) \: dy$$ | $$=\int_{C_{1}} y^{3} \: dx + (x^{3}+3xy^{2}) \: dy + \int_{C_{2}} y^{3} \: dx + (x^{3}+3xy^{2}) \: dy$$ |
where \(C_{1}\) is the cubic path given by
- \(\textbf{r}(t)=t\textbf{i}+t^{3}\textbf{j}\)
from \(t=0\) to \(t=1\), and \(C_{2}\) is the line segment given by
- \(\textbf{r}(t)=(1-t)\textbf{i}+(1-t)\textbf{j}\)
from \(t=0\) to \(t=1\).
Example 15.4.2 Using Green's Theorem to Calculate Work
|
While subject to the force
a particle travels once around the circle with radius 3, as shown in Figure 15.4.4. Use Green's Theorem to find the work done by \(\textbf{F}\).
In polar coordinates, using \(x=\cos \theta\) and \(dA=r \:dr \: d\theta\), the work done is
|
When evaluating line integrals over closed curves, remember that for conservative vector fields the value for the line integral is zero. This is easily seen from Green’s Theorem:
- $$\int_{C} M \: dx + N \: dy = \int_{R} \int \left( \frac{\partial N}{\partial x} - \frac{\partial M}{\partial y}\right) \: dA = 0.$$
Example 15.4.3 Using Green's Theorem and Conservative Vector Fields
|
Evaluate the line integral
where \(C\) is the path shown in Figure 15.4.5.
This means the vector field \(\textbf{F}=M\textbf{i}+N\textbf{j}\) is conservative. Because \(C\) is closed the conclusion is
|
Example 15.4.4 Using Green's Theorem in Polar Coordinates
|
Evaluate
where \(C\) is the path enclosing the annular region shown in Figure 15.4.6.
Applying Green's Theorem produces
|
Theorem 15.4.2 Line Integral for Area
If \(R\) is a plane region bounded by a piecewise smooth simple closed curve \(C\), oriented counterclockwise, then \(R\)'s area is given by
- $$A=\frac{1}{2} \int_{C} x \: dy - y \: dx.$$
Proof Let
- $$M=-\frac{y}{2} \text{ and } N=\frac{x}{2},$$
applying Green's Theorem produces,
$$ \int_{C} M \: dx + N \: dy$$ | $$= \int_{R} \int \left( \frac{\partial N}{\partial x} - \frac{\partial M}{\partial y} \right) \:dA $$ |
$$= \int_{R} \int 1 \: dA$$ | |
= area for region \(R\). |
Example 15.4.5 Finding Area by a Line Integral
|
Use a line integral to find the area for the ellipse
as shown in Figure 15.4.7.
|
Example 15.4.6 Green’s Theorem Extended to a Region with a Hole
|
Let \(R\) be the region inside the ellipse
and outside the circle \(x^{2}+y^{2}=1\). Evaluate the line integral
where \(C=C_{1} +C_{2}\) is the boundary for \(R\), as shown in Figure 15.4.8.
|
The Theorem 15.1.1 proof was for one direction. Green's Theorem can be used to prove it for the other direction. Let \(\textbf{F}(x,y)= M \textbf{i} + N\textbf{j}\) be defined on an open disk \(R\). Show that if \(M\) and \(N\) have continuous first partial derivatives and \(\frac{\partial M}{\partial y} =\frac{\partial N}{\partial x}\), then \(\textbf{F}\) is conservative. Let \(C\) be a closed path forming the boundary for a connected region lying in \(R\). Then, using the fact that \(\frac{\partial M}{\partial y} =\frac{\partial N}{\partial x}\), apply Green's Theorem to conclude that
- $$\int_{C} \textbf{F} \cdot \: d\textbf{r}=\int_{C} M \: dx + N \: dy = \int_{R} \int \left(\frac{\partial N}{\partial x}- \frac{\partial M}{\partial y} \right)\:dA=0.$$
This is equivalent to showning that \(\textbf{F} \) is conservative in Theorem 15.3.3.
Green's Theorem Variants
|
A vector field \( \textbf{F}\) in the plane can be expressed as
so that the curl for \( \textbf{F}\), as described in Section 15.1, is given by
Consequently,
With appropriate conditions on \(\textbf{F}\), \(C\), and \(R\), the vector form for Green's Theorem is
Applying this variant to vectors in three-dimensions produces Stoke's Theorem, which is discussed in Section 15.8. |
The outward unit normal vector \(\textbf{N}\) assumes the same conditions for \(\textbf{F}\), \(C\), and \(R\). Using the arc length parameter \(s\) for \(C\),
- \(\textbf{r}=x(s)\textbf{i}+y(s)\textbf{j}\).
A unit tangent vector \(\textbf{T}\) to curve \(C\) is given by
- \(\textbf{r}^{\prime}(s)=x^{\prime}(s)\textbf{i}+y^{\prime}(s)\textbf{j}\).
Then \(\textbf{N}\) can be expressed as
- \(\textbf{N}=y^{\prime}(s)\textbf{i}+x^{\prime}(s)\textbf{j}.\)
Applying Green's Theorem to
- \(\textbf{F}(x,y)=M\textbf{i}+N\textbf{j},\)
produces
$$\int_{C} \textbf{F} \cdot \textbf{N} \:ds $$ | $$=\int_{a}^{b} (M\textbf{i}+N\textbf{j}) \cdot (y^{\prime}(s)\textbf{i}+x^{\prime}(s)\textbf{j}) \: ds $$ | |
$$= \int_{a}^{b} \left(M \frac{dy}{ds}-N \frac{dx}{ds} \right) \: ds$$ | ||
$$= \int_{C} M \: dy - N \: dx $$ | ||
$$= \int_{C} -N \: dx + M \: dy$$ | ||
$$= \int_{R} \int \left( \frac{\partial M}{\partial x} + \frac{\partial N}{\partial y}\right) \: dA$$ | Green's Theorem | |
$$=\int_{R} \int \text{div }\textbf{F} \: dA. $$ | Outward normal unit vector variant |
The Divergence Theorem extends this to three-dimensions and is discussed in Section 15.7 and Section 15.8.
Internal Links
Parent Article: Calculus III 15 Vector Analysis