[논문 리뷰] Pade approximants for functions with branch points - strong asymptotics of Nuttall-Stahl polynomials

Alexander L. Aptekarev, Maxim L. Yattselev|2011. 09. 02.

Mathematical functions and polynomials인용 수 5

한 줄 요약

이 논문은 유한한 수의 대수-로그형 분지점들을 가진 함수에 대한 대각 Padé 근사의 분모에 대해 일반적인 위치 조건 하에서 강한 점근적 성질을 수립한다. 리emann-Hilbert 문제 기법과 비헤르미트형 수직다항식을 사용하여, 극점의 점근적 분포가 단일가값 해석함수성을 보장하는 최소 용량의 컷 체계(Nuttall-Stahl 곡선)로 수렴함을 증명함으로써, Nuttall의 추측(즉, Padé 근사의 수렴 도메인은 최대 단일가값 해석함수성 도메인과 일치한다)을 확인한다.

ABSTRACT

Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, f \in\mathcal{A}(\bar{\C} \setminus A), \sharp A

연구 동기 및 목표

• 유한한 수의 분지점들을 가진 함수에 대한 대각 Padé 근사의 분모에 대한 강한 점근적 성질을 수립하기 위해.
• Padé 근사의 수렴 도메인이 최대 단일가값 해석함수성 도메인과 일치한다는 Nuttall의 추측을 확인하기 위해.
• Padé 근사의 극점 분포의 점근적 분포가 함수를 단일가값으로 만드는 최소 용량의 컷 체계를 모델링함을 보여주기 위해.
• Stahl의 Nuttall 추측에 대한 증명을 일반적인 설정, 즉 대수-로그형 분지점들이 일반적인 위치에 있을 경우로 확장하기 위해.
• 리emann-Hilbert 분석을 통해 복소평면 상에서의 수직다항식(Nuttall-Stahl 다항식)의 정밀한 점근적 행동을 유도하기 위해.

제안 방법

• 행렬값 함수 $\mathcal{Y}$에 대한 리emann-Hilbert 문제(RHP)를 설정하여, Padé 근사의 구조를 포함시키기 위해.
• RHP를 상수 점프 행렬을 가진 모델 문제로 줄이기 위해 $\mathcal{Y} \to \mathcal{T} \to \mathcal{S} \to \mathcal{R}$의 연속적인 변환을 적용하기 위해.
• Deift-Zhou 비선형 최 steep descent 방법을 사용하여 $n \to \infty$일 때 해 $\mathcal{Y}$의 점근적 행동을 분석하기 위해.
• 비해석적 점프 행렬을 다루기 위해 특수 함수(예: 베셀 유형 해)를 사용하여 분지점 근처의 국소 파라메트릭스를 구성하기 위해.
• 분지점을 피하는 변형된 경로 $\widetilde{\Sigma}$를 고려할 때, $\overline{\mathbb{C}} \setminus \widetilde{\Sigma}$의 컴acts부분집합에서 해 $\mathcal{Y}$의 균일 수렴성을 확립하기 위해.
• 모델 RHP $\mathcal{R}$의 해와 변환 행렬 $\mathcal{N}$, $\mathcal{P}_e$로부터 $\mathcal{Y}$를 재구성함으로써 수직다항식의 점근적 성질을 도출하기 위해.

실험 결과

연구 질문

• RQ1 유한한 수의 대수-로그형 분지점들을 가진 함수에 대해 대각 Padé 근사의 분모는 어떻게 점근적으로 행동하는가?
• RQ2 Padé 근사의 극점 분포의 점근적 분포는 함수를 단일가값으로 만드는 최소 용량의 컷 체계와 일치하는가?
• RQ3 분지점들이 일반적인 위치에 있을 경우 일반적인 설정 하에서 Nuttall-Stahl 다항식에 대한 강한 점근적 성질을 도출할 수 있는가?
• RQ4 오차 $f - [n/n]_f$의 정밀한 점근적 행동은 수직다항식과 함수 $\Phi$에 대해 어떻게 기술되는가?
• RQ5 리emann-Hilbert 접근법은 컷 체계에서 벗어난 복소평면 전역에서 근사의 균일한 점근적 제어를 어떻게 가능하게 하는가?

주요 결과

• 대각 Padé 근사의 분모는 $q_n(z) \sim S_n(z) / S_n(\infty)$의 형태로 강한 점근적 성질을 만족하며, 여기서 $S_n$은 Nuttall-Stahl 다항식이다.
• Padé 근사의 오차는 $\widehat{\rho} - [n/n]_{\widehat{\rho}} = \frac{S_n^*}{S_n} \frac{h}{\Phi^{2n}} \cdot (1 + \mathcal{O}(1/n))$로 표현되며, $D^*$의 컴acts부분집합에서 균일하게 성립한다.
• Padé 근사 $[n/n]_f$의 극점 분포의 점근적 분포는 $f$를 단일가값으로 만드는 모든 체계 중에서 최소 로그 용량을 가지는 컷 체계 $\Delta$로 수렴한다.
• 리emann-Hilbert 문제의 해 $\mathcal{Y}$는 $\gamma_\Delta^{n\sigma_3} \mathcal{R} \mathcal{N} \Phi^{n\sigma_3}$와 점근적으로 동치이며, 여기서 $\mathcal{R}$은 상수 점프를 가진 모델 RHP의 해이다.
• 행렬 $\mathcal{R}$은 연속적인 변환의 시퀀스를 통해 구성되며, $|\upsilon_{nk}| \leq c(\varepsilon)/n$을 만족하여 점근 전개의 균일 수렴성을 보장한다.
• $\Delta \setminus E$에서 $\mathcal{Y}$의 점근적 행동은 점프 행렬 $\Phi$에 의해 지배되며, 주요 항은 $\mathcal{Y}_{11} \sim \mathcal{(RN)}_{11}^+ (\gamma_\Delta \Phi^+)^n$으로 주어져 오차의 지수적 감쇠를 확인한다.