[论文解读] Normalized solutions with positive energies for a coercive problem and application to the cubic-quintic nonlinear Schr\"{o}dinger equation

Louis Jeanjean, S.C.-Y. Lu|arXiv (Cornell University)|Nov 25, 2021

Advanced Mathematical Physics Problems参考文献 34被引用 23

一句话总结

该论文在任意维度 N ≥ 1 下，针对一类强制型非线性薛定谔方程，在一般质量次临界条件下，证明了存在具有正能量的归一化解。通过在 L2-球面上构造局部极小值点和山路临界点，证明了即使全局能量下确界未被达到，正能量解仍存在于临界质量 m* > 0 的左侧邻域内。该结果被应用于 R3 中的立方-五次 NLS 方程，揭示了作用量基态可以是局部极小值点或鞍型解，对轨道稳定性和不稳定性的含义具有重要意义。

ABSTRACT

In any dimension $N \geq 1$, for given mass $m > 0$ and when the $C^1$ energy functional \begin{equation*} I(u) := \frac{1}{2} \int_{\mathbb{R}^N} | abla u|^2 dx - \int_{\mathbb{R}^N} F(u) dx \end{equation*} is coercive on the mass constraint \begin{equation*} S_m := \left\{ u \in H^1(\mathbb{R}^N) ~|~ \|u\|^2_{L^2(\mathbb{R}^N)} = m ight\}, \end{equation*} we are interested in searching for constrained critical points at positive energy levels. Under general conditions on $F \in C^1(\mathbb{R}, \mathbb{R})$ and for suitable ranges of the mass, we manage to construct such critical points which appear as a local minimizer or correspond to a mountain pass or a symmetric mountain pass level. In particular, our results shed some light on the cubic-quintic nonlinear Schr\"{o}dinger equation in $\mathbb{R}^3$.

研究动机与目标

• 确定并构造 L2-约束非线性薛定谔方程在正能量水平下的能量泛函的约束临界点。
• 解决在质量次临界区域中正能量解缺乏系统研究的问题，其中大多数先前工作集中于负能量基态。
• 澄清 R3 中立方-五次非线性薛定谔方程的变分结构，特别是作用量基态的存在性与稳定性，超越全局极小值点。
• 证明即使全局能量下确界未被达到，正能量解仍可作为局部极小值点或山路水平出现。

提出的方法

• 引入一个改进的几何估计（引理 2.2 iii），基于非线性项 F 在零附近的性质，识别 L2-球面上潜在的正能量水平。
• 在 H1 半范数超过阈值 ρ(m*) > 0 的 L2-球面子集 Sρm 上定义局部下确界 Em，确保强制性与紧致性。
• 在约束流形 Sm 上应用变分方法——特别是局部极小化与山路理论——以寻找正能量水平下的临界点。
• 当非线性项满足广义 Ambrosetti-Rabinowitz 条件（f5）时，使用山路定理与对称山路定理构造解。
• 采用集中-紧致性论证与极小化序列（至多平移后）的强收敛性，证明在局部下确界设定下极小值点的存在性。
• 将结果应用于 R3 中的立方-五次非线性项 f(u) = |u|2u - |u|4u，将频率 ω 与拉格朗日乘子关联，并通过作用量泛函分析稳定性。

实验结果

研究问题

• RQ1 在质量次临界区域中，即使全局能量下确界未被达到，L2-约束非线性薛定谔方程是否仍可能存在具有正能量的归一化解？
• RQ2 在该设定下，正能量解的变分结构（如局部极小值点、山路）是什么？
• RQ3 非线性项 F(u) 在零附近的性质如何影响正能量解的存在性与性质？
• RQ4 对于 R3 中的立方-五次 NLS，作用量基态是否可以是局部极小值点或鞍型解？其稳定性特性如何？

主要发现

• 对任意 m ∈(m**, m*]，局部下确界 Em > 0 由 Sm 中的解 v 实现，该解具有正能量与正拉格朗日乘子，且在 RN 上恒正。
• 对 m ∈(m**, m*]，局部极小值点 v 是轨道稳定的，该结论通过极小化序列的强收敛性与标准稳定性论证建立。
• 对 m > m*，存在两个不同的频率 ω1, ω2 ∈(0, 3/16)，使得对应的能量基态 vm 与 wm 满足 I(vm) = Em > 0 与 I(wm) > 0，其中 wm 对应该山路水平。
• 作用量基态 vm = Uω1 是 I|Sm 的局部极小值点但非全局极小值点，表明基态不一定是全局极小值点。
• 作用量基态 wm = Uω2 对应于 H1r(R3) 的径向子空间中的山路水平，确认了鞍型行为。
• 结果否定了 [16, 定理 1.6(i)] 的逆命题，表明 P(u) = 0 并不保证为全局极小值点，且 m** > 0 是正能量局部极小值点存在的精确阈值。