[論文レビュー] The Li-Yau Inequality and Heat Kernels on Metric Measure Spaces

Renjin Jiang|arXiv (Cornell University)|May 4, 2014

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

ひとこと要約

本稿は、RCD*(K,N)距離測度空間上の熱流に対して、Li-Yau不等式およびハーナック不等式を確立し、K ≥ 0のときLi-Yau不等式が成り立つことを証明するとともに、すべてのK ∈ ℝに対して一般化されたBaudoin-Garofaloおよびハーナック不等式を導出する。主な結果として、熱核の長時間挙動が体積成長の観点から特徴づけられ、球の体積成長が漸近的にθR^Nであるときかつそのときに限り、t^{N/2}p_t(x,y)が正の定数に収束することが示された。

ABSTRACT

Let $(X,d,μ)$ be a $RCD^\ast(K, N)$ space with $K\in mathbb{R}$ and $N\in [1,\infty)$. Suppose that $(X,d)$ is connected, complete and separable, and $\supp μ=X$. We prove that the Li-Yau inequality for the heat flow holds true on $(X,d,μ)$ when $K\ge 0$. A Baudoin-Garofalo inequality and Harnack inequalities for the heat flows are established on $(X,d,μ)$ for general $K\in \mathbb{R}$. Large time behaviors of heat kernels are also studied.

研究の動機と目的

• 滑らかなリーマン多様体からの古典的Li-Yauおよびハーナック不等式を、非滑らか距離測度空間へと拡張すること。
• 一般のK ∈ ℝに対して、RCD*(K,N)空間上の熱流に対する勾配推定およびハーナック不等式を確立すること。
• RCD*(0,N)空間上での熱核の長時間漸近的挙動を分析すること。
• 距離球の体積成長に基づいて、熱核の漸近的減衰率を特徴づけること。

提案手法

• 距離測度空間におけるリッチ曲率下界および次元上界の一般化であるRCD*(K,N)条件を用いる。
• Bakry-Émery型の曲率-次元条件およびボッホナー不等式を適用し、勾配推定を導出する。
• ハーナック不等式（補題6.1）を用いて、空間的・時間的変化における熱核値の時間発展を制御する。
• 体積比較およびダブリング性質（補題2.1）を用い、熱核の減衰を球の測度に関連付ける。
• 経路(x(t), y(t), t)に対してハーナック不等式を適用し、d(x(t),x₀)² + d(y(t),x₀)² = o(t)を満たすものについて、長時間における核の挙動を分析する。
• 下界ガウス型推定式(2.6)と体積成長推定式を組み合わせ、t^{N/2}p_t(x,y)が正の定数に収束することを導出する。

実験結果

リサーチクエスチョン

• RQ1 K ≥ 0のとき、RCD*(K,N)空間上の熱流に対してLi-Yau不等式が成り立つか。
• RQ2 一般のK ∈ ℝに対して、Baudoin-Garofalo型不等式およびハーナック不等式がRCD*(K,N)空間上で確立可能か。
• RQ3 RCD*(0,N)空間上での熱核の長時間挙動はいかなるものか。
• RQ4 熱核の漸近的減衰率は、距離球の体積成長とどのように関係するか。
• RQ5 t → ∞のとき、t^{N/2}p_t(x,y)が正の定数に収束するための幾何的条件は何か。

主な発見

• K ≥ 0のとき、RCD*(K,N)空間上の熱流に対してLi-Yau不等式が成り立ち、|∇log u|² − ∂/∂t log u ≤ n/(2t)という評価が得られる。
• 一般のK ∈ ℝに対して、Baudoin-Garofalo型不等式およびハーナック不等式が確立され、指数関数的およびべき乗重み付き時間・空間制御が可能となる。
• K = 0のとき、ハーナック不等式により、0 < s < t < ∞に対してu(x,s) ≤ u(y,t) exp{d(x,y)²/(4(t−s))} (t/s)^{N/2}が成り立つ。
• K < 0のとき、ハーナック不等式にはe^{2Kt/3}を含む因子が含まれ、時間減衰が修正される。
• 熱核の長時間挙動は、lim_{t→∞} t^{N/2}p_t(x,y) = C(θ) が成り立つことと、lim_{R→∞} μ(B(x₀,R))/R^N = θ > 0 が成り立つこととが同値である。
• 定数C(θ)は有限かつ正であり、d(x(t),x₀)² + d(y(t),x₀)² = o(t)を満たす経路において一様収束が成り立つ。