[논문 리뷰] Jost Functions and Jost Solutions for Jacobi Matrices, II. Decay and Analyticity

David Damanik, Barry Simon|arXiv (Cornell University)|2005. 02. 23.

Spectral Theory in Mathematical Physics참고 문헌 21인용 수 5

한 줄 요약

이 논문은 Jost 함수의 해석성과 감쇠 성질을 이용하여, Jacobi 행렬 매개변수의 지수 감쇠가 발생하기 위한 필요 및 충분 조건을 설정한다. Jost 함수가 반경 R > 1인 원판 내에서 해석적임과 동시에, Jacobi 매개변수의 감쇠 속도가 정확히 R⁻¹임이 등가임을 증명하며, 단위 원 위의 직교 다항식 이론에서의 고전적 결과를 실축 위의 직교 다항식으로 일반화한다.

ABSTRACT

We present necessary and sufficient conditions on the Jost function for the corresponding Jacobi parameters $a_n -1$ and $b_n$ to have a given degree of exponential decay.

연구 동기 및 목표

• Jacobi 행렬 매개변수 $ a_n - 1 $ 및 $ b_n $ 의 지수 감쇠 속도를 스펙트럼 데이터로 기술하는 것.
• 단위 원 위의 직교 다항식에 대한 Nevai-Totik 정리를 실축 위의 직교 다항식(OPRL)의 경우로 확장하는 것.
• 재귀 계수의 감쇠와 Jost 함수의 해석성 성질 간의 스펙트럼 이론적 등가성을 설정하는 것.
• Jost 함수의 영점 집합과 단위 원판 내 해석성 영역을 이용한 지수 감쇠의 완전한 특성화를 제공하는 것.
• 유한한 특이 스펙트럼을 가진 Jacobi 행렬에 대한 역 문제를 Jost 함수의 행동과 $ a_n $, $ b_n $ 의 감쇠성과 연결함으로써 해결하는 것.

제안 방법

• 스펙트럼 측도 $ d\tilde{\gamma} $ 와 Weyl-Titchmarsh $ m $-함수를 이용해 Jost 함수 $ u(z) $ 를 정의하며, 관계식 $ |u(e^{i\theta})|^2 \operatorname{Im}M(e^{i\theta}) = \sin\theta $ 를 사용한다.
• 스펙트럼 데이터를 실수축에서 단위 원판으로 매핑하기 위해 변환 $ M(z) = -m(z + z^{-1}) $ 을 사용한다.
• 무한대에서 $ z^n $ 과 유사하게 행동하도록 정규화된 Jost 해 $ u_n(z;J) $ 를 Jacobi 재귀의 Weyl 해로 구성한다.
• 해석적 함수의 공식 $ R_{11}(z) = u_1(z;J)/u_0(z;J) $ 을 통해 해열함수와 Jost 함수를 연결한다.
• Jost 함수 $ u(z) $ 가 $ \mathbb{D} $ 내에서 해석적이며, $ J $ 의 고유값에 해당하는 점에서 단순 영점을 정확히 가지며, 그 외에는 영이 아님을 증명한다.
• 경계 행동과 $ \partial\mathbb{D} \setminus \{\pm1\} $ 에서의 영이 아님 조건을 유도하기 위해 함수 방정식 $ u_1(z)u_0(z^{-1}) - u_1(z^{-1})u_0(z) = z - z^{-1} $ 을 사용한다.

실험 결과

연구 질문

• RQ1 Jost 함수에 어떤 조건이 성립하면 Jacobi 매개변수 $ a_n - 1 $ 과 $ b_n $ 이 지수적으로 감쇠하는가?
• RQ2 Jost 함수의 해석성 영역이 Jacobi 매개변수의 감쇠 속도와 어떻게 관련되어 있는가?
• RQ3 유한한 특이 스펙트럼을 가진 Jacobi 행렬에 대한 역 문제는 Jost 함수의 해석성과 영점 구조를 통해 해결될 수 있는가?
• RQ4 스펙트럼 측도의 정규성과 Jost 함수의 감쇠 및 해석성 간의 정확한 대응 관계는 무엇인가?
• RQ5 Jost 함수가 Jacobi 매개변수를 지수 감쇠까지 유일하게 결정짓는 조건은 무엇인가?

주요 결과

• Jost 함수 $ u(z) $ 가 $ \{ z \mid |z| < R \} $ 에서 해석적임은 $ \limsup_{n \to \infty} |a_n - 1|^{1/n} \leq R^{-1} $ 과 $ \limsup_{n \to \infty} |b_n|^{1/n} \leq R^{-1} $ 이라는 조건과 정확히 등가이다.
• Jacobi 매개변수의 감쇠 속도가 $ R^{-1} $ 인 것은 Jost 함수가 $ |z| < R $ 의 원판 내에서 해석적임과 정확히 등가이다.
• Jost 함수가 $ z_j \in \mathbb{D} $ 에서 단순 영점을 가진다는 것은 $ z_j + z_j^{-1} $ 이 Jacobi 행렬 $ J $ 의 고유값임과 정확히 등가이다.
• 스펙트럼 측도 $ d\gamma $ 는 Jost 함수와 제약 조건 $ \sum_j w_j + 2\int_0^\pi \frac{\sin^2\theta}{|u(e^{i\theta})|^2} d\theta = 1 $ 을 통해 유한한 수의 점 질량을 제외하고 유일하게 결정된다.
• Jost 함수는 $ \partial\mathbb{D} $ 에서 함수 방정식 $ u_1(z)u_0(z^{-1}) - u_1(z^{-1})u_0(z) = z - z^{-1} $ 를 만족하며, 와이어스키안의 비퇴화성을 보장한다.
• 만약 $ u(z_0; J) = 0 $ 이고 $ R^{-1} < |z_0| < 1 $ 이라면, $ u(z_0^{-1}; J) \neq 0 $ 이다. 이는 스펙트럼 데이터에서 고유값이 중복으로 세어지지 않음을 보장한다.