[论文解读] Subcritical behavior for quasi-periodic Schrödinger cocycles with trigonometric potentials

Christoph A. Marx, Li Shou+1 more|arXiv (Cornell University)|Sep 17, 2015

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

一句话总结

本文通过复化李雅普诺夫指数分析与赫尔曼界，建立了具有三角多项式势的准周期薛定谔cocycle的亚临界行为准则。通过分析势函数的解析延拓并应用赫尔曼对李雅普诺夫指数的下界估计，作者证明了对所有无理频率与相位，正李雅普诺夫指数蕴含纯绝对连续谱，将阿维拉的全局理论推广至非-AMO型三角势函数。

ABSTRACT

We give a criterion implying subcritical behavior for quasi-periodic Schrödinger operators where the potential sampling function is given by a trigonometric polynomial. Subcritical behavior, in the sense of Avila's global theory, is known to imply purely absolutely continuous spectrum for all irrational frequencies and all phases.

研究动机与目标

• 将阿维拉关于单频算子的全局理论推广至具有三角多项式势的准周期薛定谔算子。
• 提供一个亚临界行为的判据，该判据对所有无理频率与相位均蕴含纯绝对连续谱。
• 分析复化李雅普诺夫指数，并利用赫尔曼半径与根定位技术，推导实李雅普诺夫指数的下界。
• 证明通过数值与解析方法，可确立非-AMO型势函数下李雅普诺夫指数的正性。

提出的方法

• 作者分析薛定谔cocycle $ (\alpha, B^E) $ 的复化李雅普诺夫指数 $ L(\epsilon; E) $，通过将势函数 $ v(x) $ 解析延拓至复带域。
• 应用赫尔曼对李雅普诺夫指数的下界估计，表达为 $ L(\epsilon; E) \geq \log|\lambda_M| + 2\pi\epsilon M $，其中 $ \lambda_M $ 为最高阶傅里叶系数，$ M $ 为三角多项式中的项数。
• 关键步骤包括估计 $ |v(x + i\epsilon)| $ 在 $ x \in \mathbb{T} $ 上的下确界，记为 $ \widetilde{m}(\epsilon; E) $，以确保其超过应用赫尔曼界所需的阈值。
• 该方法利用复平面上的根定位技术计算谱半径 $ \gamma $，定义为 $ \gamma = -\log|z_0| - \log 2 $，其中 $ z_0 $ 为单位圆内唯一的根。
• 通过数值计算得到统一的赫尔曼半径 $ \epsilon_{H;\text{unif}} $，从而在谱上获得李雅普诺夫指数的统一下界。
• 使用 Mathematica 对特定势函数 $ v(x) = 18\cos(2\pi x) + 1.6\cos(4\pi x) $ 进行数值验证，确认在 $ E \in [-21.6, 21.6] $ 范围内 $ L(0; E) > 0 $。

实验结果

研究问题

• RQ1 能否在非几乎马蒂厄算子（non-AMO）的更一般三角多项式势下，建立准周期薛定谔算子的亚临界行为？
• RQ2 李雅普诺夫指数的正性（蕴含纯绝对连续谱）是否可由基于复化势函数增长与赫尔曼界的判据所导出？
• RQ3 能否通过数值方法计算统一赫尔曼半径，以在谱上获得李雅普诺夫指数的统一下界？
• RQ4 关联的洛朗多项式根的分布如何与谱半径及李雅普诺夫指数相关？

主要发现

• 对于势函数 $ v(x) = 18\cos(2\pi x) + 1.6\cos(4\pi x) $，在 $ E = -2 $ 处李雅普诺夫指数满足 $ L(0; E) \geq 0.727 > 0 $，确认了亚临界行为。
• 统一赫尔曼半径经数值计算为 $ \epsilon_{H;\text{unif}} = 0.4142 $，从而在谱上获得李雅普诺夫指数的统一下界。
• 谱半径 $ \gamma $ 计算为 $ \gamma = 0.458 $，由单位圆内唯一的根 $ z_0 = -0.3161 $ 推导得出。
• 复化势函数模长满足 $ \min_{x \in \mathbb{T}} |v(x + i0.2)| \approx 24.242 > 23.6 = 4 + 2\lambda_1 + 2\lambda_2 $，验证了判据的适用性。
• 下界 $ L(0; E) \geq \log|\lambda_2| + \gamma \frac{\epsilon_{H;\text{unif}}}{\epsilon_{H;\text{unif}} - \epsilon_1} $ 推出 $ L^{-}(E) > 0 $ 对所有 $ E \in [-21.6, 21.6] $ 成立，确认了李雅普诺夫指数的正性。
• 证明表明，对任意无理频率 $ \alpha $，当李雅普诺夫指数为正时，所有相位下谱均为纯绝对连续，将阿维拉的理论推广至几乎马蒂厄算子之外。