[论文解读] Eigenvalue bounds and minimal surfaces in the ball

Ailana Fraser, Richard Schoen|arXiv (Cornell University)|Sep 17, 2012

Geometric Analysis and Curvature Flows参考文献 12被引用 20

一句话总结

本文證明了在具有邊界的緊緻曲面上，存在且正則的度量可使第一個非零史特克洛夫特徵值 σ₁ 與邊界長度 L 的乘積最大化。研究證明這些極大化度量為單位球中自由邊界極小曲面的誘導度量，並對環面（臨界雙曲面）與莫比烏斯帶（臨界莫比烏斯帶）給出顯式解，同時提供 genus-zero 曲面在邊界組件數量趨於無窮時的漸近最緊上界 4π。

ABSTRACT

We prove existence and regularity of metrics on a surface with boundary which maximize sigma_1 L where sigma_1 is the first nonzero Steklov eigenvalue and L the boundary length. We show that such metrics arise as the induced metrics on free boundary minimal surfaces in the unit ball B^n for some n. In the case of the annulus we prove that the unique solution to this problem is the induced metric on the critical catenoid, the unique free boundary surface of revolution in B^3. We also show that the unique solution on the Mobius band is achieved by an explicit S^1 invariant embedding in B^4 as a free boundary surface, the critical Mobius band. For oriented surfaces of genus 0 with arbitrarily many boundary components we prove the existence of maximizers which are given by minimal embeddings in B^3. We characterize the limit as the number of boundary components tends to infinity to give the asymptotically sharp upper bound of 4pi. We also prove multiplicity bounds on sigma_1 in terms of the topology, and we give a lower bound on the Morse index for the area functional for free boundary surfaces in the ball.

研究动机与目标

• 建立在具有邊界的曲面上使第一個非零史特克洛夫特徵值 σ₁ 與邊界長度 L 乘積最大化的度量的存在性與正則性。
• 將這些極大化度量特徵化為某個 n 下單位球 B^n 中自由邊界極小曲面的誘導度量。
• 針對特定拓撲類型（環面與莫比烏斯帶）識別顯式解。
• 確定 genus-zero 曲面在邊界組件數量任意多時的漸近最緊上界。

提出的方法

• 運用變分法，在具有邊界的曲面上最大化 σ₁L 對於黎曼度量的值。
• 應用自由邊界極小曲面理論的結果，將極大化度量與單位球 B^n 中的嵌入極小曲面聯繫起來。
• 使用對稱性降維與 S¹-不變嵌入，於 B^4 中構造莫比烏斯帶的顯式解。
• 利用拓撲與幾何約束，證明 genus-zero 曲面在任意多個邊界組件下極大化度量的存在性。
• 應用莫爾斯理論，推導單位球中自由邊界曲面面積泛函的莫爾斯指數下界。
• 運用特徵值比較與拓撲界，建立 σ₁ 的重數估計。

实验结果

研究问题

• RQ1 在緊緻有邊界曲面上，哪些度量使 σ₁L 乘積最大化，它們誘導出何種幾何結構？
• RQ2 σ₁L 的極大化度量如何與單位球中的自由邊界極小曲面相關？
• RQ3 環面的唯一極大化度量為何？它是否對應於已知的極小曲面？
• RQ4 當 genus-zero 曲面的邊界組件數量趨於無窮時，σ₁L 的極大值之漸近行為為何？
• RQ5 哪些拓撲約束控制 σ₁ 的重數與自由邊界曲面面積泛函的莫爾斯指數？

主要发现

• 環面的唯一極大化度量為三維單位球 B^3 中臨界雙曲面的誘導度量，此曲面為自由邊界極小曲面且具有旋轉對稱性。
• 莫比烏斯帶的唯一極大化度量由 B^4 中的顯式 S¹-不變嵌入實現，稱為臨界莫比烏斯帶。
• 對於具有任意多個邊界組件的 genus-zero 曲面，極大化度量存在，且可實現為 B^3 中的極小嵌入。
• genus-zero 曲面的 σ₁L 漸近最緊上界為 4π，此界在邊界組件數趨於無窮的極限下達到。
• 本文建立了以曲面拓撲為基礎的 σ₁ 重數界。
• 推導出單位球中自由邊界曲面面積泛函的莫爾斯指數下界。