[论文解读] Small time heat kernel asymptotics at the sub-Riemannian cut locus

Davide Barilari, Ugo Boscain+1 more|arXiv (Cornell University)|Jan 14, 2012

Geometric Analysis and Curvature Flows参考文献 33被引用 8

一句话总结

本文在次黎曼流形的切点处建立了小时间热核的精细渐近展开，表明衰减速率取决于连接两点的极小测地线的共轭性。在假设极小测地线为强正规（无异常分量）的前提下，热核的行为为 $ p_t(x,y) \sim t^{-n + \sum_{i=1}^n \frac{1}{2m_i}} \exp\left(-\frac{d^2(x,y)}{4t}\right) $，其中指数 $ m_i $ 反映了中点处铰接能量函数的退化阶数，推广了 Varadhan 公式，并将 Molchanov 的方法扩展至次黎曼设置。

ABSTRACT

For a sub-Riemannian manifold provided with a smooth volume, we relate the small time asymptotics of the heat kernel at a point $y$ of the cut locus from $x$ with roughly "how much" $y$ is conjugate to $x$. This is done under the hypothesis that all minimizers connecting $x$ to $y$ are strongly normal, i.e.\ all pieces of the trajectory are not abnormal. Our result is a refinement of the one of Leandre $4t\log p_t(x,y) o -d^2(x,y)$ for $t o 0$, in which only the leading exponential term is detected. Our results are obtained by extending an idea of Molchanov from the Riemannian to the sub-Riemannian case, and some details we get appear to be new even in the Riemannian context. These results permit us to obtain properties of the sub-Riemannian distance starting from those of the heat kernel and vice versa. For the Grushin plane endowed with the Euclidean volume we get the expansion $p_t(x,y)\sim t^{-5/4}\exp(-d^2(x,y)/4t)$ where $y$ is reached from a Riemannian point $x$ by a minimizing geodesic which is conjugate at $y$.

研究动机与目标

• 通过捕捉切点处的次主导项，改进 Leandre 的小时间热核渐近公式 $ 4t\log p_t(x,y) \to -d^2(x,y) $。
• 建立热核衰减速率与次黎曼流形中极小测地线共轭性的关系。
• 将 Molchanov 的黎曼几何中能量展开方法推广至次黎曼设置，尤其在共轭点存在的情况下。
• 建立一个通用框架，将次黎曼几何（距离、共轭性）与随机分析（热核行为）联系起来。

提出的方法

• 在从 $ x $ 到 $ y $ 的极小测地线中点上定义铰接能量函数 $ h_{x,y}(z) = \frac{1}{2}(d^2(x,z) + d^2(z,y)) $。
• 分析 $ h_{x,y}(z) $ 在中点 $ z_0 $ 附近的泰勒展开，假设其在该点取得最小值。
• 利用展开式的首项 $ h_{x,y}(z) = \frac{1}{4}d^2(x,y) + \sum_{i=1}^n z_i^{2m_i} + \cdots $ 确定热核的衰减速率。
• 应用 Molchanov 方法的次黎曼版本，利用海色矩阵与共轭点的结构。
• 将展开式中的指数 $ m_i $ 与测地线的共轭阶数联系起来，更高的退化程度导致更慢的衰减。
• 利用 Popp 测度与次拉普拉斯算子结构，在给定假设下确保热核的定义良好且光滑。

实验结果

研究问题

• RQ1 当极小测地线共轭时，次黎曼切点处的热核如何衰减？
• RQ2 热核衰减速率对极小测地线共轭阶数的精确依赖关系是什么？
• RQ3 Molchanov 的黎曼几何热核渐近方法能否推广至含共轭点的次黎曼流形？
• RQ4 铰接能量函数 $ h_{x,y}(z) $ 如何编码关于共轭性与切点结构的几何信息？
• RQ5 当铰接能量具有形如 $ \sum z_i^{2m_i} $ 的多项式展开时，热核展开的显式形式是什么？

主要发现

• 在切点处，热核以 $ p_t(x,y) \sim C t^{-n + \sum_{i=1}^n \frac{1}{2m_i}} \exp\left(-\frac{d^2(x,y)}{4t}\right) $ 的形式衰减，其中 $ m_i $ 为铰接能量展开中的指数。
• 在具有欧氏体积的 Grushin 平面中，渐近形式为 $ p_t(x,y) \sim t^{-5/4} \exp\left(-\frac{d^2(x,y)}{4t}\right) $，对应 $ m_1 = 2 $，$ m_2 = 2 $，故 $ \sum \frac{1}{2m_i} = \frac{1}{4} $。
• 随着共轭阶数增加，衰减速率变慢：更高的 $ m_i $ 导致更慢的衰减，反映出更强的共轭性。
• 该方法普遍适用于无异常极小测地线的次黎曼流形，包括接触流形与 CR 流形。
• 即使在黎曼情形下，$ h_{x,y} $ 的海色矩阵与热核衰减之间的确切关系也被证明是新的发现。
• 该结果通过铰接能量函数，为次黎曼距离与热核行为提供了几何表征，反之亦然。