Normalized solutions of quasilinear Schrödinger-Poisson system with critical nonlinear term in bounded domain

以下是基于论文《Normalized solutions of quasilinear Schrödinger-Poisson system with critical nonlinear term in bounded domain》（有界域上具有临界非线性项的拟线性 Schrödinger-Poisson 系统的归一化解）的详细技术总结：

1. 研究问题 (Problem)

本文主要研究定义在有界区域 $\Omega_r \subset \mathbb{R}^3$ 上的拟线性 Schrödinger-Poisson 耦合系统的归一化解（Normalized Solutions）。该系统受质量约束条件限制，具体形式如下：

$$\begin{cases} -\Delta u + \phi u + \lambda u = |u|^{q-2}u + |u|^4u, & x \in \Omega_r, \\ -\Delta \phi - \varepsilon^4 \Delta_4 \phi = u^2, & x \in \Omega_r, \\ u = \phi = 0, & x \in \partial \Omega_r, \end{cases}$$

约束条件为：
$$\int_{\Omega_r} |u|^2 dx = b^2$$

关键参数与难点：

• 参数 $\lambda$：作为未知频率参数出现，是解的一部分（拉格朗日乘子）。
• 参数 $\varepsilon$：正参数，$\Delta_4 \phi = \text{div}(|\nabla \phi|^2 \nabla \phi)$ 为 4-Laplacian 算子。当 $\varepsilon \to 0$ 时，系统退化为经典的线性 Poisson 方程系统。
• 非线性项：包含次临界项 $|u|^{q-2}u$（其中 $q \in (2, 8/3)$）和临界项 $|u|^4u$（对应 Sobolev 临界指数 $2^*=6$ 的一半，但在能量泛函中表现为 $L^6$ 临界增长）。
• 主要挑战：
  1. 缺乏极值几何结构：在固定 $L^2$ 范数（归一化）的情况下，能量泛函通常没有下界或极小值结构，无法直接使用极小化方法。
  2. 紧性缺失：由于存在临界非线性项（$|u|^4u$）以及拟线性项（$\Delta_4 \phi$），相关的能量泛函不满足标准的紧性条件（Palais-Smale 条件），导致变分法中的收敛性难以保证。

2. 方法论 (Methodology)

为了克服上述困难，作者采用了一套组合策略：

1. 降维与约化 (Reduction Method)：

   • 利用 Poisson 方程 $-\Delta \phi - \varepsilon^4 \Delta_4 \phi = u^2$ 的唯一可解性，将 $\phi$ 表示为 $u$ 的函数 $\phi_\varepsilon(u)$。
   • 将原耦合系统转化为仅关于 $u$ 的单变量能量泛函 $E(u)$，定义在流形 $S_{r,b} = \{u \in H^1_0(\Omega_r) : \|u\|_2 = b\}$ 上。

2. 截断技术 (Truncation Method)：

   • 由于临界项导致泛函在无穷远处行为不可控，作者引入了一个光滑截断函数 $T(\|\nabla u\|_2)$。
   • 构造截断后的泛函 $E_T(u)$，使得在能量较低（梯度范数较小）的区域，$E_T(u)$ 与原泛函 $E(u)$ 一致；而在高能区域，截断项抑制了临界项的发散，从而恢复泛函的强制性（coercivity）和下有界性。

3. 亏格理论 (Genus Theory)：

   • 利用 Krasnoselskii 亏格（Genus）理论，在对称流形 $S_{r,b}$ 上定义极小极大值水平 $d_k$。
   • 通过证明截断泛函满足 $(PS)_d$ 条件（Palais-Smale 紧性条件），利用亏格理论证明存在至少 $k$ 对不同的临界点（即多解性）。

4. 集中紧性原理 (Concentration-Compactness Principle)：

   • 针对临界指数带来的紧性丢失问题，应用 Lions 的集中紧性原理。
   • 通过分析 Palais-Smale 序列的弱极限，证明测度集中现象（concentration）不会发生（即集中点集为空），从而确保序列的强收敛性，进而验证 $(PS)$ 条件。

