[论文解读] Hölder continuity of the integrated density of states for quasi-periodic Jacobi operators

Kai Tao, Mircea Voda|arXiv (Cornell University)|Jan 5, 2015

Spectral Theory in Mathematical Physics参考文献 7被引用 4

一句话总结

本论文在频率满足强丢番图条件且李雅普诺夫指数为正的条件下，建立了具有解析系数的准周期 Jacobi 算子的态密度积分函数的 Hölder 连续性。通过多尺度分析和对狄利克雷行列式复分析估计，证明了 Hölder 指数为 $ p = 1/(n_b + 2d_0) $，其中 $ n_b $ 是 $ b $ 的零点个数，$ d_0 $ 是三角多项式 $ a $ 和 $ b $ 的最大次数，在几乎马修伊情形下实现了渐近最优的正则性。

ABSTRACT

We show Hölder continuity for the integrated density of states of a quasi-periodic Jacobi operator with analytic coefficients, in the regime of positive Lyapunov exponent and with a strong Diophantine condition on the frequency. In particular, when the coefficients are trigonometric polynomials we express the Hölder exponent in terms of the degrees of the coefficients.

研究动机与目标

• 建立具有解析系数的准周期 Jacobi 算子的态密度积分函数（IDS）的 Hölder 连续性。
• 将 Goldstein 和 Schlag 对薛定谔算子的结果推广到非恒定 $ b $ 的更一般的 Jacobi 算子情形。
• 解决由于次对角系数 $ b $ 的零点引起的奇点问题，这些奇点会破坏解析结构。
• 在正李雅普诺夫指数情形下，以 $ a $ 和 $ b $ 的次数以及 $ b $ 的零点个数为参数，推导出显式的 Hölder 指数。
• 涵盖 Aubry 对偶性无法适用的情形，如具有任意耦合常数的扩展哈珀模型。

提出的方法

• 利用多尺度分析，通过在复平面圆盘内计数狄利克雷行列式的零点，来估计小区间内的本征值个数。
• 使用复分析技术，包括 Cartan 估计和次调和函数的大偏差估计，以控制特征多项式零点的分布。
• 将转移矩阵形式化推广到实轴的复邻域，以分析实轴外的李雅普诺夫指数和谱数据。
• 应用 Jensen 平均值和对行列式增长的精细估计，以界定谱窗内本征值的个数。
• 引入参数 $ \rho_0 \gg 1/N $ 以平衡误差项并优化 Hölder 指数。
• 利用 $ \omega $ 的强丢番图条件，确保李雅普诺夫指数的统一下界和谱估计的稳定性。

实验结果

研究问题

• RQ1 具有解析系数和正李雅普诺夫指数的准周期 Jacobi 算子的态密度积分函数的最优 Hölder 指数是什么？
• RQ2 次对角系数 $ b $ 的零点如何影响 IDS 的正则性？
• RQ3 Goldstein 和 Schlag 的方法能否从薛定谔情形（$ b=1 $）推广到具有解析 $ b $ 的一般 Jacobi 算子？
• RQ4 在该类算子中，Hölder 指数 $ 1/(n_b + 2d_0) $ 是否最优，特别是在几乎马修伊情形下？
• RQ5 在正李雅普诺夫指数情形下缺乏 Aubry 对偶性的扩展哈珀模型，能否通过此方法进行分析？

主要发现

• 在 $ \omega $ 满足强丢番图条件且李雅普诺夫指数为正的条件下，态密度积分函数具有指数 $ p = 1/(n_b + 2d_0) $ 的 Hölder 连续性，其中 $ n_b $ 是 $ b $ 的零点个数，$ d_0 = \max(d_a, d_b) $。
• 在几乎马修伊算子情形下，Hölder 指数为 $ 1/2 - \varepsilon $，当真实指数已知为 $ 1/2 $ 时，此结果为渐近最优。
• 该方法在几乎马修伊情形下实现了最优正则性，与 Avila 和 Jitomirskaya 的已知尖锐结果一致。
• 扩展哈珀模型被该框架涵盖，即使在 Aubry 对偶性失效时，也因直接的解析方法避免了对偶性依赖。
• 谱窗大小为 $ 2\eta $ 时，本征值个数的上界为 $ \lesssim N\eta^{p-\varepsilon} $，对所有 $ x \in \mathbb{T} $ 一致成立，其中 $ (1/N)^{1/p} \ll \eta \leq 1/N $。
• 通过控制小圆盘内特征多项式零点分布的复分析多尺度方案，建立了 IDS 的 Hölder 连续性。