[論文レビュー] Existence and characterization of regions minimizing perimeter under a volume constraint inside Euclidean cones

Manuel Ritoré, César Rosales|ArXiv.org|Jul 16, 2003

Point processes and geometric inequalities参考文献 16被引用数 6

ひとこと要約

本稿は、ユークリッド錐内における等周的領域——体積を固定したときの最小境界長を持つ集合——の存在と特徴付けを確立する。幾何解析および第二変動法を用いて、凸錐では、等周的領域がちょうど錐の頂点を中心とするユークリッド球と錐の共通部分として得られることを証明し、錐制約下における幾何測度論における長年の未解決問題を解決する。

ABSTRACT

We study the problem of existence of regions separating a given amount of volume with the least possible perimeter inside a Euclidean cone. Our main result shows that nonexistence for a given volume implies that the isoperimetric profile of the cone coincides with the one of the half-space. This allows us to give some criteria ensuring existence of isoperimetric regions: for instance, local convexity of the cone at some boundary point. We also characterize which are the stable regions in a convex cone, i.e., second order minima of perimeter under a volume constraint. From this it follows that the isoperimetric regions in a convex cone are the euclidean balls centered at the vertex intersected with the cone.

研究の動機と目的

• ユークリッド錐内において、固定された体積制約下で境界長を最小化する等周的領域の存在を確立すること。
• 特に凸錐におけるそのような等周的領域の正確な幾何的構造を特徴付けすること。
• 標準的なコンパクト性の議論が失敗する非コンパクトな設定において、等周的領域の存在を特定する条件を同定すること。
• 凸錐における安定領域（境界長の第二階最小化領域）を同定し、それらを等周的領域と関連付けること。
• 球面セクターの等周的性質の幾何的証明を提供し、既存のブロム＝ミンコフスキーおよびグロモフ型の議論を補完すること。

提案手法

• 発散する可能性のある最小化列を解析することで、非コンパクト多様体に適応された変分法の直接法を用いる。
• 最小化列が収束部分と発散部分に分解されることを示す一般結果（定理2.1）を適用し、背理法による議論を可能にする。
• 半空間との等周的プロファイル比較を用い、非存在性が半空間のプロファイルと一致することを証明する。
• 境界長と体積の第二変動を適用し、平均曲率一定の安定超曲面を特徴付ける。境界長関数の第一および第二導関数を用いる。
• 法ベクトルと変動ベクトル場の内積を含む第二変動公式を用い、錐の境界および第二基本形式に由来する曲率項を含む。
• ε → 0 の極限において、ファトゥの補題と極限議論を用いて、形状作用素のノルムの二乗および境界の第二基本形式に関する積分不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクトなユークリッド錐において、等周的領域が存在する条件は何か？
• RQ2 凸錐における等周的領域の正確な幾何的構造は何か？
• RQ3 凸錐における平均曲率一定の安定超曲面はどのように特徴付けられるか？
• RQ4 錐の幾何構造——特にその境界および凸性——は、等周的領域の特定にどのような役割を果たすか？
• RQ5 第二階安定性および曲率解析を用いて、錐内の等周的領域を完全に特徴付けられるか？

主な発見

• 凸錐では、等周的領域はちょうど錐の頂点を中心とするユークリッド球と錐の共通部分として得られる。
• 錐の等周的プロファイルは、ある体積に対して等周的領域が存在しない場合に限り、半空間のプロファイルと一致する。これは存在の基準を提供する。
• 任意の体積に対して、凸錐内における等周的領域は有界であり、その境界は平均曲率一定の滑らかな超曲面であり、錐の境界と直交する。
• 凸錐内での安定領域は、ちょうど頂点を中心とする球と錐の共通部分、または境界の平らな部分の上に位置する半球に限られる。
• 第二変動解析により、形状作用素のノルムの二乗が平均曲率の二乗のn倍に等しく、境界の領域に沿って錐の境界の第二基本形式が消えることが示され、全びりゅう性および平坦性が示される。
• 候補領域間の境界長の比較により、空間 R^{n+1} 全体においても、頂点を中心とする球と錐の共通部分のみが等周的であることが確認される。