[论文解读] Necessary and Sufficient Conditions in the Spectral Theory of Jacobi Matrices and Schrödinger Operators

David Damanik, Rowan Killip+1 more|arXiv (Cornell University)|Sep 12, 2003

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

一句话总结

本文建立了谱理论中三个核心问题的必要且充分条件：(1) 刻画具有 L² 电势的薛定谔算子的谱测度；(2) 确定实轴上正交多项式何时表现出 Szegö 渐近性；(3) 识别雅可比矩阵参数何时指数衰减。关键贡献是通过 Jost 函数的解析性与规范权重，建立了谱数据与动力参数之间完全的一一对应关系，解决了雅可比矩阵与具有 L² 电势的薛定谔算子在反谱理论中的长期悬而未决问题。

ABSTRACT

We announce three results in the theory of Jacobi matrices and Schrödinger operators. First, we give necessary and sufficient conditions for a measure to be the spectral measure of a Schrödinger operator $-\f{d^2}{dx^2} +V(x)$ on $L^2 (0,\infty)$ with $V\in L^2 (0,\infty)$ and $u(0)=0$ boundary condition. Second, we give necessary and sufficient conditions on the Jacobi parameters for the associated orthogonal polynomials to have Szegő asymptotics. Finally, we provide necessary and sufficient conditions on a measure to be the spectral measure of a Jacobi matrix with exponential decay at a given rate.

研究动机与目标

• 建立具有 L² 电势的薛定谔算子的谱测度与参数之间完全的一一对应关系。
• 仅使用谱数据与参数数据，解决长期悬而未决的关于实轴上正交多项式何时表现出 Szegö 渐近性的刻画问题。
• 为雅可比矩阵参数指数衰减提供必要且充分条件，将衰减速率与 Jost 函数的解析性性质联系起来。
• 通过引入规范权重与 Jost 函数的归一化，统一并推广先前在反谱理论中的结果，适用于 L² 与指数衰减情形。

提出的方法

• 从雅可比矩阵的预解式定义 M-函数 M(z) = -m(z + z^{-1})，并将其与 Jost 函数 u(z) 关联。
• 利用 Jost 函数 u(z) 刻画谱数据：在 |z| < R 内解析，且在单位圆盘内的极点处具有规范权重，可确定参数的指数衰减。
• 通过归一化的 Blaschke 乘积与 Poisson-Fatou 表示，建立 Szegö 渐近性与存在一个 Jost 解使得 lim z^{-n}u_n(z) 非零且有限之间的等价性。
• 应用非局部的逐步求和规则与扰动行列式，控制 Jost 函数及其导数的衰减。
• 使用扰动行列式 L(z) = u(z)/u(0) 刻画自由雅可比矩阵 J0 的有限秩扰动。
• 证明 |a_n - 1| + |b_n| 的指数衰减当且仅当 M(z) 在 |z| < R 内亚纯，具有单位圆盘内的单实极点，且 u(z) 在 |z| < R 内解析，且在 D 内极点处具有规范权重。

实验结果

研究问题

• RQ1 何种关于测度 dρ 的必要且充分条件可确保其为 (0, ∞) 上具有 L² 电势与狄利克雷边界条件的薛定谔算子的谱测度？
• RQ2 在何种条件下，雅可比参数 (a_n, b_n) 对应的正交多项式表现出 Szegö 渐近性？这一条件能否完全通过谱数据刻画？
• RQ3 何种关于谱测度 dµ 的条件可确保雅可比参数 (a_n, b_n) 以给定速率 R > 1 指数衰减？
• RQ4 Jost 函数如何用于刻画雅可比矩阵设定下参数的指数衰减与有限秩扰动？

主要发现

• 谱测度 dρ 来源于具有 V ∈ L²(0, ∞) 与狄利克雷边界条件的薛定谔算子，当且仅当变换后的测度 ˜σ 满足一个涉及与自由情形差值的特定积分条件，且 Weyl m-函数 m(z) 的边界值可生成 dρ。
• Szegö 渐近性 lim_{n→∞} z^n p_n(z + z^{-1}) → 非零极限成立，当且仅当乘积 ∏_{j=1}^n a_j 远离零，参数 (a_n, b_n) 属于 l^2，且谱测度的绝对连续部分 f(E) 满足 ∫_{-2}^2 log f(E)/√(4-E^2) dE > -∞。
• 对于以速率 R > 1 的指数衰减，必要且充分条件是 M-函数 M(z) 在 |z| < R 内亚纯，具有单位圆盘内的单实极点，且 Jost 函数 u(z) 在 |z| < R 内解析，且在 D 内极点处具有规范权重。
• Jost 函数 u(z) 在 |z| < R 内解析，当且仅当参数满足 lim sup (|a_n - 1| + |b_n|)^{1/n} ≤ R^{-1}，且规范权重条件确保扰动行列式正确的归一化。
• 对于有限秩扰动（J - J_0 为有限秩），Jost 函数 u(z) 必须为多项式，M-函数 M(z) 必须为在闭单位圆盘内具有单实极点的有理函数，且在每个 D 内的极点处必须满足规范权重条件。
• 扰动行列式 L(z) = u(z)/u(0) 是一个满足 L(0) = 1 的多项式，实轴上取实值，且所有零点位于单位圆周或实轴上，这唯一地刻画了有限秩扰动。