[论文解读] Reducibility or non-uniform hyperbolicity for quasiperiodic Schrodinger cocycles

Artur Avila, Raphaël Krikorian|ArXiv.org|Jun 26, 2003

Spectral Theory in Mathematical Physics参考文献 25被引用 23

一句话总结

该论文证明，对于几乎所有无理频率 $\alpha$ 和几乎所有能量 $E$，具有解析势的准周期薛定谔cocycle 要么可约，要么是非一致双曲的。关键结果通过在解析类别中建立cocycle的可约性二分法，解决了Aubry-André猜想，表明对于所有无理频率，几乎数学家算符的谱具有零测度。

ABSTRACT

We show that for almost every frequency alpha \in \R \setminus \Q, for every C^omega potential v:\R/\Z o R, and for almost every energy E the corresponding quasiperiodic Schrodinger cocycle is either reducible or nonuniformly hyperbolic. This result gives very good control on the absolutely continuous part of the spectrum of the corresponding quasiperiodic Schrodinger operator, and allows us to complete the proof of the Aubry-Andre conjecture on the measure of the spectrum of the Almost Mathieu Operator.

研究动机与目标

• 建立解析类中准周期薛定谔cocycle的可约性与非一致双曲性之间的二分法。
• 对准周期薛定谔算符的绝对连续谱提供精确控制。
• 完成对几乎数学家算符谱测度的Aubry-André猜想的证明。
• 将准周期系统中动力学行为的理解拓展至微扰范围之外。

提出的方法

• 分析具有解析势 $ v \in C^{\omega}({\mathbb{R}}/{\mathbb{Z}},{\mathbb{R}}) $ 和无理 $ \alpha \in \mathbb{R} \setminus \mathbb{Q} $ 的准周期薛定谔cocycle $ (\alpha, S_{v,E}) $。
• 应用可约性二分法：对几乎所有 $ E $，cocycle 要么是 $ C^{\omega} $-可约，要么是非一致双曲的。
• 利用纤维化旋转数及其在共轭下的不变性来分析cocycle的动力学行为。
• 采用递归型丢番图条件（RDC）来处理标准丢番图集之外的典型频率。
• 利用这样一个事实：当与正Lyapunov指数结合时，模 $ \mathbb{Z} $ 的可约性蕴含一致双曲性。
• 结合Eliasson和Sorets-Spencer关于小耦合与大耦合区域的结果，构建全局图像。

实验结果

研究问题

• RQ1 对于给定的具有解析势的准周期薛定谔cocycle，是否可以对几乎所有能量分类其动力学行为（可约 vs. 非一致双曲）？
• RQ2 能否通过动力系统方法完全解决Aubry-André猜想中关于几乎数学家算符谱的零测度问题？
• RQ3 该可约性或非一致双曲性二分法是否对所有无理频率成立，而不仅限于丢番图频率？
• RQ4 纤维化旋转数在共轭和缩放下如何表现？它揭示了cocycle结构的哪些信息？

主要发现

• 对于几乎所有无理频率 $ \alpha \in \mathbb{R} \setminus \mathbb{Q} $，以及几乎所有能量 $ E $，准周期薛定谔cocycle $ (\alpha, S_{v,E}) $ 要么是 $ C^{\omega} $-可约，要么是非一致双曲的。
• 该结果意味着相应薛定谔算符的绝对连续谱包含于cocycle可约的能量集合中。
• Aubry-André猜想得到完全解决：对于所有无理频率，几乎数学家算符的谱具有零Lebesgue测度。
• 该二分法对所有 $ \alpha \in \text{RDC} $ 成立，RDC是全勒贝格测度集合，且该结果是非微扰性的，即在频率上具有统一适用性。
• 纤维化旋转数在共轭和缩放下保持不变，且在不变测度下保持恒定，这证实了其作为鲁棒动力学不变量的角色。
• 本文证明了均匀双曲性等价于正Lyapunov指数下的 $ C^{\omega} $-可约性，扩展了分析类别中先前的结果。