[论文解读] Heat Kernel Analysis on Infinite-Dimensional Heisenberg Groups

Bruce K. Driver, Maria Gordina|ArXiv.org|May 12, 2008

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

一句话总结

本文在由抽象维纳空间导出的无限维海森堡群上构造了热核测度，建立了高斯上界、Cameron-Martin拟不变性、Radon-Nikodym导数的$L^p$有界性、分部积分公式以及对数索博莱夫不等式。关键贡献在于证明了里奇曲率张量有界，这为这些非交换无限维李群上的主要分析结果提供了理论基础。

ABSTRACT

We introduce a class of non-commutative Heisenberg like infinite dimensional Lie groups based on an abstract Wiener space. The Ricci curvature tensor for these groups is computed and shown to be bounded. Brownian motion and the corresponding heat kernel measures, $\{ν_t\}_{t>0},$ are also studied. We show that these heat kernel measures admit: 1) Gaussian like upper bounds, 2) Cameron-Martin type quasi-invariance results, 3) good $L^p$ -- bounds on the corresponding Radon-Nykodim derivatives, 4) integration by parts formulas, and 5) logarithmic Sobolev inequalities. The last three results heavily rely on the boundedness of the Ricci tensor.

研究动机与目标

• 将有限维热核结果（如拟不变性、对数索博莱夫不等式和高斯上界）推广至无限维非交换海森堡群。
• 通过这些群上的布朗运动随机过程定义热核测度，以替代缺失的黎曼体积测度。
• 证明这些群上的里奇曲率张量有界，从而推导出关键的函数不等式。
• 利用抽象维纳空间结构，为无限维海森堡型群上的分析提供严格的框架。
• 将马利维安的随机分析框架推广至具有非平凡曲率的非紧、非交换无限维李群。

提出的方法

• 从抽象维纳空间上的反对称形式构造无限维海森堡群，确保李代数结构的明确定义。
• 通过有限维投影和弱收敛定义群上的布朗运动，从而导出一族热核测度$\{\nu_t\}_{t>0}$。
• 利用群的李代数和度量结构上的内在几何分析，证明里奇曲率张量有界。
• 通过距离估计和Cameron-Martin空间中的体积比较，建立热核的类高斯上界。
• 利用有界的里奇曲率，推导出$\nu_t$关于维纳测度的Radon-Nikodym导数的$L^p$有界性。
• 通过利用有界的里奇曲率和群上的函数演算，证明分部积分公式和对数索博莱夫不等式。

实验结果

研究问题

• RQ1 在缺乏黎曼体积测度的无限维海森堡群上，热核测度能否被有意义地定义？
• RQ2 由抽象维纳空间构造的无限维海森堡型群中，里奇曲率张量是否保持有界？
• RQ3 热核测度在Cameron-Martin平移下是否具有拟不变性，且能否在$L^p$范数下进行量化？
• RQ4 能否为这些测度建立对数索博莱夫不等式，有界里奇曲率在此过程中起什么作用？
• RQ5 在这一无限维设定下，热核的精确类高斯上界是什么？

主要发现

• 无限维海森堡群上的里奇曲率张量有界，这是后续所有不等式成立的基础性结果。
• 热核测度$\{\nu_t\}_{t>0}$具有类高斯上界，衰减速率由群内平方距离控制。
• $\nu_t$在Cameron-Martin平移下具有拟不变性，且其Radon-Nikodym导数的$L^p$-范数对所有$p>1$一致有界。
• 光滑柱函数的分部积分公式成立，漂移项明确与有界里奇曲率相关。
• 对$\nu_T$建立了对数索博莱夫不等式，常数依赖于里奇曲率的下确界和时间$T$。
• 在小邻域内，距离$d_{CM}(\mathbf{e},x)$与内在度量$\delta(\mathbf{e},x)$彼此等价，且常数一致，确保了几何控制。