[论文解读] Homogeneity of the spectrum for quasi-periodic Schrödinger operators

Michael Goldstein, David Damanik+2 more|arXiv (Cornell University)|May 19, 2015

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

一句话总结

该论文在正李雅普诺夫指数条件下，建立了具有实解析势的准周期性薛定谔算子谱的均匀性。利用转移矩阵技术、稳定性分析和谱间隙估计，证明了对于丢番图频率，谱具有局部一致稠密性（Carleson均匀性），谱分量之间的间隙呈指数衰减，结果可推广至有限区间及 |λ| ≠ 1 的几乎马蒂厄算子。

ABSTRACT

We consider the one-dimensional discrete Schrödinger operator $$ \bigl[H(x,ω)φ\bigr](n)\equiv -φ(n-1)-φ(n+1) + V(x + nω)φ(n)\ , $$ $n \in \mathbb{Z}$, $x,ω\in [0, 1]$ with real-analytic potential $V(x)$. Assume $L(E,ω)>0$ for all $E$. Let $\mathcal{S}_ω$ be the spectrum of $H(x,ω)$. For all $ω$ obeying the Diophantine condition $ω\in \mathbb{T}_{c,a}$, we show the following: if $\mathcal{S}_ω\cap (E',E") eq \emptyset$, then $\mathcal{S}_ω\cap (E',E")$ is homogeneous in the sense of Carleson (see [Car83]). Furthermore, we prove, that if $G_i$, $i=1,2$ are two gaps with $1 > |G_1| \ge |G_2|$, then $|G_2|\lesssim \exp\left(-(\log \mathrm{dist} (G_1,G_2))^A ight)$, $A\gg 1$. Moreover, the same estimates hold for the gaps in the spectrum on a finite interval, that is, for $\mathcal S_{N,ω}:=\cup_{x\in\mathbb T}\mathrm{spec} H_{[-N,N]}(x,ω) $, $N \ge 1 $, where $H_{[-N, N]}(x, ω)$ is the Schrödinger operator restricted to the interval $[-N,N]$ with Dirichlet boundary conditions. In particular, all these results hold for the almost Mathieu operator with $|λ| eq 1$. For the supercritical almost Mathieu operator, we combine the methods of [GolSch08] with Jitomirskaya's approach from [Jit99] to establish most of the results from [GolSch08] with $ω$ obeying a strong Diophantine condition.

研究动机与目标

• 在正李雅普诺夫指数条件下，建立准周期性薛定谔算子谱的均匀性。
• 分析在丢番图频率区域中谱间隙的结构，特别是其大小与分离程度。
• 将谱均匀性与间隙衰减结果推广至有限区间及 |λ| ≠ 1 的几乎马蒂厄算子。
• 结合 [GS08] 与 [Jit99] 的方法，强化超临界几乎马蒂厄算子的谱正则性结果。
• 证明谱段在有限尺度上稳定，且本征求解在控制测度估计下实现分离。

提出的方法

• 利用转移矩阵与韦格纳估计，在有限区间上控制谱波动与本征求解的分离。
• 应用谱在扰动下的稳定性分析，依赖于 ω 的丢番图条件以确保一致控制。
• 采用双重共振分析处理近简并的本征求解交叉，并推导间隙分离估计。
• 利用有限区间上的局域化本征函数，将谱性质与李雅普诺夫指数行为及转移矩阵衰减联系起来。
• 应用稳定化技术，表明有限尺度谱段以指数衰减的误差集收敛至无限体积谱。
• 结合 Jitomirskaya 方法与 [GS08]，在强丢番图条件下处理超临界几乎马蒂厄情形。

实验结果

研究问题

• RQ1 对于具有实解析势和正李雅普诺夫指数的准周期性薛定谔算子，在丢番图频率下，其谱是否表现出局部一致稠密性（均匀性）？
• RQ2 此类算子的谱间隙大小如何随其分离程度衰减？
• RQ3 谱均匀性与间隙衰减估计能否推广至具有狄利克雷边界条件的有限区间？
• RQ4 在丢番图频率条件下，|λ| ≠ 1 的几乎马蒂厄算子结果在多大程度上成立？
• RQ5 能否结合 [GS08] 与 [Jit99] 的方法，在超临界区域建立谱均匀性？

主要发现

• 对于丢番图频率 ω ∈ ℤ_{c,a}，当对所有 E 属于某集合均有李雅普诺夫指数 L(ω,E) ≥ γ > 0 时，谱 ℚ_ω 为 τ-均匀的，τ = τ(V,c,a,γ)。
• 若谱与区间 (E',E'') 相交，且在 (E',E'') 上有 L(ω,E) ≥ γ > 0，则当谱在局部被 ε 分离时，ℚ_ω ∩ (E',E'') 为 τ-均匀的，τ = τ(V,c,a,γ,ε)。
• 对于满足 |G_1| ≥ |G_2| 的谱间隙 G_1, G_2，有 |G_2| ≤ ≈ exp( - (log dist(G_1,G_2))^{A} )，其中 A ≫b 1。
• 有限尺度谱 ℚ_{N,ω} = ∪_x spec H_{[-N,N]}(x,ω) 在狄利克雷边界条件下，相同间隙衰减与均匀性结果成立。
• 对于 |λ| ≠ 1 的几乎马蒂厄算子，由于正李雅普诺夫指数与丢番图频率条件，所有结果均成立。
• 在超临界区域，通过在强丢番图条件下结合 [GS08] 与 [Jit99] 方法，结果可推广至几乎马蒂厄算子。