[논문 리뷰] Geometry of Carnot--Carathéodory Spaces, Differentiability and Coarea Formula

М. Б. Карманова, Sergey Vodopyanov|ArXiv.org|2008. 04. 21.

Geometric Analysis and Curvature Flows참고 문헌 81인용 수 4

한 줄 요약

이 논문은 $C^{1,\beta}$-연속 기저 장을 가진 캐르노–카라테오도리 공간에서 벡터장의 그로모프의 나이플로텐트화 정리에 대한 새로운 증명을 제시하며, 국소 캐르노 군의 기하학을 비교하는 데 대한 정량적 추정을 수립한다. 핵심 결과로 라셰브스키–차우 정리와 볼–박스 정리를 유도하고, 연속된 수평 도함수를 가진 사상의 $hc$-연속성과 접촉 사상에 대한 공역 수식을 증명한다.

ABSTRACT

We give a simple proof of Gromov's Theorem on nilpotentization of vector fields, and exhibit a new method for obtaining quantitative estimates of comparing geometries of two different local Carnot groups in Carnot--Carathéodory spaces with $C^{1,α}$-smooth basis vector fields, $α\in[0,1]$. From here we obtain the similar estimates for comparing geometries of a Carnot--Carathéodory space and a local Carnot group. These two theorems imply basic results of the theory: Gromov type Local Approximation Theorems, and for $α>0$ Rashevski\vı-Chow Theorem and Ball--Box Theorem, etc. We apply the obtained results for proving $hc$-differentiability of mappings of Carnot--Carathéodory spaces with continuous horizontal derivatives. The latter is used in proving the coarea formula for some classes of contact mappings of Carnot--Carathéodory spaces.

연구 동기 및 목표

• 캐르노–카라테오도리 공간에서 벡터장의 그로모프의 나이플로텐트화 정리에 대한 새로운이고 단순화된 증명을 제공하는 것.
• 두 국소 캐르노 군 간의 기하학적 비교와 캐르노 다양체와 그 국소 탄성 캐르노 군 간의 기하학적 비교에 대한 정량적 추정을 수립하는 것.
• 이러한 기하학적 비교로부터 라셰브스키–차우 정리와 볼–박스 정리와 같은 기본 결과를 도출하는 것.
• 캐르노 다양체에서 연속된 수평 도함수를 가진 사상의 $hc$-연속성을 증명하는 것.
• 수평 야코비안의 구조와 $hc$-연속성 결과를 활용하여 캐르노–카라테오도리 공간에서의 접촉 사상에 대한 공역 수식을 수립하는 것.

제안 방법

• 홀더 공간에서 고정점 정리에 기반한 반복적 근사 기법을 사용하여 도함수의 나이플로텐트화된 장으로의 수렴을 증명한다.
• 수축 사상 원리를 적용하여 근사 곡선의 도함수의 균일한 $C^{\beta}$-홀더 수렴을 보인다.
• 체인 규칙과 $\frac{df}{dy}$, $\frac{\partial f}{\partial v}$의 유계성 조건을 활용하여 도함수의 차이를 추정하고, 홀더 연속성의 성질을 이용한다.
• 전체 변동량 $\frac{dy_n}{dv}$의 기하학적 제어를 통해 해의 사상 도함수에 대한 균일한 유계성을 확립한다.
• 도함수의 수렴을 이용하여 수평 도함수의 극한을 통해 곡선과 사상의 $hc$-연속성을 증명한다.
• 서브리만다르 설정에서 라데마처 및 스텝노프 정리를 적용하여 연속된 수평 도함수 조건 하에서 $hc$-연속성을 증명한다.

실험 결과

연구 질문

• RQ1 국소 캐르노 군의 기하학에 대한 정량적 추정을 포함하여 그로모프의 나이플로텐트화 정리를 어떻게 재증명할 수 있는가?
• RQ2 $C^{1,\alpha}$-연속 캐르노–카라테오도리 공간에서 두 국소 캐르노 군 간의 기하학 비교에 대한 정확한 추정치는 무엇인가?
• RQ3 스케일링된 장이 나이플로텐트화된 장으로 수렴할 때, 이는 어떻게 볼–박스 정리와 라셰브스키–차우 정리를 유도하는가?
• RQ4 수평 도함수가 연속일 때, 캐르노–카라테오도리 공간 간의 사상이 $hc$-연속성이 되는 조건은 무엇인가?
• RQ5 수평 도함수의 성질을 활용하여 캐르노–카라테오도리 공간에서의 접촉 사상에 대해 공역 수식을 수립할 수 있는가?

주요 결과

• 벡터장의 수렴에 대한 명시적인 정량적 추정을 포함하여 그로모프의 나이플로텐트화 정리에 대한 새로운이고 단순화된 증명이 확립되었다.
• 근사 곡선의 도함수에 대한 균일한 $C^{\beta}$-홀더 추정이 제공되어 $C^1$-노름 수렴을 보장한다.
• 캐르노–카라테오도리 공간의 기하학이 국소 나이플로텐트 탄성 원뿔과 정량적으로 비교되며, 제어된 반경을 가진 볼–박스 정리가 도출된다.
• $\alpha > 0$일 때, 기하학적 비교 추정의 결과로 라셰브스키–차우 정리가 복원된다.
• 연속된 수평 도함수를 가진 사상의 $hc$-연속성이 증명되어 고전적 미분 가능성의 개념이 서브리만다르 설정으로 확장된다.
• $hc$-연속성 결과와 수평 야코비안의 구조를 활용하여 캐르노–카라테오도리 공간에서의 접촉 사상에 대한 공역 수식이 수립된다.