[论文解读] Jost Functions and Jost Solutions for Jacobi Matrices, II. Decay and Analyticity

David Damanik, Barry Simon|arXiv (Cornell University)|Feb 23, 2005

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

一句话总结

该论文通过Jost函数的解析性与衰减性质，建立了雅可比矩阵参数呈现指数衰减的必要与充分条件。证明了Jost函数在半径R > 1的圆盘内解析，恰好对应于雅可比参数以R⁻¹速率的指数衰减，将正交多项式在单位圆上的经典结果推广至雅可比矩阵情形。

ABSTRACT

We present necessary and sufficient conditions on the Jost function for the corresponding Jacobi parameters $a_n -1$ and $b_n$ to have a given degree of exponential decay.

研究动机与目标

• 以谱数据表征雅可比矩阵参数 $ a_n - 1 $ 和 $ b_n $ 的指数衰减速率。
• 将单位圆上正交多项式的Nevai-Totik定理推广至实轴上正交多项式（OPRL）的情形。
• 建立递推系数衰减与Jost函数解析性之间的谱论等价关系。
• 通过Jost函数的零点集与单位圆内解析域，对指数衰减给出完整表征。
• 通过将Jost函数的行为与 $ a_n $ 和 $ b_n $ 的衰减相联系，解决具有有限奇异谱的雅可比矩阵的逆问题。

提出的方法

• 通过Weyl-Titchmarsh $ m $-函数与谱测度 $ d\tilde{\gamma} $ 定义Jost函数 $ u(z) $，利用关系式 $ |u(e^{i\theta})|^2 \operatorname{Im}M(e^{i\theta}) = \sin\theta $。
• 使用变换 $ M(z) = -m(z + z^{-1}) $，将谱数据从实轴映射至单位圆盘。
• 将Jost解 $ u_n(z;J) $ 构造为雅可比递推的Weyl解，归一化使其在无穷远处表现如 $ z^n $。
• 建立Weyl公式 $ R_{11}(z) = u_1(z;J)/u_0(z;J) $，将预解式与Jost函数联系起来。
• 证明 $ u(z) $ 在 $ \mathbb{D} $ 内解析，且在对应于矩阵 $ J $ 的特征值处恰好为零，且为单零点。
• 利用函数方程 $ u_1(z)u_0(z^{-1}) - u_1(z^{-1})u_0(z) = z - z^{-1} $ 推导边界行为及在 $ \partial\mathbb{D} \setminus \{\pm1\} $ 上的非零条件。

实验结果

研究问题

• RQ1 Jost函数的何种条件可确保雅可比参数 $ a_n - 1 $ 和 $ b_n $ 呈指数衰减？
• RQ2 Jost函数的解析域如何与雅可比参数的衰减速率相关联？
• RQ3 能否通过Jost函数的解析性与零点结构求解具有有限奇异谱的雅可比矩阵的逆问题？
• RQ4 谱测度的正则性与Jost函数的衰减及解析性之间存在何种精确对应关系？
• RQ5 在何种条件下，Jost函数能唯一确定雅可比参数（至指数衰减）？

主要发现

• 当且仅当 $ \limsup_{n \to \infty} |a_n - 1|^{1/n} \leq R^{-1} $ 且 $ \limsup_{n \to \infty} |b_n|^{1/n} \leq R^{-1} $ 时，Jost函数 $ u(z) $ 在 $ \{ z \mid |z| < R \} $ 内解析。
• 雅可比参数以速率 $ R^{-1} $ 指数衰减，当且仅当Jost函数在圆盘 $ |z| < R $ 内解析。
• 当且仅当 $ z_j + z_j^{-1} $ 是雅可比矩阵 $ J $ 的特征值时，Jost函数在 $ z_j \in \mathbb{D} $ 处具有单零点。
• 谱测度 $ d\gamma $ 由Jost函数及约束条件 $ \sum_j w_j + 2\int_0^\pi \frac{\sin^2\theta}{|u(e^{i\theta})|^2} d\theta = 1 $ 唯一确定（至多有限个点质量）。
• Jost函数在 $ \partial\mathbb{D} $ 上满足函数方程 $ u_1(z)u_0(z^{-1}) - u_1(z^{-1})u_0(z) = z - z^{-1} $，确保Wronskian非退化。
• 若 $ u(z_0; J) = 0 $ 且 $ R^{-1} < |z_0| < 1 $，则 $ u(z_0^{-1}; J) \neq 0 $，确保谱数据中特征值不被重复计数。