[论文解读] 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$-谱这一非交换谱理论框架，建立了在四元数希尔伯特空间上酉算子的谱定理。通过引入基于 $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$-谱框架下酉算子的谱分解。