[論文レビュー] From the Brunn-Minkowski inequality to a class of Poincaré type inequalities

Andrea Colesanti|ArXiv.org|Mar 20, 2007

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

ひとこと要約

本稿は、Brunn-Minkowski不等式を基盤として、$C^{2}_{+}$ 凸体の境界上で Poincaré 型不等式を導出する。Minkowski加法における体積の $n$ 乗根の第二変動を解析し、Gauss写像を用いて球面に変換することで、境界 $ abla K$ 上の平均ゼロ関数 $ abla$ に対して、$ abla^2$ の重み付き $L^2$ ノルムが Weingarten マップのトレースによって制御され、逆 Weingarten マップを含むDirichletエネルギーによって上界が与えられることを示す。線形関数の境界上では等号が成立する。

ABSTRACT

We present an argument which leads from the Brunn-Minkowski inequality to a Poincare' type inequality on the boundary of convex bodies with smooth boundary and positive Gauss curvature

研究の動機と目的

• $C^{2}_{+}$ 凸体の境界におけるPoincaré型不等式を、幾何的不等式を用いて確立すること。
• Brunn-Minkowski不等式と、特に凸体の境界における多様体上の関数不等式を結びつけること。
• 古典的Poincaré不等式を、曲率に依存する重みを用いて、任意の $C^{2}_{+}$ 凸体に一般化すること。
• 不等式が鋭いこと、および $ abla K$ 上のラプラシアンの第一固有値に対するLichnerowicz推定を回復することを示すこと。

提案手法

• Minkowski加法における $V_n^{1/n}$ の凹性に着目し、第二変動条件を導出する。
• 凸体の支持関数表現を用い、$ abla \in \mathcal{C}$（正の $C^2$ 支持関数の空間）に対して $F(h) = V_n(K)^{1/n}$ の第二変動を計算する。
• Gauss写像 $\nu_K$ を用いて、球面 $\mathbb{S}^{n-1}$ 上の不等式を境界 $\partial K$ に変換する。面積要素の変換 $d\mathcal{H}^{n-1}(x) = \det(D\nu_K(x)) \, d\mathcal{H}^{n-1}(u)$ を用いる。
• 支持関数のヘッセ行列の余因子行列を用いて、第二変動を球面上の曲率作用素の言語で表現する。
• 部分積分と恒等式 $\sum_{i,j} c_{ij} (h_{ij} + h\delta_{ij}) = (n-1)\det(h_{ij} + h\delta_{ij})$ を用い、第二変動の式を簡略化する。
• 標準的な近似法を用いて、境界上の $C^\infty$ 関数から $C^1$ 関数への結果の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 Brunn-Minkowski不等式を用いて、凸体の境界におけるPoincaré型不等式を導出可能か？
• RQ2 体積の $n$ 乗根の第二変動から生じる、$ abla K$ 上のPoincaré不等式の正確な形は何か？
• RQ3 凸体 $ abla K$ の曲率は、$ abla K$ 上のラプラシアンのスペクトルギャップにどのように影響するか？
• RQ4 導出された不等式で等号が成立する条件は何か？

主な発見

• 本稿は、$ abla K$ 上の任意の $C^1$ 関数 $ abla$ で平均がゼロのものに対して、$\int_{\partial K} \mathrm{tr}(D\nu_K) \nabla^2 \, d\mathcal{H}^{n-1} \leq \int_{\partial K} \left( (D\nu_K)^{-1} \nabla\nabla, \nabla\nabla \right) \, d\mathcal{H}^{n-1}$ が成り立つことを証明する。
• 不等式は鋭い：$\nabla(x) = (\nu_K(x), u_0)$（$u_0 \in \mathbb{R}^n$ を固定）のとき等号が成立する。
• $K$ が単位球体のとき、不等式は球面 $\mathbb{S}^{n-1}$ 上の鋭いPoincaré不等式に簡略化される：$(n-1) \int_{\mathbb{S}^{n-1}} \nabla^2 \, d\mathcal{H}^{n-1} \leq \int_{\mathbb{S}^{n-1}} |\nabla\nabla|^2 \, d\mathcal{H}^{n-1}$。
• もし $ abla K$ のすべての主曲率が $\alpha > 0$ 以上であれば、$\lambda(\partial K) \geq (n-1)\alpha^2$ が成り立ち、Lichnerowicz推定の特殊ケースを回復する。
• 結果は、Minkowski加法における $V_n^{1/n}$ の第二変動を用い、支持関数とGauss写像を用いて境界に不等式を移行することで得られる。
• 本手法により、Brunn-Minkowski不等式とリーマン多様体上の関数不等式との直接的な関係が確立され、Prékopa-Leindler手法が境界幾何に拡張される。