[논문 리뷰] On the essential spectrum of Nadirashvili-Martin-Morales minimal surfaces

G. Pacelli Bessa, Luquésio P. Jorge외 1명|arXiv (Cornell University)|2008. 09. 06.

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

한 줄 요약

이 논문은 ℝ³의 구 안에 완전하고 적절히 임bed된 최소 표면의 스펙트럼이 평균 곡면 벡터의 노름이 충분히 작을 경우, 즉 2/r 이하일 경우 이산적임을 증명한다. 주요 결과는 반경 곡률가 제한된 리만다이안 다양체의 지측 구 안에 완전하고 적절히 임bed된 부분다양체에 대해 일반화되며, 곡률에 의존하는 함수 $ C_b(r) $를 포함한 평균 곡률의 제한 조건 하에서 이산 스펙트럼을 증명함으로써, 얀(Yau)가 제기한 나디라시벨리-마르틴-모랄레스 최소 표면에 대한 질문을 확인한다.

ABSTRACT

We show that the spectrum of a complete submanifold properly immersed into a ball of a Riemannian manifold is discrete, provided the norm of the mean curvature vector is sufficiently small. In particular, the spectrum of a complete minimal surface properly immersed into a ball of $\mathbb{R}^{3}$ is discrete. This gives a positive answer to a question of Yau.

연구 동기 및 목표

• ℝ³의 구 안에 완전하고 적절히 임bed된 유계 최소 표면의 스펙트럼이 이산적인가에 대한 얀의 열린 질문을 해결하는 것.
• 리만다이안 다양체의 지측 구 안에 완전하고 적절히 임bed된 부분다양체의 스펙트럼이 이산적인지에 대한 일반적인 기하 조건을 설정하는 것.
• 제어된 곡률과 평균 곡률 조건을 갖는 와핑 프로덕트 유형 영역 내 부분다양체로 스펙트럼 결과를 확장하는 것.
• 평균 곡면 벡터의 노름과 반경 단면 곡률의 제한 조건에 기반한 스펙트럼 기준을 제공하는 것.

제안 방법

• 부분다양체 위에서 시험 함수의 라플라스 연산자를 제어하기 위해 반경 거리 함수와 곡률 제한 조건에서 유도된 비교 함수 $ \phi_a $ 를 사용한다.
• 헤시안 비교 원리를 적용하여 $ \rho $ 를 지측 구의 중심으로부터의 거리로 정의하고 $ \varphi $ 를 매립 함수로 하여 $ f = \phi_a \circ \rho \circ \varphi $ 의 라플라스 연산자를 추정한다.
• 변분 원리에 의해 본질 스펙트럼을 제어하는 양 $ \inf_{M \setminus K_i} (-\Delta f / f) $ 의 하한을 도출한다.
• 곡률에 의존하는 함수 $ C_b(t) $ 를 도입하며, 반경 단면 곡률 제한 $ b $ 의 부호에 따라 코탄제트 또는 쌍곡 코탄제트 함수로 정의된다.
• 스펙트럼 갭이 확장되는 에르고딕 집합 $ K_i $ 에 따라 무한히 커지도록 보장하기 위해 조건 $ \sup_M |H| < m \cdot C_b(r) $ 를 도입한다. 여기서 $ m $ 은 부분다양체의 차원이다.
• 수렴하는 $ r_i \to r $ 를 만족하는 컴팩트 에르고딕 집합의 시퀀스 $ K_i = \varphi^{-1}(B_N(r_i) \times \mathbb{R}^\ell) $ 를 활용하여 스펙트럼 임계값이 발산함을 보장한다.

실험 결과

연구 질문

• RQ1 리만다이안 다양체의 지측 구 안에 완전하고 적절히 임bed된 부분다양체의 스펙트럼이 이산적인지에 대한 기하 조건은 무엇인가?
• RQ2 ℝ³의 구 안에 완전하고 적절히 임bed된 최소 표면의 스펙트럼은 얀이 추측한 바와 같이 여전히 이산적인가?
• RQ3 주변 공간의 곡률에 상대적인 평균 곡률 벡터의 제한 조건으로 스펙트럼의 이산성이 보장될 수 있는가?
• RQ4 주변 다양체의 반경 단면 곡률이 임베딩된 부분다양체의 스펙트럼 유형에 어떤 영향을 미치는가?
• RQ5 지속 가능한 곡률과 평균 곡률 조건 하에서 스펙트럼 이산성의 일반화가 지측 구와 유클리드 공간의 곱 영역 내 부분다양체로 가능할 수 있는가?

주요 결과

• ℝ³의 구 $ B_{\mathbb{R}^3}(r) \subset \mathbb{R}^3 $ 안에 완전하고 적절히 임bed된 최소 표면의 스펙트럼은 $ \sup_M |H| < 2/r $ 일 경우 이산적이다.
• 리만다이안 $ n $-다양체 $ N $ 의 반지름 $ r $ 인 지측 구 $ B_N(r) $ 에 완전하고 적절히 임bed된 $ m $-차원 부분다양체에 대해, $ \sup_M |H| < m \cdot C_b(r) $ 이면 스펙트럼은 이산적이다. 여기서 $ b = \sup K_N^{\mathrm{rad}} $ 이다.
• 함수 $ C_b(t) $ 는 $ b > 0 $ 일 경우 $ \sqrt{b} \cot(\sqrt{b}\,t) $, $ b = 0 $ 일 경우 $ 1/t $, $ b < 0 $ 일 경우 $ \sqrt{-b} \coth(\sqrt{-b}\,t) $ 로 정의되며, 이는 스펙트럼 임계값을 제어한다.
• 부분다양체가 $ B_N(r) \times \mathbb{R}^\ell $ 에서 $ m \geq \ell + 1 $ 인 경우, $ \sup_M |H| < (m - \ell) C_b(r) $ 이고, 모든 $ s < r $ 에 대해 $ B_N(s) \times \mathbb{R}^\ell $ 의 역상이 컴팩트할 경우 결과가 성립한다.
• 적절성 조건은 기술적이며 제거 가능할 수 있다. 스펙트럼 이산성은 스토케스틱 불완전성의 증거에 기반해, 이 조건 없이도 성립할 것으로 기대된다.
• 논문은 더 넓은 추측을 지지하며, 완전하고 비콤팩트 리만다이안 다양체에서 이산 스펙트럼은 스토케스틱 불완전성과 동치임을 제기한다.