4.1.1 — 라그랑주 방정식의 좁음: 좌표와 속도의 비대칭 이라는 한계

라그랑주식 $\frac{d}{dt}\partial L/\partial \dot q^\alpha = \partial L/\partial q^\alpha$ 는 2차 ODE. $q$ 와 $\dot q$ 가 다른 역할. 르장드르 변환으로 위치·운동량을 대칭적 으로 다루는 1차 ODE 시스템 — 해밀턴 형식 — 으로 옮겨가는 동기.

본문이 말하는 것

원서 4.1.1 절은 라그랑주 형식의 한계 를 다음 세 가지로 정리한다.

(1) 2차 ODE 의 비대칭성. 라그랑주식

$$\frac{d}{dt}\frac{\partial L}{\partial \dot q^\alpha} - \frac{\partial L}{\partial q^\alpha} = 0$$

은 $\ddot q$ 가 등장하는 2차 ODE. 위치 $q$ 와 속도 $\dot q$ 가 같은 자격의 변수 가 아니라 $\dot q = dq/dt$ 의 의존 관계 로 묶여 있다. 위상공간의 자연스러운 2배 좌표 가 아니다.

(2) 좌표 변환의 제한성. 라그랑주 형식에서 좌표 변환은 $q^\alpha \to q'^\alpha(q, t)$ 의 점 변환만 허용. $\dot q$ 는 자동 으로 따라 변환 (자코비안). $q$ 와 $\dot q$ 의 자유로운 결합 변환 — 예: $q' = p$, $p' = -q$ — 은 라그랑주 형식에선 부자연스럽다. 해밀턴 형식의 정준 변환 (§5) 이 이 한계를 깬다.

(3) 운동량의 2차적 위치. 일반화 운동량 $p_\alpha = \partial L/\partial \dot q^\alpha$ 는 라그랑지언에서 도출되는 양. 기본 변수가 아니다. 그러나 물리적으로 운동량은 위치만큼 중요 — 보존법칙 (운동량 보존), 양자화 ($p \to -i\hbar \partial/\partial q$) 에서 기본 좌표 역할.

이 셋이 해밀턴 형식의 동기. 르장드르 변환으로 $\dot q \to p$, 1차 ODE 두 묶음 으로 옮기면 위 모든 한계가 해소.

한 번 더, 천천히

도해 설명 — 비대칭의 시각화 와 해밀턴 형식이 무엇을 해결하는가.

(a) 2차 ODE 의 상태. $n$ 자유도 라그랑주식은 $n$ 개의 2차 ODE. 운동을 결정하려면 초기 위치 + 초기 속도 = $2n$ 개의 초기값. 즉 상태 공간이 $2n$ 차원 인데 ($TM$), 식은 2차. 1차 ODE 시스템으로 다시 적으면 $2n$ 개의 1차 ODE — 더 자연스러운 형식.

(b) 광학과의 반례. 페르마 광학에서 광선의 경로는 광학 경로 길이 의 변분. 1차 미분만 등장 — 해밀턴 형식 같은 자연스러움. 입자 역학을 광학과 평행하게 다루려면 1차 ODE 형식 이 자연. 드 브로이 의 물질파 → 슈뢰딩거의 파동역학 의 출발점.

(c) 정준 좌표 변환의 자유. 해밀턴 형식의 정준 변환 $(q, p) \to (Q, P)$ — 위상공간 위의 변환. 이게 심플렉틱 구조 (§4.2.1) 를 보존하는 변환. 라그랑주의 점 변환보다 훨씬 큰 그룹. 작용-각 변수 (action-angle variable) 같은 적분 가능 시스템 의 변환이 이 자유 안에서 가능.

(d) 양자역학으로의 다리. 정준 양자화 (canonical quantization) — $q, p$ 가 자기-수반 작용소가 되고 $[q, p] = i\hbar$. 위치와 운동량의 대칭성 이 양자역학의 핵심 구조. 라그랑주 형식보다 해밀턴 형식이 양자화에 직접 옮겨진다.

(e) 통계역학·정보 이론. 위상공간 측도 (Liouville 측도) 가 모든 위치·운동량 좌표 의 동등한 미분. 라그랑주의 $(q, \dot q)$ 에서는 자연스럽지 않은 측도 정의. 해밀턴 형식의 심플렉틱 측도 가 정보 이론·열역학의 기본 측도.

(f) §5 의 정준 변환·생성 함수·해밀턴-야코비식. §4 의 해밀턴 형식이 §5 의 정준 변환 과 생성 함수 어휘의 무대. 라그랑주 형식만으로는 §5 의 어휘가 자연스럽지 않다.

다음 절(4.1.2)로 가는 다리

라그랑주의 한계 → 르장드르 변환 → 해밀턴 형식. 4.1.2 가 그 변환을 구체적으로 수행해 정준 방정식 (canonical equations) 을 박는다. $\dot q^\alpha = \partial H / \partial p_\alpha$, $\dot p_\alpha = -\partial H / \partial q^\alpha$ 의 대칭적인 1차 ODE 짝.