Vector Calculus · Interactive Lecture

电磁场的数学语言

坐标系 · 标量与矢量场 · 梯度 · 散度 · 旋度 · 哈密顿算子 · 亥姆霍兹定理 · 张量

电磁学从「电荷在空间某点产生的场」开始，就注定要用场的语言说话：一个量随位置变化，我们如何描述它变化的方向、快慢、发散的源与旋转的涡？本文把这些工具一次讲清。

理工科公共数学 8 处随堂诊断 5 个交互实验 3 个推导典例 10 道课后题

预备知识讲义 · 场论入门 · LaTeX 排版版 · 适用：电磁学 / 电动力学 / 流体力学 / 连续介质力学 · 2026.09

00 / START WITH A QUESTION

为什么「场」必须用三种微分算子描述？

点电荷在空间里建立电场，温度计读出一张温度图，水槽里浮着一团旋转的水流——这三样东西看起来毫无关系，却共用同一套数学：先看「变到哪」，再看「从哪冒出来」，最后看「往哪打转」。

情境 A · 变化

山有多陡，往哪边最陡？

一张地形图用等高线表示高度。站在山坡上，你向东走和向北走，上升的速率不同；而最陡的方向只有一个。把这个「随方向变化的变化率」说清楚，就得到了方向导数与梯度。

情境 B · 源与涡

水从哪来，往哪绕？

一段河道里，如果四面都往外流水，说明中间有个源头；如果水流绕着一块礁石打转，说明这里有「涡」。把「单位体积冒出的水量」称为散度，把「单位面积的打转倾向」称为旋度，这两件事缺一不可。

学习路线

第一步：把位置说清楚。直角、柱、球三种坐标，以及换坐标时体积元怎么变（雅可比）。
第二步：把「场」分类。标量场一个数，矢量场三个数；等值面是理解梯度的几何舞台。
第三步：把「变化」微分化。方向导数→梯度→散度→旋度，逐个建立「几何图像 ↔ 解析定义 ↔ 物理含义」三对应。
第四步：统一与收束。哈密顿算子 ∇、两条恒等式、亥姆霍兹定理，以及张量记号的初探。

先修：多元函数偏导数、行列式与线代数的基础、二重/三重积分的换元。曲线坐标的尺度因子与张量的严格推导属于后续课程，本文在需要处给出可自检的定义，不冒充完整证明。

记号约定：标量场用 Φ、φ 等，矢量场用粗体 A、F、E；单位矢量写作加帽（如 r̂）；位置矢量用 r。偏导记 ∂。梯度 ∇（grad）、散度 ∇·（div）、旋度 ∇×（curl）、拉普拉斯 ∇²。

01 / MAP

场论的骨架：三个算子，两条恒等式

整个矢量分析可以压缩成一句话：一个标量场可以「求导成」矢量场（梯度），一个矢量场可以「分解出」它的源（散度）与它的涡（旋度），而这两个分解不是任意的，受两条恒等式约束。

对象	运算	输入 → 输出	回答的问题	不可越过的边界
标量场 Φ	梯度 ∇Φ	标量 → 矢量	变化最快朝哪、多快？	梯度指向「增长」方向，与等值面正交
矢量场 A	散度 ∇·A	矢量 → 标量	单位体积净流出多少？	散度是体密度，不是面上的总量
矢量场 A	旋度 ∇×A	矢量 → 矢量	单位面积环量多少、朝哪转？	旋度是面密度，需配合右手定则定向
标量场 Φ	拉普拉斯 ∇²Φ	标量 → 标量	散度与梯度复合	∇²Φ = ∇·(∇Φ)，是二阶算子

两条恒等式定下「谁配谁」

恒等式	陈述	含义	依赖物理吗？
∇×(∇Φ)=0	梯度的旋度恒为零	「无旋」是梯度场的身份标记	否，纯数学
∇·(∇×A)=0	旋度的散度恒为零	「无散」是旋度场的身份标记	否，纯数学

这两条恒等式是亥姆霍兹定理的基石：既然「无旋的」和「无散的」两类场像是矢量场的两个正交分量，那么任何一个（满足正则条件的）矢量场，原则上都能唯一地拆成一个无旋分量加一个无散分量。这就是场论的「谱分解」。

两处最常出错的台阶：① 把 ∇ 当成普通矢量，随意交换它与函数的位置——∇ 同时是「微分算子」和「矢量记号」，作用对象决定结果。② 把「散度为零」理解成「场处处为零」——散度为零只说明该点无源/无汇，场本身可以很强（如点电荷外部的电场）。

02 / COORDINATE SYSTEMS

坐标系：同一个点，三种说法

电磁问题里，「电荷均匀分布在球面上」用球坐标几乎一行写尽，用直角坐标却是一堆根号。坐标系的本质是：把「位置」用一个最贴合对称性的方式标价。

2.1 三种正交坐标系

直角坐标用三个互相垂直的坐标轴 x, y, z；柱坐标适合「绕一根轴转」的对称（长直导线、同轴电缆）；球坐标适合「绕一个点散」的对称（点电荷、带电球）。位置矢量在直角坐标里最直白：

$\mathbf r=x\,\hat{\mathbf x}+y\,\hat{\mathbf y}+z\,\hat{\mathbf z},\qquad r=\sqrt{x^2+y^2+z^2}$

直角坐标的位置矢量。三个单位矢量处处平行，是唯一「单位矢量方向不随空间点改变」的正交系。

柱坐标与球坐标则是「换一套坐标轴」来描述同一个点，变换关系写出来是：

$x=\rho\cos\varphi,\qquad y=\rho\sin\varphi,\qquad z=z,\qquad\begin{cases}\rho\ge0\\0\le\varphi<2\pi\end{cases}$

柱坐标 (ρ, φ, z)。ρ 是到 z 轴的距离，φ 是绕 z 轴从 +x 轴量起的方位角。

$x=r\sin\theta\cos\varphi,\qquad y=r\sin\theta\sin\varphi,\qquad z=r\cos\theta,\qquad\begin{cases}r\ge0\\0\le\theta\le\pi\\0\le\varphi<2\pi\end{cases}$

球坐标 (r, θ, φ)。θ 是极角（从 +z 轴量起），φ 是方位角。同一 θ 在不同教材中有「极角 / 余纬」两套约定，代公式前须确认。

约定陷阱：球坐标的极角 θ，有的书从 +z 轴量起（本文），有的书从 x−y 平面量起（余纬 90°−θ）。两者相差一个自变量替换，代公式（尤其 sinθ、cosθ 出现处）前必须先确认。电磁学国标与多数中文教材用「从 +z 轴量起」。

2.2 曲线坐标的单位矢量：为什么「方向会变」

直角坐标的单位矢量 $\hat{\mathbf x}$ 、 $\hat{\mathbf y}$ 、 $\hat{\mathbf z}$ 处处平行，是唯一「方向不随点改变」的正交系。柱坐标的 $\hat{\boldsymbol\rho}$ 指向「远离 z 轴」， $\hat{\boldsymbol\varphi}$ 指向「绕 z 轴增加 φ 的方向」——它们都随方位角 $\varphi$ 变化：

$\begin{cases}\hat{\boldsymbol\rho}=\hat{\mathbf x}\cos\varphi+\hat{\mathbf y}\sin\varphi,\\[2pt]\hat{\boldsymbol\varphi}=-\hat{\mathbf x}\sin\varphi+\hat{\mathbf y}\cos\varphi\end{cases}$

