Professional Documents
Culture Documents
Greens Theorem
Greens Theorem
2203)
S. F. Ellermeyer
November 2, 2013
1
also that is oriented counterclockwise meaning that is parameterized
in such a way that it is traced out counterclockwise by the parameterization.
Also suppose that
F ( ) = ( ) i + ( ) j
is a vector field such that and have continuous first order partial deriv-
atives throughout and on its boundary curve, . Then
Z ZZ
F r = .
2
This shows that
Z ZZ
F r = = 2.
and this form is sometimes more convenient to use (as in the following ex-
ample).
F ( ) = i + j.
3
To compute the line integral, we note that = 1 and = . The
curve (broken down into three pieces) is pictured. On 1 we have
= =0
= = 0
which gives us Z Z 1
( + ) = 1 = 1.
1 0
On 2 we have
=1 =
= 0 =
which gives us
Z Z 1
1
( + ) = (1) () = .
2 0 2
On 3 we have
= =
= =
which gives us
Z Z
( + ) = (1 + )
3
Z 03
= 1 + 2
1
0
1 3
= +
3
1
1
= 0 1 +
3
2
= .
3
We conclude that
Z
1 2 1
( + ) = 1 + + = .
2 3 6
4
Next we evaluate the double integral and see that we get the same result:
ZZ Z 1Z
= ( 0)
0 0
Z 1
1 2
=
0 2 0
Z 1
1 2
=
0 2
1
= .
6
Below is a picture of the triangle shown together with the vector field F ( ) =
i + j.
5
Note that the region is the interior of the disk of radius 2 centered at the
origin and that the functions = 3 and = 3 have partial derivatives
that are continuous on . By Greens Theorem,
Z ZZ
3 3
=
ZZ
= 32 3 2
ZZ
2
= 3 + 2 .
Therefore Z
3
3 = 24.
You will see that it is easier to use Greens Theorem than to evaluate the line
integral directly.
F ( ) = 2 i + 2 j
6
around the (pictured) positively oriented curve that consists of the upper half
of the circle of radius 2 centered at the origin followed by the line segment
connecting the point (2 0) to the point (2 0).
Since we are computing the flux of F across , then the line integral we
want to compute is Z
2
2 .
This problem was given on Practice Exam 7. We can do it directly but it
is easier to use Greens Theorem and evaluate the double integral instead.
Notice that since this is a flux integral of F, we need to be careful to apply
Greens Theorem correctly. In particular we first rewrite the line integral we
want to compute as
Z Z
2 2
2
= + 2
7
obtain
Z ZZ
2
+ 2 =
ZZ
= (2 + 2)
Z Z 2
=2 ( cos () + sin ())
0 0
Z Z 2
=2 2 (cos () + sin ())
0 0
Z 2 Z
2
=2 (cos () + sin ())
0 0
8
=2 (sin () cos ())|=
=0
3
16
= ((0 (1)) (0 1))
3
32
= .
3
Remark 8 The preceding example suggests how we can write Greens The-
orem in another form. The originally stated form of the theorem, called the
flow form, is
Z Z ZZ
F r = ( + ) = .
8
1 Application (Finding Area Using Greens
Theorem)
We know that if 2 , then
ZZ
Area of = 1 .
r () = () i + () j = cos () i + sin () j
0 2.
10
The area of the region, , enclosed by the polygon is
Z
1
Area of = ( )
2
where is the union of the line segments that make up the sides of . Thus
Z
1X
Area of = ( ) .
2 =1
R
In order to compute 1 ( ), we note that 1 is the line segment
joining the point (0 0 ) to the point (1 1 ). We can parameterize this
segment as
= 0 + (1 0 )
= 0 + (1 0 )
01
and thus
= 1 0
= 1 0 .
11
This gives us
Z Z 1
( ) = () ()
1 0
Z 1
= ((0 + (1 0 ) ) (1 0 ) (0 + (1 0 ) ) (1 0 ))
0
Z 1
= (0 (1 0 ) 0 (1 0 ))
0
Z 1
= (0 1 1 0 )
0
= 0 1 1 0 .
1X
Area of = (1 1 ) .
2 =1
This formula allows us to compute the area of the region enclosed by a polygon
using only the coordinates of the vertices of the polygon.
Example 11 Let us find the area of the region enclosed by the polygon pic-
tured here.
12
Using the formula derived in the previous example we obtain
1X
5
Area of = (1 1 )
2 =1
1
= [(0) (0) (1) (0)
2
+ (1) (4) (3) (0)
+ (3) (4) (4) (4)
+ (4) (6) (3) (4)
+ (3) (0) (0) (6)]
1
= [0 + 4 4 + 12 + 0]
2
= 6.
Exercise 12 Find the area of the region enclosed by the polygon pictured
here.
13
2 Proof of Greens Theorem
Rather than prove Greens Theorem in its greatest generality, we will just
prove the theorem in the special case that is the positivelyoriented circle
of radius 0 centered at some point ( ) and the vector field
F ( ) = ( ) i + ( ) j
and Z ZZ
= .
( )2 + ( )2 = 2 .
14
The upper half of the circle has equation
q
= + 2 ( )2
Therefore
Z Z q Z q
2 2 2 2
= + ( ) + ( )
Z q q
2 2
= 2 ( ) + 2 ( )
and
ZZ Z Z +2 ()2
=
2 ()2
Z q q
2 2 2 2
= + ( ) ( )
Z q q
2 2
= 2 ( ) + 2 ( ) .
as promised.
To prove the second fact, we note that the right half of the circle has
equation q
= + 2 ( )2
and the left half of the circle has equation
q
= 2 ( )2 .
15
Therefore
Z Z q Z q
2 2 2 2
= + ( ) + ( )
Z q q
2 2 2 2
= + ( ) ( )
and
ZZ Z Z
+ 2 ()2
=
2 ()2
Z q q
2 2 2 2
= + ( ) ( )
We conclude that
Z ZZ
( + ) = .
Although the above proof only proves Greens Theorem in a special case, it
hints at the general idea of the proof.
Exercise 13 Prove Greens Theorem in the special case that is the rec-
tangle = [ ] [ ].
16