[论文解读] Mean curvature flow with obstacles: a viscosity approach

Gwenaël Mercier|arXiv (Cornell University)|Sep 26, 2014

Fluid Dynamics and Turbulent Flows被引用 10

一句话总结

该论文为具有时变障碍物的平均曲率流提出了一种粘性解框架，证明了有界一致连续初值下的存在性与唯一性。它证明了水平集公式的几何一致性，并将Almeida、Chambolle与Novaga的变分格式与粘性解联系起来，展示了收敛性与单调性，从而表明在低维情形（n ≤ 7）下解的长时间行为收敛于一个极小曲面。

ABSTRACT

We introduce a level-set formulation for the mean curvature flow with obstacles and show existence and uniqueness of a viscosity solution. These results generalize a well known viscosity approach for the mean curvature flow without obstacle by Evans and Spruck and Chen, Giga and Goto in 1991. In addition, we show that this evolution is consistent with the variational scheme introduced by Almeida, Chambolle and Novaga (2012) and we study the long time behavior of our viscosity solutions.

研究动机与目标

• 为受时变障碍物约束的平均曲率流开发一种粘性解框架。
• 将Evans-Spruck与Chen-Giga-Goto的粘性解方法推广至包含障碍约束的情形。
• 在有界一致连续初值和Lipschitz障碍力作用下，建立粘性解的存在性与唯一性。
• 证明几何一致性：解的α-水平集仅依赖于初值和障碍物的α-水平集，即使解的水平集内部非空亦成立。
• 分析解的长时间行为，并将其与Almeida、Chambolle与Novaga的变分格式相联系。

提出的方法

• 通过水平集PDE形式化带有障碍物的平均曲率流：$ u_t + F(Du, D^2u) + k|Du| = 0 $，其中$ F $具有几何性且单调。
• 采用双障碍约束：$ u^-(x,t) \leq u(x,t) \leq u^+(x,t) $，且满足$ u^- \leq u^+ $，以模拟物理或几何障碍。
• 应用粘性解理论，通过上、下半连续包络$ F^* $与$ F_* $定义次解与超解。
• 利用$ \varphi(x,t) = \alpha |x - x_0|^\alpha $的扰动方法处理梯度为零点处的退化性。
• 通过反证法建立比较原理，假设$ u - \varphi $在某点处取得最大值且梯度非零。
• 通过证明该变分格式的极限即为粘性解，将粘性解与Almeida、Chambolle与Novaga的离散变分格式联系起来，从而保证了单调性与收敛性。

实验结果

研究问题

• RQ1 能否为具有时变障碍物的平均曲率流建立粘性解框架？
• RQ2 即使水平集发展出非空内部，水平集公式在障碍物约束下是否仍保持几何一致性？
• RQ3 粘性解的长时间行为如何与Almeida、Chambolle与Novaga的变分格式相联系？
• RQ4 在何种条件下粘性解收敛于极小曲面？与Spadaro的离散格式相比有何异同？
• RQ5 在低维情形（n ≤ 7）下，粘性解的极限是否等价于均凸包？

主要发现

• 在有界一致连续初值和Lipschitz障碍力作用下，建立了粘性解的存在性与唯一性。
• 解具有几何性：α-水平集仅依赖于初值和障碍物的α-水平集，即使解的水平集内部非空亦成立。
• Almeida、Chambolle与Novaga的变分格式收敛于粘性解，且该格式的单调性意味着解收敛于一个极小曲面。
• 在维数$ n \leq 7 $时，长时间极限$ \{u_\infty = 0\} $与均凸包$ \Omega^{\text{mc}} $一致，前提是解不发生“增厚”现象。
• 极限$ u_\infty $满足$ |Du|\operatorname{div}\left(\frac{Du}{|Du|}\right) = 0 $，且$ \{u_\infty = 0\} \setminus \Omega $在变测度意义下为光滑、稳定、静止的极小曲面。
• 水平集$ \{u = s\} $的非空内部仅可能出现在可数多个$ s $上，此结论依据命题12的正则性结果。