[논문 리뷰] The Flat Plane and a Constructive Proof of Minding's Theorem

Vincent E. Coll, Lee Whitt|arXiv (Cornell University)|2019. 01. 01.

Advanced Numerical Analysis Techniques인용 수 1

한 줄 요약

이 논문은 평탄한 경우에 대해 민딩의 정리에 대한 첫 번째 구성적 증명을 제시한다. 조화 함수와 복소해석 함수를 사용하여 영 곡률을 가진 표면 간의 국소 등장을 명시적으로 보여준다. 주요 기여는 미분기하학의 기본 결과에 대해 존재성 증명이 아닌 알고리즘적 접근을 제공한다는 것이다.

ABSTRACT

Minding's most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding's theorem is a staple in differential geometry textbooks. But, to the best of our knowledge, all published proofs of it, inclusive of Minding's original argument are existential in nature. In this note, we give a constructive proof of Minding's theorem in the flat case. The proof requires only some basic facts about harmonic functions and complex analytic functions.

연구 동기 및 목표

• 평탄한 경우에 대해 민딩의 정리에 대한 구성적 증명이 장기간 부재해 온 문제를 해결하기 위해.
• 일정한 영 곡률을 가진 표면 간의 국소 등장을 존재성에 의존하지 않고 명시적으로 구성하기 위해.
• 기본적인 조화 함수 및 복소해석학 도구가 구성적 증명에 충분한지 보여주기 위해.
• 전통적인 결과에 대해 새로운 접근법을 제공함으로써 접근성이 향상된 방법을 제시하기 위해.

제안 방법

• 단순연결 영역에서 조화 함수의 성질을 활용하여 국소 등장을 구성하기 위해.
• 특히 국소 해석적 좌표의 존재를 활용하여 복소해석 기법을 적용해 평탄한 표면을 매개변수화하기 위해.
• 조화 총액을 사용한 등각 매개변수화를 통해 등장이 보장되도록 하기 위해.
• 구축된 매개변수화 하에서 제1 기본형이 유클리드 계량으로 축소됨을 보여줌으로써 국소 등장을 확립하기 위해.
• 평탄한 표면가 국소 등각 좌표를 갖는다는 사실을 활용하여 계량 구조를 단순화하기 위해.
• 단순연결 리만 곡면에 대한 균일화 정리를 활용하여 이러한 좌표의 존재를 정당화하기 위해.

실험 결과

연구 질문

• RQ1 평탄한 표면에 대한 민딩의 정리를 존재성 증명이 아닌 구성적 증명으로 어떻게 할 수 있는가?
• RQ2 평탄한 표면 간의 국소 등장을 명시적으로 구성하기 위해 어떤 해석적 도구가 충분한가?
• RQ3 조화 함수와 복소해석 함수를 어떻게 활용하여 등장 사상 자체를 실현할 수 있는가?
• RQ4 민딩의 정리의 평탄한 경우 증명에서 존재성에 기반한 추론을 피할 수 있는가?

주요 결과

• 조화 함수와 복소해석 함수만을 사용하여 평탄한 표면에 대해 민딩의 정리의 구성적 증명을 달성하였다.
• 조화 총액을 활용한 등각 매개변수화를 통해 국소 등장을 명시적으로 구성하였다.
• 지역 좌표에서 직접적으로 등각 사상을 구성함으로써 존재성 추론을 피하는 방법을 취하였다.
• 평탄한 경우는 등각 매개변수화의 표준형을 갖는다는 것이 입증되었으며, 이는 등장을 실현한다.
• 구성 과정을 통해 평탄한 표면가 명시적인 함수 기반 사상으로 유클리드 평면과 국소적으로 등장한다는 것이 입증되었다.