2025-11-14T22:46:11.583626

Asymptotic behavior of zeros of Bessel function derivatives

Baricz, Kumar, Ponnusamy

We derive two distinct asymptotic expansions for the zeros $j_{Î½,k}^{(n)}$ of the $n$-th derivative of Bessel function $J_Î½^{(n)}(x)$. The first is a McMahon-type expansion for the case when $k \to \infty$ with fixed $Î½$, for which we also establish an explicit error bound. The second addresses the case when $Î½\to \infty$ with fixed $k$ and it involves the zeros of Airy functions and their derivatives. These results extend and refine the classical work of Wong, Lang, and Olver on the zeros of Bessel functions. In the course of obtaining our main results, we also generalize several auxiliary results, which in turn provide a broader framework for the study of zeros of special functions.

academic

Bessel 함수 도함수의 영점의 점근적 거동

기본 정보

논문 ID: 2510.12353
제목: Bessel 함수 도함수의 영점의 점근적 거동
저자: Árpád Baricz, Pranav Kumar, Saminathan Ponnusamy
분류: math.CA (고전 해석 및 상미분방정식)
발표 시간: 2025년 10월 14일
논문 링크: https://arxiv.org/abs/2510.12353v1

초록

본 논문은 Bessel 함수의 n차 도함수 $J_\nu^{(n)}(x)$ 의 영점 $j_{\nu,k}^{(n)}$ 에 대한 두 가지 서로 다른 점근 전개식을 유도한다. 첫 번째는 $k \to \infty$ 이고 $\nu$ 가 고정일 때의 McMahon 형 전개이며, 명시적 오차 한계를 설정한다. 두 번째는 $\nu \to \infty$ 이고 $k$ 가 고정인 경우를 다루며, Airy 함수 및 그 도함수의 영점을 포함한다. 이러한 결과는 Bessel 함수 영점에 관한 Wong, Lang, Olver의 고전적 업적을 확장하고 개선한다. 주요 결과를 얻는 과정에서 여러 보조 결과를 일반화하여 특수 함수 영점 연구에 대한 더 광범위한 틀을 제공한다.

연구 배경 및 동기

문제의 중요성

Bessel 함수 영점은 응용 수학 및 수학 물리학의 다양한 문제에서 중요한 역할을 한다. 특히 양자역학, 산란 이론, 파동 전파 등 관련 분야에서 핵심적이다. 광범위한 적용 가능성으로 인해 Bessel 함수 및 그 영점의 점근적 거동을 이해하는 것이 상당한 관심을 받고 있다.

기존 연구의 한계

고전적 McMahon 전개의 제한: 초기 McMahon의 Bessel 함수 $J_\nu(x)$ 영점에 관한 연구는 주로 함수 자체에 초점을 맞추었으며, 도함수는 다루지 않았다.
Wong과 Lang의 업적: 이들은 이러한 아이디어를 확장하여 $J''_\nu(x)$ 영점의 점근 전개를 얻었으나, 2차 도함수로만 제한되었다.
연구 공백: n차 Bessel 함수 도함수 영점의 성질을 이해하는 데 있어 상당한 진전이 있었음에도 불구하고, 이러한 영점의 점근 전개는 문헌에서 아직 탐구되지 않았다.

연구 동기

본 논문은 이러한 공백을 메우기 위해 McMahon 형 점근 전개를 제시하고 $\nu \to \infty$ 이고 n이 고정인 경우를 분석하는 것을 목표로 한다. 연구는 McMahon이 도입한 표준 방법을 사용하여 $J_\nu^{(n)}(x)$ 의 점근 전개를 유도하고 $k \to \infty$ 일 때 $j_{\nu,k}^{(n)}$ 의 점근적 거동을 설정한다.

핵심 기여

McMahon 형 점근 전개 수립: Bessel 함수 n차 도함수의 영점에 대해 $k \to \infty$ 이고 $\nu$ 가 고정일 때의 점근 전개식을 제시한다.
명시적 오차 한계 제공: McMahon 형 전개에 대한 명확한 오차 추정을 설정하여 근사의 정확도를 정량화한다.
대 매개변수 점근 전개 유도: $\nu \to \infty$ 이고 $k$ 가 고정인 경우를 다루며, Airy 함수 및 그 도함수의 영점을 포함한다.
보조 결과 일반화: 주요 결과를 얻는 과정에서 여러 기초 이론 결과를 일반화하여 특수 함수 영점 연구에 더 광범위한 틀을 제공한다.
고전 이론 확장: Wong, Lang, Olver의 고전적 업적을 Bessel 함수 자체에서 그 임의 차수 도함수로 확장한다.

방법론 상세 설명

과제 정의

제1종 Bessel 함수 $J_\nu(x)$ 의 n차 도함수 $J_\nu^{(n)}(x)$ 의 양의 영점 $j_{\nu,k}^{(n)}$ 의 점근적 거동을 연구한다. 여기서:

$\nu > 0$ 은 Bessel 함수의 차수
$n \geq 1$ 은 도함수의 차수
$k$ 는 영점의 인덱스

핵심 이론 틀

1. Bessel 함수 도함수의 점근 표현

정리 2.1: $n \in \mathbb{N}_0$ 이고 $x$ 가 클 때, Bessel 함수의 2n차 도함수는 다음과 같이 표현된다:

$\sqrt{\frac{1}{2}\pi x} J_\nu^{(2n)}(x) = \cos\left(x - \frac{\nu\pi}{2} - \frac{\pi}{4}\right)\tau_\nu^{(2n)}(x) + \sin\left(x - \frac{\nu\pi}{2} - \frac{\pi}{4}\right)\theta_\nu^{(2n)}(x)$

