[論文レビュー] An upper bound of the heat kernel along the harmonic-Ricci flow

Shouwen Fang, Tao Zheng|arXiv (Cornell University)|Jan 4, 2015

Geometric Analysis and Curvature Flows参考文献 10被引用数 5

ひとこと要約

本稿では、閉リーマン多様体上の調和リッチフローに沿って一様なソボレフ不等式を確立し、熱核の上界を導出する。$\chi$ エントロピーの単調性とモーザーの反復法を用いて、熱核が $G(x,t;y,s) \leq C/(t-s)^{n/2}$ を満たすことを証明する。ここで $C$ は次元、初期計量、初期写像、および $\chi$ エントロピーの第一固有値に依存する。これは古典的なリヤウ型推定を調和リッチフローの設定に拡張するものである。

ABSTRACT

In this paper, we first derive a Sobolev inequality along the harmonic-Ricci flow. We then prove a linear parabolic estimate based on the Sobolev inequality and Moser's iteration. As an application, we will obtain an upper bound estimate for the heat kernel under the flow.

研究の動機と目的

• 調和リッチフローに沿って、$\mathcal{W}$ エントロピーの単調性を用いて一様なソボレフ不等式を確立すること。
• フロー下での熱方程式の非負下解に対する線形放物型推定を導出すること。
• 調和リッチフロー下の閉多様体上での熱核 $G(x,t;y,s)$ の上界推定を求める。
• $S = R - \alpha(t)|\nabla\phi|^2$ の曲率量に対する非負性仮定を緩和し、その下界を推定式に組み込むこと。
• 計量と写像の両方の進化を含む幾何的フローの設定において、古典的なリヤウ型熱核上界を拡張すること。

提案手法

• ペレルマンの $\mathcal{W}$ エントロピーの単調性を活用して、調和リッチフローに沿った時間に依存しない $L^2$ ソボレフ不等式を導出する。
• 線形放物型不等式 $\partial_t f \leq \Delta f + a f$ にモーザーの反復法を適用し、点単位の上界ノルム推定を得る。
• 得られた放物型推定を用いて、熱方程式 $\partial_t G = \Delta_x G$ を満たす熱核 $G(x,t;y,s)$ を制御する。
• フローに伴う体積形式の進化を用いて、$S \geq 0$ のとき熱核の積分が時間に非増加であることを示す。
• $S$ が下から $-S_0$ で有界である場合に一般化し、負の部分を指数的成長制御を用いて定数に組み込むことで上界を拡張する。
• 熱核の $L^1$ ノルムの進化と放物型推定を用いて、最終的な $O((t-s)^{-n/2})$ 上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 調和リッチフローに沿ってエントロピー単調性を用いて一様なソボレフ不等式を確立できるか？
• RQ2 モーザーの反復法による線形放物型推定は調和リッチフロー設定に拡張可能か？
• RQ3 調和リッチフロー下での熱核の鋭い上界は何か？ そして初期幾何データにどのように依存するか？
• RQ4 $S = R - \alpha(t)|\nabla\phi|^2$ に対する非負性仮定は熱核推定で取り除けるか？
• RQ5 熱核上界が $\mathcal{F}$ エントロピーの第一固有値および初期幾何にどのように依存するか？

主な発見

• 一様なソボレフ不等式が証明された：$\left(\int_M v^{2n/(n-2)} d\mu(g(t))\right)^{(n-2)/n} \leq A(t)\int_M (|\nabla v|^2 + \frac{1}{4}S v^2) d\mu(g(t)) + B(t)\int_M v^2 d\mu(g(t))$ であり、$A(t) = C e^{8tB_0/(nA_0)} A_0$ および $B(t) = C e^{8tB_0/(nA_0)} B_0$ である。ここで $C$ は初期データと次元に依存する。
• 線形放物型推定が確立された：非負下解 $\partial_t f \leq \Delta f + a f$ に対して $\sup_{x\in M} |f(x,t)| \leq \left(C_1 a + \frac{C_2}{t}\right)^{(n+2)/(2p)} \left(\int_0^T \int_M f^p d\mu dt\right)^{1/p}$ が成り立ち、定数は $n$, $p$, $g_0$, $\phi_0$, および $\mathcal{F}$ エントロピーの第一固有値 $\lambda_0$ に依存する。
• 熱核の上界が導出された：$S \geq 0$ の仮定の下で $G(x,t;y,s) \leq \frac{C}{(t-s)^{n/2}}$ が成り立ち、$C$ は $n$, $g_0$, $\phi_0$, $\lambda_0$ に依存する。
• 上界は $S \geq -S_0$ の場合に拡張され、$0 \leq s < t \leq T$ に対して $G(x,t;y,s) \leq \frac{C}{(t-s)^{n/2}}$ が成り立ち、$C$ は $n$, $g_0$, $\phi_0$, $\lambda_0$, $T$ に依存する。これは熱核の $L^1$ ノルムの指数的制御を用いて示される。
• 熱核の $L^1$ ノルムが $S \geq 0$ のとき時間に非増加であることが示され、$t > s$ に対して $\int_M G(x,t;y,s) d\mu(x,t) \leq 1$ が成り立つ。これは最終推定において重要である。
• 最終的な上界は、ユークリッド空間の熱核と同じスケーリングを示し、調和リッチフロー下での期待される拡散的挙動を確認する。