Lower bounds for self-adjoint Sturm-Liouville operators

技術的要約：自己共役シュトゥルム・リウヴィル作用素の下界

問題設定
本論文は、一般的な自己共役シュトゥルム・リウヴィル作用素 $T$ のスペクトルの下界 $\inf(\sigma(T))$ に関する明示的な評価を導出する問題に取り組んでいる。この作用素は、以下の3つの係数を持つ微分形式
$$\tau = \frac{1}{r} \left( -\frac{d}{dx} p \frac{d}{dx} + q \right)$$
によって定義され、重み付き $L^2$ ヒルベルト空間 $L^2(\mathbb{R}; r dx)$ において作用する。係数 $p, q, r$ は実数値であり、$r$ および $p$ はほとんど至る所で正であり、局所可積分である（具体的には $r, 1/p, q \in L^1_{\text{loc}}(\mathbb{R})$）。

シュレディンガー作用素（$p=r=1$）の特殊なケースについては、下界に関する研究（Lieb–Thirring不等式や $q \in L^s$ に対する特定の評価など）が文献に多く存在する。しかし、一般的な3係数の場合における体系的な研究は不足していた。著者らは、重み関数 $r$ と係数 $p$ が下界に根本的な影響を与えることを指摘している。具体的には、$r$ が非定数または非有界である場合、$1/r$ の $L^\infty$ ノルム（または $r$ の小さな値を中和する関連関数）および $1/p$ のノルムが、評価の重要な構成要素となる。

手法
著者らは、変分法と $T$ に付随する二次形式を束縛するための関数解析的な不等論を組み合わせて用いる。その手法は以下の通りである。

1. 負のスペクトルへの還元： 解析は、集合 $D_-(T) = \{f \in D(T) \mid (Tf, f)_r \leq 0\}$ に限定される。もしこの集合が自明であれば、作用素は非負である。
2. ポテンシャルの分解： ポテンシャル $q$ は、その正の部分と負の部分 $q = q_+ - q_-$ に分解される。下界は $q_-$ の挙動によって決定される。
3. 部分積分と補題 4.2： 部分積分と $\pm \infty$ における極限点ケースから導かれる境界条件を用いることで、著者らは $f \in D_-(T)$ に対して、運動エネルギー項 $\|\sqrt{p}f'\|_2^2$ がポテンシャル項 $\|q_- f^2\|_1$ によって制御されることを確立する。
4. 補間およびノルム評価： 技術的な核心部分は、$L^2$ ノルムと係数 $p, q_-$ の観点から固有関数（またはテスト関数）の $L^\infty$ 評価を導出することである。著者らは以下を利用する：
   • ヘルダーの不等式： 様々な $L^s$ 空間における $q_-$ と $f^2$ の相互作用を扱うため。
   • ソボレフ型の不等式： 特に [2] における $\|f\|_\infty$ の推定（補題 4.4）であり、これは $1/p$ に関する仮定（$L^\infty$ または $L^\eta$）の下で、$\|f\|_\infty$ を $\|\sqrt{p}f'\|_2$ および $\|f\|_2$ に関連付けるものである。
   • ヤングの不等式： シュレディンガー・ケースの準備段階において、明示的な定数を導出するために使用される。
5. 重み関数の取り扱い： 非負の関数 $g \in L^\infty(\mathbb{R})$ と集合 $\Omega_g = \{x \in \mathbb{R} \mid r(x)g(x) < 1\}$ の導入という主要な技術的装置。$\mu(\Omega_g)$ が最終的な評価の分母に現れることで、$1/r$ が $L^\infty(\mathbb{R})$ に属さない場合でも管理が可能となる。

主要な貢献および結果
本論文は、係数の可積分性の仮定に基づいた一連の定理（3.2–3.5）を提供している。

• 定理 3.2： $1/p \in L^\infty(\mathbb{R})$ かつ $q_- \in L^1_u(\mathbb{R})$（一様局所可積分）であることを仮定する。これは、$\mu(\Omega_g)\beta < 1$ となる $g$、$\|q_-\|_u$、および $\|1/p\|_\infty$ を含む下界を与える。
• 定理 3.3： $1/p \in L^\infty(\mathbb{R})$ かつ $q_- \in L^s(\mathbb{R})$ （ただし $s \in [1, \infty]$）であることを仮定する。これは $\|q_-\|_s$ および $\|1/p\|_\infty$ に依存する明示的な定数をもたらす。著者らは、これらの評価は最適ではない（既知のシュレディンガー・ケース $p=r=1$ と比較して）ものの、一般的な設定への体系的な拡張を提供するものであると述べている。
• 定理 3.5： $1/p \in L^\eta(\mathbb{R})$ （ただし $\eta \in [1, \infty)$）かつ $q_- \in L^s(\mathbb{R})$ である場合に結果を一般化する。これは $\eta + s > 2$ という条件の下で成立する。これにより、$p$ が $L^\infty$ の意味でゼロから離れていない（ゼロに近づく可能性がある）係数であっても、特定の可積分条件を満たしていれば扱えるようになる。
• 命題 3.6： $T$ が非負であるための十分条件を示す。もし $1/p, q_- \in L^1(\mathbb{R})$ であり、$\|1/p\|_1 \|q_-\|_1 < 1$ ならば、$\inf(\sigma(T)) \geq 0$ である。

$1/r \in L^\infty(\mathbb{R})$ の特殊なケースでは、$g = 1/r$ と置くことで $\mu(\Omega_g) = 0$ となり、評価が $\|1/r\|_\infty$ を含む明示的な公式へと簡略化されることを著者らは示している。

意義および主張
著者らは、主な目的は「この問題の輪（circle of problems）を開始し、貢献すること」であると述べている。なぜなら、一般的なシュトゥルム・リウヴィル作用素の下界に関する体系的な研究はこれまで欠落していたからである。

• 動機： 本研究は、量子力学におけるスペクトル推定の重要性と、定数係数の場合のように単純にスケーリングできない、重み $r$ と係数 $p$ がスペクトルに与える具体的な影響によって動機付けられている。
• 手法の着想： 証明は、不定形シュトゥルム・リウヴィル作用素の非実固有値の境界を扱った [2] の手法から強く影響を受けている。
• 範囲： 著者らは、これらの評価が最適ではないことを明示しており（Remark 3.4において、彼らの定数を既知のシュレディンガー・ケースの最適定数と比較することで示されている）、最適性を主張しているわけではない。
• 適用可能性： 結果は全直線 $\mathbb{R}$ に対して確立されているが、Remark 3.7によれば、端点が正則な半直線 $(0, \infty)$ においても、ディリクレ境界条件の下でこれらの評価は有効である。

本論文は、得られた評価が必ずしも鋭い（sharp）ものではないものの、一般的な3係数のシュトゥルム・リウヴィル作用素のスペクトルの下界を推定するための最初の体系的な枠組みを提供するものであると結論付けている。