Section 15.

8 Stokes’s Theorem 433

25. Using the Divergence Theorem, you have ³ S ³ curl F ˜ N dS ³³³ div curl F dV . Let
Q

F x, y , z Mi  Nj  Pk
§ wP wN · § wP wM · § wN wM ·
curl F ¨  ¸i  ¨  ¸j  ¨  ¸k
© wy wz ¹ © wx wz ¹ © wx wy ¹
w2P w2 N w2P w 2M w2N w 2M
div curl F      0.
wxwy wxwz wywx wywz wzwx wzwy

So, ³ S ³ curl F ˜ N dS ³³³ 0 dV 0.

Q

26. If F x, y, z a1i  a2 j  a3k , then div F 0.

So,

³ S ³ F ˜ N dS ³³³ div F dV ³³³ 0 dV 0.

Q Q

27. If F x, y, z xi  yj  zk , then div F 3.

³ S ³ F ˜ N dS ³³³ div F dV ³³³ 3 dV 3V .

Q Q

28. If F x, y, z xi  yj  zk , then div F 3.

1 1 1 3
F ³ S ³ F ˜ N dS F ³³³ div F dV F ³³³ 3 dV F ³³³ dV
Q Q Q

29. ³ S ³ f DN g dS ³ S ³ f ’g ˜ N dS ³³³ div f ’g dV ³³³ f div’g  ’f ˜ ’g dV ³³³ f ’ 2 g  ’f ˜ ’g dV

Q Q Q

30. ³S ³ fDN g  gDN f dS ³ S ³ f DN g dS ³ S ³ gDN f dS

³³³ f ’ 2 g  ’f ˜ ’g dV  ³³³ g’ 2 f  ’g ˜ ’f dV ³³³ f ’ 2 g  g’ 2 f dV

Q Q Q

Section 15.8 Stokes's Theorem

1. F x, y, z 2 y  z i  e z j  xyzk 3. F x, y, z 2 zi  4 x 2 j  arctan xk

i j k i j k
w w w w w w § 1 ·
curl F curl F ¨2  ¸ j  8 xk
wx wy wz wx wy wz © 1  x2 ¹
2y  z ez xyz 2z 4 x 2 arctan x

xz  e z i  yz  1 j  2k
4. F x, y, z x sin yi  y cos xj  yz 2k

2. F x, y, z x 2 i  y 2 j  x 2k i j k
w w w
i j k curl F
wx wy wz
w w w x sin y  y cos x yz 2
curl F 2xj
wx wy wz
z 2i  y sin x  x cos y k
x2 y2 x2

© 2010 Brooks/Cole, Cengage Learning

434 Chapter 15 Vector Analysis

5. F x, y, z ex
2  y2
i  ey
2  z2
j  xyzk 7. C : x 2  y 2 9, z 0, dz 0
Line Integral:
i j k
w w w ³ C F ˜ dr ³ C  y dx  x dy
curl F
wx wy wz x 3 cos t , dx 3 sin t dt , y 3 sin t , dy 3 cos t dt
x2  y2 y2  z2
e e xyz 2S

y2  z2 x2  y2
³ C F ˜ dr ³ 0 ª¬ 3sin t 3sin t  3cos t 3cos t º¼ dt
xz  2 ze i  yzj  2 ye k 2S

y2  z2 x2  y 2
³0 9 dt 18S
z x  2e i  yzj  2 ye k
Double Integral:
g x, y 9  x2  y2 , g x 2 x , g y 2 y
6. F x, y, z arcsin yi  1  x 2 j  y 2k
curl F 2k
i j k
³ S ³ curl F ˜ N dS ³ R ³ 2 dA 2 area circle 18S
w w w
curl F z
wx wy wz
9

arcsin y 1  x2 y2
ª x 1 º
2 yi  «  »k
«¬ 1  x 2 1  y »¼ 2

ª x 1 º
2 yi  «  »k x 4 C 4 y

«¬ 1  x 2 1  y 2 »¼

