[論文レビュー] 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

ひとこと要約

本稿は、凸錐内における相対的等周不等式の鋭い安定性評価を確立し、固定された体積に対して周囲長をほぼ最小化する集合が、ハウスドルフ距離においてボール・ケオンの積集合に近いかを定量的に示している。その誤差は相対的等周欠損の平方根で制御される。証明は、平行移動不変性の欠如を補うために、スケーリングと摂動解析を巧みに組み合わせた最適輸送（ブレニエ写像）を用いたグロモフの幾何的議論を応用している。

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.

研究の動機と目的

• 凸錐内における相対的等周不等式の鋭い定量的安定性評価を確立すること。等号は、球と錐の共通部分集合で達成される。
• 全空間の場合とは異なり、凸錐には平行移動不変性が欠如しているため、古典的等周不等式のグロモフの証明を修正してこれを扱うこと。
• 特に錐に直線を含まない場合に、[16]の安定性枠組みを相対的設定へと拡張すること。
• 相対的等周欠損が小さい場合に、集合が最小化子（スケーリングされたボール・ケオンの積集合）にどの程度近いかを、対称差の観点から定量的に評価すること。
• 一般の凸錐（直線を含む・含まない両方を含む）において、等号成立の場合と安定性の完全な証明を自立的に与えること。

提案手法

• グロモフの古典的等周不等式の幾何的証明を、錐の構造と径対称性を活用することで、相対的設定へと適応する。
• 集合 $ E $ と最小化子 $ sK $（ここで $ K = B_1 igcap ilde{rak{C}} $）の間のブレニエ最適輸送写像を用い、境界および体積の歪みを制御する。
• ノースケーリング写像の変種と最適輸送理論を適用し、平行移動不変性の欠如を補い、スケーリングに対して安定な安定性評価を保証する。
• スケーリングの議論を用いる： $ E $ とその競合集合 $ G $ を $ r $ 倍し、$ |rG| = |K| $ となるようにする。これにより、$ ilde{C}(n,K) ilde{ u}(rG) $ と $ ilde{C}(n,K) ilde{ u}(E) $ を用いた比較が可能になる。
• 相対的等周欠損 $ u(E) = rac{P(E|rak{C})}{n|B_1igcaprak{C}|^{1/n}|E|^{(n-1)/n}} - 1 $ を主要な制御パラメータとして用いる。
• 対称差 $ |Eigtriangleup (sK + x)| $、$ |rEigtriangleup ( ilde{eta} + K)| $、および $ ilde{C}(n,K) ilde{ u}(E) $ を含む不等式連鎖を確立し、最終的に対称差を $ C(n,K) ilde{ u}(E)^{1/2} $ で上から抑える。

実験結果

リサーチクエスチョン

• RQ1 凸錐内における相対的等周不等式を、すなわち、等号にほぼ達成する集合が最小化子にどの程度近いかを定量的に安定化することは可能か？
• RQ2 安定性定数が錐の幾何構造および次元に依存する最適な依存関係は何か？
• RQ3 グロモフの古典的等周不等式の幾何的証明を、非対称的かつ非平行移動不変な領域（例えば凸錐）の相対的設定に適応できるか？
• RQ4 なぜ錐が直線を含まないという仮定が安定性に必要であり、この仮定が比較における平行移動の役割にどのように影響するか？
• RQ5 このような幾何的設定において、ブレニエ写像が集合とその最小化子との間の対称差をどの程度制御できるか？

主な発見

• 本稿は鋭い安定性評価を確立した：任意の直線を含まない開凸錐 $ rak{C} $ と、有限の境界長をもつ任意の集合 $ E igsubset rak{C} $ に対して、$ E $ とスケーリングされたボール・ケオンの積集合 $ sK $ の対称差は、$ C(n,K) ilde{ u}(E)^{1/2} $ で上から抑えられる。ここで $ ilde{ u}(E) $ は相対的等周欠損である。
• 定数 $ C(n,K) $ は次元 $ n $ と錐 $ K = B_1 igcap rak{C} $ のみに依存し、すべてのこのような錐に対して一様である。
• この結果は、$ rak{C} = bR^k imes ilde{rak{C}} $ という一般の凸錐に対しても拡張可能であり、$ ilde{rak{C}} $ が直線を含まない場合、$ bR^k $ 方向への平行移動まで許容する安定性が成り立つ。
• 主要な評価は $ rac{|Eigtriangleup (sK + x)|}{|E|} igleq C(n,K) ilde{ u}(E)^{1/2} $ であり、ここで $ x igin bR^k imes bR^{n-k} $ で、最後の $ n-k $ 成分がゼロである平行移動の下での下限を取る。
• 証明により、相対的欠損 $ ilde{ u}(E) $ が最小化子 $ sK $ との $ L^1 $-距離を制御し、平方根依存性を示しており、これは最適である。
• 解析により、相対的等周不等式の等号成立は、$ sK $ に合同な集合に限られ、安定性が平方根の速度で最適であることが確認された。