[논문 리뷰] On the limit zero distribution of type I Hermite-Padé polynomials

Nikolay Ikonomov, Ralitza Kovacheva외 1명|arXiv (Cornell University)|2015. 06. 26.

Mathematical functions and polynomials참고 문헌 41인용 수 8

한 줄 요약

이 논문은 실수 분岐점을 가진 세 가지 다른 유형의 다가값 해석 함수 — 로그, 제곱근, 세제곱근 유형 — 에 대해 유형 I 허미트-패드 다항식의 극한 영점 분포(LZD)에 대한 고정밀 수치 실험을 제시한다. 이론적 기대와는 달리, 로그 및 제곱근 유형의 경우 수치 결과가 알려진 점근 이론과 일치하지 않으며, 현재 허미트-패드 근사에서 LZD에 대한 이해를 도전하는 예상치 못한 영점 분포를 드러낸다.

ABSTRACT

In this paper are discussed the results of new numerical experiments on zero distribution of type I Hermite-Padé polynomials of order $n=200$ for three different collections of three functions $[1,f_1,f_2]$. These results are obtained by the authors numerically and do not match any of the theoretical results that were proven so far. We consider three simple cases of multivalued analytic functions $f_1$ and $f_2$, with separated pairs of branch points belonging to the real line. In the first case both functions have two logarithmic branch points, in the second case they both have branch points of second order, and finally, in the third case they both have branch points of third order. All three cases may be considered as representative of the asymptotic theory of Hermite-Padé polynomials. In the first two cases the numerical zero distribution of type I Hermite-Padé polynomials are similar to each other, despite the different kind of branching. But neither the logarithmic case, nor the square root case can be explained from the asymptotic point of view of the theory of type I Hermite-Padé polynomials. The numerical results of the current paper might be considered as a challenge for the community of all experts on Hermite-Padé polynomials theory.

연구 동기 및 목표

• 실수 분岐점을 가진 세 가지 다른 유형의 다가값 해석 함수에 대해 유형 I 허미트-패드 다항식의 극한 영점 분포(LZD)를 조사하기 위해.
• 로그, 제곱근, 세제곱근 유형의 함수에 대한 수치 결과가 허미트-패드 근사의 확립된 점근 이론과 일치하는지 탐색하기 위해.
• 특히 로그 및 제곱근 유형에서 수치적 관측과 이론적 예측 간의 괴리점을 규명하기 위해.
• n=200 및 n=300에 대한 고정밀 수치 데이터를 제시하여 향후 이론적 발전을 위한 기준을 마련하기 위해.
• 기존 균형 측도 및 S-콤���트 집합 예측과 다름을 보이는 관측된 영점 분포를 설명할 것을 공동체에 도전하기 위해.

제안 방법

• 세 가지 함수 집합 [1,f₁,f₂], [1,g₁,g₂], [1,h₁,h₂]에 대해 유형 I 허미트-패드 다항식을 n=200 및 n=300으로 수치 계산하였다.
• 콤��� 실수 지지집합 E₁=[-1,a], E₂=[-a,1]을 가진 양의 보렐 측도의 코시 변환을 통해 정의된 마르코프 유형 함수를 사용하였다. 여기서 a∈(0,1).
• 특정 분지 적용: 로그의 주분지, 산술적 제곱근, 산술적 세제곱근을 사용하여 z→∞일 때 f(z)→1이 되도록 보장하였다.
• Qₙ,₀, Qₙ,₁, Qₙ,₂ 다항식에 대해 각각 파란색, 빨간색, 검은색 점으로 영점 분포를 시각화하였다 (그림 1–72, 총 72장).
• 로그 유형(f₁,f₂), 제곱근 유형(g₁,g₂), 세제곱근 유형(h₁,h₂)의 세 경우 간 수치 패턴을 비교하였다.
• z→∞ 근처에서 함수를 모델링하기 위해 f₁(z) = log((0.8−1/z)/(1+1/z))와 같은 매개변수화된 유리 근사식을 사용하였다.

실험 결과

연구 질문

• RQ1 로그 유형 함수에 대한 유형 I 허미트-패드 다항식의 수치적 영점 분포가 균형 문제 및 S-콤팩트 집합 이론의 예측과 일치하는가?
• RQ2 로그 및 제곱근 유형 함수의 영점 분포가 서로 유사한 패턴을 보이지만 분지 구조는 근본적으로 다를 때, 그 이유는 무엇인가?
• RQ3 로그 및 제곱근 유형의 관측된 수치적 영점 분포는 현재 허미트-패드 근사의 강한 점근 이론으로 설명될 수 있는가?
• RQ4 세제곱근 유형 함수의 영점 분포는 로그 및 제곱근 유형과 어떻게 비교되는가?
• RQ5 수치 결과가 허미트-패드 근사에서 극한 영점 분포 이론적 프레임워크에 얼마나 깊이 도전하는가?

주요 결과

• 로그 유형(f₁,f₂)의 경우, n=200 및 높은 수치 정밀도에도 불구하고, 어떤 알려진 이론적 예측과도 일치하지 않는 영점 분포를 보였다.
• 제곱근 유형(g₁,g₂)은 분지 유형이 근본적으로 다를 뿐만 아니라, 시각적 및 수치적으로 로그 유형과 매우 유사한 영점 분포를 보였다.
• 세제곱근 유형(h₁,h₂)은 다른 점근 행동을 보일 가능성이 있는 별도의 영점 분포 패턴을 보였지만, 여전히 현재 이론으로는 완전히 설명되지 않았다.
• 세 경우 모두 n=200 및 n=300에 대한 수치 결과는 고전적 점근 이론에서 유도된 균형 측도 또는 S-콤팩트 집합 구성과 일치하지 않는 영점 분포를 보였다.
• 수치 실험은 로그 및 제곱근 유형이 모두 기존 강한 점근 결과로는 설명될 수 없음을 입증하였으며, 이론적 이해에 격차가 있음을 시사한다.
• 결과는 영점 분포의 관측치와 이론적 기대치 간의 지속적인 괴리로 인해 허미트-패드 공동체에 중대한 도전을 제기한다.