数学基础：拉盖尔多项式与厄米多项式

说实话，刚接触光束模式分析那会儿，我也觉得数学部分挺劝退的。一堆公式、递推关系，看着就头大。但后来我发现，搞懂这两个多项式，就像拿到了描述光束的“语法书”。你想想看，没有语法，你怎么写句子？

这一章，我们就来聊聊拉盖尔多项式和厄米多项式。它们分别对应着两种常见的光束模式——拉盖尔-高斯（LG）模式和厄米-高斯（HG）模式。说白了，一个描述的是甜甜圈形状的光斑，另一个描述的是棋盘格形状的光斑。

拉盖尔多项式的定义与递推关系

拉盖尔多项式，通常记作 Lpl(x)。这里的 p 是径向指数，l 是角向指数。我个人习惯把 p 想象成“环数”，l 想象成“瓣数”。

它的定义式长这样：

L_p^l(x) = \sum_{k=0}^{p} (-1)^k \frac{(p+l)!}{(p-k)! (l+k)! k!} x^k

嗯，看着有点复杂。但实际用的时候，我们更常用它的递推关系。为什么呢？因为手算太慢，计算机喜欢递推。

递推关系（核心）：

1. 关于 p 的递推：

   (p+1) L_{p+1}^l(x) = (2p+l+1 - x) L_p^l(x) - (p+l) L_{p-1}^l(x)

   这个公式最常用。我写代码算高阶 LG 模式时，基本就靠它。
2. 关于 x 的导数：

   x \frac{d}{dx} L_p^l(x) = p L_p^l(x) - (p+l) L_{p-1}^l(x)

   这个在计算光束的相位分布时特别有用。

厄米多项式的定义与性质

厄米多项式，记作 Hn(x)。它比拉盖尔多项式稍微“规矩”一点。它的定义式是：

H_n(x) = (-1)^n e^{x^2} \frac{d^n}{dx^n} e^{-x^2}

这个定义有个很直观的物理意义——它和量子谐振子的波函数直接挂钩。我在做激光谐振腔设计时，经常用到这个性质。

厄米多项式的重要性质：

• 奇偶性： H_n(-x) = (-1)^n H_n(x)。说白了，n 是奇数就是奇函数，n 是偶数就是偶函数。这个性质直接决定了 HG 模式的对称性。
• 递推关系：

  H_{n+1}(x) = 2x H_n(x) - 2n H_{n-1}(x)

  这个和拉盖尔的递推一样，是数值计算的主力。
• 正交性：

  \int_{-\infty}^{\infty} H_m(x) H_n(x) e^{-x^2} dx = \sqrt{\pi} 2^n n! \delta_{mn}

  正交性保证了不同模式之间不会“串扰”。这是模式分析的基础。

它们在描述光束模式中的角色

好了，现在我们把这两个多项式“请”到光束模式里来。

拉盖尔-高斯（LG）模式：

LG 模式的电场表达式里，径向部分就是拉盖尔多项式。它决定了光斑的环状结构。

LG_p^l(r, \phi, z) \propto \left( \frac{r}{w(z)} \right)^{|l|} L_p^{|l|} \left( \frac{2r^2}{w^2(z)} \right) e^{-r^2/w^2(z)} e^{il\phi}

你看，Lp|l| 直接决定了径向的节数。p=0 时，就是一个甜甜圈；p=1 时，甜甜圈变成两个环。

厄米-高斯（HG）模式：

HG 模式的电场里，厄米多项式负责“切分”光斑。

HG_{m,n}(x,y,z) \propto H_m\left( \frac{\sqrt{2}x}{w(z)} \right) H_n\left( \frac{\sqrt{2}y}{w(z)} \right) e^{-(x^2+y^2)/w^2(z)}

m 和 n 分别决定了 x 和 y 方向的“暗线”数量。m=1, n=0 时，光斑中间有一条竖着的黑线；m=1, n=1 时，就是一个四瓣的棋盘格。

两者的对比：

我个人觉得，理解这两个多项式的角色，关键在于“基函数”这个概念。任何一个复杂的光束，都可以看成是这些基本模式的叠加。就像乐谱里的音符，不同的组合能奏出不同的乐章。