Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

这篇论文题为《有界域上 NLS 方程在给定质量下的正解精确个数及变号解的存在性》（Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains），由 Linjie Song 和 Wenming Zou 撰写。文章主要研究了带有 $L^2$ 约束（即给定质量 $\mu$）的非线性薛定谔方程（NLS）在有界域上的解的存在性、多重性以及渐近行为。

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

1. 研究问题 (Problem Statement)

文章研究如下椭圆型方程的解 $(u, \lambda)$：
$$\begin{cases} -\Delta u + \lambda u = |u|^{p-2}u, & x \in \Omega, \\ u \in H^1_0(\Omega), \\ \int_{\Omega} |u|^2 dx = \mu, \end{cases}$$
其中：

• $\Omega \subset \mathbb{R}^N$ 是有界 $C^1$ 区域。
• $\mu > 0$ 是给定的质量（$L^2$ 范数）。
• $\lambda \in \mathbb{R}$ 是待定拉格朗日乘子。
• $p$ 是 Sobolev 次临界的，即 $2 < p < 2^*$（$2^* = \frac{2N}{N-2}$ 当 $N \ge 3$，否则为 $\infty$）。
• 能量泛函定义为 $E(u, \Omega) = \frac{1}{2}\int_\Omega |\nabla u|^2 dx - \frac{1}{p}\int_\Omega |u|^p dx$。

研究的核心目标是：

1. 确定正解的精确个数（特别是在 $L^2$ 超临界情形下）。
2. 证明变号解（Sign-changing solutions）的存在性，并研究当质量 $\mu \to 0^+$ 和 $\mu \to +\infty$ 时，解的能量和参数 $\lambda$ 的极限行为。
3. 区分 $L^2$ 次临界 ($2 < p < 2+4/N$)、临界 ($p = 2+4/N$) 和超临界 ($2+4/N < p < 2^*$) 三种情形。

2. 主要方法 (Methodology)

文章结合了多种变分方法和拓扑工具，构建了一个系统的框架：

• 亏格理论 (Genus Theory)： 用于寻找无穷多个变号解。通过构造对称集合族，利用亏格（genus）定义极小极大值，从而获得具有特定 Morse 指数的临界点。
• 下降流技术与流不变性 (Descending Flow Techniques & Flow Invariance)：
  • 为了处理 $L^2$ 约束下的梯度流，作者构造了一个伪梯度算子 $V = \text{Id} - G$，其中 $G$ 是某个线性方程的解。
  • 利用流不变性原理，证明流可以将解保持在正锥或负锥之外（即 $S^*(\delta)$ 集合），从而确保找到的临界点是变号的。
  • 这一技术解决了传统梯度流在 $L^2$ 约束下难以控制符号的问题。
• Morse 指数与爆破分析 (Morse Index & Blow-up Analysis)：
  • 利用 Morse 指数的有界性来研究解序列的紧性。
  • 当 $\lambda_n \to +\infty$ 时，利用爆破分析（Blow-up analysis）将解的行为与全空间 $\mathbb{R}^N$ 上的基态解联系起来，从而推导能量和 $\lambda$ 的渐近行为。
• 极小极大结构与鞍点定理 (Min-max Structure & Saddle-point Theorem)：
  • 为了寻找大能量、大 $\lambda$ 的变号解，作者推广了山路引理（Mountain Pass Lemma）的结构。
  • 引入参数 $\tau \in [1/2, 1]$ 构造一族泛函 $E_\tau$，利用单调性技巧（Monotonicity trick）和 [3] 中的定理，证明对于几乎所有的 $\tau$，存在具有特定 Morse 指数的临界点。
  • 特别地，当 $c_1^\tau = c_2^\tau$ 时，利用拓扑论证证明第二个临界点是变号的。
• 正解的精确计数： 针对单位球 $B_1$ 和 $L^2$ 超临界情形，通过分析 $L^2$ 范数关于 $\lambda$ 的单调性（利用 Pohozaev 恒等式和缩放性质），证明了对于小质量 $\mu$，正解恰好有两个。

3. 主要结果 (Key Results)

3.1 变号解的多重性与渐近行为 (Theorem 1.1)

对于一般的有界 $C^1$ 区域 $\Omega$：

• $L^2$ 次临界 ($2 < p < 2+4/N$)： 对任意 $\mu > 0$，存在无穷多个变号解 $\{u_{\mu, j}\}_{j \ge 1}$。
  • 当 $j \to \infty$ 时，能量 $E(u_{\mu, j}) \to +\infty$。
  • 当 $\mu \to 0^+$ 时，能量 $E(u_{\mu, j}) \to 0$，且 $-\lambda_{\mu, j}$ 收敛到 $-\Delta$ 的第 $j+1$ 个 Dirichlet 特征值（特别地，$-\lambda_{\mu, 1} \to \lambda_2(\Omega)$）。
  • 当 $\mu \to +\infty$ 时，能量 $E(u_{\mu, j}) \to -\infty$，且 $\lambda_{\mu, j} \to +\infty$。
