9.61 나선 변환과 스크류 변위
1. 나선 변환의 개념
나선 변환(helical transformation) 또는 스크류 변위(screw displacement)는 슈아세의 정리에 의해 임의의 강체 변환이 표현될 수 있는 특정한 형태의 운동이다. 강체가 어떤 직선 주위로 회전하면서 동시에 그 직선 방향으로 평행 이동하는 결합된 운동이며, 강체 위의 임의의 점이 그리는 궤적이 나선(helix) 형태가 된다는 데서 이름이 유래한다.
2. 나선의 정의
기하학에서 나선(helix)은 원기둥의 표면에 그려진 곡선 중 원기둥의 축에 대해 일정한 각도를 유지하는 곡선이다. 매개변수적 표현은 다음과 같다.
\mathbf{r}(t) = (R\cos t, R\sin t, ht)
여기서 R은 나선의 반지름, h는 1 라디안당 진행 거리(피치)이다. 나선은 회전과 직선 진행이 일정한 비율로 결합된 곡선이며, 나사의 골과 일치한다.
3. 스크류 변위와 나선의 연결
강체가 스크류 축 주위로 스크류 운동을 할 때, 강체 위의 점이 그리는 궤적이 정확히 나선이다. 점이 스크류 축에서 거리 R만큼 떨어져 있으면, 회전 각이 \phi만큼 증가할 때 점은 다음과 같이 이동한다.
- 회전: 축 주위로 \phi만큼 회전하여 원형으로 이동
- 병진: 축 방향으로 h\phi만큼 직선으로 이동
두 운동이 동시에 일어나므로 결과 궤적은 나선이다. 이는 나선의 매개변수 (R, h)가 점의 축으로부터의 거리와 스크류 운동의 피치에 대응함을 의미한다.
4. 스크류 변위의 매개변수
스크류 변위는 다음 매개변수로 완전히 기술된다.
4.1 스크류 축
회전과 병진이 일어나는 직선이다. 방향 벡터 \hat{\mathbf{s}}와 위치 벡터 \mathbf{q}로 표현된다.
4.2 회전 각
스크류 축 주위로의 회전 각도 \phi이다.
4.3 병진 거리 또는 피치
축 방향의 진행 거리 d 또는 회전당 진행 거리 h = d/\phi이다.
이는 스크류 운동의 매개변수와 동일하다.
5. 나선의 기하학적 성질
5.1 일정한 곡률
나선은 일정한 곡률(curvature)을 가진 곡선이다. 곡률은 다음과 같이 표현된다.
\kappa = \frac{R}{R^2 + h^2}
5.2 일정한 비틀림(Torsion)
나선은 일정한 비틀림(torsion)도 가진다.
\tau = \frac{h}{R^2 + h^2}
곡률과 비틀림이 모두 일정한 곡선은 일반적인 의미에서 “나선” 또는 “더 일반적인 나선“이라 정의되며, 나선이 그 가장 단순한 형태이다.
5.3 비례 관계
곡률과 비틀림의 비
\frac{\kappa}{\tau} = \frac{R}{h}
는 점의 축으로부터의 거리와 피치의 비례 관계이다.
6. 강체 운동의 분류와 나선
강체 운동의 분류를 나선의 형태로 시각화할 수 있다.
6.1 순수 회전 (h = 0)
피치가 0이면 진행이 없으므로 점의 궤적은 원이다. 강체 위의 모든 점이 스크류 축 주위의 원을 따라 움직인다.
6.2 순수 병진 (\phi = 0)
회전이 0이면 점의 궤적은 직선이다. 모든 점이 같은 방향으로 같은 거리만큼 평행 이동한다.
6.3 일반적 스크류 운동 (h, \phi \neq 0)
점의 궤적은 나선이다. 회전과 병진이 결합된 일반적 강체 운동에 해당한다.
7. 스크류 변위의 동차 변환 행렬
스크류 변위에 의한 강체 변환을 동차 변환 행렬로 표현하는 방법은 다음과 같다.
7.1 스크류 축이 원점을 지나는 경우
스크류 축이 원점을 지나고 방향이 \hat{\mathbf{s}}인 경우, 스크류 변위의 동차 변환 행렬은 다음과 같다.
\mathbf{T} = \begin{bmatrix} \mathbf{R}(\hat{\mathbf{s}}, \phi) & d\hat{\mathbf{s}} \\ \mathbf{0}^T & 1 \end{bmatrix}
여기서 \mathbf{R}(\hat{\mathbf{s}}, \phi)는 축 \hat{\mathbf{s}} 주위의 \phi 회전을 나타내는 회전 행렬(로드리게스 공식), d\hat{\mathbf{s}}는 축 방향의 병진이다.
7.2 스크류 축이 일반 직선인 경우
스크류 축이 점 \mathbf{q}를 지나고 방향이 \hat{\mathbf{s}}인 경우, 변환은 다음과 같이 분해된다.
\mathbf{T} = \mathbf{T}_{\text{trans}}(\mathbf{q}) \cdot \mathbf{T}_{\text{screw, origin}} \cdot \mathbf{T}_{\text{trans}}(-\mathbf{q})
먼저 점 \mathbf{q}를 원점으로 이동시키고, 원점을 지나는 스크류 운동을 적용한 후, 다시 원점을 \mathbf{q}로 이동시킨다. 이를 전개하면
\mathbf{T} = \begin{bmatrix} \mathbf{R}(\hat{\mathbf{s}}, \phi) & (\mathbf{I} - \mathbf{R}(\hat{\mathbf{s}}, \phi))\mathbf{q} + d\hat{\mathbf{s}} \\ \mathbf{0}^T & 1 \end{bmatrix}
이 된다. 병진 부분이 (\mathbf{I} - \mathbf{R})\mathbf{q} + d\hat{\mathbf{s}}의 형태로 결정되며, 이는 회전 축의 위치(\mathbf{q})와 축 방향의 직접 병진(d\hat{\mathbf{s}})의 결합이다.
8. 트위스트와 스크류 변위의 관계
트위스트 \boldsymbol{\xi} = (\boldsymbol{\omega}, \mathbf{v})는 스크류 변위의 무한소(infinitesimal) 형태이다. 트위스트가 단위 시간 동안 작용하면 스크류 변위가 발생한다.
8.1 트위스트로부터 스크류 변위의 계산
트위스트로부터 시간 t 후의 스크류 변위는 행렬 지수로 계산된다.
\mathbf{T}(t) = \exp\left(t\begin{bmatrix}[\boldsymbol{\omega}]_\times & \mathbf{v} \\ \mathbf{0}^T & 0\end{bmatrix}\right)
이 닫힌 형태가 트위스트로부터 스크류 변위로의 사상이며, SE(3)의 지수 사상이다.
8.2 매개변수와 트위스트 성분의 관계
트위스트 (\boldsymbol{\omega}, \mathbf{v})의 성분은 스크류 매개변수와 다음과 같이 연결된다.
\boldsymbol{\omega} = \dot{\phi}\hat{\mathbf{s}}, \quad \mathbf{v} = -\dot{\phi}(\hat{\mathbf{s}} \times \mathbf{q}) + \dot{d}\hat{\mathbf{s}}
여기서 \dot{\phi}는 회전 각속도, \dot{d}는 병진 속도이다. 이 관계식은 트위스트의 두 성분(각속도와 선형 속도)이 스크류 축의 위치와 축에 평행한 병진을 어떻게 매개화하는지 보여준다.
9. 스크류 변위의 합성
두 스크류 변위의 합성은 일반적으로 새로운 스크류 변위가 된다. 슈아세의 정리에 의해 합성 결과도 강체 변환이고, 따라서 스크류 형태로 표현 가능하기 때문이다. 그러나 합성된 스크류의 매개변수는 단순한 합산이 아니며, 행렬 곱을 거쳐 계산된 후 다시 스크류 매개변수로 추출해야 한다.
10. 스크류 변위의 응용
10.1 매니퓰레이터 관절의 표현
매니퓰레이터의 각 관절은 단일 스크류 변위로 표현된다. 회전 관절은 영 피치 스크류, 직선 관절은 무한 피치 스크류이다. 관절의 운동 범위가 스크류 변위의 회전 각 또는 병진 거리에 해당한다.
10.2 POE 공식
곱지수 공식은 매니퓰레이터의 순기구학을 일련의 스크류 변위의 합성으로 표현한다.
\mathbf{T}(\boldsymbol{\theta}) = e^{[\boldsymbol{\xi}_1]\theta_1}e^{[\boldsymbol{\xi}_2]\theta_2}\cdots e^{[\boldsymbol{\xi}_n]\theta_n}\mathbf{M}
각 지수 항이 한 관절의 스크류 변위이며, 매개변수 \theta_i가 그 변위의 크기(회전 각 또는 병진 거리)이다.
10.3 운동 보간
두 자세 사이의 보간을 단일 스크류 변위로 표현하면, 운동이 매끄럽고 자연스럽다. 회전과 병진을 분리하여 보간하는 것보다 시각적으로도 자연스러우며, 매니퓰레이터의 작업 영역에서 더 효율적인 경로를 산출한다.
10.4 동역학 모델링
스크류 운동의 무한소 형태인 트위스트가 동역학 방정식에서 자연스럽게 사용된다. Featherstone의 articulated body algorithm 등이 트위스트와 렌치(wrench) 표현을 활용한다.
11. 나선 운동의 시각화
나선 운동을 시각화하는 좋은 방법은 다음과 같다.
- 공간에 한 직선(스크류 축)을 그린다.
- 강체 위의 한 점을 선택한다.
- 시간에 따라 그 점이 이동하는 궤적을 그린다.
- 결과는 직선 주위의 나선 곡선이다.
강체 위의 다른 점들도 같은 회전 각과 같은 진행 거리의 나선을 그리지만, 각 나선의 반지름이 다르다. 모든 나선의 축은 동일하다.
12. 나선과 비강체 운동의 비교
나선 운동은 강체 운동의 한 형태이며, 강체의 형태가 변하지 않는다. 강체 위의 모든 점이 동일한 회전과 병진을 동시에 겪으면서, 각 점의 상대적 위치는 보존된다.
이와 대조적으로 비강체 운동은 강체의 형태를 변형시키며, 점들 사이의 거리가 변할 수 있다. 나선 운동은 형태 보존 운동의 가장 일반적인 단일 형태이다.
13. 참고 문헌
- Chasles, M. (1830). “Note sur les propriétés générales du système de deux corps semblables entr’eux.” Bulletin des Sciences Mathématiques, 14, 321–326.
- Ball, R. S. (1900). A Treatise on the Theory of Screws. Cambridge University Press.
- Murray, R. M., Li, Z., & Sastry, S. S. (1994). A Mathematical Introduction to Robotic Manipulation. CRC Press.
- Lynch, K. M., & Park, F. C. (2017). Modern Robotics: Mechanics, Planning, and Control. Cambridge University Press.
- McCarthy, J. M. (1990). Introduction to Theoretical Kinematics. MIT Press.
version: 1.0