[논문 리뷰] Area of intrinsic graphs and coarea formula in Carnot Groups

Antoine Julia, Sebastiano Nicolussi Golo외 1명|arXiv (Cornell University)|2020. 04. 06.

Geometric Analysis and Curvature Flows인용 수 4

한 줄 요약

이 논문은 카르노 군에서 $C^{1}_{H}$ 내재 그래프에 대한 면적 공식과 $C^{1}_{H}$ 부분다양체를 잘라내는 데 쓰이는 공면적 공식을 수립한다. 균일한 탄성 공간에 의존하는 연속적인 면적 인자와 함께 제시되며, 원형 대칭 거리가 있는 헤이젠베르크 군의 경우, 공면적 인자는 수평 미분과 그 전치의 복합의 행렬식의 제곱근에 비례함을 증명한다. 이는 정밀한 측도 이론적 분석을 통해 직선화 가능한 집합의 성질을 규명할 수 있게 한다.

ABSTRACT

We consider submanifolds of sub-Riemannian Carnot groups with intrinsic $C^1$ regularity ($C^1_H$). Our first main result is an area formula for $C^1_H$ intrinsic graphs; as an application, we deduce density properties for Hausdorff measures on rectifiable sets. Our second main result is a coarea formula for slicing $C^1_H$ submanifolds into level sets of a $C^1_H$ function.

연구 동기 및 목표

• 서브리만도르프 카르노 군에서 내재 $C^{1}$ 정규성 조건을 만족하는 부분다양체에 대한 기하적 적분 이론을 개발하는 것.
• 내재 $C^{1}_{ ext{H}}$ 매핑을 통해 정의된 내재 그래프에 대한 면적 공식을 도출하여, 직선화 가능한 집합에서 하우스도르프 측도를 계산할 수 있도록 하는 것.
• 내재 $C^{1}_{H}$ 함수의 등고선으로 $C^{1}_{H}$ 부분다양체를 잘라내는 데 쓰이는 공면적 공식을 수립하는 것.
• 회전 대칭 거리가 있는 헤이젠베르크 군에서 공면적 인자의 특성을 규명하여, $\left(\det(L \circ L^T)\right)^{1/2}$에 비례함을 보이는 것.

제안 방법

• 면적 공식은 페더러 밀도 기반의 측도 미분 정리에 기반하며, 면적 인자는 내재 그래프의 균일한 탄성 공간을 통해 암묵적으로 정의된다.
• 면적 공식의 증명은 $C^{1}_{H}$ 매핑에 대한 은직함수정리에 의존하며, $C^{1}_{H}$ 부분다양체가 보완적인 균일한 부분군 위로 국소적으로 내재 그래프로 표현됨을 보여준다.
• 공면적 공식은 $C^{1}_{H}$ 부분다양체를 $C^{1}_{H}$ 함수로 잘라내고, 등고선 집합의 측도 이론적 성질을 분석하여 수립된다.
• 헤이젠베르크 군의 경우, 유클리드 공면적 공식과 회전 대칭성을 활용하여 공면적 인자를 명시적으로 계산하며, 구형 하우스도르프 측도와 미분의 행렬식을 연결한다.
• 저자들은 내재 리프시츠 연속성과 판수 미분 이론을 활용하여 기하적 객체의 정규성과 일관성을 보장한다.
• 공면적 인자에 포함된 상수들은 구형 측도의 정규화와 수직 부분군에서의 유클리드 하우스도르프 측도와의 비교를 통해 결정된다.

실험 결과

연구 질문

• RQ1 카르노 군 내에서 내재 그래프의 면적은 유클리드 공간에서의 고전적 면적 공식과 유사한 공식을 통해 어떻게 계산할 수 있는가?
• RQ2 카르노 군에서 $C^{1}_{H}$ 함수로 $C^{1}_{H}$ 부분다양체를 잘라내는 경우, 공면적 인자의 정확한 형태는 무엇인가?
• RQ3 헤이젠베르크 군에서 공면적 인자가 수평 미분 복합의 행렬식의 제곱근에 비례하는 조건은 무엇인가?
• RQ4 면적 공식의 면적 인자는 내재 그래프의 생성 매핑의 도함수들로 명시적으로 표현될 수 있는가?
• RQ5 면적 및 공면적 공식은 군의 구조에서 균일한 부분군 분해의 선택에 얼마나 의존하는가?

주요 결과

• 내재 $C^{1}_{H}$ 그래프에 대한 면적 공식은 그래프의 $d$차원 하우스도르프 측도를 기저 도메인 위의 적분으로 표현하며, 이때 가중치로 균일한 탄성 공간에 의존하는 연속적인 면적 인자를 포함한다.
• 면적 인자는 잘 정의되어 있으며 연속적이며, 점에서의 값은 그 점의 탄성 공간의 내재 기하학적 성질에만 의존한다.
• 회전 대칭 거리가 있는 헤이젠베르크 군 $\mathbb{H}^n$ 에서는, $C^{1}_{H}$ 함수로 잘라낸 공면적 인자는 $\left(\det(L \circ L^T)\right)^{1/2}$에 비례한다. 여기서 $L$은 부분다양체의 탄성 공간에 수직 미분을 제한한 것이다.
• 특히 $\mathbb{H}^n$ 에서 $\mathbb{G}' = \mathbb{R}$ 일 경우, 직선화 가능한 집합의 구형 측도와 하우스도르프 측도는 상수배로 관련되며, 이 상수 $C \in [1, 2^{2n+1}]$ 이다.
• 회전 대칭성 덕분에 $\mathbb{H}^n$ 의 고정된 위상 차원을 가진 수직 부분군 전역에서 공면적 인자가 일정하므로 대칭적인 설정에서 공식이 단순화된다.
• 공면적 공식의 상수들은 수직 부분군에서의 구형 측도의 정규화 인자와 명시적으로 관련되어 있으며, 이는 서브리만도르프 측도 이론과 유클리드 측도 이론을 연결한다.