JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

散度定理与亥姆霍兹分解

把一块实体内部每一处微小的源与汇全加起来，恰好等于穿过它表皮向外的净流量——这就是散度定理。再往前推一步，它便告诉你：任何一个场，都不过是一个「外散的部分」加上一个「打旋的部分」，这就是支撑起整个电磁学与流体力学的亥姆霍兹分解。

从局部外散到总流出

你来到这最后一篇时，手里已经握着定理要拴合的两半。从本级第一篇你已识得[[calc-divergence|散度]]，nabla dot F = dP/dx + dQ/dy + dR/dz：每点上的单独一个数，量度一股流动在局部是源（外散）还是汇（内吸）。你也见过[[flux-integral|通量积分]]，即 F dot n 在一张曲面上的积分——场与向外的单位法向量 n 点乘——它把流动究竟有多少真正穿透那张曲面加了起来。散度是微观的局部问题；通量是宏观的全局结算。散度（高斯）定理说：这两者一经求和，竟是同一回事。

让它成为必然的，是这样一幅画。取一块实体区域 V——比方说水流里一坨土豆形的水团——连同它的表皮，即那张封闭曲面 S。把这坨水团切成密密的一格格小盒。每只盒子内部，散度告诉你那里每单位体积净生成或净消灭多少流体。现在把每只盒子的流出量加起来。关键的把戏在于：两只盒子相接处，从一只盒子那张面离开的流，恰是经同一张共用面进入它邻居的流，于是这两份贡献相消。每一张内部的面都与它的孪生面相消。只有最外层表皮上、找不到邻居来相消的那些面，得以幸存。内部所有的源彼此层层抵销，剩下的，恰恰就是穿过 S 的总通量。

散度定理：写下来，读明白

THE DIVERGENCE (GAUSS) THEOREM

     |||                       ||
     |||  (nabla . F) dV   =    ||  F . n  dS
     |||                       ||
      V  (triple integral      S  (flux integral over the
          over the solid)          closed outward surface)

   left  = add up every tiny source / sink inside the solid V
   right = net flow piercing OUT through the skin S of V

   n  = outward unit normal      S = closed boundary of V (no holes left open)
   F  = smooth vector field on and inside V (no blow-ups, e.g. no charge AT a point)
散度在实体上的三重积分，等于在其封闭边界曲面上向外的通量积分；n 是向外的单位法向量，而 F 在整个 V 内须光滑。

把它当一本预算从左读到右。左边是一个对实体的三重积分：它把 V 内部每一点上制造或吞掉的流体逐一记账。右边是穿过那层包裹表皮的通量：最终越界而出的净量。这个等式不过是「东西守恒」——内部所造之物无处可去，只能往外；所灭之物必从外而来。一幅算例为它盖章：取 F = (x, y, z)，一支支径向朝外、随距离增长的箭头之场。它的散度处处是 1 + 1 + 1 = 3，于是左边是 V 的体积的 3 倍。对半径为 R 的球，那是 3 乘 (4/3) pi R^3 = 4 pi R^3；而右边，F dot n 在球面上的积分，给出 R 乘表面积 4 pi R^2 = 4 pi R^3。两边相等，恰如所诺。

物理为何离不开它

散度定理是一道枢纽，它把关于通量的全局陈述，转成每一点上的局部陈述——而这正是物理定律之所以能写成微分方程的缘由。以静电学的高斯定律为例：电场穿出任何封闭曲面的通量，等于被包围的电荷（除以一个常数）。这是关于整张曲面的陈述。让它过一遍散度定理，那个曲面积分就变成 nabla dot E 的体积分；既然它对每一块区域都须等于电荷密度的体积分，被积函数本身就必须相等，于是给出逐点的定律 nabla dot E = rho / epsilon。一条关于曲面的笨拙定律，化作了一条关于点的干净定律。

同样这一招，撑起了物理中每一条连续性方程。在流体流动、电磁学、热传导与概率里，你写下「区域内东西减少的速率，等于东西经其边界向外的通量」，施以散度定理把它局部化，一个偏微分方程便落了出来：d(密度)/dt + nabla dot (通量) = 0。热方程与泊松方程 nabla^2 phi = 源，也正是这样推得的。散度定理不是向量微积分里的一桩奇观；它是那台标准的机器，把守恒律转成本卷余下篇幅一直在解的那些偏微分方程。

亥姆霍兹：任何场都是「外散」加「打旋」

现在轮到那个把整级系成一个漂亮蝴蝶结的大收获了。你学过场变化的两种各异方式：它可以外散（有散度），也可以打旋（有旋度）。[[helmholtz-decomposition|亥姆霍兹分解]]给出一个惊人的论断：这就是仅有的两种方式，而且它们总能被干净地分开。在合理的条件下（场光滑、在无穷远处衰减得够快），任何向量场 F 都能写成 F = -nabla phi + nabla cross A：一个无旋的部分，即标量势 phi 的梯度，加上一个无散的部分，即向量势 A 的旋度。自然界里每一个场，无非是一些外散叠在一些打旋之上。

这两块完美互补，而第一篇里那两条恒等式告诉你它们为何互不干扰。无旋那块 -nabla phi 担起全部的散度、却毫无旋度，因为梯度的旋度恒为零（nabla cross (nabla phi) = 0）。无散那块 nabla cross A 担起全部的旋度、却毫无散度，因为旋度的散度恒为零（nabla dot (nabla cross A) = 0）。于是 F 的「源」全住在 phi 里，F 的「旋」全住在 A 里——彼此从不越界。这正是第二篇那个保守场的精神（一个纯梯度，无旋、路径无关），如今显露出：它不过是任意场两个天然半边中的一个而已。

  1. 测出「源」：算出散度 nabla dot F。这是无旋部分必须重现的数据。
  2. 测出「旋」：算出旋度 nabla cross F。这是无散部分必须重现的数据。
  3. 解泊松方程 nabla^2 phi = -(nabla dot F)，求出标量势 phi；无旋部分即 -nabla phi。
  4. 解一个由旋度驱动的类似泊松方程，求出向量势 A；无散部分即 nabla cross A。两者相加，便重建出 F。

亥姆霍兹真正承诺了什么（以及它的细则）

再看一眼那套步骤，留意是什么在主宰它：解 nabla^2 phi = -(nabla dot F) 恰是一个泊松方程，而由源去求 phi，正是势论的核心问题。当一个场既无源也无旋——散度处处为零、旋度处处为零——phi 便满足 nabla^2 phi = 0，即拉普拉斯方程，于是 phi 是一个[[harmonic-function|调和函数]]。这正是为何调和函数是真空静电学与稳态流体流动的基石：它们恰恰是那些既不外散、也不打旋之场的势。向量拉普拉斯算子对向量势 A 做的是同样的活，一次处理一个分量。

得老实交代那些细则，因为亥姆霍兹常被引得太松。要干净地恰好劈成两块，需要场光滑、并在无穷远处消退（或者住在拓扑简单、又给定了边界条件的区域里）；在一块布满孔洞的区域上，可能冒出第三块「调和」的部分，它既无旋又无散，你得另有信息才能把它定下来。势 phi 与 A 也并不唯一——你可以给 phi 加上任意常数，或给 A 加上一个梯度而不改变 nabla cross A，物理学家把这份自由叫规范。这些都不削弱定理；只是说「F 等于外散加打旋」是一句带前提的陈述，跟本级每一条诚实的定理一样——正如散度定理需要它那张封闭、光滑、向外定向的曲面。