麦克斯韦方程组

关键词#

麦克斯韦方程组; 高斯定律; 法拉第感应定律; 安培-麦克斯韦定律; 位移电流; 电磁波; 光速; 场论; 洛伦兹力; 量子电动力学

麦克斯韦方程组"只是整理前人实验"？它实际上凭空预言了光#

标题："麦克斯韦方程组只是对电磁现象的数学总结"——它实际上预言了光的本质

"麦克斯韦方程组是对法拉第、安培、高斯等人实验结果的数学整理"——这一说法严重低估了麦克斯韦的贡献。方程组中最关键的一项——位移电流（displacement current）$\partial \mathbf{D}/\partial t$——并非来自实验观测，而是麦克斯韦为保证电荷守恒的一致性而在安培定律中添加的纯理论项。这一项的添加使方程组预言了以光速传播的电磁波，从而揭示了光的本质——光是电磁波。这是理论物理最壮丽的预言之一：纯粹的数学一致性要求催生了对自然界的全新认识。

另一个常见误解是"麦克斯韦方程组已经是完整的经典电磁学，没有什么可补充的了"。事实上，麦克斯韦1865年的原始论文写成20个分量方程（含20个变量），后在1873年《电磁学通论》中又用哈密顿的四元数重新表述。是赫维赛德（Oliver Heaviside），在吉布斯（J. W. Gibbs）和赫兹的相近工作下，于1884年前后用矢量记号将其凝练为今天通用的4个矢量方程——因此严格说，我们今天写的"麦克斯韦方程组"其实是"赫维赛德形式"。此外，完整描述带电粒子在电磁场中运动还需要洛伦兹力方程 $\mathbf{F} = q(\mathbf{E} + \mathbf{v} \times \mathbf{B})$，麦克斯韦方程组本身不包含这一方程。

位移电流的物理图像也不神秘：电容器充电时极板间没有传导电流，但电场随时间变化，安培环路定理若不补上 $\varepsilon_0\partial\mathbf{E}/\partial t$，环路上的磁场会在"有导线的一侧"与"极板间隙一侧"给出矛盾读数。补上之后，总"电流"连续，磁场环量一致，电磁波方程才得以闭合。一致性修补，顺手预言了光。

对安培–麦克斯韦定律再取散度，并动用高斯电场定律，立刻得到连续性方程 $\partial\rho/\partial t+\nabla\cdot\mathbf{J}=0$：电荷不会凭空产生或消失。位移电流不是装饰，它是让局域电荷守恒与磁场旋度陈述能同时成立的枢纽。缺了它，方程组在电容器间隙处自相矛盾；有了它，场的动力学与电荷簿记咬合在一起。

从法拉第的力线到卡尔斯鲁厄的火花：理论与实验相隔22年#

标题：从法拉第的力线到麦克斯韦的场——电磁理论的建立

麦克斯韦方程组的历史根源在于法拉第的实验直觉。迈克尔·法拉第（Michael Faraday）没有受过正规的数学训练，但他凭借非凡的实验能力和直觉，发展了"力线"（lines of force）和"场"（field）的物理图像。法拉第相信电荷之间的力通过弥漫于空间的场来传递，而非"超距作用"。他的电磁感应定律（1831年）、电解定律和磁光效应（法拉第效应，1845年）为电磁理论提供了核心实验基础。

詹姆斯·克拉克·麦克斯韦（James Clerk Maxwell，1831—1879年）在苏格兰爱丁堡长大，从小表现出非凡的数学才能。他深受法拉第工作的影响，决心用严格的数学语言表达法拉第的物理直觉。1856年，麦克斯韦发表了《论法拉第的力线》，用流体力学类比给出了法拉第场论的数学表述。1861—1862年，他发表了《论物理力线》，引入了"分子涡旋"模型，在这个思想实验中首次提出了位移电流，并由此推导出电磁波的存在。

1865年，麦克斯韦发表了《电磁场的动力学理论》——这是电磁学的奠基性论文。他放弃了具体的力学模型，直接从场的概念出发建立方程组，并计算出电磁波的速度。他将这个速度代入已知的电学和磁学测量数据，得到约 $3 \times 10^8$ m/s——与斐索（Hippolyte Fizeau）1849年测定的光速几乎完全一致。麦克斯韦写道："光是一种依据电磁定律传播的电磁扰动。"

