[论文解读] Counting eigenvalues of Schrödinger operator with complex fast decreasing potential

Alexander Borichev, Rupert L. Frank+1 more|arXiv (Cornell University)|Nov 14, 2018

Spectral Theory in Mathematical Physics参考文献 17被引用 6

一句话总结

本文通过分析解析函数在Gevrey类中的零点，建立了离散Schrödinger算子在快速衰减复势场下特征值数量的精确定量界。利用复分析与拟解析性技术，推导出以势场衰减速率参数表示的特征值计数显式上界，解决了非自伴谱理论中长期存在的开放问题。

ABSTRACT

We give a sharp estimate of the number of zeros of analytic functions in the unit disc belonging to analytic quasianalytic Carleman--Gevrey classes. As an application, we estimate the number of the eigenvalues for discrete Schrödinger operators with rapidly decreasing complex-valued potentials, and, more generally, for non-symmetric Jacobi matrices.

研究动机与目标

• 为Pavlov关于复势场衰减如$ e^{-c|x|^{1/2}} $的Schrödinger算子仅有有限个特征值的定性结果提供定量版本。
• 建立属于拟解析Carleman–Gevrey类的单位圆内解析函数的零点数量的精确上界。
• 将这些零点计数估计应用于离散Schrödinger算子和快速衰减复势场的非对称Jacobi矩阵，获得显式、定量的特征值数量界。
• 弥合非自伴谱理论中定性谱结果与定量估计之间的鸿沟，该领域变分法失效。

提出的方法

• 作者分析单位圆内泰勒系数快速衰减的解析函数，具体为由$ |φ(n)| \leq e^{-a n^{(1+\beta)/(2+\beta)}} $定义的Gevrey型类。
• 使用$ \bar{\partial} $-延拓技术，将此类函数从单位圆延拓至更大的圆$ \mathbb{D}(2) $，同时保持对$ \bar{\partial} $-导数的控制。
• 通过单位分解与尾部级数分解构造延拓，确保$ \bar{\partial}f(z) \leq d_f' \rho_\beta(d_f(|z|-1)) $，其中$ \rho_\beta(x) = e^{-1/x^{1+\beta}} $。
• 应用Green公式，通过涉及$ \bar{\partial} $-导数的积分表示恢复延拓函数，从而借助复分析估计实现零点计数。
• 也解决了逆问题：若给定此类$ \bar{\partial} $-界，则原泰勒系数满足所需的Gevrey衰减。
• 随后将这些结果应用于特征值计数问题，通过将特征值识别为与Jacobi矩阵相关的行列式型解析函数的零点。

实验结果

研究问题

• RQ1 能否为衰减如$ e^{-c|x|^{1/2}} $的非自伴Schrödinger算子的特征值数量获得显式定量上界？
• RQ2 在势场界$ |V(x)| \leq C_1 e^{-c_2 |x|^{1/2}} $下，特征值计数对衰减速率参数$ C_1 $和$ c_2 $的精确依赖关系为何？
• RQ3 当解析延拓不可用时，如何对Gevrey类中解析函数的零点数量进行界定？
• RQ4 所提出的特征值计数界在重要特例中是否近乎最优？

主要发现

• 属于Carleman–Gevrey类且定义在单位圆内的解析函数的零点数量受$ C \cdot d_f^{-\frac{1+\beta}{2+\beta}} $控制，其中$ d_f $控制$ \bar{\partial} $-导数的衰减。
• 对于满足$ |V(x)| \leq C_1 e^{-c_2 |x|^{1/2}} $的离散Schrödinger算子，其特征值数量的界已显式地以$ C_1 $和$ c_2 $表示，解决了50年前的开放问题。
• 该方法在重要特例中得到近乎最优的界，表明估计仅相差对数或常数因子。
• $ \bar{\partial} $-延拓技术允许以原函数衰减形式控制$ \bar{\partial} $-导数，从而可构造具有紧支集且导数受控的函数。
• 逆估计表明，若$ \bar{\partial}f $衰减如$ \rho_\beta(d_f(|z|-1)) $，则$ f $的泰勒系数满足所需的Gevrey型衰减。
• 结果可推广至非对称Jacobi矩阵，并预期可进一步推广至连续、多维Schrödinger算子。