Jim Lambers
MAT 280
Spring Semester 2009-10
Lecture 19 Notes
These notes correspond to Section 13.4 in Stewart and Section 8.1 in Marsden and Tromba.
Greenβs Theorem
We have learned that if a vector ο¬eld is conservative, then its line integral over a closed curve πΆ is
equal to zero. However, if this is not the case, then evaluation of a line integral using the formula
β«
β«
F β
πr =
πΆ
π
F(r(π‘)) β
rβ² (π‘) ππ‘,
π
where r(π‘) is a parameterization of πΆ, can be very diο¬cult, even if πΆ is a relatively simple plane
curve. Fortunately, in this case, there is an alternative approach, using a result known as Greenβs
Theorem.
We assume that F = β¨π, πβ©, and consider the case where πΆ encloses a region π· that can be
viewed as a region of either type I or type II. That is, π· has the deο¬nitions
π· = {(π₯, π¦) β£ π β€ π₯ β€ π, π1 (π₯) β€ π¦ β€ π2 (π₯)}
and
π· = {(π₯, π¦) β£ π β€ π¦ β€ π, β1 (π¦) β€ π₯ β€ β2 (π¦)}.
Using the ο¬rst deο¬nition, we have πΆ = πΆ1 βͺ πΆ2 βͺ (βπΆ3 ) βͺ (βπΆ4 ), where:
β πΆ1 is the curve with parameterization π₯ = π‘, π¦ = π1 (π‘), for π β€ π‘ β€ π
β πΆ2 is the vertical line segment with parameterization π₯ = π, π¦ = π‘, for π1 (π) β€ π‘ β€ π2 (π)
β πΆ3 is the curve with parameterization π₯ = π‘, π¦ = π2 (π‘), for π β€ π‘ β€ π
β πΆ4 is the vertical line segment with parameterization π₯ = π, π¦ = π‘, for π1 (π) β€ π‘ β€ π2 (π)
We use positive orientation to describe the curve πΆ, which means that the curve is traversed
counterclockwise. This means that as the curve is traversed, the region π· is βon the leftβ.
In view of
β«
β«
F β
πr = β¨π ππ₯ + π ππ¦,
πΆ
πΆ
1
we have
β«
β«
β«
β«
β«
π ππ₯
π ππ₯ +
π ππ₯ +
π ππ₯ +
π ππ₯ =
βπΆ4
βπΆ3
πΆ2
πΆ1
πΆ
β«
β«
β«
β«
π ππ₯
π ππ₯ β
π ππ₯ β
π ππ₯ +
=
πΆ1
π
β«
=
π (π₯(π‘), π¦(π‘))π₯β² (π‘) ππ‘ +
β«
π (π₯(π‘), π¦(π‘))π₯β² (π‘) ππ‘ β
β«
π
π
β«
π
π
β«
πΆ4
πΆ3
πΆ2
β«
π1 (π)
π2 (π)
π (π₯(π‘), π¦(π‘))π₯β² (π‘) ππ‘ β
π (π₯(π‘), π¦(π‘))π₯β² (π‘) ππ‘
π1 (π)
π2 (π)
β«
β«
π
π1 (π)
π
π
π2 (π)
π (π‘, π2 (π‘))(1) ππ‘ β
π (π, π‘)(0) ππ‘ β
π (π‘, π1 (π‘))(1) ππ‘ +
=
π2 (π)
π (π, π)(0) ππ‘
π1 (π)
π
β«
[π (π‘, π1 (π‘)) β π (π‘, π2 (π‘))] ππ‘
=
π
β« πβ«
π2 (π‘)
= β
ππ¦ (π‘, π¦) ππ¦ ππ‘
π
π1 (π‘)
β« β«
= β
π·
βπ
ππ΄.
βπ¦
Using a similar approach in which π· is viewed as a region of type II, we obtain
β«
β« β«
βπ
π ππ¦ =
ππ΄.
πΆ
π· βπ₯
Putting these results together, we obtain Greenβs Theorem, which states that if πΆ is a positively
oriented, piecewise smooth, simple (that is, not self-intersecting) closed curve that encloses a region
π·, and π and π are functions that have continuous ο¬rst partial derivatives on π·, then
)
β«
β« β« (
βπ βπ
π ππ₯ + π ππ¦ =
β
ππ΄.
βπ₯
βπ¦
πΆ
π·
Another common statement of the theorem is
)
β« β« (
β«
βπ βπ
β
ππ΄ =
π ππ₯ + π ππ¦,
βπ₯
βπ¦
π·
βπ·
where βπ· denotes the positively oriented boundary of π·.
This theorem can be used to ο¬nd a simpler approach to evaluating a line integral of the vector
ο¬eld β¨π, πβ© over πΆ by converting the integral to a double integral over π·, or it can be used to ο¬nd
a simpler approach to evaluating a double integral over a region π· by converting it into an integral
over its boundary.
2
To show that Greenβs Theorem applies for more general regions than those that are of both
type I and type II, we consider a region π· that is the union of two regions π·1 and π·2 that are of
both type I and type II. Let πΆ be the positively oriented boundary of π·, let π·1 have positively
oriented boundary πΆ1 βͺ πΆ3 , and let π·2 have positively oriented boundary πΆ2 βͺ (βπΆ3 ), where πΆ3
is the boundary between π·1 and π·2 . Then, πΆ = πΆ1 βͺ πΆ2 . It follows that for functions π and π
that satisfy the assumptions of Greenβs Theorem on π·, we can apply the theorem to π·1 and π·2
individually to obtain
)
)
)
β« β« (
β« β« (
β« β« (
βπ βπ
βπ βπ
βπ βπ
ππ΄ =
ππ΄ +
ππ΄
β
β
β
βπ₯
βπ¦
βπ₯
βπ¦
βπ₯
βπ¦
π·
π·1
π·2
β«
β«
=
π ππ₯ + π ππ¦ +
π ππ₯ + π ππ¦
πΆ1 βͺπΆ3
πΆ2 βͺ(βπΆ3 )
β«
β«
=
π ππ₯ + π ππ¦ +
π ππ₯ + π ππ¦ +
πΆ1
πΆ3
β«
β«
π ππ₯ + π ππ¦ +
π ππ₯ + π ππ¦
πΆ2
βπΆ3
β«
β«
=
π ππ₯ + π ππ¦ +
π ππ₯ + π ππ¦ +
πΆ1
πΆ2
β«
β«
π ππ₯ + π ππ¦
π ππ₯ + π ππ¦ β
πΆ3
πΆ3
β«
β«
=
π ππ₯ + π ππ¦ +
π ππ₯ + π ππ¦
πΆ1
πΆ2
β«
=
π ππ₯ + π ππ¦
β«πΆ1 βͺπΆ2
=
π ππ₯ + π ππ¦.
πΆ
We conclude that Greenβs Theorem holds on π·1 βͺ π·2 . The same argument can be used to easily
show that Greenβs Theorem applies on any ο¬nite union of simple regions, which are regions of both
type I and type II.
Greenβs Theorem can also be applied to regions with βholesβ, that is, regions that are not simply
connected. To see this, let π· be a region enclosed by two curves πΆ1 and πΆ2 that are both positively
oriented with respect to π· (that is, π· is on the left as either πΆ1 or πΆ2 is traversed). Let πΆ2 be
contained within the region enclosed by πΆ1 ; that is, let πΆ2 be the boundary of the βholeβ in π·.
Then, we can decompose π· into two simply connected regions π·β² and π·β²β² by connecting πΆ2 to πΆ1
along two separate curves that lie within π·. Applying Greenβs Theorem to π·β² and π·β²β² individually,
we ο¬nd that the line integrals along the common boundaries of π·β² and π·β²β² cancel, because they
3
have opposite orientations with respect to these regions. Therefore, we have
)
)
)
β« β« (
β« β« (
β« β« (
βπ βπ
βπ βπ
βπ βπ
β
ππ΄ =
β
ππ΄ +
β
ππ΄
βπ₯
βπ¦
βπ₯
βπ¦
βπ₯
βπ¦
β²
π·
π·β²β²
β«
β« π·
π ππ₯ + π ππ¦
π ππ₯ + π ππ¦ +
=
πΆ2
πΆ1
β«
π ππ₯ + π ππ¦.
=
πΆ1 βͺπΆ2
Therefore, Greenβs Theorem applies to π· as well.
Example The vector ο¬eld
β©
F(π₯, π¦) = β¨π (π₯, π¦), π(π₯, π¦)β© =
π¦
π₯
β 2
, 2
2
π₯ + π¦ π₯ + π¦2
βͺ
is conservative on all of β2 except at the origin, because it is not deο¬ned there. Speciο¬cally, F = βπ
where
π¦
π (π₯, π¦) = tanβ1 .
π₯
Now, consider a region π· that is enclosed by a positively oriented, piecewise smooth, simple closed
curve πΆ, and also has a βholeβ that is a disk of radius π, centered at the origin, and contained
entirely within πΆ. Let πΆ β² be the positively oriented boundary of this disk. Then, the boundary of
π· is πΆ βͺ (βπΆ β² ), because, as a portion of the boundary of π·, rather than the disk, it is necessary
for πΆ β² to switch orientation. Applying Greenβs Theorem to compute the line integral of F over the
boundary of π· yields
)
β«
β«
β« β« (
βπ βπ
π ππ₯ + π ππ¦ +
π ππ₯ + π ππ¦ =
β
ππ΄ = 0,
βπ₯
βπ¦
πΆ
βπΆ β²
π·
since F is conservative on π·. It follows that
β«
β«
F β
πr = β
πΆ
β«
F β
πr =
βπΆ β²
F β
πr,
πΆβ²
so we can compute the line integral of F over πΆ, which we have not speciο¬ed, by computing the line
integral over the circle πΆ β² , which can be parameterized by π₯ = π cos π‘, π¦ = π sin π‘, for 0 β€ π‘ β€ 2π.
This yields
β«
β« 2π
F β
πr =
π (π₯(π‘), π¦(π‘))π₯β² (π‘) ππ‘ + π(π₯(π‘), π¦(π‘))π¦ β² (π‘) ππ‘
πΆβ²
0
)
(
)
β« 2π (
π sin π‘
π cos π‘
=
β
(βπ sin π‘) ππ‘ +
(π cos π‘) ππ‘
(π cos π‘)2 + (π sin π‘)2
(π cos π‘)2 + (π sin π‘)2
0
4
β«
2π
=
0
β«
π2 sin2 π‘
π2 cos2 π‘
ππ‘
+
ππ‘
π2 cos2 +π2 sin2 π‘
π2 cos2 π‘ + π2 sin2 π‘
2π
=
1 ππ‘
0
= 2π.
We conclude that the line integral of F over any positively oriented, piecewise smooth, simple closed
curve that encloses the origin is equal to 2π. β‘
Example Consider a π-sided polygon π with vertices (π₯1 , π¦1 ), (π₯2 , π¦2 ), . . ., (π₯π , π¦π ). The area π΄
of the polygon is given by the double integral
β« β«
1 ππ΄.
π΄=
π
Let π (π₯, π¦) = βπ¦/2 and π(π₯, π¦) = π₯/2. Then
(
) (
( ))
βπ βπ
1
1
β
=
β β
= 1.
βπ₯
βπ¦
2
2
It follows from Greenβs Theorem that if βπ is positively oriented, then
β«
β«
1
π΄=
π ππ¦ + π ππ₯ =
π₯ ππ¦ β π¦ ππ₯.
2 βπ
βπ
To evaluate this line integral, we consider each edge of π individually. Let πΆ be the line segment
from (π₯1 , π¦1 ) to (π₯2 , π¦2 ), and assume, for convenience, that πΆ is not vertical. Then πΆ can be
parameterized by π₯ = π‘, π¦ = ππ₯ + π, for π₯1 β€ π₯ β€ π₯2 , where
π¦2 β π¦1
, π = π¦1 β ππ₯1 .
π=
π₯2 β π₯1
We then have
β«
β« π₯2
π₯ ππ¦ β π¦ ππ₯ =
ππ‘ ππ‘ β (ππ‘ + π) ππ‘
πΆ
π₯1
β« π₯2
= β
π ππ‘
π₯1
= π(π₯1 β π₯2 )
= π¦1 (π₯1 β π₯2 ) β ππ₯1 (π₯1 β π₯2 )
= π¦1 (π₯1 β π₯2 ) + (π¦2 β π¦1 )π₯1
= π₯ 1 π¦2 β π₯ 2 π¦1 .
We conclude that
1
π΄ = [(π₯1 π¦2 β π₯2 π¦1 ) + (π₯2 π¦3 β π₯3 π¦2 ) + β
β
β
+ (π₯πβ1 π¦π β π₯π π¦πβ1 ) + (π₯π π¦1 β π₯1 π¦π )] .
2
β‘
5
Practice Problems
Practice problems from the recommended textbooks are:
β Stewart: Section 13.4, Exercises 1, 3, 7-17 odd
β Marsden/Tromba: Section 8.1, Exercises 1-9 odd
6
© Copyright 2026 Paperzz