[논문 리뷰] Sub-Finsler Heisenberg Perimeter Measures

Andrew P. Sánchez|arXiv (Cornell University)|2017. 11. 05.

Advanced Differential Geometry Research참고 문헌 4인용 수 5

한 줄 요약

이 논문은 하이젠베르크 군의 하위-핀슬러 구조에서 둘레 측도와 등주 문제를 조사하며, 민코프스키 콘텐츠를 르베그 표면적과 쌍대 노름을 포함하는 적분 공식으로 환원한다. 계산된 예시들은 파누의 추측—등주 최적성의 경우 하위-리만 구조에서 파누의 버블 집합이 유일한 등주 최적 집합이라는 것—이 일반 하위-핀슬러 계량으로까지 확장될 수 있음을 시사한다. 이는 민코프스키 콘텐츠와 반민코프스키 콘텐츠 양측 모두에서 등주 비율 측면에서 파누의 버블 집합이 다른 후보들을 능가하기 때문이다.

ABSTRACT

This work is an investigation of perimeter measures in the metric measure space given by the Heisenberg group with Haar measure and a Carnot-Carathéodory metric, which is in general a sub-Finsler metric. Included is a reduction of Minkowski content in any CC-metric to an integral formula in terms of Lebesgue surface area in $\mathbb{R}^3$. Using this result, I study two perimeter measures that arise from the study of Finsler normed planes, and provide evidence that Pansu's conjecture regarding the isoperimetric problem in the sub-Riemannian case appears to hold in the more general sub-Finsler case. This is contrary to the relationship between Finsler and Riemannian isoperimetrices. In particular, I show that for any CC-metric there exist a class of surfaces with Legendrian foliation by CC-geodesics generalizing Pansu's bubble set, but that even in their natural metric using either perimeter measure, the computed examples of such surfaces have lower isoperimetric ratio than the Pansu bubble set, which has Legendrian foliation by sub-Riemannian geodesics.

연구 동기 및 목표

• 일반적인 노름 평면에서 유도된 캐르노-카라테오도리 계량을 갖춘 하이젠베르크 군에서의 등주 문제를 조사하며, 하위-리만 사례를 초월한다.
• 서브-핀슬러 기하학에서 둘레 측도의 모호함을 해결하기 위해 두 가지 자연스러운 정의인 민코프스키 콘텐츠와 반민코프스키 콘텐츠를 분석한다.
• 파누의 추측—하위-리만 사례에서 파누의 버블 집합이 유일한 등주 최적 집합이라는 것—이 더 넓은 하위-핀슬러 설정에서도 성립하는지 판단한다.
• 레지오단 폴리에이션을 가진 곡면으로서 일반화된 $Q$-버블 집합을 구성하고 등주 성능을 평가한다.
• 민코프스키 콘텐츠와 반민코프스키 콘텐츠 양측에서 다양한 후보 곡면, 즉 계량 구, $Q$-버블 집합, 파누의 버블 집합의 등주 비율을 계산하고 비교한다.

제안 방법

• 쌍대 노름 $||\cdot||_{Q^*}$ 와 단위 법선 벡터 $\vec{n}$ 를 사용하여, $\mathbb{R}^3$ 에서의 르베그 표면적에 대한 적분으로, 임의의 CC-계량에서 민코프스키 콘텐츠를 환원한다.
• 이 적분 공식을 $C^1$ 및 $C^2$ 곡면의 둘레 계산에 적용하며, 특히 다각형형 CC-계량에서 평균 곡률 분포를 분석한다.
• $d_Q$-지오데식으로 덮개진 곡면으로서 $Q$-버블 집합을 구성하며, 파누의 버블 집합을 하위-핀슬러 설정으로 일반화한다.
• 적분 공식을 사용하여 핵심 후보들—파누의 버블 집합, $Q$-버블 집합, $Q^*$-버블 집합, 계량 구—의 등주 비율을 수치적으로 계산한다.
• 민코프스키 콘텐츠와 반민코프스키 콘텐츠 양측에서 등주 비율을 비교하여 최적성 여부를 평가한다.
• 하위-리만 기하학에서 알려진 경계를 활용하여 하위-핀슬러 설정에서의 등주 상수에 대한 하한과 상한을 확립한다.

실험 결과

연구 질문

• RQ1 일반적인 CC-계량 하에서 하위-핀슬러 하이젠베르크 군에서 파누의 버블 집합이 여전히 등주 최적 집합인가, 아니면 다른 곡면이 최적이 되는가?
• RQ2 서브-핀슬러 기하학에서 두 가지 자연스러운 둘레 측도인 민코프스키 콘텐츠와 반민코프스키 콘텐츠는 어떻게 행동하는가, 그리고 최적성 순위가 일관한가?
• RQ3 서브-핀슬러 계량에서 민코프스키 콘텐츠는 르베그 표면적과 쌍대 노름을 포함하는 계산 가능한 적분으로 환원될 수 있는가?
• RQ4 비리만 노름으로 일반화된 $Q$-버블 집합은 파누의 버블 집합에 비해 등주적으로 열등한가?
• RQ5 $||\cdot||_1$-기반 하위-핀슬러 계량에서 파누의 버블 집합의 등주 비율은 계량 구, $Q$-버블 집합, $Q^*$-버블 집합과 비교하여 어떻게 되는가?

주요 결과

• CC-계량 $d_Q$ 를 갖춘 하이젠베르크 군에서 $C^1$ 곡면의 민코프스키 콘텐츠는 쌍대 노름 $||\cdot||_{Q^*}$ 와 단위 법선 벡터를 포함하는 적분으로 환원되며, 이는 명시적 계산을 가능하게 한다.
• 다각형형 CC-계량의 경우, $C^2$ 곡면의 평균 곡률은 $C^1$ 곡선과 고립점에 집중되어 있으며, 이는 거의 곳곳에서 0임을 의미하며, 하위-리만 사례에서의 일정한 평균 곡률과 일치한다.
• $||\cdot||_1$-기반 계량에서 민코프스키 콘텐츠 하에서 파누의 버블 집합은 등주 비율 0.357117을 기록하고 반민코프스키 콘텐츠 하에서는 0.50504를 기록하며, 테스트된 모든 다른 곡면을 능가한다.
• $Q$-버블 집합(다이아몬드 버블 집합)은 민코프스키 콘텐츠 하에서 0.284938, 반민코프스키 콘텐츠 하에서는 0.379918의 낮은 등주 비율을 기록하여 열등함을 보인다.
• $Q^*$-버블 집합(정사각형 버블 집합)은 각각 0.268642와 0.228175의 더 낮은 비율을 기록하여, 더욱 명백한 열등성을 확인한다.
• 일반적인 핀슬러 기하학 원리에 따르면 리만 등주 최적 집합은 핀슬러 등주 최적 집합이 아니지만, 원래 하위-리만 사례에서 추측된 파누의 버블 집합이 하위-핀슬러 $||\cdot||_1$ 사례에서도 최적임을 보이며, 파누의 추측의 일반화 가능성을 시사한다.