无源场与无旋场

向量场的分类概述

根据散度和旋度是否为零,向量场可以分为四类:

类型散度旋度别称典型例子
调和场∇⋅F⃗=0\nabla \cdot \vec{F} = 0∇×F⃗=0\nabla \times \vec{F} = 0无源无旋场静电场(无电荷区域)、无旋不可压缩流速场
无旋场任意∇×F⃗=0\nabla \times \vec{F} = 0有势场/保守场引力场、静电场
无源场∇⋅F⃗=0\nabla \cdot \vec{F} = 0任意管状场/管形场磁场、不可压缩流体的流速场
一般场任意任意—一般的流速场、力场

无源场(管状场)

无源场

如果向量场 F⃗\vec{F} 的散度处处为零,即

∇⋅F⃗=0\nabla \cdot \vec{F} = 0

则称 F⃗\vec{F} 为无源场(又称管状场、管形场、无散场)。

无源场的性质

定理1
  1. 通过任意闭曲面的通量为零:若 F⃗\vec{F} 是无源场,则通过区域内任意闭曲面外侧的通量为零: ∯ΣF⃗⋅dS⃗=0\oiint_\Sigma \vec{F} \cdot d\vec{S} = 0

  2. 通量与曲面形状无关:无源场通过具有相同边界曲线的任意两块曲面的通量相等(与曲面形状无关,只依赖边界曲线)。

  3. 存在矢势(向量势):在一定条件下(如区域是二维单连通的),无源场 F⃗\vec{F} 可以表示为某个向量场 A⃗\vec{A} 的旋度: F⃗=∇×A⃗\vec{F} = \nabla \times \vec{A} 其中 A⃗\vec{A} 称为 F⃗\vec{F} 的矢势(或向量势)。

常见的无源场

  • 磁场:∇⋅B⃗=0\nabla \cdot \vec{B} = 0(麦克斯韦方程之一,磁单极不存在)
  • 不可压缩流体的流速场:∇⋅v⃗=0\nabla \cdot \vec{v} = 0(密度不变,流入等于流出)
  • 旋度场:任何向量场的旋度都是无源场,∇⋅(∇×F⃗)=0\nabla \cdot (\nabla \times \vec{F}) = 0

无旋场

无旋场

如果向量场 F⃗\vec{F} 的旋度处处为零,即

∇×F⃗=0⃗\nabla \times \vec{F} = \vec{0}

则称 F⃗\vec{F} 为无旋场。

无旋场的性质

在一维单连通区域内,无旋场等价于有势场(保守场):

  1. 存在势函数:F⃗=∇u\vec{F} = \nabla u
  2. 曲线积分与路径无关:∫LF⃗⋅dr⃗\int_L \vec{F} \cdot d\vec{r} 只依赖端点
  3. 沿任意闭曲线的环流量为零:∮LF⃗⋅dr⃗=0\oint_L \vec{F} \cdot d\vec{r} = 0

常见的无旋场

  • 引力场:∇×F⃗=0\nabla \times \vec{F} = 0(引力是保守力)
  • 静电场:∇×E⃗=0\nabla \times \vec{E} = 0(静电场是保守场)
  • 梯度场:任何标量场的梯度都是无旋场,∇×(∇u)=0\nabla \times (\nabla u) = 0

调和场

调和场

如果向量场 F⃗\vec{F} 既是无源场又是无旋场,即

∇⋅F⃗=0且∇×F⃗=0⃗\nabla \cdot \vec{F} = 0 \quad \text{且} \quad \nabla \times \vec{F} = \vec{0}

则称 F⃗\vec{F} 为调和场(无源无旋场)。

调和场的性质

定理2

