[論文レビュー] Hamilton's Harnack inequality and the $W$-entropy formula on complete Riemannian manifolds

Xiang‐Dong Li|arXiv (Cornell University)|Mar 6, 2013

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

ひとこと要約

本稿は、バクリ＝エメリーのリッチ曲率条件の下で、完全なリーマン多様体上のウィッテンラプラシアンに対して、ハミルトンのハーナック不等式および$W$-エントロピー公式を確立する。正則な有界解に対する熱方程式$\partial_t u = Lu$（$L = \Delta - \nabla\phi \cdot \nabla$はウィッテンラプラシアン）のための勾配推定を導出し、一連の対数ソボレフ不等式を証明し、自然な幾何的制約の下で$W$-エントロピー汎関数の単調性と剛性を確立する。

ABSTRACT

In this paper, we prove Hamilton's Harnack inequality and the gradient estimates of the logarithmic heat kernel for the Witten Laplacian on complete Riemainnian manifolds. As applications, we prove the $W$-entropy formula for the Witten Laplacian on complete Riemannian manifolds, and prove a family of logarithmic Sobolev inequalities on complete Riemannian manifolds with natural geometric condition.

研究の動機と目的

• 重み付き体積測度を伴う完全なリーマン多様体上のウィッテンラプラシアンへのハミルトンのハーナック不等式の拡張。
• バクリ＝エメリー曲率条件$\mathrm{Ric}_m(L) \geq -K$の下で、ウィッテンラプラシアンの$W$-エントロピー公式の導出。
• 幾何的曲率バインドの下で、ウィッテンラプラシアンの対数熱核の勾配推定の確立。
• 一様な体積下界を伴う完全なリーマン多様体上での一連の対数ソボレフ不等式の証明。
• 自然な幾何的条件下で、$\mu$-エントロピー（すなわち$W$-エントロピー）の下界の存在と単調性の確立。

提案手法

• 正則かつ有界な解$u$に対する熱方程式$\partial_t u = Lu$（$L = \Delta - \nabla\phi \cdot \nabla$はウィッテンラプラシアン）に対して、微分的ハーナック不等式を証明。
• エントロピーと曲率を熱核を通じて結ぶ恒等式$W_m(u,t) = \frac{d}{dt}(tH_m(u,t))$を用いて、$W$-エントロピー公式を導出。
• 部分積分とウィッテンラプラシアンのボッハラー＝ヴァイツェンボック公式を適用し、$W_m(u,t)$の時間発展を導出。
• $L^2$-ソボレフ不等式および対数ソボレフ不等式の技法を用いて、$\mu$-エントロピーの下界を評価。
• 非負のバクリ＝エメリーのリッチ曲率の下で、$W_m(u,t)$の単調性および$W$-エントロピーの剛性を確立。
• $\mathrm{Ric}_{m,n}(L)$のワーパード積分幾何的解釈を用いて、曲率条件を幾何的に解釈。

実験結果

リサーチクエスチョン

• RQ1 ハミルトンのハーナック不等式は、重み付き体積測度を伴う完全なリーマン多様体上のウィッテンラプラシアンへ拡張可能か？
• RQ2 バクリ＝エメリー曲率バインドの下で、ウィッテンラプラシアンの$W$-エントロピー公式は導出可能か？
• RQ3 曲率および体積条件の下で、ウィッテンラプラシアンの対数熱核に対してどのような勾配推定が成立するか？
• RQ4 一様な体積下界および曲率制約を伴う完全なリーマン多様体上では、対数ソボレフ不等式が成立するか？
• RQ5 条件$\mathrm{Ric}_m(L) \geq -K$の下で、$W$-エントロピー汎関数は下界を持つか、かつ単調か？

主な発見

• 正則かつ有界な解$u$に対して、$\mathrm{Ric}(L) \geq -K$の下で、ハーナック不等式$|\nabla \log u|^2 \leq \frac{2K}{1 - e^{-2Kt}} \log(A/u)$が成立する。
• 同じ曲率条件下で、改良されたハーナック不等式$|\nabla \log u|^2 \leq \left(\frac{1}{t} + 2K\right) \log(A/u)$が確立される。
• 対数熱核の勾配推定が導出される：$\mathrm{Ric}_{m,n}(L) \geq -K$の下で、$t \in (0,T]$に対して$|\nabla \log p_t(x,y)| \leq C(K,m,n,T)\left(\frac{d(x,y)}{t} + \frac{1}{\sqrt{t}}\right)$が成り立つ。
• $W$-エントロピー公式が証明される：$W_m(u,t) = \int_M \left[t|\nabla f|^2 + f - m\right] \frac{e^{-f}}{(4\pi t)^{m/2}} d\mu$、ここで$u = e^{-f}/(4\pi t)^{m/2}$。
• $W$-エントロピーは単調に減少し、剛性を示す：$\mathrm{Ric}(L) \geq 0$の下で、$W$-エントロピーが定数であるのは、多様体がアインシュタイン的であり、$\phi$が定数である場合に限る。
• $\mu$-エントロピー$\mu(\tau)$は、$-\left(C_2(m,K,\mu_0) + m + \frac{m}{2}\log(4\pi)\right)$から下界を持つことが保証され、これにより対数ソボレフ不等式の有効性が保証される。