📚 课程目录第2章数学基础

第二章数学基础：波动方程与亥姆霍兹方程、傍轴近似、模式正交性与完备性

各位同学，欢迎来到第二章。说实话，数学基础这东西，很多人一听就头疼。我当年刚入行时也一样，觉得搞光学设计嘛，会调光路就行了。直到第一次在项目里被高阶模的耦合问题卡了整整两周……嗯，从那以后我老实了。这一章的内容，是后续所有光束调控技术的根基，咱们得把它吃透。

光是一种电磁波，这大家都知道。描述光波传播的起点，就是麦克斯韦方程组推导出的波动方程：

∇²E - (1/c²) ∂²E/∂t² = 0

这个方程在真空中成立。但在实际工程中，我们更关心单色光——也就是频率固定的激光。这时候，可以把电场写成：

E(r,t) = E(r) · exp(-iωt)

代入波动方程，时间导数项就变成了 -ω²，于是得到：

∇²E + k²E = 0,  其中 k = ω/c = 2π/λ

这就是亥姆霍兹方程。说白了，它就是把时间因子剥离掉，只保留空间分布。我个人习惯把亥姆霍兹方程看作是“稳态版的波动方程”——你只需要关心光场的空间形状，频率已经定死了。

  核心要点： 波动方程 → 亥姆霍兹方程，本质是时域到频域的简化。工程中99%的激光问题都用亥姆霍兹方程起步。

亥姆霍兹方程虽然比波动方程简单，但直接求解仍然很困难。你想想看，一个三维偏微分方程，边界条件稍微复杂点就解不出来。这时候就需要傍轴近似。

什么是傍轴？就是光束主要沿着一个方向（比如z轴）传播，横向扩展很慢。激光束基本都满足这个条件。我们把电场写成：

E(r) = u(r) · exp(ikz)

这里 u(r) 是慢变振幅。代入亥姆霍兹方程，忽略 u 对 z 的二阶导数项（因为变化很慢），就得到：

∇ₜ²u + 2ik ∂u/∂z = 0

这就是傍轴亥姆霍兹方程，也叫抛物型方程。∇ₜ² 是横向拉普拉斯算子。

我的经验： 我在设计长距离自由空间光通信系统时，傍轴近似带来的误差通常在千分之一以内，完全够用。但如果你做的是大数值孔径的显微物镜设计，傍轴近似就不太准了，得用更精确的模型。

傍轴近似的物理意义是什么？它相当于把球面波前近似为抛物面。你可以想象一下：一个很大的球，你站在球面上看一小块区域，它看起来就像个抛物面。这就是傍轴近似的几何图像。

有了傍轴方程，我们就可以求解出一系列特征解——也就是模式。常见的包括：

这些模式有一个极其重要的性质——正交性。数学上表达为：

∫∫ uₘ*(x,y) · uₙ(x,y) dxdy = δₘₙ

当 m ≠ n 时，积分为零；当 m = n 时，积分为1（归一化后）。

为什么会这样？因为傍轴方程是一个厄米算符的本征值问题。厄米算符的本征函数天然正交。你想想看，这就像不同频率的振动模式不会互相干扰一样。

避坑指南： 我曾经在做一个多模光纤耦合器时，以为两个模式只要频率不同就不会耦合。结果发现，如果光纤有弯曲或应力，模式正交性会被破坏，产生串扰。正交性只在理想无扰动系统中严格成立。工程上要留余量。

正交性保证了模式之间“不打架”，而完备性保证了“没有漏网之鱼”。完备性说的是：任何满足边界条件的傍轴光场，都可以表示为这些模式的线性叠加：

u(r) = Σ cₙ · uₙ(r)

系数 cₙ 可以通过内积计算：

cₙ = ∫∫ uₙ*(r) · u(r) dr

这个性质太重要了。它意味着：

  工程意义： 完备性 + 正交性 = 模式分析的理论基础。你在实验里测到的光场，总可以投影到一组正交基上，得到模式功率谱。这就是模式分解仪器的原理。

下面这张图把本章的核心逻辑串起来了。我建议你把它当作思维导图来记：

下面这个表格总结了三种常用模式族的关键参数，方便你查阅：

实用建议： 如果你刚开始做模式分析，我建议先从HG模式入手。它的数学形式最直观，实验上也最容易用SLM（空间光调制器）生成。等HG模式玩熟了，再扩展到LG和Bessel。

这一章的内容，说白了就是三句话：

第二章 数学基础：波动方程与亥姆霍兹方程、傍轴近似、模式正交性与完备性