安培定律與必歐–沙伐定律：磁準靜態的兩種互補語言

從穩態電流到磁場：兩條看似不同的定律

把一段導線通上穩定電流，周圍空間便瀰漫一個磁場。直覺上我們會問兩件事：如何由電流分布「逐點積分」算出磁場？又有沒有一條對稱性更高、能一眼看穿的捷徑？前者是必歐–沙伐定律（Biot–Savart law），後者是安培定律（Ampère's law）。兩者描述的是同一個物理對象——磁準靜態（magnetostatic）下的 $\mathbf{B}$ 場——卻分屬「積分構造」與「對稱還原」兩種互補的思維。本文不在重述公式，而要說明它們如何彼此蘊含，又各自在何處失效。

必歐–沙伐定律給出一段電流元 $I\,d\boldsymbol{\ell}'$ 在場點 $\mathbf{r}$ 產生的磁場：

$$ \mathbf{B}(\mathbf{r}) = \frac{\mu_0}{4\pi} \int_C \frac{I\, d\boldsymbol{\ell}' \times (\mathbf{r}-\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|^{3}}. $$

其中 $\mathbf{r}'$ 沿電流路徑 $C$ 變動，$\mu_0 = 4\pi\times10^{-7}\,\mathrm{T\cdot m/A}$ 為真空磁導率。對體電流密度 $\mathbf{J}$，更一般的寫法為 $\mathbf{B}(\mathbf{r}) = \dfrac{\mu_0}{4\pi}\displaystyle\int \dfrac{\mathbf{J}(\mathbf{r}')\times(\mathbf{r}-\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|^{3}}\,d^3r'$。注意 $1/r^2$ 的衰減與電場的庫侖定律結構相同，但多了一個外積，使 $\mathbf{B}$ 永遠垂直於電流方向與位移向量所張的平面——這正是磁場「環繞」電流的根源。

從必歐–沙伐推導安培定律

兩條定律並非獨立公設，而是同一組磁準靜態 Maxwell 方程的不同投影。穩態下的微分形式為

$$ \nabla\cdot\mathbf{B}=0,\qquad \nabla\times\mathbf{B}=\mu_0\mathbf{J}. $$

