[論文レビュー] Derivation of the Euler-Rodrigues formula for three-dimensional rotations from the general formula for four-dimensional rotations

Johan Ernest Mebius|ArXiv.org|Jan 26, 2007

Mathematics and Applications被引用数 31

ひとこと要約

本稿では、4次元回転行列の一般形を特殊化することで、3次元回転のオイラー＝ロドリゲスの公式を導出している。ここで、$a_{00} = 1$ という条件がクォータニオン構造を強制する。左クォータニオンと右クォータニオンが互いに逆数であることを証明し、標準的な3次元回転公式 $ \mathbf{q} \to \mathbf{p} \mathbf{q} \mathbf{p}^{-1}$ を得る。さらに、$a_{00} = -1$ とすることで3次元回転反転（rotoreflection）への拡張も行っている。主な貢献は、4次元回転の原理に基づく、オイラー＝ロドリゲスの公式の厳密な行列論的導出である。

ABSTRACT

The general 4D rotation matrix is specialised to the general 3D rotation matrix by equating its leftmost top element (a00) to 1. Its associate matrix of products of the left-hand and right-hand quaternion components is specialised correspondingly. Inequalities involving the angles through which the coordinate axes in 3D space are displaced are used to prove that the left-hand and the right-hand quaternions are each other's inverses, thus proving the Euler-Rodrigues formula. A general procedure to determine the Euler parameters of a given 3D rotation matrix is sketched. By equating the leftmost top element to -1 instead of +1 in the general 4D rotation matrix, one proves the counterpart of the Euler-Rodrigues formula for 3D rotoreflections. Keywords: Euler--Rodrigues formula, Euler parameters, quaternions, four--dimensional rotations, three--dimensional rotations, rotoreflections

研究の動機と目的

• 4次元回転行列の一般形式から、3次元回転のオイラー＝ロドリゲスの公式を導出すること。
• クォータニオン因子分解を通じて、4次元回転行列と3次元回転の間の数学的関係を確立すること。
• 4次元回転分解における左クォータニオンと右クォータニオンが、$a_{00} = 1$ の条件下で互いに逆数であることを証明し、標準的な3次元回転公式を導出すること。
• $a_{00} = -1$ とすることで、3次元回転反転への導出を拡張し、対応する公式を提供すること。

提案手法

• 4次元回転行列 $A = M_L M_R$ を特殊化し、$a_{00} = 1$ を課して3次元回転行列に還元する。
• 積 $ap, aq, ar, as, \dots, dp, dq, dr, ds$ の関連行列 $M$ を用い、4次元回転パラメータと3次元回転クォータニオンを関連付ける。
• 回転角に関する不等式を適用し、$ap \leq 0$ および $bq, cr, ds \geq 0$ を示す。これにより、クォータニオン成分間の符号関係が制約される。
• 恒等式 $a^2 = p^2$ と $bq, cr, ds$ の非負性から、$a = -p$ および $q = b, r = c, s = d$ を導出。これにより、左クォータニオンと右クォータニオンが逆数であることを証明する。
• 行列 $M$ を用いて、与えられた3次元回転行列からオイラー・パラメータ $a, b, c, d$ を再構成する。具体的には $a = (a_{11} + a_{22} + a_{33} + 1)/4$ などとなる。
• rotoreflection の対応公式を導出するため、$a_{00} = -1$ と設定し、符号が $(-a^2 - b^2 + c^2 + d^2, \dots)$ の行列式を得る。

実験結果

リサーチクエスチョン

• RQ1 3次元回転のオイラー＝ロドリゲスの公式を、4次元回転行列の一般形式から厳密にどのように導出できるか。
• RQ2 4次元回転行列の要素にどのような条件が課されると、左クォータニオンと右クォータニオンが互いに逆数となり、3次元回転に還元されるか。
• RQ3 与えられた3次元回転行列のオイラー・パラメータを関連行列 $M$ からどのように計算できるか。
• RQ4 3次元回転反転の公式の数学的構造は何か。また、4次元回転フレームワークとどのように関係しているか。
• RQ5 3次元回転における角度の不等式が、クォータニオン成分間の符号関係を決定する上で果たす役割は何か。

主な発見

• 4次元回転行列における $a_{00} = 1$ の条件が、左クォータニオンと右クォータニオンが互いに逆数であることを強制し、オイラー＝ロドリゲスの公式 $\mathbf{q} \to \mathbf{p} \mathbf{q} \mathbf{p}^{-1}$ を導く。
• オイラー・パラメータは $a = (a_{11} + a_{22} + a_{33} + 1)/4$, $b = (a_{11} - a_{22} + a_{33} - 1)/4$, $c = (a_{11} + a_{22} - a_{33} - 1)/4$, $d = (-a_{11} + a_{22} + a_{33} - 1)/4$ により3次元回転行列から復元可能であり、その2乗和は1に等しい。
• 制約条件 $ap \leq 0$ および $bq, cr, ds \geq 0$ の下で、$a = -p$, $q = b$, $r = c$, $s = d$ が導出され、逆数関係が確認される。
• rotoreflection の場合、$a_{00} = -1$ とすることで、行列 $\begin{bmatrix} -a^2-b^2+c^2+d^2 & 2ad-2bc & -2ac-2bd \\ -2ad-2bc & -a^2+b^2-c^2+d^2 & 2ab-2cd \\ 2ac-2bd & -2ab-2cd & -a^2+b^2+c^2-d^2 \end{bmatrix}$ が得られ、$a^2 + b^2 + c^2 + d^2 = 1$ を満たす。
• 証明に用いられた角度の不等式により、各軸の変位角の余弦は $\cos\alpha$ 以下であることが示され、これにより $bq, cr, ds$ の符号制約が裏付けられる。
• 4次元回転行列の関連行列 $M$ はランク1かつノルム1であるため、行列要素からクォータニオン成分を再構成可能である。