Ground states for strongly indefinite Schrödinger equations with competing nonlinearities

技术摘要：具有竞争非线性的强不定性薛定谔方程基态问题

问题陈述
本文研究了具有周期势能和竞争非线性的定常非线性薛定谔方程的存在性与多重解问题：
$$-\Delta u + V(x)u = f(u) - \lambda g(u), \quad x \in \mathbb{R}^N,$$
其中 $N \geq 3$，$\lambda \geq 0$，且 $V$ 是 $\mathbb{Z}^N$-周期势能。该非线性由一个聚焦项 $f(u)$ 和一个消散项 $-\lambda g(u)$ 组成。研究的核心重点在于“强不定性”（strongly indefinite）情形，即线性算子 $L = -\Delta + V$ 的谱中包含一个包含零点的谱隙，从而导致一个无穷维的正谱子空间 $X_+$ 和一个无穷维的负谱子空间 $X_-$。

特定的挑战在于，当能量泛函 $I(u) = \int F(u) - \lambda \int G(u)$ 发生符号变化时。在纯幂次模型（$f(u)=|u|^{p-2}u$, $g(u)=|u|^{q-2}u$ 且 $2<q<p<2^*$）中，项 $F(u) - \lambda G(u)$ 在 $|u|$ 较小时为负，而在 $|u|$ 较大时为正。这种符号变化的特性阻碍了经典变分工具的直接应用（例如标准的 Nehari-Pankov 方法或经典的链接定理），这些工具通常依赖于非线性的非负性来确保其关于特定弱拓扑的上半连续性。

方法论与框架
本文综述并扩展了针对此类强不定性问题开发的最新变分方法，特别是基于 Bernini, Bieganowski, 和 Strzelecki ([2], [3]) 的工作。该方法论建立在以下支柱之上：

1. 广义链接定理（Generalized Linking Theorem）： 为了处理缺乏 $\tau$-上半连续性（其中 $\tau$ 是 $X_+$ 上的强收敛与 $X_-$ 上的弱收敛的乘积拓扑）的问题，作者利用了一种广义链接定理。该定理通过一个几何条件取代了缺失的连续性，该条件确保极小值序列在 $\tau$-拓扑下不会塌缩至零。这产生了一个远离零的 Cerami 序列。
2. 位错空间与轮廓分解（Dislocation Spaces and Profile Decomposition）： 为了解决由于周期势能的平移不变性导致的缺乏紧致性问题，作者采用了位错空间理论。这涉及对 $H^1(\mathbb{R}^N)$ 中有界序列相对于 $\mathbb{Z}^N$ 群作用的轮廓分解。该分解将序列分离为渐近不相交的“轮廓”（临界点）以及在 $G$-弱意义下消失的余项。
3. 多重性理论（Multiplicity Theory）： 应用了一个抽象的多重性定理，利用轨道空间的离散性质和伪指数构造。这使得在假设泛函是偶函数且在群作用下是不变的条件下，能够证明存在无穷多几何上互异的解（对 $\pm u$）。
4. 基态策略（新贡献）： 对于纯幂次非线性情形，本文改编了 Jeanjean 和 Tanaka 的“在临界点上最小化”策略。证明过程包括：
   • 建立远离零的有界 Palais–Smale 序列的正性估计。
   • 使用集中紧致性论证来防止消失（vanishing）。
   • 对能量泛函应用 Brezis–Lieb 型分裂程序，以将极小化序列的能量与其弱极限进行比较。

主要贡献与结果

1. 非平凡解的存在性： 本文总结了如下结果：对于足够小的 $\lambda > 0$，该方程至少存在一个非平凡弱解。这是通过验证广义链接定理的几何条件并证明所得 Cerami 序列的有界性来实现的。
2. 解的多重性： 本文确认，在相同条件下，该方程拥有无穷多对几何上互异的弱解。这依赖于位错空间中针对符号变化非线性的抽象多重性理论。
3. 基态的存在性（主要新贡献）： 本文的主要创新在于证明了纯幂次竞争情形下的基态（即最小能量的非平凡临界点）的存在性：
   $$-\Delta u + V(x)u = |u|^{p-2}u - \lambda |u|^{q-2}u, \quad 2 < q < p < 2^*.$$
   作者证明存在一个阈值 $\lambda^* > 0$，使得对于所有 $\lambda \in (0, \lambda^*)$，该泛函都存在基态。
   • 技术细微差别： 通过链接定理 [2] 获得的基态并不自动被识别为最小能量解。新的证明通过展示在非平凡临界点集上的能量极小化序列既不会消失，也会（经平移后）强收敛于一个非平凡临界点，从而克服了这一问题。这是通过结合远离零的序列的能量下界与 Brezis–Lieb 分裂程序实现的，后者迫使余项强收敛至零。

意义与主张
本文声称，对于该特定模型，基态的存在性并非 [2] 中一般存在性定理的直接推论。难点在于，链接定理产生的临界点并不保证是能量最小的，且在 $\lambda = 0$ 的极限情况下，直接与 Nehari–Pankov 流形进行比较才是简便的。

这项工作的意义在于：

• 扩展了变分方法，以处理强不定性设定下的符号变化非线性，这是一种标准上半连续性失效的技术性极强的复杂场景。
• 为存在聚焦与消散竞争机制的情况下的最小能量解提供了严格证明，这在物理上对应于光学介质中不同非线性极化机制之间的竞争。
• 证明了只要参数 $\lambda$ 足够小，“在临界点上最小化”的策略可以成功应用于具有符号变化非线性的强不定泛函。

本文得出结论：对于纯幂次模型，当 $\lambda$ 足够小时，该强不定泛函在所有非平凡临界点中存在一个非平凡的最小能量临界点。