[论文解读] Imbedded Singular Continuous Spectrum for Schrödinger Operators

Alexander Kiselev|ArXiv.org|Nov 19, 2001

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

一句话总结

该论文首次构造出一维薛定谔算符的显式例子，其势函数衰减慢于 $L^2$ 范数——具体而言，$|V(x)| \leq h(x)/(1+x)$，其中 $h(x)$ 为任意缓慢增长函数——并表现出嵌入的奇异连续谱。该构造证明了巴里·西蒙所猜想的临界衰减速率下此类谱的存在性，并表明莫勒波导算符虽存在，但由于奇异连续谱的存在而并非渐近完备。

ABSTRACT

We construct examples of potentials $V(x)$ satisfying $|V(x)| \leq \frac{h(x)}{1+x},$ where the function $h(x)$ is growing arbitrarily slowly, such that the corresponding Schrödinger operator has imbedded singular continuous spectrum. This solves one of the fifteen "twenty-first century" problems for Schrödinger operators posed by Barry Simon. The construction also provides the first example of a Schrödinger operator for which Möller wave operators exist but are not asymptotically complete due to the presence of singular continuous spectrum.

研究动机与目标

• 解决巴里·西蒙在21世纪提出的问题：当势函数衰减满足 $|V(x)| \leq C(1+|x|)^{-1/2-\epsilon}$ 时，薛定谔算符是否可能具有嵌入的奇异连续谱。
• 提供首个显式、构造性的薛定谔算符例子，其具有嵌入的奇异连续谱，填补了谱理论中的重大空白。
• 证明莫勒波导算符可在奇异连续谱存在的情况下依然存在，但无法实现渐近完备性。
• 确立即使势函数衰减慢于 $L^2$ 范数，奇异连续谱仍可出现，从而挑战了传统谱类型转变的阈值认知。

提出的方法

• 通过在 dyadic 区间上使用分段常数与振荡分量，逐尺度递归构造势函数 $V(x)$，以控制谱测度。
• 采用修正的 Jost 解与转移矩阵分析，控制解的行为，并确保不存在嵌入的本征值。
• 应用基于区间覆盖集的测度论论证，证明绝对连续谱与纯点谱分量无法解释全部谱测度。
• 估算每一尺度上势函数积分的总变差，以确保条件可积性，从而保证莫勒波导算符的存在性。
• 通过在每一构造层级上仔细分离尺度与衰减速率参数 $f_j^{(n)}$、$g_n$ 与 $\alpha_j^{(n)}$，控制误差项。
• 利用 Weyl-Titchmarsh $m$-函数与谱测度估计，表明在某些集合上的总测度超过绝对连续谱与纯点谱分量之和。

实验结果

研究问题

• RQ1 当势函数衰减满足 $|V(x)| \leq C(1+|x|)^{-1/2-\epsilon}$ 时，薛定谔算符是否可能表现出嵌入的奇异连续谱？
• RQ2 是否能够构造出满足此类衰减条件的显式势函数，使其导致奇异连续谱，而非依赖于一般性或间接的存在性结果？
• RQ3 对于此类势函数，莫勒波导算符是否可能存在于奇异连续谱存在的情况下，但不满足渐近完备性？
• RQ4 奇异连续谱出现的临界衰减速率是多少？其与 $L^2$ 与库仑衰减阈值之间有何关系？

主要发现

• 该论文构造出满足 $|V(x)| \leq h(x)/(1+x)$ 的势函数 $V(x)$，其中 $h(x)$ 为任意缓慢增长函数，使得对应的薛定谔算符具有嵌入的奇异连续谱。
• 该构造解决了巴里·西蒙提出的问题，证明即使势函数衰减慢于 $L^2$ 范数，嵌入的奇异连续谱仍可出现。
• 对于所构造的势函数，莫勒波导算符存在，因为势函数满足条件可积性，但由于奇异连续谱的存在，算符并非渐近完备。
• 通过证明在某些集合上绝对连续谱与纯点谱测度之和严格小于总测度，排除了奇异连续谱的缺失，从而表明存在非零的奇异连续谱分量。
• 构造确保每一尺度上势函数积分的总变差被控制在 $C2^{-n}$ 以内，从而保证波导算符的存在性。
• 结果表明，嵌入奇异连续谱的临界衰减速率严格介于 $L^2$ 衰减与库仑衰减（$1/x$）之间，因为当 $|V(x)| = o(1/x)$ 或 $|V(x)| \leq C/x$ 时，此类谱无法出现。