16.9 해밀턴의 정준 방정식의 대칭 구조

1. 개요

해밀턴의 정준 방정식은 매우 대칭적인 구조를 가진다. 이 대칭성은 시뮬렉틱 기하학과 깊이 연결되어 있으며, 해밀턴 역학의 우아함의 핵심이다. 본 절에서는 해밀턴의 정준 방정식의 대칭 구조를 자세히 다룬다.

2. 정준 방정식의 형식

2.1 표준 형식

해밀턴의 정준 방정식은 다음과 같다.

$\dot{q}_i = \frac{\partial H}{\partial p_i}$

$\dot{p}_i = -\frac{\partial H}{\partial q_i}$

2.2 변수의 대칭

$q_i$ 와 $p_i$ 는 거의 대칭적인 역할을 한다. 부호 차이를 제외하면 두 변수가 대등하다.

3. 행렬 형식

3.1 상태 벡터

상태 벡터를 다음과 같이 정의한다.

$\mathbf{x} = \begin{bmatrix}\mathbf{q}\\\mathbf{p}\end{bmatrix} \in \mathbb{R}^{2n}$

3.2 시뮬렉틱 행렬

다음의 $2n \times 2n$ 행렬을 정의한다.

$\mathbf{J} = \begin{bmatrix}\mathbf{0} & \mathbf{I}_n\\-\mathbf{I}_n & \mathbf{0}\end{bmatrix}$

이는 시뮬렉틱 행렬(symplectic matrix)이라 한다. 이 행렬은 다음의 성질을 만족한다.

$\mathbf{J}^T = -\mathbf{J}, \quad \mathbf{J}^{-1} = -\mathbf{J} = \mathbf{J}^T, \quad \mathbf{J}^2 = -\mathbf{I}_{2n}$

3.3 정준 방정식의 행렬 형식

해밀턴의 정준 방정식은 다음과 같이 표현된다.

$\dot{\mathbf{x}} = \mathbf{J}\nabla H(\mathbf{x})$

이는 매우 간결한 형식이다.

4. 시뮬렉틱 형식

4.1 정의

위상 공간의 시뮬렉틱 형식은 다음과 같이 정의된다.

$\omega = \sum_i dq_i \wedge dp_i$

4.2 행렬 표현

시뮬렉틱 형식은 다음의 행렬로 표현된다.

$\boldsymbol{\Omega} = \begin{bmatrix}\mathbf{0} & \mathbf{I}_n\\-\mathbf{I}_n & \mathbf{0}\end{bmatrix} = \mathbf{J}$

4.3 시뮬렉틱 형식과 정준 방정식

해밀턴 벡터장 $\mathbf{X}_H$ 는 다음을 만족한다.

$\omega(\mathbf{X}_H, \cdot) = dH$

이로부터 정준 방정식이 유도된다.

5. 위상 공간의 부피 보존

5.1 리우빌 정리

해밀턴 흐름은 위상 공간의 부피를 보존한다. 이는 리우빌(Liouville)의 정리이다.

$\text{div}\mathbf{X}_H = \sum_i\left(\frac{\partial \dot{q}_i}{\partial q_i} + \frac{\partial \dot{p}_i}{\partial p_i}\right) = \sum_i\left(\frac{\partial^2 H}{\partial p_i \partial q_i} - \frac{\partial^2 H}{\partial q_i \partial p_i}\right) = 0$

따라서 해밀턴 흐름의 발산이 0이며, 부피가 보존된다.

5.2 의의

리우빌 정리는 통계 역학의 기반이며, 해밀턴 시스템의 핵심 성질이다.

6. 정준 변환

6.1 정의

정준 변환(canonical transformation)은 정준 방정식의 형식을 보존하는 좌표 변환이다.

$(q, p) \to (Q, P)$

6.2 시뮬렉틱 형식의 보존

정준 변환은 시뮬렉틱 형식을 보존한다.

$\sum_i dQ_i \wedge dP_i = \sum_i dq_i \wedge dp_i$

6.3 야코비안 조건

정준 변환의 야코비안 행렬 $\mathbf{M}$ 은 시뮬렉틱 행렬을 보존한다.

$\mathbf{M}^T\mathbf{J}\mathbf{M} = \mathbf{J}$

이러한 행렬을 시뮬렉틱 행렬이라 한다.

7. 시뮬렉틱 군

7.1 정의

시뮬렉틱 형식을 보존하는 모든 선형 변환은 시뮬렉틱 군 $\text{Sp}(2n, \mathbb{R})$ 를 형성한다.

7.2 차원

시뮬렉틱 군의 차원은 $n(2n+1)$ 이다.

7.3 응용

시뮬렉틱 군은 정준 변환의 선형 부분이며, 분석에 활용된다.

8. 푸아송 괄호와의 연결

8.1 정의

두 함수의 푸아송 괄호는 다음과 같이 정의된다.

$\{f, g\} = \sum_i\left(\frac{\partial f}{\partial q_i}\frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i}\frac{\partial g}{\partial q_i}\right)$

8.2 행렬 표현

$\{f, g\} = (\nabla f)^T \mathbf{J} (\nabla g)$

8.3 시간 발전과의 연결

함수의 시간 발전은 푸아송 괄호로 표현된다.

$\frac{df}{dt} = \{f, H\} + \frac{\partial f}{\partial t}$

특히 $f = q_i$ 또는 $f = p_i$ 인 경우 정준 방정식이 회복된다.

9. 응용

9.1 시뮬렉틱 적분기

시뮬렉틱 적분기는 시뮬렉틱 형식을 보존하는 수치 적분 방법이다. 해밀턴 시스템의 장기 시뮬레이션에서 우수한 정확도를 제공한다.

9.2 보존 법칙

시뮬렉틱 구조는 보존 법칙(에너지, 운동량 등)의 분석에 활용된다.

9.3 적분 가능 시스템

특정 해밀턴 시스템은 정준 변환을 통해 완전히 분리될 수 있다. 이를 적분 가능 시스템이라 한다.

10. 본 절의 의의

본 절은 해밀턴의 정준 방정식의 대칭 구조를 다루었다. 시뮬렉틱 형식과 정준 방정식의 깊은 연결은 해밀턴 역학의 본질적인 수학적 구조이다.

11. 참고 문헌

Arnold, V. I. (1989). Mathematical Methods of Classical Mechanics (2nd ed.). Springer.
Marsden, J. E., & Ratiu, T. S. (1999). Introduction to Mechanics and Symmetry (2nd ed.). Springer.
Goldstein, H., Poole, C., & Safko, J. (2002). Classical Mechanics (3rd ed.). Addison-Wesley.
Hairer, E., Lubich, C., & Wanner, G. (2006). Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations (2nd ed.). Springer.

version: 1.0