[论文解读] From Harnack inequality to heat kernel estimates on metric measure spaces and applications

Luca Tamanini|arXiv (Cornell University)|Jul 16, 2019

Geometric Analysis and Curvature Flows参考文献 23被引用 6

一句话总结

本文在满足无维数Harnack不等式且热半群具有积分表示的度量测度空间上，建立了热核的精确高斯上界。通过证明一个中间步骤的局部对数 Sobolev 不等式，本文得到了如下形式的热核估计：${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$，该结果填补了${\sf RCD}(K,\infty)$空间中此前既未建立局部对数 Sobolev 不等式也未获得此类估计的关键空白。

ABSTRACT

Aim of this short note is to show that a dimension-free Harnack inequality on an infinitesimally Hilbertian metric measure space where the heat semigroup admits an integral representation in terms of a kernel is suffcient to deduce a sharp upper Gaussian estimate for such kernel. As intermediate step, we prove the local logarithmic Sobolev inequality (known to be equivalent to a lower bound on the Ricci curvature tensor in smooth Riemannian manifolds). Both results are new also in the more regular framework of $RCD(K,\infty)$ spaces.

研究动机与目标

• 填补${\sf RCD}(K,\infty)$空间中热核估计的空白，此前该空间既未建立局部对数 Sobolev 不等式，也未获得精确的上高斯界。
• 证明在具有积分热半群的无穷小 Hilbert 度量测度空间上，若满足无维数 Harnack 不等式，则可推出热核的精确高斯上界。
• 在${\sf RCD}(K,\infty)$空间中首次建立局部对数 Sobolev 不等式，该结果此前在文献中尚属缺失。
• 通过度量测度结构，将已知的${\sf RCD}^*(K,N)$与光滑黎曼流形的结果推广至更广泛的${\sf RCD}(K,\infty)$空间类别。

提出的方法

• 通过热半群与$L^p$-范数估计的对偶论证，从无维数 Harnack 不等式推导出局部对数 Sobolev 不等式。
• 利用热流的$L^\infty$-${\rm LIP}$正则化性质，以距离和时间控制热核的增长。
• 通过指数权$\exp(\frac{{\sf d}^2(x,\cdot)}{Dt})$在热核上施加加权$L^2$-估计，以控制质量分布。
• 采用参数$D>2$的尺度变换论证，导出与$D$无关的统一有界性，从而得到最终的高斯上界。
• 将局部对数 Sobolev 不等式与$L^\infty$-${\rm LIP}$正则化性质结合，获得热核的精确上界估计。
• 通过短时间极限下 Varadhan 渐近公式验证边界的精确性，确认了正确的$-\frac{{\sf d}^2(x,y)}{4t}$衰减速率。

实验结果

研究问题

• RQ1 在具有积分热半群的度量测度空间上，若满足无维数 Harnack 不等式，是否可推出热核的精确高斯上界？
• RQ2 局部对数 Sobolev 不等式在${\sf RCD}(K,\infty)$空间中是否成立？能否从 Harnack 不等式推导出？
• RQ3 ${\sf RCD}(K,\infty)$空间上的热核是否满足如下形式的上界：${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$？
• RQ4 能否证明${\sf RCD}(K,\infty)$空间中热核的短时间行为满足 Varadhan 的渐近公式？
• RQ5 $L^\infty$-${\rm LIP}$正则化性质是否足以将 Harnack 不等式与热核估计相联系？

主要发现

• 在满足无维数 Harnack 不等式的任意无穷小 Hilbert 度量测度空间上，局部对数 Sobolev 不等式成立，这一结果即使在${\sf RCD}(K,\infty)$空间中亦属首次发现。
• 热核满足上高斯估计：对所有$x,y \in {\rm X}$与$t>0$，有${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$，其中当$K \geq 0$时$C_K = 0$。
• 在短时间极限下该边界是精确的，由 Varadhan 渐近公式确认：$\lim_{t \downarrow 0} t \log {\sf r}_t[x](y) = -\frac{{\sf d}^2(x,y)}{4}$（当$x \neq y$时），与主导项衰减一致。
• 证明依赖于一种新颖的带指数权的$L^2$-估计与$D>2$的尺度变换，从而实现了对热核质量在半径为$\sqrt{t}$的球体积意义上的统一控制。
• $L^\infty$-${\rm LIP}$正则化性质被确立为关键辅助结果，使热核的逐点行为得以控制。
• 该结果将${\sf RCD}^*(K,N}$与光滑黎曼流形中的已知估计推广至更一般的${\sf RCD}(K,\infty)$框架，此前该框架中此类边界尚不存在。