[论文解读] Zernike circle polynomials and infinite integrals involving the product of Bessel functions

A. J. E. M. Janssen|arXiv (Cornell University)|Jul 5, 2010

Mathematical functions and polynomials被引用 5

一句话总结

本文推导出与泽尼克圆多项式相关的无穷积分中涉及贝塞尔函数乘积的显式闭式表达式。它对关键物理和数学量（包括缩放平移多项式系数、相关系数、余弦傅里叶系数以及瞬态声学响应）进行了评估，通过贝塞尔函数和哈科尔变换的性质建立了其精确求值。

ABSTRACT

Several quantities related to the Zernike circle polynomials admit an expression as an infinite integral involving the product of two or three Bessel functions. In this paper these integrals are identified and evaluated explicitly for the cases of (a) the expansion coefficients of scaled-and-shifted circle polynomials, (b) the expansion coefficients of the correlation of two circle polynomials, (c) the Fourier coefficients occurring in the cosine representation of the circle polynomials, (d) the transient response of a baffled-piston acoustical radiator due to a non-uniform velocity profile on the piston.

研究动机与目标

• 识别并求解在泽尼克多项式理论中出现的涉及贝塞尔函数乘积的无穷积分。
• 为缩放和平移后的泽尼克多项式的展开系数提供显式解析表达式。
• 利用这些积分计算两个泽尼克多项式之间的相关系数。
• 通过积分求值确定泽尼克多项式的傅里叶余弦系数。
• 利用这些积分建模具有非均匀速度分布的障板活塞辐射器的瞬态响应。

提出的方法

• 利用泽尼克圆多项式的傅里叶变换和哈科尔变换性质，推导出积分表示。
• 应用不连续的韦伯-沙夫海特林积分及贝塞尔函数的渐近展开进行收敛性分析。
• 利用贝塞尔函数的递推关系推导径向多项式的缩放公式。
• 通过贝塞尔函数的渐近行为，建立径向多项式积分表示的逐点收敛性。
• 使用傅里叶反演和正交性验证所推导积分表达式的正确性。
• 通过与衍射理论和声学中已知结果的联系（包括拉东变换和切比雪夫多项式恒等式）验证结果。

实验结果

研究问题

• RQ1 在泽尼克多项式展开中出现的涉及两个或三个贝塞尔函数乘积的无穷积分的确切值是什么？
• RQ2 缩放和平移后的泽尼克多项式的展开系数如何用贝塞尔函数积分表示？
• RQ3 两个泽尼克多项式之间的相关性的解析形式如何用贝塞尔函数乘积表示？
• RQ4 泽尼克多项式的余弦傅里叶系数与贝塞尔函数无穷积分之间有何关系？
• RQ5 具有非均匀速度分布的障板活塞辐射器的精确瞬态响应如何通过贝塞尔函数积分表达？

主要发现

• 积分 ∫₀^∞ J_{n+1}(u) J_m(ρu) du = (−1)^((n−m)/2) R_n^m(ρ) 对于 0 ≤ ρ < 1 成立，而当 ρ > 1 时为 0，且具有逐点收敛性。
• 通过贝塞尔函数恒等式和哈科尔变换，推导出缩放公式 R_n'^m(ερ) = Σ_n (R_n'^n(ε) − R_n'^{n+2}(ε)) R_n^m(ρ)。
• 泽尼克多项式 Z_n^m 与 Z_n'^m' 之间的相关系数为 π/(n+1) δ_{nn'} δ_{mm'}，与正交性一致。
• 泽尼克多项式的余弦傅里叶系数被表示为包含贝塞尔函数和切比雪夫多项式的有限和。
• 障板活塞辐射器的瞬态响应被证明与 J_{n+1}(2πr)/r 成正比，该结果由 R_n^m 的哈科尔变换导出。
• 通过贝塞尔函数的渐近展开，证明了积分表示在 ρ = 1 的任意邻域之外是有界且一致收敛的。