馬克士威方程組與位移電流：從散度矛盾到電磁波

從不對稱到對稱：馬克士威如何補上最後一塊拼圖

十九世紀中葉，電與磁的實驗定律已大致齊備：庫侖、高斯、安培、法拉第各自描繪了電場與磁場的局部行為。然而當馬克士威把這些定律寫成統一的數學語言時，他發現安培定律在「電流隨時間變化」的情境下會自相矛盾。為了修補這個矛盾，他引入了一個革命性的概念——位移電流（displacement current）。這一步不僅使方程組數學自洽，更直接預言了電磁波的存在，並揭示光本身就是電磁現象。本篇將以微分形式的馬克士威方程組為核心，推導位移電流的必然性，並說明電磁波如何從這組方程式中自然湧現。

微分形式的四條方程式

在真空（或線性等向介質）中，馬克士威方程組的微分形式為：

$$ \nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0}, \qquad \nabla \cdot \mathbf{B} = 0 $$

$$ \nabla \times \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t}, \qquad \nabla \times \mathbf{B} = \mu_0 \mathbf{J} + \mu_0 \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t} $$

前兩條分別是電場的高斯定律與磁場的高斯定律（磁單極不存在），第三條是法拉第電磁感應定律的微分形式，第四條則是含位移電流項的安培—馬克士威定律。最後一項 $\mu_0 \varepsilon_0 \,\partial \mathbf{E}/\partial t$ 正是馬克士威的關鍵增補。沒有它，整組方程式無法描述變化電場如何激發磁場，電磁波也無從存在。

安培定律的危機：電荷守恆的要求

要理解位移電流為何「非加不可」，先回到原始的安培定律 $\nabla \times \mathbf{B} = \mu_0 \mathbf{J}$。對任意向量場取旋度後再取散度恆為零，這是向量恆等式 $\nabla \cdot (\nabla \times \mathbf{B}) = 0$。於是對原始安培定律兩邊取散度：

$$ \nabla \cdot (\nabla \times \mathbf{B}) = \mu_0 \,\nabla \cdot \mathbf{J} = 0 $$

這要求 $\nabla \cdot \mathbf{J} = 0$ 恆成立。然而電荷守恆律（連續方程式）告訴我們：

$$ \nabla \cdot \mathbf{J} + \frac{\partial \rho}{\partial t} = 0 $$

只有在穩態（$\partial \rho / \partial t = 0$）時兩者才相容。一旦電荷密度隨時間變化——例如電容器充電時極板電荷不斷累積——原始安培定律就與電荷守恆衝突。經典案例正是平行板電容器：環繞導線的安培迴路若取平面薄膜，穿過的傳導電流為 $I$；若取繞過極板間隙的曲面，穿過的傳導電流卻為零，但磁場顯然不該因積分曲面選擇而不同。

位移電流的導出

馬克士威的補救是利用高斯定律 $\rho = \varepsilon_0 \nabla \cdot \mathbf{E}$ 代入連續方程式：

$$ \nabla \cdot \mathbf{J} = -\frac{\partial \rho}{\partial t} = -\frac{\partial}{\partial t}\left(\varepsilon_0 \nabla \cdot \mathbf{E}\right) = -\nabla \cdot \left(\varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}\right) $$

整理得

$$ \nabla \cdot \left(\mathbf{J} + \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}\right) = 0 $$

括號內的組合恰好是無散度的。因此若把安培定律右側的 $\mathbf{J}$ 替換為這個守恆的「總電流」，散度自洽問題立刻解決：

$$ \nabla \times \mathbf{B} = \mu_0 \left(\mathbf{J} + \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}\right) $$

其中 $\mathbf{J}_d \equiv \varepsilon_0 \,\partial \mathbf{E}/\partial t$ 即為位移電流密度。它並非電荷的真實流動，而是變化電場所等效產生的「電流」——在電容器間隙中，正是這個項接續了傳導電流，使磁場的描述前後一致。

定量小範例：電容器間隙的位移電流

考慮一個平行板電容器，極板面積 $A = 100\ \text{cm}^2 = 1.0 \times 10^{-2}\ \text{m}^2$，以定電流 $I = 2.0\ \text{A}$ 充電。求極板間的位移電流，並驗證它等於傳導電流。

平板間電場近似均勻，$E = \sigma/\varepsilon_0 = Q/(\varepsilon_0 A)$。電場通量為

$$ \Phi_E = E A = \frac{Q}{\varepsilon_0} $$

位移電流定義為通過該曲面的位移電流密度積分：

$$ I_d = \varepsilon_0 \frac{d\Phi_E}{dt} = \varepsilon_0 \frac{d}{dt}\left(\frac{Q}{\varepsilon_0}\right) = \frac{dQ}{dt} = I = 2.0\ \text{A} $$

可見位移電流精確等於傳導電流，無論面積或極板間距為何。若再問電場的變化率：

