[论文解读] Differential forms on Dirichlet spaces and Bakry-Émery estimates on metric graphs

Fabrice Baudoin, Daniel J. Kelleher|arXiv (Cornell University)|Apr 9, 2016

Geometric Analysis and Curvature Flows参考文献 28被引用 9

一句话总结

该论文通过狄氏空间中微分一形式的框架，在度量图上建立了弱Bakry-Émery估计，证明该估计的常数 $ C_1 > 1 $，且其下界由 $ \max(\deg v - 1) $ 给出。尽管缺乏广义Ricci曲率的有界性，该估计仍足以推出关键的几何与函数不等式。

ABSTRACT

We develop a general framework on Dirichlet spaces to prove a weak form of the Bakry-Émery estimate and study its consequences. This estimate may be satisfied in situations, like metric graphs, where generalized notions of Ricci curvature lower bounds are not available.

研究动机与目标

• 在广义Ricci曲率有界性不可用的狄氏空间中，发展弱Bakry-Émery估计的一般性框架。
• 证明具有有限条边的度量图满足一个弱Bakry-Émery估计，且 $ C_1 > 1 $，其量化由顶点度数决定。
• 表明该弱估计可推出强几何后果，包括Sobolev嵌入与等周不等式。
• 通过Walsh蜘蛛图上Brunn-Minkowski不等式失效，证明度数大于2的顶点处度量图不满足 $ CD(K,\infty) $ 曲率有界性。

提出的方法

• 在狄氏空间中引入可测微分一形式及外微分 $ \partial $，建立交错恒等式 $ \partial e^{t\Delta} = e^{t\vec{\Delta}} \partial $。
• 证明半群控制不等式 $ \|e^{t\vec{\Delta}}\eta\| \leq C_1 e^{t\Delta}\|\eta\| $ 对 $ 0 \leq t \leq 1 $ 成立，从而推出弱Bakry-Émery估计。
• 通过 $ \operatorname{Var}f = \sup \langle f, \partial^*\eta \rangle $（其中 $ \|\eta\| \leq 1 $）定义有界变差函数，从而实现Sobolev与等周不等式。
• 将Ledoux与Buser的等周不等式技术适配至狄氏空间设定，利用弱Bakry-Émery估计。
• 利用热核梯度估计（条件 $ G_{\text{loc}} $）证明在非紧致度量图上局部Riesz变换有界。
• 构造反例以证明 $ CD(K,\infty) $ 不成立，基于三足Walsh蜘蛛图上Brunn-Minkowski不等式失效。

实验结果

研究问题

• RQ1 在 $ \Gamma_2 $-微分几何与Ricci曲率有界性均失效的狄氏空间中，能否建立弱Bakry-Émery估计？
• RQ2 在度量图上，弱Bakry-Émery估计 $ \sqrt{\Gamma(e^{t\Delta}f)} \leq C_1 e^{t\Delta}\sqrt{\Gamma(f)} $ 的最优常数 $ C_1 $ 是什么？
• RQ3 在奇异空间中，能否从弱Bakry-Émery估计导出等周与Sobolev型不等式？
• RQ4 度数大于2的顶点存在的度量图是否对任意 $ K $ 满足 $ CD(K,\infty) $ 曲率有界性？
• RQ5 在热核梯度估计条件下，局部Riesz变换在非紧致度量图上的行为如何？

主要发现

• 在度量图上，弱Bakry-Émery估计的最优常数 $ C_1 $ 满足 $ C_1 \geq \max(\deg v - 1) $，因此对非平凡图有 $ C_1 > 1 $。
• 弱Bakry-Émery估计蕴含Sobolev嵌入不等式 $ \|f\|_p \leq C_Q(\operatorname{Var}f + \|f\|_1) $，其中 $ p = Q/(Q-1) $，$ Q $ 为半群维数。
• 在弱估计下，等周不等式 $ \mu(E)^{(Q-1)/Q} \leq C_{\text{iso}} P(E) $ 成立，其中 $ P(E) = \operatorname{Var}(1_E) $。
• 通过弱Bakry-Émery估计，将Ledoux与Buser的等周不等式推广至狄氏空间设定。
• 若热核满足 $ |d_x p_t(x,y)| \leq C e^{\beta t}/(\sqrt{t} \mu(B_{\sqrt{t}}(x))) $，则非紧致度量图上的局部Riesz变换有界，该条件在弱假设下成立。
• 具有度数大于2的顶点的度量图不满足对任意 $ K $ 的 $ CD(K,\infty) $，如三足Walsh蜘蛛图上Brunn-Minkowski不等式失效所示。