[论文解读] The Subelliptic Heat Kernel on the CR hyperbolic spaces

Jing Wang|arXiv (Cornell University)|Apr 16, 2012

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

一句话总结

本文通过反映纤维丛 H^{2n+1} → CH^n 的柱坐标，推导出 CR 双曲空间 H^{2n+1} 及其万有覆盖空间 H'^{2n+1} 上的子椭圆热核的显式、几何意义明确的公式。主要贡献在于热核的闭式表达，该表达式可导出小时间渐近行为，并给出子黎曼距离的显式公式。

ABSTRACT

We study the heat kernel of the sub-Laplacian on the CR hyperbolic space H2n+1and on its universal covering H`2n+1. We work in cylindrical coordinates that reflects the symmetries coming from the fibration H2n+1 ightarrow CHn, and derive an explicit and geometrically meaningful formula for the subelliptic heat kernel. As a by-product we obtain the small-time asymptotics of the heat kernel, as well as an explicit formula for the sub-Riemannian distance.

研究动机与目标

• 推导 CR 双曲空间 H^{2n+1} 及其万有覆盖空间 H'^{2n+1} 上子椭圆热核的显式公式。
• 通过柱坐标利用纤维丛结构 H^{2n+1} → CH^n，以反映其底层几何对称性。
• 提供热核的几何意义明确的表达式，揭示其内在的子黎曼性质。
• 建立子椭圆热核的小时间渐近行为。
• 从热核推导出 CR 双曲空间上子黎曼距离的显式公式。

提出的方法

• 采用适配于纤维丛 H^{2n+1} → CH^n 的柱坐标，以简化子拉普拉斯算子的结构。
• 通过在纤维方向与底空间方向上使用分离变量法与谱分析求解热方程。
• 利用 CR 双曲空间的齐性结构，将问题约化为一维径向方程。
• 应用贝塞尔函数与特殊函数的已知结果，以闭式表达热核。
• 从小时间下热核的对数奇点推导出子黎曼距离。
• 通过几何一致性与已知渐近行为验证公式。

实验结果

研究问题

• RQ1 CR 双曲空间 H^{2n+1} 上的子椭圆热核的显式形式是什么？
• RQ2 纤维丛 H^{2n+1} → CH^n 的几何对称性如何影响热核的结构？
• RQ3 CR 双曲空间 H^{2n+1} 上子椭圆热核的小时间渐近行为是什么？
• RQ4 能否从热核推导出子黎曼距离的显式公式？
• RQ5 热核的行为如何反映空间的底层子黎曼几何？

主要发现

• 通过柱坐标，推导出 H^{2n+1} 和 H'^{2n+1} 上子椭圆热核的显式、几何可解释的公式。
• 小时间渐近行为作为显式公式的直接推论获得。
• 通过热核在小时间下的对数奇点，以闭式表达出 CR 双曲空间上的子黎曼距离。
• 热核公式通过其对径向变量与纤维变量的依赖，反映出纤维丛结构 H^{2n+1} → CH^n。
• 所推导的热核在相关李群作用下保持不变，证实了其几何自然性。
• 该方法为具有类似纤维丛结构的齐性 CR 流形上的子椭圆热核提供了系统性求解途径。