Professional Documents
Culture Documents
7)
curl F = (2 F3 3 F2 ), (3 F1 1 F3 ), (1 F2 2 F1 ) .
Theorem
If a vector field F is conservative, then F = 0.
Remark:
I
y z f z y f , x z f z x f , x y f y x f
Example
Is the vector field F = hy 2 z 3 , 2xyz 3 , 3xy 2 z 2 i conservative in R3 ?
Solution: Notice that
i
j
k
y
z
F = x
y 2 z 3 2xyz 3 3xy 2 z 2
= (6xyz 2 6xyz 2 ), (3y 2 z 2 3y 2 z 2 ), (2yz 3 2yz 3 ) = 0.
Since F = 0 and R3 is simple connected, then F is
conservative, that is, there exists f in R3 such that F = f .
( F) n d,
S
C
r (t)
r (t)
z
n
1
Z
=
Z
F dr =
2
cos2 (t) sin(t) + 4 cos2 (t) dt.
F dr =
2 1 + cos(2t) dt.
4 cos (t) dt =
0
Z
Since
I
F dr = 4.
ZZ
n
1
( F) n d.
I =
i
j
F = x y
x 2 2x
S is the flat surface {x 2 +
k
z
z 2
y2
22
F = h0, 0, 2i.
6 1, z = 0}, so d = dx dy .
d = dx dy .
ZZ
Z
Then,
( F) n d =
2 1x 2
h0, 0, 2i
2 1x 2
h0, 0, 1i dy dx.
The right-hand side above is twice the area of the ellipse. Since we
know that an ellipse x 2 /a2 + y 2 /b 2 = 1 has area ab, we obtain
ZZ
( F) n d = 4.
S
S2
Example
Verify Stokes Theorem for the field F = hx 2 , 2x, z 2 i on any
y2 z2
2
half-ellipsoid S2 = {(x, y , z) : x + 2 + 2 = 1, z > 0}.
2
a
Solution: (The previous example was the case a 0.)
We must verify Stokes Theorem on S2 ,
I
ZZ
F dr =
( F) n2 d2 .
z
n2
n2
S2
C
1
S1
S2
ZZ
Solution:
F dr = 4, F = h0, 0, 2i, I =
C
( F) n2 d2 .
S2
n2
n2
S2
C
1
y2 z2
F(x, y , z) = x + 2 + 2 1.
2
a
2
S1
F
n2 =
,
|F|
|F|
|F|
=
2z/a2
|F k|
d2 =
2z/a2
( F) n2 = 2
.
|F|
y 2z E
F = 2x, , 2 ,
2 a
D
( F) n2 d2 = 2.
Therefore,
ZZ
ZZ
( F) n2 d2 =
2 dx dy = 2(2).
S1
S2
ZZ
( F) n2 d2 = 4, no matter what is
We conclude that
the value of a > 0.
S2
I
F dr =
C
n I
X
F dri
Ci
'
=
i=1
n I
X
F dri
i=1 C i
n ZZ
X
Zi=1
Z
i
R
( F) n d.
'
S
I
I
Remarks:
I
y Fy = x,
z Fz = 2z.
r
Find the divergence of F = 3 , where r = hx, y , zi, and
p
= |r| = x 2 + y 2 + z 2 . (Notice: |F| = 1/2 .)
y
z
x
F
=
,
F
=
.
,
y
z
3
3
3
3/2
x Fx = x x x 2 + y 2 + z 2
x Fx = x 2 + y 2 + z 2
3/2
5/2
3
x x2 + y2 + z2
(2x)
2
1
y2
1
x2
x Fx = 3 3 5 y Fy = 3 3 5 ,
1
z2
z Fz = 3 3 5 .
3
(x 2 + y 2 + z 2 )
3
2
3
3
F= 3 3
=
3
=
5
3
5
3 3
We conclude: F = 0.
I
I
Remarks:
I
We start with the flux integral across S. The surface S is the level
surface f = 0 of the function f (x, y , z) = x 2 + y 2 + z 2 R 2 . Its
outward unit normal vector n is
n=
f
,
|f |
f = h2x, 2y , 2zi,
p
|f | = 2 x 2 + y 2 + z 2 = 2R,
1
hx, y , zi, where z = z(x, y ).
R
|f |
R
Since d =
dx dy , then d = dx dy , with z = z(x, y ).
|f k|
z
We conclude that n =
r dr d.
F n d = 2
R2 r 2
S
0
0
The substitution u = R 2 r 2 implies du = 2r dr , so,
ZZ
F n d = 4R 2
u 1/2
R2
ZZ
F n d = 2R 2
R 2
1/2
2u
0
(du)
= 2R 2
2
ZZ
R2
u 1/2 du
F n d = 4R 3 .
r
across the boundary of the region
3
between the spheres
of radius R1 > R0 > 0, where r = hx, y , zi,
p
2
and = |r| = x + y 2 + z 2 .
Find the flux of the field F =
ZZZ
Since F = 0, then
( F) dV = 0. Therefore
V
ZZ
F n d = 0.
S
I
I
I
I
50 minutes.
t1
Z
f ds =
f x(t), y (t) |r0 (t)| dt,
t0
t [0, 2]
Z
f ds =
2t
1 + t 2 dt,
u = 1 + t 2,
du = 2t dt.
2 3/2 5 2 3/2
f ds =
u du = u = 5 1 .
3
3
1
C
1
Z
2
We conclude that
f ds = 5 5 1 .
3
C
1/2
t0
In this case r0 (t) = h3t 2 , 2t, 1i for t [0, 2]. We now need to
evaluate F along the curve, that is,
F(t) = F x(t), y (t), z(t) = h(t 2 )t, t(t 3 ), (t 3 )t 2 i
We obtain F(t) = ht 3 , t 4 , t 5 i.
t0
2
5
3t + 2t t
W =
Z
dt =
4 6 2 2 6
4t dt = t = 2 .
6 0 3
5
t0
t [0, 1]
1
3
t + 2t t
F dr =
0
Z
dt =
0
2 6 1
2t dt = t .
6 0
5
Z
We conclude that
1
F dr = .
3
C
Recall that n =
1
hy 0 (y ), x 0 (t)i and ds = |r0 (t)| dt, therefore
0
|r (t)|
1
0
0
F n ds = hFx , Fy i 0
hy (y ), x (t)i |r0 (t)| dt,
|r (t)|
so we obtain F n ds = Fx y 0 (t) Fy x 0 (t) dt.
2
a cos(t)a cos(t) a cos(t) sin(t) (a) sin(t) dt
F n ds =
0
2
a2 cos2 (t) + a2 sin(t) cos(t) a2 sin2 (t) dt
F n ds =
0
2
a2 cos2 (t) + a2 sin(t) cos(t) a2 sin2 (t) dt.
I
F n ds = a
1 + sin(t) cos(t) dt,
2
2 h
i
1
F n ds = a
1 + sin(2t) dt.
2
C
0
Z 2
I
Since
sin(2t) dt = 0, we obtain
F n ds = 2a2 .
0
x Fz = z Fx ,
x Fy = y Fx .
y Fz = x cos(z) = z Fy ,
x Fz = y cos(z) = z Fx ,
x Fy = sin(z) = y Fx .
Therefore, F is a conservative field, that means there exists a
scalar field f such that F = f . The equations for f are
x f = y sin(z),
y f = x sin(z),
z f = xy cos(z).
y g (y , z) = 0,
(1,2,/2)
(1,1,/2)