$$ \frac{dE}{dt} = \frac{I}{\varepsilon_0 A} = \frac{2.0}{(8.85 \times 10^{-12})(1.0 \times 10^{-2})} \approx 2.26 \times 10^{13}\ \text{V}\,\text{m}^{-1}\text{s}^{-1} $$

如此巨大的電場變化率，正說明位移電流雖無電荷流動，卻能產生與真實電流相同強度的磁效應。

電磁波：方程組的必然產物

在無源區（$\rho = 0$、$\mathbf{J} = 0$）對法拉第定律取旋度，並代入向量恆等式 $\nabla \times (\nabla \times \mathbf{E}) = \nabla(\nabla \cdot \mathbf{E}) - \nabla^2 \mathbf{E}$，利用 $\nabla \cdot \mathbf{E} = 0$：

$$ \nabla \times (\nabla \times \mathbf{E}) = -\frac{\partial}{\partial t}(\nabla \times \mathbf{B}) = -\mu_0 \varepsilon_0 \frac{\partial^2 \mathbf{E}}{\partial t^2} $$

於是得到標準波動方程式

$$ \nabla^2 \mathbf{E} = \mu_0 \varepsilon_0 \frac{\partial^2 \mathbf{E}}{\partial t^2} $$

對 $\mathbf{B}$ 亦可推得相同形式。比對波動方程 $\nabla^2 \psi = (1/v^2)\,\partial^2 \psi/\partial t^2$，波速為

$$ v = \frac{1}{\sqrt{\mu_0 \varepsilon_0}} \approx 3.00 \times 10^8\ \text{m/s} $$

這個數值恰等於當時已測得的光速。馬克士威由此大膽斷言：光就是電磁波。值得強調的是，若沒有位移電流項，第四條方程式右側不含 $\partial \mathbf{E}/\partial t$，上述推導便無法閉合，電磁波也就不會出現。位移電流不只是數學補丁，而是電磁波得以存在的物理根源。

深入探討（研究所視角）

在更高層次上，馬克士威方程組最優雅的表述是協變的場論形式。引入四維勢 $A^\mu = (\phi/c, \mathbf{A})$ 與反對稱的電磁場張量 $F^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu$，整組方程式可壓縮為兩式：含源方程 $\partial_\mu F^{\mu\nu} = \mu_0 J^\nu$ 與恆等式 $\partial_\mu \tilde{F}^{\mu\nu} = 0$（後者即 Bianchi 恆等式，自動保證高斯磁定律與法拉第定律）。在此框架下，位移電流不再是「補上去」的特設項，而是 Lorentz 協變性的必然結果——電場與磁場只是同一張量在不同慣性系下的分量投影，安培項與位移電流項在勞侖茲變換下彼此混合。馬克士威方程組的協變性正是狹義相對論的歷史先聲；愛因斯坦 1905 年的論文標題《論動體的電動力學》即直接源於此。

從作用量原理看，電磁場的拉格朗日密度為

$$ \mathcal{L} = -\frac{1}{4\mu_0} F_{\mu\nu} F^{\mu\nu} - J_\mu A^\mu $$

對 $A^\mu$ 做變分並套用 Euler–Lagrange 方程 $\partial_\nu \left(\partial \mathcal{L}/\partial(\partial_\nu A_\mu)\right) - \partial \mathcal{L}/\partial A_\mu = 0$，即直接導出含源的馬克士威方程，含位移電流的安培定律自然包含其中。轉入哈密頓表述時，正則動量 $\pi^i = \partial \mathcal{L}/\partial \dot{A}_i$ 對應電場分量，而 $A^0$ 沒有共軛動量，反映了規範自由度——這正是電磁場作為 $U(1)$ 規範場的標誌。規範對稱性 $A_\mu \to A_\mu + \partial_\mu \chi$ 不改變 $F_{\mu\nu}$，依 Noether 定理對應電荷守恆，與前文連續方程式遙相呼應。

這套規範場論的觀點是二十世紀物理的核心遺產。將 $U(1)$ 推廣到非阿貝爾群 $SU(2) \times SU(1)$ 與 $SU(3)$，便得到 Yang–Mills 理論，描述弱交互作用與強交互作用——標準模型的整體結構，正是馬克士威電磁學在群論意義下的自然延伸。在量子層面，電磁場的量子化產生光子，位移電流項所保證的場—源耦合形式，對應到量子電動力學（QED）中光子與帶電費米子的基本頂點。即便在凝態物理裡，超導體中的 Meissner 效應、規範對稱性自發破缺（Anderson–Higgs 機制的前身），也都可追溯到這組方程式的規範結構。一條為了修補安培定律散度矛盾而引入的位移電流項，最終串起了相對論、量子場論與粒子物理的理論主軸，堪稱物理學中「數學自洽性引領物理發現」的典範。