[论文解读] Application of topological radicals to calculation of joint spectral radii

Victor S. Shulman, Yuri V. Turovskii|ArXiv.org|May 2, 2008

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

一句话总结

本文建立了巴拿赫空间上预紧算子族联合谱半径的广义 Berger-Wang 公式，证明其等于 Berger-Wang 半径与 Calkin 代数中联合谱半径的最大值。证明依赖于巴拿赫代数中的拓扑根，将经典的 Berger-Wang 公式从矩阵和紧算子推广至一般预紧集。

ABSTRACT

It is shown that the joint spectral radius $ρ(M)$ of a precompact family $M$ of operators on a Banach space $X$ is equal to the maximum of two numbers: the joint spectral radius $ρ_{e}(M)$ of the image of $M$ in the Calkin algebra and the Berger-Wang radius $r(M)$ defined by the formula \[ r(M)=\underset{n o\infty}{\limsup}(\sup\left\{ρ(a):a\in M^{n} ight\} ^{1/n}) . \] Some more general Banach-algebraic results of this kind are also proved. The proofs are based on the study of special radicals on the class of Banach algebras.

研究动机与目标

• 将经典的 Berger-Wang 公式推广至巴拿赫空间上预紧算子族，其中一般情况下等式 $\rho(M) = r(M)$ 不成立。
• 通过引入 Calkin 代数中的联合谱半径作为关键组成部分，弥合 Berger-Wang 公式在适用性上的空白。
• 利用巴拿赫代数中的拓扑根建立统一框架，以分析算子族的谱半径。
• 证明预紧集联合谱半径的连续性性质，特别是当本质谱半径严格小于联合谱半径时的情形。
• 为算子代数中的不变子空间结果提供理论基础，基于谱半径的分解。

提出的方法

• 定义广义的 Berger-Wang 半径 $ r(M) = \limsup_{n \to \infty} \left( \sup_{a \in M^n} \rho(a) \right)^{1/n} $，以推广经典公式。
• 引入本质联合谱半径 $ \rho_e(M) = \rho(\pi(M)) $，其中 $ \pi $ 是到 Calkin 代数 $ \mathcal{B}(\mathcal{X})/\mathcal{K}(\mathcal{X}) $ 的商映射。
• 利用巴拿赫代数类中的拓扑根分析理想及其商的结构，特别是次紧致与双紧致理想。
• 构造闭理想序列 $ \{J_\alpha\} $ 的超限链，通过极限序数与后继序数的归纳法逐步证明广义公式。
• 应用广义公式证明当 $ \rho_e(M) < \rho(M) $ 时，联合谱半径在预紧集上的连续性，利用次调和性与范数收敛。
• 利用单元素族中 $ \rho_e(T) = \rho_\chi(T) $（即本质谱半径）的事实，在连续性证明中导出矛盾。

实验结果

研究问题

• RQ1 经典的 Berger-Wang 公式 $ \rho(M) = r(M) $ 能否被推广至巴拿赫空间上预紧算子族，超越紧算子的情形？
• RQ2 Calkin 代数在分解一般预紧算子族联合谱半径的过程中起着何种精确作用？
• RQ3 巴拿赫代数中的拓扑根如何促进将联合谱半径分解为本质与非本质部分？
• RQ4 在何种条件下，联合谱半径在预紧算子集上是连续的？
• RQ5 广义公式在多大程度上允许在算子代数中得出新的不变子空间定理？

主要发现

• 任意巴拿赫空间上预紧算子族 $ M $ 的联合谱半径满足 $ \rho(M) = \max\{ r(M), \rho_e(M) \} $，其中 $ r(M) $ 为 Berger-Wang 半径，$ \rho_e(M) $ 为 Calkin 代数中的联合谱半径。
• 广义公式表明，对于形如 $ \lambda I + K $ 的所有预紧算子族，均有 $ \rho(M) = r(M) $，其中 $ \lambda \in \mathbb{C} $ 且 $ K $ 为紧算子。
• 当 $ \rho_e(M) < \rho(M) $ 时，联合谱半径在预紧集 $ M $ 上连续，该结论通过利用单个算子谱半径连续性的反证法得以证明。
• 证明依赖于超限归纳法，对一系列次紧致理想 $ \{J_\alpha\} $ 的链进行，关键步骤是在极限序数与后继序数处对公式进行归纳验证。
• 该结果将 Berger-Wang 公式的适用范围扩展至非紧算子，解决了早期研究中该公式对非紧族不成立的缺陷。
• 拓扑根理论为分析联合谱半径提供了结构性框架，使谱行为可被分解为本质与剩余部分。