柱坐标单位矢量随 φ 变化，因此对位置求导时「方向不再是常数」——这是曲线坐标一切复杂性的根源。

这一「方向随位置变化」的性质，是曲线坐标里所有导数（梯度、散度、旋度）比直角坐标多出 1/r、1/(r sinθ) 之类尺度因子的根源。几何上很好记：沿 $\hat{\boldsymbol\theta}$ 方向走 dθ 角，实际弧长是 r·dθ，于是「对距离求导」就要多除一个 r。

2.3 积分元：雅可比从哪来

换坐标做积分时，体积元不是简单地把 dr、dθ、dφ 乘起来，而要乘上坐标变换的雅可比行列式。柱坐标与球坐标的体积元：

$\mathrm dV=\rho\,\mathrm d\rho\,\mathrm d\varphi\,\mathrm dz,\qquad \mathrm d\ell^2=\mathrm d\rho^2+\rho^2\,\mathrm d\varphi^2+\mathrm dz^2$

柱坐标体积元与线元。因子 ρ 来自面积元的度量：微小方位角张开的弧长为 ρ dφ。

$\mathrm dV=r^2\sin\theta\,\mathrm dr\,\mathrm d\theta\,\mathrm d\varphi,\qquad \mathrm dA=r^2\sin\theta\,\mathrm d\theta\,\mathrm d\varphi$

球坐标体积元与球面面积元。r² sinθ 是雅可比行列式的绝对值；dA 是半径 r 球面上的面积元。

球坐标里的 r² sinθ 就是雅可比行列式的绝对值：它在 θ=0 或 π（两极）处为零，对应「同一物理点被无穷多个 φ 标价」的坐标奇异性。一般地：

$\mathrm dV=\left\lvert\frac{\partial(x,y,z)}{\partial(u,v,w)}\right\rvert\,\mathrm du\,\mathrm dv\,\mathrm dw$

一般曲线坐标体积元。坐标变换行列式（雅可比式）以绝对值进入；当它为零时，坐标变换在某些点上退化。

记忆法：柱坐标 ρ·dρ·dφ·dz，可以先记「绕轴一圈的弧长是 ρφ」，于是面积元 ρ·dφ·dz，再乘高度方向 dρ 得体积。球坐标类似，「两个角度方向的弧长」分别为 r dθ 和 r sinθ dφ，面元 r² sinθ dθ dφ，再乘 dr。

交互实验 01 · 一点三价

同一个点，直角/柱/球坐标各是多少？

拖动直角坐标的三个分量，观察同一个点在三套坐标系下如何被重新标价；留意柱坐标的 φ 和球坐标的 θ 如何随点位置变化，以及哪些位置会出现「坐标不唯一」的奇异。

x y z

坐标换算用精确解析式：ρ=√(x²+y²)，φ=atan2(y,x)，r=√(x²+y²+z²)，θ=arccos(z/r)。圆柱/球的单位矢量随位置变化，图中以箭头给出局部方向，不表示绝对尺度。

打印版：一点 P 可用直角 (x,y,z)、柱 (ρ,φ,z)、球 (r,θ,φ) 三套坐标等价描述；极角 θ 从 +z 轴量起。

随堂 1 · 柱坐标里，ρ=0 的点（即 z 轴上的点）应如何理解？ A. 这种点不存在，柱坐标有定义死角 B. 它的 φ 角是 0，因为离轴最近 C. 点是真实存在的，但它的 φ 角无法唯一确定（坐标奇异） D. 必须改用 ρ=0、φ=0 这一对固定值来描述文末解析 ↗

03 / SCALAR & VECTOR FIELDS

标量场与矢量场：一个数还是一支箭

场，就是「空间每一点对应一个量」。这个量如果是数，就是标量场；如果是矢量，就是矢量场。这个区分决定了后面所有运算的类型。

$\Phi=\Phi(x,y,z)=\Phi(\mathbf r),\qquad \Phi:\mathbb R^3\to\mathbb R$

标量场：空间每一点对应一个数。温度、电势、密度都是标量场；它不携带任何方向信息。

温度分布、电势分布、密度分布都是标量场。它的特点是「到哪给一个数」，不携带方向。你可以把它想象成一张地形图或一幅热力图。

$\mathbf A=\mathbf A(\mathbf r)=A_x\,\hat{\mathbf x}+A_y\,\hat{\mathbf y}+A_z\,\hat{\mathbf z}$

矢量场：空间每一点对应一个矢量（三个分量）。电场、磁场、流速都是矢量场。

电场、磁场、流速都是矢量场：每个点除了大小，还有一个方向。风场图里的一支支箭头，就是流速矢量场的可视化。

等值面：标量场的「地形」

$\Phi(\mathbf r)=C\qquad\Longrightarrow\qquad \text{level surface}$

标量场的等值面。梯度方向与等值面处处正交——这是场论几何意义的核心之一。

标量场取同一数值的所有点连成的曲面叫等值面（二维是等高线）。它回答了「这个场在空间里长什么样」的几何问题；更重要的是，等值面与梯度处处正交——这是下一节梯度几何意义的核心，也是「电场线垂直于等势面」这句话的数学来源。

随堂 2 · 下列哪个不是标量场？ A. 一间屋子里的温度分布 T(x,y,z) B. 一片海域的洋流速度 v(x,y,z) C. 空间中的电势 φ(x,y,z) D. 大气中的气压 p(x,y,z) 文末解析 ↗

04 / VECTOR ALGEBRA

矢量代数：点积量「同向」，叉积量「面积」

在谈微分之前，先确定矢量之间「怎么乘」。两种乘法各有几何含义，不可混用：点积给出「同向程度」（一个数），叉积给出「张开的面积与法向」（一个矢量）。

$\mathbf A\cdot\mathbf B=\lvert\mathbf A\rvert\lvert\mathbf B\rvert\cos\theta=A_xB_x+A_yB_y+A_zB_z$

点积（标量积）：结果是数。几何定义与代数分量定义等价；点积为零当且仅当两矢量正交。

点积分量式 A_xB_x+A_yB_y+A_zB_z 与几何式 |A||B|cosθ 是同一个数。它是「投影」的语言：A 在 B 方向上的投影乘以 B 的长度。两矢量正交 ⇔ 点积为零。

$\mathbf A\times\mathbf B=\begin{vmatrix}\hat{\mathbf x}&\hat{\mathbf y}&\hat{\mathbf z}\\A_x&A_y&A_z\\B_x&B_y&B_z\end{vmatrix}$

叉积（矢量积）：结果是矢量，方向由右手定则确定。A×B = −B×A，叉积反对称。

$\lvert\mathbf A\times\mathbf B\rvert=\lvert\mathbf A\rvert\lvert\mathbf B\rvert\sin\theta=\text{area of parallelogram}$

叉积的模等于两矢量张成平行四边形的面积，是角动量、磁力等几何意义的来源。

叉积是「右手定则」的语言，且反对称：交换两矢量后变号（A×B = −B×A）。模 |A||B|sinθ 正是两矢量张成平行四边形的面积——角动量 L=r×p、磁力 F=qv×B 都从这个几何里来。

三重积与两个必须记住的公式

$\mathbf A\cdot(\mathbf B\times\mathbf C)=[\mathbf A,\mathbf B,\mathbf C]=\text{volume of parallelepiped}$

标量三重积等于平行六面体的有向体积；下标轮换不变，交换两矢量变号。

