[论文解读] Gaussian heat kernel bounds through elliptic Moser iteration

Frédéric Bernicot, Thierry Coulhon+1 more|arXiv (Cornell University)|Jul 15, 2014

Geometric Analysis and Curvature Flows参考文献 34被引用 4

一句话总结

该论文证明，在具有加倍度量测度的Dirichlet空间中，热半群的$L^p$梯度估计（$G_p$）与尺度不变的$L^p$Poincaré不等式（$P_p$）在$p \geq 2$时的组合，可推出双向高斯热核估计。作者以一种新方法证明了Saloff-Coste的$L^2$结果，无需使用抛物型Moser迭代，并对文献[37]中的一个关键结果提供了更直接的证明，引入了热半群的新的$L^p$ Hölder正则性概念，以及基于调和函数对$(P_2)$的刻画。

ABSTRACT

On a doubling metric measure space endowed with a "carré du champ", we consider $L^p$ estimates $(G_p)$ of the gradient of the heat semigroup and scale-invariant $L^p$ Poincaré inequalities $(P_p)$. We show that the combination of $(G_p)$ and $(P_p)$ for $p\ge 2$ always implies two-sided Gaussian heat kernel bounds. The case $p=2$ is a famous theorem of Saloff-Coste, of which we give a shorter proof, without parabolic Moser iteration. We also give a more direct proof of the main result in \cite{HS}. This relies in particular on a new notion of $L^p$ Hölder regularity for a semigroup and on a characterization of $(P_2)$ in terms of harmonic functions.

研究动机与目标

• 在具有加倍度量测度的Dirichlet空间中，建立双向高斯热核估计的一般判据。
• 以一种新方法、更简短地证明Saloff-Coste关于高斯估计的$L^2$经典结果，且不使用抛物型Moser迭代。
• 对文献[37]中通过$L^p$估计得到热核估计的关键结果，给出更直接的证明。
• 引入热半群的新的$L^p$ Hölder正则性概念，并以调和函数刻画$(P_2)$。
• 统一并推广在一般度量测度空间中高斯热核估计成立的条件。

提出的方法

• 作者利用热半群的新$L^p$ Hölder正则性概念，将梯度估计与热核估计联系起来。
• 他们采用椭圆型Moser迭代技术，推导出反Hölder不等式及其自改善性质。
• 证明依赖于从$L^p$ Poincaré不等式和能量测度结构导出的Caccioppoli型不等式。
• 关键步骤是通过Dirichlet型与能量测度的关系，将$L^2$ Poincaré不等式与调和函数联系起来。
• 作者使用dyadic球的覆盖论证与反Hölder不等式，控制热核的$L^p$范数。
• 通过Bootstrap论证，建立反Hölder不等式的自改善性质，最终实现对热核的统一控制。

实验结果

研究问题

• RQ1 在一般度量测度Dirichlet空间中，$L^p$梯度估计与$L^p$ Poincaré不等式在何种条件下可推出双向高斯热核估计？
• RQ2 Saloff-Coste的$L^2$结果（关于高斯热核估计）是否可不借助抛物型Moser迭代而重新证明？
• RQ3 热半群的新的$L^p$ Hölder正则性概念如何与底层几何结构及Poincaré不等式相关联？
• RQ4 在此设定下，调和函数在刻画$L^2$ Poincaré不等式中起何种作用？
• RQ5 能否通过椭圆型方法与$L^p$估计，更直接地重新证明[37]中的主要结果？

主要发现

• 在具有加倍度量测度的Dirichlet空间中，$G_p$与$P_p$（$p \geq 2$）的组合可推出双向高斯热核估计。
• 主结果的$L^2$情形（即Saloff-Coste定理）被以新方法重新证明，无需抛物型Moser迭代，仅依赖椭圆型技术与新的$L^p$ Hölder正则性概念。
• 建立了基于调和函数与能量测度的$L^2$ Poincaré不等式的全新刻画。
• 本文在热核估计背景下，引入了反Hölder不等式的自改善性质。
• 作者证明了$K(\varepsilon,\eta) \lesssim 1$对$\varepsilon$一致成立，这蕴含所需的反Hölder不等式，并最终导出目标估计。
• 该证明方法为[37]中的主结果提供了直接且自包含的论证，避免了对抛物型正则性理论的依赖。