[논문 리뷰] Complete minimal surfaces in R3 with a prescribed coordinate function

Antonio Alarcón, Isabel Fernández|ArXiv.org|2008. 08. 18.

Analytic and geometric function theory참고 문헌 12인용 수 6

한 줄 요약

이 논문은 룬게의 근사법과 경계 근처의 라비린스 구조를 사용하여 조르제-오페르와 나디라시벨리의 기법을 정교화함으로써, 주어진 비상수 조화좌표함수를 갖는 R³ 내에서 완전한 단순연결 최소표면을 구성한다. 핵심 결과는 이러한 완전한 표면이 동일한 좌표함수를 갖는 모든 최소표면의 공간에서 컴팩트 컨버전스에 대해 조밀하다는 것이다.

ABSTRACT

In this paper we construct complete simply connected minimal surfaces with a prescribed coordinate function. Moreover, we prove that these surfaces are dense in the space of all minimal surfaces with this coordinate function (with the topology of the smooth convergence on compact sets).

연구 동기 및 목표

• 단순연결 영역 상의 모든 조화함수가 R³ 내에서 완전한 최소표면의 좌표함수로 사용될 수 있는지 여부를 규명하는 것.
• 원래 x₃(z) = Re(z)로 구성된 조르제-오페르의 구성 기법을 임의의 비상수 조화함수로 확장하는 것.
• 고정된 좌표함수를 갖는 완전한 최소표면이 모든 동일한 최소표면의 공간에서 컴팩트 컨버전스에 대해 조밀하다는 것을 증명하는 것.
• 최대표면(L³ 내)과 복소해석적 영향곡선(C³ 내)과 관련된 설정에서 기하학적 결과를 탐색하는 것.
• 유계 좌표함수를 갖는 완전한 유계 최소표면을 구성하는 데 있어 날카로운 제약 조건을 규명하는 것.

제안 방법

• Φ₁² + Φ₂² + Φ₃² = 0 이고 노름이 영이 아닌 복소 1형식 (Φ₁, Φ₂, Φ₃)을 최소 임베딩과 연관지키기 위해 위어슈트라스 표현을 사용하는 것.
• Σ = C 또는 D 상에서 주어진 비상수 조화함수 u에 대해 X₃ = u로 고정하고, Re∫Φ₃ = u를 만족하는 위어슈트라스 데이터 (g, Φ₃)를 구성하는 것.
• 정리 1 적용: 임의의 X₃ = u인 조화 최소 임베딩 X와 컴팩트 집합 K ⊂ Σ, ε > 0에 대해, K 상에서 ‖X − Y‖ < ε 이고 Y₃ = X₃를 만족하는 새로운 완전한 임베딩 Y를 구성하는 것.
• ∂Σ 근처에 철저히 설계된 컴팩트 집합의 라비린스를 사용하여 룬게의 정리를 적용함으로써 완전성을 확보하면서 원래 임베딩을 근사하는 것.
• 가우스 매핑 g를 변경하지 않고도 메트릭과 완전성을 제어할 수 있도록 리오페즈-로스 변환을 사용하는 것.
• 복소해석적 이중성(예: Re∫(iΦ₁, iΦ₂, Φ₃)는 최대표면을 제공함)을 통해 결과를 L³ 내 최대표면과 C³ 내 복소해석적 영향곡선으로 번역하는 것.

실험 결과

연구 질문

• RQ1 단순연결 영역 상의 모든 비상수 조화함수가 R³ 내에서 완전한 최소표면의 좌표함수로 나타날 수 있는가?
• RQ2 고정된 좌표함수를 갖는 완전한 최소임베딩의 집합이 컴팩트 컨버전스 위상에 대해 모든 동일한 임베딩의 공간에서 조밀한가?
• RQ3 유계 조화좌표함수를 갖는 완전한 유계 최소표면을 구성하는 데 있어 장애 요소는 무엇인가?
• RQ4 최소표면에 사용된 기법을 최대표면 또는 복소해석적 영향곡선을 갖는 완전한 표면을 구성하는 데로 확장할 수 있는가?
• RQ5 한 좌표함수가 유계일 때, 최소표면의 완전성은 다른 좌표함수들의 유계성에 어떤 제약을 가하는가?

주요 결과

• Σ = C 또는 D 상의 모든 비상수 조화함수 u에 대해, X₃ = u를 만족하는 조화 완전 최소임베딩 X: Σ → R³가 존재한다.
• 고정된 좌표함수 X₃ = u를 갖는 완전한 최소임베딩의 집합은 컴팩트 집합에서의 균일수렴 위상에 대해 모든 동일한 최소임베딩의 공간에서 조밀하다.
• 유계 제3좌표함수를 갖는 완전한 최소임베딩는 X₁과 X₂가 동시에 유계일 수 없으며, 한 쪽이 유계이면 다른 쪽은 무한해야 한다.
• 유계 좌표함수를 갖는 완전한 유계 최소표면을 구성하는 것은 일반적으로 불가능하며, 보르게인의 정리와 메트릭 적분 가능성의 모순을 통해 이를 보여준다.
• 결과는 L³ 내 최대표면으로 확장된다: Σ 상의 모든 비상수 조화함수 u에 대해, Y₃ = u를 만족하는 약완전한 조화 최대임베딩 Y: Σ → L³가 존재한다.
• Σ 상의 모든 비상수 복소함수 f에 대해, F₃ = f를 만족하는 완전한 복소해석적 영향곡선 F: Σ → C³가 존재한다.