[논문 리뷰] On the asymptotic behavior of Jacobi polynomials with first varying parameter

Oleg Szehr, Rachid Zarouf|arXiv (Cornell University)|2016. 05. 09.

Mathematical functions and polynomials참고 문헌 3인용 수 4

한 줄 요약

이 논문은 라플라스 방법과 정상적 위상 방법을 통해 분석된 라플라스 유형 적분과 푸리에 유형 적분을 사용하여 첫 번째 변동 매개변수를 가진 재스비 다항식에 대한 새로운 적분 표현을 제공한다. 주요 기여는 네 가지 매개변수 영역으로 나누어진 점근적 행동의 정밀한 분류이다: $ a > \frac{2\lambda}{1-\lambda} $ 일 때 지수 감쇠, $ a \in \left(-\frac{2\lambda}{1+\lambda}, \frac{2\lambda}{1-\lambda}\right) $ 일 때 $ O(n^{-1/2}) $ 감쇠, 경계에서 $ O(n^{-1/3}) $ 감쇠, 그리고 $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ 일 때는 $ an+\alpha $ 가 정수이냐 아니냐에 따라 새로운 진동적 또는 지수적 증가 행동을 보인다.

ABSTRACT

We investigate the large $n$ behavior of Jacobi polynomials with varying parameters $P_{n}^{(an+\alpha,\,bn+\beta)}(1-2\lambda^{2})$ for $a,b >-1$ and $\lambda\in(0,\,1)$. This is a well-studied topic in the literature but some of the published results appear to be discordant. To address this issue we provide an in-depth investigation of the case $b = 0$, which is most relevant for our applications. Our approach is based on a new and surprisingly simple representation of $P_{n}^{(an+\alpha,\,\beta)}(1-2\lambda^{2}),\:a>-1$ in terms of two integrals. The integrals' asymptotic behavior is studied using standard tools of asymptotic analysis: one is a Laplace integral and the other is treated via the method of stationary phase. As a consequence we prove that if $a\in(\frac{2\lambda}{1-\lambda},\infty)$ then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ shows exponential decay and we derive simple exponential upper bounds in this region. If $a\in(\frac{-2\lambda}{1+\lambda},\,\frac{2\lambda}{1-\lambda})$ then the decay of $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ is $\mathcal{O}(n^{-1/2})$ and if $a\in\{\frac{-2\lambda}{1+\lambda},\,\frac{2\lambda}{1-\lambda}\}$ then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ decays as $\mathcal{O}(n^{-1/3})$. A new phenomenon occurs in the parameter range $a\in(-1,\frac{-2\lambda}{1+\lambda})$, where we find that the behavior depends on whether or not $an+\alpha$ is an integer: If $a\in(-1,\frac{-2\lambda}{1+\lambda})$ and $an+\alpha$ is an integer then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ decays exponentially. If $a\in(-1,\frac{-2\lambda}{1+\lambda})$ and $an+\alpha$ is not an integer then $\lambda^{an}P_{n}^{(an+\alpha,\beta)}(1-2\lambda^{2})$ may increase exponentially depending on the proximity of the sequence $(an + \alpha)_n$ to integers.

연구 동기 및 목표

• 첫 번째 변동 매개변수를 가진 재스비 다항식의 점근적 행동에 관해 문헌에서 발생하는 모순을 해결하기 위해.
• 특히 연산자 이론과 근사 이론에서 핵심적인 역할을 하는 $ b=0 $ 인 경우를 포함하여 $ n \to \infty $ 일 때 $ P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ 를 분석하기 위한 강력하고 통합적인 접근법을 개발하기 위해.
• 특히 임계 영역 $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ 에서 점근적 행동이 $ an + \alpha $ 의 산술적 성격(정수 여부)에 어떻게 의존하는지 명확히 하기 위해.
• 두 매개변수 모두 변동하는 일반적인 경우로 방법을 확장하고, 최강 경로 방법과 에이리 함수를 사용하여 임계 경계 근처에서 균일한 점근 전개를 유도하기 위해.