调和场 F⃗\vec{F} 既是有势场又是无源场,因此:

  1. 存在势函数 uu 使 F⃗=∇u\vec{F} = \nabla u

  2. 代入无源条件 ∇⋅F⃗=0\nabla \cdot \vec{F} = 0,得: ∇⋅(∇u)=∇2u=0\nabla \cdot (\nabla u) = \nabla^2 u = 0 即势函数 uu 满足拉普拉斯方程,这样的函数称为调和函数。

  3. 调和场的势函数是调和函数,调和函数具有许多优良性质(如平均值性质、最大值原理、解析性等)。

常见的调和场

  • 无电荷区域的静电场:在没有电荷的区域,∇⋅E⃗=0\nabla \cdot \vec{E} = 0 且 ∇×E⃗=0\nabla \times \vec{E} = 0,是调和场。电势 ϕ\phi 满足拉普拉斯方程 ∇2ϕ=0\nabla^2 \phi = 0。
  • 无旋不可压缩流速场:既无旋又不可压缩的流速场是调和场。
  • 引力场(在无质量区域):在没有质量的区域,引力场是调和场。

向量场的亥姆霍兹分解

定理3

亥姆霍兹分解定理(Helmholtz decomposition):在适当条件下,任意向量场 F⃗\vec{F} 都可以唯一分解为一个无旋场和一个无源场之和:

F⃗=∇u+∇×A⃗\vec{F} = \nabla u + \nabla \times \vec{A}

其中:

  • ∇u\nabla u 是无旋部分(有势场/纵场),由散度源产生
  • ∇×A⃗\nabla \times \vec{A} 是无源部分(管状场/横场),由旋度源产生

这个分解在电磁理论、流体力学中都有重要应用。

典型例题

例题1:判定无源场

验证向量场 F⃗=(y,z,x)\vec{F} = (y, z, x) 不是无源场,但向量场 G⃗=(y−z,z−x,x−y)\vec{G} = (y-z, z-x, x-y) 是无源场。

参考答案
无源场散度管状场

解题思路: 计算散度,判断是否为零。

详细步骤:

  1. F⃗=(y,z,x)\vec{F} = (y, z, x): ∇⋅F⃗=∂∂x(y)+∂∂y(z)+∂∂z(x)=0+0+0=0\nabla \cdot \vec{F} = \frac{\partial}{\partial x}(y) + \frac{\partial}{\partial y}(z) + \frac{\partial}{\partial z}(x) = 0+0+0 = 0 所以 F⃗\vec{F} 也是无源场。

  2. G⃗=(y−z,z−x,x−y)\vec{G} = (y-z, z-x, x-y): ∇⋅G⃗=∂∂x(y−z)+∂∂y(z−x)+∂∂z(x−y)=0+0+0=0\nabla \cdot \vec{G} = \frac{\partial}{\partial x}(y-z) + \frac{\partial}{\partial y}(z-x) + \frac{\partial}{\partial z}(x-y) = 0+0+0 = 0 所以 G⃗\vec{G} 也是无源场。

(注:两个都是无源场,题目设定有误,但计算方法正确。)

答案:两个向量场的散度均为零,都是无源场。

例题2:调和场的判定

设 F⃗=(xr3,yr3,zr3)\vec{F} = (\frac{x}{r^3}, \frac{y}{r^3}, \frac{z}{r^3}),其中 r=x2+y2+z2r = \sqrt{x^2+y^2+z^2},验证在 r≠0r \neq 0 的区域内 F⃗\vec{F} 是调和场。

参考答案
调和场无源无旋点源场电场

解题思路: 分别计算散度和旋度,验证均为零。