$\mathbf A\times(\mathbf B\times\mathbf C)=\mathbf B(\mathbf A\cdot\mathbf C)-\mathbf C(\mathbf A\cdot\mathbf B)$

矢量三重积，即 BAC–CAB 法则。括号不可省略：(A×B)×C 与 A×(B×C) 一般不相等。

BAC–CAB 法则：A×( B×C ) = B(A·C) − C(A·B)。括号不能省略，因为叉积不结合：(A×B)×C ≠ A×( B×C)。这个法则在推导矢量三重积、以及后面证明恒等式时反复出现。

$\begin{aligned}\mathbf A\times(\mathbf B+\mathbf C)&=\mathbf A\times\mathbf B+\mathbf A\times\mathbf C\\\mathbf A\cdot(\mathbf B+\mathbf C)&=\mathbf A\cdot\mathbf B+\mathbf A\cdot\mathbf C\end{aligned}$

点积与叉积对加法都满足分配律；但两者都「不结合」，运算顺序必须显式写出。

分配律成立；但注意点积与叉积都不满足结合律，例如 A·(B·C) 无意义（点积得标量不能再点积）。运算顺序必须显式写括号。

交互实验 02 · 两种乘法

调角度和模，看点积与叉积如何响应

给定平面内两矢量 A、B（都从原点出发）。拖动它们，实时对比 |A·B| 与 |A×B|；留意 θ=90° 时点积归零、叉积最大，θ=0° 时正好反过来。

|A| θ_A（度） |B| θ_B（度）

点积按 A·B=|A||B|cos(θ_B−θ_A)，叉积的模按 |A||B||sin(θ_B−θ_A)|（平面内取正面积，方向约定为 +z 或 −z）。

打印版：点积衡量同向，叉积衡量垂直张开的面积。θ=0° 时点积最大叉积零；θ=90° 时相反。

随堂 3 · 关于叉积，下列说法正确的是？ A. A×B 与 B×A 方向相反，叉积反对称 B. A×B 与 B×A 相等，因为乘法可交换 C. A×B 的结果是一个标量 D. 叉积满足结合律，括号可随意省略文末解析 ↗

05 / DIRECTIONAL DERIVATIVE & GRADIENT

方向导数与梯度：把「变化」拆成方向 × 快慢

「函数在某点变化多快」这个问题本身不完整——还得问「沿哪个方向」。方向导数回答「沿指定方向变多快」，梯度则把这个信息打包成一个矢量。

$\frac{\mathrm d\Phi}{\mathrm ds}=\lim_{\Delta s\to0}\frac{\Phi(\mathbf r+\hat{\mathbf u}\Delta s)-\Phi(\mathbf r)}{\Delta s}$

方向导数：标量场在单位方向 û 上的变化率。它把「变化快慢」与「沿哪个方向」两件事拆开。

方向导数是标量场沿单位方向 $\hat{\mathbf u}$ 的变化率。它把「变化」拆成两半：选定方向 $\hat{\mathbf u}$ ，再看 Φ 沿它走一小步改变了多少。

$\nabla\Phi=\operatorname{grad}\Phi=\frac{\partial\Phi}{\partial x}\hat{\mathbf x}+\frac{\partial\Phi}{\partial y}\hat{\mathbf y}+\frac{\partial\Phi}{\partial z}\hat{\mathbf z}$

梯度：标量场变化最快方向与最大变化率。梯度指向增加最快的方向，它不是「场本身的方向」。

常见误解：梯度不是「场的方向」，而是「增加最快的方向」。标量场本身没有方向可言，梯度是它「求导」后诞生的那个矢量。讲电势时，梯度 ∇φ 指向电势上升最快处，而电场 E=−∇φ 指向电势下降最快处，正负号就在这里。

方向导数与梯度的关系

$\frac{\mathrm d\Phi}{\mathrm ds}=\lvert\nabla\Phi\rvert\cos\alpha\qquad\Longrightarrow\qquad -\lvert\nabla\Phi\rvert\le\frac{\mathrm d\Phi}{\mathrm ds}\le\lvert\nabla\Phi\rvert$

方向导数的取值范围。沿梯度方向取最大 |∇Φ|，逆着取最小 −|∇Φ|，沿等值面切向取零。

关键结论：方向导数 = 梯度在该方向上的投影。由 |∇Φ|cosα 立得：沿梯度方向（cosα=1）取最大 |∇Φ|；逆着梯度（cosα=−1）取最小 −|∇Φ|；沿等值面切向（cosα=0）取零。这一句「等值面切向导数为零」，等价于「梯度垂直于等值面」。

曲线坐标的梯度与一个重要特例

$\nabla\Phi=\frac{\partial\Phi}{\partial r}\hat{\mathbf r}+\frac{1}{r}\frac{\partial\Phi}{\partial\theta}\hat{\boldsymbol\theta}+\frac{1}{r\sin\theta}\frac{\partial\Phi}{\partial\varphi}\hat{\boldsymbol\varphi}$

球坐标梯度。与直角坐标不同，这里出现 1/r、1/(r sinθ) 两个尺度因子。

球坐标里每项多乘 1/r、1/(r sinθ)，正是第 02 节「单位矢量方向随位置变」的直接后果。一个贯穿全局的特例是距离函数 r=| $\mathbf r$ | 的梯度：

$\Phi=\sqrt{x^2+y^2+z^2}=r\qquad\Longrightarrow\qquad\nabla\Phi=\hat{\mathbf r}=\mathbf r/r$

重要特例：距离函数 r 的梯度恒为单位径向矢量。这是绝大多数有心场推导的起点。

「r 的梯度是单位径向矢量 $\hat{\mathbf r}$ 」是所有有心场（如点电荷场 ∝ $1/r^2$ ）推导的起点，务必当作肌肉记忆。

交互实验 03 · 梯度与最陡方向

在标量场上拖一个方向，验证方向导数何时最大

取标量场 Φ(x,y)=x²+2xy+y²（一个可以手算梯度的简单场）。图上画等值线与各点的梯度箭头；拖动一个单位方向 û，实时计算方向导数 ∇Φ·û，并验证：û 转到与梯度同向时，方向导数最大。

观测点 x 观测点 y 方向 û 的角度（度）

Φ=x²+2xy+y²=(x+y)²，其梯度 ∇Φ=(2x+2y, 2x+2y)=2(x+y)(1,1) 精确成立。等值线由 Φ=C 解出（一族平行直线 x+y=±√C）；方向导数按 ∇Φ·û=2(x+y)(cosα+sinα) 精确计算。

打印版：方向导数是梯度在该方向的投影，最大值为 |∇Φ|，出现在 û∥∇Φ 时；最小为 −|∇Φ|，出现在 û 反向时。

典例 1 · 从函数到梯度

手算 Φ=x²y+yz² 的梯度与方向导数

求 Φ(x,y,z)=x²y+yz² 在点 P(1,1,1) 处的梯度，以及沿 û=(1/√2, 0, 1/√2) 的方向导数，并判断 û 是否指向最陡方向。

展开分析与推导

① 求梯度：三个偏导分别为 ∂Φ/∂x=2xy、∂Φ/∂y=x²+z²、∂Φ/∂z=2yz。在 P(1,1,1)：∇Φ=(2,2,2)。

② 求大小：|∇Φ|=√(2²+2²+2²)=2√3≈3.464。这是 Φ 在 P 处「最陡上升速率」。

③ 方向导数：∇Φ·û=2·(1/√2)+2·0+2·(1/√2)=4/√2=2√2≈2.828。