1887—1888年，海因里希·赫兹（Heinrich Hertz）在卡尔斯鲁厄的实验室中产生并检测了电磁波。他用感应线圈在火花隙激发振荡（频率约50 MHz，对应波长约6米），并用一个带火花隙的环形接收器在房间另一端探测到同步的微小火花。赫兹更进一步：让波在金属板上反射形成驻波，移动接收器测出波节与波腹的间距，从而直接测得波长（约数米），并证明这种电磁波的反射、折射、偏振等性质与光完全一致。这是物理学史上预言与实验验证之间时间差达约22年的最著名案例之一。耐人寻味的是，赫兹本人当时并未预见其应用价值，曾说这"毫无用处"——而正是这些"无用"的火花，十年内催生了马可尼的无线电报。

赫兹还测量了电波在空气与沥青棱镜中的折射，并演示了偏振——把麦克斯韦写在纸上的"光是电磁扰动"，落成可在桌面上搬动的米级驻波。理论速度 $c=1/\sqrt{\mu_0\varepsilon_0}$ 与光学光速的吻合，从此不再只是数值巧合，而是同一波动方程在不同波段的实例。

四个方程如何描述整个电磁世界——并推导出光速#

标题：四个方程——电磁场的完整描述

麦克斯韦方程组（积分形式与微分形式）在真空中（SI单位制）：

高斯电场定律：$\nabla \cdot \mathbf{E} = \rho/\varepsilon_0$（微分形式） 电场线从正电荷出发，终止于负电荷；电场的散度等于自由电荷密度除以真空介电常数。积分形式：穿过封闭曲面的电通量等于面内总电荷除以 $\varepsilon_0$。

高斯磁场定律：$\nabla \cdot \mathbf{B} = 0$ 磁场线总是闭合的，没有磁单极子。积分形式：穿过封闭曲面的磁通量恒为零。

法拉第感应定律：$\nabla \times \mathbf{E} = -\partial\mathbf{B}/\partial t$ 变化的磁场产生旋转的电场。积分形式：线圈中的感应电动势等于磁通量变化率的负值（楞次定律）。

安培-麦克斯韦定律：$\nabla \times \mathbf{B} = \mu_0\mathbf{J} + \mu_0\varepsilon_0\partial\mathbf{E}/\partial t$ 电流（传导电流 $\mathbf{J}$）和变化的电场（位移电流 $\varepsilon_0\partial\mathbf{E}/\partial t$）都产生旋转的磁场。位移电流项是麦克斯韦的关键贡献。

从这四个方程出发，在无源区域（$\rho = 0$，$\mathbf{J} = 0$），利用矢量恒等式可以推导出电磁波方程： $$\nabla^2\mathbf{E} - \mu_0\varepsilon_0\frac{\partial^2\mathbf{E}}{\partial t^2} = 0$$ 波速 $c = 1/\sqrt{\mu_0\varepsilon_0} = 2.998 \times 10^8$ m/s，与光速完全吻合。

推导的关键一步是对法拉第与安培–麦克斯韦定律再取一次旋度，再用高斯两式消掉散度项；没有位移电流，右端不会出现 $\partial^2\mathbf{E}/\partial t^2$，波方程根本写不出来。平面波解里 $\mathbf{E}\perp\mathbf{B}\perp\mathbf{k}$，且 $|\mathbf{E}|=c|\mathbf{B}|$，坡印廷矢量 $\mathbf{E}\times\mathbf{B}/\mu_0$ 给出能流——能量与动量随场一起走，不再需要以太里的机械应力图像。

麦克斯韦方程组的另一重要特性是其内在的洛伦兹协变性：在不同惯性参考系之间，方程组的形式保持不变——电场和磁场之间通过洛伦兹变换相互混合。这是爱因斯坦建立狭义相对论的直接出发点：相对性原理要求麦克斯韦方程组在所有惯性系中成立，而这与伽利略变换不兼容，只与洛伦兹变换兼容。

