[论文解读] On the volume of spherical Lambert cube

Dmitriy Derevnin, Alexander Mednykh|ArXiv.org|Dec 21, 2002

Sports Dynamics and Biomechanics参考文献 8被引用 6

一句话总结

本文推导出具有二面角 $ \alpha, \beta, \gamma \in (\pi/2, \pi) $ 的球面Lambert立方体 $ Q(\theta, \beta, \theta) $ 的闭式体积公式，使用了Lobachevsky函数的新型球面类比 $ \delta(\alpha, \theta) $。体积以涉及 $ \delta $ 的积分形式表示，主参数 $ \theta $ 由角度的正切函数确定，将Kellerhals的双曲体积公式扩展至球面情形。

ABSTRACT

The calculation of volumes of polyhedra in the three-dimensional Euclidean, spherical and hyperbolic spaces is very old and difficult problem. In particular, an elementary formula for volume of non-euclidean simplex is still unknown. One of the simplest polyhedra is the Lambert cube Q(α,β,γ). By definition, Q(α,β,γ) is a combinatorial cube, with dihedral angles α,βand γassigned to the three mutually non-coplanar edges and right angles to the remaining. The hyperbolic volume of Lambert cube was found by Ruth Kellerhals (1989) in terms of the Lobachevsky function Λ(x). In the present paper the spherical volume of Q(α,β,γ) is defined in the terms of the function δ(α,θ) which can be considered as a spherical analog of the Lobachevsky function Δ(α,θ)=Λ(α+ θ) - Λ(α- θ)

研究动机与目标

• 将已知的Lambert立方体双曲体积公式扩展至球几何时空。
• 定义Lobachevsky函数 $ \Lambda(x) $ 的球面类比，引入函数 $ \delta(\alpha, \theta) $。
• 为二面角位于 $ (\pi/2, \pi) $ 的球面Lambert立方体建立闭式体积公式。
• 将球面体积函数 $ \delta(\alpha, \theta) $ 与经典polylogarithm函数联系起来。
• 为使用积分与几何参数化计算球面多面体体积提供完整的解析框架。

提出的方法

• 引入函数 $ \delta(\alpha, \theta) = \int_{\theta}^{\pi/2} \log(1 - \cos 2\alpha \cos 2\tau) \frac{d\tau}{\cos 2\tau} $ 作为双曲Lobachevsky函数 $ \Lambda(x) $ 的球面类比。
• 推导出球面Lambert立方体的体积为 $ V(\alpha,\beta,\gamma) = \frac{1}{4} \left( \delta(\alpha,\theta) + \delta(\beta,\theta) + \delta(\gamma,\theta) - 2\delta(\pi/2,\theta) - \delta(0,\theta) \right) $。
• 通过方程 $ \tan^2 \theta = -p + \sqrt{p^2 + L^2 M^2 N^2} $ 定义主参数 $ \theta \in (\pi/2, \pi) $，其中 $ L = \tan \alpha $，$ M = \tan \beta $，$ N = \tan \gamma $，且 $ p = (L^2 + M^2 + N^2 + 1)/2 $。
• 建立球面函数 $ \delta $ 与双曲函数 $ \Delta $ 之间的复分析桥梁，证明 $ i\delta(\alpha, \widetilde{\theta}) - i\delta(\alpha, 0) = -\Delta(\alpha, i\theta) + \Delta(\pi/4, i\theta) $，其中 $ \widetilde{\theta} $ 通过双曲恒等式与 $ \theta $ 相关联。
• 将 $ \delta(\alpha, \theta) $ 与多对数函数 $ \text{Li}_2(r,t) $ 联系起来，证明 $ \delta(\alpha, \theta) - \delta(\alpha, \pi/4) = \text{Li}_2(\tan(\pi/4 - \theta), \pi/2) - \text{Li}_2(\tan(\pi/4 - \theta), 2\alpha) $ 对于 $ -\pi/4 < \theta < 3\pi/4 $ 成立。
• 使用微分方程与解析延拓验证体积公式的自洽性，表明差值函数 $ F(\alpha, \theta) $ 恒为零。

实验结果

研究问题

• RQ1 能否推导出类似于已知双曲公式、适用于球面Lambert立方体的闭式体积公式？
• RQ2 Lobachevsky函数 $ \Lambda(x) $ 的适当球面类比是什么？它如何定义？
• RQ3 控制体积的主参数 $ \theta $ 如何从二面角 $ \alpha, \beta, \gamma $ 确定？
• RQ4 球面体积函数 $ \delta(\alpha, \theta) $ 与经典多对数函数之间存在何种关系？
• RQ5 通过复化，球面体积公式如何与双曲体积公式在分析上关联？

主要发现

• 对于二面角 $ \alpha, \beta, \gamma \in (\pi/2, \pi) $ 的球面Lambert立方体 $ Q(\alpha, \beta, \gamma) $，其体积为 $ V = \frac{1}{4} \left( \delta(\alpha,\theta) + \delta(\beta,\theta) + \delta(\gamma,\theta) - 2\delta(\pi/2,\theta) - \delta(0,\theta) \right) $，其中 $ \delta $ 为新引入的球面积分函数。
• 主参数 $ \theta $ 通过隐式方程 $ \tan^2 \theta = -p + \sqrt{p^2 + L^2 M^2 N^2} $ 定义，其中 $ p = (L^2 + M^2 + N^2 + 1)/2 $，$ L = \tan \alpha $，依此类推。
• 函数 $ \delta(\alpha, \theta) $ 满足一个微分方程，通过复分析延拓将其与双曲体积函数 $ \Delta(\alpha, \theta) $ 联系起来：$ i\delta(\alpha, \widetilde{\theta}) - i\delta(\alpha, 0) = -\Delta(\alpha, i\theta) + \Delta(\pi/4, i\theta) $。
• 当 $ \theta = \pi/4 $ 时，函数 $ \delta(\alpha, \pi/4) $ 是 $ \pi $-周期的，并满足 $ \delta(\alpha, \pi/4) = \left( \frac{\pi}{2} - \left| \frac{\pi}{2} - \alpha \right| \right)^2 - \frac{\pi^2}{16} $，对 $ 0 < \alpha < \pi $ 成立。
• 差值 $ \delta(\alpha, \theta) - \delta(\alpha, \pi/4) $ 可精确表示为多对数函数：$ \text{Li}_2(\tan(\pi/4 - \theta), \pi/2) - \text{Li}_2(\tan(\pi/4 - \theta), 2\alpha) $，在 $ -\pi/4 < \theta < 3\pi/4 $ 范围内有效。
• 通过证明差值函数 $ F(\alpha, \theta) $ 的导数恒为零，且初始条件 $ F(\alpha, 0) = 0 $ 成立，验证了体积公式的自洽性。