[论文解读] Mean-convex sets and minimal barriers

Emanuele Spadaro|arXiv (Cornell University)|Dec 19, 2011

Optimization and Variational Analysis参考文献 19被引用 5

一句话总结

本文引入了均值凸包作为给定集合中所有带边界的极小超曲面的最小全局屏障，证明在维度 ≤7 时，该包具有 $C^{1,1}$ 边界且其自身为均值凸。该特征通过一种新颖的障碍正则化均值曲率流实现，表明该包作为在曲率流中受障碍约束而收缩的演化集合的渐近极限而出现。

ABSTRACT

A mean-convex set can be regarded as a barrier for the construction of minimal surfaces. Namely, if we are given a mean-convex set and a null-homotopic Jordan curve on its boundary, then there exists an embedded minimal disk with boundary the given curve contained in the starting mean-convex set. Does a mean-convex set contain all minimal disks with boundary on it? Does it contain the solutions of Plateau's problem? We answer this question negatively and characterize the least barrier enclosing all the minimal hypersurfaces with boundary on a given set.

研究动机与目标

• 解决均值凸集是否作为所有带边界的极小超曲面的全局屏障。
• 识别包含所有此类极小超曲面的最小可能全局屏障——即均值凸包。
• 在低维中建立该最小屏障的正则性与几何结构。
• 通过带障碍约束的广义均值曲率流，提供均值凸包的变分与几何表征。

提出的方法

• 将均值凸包 $\Omega^{mc}$ 定义为所有包含 $\Omega$ 的全局屏障 $\Theta$ 的交集，确保其为最小此类集合。
• 引入一种带障碍的广义均值曲率流：在 $\Omega$ 外部，$F_t$ 沿均值曲率流演化；仅当 $\partial F_t \cap \Omega$ 上的均值曲率向量指向外侧时，才停止或向外移动。
• 使用时间离散化逼近方案 $E^{(h)}_i$ 构造一组最小化带惩罚面积泛函的集合，其势能项源自前一arent 步骤。
• 证明每个 $E^{(h)}_i$ 是尺度 $R$ 下的 $\Lambda$-极小化器，其中 $\Lambda = C h^{-1}$，确保一致正则性。
• 应用椭圆与障碍问题正则性理论，表明 $\partial E^{(h)}_i \setminus \Sigma$ 为 $C^{1,1}$，其奇点集 $\Sigma$ 的Hausdorff维数至多为 $n-8$。
• 建立极限 $\Omega^{mc} = \lim_{t \to \infty} F_t$ 为闭的均值凸集，具有 $C^{1,1}$ 边界，且 $\partial \Omega^{mc} \setminus \Omega$ 为在 $\Omega$ 中带边界的极小超曲面。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^n$ 中，均值凸集 $\Omega$ 是否包含所有带边界的极小超曲面（其边界在 $\partial\Omega$ 上）？
• RQ2 是否存在一个包含所有带边界的极小超曲面（其边界在给定集合 $\Omega$ 中）的最小全局屏障？若存在，其结构如何？
• RQ3 该最小全局屏障是否可表征为几何演化过程的极限？
• RQ4 在低维中，该最小全局屏障（即均值凸包）具有何种正则性？
• RQ5 均值凸包的边界与极小曲面及原始集合 $\Omega$ 有何关系？

主要发现

• 均值凸包 $\Omega^{mc}$ 是所有带边界的极小超曲面（其边界在 $\Omega$ 中）的最小全局屏障，定义为所有此类全局屏障的交集。
• 对于 $n \leq 7$，均值凸包 $\Omega^{mc}$ 具有 $C^{1,1}$ 正则边界，且其自身为均值凸集。
• $\Omega^{mc}$ 边界在 $\Omega$ 外部的部分，即 $\partial \Omega^{mc} \setminus \Omega$，为在 $\Omega$ 中带边界的极小超曲面。
• 均值凸包在其自身构造下不变：$(\Omega^{mc})^{mc} = \Omega^{mc}$，确认其为真正的包。
• 该构造通过带障碍的广义均值曲率流实现，其中演化集合 $F_t$ 在 $t \to \infty$ 时的极限等于 $\Omega^{mc}$。
• 时间离散化方案中的每个近似集合 $E^{(h)}_i$ 均为面积泛函的 $\Lambda$-极小化器，其中 $\Lambda = C h^{-1}$，确保一致正则性与收敛性。