Optimal bounds for embedded eigenvalues of one-dimensional discrete Schrödinger operators with decaying potentials

技术摘要：具有衰减势的一维离散薛定谔算子嵌入特征值的最优界限

问题陈述
本文研究了作用在 $\ell^2(\mathbb{N})$ 上的单维离散薛定谔算子 $H = \Delta + V$ 的谱性质，其中 $\Delta$ 是离散拉普拉斯算子，$V$ 是在临界库仑尺度下衰减的实值势，即 $V(n) = O(1/(1+n))$。核心问题是确定控制嵌入在本质谱 $[-2, 2]$ 内部的特征值存在的锐利渐近常数 $C(E)$。

对于给定的能量 $E = 2\cos(\pi k)$，其中 $k \in (0, 1)$，作者寻求临界阈值 $C(k)$，使得：

1. 若 $\limsup_{n\to\infty} |nV(n)| < C(k)$，则 $E$ 不是特征值。
2. 对于任何 $\epsilon > 0$，存在一个势函数满足 $\limsup_{n\to\infty} |nV(n)| < C(k) + \epsilon$，使得 $E$ 是一个特征值。

该问题的连续情形已得到充分理解（对于无理数准动量，临界系数为 $2/\pi$），而离散情形则表现出对 $k$ 的算术性质的复杂依赖。前人的工作已经确立了针对无理数 $k$ 以及分母为偶数的有理数 $k$ 的锐利界限，但对于分母为奇数 $q \ge 3$ 的有理数 $k = p/q$ 的情况，其研究仍处于未解决状态，且已知下界与上界之间存在间隙。

方法论
分析依赖于修正的 Prüfer 变换，该变换将差分方程转化为径向变量（$R(n)$）和角度变量（$\theta(n)$）。嵌入特征值的存在对应于径向解 $R(n) \in \ell^2$ 的平方可和性。

奇分母情形（$q$ 为奇数）的核心难点在于缺乏在偶数情形中可用的“半周期对称性”。在偶数情形中，可以选取使径向衰减最大化的势值来抵消角度漂移，从而使相位锁定在一个最优值。而在奇数情形中，能够改善径向衰减的势值必然会诱导非零的角度漂移，从而阻止相位保持固定。

为了解决这一问题，作者采用了多步方法论：

1. 三角恒等式与补偿： 他们引入了两个三角函数：$P(\phi)$（衡量径向衰减增益）和 $T(\phi)$（衡量角度漂移）。他们建立了一个关键恒等式，将 $P(\phi)$ 相对于锐利常数 $qB_q$ 的过剩量与漂移 $T(\phi)$ 联系起来。这揭示了具有较大径向增益的周期伴随着显著的角度运动，而具有较小增益的周期则具有相反的漂移。
2. 慢变序列的分区： 作者开发了一种新的分区理论，用于处理满足 $x_{n+1} - x_n = O(1/(1+n))$ 的序列。他们将此类序列的分数部分在环面上的累积集分类为四种情况：单个点、一段适当的弧、两个弧的并集（跨越识别点），或整个圆。
3. 动态补偿： 利用这些分区，他们将索引分组到使 Prüfer 角度保持在特定区域的窗口中。对于“全圆”情形（即角度遍历整个定义域的情况），他们将靠近 $\phi$ 和 $1-\phi$ 的索引进行配对。由于 $P$ 的对称性和 $T$ 的反对称性，配对窗口中的径向增益可以与角度漂移相平衡，从而确保总累积衰减不会超过锐利界限。
4. 临界情形构造： 对于存在性部分（证明界限是锐利的），他们利用快速增长的块（blocks）来构造势函数。他们引入了势系数的消失修正项，以确保在块内径向衰减指数略微超过临界值，同时通过足够长的块长使转换误差是可求和的。这需要协调三个尺度：振荡周期、构造块以及全局尺度。

主要贡献与结果

1. 解决奇分母情形： 本文的主要贡献是确定了对于 $q \ge 3$ 为奇数的有理数 $k = p/q$ 的锐利临界系数。作者证明了：
   $$C(k) = \frac{\sin(\pi k)}{B_q}, \quad \text{其中} \quad B_q = \frac{1 + \cos(\frac{\pi}{q})}{q \sin(\frac{\pi}{q})}.$$
   这填补了此前已知下界与上界之间的间隙，用匹配的上界取代了原有的下界。

2. $C(k)$ 的完整表征： 结合先前的研究结果，本文提供了所有 $k \in (0, 1)$ 的完整公式：

   • 无理数 $k$： $C(k) = \frac{\sin(\pi k)}{2/\pi}$。
   • 有理数 $k = p/q$（$q$ 为偶数）： $C(k) = \frac{\sin(\pi k)}{A_q}$，其中 $A_q = \frac{2}{q \sin(\pi/q)}$。
   • 有理数 $k = p/q$（$q$ 为奇数）： $C(k) = \frac{\sin(\pi k)}{B_q}$。

   该公式精确地量化了 $C(k)$ 在有理数准动量处的间断性。当 $k'$ 趋于有理数 $p/q$ 时，$C(k')$ 收敛于 $\sin(\pi k)/A_0$，而该有理数点的值则由 $A_q$（偶 $q$）或 $B_q$（奇 $q$）决定。

3. 临界系数处的锐利性： 本文证明了临界系数不仅是一个非存在性的阈值，而且实际上是可以达到的。对于任何给定的边界条件和任何 $E \in (-2, 2)$，都存在一个势函数 $V$，满足 $\limsup |nV(n)| = C(E)$，使得 $E$ 是一个嵌入特征值。这需要一种精细的构造，使势函数在不超过极限的同时，通过在不断增长的尺度上进行消失修正，来累积足够的衰减。

4. 慢变序列的分区理论： 本文引入了一个关于 $O(1/n)$ 变化序列的严格分区结果。该结果对这类序列在环面 $\mathbb{R}/\mathbb{Z}$ 上的累积行为进行了分类，并为处理离散设定中径向衰减与角度演化之间的相互作用提供了必要的组合框架。

意义
本文声称完成了具有库仑衰减势的一维离散薛定谔算子的最优单特征值系数问题。它解决了奇分母情形下的特定困难，该情形此前因径向衰减与角度运动的耦合而难以处理。通过建立一种“动态补偿原理”，作者证明了锐利常数并非由势函数的逐点优化决定，而是由轨道上径向增益与角度漂移的全局平衡决定的。这项工作统一了跨越无理数与有理数准动量的嵌入特征值的理解，凸显了算术性质在离散谱理论中的深刻作用。