🔢 mathematics

Existence and nonexistence of normalized solutions for nonlinear Schrödinger equation involving combined nonlinearities in bounded domain

本文研究了有界域上具有组合非线性项的归一化非线性薛定谔方程，通过变分法、单调性技巧、Pohozaev 恒等式、移动平面法及延拓论证，分别在小质量、大质量及临界情形下建立了该方程归一化解的存在性、多重性、非存在性及二分性结果。

原作者： Zhen-Feng Jin, Weimin Zhang

发布于 2026-02-19

📖 1 分钟阅读🧠 深度阅读

原作者： Zhen-Feng Jin, Weimin Zhang

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

这篇文章研究的是一个关于**“波”如何在有限空间里稳定存在的数学问题。为了让你更容易理解，我们可以把这篇论文的研究对象想象成“在一个房间里寻找一种特定大小的稳定水波”**。

1. 核心故事：寻找“完美平衡”的波

想象你有一个形状各异的房间（数学家称之为有界区域 $\Omega$ ），比如一个球形的房间，或者一个凸多边形房间。
在这个房间里，有一团水（代表波函数 $u$ ）。这团水有两个特点：

它必须待在房间里，碰到墙壁（边界 $\partial\Omega$ ）时高度必须降为 0（就像水被墙壁挡住）。
它的总水量（质量）是固定的（数学家称之为 $L^2$ 范数 $\rho$ ）。你不能随意加水或倒水，必须保持总量不变。

这团水受到两种力量的拉扯：

扩散力：水倾向于散开，变得平缓（对应方程中的 $-\Delta u$ ）。
聚集力：水分子之间有某种吸引力，想让自己聚成一团（对应方程中的非线性项 $\mu u^{p-1} + u^{q-1}$ ）。

问题的核心是： 在保持总水量 $\rho$ 不变的情况下，是否存在一种稳定的形状，让这团水既不散开也不聚爆，而是静静地悬浮在房间里？如果存在，有几种形状？如果水量太大或太小，会不会根本找不到这种形状？

2. 论文的主要发现（用比喻解释）

作者 Jin 和 Zhang 就像两个**“房间探险家”**，他们拿着不同的“水量”（ $\rho$ ）和不同的“房间形状”，去探索这团水能否稳定存在。

发现一：水很少时，总能找到“安稳的窝”（局部极小值）

场景：当房间里的水非常少（ $\rho$ 很小）时。
比喻：就像往房间里倒了一小杯水。这时候，无论房间形状如何，水都会乖乖地待在某个角落，形成一个稳定的小水洼。
结论：只要水够少，无论非线性力（聚集力）是强是弱，我们都能找到至少一种最省能量的稳定状态（局部极小值）。这就像水自然流到最低点一样。

发现二：水少且房间形状好时，会有“第二个形状”（山路引理）

场景：水依然很少，但房间是星形的（像一个星星，从中心看出去没有凹陷），且聚集力是正的（ $\mu \ge 0$ ）。
比喻：想象你在一个星形的山谷里。
- 第一种稳定状态是山谷底部的小水坑（局部极小值）。
- 作者发现，如果地形合适，你还能找到第二种稳定状态：就像水被推到了山谷另一侧的一个小山坡上，虽然它不是最低点，但它也能暂时停住（山路引理类型的解）。
结论：在特定条件下（水少、房间星形），除了那个“最低点”的解，还能找到第二个完全不同的稳定波形。

发现三：水太多时，在“凸房间”里找不到解（不存在性）

场景：房间是凸的（像球、立方体，没有凹陷），但水非常多（ $\rho$ 很大），且聚集力很强。
比喻：想象在一个凸起的圆顶房间里，你试图强行塞入海量的水。
- 水想聚成一团（非线性力），但房间形状（凸性）和物理定律（Pohozaev 恒等式）在“抗议”。
- 水越多，为了维持平衡，需要的“频率”（ $\omega$ ，可以理解为水波震动的快慢或压力）就会变得无穷大。
- 最终，物理上无法达成平衡。就像你试图把一吨水塞进一个气球，气球会爆炸，或者根本维持不住形状。
结论：如果房间是凸的，且水太多，根本不存在稳定的波形。水要么散开，要么聚爆，无法保持那个固定的总量。

发现四：在完美的“球形房间”里，有一个“分水岭”（二分法）

