[論文レビュー] Gaussian heat kernel bounds through elliptic Moser iteration

Frédéric Bernicot, Thierry Coulhon+1 more|arXiv (Cornell University)|Jul 15, 2014

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

ひとこと要約

この論文は、倍加測度付き距離測度ディリクレ空間において、熱半群の$L^p$勾配推定（$G_p$）とスケール不変$L^p$ポンカラの不等式（$P_p$）が$p \geq 2$に対して成り立つならば、両側ガウス型熱核推定が得られることを確立している。著者らは、放物型モーザー反復を用いないSaloff-Costeの$L^2$結果の新たな証明を提供し、[37]の重要な結果の直接的証明も提示している。その際、半群に対する$L^p$ホルダー正則性の新概念を導入し、$(P_2)$を調和関数の性質で特徴づけている。

ABSTRACT

On a doubling metric measure space endowed with a "carré du champ", we consider $L^p$ estimates $(G_p)$ of the gradient of the heat semigroup and scale-invariant $L^p$ Poincaré inequalities $(P_p)$. We show that the combination of $(G_p)$ and $(P_p)$ for $p\ge 2$ always implies two-sided Gaussian heat kernel bounds. The case $p=2$ is a famous theorem of Saloff-Coste, of which we give a shorter proof, without parabolic Moser iteration. We also give a more direct proof of the main result in \cite{HS}. This relies in particular on a new notion of $L^p$ Hölder regularity for a semigroup and on a characterization of $(P_2)$ in terms of harmonic functions.

研究の動機と目的

• 一般の倍加測度付き距離測度ディリクレ空間における両側ガウス型熱核推定を導く一般的基準を確立すること。
• 放物型モーザー反復を用いないSaloff-Costeの古典的$L^2$結果（ガウス型推定）の、より短い新たな証明を提供すること。
• [37]における熱核推定に関する重要な結果を、$L^p$推定を用いてより直接的な証明を与えること。
• 熱半群に対する$L^p$ホルダー正則性の新概念を導入し、$(P_2)$を調和関数の観点から特徴づけること。
• 一般の距離測度設定においてガウス型熱核推定が成り立つ条件を統一的かつ一般化すること。

提案手法

• 著者らは、熱半群に対する新しい$L^p$ホルダー正則性の概念を用いて、勾配推定と熱核推定を結びつける。
• 逆ホルダー不等式とその自己改善性を導くために、楕円型モーザー反復技術を用いる。
• $L^p$ポンカラ不等式とエネルギー測度構造から導かれるキャッチョッポリ型不等式に依拠して証明を構築する。
• 主要なステップとして、ディリクレ形式とエネルギー測度を用いた調和関数を用いた$ L^2 $ポンカラ不等式の特徴づけを関連付ける。
• dyadic ballを用いた被覆論法と逆ホルダー不等式を組み合わせ、熱核の$L^p$ノルムを制御する。
• ブートストラップ法による逆ホルダー不等式の自己改善性を確立し、最終的に熱核の均一な制御に至る。

実験結果

リサーチクエスチョン

• RQ1 一般の距離測度ディリクレ空間において、$L^p$勾配推定と$L^p$ポンカラ不等式がどのような条件下で両側ガウス型熱核推定を導くことができるか。
• RQ2 Saloff-Costeの$L^2$結果（ガウス型熱核推定）は、放物型モーザー反復を用いずに再証明可能か。
• RQ3 熱半群に対する新しい$L^p$ホルダー正則性の概念は、基礎となる幾何構造とポンカラ不等式とどのように関係するか。
• RQ4 この設定において、調和関数は$L^2$ポンカラ不等式の特徴づけにおいて果たす役割は何か。
• RQ5 [37]の主結果（熱核推定）は、楕円型手法と$L^p$推定を用いて、より直接的に再証明可能か。

主な発見

• 倍加測度付き距離測度ディリクレ空間において、$p \geq 2$に対して$G_p$と$P_p$が成り立つならば、両側ガウス型熱核推定が成立する。
• 主結果の$L^2$ケース（Saloff-Costeの定理）は、放物型モーザー反復を一切用いずに、楕円型技術と新しい$L^p$ホルダー正則性の概念のみを用いて再証明された。
• 調和関数とエネルギー測度を用いた$L^2$ポンカラ不等式の新しい特徴づけが確立された。
• 熱核推定の文脈において、逆ホルダー不等式の自己改善性が導入された。
• 著者らは、$K(\varepsilon,\eta) \lesssim 1$が$\varepsilon$に一様に成り立つことを証明した。このことは、必要な逆ホルダー不等式が得られ、最終的な評価に至ることを示している。
• 証明手法により、[37]の主結果に対する直接的かつ自己完結的な証明が得られ、放物型正則性理論の必要性が回避された。