[論文レビュー] Non-collapsing for hypersurface flows in the sphere and hyperbolic space

Ben Andrews, Xiaoli Han+2 more|arXiv (Cornell University)|Jun 27, 2012

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

ひとこと要約

本稿は、球面 $\mathbb{S}^{n+1}$ 及び双曲空間 $\mathbb{H}^{n+1}$ 内の埋め込まれた超曲面の曲率流れに対して、非崩壊推定を確立する。時間経過に伴い、内部／外部球面曲率と速度 $F$ の比が有界のまま保たれることを示す。関数 $k(x,y,t)$ における粘性解および最大原理の応用により、曲率の凸性と環境曲率 $c=\pm1$ に応じて、非崩壊比の指数的減衰または増大が示され、ユークリッド空間における先行研究を空間形式へと拡張する。

ABSTRACT

We prove a non-collapsing property for curvature flows of embedded hypersurfaces in the sphere and in hyperbolic space.

研究の動機と目的

• ユークリッド空間からの結果を一般化し、空間形式 $\mathbb{S}^{n+1}$ 及び $\mathbb{H}^{n+1}$ 内の曲率流れに対する非崩壊推定を確立すること。
• 完全非線形曲率流れ下での内部および外部球面曲率 $\bar{k}(x,t)$ と $\underline{k}(x,t)$ の時間発展を分析すること。
• 曲率関数 $F$ が凹かつ正である場合、$\mathbb{S}^{n+1}$ において $\frac{\bar{k}}{F} - \frac{1}{n}$ が指数的に減衰することを証明し、平均曲率流れ下で $\mathbb{H}^{n+1}$ において指数的に増大することを示すこと。
• 双曲空間 $\mathbb{H}^{n+1}$ の超曲面の非崩壊理論を、双曲空間の放物面モデルおよび球面幾何学を用いて非平坦な環境幾何に拡張すること。
• 有限時間特異点に対する定量的制御を、非崩壊比を用いて行い、特に双曲空間では崩壊が可能である場合でも有効であるようにすること。

提案手法

• 点 $x$ における最大内部球面の測地的曲率を測るため、$k(x,y,t) = \frac{2}{d^2}\langle X(x,t)-X(y,t), \nu(x,t) \rangle$ を定義し、$\bar{k}(x,t) = \sup_y k(x,y,t)$ および $\underline{k}(x,t) = \inf_y k(x,y,t)$ とする。
• 粘性解を用いて $\bar{k}$ および $\underline{k}$ の発展を分析し、速度 $F$ のヘッセ行列および二階微分を含む微分不等式を導出する。
• 関数 $\phi(x,t) = \frac{\bar{k}}{F} - \frac{1}{n}$ に最大原理を適用し、指数的バリアとの比較により、時間に伴い非増加であることを示す。
• 曲率流れ下での $F$ の発展方程式を用いる：$\left(\frac{\partial}{\partial t} - \dot{F}^{ij}\nabla_i\nabla_j\right)F = \left(\dot{F}^{ij}h_i^p h_{pj} + \operatorname{tr}(\dot{F})c\right)F$、ここで $c=1$ は $\mathbb{S}^{n+1}$、$c=-1$ は $\mathbb{H}^{n+1}$ に対応する。
• $F$ が凹である場合、$\varphi(t) = e^{2nt}\left(\sup_x \frac{\bar{k}}{F} - \frac{1}{n}\right)$ が $\mathbb{S}^{n+1}$ で非増加であることを、摂動関数に指数的重みを導入した最大原理を用いた背理法により証明する。
• 双曲空間の場合、$\psi(t) = \sup_x \frac{\bar{k}}{H-n}$ が $H>n$ のとき非増加であることを、同様のバリアおよび比較論法により示す。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド空間で確立された非崩壊性が、球面 $\mathbb{S}^{n+1}$ 内を進化する超曲面へと拡張可能か？
• RQ2 凹かつ凸な曲率関数 $F$ に対して、$\mathbb{S}^{n+1}$ における非崩壊比 $\frac{\bar{k}}{F} - \frac{1}{n}$ の時間発展はどのように変化するか？
• RQ3 特に平均曲率流れに対して、非崩壊推定を双曲空間 $\mathbb{H}^{n+1}$ へ拡張可能か？
• RQ4 $\mathbb{H}^{n+1}$ において $H>n$ のとき、非崩壊比の挙動は何か？時間経過に伴い有界のまま保たれるか？
• RQ5 環境曲率 $c=1$ および $c=-1$ が、曲率流れ下での $\bar{k}$ および $\underline{k}$ の発展に与える影響は何か？

主な発見

• 凹かつ正の $F$ を持つ $\mathbb{S}^{n+1}$ において、$\frac{\bar{k}(x,t)}{F(x,t)} - \frac{1}{n} \leq C_1 e^{-2nt}$ が成り立ち、$C_1 = \sup_x \left(\frac{\bar{k}(x,0)}{F(x,0)} - \frac{1}{n}\right) \geq 0$ である。これは、非崩壊比の指数的減衰を示している。
• 凸かつ正の $F$ を持つ $\mathbb{S}^{n+1}$ において、$\frac{\underline{k}(x,t)}{F(x,t)} - \frac{1}{n} \geq C_2 e^{-2nt}$ が成り立ち、$C_2 = \inf_x \left(\frac{\underline{k}(x,0)}{F(x,0)} - \frac{1}{n}\right) \leq 0$ である。これは、外部非崩壊比の指数的減衰を示している。
• 平均曲率流れ下の $\mathbb{S}^{n+1}$ において、ピンチング推定 $C_2 e^{-2nt} + \frac{1}{n} \leq \frac{\underline{k}}{H} \leq \frac{\bar{k}}{H} \leq \frac{1}{n} + C_1 e^{-2nt}$ が成立し、曲率集中を制御している。
• $\mathbb{H}^{n+1}$ において、平均凸初期データのもとで、$\frac{\bar{k}}{H} - \frac{1}{n} \leq C_3 e^{2nt}$ および $\frac{\underline{k}}{H} - \frac{1}{n} \geq C_4 e^{2nt}$ が成り立ち、非崩壊比の指数的増大を示している。
• $\mathbb{H}^{n+1}$ において $H(x,0) > n$ ならば、$\frac{\bar{k}(x,t)}{H(x,t)-n} \leq C_5$ が成り立ち、$C_5 = \sup_x \frac{\bar{k}(x,0)}{H(x,0)-n}$ である。これは、正規化非崩壊比の有界性を示している。
• 証明は、関数 $k(x,y,t)$ に粘性解および最大原理を適用し、時間発展を制御するための指数的重みを用いた精密なバリア構築に依拠している。