[論文レビュー] Some higher order isoperimetric inequalities via the method of optimal transport

Sun‐Yung A. Chang, Yi Wang|arXiv (Cornell University)|May 14, 2013

Point processes and geometric inequalities参考文献 9被引用数 3

ひとこと要約

この論文は、最適輸送法を用いて $\mathbb{R}^n$ 内の $k+1$-凸領域に対して鋭い高次等周不等式を確立する。2-凸領域の場合、体積は平均曲率の積分に定数をかけたもので上から抑えられ、等号成立は球の場合に限る。同様に3-凸領域の場合、第二基本形式の第二基本対称関数の積分に定数をかけたもので体積が上から抑えられ、再び球のときのみ等号が成立する。

ABSTRACT

In this paper, we establish some sharp inequalities between the volume and the integral of the $k$-th mean curvature for $k+1$-convex domains in the Euclidean space. The results generalize the classical Alexandrov-Fenchel inequalities for convex domains. Our proof utilizes the method of optimal transportation.

研究の動機と目的

• 古典的なアレクサンドロフ＝フェンケルの不等式を非凸領域へ拡張するため、鋭い高次等周不等式を確立すること。
• $k$-凸領域に対して、不等式 $\left(\int \sigma_{k-1} d\mu\right)^{1/(n-k)} \leq C \left(\int \sigma_k d\mu\right)^{1/(n-1-k)}$ が成り立つかどうかを調査すること。
• 最適輸送を用いて、$(k+1)$-凸領域に対してこれらの不等式が鋭い定数を伴って成り立つことを証明すること。これにより、以前の鋭くない結果を拡張する。
• この方法が機能するために、追加の凸性仮定（$k$-凸性ではなく $(k+1)$-凸性）が必要かどうかを特定すること。

提案手法

• 領域 $\Omega$ 上の測度を単位 $n$-球上の一様測度へ写像する最適輸送の方法を適用する。
• 証明は、カントロビッチ汎関数 $\phi$ の構成と、モンジュ＝アンペール方程式による輸送コストの分析に依存する。
• 平均曲率 $H = \sigma_1(L)$ や $\sigma_2(L)$ といった主要な幾何的量が、二階微分および曲率不変量を通じて輸送ポテンシャルと関係づけられる。
• 証明には、ポテンシャル $\nabla^2\phi$ のヘッセ行列の推定と、$\Sigma_2$ および $\sigma_2$ の対称関数を用いた曲率項の制御が含まれる。
• 重要なステップとして、$[T_2]_{\alpha\beta}(L)$ を含む二次形式の非正性を示すことがあり、これは $\phi_n \leq \psi$ および曲率不変量の非負性に依存する。
• ポテンシャルの $\psi = 1 - \sum C_k |\nabla\phi|^{2k}$ における級数展開を用い、得られる項を推定して $P \leq -1/4$ を示し、エネルギー汎関数の非正性を導出する。

実験結果

リサーチクエスチョン

• RQ1 2-凸領域に対して、鋭い高次等周不等式 $\mathrm{Vol}(\Omega)^{(n-2)/n} \leq C \int_{\partial\Omega} H \, d\mu$ が成り立つかどうか。
• RQ2 最適輸送法を用いて、凸でない場合の高次等周不等式における鋭い定数を導出できるか。
• RQ3 最適輸送証明が成功するためには $(k+1)$-凸性の仮定が必要なのか、それとも $k$-凸性に弱めることができるか。
• RQ4 輸送ポテンシャルのヘッセ行列と第二基本形式との相互作用が、曲率不等式の導出において果たす役割は何か。
• RQ5 この方法を、すべての $k$ 階の不等式に対して、$(k+1)$-凸領域に対して鋭い定数を伴って一般化できるか。

主な発見

• 2-凸領域 $\mathbb{R}^n$ に対して、不等式 $\mathrm{Vol}(\Omega)^{(n-2)/n} \leq \left(\frac{1}{\omega_n}\right)^{2/n} \frac{1}{n(n-1)} \int_{\partial\Omega} H \, d\mu$ が鋭い定数を伴って成り立つ。
• この不等式において等号成立は、$\Omega$ が $\mathbb{R}^n$ 内の球である場合に限る。これにより定数の鋭さが確認される。
• 3-凸領域に対して、不等式 $\mathrm{Vol}(\Omega)^{(n-3)/n} \leq \left(\frac{1}{\omega_n}\right)^{3/n} \frac{1}{3\binom{n}{3}} \int_{\partial\Omega} \sigma_2(L) \, d\mu$ が鋭い定数を伴って確立される。
• 不等式の定数は鋭く、等号成立は球のときのみである。これにより、境界の最適性が示される。
• 証明により、エネルギー汎関数 $L_3$ が $\int \sigma_2(L) \, d\mu$ を含む式から非正の項を引いたもので上から抑えられることを示し、不等式の成立が確認される。
• 証明は、$\Sigma_2(\bar{\nabla}^2\phi, L)$ と $\sigma_2(L)$ の非負性、および不等式 $\phi_n \leq \psi$ に依存し、最終的なエネルギーが非正であることを示す。