一个纯电场在相对运动的观察者看来会带上磁场分量，反之亦然；$\mathbf{E}$ 与 $\mathbf{B}$ 不是两套独立实体，而是电磁场张量 $F^{\mu\nu}$ 的不同切片。赫维赛德的四条矢量方程在三维语言里已经够用，四维写法只是把同一协变性写得更直白。

介质界面上，切向 $\mathbf{E}$ 与法向 $\mathbf{B}$ 的连续（无自由面流、无磁单极时），以及法向 $\mathbf{D}$、切向 $\mathbf{H}$ 的跃变条件，全是把四个微分方程在薄饼状高斯面与窄安培环路上积分得来的边界语汇。反射、折射与波导模式匹配，第一步往往不是猜波形，而是先把这些连续性要求写进接缝。

光速相对于什么？以太危机与爱因斯坦的答案#

标题：以太危机与狭义相对论——麦克斯韦方程引发的革命

麦克斯韦方程组的最大"代价"在于它逼迫物理学家放弃了绝对空间的概念。麦克斯韦方程预言电磁波以固定速度 $c$ 传播——但相对于什么参考系？19世纪的物理学家假设存在一种充满宇宙的弹性介质"以太"（luminiferous ether），作为光传播的基底，并赋予 $c$ 绝对的参考系。

1887年，迈克尔逊-莫雷实验以极高精度测量了地球相对于以太的运动——结果为零。地球无论朝哪个方向运动，光速都相同。这一结果动摇了以太概念的物理基础，引发了19世纪末的"以太危机"。洛伦兹（Hendrik Lorentz）和庞加莱（Henri Poincaré）试图在保留以太的同时修补理论，提出了洛伦兹变换。爱因斯坦则在1905年彻底抛弃了以太，将"光速不变"作为基本公设，建立了狭义相对论。

危机的核心不是"测不准"，而是麦克斯韦方程已经把 $c$ 写成物质常数组合，却没有给这个 $c$ 指定绝对静止系。要么承认以太并解释零漂移，要么承认相对性原理并改写时空变换。爱因斯坦选了后者：电场与磁场在洛伦兹变换下相互混合，方程组形式不变——电磁学反而成了相对论的样板理论，而不是需要被相对论事后收编的特例。

量子化麦克斯韦方程组产生了量子电动力学（QED）——物理学中最精确的理论。QED将光子视为电磁场的量子激发，将带电粒子与光子的相互作用表示为费曼图。QED预言电子反常磁矩（g-因子的偏差）精确到 $10^{-12}$ 量级，与实验完全一致。但QED的计算过程中出现了无穷大（紫外发散），需要"重整化"（renormalization）程序来处理——费曼、施温格和朝永振一郎因此获得1965年诺贝尔物理学奖，但重整化的数学严格性至今仍有争议。

从无线电报到光子芯片：麦克斯韦方程撑起的技术文明#

标题：从无线通信到光子芯片——麦克斯韦方程的技术文明

麦克斯韦方程组是现代信息文明的物理基础。无线电通信、雷达、卫星通信、WiFi、蓝牙——所有无线通信技术都是赫兹实验证实的电磁波的应用。光纤通信利用麦克斯韦方程描述的全反射效应，通过玻璃纤维传输激光脉冲，承载着全球互联网流量的绝大部分。

电机（发电机和电动机）的工作原理直接基于麦克斯韦方程组中的法拉第感应定律和安培定律。全球每年约三分之二的电力通过电动机消耗。变压器的工作原理同样来自法拉第感应定律，是交流电远距离输电系统不可缺少的核心元件。

现代光学工程完全建立在麦克斯韦方程的数值求解上。激光、光学显微镜、相机镜头、光学计算机——这些器件的精确设计依赖于数值求解Maxwell方程组（时域有限差分法FDTD、有限元法FEM等）。下一代光子集成电路（photonic integrated circuits）将用光子取代电子进行信息处理，完全基于麦克斯韦方程的波导和谐振腔理论。

FDTD 把 $\partial/\partial t$ 与 $\nabla\times$ 离散到交错网格上，宽带脉冲一次跑完就能读出散射截面与谐振频谱；手机天线、硅光调制器与超表面透镜的设计迭代，本质上都是在网格上反复积分这四条方程。电机与变压器则站在低频准静态极限：感应电动势仍是法拉第定律，磁路仍是安培定律，只是辐射项被工程近似丢掉——低频不意味着换了一套物理。

