[論文レビュー] A note on starshaped compact hypersurfaces with a prescribed scalar curvature in space forms

Joel Spruck, Ling Xiao|arXiv (Cornell University)|May 7, 2015

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

ひとこと要約

本稿は、空間形式（ユークリッド空間、球面、双曲空間）における厳密に星型で2凸な超曲面の、所定のスカラー曲率に対する $C^2$ 事前推定の簡略化と拡張を提供する。支持関数のアプローチと最大原理の技法を用いて、自然な幾何的・解析的条件下で一様な曲率の上限を確立し、これらの環境におけるスカラー曲率指定問題の唯一の $C^{3,\bar{\beta}}$ 解の存在を導く。

ABSTRACT

In [7], Guan, Ren and Wang obtained a $C^2$ a priori estimate for admissible 2-convex hypersurfaces satisfying the Weingarten curvature equation $σ_2(κ(X))=f(X, ν(X)).$ In this note, we give a simpler proof of this result, and extend it to space forms.

研究の動機と目的

• Guo, Ren, Wang が当初確立した、2凸で星型の超曲面に対するスカラー曲率指定問題の $C^2$ 事前推定を簡略化・拡張すること。
• 結果をユークリッド空間から、球面（$K=1$）および双曲空間（$K=-1$）を含むすべての空間形式に一般化すること。
• 有界な径方向距離、有界な勾配、所定の曲率関数の滑らかさといった自然な幾何的制約のもとで、一様な曲率の上限を確立すること。
• 連続性の議論を用いて、空間形式におけるスカラー曲率方程式の唯一の $C^{3,\bar{\beta}}$ 解の存在を証明すること。

提案手法

• 空間形式の計量 $ds^2 = d\rho^2 + \rho^2 dz^2$ において、径方向グラフのパラメータとして $\rho$ と支持関数 $u = \langle \nabla_\rho \rho \rangle$ を用いる。
• 最大原理を、量 $e^{\beta \tilde{\rho}} \frac{\tilde{\rho}_{\text{max}}}{u - a}$ に適用し、最大の主曲率を制御する。
• ガウス方程式およびコーディッチ方程式を用いて、第二基本形式の共変微分と超曲面の計量構造を関連付ける。
• 特に $\nabla \tilde{\rho}$ および $\tilde{\rho}_{ij}$ を含む、空間形式における計量および接続の式を用いて、$u$ および $h_{ij}$ の発展方程式を導出する。
• 支持関数の下限を制御するため、$h = -\nabla u + \tilde{\rho}(\rho)$ で定義されるテスト関数を導入し、$\tilde{\rho} = \frac{\bar{\rho}}{t}$ とする。
• 矛盾による証明の根拠とするために、$\frac{d}{d\rho}(\phi^k \psi) \leq 0$ という単調性条件を課す。

実験結果

リサーチクエスチョン

• RQ1 2凸で星型の超曲面に対するスカラー曲率指定問題の $C^2$ 事前推定は、ユークリッド空間を超えて簡略化・拡張可能か？
• RQ2 空間形式におけるスカラー曲率方程式の解の存在は、環境の曲率 $K = -1, 0, 1$ に依存するか？
• RQ3 径方向グラフにおける空間形式の下で、一様な曲率の上限を保証する幾何的・解析的条件は何か？
• RQ4 所定の曲率が法線ベクトル $\nu$ に依存する場合、問題の正則性と可解性にどのような影響を与えるか？
• RQ5 同じ条件下で、連続性の議論を用いて $C^{3,\bar{\beta}}$ 解の存在を確立できるか？

主な発見

• ユークリッド空間におけるスカラー曲率方程式の $C^2$ 事前推定について、Guan, Ren, Wang の結果の簡略化された証明が与えられる。
• 結果は $\mathbb{R}^{n+1}$（$K=0$）、$\mathbb{S}^{n+1}$（$K=1$）、$\mathbb{H}^{n+1}$（$K=-1$）を含むすべての空間形式に拡張される。
• 有界な径方向距離 $0 < R_1 \leq \rho \leq R_2 < a$、有界な一次ノルム $|\rho|_{C^1} \leq R_3$、および $\bar{\psi} \in C^2$ の仮定のもとで、一様な曲率の上限が確立される。この上限は $n$、$R_1$、$R_2$、$R_3$、$|\bar{\psi}|_{C^2}$ のみに依存する。
• 重要な技術的ステップとして、適切に選んだテスト関数における最大原理の議論により、支持関数 $u = \langle V, \nu \rangle$ の一様な下限を証明する。
• 単調性条件 $\frac{d}{d\rho}(\phi^k \psi) \leq 0$ は、解の存在を保証し、証明における矛盾による議論の根拠として不可欠である。
• 提示された条件下で、連続性の議論を用いて、スカラー曲率方程式の唯一の $C^{3,\bar{\beta}}$ 解の存在が確立される。