Professional Documents
Culture Documents
humanppplus
2023.05.20
Definition 1. If we have a continuous vector field F and the path C is parametrized by r(t) where t ∈ [a, b], the line
integral of F over C is defined as
ˆ ˆ b ˆ b
F · dr = F · dr = F · r′ (t)dt
C a a
Definition 2. A vector field F is called a conservative field iff it can be written in the form F = ∇f where f is a scalar
function. We call f the potential function of F.
Theorem 1. If F is conservative, in particular denote F = ∇f , and C is a path going from a to b, then
ˆ
F · dr = f (r(b)) − f (r(a))
C
Definition 4. A region Ω is simply-connected if Ω is connected and every closed loop in Ω can be contracted to a point
continuously without leaving the region Ω.
Theorem 2 (Curl Test). Given a vector field F ∈ C 1 (Ω), then
1. If F = ∇f for some f , then ∇ × F = 0 on Ω.
Remark. If a surface S is parametrized with r(u, v), then the unit normal on a point of S is given by
∂r ∂r
∂u × ∂v
n̂ = ∂r ∂r
∂u × ∂v
1
Definition 6. Given a surface S parametrized by r(u, v) with u ∈ [a, b] and v ∈ [c, d], and scalar-valued f ∈ C 0 (R3 ) the
surface integral of f over S is defined to be
¨ ˆ d ˆ b
∂r ∂r
f dS = f (r(u, v)) × dudv
S c a ∂u ∂v
Theorem 4. Let S be parametrized by r(u, v) where u ∈ [a, b] and v ∈ [c, d]. The surface flux of F through S is given by
¨ ˆ d ˆ b
∂r ∂r
F · n̂ dS = ± F· × dudv
S c a ∂u ∂v
where the direction of n̂ is determined by the right-hand rule applied to the outer boundary C.
Definition 8. The divergence of a vector field F ∈ C 1 (R3 ) is defined as
Theorem 7 (Divergence Theorem). Let S be a closed orientable surface enclosing a simply connected region D. If F is
C 1 in and near D, then ‹ ˚
F · n̂ dS = ∇ · F dV
S D
where n̂ is directed outwards.
Corollary 7.1. If F = ∇ × G for some G, then since
∂ 2 Gz ∂ 2 Gy ∂ 2 Gx ∂ 2 Gz ∂ 2 Gy ∂ 2 Gx
∇ · (∇ × G) = − + − + − =0
∂x∂y ∂x∂z ∂y∂z ∂y∂x ∂z∂x ∂z∂y
by the Mixed Partials Theorem, by Divergence Theorem we have
‹ ‹ ˚
F · n̂ dS = (∇ × G) · n̂ dS = ∇ · (∇ × G) dV = 0
S D