具有可测系数的次临界p-抛物型系统的正则性理论

《Journal of Functional Analysis》：Regularity theory for sub-critical p-parabolic systems with measurable coefficients

　　

研究人员为如下抛物型系统?_tu?divA(x,t,Du)=0（在E_T?R^N×R中）的弱解发展了一套定量正则性理论，该系统具有带可测系数的p-拉普拉斯（p-Laplacian）结构。研究人员关注次临界范围1r控制（其中r>N(2?p)/p）出发，推导出尖锐的、尺度不变的L^∞估计。梯度的更高可积性：|Du|从L^p_loc自改进到L^p(1+ε)_loc，其中ε>0仅依赖于数据。在给定合适源项时，相同结果仍然成立。

**研究背景与问题**
Gehring引理（Gehring's lemma）揭示了非线性分析中的基本自改进现象：反向H?lder不等式（reverse H?lder inequality）导致可积性自动增益，将L^p界提升为L^p+ε正则性。这种自改进现象与p-Poincaré不等式、p-容量条件和p-厚度假设等定量自改进原理密切相关。在抛物型系统中，该现象表现为弱解空间梯度的更高可积性，是部分正则性与精细定量估计的基石。自Kinnunen–Lewis（2000）的开创性工作以来，抛物型p-拉普拉斯（p-Laplacian）系统的梯度更高可积性已在超临界范围p>2N/(N+2)得到确立。然而，互补的次临界范围1
**研究内容与主要结论**
研究人员考虑具有可测系数的抛物型p-拉普拉斯系统（见原文方程(1.1)），其中向量场A满足p-结构条件（1.2），包括强制性、p增长以及沿u的拟对角方向单调性。在次临界范围1qp_loc、f∈L^q_loc，且q>(N+p)/p，同时u∈L^r_loc满足λ_r:=N(p?2)+pr>0。研究人员获得两个主要结果：定理1.1证明弱解局部有界，且具有定量、尺度不变的L^∞估计；定理1.3证明梯度具有Gehring型自改进性质，即|Du|从L^p_loc提升到L^p(1+ε)_loc。这些结果在适当源项下依然成立，并且阈值在§1.2中通过显式无界解例子被验证为最优。

**主要技术方法**
研究人员采用Moser迭代与De Giorgi迭代作为核心工具。首先建立加权Caccioppoli估计（使用满足条件(3.1)的Lipschitz权重Φ）和截断估计（引理3.1和3.2）。由于次临界情形下能量不等式与抛物Sobolev嵌入结合无法直接产生反向H?lder不等式，研究人员先建立定量L^∞上界估计，再引入依赖解本身的内在几何（intrinsic geometry），即混合内在尺度：同时控制u的L^r振荡和Du的L^p能量。在内在圆柱上建立反向H?lder不等式（命题4.8），通过Vitali覆盖引理和停止时间论证得到超水平集弱型估计，最终导出更高可积性。

**研究结果**
**3. 次临界区域的局部L∞控制（Local L∞-control in the sub-critical regime）**
通过Moser迭代（引理3.3），研究人员从u∈L^r_loc（λ_r>0）出发，逐步提升可积性并最终得到局部有界性。随后通过De Giorgi迭代（定理1.1的证明），构造嵌套圆柱和截断水平，结合能量估计（引理3.2）和抛物Sobolev嵌入，在截断水平k满足条件（3.21）、（3.30）、（3.27）、（3.28）时，证明sup_Qτ?,τθ|u|≤k，从而得到定量的L^∞界。该估计在两种r范围（2≤N(2?p)/p
**4. 反向H?lder型不等式（Reverse H?lder-type inequality）**
为克服次临界情形能量不等式失效的困难，研究人员在§4中建立了内在圆柱上的反向H?lder不等式（命题4.8）。关键输入包括能量不等式（引理4.1）、控制空间平均时间振荡的粘合引理（引理4.2）、抛物Sobolev–Poincaré不等式（引理4.3），以及次内在耦合条件（4.2）和超内在条件（4.3）。在这些条件下，对内在圆柱Q_?^(λ)，反向H?lder不等式成立，其中θ=Np/(N+2)。该不等式是后续更高可积性论证的基础。

**5. 更高可积性（Higher integrability）**
研究人员构造了内在非均匀圆柱系统（引理5.1），其尺度参数??λ_zo;?连续、单调且满足次内在控制。利用Vitali覆盖引理（引理5.2）提取可数不交子族，通过停止时间选择临界内在半径，使得在临界圆柱上满足次/超内在条件。随后应用命题4.8得到内在圆柱上的反向H?lder不等式，并推导出超水平集弱型估计（5.21）。最后乘以λ^pε?1并积分，借助Fubini定理和迭代引理，得到|Du|∈L^p(1+ε)_loc，即定理1.3。

**讨论与结论**
讨论部分指出，常数C和ε_o的退化行为与结构阈值紧密相关：当p→1、q→(N+p)/p或r→N(2?p)/p时，ε_o→0。这些退化不是技术伪影，而是反映了底层正则化机制的真实丧失——每个阈值恰好对应结构假设的锐利边界。在临界情形p=p_c=2N/(N+2)，对标量方程（k=1）已有定性局部有界性结果，但定量L^∞估计尚不明确。研究结论为：在次临界范围1p(1+ε)_loc（定理1.3），其中ε仅依赖于结构数据；这些结果与超临界情形平行，且阈值最优。