17
VECTOR CALCULUS
VECTOR CALCULUS
17.8
In this section, we will learn about:
The Stokes’ Theorem and using it to evaluate integrals.
2
STOKES’ VS. GREEN’S THEOREM
Stokes’ Theorem can be regarded as a higherdimensional version of Green’s
Theorem.
Green’s Theorem relates a double integral over a plane region D to a line integral around its plane boundary curve.
Stokes’ Theorem relates a surface integral over a surface S to a line integral around the boundary curve of S (a space curve).
3
INTRODUCTION
The figure shows an oriented surface with unit normal vector n .
The orientation of S induces the positive orientation of the boundary curve C.
4
Fig. 17.8.1, p. 1129
INTRODUCTION
If you walk in the positive direction around C with your head pointing in the direction of n , the surface will always be on your left.
5
Fig. 17.8.1, p. 1129
STOKES’ THEOREM
S be an oriented piecewise-smooth surface bounded by a simple, closed, piecewise-smooth boundary curve C with positive orientation.
F be a vector field whose components have continuous partial derivatives on an open region
° 3 in that contains S .
C
F
d r
S curl F
d S
6
STOKES’ THEOREM
The theorem is named after the Irish mathematical physicist Sir George Stokes
(1819 –1903).
What we call Stokes’ Theorem was actually discovered by the Scottish physicist Sir William
Thomson (1824 –1907, known as Lord Kelvin).
Stokes learned of it in a letter from Thomson in 1850.
7
STOKES’ THEOREM
C
F
d r
C
F T ds and
S curl F
d S
S curl
Thus, Stokes’ Theorem says:
The line integral around the boundary curve of S of the tangential component of F is equal to the surface integral of the normal component of the curl of F .
8
STOKES’ THEOREM Equation 1
The positively oriented boundary curve of the oriented surface S is often written as ∂ S.
So, the theorem can be expressed as:
S curl F
d S
S
F
d r
9
STOKES’ THEOREM, GREEN’S THEOREM, & FTC
There is an analogy among Stokes’ Theorem,
Green’s Theorem, and the Fundamental
Theorem of Calculus (FTC).
As before, there is an integral involving derivatives on the left side of Equation 1 (recall that curl F is a sort of derivative of F ).
The right side involves the values of F only on the boundary of S .
10
STOKES’ THEOREM, GREEN’S THEOREM, & FTC
S:
Is flat.
Lies in the xy -plane with upward orientation.
11
STOKES’ THEOREM, GREEN’S THEOREM, & FTC
The unit normal is k .
The surface integral becomes a double integral.
Stokes’ Theorem becomes:
C
F
d r
S curl F
d S
S
curl
dA
12
STOKES’ THEOREM, GREEN’S THEOREM, & FTC
This is precisely the vector form of
Green’s Theorem given in Equation 12 in Section 17.5
Thus, we see that Green’s Theorem is really a special case of Stokes’ Theorem.
13
STOKES’ THEOREM
Stokes’ Theorem is too difficult for us to prove in its full generality.
Still, we can give a proof when:
S is a graph.
F , S , and C are well behaved.
14
STOKES’ TH.—SPECIAL CASE Proof
We assume that the equation of S is: z = g ( x , y ), ( x , y
D where:
g has continuous second-order partial derivatives.
D is a simple plane region whose boundary curve
C
1 corresponds to C .
15
STOKES’ TH.—SPECIAL CASE Proof
If the orientation of S is upward, the positive orientation of C corresponds to the positive orientation of C
1
.
16
Fig. 16.8.2, p. 1129
STOKES’ TH.—SPECIAL CASE
We are also given that:
Proof
F = P i + Q j + R k where the partial derivatives of
P , Q , and R are continuous.
17
STOKES’ TH.—SPECIAL CASE
S is a graph of a function.
Proof
Thus, we can apply Formula 10 in
Section 17.7 with F replaced by curl F .
18
STOKES’ TH.—SPECIAL CASE
The result is:
Proof —Equation 2
S curl F
d S
D
R y
Q z
z x
P z
R x
z y
Q x
P y
dA where the partial derivatives of P , Q , and R are evaluated at ( x , y , g ( x , y )).
19
STOKES’ TH.—SPECIAL CASE
Suppose
Proof x = x ( t ) y = y ( t ) a ≤ t ≤ b is a parametric representation of C
1.
Then, a parametric representation of C is: x = x ( t ) y = y ( t ) z = g ( x ( t ), y ( t )) a ≤ t ≤ b
20
STOKES’ TH.—SPECIAL CASE Proof
This allows us, with the aid of the Chain Rule, to evaluate the line integral as follows:
C
F
d r
a b
P dx
Q dy
dz
R dt dt dt dt
a b
P dx
Q dy dt dt
R
z dx x dt
z dy y dt
dt
21
STOKES’ TH.—SPECIAL CASE Proof
a b
P
R
z dx
Q
R
dt
C
1
P
R
z x
dx
Q
R
z y
dy
D
x
Q
R
z y
y
P
R
z
x
dA
We have used Green’s Theorem in the last step.
22
STOKES’ TH.—SPECIAL CASE Proof
P , Q , and R are functions of x , y , and z.
z is itself a function of x and y .
23
STOKES’ TH.—SPECIAL CASE
Thus, we get:
Proof
C
F
d r
D
Q x
Q z z x
R z x y
R z z z x y
R
P y
P z
y
R z
R z z
R
2 z
2 z
dA
24
STOKES’ TH.—SPECIAL CASE Proof
Four terms in that double integral cancel.
The remaining six can be arranged to coincide with the right side of Equation 2.
Hence,
C
F
d r
S curl F
d S
25
STOKES’ THEOREM
C
F
d r
F ( x , y , z ) = – y 2 i + x j + z 2 k
Example 1
C is the curve of intersection of the plane y + z = 2 and the cylinder x 2 + y 2 = 1.
(Orient C to be counterclockwise when viewed from above.)
26
STOKES’ THEOREM Example 1
C
F
d r could be
C evaluated directly.
However, it’s easier to use Stokes’ Theorem.
27
Fig. 17.8.3, p. 1131
STOKES’ THEOREM
We first compute:
Example 1 curl F
i j k
x
y
z
2 y x z
2
1 2 y
k
28
STOKES’ THEOREM Example 1
C.
The most convenient choice, though, is the elliptical region S in the plane y + z = 2 that is bounded by C .
If we orient S upward,
C has the induced positive orientation.
29
Fig. 17.8.3, p. 1131
STOKES’ THEOREM Example 1
The projection D of S on the xy -plane is the disk x 2 + y 2 ≤ 1.
So, using Equation 10 in Section 17.7 with z = g ( x , y ) = 2 – y , we have the following result.
30
Fig. 17.8.3, p. 1131
STOKES’ THEOREM Example 1
C
F
d r
S curl F
d S
D
1 2
2
1
0 0
r dr d
0
2
2 3 r
r
2 sin
2 3
1 d
0
1
2
0
2
2
1
2
2 3
0 sin
31
STOKES’ THEOREM Example 2
Use Stokes’ Theorem to compute
S curl F
d S where:
F ( x , y , z ) = xz i + yz j + xy k
S is the part of the sphere x 2 + y 2 + z 2 = 4 that lies inside the cylinder x 2 + y 2 =1 and above the xy -plane.
32
Fig. 17.8.4, p. 1131
STOKES’ THEOREM Example 2
To find the boundary curve C , we solve: x 2 + y 2 + z 2 = 4 and x 2 + y 2 = 1
Subtracting, we get z 2 = 3.
So, z
3
(since z > 0).
33
Fig. 17.8.4, p. 1131
STOKES’ THEOREM Example 2
C
x 2
y 2
z
3
34
Fig. 17.8.4, p. 1131
STOKES’ THEOREM Example 2
A vector equation of C is: r ( t ) = cos t i + sin t j + k 0 ≤ t ≤ 2 π
Therefore, r ’ ( t ) = –sin t i + cos t j
Also, we have:
3 cos t i
3 sin t j
cos sin t k
35
STOKES’ THEOREM
Thus, by Stokes’ Theorem,
Example 2
S curl F
d S
C
F
d r
0
2
F r
r t dt
0
2
3 cos sin t
t
2
3
0
0 dt
0
36
STOKES’ THEOREM
Note that, in Example 2, we computed a surface integral simply by knowing the values of F on the boundary curve C .
This means that:
If we have another oriented surface with the same boundary curve C , we get exactly the same value for the surface integral!
37
STOKES’ THEOREM Equation 3
In general, if S
1 and S
2 are oriented surfaces with the same oriented boundary curve C and both satisfy the hypotheses of Stokes’
Theorem, then
S
1 curl F
d S
C
F
d r
S
2 curl F
d S
This fact is useful when it is difficult to integrate over one surface but easy to integrate over the other.
38
CURL VECTOR
We now use Stokes’ Theorem to throw some light on the meaning of the curl vector.
Suppose that C is an oriented closed curve and v represents the velocity field in fluid flow.
39
CURL VECTOR
Consider the line integral
C v
d r
C v T ds and recall that v ∙ T is the component of v in the direction of the unit tangent vector T .
This means that the closer the direction of v is to the direction of T , the larger the value of v ∙ T .
40
CIRCULATION
v
d r
C of the fluid to move around C.
It is called the circulation of v around C .
41
Fig. 17.8.5, p. 1132
CURL VECTOR
Now, let:
P
0
( x
0
, y
0
, z
0
) be a point in the fluid.
S a be a small disk with radius a and center P
0
.
Then, (curl F )( P ) ≈ (curl F )( P
0
) for all points
P on S a because curl F is continuous.
42
CURL VECTOR
Thus, by Stokes’ Theorem, we get the following approximation to the circulation around the boundary circle C a
:
C a v
d r
S
a curl v
d S
S a curl dS
S
a curl v
0
P dS
0
curl v P
0
P
0
a
2
43
CURL VECTOR Equation 4
The approximation becomes better as a → 0.
Thus, we have: curl v
0
P
0
a lim
0
1 a
2
C a v
d r
44
CURL & CIRCULATION
It shows that curl v ∙ n is a measure of the rotating effect of the fluid about the axis n .
The curling effect is greatest about the axis parallel to curl v .
45
CURL & CIRCULATION
Imagine a tiny paddle wheel placed in the fluid at a point P .
The paddle wheel rotates fastest when its axis is parallel to curl v .
46
Fig. 17.8.6, p. 1132
CLOSED CURVES
Finally, we mention that Stokes’ Theorem can be used to prove Theorem 4 in
Section 16.5:
If curl F
3
= 0 on all of , then F is conservative.
47
CLOSED CURVES
From Theorems 3 and 4 in Section 17.3, we know that F
C
F
d r
0 for every closed path C .
Given C , suppose we can find an orientable surface S whose boundary is C .
This can be done, but the proof requires advanced techniques.
48
CLOSED CURVES
Then, Stokes’ Theorem gives:
C
F
d r
S curl F
d S
0
d S
S
0
A curve that is not simple can be broken into a number of simple curves.
The integrals around these curves are all 0.
49
CLOSED CURVES
C
F
d r
0
C
50