[论文解读] Bethe-Sommerfeld Conjecture and Absolutely Continuous Spectrum of Multi-Dimensional Quasi-Periodic Schrödinger Operators

Yulia Karpeshina, Leonid Parnovski+1 more|arXiv (Cornell University)|Oct 12, 2020

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

一句话总结

该论文证明了对于任意维度 $ d \geq 2 $ 的多维准周期薛定谔算符 $ H = -\Delta + V(\mathbf{x}) $ 的通用类，其绝对连续谱包含一个半轴 $[\lambda_*, \infty)$，采用动量空间多尺度分析并结合新颖技术，将广义本征函数构造为平面波的小扰动。该结果在准周期设定下证实了贝特-索末菲猜想的一个版本。

ABSTRACT

We consider Schrödinger operators $H=-Δ+V({\mathbf x})$ in ${\mathbb R}^d$, $d\geq2$, with quasi-periodic potentials $V({\mathbf x})$. We prove that the absolutely continuous spectrum of a generic $H$ contains a semi-axis $[λ_*,+\infty)$. We also construct a family of eigenfunctions of the absolutely continuous spectrum; these eigenfunctions are small perturbations of the exponentials. The proof is based on a version of the multi-scale analysis in the momentum space with several new ideas introduced along the way.

研究动机与目标

• 建立多维准周期薛定谔算符绝对连续谱中半轴存在的证明。
• 将绝对连续谱的广义本征函数构造为大 $ \|\mathbf{k}\| $ 时指数函数 $ \mathbf{e}_{\mathbf{k}} $ 的小扰动。
• 将贝特-索末菲猜想推广至维度 $ d \geq 2 $ 的准周期设定，其中谱预期包含一个半轴。
• 发展一个稳健的动量空间多尺度分析框架，能够处理具有有限个傅里叶模的准周期势。
• 证明对于几乎所有基本频率 $ \vec{\boldsymbol{\omega}} $ 的选择，谱包含 $[\lambda_*, \infty)$，其中 $ \lambda_* $ 足够大。

提出的方法

• 将薛定谔算符 $ H = -\Delta + V(\mathbf{x}) $ 表述为具有准周期势 $ V(\mathbf{x}) = \sum_{|\mathbf{n}| < Q} V_{\mathbf{n}} e^{i\langle \mathbf{n} \vec{\boldsymbol{\omega}}, \mathbf{x} \rangle} $，其中 $ \vec{\boldsymbol{\omega}} \in [-1/2, 1/2]^{dl} $ 且 $ \mathbf{n} \in \mathbb{Z}^l $。
• 在纤维空间 $ \mathfrak{H}(\mathbf{k}) $ 中工作，即指数函数 $ \{ e^{i\langle \mathbf{k} + \mathbf{n} \vec{\boldsymbol{\omega}}, \mathbf{x} \rangle} \}_{\mathbf{n} \in \mathbb{Z}^l} $ 的张成空间，该空间在 $ H $ 下不变。
• 通过迭代微扰理论构造广义本征函数 $ U^{(\infty)}(\mathbf{k}, \mathbf{x}) = e^{i\langle \mathbf{k}, \mathbf{x} \rangle} (1 + u^{(\infty)}(\mathbf{k}, \mathbf{x})) $，满足 $ \|u^{(\infty)}\|_{L^\infty} < C \|\mathbf{k}\|^{-\delta} $，其中 $ \delta > 0 $。
• 应用一种新颖的递归方案，结合补丁、簇和中心立方体的动量空间多尺度分析，以控制预解算符并避免谱局域化。
• 利用卡坦引理估计矩阵值解析函数的测度，以估计使哈密顿量逆算符变大的“坏”频率集合。
• 通过多尺度自举论证建立“坏”集合测度的指数衰减估计，确保“好”频率集合具有全测度。

实验结果

研究问题

• RQ1 对于通用的基本频率选择，多维准周期薛定谔算符的绝对连续谱是否包含一个半轴 $[\lambda_*, \infty)$？
• RQ2 能否将绝对连续谱的广义本征函数构造为大 $ \|\mathbf{k}\| $ 时平面波 $ e^{i\langle \mathbf{k}, \mathbf{x} \rangle} $ 的小扰动？
• RQ3 动量空间多尺度分析在多大程度上可被适配以处理具有有限个傅里叶模的准周期势？
• RQ4 纤维空间 $ \mathfrak{H}(\mathbf{k}) $ 的结构以及 $ H $ 在其上的作用，如何促成布洛赫型解的构造？
• RQ5 谱性质失效的频率集合的测度行为如何？能否证明其测度可忽略？

主要发现

• 对于任意有限个傅里叶系数 $ \{V_{\mathbf{n}}\} $，存在一个全测度子集 $ \boldsymbol{\Omega}_* \subset [-1/2, 1/2]^{dl} $ 的基本频率，使得对所有 $ \vec{\boldsymbol{\omega}} \in \boldsymbol{\Omega}_* $，算符 $ H $ 的绝对连续谱包含一个半轴 $[\lambda_*, \infty)$。
• 广义本征函数 $ U^{(\infty)}(\mathbf{k}, \mathbf{x}) $ 被构造为平面波 $ e^{i\langle \mathbf{k}, \mathbf{x} \rangle} $ 的小扰动，满足 $ \|u^{(\infty)}\|_{L^\infty} < C \|\mathbf{k}\|^{-\delta} $，其中 $ \delta > 0 $，且对所有 $ \mathbf{k} $ 一致成立。
• 该构造依赖于动量空间多尺度分析，通过补丁、簇和中心立方体对预解算符范数进行递归控制，以实现问题的局域化。
• 该方法表明，“坏”频率集合（即哈密顿量逆算符变大的频率）的测度具有指数衰减，从而确保了全测度的谱结果。
• 该结果在 $ d \geq 2 $ 的准周期设定下证实了贝特-索末菲猜想，扩展了以往仅限于周期性或特定二维情形的结果。
• 广义本征函数表现出长时序下的弹道输运行为，这是绝对连续谱及所构造解结构的直接结果。