[논문 리뷰] The regularity of harmonic maps into spheres and applications to Bernstein problems

Jürgen Jost, Yuanlong Xin외 1명|ArXiv.org|2009. 12. 02.

Geometric Analysis and Curvature Flows참고 문헌 25인용 수 3

한 줄 요약

이 논문은 약간의 정규성과 사전 추정치를 유도한다. 리만 다양체에서 구면으로의 약한 조화 매핑에 대해, 그 이미지가 반구의 이웃을 피하는 조건 하에서 성립한다. 반구의 이웃을 제외한 영역에서 컴팩트 지지를 가진 엄밀히 볼록한 함수를 구성함으로써, 저자들은 새로운 버전의 버네스타인 정리들을 도출하며, 유클리드 공간 내의 완전한 최소 초평면이나 구면 내의 컴팩트한 최소 초평면이 그 가우스 매핑이 이러한 이웃을 피할 경우 애매한 평면이나 등자구면임을 증명한다.

ABSTRACT

We show the regularity of, and derive a-priori estimates for (weakly) harmonic maps from a Riemannian manifold into a Euclidean sphere under the assumption that the image avoids some neighborhood of a half-equator. The proofs combine constructions of strictly convex functions and the regularity theory of quasi-linear elliptic systems. We apply these results to the spherical and Euclidean Bernstein problems for minimal hypersurfaces, obtaining new conditions under which compact minimal hypersurfaces in spheres or complete minimal hypersurfaces in Euclidean spaces are trivial.

연구 동기 및 목표

• 이미지가 반구의 이웃을 피하는 조건 하에서, 리만 다항체에서 구면으로의 약한 조화 매핑에 대한 정규성과 사전 추정치를 확립한다.
• 기존의 조화 매핑 이론의 정규성 이론을 개방된 반구 조건을 초월하여 더 날카롭고 일반적인 결과로 확장한다.
• 이 정규성 결과들을 구면 및 유클리드 공간 내의 버네스타인 문제에 적용한다.
• 최소 초평면이 가우스 매핑의 위상적 및 기하학적 제약 조건을 만족할 경우, 그것이 자명하다(애매한 평면 또는 등자구면임)는 것을 증명한다.
• 반구의 이웃을 피하는 조건이 최적이며, 이는 닫힌 지오데식을 포함하는 더 큰 영역에서는 엄밀히 볼록한 함수의 존재를 방지하기 때문이다.

제안 방법

• 반구의 보완 영역의 컴팩트 부분집합에서, 각 컴팩트 집합에 맞게 조정된 엄밀히 볼록한 함수를 구성한다. 이 함수들은 전체 보완 영역에서 볼록하지는 않지만, 국소적으로는 볼록하다.
• 조화 매핑과 이러한 볼록 함수의 복합을 통해 약한 하모닉 함수를 생성함으로써, 최대 원리와 하르낙 부등식의 적용이 가능해진다.
• 타원형 PDE 이론의 고급 도구를 사용한다: 그린의 시험 함수 기법, 영상 축소 방법, 텔레스코픽 기법, 하르낙 부등식 기법.
• 모저의 하르낙 부등식과 그린 함수의 추정치를 활용하여, 조화 매핑의 에너지에 의존하지 않는 진동과 에너지 제어를 한다.
• 최소 초평면의 가우스 매핑과 구면으로의 조화 매핑을 연결하는 루프-빌름 정리를 활용하여 기하 조건을 해석학적 조건으로 변환한다.
• 네우만-파운카레 및 체적 성장 부등식을 사용하여, 비음성 리치 곡률 또는 유클리드 체적 성장 조건을 만족하는 다양체에서 리우빌 유형 정리의 조건을 검증한다.

실험 결과

연구 질문

• RQ1 약한 조화 매핑의 정규성이, 개방된 반구에 포함된다는 조건보다 더 약한 조건 하에서도 확립될 수 있는가?
• RQ2 에너지 최소화나 전역 에너지 유계 조건을 가정하지 않고도, 조화 매핑에 대한 사전 추정치를 도출할 수 있는가?
• RQ3 유클리드 공간 내의 완전한 최소 초평면이 애매한 선형이 되기 위한 가우스 매핑의 이미지에 대한 기하 조건은 무엇인가?
• RQ4 대상 구면에 닫힌 지오데식이 존재할 경우, 엄밀히 볼록한 함수의 존재에 영향을 미치고, 이로 인해 정규성 이론에 어떤 영향을 미치는가?
• RQ5 가우스 매핑이 반구의 이웃을 피할 경우, 최소 초평면에 대한 버네스타인 문제를 해결할 수 있는가?

주요 결과

• 약한 조화 매핑이 반구의 보완 영역의 컴팩트 부분집합에 이미지가 포함되어 있을 경우, 정규성과 사전 추정치를 만족한다.
• 이러한 집합에서 엄밀히 볼록한 함수를 구성하는 것은 가능하며, 필수적이다. 비록 전체 보완 영역에서 볼록하지 않더라도 말이다.
• 반구의 이웃을 피하는 조건은 최적이며, 이는 닫힌 지오데식을 포함하는 더 큰 영역에서는 엄밀히 볼록한 함수의 존재를 불가능하게 하기 때문이다.
• 비음성 리치 곡률을 가진 리만 다항체에 대해, 구면으로의 약한 조화 매핑이 반구의 이웃을 피할 경우, 반드시 상수 함수여야 한다.
• 유클리드 체적 성장과 네우만-파운카레 부등식을 만족하는 유클리드 공간 내의 완전한 최소 초평면에 대해, 가우스 매핑이 반구의 이웃을 피할 경우, 초평면은 반드시 애매한 선형 공간이어야 한다.
• 이 결과는 일부 경우에서 첫 번째 베티 수가 0이라는 위상적 가정을 제거함으로써, 솔로몬과 위크람세카라의 이전의 버네스타인 유형 정리들을 일반화하고 강화한다.