• $L^2$ 临界 ($p = 2+4/N$)： 存在 $\bar{\mu} > 0$，使得当 $0 < \mu < \bar{\mu}$ 时，存在无穷多个变号解，具有类似的渐近性质。
• $L^2$ 超临界 ($2+4/N < p < 2^*$)： 对于任意正整数 $j$，存在 $\mu^*_{p,j}$，使得当 $0 < \mu < \mu^*_{p,j}$ 时，存在至少 $j$ 个不同的变号解。当 $\mu \to 0^+$ 时，这些解的能量趋于 0，$-\lambda$ 趋于相应的 Dirichlet 特征值。

创新点： 这是首次在有界域上针对给定质量的 NLS 方程证明存在无穷多个变号解的结果。之前的文献通常只关注正解或有限个解。

3.2 正解的精确个数 (Theorem 1.2)

针对单位球 $B_1$ 和 $L^2$ 超临界情形 ($pc < p < 2^*$)：

• 存在与 $\tau \in [1/2, 1]$ 无关的 $\mu^*_{p,0}$，使得当 $0 < \mu < \mu^*_{p,0}$ 时，方程恰好有两个正解 $u_{\mu, \tau}$ 和 $\tilde{u}_{\mu, \tau}$。
• 渐近行为：
  • 解 $u_{\mu, \tau}$：能量趋于 0，$\lambda_{\mu, \tau} \to -\lambda_1(B_1)$（第一特征值）。
  • 解 $\tilde{u}_{\mu, \tau}$：能量趋于 $+\infty$，$\tilde{\lambda}_{\mu, \tau} \to +\infty$。
• 这一结果不依赖于 $\tau$ 的具体值，且对 $\mu$ 足够小的要求是统一的。

3.3 大能量变号解的存在性 (Theorem 1.4)

针对单位球 $B_1$ 和 $L^2$ 超临界情形：

• 存在 $\mu^{**}_p > 0$，使得当 $0 < \mu < \mu^{**}_p$ 时，存在一个变号解 $u_{sc, \mu}$。
• 关键性质： 当 $\mu \to 0^+$ 时，该解的能量 $E(u_{sc, \mu}) \to +\infty$，且拉格朗日乘子 $\lambda_{sc, \mu} \to +\infty$。
• 意义： 这一结果依赖于正解精确个数的结论（Theorem 1.2）。通过构造极小极大结构，证明了存在一个不同于正解的变号临界点，并利用下降流技术排除了其收敛到正解的可能性。

4. 技术难点与突破

1. 变号解的构造： 在有 $L^2$ 约束的情况下，传统的下降流方法难以直接应用，因为约束流可能破坏符号结构。作者通过构造特殊的伪梯度算子 $V$ 并证明其在正/负锥附近的流不变性，成功解决了这一问题。
2. Morse 指数的控制： 为了处理超临界情形下的紧性问题，作者利用亏格理论和抽象工具（Theorem 6.3）获得了具有有界 Morse 指数的 Palais-Smale 序列，进而通过爆破分析控制解的渐近行为。
3. 正解唯一性与多重性的精细分析： 在超临界情形下，通常认为正解可能不唯一。作者通过精细分析 $L^2$ 范数关于 $\lambda$ 的单调性曲线，严格证明了在单位球上对于小质量恰好有两个正解，这为寻找大能量变号解提供了关键的拓扑障碍（即山路结构中的两个正解作为“山峰”）。

5. 结论与意义 (Significance)

• 理论贡献： 填补了有界域上给定质量 NLS 方程变号解研究的空白，特别是证明了次临界情形下无穷多解的存在性。
• 方法论创新： 发展了一套结合亏格理论、下降流、流不变性以及 Morse 指数估计的完整框架，该方法不仅适用于 NLS 方程，也可推广到其他带有 $L^2$ 约束的非线性椭圆问题。
• 物理背景： 给定质量的 NLS 方程对应于非线性 Schrödinger 方程中的孤子解（Solitons）或基态解，其存在性和稳定性在量子力学和流体力学中有重要应用。理解变号解（对应激发态）的性质对于物理系统的稳定性分析至关重要。
• 未来方向： 文章指出，虽然正解精确个数的结果目前仅限于单位球，但该方法有望推广到更一般的凸区域，这将是未来的研究方向。

综上所述，该论文通过严谨的变分分析和拓扑工具，系统地解决了有界域上 NLS 方程在给定质量下的正解计数和变号解存在性问题，特别是在超临界情形下取得了突破性的进展。