[논문 리뷰] On Scattering for CMV Matrices

Alexander Kheifets, Franz Peherstorfer외 1명|ArXiv.org|2007. 06. 20.

Spectral Theory in Mathematical Physics참고 문헌 3인용 수 4

한 줄 요약

이 논문은 네하리 보간과 베크루스키 계수를 이용하여, 독립 변수에 대한 곱셈이 CMV 행렬이 되는 명시적 기저를 구성함으로써 CMV 행렬에 대한 산산 테리 이론 프레임워크를 수립한다. 주요 기여는 베크루스키 계수가 점 渐진적으로 0으로 수렴함을 증명하고, 유니터리 확장과 연산자 피드백 결합을 통해 산산 함수와 스펙트럼 측도에 대한 명시적 공식을 유도하는 것이다.

ABSTRACT

Adamjan-Arov (Lax--Phillips) model space is considered as a scattering representation space for a CMV matrix in context of an extended Marchenko--Faddeev scattering theory. That is, there exists a basis in which the multiplication by independent variable is a CMV matrix. This basis as well as Verblunski coefficients are computed explicitly in terms of Nehari interpolation. Asymptotically the Verblynski coefficients go to zero. Moreover, relations between the basis and wandering subspaces are established. Transformation from scattering representation to spectral representation is given.

연구 동기 및 목표

• 네하리 보간을 통한 확장된 마르첸코–파드데프 프레임워크를 이용하여 CMV 행렬의 산산 표현을 개발한다.
• 곱셈 연산자가 CMV 행렬이 되는 명시적 정규직교 기저를 구성한다.
• 네하리 보간을 이용하여 베크루스키 계수와 산산 함수 R(z)를 명시적으로 계산한다.
• 베크루스키 계수가 인덱스가 증가함에 따라 점 渐진적으로 0으로 수렴함을 확립한다.
• 유니터리 확장과 피드백 결합을 통해 산산 표현에서 스펙트럼 표현으로의 변환을 유도한다.

제안 방법

• 중심 함수 R에 의해 가중치가 부여된 내적을 사용하여 공간 $ L^R $을 정의하고, $ t $에 대한 곱셈 연산자 $ U_R $가 이 공간에서 유니터리가 됨을 보장한다.
• 함수들 $ t^n H^2_+ $ 및 $ \bar{t}^m H^2_- $의 폐쇄로서 부분공간 $ \check{\mathcal{H}}_{n,m} $를 구성하고, 그 직교 여부공간 $ \check{\Delta}_{n,m} $ 및 $ \widetilde{\check{\Delta}}_{n,m} $를 정의한다.
• 피드백 결합을 통해 $ U_R $를 분해할 수 있는 유니터리 연산자 $ \check{U}_{0,n,m} $ 및 $ \check{U}_{1,n,m} $를 정의함으로써 기저의 재귀적 구성이 가능해진다.
• 벡터 $ \check{K}_{n,m} $ 및 $ \widetilde{\check{K}}_{n,m} $는 네하리 보간을 이용하여 명시적으로 계산되며, $ \check{a}_{n+m}(0) $, 즉 $ \begin{bmatrix}1\\ R\end{bmatrix}t^n $와의 내적과 관련된 정규화를 갖는다.
• 산산 함수 $ R(z) $는 $ * $-순환 쌍 $ e_0, d_0 $가 주어졌을 때 공식 $ R(z) = d_0^* \{(I - zU_R^*)^{-1} + (I - \bar{z}U_R)^{-1} - I\} e_0 $를 통해 조화 연속을 통해 복원된다.
• 스펙트럼 측도는 $ \check{\Sigma}_{n,n}^{(11)} $를 이용하여 유도되며, 베크루스키 계수 $ \check{\alpha}_j $를 통해 CMV 기저와의 변환 공식이 유도된다.

실험 결과

연구 질문

• RQ1 네하리 보간을 통해 구성된 산산 표현 공간에서 CMV 행렬이 어떻게 곱셈 연산자로 실현될 수 있는가?
• RQ2 벡터 $ \check{K}_{n,m} $ 및 $ \widetilde{\check{K}}_{n,m} $의 명시적 형태는 $ R $과 베크루스키 계수를 통해 어떻게 기술될 수 있는가?
• RQ3 베크루스키 계수 $ \check{\alpha}_j $의 점 渐진적 행동은 무엇이며, 이는 곱 $ \prod (1 - |\check{\rho}_j|^2) $의 수렴성과 어떻게 관련되는가?
• RQ4 구성된 기저에서 CMV 행렬로부터 산산 함수 $ R(z) $는 어떻게 복원되는가?
• RQ5 연산자 $ U_R $의 스펙트럼 측도는 무엇이며, 이는 산산 표현에서 스펙트럼 표현으로 어떻게 변환되는가?

주요 결과

• 베크루스키 계수 $ \check{\alpha}_j $는 $ \check{a}_j(0) = \prod_{k=j}^\infty \check{\rho}_k $를 만족하고, $ j \to \infty $일 때 $ \check{a}_j(0) \to 1 $이므로 점 渐진적으로 $ \check{\alpha}_j \to 0 $임을 의미한다.
• $ \| \begin{bmatrix}1\\ R\end{bmatrix}t^n - \check{K}_{n,n} \| \to 0 $ as $ n \to \infty $의 점 渐진적 행동은 $ \check{K}_{n,n} $가 점 渐진적으로 $ \begin{bmatrix}1\\ R\end{bmatrix}t^n $를 근사함을 확인한다.
• 산산 함수 $ R(z) $는 $ * $-순환 쌍 $ e_0, d_0 $가 주어졌을 때 공식 $ R(z) = d_0^* \{(I - zU_R^*)^{-1} + (I - \bar{z}U_R)^{-1} - I\} e_0 $를 통해 명시적으로 복원된다.
• 스펙트럼 측도는 $ \check{K}_{n,n} $ 및 $ \widetilde{\check{K}}_{n+1,n} $에 대해 $ \check{\Sigma}_{n,n}^{(11)} $의 행렬 변환으로 주어지며, 이는 $ \check{\alpha}_{2n} $ 및 $ \check{\rho}_{2n} $를 포함한다.
• $ \sum_{j=n}^\infty |\check{\alpha}_j|^2 < \infty $의 수렴성은 곱 $ \prod_{j=n}^\infty (1 - |\check{\rho}_j|^2) $의 수렴성과 동치이며, 이는 $ 1 - |R|^2 $의 인수분해로부터 유도된다.
• 스펙트럼 측도 $ \log \det \check{\Sigma}_{n,n} \in L^1 $이며, 이는 $ 1 - |\check{\omega}_{n+m}|^2 $의 인수분해에 의해 보장되며, 이는 $ 1 - |R|^2 $의 인수분해에 기반한다.