[論文レビュー] 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による下からのリッチ曲率下界）の下で、ディリクレ形式における内挿的長さ構造、勾配構造、ニュートン型構造の同値性を確立する。熱流がボルツマン＝シャノンエントロピー汎関数の一意的勾配流であることは、エネルギー測度が局所リプシッツ定数と一致する場合にかつその場合に限り成り立ち、これはクスクーク測度を伴うシエルピンスキー・ギャスケットに対しても検証される。

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.

研究の動機と目的

• 測度付き距離空間上のディリクレ形式における内挿的長さ構造と勾配構造の関係を明確化すること。
• これらの2つの構造が一致する幾何的・解析的条件を同定すること。
• 熱流がエントロピー汎関数 $U_\infty$ の一意的勾配流であるというニュートン型性と構造一致の同値性を確立すること。
• クスクーク測度を伴うシエルピンスキー・ギャスケットにおける標準的ディリクレ形式に対して、構造一致を検証すること。
• ディリクレ形式の内挿的幾何学的性質と熱核勾配の短時間漸近挙動を結びつけること。

提案手法

• $L^2(X,m)$ 上の正則で強く局所的なディリクレ形式 $E$ が誘導する内挿的距離 $d$ の使用。
• 倍加性および弱(1,2)-Poincaré不等式の適用により、エネルギー測度とリプシッツ定数を制御する。
• エネルギー測度がほとんど everywhere で $\frac{d}{dm}\Gamma(u,u) = (\text{Lip}\, u)^2$ を満たすことを保証するためのキーパラメータとしてのニュートン型性の導入。
• 測度付き距離空間におけるボルツマン＝シャノンエントロピー $U_\infty$ の勾配流理論の適用。
• Lott-Sturm-Villaniによる下からのリッチ曲率下界の概念を用い、バクリ＝エメリー曲率と関連付ける。
• 抵抗形式およびクスクーク測度を用いたシエルピンスキー・ギャスケットの解析により、構造一致の検証を行う。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で、ディリクレ形式の内挿的長さ構造がその勾配構造と一致するか？
• RQ2 どの条件下で、ディリクレ形式の熱流がエントロピー汎関数 $U_\infty$ の一意的勾配流となるか？
• RQ3 ディリクレ形式の文脈において、Lott-Sturm-Villaniのリッチ曲率とバクリ＝エメリー曲率の概念はどのように関係するか？
• RQ4 熱核勾配の短時間漸近挙動は、内挿的幾何学とどのように関連するか？
• RQ5 ニュートン型性は、エネルギー測度が局所リプシッツ定数の二乗に一致することを保証するか？

主な発見

• 倍加性、弱(1,2)-Poincaré不等式、およびLott-Sturm-Villaniによる下からのリッチ曲率下界の下で、ディリクレ形式の内挿的長さ構造と勾配構造が一致するための必要十分条件は、ニュートン型性が成り立つことである。
• クスクーク測度を伴うシエルピンスキー・ギャスケットにおける標準的ディリクレ形式に対して、内挿的長さ構造は、可測リーマン幾何学的構造および勾配構造の両方と一致する。
• すべてのリプシッツ関数 $u$ に対して $\frac{d}{dm}\Gamma(u,u) = (\text{Lip}\, u)^2$ a.e. が成り立つとき、かつその場合に限り、$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$ が成り立つならば、熱核勾配の短時間漸近挙動は二乗距離関数と一致する。
• 本稿では、シエルピンスキー・ギャスケットに対して、微分可能性に関する精密化されたラデマッハ型定理を確立し、内挿的幾何学においてリプシッツ関数が a.e. で微分可能であることを確認した。