[논문 리뷰] Zernike circle polynomials and infinite integrals involving the product of Bessel functions

A. J. E. M. Janssen|arXiv (Cornell University)|2010. 07. 05.

Mathematical functions and polynomials인용 수 5

한 줄 요약

이 논문은 Zernike 원 다항식과 관련된 과정에서 나타나는 베셀 함수 곱의 무한 적분에 대한 명시적 닫힌 형태 식을 유도한다. 이 적분들은 척도 조정 및 이동된 다항식 계수, 상관 계수,余弦Fourier 계수, 일시적 음향 반응과 같은 주요 물리적 및 수학적 양을 평가하는 데 사용되며, 베셀 함수와 한켈 변환의 성질을 통해 정확한 평가가 가능함을 입증한다.

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.

연구 동기 및 목표

• Zernike 다항식 이론에서 나타나는 베셀 함수 곱의 무한 적분을 식별하고 평가하는 것.
• 척도 조정 및 이동된 Zernike 다항식의 전개 계수에 대한 명시적 해석적 식을 제공하는 것.
• 이 적분을 사용하여 두 Zernike 다항식 간의 상관 계수를 계산하는 것.
• 적분 평가를 통해 Zernike 다항식의 코사인Fourier 계수를 결정하는 것.
• 비균일 속도 프로파일을 가진 방음된 피스톤 레디에이터의 일시적 반응을 모델링하는 것.

제안 방법

• Zernike 원 다항식의 푸리에 변환 및 한켈 변환 성질을 활용하여 적분 표현식을 유도한다.
• 불연속적 웨버-샤프하이트린 적분과 베셀 함수의 점근 전개를 적용하여 수렴성 분석을 수행한다.
• 베셀 함수의 재귀 관계를 활용하여 근방 다항식의 척도화 공식을 도출한다.
• 베셀 함수의 점근적 행동을 통해 근방 다항식의 적분 표현의 점별 수렴성을 확립한다.
• 푸리에 역변환과 정규직교성을 활용하여 도출된 적분 식의 정확성을 검증한다.
• 회절 이론과 음향학에서 알려진 결과, 예를 들어 라돈 변환과 체비셰프 다항식 항등식과의 연결을 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 Zernike 다항식 전개에서 나타나는 두 개 또는 세 개의 베셀 함수 곱의 무한 적분의 정확한 값은 무엇인가요?
• RQ2 척도 조정 및 이동된 Zernike 다항식의 전개 계수는 어떻게 베셀 함수 적분의 형태로 표현될 수 있나요?
• RQ3 두 Zernike 다항식 간의 상관 계수의 해석적 형태는 베셀 함수 곱의 형태로 어떻게 기술될 수 있나요?
• RQ4 Zernike 다항식의 코사인Fourier 계수는 어떻게 무한 베셀 함수 적분과 관련이 있나요?
• RQ5 비균일 속도 프로파일을 가진 방음된 피스톤 레디에이터의 정확한 일시적 반응은 어떻게 베셀 함수 적분의 형태로 표현될 수 있나요?

주요 결과

• 0 ≤ ρ < 1 인 경우 ∫₀^∞ J_{n+1}(u) J_m(ρu) du = (−1)^((n−m)/2) R_n^m(ρ) 이고, ρ > 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'} 로 주어지며, 정규직교성과 일치한다.
• Zernike 다항식의 코사인Fourier 계수는 베셀 함수와 체비셰프 다항식을 포함하는 유한 합으로 표현된다.
• 방음된 피스톤 레디에이터의 일시적 반응은 R_n^m 의 한켈 변환으로부터 도출되어 J_{n+1}(2πr)/r 에 비례하는 것으로 나타난다.
• 베셀 함수의 점근 전개를 활용하여 적분 표현의 수렴성이 ρ = 1 의 어떤 이웃 영역을 제외한 영역에서 유계이고 균일함을 증명하였다.