[論文レビュー] Regular domains and surfaces of constant Gaussian curvature in three-dimensional affine space

Xin Nie, Andrea Seppi|HAL (Le Centre pour la Communication Scientifique Directe)|Mar 19, 2019

Geometric Analysis and Curvature Flows参考文献 14被引用数 3

ひとこと要約

本稿は、3次元アフィン空間における一定アフィンガウス曲率（CAGC）を持つ完全な曲面の存在および一意性を確立し、凸錐によって定義される適切な正則領域を、その領域を覆う（foliate）。2段階のモンジュ・アンペール方程式を、下半連続な境界データおよび勾配の発散を伴う条件下で解くことで、アフィン球とミンコフスキー空間内の一定曲率曲面の両方を一般化する。外部円条件の仮定のもとで、すべてのこのような領域が一意にCAGC foliationを持つことを証明する。

ABSTRACT

Generalizing the notion of domains of dependence in the Minkowski space, we define and study regular domains in the affine space with respect to a proper convex cone. In dimension three, we show that every proper regular domain is uniquely foliated by a particular kind of surfaces with constant affine Gaussian curvature. The result is based on the analysis of a Monge-Ampère equation with extended-real-valued lower semicontinuous boundary condition.

研究の動機と目的

• 凸錐内のアフィン球とミンコフスキー空間内の一定曲率曲面の2つの古典的結果を統一すること。
• モンジュ・アンペール方程式のディリクレ問題を、拡張実数値で下半連続な境界データを含むように一般化すること。
• 3次元アフィン空間内に一定アフィンガウス曲率を持つ完全な曲面の存在および一意性を確立すること。
• CAGC foliationを用いて正則領域の幾何的構造を特徴づけること。
• 非滑らか境界データおよび特異曲率条件を含む、アフィン微分幾何学理論の拡張すること。

提案手法

• 標準モンジュ・アンペール方程式 (1.1) の解を含む2段階のモンジュ・アンペール方程式を定式化し、曲率に依存する右辺を導入する。
• 得られる曲面の完全性を保証するために、領域の境界で勾配の発散条件を課す。
• 右辺の成長を制御し、解の正則性を保証するために、領域の境界に外部円条件を適用する。
• 凸錐とその双対の間の双対性を用いて、境界関数 φ と領域の幾何の関係を関連付ける。
• 特異右辺を伴う退化モンジュ・アンペール方程式の正則性理論と変分的アプローチを用いる。
• 凸解析および射影幾何学の結果を応用し、領域がCAGC曲面によって生成される正則領域として特徴づけられることを示す。

実験結果

リサーチクエスチョン

• RQ1 3次元アフィン空間内の適切な正則領域が、一定アフィンガウス曲率曲面のfoliationを一意に持つための条件は何か？
• RQ2 特異境界データおよび勾配の発散を伴うモンジュ・アンペール方程式の解が、所定のCAGCを持つ完全な曲面に一意に拡張可能か？
• RQ3 領域の境界の幾何（例：外部円条件）は、CAGC曲面の存在および正則性にどのように影響するか？
• RQ4 射影化された双対錐と、領域内に完全なアフィン (C,k)-超曲面が存在する関係は何か？
• RQ5 双対錐の境界に C¹ 無限小の滑らかさが欠落している場合、完全なCAGC曲面が存在しなくなるのはいつか？

主な発見

• 任意の有界な凸領域 Ω ⊂ ℝ² が外部円条件を満たし、少なくとも3つの有限値をとる下半連続境界関数 φ を持つとき、2段階のモンジュ・アンペール方程式 (1.3) を満たす一意な下半連続な凸関数 u が存在する。
• 解 u の定義域は、φ が有限値をとる集合の凸包と一致し、境界データと幾何的に整合的であることが保証される。
• 解 u は、その定義域の境界の各点で無限大の内微分を持つ。これは、関連するCAGC曲面の完全性を保証する。
• 双対錐の射影化された境界が三角形であり、境界曲線が各辺と非接線的かつ非退化的に交わる場合、領域はすべての k > 0 に対して一意に完全なアフィン (C,k)-曲面によってfoliateされる。
• 双対錐の境界が三角形の辺と1点で非滑らかに交わり、両方の接線が内側を向いている場合、そのような完全なCAGC曲面は存在しない。
• 解 u がクラス S₀(Ω) に属するための必要十分条件は、領域の各頂点で外部円条件が成り立つことであり、これにより頂点における内微分が有限になり、解の正則性が保証される。