[论文解读] Quasi-invariance for heat kernel measures on sub-Riemannian infinite-dimensional Heisenberg groups

Fabrice Baudoin, Maria Gordina+1 more|arXiv (Cornell University)|Aug 7, 2011

Geometric Analysis and Curvature Flows参考文献 18被引用 6

一句话总结

本论文在无限维子黎曼海森堡群上建立了热核测度的Cameron-Martin型拟不变性，证明了该测度在Cameron-Martin子群元素平移下是拟不变的，并为Radon-Nikodym导数提供了$L^p$-范数估计。关键结果依赖于有限维投影上的广义曲率-维数估计，从而在子椭圆框架下推导出反Poincaré不等式与Wang型Harnack不等式。

ABSTRACT

We study heat kernel measures on sub-Riemannian infinite-dimensional Heisenberg-like Lie groups. In particular, we show that Cameron-Martin type quasi-invariance results hold in this subelliptic setting and give $L^p$-estimates for the Radon-Nikodym derivatives. The main ingredient in our proof is a generalized curvature-dimension estimate which holds on approximating finite-dimensional projection groups. Such estimates were first introduced by Baudoin and Garofalo in \cite{BaudoinGarofalo2011}.

研究动机与目标

• 在传统Ricci曲率下界不可用的无限维子黎曼框架下，建立热核测度的拟不变性。
• 将Cameron-Martin型结果扩展至无限维海森堡型群上的子椭圆扩散过程。
• 在Cameron-Martin子群元素平移下，为热核测度的Radon-Nikodym导数提供$L^p$-估计。
• 尽管缺乏参考测度，仍证明关联半群在Cameron-Martin子群上的强Feller性质。
• 在退化子椭圆框架下发展函数不等式，包括反Poincaré不等式与Wang型Harnack不等式。

提出的方法

• 在有限维投影群$G_P$上利用广义曲率-维数估计，扩展Baudoin与Garofalo（2010）的技术。
• 通过从有限维近似$G_P$到无限维群$G$的极限过程，保持关键几何与分析性质。
• 利用交换关系与曲率界，在$G_P$上导出反Poincaré不等式，随后将其提升至$G$。
• 应用Harnack不等式控制热核密度的比值，并推导Radon-Nikodym导数的$L^p$-界。
• 利用热核测度的右平移不变性及关于取逆的对称性，关联左平移与右平移导数。
• 通过$G_{CM}$上半群的一致收敛性，结合$L^p$-估计与转移密度的连续性，建立强Feller性质。

实验结果

研究问题

• RQ1 无限维子黎曼海森堡群上的热核测度在Cameron-Martin子群元素平移下是否仍保持拟不变？
• RQ2 在缺乏Ricci曲率下界的情况下，能否为Radon-Nikodym导数建立$L^p$-估计？
• RQ3 反Poincaré不等式与Harnack不等式在子椭圆、无限维框架下如何表现？
• RQ4 由子Laplacian生成的半群在该类群上于Cameron-Martin子群上是否为强Feller？
• RQ5 有限维中的函数不等式在多大程度上可推广至无限维子黎曼群？

主要发现

• 无限维子黎曼海森堡群$G$上的热核测度$\nu_T$在Cameron-Martin子群$G_{CM}$的左平移下是拟不变的。
• 对于所有$p \in (1, \infty)$，Radon-Nikodym导数$d(\nu_T \circ L_y^{-1})/d\nu_T$属于$L^p(G, \nu_T)$，其显式界涉及距离$d(x,y)$与参数$\|\omega\|_2^2/\rho_2$。
• 在$G$上存在Wang型Harnack不等式，指数因子依赖于$d^2(x,y)/(4(p-1)T)$，并包含曲率修正项$1 + 2\|\omega\|_2^2/\rho_2$。
• 半群$P_T$在$G_{CM}$上为强Feller，即对有界可测函数$f$，$P_T f$连续，且当$d(x,y) \to 0$时，差值$|P_T f(x) - P_T f(y)|$趋于零。
• $L^p$-范数估计通过从有限维投影$G_P$出发的极限论证获得，其中曲率-维数界已验证。
• 强Feller性质的建立不依赖于路径式Girsanov型定理，而是基于函数不等式与有限维近似的一致收敛性。