[论文解读] Generic singular continuous spectrum for ergodic Schrödinger operators

Artur Avila, David Damanik|arXiv (Cornell University)|Sep 6, 2004

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

一句话总结

本文证明，在遍历薛定谔算符的通用连续势能下，绝对连续谱是不存在的。通过不连续势能的逼近和科他尼理论，作者证明了在连续函数空间中，具有零绝对连续谱的连续函数集合是剩余集，这意味着在弱正则性假设下，奇异连续谱是典型的。

ABSTRACT

We consider Schrödinger operators with ergodic potential $V_ω(n)=f(T^n(ω))$, $n \in \Z$, $ω\in Ω$, where $T:Ω o Ω$ is a non-periodic homeomorphism. We show that for generic $f \in C(Ω)$, the spectrum has no absolutely continuous component. The proof is based on approximation by discontinuous potentials which can be treated via Kotani Theory.

研究动机与目标

• 确定在遍历薛定谔算符中，对于通用连续势能，绝对连续谱是否能够持续存在。
• 研究在连续势能空间中，绝对连续谱的缺失是否是一种典型现象。
• 建立在 $ C(\Omega) $ 中，无绝对连续谱的连续势能集合是剩余集，从而在贝尔范畴意义下具有典型性。
• 证明即使在连续性假设下，绝对连续谱也并非典型，这与准周期系统中解析势能通常能保证其存在的预期相悖。

提出的方法

• 利用科他尼理论分析李雅普诺夫指数和绝对连续谱，通过集合 $ \{E \in \mathbb{R} : \gamma(E) = 0\} $，其中 $ \gamma $ 为李雅普诺夫指数。
• 在 $ L^1 $-范数下，利用不连续势能可导致零绝对连续谱（科他尼结果）的事实，对连续函数进行不连续函数逼近。
• 应用映射 $ f \mapsto M(f) = |\{E \in \mathbb{R} : \gamma_f(E) = 0\}| $ 在 $ L^1 \cap L^\infty $ 拓扑下的上半连续性，确保在小的 $ L^1 $-扰动下，零谱性质保持稳定。
• 通过在 $ L^1 $ 中逼近不连续函数并利用 $ M(f) $ 的半连续性，构造出连续函数空间中一个稠密的 $ G_\delta $ 集，其绝对连续谱为零。
• 使用贝尔范畴定理，得出在 $ C(\Omega) $ 中满足 $ \Sigma_{\rm ac}(f) = \emptyset $ 的函数集合是剩余集，因此在拓扑意义下是典型的。
• 将论证扩展至单参数族 $ \lambda f $，利用 $ \int_0^\Lambda M(\lambda f) d\lambda $ 的半连续性，证明对几乎所有 $ \lambda > 0 $，有 $ \Sigma_{\rm ac}(\lambda f) = \emptyset $，从而表明绝对连续谱的缺失在耦合常数范围内是典型的。

实验结果

研究问题

• RQ1 在遍历薛定谔算符的连续势能中，绝对连续谱的缺失是否是典型的？
• RQ2 能否通过不连续势能的逼近，建立连续势能下绝对连续谱的缺失？
• RQ3 在连续势能的小 $ L^1 $-扰动下，绝对连续谱的普遍缺失是否仍然成立？
• RQ4 是否存在一个连续势能的剩余集，使得其绝对连续谱为空？
• RQ5 对于典型的连续势能，是否对几乎所有耦合常数 $ \lambda > 0 $，绝对连续谱都不存在？

主要发现

• 对于 $ C(\Omega) $ 中的通用 $ f $，绝对连续谱 $ \Sigma_{\rm ac}(f) $ 为空，意味着在贝尔范畴意义下，奇异连续谱是典型的。
• 在 $ C(\Omega) $ 中，具有零绝对连续谱的连续函数集合是剩余集，因为它是可数个开稠密集的交集。
• 映射 $ f \mapsto M(f) = |\{E \in \mathbb{R} : \gamma_f(E) = 0\}| $ 在 $ L^1 \cap L^\infty $ 拓扑下是上半连续的，确保了零谱性质在小扰动下的稳定性。
• 对于 $ C(\Omega) $ 中的通用 $ f $，对几乎所有 $ \lambda > 0 $，有 $ \Sigma_{\rm ac}(\lambda f) = \emptyset $，表明绝对连续谱的缺失在耦合常数范围内是典型的。
• 该结果表明，即使在通常能保证其存在的准周期设置中，势能的连续性仍不足以保证绝对连续谱的存在。
• 该证明策略基于不连续势能的逼近和科他尼理论，表明绝对连续谱的缺失在势能的 $ L^1 $-收敛下具有鲁棒性。