29.21 지수 좌표(Exponential Coordinates) 표현

지수 좌표(exponential coordinates) 표현은 리 군(Lie group)과 리 대수(Lie algebra)의 수학적 구조를 활용하여 강체 운동을 표현하는 학술적 도구이다. 이 표현은 순기구학의 지수 사상 기반 정식화(product of exponentials)와 스크류 이론의 학술적 토대가 된다. 본 절에서는 지수 좌표의 학술적 정의, 회전과 강체 운동의 지수 표현, 그리고 학술적 의의를 다룬다.

1. 리 군과 리 대수의 학술적 배경

3차원 회전의 군 $SO(3)$ 과 강체 운동의 군 $SE(3)$ 는 리 군이며, 이들은 각각 대응하는 리 대수 $\mathfrak{so}(3)$ 와 $\mathfrak{se}(3)$ 를 가진다. 리 대수는 군의 항등원에서의 접 공간(tangent space)이며, 군의 국지적 구조를 선형 공간으로 표현한다.

2. $SO(3)$ 의 지수 좌표

2.1 리 대수 $\mathfrak{so}(3)$

$\mathfrak{so}(3)$ 는 3 × 3 반대칭 행렬의 집합이다. 벡터 $\vec{\omega} = (\omega_1, \omega_2, \omega_3)^T$ 에 대응하는 반대칭 행렬은 다음과 같이 정의된다.

$[\vec{\omega}]_\times = \begin{bmatrix} 0 & -\omega_3 & \omega_2 \\ \omega_3 & 0 & -\omega_1 \\ -\omega_2 & \omega_1 & 0 \end{bmatrix}$

29.21.2.2 지수 사상

$\mathfrak{so}(3)$ 에서 $SO(3)$ 로의 지수 사상은 다음과 같이 정의된다.

$\mathbf{R} = \exp([\vec{\omega}]_\times)$

2.2 로드리게스 공식

벡터 $\vec{\omega} = \theta \hat{\vec{n}}$ 에 대해 ( $\hat{\vec{n}}$ 은 단위 벡터, $\theta$ 는 회전각), 지수 사상은 로드리게스 공식(Rodrigues’ formula)으로 표현된다.

$\exp([\vec{\omega}]_\times) = \mathbf{I} + \sin\theta [\hat{\vec{n}}]_\times + (1 - \cos\theta) [\hat{\vec{n}}]_\times^2$

이 공식은 축-각 표현에서 회전 행렬로의 변환을 명시적으로 제공한다.

29.21.2.4 지수 좌표의 해석

벡터 $\vec{\omega}$ 의 방향은 회전 축을, 크기는 회전각을 나타낸다. 즉, 지수 좌표는 회전 벡터(rotation vector)와 동등하다.

29.21.3 $SE(3)$ 의 지수 좌표

29.21.3.1 리 대수 $\mathfrak{se}(3)$

$\mathfrak{se}(3)$ 는 4 × 4 행렬의 집합으로, 다음과 같은 형태를 가진다.

$[\vec{\xi}]_\times = \begin{bmatrix} [\vec{\omega}]_\times & \vec{v} \\ \mathbf{0}^T & 0 \end{bmatrix}$

여기서 $\vec{\xi} = (\vec{v}^T, \vec{\omega}^T)^T \in \mathbb{R}^6$ 는 트위스트(twist)이다. $\vec{v}$ 는 선속도 성분, $\vec{\omega}$ 는 각속도 성분이다.

2.3 지수 사상

$\mathfrak{se}(3)$ 에서 $SE(3)$ 로의 지수 사상은 다음과 같이 정의된다.

$\mathbf{T} = \exp([\vec{\xi}]_\times)$

29.21.3.3 명시적 표현

트위스트 $\vec{\xi} = (\vec{v}^T, \vec{\omega}^T)^T$ 에 대한 지수 사상은 다음과 같이 표현된다.

