The weak Harnack inequality and the rigidity of the anisotropic Trudinger's equation

技术摘要：弱哈纳克不等式与各向异性 Trudinger 方程的刚性

问题陈述与背景
本文研究了各向异性 Trudinger 方程（一类特定的双非线性抛物方程）中非负弱解的正则性性质。该方程由下式给出：
$$\partial_t u - \sum_{i=1}^N \partial_i \left( u^{2-p_i} |\partial_i u|^{p_i-2} \partial_i u \right) = 0, \quad u \ge 0,$$
其中 $1 < p_1 \le \dots \le p_N < \infty$。该模型推广了各向同性 Trudinger 方程（即 $p_i \equiv p$ 的情况），后者在历史上源于对多孔介质中湍流气体过滤的数学描述（Leibenson 方程）。

各向异性设置中的主要挑战在于缺乏统一的椭圆模量；该方程是正交各向异性的，这意味着不同空间方向上的扩散幂律各不相同。作者指出，一个关键的困难在于，建立连续性的标准技术（例如依赖于当 $u$ 远离零时方程表现得像 $p$-Laplacian 的技术）无法直接应用，因为各向异性 $p$-Laplacian 本身的解的有界性仍是一个开放问题。因此，作者必须在不假设解先验连续性的情况下，建立正则性和点值估计。

方法论与泛函设定
作者在各向异性 Sobolev 空间 $W^{1,p}(\Omega)$ 的变分框架下工作，其中积分指数随方向变化。分析依赖于以下几个关键技术工具：

1. 局部能量估计： 作者推导了涉及特定非线性项 $g^\pm$ 的截断函数 $(u-k)^\pm$ 的能量不等式。这些估计考虑了方程的双非线性本质以及空间变量的各向异性缩放。
2. 测度传播与正性扩张： 基于 De Giorgi 的水平集方法，论文建立了关于时间向前传播测度信息的引理。具体而言，如果一个解在初始时刻在正测度集上高于某一水平，那么在经过特定时间间隔后，它将在一个更大的空间集上保持在某一缩放水平之上。
3. 局部聚类： 采用了一种精细的聚类引理来证明，如果一个函数满足特定的梯度界限和测度条件，其值会聚集在特定点附近，从而促进从积分估计到点值界的过渡。
4. 上半连续性： 一个重要的 metodological 步骤是证明局部弱次解具有上半连续代表元。这是通过一种针对特定各向异性方程结构的 De Giorgi 型引理实现的，绕过了需要方程满足比较原理或已知解连续性的需求。
5. 哈纳克链程序： 为了导出全局下界，作者构造了一系列连接两个点 $(x,t)$ 和 $(y,s)$ 的抛物柱链。与各向同性情况不同，该过程必须逐方向进行，以尊重各向异性内在几何的缩放。

关键结果

1. 局部弱哈纳克不等式（定理 1.1）：
   论文证明了非负弱超解的局部弱哈纳克不等式。它确立了初始时刻解的 $L^q$ 平均值被稍晚时刻较大空间域内的解的下确界所控制：
   $$\left( \fint_{K_\rho(y)} u^q(x, s) \, dx \right)^{1/q} \le \gamma \inf_{K_{2\rho}(y)} u(\cdot, t),$$
   该不等式在特定的内在区间 $(s + \delta_o \rho^p/2, s + \delta_o \rho^p)$ 的时间 $t$ 内有效。

2. 无需 Krylov-Safonov 的全哈纳克不等式（第 4.1.3 节）：
   通过结合弱哈纳克不等式与已建立的上半连续性和精细的 $L^\infty$ 界，作者推导出了全哈纳克不等式：
   $$\sup_{Q_S} u \le \gamma \inf_{Q_I} u.$$
   至关重要的是，作者展示了该结果是在没有调用 Krylov-Safonov 覆盖论证的情况下实现的，而该论证通常是处理非散度形式或标准抛物方程中此类估计所必需的。

3. 全局次势能下界（定理 1.2）：
   通过沿路径迭代使用哈纳克不等式，作者导出了 $\mathbb{R}^{N+1}$ 中正解的全局点值下界：
   $$u(x, t) \ge u(y, s) \gamma^{-1} B(x, t, y, s),$$
   其中 $B$ 是反映方程各向异性特征的指数函数：
   $$B(x, t, y, s) = \exp \left( - \sum_i \left( \frac{|x_i - y_i|^{p_i}}{t-s} \right)^{\frac{1}{p_i-1}} \right).$$

4. Barenblatt 型剖面（第 5.1 节）：
   下界 $B$ 的结构暗示了一种自相似剖面。作者表明，如下形式的函数：
   $$B(x, t) = D t^\alpha \exp \left( - \sum_i c_i \left( \frac{|x_i|^{p_i}}{t} \right)^{\frac{1}{p_i-1}} \right)$$
   可以被操纵以作为次解（并且对于特定参数可能是解），为各向异性设置下的基本解提供了一个候选对象。

意义与主张
该论文声称其在双非线性抛物方程理论中的几项新颖贡献：

• 哈纳克不等式的新证明： 为这类方程推导全哈纳克不等式的过程绕过了 Krylov-Safonov 覆盖技术，转而依赖于特定的能量结构和新建立的次解上半连续性。
• 各向异性刚性： 该工作处理了 Trudinger 方程的“各向异性刚性”，特别是处理了当偏导数消失时椭圆模量可能趋于无穷大的情况，尽管解 $u$ 本身的消失有助于重新平衡各向异性的竞争。
• 连续性问题： 作者指出，虽然各向异性 $p$-Laplacian 解的连续性是一个开放问题，但他们的方法成功建立了次解的上半连续性，这足以导出哈纳克不等式和点值估计。
• 可推广性： 研究结果被证明可以推广到满足特定结构增长条件的更一般的算子 $\partial_t u - \sum \partial_i A_i(x, t, u, Du) = 0$，即使这些算子不满足比较原理。

作者对解的连续性保持了审慎的态度，承认虽然其结果提供了强大的点值界限，但各向异性 Trudinger 方程局部弱解的完全连续性仍是一个开放问题，目前文献中仅存在针对特定情况的部分解答。