5.2.3 — 카르탕의 원리: 적분 불변식의 변분 원리 표현

확장 상공간 위 닫힌 곡선의 적분 $\oint_C \theta_H^{\text{ext}}$ 가 해밀턴 흐름에 대해 불변. 이게 카르탕의 원리 — 노에터의 강한 형식이자 정준 변환의 대수적 토대.

본문이 말하는 것

카르탕의 변분 원리 (Cartan’s principle). 확장 상공간 $T^*M \times \mathbb R_t$ 위에 2-매개변수 가족 곡선

$$\Gamma(s, \tau) : [s_1, s_2] \times [\tau_1, \tau_2] \to T^*M \times \mathbb R_t$$

가 있고, $\tau$ 가 고정되면 $s$-방향이 해밀턴 흐름의 곡선. 임의의 닫힌 곡선 $C(\tau) = \Gamma(\cdot, \tau)$ 의 적분

$$I(\tau) := \oint_{C(\tau)} \theta_H^{\text{ext}} = \oint (p_\alpha dq^\alpha - H dt)$$

가 $\tau$ 에 무관 — $dI/d\tau = 0$.

증명 핵심. $dI/d\tau$ 의 표현이 외미분의 Cartan formula

$$\frac{dI}{d\tau} = \int_{C(\tau)} \mathcal L_{X_\tau} \theta_H^{\text{ext}} = \int_{C(\tau)} \left[\iota_{X_\tau} (d\theta_H^{\text{ext}}) + d(\iota_{X_\tau} \theta_H^{\text{ext}})\right]$$

여기서 $X_\tau = \partial \Gamma / \partial \tau$. 두 번째 항이 전미분 — 닫힌 곡선 위 적분에서 0. 첫 항이 심플렉틱 contraction — 해밀턴 벡터장과의 contraction 으로 항등적으로 0 (§4.2.3 의 $L_{X_H} \omega = 0$ 자동).

핵심 주장. 해밀턴 흐름이 $\theta_H^{\text{ext}}$ 의 닫힌 곡선 적분 을 보존 — 적분 불변식 (§5.2.2). 본 절은 그 변분 원리 표현.

한 번 더, 천천히

도해 설명 — 카르탕 원리의 심플렉틱 기하학적 정체.

(a) 카르탕 형식의 위력. 단일 공식 $\mathcal L_X = \iota_X d + d\iota_X$ (Cartan magic formula) 이 모든 적분 불변식의 정리를 대수적 자동 으로 만든다. 본 절의 증명이 그 직접 응용.

(b) §3.2.3 노에터 정리의 강한 형식. §3.2.3 의 노에터 → 보존량 $J$. 카르탕의 원리 는 모든 닫힌 곡선의 1-형식 적분 이 보존됨 — 무한 가족 의 보존량. 연속적인 노에터.

(c) 정준 변환의 대수적 정의 의 출발점. §5.3 의 정준 변환 의 정의 (위상공간 사상이 $\theta_H^{\text{ext}}$ 의 닫힌 적분을 보존) 가 본 절의 직접 응용. 카르탕 원리 → 정준 변환의 충분조건 (§5.4.3).

(d) Hamilton-Jacobi 식의 기하학적 출처. 작용 $S$ 가 위상공간 위 1-형식 $\theta$ 의 원시함수 — $dS = \theta$. 카르탕 원리는 해밀턴 흐름이 $S$ 를 시간에 따라 연속 변환 한다 는 진술. 그 변환의 생성자 가 해밀토니언 — HJ 식의 출발.

(e) §5.5 의 정준 불변식과의 직선. 본 절의 적분 불변식이 §5.5.1 의 적분 불변식 재차, §5.5.2 의 라그랑주 괄호, §5.5.3 의 사교적 으로 일반화. 모두 심플렉틱 기하학의 자동 결과.

(f) 양자장 이론에서의 유사. Berry phase — 위상공간이 외부 매개변수에 의해 변할 때 양자 상태가 기하학적 위상 을 얻는 현상 — 가 본 절의 카르탕 원리의 양자 표현. 위상공간 적분 이 양자 위상 으로 옮겨짐.

다음 절(5.2.4)로 가는 다리

적분 불변식과 카르탕 원리가 흐름의 보존량 을 무수히 만든다. 이 보존량들을 실제 운동을 풀 때 활용하는 방법이 자유도의 삭감 — 적분 불변식을 이용해 차원 환원. §5.2.4 가 그 절차.