[论文解读] A sharp stability result for the relative isoperimetric inequality inside convex cones

Alessio Figalli, Emanuel Indrei|arXiv (Cornell University)|Oct 10, 2012

Point processes and geometric inequalities被引用 10

一句话总结

本文為凸錐中的相對等周不等式建立了緊緻的穩定性估計，證明了若某集合在固定體積下近乎最小化周長，則其在 Hausdorff 距離下必接近球錐交集，且該接近程度由相對等周缺陷的平方根精確量化。證明方法借鑒 Gromov 的幾何論證，並結合最佳輸運（Brenier 映射），透過在無直線的錐體中進行仔細的尺度變換與擾動分析，克服了缺乏平移不變性的困難。

ABSTRACT

The relative isoperimetric inequality inside an open, convex cone $\\mathcal C$ states that, at fixed volume, $B_r \\cap \\mathcal C$ minimizes the perimeter inside $\\mathcal C$. Starting from the observation that this result can be recovered as a corollary of the anisotropic isoperimetric inequality, we exploit a variant of Gromov's proof of the classical isoperimetric inequality to prove a sharp stability result for the relative isoperimetric inequality inside $\\mathcal C$. Our proof follows the line of reasoning in \\cite{Fi}, though several new ideas are needed in order to deal with the lack of translation invariance in our problem.

研究动机与目标

• 建立凸錐中相對等周不等式的緊緻定量穩定性估計，其中等號在球與錐的交集中取得。
• 針對凸錐中缺乏平移不變性（與全空間情形不同）的問題，適應 Gromov 對經典等周不等式的證明。
• 將 [16] 中的穩定性框架擴展至不含直線的凸錐內部的相對設定。
• 給定小的相對等周缺陷時，量化集合與極小化器（即縮放後的球錐交集）在對稱差下的接近程度。
• 提供一般凸錐中等號成立情形與穩定性的自-contained 證明，涵蓋無直線與含直線結構的錐體。

提出的方法

• 將 Gromov 對經典等周不等式的幾何證明適應至凸錐內部的相對設定，利用錐體結構與徑向對稱性。
• 使用 Brenier 最佳輸運映射，連接集合 $ E $ 與極小化器 $ sK $（其中 $ K = B_1 \bigcap \tilde{\frak{C}} $），以控制邊界與體積的變形。
• 應用 Knothe 映射的變體與最佳輸運理論，處理非平移不變幾何，確保穩定性估計在尺度變換下具有魯棒性。
• 採用尺度變換論證：將 $ E $ 及其競爭對手 $ G $ 按比例 $ r $ 放大，使 $ |rG| = |K| $，進而透過 $ \tilde{C}(n,K)\tilde{\nu}(rG) $ 與 $ \tilde{C}(n,K)\tilde{\nu}(E) $ 進行比較。
• 以相對等周缺陷 $ \nu(E) = \frac{P(E|\frak{C})}{n|B_1\bigcap\frak{C}|^{1/n}|E|^{(n-1)/n}} - 1 $ 作為關鍵控制參數。
• 建立包含 $ |E\bigtriangleup (sK + x)| $、$ |rE\bigtriangleup (\tilde{\beta} + K)| $ 與 $ \tilde{C}(n,K)\tilde{\nu}(E) $ 的不等式鏈，最終以 $ C(n,K)\tilde{\nu}(E)^{1/2} $ 界定對稱差。

实验结果

研究问题

• RQ1 如何對凸錐中的相對等周不等式實現定量穩定化？亦即，若某集合近乎達成等號，則其與極小化器的接近程度為何？
• RQ2 穩定性常數對錐體幾何與維度的最優依賴關係為何？
• RQ3 Gromov 對經典等周不等式的幾何證明能否適應至非對稱、非平移不變區域（如凸錐）的相對設定？
• RQ4 為何假設錐體不含直線對穩定性至關重要？此假設如何影響平移在比較中的角色？
• RQ5 Brenier 映射在如此幾何設定中，能多大程度用來控制集合與其極小化器之間的對稱差？

主要发现

• 本文建立緊緻的穩定性估計：對於任意不含直線的開凸錐 $ \frak{C} $，以及任意有限周長的集合 $ E \bigsubset \frak{C} $，集合 $ E $ 與某縮放後的球錐交集 $ sK $ 之間的對稱差，其上界為 $ C(n,K)\tilde{\nu}(E)^{1/2} $，其中 $ \tilde{\nu}(E) $ 為相對等周缺陷。
• 常數 $ C(n,K) $ 僅依賴於維度 $ n $ 與錐 $ K = B_1 \bigcap \frak{C} $，且對所有此類錐體均一致。
• 該結果可推廣至一般凸錐 $ \frak{C} = \bbR^k \times \tilde{\frak{C}} $，其中 $ \tilde{\frak{C}} $ 不含直線；穩定性在 $ \bbR^k $ 方向上容許平移。
• 關鍵估計為 $ \frac{|E\bigtriangleup (sK + x)|}{|E|} \bigleq C(n,K)\tilde{\nu}(E)^{1/2} $，其中下確界取自滿足最後 $ n-k $ 個分量為零的平移 $ x \bigin \bbR^k \times \bbR^{n-k} $。
• 證明顯示，相對缺陷 $ \tilde{\nu}(E) $ 控制 $ E $ 與極小化器 $ sK $ 之間的 $ L^1 $-距離，且其依賴關係為平方根形式，此為最佳結果。
• 分析確認，相對等周不等式中等號僅在集合與 $ sK $ 全等時成立，且穩定性在「平方根速率」上為緊緻，無法進一步改善。