[논문 리뷰] Derivation of the Euler-Rodrigues formula for three-dimensional rotations from the general formula for four-dimensional rotations

Johan Ernest Mebius|ArXiv.org|2007. 01. 26.

Mathematics and Applications인용 수 31

한 줄 요약

이 논문은 일반적인 4차원 회전 행렬에 특수화하여 3차원 회전의 오일러-로드리게스 공식을 유도한다. 여기서 $a_{00} = 1$ 조건은 허문수의 구조를 강제한다. 이를 통해 좌측 및 우측 허문수의 역관계가 증명되며, 표준 3차원 회전 공식 $ \mathbf{q} \to \mathbf{p} \mathbf{q} \mathbf{p}^{-1}$ 가 도출된다. 또한 $a_{00} = -1$ 조건을 통해 3차원의 회전-반사 변환으로의 유도를 확장한다. 주요 기여는 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차원 회전 간의 수학적 연결 고리를 확립하는 것.
• 조건 $a_{00} = 1$ 하에서 4차원 회전 분해의 좌측 및 우측 허문수가 상호 역관계에 있음을 증명하여 표준 3차원 회전 공식을 도출하는 것.
• 조건 $a_{00} = -1$ 을 설정하여 3차원의 회전-반사 변환으로의 유도를 확장하고, 이에 대응하는 공식을 제공하는 것.

제안 방법

• 일반적인 4차원 회전 행렬 $A = M_L M_R$ 에서 $a_{00} = 1$ 을 강제하여 3차원 회전 행렬로 축소하는 것.
• 4차원 회전 매개변수와 3차원 회전 허문수 간의 관계를 설정하기 위해 $ap, aq, ar, as, \dots, dp, dq, dr, ds$ 의 곱을 포함하는 연관 행렬 $M$ 을 사용하는 것.
• 회전 각도에 대한 부등식을 적용하여 $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$ 와 동일한 식을 사용하는 것.
• 행렬 표현을 수정하여 $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차원 회전 행렬에서 복원되며, 이들의 제곱합은 1과 같다.
• 조건 $ap \leq 0$ 과 $bq, cr, ds \geq 0$ 하에서 $a = -p$, $q = b$, $r = c$, $s = d$ 가 도출되며, 이는 좌우 허문수가 역관계에 있음을 확인한다.
• 반사-회전의 경우 $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이므로, 행렬 요소로부터 허문수 성분을 복원할 수 있다.