Logo

无源场与无旋场

向量场的分类概述

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

类型散度旋度别称典型例子
调和场∇⋅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) 是无源场。

参考答案(3 个标签)
无源场散度管状场

解题思路： 计算散度，判断是否为零。

详细步骤：

  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} 是调和场。

参考答案(4 个标签)
调和场无源无旋点源场电场

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

详细步骤：

  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}）。

参考答案(4 个标签)
无源场矢势向量势旋度

解题思路： 先验证是无源场，然后设 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) 是无旋场还是无源场。

参考答案(4 个标签)
无旋场无源场散度旋度

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

详细步骤：

  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) 是无旋场，并求势函数。

参考答案(4 个标签)
无旋场有势场势函数梯度场

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

详细步骤：

  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/无源部分，旋度场
上一章节有势场与保守场学习有势场（保守场）的定义、判定条件、势函数求法，以及曲线积分与路径无关的条件。
下一章节通量与环流量学习通量与环流量的物理意义，从向量场角度统一理解三大公式，掌握向量场积分定理。
多元函数积分学