Complete Spectrum and Sharp Local Stability for the Critical Exponential Biharmonic Choquard Equation in $\mathbb R^{4}$

技术摘要：$\mathbb{R}^4$ 中临界指数双调和 Choquard 方程的全谱分析与尖锐局部稳定性

问题陈述
本文研究了四维空间中的临界指数双调和 Choquard 方程：
$$\Delta^2 u = \left( \int_{\mathbb{R}^4} \frac{e^{u(y)}}{|x-y|^\alpha} dy \right) e^{u(x)}, \quad 0 < \alpha < 4.$$
该方程结合了四维 Liouville 方程的对数共形结构与临界 Riesz 相互作用。作者的主要研究目标有两个：

1. 分类： 证明每一个正规分布意义下的有限质量解都是一个显式的“泡泡”（即特定剖面的平移与缩放）。
2. 谱分析与稳定性： 对这些共形泡泡处的线性化算子进行完整的谱分解，并推导出相关 Adams–Choquard 缺陷泛函的尖锐局部稳定性估计。

方法论
作者采用共形几何方法，利用立体投影将问题从 $\mathbb{R}^4$ 映射到单位球面 $S^4$ 上。

• 归约与分类： 作者首先处理非线性分类问题。他们假设了解的“正规分布”表示形式（排除非常数双调和余项）并满足有限质量条件。通过证明正则性、建立精确的远场渐近性质并验证 Niu 高阶分类定理的假设，作者将问题归约为已知结果，从而确认所有此类解均为显式泡泡 $U_{\mu, \zeta}$。
• 共形转移： $\mathbb{R}^4$ 上的线性化方程被转化为 $S^4$ 上的球面算子 $L_\alpha$。一个关键的技术步骤是处理“极点缺陷”（pole defect）。由于四维中双调和算子的格林函数是对数型的，在 $\mathbb{R}^4$ 中的一个加权 $L^2$ 函数在理论上可能对应于在立体投影极点处带有 Dirac 质量或其一阶导数的分布。作者证明，通过将缺陷与前五个球面调和函数（这些函数位于算子的核内）进行配对，可以消除所有此类系数，从而在不预先假设欧几里得有界性的情况下，在球面上得到一个全局方程。
• 谱分析： 算子 $L_\alpha$ 被识别为 Paneitz 算子 $P_4^{S^4}$ 的一个有界的零阶扰动，并带有一个紧的 Riesz 分量。通过利用 Funk–Hecke 公式，作者利用球面调和函数基 $H_k$ 同时对 $L_\alpha$ 和球面 Riesz 算子 $R_\alpha$ 进行对角化。这使得显式计算整个谱成为可能。
• 稳定性分析： 利用完整的谱，作者分析了 Adams–Choquard 缺陷泛函的 Hessian。他们采用最近点调制（nearest-point modulation）方法将函数投影到极值流形（$M_\alpha$）上，从而将共形方向（核）与横向方向分离。

主要贡献与结果

1. 解的分类（定理 1.1）：
   作者证明任何正规分布意义下的有限质量解 $u$ 均具有如下形式：
   $$u(x) = \frac{8-\alpha}{2} \log \left( \frac{C_\alpha \mu}{1 + \mu^2 |x-\zeta|^2} \right),$$
   其中 $\mu > 0$，$\zeta \in \mathbb{R}^4$，且 $C_\alpha$ 为特定常数。这证实了在上述假设下，“泡泡”是唯一的解。

2. 完全谱分解（定理 1.2）：
   $S^4$ 上线性化算子 $L_\alpha$ 的谱被显式确定。特征值由下式给出：
   $$\Lambda_k(\alpha) = k(k+1)(k+2)(k+3) - \kappa_\alpha (\mu_k(\alpha) + \mu_0(\alpha)),$$
   其中 $\mu_k(\alpha)$ 是 Riesz 核的 Funk–Hecke 特征值。

   • Morse 指数： 其 Morse 指数恰好为 1（对应于常数模 $H_0$）。
   • 核（Kernel）： 核是 五维 的，由前五个球面调和函数 $H_1$（对应于 $\mathbb{R}^4$ 中的平移与缩放）所生成。
   • 强制性（Coercivity）： 对于所有更高阶的模（$k \ge 2$），特征值严格大于零。作者建立了一个一致的强制性估计：对于 $\Phi \perp H_0 \oplus H_1$，有 $\langle L_\alpha \Phi, \Phi \rangle \ge \frac{4}{5} \langle P_4^{S^4} \Phi, \Phi \rangle$。

3. 尖锐局部稳定性（定理 1.5）：
   论文推导了 Adams–Choquard 缺陷泛函 $D_\alpha(\Phi)$ 在极值流形 $M_\alpha$ 附近的尖锐局部稳定性不等式。
   $$D_\alpha(\Phi) \ge c_\alpha d_P(\Phi, M_\alpha)^2$$
   其中 $d_P$ 是 Paneitz 距离。至关重要的是，作者计算了缺陷与距离平方之比的最优渐近常数 $\gamma_\alpha$：
   $$\lim_{\varepsilon \downarrow 0} \inf_{0 < d_P < \varepsilon} \frac{D_\alpha(\Phi)}{d_P(\Phi, M_\alpha)^2} = \gamma_\alpha = \frac{160 - 12\alpha - \alpha^2}{40(10 - \alpha)}.$$
   该常数由第二球面调和模（$k=2$）决定，它是唯一的最低正模。

4. 欧几里得形式（推论 6.7）：
   研究结果被转回 $\mathbb{R}^4$，提供了一个涉及双调和能量与 Choquard 相互作用的尖锐不等式，其中等号恰好对于显式泡泡剖面成立。

意义与主张
作者声称，这项工作的核心创新在于对线性化算子的完全谱分解以及尖锐局部稳定性常数的推导。

• 谱的创新性： 不同于以往可能仅建立非退化性（核信息）的工作，本文提供了完整的谱，包括负特征值、核以及向正谱的间隙。
• 尖锐性： 本文的特点在于计算了局部稳定性估计中精确的最优常数 $\gamma_\alpha$。该常数显式依赖于 Riesz 参数 $\alpha$，并且严格大于一致强制性常数（$4/5$），反映了第二球面调和函数的特定几何特性。
• 方法论的严谨性： 作者强调了在共形转移过程中对“极点缺陷”处理的严谨性，确保了球面算子在不依赖先验欧几里得有界性或 Kelvin 变换的情况下也是良定义的。
• 对比： 该工作被定位为平面（二阶）指数 Choquard 结果的高阶（四阶）类比，并指出四阶问题具有真正的 Paneitz 谱和临界对数极点，而四维中的指数模型具有零共形权重，这有利于对角化。

论文并未声称全局稳定性（Bianchi–Egnell 型估计），而是将其稳定性断言限制在极值流形的局部邻域内，这与谱间隙分析的局限性相一致。