[論文レビュー] 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.

研究の動機と目的

• ゼルニケ多項式理論に現れるベッセル関数の積を含む無限積分を特定し、評価すること。
• スケーリングおよびシフトされたゼルニケ多項式の展開係数に対する明示的な解析的表現を提供すること。
• これらの積分を用いて、2つのゼルニケ多項式間の相関係数を計算すること。
• 積分評価を用いて、ゼルニケ多項式のコサインフーリエ係数を特定すること。
• 非一様速度を有するバッフルド・ピストン放射器の過渡応答を、これらの積分を用いてモデル化すること。

提案手法

• ゼルニケ円多項式のフーリエ変換およびハンケル変換の性質を用いて、積分表現を導出する。
• 不連続ウェーバー＝シャフハイトリン積分およびベッセル関数の漸近展開を用いて収束解析を実施する。
• ベッセル関数の再帰関係を用いて、径方向多項式のスケーリング公式を導出する。
• ベッセル関数の漸近的挙動を用いて、径方向多項式の積分表現の点ごとの収束を確立する。
• フーリエ逆変換および直交性を用いて、導出された積分表現の正しさを検証する。
• 回折理論および音響学における既知の結果（ラドン変換およびチェビシェフ多項式の恒等式）との関連を通じて、結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ゼルニケ多項式展開に現れる2つまたは3つのベッセル関数の積を含む無限積分の正確な値は何か？
• RQ2 スケーリングおよびシフトされたゼルニケ多項式の展開係数は、ベッセル関数積分を用いてどのように表現できるか？
• RQ3 2つのゼルニケ多項式間の相関の解析的形は、ベッセル関数の積を用いてどのように表せるか？
• 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'} として与えられ、直交性と整合的である。
• ゼルニケ多項式のコサインフーリエ係数は、ベッセル関数およびチェビシェフ多項式を含む有限和として表現される。
• バッフルド・ピストン放射器の過渡応答は、R_n^m のハンケル変換から導かれる J_{n+1}(2πr)/r に比例することが示された。
• ベッセル関数の漸近展開を用いて、積分表現の収束が ρ = 1 の近傍を除き有界かつ一様であることが証明された。