[论文解读] The absolutely continuous spectrum of the almost Mathieu operator

Artur Avila|ArXiv.org|Oct 16, 2008

Spectral Theory in Mathematical Physics参考文献 26被引用 60

一句话总结

该论文证明了几乎马蒂厄算子的绝对连续谱存在当且仅当耦合参数满足 |λ| < 1，从而解决了巴里·西蒙于2000年提出的谱理论开放问题列表中的第6个问题。证明基于频率 α 的算术性质采用两种不同方法：针对次指数频率（β = 0）采用非微扰型KAM型论证，针对指数频率（β > 0）则采用基于cocycle平均与双曲几何的动力系统方法，最终证明了在所有无理频率和相位下均存在绝对连续性。

ABSTRACT

We prove that the spectrum of the almost Mathieu operator is absolutely continuous if and only if the coupling is subcritical. This settles Problem 6 of Barry Simon's list of Schrödinger operator problems for the twenty-first century.

研究动机与目标

• 解决巴里·西蒙2000年提出的薛定谔算子问题列表中的第6个问题，即在亚临界区域中，几乎马蒂厄算子的谱测度是否对所有无理频率和相位均为绝对连续。
• 对几乎马蒂厄算子的绝对连续谱在所有耦合强度、频率和相位下作出完整表征。
• 将此前仅对几乎所有频率或相位成立的结果推广为对所有无理频率和所有相位均成立的完整、一致结果。
• 建立一个统一框架，适配频率 α 的不同算术类型，区分次指数（β = 0）与指数（β > 0）增长的连分数分母。

提出的方法

• 证明根据频率 α 的算术类型分为两种情况，其定义基于增长率 β(α) = limsup (ln q_{n+1})/q_n，其中 q_n 为连分数逼近的分母。
• 对于次指数情形（β = 0），发展了一种新颖的非微扰方法以建立绝对连续性，将早期基于KAM的结果从代数数条件推广至整个次指数类。
• 对于指数情形（β > 0），方法基于动力系统理论，通过在有理逼近 p_n/q_n 的轨道上对cocycle范数进行平均。
• 关键估计涉及上半平面上的双曲几何，利用庞加莱度量比较旋转作用下转移矩阵的行为与实际动力系统之间的差异。
• 核心技术工具是使用函数 φ(z) 衡量上半平面上点 z 处转移矩阵的范数，并对其在轨道上的平均值进行估计。
• 证明利用cocycle被旋转所逼近的性质，并应用一个抵消估计（引理4.8），表明当初始点足够远离不动点时，φ(z) 沿长轨道的平均值超过与 φ(m(θ,E)) 成比例的阈值，从而在谱测度缺乏绝对连续分量时导致矛盾。

实验结果

研究问题

• RQ1 当 |λ| < 1 时，几乎马蒂厄算子是否对所有无理频率和所有相位均具有绝对连续谱？
• RQ2 能否在不依赖“几乎所有频率或相位”的前提下，统一证明亚临界区域（|λ| < 1）下所有频率和相位的谱测度均为绝对连续？
• RQ3 频率 α 的算术类型——特别是连分数分母的增长率——在决定几乎马蒂厄算子谱类型方面起何种作用？
• RQ4 能否在指数情形（β > 0）中，使用避免微扰或KAM方法的技术来建立谱测度的绝对连续性？
• RQ5 是否可能通过单一动力系统框架统一处理不同算术情形下的谱测度？

主要发现

• 几乎马蒂厄算子的谱测度为绝对连续当且仅当 |λ| < 1，从而解决了亚临界区域中长期悬而未决的猜想。
• 对于满足 β = 0（次指数增长）的频率，本文通过一种非微扰方法建立了绝对连续性，该方法将结果从代数数条件推广至所有此类频率。
• 对于满足 β > 0（指数增长）的频率，证明采用基于有理逼近轨道上cocycle范数平均的动力系统方法，表明绝对连续分量的总质量在迭代下保持不变。
• 该方法依赖于一个关键估计（引理4.8），表明当初始点足够远离不动点时，φ(z) 沿轨道的平均值超过与 φ(m(θ,E)) 成比例的阈值，从而在谱测度缺乏绝对连续分量时导致矛盾。
• 矛盾产生于假设 ∫ φ(˜m(θ,E)) dθ < (1−ε)2π 的情形，这将导致平均值的增长超过总测度，从而推出积分必须为 (1−o(1))2π，进而确认了绝对连续分量的存在。
• 该结果对所有无理频率 α 和所有相位 θ 均一致成立，确认了齐托米尔丝卡娅工作中的完整猜想，并解决了西蒙列表中的开放问题。