[论文解读] $C^{1+α}$-Regularity for Two-Dimensional Almost-Minimal Sets in $\R^n$

Guy David|ArXiv.org|Jun 12, 2008

Point processes and geometric inequalities参考文献 7被引用 4

一句话总结

本文提出了一种Jean Taylor关于$ \mathbb{R}^n$中二维几乎极小集$C^{1+\alpha}$-正则性的新、初等证明，并将其部分推广至更高余维情形。通过在小Lipschitz图上球面的锥面使用调和替换，并利用局部分离结果与广义Reifenberg参数化定理，作者证明此类集合在局部上$C^{1+\alpha}$-等价于极小锥，且密度过剩的衰减估计控制了正则性。关键贡献在于对密度过剩$f(r) = \theta(r) - d(x)$的定量衰减，该衰减在适当条件下蕴含$C^{1+\alpha}$-正则性。

ABSTRACT

We give a new proof and a partial generalization of Jean Taylor's result [Ta] that says that Almgren almost-minimal sets of dimension 2 in $\R^3$ are locally $C^{1+α}$-equivalent to minimal cones. The proof is rather elementary, but uses a local separation result proved in [D3] and an extension of Reifenberg's parameterization theorem [DDT]. The key idea is still that if $X$ is the cone over an arc of small Lipschitz graph in the unit sphere, but $X$ is not contained in a disk, we can use the graph of a harmonic function to deform $X$ and diminish substantially its area. The local separation result is used to reduce to unions of cones over arcs of Lipschitz graphs. A good part of the proof extends to minimal sets of dimension 2 in $\R^n$, but in this setting our final regularity result on $E$ may depend on the list of minimal cones obtained as blow-up limits of $E$ at a point.

研究动机与目标

• 为Taylor在$\mathbb{R}^3$中关于二维几乎极小集$C^{1+\alpha}$-正则性的结果提供一种更初等的新证明，避免使用当前与紧致性论证。
• 将二维几乎极小集在$\mathbb{R}^3$中的正则性结果部分推广至$n > 3$时的$\mathbb{R}^n$。
• 建立密度过剩$f(r) = \theta(r) - d(x)$的定量衰减估计，该估计控制集合的正则性。
• 表明最终的正则性结果依赖于在$\mathbb{R}^n$中某一点处作为爆破极限得到的极小锥列表。

提出的方法

• 在球面上小Lipschitz图上的锥面使用调和替换以减少面积，利用齐次一次Lipschitz函数远离调和函数的性质。
• 应用[D3]中的局部分离结果，将问题约化为Lipschitz图弧上锥的并集。
• 通过[DDT]推广Reifenberg的拓扑圆盘定理，建立双Hölder正则性，最终得到$C^{1+\alpha}$-正则性。
• 引入密度过剩$f(r) = \theta(r) - \lim_{t \to 0^+} \theta(t)$作为衡量与极小锥偏离程度的关键量。
• 在定理4.5中推导出$f(r)$的微分不等式，表明其衰减如$r$的某次幂，从而控制到极小锥的Hausdorff距离。
• 利用Taylor展开与几何控制（如引理14.27）估计球面上形变曲线的长度，并验证全长性质。

实验结果

研究问题

• RQ1 能否以更初等的方法重新证明$\mathbb{R}^3$中二维几乎极小集的$C^{1+\alpha}$-正则性，且避免使用当前与紧致性论证？
• RQ2 二维几乎极小集在$\mathbb{R}^3$中的正则性结果能在多大程度上推广至$n > 3$时的$\mathbb{R}^n$？
• RQ3 密度过剩$f(r)$的衰减速率如何与集合的$C^{1+\alpha}$-正则性相关？
• RQ4 在更高余维情形下，极小锥爆破极限的列表在决定集合最终正则性方面起什么作用？
• RQ5 能否在球面上集合的连通分支上独立验证全长性质（定义4.10）？

主要发现

• 密度过剩$f(r) = \theta(r) - d(x)$以确定的幂率衰减，这对证明$C^{1+\alpha}$-正则性至关重要。
• 通过定理4.5中的微分不等式与引理5.11中的主要例子，$f(r)$的衰减被确立，表明其衰减如$r^\beta$（$\beta > 0$）。
• 在定理11.4中表明，$E$到极小锥的Hausdorff距离由$f(r)$控制。
• 最终的$C^{1+\alpha}$-正则性结果由[DDT]中Reifenberg定理的变体推导得出，该定理提供双Hölder等价性，且在$f(r)$衰减时可提升为$C^{1+\alpha}$-正则性。
• 全长性质（定义4.10）被证明可在$K = E \cap \partial B(x,r)$的各分量上独立验证，且在小形变下保持不变。
• 当$n > 3$时，由于可能的锥构型更为复杂，$E$的$C^{1+\alpha}$-正则性可能依赖于在某一点处作为爆破极限得到的极小锥的具体列表。