29.5 쿼터니언 기반 회전 표현
쿼터니언(quaternion, 사원수)은 4개의 매개변수로 3차원 회전을 표현하는 수학적 도구로서, 짐벌 락이 없고 수치적으로 안정한 자세 표현을 제공한다. 본 절에서는 쿼터니언의 학술적 정의, 회전 표현, 학술적 활용을 다룬다.
1. 쿼터니언의 학술적 정의
쿼터니언은 윌리엄 해밀턴(William Hamilton)이 1843년에 정의한 4차원 수 체계이다. 학술적으로 다음과 같이 표현된다.
q = q_0 + q_1 i + q_2 j + q_3 k
또는 벡터 형태로 다음과 같이 표현된다.
q = (q_0, q_1, q_2, q_3) = (q_0, \vec{q}_v)
여기서 q_0은 스칼라 부분, \vec{q}_v = (q_1, q_2, q_3)는 벡터 부분, i, j, k는 다음 관계를 만족하는 가상 단위이다.
i^2 = j^2 = k^2 = ijk = -1
29.5.2 단위 쿼터니언과 회전
회전 표현에는 단위 쿼터니언(unit quaternion)이 활용된다. 단위 쿼터니언은 다음 조건을 만족한다.
q_0^2 + q_1^2 + q_2^2 + q_3^2 = 1
회전 축 \hat{\vec{n}}과 회전각 \theta에 대응하는 단위 쿼터니언은 다음과 같이 표현된다.
q = (\cos(\theta/2), \hat{\vec{n}} \sin(\theta/2))
이 표현은 짐벌 락이 없는 학술적 자세 표현을 제공한다.
29.5.3 쿼터니언 곱
쿼터니언의 곱은 회전의 합성을 표현한다. 두 쿼터니언 p = (p_0, \vec{p}_v)와 q = (q_0, \vec{q}_v)의 곱은 다음과 같이 정의된다.
p \otimes q = (p_0 q_0 - \vec{p}_v \cdot \vec{q}_v, p_0 \vec{q}_v + q_0 \vec{p}_v + \vec{p}_v \times \vec{q}_v)
쿼터니언 곱은 일반적으로 비가환적이다.
p \otimes q \neq q \otimes p
이는 회전의 비가환성을 반영한다.
29.5.4 쿼터니언과 회전 행렬의 변환
단위 쿼터니언 q = (q_0, q_1, q_2, q_3)로부터 회전 행렬은 다음과 같이 산출된다.
\mathbf{R}(q) = \begin{bmatrix} q_0^2 + q_1^2 - q_2^2 - q_3^2 & 2(q_1 q_2 - q_0 q_3) & 2(q_1 q_3 + q_0 q_2) \\ 2(q_1 q_2 + q_0 q_3) & q_0^2 - q_1^2 + q_2^2 - q_3^2 & 2(q_2 q_3 - q_0 q_1) \\ 2(q_1 q_3 - q_0 q_2) & 2(q_2 q_3 + q_0 q_1) & q_0^2 - q_1^2 - q_2^2 + q_3^2 \end{bmatrix}
회전 행렬에서 쿼터니언으로의 변환도 표준화된 알고리즘을 통해 수행된다.
2. 쿼터니언의 켤레와 역원
쿼터니언의 켤레(conjugate)는 다음과 같이 정의된다.
q^* = (q_0, -\vec{q}_v)
단위 쿼터니언의 역원은 켤레와 같다.
q^{-1} = q^* \quad (\|q\| = 1)
이는 회전의 역회전을 표현한다.
3. 쿼터니언의 시간 미분
쿼터니언의 시간 미분과 각속도의 관계는 다음과 같이 표현된다.
\dot{q} = \frac{1}{2} q \otimes \omega_q
여기서 \omega_q = (0, \vec{\omega})는 각속도 \vec{\omega}의 쿼터니언 표현이다. 이 미분 방정식은 자세 추정과 자세 적분에 활용된다.
29.5.7 쿼터니언 보간
두 자세 사이의 보간에는 SLERP(spherical linear interpolation)가 활용된다.
\text{SLERP}(q_0, q_1, t) = \frac{\sin((1-t)\Omega)}{\sin\Omega} q_0 + \frac{\sin(t\Omega)}{\sin\Omega} q_1
여기서 \Omega는 두 쿼터니언 사이의 각도이다. SLERP는 두 자세 사이의 일정한 각속도 회전을 보장한다.
4. 쿼터니언의 학술적 장점
쿼터니언은 다음과 같은 학술적 장점을 가진다.
첫째, 짐벌 락이 없다. 둘째, 4개의 매개변수로 3차원 회전을 표현하여 회전 행렬의 9개 매개변수보다 효율적이다. 셋째, 수치적 안정성이 우수하다. 넷째, 쿼터니언 곱이 회전 합성을 효율적으로 표현한다. 다섯째, 보간이 학술적으로 잘 정의된다.
5. 쿼터니언의 학술적 한계
쿼터니언의 학술적 한계는 다음과 같다. 첫째, 직관적 해석이 회전 행렬이나 오일러 각보다 어렵다. 둘째, 같은 회전이 두 가지 쿼터니언(q와 -q)으로 표현되어, 이중 표현(double cover)의 학술적 처리가 필요하다. 셋째, 단위 노름 조건이 수치적 오차에 의해 위반될 수 있어 정규화가 필요하다.
6. 항공 로봇 공학에서의 활용
쿼터니언은 항공 로봇 공학에서 다음과 같이 활용된다.
첫째, 비행체의 자세 추정과 적분. 짐벌 락의 회피로 인해 비행 제어 시스템에서 표준적으로 활용된다. 둘째, 자세 추정 알고리즘(EKF, UKF, 상보 필터 등)의 자세 변수 표현. 셋째, 시각 기반 위치 추정에서의 자세 표현. 넷째, 컴퓨터 그래픽스와 시뮬레이션의 자세 보간. 다섯째, 매니퓰레이터의 자세 명령 표현.
7. 학술적 의의
쿼터니언 기반 회전 표현은 로봇 공학과 항공 우주 분야에서 가장 학술적으로 선호되는 자세 표현 방법이다. 짐벌 락의 회피, 수치적 안정성, 효율적 보간 등의 장점은 로봇 공학의 다양한 응용에서 핵심적이다. 쿼터니언의 학술적 이해와 정확한 적용은 자세 추정과 비행 제어의 학술적·실무적 발전에 필수적인 토대가 된다.
8. 출처
- Hamilton, W. R., Lectures on Quaternions, Hodges and Smith, 1853.
- Diebel, J., Representing Attitude: Euler Angles, Unit Quaternions, and Rotation Vectors, Stanford University Technical Report, 2006.
- Shuster, M. D., “A survey of attitude representations”, Journal of the Astronautical Sciences, Vol. 41, No. 4, pp. 439–517, 1993.
- Kuipers, J. B., Quaternions and Rotation Sequences: A Primer with Applications to Orbits, Aerospace, and Virtual Reality, Princeton University Press, 1999.
- Spong, M. W., Hutchinson, S., and Vidyasagar, M., Robot Modeling and Control, 2nd edition, Wiley, 2020.
- Lynch, K. M. and Park, F. C., Modern Robotics: Mechanics, Planning, and Control, Cambridge University Press, 2017.
9. 버전
- 문서 버전: 1.0
- 작성일: 2026-04-18