제안 방법

• 점근적 분석를 라플라스 유형 적분과 푸리에 유형 적분으로 분리한 새로운 이중 적분 표현을 $ P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ 에 대해 유도한다.
• 첫 번째 적분에 대해 라플라스 방법을 적용하여 지수 함수의 최대값이 점근적 행동를 지배함을 확인한다.
• 두 번째 적분에 대해 정상적 위상 방법을 적용하여 위상 함수의 임계점에서 기여하는 기여를 식별한다.
• 좌표 변환과 경로 변형을 통해 임계 매개변수 값에서 안장점의 융합을 다루고, 균일한 점근 전개를 가능하게 한다.
• 균일한 최강 경로 방법을 적용하여 임계 경계 $ a = \pm \frac{2\lambda}{1\pm\lambda} $ 근처에서 에이리 함수를 포함한 전개를 유도한다.
• 광범위한 수치 실험을 통해 결과를 검증하고 기존 문헌과 비교하여 이전 연구에서의 모순을 해결한다.

실험 결과

연구 질문

• RQ1 점근적 행동의 정밀한 특성은 무엇인가? 특히 $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ 인 영역에서 $ \lambda^{an} P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ 가 $ n \to \infty $ 일 때 어떻게 행동하는가?
• RQ2 이전 연구에서 $ \lambda^{an} P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ 의 감쇠 속도에 대해 모순된 결과가 나타나는 이유는 무엇이며, 통합적 프레임워크는 이를 어떻게 해결할 수 있는가?
• RQ3 임계 영역에서 $ an + \alpha $ 의 산술적 성격—특히 정수 여부—는 점근적 증가 또는 감쇠에 어떤 영향을 미치는가?
• RQ4 이 방법은 두 매개변수 $ (an+\alpha, bn+\beta) $ 가 모두 변동하는 일반적인 경우로 확장할 수 있으며, 그 결과로 나타나는 점근적 영역은 무엇인가?
• RQ5 임계 경계 $ a = \pm \frac{2\lambda}{1\pm\lambda} $ 근처에서 균일한 점근 전개는 무엇이며, 이는 에이리 함수와 같은 특수 함수로 어떻게 표현되는가?

주요 결과

• $ a > \frac{2\lambda}{1-\lambda} $ 일 때, $ \lambda^{an} P^{(an+\alpha,\beta)}_n(1-2\lambda^2) $ 는 지수적으로 감쇠하며, 명시적인 지수 상한값이 도출된다.
• $ a \in \left(-\frac{2\lambda}{1+\lambda}, \frac{2\lambda}{1-\lambda}\right) $ 일 때, 감쇠는 $ O(n^{-1/2}) $ 이며, [13, 정리 1]과 [11, 제안 6.1]과 일致한다.
• 경계 $ a = \pm \frac{2\lambda}{1\pm\lambda} $ 에서 감쇠는 $ O(n^{-1/3}) $ 이며, [8, 공식 (3.9)]의 공식과 다름을 보여준다.
• 임계 영역 $ a \in \left(-1, -\frac{2\lambda}{1+\lambda}\right) $ 에서, $ an + \alpha $ 가 정수이면 수열은 지수적으로 감쇠하고, 정수가 아니면 $ an + \alpha $ 가 정수에 얼마나 가까운지에 따라 지수적으로 증가할 수 있다.
• 이 방법은 이전 문헌의 모순을 성공적으로 해결하였으며, 특히 [8]과 [14]에서 주장한 바와 같이 $ a \in \left(-1, \frac{2\lambda}{1-\lambda}\right) $ 영역에서 $ O(n^{-1/2}) $ 감쇠에 대한 모순된 주장들을 해소한다.
• 임계 경계 근처에서 균일한 점근 전개는 에이리 함수를 사용하여 도출되었으며, 변환 $ f_a(z) = -t^3/3 + \gamma_2 t $ 는 융합하는 안장점의 균일한 기술을 가능하게 한다.