Stokes` Theorem

Jim Lambers
MAT 280
Spring Semester 2009-10
Lecture 23 Notes
These notes correspond to Section 13.8 in Stewart and Section 8.2 in Marsden and Tromba.
Stokes’ Theorem
Let 𝐢 be a simple, closed, positively oriented, piecewise smooth plane curve, and let 𝐷 be the
region that it encloses. According to one of the forms of Green’s Theorem, for a vector field F with
continuous first partial derivatives on 𝐷, we have
∫
∫ ∫
F β‹… 𝑑r =
(curl F) β‹… k 𝑑𝐴,
𝐢
𝐷
where k = ⟨0, 0, 1⟩.
By noting that k is normal to the region 𝐷 when it is embedded in 3-D space, we can generalize
this form of Green’s Theorem to more general surfaces that are enclosed by simple, closed, piecewise
smooth, positively oriented space curves. Let 𝑆 be an oriented, piecewise smooth surface that is
enclosed by a such a curve 𝐢. If we divide 𝑆 into several small patches 𝑆𝑖𝑗 , then these patches are
approximately planar. We can apply Green’s Theorem, approximately, to each patch by rotating
it in space so that its unit normal vector is k, and using the fact that rotating two vectors u and
v in space does not change the value of u β‹… v.
Most of the line integrals along the boundary curves of each path cancel with one another due
to the positive orientation of all such boundary curves, and we are left with the line integral over
𝐢, the boundary of 𝑆. If we take the limit as the size of the patches approches zero, we then obtain
∫
∫ ∫
∫ ∫
F β‹… 𝑑r =
curl F β‹… 𝑑S =
curl F β‹… n 𝑑𝑆,
𝐢
𝑆
𝑆
where n is the unit normal vector of 𝑆. This result is known as Stokes’ Theorem.
Stokes’ Theorem can be used either to evaluate an surface integral or an integral over the curve
that encloses it, whichever is easier.
Example (Stewart, Section 13.8, Exercise 2) Let F(π‘₯, 𝑦, 𝑧) = βŸ¨π‘¦π‘§, π‘₯𝑧, π‘₯π‘¦βŸ© and let 𝑆 be the part of
the paraboloid 𝑧 = 9 βˆ’ π‘₯2 βˆ’ 𝑦 2 that lies above the plane 𝑧 = 5, with upward orientation. By Stokes’
Theorem,
∫ ∫
∫
curl F β‹… 𝑑S =
𝑆
F β‹… 𝑑r
𝐢
where 𝐢 is the boundary curve of 𝑆, which is a circle of radius 2 centered at (0, 0, 5), and parallel
to the π‘₯𝑦-plane. It can therefore be parameterized by
π‘₯ = 2 cos 𝑑,
𝑦 = 2 sin 𝑑,
1
𝑧 = 5,
0 ≀ 𝑑 ≀ 2πœ‹.
Its tangent vector is then
rβ€² (𝑑) = βŸ¨βˆ’2 sin 𝑑, 2 cos 𝑑, 0⟩.
We then have
∫ ∫
∫
2πœ‹
curl F β‹… 𝑑S =
F(r(𝑑)) β‹… rβ€² (𝑑) 𝑑𝑑
0
𝑆
∫
2πœ‹
⟨10 sin 𝑑, 10 cos 𝑑, 4 cos 𝑑 sin π‘‘βŸ© β‹… βŸ¨βˆ’2 sin 𝑑, 2 cos 𝑑, 0⟩ 𝑑𝑑
=
0
∫
2πœ‹
βˆ’20 sin2 𝑑 + 20 cos2 𝑑 𝑑𝑑
=
0
∫
2πœ‹
= 20
cos 2𝑑 𝑑𝑑
0
=
10 sin 2π‘‘βˆ£2πœ‹
0
= 0.
This result can also be obtained by noting that because F = βˆ‡π‘“ , where 𝑓 (π‘₯, 𝑦, 𝑧) = π‘₯𝑦𝑧, it follows
that curl F = 0. β–‘
Example (Stewart, Section 13.8, Exercise 8) We wish to evaluate the line integral of F(π‘₯, 𝑦, 𝑧) =
⟨π‘₯𝑦, 2𝑧, 3π‘¦βŸ© over the curve 𝐢 that is the intersection of the cylinder π‘₯2 + 𝑦 2 = 9 with the plane
π‘₯ + 𝑧 = 5.
To describe the surface 𝑆 enclosed by 𝐢, we use the parameterization
π‘₯ = 𝑒 cos 𝑣,
𝑧 = 5 βˆ’ 𝑒 cos 𝑣,
𝑦 = 𝑒 sin 𝑣,
0 ≀ 𝑒 ≀ 3,
0 ≀ 𝑣 ≀ 2πœ‹.
Using
r𝑒 = ⟨cos 𝑣, sin 𝑣, βˆ’ cos π‘£βŸ©,
r𝑣 = βŸ¨βˆ’π‘’ sin 𝑣, 𝑒 cos 𝑣, 𝑒 sin π‘£βŸ©,
we obtain
r𝑒 × r𝑣 = βŸ¨π‘’, 0, π‘’βŸ©.
We then compute
〈
curl F =
βˆ‚ βˆ‚ βˆ‚
, ,
βˆ‚π‘₯ βˆ‚π‘¦ βˆ‚π‘§
βŒͺ
× βŸ¨π‘₯𝑦, 2𝑧, 3π‘¦βŸ© = ⟨1, 0, π‘₯⟩.
Let 𝐷 be the domain of the parameters,
𝐷 = {(𝑒, 𝑣) ∣ 0 ≀ 𝑒 ≀ 3,
We then apply Green’s Theorem and obtain
∫
∫ ∫
F β‹… 𝑑r =
curl F β‹… 𝑑S
𝐢
𝑆
2
0 ≀ 𝑣 ≀ 2πœ‹.
∫ ∫
curl F(r(𝑒, 𝑣)) β‹… (r𝑒 × r𝑣 ) 𝑑𝐴
=
𝐷
∫
3 ∫ 2πœ‹
⟨1, 0, 𝑒 cos π‘£βŸ© β‹… βŸ¨π‘’, 0, π‘’βŸ© 𝑑𝐴
=
0
∫
0
3 ∫ 2πœ‹
=
0
∫
𝑒 + 𝑒2 cos 𝑣 𝑑𝑣 𝑑𝑒
0
3
2πœ‹
(𝑒𝑣 + 𝑒2 sin 𝑣)0 𝑑𝑣 𝑑𝑒
0
∫ 3
𝑒 𝑑𝑒 𝑑𝑒
= 2πœ‹
=
0
3
𝑒2 = 2πœ‹
2 0
= 9πœ‹.
β–‘
Stokes’ Theorem can also be used to provide insight into the physical interpretation of the curl
of a vector field. Let π‘†π‘Ž be a disk of radius π‘Ž centered at a point 𝑃0 , and let πΆπ‘Ž be its boundary.
Furthermore, let v be a velocity field for a fluid. Then the line integral
∫
v β‹… 𝑑r = π‘–π‘›π‘‘πΆπ‘Ž v β‹… T 𝑑𝑠,
πΆπ‘Ž
where T is the unit tangent vector of πΆπ‘Ž , measures the tendency of the fluid to move around πΆπ‘Ž .
This is because this measure, called the circulation of v around πΆπ‘Ž , is greatest when the fluid
velocity vector is consistently parallel to the unit tangent vector. That is, the circulation around
πΆπ‘Ž is maximized when the fluid follows the path of πΆπ‘Ž .
Now, by Stokes’ Theorem,
∫
∫ ∫
∫ ∫
v β‹… 𝑑r =
curl v β‹… 𝑑S =
curl v β‹… n 𝑑𝑆 β‰ˆ curl V(𝑃0 ) β‹… n(𝑃0 ) 𝑑𝑆 β‰ˆ πœ‹π‘Ž2 curl v(𝑃0 ) β‹… n(𝑃0 ).
πΆπ‘Ž
π‘†π‘Ž
π‘†π‘Ž
As π‘Ž β†’ 0, and π‘†π‘Ž collapses to the point 𝑃0 , this approximation improves, and we obtain
∫
1
curl v(𝑃0 ) β‹… n(𝑃0 ) = lim
v β‹… 𝑑r.
π‘Žβ†’0 πœ‹π‘Ž2 πΆπ‘Ž
This shows that circulation is maximized when the axis around which the fluid is circulating, n(𝑃0 ),
is parallel to curl v. That is, the direction of curl v indicates the axis around which the greatest
circulation occurs.
3
Practice Problems
Practice problems from the recommended textbooks are:
βˆ™ Stewart: Section 13.8, Exercises 1-7 odd
βˆ™ Marsden/Tromba: Section 8.2, Exercises 5-11 odd
4