[论文解读] Fine properties of the integrated density of states and a quantitative separation property of the Dirichlet eigenvalues

Michael Goldstein, Wilhelm Schlag|arXiv (Cornell University)|Jan 2, 2005

Spectral Theory in Mathematical Physics参考文献 24被引用 5

一句话总结

该论文为接近三角多项式的解析势能的一维准周期性薛定谔算子的态密度积分（IDS）建立了精确的 Hölder 连续性估计。通过有限体积谱分析与复化相位方法，证明在正 Lyapunov 指数和非逼近频率（Diophantine frequency）条件下，IDS 的 Hölder 指数为 $\frac{1}{2k_0} - \kappa$（对任意 $\kappa > 0$），且几乎处处（a.e.）绝对连续。

ABSTRACT

We develop some non-perturbative methods for studying the IDS in almost Mathieu and related models. Assuming positive Lyapunov exponents, and assuming that the potential function is a trigonometric polynomial of degree k, we show that the Holder exponent of the IDS is almost 1/2k. We also show that this is stable under small perturbations of the potential (e.g., potentials which are close to that of almost Mathieu again give rise to almost 1/2 Holder continuous IDS). Moreover, off a set of Hausdorff dimension zero the IDS is Lipschitz. We further deduce from these properties that the IDS is absolutely continuous for almost every shift angle. The proof is based on large deviation theorems for the entries of the transfer matrices in combination with the avalanche principle for non-unimodular matrices. These two are combined to yield a multiscale approach to counting zeros of determinants which fall into small disks. In addition, we develop a new mechanism of eliminating resonant phases, and use it to obtain lower bounds on the gap between Dirichlet eigenvalues. The latter also uses the exponential localization of the eigenfunctions.

研究动机与目标

• 建立一维差分薛定谔算子在解析势能下态密度积分（IDS）的精细正则性性质。
• 量化在非逼近频率与正 Lyapunov 指数条件下，有限区间上狄利克雷本征值的分离程度。
• 分析特征行列式在复环中的零点分布，以控制谱波动。
• 推导小能量区间内本征值数量的定量界，从而获得 IDS 的正则性估计。
• 证明 IDS 几乎对所有频率 $\omega$ 绝对连续，且 Hölder 连续指数为 $\frac{1}{2k_0} - \kappa$。

提出的方法

• 分析有限区间 $[1,N]$ 上薛定谔算子 $H(x,\omega)$ 的狄利克雷本征值，边界条件为零。
• 使用有限体积谱界：当 $ \eta \asymp N^{-1 + \delta} $ 时，区间 $ (E - \eta, E + \eta) $ 内本征值的平均数量受 $ N \eta^{\frac{1}{2k_0} - \kappa} $ 限制，其中 $ \kappa > 0 $ 任意。
• 通过研究特征行列式 $ f_N(z, \omega, E) $ 在环形区域 $ \mathcal{A}_\rho = \{ z \in \mathbb{C} : 1 - \rho < |z| < 1 + \rho \} $ 中的零点，实施复化相位分析。
• 证明这些零点在 $ \mathcal{A}_\rho $ 中的均衡分布，并表明任意半径为 $ \exp(-(\log N)^A) $ 的圆盘中至多有 $ 2k_0 $ 个零点，其中 $ A \gg 1 $。
• 应用次调和函数技巧与指数衰减估计，控制例外频率与能量集合。
• 通过递归构造嵌套集合 $ \Omega^{(s)} $、$ \mathcal{E}^{(s)} $，并控制其测度与复杂度，以控制谱波动。

实验结果

研究问题

• RQ1 对于接近三角多项式的解析势能的准周期性薛定谔算子，其态密度积分（IDS）的最优 Hölder 正则性为何？
• RQ2 在有限区间上，狄利克雷本征值在能量空间中的分布如何？其最小分离距离是多少？
• RQ3 复化相位分析在控制本征值与谱测度分布中起什么作用？
• RQ4 能否获得小能量区间内本征值数量的定量界，从而推导出 IDS 的正则性？
• RQ5 在何种条件下 IDS 绝对连续？这与 $\omega$ 的非逼近性质有何关联？

主要发现

• 态密度积分 $ \mathcal{N}(E) $ 对任意 $ \kappa > 0 $ 满足 $ \left(\frac{1}{2k_0} - \kappa\right) $-Hölder 连续性，其中 $ k_0 $ 为基底三角多项式的次数。
• 对几乎所有 $ \omega $，IDS 绝对连续，这是有限区间谱界的结果。
• 在 $[1,N]$ 上，区间 $ (E - \eta, E + \eta) $ 内狄利克雷本征值的平均数量受 $ N \eta^{\frac{1}{2k_0} - \kappa} $ 限制，其中 $ \eta \asymp N^{-1 + \delta} $，$ \delta \ll 1 $。
• 对 $ \omega \notin \Omega(\varepsilon) $，有 $ \text{mes}\, \Omega(\varepsilon) < \varepsilon $，且对 $ E \notin \mathcal{E}_\omega(\varepsilon) $，有 $ \text{mes}\, \mathcal{E}_\omega(\varepsilon) < \varepsilon $，当 $ \eta > N^{-1 + b} $，$ b > 0 $ 时，区间 $ (E - \eta, E + \eta) $ 内本征值数量受 $ \exp\left((\log \varepsilon^{-1})^A\right) \eta N $ 限制。
• 对 $ E \notin \mathcal{E}_\omega(\varepsilon) $，有 $ \mathcal{N}(E + \eta) - \mathcal{N}(E - \eta) \leq \exp\left((\log \varepsilon^{-1})^A\right) \eta $，表明在例外集之外具有强正则性。
• 在移除一个微小的例外能量集合后，对任意 $ \delta > 0 $，有限区间 $[0,N]$ 上狄利克雷本征值的分离距离下界为 $ e^{-N^\delta} $。