From Rings to Top-Hat beams

技术摘要：从环形光束到平顶光束

问题陈述
许多材料加工、激光手术和量子技术领域的应用，需要具有均匀横向强度分布（平顶光束或平坦光束）的激光束，而非高斯光束的峰值分布或涡旋光束的中心零点。虽然平顶光束能确保消融深度的一致性和受控的热沉积，但其解析建模具有挑战性。现有方法通常使用高阶超高斯函数或扁平化高斯级数来近似这些剖面。然而，超高斯光束的旁轴传播无法用初等函数表示，这使得计算密集型的分步傅里叶模拟或易产生空间频率混叠的高阶模态展开变得不可或缺。此外，以往的研究通常在源平面（$z=0$）生成平顶剖面，缺乏对于在传播距离 $z > 0$ 处生成此类剖面的解析或数值结果。

方法论
作者开发了一个精确的解析框架，用于描述一类特定的结构光束的旁轴传播，这类光束可以在环状环形分布与均匀平顶分布之间连续过渡。初始场 $E(r, \theta; 0)$ 被定义为两个分量的叠加，两者都携带方位角相位因子 $e^{il\theta}$：

1. 一个经高斯加权的幂律核心（$e^{-ar^2} r^l$）。
2. 一个奇异的反平方调制项（$e^{-b/r^2}$）。

传播受旁轴亥姆霍兹方程支配。作者在柱坐标系下通过将两个分量分别处理，求解了总场的菲涅耳衍射积分：

• 核心分量： 高斯加权幂律项使用算符代数法求解，得到一个与柯西-黎曼光束相关的精确解。该项随复光束参数 $w(z)$ 进行自相似缩放。
• 奇异分量： 反平方项在与横向拉普拉斯算符交换时并不构成李代数闭合，因此通过菲涅尔衍射积分进行处理。通过应用安格-雅可比恒等式（Anger-Jacobi identity），并利用 Gradshteyn 和 Ryzhik 中的特定恒等式对径向变量进行积分，作者推导出了一个包含无穷级数修正第二类贝塞尔函数（$K_\nu$）的精确闭合形式表达式。

总传播场是这两个精确解的线性叠加。两个分量的相对振幅（$\alpha$ 和 $\beta$）作为调节参数，用于控制环形形成核心与填充中心的奇异项之间的干涉。

主要结果
本研究给出了任意平面 $z$ 处传播场的精确闭合形式表达式。研究结果通过使用氦氖激光器（$\lambda = 632.8$ nm）照明的标准 4f 光学系统中的空间光调制器（SLM）进行了实验验证。

1. 环形光束（$l \neq 0$）： 对于非零拓扑电荷，柯西-黎曼项与贝塞尔级数的干涉产生了带有暗核的环形剖面。贝塞尔项在中间距离处部分填充了中心区域，在不破坏涡旋拓扑保护的前提下调制了环形对比度。解析模型与实验 3D 强度分布表现出极佳的定性一致性。
2. 电荷叠加： 该框架成功模拟了具有不同拓扑电荷（例如 $l_1=1$ 和 $l_2=10$）的光束的线性叠加。产生的花瓣状图案保持了由电荷差决定的严格旋转对称性，其解析结构允许直接评估轨道角动量密度的重新分布，而无需数值模拟。
3. 平顶机制（$l = 0$）： 在基本模中，螺旋相位奇异性被抑制。通过调节系数比 $\beta/\alpha$，奇异项填充了中心强度零点。论文展示了在特定传播距离下，通过平衡高斯衰减宽度和奇异调制范围，实现从中心峰值剖面到均匀平顶平台的连续过渡，此后光束在保持均匀性的同时发生衍射。与超高斯近似不同，这种解析推导出的平顶剖面在传播过程中不会产生空间振荡（纹波）。

意义与主张
本文声称填补了结构光理论中的一个长期空白，提供了一种具有数值光束整形能力的无网格、闭合形式解析解。其主要意义在于能够：

• 消除数值复杂性： 该解仅需计算初等函数和快速收敛的贝塞尔函数级数，其计算成本远低于分步傅里叶模拟或超高斯模态展开。
• 实现系统化设计： 由于该解是闭合形式的，它允许在无需迭代数值优化的情况下，对光学系统（如衍射元件和超透镜）进行实时优化和系统化设计。
• 控制平顶形成： 该框架证明了可以通过平衡高斯衰减宽度和奇异调制范围，在特定距离 $z > 0$（而非仅仅在源处）生成平顶剖面。这为实验人员提供了两个独立参数（$a$ 和 $b$），以将平顶平台放置在所需的有效工作距离。
• 保留拓扑特征： 该模型准确捕捉了涡旋环形光束及其叠加态的传播，在没有数值伪影的情况下保留了暗核和花瓣对称性等拓扑特征。

作者指出，虽然目前的工作侧重于旁轴机制，但未来的扩展可以处理非旁轴修正、大气湍流和部分相干光源。