[論文レビュー] The logarithmic Sobolev inequality along the Ricci flow

Rugang Ye|ArXiv.org|Jul 17, 2007

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

ひとこと要約

本稿は、次元 $ n /geq 3 $ のコンパクトなリーマン多様体上のリッチフローに沿って、一様な対数ソボレフ不等式を確立する。初期計量 $ g_0 $ に対して $ \lambda_0(g_0) > 0 $ であると仮定すると、対数ソボレフ定数が時間に依存せずに一様に有界であることが示される。主な結果は、時間に依存しない不等式 $ \int_M u^2 \ln u^2 \, d\text{vol} \leq \sigma \int_M (|\nabla u|^2 + \frac{R}{4}u^2)\, d\text{vol} - \frac{n}{2}\ln\sigma + C $ の形をとり、これは一様なソボレフおよび体積の有界性を意味し、スペクトル理論と熱核推定を用いて $ L^p $-ソボレフ不等式へと拡張可能である。

ABSTRACT

We derive a logarithmic Sobolev inequality along the Ricci flow without any restriction on time, which depends only on the initial metric via rudimentary geometric data, assuming only that a certain first eigenvalue is positive. As a consequence we obtain a uniform Sobolev inequality along the Ricci flow without any restriction on time. One application of it is a uniform kappa-noncollapsing estimate which holds true for all time. We also obtain similar results for bounded time without assuming the eigenvalue condition. The results extend to the Ricci flow with surgeries.

研究の動機と目的

• 初期計量に幾何的条件が課された下で、時間に依存しないリッチフローに沿った一様な対数ソボレフ不等式を確立すること。
• 対数ソボレフ定数が、修正ソボレフ定数、スカラー曲率、および $ -\Delta + \frac{R}{4} $ の第一固有値といった幾何的不変量にどのように依存するかを特定すること。
• 特に長時間の挙動においても成立する、リッチフローに沿った一様なソボレフおよび体積推定を導出すること。
• スペクトル理論を用いて、リッチフローに沿った $ L^p $-ソボレフ埋め込みへの対数ソボレフ不等式の拡張を達成すること。

提案手法

• 初期計量 $ g_0 $ の修正ソボレフ定数 $ \tilde{C}_S(M,g_0) $、初期体積、スカラー曲率 $ R_{g_0} $ を用いて、時間に依存する対数ソボレフ不等式 (1.2) を導出する。この不等式は時間 $ t $ とパrameter $ \sigma $ に明示的な依存性を示す。
• 条件 $ \lambda_0(g_0) > 0 $ の下で、時間に依存しない不等式 (1.8) を導入する。ここでは、$ -\Delta + \frac{R}{4} $ の第一固有値を用いて長時間挙動を制御する。
• 熱核推定とスペクトル理論を応用し、作用素 $ e^{-tH} $ を評価し、$ H^{-1/2} $ および $ H^{1/2} $ の $ L^p $-有界性を確立する。これにより、ソボレフ埋め込みと関連づけられる。
• Marcinkiewiczの補間法および弱型推定を用いて、$ L^p $-ソボレフ不等式と $ H^{-1/2} $ の $ L^p $-有界性の同値性を導出する。
• 体積と $ n $、$ \lambda_0(g_0) $、$ C_S(M,g_0) $、体積有界性に依存する定数を含む、$ \|u\|_{np/(n-p)} $ を $ \|(-\Delta + R/4)^{1/2}u\|_p $ で評価する $ L^p $-ソボレフ埋め込み (3.36) および (3.37) を確立する。
• 近似法および擬微分作用素理論を用いて、滑らかな関数から $ W^{1,p}(M) $ への不等式の拡張を実行し、その堅牢性を保証する。

実験結果

リサーチクエスチョン

• RQ1 初期計量に幾何的条件が課された下で、時間 $ t \in [0,T) $ に依存しないリッチフローに沿った一様な対数ソボレフ不等式を確立できるか？
• RQ2 作用素 $ -\Delta + \frac{R}{4} $ の第一固有値 $ \lambda_0(g_0) $ は、対数ソボレフ不等式の長時間にわたる一様性を保証するために果たす役割は何か？
• RQ3 熱核推定およびシュレーディンガー型作用素 $ H $ のスペクトル理論は、フローに沿った $ L^p $-ソボレフ不等式の導出にどのように関連するか？
• RQ4 修正ソボレフ定数 $ \tilde{C}_S(M,g_0) $ および初期計量の幾何的性質は、対数ソボレフ定数の時間的変化をどの程度制御できるか？
• RQ5 リッチフローに沿った体積およびソボレフ定数の鋭い定量的有界性は何か？また、これらは $ \lambda_0(g_0) $ や曲率の有界性にどのように依存するか？

主な発見

• 時間に依存する対数ソボレフ不等式 (1.2) は、$ \sigma $、$ t $、初期計量 $ g_0 $ の幾何的不変量（$ \tilde{C}_S(M,g_0) $、$ \text{vol}_{g_0}(M) $、$ R_{g_0} $）に明示的な依存性を示しながら、時間に一様に成り立つ。
• 条件 $ \lambda_0(g_0) > 0 $ の下で、時間に依存しない対数ソボレフ不等式 (1.8) が確立され、定数 $ C $ は $ n $、$ \lambda_0(g_0) $、$ \text{vol}_{g_0}(M) $、$ C_S(M,g_0) $、および $ \frac{1}{p-1} $、$ \frac{1}{n-p} $ の有界性にのみ依存する。
• 多様体の体積は、$ \hat{R}(t) \leq 0 $ のとき $ \text{vol}_{g(t)}(M) \geq e^{-1/4 - C} $、$ \hat{R}(t) > 0 $ のとき $ \geq e^{-1/4 - C} \hat{R}(t)^{-n/2} $ を満たす。ここで $ C $ は $ \lambda_0(g_0) $ および他の幾何的不変量に依存する。
• $ L^p $-ソボレフ不等式 (3.36) が証明された：$ 1 < p < n $ に対して $ \|u\|_{np/(n-p)} \leq C \|(-\Delta + R/4)^{1/2}u\|_p $ が成り立ち、定数 $ C $ は $ n $、$ \lambda_0(g_0) $、$ \text{vol}_{g_0}(M) $、$ C_S(M,g_0) $、および $ \frac{1}{p-1} $、$ \frac{1}{n-p} $ の有界性に依存する。
• 有限時間のフローに対しては、修正された作用素 $ H_0 = -\Delta + R/4 - \frac{\min R_{g_0}^{-}}{4} + 1 $ を用いた $ L^p $-ソボレフ不等式 (3.37) が確立され、有界曲率および時間にわたる一様性が保証される。
• 証明は熱核推定 (3.33)–(3.34)、$ H^{-1/2} $ の弱型有界性、および補間技法に依存しており、$ H^{-1/2} $ が $ L^p(M) $ から $ W^{1,p}(M) $ への有界作用素であることが示された。$ 1 < p < \infty $ に対して成立する。