16.30 작용-각도 변수의 정의

1. 개요

작용-각도 변수(action-angle variables)는 주기 운동을 기술하는 해밀턴 역학의 특별한 정준 변수 쌍이다. 이 변수들은 적분 가능 시스템의 구조를 가장 명료하게 드러내며, 주기 운동의 진동수와 불변 토러스의 기하학적 해석을 직접적으로 제공한다. 본 절에서는 작용-각도 변수의 정확한 정의, 정준 변환으로서의 구성, 기하학적 의미 및 특성을 체계적으로 다룬다.

2. 주기 운동의 분류

2.1 리브레이션

리브레이션(libration)은 계가 유한한 영역을 주기적으로 왕복하는 운동이다. 이 경우 위상 공간에서의 궤적은 폐곡선을 형성한다. 대표적 예시로 조화 진동자와 유한 에너지의 진자(pendulum)가 있다.

2.2 회전

회전(rotation)은 좌표가 시간에 따라 단조적으로 증가하고 운동량이 좌표의 주기 함수로 반복되는 운동이다. 각도 좌표 \vartheta가 2\pi마다 물리적으로 동일한 상태로 복귀하는 강체 회전이 이에 해당한다.

2.3 두 유형의 공통적 특징

두 유형 모두 위상 공간에서 주기적 궤적을 형성한다. 작용-각도 변수의 정식화는 이 주기 구조를 수학적으로 명시적으로 포착한다.

3. 자유도 시스템에서의 정의

3.1 작용 변수

1자유도 시스템에서 작용 변수는 다음의 선적분으로 정의된다.

J = \oint p\,dq

여기서 적분은 위상 공간에서의 닫힌 궤적을 따라 수행된다. 리브레이션의 경우 닫힌 궤적은 에너지 등위곡선을 따라 한 주기 동안 순회한 경로이고, 회전의 경우 한 주기 (0, 2\pi) 구간에 대한 적분이다.

3.2 에너지와 작용의 관계

에너지 보존 시스템에서 작용 변수는 에너지의 함수이다.

J = J(E)

이 관계를 역으로 풀어 E = E(J)로 표현할 수 있으며, 이는 새로운 해밀터니안이 된다.

3.3 각도 변수

작용 변수에 정준 켤레인 각도 변수는 다음의 생성 함수로부터 정의된다.

\vartheta = \frac{\partial W(q, J)}{\partial J}

여기서 W는 해밀턴 특성 함수이다. 정준 변환 (q, p) \to (\vartheta, J)에 의해 새로운 해밀터니안은 J만의 함수가 된다.

H = E(J)

3.4 각도 변수의 시간 변화

해밀턴 정준 방정식에 의해 각도 변수의 시간 변화율은

\dot\vartheta = \frac{\partial H}{\partial J} = \frac{dE}{dJ} \equiv \omega(J)

로 주어진다. 이는 일정하므로 각도 변수는 시간에 대해 선형적으로 증가한다.

\vartheta(t) = \omega(J)\,t + \vartheta_0

3.5 주기와 진동수

한 주기 동안 작용 변수는 변하지 않고 각도 변수는 정확히 2\pi만큼 증가한다. 이로부터 주기 T와 진동수 \nu의 관계가 얻어진다.

T = \frac{2\pi}{\omega(J)}, \qquad \nu = \frac{\omega(J)}{2\pi}

4. 다자유도 시스템에서의 정의

4.1 적분 가능 시스템의 가정

다자유도 시스템의 작용-각도 변수 정의는 계가 완전 적분 가능하다는 가정을 필요로 한다. 즉 n개의 독립적이고 서로 대합(involution)인 운동 상수 F_1, \dots, F_n이 존재해야 한다.

\{F_i, F_j\} = 0, \qquad F_1 = H

4.2 불변 토러스

아놀드-리우빌 정리(Arnold-Liouville theorem)에 따르면 적분 가능 시스템의 위상 공간은 n차원 토러스(torus)로 엽층화된다. 각 운동 상수 집합 \{F_i = c_i\}이 n차원 토러스를 정의하며, 운동은 이 토러스 위에 구속된다.

4.3 작용 변수의 일반화

다자유도 작용 변수는 토러스의 각 독립 주기에 대한 선적분으로 정의된다.

J_k = \frac{1}{2\pi}\oint_{\gamma_k}\sum_{i=1}^{n}p_i\,dq_i

여기서 \gamma_k는 토러스의 k번째 독립 주기를 나타낸다. 이 적분은 구체적 경로에 의존하지 않고 오직 토러스의 호몰로지류(homology class)에 의존한다.

4.4 각도 변수의 일반화

각도 변수는 작용 변수에 정준 켤레인 변수로서 토러스 위의 각도 좌표 역할을 한다. 정준 변환 (\mathbf{q}, \mathbf{p}) \to (\boldsymbol{\vartheta}, \mathbf{J})에 의해 해밀터니안은 다음과 같이 변환된다.

H(\mathbf{q}, \mathbf{p}) = E(J_1, \dots, J_n)

4.5 다중 진동수

해밀턴 정준 방정식에 의해 각 각도 변수의 시간 변화율은

\dot\vartheta_k = \frac{\partial E}{\partial J_k} \equiv \omega_k(\mathbf{J})

이다. 일반적으로 n개의 독립 진동수 \omega_1, \dots, \omega_n이 존재하며, 운동은 이들 진동수로 이루어지는 다중 주기 운동이다.

\vartheta_k(t) = \omega_k(\mathbf{J})\,t + \vartheta_{k,0}

5. 작용 변수의 위상 공간 기하학적 의미

