물리학 강의 노트

정의6.1푸아송 괄호

위상 공간의 두 함수 $f(q, p, t)$ 와 $g(q, p, t)$ 의 푸아송 괄호(Poisson bracket)는:

\boxed{\{f, g\} = \sum_{k=1}^{n}\left(\frac{\partial f}{\partial q_k}\frac{\partial g}{\partial p_k} - \frac{\partial f}{\partial p_k}\frac{\partial g}{\partial q_k}\right)}

정의6.2푸아송 괄호의 대수적 성질

기본 푸아송 괄호:

\{q_i, q_j\} = 0, \qquad \{p_i, p_j\} = 0, \qquad \{q_i, p_j\} = \delta_{ij}

이 관계는 양자역학의 정준 교환 관계 $[\hat{q}_i, \hat{p}_j] = i\hbar\delta_{ij}$ 의 고전적 대응이다.

법칙6.1운동 방정식의 푸아송 괄호 표현

임의의 역학 변수 $f(q, p, t)$ 의 시간 진화는:

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

특히 정준 변수에 대해:

\dot{q}_k = \{q_k, H\} = \frac{\partial H}{\partial p_k}

\dot{p}_k = \{p_k, H\} = -\frac{\partial H}{\partial q_k}

이는 해밀턴의 정준 방정식이다.

정의6.3운동의 상수

$f(q, p)$ 가 시간에 명시적으로 의존하지 않는 운동의 상수이면:

\{f, H\} = 0

즉, 보존량은 해밀토니안과의 푸아송 괄호가 영이다.

법칙6.2푸아송 정리

$f$ 와 $g$ 가 둘 다 운동의 상수이면, $\{f, g\}$ 도 운동의 상수이다:

\{f, H\} = 0, \quad \{g, H\} = 0 \quad \Longrightarrow \quad \{\{f, g\}, H\} = 0

이는 야코비 항등식으로부터 직접 따른다. 이 정리를 반복 적용하여 새로운 보존량을 생성할 수 있으나, 항상 독립적인 새 보존량을 주지는 않는다.

참고정준 변환의 푸아송 괄호 판정

변환 $(q, p) \to (Q, P)$ 가 정준이기 위한 필요충분조건은 기본 푸아송 괄호가 보존되는 것이다:

\{Q_i, Q_j\} = 0, \qquad \{P_i, P_j\} = 0, \qquad \{Q_i, P_j\} = \delta_{ij}

더 나아가, 정준 변환은 모든 함수 쌍의 푸아송 괄호를 보존한다:

\{f, g\}_{q,p} = \{f, g\}_{Q,P}

이것이 해밀턴 역학의 구조적 불변량이다.

참고관측량의 리 대수

푸아송 괄호는 위상 공간 함수의 집합에 리 대수(Lie algebra) 구조를 부여한다. 특히:

각운동량 성분의 푸아송 괄호:

\{L_x, L_y\} = L_z, \quad \{L_y, L_z\} = L_x, \quad \{L_z, L_x\} = L_y

이는 $SO(3)$ 의 리 대수 $\mathfrak{so}(3)$ 와 동형이다.

생성자 $G$ 에 의한 무한소 정준 변환:

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

에서 푸아송 괄호는 리 미분(Lie derivative)의 역할을 한다. 이 구조는 양자역학으로 넘어갈 때 교환자(commutator) 대수로 직접 번역된다:

\{f, g\} \to \frac{1}{i\hbar}[\hat{f}, \hat{g}]

이 대응은 디랙의 정준 양자화 규칙의 핵심이다.

예제조화 진동자의 보존량 대수

조화 진동자에서 $H = \frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2$ 에 대해:

a = \sqrt{\frac{m\omega}{2}}q + \frac{i}{\sqrt{2m\omega}}p, \qquad a^* = \sqrt{\frac{m\omega}{2}}q - \frac{i}{\sqrt{2m\omega}}p

를 정의하면:

\{a, a^*\} = -i/\hbar_{\text{cl}} \to \text{양자역학에서 } [\hat{a}, \hat{a}^\dagger] = 1

$H = \omega a^* a$ 이며, $\{a, H\} = -i\omega a$ 이므로 $a(t) = a(0)e^{-i\omega t}$ 이다.

푸아송 괄호 (Poisson Brackets)