Uniqueness of Ground State Solutions for a Defocusing Hartree Equation via Inverse Optimal Problems

技術要約：逆最適問題を通じた非局所的なデフォーカシング・ハートリー方程式における基底状態解の一意性

問題設定
本論文は、非局所的な交換ポテンシャルと斥力的（repulsive）なハートリー・フォック相互作用を特徴とする、$\mathbb{R}^N$ ($N \ge 1$) における一般化されたデフォーカシング・ハートリー方程式を調査している。方程式は以下のように与えられる：
$$-\Delta u + V(x)u - S[\rho]u + \gamma(|x|^{-\mu} * |u|^2)u = \lambda u,$$
ここで、$V(x)$ は無限遠で増大する外部ポテンシャルであり、$\gamma > 0$ はデフォーカシング（斥力的）な相互作用を表し、$0 \le \mu < \min\{N, 4\}$ である。また、$S[\rho]$ は対称なカーネル $\rho \in L^2_\mu(\mathbb{R}^N \times \mathbb{R}^N)$ によって定義される非局所的な交換演算子である。

対処されている主な数学的課題は以下の通りである：

1. 存在と一意性： この方程式の基底状態解および主解（principal solutions）の存在と一意性の証明。
2. 手法の限界： 交換ポテンシャル $S[\rho]$ および非局所的なデフォーカシング項の存在により、対称減少再配置（symmetric decreasing rearrangement）や移動平面法（moving plane method）といった、一意性を証明するための古典的な手法は適用不可能である。さらに、関連するエネルギー汎関数は凸性や位相不変性を欠いている。
3. 逆スペクトル的文脈： 本研究は、この非線形偏微分方程式（PDE）を、スペクトルデータから相互作用カーネルを再構成するという逆スペクトル問題へと結びつけることを目的としている。

手法：逆最適問題 (IOP)
著者らは、以前にイリャソフとヴァレーエフによってシュトゥルム＝リウヴィル演算子に対して開発された枠組みである逆最適問題 (Inverse Optimal Problems: IOP) に基づく特殊なアプローチを採用している。これを、非局所的なシュレディンガー演算子へと拡張している。

手法の核となるのは、制約付き最適化問題（問題 P）の定式化である：
基準となるカーネル $\bar{\rho} \in L^2_\mu$ と目標となる固有値 $\lambda$ が与えられたとき、演算子 $L[\rho] = -\Delta + V - S[\rho]$ の主固有値が $\lambda$ となるという制約の下で、距離 $\|\bar{\rho} - \rho\|_{L^2_\mu}$ を最小化する $\hat{\rho} \in L^2_\mu$ を求める。

使用されている主要な解析ツールは以下の通りである：

• 変分的特徴付け： 主固有値 $\lambda_1(\rho)$ はレイリー商（Rayleigh quotient）を通じて特徴付けられる。
• 凹性と半連続性： $\lambda_1(\rho)$ は $L^2_\mu$ 上で凹かつ上半連続であることが示されている。これにより、IOP の極小値の存在が保証され、クーン・タッカー（Kuhn-Tucker）定理の適用が可能となる。
• ガトー微分可能性： カーネル $\rho$ に関する主固有値汎関数の微分可能性が確立されており、固有値の変動と固有関数の関係が結び付けられている。
• 双対定式化： スペクトルギャップと解のノルムとの関係を特徴付けるために、双対逆最適問題が定義されている。

主要な貢献と結果

1. 主解の存在と一意性 (定理 1.1)：
   $\lambda > \lambda_1(\bar{\rho})$ のとき、本論文は IOP の一意な極小値 $\hat{\rho}$ の存在を証明する。決定的なことに、ハートリー方程式の主解 $\hat{u}$ は、以下の関係式を通じて、この極小値からほとんど至る所で点ごとに回収される：
   $$\hat{\rho}(x, y) = \bar{\rho}(x, y) - \hat{u}(x)\hat{u}(y).$$
   これは、非線形 PDE の解と逆最適問題の解との間の直接的なつながりを確立している。

2. 基底状態の一意性 (定理 1.2)：
   基準カーネル $\bar{\rho} \ge 0$ という条件の下で、本論文は安定な基底状態の存在を証明する。さらに、この基底状態は一意であり、かつ正であることを確立している。主解はこの一意な基底状態と一致する。

   • 意義： この結果は、標準的な一意性証明の手法が通用しないクラスの、非局所的な相互作用を持つデフォーカシング・ハートリー方程式に対する一意性の証明を提供している点で注目に値する。論文内では、交換ポテンシャルが消失する場合（$\rho \equiv 0$）であっても、この一意性の結果が保持されることが明記されているが、これはこの特定の形式の方程式については先行文献において確立されていなかったシナリオである。

3. 連続依存性 (定理 1.3)：
   著者らは、主解の集合が連続な枝（continuous branch）を形成することを実証している。具体的には、カーネル $\rho$ から解 $\hat{u}$ への写像は $W$ ノルムにおいて連続であり、スペクトルパラメータ $\lambda$ から解への写像もまた連続である。

4. 双対変分定式化 (定理 1.4)：
   本論文は、固定された距離制約 $\|\bar{\rho} - \rho\| = \kappa$ の下で主固有値を最大化する双対問題を導入している。これに関連する一意な最大値の存在を証明し、対応する主解が双対極小値を通じて回収できることを示している。

意義と主張
本論文は、非局所的なシュレディンガー演算器における逆問題に対処するための体系的な枠組みを提供すると主張している。その意義は、主に以下の3つの領域にある：

• 手法の革新性： 非局所的な演算子に対して逆最適問題のアプローチを適用することに成功し、古典的な再配置法や移動平面法の限界を克服している。
• 構造的洞察： スペクトルデータと基準関数を用いて、解 ($\hat{u}$) およびカーネル ($\hat{\rho}$) の明示的な再構成公式を提供しており、デフォーカシング・ハートリー型方程式の構造に対する新しい視点を与えている。
• 理論的拡張： 逆スペクトル理論を、シュトゥルム＝リウヴィル演算子から、より広いクラスの非局所的な相互作用を持つ非線形シュレディンガー方程式へと拡張している。

著者らは、この枠組みが特定の非線形方程式を解くだけでなく、多パラメータ逆問題（有限の固有値集合からの密度の再構成）や多成分量子系への応用を含む、より広範な技術の基礎を築くものであると結論付けている。また、問題の変分的な性質により、Deep Ritz 法のような現代的な機械学習アプローチを含む数値的近似が可能であることも示唆している。