[논문 리뷰] On spectral polynomials of the Heun equation. II

Boris Shapiro, Kouichi Takemura외 1명|ArXiv.org|2009. 04. 03.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 14인용 수 9

한 줄 요약

이 논문은 히운 방정식에 대한 반바르크 다항식의 점근적 분포에 대한 추측을 증명하며, $ n \to \infty $일 때 스펙트럼 다항식의 근들이 컴팩트 집합 $ \Gamma_Q $ 위에 지지되는 한계 확률 측도로 약하게 수렴함을 보여준다. 이 $ \Gamma_Q $ 는 삼차식 $ Q(z) $ 의 세 근을 연결하는 세 곡선의 합집합이며, 각각 실수 아벨 적분 조건을 만족한다. 한계 측도는 리만-힐베르트 문제의 해를 통한 코시 변환과 $ \bar{z} $-미분을 통해 특성화된다.

ABSTRACT

The well-known Heun equation has the form: Q(z)S''(z)+P(z)S'(z)+V(z)S(z)=0 where Q(z) is a cubic complex polynomial, P(z) and V(z) are polynomials of degrees at most 2 and 1 resp. One of the classical problems about the Heun equation is for a given positive integer N to find all possible linear polynomials V(z) such that the latter equation has a polynomial solution S(z) of degree N. Below we prove a conjecture of the 2nd author claiming that the union of roots of such V(z)'s for a given N tends when N->oo to a certain compact connecting the three roots of Q(z) and given by the condition that a certain natural abelian integral is real-valued.

연구 동기 및 목표

• 히운 방정식에 대한 반바르크 다항식의 근의 점근적 분포에 대한 추측을 $ n \to \infty $ 일 때 해결하는 것.
• 히운 방정식과 관련된 스펙트럼 다항식의 근수 측도의 한계 지지집합을 특성화하는 것.
• 한계 측도가 $ Q(z) $ 의 근에서 특이점과 특정 단일 회전을 가진 리만-힐베르트 문제의 해로부터 유래됨을 확립하는 것.
• 한계 측도가 다항식 $ Q(z) $ 에 의해 유일하게 결정되며 $ P(z) $ 와 독립적이며, $ Q(z) $ 의 세 근을 연결하는 세 곡선의 합집합 위에 지지됨을 보여주는 것.

제안 방법

• 히운 방정식의 차수 $ n $ 인 해를 유도하는 모든 반바르크 다항식 $ V(z) $ 의 근들의 곱으로서 스펙트럼 다항식 $ Sp_n(\lambda) $ 을 정의한다.
• 스펙트럼 다항식 $ Sp_n(\lambda) $ 의 근들로부터 $ \mu_n = \frac{1}{n+1} \sum_{j=1}^{n+1} \delta(t_{n,j}) $ 라는 근수 측도를 구성하여 확률 측도의 수열을 형성한다.
• 컴actness와 부분수열 극한의 유일성에 의거하여 $ \{\mu_n\} $ 이 한계 측도 $ \mu $ 로 약하게 수렴함을 증명한다.
• 한계 측도 $ \mu $ 의 지지집합 $ \Gamma_Q $ 를 세 곡선 $ \Gamma_i $ 의 합집합으로 특성화하며, 각 곡선은 특정 아벨 적분이 실수값을 갖는 조건을 만족한다.
• 코시 변환의 성질을 이용하여, $ \mu $ 의 코시 변환이 $ Q(z) $ 의 근과 무한대에서만 특이점을 가지며, 리만-힐베르트 문제를 만족함을 보인다.
• 코시 변환의 $ \bar{z} $-미분(즉, $ \mu $ 의 밀도)이 $ \Gamma_Q \setminus \{b_0\} $ 에서 영이 아님을 증명하여, $ \Gamma_Q $ 가 $ \mu $ 의 전체 본질적 지지집합임을 확인한다.

실험 결과

연구 질문

• RQ1 히운 방정식의 스펙트럼 다항식의 근수 측도 수열 $ \mu_n $ 이 $ n \to \infty $ 일 때 약하게 수렴하는가?
• RQ2 이 측도의 한계 지지집합의 정확한 기하학적 구조는 무엇인가?
• RQ3 한계 측도 $ \mu $ 는 삼차식 $ Q(z) $ 의 근과 어떻게 관련이 있는가?
• RQ4 한계 측도는 리만-힐베르트 문제의 해 또는 아벨 적분을 통해 특성화될 수 있는가?
• RQ5 한계 측도의 지지집합 $ \Gamma_Q $ 는 $ Q(z) $ 의 세 근을 연결하는 세 곡선의 합집합이며, 각 곡선은 실수 아벨 적분 조건을 만족하는가?

주요 결과

• 근수 측도 수열 $ \{\mu_n\} $ 이 $ n \to \infty $ 일 때 한계 확률 측도 $ \mu $ 로 약하게 수렴하며, 제2저자에 의한 추측을 해결한다.
• 측도 $ \mu $ 의 지지집합은 컴팩트 집합 $ \Gamma_Q $ 이며, 이는 삼차식 $ Q(z) $ 의 각 근 $ a_i $ 를 공통 내부점 $ b_0 $ 에 연결하는 세 곡선 $ \Gamma_i $ 의 합집합으로 정의된다. 각 곡선은 다른 두 근 사이의 구간을 따라 정의된 특정 아벨 적분이 실수값을 갖는 조건을 만족한다.
• 한계 측도 $ \mu $ 는 $ Q(z) $ 에 의해 유일하게 결정되며 $ P(z) $ 와 독립적이며, 이는 히운 방정식의 주항항에 의한 점근적 근 분포에만 의존함을 시사한다.
• 측도 $ \mu $ 의 코시 변환은 $ a_1, a_2, a_3 $ 과 무한대에서만 특이점을 가지며, 각 유한 근에서 비자명한 단일 회전을 가지는 리만-힐베르트 문제를 만족한다.
• 밀도는 코시 변환의 $ \bar{z} $-미분으로 주어지며, $ \Gamma_Q \setminus \{b_0\} $ 에서 영이 아니므로, $ \Gamma_Q $ 가 $ \mu $ 의 전체 본질적 지지집합임을 확인한다.
• 한계 측도 $ \mu $ 는 스펙트럼 다항식 $ Sp_n(\lambda) $ 의 근수 측도의 약한 극한이며, 그 지지집합 $ \Gamma_Q $ 는 실수 아벨 적분 조건을 만족하는 세 근을 연결하는 유일한 컴팩트 집합이다.