[论文解读] On the Measure of the Absolutely Continuous Spectrum for Jacobi Matrices

Mira Shamis, Sasha Sodin|arXiv (Cornell University)|Jul 28, 2010

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

一句话总结

本文应用经典逼近理论——特别是切比雪夫多项式极值性质——推导出雅可比矩阵绝对连续谱测度的精确上界。它推广了Deift–Simon微分不等式，并给出了一项改进的估计，该估计考虑了对角线元素 $b(n)$ 的取值分布，表明当 $b(n)$ 远离给定区间时，谱测度趋于零。

ABSTRACT

We apply the methods of classical approximation theory (extreme properties of polynomials) to study the essential support $Σ_{ac}$ of the absolutely continuous spectrum of Jacobi matrices. First, we prove an upper bound on the measure of $Σ_{ac}$ which takes into account the value distribution of the diagonal elements, and implies the bound due to Deift-Simon and Poltoratski-Remling. Second, we generalise the differential inequality of Deift-Simon for the integrated density of states associated with the absolutely continuous spectrum to general Jacobi matrices.

研究动机与目标

• 将Deift–Simon关于积分密度的微分不等式推广至更一般的雅可比矩阵，而不仅限于遍历薛定谔算子。
• 推导出绝对连续谱测度 $\Sigma_{\text{ac}}$ 的新上界，该上界结合了对角序列 $b(n)$ 的取值分布。
• 证明当 $b(n)$ 远离给定区间时，$\Sigma_{\text{ac}}$ 与该区间的交集测度趋于零。
• 通过极值多项式理论，统一并推广了Deift–Simon与Poltoratski–Remling的先前结果。
• 建立关于几何平均 $A_n = (a(1)\cdots a(n))^{1/n}$ 和 $b(n)$ 到区间的距离的 $|\Sigma_{\text{ac}} \cap (E_L, E_R)|$ 的定量估计。

提出的方法

• 利用Pólya不等式和切比雪夫多项式的极值性质，界定绝对连续谱本质支撑集的测度。
• 引入指标集 $I_n$，其中 $b(j)$ 位于区间 $(E_L, E_R)$ 的邻域内，并在 $I_n$ 外定义乘积 $D_n$，以惩罚 $b(j)$ 远离区间的情况。
• 应用Khan–Pearson定理和Egoroff定理，控制谱集上判别式 $\Delta_{n_i}$ 的 $L^1$-范数，确保归一化范数的收敛性。
• 利用Szegö定理研究极值多项式零点分布的渐近性质，将 $\Delta_{n_i}$ 的零点分布与切比雪夫多项式的零点分布关联起来。
• 通过切比雪夫多项式的极值性，建立雅可比矩阵谱测度与判别式有界区间测度之间的比较关系。
• 通过分析 $\Delta_{n_i}$ 的渐近行为及其归一化增长率 $A_{-} = \liminf A_{n_i}$，推导出积分密度的微分不等式。

实验结果

研究问题

• RQ1 如何利用经典逼近理论来改进雅可比矩阵绝对连续谱测度的界？
• RQ2 $|\Sigma_{\text{ac}} \cap (E_L, E_R)|$ 对对角线元素 $b(n)$ 分布的精确依赖关系是什么？
• RQ3 在何种条件下，$\Sigma_{\text{ac}}$ 与给定区间的交集测度趋于零？
• RQ4 Deift–Simon微分不等式能否推广至非遍历雅可比矩阵，而不仅限于遍历薛定谔算子？
• RQ5 几何平均 $A_n = (a(1)\cdots a(n))^{1/n}$ 如何影响谱测度？能否利用此关系改进现有界？

主要发现

• 本文建立了新的上界：$|\Sigma_{\text{ac}}(J(a,b)) \cap (E_L, E_R)| \leq 4 \liminf_{n\to\infty} \left[ \frac{A_n^n}{D_n} \right]^{1/\#I_n}$，其中 $D_n$ 依赖于 $b(j)$ 到 $(E_L, E_R)$ 的距离。
• 当所有 $b(j)$ 位于 $(E_L, E_R)$ 的邻域内时，该上界退化为 $4 \liminf A_n$，恢复了Poltoratski–Remling的界。
• 若 $\liminf \#I_n / n = 0$，则 $|\Sigma_{\text{ac}} \cap (E_L, E_R)| = 0$，意味着谱在该区间内测度为零。
• 对于周期性 $a(n) \equiv 1$，$b(n)$ 取值 $0$ 和 $R \geq 5$ 的情形，$\Sigma_{\text{ac}} \cap (-2,2)$ 的测度被限制为 $4 / (R-4)^{\ell/m}$，当 $R \to \infty$ 时趋于零。
• 通过极值多项式技术，将绝对连续谱上 a.e. $E$ 满足的微分不等式 $2\pi \sin(\pi k(E)) \frac{dk}{dE} \geq 1$ 推广至非遍历雅可比矩阵。
• 证明了判别式 $\Delta_{n_i}$ 的渐近零点分布与适当缩放的切比雪夫多项式一致，从而实现了谱测度的精确估计。