Professional Documents
Culture Documents
L52-Fundamental Theorem-Green Theorem-Curl and Divergence
L52-Fundamental Theorem-Green Theorem-Curl and Divergence
Vector Calculus
Lecture 2
The Fundamental Theorem for Line Integrals
Green’s Theorem
a b
C
A
∫ ∇f idr = f ( B) − f ( A)
C
Fundamental Theorem for Line
Integrals
Theorem : For smooth curve C :
r = r (t ) =< x(t ), y (t ), z (t ) >, a ≤ t ≤ b,
∫
C
∇ f i dr = f ( B ) − f ( A)
A = r (a ), B = r (b)
Proof
b
∫
C
∇ f i dr = ∫ ∇
a
f (r (t )) ir '(t ) dt
∂f dx ∂f dy ∂f dz
b
d
= ∫( + + )dt
d
a
∂x dt ∂y dt ∂z dt
b
d
= ∫ f (r (t ))dt = f (r (b)) − f (r (a ))
a
dt
p
Example
Evaluate line integral
g of vector field
∫ Fidr
C
C : x = e sin t , y = e cos t , 0 ≤ t ≤ π
t t
1st way
y
C : x = e sin t , y = e cos t , 0 ≤ t ≤ π
t t
g ( y ) = − y 3 + C , C =const. (4)
f ( x, y ) = 3 x + x 2 y + g ( y ) =3x + x 2 y − y 3 + C
Solution…
∫ Fidr = ∫ ∇f idr = f ( B) − f ( A)
C C
(0 −e −π ) − f (0,1)
= f (0, (0 1) = −e −3π + 1
Technique for finding potential function in R3 is the same
p
Independence of Paths
g ∫ Fidr is independent
The line integral p of ppath if ∫ Fidr = ∫ Fidr for anyy
C C1 C2
two paths C 1 and C2 that have the same initial and terminal points
Theorem: ∫ Fidr
C
is independent of path
A simply
simply-connected
connected region in the
plane is a connected region such
that every simple closed curve in D
encloses only points that are in D
Theorem : F =< P, Q > on open simply-connected region D.
Suppose th
S thatt P andd Q hhave continuous
ti first-order
fi t d derivatives
d i ti
∂P ∂Q
and = throughout D. Then F is conservative
∂y ∂x
2. Green’s Theorem
Positive
P iti orientation
i t ti off a simple
i l closed
l d curve C refers
f to t a single
i l
counterclockwise traversal of C.
the
h points
i (0,0),
(0 0) (0,1),
(0 1) andd (0
(0,1)
Solution: P = x 4 , Q = xy
1 1− x
⎛ ∂Q ∂P ⎞
∫C x dx + xydy
y y = ∫∫ ⎜ − ⎟ dA = ∫ ∫ ( y − 0))dydx
4
y
D ⎝
∂x ∂y ⎠ 0 0
y =1− x
⎡1 2 ⎤ −1
1 1
1 1
= ∫⎢ y ⎥ dx = ∫ (1 − x) dx = (1 − x) =
2 31
0 ⎣
2 ⎦ y =0 20 6 0 6
3 Curl and Divergence
3.
Curl
i j k
∂ ∂ ∂
curl F = ∇ × F =
∂x ∂y ∂z
xz xyz − y 2
= −2 y − xy , −(0 − x ), ( yz − 0) = − y (2 + x ), x, yz
THEOREM:
a) curl(∇f ) = 0
b) If F is defined on 3
, and curl F = 0, then F is conservative
i j k
∂ ∂ ∂
curl F = ∇ × F =
∂x ∂y ∂z
y2 z3 2 xyz 3 3 xy 2 z 2
= 6 xyz 2 − 6 xyz 2 , −(3 y 2 z 2 − 3 y 2 z 2 ), 2 yz 3 − 2 yz 3 = 0
Example
E l : F =< xz , xyz , − y 2 >
div F = z + xz + 0 = z + zx