Green`s Theorem

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 field 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 difficult, 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 definitions
𝐷 = {(π‘₯, 𝑦) ∣ π‘Ž ≀ π‘₯ ≀ 𝑏, 𝑔1 (π‘₯) ≀ 𝑦 ≀ 𝑔2 (π‘₯)}
and
𝐷 = {(π‘₯, 𝑦) ∣ 𝑐 ≀ 𝑦 ≀ 𝑑, β„Ž1 (𝑦) ≀ π‘₯ ≀ β„Ž2 (𝑦)}.
Using the first definition, 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 first partial derivatives on 𝐷, then
)
∫
∫ ∫ (
βˆ‚π‘„ βˆ‚π‘ƒ
𝑃 𝑑π‘₯ + 𝑄 𝑑𝑦 =
βˆ’
𝑑𝐴.
βˆ‚π‘₯
βˆ‚π‘¦
𝐢
𝐷
Another common statement of the theorem is
)
∫ ∫ (
∫
βˆ‚π‘„ βˆ‚π‘ƒ
βˆ’
𝑑𝐴 =
𝑃 𝑑π‘₯ + 𝑄 𝑑𝑦,
βˆ‚π‘₯
βˆ‚π‘¦
𝐷
βˆ‚π·
where βˆ‚π· denotes the positively oriented boundary of 𝐷.
This theorem can be used to find a simpler approach to evaluating a line integral of the vector
field βŸ¨π‘ƒ, π‘„βŸ© over 𝐢 by converting the integral to a double integral over 𝐷, or it can be used to find
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 finite 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 find 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 field
〈
F(π‘₯, 𝑦) = βŸ¨π‘ƒ (π‘₯, 𝑦), 𝑄(π‘₯, 𝑦)⟩ =
𝑦
π‘₯
βˆ’ 2
, 2
2
π‘₯ + 𝑦 π‘₯ + 𝑦2
βŒͺ
is conservative on all of ℝ2 except at the origin, because it is not defined there. Specifically, 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 specified, 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