[论文解读] The isoperimetric inequality for a minimal submanifold in Euclidean space

Simon Brendle|arXiv (Cornell University)|Jul 22, 2019

Geometric Analysis and Curvature Flows参考文献 16被引用 11

一句话总结

本文為 $ℝ^{n+2}$ 中的緊緻 $n$-維子流形建立了嚴謹的索博列夫不等式，證明等周不等式成立當且僅當子流形為平坦的圓球。證明使用了校準向量場構造與最佳運輸啟發的論證，推導出涉及平均曲率與權重函數的嚴謹不等式，將已知的極小曲面結果推廣至更高共維度，並確認了一項長期存在的猜想。

ABSTRACT

We prove a Sobolev inequality which holds on submanifolds in Euclidean space of arbitrary dimension and codimension. This inequality is sharp if the codimension is at most 2. As a special case, we obtain a sharp isoperimetric inequality for minimal submanifolds in Euclidean space of codimension at most 2.

研究动机与目标

• 證明歐幾里得空間中任意維度與共維度子流形的嚴謹索博列夫不等式。
• 解決長期存在的猜想：等周不等式在 $ℝ^{n+1}$ 與 $ℝ^{n+2}$ 中的極小子流形上成立。
• 特徵化共維度至多為 2 的極小子流形在等周不等式中等號成立的條件。
• 將古典等周不等式推廣至超曲面以外的極小子流形，包含帶邊界的子流形。
• 提供一個統一的框架，使用幾何分析與最佳運輸啟發技術，探討子流形的等周性質。

提出的方法

• 推導一個一般性的索博列夫型不等式，涉及函數的梯度在 $L^2$-範數與子流形上平均曲率向量之間的關係。
• 透過求解涉及權重函數 $f$ 與平均曲率的散度方程，構造一個校準向量場。
• 使用從 $ℝ^{n+2}$ 中一個薄圓環到子流形 $\Sigma$ 的傳輸映射，比較體積，若等號未達成則導出矛盾。
• 應用亞歷山大洛夫-巴克曼-普西最大值原理技術，控制第二基本形式與 $u$ 的梯度。
• 運用橢圓正則性理論，確保 $u$ 為 $C^{2,\gamma}$，以嚴謹分析曲率與梯度行為。
• 使用密度論證與反證法，顯示等號成立時第二基本形式恆為零，且 $f$ 為常數，進而導出平坦圓球。

实验结果

研究问题

• RQ1 古典等周不等式是否對 $ℝ^{n+2}$ 中的極小子流形成立，即使共維度非平凡？
• RQ2 能否在歐幾里得空間中對任意維度與共維度的子流形建立嚴謹的索博列夫不等式？
• RQ3 在共維度至多為 2 的極小子流形上，等周不等式等號成立的必要與充分條件為何？
• RQ4 在 $ℝ^{n+2}$ 中的緊緻極小子流形中，平坦圓球是否為等周比值的唯一最小化者？
• RQ5 最佳運輸或校準幾何技術能否用於證明極小子流形的嚴謹幾何不等式？

主要发现

• 本文證明了 $ℝ^{n+2}$ 中 $n$-維子流形的嚴謹索博列夫不等式，常數為 $n|B^n|^{1/n}$，此常數為最佳。
• 等周不等式等號成立當且僅當子流形為某個 $n$-維仿射子空間中的平坦圓球。
• 對於 $ℝ^{n+2}$ 中的極小子流形，嚴謹等周不等式 $|\partial\Sigma| \geq n|B^n|^{1/n}|\Sigma|^{(n-1)/n}$ 成立，等號成立當且僅當 $\Sigma$ 為平坦圓球。
• 證明顯示，在等號成立的情況下，第二基本形式恆為零，且權重函數 $f$ 在子流形上為常數。
• 該方法確認唯一最小化者為圓球，從而解決了子流形幾何中的一項猜想。
• 此結果將卡爾曼於 1921 年對極小曲面的等周不等式推廣至所有維度與共維度至多為 2 的情形。