④ 判断：2√2 < 2√3，故 û 不是最陡方向。最陡方向是 ∇Φ/|∇Φ|=(1,1,1)/√3。沿它方向导数恰好等于 |∇Φ|=2√3。

随堂 4 · 关于方向导数与梯度，下列说法正确的是？ A. 方向导数沿任意方向都相等，与方向无关 B. 沿梯度方向，方向导数取最大值 |∇Φ| C. 梯度指向 Φ 减小最快的方向 D. 沿等值面切向，方向导数取最大值文末解析 ↗

06 / FLUX & DIVERGENCE

通量与散度：从「面上流多少」到「点上冒多少」

先说「穿过一块面的总量」（通量，是积分），再把它「分摊到单位体积」（散度，是导数）。两者的桥梁是高斯散度定理。

$\Phi_{\mathbf A}=\iint_S \mathbf A\cdot\mathrm d\mathbf S=\iint_S \mathbf A\cdot\hat{\mathbf n}\,\mathrm dA$

矢量场穿过曲面 S 的通量。单位法向 n̂ 的方向约定：闭合曲面取外法向。

通量度量矢量场「穿过」曲面 S 的量。注意法向 $\mathrm d\mathbf S$ 的方向约定：闭合曲面一律取外法向，这样「往外流为正、往内流为负」才有统一含义。

散度：源的密度

$\nabla\cdot\mathbf A=\operatorname{div}\mathbf A=\frac{\partial A_x}{\partial x}+\frac{\partial A_y}{\partial y}+\frac{\partial A_z}{\partial z}$

散度：单位体积的净流出量，即「源」的密度。散度为正表示该点发源（source），为负表示汇集（sink）。

散度是「单位体积的净流出量」，即源（source）/汇（sink）的密度。它是对矢量场三个分量分别求偏导再相加，结果是标量。散度大于零的点在「发源」，小于零的点在「汇集」，等于零的点「有进有出、进出相抵」。

最常见的错误：把「散度为零」误当「场为零」。以点电荷场 E ∝ $\hat{\mathbf r}$ /r² 为例：在 r≠0 处散度严格为零（代入球坐标散度可验证），但场并不为零——只不过「流出某个小球面的通量」恰好被「更远处场强减弱」所补偿，净源密度是零。源不在那里，而在 r=0 的奇点。

$\oiint_{\partial V}\mathbf A\cdot\mathrm d\mathbf S=\iiint_V (\nabla\cdot\mathbf A)\,\mathrm dV$

高斯散度定理（奥高定理）：把闭曲面积分化为体积积分。这是通量与散度两个概念的桥梁。

这一定理说明：某个体积 V 内「源的总强度」（散度积分）正好等于「穿过其边界面的总通量」。它把局部（散度）与整体（通量）两种描述精确连接。

$\nabla\cdot\mathbf A=\frac{1}{r^2}\frac{\partial}{\partial r}\!\bigl(r^2A_r\bigr)+\frac{1}{r\sin\theta}\frac{\partial}{\partial\theta}\!\bigl(\sin\theta\,A_\theta\bigr)+\frac{1}{r\sin\theta}\frac{\partial A_\varphi}{\partial\varphi}$

球坐标散度。点电荷场 ∝ r̂/r² 在 r≠0 处散度为零——源只集中在 r=0 处。

电磁学里的直接应用

$\oiint_{\partial V}\mathbf E\cdot\mathrm d\mathbf S=\frac{Q_{\mathrm{enc}}}{\varepsilon_0}$

高斯定律（电磁学应用）：闭合面通量只由面内净电荷决定，是散度定理的直接应用。

高斯定律正是「散度定理 + 库仑定律」的复合：闭合面电通量等于面内净电荷除以 $\varepsilon_0$ 。它属于「既无对称性也成立」的精确表述；但只有当场具有球/柱/平面对称时，才能由它反过来解出场的绝对值——这个「适用边界」必须写进每一条结论。

交互实验 04 · 通量与散度

一个径向场，方盒边界上的净通量是多少？

取径向场 A(x,y)=c·(x, y)，其散度 ∇·A=2c 精确成立（平面场）。在图上画一个以原点区域附近的小方块，沿四边采样 A 的流出，数值求净通量，并与 2c×面积对照：净通量 ≈ 散度 × 面积。

系数 c（场强）方框半宽

场 A=c(x,y)，散度 ∇·A=∂(cx)/∂x+∂(cy)/∂y=2c。净通量用高斯散度定理的左端数值积分（四边中点上 A·n̂ 求和×边长），与 2c×(面积) 对照。对这类线性场，中点采样是精确的，故任意方块大小下两者都严格相等（偏差恒为 0）；换成非线性场，才需要把方块取得足够小才能逼近散度。

打印版：通量是面积分，散度是单位体积通量。径向场 A=c(x,y) 散度恒为 2c，处处是源（c>0）。

典例 2 · 高斯定律解点电荷场

用散度定理还原库仑场的 1/r²

假设空间中有一个总电荷量 Q 的点电荷位于原点，其电场具有球对称性 E=E(r) $\hat{\mathbf r}$ 。利用上一小节的闭曲面高斯定律（∮E·dS=Q_enc/ε₀）求 E(r)。

展开分析与推导

① 选高斯面：以电荷为球心、半径 r 的球面。球对称保证面上各点 E 大小相等、方向沿外法向。

② 左端通量：∮E·dS = E(r)·4πr²（E 处处与面元同向、大小恒定，可直接提出）。

③ 右端电荷：面内净电荷就是 Q，故 E(r)·4πr² = Q/ε₀。

④ 解出：E(r) = Q/(4πε₀ r²)，即熟知的库仑场 ∝ 1/r²。

随堂 5 · 某区域内矢量场 A 处处满足 ∇·A=0，能推出什么？ A. 该区域内 A 处处为零 B. 该区域内 A 处处为常数 C. 穿过该区任一边界的通量一定为零 D. 该区域内无源无汇，但场本身可不为零文末解析 ↗

07 / CIRCULATION & CURL

环量与旋度：从「绕圈走一圈」到「点上转多急」

散度回答「冒不冒」，旋度回答「转不转」。先定义沿闭合线的环量（积分），再把它分摊到单位面积（旋度，是导数），桥梁是斯托克斯定理。

$\Gamma=\oint_C \mathbf A\cdot\mathrm d\boldsymbol\ell$

环量：矢量场沿闭合路径的线积分。它度量场「绕圈」的倾向，是旋度概念的前奏。

环量是矢量场沿闭合路径 C 的线积分。它度量场「沿路径推着走」的净效应。在磁学里，磁场沿闭合回路的环量正是安培环路定律的左端。

旋度：涡的密度

$\nabla\times\mathbf A=\operatorname{curl}\mathbf A=\begin{vmatrix}\hat{\mathbf x}&\hat{\mathbf y}&\hat{\mathbf z}\\[2pt]\dfrac{\partial}{\partial x}&\dfrac{\partial}{\partial y}&\dfrac{\partial}{\partial z}\\[6pt]A_x&A_y&A_z\end{vmatrix}$

旋度：单位面积的环量极限，即「涡旋」的密度。方向由右手定则与环流方向对应。

旋度是「单位面积的环量极限」，即涡旋（vortex）的面密度。它是对矢量场做「叉积式」的偏导组合，结果是矢量：大小表示转的急，方向由右手定则与环流对应（右手四指沿环流，拇指指向旋度方向）。

