[논문 리뷰] Sufficient conditions for $C^{1,\alpha}$ parametrization and rectifiability

Silvia Ghinassi|arXiv (Cornell University)|2017. 09. 18.

Geometric and Algebraic Topology참고 문헌 25인용 수 7

한 줄 요약

이 논문은 루빈 측도가 R^n에서 C^1,α d-직선화 가능하기 위한 정량적 충분 조건을 제시하며, 비숍-존스 형식의 제곱 함수를 사용하여 C^1,α 상수에 명시적인 통제를 한다. 핵심 결과는 β-수치의 제곱 함수가 유한할 경우, 해당 집합이 C^1,α 매개변수화를 가짐을 보여주며, 데이비드와 토로의 라이프엔베르그 매개변수화 이론을 하올더 미분 가능 성질로 확장하여 제곱 함수 노름에 대한 정밀한 양적 의존성을 확보한다.

ABSTRACT

We say a measure is $C^{1,\alpha}$ $d$-rectifiable if there is a countable union of $C^{1,\alpha}$ $d$-surfaces whose complement has measure zero. We provide sufficient conditions for a Radon measure in $\mathbb{R}^n$ to be $C^{1,\alpha}$ $d$-rectifiable, with $\alpha \in (0,1]$. The conditions involve a Bishop-Jones type square function and all statements are quantitative in that the $C^{1,\alpha}$ constants depend on such a function. Along the way we also give sufficient conditions for $C^{1,\alpha}$ parametrizations for Reifenberg flat sets in terms of the same square function. Key tools for the proof come from David and Toro's Reifenberg parametrizations of sets with holes in the H\"{o}lder and Lipschitz categories.

연구 동기 및 목표

• R^n 내의 루빈 측도가 C^1,α d-직선화 가능하기 위한 정량적 충분 조건을 제공하는 것.
• 데이비드와 토로의 라이프엔베르그 매개변수화 결과를 β-수치의 제곱 함수에 대한 명시적 의존성과 함께 C^1,α 설정으로 확장하는 것.
• 일방향 라이프엔베르그 평탄한 집합에서 β-수치의 제곱 합산이 유한할 경우 C^1,α 매개변수화가 가능하다는 것을 입증하는 것.
• C^1,α 정규성 상수를 β-수치의 제곱 함수에 따라 정량화하는 것.
• C^1,α 직선화 가능성과 α' > α 인 C^1,α' 직선화 가능성 간의 엄밀한 강도 비교를 명시적 반례를 통해 보여주는 것.

제안 방법

• 모든 척도에서 집합의 평탄함을 측정하기 위해 L^p β-수치를 포함하는 비숍-존스 형식의 제곱 함수의 사용.
• 지역 C^1,α 그래프의 반복적 조합을 통해 데이비드와 토로의 라이프엔베르그 매개변수화 프레임워크를 C^1,α 범주로 적응하는 것.
• 이중 해르 유형 웨이브릿과 분할 항등 함수로부터 구성된 하올더 연속 함수의 적분을 통한 C^1,α 함수의 구성.
• β-수치의 감쇠율과 이중 주파수 분해를 이용한 구성된 매개변수화의 하올더 및 리프시츠 노름 추정.
• 고주파, 중주파, 저주파로 나누어 주파수 분해를 통해 도함수의 하올더 정규성 분석을 수행하며, 제곱 함수가 발산할 경우 더 높은 하올더 정규성이 성립하지 않음을 보여주는 것.
• 수정된 분할 항등 함수와 근사 연산자 (Et)의 적용을 통해 하올더 함수의 표현 및 L^∞ 및 리프시츠 노름에서의 근사 오차 통제.

실험 결과

연구 질문

• RQ1 일방향 라이프엔베르그 평탄한 집합이 C^1,α 매개변수화 가능하기 위한 β-수치에 대한 정량적 조건은 무엇인가?
• RQ2 C^1,α 정규성 상수는 β-수치의 제곱 함수에 어떻게 의존하는가?
• RQ3 β-수치의 제곱 합산은 C^1,α 정규성의 매개변수화를 보장할 수 있으며, 만약 그렇다면 어떤 정량적 통제가 가능한가?
• RQ4 C^1,α 직선화 가능성은 α' > α 인 C^1,α' 직선화 가능성보다 엄밀히 강한가? 그리고 이는 명시적 구성으로 입증될 수 있는가?
• RQ5 일방향 라이프엔베르그 평탄성 정의에서의 호환 조건은 C^1,α 매개변수화를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• β-수치의 제곱 함수가 유한할 경우, 일방향 라이프엔베르그 평탄한 집합은 C^1,α 매개변수화를 가짐을 보이며, C^1,α 상수는 제곱 함수 노름에 정량적으로 의존한다.
• C^1,α 매개변수화의 정규성은 정확하다: 제곱 함수가 발산할 경우, 매개변수화는 어떤 ε > 0 에 대해서도 C^1,α+ε 가 될 수 없다.
• 논문은 도함수가 C^α+ε 가 되지 않는 명시적 C^1,α 함수를 구성함으로써 C^1,α 조건이 α' > α 인 C^1,α' 보다 엄밀히 강하다는 것을 입증한다.
• 도함수의 하올더 상수는 ∑ α_j^2 2^{-2α'j} 에 의해 통제되며, 이 합은 제곱 함수가 유한할 때에만 수렴한다.
• 근사 연산자 Et(G) 는 ||G - Et(G)||_∞ ≤ CKt^α 와 Et(G) 는 CKt^{α-1}-리프시츠라는 조건을 만족하며, 하올더 함수의 정량적 표현을 제공한다.
• 이 방법은 C^1,α 매개변수화의 정규성이 β-수치의 감쇠율에 의해 결정되며, 제곱 함수가 정밀한 정량 기준이 된다는 것을 보여준다.