A Pohozaev-type neck proof of a conditional Harnack inequality in the critical $p$-Laplacian setting

技术摘要：在临界 $p$-Laplacian 设置下通过 Pohozaev 型颈部证明条件 Harnack 不等式

问题陈述
本文研究了如下临界拟线性方程的正弱解的正则性和定量行为：
$$-\Delta_p u = g(u) \quad \text{在 } \Omega \subset \mathbb{R}^n \text{ 中},$$
其中 $1 < p < n$，$\Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u)$ 是 $p$-Laplacian，且非线性项 $g$ 满足临界 Sobolev 生长条件（具体而言，当 $s \to \infty$ 时，$g(s) \sim s^{p^*-1}$，其中 $p^* = \frac{np}{n-p}$）。

核心目标是建立一种形式如下的 Harnack 不等式：
$$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n},$$
该不等式提供了奇异解的点值描述，并为爆发分析（blow-up analysis）提供了理论基础。

方法论背景与障碍
在半线性情形（$p=2$）下，此类不等式由 Schoen 建立，随后由 Li 和 Zhang 利用 移动球（或移动平面）方法 进行了扩展。该方法高度依赖于 Kelvin 变换，后者利用了 Laplacian 的共形不变性。

然而，对于 $p \neq 2$ 的情况，$p$-Laplacian 不具备共形不变性，这使得 Kelvin 变换及相关的移动球方法无法使用。这种缺失构成了将经典的分类和 Harnack 结果推广到一般临界 $p$-Laplacian 设置中的一个真正的障碍。

方法论：Pohozaev-颈部（Pohozaev-neck）论证
为了克服缺乏共形不变性的问题，作者开发了一种 Pohozaev-颈部论证。该方法利用基于 Pohozaev 恒等式和孤立奇异性结构的解析论证，取代了 $p=2$ 情形中的几何反射技术。其方法论通过以下步骤进行：

1. 结构符号条件： 在 $s \mapsto s^{-(p^*-1)}g(s)$ 是非增的假设下，作者建立了正则解在球体上的 Pohozaev 泛函是非负的。
2. 奇异性分析： 作者利用 Kichenassamy–Véron 极点定理来分析孤立奇异性附近的解的行为。他们证明，如果解在其渐近展开式 $u(x) \sim \kappa|x|^{-\alpha} + \beta$ 中具有“正则部分”（非零常数项 $\beta$），则奇异点处的 Pohozaev 泛函将是严格 负 的。
3. 颈部引理 (Lemma 3.7)： 这是核心技术贡献。该引理假设在归一化的颈部区域上存在一个“初步”的奇异衰减率（具体为 $|x|^{-(n-p)/p}$）。通过将解缩放到“颈部”尺度，作者构造了一个极限剖面（limit profile）：
   • 如果衰减速度慢于锐利速率，则极限剖面将拥有一个正的正则部分（$\beta > 0$）。
   • 这将导致一个负的 Pohozaev 值。
   • 然而，由于原方程的 Pohozaev 符号条件（通过 $g$ 的单调性继承而来），该值必须是非负的。
   • 这种矛盾迫使正则部分消失，从而将初步的衰减率升级为 锐利的 $p$-调和基本速率 $|x|^{-(n-p)/(p-1)}$。

关键假设（条件性性质）
主要结果是有条件的，依赖于两个显式假设：

1. 整体分类假设： 对于临界方程 $-\Delta_p V = g_A(V)$ 在 $\mathbb{R}^n$ 中的每一个有界的正整体弱解（其中 $g_A$ 代表非线性的爆发极限），都必须是一个 Aubin–Talenti $p$-泡泡（$p$-bubble）。
2. 初步颈部控制： 存在一个关于归一化颈部解的初步上界，形式为 $v_j(y) \leq C|y|^{-(n-p)/p}$。

主要结果

• 定理 1.3 (Harnack 不等式)： 在 $g$ 的结构假设（假设 1.1）和上述两个假设（假设 1.2）下，对于 $B_{3R}$ 中的任何正弱解，该条件 Harnack 不等式成立。
• 锐利衰减升级： 本文证明了 Pohozaev-颈部论证成功地将初步的奇异衰减率 $|x|^{-(n-p)/p}$ 升级到了锐利速率 $|x|^{-(n-p)/(p-1)}$，而这对于 $\sup \times \inf$ 估计是必要的。
• 无条件情形： 作者指出，在纯幂函数情形 $g(s) = L s^{p^*-1}$ 下，分类假设在特定的 $n$ 和 $p$ 范围内（例如 $n \leq 6$ 或 $n \geq 7$ 且 $p > n/3$）是已知的，这使得定理在这些情形下是无条件的。此外，如果假设了尺度不变的临界能量界，分类和初步控制可以从现有的有限能量理论中得出，从而使结果变为无条件。

意义与主张
本文声称提供了第一个针对临界 $p$-Laplacian（$p \neq 2$）的条件 Harnack 不等式的证明，且该证明不依赖于共形不变性。

• 方法论转向： 它引入了基于 Pohozaev 的“颈部引理”，作为在非共形不变设置下分析爆发现象的一种可行的替代方案，以取代 Kelvin 变换。
• 弥合差距： 该工作将局部爆发分析（颈部行为）与全局分类结果联系起来。它明确指出，一般情形的困难在于可能存在不是 Aubin–Talenti 泡泡（无限能量极限）的有界整体解，而这种情况已被分类假设所排除。
• 局限性： 作者对研究范围持谨慎态度，承认如果没有分类假设（或能量界），是否存在非泡泡整体解仍然是一个开放性的障碍。该结果被呈现为一个有条件的进展，取决于整体解分类假设的有效性。

结论
本文通过用解析 Pohozaev 恒等式取代几何共形方法，建立了一个分析临界 $p$-Laplacian 方程的稳健框架。它成功地在假设整体解的分类行为与半线性情形相似的前提下，推导出了一个锐利的 Harnack 不等式，从而将分类问题孤立为实现完全无条件结果的唯一剩余障碍。