[論文レビュー] Regularity of the singular set for Mumford-Shah minimizers in R^3 near a minimal cone

Antoine Lemenant|ArXiv.org|Jun 18, 2008

Nonlinear Partial Differential Equations参考文献 11被引用数 4

ひとこと要約

この論文は、R³におけるMumford-Shah最小化子の特異集合Kが、平面（P）、Y字型の錐（Y）、四面体型の錐（T）という最小錐に近い場合、Hausdorff距離において十分に近い限り、KはC¹,α正則であることを確立する。主な結果は、より小さい球内でKと最小錐が局所的にC¹,α同値であることを示し、平坦な集合からの正則性結果を一般の最小錐へ拡張するものである。

ABSTRACT

We show that if (u;K) is a minimizer of the Mumford-Shah functional in an open set of R^3, and if x, K and r > 0 are such that K is close enough to a minimal cone of type P (a plane), Y (three half planes meeting with 120 degrees angles) or T (cone over a regular tetrahedron centered at the origin) in terms of Hausdorff distance in B(x; r), then K is C^1,alpha equivalent to the minimal cone in B(x; cr) where c < 1 is an universal constant.

研究の動機と目的

• R³におけるMumford-Shah最小化子の正則性理論を、平坦な特異集合を超えて展開すること。
• 特異集合KがHausdorff距離においてある最小錐（P、Y、またはT）に十分近い場合、その点の近傍でKがC¹,α正則であることを確立すること。
• Ambrosio-Fusco-Pallara（AFP97）の平坦性に基づく正則性結果を、R³における3種類の最小錐（P、Y、T）へ一般化すること。
• 特異集合と最小錐の間のC¹,α同値性を実現する局所微分同相写像を提供すること。
• エネルギーが小さく、ゲージ関数が小さいならば、最小錐の周囲で局所的正則性が成り立つことを示し、コンパクトネスとブロー・アップの議論を用いること。

提案手法

• エネルギーに基づく手法を一般化するため、摂動を制御するゲージ関数h(r)を用いる。
• ブロー・アップ極限を用いたコンパクトネスの議論により、エネルギーが小さく、ゲージ関数が小さいならば、グローバル最小化子に収束することを示す。
• David（DAVa）によって確立された事実を活用し、R³におけるグローバル最小化子がP、Y、またはT型の最小錐に限られることを用いる。
• Hausdorff距離D_Hを用いて、球内でKと最小錐Zとの近接度を定量化する。
• エネルギーが小さく、特異集合がHausdorff距離で最小錐に近いという仮定の下で、傾き型推定（定理45）を適用する。
• より小さい球B(x,cr)内で、最小錐Zを特異集合Kに写像するC¹,α微分同相写像φを構成し、局所的正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特異集合Kが平面ではなく、Y型やT型の非平坦な最小錐に近い場合、R³におけるMumford-Shah最小化子の特異集合KのC¹,α正則性は確立可能か？
• RQ2 AFP97で示された平坦な特異集合に基づく正則性結果は、R³における3種類の最小錐（P、Y、T）へ一般化可能か？
• RQ3 エネルギーとゲージ関数にどのような条件を課すと、特異集合が最小錐と局所的にC¹,α同値になるか？
• RQ4 グローバル最小化子解析で用いられるコンパクトネスとブロー・アップの技法を、最小錐の周囲での局所的正則性の証明に適応可能か？
• RQ5 Hausdorff距離で錐に近いKに対して、ある定数c < 1が存在し、Kがより小さい球B(x,cr)内で最小錐とC¹,α同値になるか？

主な発見

• 特異集合Kが球B(x,r)内でHausdorff距離において最小錐（P、Y、T）に十分近いならば、ある普遍的なc < 1に対して、より小さい球B(x,cr)内でKはC¹,α正則である。
• エネルギーω₂(x,r)とゲージ関数h(r)が十分に小さい、すなわちω₂(x,r) + h(r) ≤ ε（ε > 0）であるという条件下で成り立つ。
• 正則性は、最小錐ZをKに写像するC¹,α微分同相写像φにより達成され、局所的なC¹,α同値性が保証される。
• 証明は、エネルギーが小さい最小化子がグローバル最小化子に収束することを示すコンパクトネスとブロー・アップの議論に依存している。
• この結果は、Ambrosio-Fusco-Pallara（AFP97）の平坦性に基づく正則性結果を、R³における3種類の最小錐（P、Y、T）へ一般化する。
• L∞データgを伴う標準的なMumford-Shah汎関数に対しては、r < r̃(‖g‖∞)のとき、ω₂(x,r) ≤ εを満たす限り、局所的C¹,α正則性が成り立つ。