[論文レビュー] Existence of isoperimetric regions in $\R^n$ with density

Frank Morgan, Aldo Pratelli|arXiv (Cornell University)|Nov 22, 2011

Advanced Mathematical Modeling in Engineering参考文献 13被引用数 14

ひとこと要約

本稿では、さまざまな成長条件の下で密度関数を伴う $\mathbb{R}^n$ における等周領域の存在を確立し、密度関数が無限遠で有限極限に近づくか無限大に発散する場合に、そのような領域が存在することを示している。これは、遠方の球の平均密度推定を用いて体積の喪失を防ぐことで実現される。主な貢献は、密度関数の漸近的挙動に関する弱く検証可能な仮定の下で、一般に等周集合の存在定理を確立することにある。

ABSTRACT

We prove the existence of isoperimetric regions in $\R^n$ with density under various hypotheses on the growth of the density. Along the way we prove results on the boundedness of isoperimetric regions.

研究の動機と目的

• 正の密度関数を伴う $\mathbb{R}^n$ における等周領域が、どのような条件下で存在するかを確立すること。
• 密度関数の漸近的挙動、特に無限遠における成長または減衰が、等周集合の存在および有界性に与える影響を分析すること。
• 特に密度関数が有限極限に近づくか無限大に発散する場合に、存在に関する未解決問題を解消すること。
• すべての体積に対して等周集合の存在を保証する密度関数の十分条件（例：超調和性、緩やかな成長）を提示すること。
• 存在証明における有界性の役割を明確にし、等周集合がいつ有界であるべきかを特定すること。

提案手法

• 最小化列における体積の無限遠への喪失を制御するため、大きな球における平均密度の概念を用いる。
• 適切な成長条件の下で、原点から遠く離れた球に、平均密度が漸近的極限 $a$ 以下であるものが存在することを示す、重要な技術的補題を適用する。
• 比較的議論を用いる：体積が平均密度 $a$ で無限遠へ喪失する場合、同じ平均密度を持つ遠方の球に置き換えることで、体積制約を回復できる。
• 重み付き設定における第一変分公式および曲率推定を用いて、等周集合の構造を分析する。
• 幾何測度論の道具、特に等周プロファイル ${\mathfrak{I}}_f(V)$ を用いて、存在性および正則性を研究する。
• 密度関数の超調和性および平均化条件を用いて、特に有限漸近的極限の場合に存在結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 密度関数 $f$ に対して、任意の所定の体積に対して $\mathbb{R}^n$ における等周領域が存在するための条件は何か？
• RQ2 密度関数が無限遠で有限正の極限に近づく場合、回転対称性を仮定しないで存在を保証できるか？
• RQ3 密度関数の一般的な成長条件の下で、等周集合の有界性が保証されるか？
• RQ4 径数的かつ凹型の密度関数に対しても、発散や超調和性を仮定しないで等周集合の存在が保証されるか？
• RQ5 等周集合の存在結果を非径数的かつ増加的密度関数へ拡張できるか？

主な発見

• 密度関数 $f$ が無限遠で発散する場合、回転対称性や単調性を仮定しないでも、等周集合の存在が保証される。
• 密度関数が有限極限 $a>0$ に近づく場合、密度関数が十分にゆっくり成長する（定理 7.11）か、平均化条件を満たす（定理 7.13）限り、存在が保証される。
• 密度関数が $C^2$ かつ無限遠で超調和的である場合、存在は保証される（系 7.14）— たとえ $1-e^{-e^r}$ のような急速に成長する密度関数に対しても同様である。
• 増加的密度関数に対しては、$\mathbb{R}^2$ において（命題 5.3）および径数的密度関数に対しては（命題 5.9）、やや弱い正則性条件下で等周集合の有界性が証明される。
• 存在証明は、平均密度が $a$ 以下であるような遠方の球が存在することに依存しており、これにより最小化列における体積の喪失を補填できる。
• 反例により、予想における径数的または増加的仮定をいずれも取り除くことはできないことが示され、仮定の必要性が強調されている。