8. In this case, M  y  z, N x  z, P x  y and C is the circle x 2  y 2 1, z 0, dz 0.

Line Integral: ³ C F ˜ dr ³C  y  z dx  x  z dy  x  y dz ³ C  y dx  x dy
2S
Letting x cos t , y sin t , you have dx sin t dt , dy cos t dt and ³ C  y dx  x dy ³0 sin 2 t  cos 2 t dt 2S .

Double Integral: Consider F x, y , z x 2  y 2  z 2  1.

’F 2 xi  2 yj  2 zk
Then N xi  yj  zk.
’F 2 x2  y 2  z 2

2 x x y x2 y2 1
Because z 2 1  x2  y 2 , zx , and z y , dS 1 2
 2 dA dA.
2z z z z z z
§1·
Now, because curl F 2k , you have ³S ³ curl F ˜ N dS ³ R ³ 2 z¨© z ¸¹ dA ³ R ³ 2 dA 2 Area of circle of radius 1 2S .

9. Line Integral:
From the figure you see that
C1 : z 0, dz 0
C2 : x 0, dx 0
C3 : y 0, dy 0
2 0 12 0
³ C F ˜ dr ³ C xyz dx  y dy  z dz ³ C1 y dy  ³ C2 y dy  zdz  ³ C3 z dz ³ 0 y dy  ³ 2 y dy  ³ 0 z dz  ³ 12 z dz 0

Double Integral: curl F xyj  xzk z

Letting z 12  6 x  6 y g x, y , g x 6 gy. (0, 0, 12)

12

³S ³ curl F ˜ N dS ³R ³ curl F ˜ >6i  6 j  k @ dA ³R ³ 6 xy  xz dA

C3 C2
2 2 x 2 2 x
³0 ³0 ª¬6 xy  x 12  6 x  6 y º¼ dy dx ³0 ³0 12 xy  12 x  6 x 2 dy dx
2 2 x (2, 0, 0) (0, 2, 0)
³ 0 ª¬6 xy  12 xy  6 x 2 yº¼
2
dx 0 4 C1 4
0 x y

© 2010 Brooks/Cole, Cengage Learning

 Section 15.8 Stokes's Theorem 435

z
10. Line Integral: From the figure you see that
2
C1 : y 0, z 0, dy dz 0 a

2 C3
C2 : z y ,x 0, dx 0, dz 2 y dy
C3 : y a, z a 2 , dy dz 0 C2
C1
2 a
C4 : z y ,x a, dx 0, dz 2 y dy. a
C4 y
x
So,
³ C F ˜ dr ³C z dx  x 2 dy  y 2 dz ³ C1 0 dx  ³ C2 2 y dy  ³ C3 a dx  ³ C4 ª¬a dy  2 y 3 dyº¼
2 3 4 2

0 0 a 0 a
³a 2y dy  ³a a dx  ³0 ª¬a 4 xº¼  ª¬a 2 yº¼ a5  a3 a3 1  a .
3 4
a 2 2 y 3 dy
a 0

Double Integral: Because S is given by  y 2  z 0, you have

2 yj  k
N and dS 1  4 y 2 dA.
1  4 y2
Furthermore, curl F 2 yi  2 zj  2 xk. So,
a a a a
³S ³ curl F ˜ N dS ³R ³ 4 yz  2 x dA ³0 ³0 4 yz  2 x dA ³0 ³0 4 y 3  2 x dydx
a a
³0 a 4  2ax dx ª¬ a 4 x  ax 2 º¼
0
a5  a3 a3 1  a 2 .

11. These three points have equation:

x  y  z 2.
Normal vector: N i  jk
curl F 3i  j  2k

³ S ³ curl F ˜ N dS ³R ³ 6 dA 6 area of triangle in xy -plane

6 2 12
JJJK JJJK
12. Let A 0, 0, 0 , B 1, 1, 1 , and C 0, 0, 2 . Then U AB i  j  k , and V AC 2k , and

