[論文レビュー] A note on heat kernel estimates, resistance bounds and Poincaré inequality

Mathav Murugan|arXiv (Cornell University)|Sep 4, 2018

Geometric Analysis and Curvature Flows参考文献 14被引用数 3

ひとこと要約

本稿は、楕円的ハーナック不等式、カットオフソボレフ不等式、または抜出自時刻の境界を仮定しない重み付きグラフにおけるサブガウスィアン型ヒートカーネル推定の十分条件を確立する。$(p_0)$ 条件、体積成長 $(V(d_f))$、ポincare不等式 $(π(d_w))$、容量上界 $(Ρ(d_w)_{\leq})$ の下で、両側サブガウスィアン型ヒートカーネル境界 $(Π(d_w))$ が成立し、ウォーク次元 $d_w$ は $d_w \leq d_f + 1$ を満たす。これはグラフ上におけるサブガウスィアン挙動の安定的かつ内在的な特徴付けを提供する。

ABSTRACT

Sub-Gaussian heat kernel estimates are typical of fractal graphs. We show that sub-Gaussian estimates on graphs follow from a Poincaré inequality, capacity upper bound, and a slow volume growth condition. An important feature of this work is that we do not assume elliptic Harnack inequality, cutoff Sobolev inequality, or exit time bounds.

研究の動機と目的

• 重み付きグラフ上でのサブガウスィアン型ヒートカーネル推定が成立するための最小で安定的な条件を同定すること。
• 従来の研究で一般的に用いられる楕円的ハーナック不等式、カットオフソボレフ不等式、または抜出自時刻の境界に依存しないようにすること。
• 多項式的体積成長の下で、ヒートカーネル境界とポincare不等式および容量上界の間の逆型特徴付けを確立すること。
• $d_w > 2$ であるフラクタル的グラフに適用可能な枠組みを提供すること。

提案手法

• 離散的なマルコフ過程を連続的拡散に高次元化するためのケーブルシステム構成を用い、ディリクレ形式および容量論による解析を可能にする。
• 抜出自時刻の切り詰めた対数関数の勾配を制御するために対数的キャッチョポリ不等式を適用する。
• レベル集合の測度論的性質と抜出自時刻の下界を関連付けるためにハウスドルフ内容推定を用いる。
• マーカフの不等式と体積二重性および多項式的成長を組み合わせ、抜出自時刻の期待値の下界を導出する。
• ハウスドルフ内容の最大原理および単調性を用いて、ダイアディックアニュラス上での抜出自時刻関数の下界を導出する。
• 反復的でない手法を用いて非負の上調和関数に対する平均値不等式を確立し、古典的なデ・ジョルジ＝モーザ反復を回避する。

実験結果

リサーチクエスチョン

• RQ1 楕円的ハーナック不等式やカットオフソボレフ不等式を仮定しないで、グラフ上でのサブガウスィアン型ヒートカーネル推定を導出可能か？
• RQ2 体積成長を超えた、最小限の幾何学的・解析的条件の組み合わせは、両側サブガウスィアン型ヒートカーネル境界を保証するか？
• RQ3 ポincare不等式および容量上界は、$d_w > 2$ であるグラフにおけるサブガウスィアン挙動を特徴付けるのに十分か？
• RQ4 反復的でない手法により、この設定で上調和関数に対する平均値不等式を導出可能か？
• RQ5 ウォーク次元 $d_w$ は、ヒートカーネルの減衰と体積成長および容量の関係をどのように規定するか？

主な発見

• $(p_0)$ 条件、$(V(d_f))$、$\mathrm{PI}(d_w)$、$(\mathrm{Cap}(d_w)_{\leq})$ の下で、$d_w \leq d_f + 1$ のもとで両側サブガウスィアン型ヒートカーネル境界 $(\mathrm{HK}(d_w))$ が確立される。
• 対数的キャッチョポリ不等式およびハウスドルフ内容推定を用いて、$\inf_{y \in B(x,r/36)} E^B(y) \geq c r^{d_w}$ という抜出自時刻の下界が証明される。
• 古典的反復技法を回避し、上調和関数に対する平均値不等式の新たなアプローチを提供する。
• ヒートカーネル境界の定数は、$V(d_f)$、$\mathrm{PI}(d_w)$、$\mathrm{Cap}(d_w)_{\leq}$、および $d_f, d_w$ のパrameterにのみ依存し、摂動に対して安定である。
• 本結果は、バルロウおよびグリゴリヤン、フ、ロウの予想を離散的設定で裏付けるものであり、グラフ上でのサブガウスィアン挙動の完全な特徴付けを提供する。
• 証明により、非負の上調和関数 $u$ に対して、$0 < \theta_1 < \theta_2 < 1$ を満たすとき、$\left( \frac{1}{m(B(x,\theta_2 r))} \int_{B(x,\theta_2 r)} u^{-1} dm \right)^{-1} \leq C \inf_{B(x,\theta_1 r)} u$ という新たな平均値不等式が得られる。