5.1 단위 원주당 작용

1자유도 리브레이션의 경우 작용 변수는 위상 공간에서의 폐곡선이 에워싼 면적과 일치한다. 즉

J = \text{위상 공간의 폐곡선이 둘러싼 면적}

이러한 해석은 작용 변수가 위상 공간의 기하학적 양임을 보여준다.

5.2 토러스의 적분 주기

다자유도 시스템에서 각 작용 변수는 토러스의 독립적 주기를 따라 1-형식 \sum p_i\,dq_i를 적분한 양이다. 이는 심플렉틱 기하학에서 1-형식의 주기와 관련된 위상학적 불변량이다.

6. 진동수의 공명과 비공명 조건

6.1 비공명 조건

진동수 \omega_1, \dots, \omega_n이 유리수적으로 독립적(rationally independent)인 경우 궤적은 토러스 위에서 조밀하게 분포한다. 즉 운동은 어느 한 주기 함수의 합으로 표현되지 않고, 토러스의 모든 점에 임의로 가까이 접근한다.

\sum_{k=1}^{n}n_k\omega_k \neq 0 \quad (\forall\,\mathbf{n}\in\mathbb{Z}^n\setminus\{0\})

6.2 공명 조건

반대로 유리수적 관계 \sum n_k\omega_k = 0이 존재하면 운동은 토러스의 부분 영역에 구속된다. 공명 조건의 존재는 섭동에 대한 안정성에 영향을 미치며, KAM 이론의 중요한 요소가 된다.

7. 대표적 예시

7.1 조화 진동자

1차원 조화 진동자 H = \frac{p^2}{2m} + \frac{1}{2}m\omega_0^2 q^2의 작용 변수는

J = \oint p\,dq = 2\pi\,\frac{E}{\omega_0}

로 계산된다. 따라서 해밀터니안은 H = \omega_0 J/(2\pi) 형식으로 표현되며, 각도 변수의 진동수는 정확히 \omega_0이다. 이는 조화 진동자의 진동수가 에너지에 의존하지 않는 특수한 성질을 반영한다.

7.2 중심력 문제

역제곱 중심력 문제(케플러 문제)에서 작용 변수는 반경 방향 작용, 극각도 작용, 방위각 작용의 세 가지로 정의되며, 축퇴(degeneracy)에 의해 세 진동수가 서로 일치하여 유한한 궤도 운동을 형성한다. 이러한 특수 축퇴는 역제곱 중심력의 고유한 대칭에 기인한다.

7.3 강체의 자유 회전

외부 토크가 없는 강체의 자유 회전은 2자유도 적분 가능 시스템으로서 작용-각도 변수로 기술된다. 두 개의 독립 작용 변수와 그에 대응하는 두 진동수가 존재하며, 운동은 2차원 토러스 위에서 전개된다.

8. 로봇공학에서의 의의

8.1 주기 운동의 해석

로봇의 주기적 보행 운동, 반복적 관절 운동, 주기 궤적 추적 등에서 작용-각도 변수 개념은 운동의 주기성을 명시적으로 기술하는 도구이다. 불변 토러스 구조는 안정적 주기 운동의 존재를 보장하는 이론적 기반이다.

8.2 한계 순환과의 연결

이동 로봇과 보행 로봇의 제어에서 한계 순환(limit cycle)은 이상적인 해밀턴 시스템의 불변 토러스의 소산적 대응물로 해석될 수 있다. 작용-각도 변수는 이러한 한계 순환의 분석에 개념적 통찰을 제공한다.

8.3 섭동 해석의 기반

로봇 시스템에 작은 섭동이 가해질 때의 운동 변화는 작용-각도 변수 공간에서 분석될 때 가장 체계적으로 다루어진다. 섭동 이론과 KAM 이론은 작용-각도 변수 정식화를 직접적으로 활용한다.

8.4 정밀 시뮬레이션의 구조적 기반

적분 가능 구조를 갖는 로봇 시스템의 정밀 시뮬레이션에서 작용-각도 변수는 수치 오차의 정량화와 장시간 안정성의 평가에 활용된다.

9. 본 절의 의의

본 절은 1자유도 시스템에서의 작용-각도 변수의 정의로부터 시작하여 다자유도 적분 가능 시스템으로의 일반화와 불변 토러스의 기하학적 의미를 체계적으로 다루었다. 진동수의 공명과 비공명 조건, 대표적 예시의 분석, 그리고 로봇공학에서의 의의를 논의하였다. 작용-각도 변수는 주기 운동의 가장 명료한 정식화이며, 적분 가능 시스템의 구조적 이해와 섭동 해석 및 로봇 주기 운동 해석의 기초를 제공한다.

10. 학습 권장사항

• 1자유도 조화 진동자에서 작용-각도 변수를 명시적으로 계산해 본다.
• 작용 변수가 위상 공간의 닫힌 궤적이 에워싼 면적과 일치함을 기하학적으로 확인한다.
• 다자유도 시스템에서 토러스 구조의 개념을 이해한다.
• 진동수의 공명과 비공명의 차이를 해석하고, 이것이 운동의 기하학적 특성에 미치는 영향을 학습한다.

11. 참고 문헌

• Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
• Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). Springer.
• Landau, L. D., & Lifshitz, E. M. (1976). Mechanics (3rd ed.). Butterworth-Heinemann.
• José, J. V., & Saletan, E. J. (1998). Classical Dynamics: A Contemporary Approach. Cambridge University Press.
• Tabor, M. (1989). Chaos and Integrability in Nonlinear Dynamics. Wiley.

version: 1.0