UuV 2i  2 j i  j
N .
UuV 2 2 2
2x
So, F x, y, z x  y and dS 2 dA. Because curl F
x2  y 2
k , you have ³S ³ curl F ˜ N dS ³R ³ 0 dS 0.

i j k
w w w
13. curl F 2 yi  2 zj  2k
wx wy wz
z2 2x y2
z G x, y 1  x 2  y 2 , Gx 2 x , G y 2 y

³ S ³ curl F ˜ N dS ³R ³ 2 yi  2 zj  2k ˜ 2 xi  2 yj  k dA ³ R ³ ª¬4 xy  4 y 1  x  y 2  2º¼ dA

2

1 1 x 2
³ 1 ³  1 x 2
ª¬4 xy  4 y  4 x 2 y  4 y 3  2º¼ dy dx

1 1
³ 1 4 1  x 2 dx 2 ªarcsin x  x 1  x 2 º 2S
¬ ¼ 1

© 2010 Brooks/Cole, Cengage Learning

436 Chapter 15 Vector Analysis

14. F x, y, z 4 xzi  yj  4 xyk , S : 9  x 2  y 2 , z d 0

curl F 4 xi  4 x  4 y j
G x, y , z x2  y 2  z  9
’G x , y , z 2 xi  2 yj  k

3 9  x2
³S ³ curl F ˜ N dS ³ R ³ ª¬8 x  2 y 4 x  4 y º¼ dA ³ 3 ³  ª¬8 x 2  8 xy  8 y 2 º¼ dy dx
2
9  x2
3 32
³  3 16 x 9  x2  16
9  x2
2
3
dx 0

i j k
w w w
15. curl F 2 zj
wx wy wz
z2 y z
x y
z G x, y 4  x 2  y 2 , Gx , Gy
4  x2  y2 4  x2  y 2

§ x y ·
³ S ³ curl F ˜ N ³R ³ 2 zj ˜ ¨
¨ 4 x  y
2 2
i 
4 x  y
j  k ¸ dA
2 ¸ 2
© ¹
2 yz 2y 4  x2  y2 2 4  x2
³R ³ 4  x2  y 2
dA ³R ³ 4  x2  y 2
dA ³ 2 ³  4  x2
2 y dy dx 0

16. F x, y, z x 2i  z 2 j  xyzk , S : z 4  x2  y2

i j k
w w w
curl F  xz  2 z i  yzj
wx wy wz
x2 z2  xyz

G x, y , z z  4  x2  y2
x y
’G x , y , z i  j k
4  x2  y 2 4  x2  y 2

ª z x  2 x y2 z º
³S ³ curl F ˜ N dS ³ R ³ «« 4  x2  y 2
 » dA
4  x 2  y 2 »¼
¬
2 4  x2
³ R ³ ª¬ x x  2  y 2 º¼ dA ³ 2 ³  4  x2
 x 2  2 x  y 2 dy dx

4  x2
2 ª 2 y3 º
³  2 «¬ x y  2 xy  3 »¼ dx
 4  x2

2 ª 2 º
³  2 «¬2 x 4  x2  4x 4  x2  4  x2 4  x 2 » dx
2
3 ¼
2 ª 8 8 º
³  2 «¬ 3 x 4  x2  4 x 4  x2  4  x 2 » dx
2
3 ¼
2
ª 8 § 1 ·ª xº 4 32 8 § 1 ·ª x ºº
« 3 ¨ 8 ¸ « x 2 x  4 4  x 2  16 arcsin »  4  x 2  ¨ ¸ x 4  x  4 arcsin » »
2 2

¬ © ¹¬ 2¼ 3 3 © 2 ¹¬« 2 ¼ ¼ 2
ª§ 1 · 4 1 4 º
«¨  3 ¸ 8S  3 2S  3 8S  3 2S » 0
¬© ¹ ¼

© 2010 Brooks/Cole, Cengage Learning

 Section 15.8 Stokes's Theorem 437

x
17. F x, y, z ln x 2  y 2 i  arctan j  k
y

