[論文レビュー] The Davies method revisited for heat kernel upper bounds of regular Dirichlet forms on metric measure spaces

Jiaxin Hu, Xuliang Li|arXiv (Cornell University)|May 18, 2016

Geometric Analysis and Curvature Flows参考文献 21被引用数 4

ひとこと要約

本稿は、測度付き距離空間上の正則ディリクレ形式の熱核上界について、一様で同値性に基づく特徴付けを再考するデイヴィス法を提示する。非対角項の安定型または準ガウス型の上界が、対角上界、同心中心球上のカットオフ不等式、ジャンプ核上界の論理積と同値であることを証明する。この結果は任意のウォーク次元に対して成り立ち、局所的および非局所的形の両方に適用可能である。

ABSTRACT

We apply the Davies method to prove that for any regular Dirichlet form on a metric measure space, an off-diagonal stable-type upper bound of the heat kernel is equivalent to the conjunction of the on-diagonal upper bound, a cutoff inequality on any two concentric balls, and the jump kernel upper bound, for any walk dimension. If in addition the jump kernel vanishes, that is, if the Dirichlet form is strongly local, we obtain sub-Gaussian upper bound. This gives a unified approach to obtaining heat kernel upper bounds for both the non-local and the local Dirichlet forms.

研究の動機と目的

• 測度付き空間へのデイヴィス法の拡張を通じて、局所的および非局所的ディリクレ形式の両方の熱核上界を統一的に分析すること。
• 非対角項の安定型および準ガウス型熱核推定値と、対角上界、球上でのカットオフ不等式、ジャンプ核上界との間の同値条件を確立すること。
• これらの条件がディリクレ形式の有界摂動に対して安定であることを示すこと。
• 無限大の測度付き空間に限定する制限を除去し、有界および無限大の両方の空間に適用可能なフレームワークを提供すること。
• 局所的（準ガウス型）および非局所的（安定型）の両ケースを包含する一般的かつ体系的な熱核上界の特徴付けを提供すること。

提案手法

• 測度付き空間上の正則ディリクレ形式に対して、統一的な枠組みでデイヴィス法を適用し、熱核上界を導出する。
• ディリクレ形式を局所的およびジャンプ成分に分解し、ジャンプ成分は $ \mu \times \mu $ に関する密度 $ J(x,y) $ で定義する。
• 従来の定式化とは異なる、同心球上での新規のカットオフ不等式条件（CIB）を導入し、半群の挙動を制御する。
• エネルギー測度理論と擬連続性を用いて、ディリクレ空間内の関数の正則性を扱う。
• 劣微分作用素と指数的推定を用いて、特に $ d(x,y) \geq c_3 t^{1/\beta} $ の非対角領域における熱核を制御する。
• 半群の保存性を用いて、積分推定と組み合わせ、熱核上界からカットオフ不等式への主要な含意を確立する。

実験結果

リサーチクエスチョン

• RQ1 測度付き空間上での正則ディリクレ形式の熱核に対する非対角項の安定型上界と同値となる条件は何か？
• RQ2 デイヴィス法は、局所的および非局所的ディリクル形式を一括して取り扱うために、どのように適合可能か？
• RQ3 同心球上でのカットオフ不等式は、熱核上界の特徴付けにおいて果たす役割は何か？
• RQ4 ジャンプ核が消える場合には、どのような条件下で準ガウス型の熱核推定が得られるか？
• RQ5 有界摂動に対して、同値性の結果は保持されるか？

主な発見

• 任意のウォーク次元 $ \beta > 0 $ に対して、熱核の非対角項の安定型上界は、対角上界、任意の二つの同心球上でのカットオフ不等式、およびジャンプ核上界の論理積と同値である。
• ジャンプ核が消える（つまり、形式が強く局所的である）場合、熱核は任意の $ \beta > 1 $ に対して準ガウス型上界を満たす。
• 同値性の結果は、ディリクレ形式の有界摂動に対して安定であり、特徴付けの堅牢性を保証する。
• 本手法は、有界および無限大の両方の測度付き空間に適用可能であり、従来の結果が無限大性を仮定していたのを拡張する。
• 証明により、カットオフ不等式（CIB）が積分推定と半群の保存性を用いて、核 $ \Phi_2(s) $ の減衰性から導かれることが示された。
• 明示的な指数型の上界が得られる：$ p_t(x,y) \leq \frac{C}{t^{\alpha/\beta}} \exp\left(\frac{1}{4}R_0^{-\beta}t\right) \exp\left(-c\left(\frac{d(x,y)}{t^{1/\beta}}\right)^{\beta/(\beta' - 1)}\right) $、ただし $ \beta' = 2\beta + 2 $、局所的ケースに適用可能。