[论文解读] The Li-Yau Inequality and Heat Kernels on Metric Measure Spaces

Renjin Jiang|arXiv (Cornell University)|May 4, 2014

Geometric Analysis and Curvature Flows参考文献 43被引用 3

一句话总结

本论文在RCD*(K,N)度量测度空间上建立了热流的Li-Yau不等式与Harnack不等式，证明了当K ≥ 0时Li-Yau不等式成立，并对所有K ∈ ℝ推导出广义的Baudoin-Garofalo型与Harnack不等式。一个关键结果是通过体积增长表征热核的大时间行为，表明当且仅当球的体积增长渐近为θR^N时，t^{N/2}p_t(x,y)收敛于一个正常数。

ABSTRACT

Let $(X,d,μ)$ be a $RCD^\ast(K, N)$ space with $K\in mathbb{R}$ and $N\in [1,\infty)$. Suppose that $(X,d)$ is connected, complete and separable, and $\supp μ=X$. We prove that the Li-Yau inequality for the heat flow holds true on $(X,d,μ)$ when $K\ge 0$. A Baudoin-Garofalo inequality and Harnack inequalities for the heat flows are established on $(X,d,μ)$ for general $K\in \mathbb{R}$. Large time behaviors of heat kernels are also studied.

研究动机与目标

• 将经典Li-Yau不等式与Harnack不等式从光滑黎曼流形推广至非光滑度量测度空间。
• 为一般K ∈ ℝ的RCD*(K,N)空间上的热流建立梯度估计与Harnack不等式。
• 分析RCD*(0,N)空间上热核的大时间渐近行为。
• 根据度量球的体积增长，表征热核的渐近衰减速率。

提出的方法

• 利用RCD*(K,N)条件，该条件在度量测度空间中推广了里奇曲率下界与维数上界。
• 应用Bakry-Émery型曲率-维数条件与Bochner不等式以推导梯度估计。
• 使用Harnack不等式（推论6.1）以控制热核值在时空上的时间演化。
• 利用体积比较与加倍性质（引理2.1）将热核衰减与球的测度联系起来。
• 对满足d(x(t),x₀)² + d(y(t),x₀)² = o(t)的路径(x(t), y(t), t)应用Harnack不等式，以分析长时间核行为。
• 结合下高斯界(2.6)与体积增长估计，推导出t^{N/2}p_t(x,y)收敛于正常数。

实验结果

研究问题

• RQ1 当K ≥ 0时，Li-Yau不等式是否在RCD*(K,N)空间上的热流中成立？
• RQ2 能否为一般K ∈ ℝ的RCD*(K,N)空间建立Baudoin-Garofalo型不等式与Harnack不等式？
• RQ3 RCD*(0,N)空间上热核的大时间行为如何？
• RQ4 热核的渐近衰减速率如何与度量球的体积增长相关？
• RQ5 在何种几何条件下，当t → ∞时，t^{N/2}p_t(x,y)收敛于一个正常数？

主要发现

• 当K ≥ 0时，RCD*(K,N)空间上的热流满足Li-Yau不等式，其界为|∇log u|² − ∂/∂t log u ≤ n/(2t)。
• 对于一般K ∈ ℝ，建立了Baudoin-Garofalo型不等式与Harnack不等式，具有指数与幂次加权的时间-空间控制。
• 当K = 0时，Harnack不等式表明u(x,s) ≤ u(y,t) exp{d(x,y)²/(4(t−s))} (t/s)^{N/2}对所有0 < s < t < ∞成立。
• 当K < 0时，Harnack不等式包含一个涉及e^{2Kt/3}的因子，导致时间衰减被修正。
• 热核的大时间行为满足lim_{t→∞} t^{N/2}p_t(x,y) = C(θ)当且仅当lim_{R→∞} μ(B(x₀,R))/R^N = θ > 0。
• 常数C(θ)有限且为正，且对满足d(x(t),x₀)² + d(y(t),x₀)² = o(t)的路径，收敛一致成立。