Concentration, Local Uniqueness, and Morse Index of Multi-bubble Solutions for a Critical Exponential Biharmonic Choquard Equation

技术摘要：临界指数双调和 Choquard 方程多泡解的集中性、局部唯一性与 Morse 指数

问题陈述
本文研究了在有界区域 $\Omega \subset \mathbb{R}^4$ 上，正的多泡解（multi-bubble solutions）的存在性、局部唯一性、非退化性以及 Morse 指数。所研究的具体 Navier 问题为：
$$\begin{cases} \Delta^2 u = \varepsilon^{8-\alpha} K(x) e^{u(x)} \left( \int_{\Omega} \frac{K(y) e^{u(y)}}{|x-y|^\alpha} dy \right) & \text{in } \Omega, \\ u = \Delta u = 0 & \text{on } \partial\Omega, \end{cases}$$
其中 $0 < \alpha < 4$，$K \in C^4(\Omega)$ 为正函数，$\varepsilon > 0$ 是趋于零的小参数。该问题相对于 Adams 不等式（Trudinger-Moser 不等式的四阶类比）是临界的。非局部项涉及一个具有对数基本解的 Riesz 势，这使其区别于亚临界维度。

方法论
作者采用了有限维 Lyapunov–Schmidt 还原法。其核心方法论包括：

1. 近似解构造： 将近似解 $W_{t,\xi}$ 构造为投影“全空间泡”（entire bubbles）$PU_{\mu_i, \xi_i}$ 的和，其中这些“泡”是极限方程在 $\mathbb{R}^4$ 上的解。投影 $P$ 用于强制执行 Navier 边界条件。
2. 残差估计： 在加权范数下估计近似解的误差（残差），并仔细处理分离核心之间的非局部相互作用以及核心内部的自相互作用。
3. 线性化分析： 分析近似解周围的线性化算子 $L_\varepsilon$。关键步骤是识别极限算子在 $\mathbb{R}^4$ 上的核（kernel），该核由五个模态组成：四个平移模态和一个扩张（dilation）模态。作者引入特定的正交条件来消除这些核方向。
4. 容量修正： 这是分析中的一个新颖之处，即对扩张模态的处理。在尺度方向上的微分会暴露出极限算子中的一个负常数模态。作者证明，正交修正可以抵消该模态的一阶贡献，使得领先项受控于四维双调和容量（biharmonic capacity）。该容量项的缩放比例为 $|\log \varepsilon|^{-1}$。
5. 还原泛函： 问题被还原为寻找有限维泛函 $\tilde{J}_\varepsilon(t, \xi)$ 的临界点，其中 $t$ 代表尺度参数，$\xi$ 代表集中点。该泛函的展开表明，临界点由涉及系数 $K$、Navier Green 函数的正规部分 $H$ 以及 Green 函数 $G$ 本身的还原能量函数 $F_m(\xi)$ 所控制。

主要贡献与结果

• 多泡解的存在性：
  作者证明，还原函数 $F_m$ 的每一个 $C^1$-稳定临界点 $\xi^*$ 都会在 $\varepsilon$ 足够小时产生一个正的多泡解 $u_\varepsilon$。集中点 $\xi_{i,\varepsilon}$ 收敛至 $\xi^*$，且尺度 $\mu_{i,\varepsilon}$ 的数量级为 $\varepsilon^{-1}$。非线性源收敛至狄拉克质量之和：
  $$\varepsilon^{8-\alpha} K(x) e^{u_\varepsilon} \left( \int_{\Omega} \frac{K(y) e^{u_\varepsilon}}{|x-y|^\alpha} dy \right) \rightharpoonup M_\alpha \sum_{i=1}^m \delta_{\xi^*_i},$$
  其中 $M_\alpha = 8\pi^2(8-\alpha)$。

• 局部唯一性与非退化性：
  若 $F_m$ 的临界点 $\xi^*$ 是非退化的，则对应的多泡解在固定的缩放调制邻域内（在排列置换意义下）是局部唯一的。此外，该解处的线性化算子在空间 $H^2(\Omega) \cap H^1_0(\Omega)$ 中具有平凡核，从而建立了非退化性。

• Morse 指数公式：
  本文推导出了所构造解的 Morse 指数的精确公式。该指数由泡的数量和还原函数 $F_m$ 的 Hessian 矩阵决定：
  $$\text{ind}(u_\varepsilon) = m + \text{ind}(-D^2 F_m(\xi^*)).$$
  等价地，$\text{ind}(u_\varepsilon) = 5m - \text{ind}(D^2 F_m(\xi^*))$。

  • 项 $m$ 源于与泡的扩张模态相关的 $m$ 个负法向方向。
  • 项 $\text{ind}(-D^2 F_m(\xi^*))$ 源于对应于集中点的切向方向。
  • 还原 Hessian 中的扩张块被证明是正定的，其特征值数量级为 $|\log \varepsilon|^{-1}$，受临界双调和容量控制。

• 特定情况（单峰）：
  对于 $m=1$，一个严格非退化局部极大值 $F_1$ 产生 Morse 指数为 1 的解，而一个严格非退化局部极小值则产生 Morse 指数为 5 的解。

意义与主张
本文声称为有界 Navier 问题下的四阶指数 Choquard 方程提供了一个完整的有限维还原。作者强调了两个使该问题区别于标准二阶还原的机制：

1. 相互作用机制： 分离核心之间的直接 Riesz 相互作用是低阶的；领先的对相互作用是由 Navier 投影的正规部分（$H$）产生的。
2. 尺度方向与容量： 在尺度方向上的微分会暴露出一个负常数模态。通过正交修正抵消其一阶贡献，使得四维双调和容量成为尺度能量的领先项。该容量控制了尺度方向，并确保了还原 Hessian 中扩张块的正定性。

这项工作将四阶指数问题（此前已在局部方程中建立）的分类与爆破理论扩展到了非局部 Choquard 设定中，利用了来自全空间分类的谱事实（具体为 $S^4$ 上的核与负特征空间结构）作为有界区域还原的输入。结果确立了区域几何（通过 Green 函数）、权重函数 $K$ 与所得多泡解的拓扑性质（Morse 指数）之间的精确关系。