[論文レビュー] On the monotonicity of perimeter of convex bodies

Giorgio Stefani|arXiv (Cornell University)|Dec 1, 2016

Point processes and geometric inequalities参考文献 2被引用数 5

ひとこと要約

本稿は、$\mathbb{R}^n$ 内の入れ子の凸体 $A \subset B$ 間の非等方的 $\Phi$-外周の差に対する定量的下界を、ハウスドルフ距離を用いて確立する。主な結果は、Wulff形状、ハウスドルフ距離 $h(A,B)$、および非等方性 $\Phi$ から導かれる関数 $g_\nu$ を含む鋭い明示的下界を提供し、$\Phi$ に関する最小限の正則性仮定のもとで、古典的な外周単調性を定量的推定に拡張する。この下界は、既知の設定における等号成立ケースと一致する意味で最適である。

ABSTRACT

Let $n\ge2$ and let $Φ\colon\mathbb{R}^n o[0,\infty)$ be a positively $1$-homogeneous and convex function. Given two convex bodies $A\subset B$ in $\mathbb{R}^n$, the monotonicity of anisotropic $Φ$-perimeters holds, i.e. $P_Φ(A)\le P_Φ(B)$. In this note, we prove a quantitative lower bound on the difference of the $Φ$-perimeters of $A$ and $B$ in terms of their Hausdorff distance.

研究の動機と目的

• 凸体 $A \subset B$ が $\mathbb{R}^n$ 内に存在するもとで、$\delta_\Phi(B,A) = P_\Phi(B) - P_\Phi(A)$ の差の定量的下界をハウスドルフ距離 $h(A,B)$ を用いて確立すること。
• $n=2,3$ のユークリッド外周差に関する既知の鋭い不等式を、非等方的 $\Phi$-外周設定に一般化すること。
• 非等方的外周単調性の一般枠組みを提供し、$\Phi$ の構造に依存する明示的かつ幾何的に意味のある下界を導くこと。
• 特にWulff形状および錐構成と関連して、等号成立ケースを特定することで、下界が鋭いことを証明すること。

提案手法

• ハウスドルフ距離 $h(A,B)$ を実現する点 $b \in B \setminus A$ と、$a \in A$ における接半空間 $H$ を用いて、$C = \mathcal{C}(b, B \cap \partial H)$ という錐 $C$ を構成する。
• 発散定理と表面測度の弱*収束を用いて、凸集合の近似列における極限に移行する。
• キーとなる補題（補題 2.3）を適用し、Wulff形状 $W_\nu$、高さ $h$、および特定の凸性と斉次性条件を満たす関数 $g_\nu$ を用いて錐の $\Phi$-外周の下界を提供する。
• 核心的な不等式は、錐 $C$ の $\Phi$-外周と外側集合 $B \cap H^c$ の $\Phi$-外周を比較することにより導出され、$P_\Phi$ の包含に関する単調性を利用している。
• 最終的な下界は、錐の外周推定と恒等式 $\delta_\Phi(B,A) \geq \int_{C_{\text{lat}}} \Phi(\nu_C)\, d\mathcal{H}^{n-1} - \Phi(\nu_H) \mathcal{H}^{n-1}(B \cap \partial H)$ を組み合わせることで得られ、これが主結果に至る。

実験結果

リサーチクエスチョン

• RQ1 入れ子の凸体における非等方的 $\Phi$-外周差 $\delta_\Phi(B,A)$ に対して、ハウスドルフ距離 $h(A,B)$ を用いた定量的下界を確立できるか？
• RQ2 $A \subset B$ のもとで $\Phi$-外周の古典的単調性 $P_\Phi(A) \leq P_\Phi(B)$ は、小さな摂動に対して安定しており、その安定性を定量的に表現できるか？
• RQ3 非等方的設定で導かれた下界は、$n=2$ および $n=3$ における既知の鋭いユークリッド外周差を一般化するか？
• RQ4 $\Phi$ にどのような幾何的・解析的条件が課わられると、下界が非自明かつ鋭くなるか？
• RQ5 下界は、Wulff形状や接超平面といった内在的な幾何的対象を用いて表現可能か？

主な発見

• 本稿は不等式 $\delta_\Phi(B,A) \geq \mathcal{H}^{n-1}(W_{\nu_H}) r^{n-2} \left( g_{\nu_H}(h,r) - \Phi(\nu_H) r \right)$ を確立し、ここで $h = h(A,B)$、$r$ は $r^{n-1} \mathcal{H}^{n-1}(W_{\nu_H}) = \mathcal{H}^{n-1}(B \cap \partial H)$ を満たし、$\nu_H$ は $a \in A$ における接超平面の法線である。
• 下界は、例えば $B$ がWulff形状で $A$ が適切な錐であるような特定の幾何的配置で等号が成立するため、鋭いものである。
• 結果は、$\Phi(x) = |x|$ の場合に [lacivita\&leonetti08] および [carozza\etal16] で知られている $n=2$ および $n=3$ の鋭い不等式を特別な場合として回復するため、一般化されている。
• 下界に現れる関数 $g_\nu$ は、$\Phi$ の分解を用いて構成され、正値性と凸性を保証するものであり、径方向に非一様に減少でないことが要求される。
• 証明は、$\Phi$ に対する許容性条件に依存しており、これはすべての方向 $\nu$ に対してこのような分解が存在することを保証する。例えば、$\Phi$ が強制的かつ凸である場合にはこの条件を満たす。
• 下界は近似に対して安定である：$C_k \to C$ の $L^1$ 収束および表面測度の弱*収束により、外周の極限が保存されることを保証し、錐近似の使用を正当化する。