
在笛卡尔坐标系下可以表示为梯度算子的外积
𝑟𝑜𝑡 f = ∇ × f
无旋场可以表示为标量场的梯度, 无源场可以表示为矢量场的旋度
∇ × f = 0 ⇒ f = ∇𝜑, ∇ · f = 0 ⇒ f = ∇ × A
旋度和散度确定一个矢量场, 它们均为零的矢量场为零矢量场. 一般矢量场可以分为无旋场和无源场之和
若在某单连通区域内有
∇ × A = 0
∇ · A = 0
则
∇ × A = 0 ⇒ A = ∇𝜑
∯
𝑆
(
𝜑A
)
· 𝑑S =
∭
𝑉
∇ ·
(
𝜑A
)
𝑑𝑉 =
∭
𝑉
|
A
|
2
𝑑𝑉 +
∭
𝑉
𝜑∇ · A𝑑𝑉 =
∭
𝑉
|
A
|
2
𝑑𝑉
若在边界处 A = 0 或是垂直于边界法向, 即下式 LHS 通量为零, 那么就得到了 A 处处为零
事实上, 该式 LHS 为零不允许有通量流出边界. 取一根通量管进行积分
∯
𝑆𝐹
(
𝜑A
)
· 𝑑S =
∬
𝑆𝑎
(
𝜑A
)
· 𝑑S +
∬
𝑆𝑏
(𝜑A) · 𝑑S = 𝜑
𝑎
A · ΔS
a
+ 𝜑
𝑏
A · ΔS
b
= (𝜑
𝑎
− 𝜑
𝑏
)F
而 𝜑
𝑎
当然不能等于 𝜑
𝑏
, 并且作为通量,𝐹 当然也不是零, 因而 LHS 不能为零
1.3 梯度算子的矢量性
标量场的梯度的旋度为零, 矢量场的旋度的散度为零
∇ × ∇𝜑 = 0, ∇ · ∇ × f = 0
∇ 既然可以写成矢量的形式, 它就应当遵循矢量运算的规律
前者可以理解为 ∇ × ∇ = 0, 后者可以理解为 ∇ × f 与 ∇ 正交
∇ 的矢量性就在于,它具有矢量的形式, 可以适用矢量的运算规律
1.4 梯度算子的微分性
∇ 算子的矢量性的条件是 ∇ 只作用于一个对象. 若出现了 ∇ 作用于多个对象的情形, 希望将其化为 ∇ 作
用于一个对象的形式, 就需要用到 ∇ 算子的微分性