16.20 푸아송 괄호에 의한 운동 방정식 표현

1. 개요

해밀턴의 정준 방정식은 푸아송 괄호를 사용하여 매우 간결하고 우아하게 표현될 수 있다. 이러한 표현은 시간 발전과 정준 변환의 통합적 관점을 제공한다. 본 절에서는 푸아송 괄호에 의한 운동 방정식의 표현을 자세히 다룬다.

2. 함수의 시간 발전

2.1 일반 공식

함수 f(\mathbf{q}, \mathbf{p}, t)의 시간 미분은 다음과 같이 표현된다.

\frac{df}{dt} = \frac{\partial f}{\partial t} + \sum_i\left(\frac{\partial f}{\partial q_i}\dot{q}_i + \frac{\partial f}{\partial p_i}\dot{p}_i\right)

2.2 정준 방정식의 대입

정준 방정식 \dot{q}_i = \frac{\partial H}{\partial p_i}, \dot{p}_i = -\frac{\partial H}{\partial q_i}를 대입하면

\frac{df}{dt} = \frac{\partial f}{\partial t} + \sum_i\left(\frac{\partial f}{\partial q_i}\frac{\partial H}{\partial p_i} - \frac{\partial f}{\partial p_i}\frac{\partial H}{\partial q_i}\right)

2.3 푸아송 괄호 형식

마지막 항은 푸아송 괄호 \{f, H\}이다. 따라서

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

이는 함수의 시간 발전의 가장 우아한 표현이다.

3. 정준 방정식의 푸아송 괄호 형식

3.1 좌표의 시간 발전

f = q_i인 경우 \frac{\partial q_i}{\partial t} = 0이고

\dot{q}_i = \{q_i, H\}

이를 명시적으로 계산하면

\{q_i, H\} = \sum_j\left(\frac{\partial q_i}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial q_i}{\partial p_j}\frac{\partial H}{\partial q_j}\right) = \frac{\partial H}{\partial p_i}

이는 정준 방정식의 첫 번째 식이다.

3.2 운동량의 시간 발전

f = p_i인 경우

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

이는 정준 방정식의 두 번째 식이다.

3.3 정리

따라서 해밀턴의 정준 방정식은 푸아송 괄호 형식으로 다음과 같이 표현된다.

\dot{q}_i = \{q_i, H\}

\dot{p}_i = \{p_i, H\}

3.4 통합적 형식

위상 공간 변수를 함께 다루면

\dot{x}_\alpha = \{x_\alpha, H\}, \quad \alpha = 1, \ldots, 2n

여기서 x_\alpha = (q_1, \ldots, q_n, p_1, \ldots, p_n)이다.

4. 시간 발전과 정준 변환

4.1 무한소 정준 변환

무한소 정준 변환은 다음과 같이 표현된다.

\delta f = \epsilon\{f, G\}

여기서 G는 변환의 생성자이고 \epsilon은 작은 매개 변수이다.

4.2 시간 발전과의 비교

시간 발전 공식과 비교하면

\frac{df}{dt} = \{f, H\}

시간 발전이 해밀터니안을 생성자로 하는 무한소 정준 변환의 연속임을 알 수 있다.

4.3 의의

이 관점은 시간 발전과 정준 변환을 통합한다. 시간 발전 자체가 정준 변환의 한 종류이다.

5. 푸아송 흐름

5.1 정의

푸아송 흐름(Poisson flow)은 푸아송 괄호에 의해 정의되는 1매개 변수 변환의 모임이다. 매개 변수가 시간이면 시간 발전이고, 다른 변수이면 다른 정준 변환이다.

5.2 형식

함수 G(\mathbf{q}, \mathbf{p})를 생성자로 하는 푸아송 흐름은 다음의 식으로 정의된다.

\frac{df}{ds} = \{f, G\}

여기서 s는 매개 변수이다.

5.3 다양한 흐름

• 시간 발전: 생성자 = 해밀터니안, 매개 변수 = 시간
• 공간 평행 이동: 생성자 = 운동량, 매개 변수 = 변위
• 회전: 생성자 = 각운동량, 매개 변수 = 회전각

6. 보존 법칙

6.1 운동 상수

함수 f가 시간에 명시적으로 의존하지 않고 \{f, H\} = 0이면 f는 운동 상수이다.

6.2 푸아송 가환

두 함수 f와 g의 푸아송 괄호가 0이면 (\{f, g\} = 0) 두 함수가 푸아송 가환(Poisson commute)이라 한다.

6.3 적분 가능 시스템

n자유도 시스템에서 n개의 푸아송 가환 운동 상수가 있으면 시스템이 적분 가능이다.

7. 응용 예시

7.1 단순 진자

단순 진자에서

\dot{\theta} = \{\theta, H\} = \frac{p_\theta}{ml^2}

\dot{p}_\theta = \{p_\theta, H\} = -mgl\sin\theta

7.2 매니퓰레이터

매니퓰레이터의 정준 방정식도 푸아송 괄호 형식으로 표현될 수 있다.

\dot{q}_i = \{q_i, H\}, \quad \dot{p}_i = \{p_i, H\}

이는 분석적인 표현이며, 효율적 계산에는 다른 알고리즘이 사용된다.

8. 본 절의 의의

본 절은 푸아송 괄호에 의한 운동 방정식의 표현을 다루었다. 이 표현은 매우 우아하며, 시간 발전과 정준 변환의 통합적 관점을 제공한다.

9. 참고 문헌

• 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.
• Lanczos, C. (1986). The Variational Principles of Mechanics (4th ed.). Dover.
• Marsden, J. E., & Ratiu, T. S. (1999). Introduction to Mechanics and Symmetry (2nd ed.). Springer.

version: 1.0