Green’s Theorem

Section 12.8 Green’s Theorem

Motivating Questions

How can we calculate the circulation of a two-dimensional vector field $F$ around a closed curve when $F$ is not path-independent?
What is the meaning of the double integral of the circulation density of a smooth two-dimensional vector field on a region $R$ bounded by a closed curve that does not intersect itself?

We know from Section 12.4 that a vector field is path-independent if and only if the circulation around every closed curve in its domain is

0 .

It is probably not surprising that, given the multitude of names we have for path-independent vector fields, they are important vector fields that arise frequently. However, not every vector field is path-independent, and many times we will want to calculate the circulation around a closed curve in a vector field that is not path-independent. This section explores a connection between line integrals and double integrals that you may find surprising. It will be the first of three major theorems that connect types of integrals that seem very different on the surface.

🔗

Preview Activity 12.8.1.

We will consider the vector field

F = ⟨ 2 y, 3 x^{2} y ⟩,

which is defined on the entire

x y

-plane. Suppose that we want to calculate the circulation of

F

around the circle

C

of radius

2,

centered at

(0, 0),

and oriented counterclockwise.

🔗

(a)

Verify that

F

is not path-independent by calculating the circulation of

F

around the circle

C .

The SageMath cell below is set up to assist you with this, but you will need to supply a parametrization of

C

on line 4.

🔗

xxxxxxxxxx
 
var('r,t,x,y')
F = vector([2*y,3*x^2*y])
#Supply a parametrization of C on the next line inside the [ ]
C = vector([ , ])
integral(F(x=C[0],y=C[1]).dot_product(derivative(C,t)),t,0,2*pi)

🔗

(b)

Recall from Section 12.7 that if

F = ⟨ F_{1} (x, y), F_{2} (x, y) ⟩

is a vector field, then the circulation density (in 2D) is given by

🔗

Circulation Density at the point (a, b) = \frac{\partial F_{2}}{\partial x} (a, b) - \frac{\partial F_{1}}{\partial y} (a, b)

What is the circulation density of

F = ⟨ 2 y, 3 x^{2} y ⟩ ?

🔗

(c)

Sketch the curve

C

and shade the region it bounds. Describe the region bounded by

C

in both rectangular and polar coordinates.

🔗

(d)

Calculate the double integral of

\frac{\partial F_{2}}{\partial x} - \frac{\partial F_{1}}{\partial y}

over the region inside the circle

C .

This integral is not the most fun to do by hand, so a SageMath cell has been provided to assist you.

🔗

xxxxxxxxxx
 
integral(integral( FUNCTION HERE , var1, start, stop), var2, start, stop)

Hint.

If you choose polar coordinates, use

θ

for the first variable and

r

for the second variable.

🔗

(e)

What do you notice about your results to parts (a) and (d)? Do you think this will happen in general? Write a sentence or two about what you think is happening here.

🔗

A natural question after completing the Preview Activity is if there is something special about the vector field

F

or the curve

C

that led to the results you obtained, and investigating this will be our principal task in this section.

🔗

Subsection 12.8.1 Circulation

In Preview Activity 12.8.1, you integrated the circulation density of a smooth vector field over a disk and found the result was equal to the circulation of the vector field along the region’s circular boundary. This relationship is the theme of this section. To see why this would make sense, consider the region

R

bounded by the curve

C

shown in Figure 12.8.1. We have placed a square grid inside

R

to suggest the idea of breaking

R

up into many smaller regions, most of which are square. This idea should make you think of the methods we have already seen of breaking up a region into smaller and smaller regions for Riemann sums.

🔗

A bean-shaped region in the plane that is bounded by a closed curve. The curve is oriented so that when walking along the curve, the region is always on the left. There is a square grid dividing the up the interior of the region. — Figure 12.8.1. A region bounded by a curve
🔗

The critical idea here is that if we integrate the circulation density over each of the small regions and add those up, this is the same as integrating the circulation density over the entirety of the region

R

because of the fundamental properties of integrals. Also, integrating circulation per unit area over a two-dimensional region should be related to the total circulation on that region. Now look at Figure 12.8.2 and think of these two square regions as being two of the square regions inside

R

in Figure 12.8.1.

🔗

described in detail following the image — Figure 12.8.2. A square region divided into two smaller squares
🔗

We orient the boundary

C_{i}

of square region

R_{i}

in the manner suggested by the circular arrows. This means that the vertical boundary in common between

R_{1}

and

R_{2}

is oriented up when we calculate the line integral

\oint_{C_{1}} F \cdot d r

and oriented down when we evaluate

