[论文解读] On the Heat Kernel under the Ricci Flow Coupled with the Harmonic Map Flow

Mihai Băileșteanu|arXiv (Cornell University)|Aug 31, 2013

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

一句话总结

本文在维度至少为3的闭黎曼流形上，通过Sobolev嵌入常数和时变度量演化，建立了里奇-标量场流下热核的上界。当初始标量曲率满足 $ R > \alpha(0)|\nabla\phi(0)|^2 $ 时，该上界恢复了固定度量情形下经典的高斯型衰减，通过使用更精确的常数，改进了先前的结果。

ABSTRACT

We estimate the heat kernel on a closed Riemannian manifold $M$, with $dim(M)\geq 3$, evolving under the Ricci-harmonic map flow and the result depends on some constants arising from a Sobolev imbedding theorem. In a special case, when the scalar curvature satisfies a certain natural inequality, we obtain, as a corollary, a bound similar to the one known for the fixed metric case.

研究动机与目标

• 推导里奇-标量场流（里奇流与调和映射流的耦合系统）下热核的点态上界。
• 分析由度量演化和映射演化共同驱动的时变几何如何影响热核行为。
• 确定热核表现出与静态度量情形相似衰减行为的条件。
• 通过引入Sobolev嵌入常数中的耦合项，改进里奇流下现有热核上界。

提出的方法

• 利用热方程及度量和映射演化性质，推导热核 $ L^2 $-范数的微分不等式。
• 应用具有最佳常数 $ A(t) $ 和 $ B(t) $ 的Sobolev嵌入不等式，其依赖于几何与曲率界。
• 使用依赖于时间的函数 $ H(\tau) $（由比值 $ B(\tau)/A(\tau) $ 及 $ m_0 $ 和 $ c_n $ 的修正项导出）的积分因子法。
• 在两个时间区间 $ [s, (s+t)/2] $ 和 $ [(s+t)/2, t] $ 上分别建立热核的上界，然后通过乘积形式合并。
• 施加条件：$ S = R - \alpha|\nabla\phi|^2 $ 在 $ t=0 $ 时有下界，确保 $ S > 0 $ 被保持，从而简化上界。
• 应用赫尔德不等式和热核的半群性质，控制 $ L^2 $-范数并导出最终估计。

实验结果

研究问题

• RQ1 在何种条件下，里奇-标量场流下的热核表现出与固定度量情形相似的衰减？
• RQ2 Sobolev嵌入定理中的最佳常数如何影响时变度量下的热核上界？
• RQ3 能否通过引入调和映射流中的耦合项来改进热核上界？
• RQ4 量 $ S = R - \alpha|\nabla\phi|^2 $ 在流过程中保持几何控制方面起什么作用？
• RQ5 在更一般的曲率或耦合条件下，是否可能导出高斯型上界？

主要发现

• 热核满足上界 $$ G(x,t;y,s) \leq \frac{C_n}{\left(\int_s^{(s+t)/2} \left(\frac{m_0 - c_n\tau}{m_0}\right)^{-2} \frac{e^{\frac{2}{n}H(\tau)}}{A(\tau)} d\tau\right)^{n/4} \left(\int_{(s+t)/2}^t \frac{e^{-\frac{2}{n}H(\tau)}}{A(\tau)} d\tau\right)^{n/4}} $$，其中 $ H(\tau) $ 是 $ \frac{B(\tau)}{A(\tau)} - \frac{3}{4}(m_0 - c_n\tau)^{-1} $ 的一个原函数。
• 当 $ R > \alpha(0)|\nabla\phi(0)|^2 $ 时，上界简化为 $ G(x,t;y,s) \leq \frac{\tilde{C}_n}{(t-s)^{n/2}} $，与经典高斯衰减率一致。
• 常数 $ \tilde{C}_n = \left(\frac{4K(n,2)}{n}\right)^{n/2} $，其中 $ K(n,2) $ 是Sobolev嵌入 $ W^{1,2} \hookrightarrow L^p $ 在 $ p = \frac{2n}{n-2} $ 时的最佳常数。
• 该上界的推导不依赖曲率假设，仅依赖Sobolev常数和 $ \alpha(t) $ 的非增性。
• 该结果通过利用耦合流结构导出的更精确常数，改进了先前在里奇流下的热核上界。
• 证明方法扩展了Q. Zhang与佩雷尔曼的积分因子与能量估计方法，适用于时变且耦合的设定。