第一式來自必歐–沙伐被積函數可寫成 $\nabla\times$ 的形式，故 $\mathbf{B}$ 為旋度場、磁通守恆。關鍵在第二式。利用恆等式 $\dfrac{\mathbf{r}-\mathbf{r}'}{|\mathbf{r}-\mathbf{r}'|^3} = -\nabla\dfrac{1}{|\mathbf{r}-\mathbf{r}'|}$，可將 $\mathbf{B}$ 寫為向量勢的旋度 $\mathbf{B}=\nabla\times\mathbf{A}$，其中

$$ \mathbf{A}(\mathbf{r}) = \frac{\mu_0}{4\pi}\int \frac{\mathbf{J}(\mathbf{r}')}{|\mathbf{r}-\mathbf{r}'|}\,d^3r'. $$

對 $\mathbf{B}$ 取旋度並用 $\nabla\times(\nabla\times\mathbf{A}) = \nabla(\nabla\cdot\mathbf{A}) - \nabla^2\mathbf{A}$。在庫侖規範下穩態電流滿足 $\nabla\cdot\mathbf{J}=0$，可證 $\nabla\cdot\mathbf{A}=0$，於是只剩拉普拉斯項。利用 $\nabla^2\dfrac{1}{|\mathbf{r}-\mathbf{r}'|} = -4\pi\,\delta^3(\mathbf{r}-\mathbf{r}')$，即得 $\nabla\times\mathbf{B}=\mu_0\mathbf{J}$。再對任一以迴路 $\partial S$ 為邊界的曲面 $S$ 積分，套用斯托克斯定理 $\displaystyle\oint_{\partial S}\mathbf{B}\cdot d\boldsymbol{\ell} = \int_S(\nabla\times\mathbf{B})\cdot d\mathbf{a}$，便得到安培定律的積分形式：

$$ \oint_{\partial S}\mathbf{B}\cdot d\boldsymbol{\ell} = \mu_0 I_{\text{enc}}. $$

由此可見：必歐–沙伐是「局部點源 → 全域場」的格林函數解，安培定律則是它的旋度經斯托克斯積分後的「全域對稱還原」。安培定律永遠成立（在穩態下），但只在電流分布具備足夠對稱性（無限長直線、無限大平板、螺線管、環形線圈）時才「好用」，因為唯有對稱性能讓 $\mathbf{B}$ 在安培迴路上沿線提出積分號外。

一個定量小範例：同軸電纜內的磁場

考慮一條同軸電纜：半徑 $a$ 的實心內導體均勻通過電流 $I$（沿 $+z$），外層薄殼回流 $-I$。求半徑 $r<a$ 處的磁場。

由柱對稱性，$\mathbf{B}=B_\phi(r)\hat{\boldsymbol{\phi}}$。取半徑 $r$ 的同心圓為安培迴路：

$$ \oint \mathbf{B}\cdot d\boldsymbol{\ell} = B_\phi\,(2\pi r) = \mu_0 I_{\text{enc}}. $$

內導體電流密度 $J = \dfrac{I}{\pi a^2}$，迴路所圍電流 $I_{\text{enc}} = J\cdot\pi r^2 = I\,\dfrac{r^2}{a^2}$。代入解得

$$ B_\phi(r) = \frac{\mu_0 I}{2\pi r}\cdot\frac{r^2}{a^2} = \frac{\mu_0 I\, r}{2\pi a^2}. $$

代入數值 $I=5\,\mathrm{A}$、$a=2\,\mathrm{mm}=2\times10^{-3}\,\mathrm{m}$，取 $r=1\,\mathrm{mm}=1\times10^{-3}\,\mathrm{m}$：

$$ B_\phi = \frac{(4\pi\times10^{-7})(5)(1\times10^{-3})}{2\pi(2\times10^{-3})^2} = \frac{(2\times10^{-7})(5)(10^{-3})}{4\times10^{-6}} \approx 2.5\times10^{-4}\,\mathrm{T}. $$

即約 $0.25\,\mathrm{mT}$。可注意場在導體內隨 $r$ 線性增長，在表面 $r=a$ 達極大 $\dfrac{\mu_0 I}{2\pi a}$，於電纜外（$r>b$，兩電流相消）則 $I_{\text{enc}}=0$，磁場為零——這正是同軸電纜屏蔽磁場的物理依據。同一問題若用必歐–沙伐硬算，需對整個體電流做三維積分，遠不如安培定律一行了事，凸顯了對稱性的威力。

兩條定律的適用邊界

必歐–沙伐定律的優勢在於完全不要求對稱性：有限長導線、圓弧、亥姆霍茲線圈軸上場，都能直接積分得出。其代價是被積函數常導向橢圓積分等非初等結果。安培定律則反過來——形式極簡，卻被「迴路上 $\mathbf{B}$ 必須可提出」這個對稱性條件牢牢綁住。

更深一層的限制是：兩者都只對「穩態」嚴格成立。當電流隨時間變化、或場點附近有電場變動時，$\nabla\times\mathbf{B}=\mu_0\mathbf{J}$ 與 $\nabla\cdot\mathbf{J}=0$ 同時破裂。Maxwell 補上位移電流項 $\mu_0\varepsilon_0\,\partial\mathbf{E}/\partial t$，使安培定律推廣為 $\nabla\times\mathbf{B}=\mu_0\mathbf{J}+\mu_0\varepsilon_0\dfrac{\partial\mathbf{E}}{\partial t}$，這也正是電磁波得以存在的關鍵一步。

深入探討（研究所視角）

在更高的理論層級，磁準靜態只是相對論性電動力學的低速投影。將四維勢 $A^\mu=(\phi/c,\mathbf{A})$ 與四維電流 $J^\mu=(c\rho,\mathbf{J})$ 並置，Maxwell 方程濃縮為單一張量式 $\partial_\mu F^{\mu\nu}=\mu_0 J^\nu$，其中場強張量 $F^{\mu\nu}=\partial^\mu A^\nu-\partial^\nu A^\mu$。安培–Maxwell 定律與高斯定律是這條方程的不同分量，而 $\nabla\cdot\mathbf{B}=0$ 與法拉第定律則來自恆等式 $\partial_{[\alpha}F_{\beta\gamma]}=0$（Bianchi 恆等式）。在此視角下，「磁場」不是獨立實體：對一束靜止電荷做勞侖茲變換，其純電場便在新參考系生出磁場分量，必歐–沙伐定律不過是穩態極限下對推遲勢（retarded potential）做 $v\ll c$ 展開的領頭項。

從拉格朗日場論看，整個結構源自規範不變的作用量

$$ S = \int\!\left(-\frac{1}{4\mu_0}F_{\mu\nu}F^{\mu\nu} - J_\mu A^\mu\right)d^4x. $$

對 $A^\mu$ 變分（歐拉–拉格朗日方程）即直接給出 $\partial_\mu F^{\mu\nu}=\mu_0 J^\nu$。值得強調的是，物理可觀測量是 $F^{\mu\nu}$（即 $\mathbf{E}$、$\mathbf{B}$），而 $A^\mu$ 只在規範變換 $A^\mu\to A^\mu+\partial^\mu\chi$ 下定義到一個任意函數。這個看似冗餘的自由度在量子層面卻舉足輕重：Aharonov–Bohm 效應顯示，即使粒子行經 $\mathbf{B}=0$ 的區域，環路積分 $\oint\mathbf{A}\cdot d\boldsymbol{\ell}$（等於所圍磁通 $\Phi$）仍能改變電子波函數相位 $\Delta\varphi=q\Phi/\hbar$，產生可量測的干涉條紋。這暗示在量子電動力學中，向量勢 $\mathbf{A}$ 比 $\mathbf{B}$ 更為基本。

在哈密頓表述中，帶電粒子與場耦合透過正則動量替換 $\mathbf{p}\to\mathbf{p}-q\mathbf{A}$，這正是「最小耦合」原理，並推廣為現代規範場論的核心：要求局域 $U(1)$ 相位不變性，必然導出電磁場與其耦合形式。從此出發，將阿貝爾的 $U(1)$ 換成非阿貝爾的 $SU(2)$、$SU(3)$，便分別得到弱作用與強作用的楊–米爾斯（Yang–Mills）場論。換言之，安培定律所體現的「電流是磁場的源、場環繞源而生」這一幾何直覺，經規範原理抽象後，竟成為描述整個標準模型基本交互作用的統一語言。回望必歐與沙伐在 1820 年的桌面實驗，其數學骨架已悄然預示了二十世紀場論的整座大廈。