[论文解读] Convex Hull of Two Orthogonal Disks

Steven R. Finch|arXiv (Cornell University)|Nov 19, 2012

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

一句话总结

本文针对 R³ 中两个正交圆盘在三种构型下形成的凸包，计算了其体积、表面积和平均宽度的精确闭式表达式：同心、中心偏移且在一点相切，以及最大分离状态。通过直接积分和一种将平均宽度与平均曲率积分关联的间接方法，研究推导出体积和表面积的精确结果，而平均宽度在非平凡情况下以复杂数形式的椭圆积分表示。

ABSTRACT

Three configurations of two perpendicular disks in R^3 are examined, the first in which the disks share centers and the other two in which the disks touch at precisely one point. Volume, surface area and mean width calculations dominate the discussion. Integrated mean curvature also appears as an indirect way to compute mean width.

研究动机与目标

• 推导两个正交圆盘在 R³ 中形成的凸包的体积、表面积和平均宽度的精确闭式表达式。
• 研究三种不同的构型：同心圆盘、中心偏移且在一点相切的圆盘，以及最大分离的圆盘。
• 验证通过平均曲率积分计算平均宽度的间接方法在非多面体、光滑-奇异体上的严格适用性。
• 利用高级椭圆积分解决关于“双圆滚轮”和“oloid”构型中平均宽度表达式的开放问题。

提出的方法

• 通过凸包边界参数表示的平面投影进行直接积分，计算体积和表面积。
• 应用将平均宽度与平均曲率积分关联的间接方法，使用公式：$ MW = \frac{1}{2\pi}\int_{\partial\Omega} H\,dS + \frac{1}{4\pi}\sum_{j=1}^{n}\int_{\varepsilon_j} \alpha_j\,ds $，其中 $ H $ 为平均曲率，$ \alpha_j $ 为外二面角。
• 利用高度函数的偏导数计算光滑曲面片上的平均曲率 $ H $。
• 通过计算含 $ \sqrt{1-x^2} $、$ \sqrt{2-x^2} $ 的积分并结合三角代换，推导出闭式表达。
• 将积分变换为第一、二、三种椭圆积分形式，以精确表达表面积和平均宽度。
• 通过数值验证并对比已知值（如 $ VL_1 = 8/3 $，$ VL_2 = \pi $）确认结果正确性。

实验结果

研究问题

• RQ1 两个正交圆盘在 R³ 中形成的凸包的体积、表面积和平均宽度的精确闭式表达式是什么？
• RQ2 通过平均曲率积分计算平均宽度的间接方法是否可严格应用于非多面体、分段光滑的凸体？
• RQ3 几何不变量——体积、表面积和平均宽度——如何随两个正交圆盘的相对位置（同心、相切或最大分离）而变化？
• RQ4 “双圆滚轮”和“oloid”构型的平均宽度的精确表达式是什么？其与椭圆积分有何关联？
• RQ5 符号计算工具是否能够解决涉及椭圆积分复数参数的平均宽度表达式的代数复杂性？

主要发现

• 对于同心正交圆盘，体积精确为 $ \frac{8}{3} $，表面积为 $ 2(2 + \pi) \approx 10.283 $，平均宽度为 $ \frac{1}{\pi} \left( 2\sqrt{2} \ln(\sqrt{2} - 1) - 4 \text{Li}_2(-1 + \sqrt{2}) + 4 \right) $。
• 对于偏移构型（示例2），体积为 $ \pi $，表面积约为 $ 13.92 $，平均宽度约为 $ 2.277 $，其精确表达式涉及椭圆积分。
• 对于最大分离构型（示例3），体积约为 $ 3.627 $，表面积 $ \approx 15.97 $，平均宽度 $ \approx 2.645 $，表面积表达式为 $ \frac{4}{3}\left[9E(1/9) - 8K(1/9) + 8\Pi(-1/3, 1/9)\right] $。
• 通过平均曲率积分计算平均宽度的间接方法被证实适用于非多面体、分段光滑的凸包，支持其在材料科学和天体物理学中的应用。
• “oloid”构型的体积约为 $ 3.052 $，表面积为 $ 4\pi $，其精确表达式以不完全椭圆积分 $ E $ 和 $ F $ 表示。
• “双圆滚轮”的体积为 $ \frac{8}{3\sqrt{2}}\gamma $，表面积为 $ 8\gamma $，其中 $ \gamma $ 是包含 $ E $、$ F $ 和 $ \Pi $ 的复积分表达式，且 $ \gamma \approx 1.6409 $。