[论文解读] Some basic properties of block operator matrices

Guohai Jin, Alatancang Chen|arXiv (Cornell University)|Mar 30, 2014

Spectral Theory in Mathematical Physics参考文献 21被引用 4

一句话总结

本文建立了一套通用框架，用于分析巴拿赫空间中具有无界项的 2×2 块算子矩阵的乘法与伴随运算。该框架基于构成算子的相对有界性和谱性质，推导出自伴性的判别准则，为微分算子和数学物理应用中的谱分析提供统一方法。

ABSTRACT

General approach to the multiplication or adjoint operation of $2 imes 2$ block operator matrices with unbounded entries are founded. Furthermore, criteria for self-adjointness of block operator matrices based on their entry operators are established.

研究动机与目标

• 开发一套通用框架，用于处理具有无界项的 2×2 块算子矩阵的乘法与伴随运算。
• 解决此类矩阵谱分析中缺乏统一方法的问题，特别是在有界算子技术失效的情况下。
• 基于其各个条目的性质，建立块算子矩阵自伴性的充分条件。
• 将现有自伴性结果扩展至涉及无界算子的情形，特别是在微分算子和物理系统背景下的应用。
• 系统性地处理算子矩阵的乘积与伴随运算，阐明形式矩阵运算与实际算子复合一致的条件。

提出的方法

• 通过单个条目复合之和定义块算子矩阵的正式乘积运算：$\mathcal{A} \times \mathcal{B} = \left(\sum_{k=1}^2 A_{jk}B_{kl}\right)$。
• 建立正式乘积 $\mathcal{A} \times \mathcal{B}$ 与实际复合 $\mathcal{A}\mathcal{B}$ 一致的等价条件，依赖于通过投影 $P_1, P_2$ 和嵌入 $J_1, J_2$ 实现的定义域兼容性。
• 利用闭图像定理与相对有界性概念，分析预解型算子的有界性，特别是 $C(|A|+I)^{-1/2}$ 与 $B(|A|+I)^{-1/2}$。
• 应用闭图像定理，证明某些预解复合是有界的，从而可使用扰动技术。
• 运用无界算子的伴随演算，包括在适当定义域与闭性假设下成立的恒等式 $(ST)^* = T^*S^*$。
• 利用闭算子的扰动理论，特别是引理 A.3，建立 $T$-有界算子之和的闭性与伴随恒等式，其相对界小于 1。

实验结果

研究问题

• RQ1 在何种条件下，两个块算子矩阵的正式矩阵乘积 $\mathcal{A} \times \mathcal{B}$ 与实际复合 $\mathcal{A}\mathcal{B}$ 一致？
• RQ2 具有无界项的 $2\times2$ 块算子矩阵自伴的必要与充分条件是什么？
• RQ3 如何用其各个条目的伴随来刻画块算子矩阵的伴随？
• RQ4 当非对角线项相对于对角线项具有相对有界性时，在何种情况下可保证整个矩阵的自伴性？
• RQ5 预解的存在性与预解复合的有界性等谱性质，如何影响矩阵的自伴性？

主要发现

• 正式乘积 $\mathcal{A} \times \mathcal{B}$ 等于实际复合 $\mathcal{A}\mathcal{B}$ 当且仅当 $\mathcal{A}\mathcal{B}$ 允许矩阵表示，这等价于 $\mathcal{A}\mathcal{B}$ 的定义域是与投影 $P_1, P_2$ 兼容的乘积空间。
• 若 $C(|A|+I)^{-1/2}$ 有界，则 $C(A-\lambda)^{-1}B$ 在 $\mathcal{D}(B)$ 上有界，这对通过扰动技术验证自伴性至关重要。
• 在假设 $\mathcal{D}(B) \cap \mathcal{D}(D)$ 是 $\overline{D}$ 的核集的前提下，$D - C(A-\lambda)^{-1}B$ 的伴随等于 $\overline{D - C(A-\overline{\lambda})^{-1}B}$，从而确保伴随兼容性。
• 若 $B$ 闭且其预解集非空，且定义域条件 $\mathcal{D}(\mathcal{A}) = \mathcal{D}(B^*) \times \mathcal{D}(B)$ 成立，同时预解恒等式条件 $ (B - A(B^* - \overline{\lambda})^{-1}D)^* = B^* - D(B - \lambda)^{-1}A $ 对某个 $\lambda \in \rho(B)$ 成立，则矩阵 $\mathcal{A}$ 自伴。
• 当 $H_1 = H_2$ 且 $C = B^*$ 时，若 $A$ 关于 $B^*$ 有界且相对界小于 1，且 $D$ 关于 $B$ 有界且相对界小于等于 1，或反之且另一项具有严格界，则 $\mathcal{A}$ 自伴。
• 若 $B$ 或 $-B$ 是极大增生算子，则在相同相对有界性条件下，$\mathcal{A}$ 自伴，从而将结果推广至极大增生算子。