16.17 푸아송 괄호의 정의
1. 개요
푸아송 괄호(Poisson bracket)는 해밀턴 역학의 핵심 양 중 하나이다. 두 함수의 결합을 표현하며, 시스템의 시간 발전, 보존 법칙, 정준 변환 등의 분석에 사용된다. 본 절에서는 푸아송 괄호의 정의와 기본 성질을 다룬다.
2. 푸아송 괄호의 정의
2.1 형식적 정의
위상 공간의 두 함수 f(\mathbf{q}, \mathbf{p}, t)와 g(\mathbf{q}, \mathbf{p}, t)의 푸아송 괄호는 다음과 같이 정의된다.
\{f, g\} = \sum_{i=1}^{n}\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)
2.2 행렬 형식
상태 벡터 \mathbf{x} = (q_1, \ldots, q_n, p_1, \ldots, p_n)^T를 사용하면
\{f, g\} = (\nabla f)^T \mathbf{J} (\nabla g)
여기서 \mathbf{J}는 시뮬렉틱 행렬이다.
2.3 의의
푸아송 괄호는 두 함수의 “결합도“를 측정한다. 이는 해밀턴 역학의 다양한 측면을 통합하는 중심 개념이다.
3. 기본 성질
3.1 반대칭성
\{f, g\} = -\{g, f\}
특히 \{f, f\} = 0이다.
3.2 선형성
\{af + bg, h\} = a\{f, h\} + b\{g, h\}
여기서 a, b는 상수이다.
3.3 라이프니츠 규칙
\{fg, h\} = f\{g, h\} + \{f, h\}g
이는 두 함수의 곱에 대한 푸아송 괄호의 분해이다.
3.4 야코비 항등식
\{f, \{g, h\}\} + \{g, \{h, f\}\} + \{h, \{f, g\}\} = 0
이는 푸아송 괄호의 가장 깊은 성질이다. 시뮬렉틱 형식이 닫힌 형식임과 동등하다.
4. 기본 푸아송 괄호
4.1 좌표와 운동량의 푸아송 괄호
기본 변수 q_i와 p_i 사이의 푸아송 괄호는 다음과 같다.
\{q_i, q_j\} = 0
\{p_i, p_j\} = 0
\{q_i, p_j\} = \delta_{ij}
여기서 \delta_{ij}는 크로네커 델타이다.
4.2 의의
이 기본 푸아송 괄호는 해밀턴 역학의 정준 구조의 기반이다. 양자 역학의 정준 교환 관계의 고전적 한계이다.
5. 함수의 시간 발전
5.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)
해밀턴 방정식을 대입하면
\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) = \frac{\partial f}{\partial t} + \{f, H\}
5.2 결과
따라서
\frac{df}{dt} = \{f, H\} + \frac{\partial f}{\partial t}
이는 푸아송 괄호의 가장 중요한 응용이다. 함수의 시간 발전이 해밀터니안과의 푸아송 괄호로 표현된다.
5.3 특수 경우
f = q_i의 경우
\dot{q}_i = \{q_i, H\} = \frac{\partial H}{\partial p_i}
f = p_i의 경우
\dot{p}_i = \{p_i, H\} = -\frac{\partial H}{\partial q_i}
이는 정준 방정식이다. 따라서 정준 방정식이 푸아송 괄호로부터 직접 유도된다.
6. 보존 법칙
6.1 보존량
함수 f(\mathbf{q}, \mathbf{p})가 시간에 명시적으로 의존하지 않고 \{f, H\} = 0이면 f는 보존량이다.
\frac{df}{dt} = \{f, H\} = 0
6.2 해밀터니안의 보존
\{H, H\} = 0이므로 해밀터니안 자체는 시간에 명시적으로 의존하지 않으면 항상 보존된다.
6.3 두 보존량의 결합
두 보존량 f와 g의 푸아송 괄호 \{f, g\}도 보존량이다(또는 0 또는 상수). 이는 야코비 항등식에서 유도된다.
이를 푸아송의 정리(Poisson’s theorem)라 한다.
7. 정준 변환의 보존
7.1 푸아송 괄호의 보존
정준 변환은 푸아송 괄호를 보존한다.
\{f, g\}_{(q, p)} = \{f, g\}_{(Q, P)}
7.2 정준성의 등가 조건
푸아송 괄호의 보존은 정준성의 등가 조건이다. 즉, 변환이 푸아송 괄호를 보존하면 정준 변환이다.
8. 응용 예시
8.1 각운동량
3차원 공간의 입자의 각운동량 성분 L_x, L_y, L_z는 다음의 푸아송 괄호를 만족한다.
\{L_x, L_y\} = L_z
\{L_y, L_z\} = L_x
\{L_z, L_x\} = L_y
이는 회전 군의 리 대수와 동등하다.
8.2 매니퓰레이터의 운동량
매니퓰레이터의 일반화 운동량의 푸아송 괄호 분석은 시스템의 대칭성과 보존 법칙의 분석에 사용된다.
9. 본 절의 의의
본 절은 푸아송 괄호의 정의와 기본 성질을 다루었다. 푸아송 괄호는 해밀턴 역학의 핵심 양이며, 시간 발전, 보존 법칙, 정준 변환의 분석에 통합적으로 사용된다.
10. 참고 문헌
- 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