s1ne2016 164.Groon's Theerem
Home » Vector Caleulus » Grosn's Theorem
‘Search the book
16.4 Green's Theorem
We now come to the fist of three important theorems that extend the Fundamental Theorem
ulus to higher dimensions. (The Fundamental Theorem of Line Integrals has already
ddone this in one way, but in that ease we were still dealing with an essentially one-
dimensional integral.) They all share with the Fundamental Theorem the following rather
‘vague description: To compute a certain sort of integral over a region, we may do a
computation on the boundary of the region that involves one fewer integrations.
of
Note that this does indeed deseribe the Fundamental Theorem of Caleulus and the
Fundamental Theorem of Line Integrals: to compute a single integral over an interval, we do
computation on the boundary (the endpoints) that involves one fewer integrations, namely,
no integrations at all
Theorem 16.4.1 (Green's Theorem) If the vector field F = (P,Q) and the region D are
sufficiently nice, and if C is the boundary of D (C is a closed curve), then
aq ap >
WE yaa [Pa Ody
direction, we usually write f. We also use the notation OD to mean the boundary of D
conservative, we know tat the integral fF de ~ 0, because any integral of
lc
conservative vector field around a closed curve is zero, We also know in this case thet
AP Oy = 8Q/0e, so the double integral in the theorem is simply the integral of the zero
fanetion, namely, 0, So in the ase that F is conservative, the theorem says simply that
0=0.
Example 16.4.2 We illustrate the theorem by computing both sides of
ln
i
where D is the triangular region with comers (0,0), (1,0), (0,1).
Starting with the double integral:
Fipsuhwenw titman edulmathematcslalculus_erlinelsecton16 Ot hiel 4ss1ne2016
Fipsuhwenw titman edulmathematcslalculus_erlinelsecton16 Ot hiel
[fo-vaa—[f [vtrac~ ff SB ac Oat
There is no single formula to describe the boundary of D, so to compute the left side directly
‘we need to compute three separate integrals corresponding to the three sides ofthe triangle,
and each of these integrals we break into two integrals, the "4x" part and the "dy’
three sides are deseribed by y = 0, y= 1 — 2, and 2 = 0. The integrals are then
1 ° 5
fztdesavay= [tac [oay+ [ode~ [ody
Io A hb 5
1
1 iil
= FtO-F tg t0+0=%
1
x a+ [ (l-yyay
Alternately, we could describe the three sides in vector form as (¢,0), (I~ ¢,4), and
{0,1 =). Note that in each case, as ¢ ranges from 0 to 1, we follow the corresponding side
in the correct direction, Now
[te zudy~ [vt oats aoptsa gears foo oat
= [eae [aot sane F
In this ease, none of the integrations are difficult, but the second approach is somewhat
tedious because of the necessity to set up three different integrals. In different circumstances,
either ofthe integrals, the single or the double, might be easier to compute. Sometimes it is
‘worthwhile to turn a single integral into the corresponding double integral, sometimes
exactly the opposite approach is best
Here is a clever use of Green's Theorem: We know that areas can be computed using double
integrals, namely,
fp
computes the area of region D. If we ean find P and Q so that 8Q/82 — AP /@y = 1, then
the area is also
Pdr +Qdy.
Itis quite easy to do this: P = 0, @ = x works, as do P = —~y, @Q = Oand
P= -y/2,Q = 2/2
Example 16.4.3 An ellipse centered atthe origin, with its two principal axes aligned with
the x and y axes, i given by
We find the area of the interior ofthe ellipse via Green's theorem. To do this we need a vector
equation forthe boundary; one such equation is (a.cos, sin), ast anges from 0 0 27
We can easly verify this by substitution:‘r9n016
2 Instantaneous Rate of
(Change: The Derivative
3 Rules for Finding
Derivatives
4 Transcendental Functions
7 Integration
8 Techniques of Integration
9 Applications of Integration
10 Polar Coordinates,
Parametric Equations
11 Sequences and Seri
12 Three Dimensions
13 Vector Functions
14 Partial Differentiation
15 Multiple Integration
16 Vector Calculus
1. Veetor Fields
2. Line Integrals
Fipsuhwenw hitman edulmathematcslalculus_erlinelsectont6 Ot him
184 Groots Theerem
2 yt ateostt Bain?
2 yt aeostt | Wainte
eRe
= cos? t+ sin’ t =
Let's consider the three possibilities for P and Q above: Using 0 and 2 gives
fiode+edy
lc
Using —y and 0 gives
* 4 cos(t)bcos(t) dt = [” abos*(t) at
fives ody [ bsincor-asintey ae [ cbsnt(eya
Finally, using —y/2 and 2/2 gives:
2 2 bin cos
f Yasia f ESOC asint)) de + 28509 6 c09(¢) at
2 gbsin?t | abcostt 4, ab
a setae [a= na
‘The frst two integrals are not particularly difficult, but the thd is very easy, though the
choice of P and Q seems more complicated,
-
foo
=
Figure 1641.4 “sondar cps
Proof of Green's Theorem.
We cannot here prove Green's Theorem in general, but we can do a special case. We seek to
prove that
freon [ft aa
Iti suficient to show that
ap. fea f%2
pac= ff Pan ana ay ff 22 aa,
£ i ay foo Noe
2 B
‘which we can do if we can compute the double integral in both possible ways, that is, using
dA = dydz and dA = dz dy.
For the fitst equation, we start with‘p06
3. The Fundamental Theorem of
Line integrals
4. Greens Theorem
5. Divergence and Curl
6. Vector Functions for Surfaces
7. Surface Integrals
8. Stoker's Theorem
9. The Divergence Theorem
17 Differential Equations
18 Useful formulas
2 Instantaneous Rate of
(Change: The Derivative
3 Rules for Finding
Derivatives
4 Transcendental Functions
5 Curve Sketching
7 Integration
8 Techniques of Integration
9 Applications of Integration
10 Polar Coordinates,
Parametric Equations
11 Sequences and Seri
12 Three Dimensions
13 Vector Functions
14 Partial Differentiation
15 Multiple Integration
16 Vector Calculus
1. Veetor Fields
2. Line Integrals
Fipsuhwenw hitman edulmathematcslalculus_erlinelsectont6 Ot him
3
3|
auuw
aun
nau wan
‘seus Tre
Is tam fi [0° Payde~ f° me,a4e))- Peale)
Here we have simply used the ordinary Fundamental Theorem of Calculus, since forthe
inner integral we are integrating a derivative with respect to y: an antderivative of OP /8y
with respect to yis simply P(e, y), and then we substitute 9, and go for y and subtract.
Now we nced to manipulate J, P dx. The boundary of region D consists of 4 pars, given by
the equations y = gi (x), ¢ = b, y = g2(sx), and x = a, On the portions 2 = band =
dx = Odt, so the corresponding integrals are zero. For the other two portions, we use the
parametric forms 2 = t,y = oi(t), a