[论文解读] The role of C*-algebras in infinite dimensional numerical linear algebra

William Arveson|ArXiv.org|Jun 8, 1993

Advanced Operator Algebra Research参考文献 8被引用 19

一句话总结

本文提出了一种C*-代数框架，用于通过有限维矩阵逼近计算可分希尔伯特空间上有界自伴算子的紧致谱。通过利用三对角算子和简单C*-代数中的唯一迹态，证明了有限截断的特征值分布弱收敛于无限算子的谱测度，从而实现了对紧致谱的可靠数值逼近。

ABSTRACT

This is a survey of four recent papers which deal with the relationship of simple C*-algebras to the problem of computing the spectra of self-adjoint operators in the general case, especially when the spectrum is not discrete. It is an expanded version of a talk presented at the 50 year C*-algebra celebration, held at the annual meeting of the AMS in San Antonio during January, 1993.

研究动机与目标

• 开发一种在无限维希尔伯特空间中计算自伴算子紧致谱的数学严格方法。
• 解决缺乏对非对角形式算子谱逼近的证明技术的问题。
• 建立算子有限维截断收敛到正确谱极限的条件。
• 阐明C*-代数和迹态在矩阵逼近特征值分布收敛中的作用。

提出的方法

• 通过标准正交基定义希尔伯特空间的滤子结构，对有限维子空间H_n进行投影。
• 引入算子相对于滤子的“阶数”概念，推广带限矩阵的概念。
• 构造一个巴拿赫*-代数，其元素可分解为满足可 summability 条件的有限阶分量。
• 利用C*-代数A上的唯一迹态τ，通过Riesz-Markov定理定义谱测度μ_T。
• 证明三对角算子T的n×n截断的特征值分布随n→∞弱收敛于μ_T。
• 建立商代数A_+/K_+与原始C*-代数A之间的同构，确保结构一致性。

实验结果

研究问题

• RQ1 在何种条件下，无限维自伴算子的有限维矩阵截断会收敛到正确的紧致谱？
• RQ2 如何从算子有限截断的特征值分布中恢复其谱测度？
• RQ3 C*-代数的唯一迹态在刻画特征值分布极限中起什么作用？
• RQ4 在何种意义下，紧致谱在算子代数的C*-代数结构下保持不变？
• RQ5 标准正交基的选择如何影响逼近谱的收敛性？

主要发现

• 三对角算子T的n×n截断的特征值分布弱收敛于C*-代数的唯一迹态所关联的谱测度μ_T。
• 对每个f ∈ C₀(ℝ)，f在n×n截断特征值上的平均值随n→∞收敛于∫ f(x) dμ_T(x)。
• 算子T的紧致谱等于谱测度μ_T的闭支集。
• 若λ ∉ σ(T)，则λ的小邻域内n×n截断的特征值个数在n→∞时保持有界。
• 截断算子模紧算子的C*-代数A_+与原始C*-代数A同构，保持谱结构。