[论文解读] Remarks on planar Blaschke-Santaló inequality

Károly J. Böröczky, Endre Makai|arXiv (Cornell University)|Nov 14, 2014

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

一句话总结

本文证明，在平面上所有关于原点对称的凸 n 边形中，仿射正 n 边形是唯一使体积积 $ V(K)V(K^*) $ 最大的图形，从而在 $ K $ 为正 n 边形时，平面 Blaschke-Santaló 不等式取等号。此外，当 John 椭圆或 Löwner 椭圆为单位圆时，本文给出了更精细的不等式，并在 n 重旋转对称条件下推导出 $ V(K^*) $ 的精确最大值，方法基于仿射不变性与几何扰动分析。

ABSTRACT

We prove the Blaschke-Santaló inequality restricted to $n$-gons: the extremal polygons are the affine regular $n$-gons. If either the John or the Löwner ellipse of a planar $o$-symmetric convex body $K$ is the unit circle about $o$, then a sharpening of the Blaschke-Santaló inequality holds: even the aritmetic mean $\left( V(K) + V( K^*) ight) /2 $ is at least $π$. We give stability variants of the Blaschke-Santaló inequality for the plane. If for some $n \ge 3$ the planar convex body $K$ is $n$-fold rotationally symmetric about $o$, then we give the exact maximum of $V(K^*)$, as a function of $V(K)$ and the area of either the John or the Löwner ellipse.

研究动机与目标

• 在关于原点对称和顶点数约束下，确定使体积积 $ V(K)V(K^*) $ 最大的极值凸 n 边形。
• 当 $ K $ 的 John 椭圆或 Löwner 椭圆为单位圆时，建立 Blaschke-Santaló 不等式的改进版本。
• 当 $ K $ 具有 n 重旋转对称性时，推导出 $ V(K^*) $ 关于 $ V(K) $ 及 John 或 Löwner 椭圆面积的精确表达式。
• 证明平面 Blaschke-Santaló 不等式的稳定性变体，量化偏离极值时的偏差程度。

提出的方法

• 利用仿射不变性进行归一化，假设 $ x_1,x_2,x_3 \in S^1 $ 或与 $ S^1 $ 相切，将几何条件简化为对称性性质。
• 应用扰动技术：轻微移动顶点或边（例如，将 $ x_2 $ 沿平行于 $ \text{aff}\{x_1,x_3\} $ 的直线移动），以比较体积积。
• 采用极对偶：对多边形 $ K $，其极 $ K^* $ 通过对偶直线 $ l^* $ 构造，分析在顶点修改下 $ K^* $ 的体积变化。
• 在 $ \mathbb{R}^3 $ 中使用向量叉积计算 $ K^* $ 中的面积变化，特别是 $ \langle (l_{3.5}^* - l_{1.5}^*) \times (\tilde{l}^* - l^*), (0,0,1) \rangle $，以量化 $ \Delta V(K^*) $。
• 结合数学归纳法与紧致性论证，证明极值多边形必须恰好有 $ n $ 个顶点，并满足严格的对称性条件。
• 依赖反证法：假设对称性不成立（例如，$ o, (x_1+x_3)/2, x_2 $ 不共线），对 $ K $ 进行扰动，证明体积积增加，与最大性矛盾。

实验结果

研究问题

• RQ1 在所有顶点数不超过 $ n $ 的关于原点对称凸 n 边形中，哪些图形使体积积 $ V(K)V(K^*) $ 最大？
• RQ2 当 $ K $ 的 John 椭圆或 Löwner 椭圆为单位圆时，Blaschke-Santaló 不等式是否可进一步加强？
• RQ3 当 $ K $ 具有 n 重旋转对称性时，$ V(K^*) $ 的精确最大值如何表示为 $ V(K) $ 及 John 或 Löwner 椭圆面积的函数？
• RQ4 能否为平面 Blaschke-Santaló 不等式建立稳定性估计，量化当体积积接近最优时 $ K $ 必须多接近极值图形？

主要发现

• 当 $ n \geq 6 $ 且为偶数时，关于原点对称的凸 n 边形中，$ V(K)V(K^*) $ 的最大值为 $ n^2 \sin^2(\pi/n) $，当且仅当 $ K $ 为正 n 边形时取等。
• 若某关于原点对称的 $ K $ 的 John 椭圆或 Löwner 椭圆为单位圆，则算术平均 $ (V(K) + V(K^*)) / 2 \geq \pi $，等号成立当且仅当 $ K $ 为圆。
• 在关于 $ o $ 的 n 重旋转对称条件下，$ V(K^*) $ 的最大值被显式表示为 $ V(K) $ 及 John 或 Löwner 椭圆面积的函数。
• 在关于原点对称和顶点数约束下，满足 Blaschke-Santaló 不等式的极值多边形恰好是仿射正 n 边形。
• 本文证明，任何在 n 个顶点的多边形中使 $ V(K)V(K^*) $ 最大的关于原点对称多边形，必须满足两个几何对称条件：(i) 对连续顶点，$ o, (x_1+x_3)/2, x_2 $ 共线；(ii) 对对边对也存在类似的共线性。
• 证明表明，若这些对称性条件不成立，则可通过扰动使 $ V(K)V(K^*) $ 严格增大，与最大性矛盾。