[論文レビュー] 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

ひとこと要約

この論文は、$ℝ^3$ 内の集合がすべてのスケールで最小コーン（平面、Y字型集合、六角形コーン）に一様に近い場合に、Reifenbergのトポロジカルディスク定理を一般化する。このような集合は、グローバルな双ヒルベルトホメオモルフィズムを通じて局所的に双ヒルベルト同値である最小コーンに写像可能であり、古典的結果を特異なモデルコーンへと拡張する。

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の古典的トポロジカルディスク定理を、$\mathbb{R}^3$ 内の最小コーンに近似する集合へと拡張すること。
• すべての点とスケールで最小コーンに一様に近い閉じた集合 $E \subset \mathbb{R}^3$ が、そのコーンと局所的に双ヒルベルト同値であることを確立すること。
• $\mathbb{R}^3$ 上の双ヒルベルトホメオモルフィズムを通じて $E$ を最小コーンにパラメータ化し、局所的な幾何を保存し、局所的リトラクションを可能にする。

提案手法

• スケール依存のハウスドルフ型距離 $D_{x,r}(E,F)$ を定義し、$x$ の近傍におけるスケール $r$ での $E$ の最小コーン $Z(x,r)$ への近似度を測定する。
• 集合 $E$ を二進立方体に階層的分解し、各立方体に対して局所的幾何に基づくモデルコーン $Z(x,r)$ を関連付ける。
• Partition-of-unity を用いた局所的 $C^1$-類似近似 $\psi_j$ を通じて、列 $f_n$ を構成し、微分および第二階微分の均一な制御を保証する。
• 列 $f_n$ が極限写像 $f$ に均一収束することを証明し、$f$ の微分 $Df$ がモデルコーンの各面で均一収束することを示す。
• 各面で $f$ が $C^1$ であり、その連続性モジュラスが近似誤差 $\varepsilon(r)$ の減衰に依存することを確立する。
• 極限写像 $f$ が双ヒルベルト推移的不等式を満たすことを示す：$|f(x)-f(y)| \asymp |x-y|^{1+\alpha}$、ここで $\alpha \leq C\varepsilon$ であり、$\varepsilon$ が十分小さければ成り立つ。

実験結果

リサーチクエスチョン

• RQ1 Reifenbergの定理は、$ℝ^3$ 内で非平面の最小コーン（例：Y字型、六角形コーン）に一様に近い集合へと拡張可能か？
• RQ2 すべてのスケールで最小コーンに一様に近い集合 $E \subset \mathbb{R}^3$ は、そのコーンと局所的に双ヒルベルト同値か？
• RQ3 このようなパラメータ化は、$ℝ^3$ 上のグローバルな双ヒルベルトホメオモルフィズムから生じるか？ その際、$E$ の空間への埋め込みが保存されるか？

主な発見

• 任意の $\varepsilon \in (0, 10^{-15})$ に対して、$\alpha \in (0,1)$ が存在し、$E$ がすべてのスケールで最小コーンに $\varepsilon$-近傍にあるならば、$E$ は $\alpha \leq C\varepsilon$ を満たす写像 $f$ を通じて最小コーンと局所的に双ヒルベルト同値である。
• 写像 $f$ は $|f(x)-f(y)| \asymp |x-y|^{1+\alpha}$ を満たし、パラメータ化の双ヒルベルト正則性を保証する。
• 写像 $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}$ であることが示され、より強い近似仮定のもとでより高い正則性が得られる。