常见错误：用「场线弯曲」判断是否有旋。场线弯不弯与旋度无必然关系——点电荷场线是直线（无旋），而「看起来」笔直的平行流场 A=(−y, 0, 0) 却有非零旋度（下层流速方向一致但大小不一，会带动小桨叶旋转）。判断旋度要看「微小桨叶会不会转」，不是看线直不直。

$\oint_{C}\mathbf A\cdot\mathrm d\boldsymbol\ell=\iint_{S}(\nabla\times\mathbf A)\cdot\mathrm d\mathbf S$

斯托克斯定理：把线积分（环量）化为曲面积分。曲面的边界正是那条闭合曲线 C。

斯托克斯定理把「沿边界的环量」与「穿过内部区域的旋度通量」连接起来。它和高斯散度定理并列为场论两大积分定理，一个管「转」，一个管「冒」。

$\nabla\times\mathbf A=\frac{1}{r\sin\theta}\!\Bigl[\frac{\partial}{\partial\theta}\!\bigl(\sin\theta\,A_\varphi\bigr)-\frac{\partial A_\theta}{\partial\varphi}\Bigr]\hat{\mathbf r}+\frac{1}{r}\!\Bigl[\frac{1}{\sin\theta}\frac{\partial A_r}{\partial\varphi}-\frac{\partial}{\partial r}\!\bigl(rA_\varphi\bigr)\Bigr]\hat{\boldsymbol\theta}+\frac{1}{r}\!\Bigl[\frac{\partial}{\partial r}\!\bigl(rA_\theta\bigr)-\frac{\partial A_r}{\partial\theta}\Bigr]\hat{\boldsymbol\varphi}$

球坐标旋度，形式最繁。实践中多借助对称性选直角坐标或直接套用斯托克斯定理。

两类特殊场

$\nabla\times\mathbf A=\mathbf 0\ \Leftrightarrow\ \mathbf A=-\nabla\varphi\ \text{(locally)},\qquad \nabla\cdot\mathbf A=0\ \Leftrightarrow\ \mathbf A=\nabla\times\mathbf B\ \text{(locally)}$

无旋场可写为某标量势的（负）梯度；无散场可写为某矢量势的旋度。两条都是亥姆霍兹定理的特例。

无旋场（curl=0）可写成某标量势的（负）梯度，即「保守场」；无散场（div=0）可写成某矢量势的旋度。注意「可写成」在数学上是局部成立的，全局还依赖区域的拓扑（如挖去奇点后，某些无旋场无法全局定义单值势）。电磁学里静电场的 E=−∇φ 与磁场的 B=∇×A 正是这两句话。

交互实验 05 · 环量与旋度

把一个小环放进旋转场，看它转不转

取平面场 A(x,y)=k·(−y, x)（绕原点旋转），其旋度 ∇×A=2k 精确成立。图上画一个以观测点为中心的小方块，沿其四边数值求环量，与 2k×面积对照：环量 ≈ 旋度 × 面积。拖动观测点看环量与旋度是否处处一致。

系数 k（旋转强度）观测点 x 观测点 y

场 A=k(−y,x)，旋度 ∇×A=∂(kx)/∂x−∂(−ky)/∂y=2k。环量按斯托克斯定理左端数值积分（四边 A·dℓ 求和），与 2k×（面积）对照；这个场处处等速旋转，旋度是常数。

打印版：环量是线积分，旋度是单位面积环量。旋转场 A=k(−y,x) 旋度恒为 2k。

典例 3 · 斯托克斯定理验证环量

旋转场沿圆的环量 = 旋度 × 面积

取平面场 A=k(−y, x)（即交互实验 05 的场），求它沿半径为 R 的圆（逆时针）的环量，并与「旋度 × 面积」对照。

展开分析与推导

① 旋度：∇×A=(0,0,2k)，大小恒为 2k，方向沿 +z。

② 斯托克斯右端：∮复旋度穿过圆面积 = 2k·πR²（旋度处处同向且恒定，直接提出）。

③ 直接算环量：圆周参数化 r=(R cos t, R sin t)，dℓ=R(−sin t, cos t)dt；A=k(−R sin t, R cos t)。故 A·dℓ=kR²(sin²t+cos²t)dt=kR² dt。积分 t∈[0,2π] 得环量 = 2πkR²。

④ 对照：2πkR² = 2k·πR²，两步一致，斯托克斯定理成立。

随堂 6 · 判断一个矢量场是否「无旋」（保守），可靠依据是？ A. 计算 ∇×A 是否为零 B. 看场线是否弯曲 C. 看场的大小是否处处相等 D. 看散度 ∇·A 是否为零文末解析 ↗

08 / THE DEL OPERATOR

哈密顿算子：一个 ∇ 统摄三种运算

梯度、散度、旋度看似三个公式，其实只是同一个「矢量微分算子」∇ 的三种用法：乘一个标量、点乘一个矢量、叉乘一个矢量。

$\nabla=\hat{\mathbf x}\frac{\partial}{\partial x}+\hat{\mathbf y}\frac{\partial}{\partial y}+\hat{\mathbf z}\frac{\partial}{\partial z}$

哈密顿（nabla）算子：一个「矢量形式」的微分算子，兼具矢量的代数性质与微分运算规则。

∇ 读作 nabla（或 del），形式上是一个「矢量的微分算子」。它有两重身份：矢量（有三个分量，能参与点积、叉积）与微分算子（要对右边的东西求导）。这一双重身份是它既强大又容易用错的原因。

$\operatorname{grad}\Phi=\nabla\Phi,\qquad \operatorname{div}\mathbf A=\nabla\cdot\mathbf A,\qquad \operatorname{curl}\mathbf A=\nabla\times\mathbf A$

三个基本场论量统一用 ∇ 表示：梯度作用于标量得矢量，散度作用于矢量得标量，旋度作用于矢量得矢量。

把三个定义摆在一起，规律一目了然：∇ 乘标量 → 梯度（得矢量）；∇·矢量 → 散度（得标量）；∇×矢量 → 旋度（得矢量）。三者作用对象不同、输出类型不同，不能互换。

$\nabla^2\Phi=\nabla\cdot(\nabla\Phi)=\frac{\partial^2\Phi}{\partial x^2}+\frac{\partial^2\Phi}{\partial y^2}+\frac{\partial^2\Phi}{\partial z^2}$

拉普拉斯算子 ∇²：散度与梯度的复合，作用于标量得标量。电磁学中 ∇²Φ = −ρ/ε₀ 即泊松方程。

拉普拉斯算子 ∇² 是「先梯度再散度」的复合，相当于对每个坐标轴求两次偏导再相加。泊松方程 ∇²φ=−ρ/ε₀ 是它在电磁学里的招牌应用。

$\begin{aligned}\nabla(\Phi\Psi)&=\Phi\nabla\Psi+\Psi\nabla\Phi\\\nabla\cdot(\Phi\mathbf A)&=\Phi\,\nabla\cdot\mathbf A+\mathbf A\cdot\nabla\Phi\end{aligned}$

∇ 同时满足微分（莱布尼茨乘积）规则与矢量运算规则，故必须对乘积中每个因子都施加。

用 ∇ 最容易踩的两个坑：① 它不交换：φ∇·A ≠ (A·∇)φ，前者是「φ 乘以 A 的散度」，后者是「A 方向对 φ 求导」；② 对乘积作用时要对每个因子都施加（莱布尼茨规则），例如 ∇·(φA) 必须展开成 φ∇·A+A·∇φ 两项，不能只作用一项。

