[논문 리뷰] Pade and Hermite-Pade approximation and orthogonality

Walter Van Assche|arXiv (Cornell University)|2006. 09. 04.

Mathematical functions and polynomials참고 문헌 25인용 수 52

한 줄 요약

이 논문은 패드와 에르미트-패드 근사와 수직 다항식 간의 깊은 연관성을 탐구하며, 수직성과 로그 잠재력 이론이 이러한 근사자들의 점점 다가오는 행동과 수렴성을 어떻게 규정하는지 보여준다. 다중 수직 다항식—예를 들어 다중 에르미트, 라거르, 야코비 다항식—이 근사 이론에서 자연스럽게 나타나며, e와 π와 같은 수의 초월성 증명에 핵심적인 응용을 가짐을 입증한다.

ABSTRACT

We give a short introduction to Pade approximation (rational approximation to a function with close contact at one point) and to Hermite-Pade approximation (simultaneous rational approximation to several functions with close contact at one point) and show how orthogonality plays a crucial role. We give some insight into how logarithmic potential theory helps in describing the asymptotic behavior and the convergence properties of Pade and Hermite-Pade approximation.

연구 동기 및 목표

• 수직성이 패드 및 에르미트-패드 근사에서 차지하는 역할과 그 수렴성 및 점점 다가오는 행동에 대한 함의를 명확히 하기.
• 로그 잠재력 이론이 근사자들의 극점과 영점의 분포를 분석하는 데 어떻게 프레임워크를 제공하는지 설명하기.
• 에르미트-패드 근사자들이 e와 π와 같은 기본 상수의 초월성을 증명하는 데 어떻게 응용되는지 보여주기.
• 다중 수직 다항식(예: 다중 에르미트, 라거르, 야코비)이 근사 이론과 수학적 물리학과 어떻게 연결되는지 설명하기.
• 다양한 함수들에 대한 동시에 이루어지는 유리 근사의 이해를 통합하기 위해 앙젤레스코, 니키신, 대수적 체비셰프 시스템 같은 체계를 연결하기.

제안 방법

• 패드 근사자의 오차 표현을 유도하기 위해 테일러 급수 전개와 경로 적분을 사용하여 해석적 영역 내에서의 수렴성을 보여준다.
• 다항식 $ P_n(z)f(z) - Q_m(z) = \mathcal{O}((z-a)^{m+n+1}) $의 보간 조건을 적용하여 $[m,n]$ 패드 근사자를 정의하며, 단위 계수 분모를 통한 정규화를 사용한다.
• 다중 지표 $\vec{n}, \vec{m}$ 를 사용하여 다중 함수에 대한 제2형 에르미트-패드 근사자를 도입하며, $ T(x) = x^N \prod_{j=1}^r (x - \lambda_j)^{n_j} $ 를 포함하는 명시적 적분 표현을 제공한다.
• 로그 잠재력 이론을 적용하여 앙젤레스코 및 니키신과 같은 시스템에서 근사자들의 극점과 영점의 점점 다가오는 분포를 분석한다.
• 만일 $ \sum a_k p_{k,n} \neq 0 $ 이고 $ p_{0,n}x^k - p_{k,n} \to 0 $ 이면 $ x $ 는 초월수이다는 보조정리를 적용하여 $ e $ 와 $ \pi $ 의 초월성을 증명한다.
• 예를 들어 $ P_{\vec{n}}(z) = z^{| vec{n}|+N+1} \int_0^\infty T(x)e^{-zx} dx $ 와 같은 적분 표현을 사용하여 점점 다가오는 행동를 제어할 수 있는 명시적 근사자를 구성한다.

실험 결과

연구 질문

• RQ1 수직성이 패드 및 에르미트-패드 근사자의 구성과 수렴성에 어떻게 기여하는가?
• RQ2 로그 잠재력 이론이 유리 근사자들의 극점과 영점의 점점 다가오는 분포를 설명하는 데 어떤 역할을 하는가?
• RQ3 에르미트-패드 근사가 e와 π와 같은 기본 상수의 초월성을 증명하는 데 어떻게 활용될 수 있는가?
• RQ4 다중 수직 다항식이 앙젤레스코 및 니키신과 같은 시스템에서 어떻게 자연스럽게 나타나며, 근사 행동에 어떤 영향을 미치는가?
• RQ5 에르미트-패드 근사와 랜덤 행렬 이론 사이의 연결 고리는 무엇이며, 특히 외부 소스 모델과 위샤르트 집합의 맥락에서 어떻게 나타나는가?

주요 결과

• $[m,n]$ 패드 근사자가 함수 $ f $ 의 점 $ a $ 에서는 $ f(z) - Q_m(z)/P_n(z) = \mathcal{O}((z-a)^{m+n+1}) $ 를 만족하여 $ a $ 에서 고차수 접촉을 보장한다.
• $ f(z) = \sum_{k=0}^\infty c_k / z^{k+1} $ 인 경우, 무한대 근처에서 $ m = n-1 $ 인 패드 근사자는 $ P_n(z)f(z) - Q_{n-1}(z) = \mathcal{O}(z^{-n-1}) $ 로 정의되며, $ z \to \infty $ 일 때 성립한다.
• $ \pi $ 의 무리수 지수는 23.271 이하로 bound되어 있으며, 이는 $ |\pi - p/q| < 1/q^r $ 이 $ r > 23.271 $ 인 경우 유한한 해만 존재함을 의미한다. 이는 에르미트-패드 근사자를 통해 입증되었다.
• $ (e^{\lambda_1 x}, \dots, e^{\lambda_r x}) $ 에 대해 $ x=0 $ 근처에서 제2형 에르미트-패드 근사자를 사용하면 $ e $ 의 초월성이 증명된다. 여기서 $ \lambda_j = j $ 이다.
• $ e $ 에 대해 이 구성은 $ p_0 e^j - p_j \to 0 $ 이 되는 정수 $ p_0, p_1, \dots, p_r $ 을 제공하며, $ \sum a_k p_k \neq 0 $ 이므로 렘마 3.2의 조건을 만족한다.
• 다중 수직 다항식—다중 에르미트, 라거르, 야코비(피냐에로) 다항식 포함—은 근사 이론에서 자연스럽게 나타나며, 랜덤 행렬 이론과 통합계 시스템에의 응용이 있다.