[논문 리뷰] Rectifiability of the reduced boundary for sets of finite perimeter over RCD$(K,N)$ spaces

Elia Brué, Enrico Pasqualetto외 1명|arXiv (Cornell University)|2019. 09. 01.

Geometric Analysis and Curvature Flows참고 문헌 43인용 수 10

한 줄 요약

이 논문은 RCD(K,N) 미터 측도 공간에서 유한한 둘레를 가진 집합의 축소 경계의 직선성(rectifiability)을 확립하며, 탄성의 유일성과 가우스–그린 적분-by-부분 공식을 핵심 도구로 증명한다. 결과적으로 이는 비가속, 특이 공간으로의 데 지오르기 정리의 일반화를 확인하며, 붕괴된 설정에서도 축소 경계가 여전히 직선적임을 입증한다.

ABSTRACT

This note is devoted to the study of sets of finite perimeter over RCD$(K,N)$ metric measure spaces. Its aim is to complete the picture about the generalization of De Giorgi's theorem within this framework. Starting from the results of [2] we obtain uniqueness of tangents and rectifiability for the reduced boundary of sets of finite perimeter. As an intermediate tool, of independent interest, we develop a Gauss-Green integration by parts formula tailored to this setting. These results are new and non-trivial even in the setting of Ricci limits.

연구 동기 및 목표

• RCD(K,N) 공간으로의 데 지오르기 정리 일반화를 완성하기 위해 축소 경계의 직선성을 확립함으로써.
• 가능한 붕괴된 RCD(K,N) 공간에서 유한한 둘레를 가진 집합에 대해 탄성의 유일성 문제를 해결함으로써.
• Sobolev 벡터장에 대해 특화된 가우스–그린 적분-by-부분 공식을 개발함으로써, 별도의 관심을 가진다.
• RCD(K,N) 공간의 구조 이론을 측도가 0인 집합을 넘어서, 둘레가 유한한 집합의 경계와 같은 codimension-one 집합으로 확장함으로써.
• 둘레 측도가 codimension-one 하우스도르프 측도에 대한 표현을 제공함으로써, 핵심 구조적 성질을 확인함으로써.

제안 방법

• 단일 척도에서의 정규성을 모든 척도로 전파하기 위해 조화 δ-splitting 사상들을 핵심 분석 도구로 활용함으로써.
• 공간에서 |ν·∇u_a|의 평균을 제어하기 위해 최대 함수 추론을 적용하여, 법선이 splitting 사상의 기울기와 수직임을 보장함으로써.
• 가우스–그린 공식(정리 2.2)을 사용하여 둘레 측도를 Sobolev 벡터장의 발산과 연결함으로써.
• ε-splitting 사상의 개념과 Bishop–Gromov 부등식 및 Vitali 커버링 추론을 통해 그 전파를 활용함으로써.
• 이전 연구 [2]에서 유도된 유클리드 반공간 탄성의 존재를 바탕으로 한 블로업 추론을 적용하여 탄성의 유일성을 증명함으로써.
• 2-capacity-almost everywhere 정의된 텐서장과 이 클래스에 속하는 대표값을 가진 Sobolev 벡터장을 기반으로 함으로써.

실험 결과

연구 질문

• RQ1 RCD(K,N) 공간에서 유한한 둘레를 가진 집합의 축소 경계가 직선적임을 입증할 수 있는가?
• RQ2 붕괴된 경우를 포함하여, 둘레 측도에 대해 거의 어디서나 탄성의 유일성이 성립하는가?
• RQ3 Sobolev 벡터장에 대해 RCD(K,N) 설정에서 가우스–그린 적분-by-부분 공식이 성립하는가?
• RQ4 둘레 측도가 축소 경계에서 codimension-one 하우스도르프 측도의 배수로 표현될 수 있는가?
• RQ5 RCD(K,N) 공간의 구조 이론은 양의 codimension 집합까지 어느 정도까지 확장될 수 있는가?

주요 결과

• 모든 RCD(K,N) 공간에서 유한한 둘레를 가진 집합의 축소 경계는 직선적이다. 즉, 어떤 k에 대해 가산적으로 H^{k-1}-직선적이다.
• 붕괴된 경우를 포함하여, 둘레 측도에 대해 거의 어디서나 탄성의 유일성이 성립하며, 이는 [2]에서 제기된 추측을 해결한다.
• Sobolev 벡터장에 대해 RCD(K,N) 공간에서 가우스–그린 적분-by-부분 공식이 확립되었으며, 중요한 분석적 도구가 된다.
• 둘레 측도가 축소 경계에서 codimension-one 하우스도르프 측도와 밀도 인자에 대해 등가임을 입증하였다.
• 증명은 ε-splitting 사상의 전파와 최대 함수 추정을 통한 수직 조건에 기반하며, 오차 한계는 C_N√ε로 제어된다.
• 이 결과는 RCD(K,N) 공간의 구조 이론을 공간 자체의 거의 여기서 직선성 이상으로 확장하여, 둘레가 유한한 집합의 경계를 포함함으로써 확장한다.