5 - Vector Calculus PDF
5 - Vector Calculus PDF
5. Vector Calculus
(Chapter 16)
Nguyễn Anh Tú
[email protected]
1 Vector Fields
2 Line Integrals
3 Green’s Theorem
5 Surface Integrals
6 Stokes’ Theorem
7 Divergence Theorem
Vector Fields
Definition 1.1
• Let D be a set in R2 (a plane region). A vector field on D is a
function that assigns to each point (x, y ) in D a
two-dimensional vector F (x, y ).
• Since F (x, y ) is a two-dimensional vector, we can write it in
terms of its component functions P and Q:
F = ∇f .
Line Integrals
x = x(t), y = y (t) (a ≤ t ≤ b)
Definition 2.1
If f is defined on a smooth curve C given by
x = x, y = y (x), a≤x ≤b
then
Z Z b q 2
f (x, y )ds = f x, y (x) 1 + y ′ (x) dx
C a
x = cos t, y = sin t, 0 ≤ t ≤ π.
Therefore,
Z Z π p
2
(2 + x y )ds = (2 + cos2 t sin t) (− sin t)2 + cos2 tdt
C
Z0 π cos3 t π
= (2 + cos2 t sin t)dt = 2t +
3
0 0
2
= 2π + .
3
We also denote
Z Z Z
P(x, y )dx + Q(x, y )dy := P(x, y )dx + Q(x, y )dy
C C C
R
Example 2.2 Evaluate C y 2 dx + xdy , where
(a) C is the line segment from (−5, −3) to (0, 2) and
(b) C is the arc of the parabola x = 4 − y 2 from (−5, −3) to (0, 2).
Solution: (a) A parametric representation for the line segment is
x = 5t − 5, y = 5t − 3, 0≤t≤1
x = 4 − y 2, y = y, −3 ≤ y ≤ 2.
But if we integrate with respect to arc length, the value of the line
integral does not change when we reverse the orientation of the curve:
Z Z
f (x, y )ds = f (x, y )ds
−C C
Solution:
Z Z 2π p
y sin zds = (sin t)(sin t) (− sin t)2 + (cos t)2 + 1 dt
C 0
√ Z 2π
√ Z 2π 2 2
= 2 sin tdt = (1 − cos 2t)dt
0 2 0
√ h i2π √
2 1
= t − sin 2t = 2π.
2 2 0
• If F = ⟨P, Q, R⟩ then
Z Z
F · d r = Pdx + Qdy + Rdz.
C C
• Z Z
F · dr = − F · dr
−C C
• If F is a force field, this integral represents the work done by F
on a particle moving along the curve C
Nguyễn Anh Tú [email protected] 5. Vector Calculus Fall 2022 31 / 88
Example
Evaluate C F · d r , where F (x, y , z) = xy i + yz j + zx k
R
and C is the
twisted cubic given by
x = t, y = t 2, z = t 3, 0 ≤ t ≤ 1.
Solution: We have
r (t) = t i + t 2 j + t 3 k
r ′ (t) = i + 2t j + 3t 2 k
F r (t) = t 3 i + t 5 j + t 4 k
Thus,
1 1
27
Z Z Z
F · dr = F r (t) · r ′ (t)dt = (t 3 + 5t 6 )dt =
.
C 0 0 28
f (x, y ) = 3x + x 2 y + g (y ). (4)
fy (x, y ) = x 2 + g ′ (y ). (5)
Green’s Theorem
Green’s Theorem
Let D be a domain in R2 whose boundary is a curve C is positively
oriented. If P and Q are continuously differentiable then
Z ZZ
∂Q ∂P
Pdx + Qdy = − dA
C ∂x ∂y
D
H
Note The notation C Pdx + Qdy is also used to indicate that the
line integral is calculated using the positive orientation of the closed
curve C.
Nguyễn Anh Tú [email protected] 5. Vector Calculus Fall 2022 37 / 88
Example
Evaluate I p
(3y − e sin x )dx + (7x + y 4 + 1)dy ,
C
H
Evaluate C y 2 dx + 3xydy , where C is the boundary of the
semiannular region D in the upper half-plane between the circles
x 2 + y 2 = 1 and x 2 + y 2 = 4.
2
x2
Example: Find the area enclosed by the ellipse a2
+ yb2 = 1. Solution:
The ellipse has parametric equations
Thus,
2π
1 1
I Z
A= xdy − ydx = ab(cos2 t + sin2 t)dt = πab.
2 C 2 0
Theorem
If f has continuous second order partial derivatives, then
curl(∇f ) = 0.
Theorem
If F is a twice differentiable vector field in R3 then
div(curl F ) = 0.
Surface Integrals
x 2 + z 2 = 4 cos2 u + 4 sin2 u = 4.
RR
Compute the surface integral x 2 dS, where S is the unit sphere
S
x 2 + y 2 + z 2 = 1.
that is, r (ϕ, θ) = sin ϕ cos θi + sin ϕ sin θj + cos ϕk . We can compute
that |r ϕ × r θ | = sin ϕ.
x =x y =y z = g (x, y )
• We have
r x = ⟨1, 0, gx ⟩, r y = ⟨0, 1, gy ⟩.
Thus
r x × r y = ⟨−gx , −gy , 1⟩.
• Therefore, the integral over the graph S of g is
ZZ ZZ
q
f (x, y , z)dS = f x, y , g (x, y ) 1 + (gx )2 + (gy )2 dA
S D
x = cos θ, y = sin θ, z = z,
0 ≤ θ ≤ 2π, 0 ≤ z ≤ 1 + x = 1 + cos θ.
Therefore
r θ × r z = cos θi + sin θj and
|r θ × r z | = cos2 θ + sin2 θ = 1.
p
D3 = {(x, y )| x 2 + y 2 ≤ 1}.
So ZZ ZZ q
z dS = (1 + x) 1 + (zx )2 + (zy )2 dA
S3 D3
2π 1 √
Z Z
= (1 + r cos θ) 1 + 1 + 0 r drdθ
0 0
Therefore
ZZ ZZ ZZ ZZ
z dS = z dS + z dS + z dS
S S1 S2 S3
√ 3 √
3π
= +0+ 2π = + 2 π.
2 2
and
r ϕ × r θ = sin2 ϕ cos θi + sin2 ϕ sin θj + sin ϕ cos ϕk .
Therefore
F r (u, v ) · (r ϕ × r θ )
Thus ZZ ZZ
∂g ∂g
F · dS = −P −Q + R dA
∂x ∂y
S D
Evaluate
ZZ
F ·d S
S
where
F (x, y , z) = y i + x j + z k
and S is the boundary of the solid
region E enclosed by the paraboloid
z = 1 − x2 − y2
and the plane z = 0.
since z = 0 on S2 .
• Finally,
ZZ ZZ ZZ
π
F · dS = F · dS + F · dS = .
2
S
Nguyễn Anh Tú [email protected]
S5.1 Vector Calculus
S2 Fall 2022 75 / 88
Section 6
Stokes’ Theorem
Theorem
Let S be an oriented surface and let C be its boundary with the
induced positive orientation. Then for any differentiable vector field F
Z ZZ
F · dr = curl F · d S
C
S
Note: Stokes’ Theorem states that the line integral of the tangential
component of F over the boundary of S is equal to the surface
integral of the normal component of the curl of F .
where F (x, y , z) = xz i + yz j + xy k .
Divergence Theorem
Theorem
Let E be a simple solid region and let S be the boundary surface of
E with positive (outward) orientation. Let F be a differentiable
vector field. Then
ZZ ZZZ
F · dS = div F dV
S E
Note: The Divergence Theorem states that the flux of F across the
boundary surface of E is equal to the triple integral of the divergence
of F over E .
F (x, y , z) = xy i + y 2 + e xz
2
j + sin(xy )k
Then we have
ZZ ZZZ ZZZ
F · dS = div F dV = 3ydV
S E E
Z 1 Z 1−x 2 Z 2−z
=3 ydydzdx
−1 0 0
Z 1 1−x 2
(2 − z)2
Z
=3 dzdx
−1 0 2
1 1 184
Z
(1 + x 2 )3 − 8 dx =
=− .
2 −1 35
Nguyễn Anh Tú [email protected] 5. Vector Calculus Fall 2022 86 / 88
Summary
The main results of this chapter are higher-dimensional versions of the
Fundamental Theorem of Calculus. In each case, we have an equality
between the integral of a “derivative” of a function over some region
and the integeal of the function on the boundary of that region.
Rb ′
FTC F (x) dx = F (a) − F (b)
Ra
r r r
FT for Line Integrals C
∇f · d = f (b) − f (a)
Z
RR ∂Q ∂P
Green’s Theorem ∂x
− ∂y dA = Pdx + Qdy
D C
Z
curl F · d S F · dr
RR
Stokes’ Theorem =
S C
ZZ
div F dV F · dS
RRR
Divergence Theorem =
E
S