[论文解读] On location of discrete spectrum for complex Jacobi matrices

Iryna Egorova, Leonid Golinskiĭ|ArXiv.org|Jun 21, 2004

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

一句话总结

本文建立了复 Jacobi 矩阵在为离散拉普拉斯算子的紧扰动时，其离散谱缺失的充分条件。通过分析积分方程中的 Jost 函数并估计其在单位圆盘内的零点，作者推导出显式的谱包含区域，并证明当某些系数偏差的和以足够快的速度衰减时，离散谱将不存在——具体而言，当 $\sum m d_m < t \approx 0.567$ 或 $\sum d_m$ 相对于 $t$ 足够小时。关键结果是以矩阵元素表示的谱隙条件。

ABSTRACT

We study spectrum inclusion regions for complex Jacobi matrices which are compact perturbations of the discrete laplacian. The condition sufficient for the lack of discrete spectrum for such matrices is given.

研究动机与目标

• 确定复 Jacobi 矩阵的离散谱 $\sigma_d(J)$ 完全消失的条件。
• 利用 Jost 函数及其在单位圆盘内的零点，定位离散谱的位置。
• 为离散拉普拉斯算子的紧扰动建立显式且不含离散谱的谱包含区域。
• 提供矩阵元素的充分条件，以确保在复平面的某些区域内不存在特征值。

提出的方法

• 利用格林核和递推关系，为 Jost 解推导出离散积分方程。
• 引入变换变量 $\tilde{v}_n(z) = v_n z^{-n}$ 以简化积分方程，并分析核 $\tilde{J}(n,m;z)$。
• 利用 $|z| \leq 1$ 和系数偏差衰减性 $d_m = |b_m| + |1 - a_{m-1}c_{m-1}|$，建立 $\tilde{J}(n,m;z)$ 的一致有界性。
• 通过迭代控制和阶乘型估计，证明 Jost 解在 $\mathbb{D}$ 内的收敛性与解析性。
• 应用 Lambert W 函数解 $t \approx 0.567$，推导 Jost 函数 $v_0(z)$ 的无零区域。
• 通过关系 $\lambda = z + z^{-1}$ 将 $\mathbb{D}$ 内 Jost 函数的零点与特征值关联，将谱区域映射到复平面。

实验结果

研究问题

• RQ1 在矩阵元素 $a_n, b_n, c_n$ 满足何种条件时，复 Jacobi 矩阵的离散谱 $\sigma_d(J)$ 完全消失？
• RQ2 如何利用 Jost 函数及其在单位圆盘内的零点集合，定位离散谱的位置？
• RQ3 对偏差 $d_m = |b_m| + |1 - a_{m-1}c_{m-1}|$ 的何种衰减条件可确保 Jost 函数在 $\mathbb{D}$ 的指定区域内无零点？
• RQ4 能否从 Jost 函数的估计中导出显式且不含离散谱的谱包含区域？

主要发现

• 当 $\sum d_m < \infty$ 时，Jost 函数 $v_0(z)$ 在 $\mathbb{D}$ 内解析，在 $\overline{\mathbb{D}} \setminus \{\pm 1\}$ 上连续，且满足估计式 $|v_n - z^n| \leq |z|^n \left\{ \frac{2|z|}{|z^2 - 1|} \sum_{m=n+1}^\infty d_m \right\} \exp\left\{ \frac{2|z|}{|z^2 - 1|} \sum_{m=n+1}^\infty d_m \right\}$。
• 当 $\sum m d_m < \infty$ 时，Jost 函数在 $\overline{\mathbb{D}}$ 上解析且连续，且满足估计式 $|v_n - z^n| \leq |z|^n \left\{ \sum_{m=n+1}^\infty m d_m \right\} \exp\left\{ \sum_{m=n+1}^\infty m d_m \right\}$。
• Jost 函数 $v_0(z)$ 在区域 $\Omega = \{ z \in \mathbb{D} : |z - z^{-1}| > 2t^{-1} \sum d_m \}$ 内无零点，其中 $t \approx 0.567$ 是方程 $t e^t = 1$ 的解。
• 若 $\sum m d_m < t \approx 0.567$，则 $v_0(z)$ 在 $\mathbb{D}$ 内无零点，意味着 $\sigma_d(J) = \emptyset$。
• 离散谱 $\sigma_d(J)$ 包含于 $\{ w : \sqrt{4 - c^2} < |\operatorname{Re} w| < \sqrt{4 + c^2}, \ |\operatorname{Im} w| < c^2/4 \}$，其中 $c = 2t^{-1} \sum d_m < 2$。
• 离散谱 $\sigma_d(J)$ 包含于集合 $\{ z + z^{-1} : z \in \Omega \}$，其中 $\Omega$ 是 Jost 函数的无零区域。