6533b7d0fe1ef96bd125ae81
RESEARCH PRODUCT
Geometry and analysis of Dirichlet forms
Pekka KoskelaYuan ZhouYuan Zhousubject
Mathematics(all)General MathematicsPoincaré inequalityMetric measure space01 natural sciencesMeasure (mathematics)Length structuresymbols.namesakeMathematics - Metric GeometrySierpinski gasketGradient flowClassical Analysis and ODEs (math.CA)FOS: Mathematics0101 mathematicsRicci curvatureHeat kernelMathematicsDirichlet formProbability (math.PR)010102 general mathematicsMathematical analysista111Differential structureMetric Geometry (math.MG)Functional Analysis (math.FA)Sierpinski triangleMathematics - Functional Analysis010101 applied mathematicsRicci curvatureMathematics - Classical Analysis and ODEsPoincaré inequalityBounded functionsymbolsBalanced flowDirichlet formIntrinsic distanceMathematics - Probabilitydescription
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\'e 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.
year | journal | country | edition | language |
---|---|---|---|---|
2012-12-01 | Advances in Mathematics |