[论文解读] Spectra of Upper-triangular Operator Matrix

Shifang Zhang, Huaijie Zhong+1 more|arXiv (Cornell University)|Jun 27, 2009

Holomorphic and Operator Theory参考文献 25被引用 3

一句话总结

本文研究了巴拿赫空间 $ X \oplus Y $ 上 2×2 上三角算子矩阵 $ M_C = \begin{pmatrix} A & C \ 0 & B \end{pmatrix} $ 的谱性质，分析了 20 种谱及其填 hole 性质。研究发现，某些此前猜想的谱包含关系并不成立，提供了反例，挑战了算子矩阵谱理论中的既有假设。

ABSTRACT

Let $X$ and $Y$ be Banach spaces, $A\in B(X)$, $B\in B(Y)$, $C\in B(Y, X)$, $M_{C}=({cc}A&C 0&B)$ be the operator matrix acting on the Banach space $X\oplus Y$. In this paper, we give out 20 kind spectra structure of $M_C$, decide 18 kind spectra filling-in-hole properties of $M_C$, and present 10 examples to show that some conclusions about the spectra structure or filling-in-hole properties of $M_C$ are not true.

研究动机与目标

• 系统分析上三角算子矩阵 $ M_C $ 在 $ X \oplus Y $ 上关联的 20 种不同谱。
• 确定这些谱中哪些满足填 hole 性质，特别是与对角块 $ A $ 和 $ B $ 的谱之间的关系。
• 挑战并纠正先前声称的谱包含关系，尤其是涉及本质谱和 Weyl 谱的情形。
• 提供显式反例，证明某些谱包含关系（如 $ \sigma_w(M_C) \subseteq \sigma_e(M_C) $）在一般情况下不成立。

提出的方法

• 作者使用标准算子类（可逆、Fredholm、Weyl、Browder 及其左右变体）定义了 $ M_C $ 的 20 种谱。
• 通过比较 $ M_C $ 的谱与 $ A $ 和 $ B $ 的谱的并集，分析填 hole 性质，特别关注本质谱和 Weyl 谱中的空洞。
• 利用泛函分析技术，包括提升阶数、下降阶数和指标理论，通过 $ M_C - \lambda I $ 的核与像的性质刻画谱集。
• 在 $ \ell^2 $ 中使用移位算子 $ T, S $ 及辅助算子 $ C_1, C_2, C_3 $ 构造显式例子，以检验谱包含关系。
• 通过特定算子构建反例：$ A = T $，$ B = S $，$ C = C_3 = I - TS $，以及使用 $ T_1, S_1 $ 和分块矩阵的变体。
• 分析包括通过 $ \sigma_{se}(M_C) \stackrel{?}{=} \sigma_{se}(A) \cup \sigma_{se}(B) \cup (\overline{\sigma_p(A^*)} \cap \sigma_p(B)) $ 检查谱包含关系，表明该等式不成立。

实验结果

研究问题

• RQ1 本质谱是否满足 $ \sigma_{se}(M_C) = \sigma_{se}(A) \cup \sigma_{se}(B) \cup (\overline{\sigma_p(A^*)} \cap \sigma_p(B)) $？
• RQ2 Weyl 谱是否总是包含于 $ M_C $ 的本质谱中？
• RQ3 $ \sigma_{rD} $ 和 $ \sigma_{lD} $ 是否相对于 $ \sigma_{rD}(A) \cup \sigma_{rD}(B) $ 满足广义填 hole 性质？
• RQ4 对于某些 $ C \in B(Y,X) $，是否可能存在 $ \sigma_w(M_C) \subseteq \sigma_e(M_C) $ 不成立的情况？
• RQ5 包含关系 $ \sigma_D(M_C) \subseteq \sigma_e(M_C) $ 是否恒成立，还是可能为严格包含？

主要发现

• 包含关系 $ \sigma_w(M_C) \subseteq \sigma_e(M_C) $ 在一般情况下不成立；通过构造 $ A = T $，$ B = S $，$ C = C_3 $ 的反例予以证明。
• 当 $ A = T $，$ B = S $，$ C = 0 $ 时，包含关系 $ \sigma_w(M_C) \subseteq \sigma_D(M_C) $ 失效，表明 $ \sigma_w $ 不包含于 $ \sigma_D $。
• 包含关系 $ \sigma_e(M_C) \subseteq \sigma_D(M_C) $ 不成立；反例使用 $ A = T_1 $，$ B = \begin{pmatrix} S_1 & 0 \\ 0 & S \end{pmatrix} $，$ C = (C_1, 0) $。
• 当 $ A = T_1 $，$ B = S_1 $，$ C = C_2 $ 时，包含关系 $ \sigma_e(M_C) \subseteq \sigma_w(M_C) $ 失效，表明 $ \sigma_e $ 不包含于 $ \sigma_w $。
• 当 $ A = T $，$ B = \begin{pmatrix} S & 0 \\ 0 & 0 \end{pmatrix} $，$ C = (C_3, 0) $ 时，包含关系 $ \sigma_D(M_C) \subseteq \sigma_e(M_C) $ 失效，且 $ \sigma_D(M_C) $ 不包含于 $ \sigma_e(M_C) $ 或 $ \sigma_w(M_C) $。
• 声称的谱恒等式 $ \sigma_{se}(M_C) = \sigma_{se}(A) \cup \sigma_{se}(B) \cup (\overline{\sigma_p(A^*)} \cap \sigma_p(B)) $ 无效；反例表明差集 $ W $ 为单点集，而非开集。