[论文解读] The discrete logarithmic Minkowski problem

Károly J. Böröczky, Pál Hegedüs+1 more|arXiv (Cornell University)|Sep 28, 2014

Point processes and geometric inequalities参考文献 33被引用 6

一句话总结

本文建立了离散对数Minkowski问题解存在的新充分条件，统一并推广了Böröczky等人及Zhu的先前结果。关键贡献在于提出了一种涉及锥体积测度的新不等式，该不等式可确保具有预设测度的多面体存在，推广了早期基于子空间集中度与对称性的条件。

ABSTRACT

Existence of solution of the logarithmic Minkowski problem is proved for the case where the discrete measures on the unit sphere satisfy the subspace concentration condition with respect to some special proper subspaces. In order to understand how optimal this condition is, we discuss certain conditions that any cone volume measure satisfies.

研究动机与目标

• 建立离散对数Minkowski问题解存在的新充分条件。
• 统一并推广先前结果，包括Böröczky等人关于偶数情形的结果以及Zhu关于离散情形的结果。
• 将子空间集中度条件扩展至超越对称或偶数情形的更广类测度。
• 基于锥体积测度及其在子空间上的行为，提供一种几何判别准则。
• 证明关于锥体积测度的新不等式，以刻画凸体极值构型的特征。

提出的方法

• 引入涉及相反方向的锥体积测度的新不等式：$ V_K(\{u\}) + V_K(\{-u\}) + 2(n-1)\sqrt{V_K(\{u\})V_K(\{-u\})} \leq V(K) $。
• 利用Brunn-Minkowski不等式与Fubini定理，通过凸体的截面推导体积下界。
• 对体积的积分表达式应用算术-几何平均不等式，获得关键不等式。
• 分析等式成立的条件，以刻画边界紧致的情形，将其与同位似性及面的平移等几何对称性联系起来。
• 通过截断棱锥与逼近论证，在极限情形下检验子空间集中度条件。
• 证明新条件蕴含子空间集中度条件，从而确保在更广泛条件下解的存在性。

实验结果

研究问题

• RQ1 何种新充分条件可确保存在一个多面体，其锥体积测度与球面上给定的离散测度相匹配？
• RQ2 新条件如何与Böröczky等人提出的子空间集中度条件相关联并加以推广？
• RQ3 多面体的锥体积测度是否可满足强于子空间集中度条件的不等式？
• RQ4 在何种几何条件下，所导出的锥体积测度不等式取等号？
• RQ5 新条件是否足以保证对非对称测度，离散对数Minkowski问题存在解？

主要发现

• 建立了离散对数Minkowski问题解存在的新充分条件，该条件统一推广了偶数情形与Zhu的离散结果。
• 对任意包含原点的凸体 $ K $，关键不等式 $ V_K(\{u\}) + V_K(\{ -u \}) + 2(n-1)\sqrt{V_K(\{u\})V_K(\{ -u \})} \leq V(K) $ 成立，且等号成立当且仅当 $ F(K,u) $ 与 $ F(K,-u) $ 是平移关系且 $ h_K(u) = h_K(-u) $。
• 在 $ \mathbb{R}^2 $ 中，不等式 $ \sqrt{V_K(\{u\})} + \sqrt{V_K(\{ -u \})} \leq \sqrt{V(K)} $ 成立，且等号成立当且仅当 $ K $ 是一组边平行于 $ u^{ot} $ 的梯形，且其对角线交点位于 $ u^{ot} $ 上。
• 所导出的不等式蕴含 $ V_K(\{u\}) \cdot V_K(\{ -u \}) \leq \frac{1}{4n^2} V(K)^2 $，且等号条件相同。
• 新条件蕴含子空间集中度条件，因此在比以往更广泛条件下确保了解的存在性。
• 证明方法结合了Brunn-Minkowski不等式、Fubini公式，以及对体的截面应用算术-几何平均不等式。