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 等於外散加打旋」是一句帶前提的陳述，跟本級每一條誠實的定理一樣——正如散度定理需要它那張封閉、光滑、向外定向的曲面。