[논문 리뷰] A proof by calibration of an isoperimetric inequality in the Heisenberg group H^n

Manuel Ritoré|arXiv (Cornell University)|2008. 03. 09.

Geometric Analysis and Curvature Flows참고 문헌 9인용 수 10

한 줄 요약

이 논문은 히젠베르크 군 ℍⁿ에서 수평 원판 D와 그 수직 실린더 C 사이에 포함된 모든 유한 둘레 집합 E에 대해, 동일한 부피를 가진 회전 대칭 구보다 둘레가 작아지지 않음을 증명한다. 등호는 이러한 구들뿐일 때에만 성립한다. 半구들의 층위를 이용한 캘리브레이션 기법을 통해, 이러한 기하적 제약 조건 하에서 등주부등식이 성립함을 입증하며, 팬수의 추측을 특정한 집합 클래스에 대해 확인한다.

ABSTRACT

Let $D$ be a closed disk centered at the origin in the horizontal hyperplane $\{t=0\}$ of the sub-Riemannian Heisenberg group $\hh^n$, and $C$ the vertical cylinder over $D$. We prove that any finite perimeter set $E$ such that $D\subset E\subset C$ has perimeter larger than or equal to the one of the rotationally symmetric sphere with constant mean curvature of the same volume, and that equality holds only for the spheres using a recent result by Monti and Vittone [12].

연구 동기 및 목표

• 히젠베르크 군 ℍⁿ에서 수평 원판 D와 그 수직 실린더 C 사이에 포함된 집합 E에 대해 날카로운 등주부등식이 성립함을 증명하는 것.
• 이 부등식에서 등호가 성립하는 유일한 집합들이 일정 평균 곡률를 가진 회전 대칭 구임을 밝혀내는 것.
• 대칭화 기법이 아닌 캘리브레이션 기법을 사용하여 ℍⁿ에서의 등주부등식 영역에 관한 이전 결과를 확장하는 것.
• D ⊂ E ⊂ C 를 만족하는 유한 둘레 집합의 클래스 내에서 등주부등식 영역을 특성화하는 것.
• 최근의 ℍⁿ에서 유한 둘레 집합의 경계에 대한 정규성 결과를 활용하여 최소화자 유일성을 도출하는 것.

제안 방법

• 히젠베르크 군 ℍⁿ의 구 Sλ의 상부 및 하부 반구를 수직 이동으로 생성한 두 개의 층위를 수직 실린더 C에 구성하는 것.
• L을 구의 특이점 집합으로 할 때, C∖L 위에 수평 벡터장 X와 Y를 각각 층위의 단위 법선으로 정의하는 것.
• 경계 ∂*E ∩ {t > 0} 과 ∂*E ∩ {t < 0} 에서 벡터장을 통합하여 E의 둘레에 하한을 도출하기 위해 캘리브레이션 기법을 적용하는 것.
• 항등식 ∫_∂*E ν_H · X d|∂E| ≥ ∫_∂B_λ X · ν_H d|∂B_λ| 를 사용하여 E와 구 B_λ를 비교하며, 등호는 ∂E ∩ {t > 0} 에서 거의 어디서나 ν_H = X 이면 성립함을 보이는 것.
• 이중 추정을 조합하여 |∂E| ≥ |∂B_λ| + nλ(|E| − |B_λ|) 를 유도하며, 이때 함수 f(ρ) = |∂B_ρ| − nρ|B_ρ| + nρ|E| 의 강한 볼록성 을 이용하는 것.
• f(ρ) 의 최소화자 유일성과 몬티 및 비토네의 정규성 결과를 활용하여 등호가 성립할 경우 E = B_μ 이며 |B_μ| = |E| 임을 결론 내리는 것.

실험 결과

연구 질문

• RQ1 D가 수평 평면 t=0 상의 원판이고 C가 그 수직 실린더일 때, ℍⁿ에서 D ⊂ E ⊂ C 를 만족하는 유한 둘레 집합 E에 대해 등주부등식이 성립하는가?
• RQ2 대칭화 기법이 아닌 캘리브레이션 기법을 사용하여 ℍⁿ에서 일정 평균 곡률를 가진 회전 대칭 구의 최소성 을 증명할 수 있는가?
• RQ3 등주부등식에서 등호가 성립할 조건으로서 E의 경계에 어떤 조건이 요구되어야 하며, 이 경우 E가 Sλ를 경계로 하는 구가 되는가?
• RQ4 등주부등식에서 둘레 추정을 얻기 위해 수평 단위 법선 ν_H 와 층위로부터 유도된 벡터장 X, Y 는 어떻게 상호작용하는가?
• RQ5 등호가 성립할 경우 부등식에서 구 Sλ 의 특이점 집합 L 이 어떤 역할을 하는가?

주요 결과

• ℍⁿ에서 D ⊂ E ⊂ C 를 만족하는 모든 유한 둘레 집합 E의 둘레는 동일한 부피를 가진 구 B_λ 의 둘레보다 작아지지 않는다.
• 등주부등식에서 등호가 성립하는 것은 E가 |B_μ| = |E| 를 만족하는 구 B_μ 를 경계로 할 때에만 성립한다.
• 대칭화 기법이 하위리만도 구조에서 반사가 존재하지 않아 막히는 점을 감안할 때, 캘리브레이션 기법은 ℍⁿ에서 등주부등식을 성립시키는 데 성공적으로 활용되었다.
• 함수 f(ρ) = |∂B_ρ| − nρ|B_ρ| + nρ|E| 의 강한 볼록성 을 이용하여 등호는 λ = μ 일 때에만 성립함을 보였으며, 이때 |B_μ| = |E| 이다.
• 몬티 및 비토네의 정규성 결과에 의해 ∂E ∖ L 는 H-정규이므로, 이는 ∂E 가 전체 구 S_μ 를 포함한다는 것을 보장하는 데 필수적이다.
• 등호가 성립할 경우 E는 반드시 전체 구 B_μ 를 포함하며, 부피가 같기 때문에 E = B_μ 임을 보여주는 논증이 성립한다.