[論文レビュー] The spectral theorem for quaternionic unbounded normal operators based on the S-spectrum

Daniel Alpay, Fabrizio Colombo+1 more|arXiv (Cornell University)|Sep 24, 2014

Algebraic and Geometric Analysis参考文献 23被引用数 5

ひとこと要約

この論文は、長年の問題を解決する新しいスペクトル概念「S-スペクトル」を用いて、非有界な正規クaternion的作用素に対するスペクトル定理を確立する。カーレイ型写像を用いて非有界作用素を有界作用素に変換し、連続的なS関数計算を活用することで、スペクトル測度の存在と一意性を証明し、クォータニオン的ヒルベルト空間におけるスペクトル理論の基盤を完成させる。これはクォータニオン的量子力学にとって不可欠である。

ABSTRACT

In this paper we prove the spectral theorem for quaternionic unbounded normal operators using the notion of $S$-spectrum. The proof technique consists of first establishing a spectral theorem for quaternionic bounded normal operators and then using a transformation which maps a quaternionic unbounded normal operator to a quaternionic bounded normal operator. With this paper we complete the foundation of spectral analysis of quaternionic operators. The $S$-spectrum has been introduced to define the quaternionic functional calculus but it turns out to be the correct object also for the spectral theorem for quaternionic normal operators. The fact that the correct notion of spectrum for quaternionic operators was not previously known has been one of the main obstructions to fully understanding the spectral theorem in this setting. A prime motivation for studying the spectral theorem for quaternionic unbounded normal operators is given by the subclass of unbounded anti-self adjoint quaternionic operators which play a crucial role in the quaternionic quantum mechanics.

研究の動機と目的

• クォータニオン的作用素、特に非有界な正規作用素に対して一貫したスペクトル理論を定義するという長年の問題を解決すること。
• 左スペクトルや右スペクトルのような一貫性のない概念に代わって、S-スペクトルをクォータニオン的作用素の正しいスペクトル概念として確立すること。
• 有界作用素から非有界な正規作用素へのスペクトル定理の拡張を通じて、クォータニオン的作用素のスペクトル解析の基盤を完成させること。
• スライス超正則関数とS-スペクトルに基づくクォータニオン的関数計算の厳密な枠組みを提供すること。
• 特に非有界な反自己随伴作用素に対して、クォータニオン的量子力学の数学的形式主義を支援すること。

提案手法

• 連続的なS関数計算とリースの表現定理を用いて、有界な正規クォータニオン的作用素に対するスペクトル定理を証明する。
• 非有界な正規作用素をクォータニオンの単位球面上の有界な正規作用素に写像するカーレイ型変換を適用する。
• 単位球面上のスペクトル測度を用いて、元の非有界作用素のS-スペクトル上へのプッシュバックスペクトル測度を定義する。
• スライス超正則関数の理論とS関数計算を活用して、非有界作用素の関数計算を定義および分析する。
• 多項式上の密度による議論とスペクトル積分における弱収束を用いて、スペクトル測度の一意性を確立する。
• 逆変換を用いて、元の非有界作用素のS-スペクトルに基づくスペクトル表現を回復する。

実験結果

リサーチクエスチョン

• RQ1 関数計算において左スペクトルや右スペクトルが失敗する中で、非有界な正規クォータニオン的作用素に対して正しいスペクトルの概念は何か？
• RQ2 S-スペクトルを用いて、有界な正規クォータニオン的作用素に対するスペクトル定理を非有界の場合に拡張できるか？
• RQ3 非有界なクォータニオン的正規作用素に対して一貫した関数計算を定義できるか？
• RQ4 S-スペクトルは、クォータニオン的リース＝ダンフォード関数計算の類似物を可能にするか？
• RQ5 非有界な反自己随伴作用素に対するスペクトル定理は、クォータニオン的量子力学の形式主義をどのように支援するか？

主な発見

• S-スペクトルは、クォータニオン的正規作用素に対して正しいスペクトル概念であり、有界および非有界の両ケースにおいて一貫したスペクトル定理を可能にする。
• クォータニオンの単位球面上の有界作用素への変換を通じて、非有界な正規クォータニオン的作用素に対するスペクトル定理が確立される。
• S-スペクトル上に一意なスペクトル測度が存在し、作用素が次のようにスペクトル積分として表現可能である：$ T = \int_{\sigma_S(T) \cap \mathbb{C}_j^+} p \, dE(p) $。
• 証明はS関数計算とリースの表現定理に依拠しており、スペクトル測度の存在と一意性を保証する。
• この枠組みにより、正の作用素の平方根の存在が保証され、実軸上でのスペクトル積分によって自己随伴作用素、正の虚数軸上でのスペクトル積分によって反自己随伴作用素が特徴づけられる。
• この結果により、クォータニオン的設定におけるスペクトル理論の基盤が完成し、クォータニオン的量子力学への応用にとって不可欠である。