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

技術要約：減衰ポテンシャルを持つ一次元離散シュレディンガー作用素の埋め込み固有値に関する最適境界

問題設定
本論文は、離散ラプラシアン $\Delta$ と、臨界クーロンスケール $V(n) = O(1/(1+n))$ で減衰する実数値ポテンシャル $V$ からなる、$\ell^2(\mathbb{N})$ 上で作用する一次元離散シュレディンガー作用素 $H = \Delta + V$ のスペクトル特性を調査している。中心となる問題は、本質スペクトル $[-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$ のケースは未解決のままであり、既知の下界と上界の間にギャップが存在していた。

手法
解析は、差分方程式を径方向変数（$R(n)$）および角度変数（$\theta(n)$）へと変換する修正プルファー変換に基づいている。埋め込み固有値の存在は、径方向解 $R(n) \in \ell^2$ の平方可積分性と対応する。

奇数分母のケース（$q$ が奇数）における核心的な困難は、偶数の場合に利用可能であった「半周期対称性」の欠如にある。偶数の場合、径方向の減衰を最大化するポテンシャルの値を選択することで、角度のドリフトを相殺し、位相を最適な値に固定することができる。しかし、奇数の場合、径方向の減衰を改善するポテンシャルの選択は、必然的に非ゼロの角度ドリフトを誘発するため、位相を固定することができない。

これを解決するために、著者らは多段階の手法を用いている：

1. 三角関数の恒等式と補償： 著者らは、径方向の減衰利得を測る関数 $P(\phi)$ と、角度ドリフトを測る関数 $T(\phi)$ という2つの三角関数を導入する。彼らは、$P(\phi)$ の鋭い定数 $qB_q$ に対する超過量と、ドリフト $T(\phi)$ との関係を結ぶ重要な恒等式を確立している。これにより、径方向の利得が大きい周期は大きな角度運動を伴い、利得が小さい周期は逆のドリフトを持つことが明らかになる。
2. 緩やかに変化する数列の分割： $x_{n+1} - x_n = O(1/(1+n))$ を満たす数列に関する新しい分割理論を開発する。彼らは、そのような数列の分数部分の集積集合を、単一の点、正の弧、2つの弧の結合（識別点を横切るもの）、または全円という4つのケースに分類する。
3. 動的補償： これらの分割を用いて、プルファー角が特定の領域に留まるインデックスをグループ化する。「全円」の場合（角度が全領域を探索する場合）には、$\phi$ と $1-\phi$ の近くのインデックスをペアにする。$P$ の対称性と $T$ の反対称性により、これらのペアリングされたウィンドウにおける径方向の利得は、角度ドリフトに対してバランスさせることができ、総累積減衰が鋭い境界を超えないようにすることができる。
4. 臨界ケースの構成： 存在性を示すための構成において、急速に成長するブロックを用いたポテンシャルを構築する。ポテンシャルの係数に消失する補正を導入することで、ブロック内において径方向の減衰指数がわずかに超臨界となるようにし、ブロックの長さが十分に速く成長するようにして遷移誤差が可和となるようにする。これには、振動の周期、構成ブロック、およびグローバルなスケールの3つのスケールを調整する必要がある。

主要な貢献と結果

1. 奇数分母ケースの解決： 本論文の主要な貢献は、有理数 $k = p/q$（$q \ge 3$ は奇数）に対する鋭い臨界係数の決定である。著者らは以下を証明した：
   $$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)$ に対して $C(k)$ の完全な公式を提供している：

   • 無理数 $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)$ に対して、$\limsup |nV(n)| = C(E)$ を満たし、$E$ が埋め込み固有値となるようなポテンシャル $V$ が存在する。これには、ポテンシャルが極限を超えないようにしつつ、増大するスケールにおける消失補正を通じて十分な減衰を蓄積させるという、精緻な構成が必要となる。

4. 緩やかに変化する数列の分割理論： 本論文は、$O(1/n)$ の変動を持つ数列に関する厳密な分割結果を導入している。この結果は、トーラス $\mathbb{R}/\mathbb{Z}$ 上におけるそのような数列の集積挙動を分類し、離散的な設定における径方向の減衰と角度進化の相互作用を扱うための必要な組合せ論的枠組みを提供する。

意義
本論文は、減衰クーロンポテンシャルを持つ一次元離散シュレディンガー作用素における、最適な単一固有値係数の問題を完結させたと主張している。著者らは、径方向の減衰と角度運動の結合により、これまで困難であった奇数分母のケースを解決した。 「動的補償原理」を確立することにより、鋭い定数はポテンシャルの点的な最適化ではなく、軌道上の径方向の利得と角度ドリフトのグローバルなバランスによって決定されることを示している。この研究は、無理数および有理的な準運動量における埋め込み固有値の理解を統一し、離散スペクトル理論における算術的性質の深い役割を浮き彫りにしている。