[논문 리뷰] A generalization of Reifenberg's theorem in $R^3$

Guy C. David, DePauw, T.외 1명|ArXiv.org|2006. 07. 18.

Point processes and geometric inequalities참고 문헌 5인용 수 10

한 줄 요약

이 논문은 $\mathbb{R}^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$를 최소 원뿔로 매개변수화하여 국소 기하학을 유지하고 국소 타원형 변형을 가능하게 하는 것.

제안 방법

• 점 $x$와 척도 $r$에서 집합 $E$가 최소 원뿔 $Z(x,r)$에 얼마나 가까운지를 측정하기 위해 척도 의존적인 하우스도르프 유형 거리 $D_{x,r}(E,F)$를 정의한다.
• 집합 $E$를 이진 큐브로 계층적으로 분해하고, 각 큐브에 대해 국소 기하학에 기반한 모델 원뿔 $Z(x,r)$를 할당한다.
• 분할 단위와 국소 $C^1$-유사 근사 $\psi_j$를 이용해 사序列 $f_n$을 구성하며, 도함수와 이阶 도함수에 대한 균일한 제어를 확보한다.
• 시퀀스 $f_n$이 균일 수렴하여 극한 함수 $f$로 수렴하고, 각 원뿔 면에서 $Df$가 균일 수렴함을 증명한다.
• $f$가 각 원뿔 면에서 $C^1$ 정규성을 가지며, 이는 근사 오차 $\varepsilon(r)$의 감쇠에 따라 연속성의 모듈러스가 결정됨을 보장한다.
• 극한 함수 $f$가 이중-홀로모르피즘 추정을 만족함을 보이며, $|f(x)-f(y)| \asymp |x-y|^{1+\alpha}$, 여기서 $\alpha \leq C\varepsilon$이며, $\varepsilon$가 작을 경우 성립한다.

실험 결과

연구 질문

• RQ1 Reifenberg의 정리는 $\mathbb{R}^3$ 내에서 비평면 최소 원뿔(예: Y자형 또는 여섯 부채꼴 원뿔)에 균일하게 가까운 집합으로 확장될 수 있는가?
• RQ2 모든 척도에서 최소 원뿔에 균일하게 가까운 집합 $E \subset \mathbb{R}^3$는 그 원뿔과 국소적으로 이중-홀로모르피즘으로 동치인가?
• RQ3 이러한 매개변수화는 $\mathbb{R}^3$ 상의 전역적 이중-홀로모르피즘 호메오모르피즘을 통해 유도되며, 공간 내 $E$의 임bedding을 유지하는가?

주요 결과

• 모든 $\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}$가 되며, 더 강한 근사 조건 하에서 더 높은 정규성을 보인다.