[论文解读] Borell's generalized Prékopa-Leindler inequality: A simple proof

Arnaud Marsiglietti|arXiv (Cornell University)|Sep 22, 2015

Point processes and geometric inequalities参考文献 26被引用 4

一句话总结

本文使用质量传输和泛函分析技术，给出了博雷尔广义普雷科帕-莱因德勒不等式的简洁、自包含的证明。主要贡献是一个统一的框架，可恢复并扩展经典不等式（如布伦-闵可夫斯基不等式和博雷尔-布拉萨姆-利布不等式），并建立了对称凸体的对数布伦-闵可夫斯基不等式与凸测度之间通过广义均值不等式的新联系。

ABSTRACT

We present a simple proof of Christer Borell's general inequality in the Brunn-Minkowski theory. We then discuss applications of Borell's inequality to the log-Brunn-Minkowski inequality of Böröczky, Lutwak, Yang and Zhang.

研究动机与目标

• 为克里斯特尔·博雷尔在布伦-闵可夫斯基理论中提出的广义普雷科帕-莱因德勒不等式提供一种简化且易于理解的证明。
• 在单一框架下统一并扩展已知的函数不等式，包括经典的布伦-闵可夫斯基不等式和博雷尔-布拉萨姆-利布不等式。
• 为在凸测度下对称凸体建立一个新的不等式，推广萨罗格鲁对对数凹测度的结果。
• 展示对数布伦-闵可夫斯基不等式如何蕴含关于 $p$-均值闵可夫斯基组合的更广泛类别的测度不等式。
• 将 $\alpha$-凹测度理论扩展至包含 $p$-齐次组合，并推导相应的函数不等式。

提出的方法

• 证明采用质量传输和泛函分析，特别是利用广义赫尔德不等式（引理3）来控制乘积测度。
• 核心论证将定理1（博雷尔-布伦-闵可夫斯基不等式）应用于定义在密度 $\psi$ 的等值集上的函数，使用变换 $\varphi(x,y) = (1-\lambda)x + \lambda y$。
• 该方法通过等值集 $\{\psi \geq t\}$ 切割测度 $\mu$，并对这些切片的特征函数应用不等式。
• 使用 $p$-均值闵可夫斯基组合 $K_\lambda = (1-\lambda)\cdot K_0 \oplus_p \lambda \cdot K_1$ 来定义不等式中的组合凸体。
• 证明将推论6（广义布伦-闵可夫斯基不等式的函数形式）应用于等值集，将组合体的测度与各测度的 $\alpha$-均值联系起来。
• 通过在等值集上积分，并利用齐次性和连续性，将不等式扩展至整个测度。

实验结果

研究问题

• RQ1 是否可以使用比现有方法更简单、更直接的方法证明博雷尔的广义普雷科帕-莱因德勒不等式？
• RQ2 对数布伦-闵可夫斯基不等式在多大程度上可以扩展到 $\alpha$-凹测度下的对称凸体？
• RQ3 在这些测度下，表征对称凸体 $p$-闵可夫斯基组合测度的广义均值的精确形式是什么？
• RQ4 博雷尔-布拉萨姆-利布不等式如何通过函数变换与广义布伦-闵可夫斯基不等式关联？
• RQ5 在何种条件下，不等式 $\mu((1-\lambda)\cdot K \oplus_p \lambda \cdot L) \geq M_{(n/p + 1/\alpha)^{-1}}^\lambda(\mu(K), \mu(L))$ 对 $\alpha$-凹密度成立？

主要发现

• 使用泛函分析和质量传输，建立了一种新的、初等的博雷尔广义普雷科帕-莱因德勒不等式的证明。
• 当 $\alpha \geq -p/n$ 时，对数布伦-闵可夫斯基不等式蕴含在 $\alpha$-凹密度下对称凸体的广义测度不等式。
• 对所有 $p \in [0,1]$ 和 $\alpha \in [-p/n, 1]$，不等式 $\mu((1-\lambda)\cdot K \oplus_p \lambda \cdot L) \geq M_{(n/p + 1/\alpha)^{-1}}^\lambda(\mu(K), \mu(L))$ 成立，扩展了萨罗格鲁的结果。
• 该结果在平面上于对数布伦-闵可夫斯基不等式下成立，并通过推论5扩展至无条件情形。
• 通过等值集和函数积分的证明技术，为从函数不等式推导测度不等式提供了一种稳健的方法。
• 该框架将博雷尔-布拉萨姆-利布不等式、广义布伦-闵可夫斯基不等式和对数布伦-闵可夫斯基不等式统一于单一函数不等式结构之下。