[논문 리뷰] The spectral theorem for unitary operators based on the $S$-spectrum

Daniel Alpay, Fabrizio Colombo외 2명|arXiv (Cornell University)|2014. 03. 02.

Algebraic and Geometric Analysis참고 문헌 19인용 수 4

한 줄 요약

이 논문은 $S$-스펙트럼, 비가환 스펙트럼 이론 프레임워크를 사용하여 헤르미트 힐버트 공간에서 유니터리 연산자에 대한 스펙트럼 정리를 수립한다. $S$-해리티브 연산자를 통해 $q$-양수 측도와 헤르미트 스펙트럼 측도를 정의함으로써, $S$-스펙트럼 기반의 리에즈 프로젝터와 스펙트럼 적분이 고전적 스펙트럼 분해를 복원함을 증명한다. 이는 복소 스펙트럼 이론과의 유사성을 회복하고, $S$-스펙트럼이 우측 스펙트럼과 일치할 경우 행렬 사례를 복원한다.

ABSTRACT

The quaternionic spectral theorem has already been considered in the literature, see e.g. [22], [31], [32], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see [21], it is not specified which notion of spectrum underlies the theorem. In this paper we prove the quaternionic spectral theorem for unitary operators using the $S$-spectrum. In the case of quaternionic matrices, the $S$-spectrum coincides with the right-spectrum and so our result recovers the well known theorem for matrices. The notion of $S$-spectrum is relatively new, see [17], and has been used for quaternionic linear operators, as well as for $n$-tuples of not necessarily commuting operators, to define and study a noncommutative versions of the Riesz-Dunford functional calculus. The main tools to prove the spectral theorem for unitary operators are the quaternionic version of Herglotz's theorem, which relies on the new notion of $q$-positive measure, and quaternionic spectral measures, which are related to the quaternionic Riesz projectors defined by means of the $S$-resolvent operator and the $S$-spectrum. The results in this paper restore the analogy with the complex case in which the classical notion of spectrum appears in the Riesz-Dunford functional calculus as well as in the spectral theorem.

연구 동기 및 목표

• 유니터리 연산자에 대한 스펙트럼 정리를 $S$-스펙트럼을 사용하여 헤르미트 설정에서 수립함으로써 이전 수식의 모호함을 해결한다.
• 리에즈-두나드 함수 해석학과 스펙트럼 측도를 연결함으로써 헤르미트 스펙트럼 이론과 복소 스펙트럼 이론 간의 유사성을 회복한다.
• $S$-해리티브 연산자를 기반으로 한 $q$-양수 측도와 헤르미트 스펙트럼 측도를 정의하고 활용하여 비가환 함수 해석학을 수행한다.
• $S$-스펙트럼이 유한 차원에서 우측 스펙트럼을 일반화하고 고전적 행렬 스펙트럼 정리를 복원함을 보여준다.
• $S$-스펙트럼 기반의 스펙트럼 프로젝터와 적분이 복소 사례와 동일한 분해를 유도함을 증명한다.

제안 방법

• 증명은 $q$-양수 측도를 사용하여 양수 선형 함수를 표현하는 데 기초한 헤르글롯츠 정리의 헤르미트 버전에 의존한다.
• 헤르미트 스펙트럼 측도는 $S$-해리티브 연산자와 $S$-스펙트럼을 통해 구성되며, 비가환 함수 해석학을 가능하게 한다.
• 슬라이스 하이퍼해석 함수에 대한 카우치 적분 공식이 적용되어 $S$-해리티브 연산자와 리에즈 프로젝터를 스펙트럼 적분의 형태로 표현한다.
• 스펙트럼 프로젝터 $\mathcal{P}(\sigma^{0}_{S}(U))$ 는 $S$-스펙트럼을 따라 하는 경로 적분으로 계산되며, 이는 $E(t_1) - E(t_0)$ 와 동일함을 보였다.
• 피보니치 정리를 사용하여 스펙트럼 측도와 카우치 커널 간의 적분 순서를 바꾸어 스펙트럼 분해를 유도한다.
• 핵심 단계는 내부 적분 $\frac{1}{2\pi}\int_{\partial(\Omega_0 \cap \mathbb{C}_I)} ds_I S_R^{-1}(e^{It}, s)$ 가 특성 함수 $\mathbf{1}_{[t_0,t_1]}$ 와 일치함을 보여주는 것으로, 이는 $S$-스펙트럼과 스펙트럼 프로젝션을 연결한다.

실험 결과

연구 질문

• RQ1 유니터리 연산자에 대한 스펙트럼 정리를 일관된 스펙트럼 이론을 사용하여 헤르미트 설정에서 어떻게 수립할 수 있는가?
• RQ2 $S$-스펙트럼이 비가환 연산자에 대한 스펙트럼 측도와 프로젝터를 정의하는 데 어떤 역할을 하는가?
• RQ3 $S$-스펙트럼이 고전적 복소 스펙트럼 정리와 유한 차원에서의 행렬 사례를 복원할 수 있는가?
• RQ4 $q$-양수 측도와 헤르미트 헤르글롯츠 정리는 스펙트럼 측도의 구축에 어떻게 기여하는가?
• RQ5 스펙트럼 집합에 대해 $S$-스펙트럼과 연관된 리에즈 프로젝터는 스펙트럼 프로젝션의 차이 $E(t_1) - E(t_0)$ 와 동일한가?

주요 결과

• 유니터리 연산자에 대한 스펙트럼 정리는 $S$-스펙트럼을 사용하여 수립되었으며, 이는 복소 사례와 일관성을 유지한다.
• $S$-스펙트럼은 유한 차원 사례에서 우측 스펙트럼과 일치함을 보였으며, 고전적 행렬 스펙트럼 정리를 복원한다.
• 리에즈 프로젝터 $\mathcal{P}(\sigma^{0}_{S}(U))$ 는 $E(t_1) - E(t_0)$ 와 동일함을 증명하였으며, 여기서 $E(t)$ 는 유니터리 연산자 $U$ 와 관련된 스펙트럼 측도이다.
• 스펙트럼 측도 $E(t)$ 는 $S$-해리티브 연산자와 슬라이스 하이퍼해석 함수에 대한 카우치 적분 공식을 통해 구성된다.
• $q$-양수 측도의 사용은 스펙트럼 구성에서 양수 함수를 표현하는 데 필수적인 헤르미트 버전의 헤르글롯츠 정리를 가능하게 한다.
• 스펙트럼 적분 표현 $U = \int_0^{2\pi} e^{It} dE_J(t)$ 가 도출되었으며, 이는 $S$-스펙트럼 프레임워크 내에서 유니터리 연산자의 스펙트럼 분해를 확인한다.