[论文解读] 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

一句话总结

该论文证明，在接近极小锥——具体而言是平面（P）、Y形锥（Y）或四面体锥（T）——时，若在R³中Mumford-Shah极小化元的奇异集K在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³中所有三类极小锥。
• 构造一个局部微分同胚，实现奇异集与极小锥之间的C¹,α等价关系。
• 证明当能量较小且测度函数较小时，可推出在极小锥附近的局部正则性，方法为利用紧致性与爆破分析。

提出的方法

• 使用测度函数h(r)控制Mumford-Shah泛函的扰动，推广基于能量的方法。
• 通过爆破极限应用紧致性论证，证明当能量与测度函数均较小时，收敛于全局极小化元。
• 利用已知结论：在R³中全局极小化元必为P、Y或T型极小锥，如David（DAVa）所证。
• 使用Hausdorff距离D_H量化在球体内奇异集K与极小锥Z之间的接近程度。
• 在奇异集在Hausdorff距离下接近极小锥且能量较小时，应用一种倾斜型估计（定理45）。
• 构造一个C¹,α微分同胚φ，将极小锥Z映射至更小球体B(x,cr)内的奇异集K，从而保证局部C¹,α等价性。

实验结果

研究问题

• RQ1 当奇异集K在Hausdorff距离下接近非平坦极小锥（如Y锥或T锥）而非仅平面时，能否建立R³中Mumford-Shah极小化元奇异集K的C¹,α正则性？
• RQ2 AFP97中基于平坦性的正则性结果，是否可推广至R³中所有三类极小锥：P、Y和T？
• RQ3 能量与测度函数需满足何种条件，才能保证奇异集在局部与极小锥C¹,α等价？
• RQ4 能否将全局极小化元分析中使用的紧致性与爆破技术，适配用于证明在极小锥附近的局部正则性？
• RQ5 是否存在一个统一的常数c < 1，使得当K在Hausdorff距离下接近锥时，K在更小球体B(x,cr)内与极小锥C¹,α等价？

主要发现

• 若奇异集K在球体B(x,r)内Hausdorff距离下足够接近极小锥（P、Y或T），则存在某个绝对常数c < 1，使得K在更小球体B(x,cr)内具有C¹,α正则性。
• 该结果在能量ω₂(x,r)与测度函数h(r)均足够小的条件下成立，即ω₂(x,r) + h(r) ≤ ε（ε > 0为某小常数）。
• 正则性通过一个将极小锥Z映射至B(x,cr)内K的C¹,α微分同胚φ实现，从而保证局部C¹,α等价性。
• 证明依赖于紧致性与爆破分析，表明小能量极小化元收敛于全局极小化元，而这些全局极小化元已被证明为极小锥。
• 该结果将Ambrosio-Fusco-Pallara（AFP97）基于平坦性的正则性结果，从超平面推广至R³中所有三类极小锥。
• 对于具有L∞数据g的标准Mumford-Shah泛函，当r < r̃(‖g‖∞)时，该结果成立，确保在ω₂(x,r) ≤ ε条件下具有局部C¹,α正则性。