[論文レビュー] On estimates for fully nonlinear parabolic equations on Riemannian manifolds

Bo Guan, Shujun Shi+1 more|arXiv (Cornell University)|Sep 12, 2014

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

ひとこと要約

本稿は、許容可能な下位解と非線形作用素の凹性特性に基づく新しい手法を導入することで、リーマン多様体上における完全非線形放物型方程式について、事前第二階微分推定値を確立する。主な貢献は、$¯{M_T}$ 内でヘッセ行列の大きさ $|\nabla^2 u| \leq C$ が一様に有界であることを示したことである。この結果により、方程式および多様体の一般的な幾何的・構造的条件下で、初期境界値問題の新たな存在定理が得られる。

ABSTRACT

We present some new ideas to derive {\em a priori} second order estiamtes for a wide class of fully nonlinear parabolic equations. Our methods, which produce new existence results for the initial-boundary value problems in $\bfR^n$, are powerful enough to work in general Riemannian manifolds.

研究の動機と目的

• コンパクトな境界付きリーマン多様体上における完全非線形放物型方程式について、事前第二階微分推定値を導出すること。
• ユークリッド空間を超えた一般なリーマン多様体への完全非線形放物型方程式理論の拡張。
• 解のヘッセ行列の均一な有界性を示すことにより、初期境界値問題の存在結果を確立すること。
• 作用素の構造的条件と下位解フレームワークを導入することで、退化および一様放物型の場合を扱うこと。
• 幾何的流れに現れる方程式の広範なクラスに適用可能な一般枠組みを提供すること。

提案手法

• 空間時空間シリンダ $M_T = M \times (0,T]$ 上で、$f(\lambda[\underline{u}]) \geq e^{\underline{u}_t + \psi}$ および境界・初期条件を満たす下位解 $\underline{u} \in C^{2,1}(\overline{M_T})$ を導入する。
• コンパクト集合内での $f$ の凹性と構造的条件 $\sum f_i \lambda_i \geq -K_1(1 + \sum f_i)$ を用いて、ヘッセ行列の成長を制御する。
• 空間時空間シリンダ $M_T$ 上で最大値原理の技法を適用し、$u$ の第二階微分に注目する。
• 下位解と幾何的量を用いてバリア関数を構築し、放物的境界 $\partial M_T$ 上で $|\nabla^2 u|$ を制御する。
• 集合 $\Gamma \times \mathbb{R}$ 内のレベル集合の連続性とコンパクト性を活用し、関数 $\widetilde{f}$ 及びその無限遠における挙動を用いて、一様推定値を導出する。
• レベル集合の層構造 $\partial\Sigma^\sigma$ と領域 $\mathcal{B}_\sigma^+$ の境界からの距離を用いて、$\sum f_i(\lambda)(\mu_i - \lambda_i) - (q - p)$ に対する一様な下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般なリーマン多様体上における完全非線形放物型方程式について、第二階の事前推定値を確立できるか？
• RQ2 下位解の存在が、内部および境界における $|\nabla^2 u|$ の成長をどのように制御できるか？
• RQ3 $f$ および多様体 $M$ の幾何的性質にどのような構造的条件が、退化を防ぎ、一様推定値を保証するために十分か？
• RQ4 パrameter $\sigma$ でパラメータ化された方程式の族を考慮する際、推定値が $\sigma$ に関して一様に保たれるか？
• RQ5 一般的な幾何的条件下で、$f$ の凹性がヘッセ行列の均一な有界性を導く際に果たす役割は何か？

主な発見

• 許容可能な下位解が存在する下で、$¯{M_T}$ 内で事前推定 $|\nabla^2 u| \leq C$ が確立され、$C$ は $|u|_{C^1}$、$|\psi|_{C^{2,1}}$、$|\underline{u}|_{C^{2,1}}$、および多様体 $M$ の幾何的データに依存する。
• 多様体 $M$ が閉じている場合、境界項が消えるため、直接的に $|\nabla^2 u| \leq C_1$ が成り立つ。
• 境界推定において、$\sup_{\partial\Gamma} f \leq 0$ という条件が退化を防ぎ、$\max_{\partial M_T} |\nabla^2 u| \leq C_2$ を保証するために不可欠である。
• $C_2$ は $|\varphi^b|_{C^2}$、$|\varphi^s|_{C^{4,1}}$、および $\partial M$ の幾何的データに依存する。
• 大きな $|\lambda|$ に対して $\sum f_i(\lambda)(\mu_i - \lambda_i) - (q - p)$ に一様な下界 $\theta_K > 0$ が存在するならば、ヘッセ行列が有界に保たれる。
• $\sigma$ がコンパクト区間 $[c,d]$ を走るとき、距離関数およびレベル集合の連続的依存性により、推定値は $\sigma$ に関して一様となる。