[논문 리뷰] Area-stationary and stable surfaces of class $C^1$ in the sub-Riemannian Heisenberg group ${\mathbb H}^1$

Matteo Galli, Manuel Ritoré|arXiv (Cornell University)|2014. 10. 14.

Geometric Analysis and Curvature Flows참고 문헌 33인용 수 5

한 줄 요약

이 논문은 하이젠베르크 군 ℍ¹의 부분리만다이언 구조에서, 임의의 완전하고 올바르게 방향이 부여된 $C^1$ 표면이 면적 정적이고 안정적인 경우, 반드시 수직 평면이어야 한다는 것을 증명한다. 저자들은 부분리만다이언 면적에 대한 제2차 변동 공식을 유도하고, 비평면 표면이 안정성을 위반할 수밖에 없음을 보여, 특정 곡률 항목이 0이 되어야만 한다는 점을 통해 유일하게 만족하는 해는 수직 평면임을 도출한다. 이는 $C^1$ 함수의 내재 그래프에 대한 베르너스타인 유형 결과를 도출한다.

ABSTRACT

We consider surfaces of class $C^1$ in the $3$-dimensional sub-Riemannian Heisenberg group ${\mathbb H}^1$. Assuming the surface is area-stationary, i.e., a critical point of the sub-Riemannian perimeter under compactly supported variations, we show that its regular part is foliated by horizontal straight lines. In case the surface is complete and oriented, without singular points, and stable, i.e., a second order minimum of perimeter, we prove that the surface must be a vertical plane. This implies the following Bernstein type result: a complete locally area-minimizing intrinsic graph of a $C^1$ function in ${\mathbb H}^1$ is a vertical plane.

연구 동기 및 목표

• 서브리만다이언 하이젠베르크 군 ℍ¹ 내의 $C^1$ 면적 정적이고 안정적인 표면을 특성화하는 것.
• ℍ¹ 내의 $C^1$ 함수의 내재 그래프의 정규성 및 안정성 성질을 규명하는 것.
• 기존의 $C^2$ 표면 결과를 $C^1$ 표면으로 확장하여, 특히 베르너스타인 유형 문제의 맥락에서 적용하는 것.
• ℍ¹ 내의 완전하고 올바르게 방향이 부여된 $C^1$ 내재 그래프가 면적 최소화되려면 반드시 수직 평면이어야 한다는 것을 증명하는 것.

제안 방법

• 일차 파라미터 변형군과 유량 공식을 사용하여 서브리만다이언 면적에 대한 제2차 변동 공식을 유도한다.
• 제2차 변동을 슈뢰딩거 유형 연산자 형태로 변환하기 위해 함수 $v_{ ho}(s) = |p_{ ho}(s)|^{1/2}$ 를 도입한다.
• 푸비니 정리와 파투의 보조정리를 적용하여 테스트 함수 $u_k(\varepsilon,s) = \phi(\varepsilon)\phi(s/k)$ 의 수열에 따른 제2차 변동의 행동을 분석한다.
• 표면에서 $q > 0$ 라는 가정을 통해 제2차 변동이 음수가 되고, 이는 안정성과 모순됨을 보여, 불안정성을 증명한다.
• 조건 $q \equiv 0$ 를 활용하여 레마 4.6을 통해 표면이 반드시 수직 평면이어야 한다는 결론을 이끌어낸다.
• 하이젠베르크 군의 수평 분해 구조와 단위 법선 벡터 $N$ 및 그 수평 투영 $N_h$ 의 행동에 의존한다.

실험 결과

연구 질문

• RQ1 ℍ¹ 내의 $C^1$ 면적 정적 표면의 정규 부분의 구조는 어떠한가?
• RQ2 ℍ¹ 내의 $C^1$ 표면이 면적 정적이고 안정적인 조건은 무엇인가?
• RQ3 ℍ¹ 내의 완전하고 올바르게 방향이 부여된 $C^1$ 내재 그래프가 수직 평면이 아니더라도 면적 최소화될 수 있는가?
• RQ4 ℍ¹ 내에서 유일한 완전하고 안정적이며 면적 정적인 $C^1$ 표면은 수직 평면인가?
• RQ5 안정성에 대한 제2차 변동 공식에서 곡률 항목 $q$ 의 역할은 무엇인가?

주요 결과

• ℍ¹ 내의 임의의 $C^1$ 면적 정적 표면의 정규 부분은 수평 직선들로 층화되어 있다.
• ℍ¹ 내에서 완전하고 올바르게 방향이 부여된 $C^1$ 표면이 안정적이며 특이점이 없으면, 반드시 수직 평면이어야 한다.
• ℍ¹ 내에서 완전하고 국소 면적 최소화를 이루는 $C^1$ 함수의 내재 그래프는 유일하게 수직 평면이다.
• 면적의 제2차 변동이 음이 아닌 경우, 곡률 항목 $q$ 는 표면 전체에서 식별적으로 0이어야 한다.
• $q > 0$ 이라는 가정은 안정성과 모순되며, 이는 $q \equiv 0$ 이고 따라서 표면이 수직 평면이어야 한다는 것을 증명한다.
• 이 결과는 고전적인 베르너스타인 문제를 서브리만다이언 하이젠베르크 군 ℍ¹ 내의 $C^1$ 설정으로 확장한다.