Multiple sign-changing and semi-nodal normalized solutions for a Gross-Pitaevskii type system on bounded domains: the $L^2$-supercritical case

技术摘要：有界区域上 Gross-Pitaevskii 型系统中的多重变号及半节点归一化解

问题陈述
本文研究了在有界正则区域 $\Omega \subset \mathbb{R}^N$（具体针对维度 $N=3,4$）上，关于 Gross-Pitaevskii 型非线性耦合椭圆系统的归一化解的存在性与多重性。该系统由下式给出：
$$\begin{cases} -\Delta u_j + \lambda_j u_j = \mu_j u_j^3 + \sum_{k=1, k \neq j}^m \beta_{kj} u_k^2 u_j, & u_j \in H_0^1(\Omega), \\ \int_\Omega u_j^2 dx = c_j, & j = 1, \dots, m, \end{cases}$$
其中 $c_j > 0$ 是给定的常数，代表 $L^2$ 范数（质量），而 $\lambda_j$ 是未知的拉格朗日乘子（化学势）。系数 $\mu_j$ 和 $\beta_{kj}$ 代表组内和组间散射长度，允许取任何非零值（聚焦/去聚焦、吸引/排斥或混合相互作用）。

本研究侧重于 $L^2$-超临界情形（即 $4 > 2 + 4/N$），在此情形下，相关的能量泛函无下界。主要目标是建立变号解（所有分量均改变符号）和半节点解（部分分量改变符号，其余为正）的归一化解的存在性，这类解在有界区域上的多耦合系统中此前缺乏相关研究结果。

方法论
作者采用了一种约束在乘积流形 $S_{\vec{c}} = \{ \vec{u} \in H_0^1(\Omega, \mathbb{R}^m) : \int_\Omega u_j^2 = c_j \}$ 上的变分方法。其核心技术框架包括：

1. 向量链接与部分向量链接： 文中引入了一种全新的“向量链接”（vector linking）技术，用于处理乘积流形上的问题。

   • 向量链接： 用于构造产生变号解的极小极大值（minimax values）。这涉及将一个紧集 $A$（由特征函数构造）链接到一个子集 $S_k^\perp$（由前 $k$ 个特征函数生成的子空间的正则补空间）。
   • 部分向量链接： 这是专门为半节点解引入的新颖创新。该技术通过投影映射 $T_d$ 将集合 $A$ 链接到 $S_{k,d}^\perp$，其中 $T_d$ 是对前 $d$ 个分量的投影，从而实现隔离变号分量并保持其他分量为正。

2. 乘积流形上的流不变性： 为了处理缺乏紧性以及约束集特定的几何结构，作者将 Brezis-Martin 结果（原用于 Banach 空间）推广到了乘积流形的情形。他们构造了一个下降流（使用梯度或伪梯度向量场），该流保持特定的不变集（例如，分量为正或变号的集合）。这确保了获得的极小极大临界点能够保留所需的节点特性。

3. 处理 $L^2$-超临界性： 由于能量泛函无下界，作者将搜索范围限制在约束集的一个有界子集 $B_\rho$ 内。他们建立了精确的估计以确保存在有界的 Palais-Smale 序列，并在特定的能量范围内验证了 Palais-Smale 条件，特别是在处理 Sobolev 临界情况（$N=4$，即嵌入 $H_0^1(\Omega) \hookrightarrow L^4(\Omega)$ 不具有紧性时）的情况。

4. 分歧分析： 作者分析了归一化解及其拉格朗日乘子在质量向量 $\vec{c} \to \vec{0}$ 时的渐近行为。这种极限分析被用于表征从平凡解处的分歧点。

关键结果

• 变号解的多重性（定理 1.2）： 对于任何正整数 $j$，存在一个阈值 $\tilde{c}_j$，若质量比例满足特定的微小性条件，则该系统至少存在 $j$ 个不同的变号归一化解。
• 半节点解的多重性（定理 1.3）： 对于任何整数 $d$（$1 \le d \le m-1$）和任何正整数 $j$，存在一个阈值 $\tilde{c}_{j,d}$，使得该系统至少存在 $j$ 个半节点归一化解，其中前 $d$ 个分量改变符号，剩余 $m-d$ 个分量为正。
• 分歧点（定理 1.9 & 1.10）：
  • 非平凡分歧点（即非平凡解从零处分支）的集合恰好是向量 $(\lambda_1, \dots, \lambda_m)$ 的集合，其中每个 $\lambda_i$ 都是 $-\Delta$ 在 $H_0^1(\Omega)$ 上的特征值。
  • 半平凡分歧点（即具有某些零分量的解从零处分支）的集合通过至少一个 $\lambda_i$ 为特征值来表征。具体而言，$d$-半平凡分歧点对应于恰好有 $d$ 个分量为特征值的向量。
• 普适性： 结果对系数 $\mu_j$ 和 $\beta_{kj}$ 的所有情形均成立（纯聚焦、纯去聚焦、混合、吸引、排斥或混合相互作用）。

意义与主张
本文声称提供了文献中关于有界区域上多耦合 Gross-Pitaevskii 系统中存在变号及半节点归一化解及其多重性的首个结果。

• 方法论创新： 作者强调，“向量链接”方法从未被应用于处理同时涉及固定质量和固定频率问题的耦合系统。引入“部分向量链接”被强调为构造半节点解的一种新颖方法。
• 填补空白： 本工作解决了有界区域上归一化解研究中的一个重要空白，此前的文献主要局限于正解或单方程情形。
• 分歧表征： 作者通过拉格朗日乘子对零解进行了完整的分歧点表征，这一方向在以往的研究中被认为对于此类系统是未被探讨的（不同于单方程情形）。

作者指出，其方法具有足够的鲁棒性，可以推广到不一定为偶函数的更一般的非线性 $f$ 和 $g$。他们明确表示，其结果填补了在 $L^2$-超临界情形下对这些耦合系统理解上的理论空白。