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

Shu-Yu Hsu|ArXiv.org|Jun 25, 2008

Geometric Analysis and Curvature Flows参考文献 9被引用数 13

ひとこと要約

本稿は、完備非コンパクト多様体上のリッチフロー下で、対数項およびポテンシャル項を含む非線形放物型方程式の正の解について、局所的勾配推定値を確立する。Cheng-Li-YauおよびChau-Tam-Yuの手法を拡張し、曲率の有界性と時間に依存する計量の進化を組み込んだ、log u の勾配に対する明示的な点での上界を導出する。この上界はパラメータ a および関数 q に明示的な依存性を示す。

ABSTRACT

Let $(M,g(t))$, $0\le t\le T$, be a n-dimensional complete noncompact manifold, $n\ge 2$, with bounded curvatures and metric $g(t)$ evolving by the Ricci flow $\frac{\partial g_{ij}}{\partial t}=-2R_{ij}$. We will extend the result of L. Ma and Y. Yang and prove a local gradient estimate for positive solutions of the nonlinear parabolic equation $\frac{\1 u}{\1 t}=Δu-au\log u-qu$ where $a\in\R$ is a constant and $q$ is a smooth function on $M imes [0,T]$.

研究の動機と目的

• 非コンパクト多様体上のリッチフローの設定において、既存の放物型方程式の局所的勾配推定値を拡張すること。
• 非線形放物型方程式に、パラメータ a を通じた対数非線形性と時間に依存するポテンシャル項 q を組み込むこと。
• 有界曲率をもつ時間に依存する計量の下でも有効である点での勾配推定値を導出すること。
• 固定計量および共役熱方程式に関する結果を、より広いクラスの非線形放物型方程式へのリッチフロー下での一般化すること。
• 曲率、時間、パラメータ a および q に明示的な依存性を示す log u の勾配の一様な上界を確立すること。

提案手法

• f = log u を定義し、非線形放物型方程式を Δf および |∇f|² を含む準線形形に変換する。
• Weitzenbock-Bochner 公式および計量の進化を用いて、リッチフロー下での Δf および |∇f|² の進化方程式を導出する。
• 局所的勾配推定値を定式化するため、重み付き量 F = t[|∇f|² - α(f_t + a f + q)] を導入する。
• 測地球 B_R(x₀) 内で F の挙動を制御するため、切断関数 φ を用いた最大原理の議論を適用する。
• Δ(φF) に対する微分不等式を導出し、エネルギー推定を用いて F の上界を評価する。
• R → ∞ の極限を取ることで、空間的切断に依存しない点での推定値が得られ、最終的な勾配上界が得られる。

実験結果

リサーチクエスチョン

• RQ1 完備非コンパクト多様体上のリッチフロー下で、u_t = Δ^t u - a u log u - q u という非線形放物型方程式の正の解について、局所的勾配推定値を確立できるか？
• RQ2 時間に依存する計量の下で、対数非線形性（パラメータ a）とポテンシャル項 q の存在が勾配推定値に与える影響は何か？
• RQ3 リッチフローの設定下で、勾配上界が曲率の有界性、パラメータ a、関数 q にどのように依存するか？
• RQ4 共役熱方程式に対して用いられた手法を、対数項を含むより一般的な非線形放物型方程式に適応できるか？
• RQ5 t → ∞ のとき、勾配推定値が解の長期間的な挙動および有界性に与える影響は何か？

主な発見

• 有界曲率をもつリッチフロー下の完備非コンパクト多様体上において、u_t = Δ^t u - a u log u - q u の正の解について、局所的勾配推定値が確立された。
• 推定値は、|∇u|²/u² - α u_t/u - α a log u - α q ≤ nα²/(2(1−δ)t)(1 + t a₋) + C₁ の形をとり、C₁ は曲率、a₊、q およびその微分の有界性に依存する。
• 定数 C₁ は k₀（曲率の有界性）、α > 1、δ ∈ (0,1)、a₊ = max(a,0)、および ‖h‖、‖∇^t h‖、|q|、|∇^t q|、|Δ^t q| の一様な空間時間有界性に依存する。
• リッチフローの場合（h_ij = -R_ij）では、|Rm| ≤ k₀ および |∇Rm| ≤ k₀ が M × [0,T] 上で成り立つと仮定すれば、結果が成り立つ。
• t → ∞ の極限において、q およびその微分が一様有界であれば、a < 0 のとき u は点で上界で有界であり、a > 0 のときは下界で有界であることが推定される。
• 従来の共役熱方程式および静的状況に関する結果を一般化し、進化する幾何と非線形ダイナミクスの下での勾配推定値を統合した。