[论文解读] Optimality of log Hölder continuity of the integrated density of states

Zheng Gan, Helge Krueger|ArXiv.org|Jun 17, 2009

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

一句话总结

本文证明了在一维薛定谔算符的极限周期势下，积分态密度（IDS）的对数赫尔德连续性界限是最优的。通过构造一系列周期势，其谱测度在测度上收缩，同时保持对IDS跳跃的控制，作者表明，即使在几乎周期系统中，该对数赫尔德界也无法改进，从而证明了在一般遍历设置下，Craig–Simon估计的尖锐性。

ABSTRACT

We construct examples, that log Hölder continuity of the integrated density of states cannot be improved. Our examples are limit-periodic.

研究动机与目标

• 建立遍历薛定谔算符中积分态密度（IDS）的对数赫尔德连续性界限的尖锐性。
• 证明Craig–Simon估计（给出对数赫尔德型界限）在一般遍历系统中无法改进。
• 构造显式例子——具体而言是极限周期势——其中IDS表现出与对数赫尔德界限一致的可能最大奇异性。
• 证明对于任意给定的连续递增函数φ(x) → 0（当x → 0时），存在一个极限周期势，使得IDS不满足更强的连续性条件。

提出的方法

• 通过归纳法构造一系列周期势V_j，每个具有递增的周期p_j和递减的谱测度ε_j = |σ(Δ + V_j)|。
• 每个V_j均利用Avila在康托尔群动力系统上的工具构建，通过平均技术确保对李雅普诺夫指数和谱测度的控制。
• 关键步骤使用Avila的引理2.2，生成一个新的周期势f̃，其周期任意大，且谱测度|Σ(f̃)| < exp(−δp̃/2)，其中δ依赖于前一个势的李雅普诺夫指数。
• 构造确保‖V_j − V_{j−1}‖_∞ ≤ min(ε, ε_1, ..., ε_{j−1}) / 2^j，从而保证收敛到一个极限周期势V。
• 在能量E_0处，IDS跳跃的下界为1/(2p_j)，而|E_0 − E_j| ≤ 2ε_j，由此导出比值|k(E) − k(E_0)| log(|E − E_0|^{-1}) / φ(|E − E_0|)的下界。
• 最终结果通过证明该比值在j → ∞时发散得出，从而证明1/log(ε^{-1})的衰减速度无法更快。

实验结果

研究问题

• RQ1 IDS的对数赫尔德连续性界限是否可以改进为C / log(|E − E_0|^{-1})的形式？
• RQ2 是否存在一个极限周期势，使得IDS不满足形如C φ(|E − E_0|) / log(|E − E_0|^{-1})的更强连续性条件，其中φ(x) → 0（当x → 0时）？
• RQ3 Craig–Simon估计是否代表了一般遍历薛定谔算符中IDS最优可能的正则性？
• RQ4 能否使周期势的谱测度足够快地收缩，以迫使IDS违反任何更强的连续性假设？

主要发现

• 对于任意满足lim_{x→0} φ(x) = 0的连续递增函数φ: ℝ⁺ → ℝ⁺，以及任意C₀ > 0，存在一个极限周期势V，满足‖V‖_∞ ≤ C₀，使得IDS不满足更强的连续性界限。
• 在谱中每个能量E₀处，比值|k(E) − k(E₀)| log(|E − E₀|^{-1}) / φ(|E − E₀|)的上极限发散，证明了对数赫尔德界限的最优性。
• 所构造的势V是周期势的一致极限，确认该例子属于极限周期算符类。
• 第j个逼近周期势的谱测度ε_j = |σ(Δ + V_j)|满足log(ε_j^{-1}) ≥ p_{j−1} p_j φ(2ε_j)，这确保了关键估计中比值的发散。
• 该方法构造了一组周期势序列，其与前一个势的ℓ^∞-距离递减，且谱测度迅速缩小，使得IDS表现出可能的最大奇异性。
• 结果表明，即使在极限周期势类中，Craig–Simon估计也无法改进，从而解决了关于该界限尖锐性长期存在的疑问。