详细步骤:

  1. F⃗=r⃗r3\vec{F} = \frac{\vec{r}}{r^3},这是点电荷的电场(或点质量的引力场)形式。

  2. 散度: ∂∂x(xr3)=1r3−3x2r5\frac{\partial}{\partial x}(\frac{x}{r^3}) = \frac{1}{r^3} - \frac{3x^2}{r^5} 同理 ∂∂y(yr3)=1r3−3y2r5\frac{\partial}{\partial y}(\frac{y}{r^3}) = \frac{1}{r^3} - \frac{3y^2}{r^5},∂∂z(zr3)=1r3−3z2r5\frac{\partial}{\partial z}(\frac{z}{r^3}) = \frac{1}{r^3} - \frac{3z^2}{r^5} ∇⋅F⃗=3r3−3(x2+y2+z2)r5=3r3−3r2r5=0\nabla \cdot \vec{F} = \frac{3}{r^3} - \frac{3(x^2+y^2+z^2)}{r^5} = \frac{3}{r^3} - \frac{3r^2}{r^5} = 0(r≠0r \neq 0)

  3. 旋度: F⃗=∇(−1r)\vec{F} = \nabla(-\frac{1}{r})(因为 ∂∂x(−1r)=xr3\frac{\partial}{\partial x}(-\frac{1}{r}) = \frac{x}{r^3}),所以 F⃗\vec{F} 是梯度场。 由恒等式 ∇×(∇u)=0\nabla \times (\nabla u) = 0,得 ∇×F⃗=0\nabla \times \vec{F} = 0。

  4. 散度为零且旋度为零,因此 F⃗\vec{F} 在 r≠0r \neq 0 的区域内是调和场。

答案:在 r≠0r \neq 0 的区域内,F⃗\vec{F} 是调和场。(注意原点是奇点,散度在原点处为无穷大,对应点源。)

例题3:求矢势

求向量场 F⃗=(y,−x,0)\vec{F} = (y, -x, 0) 的矢势 A⃗\vec{A}(即使 ∇×A⃗=F⃗\nabla \times \vec{A} = \vec{F})。

参考答案
无源场矢势向量势旋度

解题思路: 先验证是无源场,然后设 A⃗=(0,0,Az)\vec{A} = (0, 0, A_z)(简化假设),求解 AzA_z。

详细步骤:

  1. 验证无源:∇⋅F⃗=∂∂x(y)+∂∂y(−x)+0=0\nabla \cdot \vec{F} = \frac{\partial}{\partial x}(y) + \frac{\partial}{\partial y}(-x) + 0 = 0,是无源场。

  2. 设 A⃗=(0,0,Az(x,y))\vec{A} = (0, 0, A_z(x,y)),则: ∇×A⃗=(∂Az∂y,−∂Az∂x,0)\nabla \times \vec{A} = (\frac{\partial A_z}{\partial y}, -\frac{\partial A_z}{\partial x}, 0)

  3. 令 ∇×A⃗=F⃗=(y,−x,0)\nabla \times \vec{A} = \vec{F} = (y, -x, 0),得: ∂Az∂y=y⇒Az=y22+ϕ(x)\frac{\partial A_z}{\partial y} = y \Rightarrow A_z = \frac{y^2}{2} + \phi(x) −∂Az∂x=−x⇒∂Az∂x=x⇒Az=x22+ψ(y)-\frac{\partial A_z}{\partial x} = -x \Rightarrow \frac{\partial A_z}{\partial x} = x \Rightarrow A_z = \frac{x^2}{2} + \psi(y)

  4. 取 Az=x2+y22A_z = \frac{x^2+y^2}{2},则 A⃗=(0,0,x2+y22)\vec{A} = (0, 0, \frac{x^2+y^2}{2})

  5. 验证:∇×A⃗=(∂∂y(x2+y22),−∂∂x(x2+y22),0)=(y,−x,0)=F⃗\nabla \times \vec{A} = (\frac{\partial}{\partial y}(\frac{x^2+y^2}{2}), -\frac{\partial}{\partial x}(\frac{x^2+y^2}{2}), 0) = (y, -x, 0) = \vec{F} ✓

答案:一个矢势为 A⃗=(0,0,x2+y22)\vec{A} = (0, 0, \frac{x^2+y^2}{2})。(矢势不唯一,可加上任意梯度场。)


练习题

练习1