5. 渐近分析 (Asymptotic Analysis)：

   • 研究 $\varepsilon \to 0$ 时的极限行为，证明拟线性系统的解收敛于经典 Schrödinger-Poisson 系统（$\varepsilon=0$）的解。

3. 主要结果 (Key Results)

定理 1.1 (多解性存在性)：
对于任意固定的正整数 $k$，存在一个常数 $b^* > 0$，使得当质量参数 $b \in (0, b^*)$ 时，系统 (1.1) 至少存在 $k$ 个互不相同的归一化解 $(u_j, \phi_j, \lambda_j)$，满足：
$$\int_{\Omega_r} |u_j|^2 dx = b^2, \quad j = 1, 2, \dots, k$$
注：该结果依赖于非线性指数 $q$ 被限制在 $(2, 8/3)$ 范围内，以确保能量泛函在截断后具有合适的几何结构。

定理 1.2 (渐近收敛性)：
对于上述得到的解序列 $(u_{j,\varepsilon}, \phi_{j,\varepsilon}, \lambda_{j,\varepsilon})$，当 $\varepsilon \to 0$ 时，存在子序列收敛于经典 Schrödinger-Poisson 系统（$\varepsilon=0$）的解 $(u_{j,0}, \phi_{j,0}, \lambda_{j,0})$。具体收敛性为：

• $u_{j,\varepsilon} \to u_{j,0}$ 在 $H^1_0(\Omega_r)$ 中强收敛。
• $\phi_{j,\varepsilon} \to \phi_{j,0}$ 在 $H^1_0(\Omega_r)$ 中强收敛。
• 其中 $(u_{j,0}, \phi_{j,0})$ 满足 $\varepsilon=0$ 时的线性 Poisson 方程系统。

4. 关键贡献与创新点 (Key Contributions)

1. 归一化框架下的多解性：
   在固定 $L^2$ 范数（物理上的粒子数守恒）的约束下，处理具有临界增长非线性的拟线性系统。以往研究多关注固定频率 $\lambda$ 的情况，而本文解决了 $\lambda$ 作为未知量的归一化问题。

2. 克服临界性与拟线性项的双重困难：
   结合了截断技术与集中紧性原理。截断技术解决了泛函无下界的问题，而集中紧性原理解决了临界指数导致的紧性缺失问题。这种方法有效地处理了拟线性项 $\Delta_4 \phi$ 带来的非局部和非线性耦合复杂性。

3. 参数范围的选择：
   通过精细选择非线性指数 $q \in (2, 8/3)$，作者成功构造了能量泛函的局部极值结构，使得在归一化流形上可以应用亏格理论获得多解。这一范围的选择是绕过传统极小化方法失效的关键。

4. 从拟线性到线性的渐近过渡：
   严格证明了当非线性的 Poisson 项参数 $\varepsilon \to 0$ 时，拟线性系统的解收敛于经典线性 Poisson 系统的解，建立了两类模型之间的数学联系。

5. 意义与影响 (Significance)

• 理论价值：本文扩展了拟线性 Schrödinger-Poisson 系统的理论框架，特别是在有界域和归一化约束下的多解性研究方面填补了空白。它展示了如何结合变分法、拓扑学（亏格）和分析学（集中紧性）来解决高度非线性的耦合 PDE 问题。
• 物理背景：该系统模型描述了半导体纳米结构中量子限制效应与纵向电场振荡的相互作用。归一化解对应于物理上粒子数固定的量子态，因此该研究为理解超小尺度半导体器件中的量子现象提供了更坚实的数学基础。
• 方法论推广：文中使用的截断结合集中紧性的策略，为处理其他具有临界增长和拟线性项的变分问题提供了可借鉴的范式。

综上所述，该论文通过严谨的变分分析，成功证明了在有界域内具有临界非线性的拟线性 Schrödinger-Poisson 系统存在多组归一化解，并分析了其渐近行为，是该领域的重要进展。