[논문 리뷰] Some asymptotics for the Bessel functions with an explicit error term

Ilia Krasikov|arXiv (Cornell University)|2011. 07. 11.

Mathematical functions and polynomials참고 문헌 16인용 수 5

한 줄 요약

이 논문은 Sonin의 함수를 통한 사전 경계를 이용하여 베셀 함수와 에이리 함수의 점근 전개를 유도하는 새로운 방법을 개발하며, 오차 항을 명시적으로 정량화한다. 이는 Olenko의 질문을 해결하며, 표준 베셀 함수 점근 전개에서 오차의 상한이 명시적인 상수들에 의해 $\nu^2$ 배로 제한됨을 증명한다. 또한, 베셀 함수와 에어리 함수의 영점에 대해 정밀도가 매우 높은 근사값을 제공하며, 엄밀한 오차 제어를 실현한다.

ABSTRACT

We show how one can obtain an asymptotic expression for some special functions satisfying a second order differential equation with a very explicit error term starting from appropriate upper bounds. We will work out the details for the Bessel function $J_ν(x)$ and the Airy function $Ai(x)$ and find a sharp approximation for their zeros. We also answer the question raised by Olenko by showing that $$c_1 | ν^2-1/4\,| < \sup_{x \ge 0} x^{3/2}|J_ν(x)-\sqrt{\frac{2}{πx}} \, \cos (x-\frac{πν}{2}-\fracπ{4}\,)|

연구 동기 및 목표

• 특수 함수의 점근 전개를 유도하기 위한 체계적인 방법을 개발하여 명시적이고 균일한 오차 항을 제공하는 것.
• 표준 베셀 함수 점근 전개에서 오차에 대한 $\nu^2$-경계의 날카움을 규명하는 Olenko의 미해결 질문을 해결하는 것.
• 에어리 함수 $Ai(-x)$의 양의 영점과 이를 통해 확장된 베셀 함수 $J_\nu(x)$의 정확하고 명시적인 근사값을 제공하는 것.
• 점진적, 전이, 단조성 영역에 걸쳐 베셀 및 에어리 함수에 대해 이 방법을 확장하고 엄밀한 오차 제어를 실현하는 것.

제안 방법

• 베셀 및 에어리 함수의 절대값에 대한 사전 상한을 Sonin의 함수를 통해 도출하여 오차 추정을 가능하게 한다.
• 두 번째 차수 상미분방정식을 작은 오차 항 $\epsilon(x)$ 를 가진 왜곡된 조화 진동자 방정식으로 변환하기 위해 WKB 유형의 변환을 적용한다.
• 변수의 매개변수 방법을 통해 오차의 적분 표현을 도출하고, 이로 인해 $\int \epsilon(t) b(t) dt$ 비례하는 상한을 얻는다.
• 해의 상한을 이용하여 원래 함수의 초위상 노름에 대한 함수로 오차 추정을 수행한다.
• 이 방법을 진동 영역 및 전이 영역에서의 베셀 함수 $J_\nu(x)$ 와 에어리 함수 $Ai(-x)$ 에 적용하여 명시적 오차 항을 포함한 점근 전개를 개선한다.
• 단계별 위상 및 진폭 보정을 통합하여 $Ai(-x)$ 의 영점에 대한 더 날카운 새로운 근사식을 유도하고, 오차 상한이 포함된 매우 정밀한 영점 공식을 도출한다.

실험 결과

연구 질문

• RQ1 특수 함수의 점근 전개를 유도하기 위한 일반적인 방법을 개발할 수 있는가? 이 방법은 명시적이고 균일한 오차 항을 제공해야 한다.
• RQ2 표준 베셀 함수 점근 전개 $J_\nu(x) \sim \sqrt{\frac{2}{\pi x}} \cos(x - \frac{\pi\nu}{2} - \frac{\pi}{4})$ 의 오차가 명시적인 상수 $c_1, c_2$ 에 대해 $c_1 \nu^2$ 와 $c_2 \nu^2$ 로 제한되는가?
• RQ3 이 방법을 통해 에어리 함수 $Ai(-x)$ 의 양의 영점에 대해 더 날카운 근사식을 도출할 수 있는가? 이 경우 명시적인 오차 항이 포함되어야 한다.
• RQ4 점진적, 전이, 단조성 영역에 걸쳐 점근 전개의 오차 항을 균일하게 제어할 수 있는가?

주요 결과

• 논문은 명시적인 수치 상수 $c_1$ 과 $c_2$ 에 대해 $c_1 \nu^2 < \sup_{x \geq 0} x^{3/2} \left| J_\nu(x) - \sqrt{\frac{2}{\pi x}} \cos\left(x - \frac{\pi\nu}{2} - \frac{\pi}{4}\right) \right| < c_2 \nu^2$ 를 증명하며, Olenko의 질문을 해결한다.
• 새로운 점근 근사식이 $|\nu| \leq \frac{1}{2}$ 에 대해 유도되며, $J\_\nu(x) = \sqrt{\frac{2}{\pi}} \frac{\cos\left(x - \frac{\mu}{2x} - \omega_\nu\right)}{(x^2 + \mu)^{1/4}} + \theta \frac{25\mu}{24\sqrt{2\pi} x^3 (x^2 + \mu)^{1/4}}$ 로 표현되며, 정량화된 오차 항을 포함한다.
• 에어리 함수 $Ai(-x)$ 의 $s$-번째 양의 영점에 대한 명시적 근사식은 $a_s = 16^{-2/3} \left(m + \sqrt{m^2 + 40}\right)^{2/3} + \theta \frac{1280\pi}{9m^3 (m^2 + 40)^{1/6}}$ 로 주어지며, 여기서 $m = (12s - 3)\pi$ 이고, 오차 상한은 $O(m^{-3})$ 차수이다.
• 이 방법은 에어리 함수에 대해 더 날카운 근사식을 제공한다: $Ai(-x) = \frac{2\sqrt{x} \cos\left(\frac{2}{3}x^{3/2} - \frac{5}{48}x^{-3/2} - \frac{\pi}{4}\right)}{\sqrt{\pi} (16x^3 + 5)^{1/4}} + \theta \frac{10\sqrt{3}}{\sqrt{\pi} x^{1/4} (16x^3 + 5)^{3/2}}$, 작은 명시적 오차 항을 포함한다.
• 에어리 함수의 영점 근사식은 매우 높은 정밀도를 달성한다: 첫 번째 영점의 경우 오차는 0.00122 이하이며, 이는 본 방법의 효과성을 입증한다.