\oint_{C_{2}} F \cdot d r .

Thus, this line segment does not contribute to the sum

\oint_{C_{1}} F \cdot d r + \oint_{C_{2}} F \cdot d r .

Therefore,

🔗

\oint_{C_{1}} F \cdot d r + \oint_{C_{2}} F \cdot d r

is equal to the line integral of

F

along the boundary of the large rectangle.

🔗

Returning to Figure 12.8.1, if we find the circulation along the boundary of each of the smaller regions, the line integrals along the boundaries that lie inside the region

R

will all offset. Thus the value should equal

\oint_{C} F \cdot d r .

If we make our grid fine enough, all of the smaller regions into which

R

is divided will be very close to rectangular.

🔗

The calculation of circulation around a nice closed curve will be the sum of the circulation over pieces that enclose the same area, regardless of the size or number of the pieces used. In other words,

🔗

\oint_{C} F \cdot d r = \sum_{R_{i}} \oint_{C_{i}} F \cdot d r

where

C_{i}

is a bounding curve for subregion

R_{i} .

We defined our circulation density as the ratio of circulation to area, so we can also subsititute the circulation around a region for the circulation density times the area of that region. Additionally, we can take the limit as our regions get smaller, since size and the number of regions does not affect the sum. Letting

Δ R_{i}

represent the area of region

R_{i}

with boundary curve

C_{i},

we have

🔗

\begin{aligned} \oint_{C} F \cdot d r & = lim_{Δ R_{i} \to 0} \sum_{R_{i}} \oint_{C_{i}} F \cdot d r \\ = lim_{Δ R_{i} \to 0} \sum_{R_{i}} (\frac{\partial F_{2}}{\partial x} - \frac{\partial F_{1}}{\partial y}) Δ R_{i} . \end{aligned}

This expression should look familiar as the Reimann sum definition for the double integral of

\frac{\partial F_{2}}{\partial x} - \frac{\partial F_{1}}{\partial y}

over the region

R .

For “nice” closed curves we can equate the circulation around the boundary (computed as a line integral) with a double integral of the circulation density over the region enclosed (computed with a double integral).

🔗

Subsection 12.8.2 Green’s Theorem

So far in this section, we have restricted ourselves to relatively nice closed curves when thinking about circulation. While the main theorem of this section will not allow us to consider arbitrary closed curves, it does cover more varied curves than we have discussed so far. A simple closed curve is a closed curve that does not cross itself, and these are the curves to which our next theorem applies.

🔗

Theorem 12.8.3. Green’s Theorem.

Let

C

be a simple closed curve in the plane that bounds a region

R

with

C

oriented in such a way that when walking along

C

in the direction of its orientation, the region

R

is on our left. Suppose that

F = ⟨ F_{1}, F_{2} ⟩

is vector field with continuous partial derivatives on the region

R

and its boundary

C .

The circulation of

F

along

C

may be calculated as

🔗

\oint_{C} F \cdot d r = \iint_{R} (\frac{\partial F_{2}}{\partial x} - \frac{\partial F_{1}}{\partial y}) d A .

🔗

At first glance, it may seem that Green’s Theorem is of purely intellectual interest. However, we have already encountered situations where parameterizing a curve can be complicated. This is particularly true when the curve has “corners” that require us to give separate parametrizations for several pieces of the curve, such as with the rectangular curve pictured in Figure 12.8.4. However, as with this rectangle, is often the case that a curve that is difficult to parametrize bounds a region that is not too complex to describe using rectangular or polar coordinates. For instance, the rectangular region in Figure 12.8.4 can be described as

1 \leq x \leq 4

and

2 \leq y \leq 4,

which is a simpler description than needing to parameterize each of the four sides of the rectangle separately. Additionally, the integrand of the double integral in Green’s Theorem involves partial derivatives that can sometimes result in an integrand that is easy to work with. The purpose of Green’s Theorem is, at its core, to allow you to exchange one type of integration problem (a line integral) for another type of integration problem (a double integral). This will be a recurring theme as this chapter continues.

🔗

Example 12.8.5.

We will verify Green’s Theorem by computing both sides of the equation separately when

F = ⟨ x^{2} - x y, y^{2} - 2 x ⟩

and

C

is the bounding curve given in Figure 12.8.4.

🔗

First, we calculate the double integral (the right hand side of the equation in Green’s Theorem). The circulation density of

F = ⟨ x^{2} - x y, y^{2} - 2 x ⟩

will be

- 2 + x,

which is continuous everywhere in the region

R .

Our iterated itegral becomes

🔗

