[论文解读] Exactly solvable two-dimensional Schrodinger operators and Laplace transformations

S. P. Novikov, А. П. Веселов|ArXiv.org|Mar 10, 2000

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

一句话总结

本文提出拉普拉斯变换作为离散对称性在拓扑非平凡设置下构造精确可解的二维薛定谔算符的新应用。通过利用这些变换，作者推导出 ℤ 上一类离散薛定谔算符的显式本征值谱和本征函数，揭示当参数 a > 1 或 a < 1 时，λ ∈ [0,1) 范围内具有有限离散谱，其闭式表达式涉及 q-Pochhammer 类乘积和 theta 函数。

ABSTRACT

Different cases of sequences of the Laplace Transformations for the 2D Schrodinger operator in the periodic magnetic field and electric potential are considered. They lead to the exactly solvable operators with nonstandard spectral properties including the double-periodic operators with algebraic Fermi surface known from the periodic soliton theory. Two appendices are added. In the Appendix I (the author - S. Novikov) two discretizations of the 2D operators and Laplace transformations are constructed. In the Appendix II (the authors - S. Novikov and I. Taimanov) some nonstandard 1D discrete operators are constructed with very interesting spectral properties.

研究动机与目标

• 将精确可解薛定谔算符的理论从拓扑平凡情形扩展至包含非平凡拓扑结构的情形。
• 将拉普拉斯变换作为离散对称性应用，以生成新的精确可解二维薛定谔算符类别。
• 确定在整数格点 ℤ 上的一族离散薛定谔算符 L(c,a) 的谱性质——特别是本征值和本征函数。
• 解决先前工作中关于 λ ≥ 1 的谱以及谱生成代数声明有效性的模糊性和错误。
• 建立拉普拉斯变换循环链与离散薛定谔算符谱结构之间的联系，包括通过 theta 函数实现基态的归一化。

提出的方法

• 利用作用于 Lψ = 0 解上的拉普拉斯变换作为离散对称性，生成具有变换后势能的新薛定谔算符 L'。
• 在格点 ℤ 上构造一族参数化为 c 和 a 的离散薛定谔算符 L(c,a)，使用差分算子 Q 和 Q⁺。
• 通过递归应用算子 Q 和 Q⁺ 推导本征值谱和本征函数，给出 ψₙ(k,c,a) 关于 Pₙ(k,c,a) 和 ψ₀ₖ(c,a) 的显式闭式表达式。
• 使用 theta 函数 Θ[u|a] 对连续极限中的基态 ϕ₀(x) 进行归一化，确保 Lϕ₀ = 0 且在 ℝ 上可积。
• 应用超椭圆 theta 函数和黎曼曲面几何理论分析谱曲线 Γ，尤其在有限亏数情形下。
• 通过证明当本征函数呈指数增长时，谱生成代数的断言不成立，纠正 [SVZ] 中的先前声明，并推测 λ ≥ 1 时存在连续谱。

实验结果

研究问题

• RQ1 拉普拉斯变换能否系统地用作离散对称性，在拓扑非平凡设置下生成新的精确可解二维薛定谔算符？
• RQ2 在参数 a > 1 和 a < 1 时，ℤ 上离散薛定谔算符 L(c,a) 的谱结构如何，特别是 [0,1) 范围内的本征值？
• RQ3 算子 Q 和 Q⁺ 的递归作用下，L(c,a) 的本征函数行为如何，能否以闭式表达？
• RQ4 为何 [SVZ] 中关于谱生成代数的断言是错误的？其失效的条件是什么？
• RQ5 希尔伯特空间 L₂(ℤ) 中 λ ≥ 1 的谱性质如何，其与基态行为有何关联？

主要发现

• 当 a > 1 时，L(c,a) 在 L₂(ℤ) 上的谱由本征值 λₙ = 1 − a⁻²ⁿ（n ≥ 0）组成，本征函数为 ψₙ(k,c,a) = Pₙ(k,c,a)ψ₀ₖ(c,a)，其中 Pₙ(k,c,a) = (a⁻²ᵏ − ca²ⁿ⁻²)ⁿ。
• 当 a < 1 时，谱为 λₙ = 1 − a²ⁿ（n ≥ 1），本征函数为 ψₙ(c,a) = Q⁺(c/a²,a)⋯Q⁺(c/a²ⁿ⁻²,a)ψ₁(c/a²ⁿ⁻²,a)，且 ψ₁(c,a) = τψ₀(c/a²,1/a)。
• 连续极限算符在 ℝ 上的基态 ϕ₀(x) 为 ϕ₀(x) = γˣ⁽ˣ⁻¹⁾ᐟ² / Θ[(m+1−2x)lnγ | 2lnγ]，其中 γ = eᵃ 且 a > 0。
• 推测 λ ≥ 1 的谱为连续谱，并填满整个区间 [1, ∞)，与早期认为其具有离散结构的断言相矛盾。
• 本文纠正了 [SVZ] 中的错误，表明当本征函数呈指数增长时，谱生成代数不成立，尤其在 q > 1 时。
• 拉普拉斯变换的循环链 Bα₁⋯Bαₙ 将 L 映射为共轭算符 L′，在 ℝ 上的连续实现中，L′ 与 L 仅相差平移和常数缩放。