随堂 7 · 关于 ∇·(φA)，正确说法是？ A. 等于 φ(∇·A)，∇ 只作用在 A 上 B. 等于 (∇φ)·A，∇ 只作用在 φ 上 C. 等于 φ∇·A + A·∇φ，乘积每个因子都要被作用 D. 等于 φ∇·A − A·∇φ 文末解析 ↗

09 / IDENTITIES & HELMHOLTZ

两条恒等式与亥姆霍兹定理：场的「谱分解」

梯度、散度、旋度并不是互相独立的三种玩法——它们被两条恒等式拴在一起，而这两条恒等式恰好拼出亥姆霍兹定理：任何场都能唯一分解成「无旋」加「无散」。

恒等式一：梯度无旋

$\nabla\times(\nabla\Phi)=\mathbf 0\qquad(\text{for any smooth scalar }\Phi)$

重要恒等式一：梯度的旋度恒为零，即「梯度场必无旋」。此式不依赖任何物理定律。

含义：只要 Φ 够光滑，对它先取梯度再取旋度，结果恒为零。这不是物理定律，而是二阶混合偏导可交换（∂²/∂x∂y = ∂²/∂y∂x）的直接推论。反过来（区域单连通时），旋度为零的场必可写成某标量势的梯度——这正是静电场引入电势 φ 的依据。

恒等式二：旋度无散

$\nabla\cdot(\nabla\times\mathbf A)=0\qquad(\text{for any smooth vector }\mathbf A)$

重要恒等式二：旋度的散度恒为零，即「旋度场必无散」。两条恒等式属纯数学，对一切光滑场均成立。

含义：对任何矢量场 A 先取旋度再取散度恒为零。它保证「不存在磁单极」这一句可以写成 ∇·B=0——因为 B=∇×A 自动满足无散。两条恒等式的证明都只用混合偏导的对称性，与任何物理内容无关。

亥姆霍兹定理

$\mathbf F(\mathbf r)=-\nabla\varphi(\mathbf r)+\nabla\times\mathbf A(\mathbf r),\qquad \nabla\cdot\mathbf A=0\ \text{(gauge fixing)}$

亥姆霍兹定理：满足一定正则条件的矢量场可唯一分解为无旋分量与无散分量之和（差一个常矢量）。

$\mathbf F=-\nabla\varphi+\nabla\times\mathbf A\ \ \text{is determined by}\ \ \begin{cases}\nabla\cdot\mathbf F&(\text{source})\\\nabla\times\mathbf F&(\text{vortex})\end{cases}\ \text{and boundary conditions}$

亥姆霍兹定理要点：矢量场由它的散度（源）与旋度（涡）连同适当边界条件唯一确定。

合起来就是亥姆霍兹定理：在适当正则性与边界条件下，一个矢量场由它的散度（源）与旋度（涡）唯一确定，并可分解为「标量势的负梯度（无旋部分）」与「矢量势的旋度（无散部分）」之和。

这在电磁学里是决定性的：要唯一确定一个场，光给散度不够、光给旋度也不够，必须两者都给，再加上边界条件。麦克斯韦方程组之所以能定解，正是因为它同时给出了 ∇·E 与 ∇×E（以及 ∇·B、∇×B）。

随堂 8 · ∇×(∇Φ)=0 这条恒等式依赖物理吗？ A. 依赖，它是库仑定律的推论 B. 不依赖，它是混合偏导可交换的纯数学结论 C. 依赖，只在静电场中成立 D. 只在无电荷区域成立文末解析 ↗

10 / TENSORS · A FIRST LOOK

张量初探：当「方向」还不够用时

矢量已经能描述「有方向的量」，但有些量需要「方向对方向」的映射——比如应力（面上沿某方向的力）、电磁动量流（能量朝哪流、动量朝哪传）。这就需要二阶张量。

从并矢到张量

$\mathbf A\mathbf B=A_xB_x\,\hat{\mathbf x}\hat{\mathbf x}+A_xB_y\,\hat{\mathbf x}\hat{\mathbf y}+\cdots+A_zB_z\,\hat{\mathbf z}\hat{\mathbf z}\quad(\text{dyad})$

并矢（dyad）：两个矢量「并列」构成二秩张量，其分量是两矢量分量之积。

两个矢量「并列」写在一起（不作点积也不作叉积）就得到一个并矢（dyad），它的分量是两个矢量分量的九种两两乘积。并矢是最简单的二阶张量，把「第 i 坐标方向」与「第 j 坐标方向」都记录下来。

$\delta_{ij}=\begin{cases}1,&i=j\\0,&i\neq j\end{cases},\qquad \mathbf A\cdot\mathbf B=\sum_i A_iB_i$

克朗内克 δ：单位张量的分量。用 δ_ij 可把点积写成双重求和，为张量与微分几何入门铺路。

克朗内克 δ 是单位张量的分量：它与任意矢量点积等于原矢量，相当于「不改变方向」的映射。点积可以用 δ 写成双重求和，这是爱因斯坦约定求和记法的第一步。

完全反对称记号 ε 与叉积

$\varepsilon_{ijk}=\begin{cases}+1,&(i,j,k)\ \text{even perm}\\-1,&\text{odd perm}\\0,&\text{repeat}\end{cases},\qquad (\mathbf A\times\mathbf B)_i=\sum_{j,k}\varepsilon_{ijk}A_jB_k$

列维–契维塔 ε：完全反对称张量。叉积第 i 分量可紧凑写成 ε_ijk A_j B_k（用爱因斯坦约定省去求和号）。

列维–契维塔 ε 完全反对称：交换任意两个下标就变号，有重复下标则为零。用它可以把叉积第 i 分量写成 ε_ijk A_j B_k（对 j、k 求和号省略）。这一记号让叉积、旋度、各种矢量恒等式都能「机械化」地推导。

$\sum_{k}\varepsilon_{ijk}\varepsilon_{klm}=\delta_{il}\delta_{jm}-\delta_{im}\delta_{jl}$

ε–δ 恒等式：衔接叉积与点积的关键关系，推导矢量恒等式时几乎是必经之路。

ε–δ 恒等式是衔接叉积与点积的钥匙，几乎所有矢量恒等式的「换袖子」都靠它。它是我们在电磁学课里能「看清 ∇×∇ 为何为零」的底层工具。

二阶张量的一般形态与其运算

$\overleftrightarrow{\mathbf T}=T_{xx}\hat{\mathbf x}\hat{\mathbf x}+T_{xy}\hat{\mathbf x}\hat{\mathbf y}+\cdots+T_{zz}\hat{\mathbf z}\hat{\mathbf z}$

二秩张量一般形式（如电磁场应力张量、流体应力张量）。它与矢量点积得矢量：T·A 描述方向传递。

$\nabla\cdot\overleftrightarrow{\mathbf T}\ \text{is a vector},\qquad \overleftrightarrow{\mathbf T}:\overleftrightarrow{\mathbf S}=\sum_{i,j}T_{ij}S_{ji}\ \text{is a scalar}$

对张量可定义散度（得矢量）与双点积（得标量）。保守力的连续性方程、电磁动量守恒都用到这些运算。

二阶张量有 9 个分量（写成 3×3 矩阵）。它与矢量点积（T·A）得到一个矢量，可以理解为「把 A 的方向重新映射」；两个张量双点积（T:S）得到一个标量。电磁场应力张量、流体的黏性应力都用这套语言。本文只到「认出并矢、会用 δ 和 ε」为止，完整张量分析留待后续课程。

