[論文レビュー] Heat Kernel Bounds on Metric Measure Spaces and Some Applications

Renjin Jiang, Huaiqian Li+1 more|arXiv (Cornell University)|Jul 20, 2014

Geometric Analysis and Curvature Flows参考文献 30被引用数 7

ひとこと要約

この論文は、RCD*(K,N)距離測度空間における熱核およびその勾配の鋭い上界と下界を、放物型ハーナック不等式とラプラシアン比較を用いて確立する。主な貢献は、ガウス型の境界における正確な指数定数の特定であり、リーマン多様体への応用としてリーマン変換の有界性と熱方程式の安定性の解明に寄与する。

ABSTRACT

Let $(X,d,μ)$ be a $RCD^\ast(K, N)$ space with $K\in \mathbb{R}$ and $N\in [1,\infty]$. For $N\in [1,\infty)$, we derive the upper and lower bounds of the heat kernel on $(X,d,μ)$ by applying the parabolic Harnack inequality and the comparison principle, and then sharp bounds for its gradient, which are also sharp in time. When $N=\infty$, we also establish a sharp upper bound of the heat kernel by using the dimension free Harnack inequality. For applications, we study the large time behavior of the heat kernel, the stability of solutions to the heat equation, and show the $L^p$ boundedness of (local) Riesz transforms.

研究の動機と目的

• RCD*(K,N)距離測度空間における熱核の鋭い上界と下界を、指数部における最適定数を伴って導出すること。
• 時間に最適な境界を保ちつつ、熱核の勾配推定値を鋭く確立すること。
• 熱核境界を応用して、熱核の長時間挙動および熱方程式の解の安定性を研究すること。
• すべての p ∈ (1, ∞) に対して、RCD*(K,N)空間上でのリーマン変換の L^p 有界性を証明すること。

提案手法

• Gigli よりの放物型ハーナック不等式および Garofalo-Mondino のラプラシアン比較原理を用いて、熱核境界を導出する。
• RCD*(K,N) 条件を用い、非滑らか距離測度空間へのリッチ曲率下界の一般化を実現する。
• ディリクレ形式からの内挿的距離および測度 μ のダブルイング性を用いて体積成長を制御する。
• 一様な勾配境界を持つリプシッツ切断関数を構成し、Davies–Gaffney 推定値を確立する。
• √t|∇H_t f| を含む第三の Davies–Gaffney 推定値を用いて、L^2 ノルムにおける勾配の減衰を制御する。
• 熱核境界とダブルイングおよび Poincaré 不等式を組み合わせ、リーマン変換の弱型 (1,1) 推定値を証明する。

実験結果

リサーチクエスチョン

• RQ1 RCD*(K,N) 空間における熱核の鋭い上界と下界は、指数部における最適定数を伴ってどのように表されるか？
• RQ2 このような空間上での熱核の勾配境界は、時間と空間においてどのように振る舞うか？
• RQ3 鋭い熱核境界を用いて、RCD*(K,N) 空間上でのリーマン変換の L^p 有界性を確立できるか？
• RQ4 K < 0 の場合、RCD*(K,N) 空間における熱核の長時間挙動はどのようなものか？
• RQ5 熱核境界が与えられたもとで、熱方程式の解は摂動に対してどのように振る舞うか？

主な発見

• RCD*(0,N) 空間では、熱核は鋭い両側ガウス型境界を満たす：すべての t > 0 および x,y ∈ X に対して、C₁(ε)⁻¹ μ(B(y,√t))⁻¹ exp(−d²(x,y)/((4−ε)t)) ≤ p_t(x,y) ≤ C₁(ε) μ(B(y,√t))⁻¹ exp(−d²(x,y)/((4+ε)t)) が成り立つ。
• 熱核の勾配は鋭い境界を満たす：μ-ほとんど everywhere での x,y ∈ X に対して、|∇ₓp_t(x,·)|(y) ≤ C₁(ε)/(√t μ(B(y,√t))) exp(−d²(x,y)/((4+ε)t)) が成り立つ。
• RCD*(K,N) 空間で K < 0 の場合、熱核境界には追加の時間線形補正項が含まれる：exp(−d²(x,y)/((4−ε)t) − C₂(ε)t) ≤ p_t(x,y) ≤ exp(−d²(x,y)/((4+ε)t) + C₂(ε)t)、ただし C₂(ε) は K と N に依存する。
• K < 0 の場合の勾配境界にも同じ補正項が含まれる：|∇ₓp_t(x,·)|(y) ≤ C₁(ε)/(√t μ(B(y,√t))) exp(−d²(x,y)/((4+ε)t) + C₂(ε)t)。
• リーマン変換 |∇(−Δ)^{-1/2}| は、すべての p ∈ (1, ∞) に対して L^p(X) 上で有界である。これは鋭い熱核境界と Davies–Gaffney 推定値を用いて確立された。
• 熱方程式の解は、d²(E,F)/t を指数部に含む指数的減衰推定値によって、摂動に対して安定であることが示された。