[论文解读] Periodic and limit-periodic discrete Schrödinger operators

Helge Krueger|arXiv (Cornell University)|Aug 7, 2011

Spectral Theory in Mathematical Physics参考文献 15被引用 9

一句话总结

本文建立了 $\mathbb{Z}^d$ 上离散周期与渐近周期薛定谔算符的谱理论，对 $d \geq 2$ 建立了 Floquet-Bloch 分解。证明了在 $d=2$ 时，若周期互质，则小扰动不会打开能隙（类 Bethe-Sommerfeld 结果），而偶周期在小势场下可打开单个能隙。关键在于，通过小的紧支集扰动迭代控制能带重叠，构造出谱为单一区间的纯连续谱的渐近周期势。

ABSTRACT

The theory of discrete periodic and limit-periodic Schrödinger operators is developed. In particular, the Floquet--Bloch decomposition is discussed. Furthermore, it is shown that an arbitrarily small potential can add a gap for even periods. In dimension two, it is shown that for coprime periods small potential terms don't add gaps thus proving a Bethe--Sommerfeld type statement. Furthermore limit-periodic potentials whose spectrum is an interval are constructed.

研究动机与目标

• 为 $d \geq 2$ 的 $\mathbb{Z}^d$ 上离散周期薛定谔算符建立全面的谱理论，弥补尽管在一维和连续情形已有研究但该领域在 $d \geq 2$ 时仍存在空白。
• 建立在二维情形下，小扰动不打开周期势能谱隙的条件，特别是当周期互质时。
• 构造一大类渐近周期势，其谱为单一区间，证明此类算符具有纯绝对连续谱的存在性。

提出的方法

• 利用 Floquet-Bloch 分解分析 $\mathbb{Z}^d$ 上周期薛定谔算符的谱，将问题约化为依赖准动量参数的有限维特征值问题族。
• 在布里渊区 $\mathbb{B} = \times_{j=1}^d \{0, \frac{1}{p_j}, \dots, \frac{p_j-1}{p_j}\}$ 上使用傅里叶分析表达周期势，并将薛定谔方程转化为动量空间中的矩阵值问题。
• 应用定理 5.1，该定理断言：在 Floquet-Bloch 分解中的算符族中，任一能量作为重数至少为二的特征值，至多仅对有限多个算符成立，从而控制简并性并确保能带内部性质。
• 采用迭代构造：对每个 $t$，定义紧集 $\mathcal{V}_t$，包含 $(p^t, q^t)$-周期势 $V_t$ 且满足 $\|V_t\|_\infty \leq \delta_t$，确保在尺度 $t$ 的能带重叠可推出在尺度 $t+1$ 的重叠。
• 依赖定理 3.8（小扰动下能带重叠的稳定性）与引理 3.10（在紧集上实现均匀重叠控制），将能带重叠性质通过连续尺度传播。
• 将完整势能构造为 $\sum_{t=1}^\infty V_t$，其中 $\sum \delta_t < \infty$，确保极限算符的谱由于预解式的一致收敛与谱稳定性而形成单一区间。

实验结果

研究问题

• RQ1 在 $\mathbb{Z}^2$ 上，若周期互质，小扰动是否可能引入新的谱隙？
• RQ2 是否存在任意小的偶周期势，可在离散薛定谔算符的谱中打开单个谱隙？
• RQ3 在 $\mathbb{Z}^d$ 上是否存在渐近周期势，使得其关联薛定谔算符的谱为单一区间？
• RQ4 周期势序列的何种条件可确保其和的谱为区间？
• RQ5 对于 $d \geq 2$ 的 $\mathbb{Z}^d$ 上周期算符的谱结构，与一维情形相比，特别是在能隙形成方面有何异同？

主要发现

• 在 $d=2$ 时，若周期互质，则小扰动不会打开新的谱隙，证明了离散版的 Bethe-Sommerfeld 猜想。
• 在任意维数下，均存在任意小的偶周期势，可在离散薛定谔算符的谱中打开恰好一个谱隙。
• 存在一列 $\delta_t > 0$ 满足 $\sum_{t=1}^\infty \delta_t < \infty$，使得对所有满足 $\|V_t\|_\infty \leq \delta_t$ 的 $(p^t, q^t)$-周期势 $V_t$ 序列，算符 $\Delta + \sum_{t=1}^\infty V_t$ 的谱为单一区间。
• 该构造依赖于迭代控制能带重叠：若在尺度 $t$ 时能带重叠，则在足够小的扰动下，其在尺度 $t+1$ 仍保持重叠。
• 极限周期算符的谱为纯绝对连续谱并形成单一区间，尽管本文未通过 KAM 型方法建立绝对连续性。
• 该方法确保有限截断算符 $\Delta + \sum_{t=1}^T V_t$ 的谱对所有 $T$ 均为区间，且由一致收敛性，全算符的谱亦为区间。