15.17 관성 행렬의 대칭성과 양정치성
1. 개요
매니퓰레이터의 관성 행렬은 두 가지 핵심적인 수학적 성질, 즉 대칭성과 양정치성을 가진다. 이 성질들은 관성 행렬이 운동 에너지의 이차 형식에서 유도된다는 점에서 자연스럽게 따라온다. 본 절에서는 이 두 성질의 증명과 응용을 다룬다.
2. 대칭성
2.1 대칭성의 진술
매니퓰레이터의 관성 행렬은 대칭이다.
\mathbf{M}(\mathbf{q}) = \mathbf{M}^T(\mathbf{q})
또는 성분 형식으로
M_{ij}(\mathbf{q}) = M_{ji}(\mathbf{q}), \quad \forall i, j
2.2 운동 에너지로부터의 증명
운동 에너지는 일반화 속도의 이차 형식이다.
T = \frac{1}{2}\sum_{i,j}M_{ij}(\mathbf{q})\dot{q}_i\dot{q}_j
\dot{q}_i\dot{q}_j = \dot{q}_j\dot{q}_i이므로 행렬의 성분에 대한 대칭화를 통해 항상 대칭 행렬로 표현할 수 있다.
2.3 자코비안으로부터의 직접 증명
관성 행렬은 자코비안을 통해 다음과 같이 표현된다.
\mathbf{M}(\mathbf{q}) = \sum_{i=1}^{n}(m_i\mathbf{J}_{v,i}^T\mathbf{J}_{v,i} + \mathbf{J}_{\omega,i}^T\bar{\mathbf{I}}_i\mathbf{J}_{\omega,i})
여기서 \bar{\mathbf{I}}_i = \mathbf{R}_i\mathbf{I}_i\mathbf{R}_i^T이다. \mathbf{I}_i가 대칭이므로 \bar{\mathbf{I}}_i도 대칭이고, \mathbf{J}^T\mathbf{A}\mathbf{J} 형식의 곱은 \mathbf{A}가 대칭이면 대칭이다.
3. 양정치성
3.1 양정치성의 진술
매니퓰레이터의 관성 행렬은 양정행렬이다.
\dot{\mathbf{q}}^T\mathbf{M}(\mathbf{q})\dot{\mathbf{q}} > 0, \quad \forall \dot{\mathbf{q}} \neq 0
3.2 운동 에너지로부터의 증명
운동 에너지는 운동이 있을 때 항상 양수이다.
T = \frac{1}{2}\dot{\mathbf{q}}^T\mathbf{M}(\mathbf{q})\dot{\mathbf{q}} > 0, \quad \text{if } \dot{\mathbf{q}} \neq 0
이는 어떠한 운동도 양의 운동 에너지를 가진다는 물리적 사실에서 기인한다. 따라서 관성 행렬은 양정행렬이다.
3.3 비퇴화성
관성 행렬이 양정행렬이면 비퇴화이다(가역). 즉, 역행렬 \mathbf{M}^{-1}이 항상 존재한다.
\det(\mathbf{M}(\mathbf{q})) > 0, \quad \forall \mathbf{q}
이는 매니퓰레이터의 순동역학 해법의 기반이다.
3.4 고유값의 양수성
대칭 양정행렬의 고유값은 모두 양수이다.
\lambda_i(\mathbf{M}(\mathbf{q})) > 0, \quad \forall i, \forall \mathbf{q}
4. 한계의 존재
4.1 고유값의 한계
매니퓰레이터의 관성 행렬의 고유값은 자세에 따라 변하지만 일반적으로 위와 아래에 한계가 존재한다.
0 < m_l \leq \lambda_{\min}(\mathbf{M}(\mathbf{q})) \leq \lambda_{\max}(\mathbf{M}(\mathbf{q})) \leq m_u
여기서 m_l, m_u는 매니퓰레이터의 구조에 의존하는 양의 상수이다.
4.2 한계의 활용
이 한계는 매니퓰레이터의 안정성 분석과 제어 설계에 자주 사용된다.
5. 대칭성과 양정치성의 응용
5.1 콜레스키 분해
대칭 양정행렬은 콜레스키 분해를 가진다.
\mathbf{M} = \mathbf{L}\mathbf{L}^T
여기서 \mathbf{L}은 하삼각 행렬이다. 콜레스키 분해는 LU 분해보다 효율적이다.
5.2 수치 풀이의 안정성
대칭 양정행렬의 선형계 풀이는 수치적으로 안정적이며 효율적인 알고리즘이 존재한다.
5.3 안정성 분석
매니퓰레이터의 제어 안정성 증명에서 관성 행렬의 양정성이 자주 사용된다. 운동 에너지가 리야푸노프 함수의 후보가 된다.
5.4 에너지 함수
매니퓰레이터의 총 에너지(운동 에너지 + 위치 에너지)가 시스템의 자연스러운 에너지 함수로 사용된다. 운동 에너지가 항상 양수이고 위치 에너지가 아래로 유계이면 총 에너지가 시스템의 안정성 증명에 사용될 수 있다.
6. 코리올리력 행렬과의 관계
6.1 반대칭성
매니퓰레이터의 코리올리/원심력 행렬 \mathbf{C}(\mathbf{q}, \dot{\mathbf{q}})는 다음과 같이 선택할 수 있다.
\dot{\mathbf{M}}(\mathbf{q}) = \mathbf{C}(\mathbf{q}, \dot{\mathbf{q}}) + \mathbf{C}^T(\mathbf{q}, \dot{\mathbf{q}})
이로부터 다음의 행렬
\mathbf{N}(\mathbf{q}, \dot{\mathbf{q}}) = \dot{\mathbf{M}}(\mathbf{q}) - 2\mathbf{C}(\mathbf{q}, \dot{\mathbf{q}})
은 반대칭이다.
\mathbf{N} + \mathbf{N}^T = 0
6.2 에너지 보존
이 반대칭 성질은 매니퓰레이터의 운동 에너지 보존과 관련된다.
\dot{T} = \dot{\mathbf{q}}^T\mathbf{M}\ddot{\mathbf{q}} + \frac{1}{2}\dot{\mathbf{q}}^T\dot{\mathbf{M}}\dot{\mathbf{q}}
이를 동역학 방정식과 결합하면 에너지 일률 정리가 얻어진다.
7. 응용 예시
7.1 단순 진자
단순 진자의 관성 행렬은 1×1 행렬이다.
M = ml^2
이는 양수이며 자세에 독립적이다.
7.2 자유도 평면 매니퓰레이터
2자유도 평면 매니퓰레이터의 관성 행렬은 2×2 대칭 행렬이며 양정행렬이다.
\mathbf{M}(\mathbf{q}) = \begin{bmatrix} M_{11}(\mathbf{q}) & M_{12}(\mathbf{q}) \\ M_{12}(\mathbf{q}) & M_{22}(\mathbf{q}) \end{bmatrix}
대각 성분 M_{11}, M_{22}는 항상 양수이고, 행렬식도 항상 양수이다.
8. 본 절의 의의
본 절은 관성 행렬의 대칭성과 양정치성을 다루었다. 이 두 성질은 매니퓰레이터의 동역학 분석과 제어 설계의 수학적 기반이다.
9. 참고 문헌
- Spong, M. W., Hutchinson, S., & Vidyasagar, M. (2020). Robot Modeling and Control (2nd ed.). Wiley.
- Slotine, J.-J. E., & Li, W. (1991). Applied Nonlinear Control. Prentice Hall.
- Murray, R. M., Li, Z., & Sastry, S. S. (1994). A Mathematical Introduction to Robotic Manipulation. CRC Press.
- Khalil, H. K. (2002). Nonlinear Systems (3rd ed.). Prentice Hall.
version: 1.0