[論文レビュー] On the volume of spherical Lambert cube

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

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

ひとこと要約

本稿では、双曲的体積公式を球面幾何に拡張するため、Lobachevsky関数の新しい球面類似関数 $ \delta(\alpha, \theta) $ を導入し、球面Lambert立方体 $ Q(\theta, \beta, \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) $ を定義すること。
• 球面Lambert立方体の体積に対して閉形式の体積公式を確立すること。ただし、二面角は $ (\pi/2, \pi) $ の範囲にあるものとする。
• 球面体積関数 $ \delta(\alpha, \theta) $ と古典的ディログ動関数との関係を特定すること。
• 球面多面体の体積を積分と幾何的パラメータ化を用いて計算するための包括的な解析的枠組みを提供すること。

提案手法

• 双曲的Lobachevsky関数 $ \Lambda(x) $ の球面類似関数として、$ \delta(\alpha, \theta) = \int_{\theta}^{\pi/2} \log(1 - \cos 2\alpha \cos 2\tau) \frac{d\tau}{\cos 2\tau} $ を導入する。
• 球面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) $ として導出する。
• 主パラメータ $ \theta \in (\pi/2, \pi) $ を方程式 $ \tan^2 \theta = -p + \sqrt{p^2 + L^2 M^2 N^2} $ により定義する。ここで $ 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 $-周期的であり、$ 0 < \alpha < \pi $ に対して $ \delta(\alpha, \pi/4) = \left( \frac{\pi}{2} - \left| \frac{\pi}{2} - \alpha \right| \right)^2 - \frac{\pi^2}{16} $ を満たす。
• 差関数 $ \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 $ を満たすことで確認された。