[论文解读] Heat Kernel Bounds on Metric Measure Spaces and Some Applications

Renjin Jiang, Huaiqian Li+1 more|arXiv (Cornell University)|Jul 20, 2014

Geometric Analysis and Curvature Flows参考文献 30被引用 7

一句话总结

该论文在RCD*(K,N)度量测度空间上建立了热核及其梯度的精确上界和下界，利用抛物型Harnack不等式与Laplacian比较原理。关键贡献在于高斯型界中精确的指数常数，从而可应用于Riesz变换有界性与热方程解的稳定性研究。

ABSTRACT

Let $(X,d,μ)$ be a $RCD^\ast(K, N)$ space with $K\in \mathbb{R}$ and $N\in [1,\infty]$. For $N\in [1,\infty)$, we derive the upper and lower bounds of the heat kernel on $(X,d,μ)$ by applying the parabolic Harnack inequality and the comparison principle, and then sharp bounds for its gradient, which are also sharp in time. When $N=\infty$, we also establish a sharp upper bound of the heat kernel by using the dimension free Harnack inequality. For applications, we study the large time behavior of the heat kernel, the stability of solutions to the heat equation, and show the $L^p$ boundedness of (local) Riesz transforms.

研究动机与目标

• 推导RCD*(K,N)度量测度空间上热核的精确上界与下界，且指数项中的常数为最优。
• 建立热核梯度的精确估计，保持界中时间最优性。
• 将热核界应用于研究热核的大时间行为及热方程解的稳定性。
• 证明在所有p ∈ (1, ∞)下，RCD*(K,N)空间上Riesz变换的L^p有界性。

提出的方法

• 利用Gigli以及Garofalo-Mondino的抛物型Harnack不等式与Laplacian比较原理，推导热核界。
• 应用RCD*(K,N)条件，该条件将Ricci曲率下界推广至非光滑度量测度空间。
• 利用Dirichlet型从中的内在距离与测度μ的加倍性质，控制体积增长。
• 构造具有统一梯度界之Lipschitz截断函数，以建立Davies–Gaffney估计。
• 采用涉及√t|∇H_t f|的第三类Davies–Gaffney估计，以控制L^2范数下的梯度衰减。
• 结合热核界与加倍及Poincaré不等式，证明Riesz变换的弱型(1,1)估计。

实验结果

研究问题

• RQ1 在RCD*(K,N)空间上，热核的精确上界与下界为何？指数项中的常数是否最优？
• RQ2 在这些空间上，热核的梯度界在时间和空间上如何表现？
• RQ3 能否利用精确热核界建立RCD*(K,N)空间上Riesz变换的L^p有界性？
• RQ4 当K < 0时，RCD*(K,N)空间上热核的大时间行为如何？
• RQ5 在热核界成立的前提下，热方程的解在扰动下如何表现？

主要发现

• 对于RCD*(0,N)空间，热核满足精确的双边高斯界：C₁(ε)⁻¹ μ(B(y,√t))⁻¹ exp(−d²(x,y)/((4−ε)t)) ≤ p_t(x,y) ≤ C₁(ε) μ(B(y,√t))⁻¹ exp(−d²(x,y)/((4+ε)t)) 对所有t > 0及x,y ∈ X成立。
• 热核的梯度满足精确界：|∇ₓp_t(x,·)|(y) ≤ C₁(ε)/(√t μ(B(y,√t))) exp(−d²(x,y)/((4+ε)t)) 几乎处处关于μ成立，对所有x,y ∈ X。
• 对于RCD*(K,N)空间且K < 0，热核界包含额外的线性时间修正项：exp(−d²(x,y)/((4−ε)t) − C₂(ε)t) ≤ p_t(x,y) ≤ exp(−d²(x,y)/((4+ε)t) + C₂(ε)t)，其中C₂(ε)依赖于K与N。
• K < 0时的梯度界也包含相同修正项：|∇ₓp_t(x,·)|(y) ≤ C₁(ε)/(√t μ(B(y,√t))) exp(−d²(x,y)/((4+ε)t) + C₂(ε)t)。
• Riesz变换 |∇(−Δ)^{-1/2}| 在L^p(X)上有界，对所有p ∈ (1, ∞)成立，其证明基于精确热核界与Davies–Gaffney估计。
• 热方程解在扰动下表现出稳定性，其结果由包含d²(E,F)/t的指数衰减估计所体现。