[論文レビュー] Harnack Estimates for Nonlinear Backward Heat Equations in Geometric Flows

Hongxin Guo, Masashi Ishida|arXiv (Cornell University)|Feb 18, 2014

Geometric Analysis and Curvature Flows参考文献 14被引用数 4

ひとこと要約

本稿は、一般の幾何学的フロー下で変化する多様体上における非線形バックワード熱型方程式の正の解に対して、微分的ハーナック推定を確立する。一般化されたテンソル量 $\mathcal{E}_a(S_{ij}, X)$ を導入することで、ハーナック量 $2\Delta\log f + |\nabla\log f|^2 - 2S + 2n/\tau + n/2$ が非負のままであるような曲率条件を導出し、ペレラマンの研究を拡張するとともに、リッチフローおよび他の幾何学的フローにおける結果を統一する。

ABSTRACT

Let $M$ be a closed Riemannian manifold with a family of Riemannian metrics $g_{ij}(t)$ evolving by a geometric flow $\partial_{t}g_{ij} = -2{S}_{ij}$, where $S_{ij}(t)$ is a family of smooth symmetric two-tensors. We derive several differential Harnack estimates for positive solutions to the nonlinear backward heat-type equation \begin{eqnarray*} \frac{\partial f}{\partial t} = -Δf + γf\log f +aSf \end{eqnarray*} where $a$ and $γ$ are constants and $S=g^{ij}S_{ij}$ is the trace of $S_{ij}$. Our abstract formulation provides a unified framework for some known results proved by various authors, and moreover lead to new Harnack inequalities for a variety of geometric flows.

研究の動機と目的

• 変化する多様体上の非線形バックワード熱方程式に、共役熱方程式のペレラマンのハーナック不等式をより広いクラスに一般化すること。
• リッチフロー、平均曲率フローなどのさまざまな幾何学的フローにおける既存のハーナック推定を、一つの抽象的枠組みで統一すること。
• 一般の幾何学的フロー下でのハーナック量の発展における誤差項を捉えるために、新しいテンソル量 $\mathcal{E}_a(S_{ij}, X)$ を導入すること。
• ハーナック量の発展における曲率条件 $\mathcal{E}_a$ と対称テンソル $S_{ij}$ のトレース $S$ を含む条件下で、微分的ハーナック推定を確立することにより、既知の結果を非線形設定に拡張すること。
• 空間時空路に沿って微分的推定を統合することで、異なる時空点における解の値を比較可能な古典的ハーナック不等式を導出すること。

提案手法

• リーマン計量 $g_{ij}(t)$ の一般化された発展方程式を定義する：$\partial_t g_{ij} = -2S_{ij}$、ここで $S_{ij}$ は滑らかな対称テンソルである。
• 非線形バックワード熱方程式 $\partial_t f = -\Delta f + \gamma f\log f + aSf$ の正の解 $f$ に対して、ハーナック量 $H = 2\Delta\log f + |\nabla\log f|^2 - 2S + 2n/\tau + n/2$ を導入する。
• ハーナック量の発展における曲率およびフロー依存誤差項を捉えるために、テンソル $\mathcal{E}_a(S_{ij}, X)$ を定義し、ムラーらによる以前の構成を一般化する。
• 最大原理をハーナック量 $H$ に適用する。幾何学的フロー下での発展を分析し、$\mathcal{E}_a(S_{ij}, X) \leq 0$ の条件を用いて低次の項を制御する。
• 曲率仮定 $\mathcal{E}_a$ と $S$ の下で、ハーナック量が非負のままであることを示すことにより、微分的ハーナック不等式を導出する。
• 空間時空路に沿って微分的ハーナック推定を統合し、$e^{t_2}\log f(x_2,t_2) - e^{t_1}\log f(x_1,t_1) \leq \int_{t_1}^{t_2} e^{\tau}( |\dot{\ell}|^2 + 2S + \frac{n}{2} + \frac{2n}{\tau} ) dt$ のような古典的ハーナック不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 非線形バックワード熱方程式の解に対して、ハーナック量 $2\Delta\log f + |\nabla\log f|^2 - 2S + 2n/\tau + n/2$ が非負のままであるような、変化するテンソル $S_{ij}$ の曲率条件は何か？
• RQ2 微分的ハーナック推定の枠組みを、線形から非線形バックワード熱方程式へ、幾何学的フロー下でどのように拡張できるか？
• RQ3 一般化されたテンソル $\mathcal{E}_a(S_{ij}, X)$ は、一般の幾何学的フロー下でのハーナック量の発展を制御するために果たす役割は何か？
• RQ4 $S \geq -n/(2t)$ のような弱い曲率仮定の下でも、微分的推定から古典的ハーナック不等式を導出できるか？
• RQ5 対数的非線形項 $\gamma f\log f$ の導入が、幾何学的フローにおけるハーナック推定の構造と有効性にどのように影響を与えるか？

主な発見

• $\gamma = 1$, $a = 2$ であり、$\mathcal{E}_2(S_{ij}, X) + \frac{2S^2}{n} \leq 0$ の条件下では、すべての $t \in [0,T)$ に対してハーナック量 $2\Delta\log f + |\nabla\log f|^2 - 2S + 2n/\tau + n/2 \geq 0$ が成り立つ。
• $\gamma = 1$, $a = 1$ であり、$\mathcal{E}_1(S_{ij}, X) \leq 0$, $S \geq 0$ の条件下では、すべての $t \in [0,T)$ に対してハーナック量 $2\Delta\log f + |\nabla\log f|^2 - S + 2n/\tau + n/4 \geq 0$ が成り立つ。
• $S \geq -n/(2t)$ かつ $\mathcal{E}_1(S_{ij}, X) \leq 0$ の条件下では、$t \in [T/2, T)$ に対してハーナック推定 $2\Delta\log f + |\nabla\log f|^2 - S + 3n/\tau + n/4 \geq 0$ が成り立つ。
• 最初の微分的推定を空間時空路に沿って統合することで、古典的ハーナック不等式 $e^{t_2}\log f(x_2,t_2) - e^{t_1}\log f(x_1,t_1) \leq \int_{t_1}^{t_2} e^{\tau}( |\dot{\ell}|^2 + 2S + \frac{n}{2} + \frac{2n}{\tau} ) dt$ が導かれる。
• $a = 0$, $\gamma(\tau) > 0$, および $R_{ij} + S_{ij} \geq -Ag_{ij}$ で $A \leq \frac{1}{2}\gamma(\tau)$ の条件下では、$u = -\log f$ に対して $|\nabla u|^2 - \frac{u}{\tau} \leq 0$ の推定が成り立つ。これはリヤウ型の結果を一般化する。
• 条件 $\mathcal{E}_1(S_{ij}, \nabla v) \leq 0$ の下で、量 $P_S + \frac{2n}{\tau} = 2\Delta v - |\nabla v|^2 + S + \frac{2n}{\tau}$ は時間とともに非増加であり、$t$ が増加するにつれて増加することを示す。