i j k
w w w ª 1y y º ª 2y º
curl F «  2 »k « x 2  y 2 »k
wx wy wz «¬1  x y
2 2
x  y2 » ¬ ¼
¼
1 2 ln x 2  y 2 arctan x y 1
S: z 9  2 x  3 y over one petal of r 2 sin 2T in the first octant.
G x, y , z 2x  3 y  z  9
’G x , y , z 2i  3 j  k
2y S 2 2 sin 2T 2r sin T
³S ³ curl F ˜ N dS ³ R ³ x2  y2
dA ³0 ³0 r2
r dr dT
S 2
S 2 4 sin T cos T S 2 ª8 sin 3 T º 8
³0 ³0 2 sin T dr dT ³0 8 sin 2 T cos T dT «
¬ 3 ¼0
»
3

18. F x, y, z yzi  2  3 y j  x 2  y 2 k
i j k
w w w
curl F 2 yi  y  2 x j  zk
wx wy wz
yz 2  3y x2  y2
S : the first octant portion of x 2  z 2 16 over x 2  y 2 16
G x, y , z z  16  x 2

x
’G x, y, z i k
16  x 2
ª 2 xy º ª 2 xy º
³S ³ curl F ˜ N dS ³ R ³ «¬ 16  x 2
 z » dA
¼
³ R ³ «¬ 16  x 2
 16  x 2 » dA
¼
16  x 2
4 16  x2 ª 2 xy º 4 ª x º
³0 ³0 «
¬ 16  x 2
 16  x 2 » dy dx
¼
³0 «
¬ 16  x 2
y2  16  x 2 y»
¼0
dx

4
4
ª x 16  x 2  16  x 2 º dx ª 1 32 x3 º § 64 · § 64 · 64
³0 « 16  x  16 x  ¨  64  ¸  ¨ ¸ 
2
¬ ¼ »
¬ 3 3 ¼0 © 3¹ © 3¹ 3

19. curl F xyj  xzk

z G x, y x 2 , Gx 2 x, G y 0
a a a5
³ S ³ curl F ˜ N ³R ³ xyj  xzk ˜ 2 xi  k dA ³ R ³ xz dA ³0 ³0 x x
2
dy dx
4

20. F x, y, z xyzi  yj  zk
i j k
w w w
curl F xyj  xzk
wx wy wz
xyz y z
2 xi  k
S: the first octant portion of z x 2 over x 2  y 2 a 2 . You have N and dS 1  4 x 2 dA.
1  4 x2
a a 2  x2
³S ³ curl F ˜ N dS ³ R ³ xz dA ³R ³ x ³0 ³0
3
dA x3 dy dx
a
a ª 1 2 2 32 2 2 5 2º 2 5
³0 x a 2  x 2 dx « 3 x a  x  a  x2
3 2
» a
¬ 15 ¼0 15

© 2010 Brooks/Cole, Cengage Learning

438 Chapter 15 Vector Analysis

21. F x, y, z i  j  2k 22. F x, y, z  zi  yk
i j k S: x  y2 2
1
w w w i j k
curl F 0
wx wy wz w w w
curl F i  j
1 1 2 wx wy wz
z 0 y
Letting N k , you have ³S ³ curl F ˜ N dS 0.
Letting
N k , curl F ˜ N 0 and ³ ³ curl F ˜ N dS 0.
S

23. See Theorem 15.13.

24. curl F measures the rotational tendency. See page 1135.

