[论文解读] Rigidity phenomenons for an infinite dimension diffusion operator and cases of near equality in the Bakry--Ledoux isoperimetric comparison Theorem

Raphaël Bouyrie|arXiv (Cornell University)|Aug 23, 2017

Advanced Mathematical Modeling in Engineering被引用 3

一句话总结

该论文通过半群插值方法，建立了无限维扩散算子在正曲率下的刚性结果，将Obata定理推广至该设定。此外，该研究刻画了Bakry–Ledoux等周比较定理中近似等号成立的情形，通过受Mossel与Neeman启发的半群方法，推导出高维球面上等周不等式的新定量界。

ABSTRACT

We study rigidity phenomenons for infinite dimension diffusion operators of positive curvature using semigroup interpolations. In particular, for such diffusions, an analogous statement of Obata's theorem is established. Moreover, the same rigidity holds for the Bakry--Ledoux isoperimetric comparison Theorem - a result due to Franck Morgan. Recently, Mossel and Neeman have exploited the semigroup proof of Bakry and Ledoux to derive dimension free bounds for the Gaussian isoperimetry. We extend theirs arguments to obtain in particular new quantitative bounds on the spherical isoperimetric inequality in large dimension.

研究动机与目标

• 通过半群插值研究正曲率无限维扩散算子中的刚性现象。
• 将Obata定理推广至无限维设定，识别出等号成立时蕴含高斯结构的条件。
• 刻画Bakry–Ledoux等周比较定理中近似等号成立的情形。
• 为大维度下球面上等周不等式推导出与维度无关的定量界。
• 将Mossel与Neeman的基于半群的方法拓展，以在高维等周几何中获得精确估计。

提出的方法

• 利用半群插值技术分析热流沿功能不等式单调性的行为。
• 通过梯度与半群之间的交换关系识别等号成立的情形。
• 采用Bakry–Émery的马尔可夫三元组 $(E,\mu,\Gamma)$ 框架来建模无限维扩散。
• 通过过渡密度的二阶导数有界性，推导出热半群的Hessian的点态估计。
• 利用Jensen不等式与测度变换控制与曲率相关的项的加权积分。
• 通过证明黎曼等周比值收敛于其高斯对应物，建立与维度无关的界，且该收敛性随维度增加而成立。

实验结果

研究问题

• RQ1 在Bakry–Ledoux等周比较定理中，等号成立时，何种条件下可推出无限维空间同胚于高斯空间？
• RQ2 半群方法能否检测到类似于有限维情形下Obata定理的无限维扩散刚性？
• RQ3 利用半群技术，可为高维球面上等周不等式获得哪些定量界？
• RQ4 当维度趋于无穷时，等周估计中常数的行为如何？
• RQ5 Bakry与Ledoux的半群证明在多大程度上可被改进以捕捉近似等号的情形？

主要发现

• 对于具有正曲率的无限维扩散算子，存在类似于Obata定理的刚性结果：若功能不等式中等号成立，则底层空间必为高斯型。
• 该研究证明，Bakry–Ledoux等周比较定理中近似等号成立的情形仅在测度以定量方式接近高斯测度时发生。
• 推导出球面上等周不等式的全新定量界，误差项以 $O(\sqrt{t}/n)$ 形式衰减，其中 $t$ 较小且 $n$ 较大。
• 通过半群逼近方法，可消除等周估计中常数对维度的依赖，从而获得与维度无关的界。
• 证明了热半群Hessian的点态估计满足 $\|\nabla^2 f_t\|_{HS}^2 \leq C f_t^2 / t^4$，从而控制了 $\Gamma_2 - \Gamma$ 算子。
• 量化了黎曼等周比值收敛于其高斯对应物的过程，误差为 $O(n^{-1})$，且对所有 $u > 0$ 一致成立。