\begin{aligned} \iint_{R} (\frac{\partial F_{2}}{\partial x} - \frac{\partial F_{1}}{\partial y}) d A & = \int_{2}^{4} \int_{1}^{4} (- 2 + x) d x d y \\ = \int_{2}^{4} {[- 2 x + x^{2} / 2]}_{x = 1}^{x = 4} d y \\ = \int_{2}^{4} \frac{3}{2} d y \\ = 3 \end{aligned}

Note how easy it is to set up and evaluate this double integral.

🔗

We will need to compute the line integral of

F

over the four segements of the bounding rectangle. We will use the following parameterizations:

🔗

\begin{aligned} r_{bottom} (t) & = ⟨ 1 + 3 t, 2 ⟩ \\ r_{right} (t) & = ⟨ 4, 2 + 2 t ⟩ \\ r_{top} (t) & = ⟨ 4 - 3 t, 4 ⟩ \\ r_{left} (t) & = ⟨ 1, 4 - 2 t ⟩ \end{aligned}

where each paramterization uses

0 \leq t \leq 1 .

These parameterizations will yeild the following line integrals:

🔗

\begin{aligned} \int_{bottom} F \cdot d r & = \int_{0}^{1} ((1 + 3 t)^{2} - (1 + 3 t) (2)) 3 d t = 6 \\ \int_{right} F \cdot d r & = \int_{0}^{1} ((2 + 2 t)^{2} - (2) (4)) 2 d t = 8 / 3 \\ \int_{top} F \cdot d r & = \int_{0}^{1} ((4 - 3 t)^{2} - (4 - 3 t) (4)) (- 3) d t = 9 \\ \int_{left} F \cdot d r & = \int_{0}^{1} ((4 - 2 t)^{2} - (2) (1)) (- 2) d t = - 44 / 3 \end{aligned}

Note that the sum of these line integrals is 3, and thus Green’s Theorem is verified for our case since

🔗

\oint_{C} F \cdot d r = 3 = \iint_{R} (\frac{\partial F_{2}}{\partial x} - \frac{\partial F_{1}}{\partial y}) d A

🔗

Activity 12.8.2.

For each of the curves described below, find the circulation of the given vector field around the curve. Do this both by calculating the line integral directly as well as by calculating the double integral from Green’s Theorem.

🔗

(a)

The curve

C_{1}

is the circle of radius

3

centered at the point

(2, 1)

(oriented counterclockwise) and the vector field is

F = ⟨ y^{2}, 5 x + 2 x y ⟩ .

🔗

(b)

The curve

C_{2}

is the triangle with vertices

(0, 0),

(3, 0),

and

(3, 3)

(oriented counterclockwise) and the vector field is

G = ⟨ y^{2}, 3 x y ⟩ .

🔗

Generally, Green’s Theorem is useful for allowing us to calculate line integrals by instead calculating a double integral. Going the other direction is harder, since finding a vector field

⟨ F_{1}, F_{2} ⟩

so that

\partial F_{2} / \partial x - \partial F_{1} / \partial y

is equal to the integrand in the double integral can be difficult. However, the exercises will explore some situations where calculating a suitable line integral is a viable alternative to the double integral.

🔗

Subsection 12.8.3 What happens when vector fields are not smooth?

Notice that the assumptions in Green’s Theorem require that the region

R

be bounded by a simple closed curve

C

and that the vector field have continuous partial derivatives on

R

and

C .

In Exercise 7, we will explore what happens when the region

R

cannot be bounded by a simple closed curve, as sometimes multiple applications of Green’s Theorem can be used in those circumstances. Now, however, we will take a look at what happens in some cases where the vector field

F

is not smooth.

🔗

Activity 12.8.3.

Consider the vector field

F = \frac{- y}{x^{2} + y^{2}} i + \frac{x}{x^{2} + y^{2}} j .

Notice that

F

is smooth everywhere in the plane other than at the point

(0, 0) .

This vector field is plotted in Figure 12.8.6, but we have not plotted the vectors close to the origin as their magnitudes get so large that they make it hard to interpret the figure. Here Green’s Theorem applies to any simple closed curve

C

that neither passes through

(0, 0)

nor bounds a region containing

(0, 0) .

🔗

Figure 12.8.6. The vector field

F

(a)

Find the circulation density of

F

(i.e., the integrand of the double integral in Green’s Theorem).

🔗

Hint.

Make sure to note any exceptional points at which your formula is not valid.

🔗

(b)

Suppose that

C

is the unit circle centered at the origin. Without doing any calculations, what can you say about

