[论文解读] Operators having selfadjoint squares

Zoltán Sebestyén, Zsigmond Tarcsay|arXiv (Cornell University)|Mar 24, 2014

Spectral Theory in Mathematical Physics参考文献 6被引用 8

一句话总结

该论文证明了在实或复希尔伯特空间上，对称算子 $A$ 是自伴的，当且仅当 $I + A^2$ 是满射（即具有全范围），即使不假设 $A$ 是稠密定义的。该结果通过使用 $I + A^2$ 的值域性质来表征自伴性，推广了冯·诺依曼的经典定理，消除了对稠密定义域或复希尔伯特空间的假设要求。

ABSTRACT

The main goal of this paper is to show that a (not necessarily densely defined or closed) symmetric operator $A$ acting on a real or complex Hilbert space is selfadjoint exactly when $I+A^2$ is a full range operator.

研究动机与目标

• 提供一种自伴对称算子的表征方式，无需假设算子是稠密定义的，也无需假设希尔伯特空间是复的。
• 将冯·诺依曼关于 $I + T^*T$ 和亏指数的经典结果推广到更广泛的对称算子类。
• 确立 $I + A^2$ 的满射性是自伴对称算子 $A$ 自伴性的必要且充分条件。
• 表明稠密定义域的假设并非预先需要，而是 $I + A^2$ 满射的推论。
• 通过 $I \pm A^2$ 的值域性质，统一表征对称与斜对称算子的自伴性。

提出的方法

• 使用冯·诺依曼关于 $I + T^*T$ 在稠密定义闭算子下是自伴且满射的经典定理。
• 采用因式分解 $I + A^2 = (A + iI)(A - iI)$ 分析复希尔伯特空间中满射性的性质。
• 通过反证法和正交性论证，证明若 $I + A^2$ 满射，则 $\operatorname{dom}A$ 必为稠密。
• 应用闭算子的恒等式 $\operatorname{dom}T^{**} + \operatorname{ran}T^* = \mathfrak{H}$，建立值域与共轭算子之间的关系。
• 利用分解 $y = x - T^*z$, $0 = Tx + z$ 证明当 $T$ 闭时 $\operatorname{ran}(I + T^*T) = \mathfrak{H}$。
• 通过定义域与共轭算子包含关系的论证，建立自伴性与 $I + A^2$ 全范围之间的等价性。

实验结果

研究问题

• RQ1 能否在不假设稠密定义域的前提下表征对称算子的自伴性？
• RQ2 $I + A^2$ 的满射性是否在实与复希尔伯特空间中均蕴含 $A$ 的自伴性？
• RQ3 当 $A$ 未预先假设为稠密定义时，$\operatorname{ran}(I + A^2) = \mathfrak{H}$ 是否仍足以保证自伴性？
• RQ4 能否通过 $I - A^2$ 将该表征方法推广至斜对称算子？
• RQ5 $I + A^2$ 的值域与共轭算子定义域 $\operatorname{dom}A^*$ 之间存在何种关系？

主要发现

• 在实或复希尔伯特空间上，对称算子 $A$ 是自伴的，当且仅当 $I + A^2$ 是满射。
• $I + A^2$ 的满射性蕴含 $A$ 是稠密定义的，即使该条件未预先假设。
• 该等价性在实或复希尔伯特空间中均成立，从而无需依赖亏指数理论。
• 对于斜对称算子，$A$ 是斜自伴的，当且仅当 $I - A^2$ 是满射。
• 在 $L^2(X, \mu)$ 上乘以实可测函数的乘法算子是自伴的，因为 $I + A^2$ 是满射。
• 对任意稠密定义的闭算子 $T$，$T^*T$ 是自伴的，当且仅当 $\operatorname{ran}(I + T^*T) = \mathfrak{H}$。