[论文解读] On the spectrum of Jacobi operators with quasi-periodic algebro-geometric coefficients

Vladimir Batchenko, Fritz Gesztesy|ArXiv.org|Jun 8, 2005

Nonlinear Waves and Solitons参考文献 28被引用 5

一句话总结

本文通过证明谱集与条件稳定性集一致，即通过涉及格林函数的比值对数的平均值来显式描述，从而表征了一维雅可比算子在准周期复代数几何系数下的谱。谱由复平面上有限条解析弧组成，允许交叉与合并，解决了在托达层次结构背景下非自伴雅可比算子谱理论中长期存在的开放问题。

ABSTRACT

We characterize the spectrum of one-dimensional Jacobi operators H=aS^{+}+a^{-}S^{-}+b in l^{2}(\Z) with quasi-periodic complex-valued algebro-geometric coefficients (which satisfy one (and hence infinitely many) equation(s) of the stationary Toda hierarchy) associated with nonsingular hyperelliptic curves. The spectrum of H coincides with the conditional stability set of H and can explicitly be described in terms of the mean value of the Green's function of H. As a result, the spectrum of H consists of finitely many simple analytic arcs in the complex plane. Crossings as well as confluences of spectral arcs are possible and discussed as well.

研究动机与目标

• 解决在托达层次结构背景下，非自伴雅可比算子在准周期复值系数下谱表征的长期开放问题。
• 建立谱集与条件稳定性集一致，后者由对角格林函数表达式对数比值的平均值实部条件定义。
• 证明谱集为纯连续谱，无点谱或残余谱，且谱集有界并包含于复平面中。
• 以谱曲线判别式 $ R_{2p+2}(z)^{1/2} $ 和多项式 $ G_{p+1}(z,n) $ 的比值对数的平均值，显式描述谱集。

提出的方法

• 作者定义格林函数 $ G(z,n,n') = (H - z)^{-1}(n,n') $ 及其对角形式 $ g(z,n) $，后者表示为关于 $ z $ 的 $ p $ 次多项式除以 $ R_{2p+2}(z)^{1/2} $。
• 通过条件 $ \operatorname{Re}\left( \left\langle \ln\left( \frac{G_{p+1}(\lambda,\cdot) - y}{G_{p+1}(\lambda,\cdot) + y} \right) \right\rangle \right) = 0 $ 定义集合 $ \Sigma $，其中 $ y^2 = R_{2p+2}(z) $，并证明该集合等于谱集。
• 该方法依赖于来自静止托达层次结构的系数 $ a(n) $ 和 $ b(n) $ 的雅可比函数表示，与亏格为 $ p $ 的非奇异双阿贝尔曲线相关。
• 利用几乎周期序列的平均值 $ \langle \cdot \rangle $ 分析谱集，关键洞见在于谱集对应于存在有界解 $ \psi $ 满足 $ H\psi = \lambda\psi $ 的 $ \lambda \in \mathbb{C} $。
• 证明利用了对角格林函数 $ g(z,n) $ 的平均值 $ \langle g(z,\cdot) \rangle $ 可表示为 $ p $ 次多项式除以 $ R_{2p+2}(z)^{1/2} $，从而有助于刻画谱弧。
• 作者采用黎曼theta函数及双阿贝尔曲线 $ y^2 = R_{2p+2}(z) $ 上的第三类正规微分，并利用周期矩阵与同调基，以确保系数和谱集的准周期性。

实验结果

研究问题

• RQ1 满足静止托达层次结构的雅可比算子在准周期复代数几何系数下的谱结构是什么？
• RQ2 谱集与通过格林函数表达式对数比值的平均值定义的条件稳定性集有何关系？
• RQ3 谱集能否以谱曲线 $ R_{2p+2}(z) $ 和多项式 $ G_{p+1}(z,n) $ 显式描述？其在复平面上的几何形式如何？
• RQ4 在非自伴情形下，谱集是否仍为纯连续谱？是否存在本征求解或残余谱？
• RQ5 谱集由有限条解析弧构成的条件是什么？交叉或合并现象如何产生？

主要发现

• 雅可比算子 $ H = aS^+ + a^-S^- + b $ 在准周期复代数几何系数下的谱 $ \sigma(H) $ 为纯连续谱，无点谱或残余谱：$ \sigma_p(H) = \sigma_r(H) = \emptyset $。
• 谱集与由 $ \operatorname{Re}\left( \left\langle \ln\left( \frac{G_{p+1}(\lambda,\cdot) - y}{G_{p+1}(\lambda,\cdot) + y} \right) \right\rangle \right) = 0 $ 定义的集合 $ \Sigma $ 一致，其中 $ y^2 = R_{2p+2}(z) $。
• 谱集有界，且由复平面上有限条解析弧组成，允许出现交叉与合并。
• 谱集等价于条件稳定性集：$ \sigma(H) = \{ \lambda \in \mathbb{C} \mid \exists \, 0 \neq \psi \in \ell^\infty(\mathbb{Z}) \text{ 使得 } H\psi = \lambda\psi \} $。
• 对角格林函数的平均值 $ \langle g(z,\cdot) \rangle $ 为 $ \frac{\prod_{j=1}^p (z - \widetilde{\lambda}_j)}{R_{2p+2}(z)^{1/2}} $，其中 $ \{\widetilde{\lambda}_j\}_{j=1}^p \subset \mathbb{C} $ 为常数。
• 谱曲线 $ R_{2p+2}(z) = \prod_{m=0}^{2p+1} (z - E_m) $ 具有互异的根 $ \{E_m\}_{m=0}^{2p+1} \subset \mathbb{C} $，且谱集位于复平面的有界区域内。