Counterexample to the second eigenfunction having one zero for a non-local Schrodinger operator

技術要約：非局所シュレディンガー作用素における第2固有関数の零点の数に関する反例

問題設定
本論文は、有界区間 $\Omega = (-1, 1)$ 上のディリクレ境界条件を持つ分数ラプラシアン $(-\Delta)^s$ に対する、摂動を加えた非局所シュレディンガー作用素の固有関数の定性的振る舞いを調査している。中心となる問題は、スペクトル理論における長年の期待、すなわち、古典的なラプラス作用素（$s \to 1^-$）や、摂動のない分数ラプラシアン（コーシー過程、 $s=1/2$）と同様に、当該作用素の第2固有関数は正確に1つの零点（単一の符号変化）を持つはずであるという予測を扱うものである。著者らは、特定の有界なポテンシャル摂動の下で、第2固有関数が2つの符号変化を示すことがあり、それによって古典的な節点特性（nodal property）を破ることを示す厳密な反例を構築することを目的としている。

手法
著者らは、有限次元の行列解析と無限次元の関数解析的手法を組み合わせた、3段階の構成戦略を用いている。

1. 行列近似（ステップ1）： 著者らはまず、「無限ポテンシャルの井戸」という極端なケースを分析する。この場合、ポテンシャルは $k$ 個の互いに素で微小な部分区間 $I_i$ 上でのみ有限であり、それ以外では無限大である。これらの部分区間の指示関数（indicator functions）の重み付き和によって解空間を近似することにより、無限次元の固有値問題を $k \times k$ の対称行列の固有値問題へと簡約する。直接的な代数的解析およびペロン＝フロベニウスの定理を用いることで、この行列の固有ベクトルを分析する。彼らは、ポテンシャルの値 $V_i$ が非凸である場合（具体的には $k=3$ において $V_2 \gg V_1, V_3$ である場合）、第2の固有ベクトルが2つの符号変化を示すことを証明する。

2. 無限ポテンシャルの井戸による反例（ステップ2）： 行列の結果を作用素の問題へと厳密に結びつけるため、著者らは、無限ポテンシャルの井戸問題を、極限作用素の正則摂動として扱う。変数変換の手法を用いて、変化するヒルベルト空間 $L^2(\cup I_i)$ を固定されたヒルベルト空間 $H = \prod L^2(I)$ へと写像する。パラメータ $\beta = \epsilon^{1/q}$ （ここで $s=p/q$ は有理数）を導入することで、リスケールされた作用素族が、カトウの意味における（A）型の解析的族であることを確立する。これにより、退化した固有値に対するカトオ＝リリッヒの定理の適用が可能となり、有限次元行列のスペクトル特性（固有ベクトルの符号パターンを含む）が、十分小さな摂動の下で無限次元作用素の極限へと継承されることを証明できる。

3. 有限ポテンシャルの井戸による反例（ステップ3）： 最後に、理想化された無限ポテンシャルの井戸から、物理的に実現可能な有限ポテンシャルの井戸へと結果を拡張する。井戸の深さが増すにつれて（パラメータ $\delta \to 0$）、有限ポテンシャルの井戸が無限ポテンシャルへと点ごとに収束するような数列を定義する。コンパクト性を用いた議論と、分数ソボレフ空間 $H^s_0(\Omega)$ 内でのエネルギー最小化原理を用いることで、有限ポテンシャルの井戸の固有関数が、無限ポテンシャルの井戸の固有関数に $L^2$ 収束することを証明する。極限の固有関数が2つの符号変化を持つため、十分に深い有限ポテンシャルの井戸の固有関数も、十分小さな $\delta$ に対して2つの符号変化を示すことになる。

主な貢献と結果

• 反例の存在： 本論文は、有界区間上の摂動を受けた分数ラプラスシアンの第2固有関数が2つの符号変化を持ち得ることを示す、最初の厳密な証明を提供する。これは、局所的なラプラス作用素や摂動のない分数的なケースから導かれる古典的な直感に反するものである。
• ポテンシャルの幾何学的役割： この反例は、有界で非凸なポテンシャル（具体的には、中央の井戸が外側の井戸よりも著しく深いトリプルウェル構成）に依存している。著者らは、ポテンシャルの値の非凸性が、縮退した基底状態の分裂を駆動し、その結果、第2の固有関数が井戸全体にわたって $(-, +, -)$ または $(+, -, +)$ という符号パターンを強制することを示している。
• 解析的摂動の枠組み： 著者らは、非局所的な設定においてカトオ＝リリッヒ摂動論を適応させることに成功した。大きな技術的貢献は、縮小する区間に伴う特異なスペクトルスケールの取り扱いと、有理数 $s \in (0, 1)$ に対する解析的族の構成である。
• 収束結果： 本論文は、有限ポテンシャルの井戸から無限ポテンシャルの井戸への固有関数の $L^2$ 収束を確立しており、これにより、理想化されたモデルの定性的な節点特性が有限のケースでも保持されることを保証している。

意義と主張
本論文は、摂動を受けた非局所シュレディンガー作用素の固有関数の定性的振る舞いに関する、最初期の厳密な知見の一つを提供すると主張している。著者らは、本結果が、摂動のない分数的な固有関数の節点特性が有界な摂動に対して頑健であるという仮定に疑義を呈するものであることを強調している。詳細な分析は $s=1/2$ （コーシー過程）のケースに焦点を当てているが、その手法は $s \in (0, 1)$ の他の有理数の値についても同様の現象が起こることを示唆している。著者らは、カトオ＝リリッヒ理論の解析性の要件により、無理数 $s$ への拡張が未解決の課題であることを控えめに述べており、また、凸ポテンシャルの場合にも同様の反例が存在するかどうかも未解決の問題として残している。本研究は、非局所的な設定におけるスペクトルの節点特性の理解を根本的に変えるものであり、それらが摂動の下で普遍的に保存されるわけではないことを示している。