[論文レビュー] From Harnack inequality to heat kernel estimates on metric measure spaces and applications

Luca Tamanini|arXiv (Cornell University)|Jul 16, 2019

Geometric Analysis and Curvature Flows参考文献 23被引用数 6

ひとこと要約

本稿は、次元に依存しないハーナック不等式と熱半群の積分表現を満たす測度付き距離空間における、熱核の鋭い上界ガウス型評価を確立する。中間段階として局所的対数ソボレフ不等式を証明することで、${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$ の形の熱核推定を得る。これは、${\sf RCD}(K,\infty)$ 空間において、局所的対数ソボレフ不等式およびこのような推定がこれまで未知であったという、重要なギャップを埋めるものである。

ABSTRACT

Aim of this short note is to show that a dimension-free Harnack inequality on an infinitesimally Hilbertian metric measure space where the heat semigroup admits an integral representation in terms of a kernel is suffcient to deduce a sharp upper Gaussian estimate for such kernel. As intermediate step, we prove the local logarithmic Sobolev inequality (known to be equivalent to a lower bound on the Ricci curvature tensor in smooth Riemannian manifolds). Both results are new also in the more regular framework of $RCD(K,\infty)$ spaces.

研究の動機と目的

• ${\sf RCD}(K,\infty)$ 空間における熱核推定のギャップを埋めること。ここでは、局所的対数ソボレフ不等式および鋭い上界ガウス型評価が、これまで確立されていなかった。
• 無限小ヒルベルト空間としての測度付き距離空間に、次元に依存しないハーナック不等式と積分的熱半群が成り立つ場合、それが熱核の鋭い上界ガウス型推定を導くことを示すこと。
• ${\sf RCD}(K,\infty)$ 空間において、局所的対数ソボレフ不等式を新たに確立すること。これは、従来の文献において欠落していた。
• ${\sf RCD}^*(K,N)$ および滑らかなリーマン多様体から既知の結果を、より広いクラスの ${\sf RCD}(K,\infty)$ 空間に、測度付き距離構造を用いて一般化すること。

提案手法

• 熱半群と $L^p$ ノルム推定を用いた双対性の議論を通じて、次元に依存しないハーナック不等式から局所的対数ソボレフ不等式を導出する。
• $L^\infty$-${\rm LIP}$ 正則化性を用いて、熱フローの成長を距離と時間の観点から制御する。
• 指数関数的重み $\exp(\frac{{\sf d}^2(x,\cdot)}{Dt})$ を用いた重み付き $L^2$-推定を適用し、熱核の質量分布を制御する。
• $D>2$ のパラメータを用いたスケーリング議論により、$D$ に依存しない一様な上界を導出し、最終的なガウス型上界に至る。
• 局所的対数ソボレフ不等式と $L^\infty$-${\rm LIP}$ 正則化性を組み合わせることで、熱核の鋭い上界推定を得る。
• 短時間極限におけるバラダハンの漸近公式を用いて、上界の鋭さを検証し、正しい $-\frac{{\sf d}^2(x,y)}{4t}$ の減衰率が得られることを確認する。

実験結果

リサーチクエスチョン

• RQ1 測度付き距離空間に次元に依存しないハーナック不等式と積分的熱半群が成り立つ場合、それが熱核の鋭い上界ガウス型推定を導くことができるか？
• RQ2 ${\sf RCD}(K,\infty)$ 空間において、局所的対数ソボレフ不等式は成立するか？また、ハーナック不等式から導出可能か？
• RQ3 ${\sf RCD}(K,\infty)$ 空間における熱核は、${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$ の形の上界を満たすか？
• RQ4 ${\sf RCD}(K,\infty)$ 空間における熱核の短時間挙動が、バラダハンの漸近公式を満たすことを示せるか？
• RQ5 熱フローの $L^\infty$-${\rm LIP}$ 正則化性は、ハーナック不等式から熱核推定に至るための十分な道具であるか？

主な発見

• 任意の無限小ヒルベルト空間としての測度付き距離空間において、次元に依存しないハーナック不等式を満たす場合、局所的対数ソボレフ不等式が成立する。これは、${\sf RCD}(K,\infty)$ 空間においても、新たな結果である。
• すべての $x,y \in {\rm X}$ および $t>0$ に対して、熱核は上界ガウス型推定 ${\sf r}_t[x](y) \leq \frac{1}{\sqrt{\mathfrak{m}(B_{\sqrt{t}}(x))\mathfrak{m}(B_{\sqrt{t}}(y))}}\exp\Big{(}C_\varepsilon(1+C_K t)-\frac{{\sf d}^2(x,y)}{(4+\varepsilon)t}\Big{)}$ を満たす。$K \geq 0$ のとき $C_K = 0$ である。
• 短時間極限において、上界は鋭い。バラダハンの漸近公式により確認され、$\lim_{t \downarrow 0} t \log {\sf r}_t[x](y) = -\frac{{\sf d}^2(x,y)}{4}$（$x \neq y$）が成り立ち、これは主要項の減衰率と一致する。
• 証明は、指数関数的重みを用いた新規の $L^2$-推定と、$D>2$ におけるスケーリング議論に依存しており、半径 $\sqrt{t}$ の球の体積に基づいた熱核質量の一様な制御を可能にする。
• $L^\infty$-${\rm LIP}$ 正則化性は、熱核の点関数的挙動の制御を可能にする重要な補助的結果として確立された。
• 既知の ${\sf RCD}^*(K,N)$ や滑らかなリーマン多様体からの結果が、これまでこのような上界が得られていなかったより一般な ${\sf RCD}(K,\infty)$ フレームワークへと拡張された。