[논문 리뷰] Approximate Differentiability of Mappings of Carnot-Carathéodory Spaces

S. G. Basalaev, Sergey Vodopyanov|arXiv (Cornell University)|2012. 06. 22.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 26

한 줄 요약

이 논문은 캐노니컬–카라테오도리 공간 간의 가측 매핑의 근사 미분 가능성과 거의 곳곳에서 기본 수평 벡터장 沿의 근사 미분 가능성 간의 동치성을 확립한다. 저자들은 $C^1$-스무스 벡터장에 대해 라셰브스키–차우 정리를 일반화하고, 스테판오프 및 윌슨 유형의 정리를 부분 리만 기하학적 맥락으로 확장하며, 근사 부분 리만 양자행렬을 포함하는 면적 공식을 증명한다.

ABSTRACT

We study the approximate differentiability of measurable mappings of Carnot--Carathéodory spaces. We show that the approximate differentiability almost everywhere is equivalent to the approximate differentiability along the basic horizontal vector fields almost everywhere. As a geometric tool we prove the generalization of Rashevsky--Chow theorem for $C^1$-smooth vector fields. The main result of the paper extends theorems on approximate differentiability proved by Stepanoff (1923, 1925) and Whitney (1951) in Euclidean spaces and by Vodopyanov (2000) on Carnot groups.

연구 동기 및 목표

• 측정 가능한 매핑의 근사 미분 가능성과 캐노니컬–카라테오도리 공간 내에서의 수평 벡터장에 의한 근사 미분 가능성 간의 동치성을 확립하는 것.
• C^1-스무스 벡터장에 대해 라셰브스키–차우 정리를 일반화하여, 수평 곡선을 통한 국소 접근성을 보장하는 것.
• 유클리드 공간에서의 전통적 근사 미분 가능성 정리(스테판오프, 윌슨)를 부분 리만 기하학으로 확장하는 것.
• 근사 부분 리만 양자행렬을 사용하여 근사적으로 미분 가능한 매핑에 대한 면적 공식을 유도하는 것.
• 근사 미분이 부분 리만 맥락에서 고전적 미분을 일반화하며, 핵심 측도 이론적 성질을 유지하는지 보여주는 것.

제안 방법

• 캐노니컬–카라테오도리 공간에서 하우스도르프 측도의 맥락에서 근사 극한과 근사 미분의 개념을 활용한다.
• 볼-박스 정리를 적용하여 캐노니컬–카라테오도리 거리와 쿼심트릭 $d_\rho$ 간의 관계를 설정함으로써 하우스도르프 측도를 비교할 수 있도록 한다.
• 첫 번째 및 두 번째 종류의 지수 좌표를 통해 국소 군 구조를 구성하여 공간의 기하학을 분석한다.
• 근사 미분이 거의 곳곳에서 존재하는 것과, 함수가 거의 곳곳에서 수평 방향에 대해 근사 도함수를 가지는 것이 동치임을 증명한다.
• 밀도점과 가측 분해의 개념을 사용하여 문제를 가측 집합 위의 리프시츠 매핑으로 축소한다.
• 리프시츠 매핑에 대한 면적 공식(정리 4.3)을 적용하고, 도메인을 매핑이 리프시츠인 집합들로 분해하여 이를 근사적으로 미분 가능한 매핑으로 확장한다.

실험 결과

연구 질문

• RQ1 캐노니컬–카라테오도리 공간에서 측정 가능한 매핑의 근사 미분 가능성은 거의 곳곳에서 기본 수평 벡터장에 의한 근사 미분 가능성과 동치인가?
• RQ2 캐노니컬–카라테오도리 기하학 맥락에서 $C^1$-스무스 벡터장에 대해 라셰브스키–차우 정리를 일반화할 수 있는가?
• RQ3 스테판오프–윌슨 정리는 부분 리만 다양체로까지 근사 미분 가능성에 대해 확장 가능한가?
• RQ4 캐노니컬–카라테오도리 공간 간의 근사적으로 미분 가능한 매핑에 대한 면적 공식의 형태는 무엇인가?
• RQ5 측정 가능한 매핑 맥락에서 근사 부분 리만 양자행렬은 고전적 양자행렬과 어떻게 관련이 있는가?

주요 결과

• 측정 가능한 매핑 $f$가 캐노니컬–카라테오도리 공간에서 거의 곳곳에서 근사 미분 가능할 조건은, $f$가 거의 곳곳에서 기본 수평 벡터장에 따라 근사 도함수를 가지는 것과 동치이다.
• 일반화된 라셰브스키–차우 정리는 $C^1$-스무스 수평 벡터장이 수평 곡선을 통해 국소적으로 접선 공간을 생성함을 보장하여 국소 좌표계의 구성이 가능하다.
• 쿼심트릭 $d_\rho$ 는 캐노니컬–카라테오도리 거리와 국소적으로 동치이며, 이에 대응하는 하우스도르프 측도는 상호 절대 연속적이다.
• 근사적으로 미분 가능한 매핑에 대해 면적 공식이 성립한다: $\int_E f(x)\operatorname{ap}\mathcal{J}^{SR}(\varphi,x)\,d\mathcal{H}_\rho^\nu(x) = \int_{\widetilde{\mathcal{M}}} \sum_{x \in \varphi^{-1}(y) \setminus \Sigma} f(x)\,d\mathcal{H}_\rho^\nu(y)$, 여기서 $\mathcal{H}_\rho^\nu(\Sigma) = 0$.
• 근사 부분 리만 양자행렬은 $\sqrt{\det(\operatorname{ap}D\varphi(x)^* \operatorname{ap}D\varphi(x))}$ 로 정의되며, 고전적 미분이 존재할 경우 고전적 양자행렬과 일치한다.
• 매핑의 도메인은 가측 집합 $E_i$ 와 영집합 $\Sigma$ 의 가산 합집합으로 분해될 수 있으며, 이에 따라 $\varphi|_{E_i}$ 는 리프시츠이므로 각 $E_i$ 에서 알려진 면적 공식을 적용할 수 있다.