[论文解读] Non-negative perturbations of non-negative self-adjoint operators

V. M. Adamyan|ArXiv.org|Jan 2, 2007

Spectral Theory in Mathematical Physics参考文献 2被引用 7

一句话总结

本文为一个在 $ \mathbb{L}_2(\mathbf{R}_n) $ 中定义的、在稠密定义的非负对称算子 $ A_0 $ 的非负自伴扩张的唯一性建立了一个判据，表明此类扩张唯一当且仅当缺陷子空间满足某一特定条件。该判据被应用于拉普拉斯算子和多调和算子的奇异扰动问题，在二维情形下证明了标准拉普拉斯算子是非负扩张的唯一选择，而在三维或更高维情形下则存在无穷多个此类扩张。

ABSTRACT

Let $A$ be a non-negative self-adjoint operator in a Hilbert space $\mathcal{H}$ and $A_{0}$ be some densely defined closed restriction of $A_{0}$, $A_{0}\subseteq A eq A_{0}$. It is of interest to know whether $A$ is the unique non-negative self-adjoint extensions of $A_{0}$ in $\mathcal{H}$. We give a natural criterion that this is the case and if it fails, we describe all non-negative extensions of $A_{0}$. The obtained results are applied to investigation of non-negative singular point perturbations of the Laplace and poly-harmonic operators in $\mathbb{L}_{2}(\mathbf{R}_{n})$.

研究动机与目标

• 确定非负自伴算子 $ A $ 何时是稠密定义的闭限制算子 $ A_0 \subset A $ 的唯一非负自伴扩张。
• 当唯一性不成立时，刻画 $ A_0 $ 的所有非负自伴扩张。
• 将该判据应用于 $ \mathbb{L}_2(\mathbf{R}_n) $ 中拉普拉斯算子与多调和算子的奇异点扰动问题。
• 澄清二维与三维中非负奇异扰动存在性之间的差异。

提出的方法

• 基于缺陷子空间 $ \mathcal{N} = \mathcal{H} \ominus \mathcal{M} $（其中 $ \mathcal{M} = (I + A_0)\mathcal{D}(A_0) $）推导出判据，利用对称算子的谱理论。
• 引入量 $ G_1 = \|e_0\|^2 \cdot \|(I + A)e_0\|^{-1} $ 和 $ G_2 = \|(I + A)^{-1/2}e_0\|^2 $，这些量决定了非负扩张的存在性与唯一性。
• 使用克雷因扩张理论框架，将 $ A_0 $ 的所有非负自伴扩张集合参数化为一个算子区间 $[A_\mu, A_M]$。
• 通过傅里叶变换将判据应用于拉普拉斯算子 $ -\Delta $ 和多调和算子 $ (-\Delta)^l $，将问题转化为在 $ \mathbb{R}^n $ 上的可积性条件。
• 通过分析涉及 $ \sin^2(\frac{1}{2}\mathbf{k} \cdot \mathbf{x}_0)/(1 + k^2)^2 $ 及其相关表达式的积分收敛性，确定非负扩张的存在性。
• 建立非负扩张的存在性取决于维度 $ n $ 和多调和算子的阶数 $ l $。

实验结果

研究问题

• RQ1 在何种条件下，非负自伴算子 $ A $ 是稠密定义的对称限制算子 $ A_0 \subset A $ 的唯一非负自伴扩张？
• RQ2 当 $ A $ 不唯一时，$ A_0 $ 的所有非负自伴扩张的完整集合是什么？
• RQ3 为何二维拉普拉斯算子具有唯一的非负扩张，而三维拉普拉斯算子却有无穷多个？
• RQ4 维度 $ n $ 和多调和算子的阶数 $ l $ 如何影响非负奇异扰动的数量？

主要发现

• 当且仅当 $ G_2 = 0 $ 时，$ A_0 $ 的非负自伴扩张是唯一的，其中 $ G_2 = \|(I + A)^{-1/2}e_0\|^2 $，且 $ e_0 $ 是缺陷子空间的生成元。
• 当 $ G_2 > 0 $ 时，存在一个单参数族的非负自伴扩张，其中 $ A $ 是区间 $[A_\mu, A_M]$ 中的最大元素。
• 对于二维拉普拉斯算子，$ G_2 = \infty $，因此 $ G_1 = 0 $，这意味着除了标准拉普拉斯算子外不存在任何非负奇异扰动。
• 在三维情形下，$ G_1 > 0 $ 且 $ G_2 < \infty $，因此存在无穷多个非负扩张，其中 $ A $ 是最大者。
• 对于多调和算子 $ (-\Delta)^l $，若 $ n < 2l $，则存在无穷多个非负扩张，且 $ (-\Delta)^l $ 是最小元素。
• 若 $ n = 2l $，则不存在超出标准算子的非负扩张；若 $ n > 2l $，则 $ (-\Delta)^l $ 是无穷多个非负扩张中的最大元素。