\oint_{C} F \cdot d r ?

what does this tell you about if

F

is path-independent?

🔗

(c)

What would you get if you integrated the circulation density of

F

over the region bounded by

C ?

🔗

(d)

Do the previous two parts contradict Green’s Theorem? Explain your reasoning.

🔗

(e)

Is the vector field

G = \frac{x}{x^{2} + y^{2}} i + \frac{y}{x^{2} + y^{2}} j,

which is shown in Figure 12.8.7, path-independent? Why or why not?

🔗

A vector field with vectors radiating from the origin and orthogonal to circles centered at the origin. Vectors are longest near the origin and get shorter farther from the origin. — Figure 12.8.7. The vector field $G$

🔗

(f)

Suppose that

C

is the unit circle centered at the origin. Find

\oint_{C} G \cdot d r .

Can you do this using Green’s Theorem?

🔗

We can now see that Green’s Theorem is a powerful tool. However it cannot be used for all line integrals. In particular, the restriction that the vector field be smooth on the entire region bounded by a simple closed curve

C

creates limitations. This can occur even in cases where holes in the vector field’s domain or points where the vector field is not continuously differentiable lie away from

C .

🔗

Subsection 12.8.4 Summary

Green’s Theorem tells us that we can calculate the circulation of a smooth vector field along a simple closed curve that bounds a region in the plane on which the vector field is also smooth by calculating the double integral of the circulation density instead of the line integral.
Integrating the circulation density of a smooth vector field on a region bounded by a simple closed curve gives the same value as calculating the circulation of the vector field around the boundary of the region with suitable orientation.

🔗

Exercises 12.8.5 Exercises

1.

Calculate

\int_{C} (5 (x^{2} - y) \vec{i} + 7 (y^{2} + x) \vec{j}) \cdot d \vec{r}

if:

🔗

(a)

C

is the circle

(x - 1)^{2} + (y - 2)^{2} = 25

oriented counterclockwise.

🔗

\int_{C} (5 (x^{2} - y) \vec{i} + 7 (y^{2} + x) \vec{j}) \cdot d \vec{r} =

🔗

(b)

C

is the circle

(x - a)^{2} + (y - b)^{2} = R^{2}

in the

x y

-plane oriented counterclockwise.

🔗

\int_{C} (5 (x^{2} - y) \vec{i} + 7 (y^{2} + x) \vec{j}) \cdot d \vec{r} =

🔗

2.

Let

\vec{F} = 14 x e^{y} \vec{i} + 7 x^{2} e^{y} \vec{j}

and

\vec{G} = 14 (x - y) \vec{i} + 7 (x + y) \vec{j} .

Let

C

be the path consisting of lines from

(0, 0)

(6, 0)

(6, 3)

(0, 0) .

Find each of the following integrals exactly:

🔗

(a)

\int_{C} \vec{F} \cdot d \vec{r} =

🔗

(b)

\int_{C} \vec{G} \cdot d \vec{r} =

🔗

3.

Suppose

🔗

\vec{F} (x, y) = (4 x - 2 y) \vec{i} + 5 x \vec{j}

and

C

is the counter-clockwise oriented sector of a circle centered at the origin with radius

3

and central angle

π / 3 .

Use Green’s theorem to calculate the circulation of

\vec{F}

around

C .

🔗

Circulation =

🔗

(Click on graph to enlarge)

🔗

4.

Let

\vec{F} = (9 x^{2} y + 3 y^{3} + 4 e^{x}) \vec{i} + (4 e^{y^{2}} + 324 x) \vec{j} .

Consider the line integral of

\vec{F}

around the circle of radius

a,

centered at the origin and traversed counterclockwise.

🔗

(a) Find the line integral for

a = 1 .

🔗

line integral =

🔗

(b) For which value of

a

is the line integral a maximum?

🔗

a =

🔗

(Be sure you can explain why your answer gives the correct maximum.)

🔗

5.

(a) Show that each of the vector fields

\vec{F} = 5 y \vec{i} + 5 x \vec{j},

\vec{G} = \frac{2 y}{x^{2} + y^{2}} \vec{i} + \frac{- 2 x}{x^{2} + y^{2}} \vec{j},

and

\vec{H} = \frac{4 x}{\sqrt{x^{2} + y^{2}}} \vec{i} + \frac{4 y}{\sqrt{x^{2} + y^{2}}} \vec{j}

are gradient vector fields on some domain (not necessarily the whole plane) by finding a potential function for each.

🔗

For

\vec{F},

a potential function is

f (x, y) =

🔗

For

\vec{G},

a potential function is