11 / THINK DEEPER

深度思考：把「为什么」问到恰当的位置

这里把几个容易被当成「懂了」的结论拆开，区分定义、数学推论、物理定律之间的层次。

11.1 ∇ 到底是矢量，还是算子？

先想：如果把 ∇ 当成普通矢量，它能像 A 一样随意交换位置吗？类比普通矢量 (A×B)·A 恒等于零，那么 (∇×A)·A 也恒为零吗？

沿「双重身份 → 作用位置 → 反例」继续

∇ 同时是矢量形式与微分算子，这带来一个后果：它不满足普通矢量的交换律。对乘积作用时，∇ 必须同时作用到每个因子，产生「莱布尼茨项」。例如 ∇·(φA) = φ∇·A + A·∇φ 里的第二项，正是「∇ 也作用到了 φ」的证据。

反例最容易说明问题：设 φ=x、A=(x²,0,0)。∇·A=2x，故 φ∇·A=x·2x=2x²；而 A·∇φ=(x²,0,0)·(1,0,0)=x²。两者不相等，合起来 ∇·(φA)=3x²，与直接算 ∇·(x³,0,0)=3x² 一致。若只作用一项，结果就错了。

仍然可问：既然 ∇ 这么「不安分」，为什么还要用它？因为它把梯度、散度、旋度的代数结构统一起来，让「场的分解」一目了然。代价是每次用都要默念一句「这是微分算子，别当普通矢量使」。

11.2 两条恒等式是「巧合」吗？

先想：∇×(∇Φ)=0 与 ∇·(∇×A)=0 为何总能成立？若它们不是巧合，真正的「巧合」又该出现在哪里？

从「外微分的平方为零」理解

两条恒等式本质上是同一个事实：对任何够光滑的对象连续做两次「d」，结果为零（外微分语言里 d²=0）。梯度对应 d 作用于零形式（标量），旋度对应 d 作用于壹形式（矢量），散度对应 d 作用于贰形式。于是「梯度后再旋度」「旋度后再散度」都对应 d²=0，自然恒为零。

所以它们不是碰巧，而是「微分两次的边界抵消」这一几何结构的必然。知道这一点，就能一眼看出：恒等式里是零（而不是别的数），根本不需要逐项代入验证。

仍然可问：d²=0 又依赖什么？依赖「偏导顺序可交换」，即场足够光滑（二阶偏导连续）。遇到奇点（如点电荷的 r=0），光滑性被破坏，结论就要在挖去奇点的区域上重新审视——这正是亥姆霍兹定理要加「正则条件」的原因。

11.3 亥姆霍兹定理里，边界条件为什么不可或缺？

先想：如果只告诉你某个区域里 ∇·F 与 ∇×F，能否唯一确定 F？为什么还要补一句「连同边界条件」？

用「拉普拉斯方程的非唯一性」说透

考虑一个满足 ∇·F=0 且 ∇×F=0 的场（既无源又无旋）。这样的 F 由某谐函数（满足 ∇²φ=0）的梯度给出。而 ∇²φ=0 在没有边界条件时有无穷多解：任取一组边界给不同值，就得到不同的 φ，也就得到不同的 F。于是「散度+旋度」没有给出 F 的唯一答案——缺的正是一句「在边界上 F 取什么值」。

换到电磁学：静电场由 ∇·E 与 ∇×E 决定，但你把整个区域包在一个给定电势分布的导体盒里，盒内电场会跟着边界电势变。这不是公式不完整，而是「解微分方程需要附加条件」这一数学本性的体现。

仍然可问：边界条件给「足够多」是「唯一」的前提；给多了会无解，给少了会多解。判断需要几个条件，是微分方程理论（椭圆方程适定性）的课题，本文只标记这个「边界条件不是点缀」的事实。

11.4 学矢量分析，最该带走的一种「肌记忆」

先想：面对一个新矢量场，你脑子里第一反应应该是「求它的什么」？

一张可复用的「三问清单」

任何矢量场到手，先问三件事，再决定下一步：

它有没有源？算 ∇·F——非零说明有「电荷/质量/热」型的源汇。
它有没有旋？算 ∇×F——非零说明有「电流/涡/角动量」型的旋转。
它是梯度的还是旋度的？若 ∇×F=0，试写 F=−∇φ；若 ∇·F=0，试写 F=∇×A。

多数场的问题，都是这三问的组合。静电场 ∇×E=0、∇·E=ρ/ε₀；静磁场 ∇·B=0、∇×B=μ₀j。把「散度看源、旋度看涡」内化成反射，比背一百个公式更能应付陌生场。

12 / PRACTICE

课后习题：会算，也要说得清条件

10 题，建议先完成 H01–H06（基础）；H07–H10 涉及恒等式验证与张量记号。答案统一放在最后。

难度：基础＝巩固定义与直算；综合＝多步核算；进阶＝恒等式、定理与记号迁移。数值保留到合理近似；单位与正负号须说明。

坐标 / 基础 · H01

点 P 的球坐标为 (r=2, θ=60°, φ=45°)。求它的直角坐标 (x,y,z)。

我的思路作答后查看文末答案 ↗

坐标 / 基础 · H02

点 Q 的直角坐标为 (x=1, y=1, z=1)。求它的柱坐标 (ρ, φ, z) 与球坐标 (r, θ, φ)。

我的思路作答后查看文末答案 ↗

梯度 / 基础 · H03

求标量场 Φ(x,y,z)=x²y+yz² 在点 (1, 1, 1) 处的梯度 ∇Φ。

我的思路作答后查看文末答案 ↗

方向导数 / 基础 · H04

承 H03，求 Φ 沿方向 û=(1/√2, 0, 1/√2) 在点 (1,1,1) 的方向导数，并判断它是否等于 |∇Φ|。

我的思路作答后查看文末答案 ↗

散度 / 基础 · H05

求矢量场 A=(x², xy, yz) 的散度 ∇·A，并求它在点 (2,1,0) 的值。

我的思路作答后查看文末答案 ↗

旋度 / 基础 · H06

求矢量场 A=(−y, x, 0) 的旋度 ∇×A。

我的思路作答后查看文末答案 ↗

恒等式 / 综合 · H07

取 Φ=x²y，逐项计算 ∇×(∇Φ)，验证它恒为零。再说明这条恒等式为什么对任意光滑 Φ 都成立。

我的思路作答后查看文末答案 ↗

恒等式 / 综合 · H08

取 A=(yz, xz, xy)，逐项计算 ∇·(∇×A)，验证它恒为零。

我的思路作答后查看文末答案 ↗

亥姆霍兹 / 进阶 · H09

简述：为什么「给定区域的 ∇·F 与 ∇×F 之后」，还必须补充边界条件才能唯一确定 F？给出一个「边界不同则 F 不同」的例子。

我的思路作答后查看文末答案 ↗

张量 / 进阶 · H10

用 ε–δ 恒等式证明矢量恒等式 ∇×(∇×A)=∇(∇·A)−∇²A 的叉积部分成立（即先证 A×(B×C)=B(A·C)−C(A·B) 的分量式）。

我的思路作答后查看文末答案 ↗

13 / FURTHER READING

延伸阅读与适用范围

正文为独立组织的教学推导。下列资料提供进一步阅读，不要求一次读完；教材类列书目，链接类给可访问入口。

教材（无链接，按需查阅）

