[論文レビュー] The spectral theorem for unitary operators based on the $S$-spectrum

Daniel Alpay, Fabrizio Colombo+2 more|arXiv (Cornell University)|Mar 2, 2014

Algebraic and Geometric Analysis参考文献 19被引用数 4

ひとこと要約

この論文は、非可換なスペクトル理論の枠組みとしての$S$-スペクトルを用いて、クaternionヒルベルト空間上のユニタリ作用素のスペクトル定理を確立する。$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$-スペクトルを関連させることで、クォータニオン的スペクトル理論と複素スペクトル理論との類似性を回復すること。
• $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$-スペクトルフレームワークにおけるユニタリ作用素のスペクトル分解が確認された。