[论文解读] 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不等式，通过Minkowski加法下体积的n次方根的二阶变分分析，并借助Gauss映射将结果映射到球面上，推导出在$C^{2}_{+}$凸体边界上的Poincaré型不等式。对于边界$∂ K$上均值为零的函数$ψ$，其加权$L^2$-范数$ψ^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}_{+}$凸体。
• 证明该不等式是精确的，并能恢复已知结果，如Lichnerowicz对$∂ K$上Laplacian第一特征值的估计。

提出的方法

• 利用Brunn-Minkowski不等式中$V_n^{1/n}$在Minkowski加法下的凹性，推导出二阶变分条件。
• 应用凸体的支撑函数表示法，计算$F(h) = V_n(K)^{1/n}$在$h \in \mathcal{C}$（正的$C^2$支撑函数空间）上的二阶变分。
• 通过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)$。
• 利用支撑函数Hessian的余因子矩阵，将二阶变差表达为球面上曲率算子的形式。
• 使用分部积分法，并利用恒等式$\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 从$V_n^{1/n}$的二阶变分出发，边界$\partial K$上的Poincaré不等式的确切形式是什么？
• RQ3 边界$\partial K$的曲率如何影响Laplacian在$\partial K$上的谱隙？
• RQ4 在何种条件下，所导出的不等式取等号？

主要发现

• 本文证明：对任意$C^1$函数$\psi$在$\partial K$上且均值为零，有$\int_{\partial K} \mathrm{tr}(D\nu_K) \psi^2 \, d\mathcal{H}^{n-1} \leq \int_{\partial K} \left( (D\nu_K)^{-1} \nabla\psi, \nabla\psi \right) \, d\mathcal{H}^{n-1}$。
• 该不等式是精确的：当$\psi(x) = (\nu_K(x), u_0)$对某个固定的向量$u_0 \in \mathbb{R}^n$时取等号。
• 当$K$为单位球时，不等式退化为球面上的精确Poincaré不等式：$(n-1) \int_{\mathbb{S}^{n-1}} \psi^2 \, d\mathcal{H}^{n-1} \leq \int_{\mathbb{S}^{n-1}} |\nabla\psi|^2 \, d\mathcal{H}^{n-1}$。
• 若$\partial K$的所有主曲率均不小于$\alpha > 0$，则$\lambda(\partial K) \geq (n-1)\alpha^2$，从而恢复Lichnerowicz估计的一个特例。
• 该结果通过Minkowski加法下$V_n^{1/n}$的二阶变分推导得出，利用支撑函数与Gauss映射将不等式转移至边界。
• 该方法在Brunn-Minkowski不等式与黎曼子流形上的函数不等式之间建立了直接联系，将Prékopa-Leindler方法推广至边界几何。