$\exp([\vec{\xi}]_\times) = \begin{bmatrix} \exp([\vec{\omega}]_\times) & \mathbf{G}(\vec{\omega}) \vec{v} \\ \mathbf{0}^T & 1 \end{bmatrix}$

여기서

$\mathbf{G}(\vec{\omega}) = \mathbf{I} + \frac{1 - \cos\theta}{\theta^2} [\vec{\omega}]_\times + \frac{\theta - \sin\theta}{\theta^3} [\vec{\omega}]_\times^2$

이며, $\theta = \|\vec{\omega}\|$ 이다. $\vec{\omega} = \vec{0}$ 인 경우 $\mathbf{G}(\vec{\omega}) = \mathbf{I}$ 로 단순화된다.

29.21.4 대수 사상 (로그 사상)

지수 사상의 역은 로그 사상(logarithm)으로 정의된다. 회전 행렬 $\mathbf{R}$ 에서 지수 좌표 $\vec{\omega}$ 를 산출하는 로그 사상은 다음과 같다.

$\theta = \arccos\left(\frac{\text{tr}(\mathbf{R}) - 1}{2}\right)$

$[\hat{\vec{n}}]_\times = \frac{\mathbf{R} - \mathbf{R}^T}{2\sin\theta}$

$\vec{\omega} = \theta \hat{\vec{n}}$

3. 지수 좌표의 학술적 장점

지수 좌표는 다음과 같은 학술적 장점을 제공한다.

3.1 최소 매개변수 표현

3차원 회전의 경우 3개, 강체 운동의 경우 6개의 매개변수로 표현 가능하다. 이는 자유도의 수와 일치하며 효율적인 표현이다.

3.2 선형 공간 구조

지수 좌표는 벡터 공간의 원소이므로, 선형 연산과 보간이 자연스럽게 정의된다.

3.3 특이점 회피

짐벌 락과 같은 특이점이 없는 영역에서 안정한 표현을 제공한다.

3.4 물리적 해석

지수 좌표의 방향과 크기가 회전 축과 회전각에 직접 대응하여 직관적 해석이 가능하다.

4. 지수 좌표의 학술적 한계

지수 좌표의 학술적 한계는 다음과 같다. 첫째, 회전각이 $\pi$ 에 가까워지면 수치적 특이점이 발생한다. 둘째, 사원수보다 일부 수학적 연산이 복잡할 수 있다.

5. 학술적 활용

지수 좌표 표현은 다음과 같은 학술적·실무적 영역에 활용된다.

첫째, 지수 사상 기반 순기구학(product of exponentials, POE)의 학술적 기초. 둘째, 스크류 이론(screw theory)의 수학적 표현. 셋째, 최적 제어에서의 자세 표현. 넷째, 상태 추정에서의 자세 표현. 다섯째, 기하 제어(geometric control)의 학술적 기초.

6. 학술적 의의

지수 좌표는 리 군 이론의 로봇 기구학 응용의 핵심 학술적 도구이다. 이 표현의 학술적 이해는 지수 사상 기반 순기구학, 스크류 이론, 기하 제어 등의 더 진보된 로봇 공학 영역으로의 학술적 확장에 필수적이다.

7. 출처

Murray, R. M., Li, Z., and Sastry, S. S., A Mathematical Introduction to Robotic Manipulation, CRC Press, 1994.
Lynch, K. M. and Park, F. C., Modern Robotics: Mechanics, Planning, and Control, Cambridge University Press, 2017.
Selig, J. M., Geometric Fundamentals of Robotics, 2nd edition, Springer, 2005.
Park, F. C. and Lynch, K. M., Introduction to Robotics: Mechanics, Planning, and Control, Cambridge University Press, 2017.
Chirikjian, G. S., Stochastic Models, Information Theory, and Lie Groups, Volume 1, Birkhäuser, 2009.
Sola, J., Deray, J., and Atchuthan, D., “A micro Lie theory for state estimation in robotics”, arXiv preprint, arXiv:1812.01537, 2018.

8. 버전

문서 버전: 1.0
작성일: 2026-04-18