[论文解读] The Lp Minkowski problem for polytopes for negative p

Guangxian Zhu|arXiv (Cornell University)|Feb 25, 2016

Point processes and geometric inequalities参考文献 31被引用 3

一句话总结

该论文在 $p < 0$ 的情况下，包括临界情形 $p = -n$（即中心仿射 Minkowski 问题），建立了多面体 $L_p$ Minkowski 问题解的存在性。通过在支持函数上使用变分法和扰动论证，作者证明了：对于任意具有正权重的离散测度，其单位法向量不集中于任一半球内且满足子空间集中条件时，存在一个多面体，其 $L_p$ 表面积测度与给定测度一致。

ABSTRACT

Existence of solutions to the Lp Minkowski problem is proved for all p less than 0. For the cirtical case of p=-n, which is known as the centro-affine Minkowski problem, this paper contains the main result in [71] as a special case.

研究动机与目标

• 解决此前未被探索的负 $p$ 范围内多面体 $L_p$ Minkowski 问题，特别是 $p < 0$ 的情形。
• 将已知的 $p > 1$ 情形下的存在性结果扩展至 $p < 0$ 情形，此时 $L_p$ Minkowski 不等式尚未建立，问题显著更具挑战性。
• 解决临界情形 $p = -n$，即中心仿射 Minkowski 问题，该问题在中心仿射变换下不变，是仿射等周理论的核心。
• 为离散测度（单位法向量上具有正权重）建立充分条件，以确保存在一个多面体，使其 $L_p$ 表面积测度与该测度一致。
• 证明在法向量不集中于任何开半球且其与任一子空间的交集位于闭半球内的条件下，解存在。

提出的方法

• 将多面体的 $L_p$ Minkowski 问题表述为一个变分问题，即最小化与 $L_p$ 表面积测度相关的泛函 $\Phi_P(\xi)$。
• 通过修改具有外法向量 $u_k$ 的多面体 $P$ 为 $P_\delta$，应用扰动技术，将各面内移 $\delta$，从而构造新多面体 $P_\delta$。
• 使用缩放因子 $\lambda_\delta = V(P_\delta)^{-1/n}$ 将扰动后多面体的体积归一化为 1，确保原点为形心。
• 分析在扰动下泛函 $\Phi_{\lambda P_\delta}(\xi(\lambda P_\delta))$ 的行为，证明在特定条件下其严格递减。
• 采用反证法：假设存在极小化器 $P$ 满足 $\Phi_P(o) < \Phi_{P_0}(o)$ 对某个 $P_0$ 成立，则构造一个扰动后的多面体 $P_0$，使其泛函值严格更小，与极小性矛盾。
• 依赖于 $t > 0$ 且 $p < 0$ 时 $t^p$ 的凸性，以及当 $\delta \to 0^+$ 时缩放因子 $\lambda_\delta$ 的渐近分析，证明 $B(\delta) > 0$，从而表明泛函值下降。

实验结果

研究问题

• RQ1 当 $p < 0$ 时，特别是临界情形 $p = -n$ 时，多面体 $L_p$ Minkowski 问题是否有解？
• RQ2 当 $p < 0$ 时，对于球面上的离散测度 $\sum \alpha_k \delta_{u_k}$，在法向量满足适当几何约束的条件下，能否保证存在一个多面体实现该测度为 $L_p$ 表面积测度？
• RQ3 外单位法向量 $u_k$ 的何种构型可确保 $p < 0$ 情形下 $L_p$ Minkowski 问题解的存在性？
• RQ4 泛函 $\Phi_P(\xi)$ 在多面体发生小扰动时的行为如何？是否可用于证明极小性与解的存在性？
• RQ5 当法向量处于一般位置且不集中于任一半球时，中心仿射 Minkowski 问题对多面体上的离散测度是否可解？

主要发现

• 多面体 $L_p$ Minkowski 问题在所有 $p < 0$ 情形下均有解，将已知结果从 $p > 1$ 扩展至负数范围。
• 当 $p = -n$ 时，结果包含中心仿射 Minkowski 问题作为特例，确认在相同条件下解的存在性。
• 若单位法向量 $u_1, \dots, u_N$ 不位于任何开半球内，且其与任一子空间的交集位于闭半球内，则解存在。
• 通过反证法结合支持函数的扰动与体积归一化，证明了解的存在性，表明任意极小化器必须满足所需的测度条件。
• 当 $p < 0$ 时，泛函 $\Phi_P(\xi)$ 在特定扰动下严格递减，这与极小化器的假设矛盾，除非解存在。
• 证明依赖于 $t > 0$ 且 $p < 0$ 时 $t^p$ 的凸性，以及当 $\delta \to 0^+$ 时体积归一化因子 $\lambda_\delta$ 的渐近展开，确保扰动可产生严格更小的泛函值。