[论文解读] Davis' Convexity Theorem and Extremal Ellipsoids

Matthias J. Weber, Hans-Peter Schröcker|arXiv (Cornell University)|Jul 7, 2009

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

一句话总结

本文通过在变换后的特征值函数上应用凸性与凹性准则，建立了在一般大小函数下最小外接椭球与最大内接椭球的唯一性条件。证明表明，当大小函数与半轴长度的特定幂次变换复合后为凸函数（最小椭球）或凹函数（最大椭球）时，唯一性成立，且对体积、混合体积积分及弧长给出了明确结果。

ABSTRACT

We give a variety of uniqueness results for minimal ellipsoids circumscribing and maximal ellipsoids inscribed into a convex body. Uniqueness follows from a convexity or concavity criterion on the function used to measure the size of the ellipsoid. Simple examples with non-unique minimal or maximal ellipsoids conclude this article.

研究动机与目标

• 为给定凸体建立最小外接椭球与最大内接椭球唯一的普遍条件。
• 将经典唯一性结果（如约翰定理）从体积推广至更广泛类别的大小函数。
• 基于变换后特征值函数的凸性或凹性，识别大小函数唯一性的必要与充分条件。
• 提供反例，说明当大小函数不具备凸性或凹性时，极值椭球可能不唯一。
• 通过对称矩阵表示与中间椭球构造，统一并推广先前关于极值椭球的研究成果。

提出的方法

• 通过对称正半定矩阵与中心向量表示椭球，采用形式 $(x - m)^T A (x - m) \leq 1$。
• 在矩阵 $A$ 的有序特征值上定义大小函数 $f$，要求其连续、严格单调且对称。
• 应用戴维斯凸性定理，分析 $f \circ w^p$ 在 $p = -1, -1/2$（最小椭球）与 $p = 1, 1/2$（最大椭球）时的凸性或凹性。
• 通过在两个候选极值椭球之间进行矩阵插值，构造一个“中间椭球” $E_\lambda$，若唯一性不成立则导出矛盾。
• 利用极分解与齐次矩阵表示，简化固定中心或轴的椭球分析。
• 结合几何与解析技术，包括椭圆积分用于弧长计算，在反例中评估大小函数。

实验结果

研究问题

• RQ1 在何种大小函数 $f$ 的条件下，凸体的最小外接椭球唯一？
• RQ2 当 $f$ 不是体积时，最大内接椭球在何种条件下唯一？
• RQ3 当大小函数缺乏凸性或凹性时，极值椭球的非唯一性是否可能发生？
• RQ4 这些结果如何推广先前关于体积、混合体积积分与弧长的唯一性定理？
• RQ5 函数 $f \circ w^p$ 的凸性或凹性在确保极值椭球唯一性方面起何作用？

主要发现

• 若 $f \circ w^{-1}$ 或 $f \circ w^{-1/2}$ 为凸函数，则最小外接椭球唯一，将约翰定理推广至体积之外。
• 若 $f \circ w^{1}$ 为凹函数，或 $f \circ w^{1/2}$ 为凹函数且中心已知，则最大内接椭球唯一。
• 当大小函数缺乏凸性或凹性时，非唯一性可能发生；例如，当 $f(a,b) = \max\{a,b\} + 16\min\{a,b\}$ 时，存在两个不同的椭圆通过正方形顶点，其大小小于外接圆。
• 对于等边三角形，最大弧长内接椭圆不唯一，因为沿边的退化椭圆其弧长大于内切圆（$f(E_s) = 2 > \pi/\sqrt{3} \approx 1.8138$）。
• 弧长的大小函数涉及第一类完全椭圆积分，其非凹性导致非唯一性。
• 在未指定中心的一般情况下，最大内接椭球的 $p = 1/2$ 情况下，唯一性结果仍为开放问题。