[論文レビュー] Gradient estimates for a nonlinear parabolic equation with potential under geometric flow

Abimbola Abolarinwa|arXiv (Cornell University)|Sep 3, 2014

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

ひとこと要約

本稿では、一般の幾何的フロー下での非線形放物型方程式に対する正の解について、局所的および大域的勾配推定値を確立し、時間に依存するリーマン計量へLi-Yau型推定値を拡張する。主な貢献は、有界な曲率およびポテンシャル条件の下で成り立つ、これらの推定値から導かれる空間時間Harnack不等式である。これはリッチフローおよび関連する幾何的発展へ結果を一般化する。

ABSTRACT

Let $(M, g)$ be an dimensional complete Riemannian manifold. In this paper we prove local Li-Yau type gradient estimates for all positive solutions to the following nonlinear parabolic equation \begin{equation*} (\partial_t - Δ_g + \mathcal{R}) u(x, t) = - a u(x, t) \log u(x, t) \end{equation*} along the generalised geometric flow. Here $ \mathcal{R} = \mathcal{R} (x, t)$ is a smooth potential function and $a$ is a constant. As an application we derived a global estimate and a space-time Harnack inequality.

研究の動機と目的

• 一般の幾何的フロー下でのポテンシャル付き非線形放物型方程式の正の解に対する局所的空間時間勾配推定値を導出すること。
• 古典的なLi-Yau勾配推定値を時間に依存する幾何的設定、特にリッチフローおよび他の幾何的発展へ拡張すること。
• 空間領域を拡大する極限をとることで、局所的推定値から大域的勾配推定値を導出すること。
• 大域的勾配推定値を用いて、解に対する空間時間Harnack不等式を導出すること。
• 有界な曲率およびポテンシャル成長を伴う幾何的フロー下での、ポテンシャル付き放物型方程式に関する既存結果をリッチフローおよび他の幾何的発展へ一般化すること。

提案手法

• 元の式を $ f = \log u $ で変換し、問題を $ f $ の時間発展 $ \left(\frac{d}{dt} - \Delta\right)f = |\nabla f|^2 - a f - \mathcal{R} $ を満たすものに還元する。
• 最大値原理の局所化のため、測地的球 $ \mathcal{B}_{2\rho,T} $ における重み付きカットオフ関数 $ \varphi $ を適用する。
• $ \alpha > 1 $ を用いて、量 $ F = \varphi (|\nabla f|^2 - \alpha f_t - \alpha a f - \alpha \mathcal{R}) $ における最大値原理を適用する。
• リッチ曲率、ポテンシャル $ \mathcal{R} $、テンソル $ h_{ij} $ の有界性を活用し、$ \varphi F $ に関する微分不等式を導出。誤差項は定数 $ C_8, C_9 $ で制御する。
• 空間時間的極値点において最大値原理を適用し、$ \rho, t, \alpha, p, q $ に依存する局所的勾配推定値を導出する。
• $ \rho \to \infty $ とすることで大域的勾配推定値を導出し、その後空間時間経路に沿って積分してHarnack不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般の幾何的フロー下での非線形放物型方程式に対するLi-Yau型勾配推定値を、ポテンシャル付きに拡張できるか？
• RQ2 曲率およびポテンシャルの有界性が、変化する幾何的設定における勾配推定値にどのように影響するか？
• RQ3 幾何的フロー下でのポテンシャル付き非線形放物型方程式の解に対する空間時間Harnack不等式の形は何か？
• RQ4 結果はリッチフローおよび他の幾何的発展へどの程度一般化可能か？
• RQ5 勾配推定値における定数は、幾何的およびポテンシャルパラメータにどのように依存するか？

主な発見

• 幾何的フロー下での方程式 $ (\partial_t - \Delta_g + \mathcal{R})u = -a u \log u $ の正の解に対して、$ \rho, t, \alpha, p, q $ および曲率有界性に明示的な依存関係を示す局所的空間時間勾配推定値が確立された。
• 大域的勾配推定値は $ \rho \to \infty $ とすることで得られ、$ \frac{|\nabla u|^2}{u^2} - \alpha \frac{u_t}{u} - \alpha a \log u - \alpha \mathcal{R} \leq \frac{\alpha^2 n}{t} + C_{11} $ を満たす。ここで $ C_{11} $ は曲率およびポテンシャルの有界性に依存する。
• 空間時間Harnack不等式が証明された：$ \frac{u(x_1,t_1)}{u(x_2,t_2)^{e^{-a(t_2-t_1)}}} \leq \left(\frac{t_2}{t_1}\right)^{\alpha n} \exp\left(\int_{t_1}^{t_2} \frac{\alpha |\dot{\gamma}(s)|^2 + 4(t_2-t_1)^2 C_{12}}{4(t_2-t_1)} ds\right) $。任意の $ x_1 $ と $ x_2 $ を結ぶ経路 $ \gamma $ に対して成り立つ。
• Harnack不等式は、大域的勾配推定値を空間時間経路に沿って積分することで得られ、ドリフト項を制御するための不等式 $ A y^2 + B y \geq -B^2/(4A) $ を用いる。
• 定数 $ C_8, C_9, C_{10}, C_{11}, C_{12} $ は、$ n, \alpha, \rho, \tau $ および $ |Rc|, |\nabla \mathcal{R}|, |\Delta \mathcal{R}|, |h|, \, |\nabla h| $ の一様有界性、および $ -\min\{a, 0\} $ のみに依存する。
• 結果は、曲率およびポテンシャルが一様に有界なリッチフローおよび他の幾何的フローに適用可能であり、時間経過に伴い計量の同値性が保たれる。