重建单位圆上定义的二维多项式的线性组合时需要多少个样本点?

计算科学 数值分析 计算物理学 数值建模
2021-12-07 12:53:52

我有一组前 25 个Zernike polynomials下面是在 Cartesin 坐标系中显示的几个。

z2 = 2*x

z3 = 2*y

z4 = sqrt(3)*(2*x^2+2*y^2-1)

z24 = sqrt(14)*(15*(x^2+y^2)^2-20*(x^2+y^2)+6)*(x^2-y^2)

我不使用第一个,因为它是活塞;所以我有这 24 个二维分析函数,用 XY 笛卡尔坐标系表示。所有都定义在单位圆上,因为它们在单位圆上是正交的。我在这里描述的问题与除 Zernike 多项式之外的其他 2D 表面有关。

假设XY坐标系的原点(0,0)与单位圆的圆心相同。

接下来,我对这 24 个多项式进行线性组合来构建 2D 波前形状。我在这个组合中使用了 24 个随机输入系数。

w(x,y) = sum_over_i   a_i*z_i         (i=2,3,4,....24)

a_i = random coefficients
z_i = zernike polynomials

到目前为止,一切都是可以在纸上完成的分析部分。

现在是离散化!

我知道,当你想重建一个信号(1Dim/2Dim)时,你的采样频率应该至少是信号中存在的最大频率的两倍(奈奎斯特-香农原理)。

这里的信号是上面提到的 w(x,y),它只是 x 和 y 的简单 2Dim 函数。我现在想在电脑上代表它。显然,我不能沿 x 轴从 -1 到 +1 取所有无限点,对于 y 轴也是如此。我必须接受有限的否。此分析 2Dim 表面 w(x,y) 上的数据点(称为样本点或仅称为样本)

我以米为单位测量 x 和 y,并且

 -1 <= x <= +1; -1 <= y <= +1

例如,如果我将 x 轴从 -1 划分为 1,在 50 个样本点中,则 dx = 2/50= 0.04 米。y轴也一样。现在我的采样频率是 1/dx,即每米 25 个样本。y轴也一样。

但是我随意取了50个样本;我可以采集 10 个样本或 1000 个样本。这就是问题的症结所在:有多少样本点?我将如何确定这个数字?

如上所述,有一个定理(Nyquist-Shanon theorem)表示,如果我想忠实地重新构造 w(x,y),我必须在两个轴上对其进行采样,以便我的采样频率(即每米)至少是 w(x,y) 中存在的最大频率的两倍。这只不过是找到 w(x,y) 的功率谱。想法是空间域中的任何函数也可以在空间频率域中表示,这只不过是对函数进行傅里叶变换!这告诉我们函数 w(x,y) 中有多少(空间)频率,以及这些频率中的最大频率是多少。

现在我的问题首先是如何在我的情况下找出这个最大采样频率。我不能使用 MATLAB fft2() 或任何其他工具,因为这意味着我已经在波前采集了样本!!显然剩下的选择是分析地找到它!但这既费时又困难,因为我有 24 个多项式,而且我将不得不使用连续傅里叶变换,即我将不得不使用笔和纸。

任何帮助将不胜感激。

谢谢

1个回答

如果采样点不存在上限,则没有对集合结构的额外假设。原因是 2D 多项式可以具有一维零集。如果您的采样点都位于该集合中,则多项式看起来像零多项式。

编辑后,您的目标变得更加清晰。据我了解,您想在(均匀空间?)矩形网格上对 Zernicke 多项式的线性组合进行采样,并想知道您的网格需要多细才能从函数中重建线性组合的系数。

不幸的是,香农的采样定理在这里没有用处。

  • 您可以将 Zernike 多项式视为单位盘上的函数,但单位盘上的函数没有香农定理。

  • 您可以通过零扩展将 Zernicke 多项式扩展到整个平面,使它们成为平方可积函数。不幸的是,这些函数将具有无限带宽(因为它们不是连续的)。

  • 您可以将 Zernike 多项式扩展到整个平面,但使用它们的公式。这将在平面上给出平滑函数,但不幸的是,它们不是平方可积的(甚至不是有界的),因此,香农不适用。

您可以执行以下操作:让成为您的 Zernike 多项式(即)并让成为您的采样点(我是此处忽略网格结构)。那么系数到采样值的映射是 并且在系数中是线性的。即,您可以将该映射表示为矩阵并需要查看它是否具有满秩。z1,,zkk=24(xi,yi)i=1,,n

M:RkRn,(a1,,ak)j=1kajzj(xi,yi)