g (x, y) =

🔗

For

\vec{H},

a potential function is

h (x, y) =

🔗

(b) Find the line integrals of

\vec{F}, \vec{G}, \vec{H}

around the curve

C

given to be the unit circle in the

x y

-plane, centered at the origin, and traversed counterclockwise.

🔗

\int_{C} \vec{F} \cdot d \vec{r} =

🔗

\int_{C} \vec{G} \cdot d \vec{r} =

🔗

\int_{C} \vec{H} \cdot d \vec{r} =

🔗

(c) For which of the three vector fields can Green’s Theorem be used to calculate the line integral in part (b)?

🔗

It may be used for

🔗

only F
only G
only H
F and G
F and H
G and H
F, G and H

🔗

(Be sure that you are able to explain why or why not.)

🔗

6.

Sometimes, the value in Green’s Theorem is in converting a double integral into a line integral. Recall that the area of a region

R

in the plane can be found by calculating

\iint_{R} 1 d A .

🔗

(a)

Find a smooth vector field

F

such that the circulation density of

F

1

everywhere.

🔗

Hint.

There are several ways to choose

F = ⟨ F_{1}, F_{2} ⟩

so that

\partial F_{2} / \partial x - \partial F_{1} / \partial y = 1 .

🔗

(b)

Write out both integrals in Green’s Theorem for the vector field you selected in part a.

🔗

(c)

For positive real numbers

a, b,

the ellipse

x^{2} / a^{2} + y^{2} / b^{2} = 1

can be parametrized as

r (t) = ⟨ a \cos (t), b \sin (t) ⟩

with

0 \leq t \leq 2 π .

Find the area of this ellipse by calculating a line integral.

🔗

(d)

Find another vector field

G

(different from the one you found in part a) that has circulation density

1

everywhere, and calculate the area of the ellipse in part c by calculating the circulation of

G

along the ellipse.

🔗

(e)

How many possible vector fields are there with circulation density

1

everywhere? Why?

🔗

7.

The types of regions in

R^{2}

to which Green’s Theorem applies are formally called simply connected regions. To be precise, a simply connected region

D

R^{2}

is a set so that there is a path between every pair of points in

D

that stays inside

D

and any simple closed curve in

D

can be shrunk to a point while remaining inside

D .

We can think of a simply connected region as being a region that does not have any “holes”. There are many instances where we can find a way to apply Green’s Theorem multiple times to work with regions that are not simply connected, however.

🔗

Figure 12.8.8. A region that is not simply connected

Explain why the region $R$ in Figure 12.8.8 is not simply connected.
If we let $C = C_{1} + C_{2},$ then the orientation of $C$ is as required by Green’s Theorem—when walking along the pieces of $C,$ the region $R$ is always on the left-hand side. Assume that $F$ is a vector field that is smooth on $R$ and $C .$ Using Figure 12.8.9 as a guide, write $\oint_{C} F \cdot d r$ as a sum of double integrals, one over $R_{1}$ and the other over $R_{2} .$
In Activity 12.8.3, we considered the vector field $F = \frac{- y}{x^{2} + y^{2}} i + \frac{x}{x^{2} + y^{2}} j$ and found that the circulation of $F$ around the unit circle centered at the origin (oriented counterclockwise) was $2 π .$ Show that for every simple closed curve $C$ in the plane that bounds a region containing the origin, $\oint_{C} F \cdot d r = 2 π .$

Hint.

For part c, create a region

R

as in Figure 12.8.8 using the curve

C

in place of

C_{1} .

🔗

8.

This exercise presents another occasion where Green’s Theorem can be used to convert a double integral into a line integral.

🔗

Recall from Section 11.4 that the centroid of a lamina $D$ of area $A$ is given by

$\overset{―}{x} = \frac{1}{A} \iint_{D} x d A and \overset{―}{y} = \frac{1}{A} \iint_{D} y d A .$

Find vector fields $F$ and $G$ so that

$\overset{―}{x} = \oint_{C} F \cdot d r and \overset{―}{y} = \oint_{C} G \cdot d r,$

where $C$ is the boundary of the lamina $D .$
Find the centroid of the triangle with vertices $(0, 0),$ $(a, 0),$ and $(0, b)$ for real numbers $a, b > 0 .$

🔗

Subsection 12.8.6 Notes to Instructors and Dependencies

This section relies on the calculation of circulation around a closed curve from Section 12.2 and Section 12.3 as well as the idea of circulation density that was described in Section 12.6.

🔗

You have attempted 1 of 6 activities on this page.

🔗

Prev Top Next