[论文解读] An upper bound of the heat kernel along the harmonic-Ricci flow

Shouwen Fang, Tao Zheng|arXiv (Cornell University)|Jan 4, 2015

Geometric Analysis and Curvature Flows参考文献 10被引用 5

一句话总结

本文在紧致黎曼流形上的调和-Ricci流下建立了统一的Sobolev不等式，并推导出热核的上界。通过利用$χ$熵的单调性与Moser迭代法，证明了热核满足$G(x,t;y,s) \leq C/(t-s)^{n/2}$，其中常数$C$依赖于维度、初始度量、初始映射以及$χ$熵的第一特征值，将Li-Yau型估计推广至调和-Ricci流设定。

ABSTRACT

In this paper, we first derive a Sobolev inequality along the harmonic-Ricci flow. We then prove a linear parabolic estimate based on the Sobolev inequality and Moser's iteration. As an application, we will obtain an upper bound estimate for the heat kernel under the flow.

研究动机与目标

• 通过$\mathcal{W}$熵的单调性，在调和-Ricci流下建立统一的Sobolev不等式。
• 在流下对热方程的非负次解建立线性抛物估计。
• 在紧致流形上，针对调和-Ricci流下的热核$G(x,t;y,s)$获得上界估计。
• 通过将$S = R - \alpha(t)|\nabla\phi|^2$的下界纳入估计，放宽其非负性假设。
• 将经典的Li-Yau型热核上界推广至同时涉及度量与映射演化的几何流设定。

提出的方法

• 通过利用Perelman的$\mathcal{W}$熵的单调性，推导出调和-Ricci流下时间一致的$L^2$ Sobolev不等式。
• 对线性抛物不等式$\partial_t f \leq \Delta f + a f$应用Moser迭代技术，获得逐点上确界范数估计。
• 利用所得的抛物估计控制热核$G(x,t;y,s)$，其满足热方程$\partial_t G = \Delta_x G$。
• 通过流下体积形式的演化，证明当$S \geq 0$时热核的积分为时间非增。
• 通过指数增长控制将负部纳入常数，将上界推广至$S$有下界$-S_0$的情形。
• 利用热核的$L^1$范数演化与抛物估计，推导出最终的$O((t-s)^{-n/2})$上界。

实验结果

研究问题

• RQ1 能否通过熵的单调性在调和-Ricci流下建立统一的Sobolev不等式？
• RQ2 Moser迭代所得的线性抛物估计是否可推广至调和-Ricci流设定？
• RQ3 在调和-Ricci流下，热核的最优上界为何？其如何依赖于几何初始数据？
• RQ4 能否在热核估计中去除对$S = R - \alpha(t)|\nabla\phi|^2$非负性的假设？
• RQ5 热核上界对$\mathcal{F}$熵的第一特征值及初始几何的依赖关系如何体现？

主要发现

• 证明了统一的Sobolev不等式：$\left(\int_M v^{2n/(n-2)} d\mu(g(t))\right)^{(n-2)/n} \leq A(t)\int_M (|\nabla v|^2 + \frac{1}{4}S v^2) d\mu(g(t)) + B(t)\int_M v^2 d\mu(g(t))$，其中$A(t) = C e^{8tB_0/(nA_0)} A_0$与$B(t) = C e^{8tB_0/(nA_0)} B_0$，常数$C$依赖于初始数据与维度。
• 建立了线性抛物估计：$\sup_{x\in M} |f(x,t)| \leq \left(C_1 a + \frac{C_2}{t}\right)^{(n+2)/(2p)} \left(\int_0^T \int_M f^p d\mu dt\right)^{1/p}$，适用于$\partial_t f \leq \Delta f + a f$的非负次解，常数依赖于$n$、$p$、$g_0$、$\phi_0$以及$\mathcal{F}$熵的第一特征值$\lambda_0$。
• 推导出热核的上界：$G(x,t;y,s) \leq \frac{C}{(t-s)^{n/2}}$，其中常数$C$依赖于$n$、$g_0$、$\phi_0$与$\lambda_0$，假设在$t=0$时$S \geq 0$。
• 通过证明$G(x,t;y,s) \leq \frac{C}{(t-s)^{n/2}}$，其中常数$C$依赖于$n$、$g_0$、$\phi_0$、$\lambda_0$与$T$，将上界推广至$S \geq -S_0$的情形，$0 \leq s < t \leq T$，利用热核$L^1$范数的指数控制。
• 证明了当$S \geq 0$时热核的$L^1$范数在时间上非增，意味着$\int_M G(x,t;y,s) d\mu(x,t) \leq 1$对$t > s$成立，这对最终估计至关重要。
• 最终上界展现出与欧氏热核相同的量纲缩放，确认了在调和-Ricci流下预期的扩散行为。