场景：房间是一个完美的球体，且只有一种聚集力（ $\mu=0$ ）。
比喻：这是一个最完美的实验环境。作者发现了一个神奇的临界水量 $\rho^*$ 。
- 水少于 $\rho^*$ ：有两个稳定的形状（一个像小水坑，一个像大波浪）。
- 水等于 $\rho^*$ ：只有一个完美的形状。
- 水多于 $\rho^*$ ：一个都没有，彻底找不到稳定形状。
结论：这就像是一个开关，水量一旦超过某个红线，稳定状态就彻底消失了。

3. 他们用了什么“魔法”？

为了得出这些结论，作者用了几种高深的数学工具，我们可以这样理解：

能量地形图（变分法）：
把寻找稳定波形的问题，想象成在一张复杂的“能量地形图”上找最低点。水总是想往能量最低的地方流。作者通过计算，证明了在某些地方确实有“坑”可以让人（水）待着。
单调性技巧（Monotonicity Trick）：
这就像是在调整房间的“摩擦力”参数。作者先假设摩擦力稍微小一点，证明这时候有解；然后慢慢把摩擦力调回正常值，看看解会不会“跑掉”。如果没跑掉，就证明正常状态下也有解。
移动平面法（Moving-Plane Method）：
这就像是用一面镜子在房间里移动。作者发现，如果房间是凸的，水波的形状必须是对称的、单调的。利用这个性质，他们证明了当水太多时，这种对称性会导致矛盾，从而证明“无解”。
Pohozaev 恒等式：
这是一个像“能量守恒定律”一样的公式。它把水的形状、房间的墙壁和水的总量联系在了一起。作者利用这个公式发现，当水太多时，公式两边的数字对不上，从而证明不可能存在。

总结

这篇论文就像是在给“波”在“房间”里的生存能力做体检：

水少：通常能活，甚至能活出两种花样。
水多 + 凸房间：活不下去，必死无疑。
水多 + 球形房间：有一个明确的生死线，过了线就全灭。

这些发现不仅对数学理论很重要，对物理学中激光在光纤中的传输、玻色 - 爱因斯坦凝聚态（超冷原子气体）等实际问题的理解也有重要的指导意义。

这是一篇关于**有界域中涉及组合非线性项的非线性薛定谔方程（Nonlinear Schrödinger Equation, NLS）归一化解（Normalized Solutions）**存在性与非存在性的研究论文。

以下是对该论文的详细技术总结：

1. 研究问题

论文研究如下带有固定 $L^2$ 范数（质量）约束的非线性椭圆方程：
$\begin{cases} -\Delta u + \omega u = \mu |u|^{p-2}u + |u|^{q-2}u, & u > 0 \quad \text{in } \Omega, \\ u = 0, & \text{on } \partial\Omega, \\ \|u\|_{L^2(\Omega)}^2 = \rho, \end{cases}$
其中：

$\Omega \subset \mathbb{R}^N$ 是有界光滑区域。
$\omega \in \mathbb{R}$ 是作为质量约束 $\|u\|_2^2 = \rho$ 的拉格朗日乘子出现的参数（频率），而非固定常数。
$\mu \in \mathbb{R}$ 是组合非线性项的系数。
$1 < p \le q$ ，且 $q$ 可能达到或超过索伯列夫临界指数 $2^* = \frac{2N}{N-2}$ （当 $N \ge 3$ 时）。
目标是寻找满足给定质量 $\rho$ 的解 $(\omega, u)$ 。

2. 方法论与主要技术工具

论文针对不同的参数范围（ $p, q, \mu$ ）和区域几何性质（星形、凸形、球体），采用了多种变分法和几何分析工具：

局部极小化（Local Minimization）： 在能量泛函 $I(u)$ 的约束集 $S_\rho$ 上寻找局部极小值。利用索伯列夫嵌入的紧性（当 $q < 2^*$ ）或最佳索伯列夫常数估计（当 $q = 2^*$ ）来证明极小值的存在性。
山路引理（Mountain Pass Theorem）： 为了获得第二个解（山路型解），构造了山路几何结构。
斯特鲁威单调性技巧（Struwe's Monotonicity Trick）： 由于在有界域上无法使用 Jeanjean 的缩放技巧（Scaling trick）来保证 Palais-Smale (PS) 序列的有界性，作者引入了参数 $\eta$ 构造辅助泛函 $I_\eta$ ，利用单调性技巧证明存在有界的 PS 序列。
Pohozaev 恒等式（Pohozaev Identity）： 结合星形域条件，利用 Pohozaev 恒等式来估计解的有界性，排除气泡（bubbling）现象导致的能量损失。
移动平面法（Moving-Plane Method）： 用于凸域情形，证明解在边界附近的单调性，进而推导大质量下的非存在性。
连续性论证与常微分方程分析： 针对球域上的 Brézis-Nirenberg 问题，利用解对初始条件和参数的连续性，分析 $L^2$ 范数随参数变化的趋势，从而得到二分性结果。

