[论文解读] The Blaschke-Lebesgue problem for constant width bodies of revolution

Henri Anciaux, Nikos Georgiou|ArXiv.org|Mar 25, 2009

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

一句话总结

本文证明，在三维欧几里得空间中所有等宽旋转体中，绕其对称轴旋转的勒洛三角形使体积与宽度立方之比最小。通过基于支撑函数及其扰动的变分法方法，作者表明，任何偏离勒洛三角形结构的改变都会增加该比值，从而确认其为旋转体类中的最小化器，并意味着全局布拉施克-勒贝格最小化器不可能是旋转体。

ABSTRACT

We prove that among all constant width bodies of revolution, the minimum of the ratio of the volume to the cubed width is attained by the constant width body obtained by rotation of the Reuleaux triangle about an axis of symmetry.

研究动机与目标

• 确定使体积与宽度立方之比最小的等宽旋转体。
• 确立绕其对称轴旋转的勒洛三角形实现该最小值。
• 证明三维布拉施克-勒贝格问题的全局最小化器不可能是旋转体。
• 建立基于支撑函数及其二阶导数的分析框架，以表征最小化器。
• 证明勒洛三角形对应于函数 $ h'' + h $ 中不连续点数最少的情形，该函数表征体积比的最小性。

提出的方法

• 作者使用支撑函数 $ s = h + w $，其中 $ h = s - w $，对等宽体进行参数化，并将问题简化为对 $ h $ 的分析。
• 他们应用法向流论证，表明最小化器必须具有奇异性，这种奇异性由函数 $ h $ 描述，且在流下保持不变。
• 体积与宽度立方之比 $ ilde{rak{F}}(h) $ 表示为 $ h $ 的泛函，其二阶变分被分析以推导稳定性条件。
• 最小化的关键条件是 $ |h'' + h| $ 必须为常数，这限制了 $ h $ 的结构。
• 作者比较了 $ h'' + h $ 中具有不同不连续点数的 $ h $ 的扰动，表明仅勒洛三角形能使泛函最小化。
• 他们使用 $ \arccos $ 的幂级数展开及系数的正性，证明任何非勒洛三角形构型都会增加该比值。

实验结果

研究问题

• RQ1 哪种等宽旋转体使体积与宽度立方之比最小？
• RQ2 绕其对称轴旋转的勒洛三角形是否是旋转体类中唯一的最小化器？
• RQ3 三维布拉施克-勒贝格最小化器是否可能是旋转体？
• RQ4 支撑函数的二阶导数结构如何与体积比的最小性相关？
• RQ5 函数 $ h'' + h $ 中的不连续点在决定体积比方面起什么作用？

主要发现

• 绕其对称轴旋转的勒洛三角形在所有等宽旋转体中使体积与宽度立方之比最小。
• 该最小比值约为 $ 0.8584 $，严格大于梅斯纳四面体实现的 $ 0.8019 $。
• 最小化器对应于 $ h'' + h $ 具有最少不连续点的情形，具体为在 $ t = \pi/3 $ 处有两个奇点。
• 任何在 $ h'' + h $ 中具有超过两个不连续点的构型都会导致更大的体积比，从而证明勒洛三角形是最优的。
• 证明表明，除非函数 $ h $ 对应该勒洛三角形，否则体积比在某些扰动下会减小。
• 该结果意味着三维布拉施克-勒贝格问题的全局最小化器不可能是旋转体，因为勒洛三角形并非全局最小化器。