2. 麦克斯韦方程组与波动方程：光作为电磁波的基本描述

聊高斯光束，绕不开一个根本问题：光到底是什么？

我个人习惯，讲任何光学系统之前，先回到麦克斯韦方程组。这不是掉书袋，而是因为高斯光束的所有行为——传播、聚焦、发散、衍射——都藏在这四个方程里。你想想看，没有这个根基，后面那些束腰半径、瑞利长度、q参数，全是空中楼阁。

2.1 麦克斯韦方程组：光的“宪法”

1864年，麦克斯韦用四个方程统一了电学和磁学，并且预言了电磁波的存在。光，就是特定频率范围内的电磁波。

在无源、线性、各向同性的介质中，麦克斯韦方程组可以写成这样：

方程名称	微分形式	物理含义
高斯定律（电）	∇·D = 0	无自由电荷时，电位移线是连续的
高斯定律（磁）	∇·B = 0	不存在磁单极子，磁力线闭合
法拉第电磁感应定律	∇×E = -∂B/∂t	变化的磁场产生电场
安培-麦克斯韦定律	∇×H = ∂D/∂t	变化的电场产生磁场

这里有个关键点：变化的电场产生磁场，变化的磁场又产生电场。这种互相激发的关系，让电磁波可以脱离源而独立传播。我在项目中遇到过一位刚入行的同事，他总搞不懂为什么激光在真空中也能走那么远。我告诉他，你把麦克斯韦方程组里这两个旋度方程连起来看，就明白了——电磁波是自持的，不需要介质。

2.2 从方程组到波动方程

有了麦克斯韦方程组，下一步就是推导波动方程。说白了，就是把电场和磁场从耦合的方程里“解耦”出来。

对法拉第定律两边取旋度，再利用矢量恒等式，再代入安培定律……嗯，推导过程我就不一步步写了，教科书上都有。直接给结果：

∇²E - με ∂²E/∂t² = 0
∇²H - με ∂²H/∂t² = 0

这就是波动方程。其中μ是磁导率，ε是介电常数。波速v = 1/√(με)。在真空中，v = c ≈ 3×10⁸ m/s。

你可能会问：这跟高斯光束有什么关系？

关系大了。高斯光束就是波动方程在特定边界条件下的一个解。我记得刚开始学激光时，老师反复强调：所有光束传播问题，本质上都是在解波动方程。只是不同情况用不同的近似方法。

2.3 亥姆霍兹方程：去掉时间因子

实际工程中，我们关心的通常是单色光（单一频率）。这时候可以把时间因子分离出来。

假设电场是：

E(r, t) = E(r) · e^(jωt)

代入波动方程，时间导数项变成 -ω²，整理后得到：

∇²E + k²E = 0

其中k = ω/v = 2π/λ，称为波数。

这就是亥姆霍兹方程。它描述的是稳态单色光场的空间分布。我个人觉得，亥姆霍兹方程才是高斯光束真正的起点。因为从它出发，我们可以用不同的近似方法得到不同的光束模型。

2.4 标量衍射理论与傍轴近似

严格来说，光场是矢量场。但在很多实际场景中，光的偏振方向变化不大，我们可以把它当作标量场来处理。这就是标量衍射理论的基础。

标量亥姆霍兹方程的一个基本解是球面波：

E(r) = (A/r) · e^(-jkr)

但球面波处理起来太麻烦。好在激光光束通常沿着一个方向传播（比如z轴），而且发散角很小。这时候就可以用傍轴近似。

做法是：假设光场可以写成：

E(x,y,z) = u(x,y,z) · e^(-jkz)

其中u是慢变振幅（沿z方向变化很慢）。代入亥姆霍兹方程，忽略u对z的二阶导数项，得到：

∂²u/∂x² + ∂²u/∂y² - 2jk ∂u/∂z = 0

这就是傍轴波动方程（也叫抛物型方程）。

2.5 知识体系总览

下面这张图把从麦克斯韦方程组到高斯光束的推导路径串起来了。我建议你把它当作本章的“地图”，随时回来对照。

2.6 工程视角：为什么我们关心这些方程？

你可能觉得这些推导太理论了。但说实话，在工程中，这些方程决定了你的设计边界。

举个例子：

• 麦克斯韦方程组告诉你，光在金属表面会发生什么——这决定了反射镜的设计。
• 波动方程告诉你，光在介质中传播会有相位延迟——这决定了透镜的厚度。
• 亥姆霍兹方程告诉你，光在自由空间传播会衍射——这决定了光束的远场发散角。
• 傍轴近似告诉你，什么时候可以用简单的ABCD矩阵——这决定了系统建模的精度。