A priori bounds for energy-bounded solutions of critical polyharmonic equations

技术摘要：能量有界解的临界多重调和方程的先验界

问题陈述
本文研究了光滑有界区域 $\Omega \subset \mathbb{R}^n$（$n \ge 3$）中具有狄利克雷边界条件的临界多重调和方程：
$$\begin{cases} Lu = |u|^{2^\sharp-2}u & \text{在 } \Omega \text{ 内} \\ |\nabla^l u| = 0 & \text{对于 } 0 \le l \le k-1 \text{ 在 } \partial\Omega \text{ 上} \end{cases}$$
其中 $L$ 是一个偶数阶 $2k$（$1 \le k < n/2$）的椭圆微分算子，其主项为 $(-\Delta)^k$，低阶项涉及光滑对称张量 $A_l$。指数 $2^\sharp = \frac{2n}{n-2k}$ 是临界索伯列夫指数。作者致力于建立具有有界能量（$\int_\Omega |\nabla^k u|^2 dx \le \Lambda$）的解的一致先验界。该问题将著名的 Brézis-Nirenberg 问题（$k=1$ 的情形）推广到更高阶算子，并允许变号解。

方法论
作者采用反证法结合精细的渐近分析。核心策略是假设存在一个能量有界但发生爆破（即 $\|u_\alpha\|_{L^\infty} \to \infty$）的解序列 $(u_\alpha)$，并导出矛盾。

1. 气泡树分解：利用全局紧性结果（扩展了 Struwe 的分解），作者将 $(u_\alpha)$ 的爆破行为描述为弱极限 $u_0$ 与有限个“气泡”（集中剖面）的叠加。这些剖面是 $\mathbb{R}^n$ 中（内部气泡）或 $\mathbb{R}^n_+$ 中（边界气泡）极限方程的解。
2. 点态估计：一项核心的技术成就是推导了解与其气泡树近似之间差值的精确全局点态估计。这是通过以下方式实现的：
   • 建立极限方程及其线性化方程解的精确衰减率（命题 2.2，引理 2.4）。
   • 定义“影响半径”以将区域划分为特定气泡占主导的区域。
   • 证明围绕气泡树构型的线性化算子在加权空间中的一致可逆性（定理 4.1）。这涉及对气泡之间相互作用以及线性化算子核的微妙分析。
   • 利用非线性不动点论证（命题 5.3）证明实际解在强拓扑下由气泡树结构唯一确定。
3. Pohozaev 恒等式：最终的矛盾是通过对爆破序列应用多重调和 Pohozaev 恒等式获得的。作者分析了算子 $L$ 的低阶项对该恒等式的贡献。这些贡献的符号和大小对于导出矛盾至关重要。

主要贡献与结果

• 主定理（定理 1.1）：在最高阶低阶项张量 $A_p$ 满足特定强制性假设（条件 2.6）以及维数限制（$n > 6k - 4p$）下，能量有界解的集合在 $C^{2k}(\Omega)$ 中是紧致的。具体而言，在 $L$ 的系数受到微小扰动时，解存在一致的先验界。
• 尖锐性：当 $k=1$ 时，结果被证明是尖锐的。维数限制 $n \ge 7$ 是必要的，因为对于 $4 \le n \le 6$，变号解可能发生爆破。系数的非零条件也是必要的。
• 全局点态描述（定理 5.1）：本文提供了爆破解的新颖、详细的全局点态描述。与以往通常要求正性或仅限于流形的结果不同，该描述适用于一般区域中的变号解，包括边界集中。它在强范数下量化了解与气泡树近似之间的误差。
• 向高阶推广：虽然 $k=1$（Brézis-Nirenberg）的紧性结果已确立（例如 [DS02]），但本文提供了首个针对具有变号解和一般低阶项的多重调和临界方程（$k \ge 2$）的通用紧性结果。
• 强制性条件：作者引入了条件 (2.6)，要求低阶项与极限问题中任何非零有限能量解的梯度的积分保持恒定符号。该条件被一大类算子所满足，包括形式为 $L = (-\Delta)^k + \lambda(-\Delta)^p$ 的多重调和 Brézis-Nirenberg 算子。

意义与主张
作者声称，与以往关于 $k=1$ 的工作（依赖于 $|u|$ 的下解论证）相比，他们的方法代表了一种“根本不同”的策略。这种基于渐近分析和加权点态估计的新方法，允许同时处理所有阶数 $k \ge 1$，并能够处理变号解和边界气泡。

本文断言，定理 1.1 回答了关于高维（$n \ge 7$）Brézis-Nirenberg 问题爆破解存在性的几个开放性问题，具体表明爆破仅能发生在参数 $\lambda \to 0$ 时。此外，它建立了高阶临界多重调和方程的第一个通用紧性框架，填补了文献中关于区域中变号解的空白。这些结果被呈现为闭流形上类似发现的欧几里得对应版本。