[논문 리뷰] Determining Singularities Using Row Sequences of Padé-orthogonal Approximants

Nattapong Bosuwan, G. López Lagomasino외 1명|arXiv (Cornell University)|2013. 06. 02.

Mathematical functions and polynomials참고 문헌 9인용 수 9

한 줄 요약

이 논문은 복소평면의 일반적인 컴acts부분집합 위에 있는 측도와 관련된 패딩-직교 근사의 행열 수열에 대해 직접 및 역정리들을 수립한다. 이는 패딩-직교 근사의 극이 함수의 특이점으로 수렴함을 보여주며, 파브리, 드 몽테수, 부슬라에프, 수틴의 고전적 결과들을 등각사상과 직교다항식의 점근적 분석을 통해 임의의 컴acts집합 위에서의 직교근사로 일반화한다.

ABSTRACT

Starting from the orthogonal polynomial expansion of a function $F$ corresponding to a finite positive Borel measure with infinite compact support, we study the asymptotic behavior of certain associated rational functions (Padé-orthogonal approximants). We obtain both direct and inverse results relating the convergence of the poles of the approximants and the singularities of $F.$ Thereby, we obtain analogues of the theorems of E. Fabry, R. de Montessus de Ballore, V.I. Buslaev, and S.P. Suetin.

연구 동기 및 목표

• 복소평면의 일반적인 컴acts부분집합 $E \subset \mathbb{C}$ 에 지지되는 측도를 가진 패딩-직교근사의 경우에 고전적 수렴정리들을 확장하기 위해.
• 함수 $F$ 의 특이점의 위치와 패딩-직교근사의 극의 점근적 행동을 연결하는 직접결과를 수립하기 위해.
• 역결과를 증명하여 극의 점근적 분포를 이용해 $F$ 의 특이점의 위치와 성질을 유추할 수 있음을 보여주기 위해.
• 파브리, 드 몽테수 데 발로르, 부슬라에프, 수틴의 결과들을 등각표현을 통한 일반 컴acts집합 위의 직교근사로 일반화하기 위해.
• 정규 측도를 가진 컴acts집합 위의 직교다항식의 맥락에서 패딩-직교근사의 행열 수열을 이용한 특이점 탐지에 대한 이론적 프레임워크를 제공하기 위해.

제안 방법

• 컴팩트한 집합 $E$ 의 외부를 $\overline{\mathbb{C}} \setminus \{ |w| \leq 1 \}$ 로 사상하는 외부 등각사상 $\Phi$ 와 그 역함수 $\Psi = \Phi^{-1}$ 를 이용하여 표준 도메인 $D_\rho$ 와 등고선 $\Gamma_\rho$ 를 정의한다.
• 정규직교다항식 $p_n$ 을 기저로 삼아 $L^2(\mu)$ 내적에서 오차를 최소화하는 분수함수로 패딩-직교근사 $[n/m]_F^\mu$ 를 정의한다.
• 정규성 조건을 가정하여 직교다항식의 점근적 분석을 적용한다: $\mathbb{C} \setminus E$ 의 컴팩트 부분집합에서 일관되게 $\lim_{n \to \infty} |p_n(z)|^{1/n} = |\Phi(z)|$ 이다.
• Fourier 계수 $F_n = \langle F, p_n \rangle_\mu$ 를 사용하여 수렴반경 $\rho_0(F) = (\limsup |F_n|^{1/n})^{-1}$ 을 정의하며, 이는 해석적 영역의 최대성을 특성화한다.
• 복소적 경로적분과 코시의 적분공식을 활용하여 근사의 분모 $Q_{n,m}^\mu(z)$ 를 계수 $\langle z^j F, p_{n+k} \rangle_\mu$ 를 포함하는 행렬식으로 표현하고, 이를 $w = \Psi(z)$ 로 변환한다.
• 토플리츠형 행렬의 행렬식 점근적 행동에 관한 보조정리 2 를 적용하여 $Q_{n,m}^\mu(z)$ 의 영점이 $w$-평면에서 함수 $f(w)$ 의 극으로 수렴함을 보여주며, 이는 $F$ 의 특이점에 대응한다.

실험 결과

연구 질문

• RQ1 고정된 $m$ 에 대해 $n \to \infty$ 일 때 패딩-직교근사의 행열 수열의 극은 어떻게 점근적으로 행동하는가?
• RQ2 함수 $F$ 의 특이점의 위치는 그 패딩-직교근사의 극의 점근적 분포로부터 복원될 수 있는가?
• RQ3 파브리, 드 몽테수, 부슬라에프, 수틴의 고전적 정리는 일반 컴acts집합 위의 직교근사로 얼마나 일반화될 수 있는가?
• RQ4 등각사상 $\Phi$ 는 근사의 수렴도메인과 특이점 위치를 특성화하는 데 어떤 역할을 하는가?
• RQ5 패딩-직교근사 $[n/m]_F^\mu$ 는 어떤 조건에서 유일하게 결정되며, 이는 측도 $\mu$ 의 구조와 어떻게 관련되는가?

주요 결과

• 패딩-직교근사 $[n/m]_F^\mu$ 의 극은 $n \to \infty$ 일 때 $F$ 의 특이점으로 수렴하며, 이 극의 분포는 $w$-평면에서 변환된 함수 $f(w) = F(\Psi(w))$ 의 극에 의해 결정된다.
• 직교전개의 수렴반경 $\rho_0(F)$ 는 $\rho_0(F) = (\limsup |F_n|^{1/n})^{-1}$ 를 만족하며, 이는 $D_{\rho_0(F)}$ 에서 균일수렴함을 보장한다.
• 고정된 $m$ 에 대해 $n \to \infty$ 일 때 $[n/m]_F^\mu$ 의 극은 $w$-평면에서 $f(w)$ 의 $m$ 개의 극으로 수렴하며, 중복도를 고려하여 계산된다. 이는 역정리를 수립한다.
• 근사의 분모 $Q_{n,m}^\mu(z)$ 는 $\Delta_{n,m}(F,\mu) \neq 0$ 이면 큰 $n$ 에 대해 유일하게 결정되며, 이는 토플리츠형 행렬식의 점근적 분석을 통해 확인된다.
• $Q_{n,m}^\mu(z)$ 의 점근적 행동은 $\Psi$ 를 통한 특이점의 역상의 바르멘드 행렬식에 의해 지배되며, 이는 극이 $\lambda_j = \Psi(\tau_j)$ 로 수렴함을 보여주며, 여기서 $\tau_j$ 는 $f(w)$ 의 영점이다.
• 이 방법은 고전적 결과를 일반화한다: 직접정리는 파브리의 정리를 확장하고, 역정리는 드 몽테수와 부슬라에프의 정리를 일반 컴acts집합 위의 직교근사로 일반화한다.