25. (a) ³ C f ’ g ˜ dr ³ S ³ curl> f ’g @ ˜ N dS (Stokes's Theorem)

wg wg wg
f ’g f i  f j f k
wx wy wz
i j k
w w w
curl f ’g
wx wy wz
f wg wx f wg wy f wg wz
ªª § w 2 g · § wf ·§ wg ·º ª § w 2 g · § wf ·§ wg ·ºº
«« f ¨ ¸  ¨ ¸¨ ¸»  « f ¨ ¸  ¨ ¸¨ ¸»» i
¬«¬ © wywz ¹ © wy ¹© wz ¹¼ ¬ © wzwy ¹ © wz ¹© wy ¹¼¼»
ªª § w 2 g · § wf ·§ wg ·º ª § w 2 g · § wf ·§ wg ·ºº
 «« f ¨ ¸  ¨ ¸¨ ¸»  « f ¨ ¸  ¨ ¸¨ ¸»» j
¬«¬ © wxwz ¹ © wx ¹© wz ¹¼ ¬ © wzwx ¹ © wz ¹© wx ¹¼»¼
ªª § w 2 g · § wf ·§ wg ·º ª § w 2 g · § wf ·§ wg ·º º
 «« f ¨ ¸  ¨ ¸¨ ¸»  « f ¨ ¸  ¨ ¸¨ ¸» » k
¬«¬ © wxwy ¹ © wx ¹© wy ¹¼ ¬ © wywx ¹ © wy ¹© wx ¹¼ ¼»
ª§ wf ·§ wg · § wf ·§ wg ·º ª§ wf ·§ wg · § wf ·§ wg ·º ª§ wf ·§ wg · § wf ·§ wg ·º
«¨ ¸¨ ¸  ¨ ¸¨ ¸» i  «¨ ¸¨ ¸  ¨ ¸¨ ¸» j  «¨ ¸¨ ¸  ¨ ¸¨ ¸»k
¬© wy ¹© wz ¹ © wz ¹© wy ¹¼ ¬© wx ¹© wz ¹ © wz ¹© wx ¹¼ ¬© wx ¹© wy ¹ © wy ¹© wx ¹¼

i j k
wf wf wf
’ f u ’g
wx wy wz
wg wg wg
wx wy wz

So, ³ C f ’ g ˜ dr ³ S ³ curl > f ’g @ ˜ N dS ³ S ³ >’f u ’g @ ˜ N dS .

(b) ³C f ’f ˜ dr ³S ³ ’f u ’f ˜ N dS using part a

0 because ’f u ’f 0.

(c) ³C f ’ g  g ’ f ˜ dr ³C f ’ g ˜ dr  ³C g ’ f ˜ dr

³S ³ ’f u ’g ˜ N dS  ³S ³ ’g u ’f ˜ N dS using part a

³S ³ ’f u ’g ˜ N dS  ³ S ³  ’f u ’g ˜ N dS 0

© 2010 Brooks/Cole, Cengage Learning

 Section 15.8 Stokes's Theorem 439

26. f x, y, z xyz , g x, y, z z, S : z 4  x2  y 2
(a) ’g x, y, z k
f x, y , z ’g x , y , z xyzk
rt 2 cos ti  2 sin tj  0k , 0 d t d 2S

³ C ¬ª f x, y, z ’g x, y, z º¼ ˜ dr 0

(b) ’f x, y, z yzi  xzj  xyk

’g x , y , z k
i j k
’f u ’ g yz xz xy xzi  yzj
0 0 1
x y
N i  j k
4  x2  y 2 4  x2  y 2
2 2
§ x · § y · 2
dS 1¨ ¸ ¨ ¸ dA dA
¨ 4  x 2  y 2 ¸¹ ¨ 4  x 2  y 2 ¸¹ 4  x2  y 2
© ©
ª x2 z y2z º 2
³ S ³ ª’
¬ f x, y, z u ’g x, y, z º¼ ˜ N dS ³ S ³ «« 4  x2  y2
 »
4  x 2  y 2 »¼ 4  x2  y 2
dA
¬
2 x2  y 2
³S ³ 4  x2  y 2
dA

2S
2 2S 2r 2 cos 2 T  sin 2 T 2 ª 2r 3 §1 ·º
³0 ³0 4  r2
r dT dr ³0 «
¬
¨ sin 2T ¸» dr
4  r2 © 2 ¹¼ 0
0

1 1 1
2³C 2 ³S ³ 2³S ³ ³ S ³ C ˜ N dS
27. Let C ai  bj  ck , then C u r ˜ dr curl C u r ˜ N dS 2 C ˜ N dS

i j k
because C u r a b c bz  cy i  az  cx j  ay  bx k
x y z
i j k
w w w
and curl C u r 2 ai  bj  ck 2C.
wx wy wz
bz  cy cx  az ay  bx

28. (a) F x, y, z e y  zi z

From the figure you have

1
C1 : r1 t ti , 0 d t d 1, r1c i
C2 : r2 t i  tj, 0 d t d 1, r2c j C1
(0, 0, 0)
C4
(1, 0, 0) (0, 1, 0)
C3 : r3 t 1  t i  j, 0 d t d 1, r3c i 1 1
x C2 C3 y

C4 : r4 t 1  t j, 0 d t d 1, r4c j (1, 1, 0)

1 1
³ C F ˜ dr ³ C1 F ˜ r1c dt  ³ C2 F ˜ r2c dt  ³ C3 F ˜ r3c dt  ³ C4 F ˜ r4c dt ³0 e ³ 0 e
1 0
0
dt  0  dt  0 1 e

Double Integral: curl F e y  z j  e y  zk

G x, y z 0, N k
1 1 1 1
³ S ³ curl F ˜ N dS ³ R ³ e ³ 0 ³ 0 e ³ 0 e ª¬e y º¼ 1e
y y y
dA dx dy dy
0

© 2010 Brooks/Cole, Cengage Learning

440 Chapter 15 Vector Analysis

(b) F x, y, z z 2 i  x 2 j  y 2k
From the figure you have
C: r t 2 cos ti  2 sin tj  4k , 0 d t d 2S .
2S 2S
ª16 2 sin t  4 cos 2 t 2 cos t  0º dt
³ C F ˜ dr ³ C M dx  N dy  P dz ³ 0 ¬ ¼ ³0 ª¬32 sin t  8 cos3 t º¼ dt 0

Double Integral: curl F 2 yi  2 zj  2 xk

z g x, y x2  y2 , gx 2 x, gy 2y z

³ S ³ curl F ˜ N dS ³R ³
4
2 yi  2 zj  2 xk ˜ 2 xi  2 yj  k dA C

³ R ³ ª¬4 xy  4 y x  y 2  2 xº¼ dA
2

2S 2
³ 0 ³ 0 ª¬4 r sin T r cos T  4 r sin T r 2  2 r cos T º¼ r dr dT −2 −2

2 y
x 2
2S
ªª16 sin T  16 º
sin T º dT
³0 ¬¬ 3¼
cos T  128
5 ¼
0

29. Let S be the upper portion of the ellipsoid z

x  4y  z
2 2 2
4, z t 0 S: z = 4 − x 2 − 4y 2
2

Let C : r t 2 cos t , sin t , 0 , 0 d t d 2S , be the boundary of S.

1
If F M , N , P exists, then

0 ³S ³ curl F ˜ N dS by i
1 y

2 C
³ C F ˜ dr Stokes's Theorem x

³ C G ˜ dr by iii

2S sin t 2 cos t 1 2S
³0 4
,
4
, 0 ˜ 2 sin t , cos t , 0 dt
4³0
2 sin 2 t  2 cos 2 t dt S

So, there is no such F.

Review Exercises for Chapter 15

1. F x, y, z xi  j  2k 3. f x, y, z 2 x 2  xy  z 2
F x 2  12  22 x2  5 F x, y , z ’f 4 x  y i  xj  2 zk
z

3
4. f x, y, z x 2e yz
2
F x, y , z 2 xe yz i  x 2 ze yz j  x 2 ye yz k
xe yz 2i  xzj  xyk
2
3
x
5. Because wM wy 1 x 2 wN wx, F is conservative.
4 y

2. F x, y i  2 yj From M wU wx  y x and 2

N wU wy 1 x, partial integration yields

F 1  4 y2
U y x  h y and U y x  g x which
y

5
suggests that U x, y y x  C.
4
3
2
6. Because wM wy 1 y 2 z wN wx, F is not
x
−1 2 4 conservative.
−2
−3
−4
−5

© 2010 Brooks/Cole, Cengage Learning