[论文解读] Regularity up to the Crack-Tip for the Mumford-Shah problem

John Andersson, Hayk Mikayelyan|arXiv (Cornell University)|Dec 16, 2015

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

一句话总结

本文首次建立了二维Mumford-Shah泛函极小解在裂纹尖端处的$C^{2,\beta}$正则性估计，通过线性化与渐近展开技术，推导出一个此前未知的欧拉-拉格朗日条件。结果表明，自由间断集$Γ$在尖端附近呈光滑曲率，解决了自由间断与断裂力学领域长期悬而未决的难题。

ABSTRACT

We prove that if $(u,Γ)$ is a minimizer of the functional $$ J(u,Γ)=\int_{B_1(0)\setminus Γ}| abla u|^2dx +\H^1(Γ) $$ and $Γ$ connects $\partial B_1(0)$ to a point in the interior, then $Γ$ satisfies a point-wise $C^{2,α}$-estimate at the crack-tip. This means that the Mumford-Shah functional satisfies an additional, and previously unknown, Euler-Lagrange condition. ******* The previous version of the paper contained some mistakes, which has been fixed. More explanations/details has been added in Section 6.

研究动机与目标

• 建立二维Mumford-Shah泛函在裂纹尖端处的首个$C^{2,\alpha}$正则性估计。
• 通过分析裂纹尖端附近垂直方向的变分，推导出Mumford-Shah泛函的一个新且此前未知的欧拉-拉格朗日条件。
• 将先前用于经典自由边界问题的自由边界理论技术拓展至自由间断设定。
• 利用线性化系统分析极小解在裂纹尖端附近的解析与几何分量的渐近行为。
• 为通过时间离散化最小化方案研究脆性材料中的准静态裂纹扩展提供理论基础。

提出的方法

• 在线性化裂纹尖端附近的Mumford-Shah泛函，以在尖端附近小球内获得极小解的渐近展开。
• 基于加权$L^2$分析线性化系统，刻画单位球边界（除去点$(-1,0)$）上的齐次解。
• 证明齐次解张成$L^2(\partial B_1 \setminus \{(-1,0)\})$，从而实现边界数据的基展开。
• 通过$H^{1/2}$型空间中的正交基分解，建立线性化问题解的存在性与唯一性。
• 应用尺度变换与$L^2$范数估计，通过证明高阶项衰减快于$r^{3/2}$，证明$C^{2,\alpha}$正则性。
• 对裂纹尖端的垂直方向进行变分，推导出新的欧拉-拉格朗日条件，从而确认$C^{2,\alpha}$估计的必要性。

实验结果

研究问题

• RQ1 能否证明Mumford-Shah极小解的自由间断集$\Gamma$在裂纹尖端处具有$C^{2,\alpha}$正则性？
• RQ2 在裂纹尖端附近垂直于裂纹方向的变分中，会涌现出哪些新的欧拉-拉格朗日条件？
• RQ3 线性化与渐近展开技术如何从经典自由边界问题适配至自由间断设定？
• RQ4 梯度项与表面项在裂纹尖端附近的精确标度行为是什么？其对正则性有何影响？
• RQ5 该正则性结果能否用于分析时间离散化准静态裂纹扩展模型中的裂纹扩展行为？

主要发现

• Mumford-Shah泛函极小解$(u,\Gamma)$在裂纹尖端处满足任意$\alpha < 3/2$的点态$C^{2,\alpha}$正则性估计。
• 本文推导出一个源自裂纹尖端处垂直方向变分的Mumford-Shah泛函新欧拉-拉格朗日条件。
• 通过角向变量的齐次调和函数基，完全刻画了极小解在裂纹尖端附近的渐近展开。
• 线性化问题的解表现出$C^{2,\alpha}$正则性，衰减估计表明高阶项的消失速度快于$r^{3/2}$。
• 通过$L^2$与$H^{1/2}$空间中的正交基分解，确立了线性化系统解的存在性与唯一性。
• 该正则性结果在小扰动下具有鲁棒性，支持在脆性断裂力学中分析时间离散化裂纹扩展模型。