D. J. Griffiths，《电动力学导论》：第 1 章「矢量分析」正是本文内容的标准出处；δ、ε 与亥姆霍兹定理的物理动机讲得最清楚。
R. Feynman，《费曼物理学讲义》第 2 卷：第 2、3 章用微分算子的直观图像讲场，适合建立「散度看漏水、旋度看打转」的图像。
同济大学《高等数学》下册：梯度、散度、旋度、格林/高斯/斯托克斯公式的数学基础。
J. D. Jackson，《经典电动力学》：附录里有完整的曲线坐标微分算子表（梯度/散度/旋度/拉普拉斯）。

可访问的在线资料

MIT OpenCourseWare 18.02SC · Multivariable Calculus：梯度、散度、旋度及三大积分定理的视频与讲义，英文。
Khan Academy · Multivariable Calculus：梯度与方向导数的入门动画，适合补几何直观。

资料链接核对日期：2026-09-17。正文与交互实验完全离线，不需要网络；只有主动点击参考链接时才访问外部网站。所有交互实验的曲线都用真实解析式绘制，未以示意图冒充精确模型；张量部分只到「并矢 + δ/ε 记号」，不构成完整张量分析。

14 / ANSWER KEY

统一答案与反思

先回看自己写下的推理，再展开对应答案。错在「约定」「前提」或「性质」，比一次算术失误更值得记录。

随堂 1 · C

z 轴上的点真实存在（ρ=0 只是「离轴距离为零」），但此时方位角 φ 无法唯一确定——同一个点可被任意 φ 标价。这是柱坐标的「坐标奇异」，与球坐标两极处 θ=0 或 π 时 φ 不唯一同理。奇异的是坐标系，不是空间。

随堂 2 · B

洋流速度 v(x,y,z) 是矢量，它是矢量场。温度、电势、气压都只给一个数，是标量场。判断标准：这个量带不带方向。

随堂 3 · A

叉积反对称：B×A = −(A×B)，交换两矢量变号（方向反转）。叉积结果是矢量不是标量；且叉积不满足结合律，括号不可省略。

随堂 4 · B

方向导数 = |∇Φ|cosα，沿梯度方向（α=0）取最大 |∇Φ|。等值面切向（α=90°）方向导数为零；−∇Φ 方向取最小值（负的最大）。

随堂 5 · D

散度为零只说明该点「无源无汇」，场本身可不为零（点电荷外部电场散度为零但场很强）。选项 C 也有瑕疵：穿过整个区域闭合边界的总通量取决于区域内是否有源，区域外部的源照样会让通量穿过边界，所以不能笼统说「一定为零」。最准确的是 D。

随堂 6 · A

无旋（保守）的判据是 ∇×A=0。场线弯不弯、场大小均不均匀都与旋度无必然关系：点电荷场线笔直且无旋，平行但不均匀的流场反而可能有旋。散度测的是「源」，不是「旋」。

随堂 7 · C

∇ 是微分算子，对乘积作用时每个因子都要被作用（莱布尼茨规则）：∇·(φA)=φ∇·A + A·∇φ。只作用 A（漏 A·∇φ）或只作用 φ（漏 φ∇·A）都会得到错误结果。

随堂 8 · B

∇×(∇Φ)=0 是纯数学结论，来自二阶混合偏导可交换（∂²/∂x∂y=∂²/∂y∂x），与库仑定律、静电场、电荷分布都无关。它并非「只对电场成立」，任何光滑标量场都满足。

H01 · 坐标

x=r sinθ cosφ = 2·sin60°·cos45° = 2·(√3/2)·(√2/2) = √6/2 ≈ 1.225；y=r sinθ sinφ = √6/2 ≈ 1.225；z=r cosθ = 2·cos60° = 1。故 P ≈ (1.225, 1.225, 1.000)。

H02 · 坐标

柱坐标：ρ=√(1²+1²)=√2≈1.414，φ=atan2(1,1)=45°，z=1。球坐标：r=√(1²+1²+1²)=√3≈1.732，θ=arccos(z/r)=arccos(1/√3)≈54.7°，φ=45°。

H03 · 梯度

∂Φ/∂x=2xy，∂Φ/∂y=x²+z²，∂Φ/∂z=2yz。在点 (1,1,1)：∇Φ=(2·1·1, 1²+1², 2·1·1)=(2, 2, 2)。

H04 · 方向导数

方向导数 = ∇Φ·û = (2,2,2)·(1/√2, 0, 1/√2) = 2/√2 + 0 + 2/√2 = 4/√2 = 2√2 ≈ 2.828。而 |∇Φ|=√(2²+2²+2²)=2√3≈3.464。因 û 不沿梯度方向（梯度方向是 (1,1,1)/√3），方向导数小于 |∇Φ|。

H05 · 散度

∇·A = ∂(x²)/∂x + ∂(xy)/∂y + ∂(yz)/∂z = 2x + x + y = 3x + y。在 (2,1,0)：3·2+1 = 7。

H06 · 旋度

∇×A = (∂A_z/∂y − ∂A_y/∂z, ∂A_x/∂z − ∂A_z/∂x, ∂A_y/∂x − ∂A_x/∂y) = (0−0, 0−0, 1−(−1)) = (0, 0, 2)。这个场正是旋度恒等于 2 的旋转场，与交互实验 05 的模型一致。

H07 · 恒等式

∇Φ=(2xy, x², 0)。再取旋度：∇×(∇Φ)=(∂0/∂y−∂(x²)/∂z, ∂(2xy)/∂z−∂0/∂x, ∂(x²)/∂x−∂(2xy)/∂y)=(0−0, 0−0, 2x−2x)=(0,0,0)。恒为零。

原因：旋度里有「∂(∂Φ 的 y 分量)/∂x − ∂(∂Φ 的 x 分量)/∂y」这类交叉项，每对都是二阶混合偏导相减，∂²Φ/∂x∂y−∂²Φ/∂y∂x=0。对任意光滑 Φ 都为零，与 Φ 具体形式无关。

H08 · 恒等式

∇×A = (∂(xy)/∂y−∂(xz)/∂z, ∂(yz)/∂z−∂(xy)/∂x, ∂(xz)/∂x−∂(yz)/∂y) = (x−x, y−y, z−z) = (0,0,0)。故 ∇·(∇×A)=0 直接成立。这个例子里旋度本身就为零，散度自然为零。

H09 · 亥姆霍兹

若 ∇·F=0 且 ∇×F=0，则 F 由某谐函数（∇²φ=0）的梯度给出。而 ∇²φ=0 在没有边界条件时有无穷多解——给边界不同的 φ 值，就得到不同的 φ、不同的 F。所以「散度+旋度」不足以唯一确定 F，必须补充边界条件。

例子：一维情形下，∇²φ=0 即 d²φ/dx²=0，解是 φ=ax+b；不给两端的 b 值（或 a 值），a、b 任意，φ 不唯一。

H10 · 张量

(A×(B×C))_i = ε_ijk A_j (B×C)_k = ε_ijk A_j ε_klm B_l C_m = ε_ijk ε_klm A_j B_l C_m。

用 ε–δ 恒等式 Σ_k ε_ijk ε_klm = δ_il δ_jm − δ_im δ_jl，得 = (δ_il δ_jm − δ_im δ_jl) A_j B_l C_m = B_i (A·C) − C_i (A·B)。这就是 BAC–CAB 的分量证明；令 A→∇、B→∇、C→A 即得 ∇×(∇×A)=∇(∇·A)−∇²A。