Dexter's story

여기에 Legendre 변환만 취해주면 Hamiltonian을 얻는다. 치환하고자 하는 물리량은 일반화된 속도 벡터.(좌표의 시간변화율을 말한다.) 일단 Lagrangian을 좌표의 시간변화율로 편미분해주자.

$$p_i=\frac{\partial L}{\partial\dot {q_i}}$$

이 값을 conjugate momentum이라고 부른다. 이제 Legendre 변환을 취한다.

$$H(q_i,p_i,t)= \sum_i p_i\dot{q_i}-L(q_i,\dot{q_i},t)$$

독립변수가 변하는 것에 주목할 것.(일반적으로 우변의 항은 일반좌표의 시간변화율 d(q_i)/dt가 남아있기 때문에 Hamiltonian으로 쓰려면 모두 p_i로 바꾸어야 한다.) 좌표를 일반적인 직교좌표계로 두고 계산해보자.

$$p_i=\frac{\partial L}{\partial\dot{x_i}}=m\dot{x_i}\\H= \sum_i p_i\dot{x_i}-L=\sum_i\frac12m\dot{x_i}^2+V\\H=\sum_i\frac{{p_i}^2}{2m}+V$$

얼레. 에너지다.(독립변수인 p_i로 쓴 점에 유의) 이래서 보통 Hamiltonian을 에너지라고 해석하기도 한다(양자역학을 배울 때 Hamiltonian을 에너지라고 가르치기도 하는데 그 이유가 여기있다). 그렇다면 운동방정식은 어떻게 될까? 우선 Lagrangian을 쓸 때 운동방정식은 이것이었다.

$$\frac{\partial{L}}{\partial{q_i}}-\frac{d}{dt}\frac{\partial{L}}{\partial{\dot{q_i}}}=0$$

Hamiltonian은 일반좌표의 성분이 전부 Lagrangian에서 나오기 때문에(Hamiltonian은 Lagrangian의 일반좌표 q_i와 일반좌표의 시간변화율 d(q_i)/dt 두 독립변수 중 시간변화율을 conjugate momentum으로 바꾼 것이다. 따라서 앞쪽의 p_i는 일반좌표 q_i와 독립적인 변수가 되고, 따라서 편미분하면 0이 된다.)^[각주:1] 위의 식을 이렇게 바꿀 수 있다.

$$\frac{\partial L}{\partial q_i}=-\frac{\partial H}{\partial q_i}=\frac d{dt}\frac{\partial L}{\partial \dot{q_i}}=\dot {p_i}\\\frac{\partial H}{\partial q_i}=-\dot{p_i}$$

하나의 운동방정식을 구했다. 이제 두 번째 운동방정식을 구할 차례다.(Lagrangian의 운동방정식이 N차원 변수 x의 값과 그 시간변화율에 대한 2계도함수라면 Hamiltonian의 운동방정식은 N차원 변수 x와 N차원 변수 p에 대한 1계도함수이다. 따라서 하나씩 더 필요.) 우선 Lagrangian과 Hamiltonian의 완전미분을 생각해보자.

$$dH= \sum_i (\dot{q_i}~dp_i + p_i~d\dot{q_i})-dL \\dL=\sum_i\left(\frac{\partial L}{\partial\dot {q_i}}~d\dot{q_i}+\frac{\partial L}{\partial{q_i}}~dq_i\right)+\frac{\partial L}{\partial t}dt$$

식을 정리하면 다음처럼 된다.(p_i의 정의를 이용)

$$dH= \sum_i \left(\dot{q_i}~dp_i + p_i~d\dot{q_i}-\frac{\partial L}{\partial\dot {q_i}}~d\dot{q_i}-\frac{\partial L}{\partial{q_i}}~dq_i\right)-\frac{\partial L}{\partial t}dt \\dH= \sum_i \left(\dot{q_i}~dp_i -\frac{\partial L}{\partial{q_i}}~dq_i\right)-\frac{\partial L}{\partial t}dt$$

그런데 Hamiltonian은 conjugate momentum과 일반화된 좌표, 시간에 대한 종속변수이므로

$$dH= \sum_i\left(\frac{\partial H}{\partial{p_i}}~dp_i+\frac{\partial H}{\partial{q_i}}~dq_i\right)+\frac{\partial H}{\partial t}dt$$

가 되어여만 한다.(완전미분의 정의를 생각해보자.) 언제 어디서나 어떤 경우에도 바로 위의 식과 그 위의 식이 일치해야 하므로, 우리가 내릴 수 있는 결론은

$$\frac{\partial H}{\partial{p_i}}=\dot{q_i}~,~\frac{\partial H}{\partial t}=-\frac{\partial L}{\partial t}$$

이다. 그리고 Hamiltonian을 시간에 대해 완전 미분한 결과는

$$\frac{dH}{dt}=\sum_i\left(\frac{\partial H}{\partial{p_i}}~\dot{p_i}+\frac{\partial H}{\partial{q_i}}~\dot{q_i}\right)+\frac{\partial H}{\partial t} \\=\sum_i\left(-\frac{\partial H}{\partial{p_i}}\frac{\partial H}{\partial{q_i}}+\frac{\partial H}{\partial{q_i}}\frac{\partial H}{\partial{p_i}}\right)+\frac{\partial H}{\partial t} \\=\frac{\partial H}{\partial t}$$

이라 Hamiltonian이 시간에 대한 explicit dependence가 없을 경우 일정한 값을 갖는다.

Lagrangian을 쓸 때와 Hamiltonian을 쓸 때의 차이점은 Lagrangian이 N개의 차원을 갖는 일반화된 좌표공간에서의 움직임을 2계도함수로 풀 때(Euler-Lagrange 방정식이 2계도함수이다) Hamiltonian은 2N차원의 일반화된 좌표-운동량공간(위상공간-phase space-으로 부른다)에서의 움직임을 1계도함수로 푼다는 것이다. 작아 보이는 차이지만 좌표와 좌표의 시간변화율은 완전히 독립이 아니기 때문에 perturbation을^[각주:2] 다룰 경우 Hamiltonian이 유리하다고 한다.(좌표와 운동량은 독립된 변수로 취급한다.)

다음번에는 Classical Dynamics of Particles and Systems 5판 7.11에 Hamilton's principle을 꼬아서 운동방정식을 유도하는 특이한 방법이 있어서 그걸 다뤄볼 생각이다. 아직 Lagrangian formulation(2)도 쓰지 않은 판에 이걸 쓸 지는 의문이기는 하지만. 이 방법이 Feynman의 경로적분(path integral)과 밀접한 관련이 있어보이는데 그것까지 할 지는 모르겠다.

ps. 고전역학에서 양자역학으로 넘어가는 데에는 위에 나온 미분방정식들보다는 푸아송 괄호(Poisson bracket)가 더 큰 역할을 했다. Shankar책에서 고전적인 계가 어떻게 양자역학적으로 바뀌는지에 대한 부분이 나오는데(아마 quantization이라고 하면서 푸아송 괄호를 commutator로 바꾸고 값에 ih-bar를 붙였던 것 같다) 참조하면 좋을 것이다.