[논문 리뷰] Tangent-point repulsive potentials for a class of non-smooth $m$-dimensional sets in $\\R^n$. Part I: Smoothing and self-avoidance effects

Paweł Strzelecki, Heiko von der Mosel|arXiv (Cornell University)|2011. 02. 17.

Geometric Analysis and Curvature Flows인용 수 6

한 줄 요약

이 논문은 $\mathbb{R}^n$ 내 비연속적 $m$차원 집합에 대해 탄젠트포인트 반발력 잠재 에너지 함수를 도입하며, 지수 $q > 2m$일 때 에너지의 유한성이 최적의 호일더 지수 $\mu = 1 - 2m/q$를 가진 $C^{1,\mu}$ 정규성과 함께 위상적 자가피避 및 균일한 아흐르포르스 정규성을 강제함을 보여준다. 이러한 결과는 에너지 제약 조건을 통한 기하학적 모레이-소볼레프 임bedding을 수립한다.

ABSTRACT

We consider repulsive potential energies $\\E_q(\\Sigma)$, whose integrand measures tangent-point interactions, on a large class of non-smooth $m$-dimensional sets $\\Sigma$ in $\\R^n.$ Finiteness of the energy $\\E_q(\\Sigma)$ has three sorts of effects for the set $\\Sigma$: topological effects excluding all kinds of (a priori admissible) self-intersections, geometric and measure-theoretic effects, providing large projections of $\\Sigma$ onto suitable $m$-planes and therefore large $m$-dimensional Hausdorff measure of $\\Sigma$ within small balls up to a uniformly controlled scale, and finally, regularizing effects culminating in a geometric variant of the Morrey-Sobolev embedding theorem: Any admissible set $\\Sigma$ with finite $\\E_q$-energy, for any exponent $q>2m$, is, in fact, a $C^1$-manifold whose tangent planes vary in a H\\"older continuous manner with the optimal H\\"older exponent $\\mu=1-(2m)/q$. Moreover, the patch size of the local $C^{1,\\mu}$-graph representations is uniformly controlled from below only in terms of the energy value $\\E_q(\\Sigma)$.

연구 동기 및 목표

• 비연속적 $\mathbb{R}^n$ 내 $m$차원 집합에 대한 탄젠트포인트 반발력 에너지의 정규화 효과를 수립하는 것.
• 지수 $q > 2m$에서 유한한 에너지가 $\mu = 1 - 2m/q$를 최적의 호일더 지수로 하는 $C^{1,\mu}$ 정규성을 유도함을 증명하는 것.
• 해당 에너지가 자가피避를 강제하여 자기 교차를 배제함을 보여주는 것.
• 에너지 값에 따라 국소 $C^{1,\mu}$-그래프 표현의 패치 크기의 균일한 하한을 유도하는 것.

제안 방법

• 탄젠트포인트 반발력 에너지 함수 $\mathcal{E}_q(\Sigma) = \iint_{\Sigma \times \Sigma} \frac{1}{R_{\rm tp}^q(x,y)} \, d\mathscr{H}^m(x) \, d\mathscr{H}^m(y)$ 는 탄젠트포인트 반지름 $R_{\rm tp}(x,y)$ 를 사용하여 정의되며, 이는 점 $x$에서의 탄젠트 평면에 접하는 동시에 점 $y$를 통과하는 가장 작은 구의 반지름을 측정한다.
• 허용 가능한 집합의 클래스 $\mathcal{A}$ 는 유한한 $C^1$ 부분다양체들의 합집합의 비라플라츠 이미지를 포함하며, 사전에 자기 교차를 허용하지만 锥형 특이점은 배제한다.
• 증명은 국소 그래프 표현의 기울기의 진동을 제어하기 위해 절삭 기법과 부트스트랩 기법을 사용한다.
• 기하학적 측도 이론을 통한 탄젠트 평면 간의 각도 추정과 투영 한계를 사용하여 기울기의 호일더 반노름을 제어한다.
• 슬래브에 대한 집합의 투영에 관한 보조정리와 투영의 측도에 대한 균일한 한계를 사용하여 호일더 지수의 정량적 제어를 도출한다.
• 비판적 지수 $q_0 = 2m$ 는 척도 불변성을 가지며, $q > 2m$일 때 모든 특이점과 자기 교차가 배제됨을 밝힌다.

실험 결과

연구 질문

• RQ1 지수 $q > 2m$에서 유한한 탄젠트포인트 에너지 $\mathcal{E}_q(\Sigma)$ 는 비연속적 $m$차원 집합 $\Sigma \subset \mathbb{R}^n$ 에 어떤 정규성 성질을 강제하는가?
• RQ2 에너지 $\mathcal{E}_q(\Sigma)$ 는 자기 교차를 어떻게 방지하고 $\Sigma$ 의 위상적 임bedding을 어떻게 강제하는가?
• RQ3 에너지 값 $\mathcal{E}_q(\Sigma)$ 에 따라 탄젠트 평면의 호일더 정규성은 어떻게 정량화할 수 있는가?
• RQ4 에너지 $\mathcal{E}_q(\Sigma)$ 와 $m$ 에 따라 $\Sigma$ 의 $C^{1,\mu}$-정규성에 대한 최적의 호일더 지수 $\mu$ 는 무엇인가?
• RQ5 국소 $C^{1,\mu}$-그래프 표현의 패치 크기에 대해 에너지 값 $\mathcal{E}_q(\Sigma)$ 에만 의존하는 균일한 하한이 존재하는가?

주요 결과

• 모든 $\Sigma \in \mathcal{A}$ 에 대해 $\mathcal{E}_q(\Sigma)$ 가 유한하고 $q > 2m$ 이면, 집합 $\Sigma$ 는 $\mu$-호일더 연속인 탄젠트 평면을 가진 $C^{1}$-다양체이며, 이때 $\mu = 1 - 2m/q$ 는 최적이며.
• 국소 $C^{1,\mu}$-그래프 표현의 패치 크기는 에너지 값 $\mathcal{E}_q(\Sigma)$ 에만 의존하여 균일하게 아래로 유계이다.
• $\mathcal{E}_q(\Sigma)$ 가 $q > 2m$ 에서 유한하면 $\Sigma$ 는 자기 교차가 없으며, 따라서 임베딩 다형체임을 의미한다.
• $\Sigma$ 의 $m$차원 하우스도르프 측도는 소규모 척도에서 균일하게 아흐르포르스 정규이며, 반지름 $r$ 인 구 안에서 측도가 $r^m$ 과 비교 가능하다.
• 에너지 $\mathcal{E}_q(\Sigma)$ 는 국소 매개변수화의 기울기의 진동을 제어하며, 반경 $t/N$ 이내의 점들에 대해 $|\nabla f(u_1) - \nabla f(u_2)| \leq C E_B^{1/q} t^\mu$ 를 만족한다. 여기서 $E_B$ 는 국소 에너지 한계이다.
• 증명은 $\mathscr{H}^m(\pi_{H_1}(F(G))) \leq C_2(m) K_0 \frac{t^{m+\mu}}{\alpha}$ 를 도출하며, 여기서 $\alpha = \mathop{\rm dist}(H_1, H_2)$ 이며, 이는 최종 호일더 추정에 이르게 한다.