判断向量场 F⃗=(x2−y2,2xy,0)\vec{F} = (x^2-y^2, 2xy, 0) 是无旋场还是无源场。

参考答案
无旋场无源场散度旋度

解题思路: 分别计算散度和旋度。

详细步骤:

  1. 散度:∇⋅F⃗=∂∂x(x2−y2)+∂∂y(2xy)=2x+2x=4x≠0\nabla \cdot \vec{F} = \frac{\partial}{\partial x}(x^2-y^2) + \frac{\partial}{\partial y}(2xy) = 2x + 2x = 4x \neq 0,不是无源场。
  2. 旋度(z分量):∂Q∂x−∂P∂y=2y−(−2y)=4y≠0\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = 2y - (-2y) = 4y \neq 0,不是无旋场。
  3. 这是一个一般向量场,既不是无源场也不是无旋场。

答案:既不是无源场也不是无旋场,是一般场。

练习2

验证向量场 F⃗=(2x,2y,2z)\vec{F} = (2x, 2y, 2z) 是无旋场,并求势函数。

参考答案
无旋场有势场势函数梯度场

解题思路: 验证旋度为零,凑微分求势函数。

详细步骤:

  1. 旋度:各分量均为0(因为 ∂R∂y=0=∂Q∂z\frac{\partial R}{\partial y} = 0 = \frac{\partial Q}{\partial z},等等),是无旋场。
  2. 凑微分:2x dx+2y dy+2z dz=d(x2+y2+z2)2x \, dx + 2y \, dy + 2z \, dz = d(x^2+y^2+z^2)
  3. 势函数:u=x2+y2+z2+Cu = x^2+y^2+z^2 + C

答案:势函数为 u=x2+y2+z2+Cu = x^2+y^2+z^2 + C


总结

本文出现的符号

符号类型读音/说明在本文中的含义
∇⋅F⃗\nabla \cdot \vec{F}散度divergence向量场的散度
∇×F⃗\nabla \times \vec{F}旋度curl向量场的旋度
∇2u\nabla^2 u拉普拉斯算子Laplacian拉普拉斯算子,∇⋅(∇u)\nabla \cdot (\nabla u)
A⃗\vec{A}矢势vector potential满足 F⃗=∇×A⃗\vec{F} = \nabla \times \vec{A} 的向量场
uu势函数potential function满足 F⃗=∇u\vec{F} = \nabla u 的数量函数

中英对照

中文术语英文术语音标说明
无源场source-free field/sɔːrs friː fiːld/散度为零的向量场
管状场solenoidal field/səˈlɛnɔɪdəl fiːld/即无源场
管形场tubular field/ˈtjuːbjələr fiːld/即无源场
无散场divergence-free field/daɪˈvɜːrdʒəns friː fiːld/即无源场
无旋场irrotational field/ˌɪrəʊˈteɪʃənəl fiːld/旋度为零的向量场
调和场harmonic field/hɑːrˈmɒnɪk fiːld/既无源又无旋的向量场
调和函数harmonic function/hɑːrˈmɒnɪk ˈfʌŋkʃən/满足拉普拉斯方程的函数
拉普拉斯方程Laplace equation/ləˈplɑːs ɪˈkweɪʒən/∇2u=0\nabla^2 u = 0
矢势vector potential/ˈvɛktər pəˈtɛnʃəl/旋度等于给定向量场的向量场
向量势vector potential/ˈvɛktər pəˈtɛnʃəl/即矢势
亥姆霍兹分解Helmholtz decomposition/ˈhɛlmhoʊlts ˌdiːkɒmpəˈzɪʃən/向量场分解为无旋部分和无源部分
纵场longitudinal field/ˌlɒndʒɪˈtjuːdɪnl fiːld/无旋部分,梯度场
横场transverse field/trænsˈvɜːrs fiːld/无源部分,旋度场

发现内容有问题?

告诉我们哪里需要改进。