[论文解读] A generalization of Reifenberg's theorem in $R^3$

Guy C. David, DePauw, T.+1 more|ArXiv.org|Jul 18, 2006

Point processes and geometric inequalities参考文献 5被引用 10

一句话总结

该论文将Reifenberg的拓扑圆盘定理推广至$∝^3$中在所有尺度上均匀接近于极小锥（平面、Y形集合或六扇区锥）的集合。证明了此类集合可通过全局双Hölder同胚局部双Hölder等价于一个极小锥，将经典结果从平面推广至具有奇点的模型锥。

ABSTRACT

In 1960 Reifenberg proved the topological disc property. He showed that a subset of $R^n$ which is well approximated by $m$-dimensional affine spaces at each point and at each (small) scale is locally a bi-Hölder image of the unit ball in $R^m$. In this paper we prove that a subset of $R^3$ which is well approximated by a minimal cone at each point and at each (small) scale is locally a bi-Hölder deformation of a minimal cone. We also prove an analogous result for more general cones in $R^n$

研究动机与目标

• 将适用于近似于平面的集合的Reifenberg经典拓扑圆盘定理，推广至$∝^3$中近似于极小锥的集合的情形。
• 证明若闭集$E \subset \mathbb{R}^3$在每一点和每一尺度上均均匀接近于一个极小锥，则其在局部上双Hölder等价于该锥。
• 通过$∝^3$上的双Hölder同胚，提供$E$到极小锥的参数化，保持局部几何结构并支持局部收缩。

提出的方法

• 定义一种与尺度相关的Hausdorff型距离$D_{x,r}(E,F)$，以量化在尺度$r$下集合$E$在点$x$附近对极小锥$Z(x,r)$的逼近程度。
• 通过二进制立方体对集合$E$进行分层分解，并基于局部几何结构，为每个立方体关联一个模型锥$Z(x,r)$。
• 通过单位分解和局部$C^1$-型逼近$ψ_j$构造一列映射$f_n$，确保对导数和二阶导数的统一控制。
• 证明序列$f_n$一致收敛于极限映射$f$，且$Df$在模型锥的每个面上也一致收敛。
• 建立$f$在模型锥每个面上的$C^1$正则性，其模连续性依赖于逼近误差$\varepsilon(r)$的衰减。
• 证明极限映射$f$满足双Hölder估计：$|f(x)-f(y)| \asymp |x-y|^{1+\alpha}$，其中$\alpha \leq C\varepsilon$，当$\varepsilon$较小时成立。

实验结果

研究问题

• RQ1 Reifenberg定理能否推广至在$∝^3$中均匀接近于非平面极小锥（如Y形或六扇区锥）的集合？
• RQ2 若闭集$E \subset \mathbb{R}^3$在所有尺度上均均匀接近于一个极小锥，其是否在局部上双Hölder等价于该锥？
• RQ3 此类参数化是否由$∝^3$上的全局双Hölder同胚诱导，从而保持$E$在空间中的嵌入结构？

主要发现

• 对每个$\varepsilon \in (0, 10^{-15})$，存在$\alpha \in (0,1)$，使得若$E$在所有尺度上均$\varepsilon$-接近于一个极小锥，则$E$可通过满足$\alpha \leq C\varepsilon$的映射$f$局部双Hölder等价于一个极小锥。
• 映射$f$满足$|f(x)-f(y)| \asymp |x-y|^{1+\alpha}$，确保参数化的双Hölder正则性。
• 映射$f$的像包含$E \cap B(0,1)$，且位于$E \cap B(0,2)$内，$f$将模型锥中原点的邻域映射至$E$。
• 映射$f$在定义域上与恒等映射一致接近：$|f(x)-x| \leq \alpha$。
• 映射$f$在模型锥每个面上的限制为$C^1$，其导数的模连续性由$\varepsilon(r)$的衰减所控制。
• 若$\varepsilon(r) \leq Cr^{\alpha}$，则$f$在每个面上为$C^{1,\alpha}$，表明在更强逼近假设下具有更高正则性。