[论文解读] Integral Menger curvature for sets of arbitrary dimension and codimension

Sławomir Kolasiński|arXiv (Cornell University)|Nov 9, 2010

Geometric Analysis and Curvature Flows参考文献 18被引用 12

一句话总结

本文为 $ \mathbb{R}^n$ 中任意维数与余维数的紧致 $m$-维集合引入了一种新颖的积分 Menger 曲率泛函，证明了有限曲率能量意味着该集合作为流形具有 $C^{1,\alpha}$ 正则性。结果建立了切平面映射导数的统一 Hölder 估计，常数仅依赖于能量和维数，将先前针对曲线的结果推广至高维对象。

ABSTRACT

We propose a notion of integral Menger curvature for compact, $m$-dimensional sets in $n$-dimensional Euclidean space and prove that finiteness of this quantity implies that the set is $C^{1,α}$ embedded manifold with the H{ö}lder norm and the size of maps depending only on the curvature. We develop the ideas introduced by Strzelecki and von der Mosel [Adv. Math. 226(2011)] and use a similar strategy to prove our results.

研究动机与目标

• 将积分 Menger 曲率理论从一维曲线推广至 $ \mathbb{R}^n$ 中任意维数与余维数的集合。
• 基于由 $m+2$ 个点构成的单形体积，定义一个曲率泛函，该泛函以直径的 $m+2$ 次幂进行归一化，作为曲率的度量。
• 证明该 $p$-能量的有限性意味着该集合是具有 Hölder 连续切平面的 $C^{1,\alpha}$ 嵌入流形。
• 建立切平面映射导数的 Hölder 半范数的定量估计，其仅依赖于能量和维数。
• 利用新颖的几何与分析框架，将先前关于曲线与曲面的曲率能量结果推广至任意维数的集合。

提出的方法

• 将离散曲率 $\mathcal{K}(x_0,\dots,x_{m+1})$ 定义为 $m+2$ 个点凸包的 $m+1$ 维体积与直径的 $m+2$ 次幂之比，以捕捉局部平坦性。
• 引入 $p$-能量泛函 $\mathcal{E}_p(\Sigma)$，即在集合 $\Sigma$ 上所有 $m+2$ 元组上对 $\mathcal{K}^p$ 的积分，推广曲率能量的概念。
• 使用参数化函数 $F_x$ 建模每个点 $x$ 附近的局部几何，通过导数 $DF_x$ 研究切平面的行为。
• 通过在球上使用 dyadic 迭代论证，建立切平面振荡的衰减估计，依赖于改进的 John-Nirenberg 型不等式。
• 应用覆盖与锥几何论证，利用锥和 Grassmannian 作为度量空间的性质，控制小尺度下集合的平坦性。
• 通过迭代递归不等式，推导出关键的振荡估计 $\Phi(r, \overline{\mathbb{D}}(a,R)) \leq C M_p(a,3R) r^\alpha$，从而得出切平面映射导数的 Hölder 正则性。

实验结果

研究问题

• RQ1 能否为 $ \mathbb{R}^n$ 中任意 $m$ 与 $n$ 的 $m$-维集合（超越经典的一维情形）有意义地定义积分 Menger 曲率？
• RQ2 该 $p$-能量泛函 $\mathcal{E}_p(\Sigma)$ 的有限性是否意味着集合 $\Sigma$ 是 $C^{1,\alpha}$ 嵌入流形？
• RQ3 能否建立切平面映射导数的 Hölder 半范数的定量估计，其仅以能量和维数表示？
• RQ4 集合的正则性如何依赖于曲率能量？这种依赖关系能否在所有尺度与点上保持统一？
• RQ5 能否利用几何测度论与基于曲率的能量泛函，将处理曲线与曲面的技术推广至任意维数的集合？

主要发现

• 该 $p$-能量 $\mathcal{E}_p(\Sigma)$ 的有限性意味着集合 $\Sigma$ 是 $C^{1,\alpha}$ 嵌入流形（对某个 $\alpha > 0$），其正则性仅依赖于能量与维数。
• 切平面映射导数的 Hölder 半范数被一个常数倍的 $\mathcal{E}_p(\Sigma)^{1/p}$ 控制，常数仅依赖于 $m$ 与 $p$，而与特定集合无关。
• 切平面映射为 $C^{1,\alpha}$ 的定义域半径有下界，该下界仅依赖于 $\mathcal{E}_p(\Sigma)^{-1/\lambda}$（$\lambda > 0$），确保在小尺度下具有统一正则性。
• 证明建立了切平面振荡的统一衰减估计，通过迭代 dyadic 论证得出 Hölder 连续性。
• 该结果将先前关于曲线与曲面的 $C^{1,\alpha}$ 正则性结果推广至任意维数的集合，统一了跨维数的曲率能量方法。
• 推导出关键不等式 $\Phi(r, \overline{\mathbb{D}}(a,R)) \leq C M_p(a,3R) r^\alpha$，表明导数的振荡按尺度的幂次衰减，从而推出所需的 Hölder 正则性。