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

技术摘要：通过逆最优问题研究排斥型哈特里方程基态解的唯一性

问题陈述
本文研究了在 $\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. 存在性与唯一性： 证明该方程基态解和主解的存在性与唯一性。
2. 方法论局限性： 由于交换势 $S[\rho]$ 和非局部排斥项的存在，用于证明唯一性的经典技术（如对称递减重排和移动平面法）不再适用。此外，相关的能量泛函缺乏凸性和相位不变性。
3. 逆谱背景： 本研究旨在将该非线性 PDE 的求解与逆谱问题联系起来，即从谱数据中重建相互作用核。

方法论：逆最优问题 (IOP)
作者采用了一种基于逆最优问题 (IOP) 的专门方法，该框架此前由 Ilyasov 和 Valeev 针对 Sturm-Liouville 算子提出，在此被扩展至非局部薛定谔算子。

该方法的核心在于构建一个约束优化问题（问题 P）：
给定参考核 $\bar{\rho} \in L^2_\mu$ 和目标特征值 $\lambda$，寻找一个极小值点 $\hat{\rho} \in L^2_\mu$，在满足 $\lambda$ 是算子 $L[\rho] = -\Delta + V - S[\rho]$ 的主特征值这一约束条件下，最小化距离 $\|\bar{\rho} - \rho\|_{L^2_\mu}$。

使用的关键分析工具包括：

• 变分特征： 主特征值 $\lambda_1(\rho)$ 通过瑞利商进行表征。
• 凹性与半连续性： $\lambda_1(\rho)$ 被证明在 $L^2_\mu$ 上是凹的且是上半连续的。这确保了 IOP 极小值的存在性，并允许应用 Kuhn-Tucker 定理。
• Gateaux 可微性： 确立了主特征值泛函关于核 $\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）：
   作者证明了主解集构成一个连续分支。具体而言，从核 $\rho$ 到解 $\hat{u}$ 的映射在 $W$-范数下是连续的，且从谱参数 $\lambda$ 到解的映射也是连续的。

4. 对偶变分形式（定理 1.4）：
   本文引入了一个涉及在固定距离约束 $\|\bar{\rho} - \rho\| = \kappa$ 下最大化主特征值的对偶问题。证明了存在唯一的极大值点，并表明相应的主解可以通过对偶极小值进行恢复。

意义与主张
本文声称提供了一个处理非局部薛定谔算子逆问题的系统性框架。其意义体现在三个方面：

• 方法论创新： 它成功地将逆最优问题方法应用于非局部算子，克服了经典重排法和移动平面法的局限性。
• 结构洞察： 它提供了关于解（$\hat{u}$）和核（$\hat{\rho}$）相对于谱数据和参考函数的显式重建公式，为排斥型哈特里型方程的结构提供了新的视角。
• 理论扩展： 该工作将逆谱问题的理论从 Sturm-Liouville 算子扩展到了更广泛的一类具有非局部相互作用的非线性薛定谔方程。

作者总结道，该框架不仅解决了特定的非线性方程，还为将这些技术推广到多参数逆问题（从有限特征集中重建密度）以及多组分量子系统的应用奠定了基础。他们指出，该问题的变分性质使其适用于数值近似，包括像 Deep Ritz method 这样的现代机器学习方法。