[论文解读] General Lp affine isoperimetric inequalities

Christoph Haberl, Franz E. Schuster|ArXiv.org|Sep 11, 2008

Point processes and geometric inequalities参考文献 44被引用 118

一句话总结

本文建立了一套完整的 $L_p$ 仿射等周不等式族，适用于 $L_p$ 投影体，推广了 $L_p$ Petty 投影不等式。研究证明，在通过 Minkowski 组合定义的 $\Pi_p^+K$ 和 $\Pi_p^-K$ 构造的所有 $L_p$ 投影体中，椭球使对偶体的体积最大化，且确定了其中最强的两个不等式，并证明它们可推出该类中所有先前的结果。

ABSTRACT

Sharp Lp affine isoperimetric inequalities are established for the entire class of Lp projection bodies and the entire class of Lp centroid bodies. These new inequalities strengthen the Lp Petty projection and the Lp Busemann--Petty centroid inequality.

研究动机与目标

• 将 $L_p$ Petty 投影不等式推广至所有通过 $\Pi_p^+K$ 和 $\Pi_p^-K$ 的 Minkowski 组合定义的 $L_p$ 投影体。
• 在 $L_p$ 投影体族中识别最强的不等式，并证明它们蕴含此前已知的结果。
• 通过建立对所有凸体（而不仅原点对称体）均成立的正确 $L_p$ 类比，填补 $L_p$ Blaschke–Santaló 不等式中的空白。
• 利用取值理论和 $L_p$ Minkowski 加法，统一并推广 $L_p$ 仿射等周不等式的理论。

提出的方法

• 作者将一个双参数的 $L_p$ 投影体族定义为 $\Phi_pK = c_1 \cdot \Pi_p^+K +_p c_2 \cdot \Pi_p^-K$，其中 $c_1, c_2 \geq 0$ 且不全为零。
• 他们应用 $L_p$ Brunn–Minkowski 不等式和 $L_p$ Minkowski 不等式，分析 $L_p$ Minkowski 组合下的体积行为。
• 通过变分技术，计算体积泛函 $V(\mathrm{M}_p^\tau L)^{1/n}$ 关于参数 $\tau$ 的导数，建立可微性及临界点条件。
• 他们分析使体积最大的临界点 $\bar{\tau}$，证明 $\bar{\tau} = 0$ 是唯一解，从而表明最大化器具有对称性。
• 证明依赖于 $L_p$ Minkowski 不等式和表面积测度的收敛性，推导出等号成立的必要与充分条件。
• 分析中使用了支撑函数、表面积测度以及 $L_p$ 混合体积 $V_p(Q,K)$，以刻画极值体。

实验结果

研究问题

• RQ1 在族 $c_1 \cdot \Pi_p^+K +_p c_2 \cdot \Pi_p^-K$ 中，哪些 $L_p$ 投影体在固定 $K$ 时使对偶体的体积最大？
• RQ2 新提出的 $L_p$ 仿射等周不等式与经典 $L_p$ Petty 投影不等式及 $L_p$ Blaschke–Santaló 不等式有何关联？
• RQ3 在 $L_p$ 投影体族中，最强的不等式是什么？它是否蕴含所有较弱的不等式？
• RQ4 能否建立一个正确的 $L_p$ 类比 Blaschke–Santaló 不等式，使其对所有凸体成立（而不仅原点对称体），并在极限情况下退化为经典不等式？
• RQ5 在何种条件下，体积泛函 $V(\mathrm{M}_p^\tau L)$ 达到最大？其最大化器具有何种对称性质？

主要发现

• 将 $L_p$ Petty 投影不等式推广至所有 $L_p$ 投影体 $\Phi_pK = c_1 \cdot \Pi_p^+K +_p c_2 \cdot \Pi_p^-K$，不等式 $V(K)^{n/p-1}V(\Phi_p^*K) \leq V(B)^{n/p-1}V(\Phi_p^*B)$ 对所有 $K \in \mathcal{K}_o^n$ 和 $p > 1$ 成立。
• 等号成立当且仅当 $K$ 是中心在原点的椭球。
• 族中最强的两个不等式分别对应于 $\Phi_pK = \Pi_p^+K$ 和 $\Phi_pK = \Pi_p^-K$，且两者均蕴含经典 $L_p$ Petty 投影不等式。
• 体积泛函 $V(\mathrm{M}_p^\tau L)$ 的最大化器唯一出现在 $\tau = 0$，这意味着最大化器 $\mathrm{M}_p^0L$ 必须是原点对称的。
• 建立了对所有凸体均成立的正确 $L_p$ 类比 Blaschke–Santaló 不等式，且在极限情况下退化为经典不等式。
• 分析表明，$\mathrm{M}_p^\tau L$ 是原点对称的当且仅当 $\tau = 0$，从而确认了对称情形下最大化器的唯一性。