[論文レビュー] Hölder Regularity of Two-Dimensional Almost-Minimal Sets in $\R^n$

Guy David|ArXiv.org|Jun 10, 2008

Advanced Mathematical Modeling in Engineering参考文献 9被引用数 7

ひとこと要約

本稿は、R^n 内の2次元のほぼ最小集合に対する Hölder 正則性の、より初等的な証明を提示する。これは、Jean Taylor による Almgren のほぼ最小集合の正則性定理を拡張するものである。局所的に最小コーン（平面、Y コーン、T コーン）と双 Hölder 同値であることを確立し、ほぼ最小集合の性質を明確にし、分離に基づく最小性条件を用いて R^3 内の最小2次元集合を特徴づける。これらの結果は Mumford-Shah 関数への応用を伴う。

ABSTRACT

We give a different and probably more elementary proof of a good part of Jean Taylor's regularity theorem for Almgren almost-minimal sets of dimension 2 in $\R^3$. We use this opportunity to settle some details about almost-minimal sets, extend a part of Taylor's result to almost-minimal sets of dimension 2 in $\R^n$, and give the expected characterization of the closed sets $E$ of dimension 2 in $\R^3$ that are minimal, in the sense that $H^2(E\setminus F) \leq H^2(F\setminus E)$ for every closed set $F$ such that there is a bounded set $B$ so that $F=E$ out of $B$ and $F$ separates points of $\R^3 \setminus B$ that $E$ separates.

研究の動機と目的

• R^n 内の2次元 Almgren のほぼ最小集合に対する Hölder 正則性の、より初等的で詳細な証明を提供すること。
• 特に競合集合や最小性との関係において、ほぼ最小集合の構造と性質を明確にすること。
• R^3 における2次元ほぼ最小集合について、Taylor の正則性結果を R^n へ拡張すること。
• R^3 内の閉じた2次元集合 E で、すべての MS 競合集合 F に対して H²(EΔF) ≤ H²(FΔE) を満たすものについて、その特徴づけを行うこと。
• R^3 内の次元2の MS 最小集合がすべて最小コーン（平面、Y、T 型）であることを示すこと。

提案手法

• 高度な道具を避けるために、幾何的直感と初等的推定に焦点を当てた Taylor の証明の再構築を行う。
• 有界な対称差と大半の球外部の点の分離を用いて、MS 競合集合を定義する。
• コンパクト台付きリプシッツ変形の像として得られる Al-競合集合を導入し、これが MS 競合集合を意味することを示す。
• MS 最小集合が Al 最小であることを証明し、これを用いて吹き出しと密度の議論により正則性を導出する。
• 幾何的分解と三角関数恒等式を用いて、最小コーン（Y 型および T 型）の密度の振る舞いを分析する。
• 例えばチューブ構成を用いた具体例を構成し、正則性および位相的性質を図示する。

実験結果

リサーチクエスチョン

• RQ1 Almgren のオリジナルの手法の技術的複雑さを避けて、R^n 内の2次元ほぼ最小集合に対する Hölder 正則性のより初等的な証明が可能か？
• RQ2 R^n 内の2次元集合において、MS 最小性と Al 最小性の正確な関係は何か？
• RQ3 R^3 内の閉じた2次元集合 E ⊂ R^3 で、すべての MS 競合集合 F に対して H²(EΔF) ≤ H²(FΔE) を満たすものはどれか？その幾何的構造は何か？
• RQ4 R^3 内の Y 型および T 型最小コーンの正確な密度は何か？最小性とどのように関係するか？
• RQ5 非全域的最小でないほぼ最小集合の極限として、奇妙な最小集合が出現しうるか？

主な発見

• 本稿は、R^n 内の2次元ほぼ最小集合が、最小コーン（平面、Y コーン、T コーン）と局所的に双 Hölder 同値であることを確立し、Taylor の結果を R^3 を超えて拡張する。
• R^3 内の次元2のすべての MS 最小集合が最小コーンであることを証明し、Mumford-Shah 関数にまつわる予想を裏付ける。
• 原点を中心とする T コーンについて、H²(T ∩ B(0,r)) = d₊r² が成り立ち、d₊ = 3 Arccos(−1/3) であることが、正四面体の三角関数的解析から導かれる。
• Y コーンの密度は H²(Y ∩ B(0,r)) = (3π/2)r² であり、これは半径 r の3つの半円板から構成されるためである。
• 単位球外部では T コーンと一致するが内部で変更された集合 E を構成することで、局所的には正則だが全域的最小でない例が得られ、最小性の微妙さを示している。
• 曲線に沿って2つの対称的半チューブを接着して得られる集合 E は、R^3 \\(E) において2つの連結成分しか持たず、その位相は局所的正則性および Hölder 同値性と整合的である。