激光的“性格”：深入图解高斯光束及其高阶模式 (TEMmn)
当我们谈论激光时，脑海中浮现的通常是一束笔直、极细、中心极亮的光线。
这种最理想、最常见的激光形态，我们在数学上称之为基模高斯光束 (Fundamental Gaussian Beam, $TEM_{00}$)。
但如果你调整一下激光器的谐振腔，或者激光经过某些晶体，你会惊讶地发现，光斑变了：
有的变成了“甜甜圈”，有的变成了“田字格”，有的甚至像复杂的万花筒。
这些不同的空间分布形态，就是激光的横模 (Transverse Modes)。今天我们来拆解一下这些模式背后的物理与数学之美。
01. 皇冠上的明珠：基模高斯光束 ($TEM_{00}$)
这是所有光学工程师最喜欢的模式。
它是傍轴波动方程（Paraxial Wave Equation）在圆柱坐标系下最简单的解。
形态特征
- 强度分布：呈现完美的钟形曲线 (Bell Curve)。中心最亮，向边缘呈指数衰减。
$$I(r) = I_0 e^{-2r^2/w^2}$$
其中 $w$ 是光束半径（强度下降到峰值 $1/e^2$ 处的距离）。 - 相位：波前是球面的（在束腰处是平面的）。
为什么我们都爱 $TEM_{00}$？
- 聚焦能力最强：在同样的透镜孔径下，基模光束可以被聚焦成最小的斑点。这对于激光切割、显微镜成像至关重要。
- 发散角最小：它是在真空中传输时，“最不爱扩散”的光束。
- 光束质量因子 $M^2 = 1$：这是衡量激光好坏的金标准。
02. 打破对称：厄米-高斯模式 (Hermite-Gaussian, HG)
如果我们不再要求圆对称，而是在直角坐标系 (x, y) 下求解波动方程，就会得到一组像“麻将牌”一样的解。
数学表达
它的电场分布中包含了一个特殊的数学项：厄米多项式 (Hermite Polynomials)。
我们通常用 $TEM_{mn}$ 来标记，其中 $m$ 和 $n$ 分别代表 x 和 y 方向上的节点（暗线）数量。
常见形态
- $TEM_{00}$：只有一个主光斑（基模）。
- $TEM_{01}$：像被切了一刀，垂直方向裂成两个光斑。
- $TEM_{10}$：水平方向裂成两个光斑。
- $TEM_{11}$：像一个“田”字，四个光斑。
物理意义
这些模式通常出现在矩形对称的激光腔中（例如腔内有矩形光阑，或者激光晶体是长条形的）。
虽然在光纤耦合中我们极力避免它们（因为很难耦合进圆形光纤），但在某些粒子捕获和阵列照明应用中，这种结构光非常有用。
03. 光的旋涡：拉盖尔-高斯模式 (Laguerre-Gaussian, LG)
这是近年来光物理界最火的研究方向之一。
如果我们在圆柱坐标系 (r, $\phi$) 下求解，引入了拉盖尔多项式，就会得到这组解：$LG_{pl}$。
甜甜圈光束 (Donut Beam)
当径向指数 $p=0$ 但角向指数 $l \neq 0$ 时（例如 $TEM_{01}^$），光束中心会出现一个*相位奇点。
- 强度：中心强度为 0，能量分布在一个圆环上，像一个甜甜圈。
- 相位：波前不再是平面或球面，而是一个螺旋面 (Helical Wavefront)。
轨道角动量 (OAM)
LG 模式最迷人的地方在于它携带轨道角动量。
如果用这种光去照射微小的粒子，粒子不仅会被推着走，还会绕着光轴旋转！
- 应用：光镊（操纵细胞）、光通信（利用 OAM 进行模分复用，增加带宽）。
04. 为什么会有这么多模式？
你可以把激光谐振腔想象成两面镜子之间的一根琴弦。
- 琴弦不仅可以整体振动（基频），还可以分段振动（泛音/谐波）。
- 同样，光在两面镜子之间来回反射，只有那些在横截面上满足**“自再现”**（跑一圈回来场分布不变）的波才能存活下来。
这些“存活下来”的独立解，就是本征模 (Eigenmodes)。
- 如果你把谐振腔调得非常完美，通常只有损耗最小的 $TEM_{00}$ 起振。
- 如果腔内有灰尘、光阑不对齐，或者增益介质很宽，高阶模式就会趁机起振，导致光束质量变差（$M^2 > 1$）。
05. 总结：如何选择？
- 选 $TEM_{00}$：当你需要切断钢板、在视网膜上做手术、或者把光通过一根细细的光纤传到几公里外。
- 选 HG/LG 模式：当你需要同时照亮四个点、用光镊旋转一个细菌、或者在量子通信中利用光的“形状”来编码信息。
激光不仅有能量，更有形状。理解了模式，你就掌握了控制光的“画笔”。