[논문 리뷰] Variation of Perimeter Measure in sub-Riemannian geometry

Robert K. Hladky, Scott D. Pauls|ArXiv.org|2007. 02. 08.

Geometric Analysis and Curvature Flows참고 문헌 27인용 수 19

한 줄 요약

이 논문은 일반적인 부분리만다이프 만물에서 수평 둘레 측도에 대한 첫 번째 변분 공식을 유도하며, 특성점까지 포함하고, 수직으로 강한 공간에서 $C^2$ 초면에 대해 두 번째 변분 공식을 수립한다. 헤이젠베르크 군 $\mathbb{H}^2$에서의 버블 집합이 체적을 유지하는 변형에 대해 안정적임을 증명하며, 비특성 영역을 초월하여 부분리만다이프 최소 및 등주 표면 문제에 변분 방법을 확장한다.

ABSTRACT

We derive a formula for the first variation of horizontal perimeter measure for $C^2$ hypersurfaces of completely general sub-Riemannian manifolds, allowing for the existence of characteristic points. For $C^2$ hypersurfaces in vertically rigid sub-Riemannian manifolds we also produce a second variation formula for variations supported away from the characteristic locus. This variation formula is used to show the bubble sets in \hn{2} are stable under volume preserving variations.

연구 동기 및 목표

• 일반적인 부분리만다이프 다양체에서 $C^2$ 초면에 대해 수평 둘레의 첫 번째 변분 공식을 특성점이 포함된 영역까지 확장하는 것.
• 수직으로 강한 부분리만다이프 공간에서 $C^2$ 초면에 대해 두 번째 변분 공식을 유도하고, 특성 집합에서 벗어난 영역에서 유효하도록 하는 것.
• 두 번째 변분 공식을 사용하여 $\mathbb{H}^2$에서의 버블 집합이 체적을 유지하는 변형에 대해 안정적임을 입증하는 것.
• 헤이젠베르크 군과 다른 카르노 군에서 기존의 첫 번째 변분 결과를 수직 보완의 전체 구조와 곡률 항을 통합하여 일반화하는 것.
• 정의 함수의 반대칭 헤시안을 이용하여 특성 집합의 구조를 분석하고, 그 하우스도르프 차원에 대한 경계를 제공하는 것.

제안 방법

• 수평 변동 함수 $\rho_0$를 갖는 $C^{1;2}$ 변형을 사용하여 일반적인 부분리만다이프 다양체에서 $C^2$ 초면에 대해 첫 번째 변분 공식을 유도하며, 수평 평균 곡률 $H$와 항 $\sum_\beta \langle [\nu, T_\beta], T_\beta \rangle$를 포함한다.
• 특성 집합을 고려하기 위해 수정된 첫 번째 변분 공식을 도입하여, $\Sigma \setminus C(\Sigma)$ 위에서의 적분을 분할하고, 경계 항 $\partial\Omega_\delta$ 는 극한 과정을 통해 처리한다.
• 수직으로 강한 공간에서 두 번째 변분 공식을 적용하기 위해 둘레 함수의 두 번째 도함수를 계산하며, 수직 곡률 항이 0이 되는 것을 활용한다.
• 두 번째 변분 분석에서 핵심 부등식을 증명하기 위해 $L^2$-수직성과 푸리에 분해를 활용하는 기술적 보조정리를 사용한다.
• 정의 함수의 반대칭 헤시안 $\mathcal{X}_-^2(\phi,p)$ 를 이용하여 특성 집합 $C(\Sigma)$ 를 분석하며, 이 값이 항등적으로 0이 아니면 $C(\Sigma)$ 가 국소적으로 차원 $\leq n-2$ 인 부분다양체에 포함됨을 보인다.
• 헤시안 분석을 반복하여 고차 특성 집합이 더 낮은 차원의 부분다양체에 포함됨을 보이고, 최종적으로 브라켓 생성 구조에서 특성 집합의 차원에 대해 $n-2$ 경계를 증명한다.

실험 결과

연구 질문

• RQ1 수평 둘레의 첫 번째 변분은 어떻게 $C^2$ 초면에서 특성 집합 영역까지 확장될 수 있는가?
• RQ2 수직으로 강한 부분리만다이프 다양체에서 수평 둘레의 두 번째 변분 공식은 무엇이며, 수직 구조가 강할 경우 어떻게 단순화되는가?
• RQ3 $\mathbb{H}^2$에서의 버블 집합은 체적을 유지하는 변형에 대해 안정적인가, 그리고 두 번째 변분 공식을 통해 이를 증명할 수 있는가?
• RQ4 부분리만다이프 다양체에서 $C^2$ 초면의 특성 집합의 최대 가능한 하우스도르프 차원은 무엇인가?
• RQ5 정의 함수의 반대칭 헤시안을 통해 특성 집합의 구조를 분석할 수 있으며, 이를 통해 어떤 경계를 도출할 수 있는가?

주요 결과

• 일반적인 부분리만다이프 다양체에서 $C^2$ 초면에 대한 수평 둘레의 첫 번째 변분은 $\frac{d}{dt}\big|_{t=0} P_0(\Sigma_t) = \int_\Sigma \rho_0 \left( H - \sum_\beta \langle [\nu, T_\beta], T_\beta \rangle \right) \Lambda$ 로 주어지며, $L^1$ 및 곡률 조건 하에서 특성점에서도 유효하다.
• 수직으로 강한 공간에서의 두 번째 변분 공식은 수직 곡률 항이 0이면 $\frac{d^2}{dt^2}\big|_{t=0} P_0(\Sigma_t) = \int_\Sigma \left( \text{div } \nu \right)^2 - |\nabla_\Sigma \rho|^2 \, dV_\Sigma$ 로 단순화된다.
• $\mathbb{H}^2$에서의 버블 집합은 체적을 유지하는 모든 변형에 대해 두 번째 변분이 음이 아닌 것으로 증명되어 안정적임을 입증한다.
• 부분리만다이프 다양체에서 $C^2$ 초면의 특성 집합 $C(\Sigma)$ 는 반대칭 헤시안 $\mathcal{X}_-^2(\phi,p)$ 가 항등적으로 0이 아니면 국소적으로 차원 $\leq n-2$ 인 부분다양체에 포함된다.
• 헤시안 $\mathcal{X}_-^2(\phi,p)$ 가 한 점에서 항등적으로 0이면, 그 점은 낮은 순서의 수평 분포에 대해 특성점이며, 이는 특성 집합의 차원을 반복적으로 감소시킬 수 있음을 의미한다.
• 기술적 보조정리는 $\sin^2\theta$ 에 대해 수직인 조건 하에서 $\int_0^\pi (\rho'\sin\theta - \rho\cos\theta)^2 d\theta \geq 2\int_0^\pi \rho^2 d\theta$ 를 보여주며, 등호는 $\rho = a_1 \cos\theta$ 일 때에만 성립한다. 이는 두 번째 변분 분석에 필수적이다.