[论文解读] Harnack's Inequality for Parabolic De Giorgi Classes in Metric Spaces

Juha Kinnunen, Niko Marola+2 more|arXiv (Cornell University)|Jun 27, 2011

Nonlinear Partial Differential Equations参考文献 27被引用 28

一句话总结

该论文在具有加倍测度和Poincaré不等式的度量测度空间中，为抛物型De Giorgi类中的函数建立了尺度与位置不变的Harnack不等式。通过引入抛物型De Giorgi类的版本，并利用正性扩张与内在几何结构，作者证明了抛物型拟极小化子的局部Hölder连续性与强最大值原理，将经典结果推广至一般度量空间。

ABSTRACT

In this paper we study problems related to parabolic partial differential equations in metric measure spaces equipped with a doubling measure and supporting a Poincare' inequality. We give a definition of parabolic De Giorgi classes and compare this notion with that of parabolic quasiminimizers. The main result, after proving the local boundedness, is a scale and location invariant Harnack inequality for functions belonging to parabolic De Giorgi classes. In particular, the results hold true for parabolic quasiminimizers.

研究动机与目标

• 在具有加倍测度和Poincaré不等式的度量测度空间中定义并研究抛物型De Giorgi类。
• 为这些类中的函数建立尺度与位置不变的Harnack不等式。
• 证明抛物型拟极小化子满足与抛物型De Giorgi类函数相同的正则性性质。
• 将抛物型方程的正则性理论从欧氏空间推广至一般的度量测度空间。
• 为在非光滑几何设定下通过变分方法研究抛物型问题提供统一框架。

提出的方法

• 通过在度量测度空间中的时空柱体中引入二次结构条件来定义抛物型De Giorgi类。
• 以能量比较不等式（包含时间导数与空间梯度）定义抛物型拟极小化子作为模型类。
• 应用正性扩张方法，将正解的下界在时间和空间上进行传播。
• 建立一个关键的抽象引理（引理2.5），适用于度量设定，取代欧氏空间中的线性结构论证。
• 在时间和空间中构造迭代覆盖论证，利用几何加倍与内在时间缩放，将正性从一个小球传播至更大的区域。
• 利用加倍性质与Poincaré不等式控制振荡并推导尺度不变估计。

实验结果

研究问题

• RQ1 在具有加倍测度和Poincaré不等式的通用度量测度空间中，能否为De Giorgi类中的函数建立抛物型Harnack不等式？
• RQ2 抛物型拟极小化子在度量测度空间中的行为如何？它们是否满足与热方程解相同的正则性性质？
• RQ3 在缺乏度量空间中线性结构的情况下，对经典DiBenedetto方法需作何修改以证明Harnack不等式？
• RQ4 Hölder连续性与强最大值原理等正则性结果，从欧氏空间推广至度量测度空间设定的适用范围有多大？
• RQ5 在度量空间中，抛物型De Giorgi类是否严格大于抛物型拟极小化子类？

主要发现

• 所有抛物型De Giorgi类中的函数均满足尺度与位置不变的Harnack不等式，如定理5.7所述。
• Harnack不等式蕴含抛物型De Giorgi类中函数的局部Hölder连续性。
• 非负抛物型De Giorgi类函数满足强最大值原理。
• Harnack不等式中的常数仅依赖于加倍常数与Poincaré常数，与具体函数无关。
• 证明依赖于正性扩张的迭代应用，导致随时间和空间的下界呈指数衰减。
• 抛物型De Giorgi类包含抛物型拟极小化子，且结果可作为其特例适用。