여기서: $\tau_\nu^{(2n)}(x) = \sum_{m=0}^{\infty} \frac{\alpha_{2m,2n}}{x^{2m}}, \quad \theta_\nu^{(2n)}(x) = \sum_{m=0}^{\infty} \frac{\alpha_{2m+1,2n}}{x^{2m+1}}$

계수는 다음 점화식을 만족한다: $\alpha_{2m,2n} = \alpha_{2m,2n-1} - \frac{4m-1}{2}\alpha_{2m-1,2n-1}$ $\alpha_{2m+1,2n} = -\alpha_{2m-1,2n-1} - \frac{4m+1}{2}\alpha_{2m,2n-1}$

2. McMahon 형 점근 전개

역변환 기법을 통해 영점의 McMahon 형 전개를 얻는다:

짝수 차수 도함수 ( $J_\nu^{(2m)}$ 의 영점): $j_{\nu,k+1}^{(2m)} = \alpha + \frac{\alpha_{1,2m}}{\alpha_{0,2m}} \cdot \frac{1}{\alpha} + O\left(\frac{1}{\alpha^3}\right)$

여기서 $\alpha = k\pi + \frac{\nu\pi}{2} - \frac{\pi}{4}$

홀수 차수 도함수 ( $J_\nu^{(2m+1)}$ 의 영점): $j_{\nu,k}^{(2m+1)} = \beta - \frac{\alpha_{1,2m+1}}{\alpha_{0,2m+1}} \cdot \frac{1}{\beta} + O\left(\frac{1}{\beta^3}\right)$

여기서 $\beta = k\pi + \frac{\nu\pi}{2} - \frac{3\pi}{4}$

3. 오차 한계 추정

정리 2.2: 점근 전개의 오차항에 대해 다음과 같은 한계 추정이 성립한다:

2n차 도함수의 경우, $\nu \geq -2n + \frac{1}{2}$ , $n \in \mathbb{N}$ 이고 $x$ 가 충분히 클 때: $|\delta_{2n}(\nu,x)| \leq \frac{4(\nu+2n)^2-1}{4x} \exp\left\{\frac{4(\nu+2n)^2-1}{4x}\right\}$

4. 대 매개변수 경우의 점근 전개

$\nu \to \infty$ 이고 $k$ 가 고정일 때, Olver의 균일 점근 전개 이론과 Airy 함수를 활용한다:

짝수 차수 도함수의 경우: $j_{\nu,k}^{(2n)} = \nu - \frac{a_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}a_k^2}{10}\nu^{-1/3} + O(\nu^{-1})$

홀수 차수 도함수의 경우: $j_{\nu,k}^{(2n+1)} = \nu - \frac{a'_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}(a'_k)^2}{10}\nu^{-1/3} + O(\nu^{-1})$

여기서 $a_k$ 와 $a'_k$ 는 각각 Airy 함수 $\text{Ai}(x)$ 와 $\text{Ai}'(x)$ 의 k번째 음의 영점이다.

기술적 혁신점

통일된 점화 틀: 모든 차수 도함수 계수의 통일된 점화식을 수립하여 각 차수별 계산을 피한다.
개선된 오차 분석: Hethcote 방법을 수정하여 고전적 결과보다 더 정확한 오차 한계를 얻는다.
확장된 적용 범위: 고전 이론을 특정 저차 도함수에서 임의 차수 도함수로 확장한다.
균일 점근 이론의 응용: Olver의 균일 점근 전개 이론을 고차 도함수 경우에 교묘하게 적용한다.

실험 설정

이론 검증 방법

순수 수학 이론 연구이므로 "실험"은 주로 이론 검증 및 수치 검증을 의미한다:

수학적 귀납법 검증: 점화식의 정확성을 수학적 귀납법으로 증명
점근 분석: 극한 분석을 통해 점근 전개의 유효성 검증
오차 한계 검증: 구체적 계산을 통해 오차 한계의 타당성 검증

비교 기준

McMahon의 원래 결과 ( $J_\nu(x)$ 의 영점)
Wong과 Lang의 결과 ( $J''_\nu(x)$ 의 영점)
Olver의 균일 점근 전개 이론

실험 결과

주요 이론 결과

McMahon 형 전개의 수립: 임의 차수 Bessel 함수 도함수 영점의 McMahon 형 점근 전개를 성공적으로 유도하며, 명확한 계수 표현식을 제공한다.
오차 한계의 개선: 기존 결과에 비해 새로운 오차 한계가 더 정확하며, 특히 고차 도함수의 경우에 그러하다.
대 매개변수 전개의 완전성: $\nu \to \infty$ 인 경우 주요항과 수정항을 포함한 완전한 점근 급수를 제공한다.

구체적 수치 성능

3차 및 4차 도함수의 영점에 대해 다음을 얻는다: $j_{\nu,k}^{(3)} = \nu - \frac{a_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}a_k^2}{10}\nu^{-1/3} + \frac{a_k^3}{700}\nu^{-1} + \cdots$

$j_{\nu,k}^{(4)} = \nu - \frac{a'_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}(a'_k)^2}{10}\nu^{-1/3} + \frac{(a'_k)^3}{700}\nu^{-1} + \cdots$

오차 한계의 구체적 형태

McMahon 형 전개에 대해 조건을 만족할 때:

짝수 차수 도함수: $|j_{\nu,k+1}^{(2n)} - (k + \frac{\nu}{2} - \frac{1}{4})\pi| \leq \frac{0.26(4(\nu+2n)^2-1)}{\pi(k + \frac{\nu}{2} - 0.314)}$
홀수 차수 도함수: $|j_{\nu,k}^{(2n+1)} - (k + \frac{\nu}{2} - \frac{1}{4})\pi| \leq \frac{0.26(4(\nu+2n+1)^2-1)}{\pi(k + \frac{\nu}{2} - 0.314)}$