高频电路与天线进入辐射区后，准静态近似失效，必须把推迟势与远场 $1/r$ 项留在解里：电荷加速才辐射，匀速直线运动在惯性系中并不发射电磁波。设计上这表现为阻抗匹配、方向图与极化——全是麦克斯韦边值问题在开放空间中的工程读数，而不是另起一套经验公式。

麦克斯韦方程组在科学史上的地位可以从一个角度来衡量：爱因斯坦将其建立狭义相对论的主要动机，描述为"使麦克斯韦方程在所有惯性参考系中成立"。在200年的物理学历史中，麦克斯韦方程组既是它所处时代最完整的电磁学理论，又是相对论和量子场论的出发点，这种双重角色在物理学史上极为罕见。

连接节点：法拉第与电磁感应 → 麦克斯韦方程组（从实验到理论）；麦克斯韦方程组 → 狭义相对论（以太危机与相对论）；麦克斯韦方程组 → 光的本质（光是电磁波）；麦克斯韦方程组 → 对称性与诺特定理（规范对称性）

事实卡#

1. 卡1

   麦克斯韦1865年引入位移电流 $\partial\mathbf{D}/\partial t$，从理论一致性而非实验推导，预言电磁波以光速传播；无此项则安培定律与电荷守恒互相打架。

2. 卡2

   电磁波速 $c = 1/\sqrt{\mu_0\varepsilon_0} = 2.998 \times 10^8$ m/s，与当时已知光速几乎精确吻合，揭示光是电磁波。

3. 卡3

   1887年赫兹实验室产生和探测了频率约50 MHz的电磁波，验证了麦克斯韦22年前的预言。

4. 卡4

   QED（量子化麦克斯韦方程）预言电子反常磁矩精确到 $10^{-12}$ 量级，是物理学中实验与理论吻合最精确的结果。

跨域连接#

• 狭义相对论：麦克斯韦方程组预言光速是一个由 $\varepsilon_0$ 与 $\mu_0$ 决定的常数，与观察者无关——这与伽利略速度叠加直接冲突。爱因斯坦 1905 年那篇论文的标题是《论动体的电动力学》，狭义相对论是为了解决这个矛盾而生的，不是先有相对论再去解释电磁学。
• 对称性与诺特定理：麦克斯韦方程组的规范不变性（势可以差一个梯度而场不变）是第一个被认识到的规范对称性。它后来被推广成整个标准模型的构造原则——电磁学是规范场论的原型。
• 拓扑与几何语言：这四条方程用向量微积分写出来是四行，用微分形式写出来是两行（$dF = 0$、$d\star F = J$）。这不是记号游戏——形式语言让"为什么是四条"有了答案，也让它在弯曲时空里的推广变得自然。方程的美感来自选对了语言。
• 信息论：从发电机到手机，整个电气与通信技术建立在这四条方程之上。赫兹 1887 年验证电磁波、马可尼 1901 年跨大西洋无线电报——从理论预言到洲际通信只隔了十几年，这是理论物理直接改造世界的最快案例之一。
• 科学史：麦克斯韦的推导过程用了一个后来被抛弃的力学以太模型作脚手架。方程留下了，脚手架拆掉了。这提醒我们：一个理论的价值不必依赖它的启发性图像是否正确——正如玻尔的轨道图像错了，但他算对的谱线没有因此失效。

引用#

参考文献#

1. Maxwell, James Clerk. "A Dynamical Theory of the Electromagnetic Field." Philosophical Transactions of the Royal Society, 1865.
2. Hertz, Heinrich. "Über sehr schnelle electrische Schwingungen." Annalen der Physik und Chemie, 1887.
3. Heaviside, Oliver. Electromagnetic Theory. London: The Electrician, 1893–1912.
4. Michelson, Albert A., and Edward W. Morley. "On the Relative Motion of the Earth and the Luminiferous Ether." American Journal of Science, 1887.
5. Feynman, Richard P., Robert B. Leighton, and Matthew Sands. The Feynman Lectures on Physics, Vol. 2. Addison-Wesley, 1964.
6. 赵凯华, 陈秉乾. 《电磁学》. 高等教育出版社, 2005.