[论文解读] Width Distributions for Convex Regular Polyhedra

Steven R. Finch|arXiv (Cornell University)|Oct 4, 2011

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

一句话总结

本文通过几何概率与球面对面积分，推导出边长为单位长度的正四面体和立方体的均方宽度。验证了已知的均宽公式，并得出新结果：$ \operatorname{E}(w_{ \text{tetra}}^2) = \frac{1}{3}\left(1 + \frac{3 + \sqrt{3}}{\pi}\right)$ 和 $ \operatorname{E}(w_{ \text{cube}}^2) = 1 + \frac{4}{\pi}$，这些结果通过精确计算复杂定积分获得。

ABSTRACT

The mean width is a measure on three-dimensional convex bodies that enjoys equal status with volume and surface area [Rota]. As the phrase suggests, it is the mean of a probability density f. We verify formulas for mean widths of the regular tetrahedron and the cube. Higher-order moments of f_tetra and f_cube have not been examined until now. Assume that each polyhedron has edges of unit length. We deduce that the mean square width of the regular tetrahedron is 1/3+(3+sqrt(3))/(3*pi) and the mean square width of the cube is 1+4/pi.

研究动机与目标

• 计算凸正多面体宽度分布的高阶矩，特别是均方宽度。
• 验证边长为单位长度的正四面体与立方体的已知均宽公式。
• 通过分析宽度分布的球面对面积分，将几何概率方法从二维推广至三维。
• 精确求解源于四面体宽度分布的复杂定积分，该积分在解析上具有挑战性。

提出的方法

• 将宽度建模为沿单位球面上随机单位向量方向的支撑平面之间的距离，使用 $S^2$ 上的均匀分布。
• 通过原点引出的直线与以各面形心为中心、半径为1的8个重叠单位球面的交点之间的13个不同距离的最大值来表示宽度分布。
• 将三维宽度计算简化为对由几何交点导出的分段定义函数 $g$ 的平方根在单位球面上的球面积分。
• 使用三角代换与球坐标 $( \theta, \varphi)$ 参数化，将宽度函数表示为 $\cos\theta$、$\sin\theta$、$\cos\varphi$、$\sin\varphi$ 的形式。
• 利用对称性与分解方法，将关键区域 $0 \leq \theta \leq \pi/3$，$\varphi \geq \varphi(\theta)$ 中的主导项 $g_1$ 分离出来，其中 $\varphi(\theta) = 2\arctan(h(\theta))$。
• 通过三角恒等式与代换计算所得积分，最终推导出 $\operatorname{E}(w_{ \text{tetra}}^2)$ 的闭式表达式。

实验结果

研究问题

• RQ1 边长为单位长度的正四面体的均方宽度是多少？其与均宽相比有何差异？
• RQ2 如何利用球面对面积分与几何概率分析边长为单位长度的立方体的宽度分布？
• RQ3 正四面体宽度分布的二阶矩的精确值是多少？其如何从一个非平凡的定积分推导得出？
• RQ4 是否可以系统地通过原点引出的直线与以各面形心为中心的重叠球面的交点，研究凸正多面体的宽度分布？
• RQ5 求解四面体宽度计算中出现的复杂定积分，需要哪些解析技巧？

主要发现

• 边长为单位长度的正四面体的均方宽度为 $\operatorname{E}(w_{ \text{tetra}}^2) = \frac{1}{3}\left(1 + \frac{3 + \sqrt{3}}{\pi}\right)$，此为通过精确积分得出的新结果。
• 边长为单位长度的立方体的均方宽度为 $\operatorname{E}(w_{ \text{cube}}^2) = 1 + \frac{4}{\pi}$，通过球面对面积分与对称性得到验证。
• 本文通过几何概率验证了已知的正四面体均宽公式：$\operatorname{E}(w_{ \text{tetra}}) = \frac{3}{2\pi}\arccos(-1/3)$。
• 立方体的均宽被确认为 $\operatorname{E}(w_{ \text{cube}}) = \frac{3}{2}$，与已知结果一致。
• 正四面体宽度函数的主导项为 $g_1$，其在区域 $0 \leq \theta \leq \pi/3$ 且 $\varphi \geq 2\arctan(h(\theta))$ 内有效，其中 $h(\theta) = \frac{\cos\theta + \sqrt{3}\sin\theta + \sqrt{10 - \cos(2\theta) + \sqrt{3}\sin(2\theta)}}{2\sqrt{2}}$。
• 最终 $\operatorname{E}(w_{ \text{tetra}}^2)$ 的表达式通过在 $\theta \in [0, \pi/3]$ 上对推导出的函数进行积分获得，结果为闭式表达。