3. 主要结果

3.1 局部极小解的存在性 (Theorem 1.1)

条件： $2 < p \le q \le 2^*$ ， $\mu \in \mathbb{R}$ 。
结论： 存在 $\rho_0 > 0$ ，使得当质量 $\rho \in (0, \rho_0)$ 时，方程至少存在一个解，该解是能量泛函在 $S_\rho$ 上的局部极小值。
改进： 该结果去除了以往文献中要求区域必须是“星形”的限制，适用于一般有界光滑区域，且涵盖了质量次临界（mass-subcritical）和变号非线性项的情况。

3.2 第二个解（山路型解）的存在性 (Theorem 1.3)

条件： $\mu \ge 0$ $μ \geq 0$ ， $\Omega$ $Ω$ 为星形域。
- 情形 (i)： $N \ge 1, 2 < p < 2 + \frac{4}{N} < q < 2^*$ 或 $N \ge 4, 2 < p < q = 2^*$ 。
- 情形 (ii)： $N=3$ ， $p$ 在特定区间内，且需满足关于内切球半径 $\lambda_1(B_{R_\Omega})$ 的特定不等式条件。
结论： 对于充分小的 $\rho$ ，方程至少存在两个正解：一个是局部极小解，另一个是山路型解（Mountain Pass type solution）。
创新点： 通过引入额外参数 $\eta$ 结合单调性技巧，解决了组合非线性项下构造山路结构并控制质量 $\rho$ 的难题。该结果将文献 [28] 中仅适用于 $N \in \{3,4,5\}$ 的结论推广到了所有 $N \ge 3$ 。

3.3 大质量下的非存在性 (Theorem 1.5)

条件： $\mu > 0$ ， $\Omega$ 为凸域， $1 < p \le 2$ ， $q \ge \max\{2^*, 3\}$ 。
结论： 当质量 $\rho$ 充分大时，方程不存在正归一化解。
机理： 利用移动平面法证明解在边界附近的单调性，结合 Pohozaev 恒等式，推导出当 $\rho \to \infty$ 时，频率 $\omega$ 必须趋于无穷大，从而产生矛盾。
意义： 填补了索伯列夫临界及超临界情形下大质量非存在性研究的空白，特别是针对 Brézis-Nirenberg 型问题在 $3 \le N \le 6$ 时的非存在性结论。

3.4 球域上的二分性结果 (Theorem 1.7)

条件： $\mu = 0$ （纯 Brézis-Nirenberg 问题）， $q = 2^*$ ， $\Omega$ 为单位球 $B_1$ 。
结论： 存在临界质量 $\rho^* > 0$ $ρ^{*} > 0$ ，使得：
- 当 $0 < \rho < \rho^*$ 时，至少有两个解；
- 当 $\rho = \rho^*$ 时，至少有一个解；
- 当 $\rho > \rho^*$ 时，无解。
方法： 利用 Brézis-Nirenberg 问题解的唯一性和径向对称性，将其转化为常微分方程，通过分析 $L^2$ 范数随参数 $\lambda$ 变化的连续性行为得出结论。

4. 关键贡献与意义

统一框架下的存在性理论： 论文系统地处理了有界域上组合非线性项（次临界 + 临界/超临界）的归一化解问题，特别是克服了有界域上无法使用全局缩放技巧的困难，通过单调性技巧成功构造了有界 PS 序列。
几何条件的优化： 在证明局部极小解存在性时，去除了“星形域”的限制；在证明第二个解存在性时，将适用范围从低维推广到了任意维数 $N \ge 3$ 。
非存在性结果的突破： 首次在有界凸域上针对大质量情形证明了索伯列夫临界/超临界问题的非存在性，揭示了质量大小对解的存在性的决定性影响。
Brézis-Nirenberg 问题的完整刻画： 在球域上给出了归一化 Brézis-Nirenberg 问题的完整二分性图谱（存在/不存在/多重解），完善了该经典问题在固定质量约束下的理论。

5. 总结

该论文通过结合变分法、几何分析（Pohozaev 恒等式、移动平面法）和精细的估计技术，深入探讨了有界域上非线性薛定谔方程归一化解的复杂行为。它不仅扩展了 Jeanjean 等人在全空间 $\mathbb{R}^N$ 上的经典理论到有界域，还针对组合非线性项和不同几何形状的区域给出了精细的存在性与非存在性判据，为相关领域的研究提供了重要的理论支撑。