Liouville type theorems for fully nonlinear elliptic equations with superlinear growth in gradient

技术摘要：具有超线性梯度增长的完全非线性椭圆方程的 Liouville 型定理

问题陈述
本文研究了在外部区域（$\mathbb{R}^n \setminus B_{R_0}$）中，由 Pucci 極值算子驱动的完全非线性椭圆方程组的正超解（positive supersolutions）的不存在性问题。该系统如下：
$$\begin{cases} -M^+_{\lambda,\Lambda}(D^2u) + |\nabla u|^q \ge \lambda_1 f_1(v) & \text{在 } \mathbb{R}^n \setminus B_{R_0} \text{ 内}, \\ -M^+_{\lambda,\Lambda}(D^2v) + |\nabla v|^q \ge \lambda_2 f_2(u) & \text{在 } \mathbb{R}^n \setminus B_{R_0} \text{ 内}, \end{cases}$$
其中 $n \ge 2$，$q > 1$，$\lambda_1, \lambda_2 > 0$，且 $f_1, f_2$ 是在原点附近或无穷远处表现出幂函数行为的非减函数。本研究关注的是 Sobolev 正则性类 $W^{2,p}_{loc}$（$p > n$）内的解，而非经典的 $C^2$ 框架，这是完全非线性一致椭圆方程的自然正则性。

方法论
作者开发了一个框架，以克服缺乏点状二阶可微性以及缺乏典型于完全非线性方程的变分结构或积分恒等式的问题。该方法依赖于以下几个关键技术工具：

1. 径向简化与分类： 利用比较原理和 Pucci 算子的旋转不变性，作者建立了一个结论：即一般正超解的存在性蕴含了正径向对称超解的存在性。他们将这些径向解分为两类：趋于零的衰减型解以及表现出爆炸行为（$u, v \to +\infty$）的爆炸型解。
2. 有效维度： 引入了一个核心概念——“有效维度” $e_n^+ = \frac{\lambda}{\Lambda}(n-1) + 1$。在涉及 Pucci 算子的解的定性分析中，该量取代了欧几里得维度 $n$。
3. 非线性变换与单调性： 为了处理 $W^{2,p}$ 正则性，作者采用了适应梯度结构的非线性变换。他们利用绝对连续径向剖面的水平交叉原理（level-crossing principles）以及辅助量的横截性质，来建立解的最终单调性和凸性。
4. 梯度主导与倍增论证： 分析过程涉及导出精确的下界和上界衰减估计。对于 $q > q_c$ 的情况，作者将“倍增引理”（由 Birindelli 和 Demengel 引入）应用于 Pucci 设置，通过执行重标度（rescaling）论证来导出极限方程并寻找矛盾。
5. 临界指数： 研究确定了一个控制超解定性行为的临界指数 $q_c = \frac{e_n^+}{e_n^+ - 1}$。分析被分为三个区间：$q < q_c$，$q = q_c$ 以及 $q > q_c$。

主要贡献与结果

• 尖锐的 Liouville 型定理： 本文建立了外部区域内正超解不存在性的最优判别准则。这些结果是尖锐的，即如果不存在性的条件被违反，则可以构造出显式的正超解。
• 正则性水平： 不同于以往关于类似系统（例如 Burgos-Pérez 和 García-Melián）依赖于 $C^2$ 解的工作，本研究在 $W^{2,p}_{loc}$（$p>n$）水平上建立了理论，这是完全非线性方程的标准正则性。
• 有效维度的作用： 作者证明了不存在性的临界阈值是由梯度指数 $q$、有效维度 $e_n^+$ 以及非线性项 $f_1, f_2$ 的渐近行为之间的相互作用决定的。
• 区间分析：
  • 情况 $1 < q < q_c$： 当 $p_1 p_2 \le q^2$ 或涉及指数 $\alpha_1, \alpha_2$ 与临界值 $\beta = \frac{2-q}{q-1}$ 的特定不等式成立时，证明了不存在性。
  • 情况 $q = q_c$： 当 $p_1 p_2 \le q_c^2$ 以及特定的 $p_1 p_2 > q_c^2$ 范围内，推导出了不存在性结果。
  • 情况 $q > q_c$： 分析变得更加复杂，涉及两对临界指数（$\bar{\alpha}_i$ 和 $\hat{\alpha}_i$）。论文提供了基于这些指数与有效维度之间相互作用的不存在性条件。
  • 爆炸行为： 论文还讨论了在无穷远处爆炸的超解，证明了在非线性项满足特定条件下的不存在性（定理 2.5）。
• 最优性： 作者通过提供反例（构造显式径向超解）来表明其不存在性条件是优化的。这些构造涉及平衡 Pucci 项、梯度项和反应项的衰减速率。

意义
本文声称填补了文献中的一个重要空白，即将具有非线性梯度项的半线性椭圆系统的 Liouville 理论扩展到了由 Pucci 极值算子驱动的完全非线性设置中。它揭示了有效维度 $e_n^+$ 在决定临界不存在性阈值中的基本作用，类似于欧几里得维度在拉普拉斯情形下的作用。通过在 $W^{2,p}$ 框架内开展工作，研究结果为完全非线性方程提供了一个更稳健且自然的理论，避免了对经典 $C^2$ 正则性的人为假设。其发现为研究超越经典设置的类似问题提供了框架，是半线性系统 Liouville 理论的一个完全非线性的类比。