[論文レビュー] An inscribed radius estimate for mean curvature flow in Riemannian manifolds

Simon Brendle|arXiv (Cornell University)|Oct 13, 2013

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

ひとこと要約

本稿では、リーマン多様体内の平均凸超曲面の平均曲率フローに対して、インスクリプト半径の推定を確立し、ユークリッド空間におけるアンダーソンの非崩壊結果を一般化する。距離関数と法ベクトルを含む巧みな補助関数を用いた最大値原理の応用により、大規模な曲率においてインスクリプト半径が $rac{1}{(1+ u)H}$ で点ごとに下から有界であることを証明する。この定数は $ u$、$T$、および初期データにのみ依存し、曲がった環境空間への非崩壊推定の拡張を実現する。

ABSTRACT

We consider a family of embedded, mean convex hypersurfaces in a Riemannian manifold which evolve by the mean curvature flow. We show that, given any number $T>0$ and any $δ>0$, we can find a constant $C_0$ with the following property: if $t \in [0,T)$ and $p$ is a point on $M_t$ where the curvature is greater than $C_0$, then the inscribed radius is at least $\frac{1}{(1+δ) \, H}$ at the point $p$. The constant $C_0$ depends only on $δ$, $T$, and the initial data.

研究の動機と目的

• ユークリッド空間におけるアンダーソンの非崩壊推定を、一般のリーマン多様体における平均曲率フローに拡張すること。
• 平均凸超曲面が平均曲率フローに従って進化する際、インスクリプト半径に一様な下界を平均曲率 $H$ の関数として確立すること。
• $ \delta$、$T$、および初期データにのみ依存する定量的インスクリプト半径推定を提供し、曲率特異点付近での制御を保証すること。
• 平均曲率フローの手術構成を3次元リーマン多様体へ拡張可能にする。

提案手法

• 点 $x$ におけるインスクリプト半径の逆数を特徴付ける、距離関数と法ベクトルを含む幾何的式の上限として $\mu(x,t)$ を定義する。
• インスクリプト半径の挙動をモデル化するため、$\Phi(x,t)$、距離関数、法ベクトルを含むバリア型関数 $Z(x,y,t)$ を用いる。
• 空間的最大点における関数 $\Phi$ に最大値原理を適用し、$\frac{\partial\Phi}{\partial t}$、$\Delta\Phi$、および曲率項を含む微分不等式を導出する。
• 曲率境界、環境多様体の幾何学、初期超曲面 $M_0$ を組み込んだ $\mu$ と $\rho$ の時間発展不等式を導出する。距離関数のヘッセ行列の推定を用いる。
• 切り上げ関数 $g_{\sigma,+}$ を用いた重み付き $L^p$-ノルム推定を用い、$\rho$ の成長を制御する。Sobolev と Stampacchia の反復を組み合わせる。
• Michael-Simon の Sobolev 不等式と反復推定を用い、点ごとの有界性 $\rho \leq \nu H + C(N,M_0,\nu,T)$ を結論づける。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド空間における平均曲率フローの非崩壊推定 $\mu \leq (1+\nu)H + C$ を、曲率を持つリーマン多様体へ拡張できるか。
• RQ2 曲がった空間において、インスクリプト半径推定が環境多様体の幾何学と初期データにどのように依存するか。
• RQ3 環境多様体が平坦でない場合、最大値原理をどのように変更してインスクリプト半径を制御できるか。
• RQ4 非崩壊推定を用いて、平均曲率フローの手術手順を3次元リーマン多様体へ拡張可能か。
• RQ5 曲がった環境空間において、特異点付近でインスクリプト半径が $1/H$ の倍数で下から有界であるための条件は何か。

主な発見

• 任意の点 $p$ における $M_t$ 上のインスクリプト半径は、すべての $t \in [0,T)$ に対して $\mu(p,t) \leq (1+\nu)H(p,t) + C(N,M_0,\nu,T)$ を満たす。ここで $C$ は $\nu$、$T$、および初期超曲面 $M_0$ のみに依存する。
• この推定は、$M_t$ が平均凸かつ埋め込まれており、$(n+1)$ 次元のリーマン多様体 $N$ 内で平均曲率フローに従って進化するという仮定の下で成り立つ。
• 推定における定数 $C$ は時間区間 $[0,T)$ 全体にわたって一様であり、点や時間に依存せず、環境多様体 $N$、初期データ $M_0$、$\nu$、$T$ のみに依存する。
• 外半径関数 $\rho$ は $\rho \leq \nu H + C(N,M_0,\nu,T)$ を満たし、ハイズケンと シネストラリの凸性推定を精緻化する。
• この結果により、平均曲率フローの手術を3次元リーマン多様体へ拡張可能となる。非崩壊推定により、手術におけるネック領域の制御が保証される。
• 証明は、距離関数と法ベクトルを含む関数への最大値原理の新規応用に依存し、重み付き $L^p$-推定とSobolev不等式を組み合わせる。