第3章自由曲面数学基础

自由曲面数学基础：多项式表示与坐标系

各位同学，今天我们进入自由曲面设计的核心——数学表达。说实话，很多初学者一看到多项式就头疼，觉得这是数学家的事。但在我多年的设计经验里，恰恰是这部分决定了你能不能真正驾驭自由曲面。

自由曲面没有标准公式，我们需要用多项式去“拟合”它。就像用乐高积木搭出任意形状，多项式就是那些积木块。今天我会重点讲三种最常用的：Zernike多项式、XY多项式、Q-type多项式。另外，坐标系的选择也是个坑，我踩过不少。

Zernike多项式在光学设计里太常见了。它定义在单位圆上，每个项都有明确的物理意义——像散、彗差、球差等等。我个人习惯用它来做波前拟合和像差分析。

标准形式是这样的：

Z(n,m)(ρ,θ) = R(n,m)(ρ) * cos(mθ)   (m ≥ 0)
Z(n,-m)(ρ,θ) = R(n,m)(ρ) * sin(mθ)  (m < 0)

其中R(n,m)是径向多项式，ρ是归一化半径，θ是角度。

Zemax中的用法：

在Zemax里，Zernike Fringe Sag面型用的是Fringe Zernike多项式，前37项就够用了。我一般用前9项做初步优化，后面再慢慢加项。

关键点：Zernike项之间是正交的，这意味着你调整某一项时，不会影响其他项。这在优化时非常方便。

我的经验：做离轴系统时，Zernike多项式对偏心、倾斜的拟合效果很好。我曾经用Zernike第5、6项（像散）来补偿反射镜的安装误差，效果立竿见影。

XY多项式就是x和y的幂次组合。形式简单粗暴：

z(x,y) = Σ C(i,j) * x^i * y^j

其中i+j ≤ N，N是多项式的阶数。

为什么需要它？因为Zernike多项式在矩形孔径上表现不好——它天生是圆的。你想想看，如果镜头是矩形的，用Zernike去拟合，边缘会出问题。这时候XY多项式就派上用场了。

Zemax中的实现：

在Zemax里，Extended Polynomial面型就是基于XY多项式的。你可以设置最大项数，比如到10阶，那就是66项（因为i+j ≤ 10）。

注意：XY多项式的项之间不是正交的。这意味着你调整一个系数，其他系数可能也要跟着变。我曾经在优化一个矩形照明系统时，因为没注意这一点，花了整整两天才把系数调稳。

我个人建议：用XY多项式时，先固定低阶项（0-4阶），再逐步放开高阶项。不要一上来就全放开，那样优化会乱套。

Q-type多项式是近几年才流行起来的。它由Forbes教授提出，专门针对自由曲面设计。说白了，它解决了Zernike和XY多项式的一个痛点——数值稳定性。

Q-type分为两种：

它的数学形式比较复杂，但核心思想是：用一组正交多项式来描述偏离基底曲面的量。这样系数之间互不干扰，优化起来特别顺。

z(ρ) = cρ²/(1+√(1-(1+k)c²ρ²)) + (1/√(1-(1+k)c²ρ²)) * Σ A(n) * Q(n,ρ)

前面是基底曲面，后面是Q-type多项式叠加。

为什么推荐Q-type？因为它的系数对制造误差更敏感。我在做车载HUD的自由曲面反射镜时，用Q-type多项式设计，加工出来的样品和仿真结果几乎一致。换成XY多项式，同样的设计，加工后偏差大了将近一倍。

这个知识点看似简单，但坑最多。我见过太多工程师因为坐标系搞混，导致整个系统设计报废。

全局坐标系：整个光学系统的绝对坐标系。通常以第一个面或像面为原点。

局部坐标系：每个光学面自己的坐标系。可以平移、旋转。

在Zemax里，每个面都有局部坐标系。当你插入一个坐标断点面（Coordinate Break），就可以改变后续面的局部坐标系。

实际应用场景：

我曾经踩过的坑：有一次设计一个三反系统，我在局部坐标系下优化好了自由曲面，结果在全局坐标系下检查时，发现光线追迹全乱了。后来查了半天，原来是坐标断点面的顺序搞反了。记住：Zemax里坐标变换是右乘的，顺序很重要！

我个人的习惯是：在Zemax里用「局部坐标」做设计，用「全局坐标」做验证。具体做法是：

多项式类型	适用场景	优点	缺点
Zernike	圆形孔径、波前拟合	正交性好、物理意义明确	矩形孔径效果差
XY多项式	矩形孔径、照明系统	形式简单、灵活	非正交、数值稳定性差
Q-type	自由曲面、高精度成像	数值稳定、制造友好	数学复杂、学习曲线陡

我的建议：如果你是新手，先从Zernike入手，它最直观。做照明系统时用XY多项式。做高端成像系统，尤其是要加工出来的，直接上Q-type。别问我为什么，经验之谈。

好了，这一章的内容就到这里。下一章我们会讲如何在Zemax里实际搭建自由曲面模型，包括面型选择、参数设置、优化策略。到时候我会带大家手把手操作一遍。