[论文解读] Decay Preserving Operators and Stability of the Essential Spectrum

Vladimir Georgescu, Sylvain Golénia|ArXiv.org|Nov 22, 2004

Spectral Theory in Mathematical Physics参考文献 26被引用 13

一句话总结

本文通过引入衰减保持型和弱趋于零型扰动，建立了巴拿赫模上无界算子本质谱的稳定性准则。证明了若预解子之差为紧算子，则两个算子的本质谱相同，该框架被应用于具有复可测系数的微分算子、奇异狄拉克算子以及具有可测度量的流形上的拉普拉斯-贝尔特拉米算子。

ABSTRACT

We establish criteria for the stability of the essential spectrum for unbounded operators acting in Banach modules. The applications cover operators acting on sections of vector fiber bundles over non-smooth manifolds or locally compact abelian groups, in particular differential operators of any order with complex measurable coefficients on an euclidean space, singular Dirac operators, and Laplace-Beltrami operators on Riemannian manifolds with measurable metrics.

研究动机与目标

• 开发一个分析巴拿赫模中无界算子本质谱稳定性的通用框架。
• 解决在缺乏算子定义域详细知识的情况下，判断两个算子是否具有相同本质谱的挑战。
• 将现有紧性准则从光滑或椭圆算子扩展至包含复可测系数和奇异低阶项的算子。
• 在单一分析框架下统一处理非光滑流形、欧氏空间及局部紧阿贝尔群上的微分算子。
• 提供预解子之差为紧算子的条件，以确保本质谱不变性。

提出的方法

• 采用Gelfand三元组框架：${\tenrsf G} \subset {\tenrsf H} \subset {\tenrsf G}^*$，其中${\tenrsf H}$为希尔伯特空间，${\tenrsf G}$为具有更强范数的稠密子空间。
• 通过扩展算子$A_0: {\tenrsf G} \to {\tenrsf G}^*$定义算子，$A$为$A_0^{-1}$在${\tenrsf H}$上的限制，从而保证闭性与稠密定义域。
• 将衰减保持型算子定义为满足$A_0^{-1} - B_0^{-1}$将${\tenrsf H}$映射至${\tenrsf G}$的算子，从而支持紧性论证。
• 应用弱趋于零型扰动：$A_0 - B_0$将${\tenrsf G}$映射至${\tenrsf K}$，使得像在对偶空间中可忽略。
• 利用Maurey的因式分解定理控制预解子之差的算子范数，并证明紧性。
• 利用如下事实：若$A_0 - B_0: {\tenrsf G} \to {\tenrsf K}$为紧算子，则$A^{-1} - B^{-1}$为紧算子，从而保证本质谱稳定性。

实验结果

研究问题

• RQ1 在定义域未明确已知的情况下，无界算子的本质谱在何种条件下对扰动保持稳定？
• RQ2 如何在不依赖定义域正则性的情况下，确保两个算子预解子之差为紧算子？
• RQ3 哪类扰动能保持具有复可测系数的微分算子的本质谱？
• RQ4 衰减保持型与弱趋于零型扰动能否用于统一不同几何与分析设定下的谱稳定性结果？
• RQ5 该框架在多大程度上可处理奇异算子，如具有可测度量的流形上的狄拉克算子或拉普拉斯-贝尔特拉米算子？

主要发现

• 闭算子$A$的本质谱在紧扰动下保持稳定：若$B$为$A$的紧扰动，则$\sigma_{\text{ess}}(A) = \sigma_{\text{ess}}(B)$。
• 若$A_0 - B_0: {\tenrsf G} \to {\tenrsf K}$为紧算子，则$A^{-1} - B^{-1}$为紧算子，从而确保本质谱不变性。
• 对于$\mathbb{R}^n$上具有复可测系数的散度型算子，本质谱在衰减保持型扰动下保持稳定。
• 该框架适用于奇异狄拉克算子及具有可测度量的黎曼流形上的拉普拉斯-贝尔特拉米算子。
• 该方法避免依赖Sobolev正则性或系数光滑性，将结果推广至非椭圆与非光滑设定。
• 利用Gelfand三元组与闭图像定理，确保对半有界自伴算子有$\mathcal{D}(A) \subset {\tenrsf G} \subset \mathcal{D}(|A|^{1/2})$，从而实现一致的定义域延拓。