1. 光的波动性基础：从麦克斯韦方程组到波动方程
大家好，欢迎来到这门课的第一章。
说实话，很多做激光、做光学的朋友，一上来就盯着高斯光束的公式看。结果呢？越看越晕。我个人习惯是，先搞清楚光到底是什么。你连光怎么传播都没想明白，直接去解高阶模，那肯定吃力。
这一章，我们就从最根本的地方出发——光是一种电磁波。这个结论不是拍脑袋想出来的，它来自麦克斯韦方程组。咱们一步步来，把波动方程推导出来。别怕，我保证不堆砌数学，重点放在物理图像上。
1.1 麦克斯韦方程组：电磁场的“宪法”
麦克斯韦方程组，说白了就是描述电场和磁场怎么产生、怎么相互转化的四条定律。我当年学的时候，老师让我们背四个方程，我背了三天没背下来。后来我发现，理解比背诵重要得多。
咱们先看这四条定律，用积分形式写出来：
| 定律名称 | 数学表达式（积分形式） | 物理含义（一句话） |
|---|---|---|
| 高斯定律（电） | ∮S E · dA = Qenc / ε₀ | 电荷是电场的源，电场线从正电荷出发，终止于负电荷。 |
| 高斯定律（磁） | ∮S B · dA = 0 | 没有“磁单极子”，磁感线总是闭合的。 |
| 法拉第电磁感应定律 | ∮C E · dl = - dΦB / dt | 变化的磁场会产生电场（这是发电机原理）。 |
| 安培-麦克斯韦定律 | ∮C B · dl = μ₀ Ienc + μ₀ ε₀ dΦE / dt | 电流和变化的电场都能产生磁场。 |
核心要点： 第四条定律里的“μ₀ ε₀ dΦE / dt”项，是麦克斯韦的天才贡献。他加了这一项，才让方程组自洽，也才预言了电磁波的存在。没有这一项，就没有光。
嗯，这里要注意，我们做光学的人，最常用的是微分形式。因为我们要研究的是空间每一点的场，而不是一个闭合曲面上的通量。微分形式长这样：
- ∇ · E = ρ / ε₀
- ∇ · B = 0
- ∇ × E = - ∂B / ∂t
- ∇ × B = μ₀ J + μ₀ ε₀ ∂E / ∂t
你可能会问，为什么从积分形式变到微分形式？因为微分形式能告诉我们，在空间中的每一点，场是如何变化的。这对于我们后面推导波动方程至关重要。
1.2 从方程组到波动方程：光速是怎么来的？
好，现在我们来干一件漂亮的事——从麦克斯韦方程组推导出波动方程。
假设我们研究的区域是真空，没有自由电荷（ρ=0），也没有传导电流（J=0）。那么方程组简化为：
- ∇ · E = 0
- ∇ · B = 0
- ∇ × E = - ∂B / ∂t
- ∇ × B = μ₀ ε₀ ∂E / ∂t
接下来，我们对第三个方程两边取旋度：
∇ × (∇ × E) = ∇ × ( - ∂B / ∂t ) = - ∂ ( ∇ × B ) / ∂t
利用矢量恒等式 ∇ × (∇ × E) = ∇ ( ∇ · E ) - ∇² E，并且因为 ∇ · E = 0，所以左边变成 -∇² E。
右边呢？把第四个方程代入：
- ∂ ( ∇ × B ) / ∂t = - ∂ ( μ₀ ε₀ ∂E / ∂t ) / ∂t = - μ₀ ε₀ ∂² E / ∂t²
于是我们得到：
∇² E = μ₀ ε₀ ∂² E / ∂t²
这就是电场的波动方程。同理，对磁场做一遍，也能得到：
∇² B = μ₀ ε₀ ∂² B / ∂t²
我的经验： 推导过程看起来有点绕，但核心就三步：取旋度、用恒等式、代入化简。我在项目里推导高阶模的波动方程时，用的也是这套逻辑。你只要把这一步走通了，后面所有关于光传播的问题，都逃不出这个框架。
对比标准的波动方程形式：
∇² ψ = (1 / v²) ∂² ψ / ∂t²
我们可以读出电磁波的传播速度：
v = 1 / √(μ₀ ε₀)
代入真空中的数值：μ₀ = 4π × 10⁻⁷ N/A²，ε₀ ≈ 8.854 × 10⁻¹² F/m，计算得到：
v ≈ 2.998 × 10⁸ m/s
这不就是光速 c 吗？
历史一刻： 麦克斯韦在1865年算出这个数值时，发现它和当时实验测得的光速惊人一致。他由此断言：“光是一种电磁波。” 这个结论，奠定了整个光学和电磁学的统一基础。
1.3 光作为电磁波：横波特性与偏振
波动方程告诉我们光会传播，但没告诉我们它怎么振动。从麦克斯韦方程组，我们还能得到一个重要结论：光是横波。
什么意思？就是说，电场 E 和磁场 B 的振动方向，都垂直于光的传播方向。而且，E 和 B 互相垂直。
我记得有一次调试激光干涉仪，怎么都调不出干涉条纹。后来发现，是偏振片的方向搞反了。你想想看，如果两个光束的偏振方向互相垂直，它们根本不会干涉。这就是横波特性带来的实际影响。
咱们用一张图来总结光作为电磁波的基本图像：
避坑指南： 我曾经在写仿真代码时，默认电场和磁场是独立的。结果算出来的能量流方向是错的。记住，E 和 B 不是独立的，它们通过麦克斯韦方程组耦合在一起。在自由空间中，知道其中一个，就能算出另一个。
1.4 光波的数学描述：从平面波到波包
波动方程的解有很多种。最简单、最基础的一种是平面波。虽然现实中不存在无限延伸的平面波，但它是我们分析所有复杂光波（包括高斯光束）的起点。
一个沿 z 方向传播的单色平面波，电场可以写成：
E(z, t) = E₀ cos(kz - ωt + φ)
或者用复数形式（我个人更喜欢用复数，求导、叠加都方便）：
E(z, t) = E₀ ei(kz - ωt + φ)
这里面几个参数，你得刻在脑子里：
| 符号 | 名称 | 含义 | 关系式 |
|---|---|---|---|
| E₀ | 振幅 | 电场振荡的最大值 | 与光强 I ∝ |E₀|² |
| k | 波数 | 单位长度内的相位变化 | k = 2π / λ |
| ω | 角频率 | 单位时间内的相位变化 | ω = 2πν = 2π / T |
| φ | 初相位 | t=0, z=0 时的相位 | 决定了波形的起始位置 |
| λ | 波长 | 一个完整振荡的空间长度 | λ = c / ν |
| ν | 频率 | 每秒振荡的次数 | ν = c / λ |
你想想看，为什么我们后面要学高斯光束？因为平面波是理想化的，它没有横向结构。而真实的光束，比如激光器出来的光，它的振幅在横截面上不是均匀的，而是呈高斯分布。这就是我们这门课的核心。
但别急，在进入高斯光束之前，你得先理解光波的叠加原理。因为波动方程是线性方程，所以多个解加起来还是解。这就是为什么我们可以把一束复杂的光，分解成无数个平面波的叠加（傅里叶光学的基础）。
一个小练习： 试着用复数形式写出两束频率相同、传播方向相同、但振幅和相位不同的平面波的叠加。你会发现，合成波的振幅和相位都可以用矢量加法来算。这个技巧，在分析干涉、衍射时非常有用。
1.5 本章小结：从场到波，从波到光
咱们这一章，走了一条很清晰的路：
- 麦克斯韦方程组 描述了电磁场的基本规律。
- 在无源真空中，方程组可以推导出 波动方程。
- 波动方程的解，就是 电磁波，它在真空中的速度正好是光速 c。
- 电磁波是 横波，E 和 B 互相垂直，且垂直于传播方向。
- 最简单的解是 平面波，它是我们分析复杂光波的基础。
说实话，这些内容看起来像是“老生常谈”。但我见过太多人，在做激光光束整形、光纤耦合时，因为忽略了光的基本波动性质，导致实验失败。比如，你设计一个透镜系统，如果不考虑光的衍射（波动性的直接体现），那你的系统一定达不到衍射极限。