[论文解读] Geometry and Analysis of Dirichlet forms

Pekka Koskela, Yuan Zhou|arXiv (Cornell University)|Aug 24, 2012

Geometric Analysis and Curvature Flows参考文献 27被引用 11

一句话总结

本文在几何与解析条件（包括加倍性、弱(1,2)-Poincaré不等式，以及Lott-Sturm-Villani意义下的下界Ricci曲率）下，建立了Dirichlet型中内在长度、梯度与牛顿结构的等价性。证明了热流唯一实现Boltzmann-Shannon熵的梯度流当且仅当能量测度与逐点Lipschitz常数一致，并在Kusuoka测度下的Sierpinski垫片上验证了这一点。

ABSTRACT

Let $ \mathscr E $ be a regular, strongly local Dirichlet form on $L^2(X, m)$ and $d$ the associated intrinsic distance. Assume that the topology induced by $d$ coincides with the original topology on $ X$, and that $X$ is compact, satisfies a doubling property and supports a weak $(1, 2)$-Poincaré inequality. We first discuss the (non-)coincidence of the intrinsic length structure and the gradient structure. Under the further assumption that the Ricci curvature of $X$ is bounded from below in the sense of Lott-Sturm-Villani, the following are shown to be equivalent: (i) the heat flow of $\mathscr E$ gives the unique gradient flow of $\mathscr U_\infty$, (ii) $\mathscr E$ satisfies the Newtonian property, (iii) the intrinsic length structure coincides with the gradient structure. Moreover, for the standard (resistance) Dirichlet form on the Sierpinski gasket equipped with the Kusuoka measure, we identify the intrinsic length structure with the measurable Riemannian and the gradient structures. We also apply the above results to the (coarse) Ricci curvatures and asymptotics of the gradient of the heat kernel.

研究动机与目标

• 澄清度量测度空间上Dirichlet型中内在长度结构与梯度结构之间的关系。
• 确定在何种几何与解析条件下这两种结构相等。
• 建立热流作为熵泛函$U_\infty$的唯一梯度流与牛顿性质及结构一致性的等价性。
• 验证标准Dirichlet型在Sierpinski垫片上配备Kusuoka测度时的结构一致性。
• 将Dirichlet型的内在几何与热核梯度的短时间渐近行为联系起来。

提出的方法

• 使用由$L^2(X,m)$上正则强局部Dirichlet型$E$诱导的内在距离$d$。
• 应用加倍性与弱(1,2)-Poincaré不等式以控制能量测度与Lipschitz常数。
• 引入牛顿性质作为关键条件，确保$\frac{d}{dm}\Gamma(u,u) = (\text{Lip}\, u)^2$几乎处处成立。
• 在度量测度空间中应用Boltzmann-Shannon熵$U_\infty$的梯度流理论。
• 应用Lott-Sturm-Villani的下界Ricci曲率概念，以关联Bakry-Emery曲率。
• 通过电阻形式与Kusuoka测度分析Sierpinski垫片，以验证结构一致性。

实验结果

研究问题

• RQ1 在何种条件下，Dirichlet型的内在长度结构与梯度结构相等？
• RQ2 在何种条件下，Dirichlet型的热流是熵泛函$U_\infty$的唯一梯度流？
• RQ3 在Dirichlet型的语境下，Lott-Sturm-Villani与Bakry-Emery的Ricci曲率概念如何关联？
• RQ4 热核梯度的短时间渐近行为与内在几何有何关系？
• RQ5 牛顿性质是否保证能量测度等于逐点Lipschitz常数的平方？

主要发现

• 在加倍性、弱(1,2)-Poincaré不等式及Lott-Sturm-Villani意义下的下界Ricci曲率条件下，Dirichlet型的内在长度结构与梯度结构相等当且仅当牛顿性质成立。
• 在配备Kusuoka测度的标准Dirichlet型下，Sierpinski垫片的内在长度结构与可测Riemann结构及梯度结构均一致。
• 当且仅当对所有Lipschitz函数$u$，有$\frac{d}{dm}\Gamma(u,u) = (\text{Lip}\, u)^2$几乎处处成立时，$E$的热流才给出$U_\infty$的唯一梯度流。
• 对所有$x \in X$，有$\Gamma(dx, dx) = m$的条件等价于短时间渐近公式的弱形式：$\lim_{t \to 0} \int_X \phi \, d\Gamma(t \log T_t \mathbf{1}_A, t \log T_t \mathbf{1}_A) = \int_X \phi \, d\Gamma(d_A^2/4, d_A^2/4)$。
• 在具有谱间隙的紧致空间上，若$\Gamma(dx, dx) = m$，则热核梯度的短时间渐近行为与平方距离函数一致。
• 本文为Sierpinski垫片建立了精细的Rademacher型定理，确认了在内在几何中Lipschitz函数几乎处处可微。