[论文解读] Gordon type Theorem for measure perturbation

Christian Seifert|arXiv (Cornell University)|Aug 8, 2016

Spectral Theory in Mathematical Physics参考文献 5被引用 3

一句话总结

本文将戈登关于一维薛定谔算子不存在本征值的定理推广至测度值势能的情形。通过引入‘戈登测度’的概念——即在特定渐近意义下可由周期测度逼近的局部有界 signed 测度——证明了此类算子 $ H = -\Delta + \mu $ 不存在嵌入或孤立的本征值，将经典关于 $ L^1_{\text{loc}} $ 势能的结果推广至更奇异的、基于测度的设定。

ABSTRACT

Generalizing the concept of Gordon potentials to measures we prove a version of Gordon's theorem for measures as potentials and show absence of eigenvalues for these one-dimensional Schrödinger operators.

研究动机与目标

• 将戈登定理关于本征值缺失的结果从 $ L^1_{\text{loc}} $ 势能推广至更奇异的、测度值势能的情形。
• 定义并表征一类测度——‘戈登测度’——以将经典戈登势能在测度设定下的概念推广。
• 利用形式方法与逼近技术，建立具有此类测度的薛定谔算子 $ H = -\Delta + \mu $ 的自伴性与谱性质。
• 证明本征值缺失的性质在该推广下依然成立，即使对于奇异的、带符号的、局部有限的博雷尔测度亦然。

提出的方法

• 引入一致局部有界的带符号博雷尔测度的概念，以确保其相对于拉普拉斯算子的有界性。
• 将戈登测度定义为：一致局部有界的测度，且其在扩张区间上可被周期测度以总变差范数逼近。
• 利用索伯列夫嵌入与 $ L^2 $-范数估计，证明测度负部的有界性，从而通过二次型定义薛定谔算子。
• 通过辅助算子 $ T $ 建立算子的直接定义，表明基于形式的算子 $ H $ 是 $ T $ 的限制。
• 基于 $ \mu $ 由周期测度 $ \mu^m $ 逼近的极限论证，利用在区间 $ [-p_m, 2p_m] $ 上解范数的统一估计。
• 采用反证法：若存在 $ L^2 $ 本征函数，则其导数在无穷远处应衰减，但逼近过程强制产生不衰减的振荡，与 $ L^2 $-可积性矛盾。

实验结果

研究问题

• RQ1 戈登定理关于本征值缺失的结论能否从 $ L^1_{\text{loc}} $ 势能推广至更奇异的、测度值势能？
• RQ2 何种条件下，带符号博雷尔测度 $ \mu $ 可保证薛定谔算子 $ H = -\Delta + \mu $ 无本征值？
• RQ3 如何定义并表征一类可推广经典戈登势能在测度扰动背景下的测度类？
• RQ4 在周期测度逼近中，随着周期增大而在增长区间上逼近测度，在谱非嵌入性中起何种作用？

主要发现

• 戈登测度类包含所有广义戈登势能，以及所有局部有界的周期测度，例如 $ \mu = \sum_{n \in \mathbb{Z}} \delta_{n+1/2} $。
• 对任意戈登测度 $ \mu $，通过形式方法定义的薛定谔算子 $ H = -\Delta + \mu $ 无本征值。
• 证明依赖于：任何 $ L^2 $ 本征函数在无穷远处必须满足 $ |u(x)|^2 + |u'(x)|^2 $ 的一致下界，与 $ L^2 $-可积性矛盾。
• 逼近条件 $ \lim_{m \to \infty} e^{Cp_m} |\mu - \mu^m|([-p_m, 2p_m]) = 0 $ 确保了 $ H $ 与 $ H^m $（周期 $ \mu^m $）在大区间上的解行为不可区分。
• 即使对于带符号的、奇异的测度，只要其一致局部有界且满足周期发散的逼近条件，结论依然成立。