콘텐츠로 이동

Appendix D: Lagrangian·Hamiltonian 형식과 정준양자화

← C 푸리에 해석과 δ 함수이 여행에 오신 것을 환영합니다 →

지금까지의 줄거리:

본편 제1~28장에서는 확률진폭에서 출발하여 양자역학의 전체상을 조립해 왔다. 부록 A~C에서는 복소수·선형대수·Fourier 해석이라는 수학적 도구를 정비했다. 이 부록 D에서는 고전역학의 Lagrangian·Hamiltonian 형식을 체계적으로 도입하고, "고전역학에서 양자역학으로"의 번역 절차——정준양자화——를 명시한다.

이 장의 목표

  • 고전역학의 Lagrangian·Hamiltonian 형식을 체계적으로 이해하고, Poisson 괄호의 대수 구조가 양자역학의 교환관계와 동형임을 간파하는 것
  • 그 위에서 정준양자화의 "레시피"——Poisson 괄호 \(\{q_j, p_k\} = \delta_{jk}\)를 교환관계 \([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\)로 치환하는 것——를 명확히 파악하고, 본편에서 "하늘에서 뚝 떨어진 듯이" 도입된 Hamiltonian 연산자나 Schrödinger 방정식의 출처를 고전역학까지 거슬러 올라가 이해하는 것
  • 나아가 장의 정준양자화로의 자연스러운 확장을 개관하고, 장의 양자론으로의 전망을 얻는 것

D.1 왜 Lagrangian 형식이 필요한가

🟡 리나: 자, 본편에서는 양자역학을 "확률진폭의 규칙"으로부터 조립해 왔어. 그런데 제 7 장 이후에서 Schrödinger 방정식을 사용할 때, Hamiltonian \(\hat{H}\)가 갑자기 등장했잖아? 그 \(\hat{H}\)가 어디에서 오는지——그 출처를 고전역학까지 거슬러 올라가 이해하는 것이 이 Appendix의 목적이야.

🔵 카이: Newton의 \(F = ma\)로는 안 되나요?

🟡 리나: 좋은 질문이야. Newton의 운동방정식은 "힘"을 기본 개념으로 하고 있어. 하지만 양자역학에서는 "입자가 어떤 경로를 지나는가"라는 개념 자체가 흔들려. 제 4 장에서 배운 Feynman의 경로적분을 떠올려봐——거기서는 "모든 경로에 확률진폭 \(e^{iS/\hbar}\)를 할당한다"고 했잖아.

🔵 카이: 아, 그 \(S\)가……

🟡 리나: 맞아, 작용 (action)이야. 작용 \(S\)는 Lagrangian \(L\)의 시간적분으로 정의돼. 즉, 양자역학의 근간에 Lagrangian이 자리잡고 있어. Newton의 "힘"이 아니라 Lagrangian의 "작용"이 고전역학과 양자역학을 잇는 다리가 되는 거야. 그리고 이 앞으로, Lagrangian에서 더 나아가 Hamiltonian 형식으로 진행함으로써 양자역학으로의 번역이 가능해져. 즉, Newton 형식 → Lagrangian 형식 → Hamiltonian 형식 → 양자역학, 이런 순서로 진화해 온 거야.

⚪ 메이: 그렇구나, 각 단계에서 기술의 추상도가 올라가면서, 최종적으로 양자역학으로의 접속이 가능해지는 거네.

🟡 리나: 맞아. 구체적으로 Lagrangian 형식의 장점을 정리해 둘게:

  1. 좌표계에 의존하지 않음 — Euler-Lagrange 방정식은 어떤 좌표계에서도 같은 형태
  2. 구속 조건의 처리가 용이 — 자유도를 적절히 선택하면 자연스럽게 처리 가능
  3. 대칭성과 보존법칙이 직결 — 제 26 장에서 배운 Noether(뇌터)의 정리
  4. 장에도 확장 가능 — 전자기장이나 양자장에도 통일적으로 사용 가능
  5. 양자론으로의 다리 놓기가 직접적 — Feynman의 경로적분은 \(e^{iS/\hbar}\)의 가중치

🔵 카이: 5번이 제일 중요할 것 같아요.

🟡 리나: 그래. 그러면 구체적으로 최소작용의 원리부터 시작하자.

✅ 이해도 체크: Lagrangian 형식이 Newton 형식에 비해 양자역학으로의 접속에 적합한 최대의 이유는 무엇일까요?

답

Feynman의 경로적분에서 각 경로에 할당되는 확률진폭의 위상 \(e^{iS/\hbar}\)가 Lagrangian의 시간적분인 작용 \(S\)로 쓰이기 때문이다. 즉, 양자역학의 근간에 Lagrangian(작용)이 직접 자리잡고 있으며, Newton의 "힘"이 아니라 Lagrangian의 "작용"이 고전역학과 양자역학을 잇는 다리가 된다.

D.2 작용과 최소작용의 원리

🟡 리나: 질량 \(m\)의 입자가 1차원에서 운동하는 경우를 생각해 보자. 위치를 \(q(t)\), 속도를 \(\dot{q}(t) = dq/dt\)로 쓸게. Lagrangian \(L\)은 다음과 같이 정의돼:

\[ L(q, \dot{q}) = T - V = \frac{1}{2}m\dot{q}^2 - V(q) \tag{D.1} \]

여기서 \(T\)는 운동에너지, \(V\)는 퍼텐셜에너지야.

🔵 카이: 전체 에너지 \(E = T + V\)가 아니라 \(T - V\)인가요? 뺄셈?

🟡 리나: 맞아. 직관적으로는 "운동에너지가 클수록 좋고, 퍼텐셜에너지가 클수록 싫다"라는 가중치 부여라고 생각해. 왜 뺄셈인지는, 궁극적으로는 "이 정의로부터 올바른 운동방정식이 나오기 때문"이라고밖에 할 수 없어. 모델의 정당화는 실험과의 일치야.

🟡 리나: 이 Lagrangian을 시간으로 적분한 것이 작용 (action) \(S\)야:

\[ S[q] = \int_{t_1}^{t_2} L(q(t),\, \dot{q}(t))\, dt \tag{D.2} \]

⚪ 메이: \(S[q]\)라고 대괄호로 쓴 것은……

🟡 리나: 좋은 데 눈치챘네. \(S\)는 범함수 (functional)야. 보통의 함수는 "수를 넣으면 수가 나오는" 것이지만, 범함수는 "함수를 넣으면 수가 나오는" 것이야. 경로 \(q(t)\)라는 함수 전체를 입력으로 받아서, 하나의 실수 \(S\)를 돌려줘. 그래서 대괄호 \(S[q]\)로 써서 보통의 함수 \(f(x)\)의 소괄호와 구별하는 거야(「일반상대론」편를 배운 사람은 「일반상대론」편 제 1 장에서 나왔던 개념과 같아). 가까운 예를 들자면, "곡선의 길이"도 범함수야——곡선의 형태(함수)를 입력으로 받아서 그 길이(수)를 돌려주잖아?

🔵 카이: 그렇구나……경로마다 "작용"이라는 수치가 붙어 있는 거군요.

🟡 리나: 맞아. 그리고 최소작용의 원리 (principle of least action)는 이렇게 말해:

입자가 시각 \(t_1\)에 위치 \(q(t_1) = q_A\)에 있고, 시각 \(t_2\)에 위치 \(q(t_2) = q_B\)에 있을 때, 실제로 따르는 경로는 작용 \(S[q]\)를 정류 (stationary)시키는 경로이다.

🔵 카이: "정류"는 "최소"와 다른 건가요?

🟡 리나: 엄밀하게는 "최소"라고 할 수 없고, "정류"——즉 미소한 경로의 변경에 대해 \(S\)의 1차 변화가 0이 되는 경로야. 보통의 함수에서 "미분 = 0"인 점이 극대인지 극소인지 안장점인지 모르는 것과 같아서, 정류점이 반드시 최소점인 것은 아니야. 하지만 역사적으로 "최소작용의 원리"라고 불리고 있어.

⚪ 메이: 즉, 모든 "있을 수 있는 경로" 중에서 작용이 정류하는 특별한 경로만이 물리적으로 실현된다는 거네.

🟡 리나: 맞아. 여기서 중요한 질문이 생겨——"왜 자연은 작용을 정류시키는 경로를 선택하는가?". 이 질문에 대한 답은, 사실 양자역학이 제공해 줘.

🔵 카이: 어, 양자역학이요?

🟡 리나: Feynman의 경로적분에서는, 입자는 모든 경로를 동시에 지나. 각 경로에 \(e^{iS/\hbar}\)라는 위상인자가 할당돼. 고전적 극한(\(\hbar \to 0\))에서는 작용이 정류하는 경로의 근방에서만 보강간섭이 일어나고, 그 외의 경로는 격렬하게 진동하여 상쇄돼. 그래서 고전적으로는 "정류 경로만 살아남는" 것처럼 보여.

🔵 카이: 대단하다……양자역학이 고전역학의 "왜"에 답하고 있군요. 그러면 역으로 말하면, 고전역학만의 세계에 있었다면 "왜 작용이 정류하는가"는 영원히 답할 수 없는 건가요?

🟡 리나: 맞아. 고전역학의 틀 안에서는 최소작용의 원리를 "원리"로서 받아들일 수밖에 없어. 하지만 양자역학이 그 뒤의 메커니즘을 알려줘——더 깊은 이론이, 얕은 이론의 "왜"에 답한다는 구조야. 자, 오늘의 목적은 우선 고전역학의 틀 안에서 "정류 조건"으로부터 운동방정식을 유도하는 것이야. 다음 절에서 해보자.

✅ 이해도 체크: 고전적 극한(\(\hbar \to 0\))에서 Feynman의 경로적분으로부터 최소작용의 원리가 어떻게 유도되는지 설명해 보세요.

답

경로적분에서는 각 경로에 위상인자 \(e^{iS/\hbar}\)가 할당된다. \(\hbar \to 0\)의 극한에서 작용이 정류하지 않는 경로의 근방에서는 위상이 격렬하게 진동하여 서로 상쇄된다(상쇄간섭). 한편, 작용이 정류하는 경로의 근방에서는 위상의 변화가 완만하여 보강간섭이 일어난다. 결과적으로 고전적으로는 정류 경로만 살아남는다.

✅ 이해도 체크: 작용 \(S[q]\)가 "범함수"로 불리는 이유를 한마디로 서술하세요.

답

작용 \(S\)는 경로 \(q(t)\)라는 "함수"를 입력으로 받아서 하나의 실수를 돌려주기 때문이다. 통상적인 함수가 "수 → 수"의 대응인 데 비해, 범함수는 "함수 → 수"의 대응이다.

D.3 Euler-Lagrange 방정식의 유도

🟡 리나: 최소작용의 원리로부터 운동방정식을 유도할게. 실제 경로를 \(q(t)\)로 하고, 거기서 미소하게 벗어난 경로 \(q(t) + \delta q(t)\)를 생각해. 단, 끝점은 고정:

\[ \delta q(t_1) = \delta q(t_2) = 0 \tag{D.3} \]

🔵 카이: 출발점과 도착점은 움직이지 않는다는 거죠.

🟡 리나: 맞아. 작용의 변분 \(\delta S\)를 계산할게:

\[ \delta S = S[q + \delta q] - S[q] = \int_{t_1}^{t_2} \left[ L(q + \delta q,\, \dot{q} + \delta\dot{q}) - L(q, \dot{q}) \right] dt \tag{D.4} \]

\(L\)을 \(\delta q\)와 \(\delta\dot{q}\)에 대해 1차까지 Taylor 전개하면:

\[ L(q + \delta q,\, \dot{q} + \delta\dot{q}) \approx L(q, \dot{q}) + \frac{\partial L}{\partial q}\delta q + \frac{\partial L}{\partial \dot{q}}\delta\dot{q} \tag{D.5} \]

⚪ 메이: 2변수 함수의 Taylor 전개의 1차 근사네. \(f(x+\Delta x, y+\Delta y) \approx f(x,y) + \frac{\partial f}{\partial x}\Delta x + \frac{\partial f}{\partial y}\Delta y\)와 같은 구조.

🟡 리나: 맞아. 이것을 식 (D.4)에 대입하면:

\[ \delta S = \int_{t_1}^{t_2} \left( \frac{\partial L}{\partial q}\delta q + \frac{\partial L}{\partial \dot{q}}\delta\dot{q} \right) dt \tag{D.6} \]

여기서 \(\delta\dot{q} = \frac{d}{dt}(\delta q)\)이므로, 제2항을 부분적분해:

\[ \int_{t_1}^{t_2} \frac{\partial L}{\partial \dot{q}}\,\frac{d(\delta q)}{dt}\, dt = \left[\frac{\partial L}{\partial \dot{q}}\,\delta q\right]_{t_1}^{t_2} - \int_{t_1}^{t_2} \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}}\right)\delta q\, dt \tag{D.7} \]

🔵 카이: 부분적분이란 \(\int u\,dv = uv - \int v\,du\)이죠.

🟡 리나: 맞아. 그리고 경계항 \(\left[\frac{\partial L}{\partial \dot{q}}\,\delta q\right]_{t_1}^{t_2}\)는, 끝점 조건 \(\delta q(t_1) = \delta q(t_2) = 0\)에 의해 0이 돼. 따라서:

\[ \delta S = \int_{t_1}^{t_2} \left( \frac{\partial L}{\partial q} - \frac{d}{dt}\frac{\partial L}{\partial \dot{q}} \right) \delta q\, dt \tag{D.8} \]

🔵 카이: 여기까지는 기계적인 계산이네요. 하지만 여기서 "\(\delta S = 0\)"을 써서 운동방정식을 이끌어내는 거죠?

🟡 리나: 맞아. 정류 조건은 "임의의 \(\delta q(t)\)에 대해 \(\delta S = 0\)"이야. 여기서 "임의의"란, 끝점에서 \(\delta q(t_1) = \delta q(t_2) = 0\)을 만족하는 한, 구간 내부에서는 어떤 형태의 매끄러운 함수여도 좋다는 뜻이야. 피적분함수에 임의의 그런 함수 \(\delta q\)를 곱해서 적분한 것이 0이 되려면, 피적분함수 자체가 0이어야 해. 이것을 변분법의 기본보조정리라고 불러. 수학적으로 쓰면 "끝점에서 0을 만족하는 임의의 \(\delta q\)에 대해 \(\int f(t)\,\delta q(t)\,dt = 0\)이면 \(f(t) = 0\)". 직관적으로는, 만약 피적분함수 \(f(t)\)가 어딘가에서 0이 아니라면, 그 점 근처에서만 양의 값을 취하는 \(\delta q\)를 선택하면 적분을 0이 아니게 만들 수 있으니까——그래서 \(f(t) = 0\)이어야 해.

⚪ 메이: 그렇구나, "임의의 \(\delta q\)에서 적분이 0"이라는 조건이, 피적분함수 자체의 0을 강제하는 거네.

🟡 리나: 맞아. 이렇게 해서 Euler-Lagrange 방정식이 얻어져:

\[ \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}}\right) - \frac{\partial L}{\partial q} = 0 \tag{D.9} \]

🔵 카이: 이것이 Newton의 \(F = ma\) 대신이 되는 건가요?

🟡 리나: 확인해 보자. \(L = \frac{1}{2}m\dot{q}^2 - V(q)\)를 대입하면:

\[ \frac{\partial L}{\partial \dot{q}} = m\dot{q}, \qquad \frac{\partial L}{\partial q} = -\frac{dV}{dq} \]

Euler-Lagrange 방정식에 넣으면:

\[ \frac{d}{dt}(m\dot{q}) - \left(-\frac{dV}{dq}\right) = 0 \quad \Longrightarrow \quad m\ddot{q} = -\frac{dV}{dq} = F \tag{D.10} \]

🔵 카이: 오오, Newton의 제2법칙 그 자체네요!

⚪ 메이: 즉 Euler-Lagrange 방정식은 Newton의 운동방정식을 포함하지만, 더 일반적인 형식인 거네. 좌표계를 바꿔도 식 (D.9)의 형태는 변하지 않아.

🟡 리나: 맞아. 다자유도계 \(q_1, q_2, \ldots, q_f\)의 경우는, 각 자유도에 대해 한 개씩:

\[ \frac{d}{dt}\!\left(\frac{\partial L}{\partial \dot{q}_j}\right) - \frac{\partial L}{\partial q_j} = 0 \qquad (j = 1, 2, \ldots, f) \tag{D.11} \]

✅ 이해도 체크: 변분법의 기본보조정리란 무엇일까요? Euler-Lagrange 방정식의 유도에서 어떻게 사용될까요?

답

변분법의 기본보조정리란 "임의의 함수 \(\delta q(t)\)에 대해 \(\int f(t)\,\delta q(t)\,dt = 0\)이면 \(f(t) = 0\)"이라는 명제이다. Euler-Lagrange 방정식의 유도에서는, \(\delta S = \int \left(\frac{\partial L}{\partial q} - \frac{d}{dt}\frac{\partial L}{\partial \dot{q}}\right)\delta q\,dt = 0\)이 임의의 \(\delta q\)에 대해 성립하는 것으로부터, 피적분함수 자체가 0, 즉 Euler-Lagrange 방정식이 얻어진다.

✅ 이해도 체크: Euler-Lagrange 방정식의 유도에서 부분적분의 경계항이 0이 되는 이유는 무엇일까요?

답

경로의 끝점을 고정하는 조건 \(\delta q(t_1) = \delta q(t_2) = 0\)을 부과했기 때문이다. 변분 \(\delta q\)가 양 끝에서 0이므로, 경계항 \(\left[\frac{\partial L}{\partial \dot{q}}\,\delta q\right]_{t_1}^{t_2} = 0\)이 된다.

📝 연습문제:

D.4 정준운동량과 Legendre 변환

🟡 리나: Euler-Lagrange 방정식은 2계 미분방정식이야. 변수는 \(q\)와 \(\dot{q}\). 하지만 양자역학에서는 "위치"와 "운동량"을 대등하게 다루고 싶어. 그래서 독립변수를 \(\dot{q}\)에서 다른 양으로 바꾸는 조작을 해.

D.4.1 정준운동량의 정의

🟡 리나: 정준운동량 (canonical momentum)을 다음과 같이 정의할게:

\[ p_j \equiv \frac{\partial L}{\partial \dot{q}_j} \tag{D.12} \]

🔵 카이: \(L = \frac{1}{2}m\dot{q}^2 - V(q)\)이면 \(p = m\dot{q}\)로, 보통 운동량이죠?

🟡 리나: 그 경우는 그래. 하지만 일반적으로는 "질량 × 속도"와 일치하지 않아. 예를 들어 전자기장 속의 하전입자에서는 \(p = m\dot{q} + eA\)(\(A\)는 벡터 퍼텐셜)처럼, 장의 기여가 더해져. 정준운동량은 Lagrangian의 구조로부터 자동적으로 결정되는 양이지, 일상적인 "운동량"의 직관과 다를 수 있어——이것은 중요한 포인트야.

✅ 이해도 체크: 정준운동량이 "질량×속도"와 일치하지 않는 예를 들고, 왜 그런지 설명해 보세요.

답

전자기장 속의 하전입자에서는 정준운동량이 \(p = m\dot{q} + eA\)가 되어, 벡터 퍼텐셜 \(A\)의 기여가 더해진다. 이것은 정준운동량이 \(p = \frac{\partial L}{\partial \dot{q}}\)로서 Lagrangian의 구조로부터 자동적으로 결정되는 양이며, Lagrangian에 속도와 장의 결합항(\(e\dot{q}A\) 등)이 포함되는 경우 단순한 "질량×속도"와 달라지기 때문이다.

D.4.2 Legendre 변환의 동기

🟡 리나: Lagrangian \(L(q, \dot{q})\)는 \(q\)와 \(\dot{q}\)의 함수야. 하지만 양자역학으로 나아가려면, \(q\)와 \(p\)를 독립변수로 하는 새로운 함수가 필요해. 이 "독립변수의 교체"를 수학에서는 Legendre 변환 (르장드르 변환)이라고 불러.

🔵 카이: 왜 변수를 바꾸고 싶은 건가요?

🟡 리나: 두 가지 이유가 있어. 첫째, \(q\)와 \(p\)를 대등하게 다루면 역학의 구조가 더 대칭적이고 아름다워져. 둘째, 양자역학에서는 \(\hat{q}\)와 \(\hat{p}\)가 기본적인 연산자이므로, 고전역학에서도 \(q\)와 \(p\)로 기술해 두면 양자화로의 이행이 자연스러워져.

🟡 리나: Legendre 변환의 일반적인 사고방식을 설명할게. 어떤 함수 \(f(x)\)가 있을 때:

  1. 새로운 변수를 \(s = \frac{df}{dx}\)로 정의한다
  2. 새로운 함수를 \(g(s) = sx - f(x)\)로 정의한다(\(x\)는 \(s\)의 함수로서 소거한다)

이것이 Legendre 변환이야. 원래 함수 \(f\)의 정보는 \(g\)에 완전히 보존되어 있어서, 역변환으로 원래대로 돌아올 수 있어.

🔵 카이: 왜 정보가 보존되나요? \(g\)에서 \(f\)로 돌아올 수 있다는 건가요?

🟡 리나: 맞아. 역변환을 확인해 보자. "\(g\)에서 \(f\)를 복원할 수 있다"는 것을 보이기 위해, \(g(s)\)를 \(s\)로 미분해 볼게. 왜 미분하냐면, Legendre 변환의 정의에서 "\(f\)를 미분해서 새로운 변수 \(s\)를 만들었으니까", 역으로 "\(g\)를 미분하면 원래 변수 \(x\)가 복원될 것"——대칭적인 구조를 기대하고 있는 거야.

🟡 리나: 여기서 중요한 것은, \(s = \frac{df}{dx}\)라는 관계를 거꾸로 풀면 \(x\)가 \(s\)의 함수로 결정된다는 것——즉 \(x = x(s)\)로 쓸 수 있다는 거야. "거꾸로 푼다"는 것은, 예를 들어 \(f(x) = x^2\)이면 \(s = f'(x) = 2x\)이므로 \(x = s/2\)로 다시 쓸 수 있다는 것. 즉 "\(s\)의 값이 정해지면, 그에 대응하는 \(x\)가 하나 결정된다"는 관계야.

🔵 카이: 그게 항상 거꾸로 풀 수 있나요?

🟡 리나: 좋은 질문이야. \(s = f'(x)\)를 \(x\)에 대해 풀려면, \(f'(x)\)가 단조함수——즉 항상 증가하거나 항상 감소하거나——여야 해. 단조라면 "\(s\)의 값을 하나 정하면, 그에 대응하는 \(x\)가 정확히 하나 결정된다"니까 역함수가 존재해. 그러면 \(f'\)가 단조이기 위한 조건은? 떠올려 봐, \(f''(x)\)는 \(f'(x)\)를 다시 \(x\)로 미분한 것——즉 "\(f'\)의 그래프의 기울기"를 나타내는 양이야. \(f'' > 0\)이 항상 성립하면 \(f'\)의 그래프는 항상 우상향(단조증가), \(f'' < 0\)이 항상 성립하면 항상 우하향(단조감소)——어느 쪽이든 되돌아오지 않아. 요컨대 "\(f''\)가 항상 같은 부호를 유지한다"는 것이 조건이야.

⚪ 메이: "볼록함수이면 Legendre 변환이 정의된다"는 거네.

🟡 리나: 맞아. 반대로, 만약 \(f\)가 직선(\(f'' = 0\)이 도처에서 성립)이면 \(s = f'(x)\)가 상수가 되어서, 어떤 \(x\)에 대해서도 같은 \(s\)가 나와 버리니까 거꾸로 풀 수 없어. 물리에서 나오는 Lagrangian은 보통 이 조건을 만족해. 예를 들어 \(L = \frac{1}{2}m\dot{q}^2 - V(q)\)이면, \(L\)을 \(\dot{q}\)의 함수로 보았을 때(\(q\)는 고정시켜 생각), \(\dot{q}\)로 2번 미분하면 \(\frac{\partial^2 L}{\partial \dot{q}^2} = m > 0\)——이것이 아까의 \(f''(x) > 0\)에 대응해. 그래서 \(p = \frac{\partial L}{\partial \dot{q}} = m\dot{q}\)는 \(\dot{q}\)의 단조증가함수이고, 거꾸로 풀어서 \(\dot{q} = p/m\)이 유일하게 결정돼.

자, 조건이 만족된다는 전제 하에 실제로 \(\frac{dg}{ds}\)를 계산해 보자.

🔵 카이: 우변에 \(x\)와 \(f(x)\)가 있는데, 둘 다 \(s\)를 통해 변하는 거죠? \(s\)를 조금 움직이면 그에 따라 \(x\)도 움직이니까, \(sx\)의 미분에서 \(x\)의 변화분도 잡아야 하나요?

🟡 리나: 맞아. \(x\)는 \(s\)의 함수——\(s = f'(x)\)를 거꾸로 풀은 \(x(s)\)——이니까, \(s\)로 미분할 때 \(x\)의 변화도 잡아야 해. 곱의 미분법칙과 합성함수의 미분(연쇄법칙)을 사용해. 정성스럽게 해볼게. 제1항 \(sx\)를 \(s\)로 미분하면, 곱의 미분법칙 \((uv)' = u'v + uv'\)으로 \(1 \cdot x + s \cdot \frac{dx}{ds} = x + s\frac{dx}{ds}\). 제2항 \(-f(x)\)를 \(s\)로 미분하면, 합성함수의 미분(연쇄법칙)으로 \(-\frac{df}{dx}\cdot\frac{dx}{ds}\). 합치면:

\[ \frac{dg}{ds} = x + s\frac{dx}{ds} - \frac{df}{dx}\frac{dx}{ds} \]

🟡 리나: 여기서 \(s = \frac{df}{dx}\)였다는 것을 떠올려. 제3항의 \(-\frac{df}{dx}\frac{dx}{ds}\)에 \(\frac{df}{dx} = s\)를 대입하면 \(-s\frac{dx}{ds}\)가 돼. 이것은 제2항의 \(+s\frac{dx}{ds}\)와 부호가 반대이고 크기가 같으니까, 완전히 상쇄돼! 즉:

\[ \frac{dg}{ds} = x + s\frac{dx}{ds} - s\frac{dx}{ds} = x \]

🔵 카이: 오, 깔끔하게 사라지네요!

⚪ 메이: 즉 \(\frac{dg}{ds} = x\). \(g\)를 미분하는 것만으로 원래 변수 \(x\)가 복원되는 거네.

🟡 리나: 맞아. 즉 역변환은 "\(g(s)\)에 대해 새로운 변수 \(x = \frac{dg}{ds}\)를 정의하고, \(f(x) = xs - g(s)\)로 복원한다"——원래 변환과 완전히 같은 구조야. Legendre 변환은 "2번 하면 원래로 돌아오는" 대칭적인 조작이야.

🔵 카이: 구체적으로는 어떻게 되나요?

🟡 리나: 간단한 예를 해보자. \(f(x) = x^2\)이라 하면, \(s = \frac{df}{dx} = 2x\)이므로 \(x = s/2\). 새로운 함수는 \(g(s) = sx - f(x) = s \cdot \frac{s}{2} - \left(\frac{s}{2}\right)^2 = \frac{s^2}{4}\). 독립변수가 \(x\)에서 \(s\)로 전환되었네. 역으로 \(g(s) = \frac{s^2}{4}\)에서 \(\frac{dg}{ds} = \frac{s}{2} = x\)가 복원되고, \(f = xs - g(s) = \frac{s}{2}\cdot s - \frac{s^2}{4} = \frac{s^2}{4} = x^2\)으로 원래대로 돌아와.

D.4.3 Hamiltonian의 정의

🟡 리나: Lagrangian에 Legendre 변환을 적용할게. \(L(q, \dot{q})\)에 대해:

  • 새로운 변수: \(p = \frac{\partial L}{\partial \dot{q}}\) (정준운동량)
  • 새로운 함수: Hamiltonian \(H\)
\[ H(q, p) \equiv \sum_j p_j\dot{q}_j - L \tag{D.13} \]

여기서 \(\dot{q}_j\)는 \(p_j = \frac{\partial L}{\partial \dot{q}_j}\)를 거꾸로 풀어서 \(q\)와 \(p\)의 함수로 나타낸 것이야. 참고로, 물리학에서는 "같은 첨자가 2번 나타나면 자동적으로 그 첨자에 대해 합을 취한다"는 쓰기 약속이 있어서, Einstein의 합산 규약이라고 불러. 즉 \(p_j\dot{q}_j\)라고만 써도 \(\sum_j p_j\dot{q}_j = p_1\dot{q}_1 + p_2\dot{q}_2 + \cdots + p_f\dot{q}_f\)를 의미해. 이 Appendix에서는 알기 쉽도록 \(\sum\)을 명시적으로 쓰는 경우도 많으니, 어느 쪽 표기가 나와도 같은 의미라고 생각해 줘.

🔵 카이: \(H\)는 무엇을 나타내나요?

🟡 리나: 많은 경우, 계의 총 에너지에 대응해. 확인해 보자. \(L = \frac{1}{2}m\dot{q}^2 - V(q)\)의 경우, \(p = m\dot{q}\)이므로 \(\dot{q} = p/m\). 대입하면:

\[ H = p\dot{q} - L = p \cdot \frac{p}{m} - \left(\frac{1}{2}m\left(\frac{p}{m}\right)^2 - V(q)\right) = \frac{p^2}{m} - \frac{p^2}{2m} + V(q) = \frac{p^2}{2m} + V(q) \tag{D.14} \]

⚪ 메이: \(T + V\)——운동에너지와 퍼텐셜에너지의 합이네. Lagrangian이 \(T - V\)였던 것에 비해, Hamiltonian은 \(T + V\).

🟡 리나: 맞아. 단 주의해——Hamiltonian이 항상 에너지와 일치하는 것은 아니야. 좌표계의 선택이나, Lagrangian이 시간에 양적으로(explicitly) 의존하는 경우에는 다를 수 있어. 하지만 이 Appendix에서 다루는 범위에서는 \(H = E\)로 생각해도 괜찮아.

✅ 이해도 체크: Legendre 변환의 목적을 한마디로 서술하세요.

답

독립변수를 \(\dot{q}\)(일반화 속도)에서 \(p\)(정준운동량)로 교체하는 것. 이를 통해 \(q\)와 \(p\)를 대등한 독립변수로 다룰 수 있게 되어, 양자화로의 이행이 자연스러워진다.

D.5 Hamilton의 운동방정식

🟡 리나: Hamiltonian \(H(q, p)\)로부터 Euler-Lagrange 방정식과는 다른 형태의 운동방정식이 유도돼. 이것이 Hamilton의 운동방정식(정준방정식)이야.

D.5.1 유도

🟡 리나: \(H = \sum_j p_j\dot{q}_j - L\)의 우변의 미소변화를 생각할게(여기서는 \(\sum_j\)를 명시할게). 여기서 포인트는, 우변에는 \(q_j\), \(\dot{q}_j\), \(p_j\)의 3종류의 양이 나타나지만, \(p_j\)의 정의 \(p_j = \frac{\partial L}{\partial \dot{q}_j}\)에 의해 \(\dot{q}_j\)는 \((q, p)\)의 함수로서 결정된다는 것. 하지만 먼저, 형식적으로 \(q_j\), \(\dot{q}_j\), \(p_j\)를 모두 독립적으로 변동시켜 볼게.

🔵 카이: 어, 종속관계가 있는데 독립적으로 움직여도 되나요?

🟡 리나: 좋은 의문이야. 사고방식은 이래——먼저 "\(q\), \(\dot{q}\), \(p\)가 전부 독립이라면 \(\delta H\)는 어떻게 될까"를 형식적으로 계산해. 이것은 "만약 독립이라고 가정하고 계산해 봐서, 모순이 나오지 않으면 OK"이라는 전략이야. 실제로 계산하면 \(\delta\dot{q}\)의 계수가 0이 되는 것이 확인돼. 이것은 "\(H\)는 사실 \(\dot{q}\)에 의존하지 않는다"는 증명이 되어 있어.

🔵 카이: 즉, "독립이라고 가정하고 계산했더니, 결과적으로 \(\dot{q}\)의 항이 사라졌다. 그러니까 \(H\)는 \(\dot{q}\)에 의존하지 않았다"는 걸 나중에 알게 된다는 건가요?

🟡 리나: 바로 그래! 독립적으로 움직이는 것을 "가정"하는 게 아니라, 독립적으로 움직여서 계산한 결과로서 \(\dot{q}\)에 대한 의존성이 없다는 것이 "유도된다"——이것이야말로 Legendre 변환의 위력이고, "올바른 변수의 조합 \((q, p)\)를 선택했다"는 증거가 \(\delta\dot{q}\) 항의 소멸로 나타나는 거야.

🔵 카이: 음, 말로는 알겠는데, 구체적으로는 어떻게 사라지나요?

🟡 리나: 좋은 질문이야. 먼저 1자유도의 간단한 예로 감각을 잡고 나서, 일반적인 경우를 해보자. \(L = \frac{1}{2}m\dot{q}^2 - V(q)\)이면 \(p = m\dot{q}\)이고, \(H = p\dot{q} - L = m\dot{q}\cdot\dot{q} - \frac{1}{2}m\dot{q}^2 + V(q) = \frac{1}{2}m\dot{q}^2 + V(q)\). 여기서 \(\dot{q} = p/m\)을 대입하면 \(H = \frac{p^2}{2m} + V(q)\)——확실히 \(\dot{q}\)가 사라지고 \((q, p)\)만의 함수가 되어 있네. 이것이 일반적인 경우에도 일어나는 것을, 지금부터 보여줄게.

🟡 리나: 그러면 일반적인 계산으로 넘어갈게. \(\sum_j p_j\dot{q}_j\) 부분을 변분할게. 변분에도 미분과 같은 곱의 규칙이 적용돼——\(\delta(AB) = A\,\delta B + B\,\delta A\). 이것을 각 항 \(p_j\dot{q}_j\)에 적용하면 \(\delta(p_j\dot{q}_j) = \dot{q}_j\,\delta p_j + p_j\,\delta\dot{q}_j\)이므로, 전체로는 \(\delta(\sum_j p_j\dot{q}_j) = \sum_j(\dot{q}_j\,\delta p_j + p_j\,\delta\dot{q}_j)\). 다음으로 \(L(q, \dot{q})\) 부분은 Taylor 전개의 1차로 \(\delta L = \sum_j\left(\frac{\partial L}{\partial q_j}\delta q_j + \frac{\partial L}{\partial \dot{q}_j}\delta\dot{q}_j\right)\). 합치면:

\[ \delta H = \sum_j\!\left(\dot{q}_j\,\delta p_j + p_j\,\delta\dot{q}_j - \frac{\partial L}{\partial q_j}\delta q_j - \frac{\partial L}{\partial \dot{q}_j}\delta\dot{q}_j\right) \tag{D.15} \]

🔵 카이: 4개의 항이 있는데, \(\delta\dot{q}\)의 계수에 주목하면 되는 거죠.

🟡 리나: 맞아. 여기서 \(p_j = \frac{\partial L}{\partial \dot{q}_j}\)이므로, 제2항 \(p_j\,\delta\dot{q}_j\)와 제4항 \(-\frac{\partial L}{\partial \dot{q}_j}\delta\dot{q}_j\)가 완전히 상쇄돼!

🔵 카이: 어, 사라지나요! 근데 왜 그렇게 편리하게 상쇄되는 건가요?

🟡 리나: 좋은 의문이야. 이것은 우연이 아니라 Legendre 변환의 본질적인 성질이야. \(p_j\)를 정확히 \(\frac{\partial L}{\partial \dot{q}_j}\)로 정의했기 때문에야말로, \(\delta\dot{q}\)의 항이 사라져. 그리고 사라진다는 것은, \(H\)의 변화가 \(\delta q\)와 \(\delta p\)만으로 쓸 수 있다는 것——즉 \(H\)는 \((q, p)\)만의 함수로 완결되어 있고, \(\dot{q}\)를 독립변수로 포함하지 않는다는 것이 확인된 거야.

🔵 카이: 아, 그렇구나——\(p\)를 "\(\dot{q}\)에 대한 \(L\)의 기울기"로 정의했으니까, 변수를 \(\dot{q}\)에서 \(p\)로 갈아탔을 때 \(\dot{q}\)의 흔적이 사라지는 건 당연하군요.

⚪ 메이: 바꿔 말하면, Legendre 변환이 "올바르게 작동하고 있다는 증거"가 \(\delta\dot{q}\) 항의 소멸로 나타난 것——\(H\)는 확실히 \((q, p)\)만의 함수가 되어 있다는 거네.

🟡 리나: 맞아. 남는 것은:

\[ \delta H = \sum_j\!\left(\dot{q}_j\,\delta p_j - \frac{\partial L}{\partial q_j}\delta q_j\right) \tag{D.16} \]

한편, \(H\)는 \(q\)와 \(p\)의 함수이므로 일반적으로:

\[ \delta H = \sum_j\!\left(\frac{\partial H}{\partial q_j}\delta q_j + \frac{\partial H}{\partial p_j}\delta p_j\right) \tag{D.17} \]

식 (D.16)과 (D.17)은 둘 다 같은 \(\delta H\)를 나타내고 있으니까 같아야 해. 여기서 \(q_j\)와 \(p_j\)는 Hamiltonian의 독립변수——즉 한쪽을 움직여도 다른 쪽은 움직이지 않아——그러니까 \(\delta q_j\)와 \(\delta p_j\)는 각각 자유롭게 선택할 수 있어(마치 \(f(x, y)\)의 전미분 \(df = \frac{\partial f}{\partial x}dx + \frac{\partial f}{\partial y}dy\)에서 \(dx\)와 \(dy\)를 독립적으로 선택할 수 있는 것과 같아). 예를 들어 \(\delta p_1\)만 0이 아니게 하고 나머지 \(\delta q_j\), \(\delta p_j\)를 모두 0으로 하면, 양변은 \(\dot{q}_1\,\delta p_1 = \frac{\partial H}{\partial p_1}\delta p_1\)이 되어, \(\delta p_1 \neq 0\)으로 나누면 \(\dot{q}_1 = \frac{\partial H}{\partial p_1}\)이 얻어져. 모든 \(j\)에 대해 이것을 반복하면, 각 계수가 일치해야 해.

⚪ 메이: D.3절에서는 "적분 안에서 임의의 함수를 곱해서 0"으로부터 기본보조정리로 피적분함수의 0을 유도했는데, 여기서는 적분 없이 "독립적인 변분을 하나씩 선택하는" 것으로 계수를 읽어내고 있네. 수법은 다르지만 "임의성으로부터 계수를 특정한다"는 정신은 같아.

🟡 리나: 좋은 정리야. 이렇게 해서 얻어지는 것이:

\[ \dot{q}_j = \frac{\partial H}{\partial p_j} \tag{D.18} \]
\[ \frac{\partial L}{\partial q_j} = -\frac{\partial H}{\partial q_j} \tag{D.19} \]

🟡 리나: 여기서 주의해야 할 것은, 식 (D.18)의 \(\dot{q}_j = \frac{\partial H}{\partial p_j}\)는 Legendre 변환의 구조만으로 나온 것——Euler-Lagrange 방정식은 사용하지 않았어. 한편, 식 (D.19)의 \(\frac{\partial L}{\partial q_j}\)를 \(\dot{p}_j\)로 바꿔 쓰려면, Euler-Lagrange 방정식 (D.9)이 필요해. 이항하면 \(\frac{\partial L}{\partial q_j} = \frac{d}{dt}\frac{\partial L}{\partial \dot{q}_j}\). 우변은 정준운동량의 정의 \(p_j = \frac{\partial L}{\partial \dot{q}_j}\)의 양변을 시간으로 미분한 것——즉 \(\frac{d}{dt}\frac{\partial L}{\partial \dot{q}_j} = \frac{dp_j}{dt} = \dot{p}_j\)야. 따라서 식 (D.19)는:

\[ \dot{p}_j = -\frac{\partial H}{\partial q_j} \tag{D.20} \]

정리하면:

\[ \boxed{\dot{q}_j = \frac{\partial H}{\partial p_j}, \qquad \dot{p}_j = -\frac{\partial H}{\partial q_j}} \tag{D.21} \]

이것이 Hamilton의 정준방정식이야. 즉 Hamilton의 방정식은 Euler-Lagrange 방정식과 동치——같은 물리를 다른 언어로 다시 쓴 것이야.

D.5.2 구조의 비교

🟡 리나: 여기서 두 형식을 비교해 둘게. Euler-Lagrange 방정식은 각 자유도에 대해 2계 상미분방정식이 1개. Hamilton의 방정식은 각 자유도에 대해 1계 상미분방정식이 2개. 수학적으로는 같은 정보량이야.

⚪ 메이: 그렇구나, 2계 1개를 1계 2개로 분해한 것뿐이니까 정보량은 변하지 않는 거네.

🟡 리나: 맞아. 그리고 1계의 방정식 쪽이 \(q\)와 \(p\)를 대등하게 다룰 수 있다는 대칭성이 있어. \(q\)와 \(p\)가 이루는 공간을 위상공간 (phase space)이라고 불러. \(f\)개의 자유도를 가진 계의 위상공간은 \(2f\)차원이야. 계의 상태는 위상공간의 한 점으로 표현되고, 시간발전은 위상공간 내의 궤적으로 그려져.

✅ 이해도 체크: \(f\)개의 자유도를 가진 계의 위상공간은 몇 차원일까요? 또한, 계의 상태는 위상공간 위에서 어떻게 표현될까요?

답

위상공간은 \(2f\)차원(\(f\)개의 일반화 좌표 \(q_j\)와 \(f\)개의 정준운동량 \(p_j\)로 펼쳐진다). 계의 상태는 위상공간의 한 점 \((q_1, \ldots, q_f, p_1, \ldots, p_f)\)으로 표현되며, 시간발전은 그 공간 내의 궤적(곡선)으로 그려진다.

D.5.3 구체적 예: 1차원 조화진동자

🟡 리나: 확인을 위해 1차원 조화진동자로 해보자.

\[ H = \frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2 \tag{D.22} \]

Hamilton의 방정식:

\[ \dot{q} = \frac{\partial H}{\partial p} = \frac{p}{m} \tag{D.23} \]
\[ \dot{p} = -\frac{\partial H}{\partial q} = -m\omega^2 q \tag{D.24} \]

🔵 카이: 제1식은 \(p = m\dot{q}\)(운동량의 정의)이고, 제2식은 \(m\ddot{q} = -m\omega^2 q\)(용수철의 복원력)이네요. Newton의 운동방정식과 같아요.

🟡 리나: 맞아. 같은 물리를 다른 언어로 기술하고 있을 뿐이야. 하지만 이 Hamilton 형식의 언어가 양자화로의 길을 열어 줘. 위상공간 \((q, p)\)에서 보면(그림 D.1「조화진동자의 위상공간 \((q, p)\)에서의 궤적」), 에너지 보존 \(H = E\)는 \(\frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2 = E\)를 의미해——이것은 \(p\)축과 \(q\)축에 관한 타원의 방정식이야(\(\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1\)의 형태). 그래서 조화진동자의 궤적은 각 에너지에 대응하는 닫힌 타원이 돼. 더 나아가, Hamilton의 방정식 (D.23)–(D.24)은 위상공간의 각 점 \((q, p)\)에 "다음 순간 어느 방향으로 움직이는가"라는 속도 벡터를 할당하고 있어——이것이 위상공간 위의 "흐름"이야. 에너지가 다르면 타원의 크기도 달라지니까, 타원 궤적이 에너지별로 중첩되어 있어——그림 D.1「조화진동자의 위상공간 \((q, p)\)에서의 궤적」에서 지금 말한 것을 시각적으로 확인할 수 있어.

조화진동자의 위상공간 궤적

그림 D.1: 조화진동자의 위상공간 \((q, p)\)에서의 궤적. 각 에너지에 대응하는 닫힌 타원 궤적으로 그려진다. Hamilton의 방정식 (D.23)–(D.24)이 위상공간 위의 흐름을 결정한다.

D.5.4 에너지 보존

🟡 리나: 하나 더 중요한 것. \(H\)는 일반적으로 \(q_j(t)\), \(p_j(t)\), 그리고 경우에 따라 \(t\) 자체의 함수야. \(H\)의 시간변화를 구하려면, "\(q_j\)나 \(p_j\)가 시간과 함께 움직이는 것에 의한 변화"와 "\(H\)의 함수 형태 자체가 시간과 함께 변하는 것에 의한 변화" 양쪽을 고려해야 해.

🔵 카이: 그 둘의 차이는 구체적으로 계산에 어떻게 반영되나요?

🟡 리나: 먼저 1변수의 합성함수 미분을 떠올려. \(f(x(t))\)의 시간미분은 \(\frac{df}{dt} = \frac{df}{dx}\cdot\frac{dx}{dt}\)이지. 만약 \(f\)가 2변수 \(f(x(t), y(t))\)라면, \(x\)의 변화에 의한 기여와 \(y\)의 변화에 의한 기여를 더해서 \(\frac{df}{dt} = \frac{\partial f}{\partial x}\frac{dx}{dt} + \frac{\partial f}{\partial y}\frac{dy}{dt}\)가 돼. 변수가 몇 개든 같은 패턴으로, 각 변수에 대해 "\(f\)의 그 변수에 대한 편미분 × 그 변수의 시간변화율"을 전부 더하면 돼.

더 나아가, \(f\)가 \(x, y\)뿐만 아니라 \(t\) 자체에도 직접 의존하는 경우——\(f(x(t), y(t), t)\)——에는, \(t\) 자신의 변화에 의한 기여 \(\frac{\partial f}{\partial t}\)도 추가돼. 여기서 \(\frac{\partial f}{\partial t}\)와 \(\frac{df}{dt}\)의 차이에 주의해. \(\frac{\partial f}{\partial t}\)는 "\(x\)와 \(y\)를 고정한 채로, \(f\)의 식 안에 직접 나타나는 \(t\)만 움직였을 때의 변화율". 한편 \(\frac{df}{dt}\)는 "실제 운동을 따라 \(x(t)\), \(y(t)\)도 움직이는 것을 포함한, \(f\)의 전체적인 시간변화율"이야.

🔵 카이: 아, 편미분과 전미분의 차이군요. \(\frac{\partial}{\partial t}\)는 "다른 것을 멈추고 \(t\)만 움직이기", \(\frac{d}{dt}\)는 "전부 한꺼번에 움직이기".

🟡 리나: 맞아. \(H(q_1, \ldots, q_f, p_1, \ldots, p_f, t)\)의 경우는:

\[ \frac{dH}{dt} = \frac{\partial H}{\partial t} + \sum_{j=1}^{f}\left(\frac{\partial H}{\partial q_j}\dot{q}_j + \frac{\partial H}{\partial p_j}\dot{p}_j\right) \tag{D.25} \]

이것이 다변수함수의 전시간미분의 공식이야(합성함수의 미분의 다변수 버전, 연쇄법칙이라고도 불려). 제1항 \(\frac{\partial H}{\partial t}\)는 "\(q_j\)와 \(p_j\)를 고정한 채로, \(H\)의 식 안에 직접 나타나는 \(t\)만 움직였을 때의 변화율"——즉 "\(H\)의 함수 형태 자체가 시간과 함께 변하는가"를 나타내는 항이야. 예를 들어 외력이 시간변화하는 계에서는 \(\frac{\partial H}{\partial t} \neq 0\)이 되지만, 고립계에서는 보통 0이야.

🟡 리나: \(H\)가 시간에 양적으로 의존하지 않는 경우(\(\frac{\partial H}{\partial t} = 0\))——즉 계의 규칙 자체가 시간변화하지 않는 경우——에는 식 (D.25)의 제1항이 0이 돼. 나머지 항에 Hamilton의 방정식 \(\dot{q}_j = \frac{\partial H}{\partial p_j}\), \(\dot{p}_j = -\frac{\partial H}{\partial q_j}\)를 대입하면:

\[ = \sum_j\!\left(\frac{\partial H}{\partial q_j}\cdot\frac{\partial H}{\partial p_j} + \frac{\partial H}{\partial p_j}\cdot\!\left(-\frac{\partial H}{\partial q_j}\right)\right) = \sum_j\!\left(\frac{\partial H}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial H}{\partial p_j}\frac{\partial H}{\partial q_j}\right) = 0 \]

🔵 카이: 오오, 완전히 상쇄돼요! 자기 자신과 같은 형태인 것이 부호가 반대로 나오니까 0이 되는 거네요.

⚪ 메이: 즉 \(\frac{dH}{dt} = 0\)으로, \(H\)는 보존량——에너지 보존법칙이네.

✅ 이해도 체크: Hamilton의 정준방정식으로부터 \(\frac{dH}{dt} = 0\)이 유도되는 과정에서, 두 항이 상쇄되는 이유를 설명해 보세요.

답

\(\frac{dH}{dt} = \frac{\partial H}{\partial q_j}\dot{q}_j + \frac{\partial H}{\partial p_j}\dot{p}_j\)에 Hamilton의 방정식 \(\dot{q}_j = \frac{\partial H}{\partial p_j}\), \(\dot{p}_j = -\frac{\partial H}{\partial q_j}\)를 대입하면, \(\frac{\partial H}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial H}{\partial p_j}\frac{\partial H}{\partial q_j} = 0\)이 된다. 양의 항과 음의 항이 정확히 같은 크기에 부호만 반대이므로 상쇄된다.

📝 연습문제:

D.6 Poisson 괄호 — 고전역학의 대수 구조

🟡 리나: Hamilton의 방정식의 대칭적 구조를 더 깊이 이해하기 위해, Poisson 괄호 (Poisson bracket)라는 도구를 도입할게. 이것이 고전역학과 양자역학을 잇는 "번역 사전"의 핵심이 돼.

D.6.1 정의

🟡 리나: 위상공간 위의 두 물리량——즉 \(q\)와 \(p\)의 함수로 쓸 수 있는 양—— \(A(q, p)\)와 \(B(q, p)\)에 대해 Poisson 괄호를 다음과 같이 정의해:

\[ \{A, B\} \equiv \sum_{j=1}^{f} \left( \frac{\partial A}{\partial q_j}\frac{\partial B}{\partial p_j} - \frac{\partial A}{\partial p_j}\frac{\partial B}{\partial q_j} \right) \tag{D.26} \]

🔵 카이: 무엇을 의미하는 건가요? 그냥 식으로만 보이는데……

🟡 리나: 먼저 식의 "읽는 법"을 확인해 둘게. 정의식 (D.26)의 각 항은:

  • 제1항 \(\frac{\partial A}{\partial q_j}\frac{\partial B}{\partial p_j}\): "\(A\)가 \(q_j\) 방향으로 얼마나 변하는가" × "\(B\)가 \(p_j\) 방향으로 얼마나 변하는가"
  • 제2항 \(\frac{\partial A}{\partial p_j}\frac{\partial B}{\partial q_j}\): "\(A\)가 \(p_j\) 방향으로 얼마나 변하는가" × "\(B\)가 \(q_j\) 방향으로 얼마나 변하는가"

이 두 "교차된 곱"의 차를, 모든 자유도 \(j\)에 대해 더한 것이 Poisson 괄호야.

직관적으로 말하면, \(\{A, B\}\)는 "\(A\)와 \(B\)가 정준 구조 안에서 얼마나 직접적으로 결합되어 있는가"를 측정하는 양이야. \(\{q_j, p_k\} = \delta_{jk}\)는 "\(q_j\)와 \(p_k\)가 서로 켤레변수의 쌍이다"라는 것을 나타내고 있어. 한편 \(\{q_j, q_k\} = 0\)은 "\(q\) 끼리는 정준적으로 독립"——즉 정준 구조의 의미에서 직접 결합되어 있지 않다는 것이야.

🔵 카이: 그러면 \(\{A, B\} = 0\)이면 "\(A\)와 \(B\)는 무관하다"는 건가요?

🟡 리나: 단 주의해, \(\{A, B\} = 0\)은 "\(A\)와 \(B\)가 물리적으로 무관하다"는 의미가 아니야. Hamiltonian을 통해 간접적으로 영향을 주고받을 수 있어. 중요한 것은, \(\{A, H\} = 0\)일 때 \(A\)가 보존량이 된다는 것——즉 "\(H\)와의 Poisson 괄호가 0"이 보존량의 판정 조건이라는 거야.

🟡 리나: 가장 간단한 예를 먼저 보여줄게——1자유도에서 \(A = q\), \(B = H = \frac{p^2}{2m} + V(q)\)로 하면, 정의식 (D.26)으로부터 \(\{q, H\} = \frac{\partial q}{\partial q}\frac{\partial H}{\partial p} - \frac{\partial q}{\partial p}\frac{\partial H}{\partial q} = 1 \cdot \frac{p}{m} - 0 = \frac{p}{m}\). 이것은 \(\dot{q} = p/m\)(Hamilton의 방정식 (D.23)으로 확인 완료)과 일치하고 있네. 즉 Poisson 괄호 \(\{q, H\}\)가 \(q\)의 시간변화율을 주고 있어——이것은 우연이 아니라, D.6.3에서 일반적으로 증명할 거야.

🔵 카이: 헤에……Poisson 괄호를 계산하는 것만으로 시간변화를 알 수 있다니요. 대단하네요.

🟡 리나: 미리 결론을 예고해 둘게. 임의의 물리량 \(A\)의 시간변화는 \(\{A, H\}\)로 주어져. 그러니까 \(\{A, H\} \neq 0\)은 "\(A\)가 시간변화한다"는 것을 의미하고, \(\{A, H\} = 0\)이면 \(A\)는 보존량——이것이 Poisson 괄호의 가장 중요한 실용적 의미야.

사실 이 구조는 이미 본 적이 있어. D.5.4절의 에너지 보존 계산에서 \(\frac{\partial H}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial H}{\partial p_j}\frac{\partial H}{\partial q_j}\)라는 조합이 나타났잖아? 저것은 바로 \(\{H, H\}\)의 형태야. Poisson 괄호는 저 계산을 일반화해서 "임의의 두 물리량 사이의 동적 관계"를 나타내는 도구야. 구체적으로는, 어떤 물리량과 Hamiltonian의 Poisson 괄호를 취하면 그 물리량의 시간변화가 나와——이것은 바로 뒤에서 보여줄게.

🔵 카이: 그러면 예를 들어 \(\{q, H\}\)를 계산하면 \(\dot{q}\)가 나온다는 건가요?

🟡 리나: 바로 그래! 그것은 D.6.3에서 정식으로 보여주지만, 그 결론을 미리 알아두면 정의의 의미를 잡기 쉬울 거야. 먼저 가장 간단한 예——\(q\)와 \(p\) 자신의 Poisson 괄호——를 다음 소절에서 계산해 보자.

🟡 리나: 식의 구조를 보면, Poisson 괄호는 "\(A\)의 \(q\) 방향 변화와 \(B\)의 \(p\) 방향 변화의 곱"에서 "\(A\)의 \(p\) 방향 변화와 \(B\)의 \(q\) 방향 변화의 곱"을 뺀 것이야. \(q\)와 \(p\)의 역할을 바꾸면 부호가 변해——반대칭적인 구조를 갖고 있어.

🔵 카이: 그렇구나, \(A\)와 \(B\)를 바꾸면 부호가 반전된다——외적 같은 느낌이네요. 아까 리나 선생님이 말한 "\(\{A, H\}\)로 시간변화가 나온다"는 건 다음에서 확인하는 건가요?

⚪ 메이: 정의식 (D.26)의 구조를 정리하면, 외적이 "두 벡터의 성분을 교차시켜 빼는" 것과 같은 패턴이네. 반대칭이고, \(q\)와 \(p\)를 교차시킨 조합이 되어 있어.

🟡 리나: 좋은 정리야. 그리고 카이의 질문——응, D.6.3에서 정식으로 보여줄게. 먼저 다음 D.6.2에서 기본 Poisson 괄호를 계산하고, 그 후 D.6.3에서 "\(\{A, H\}\)가 시간변화를 준다"는 것을 확인하는 흐름이야.

🔵 카이: 아까 외적 같다고 했는데, Poisson 괄호가 외적의 친척 같은 건가요? 뭔가 "더 깊은 구조"가 있을 것 같은 느낌이 들어서……

🟡 리나: 예리한 직감이야. 사실 위상공간에는 "사플렉틱 구조"라 불리는 기하학적 구조가 있어서, Poisson 괄호는 그것과 깊이 관련되어 있어——"위상공간에서의 외적의 일반화" 같은 역할을 해. 하지만 이것은 발전적인 화제로 오늘의 범위를 넘으니까 이름만 소개해 둘게. 여기서는 "반대칭이고, \(q\)와 \(p\)를 교차시킨 조합"이라는 구조를 기억해 둬. 그러면 다음 소절에서 구체적으로 계산해 보자.

D.6.2 기본 Poisson 괄호

🟡 리나: 가장 기본적인 Poisson 괄호를 계산해 보자. \(q_j\)와 \(p_k\)의 Poisson 괄호를 구하고 싶어. 정의식 (D.26)에서 \(A = q_j\), \(B = p_k\)로 놓으면 돼. 여기서 주의——정의식의 합의 첨자도 \(j\)였잖아. 하지만 지금 \(A = q_j\)의 \(j\)는 "특정 자유도를 가리키는 고정된 번호"이고, 합의 첨자의 \(j\)는 "1부터 \(f\)까지 달리는 더미 첨자"야. 같은 문자를 2가지 의미로 쓰면 혼란스러우니까, 합의 첨자를 \(i\)로 바꿀게(더미 첨자는 좋아하는 문자로 바꿔도 의미가 변하지 않아):

\[ \{q_j, p_k\} = \sum_i \left( \frac{\partial q_j}{\partial q_i}\frac{\partial p_k}{\partial p_i} - \frac{\partial q_j}{\partial p_i}\frac{\partial p_k}{\partial q_i} \right) \tag{D.27} \]

\(q_j\)는 \(q_i\)에 대해 \(\delta_{ji}\)(Kronecker 델타)로 편미분되고, \(p_i\)에 대해서는 0. 마찬가지로 \(p_k\)는 \(p_i\)에 대해 \(\delta_{ki}\), \(q_i\)에 대해서는 0. 따라서:

\[ \{q_j, p_k\} = \sum_i \delta_{ji}\delta_{ki} = \delta_{jk} \tag{D.28} \]

마찬가지로:

\[ \{q_j, q_k\} = 0, \qquad \{p_j, p_k\} = 0 \tag{D.29} \]

⚪ 메이: 정리하면:

표 D.1: 정준변수의 기본 Poisson 괄호

Poisson 괄호 값
\(\{q_j, p_k\}\) \(\delta_{jk}\)
\(\{q_j, q_k\}\) \(0\)
\(\{p_j, p_k\}\) \(0\)

🟡 리나: 이것을 기본 Poisson 괄호라고 불러. 나중에 양자화할 때, 이것이 정준 교환관계에 대응해.

✅ 이해도 체크: 기본 Poisson 괄호 \(\{q_j, p_k\} = \delta_{jk}\)를 Poisson 괄호의 정의식으로부터 유도할 때의 요점을 서술하세요.

답

\(q_j\)를 \(q_i\)로 편미분하면 \(\delta_{ji}\), \(p_i\)로 편미분하면 0. 마찬가지로 \(p_k\)를 \(p_i\)로 편미분하면 \(\delta_{ki}\), \(q_i\)로 편미분하면 0. 정의식에 대입하면 \(\{q_j, p_k\} = \sum_i \delta_{ji}\delta_{ki} = \delta_{jk}\)가 된다. \(q\) 끼리나 \(p\) 끼리의 괄호에서는 한쪽의 편미분이 반드시 0이 되므로 결과도 0.

D.6.3 Hamilton의 방정식의 Poisson 괄호 표현

🟡 리나: Poisson 괄호를 사용하면 Hamilton의 방정식이 놀라울 정도로 간결하게 쓸 수 있어. 임의의 물리량 \(A(q, p, t)\)의 시간변화를 생각해 볼게. \(A\)가 시간에 양적으로 의존하는 경우도 포함해서 일반적으로:

\[ \frac{dA}{dt} = \frac{\partial A}{\partial t} + \sum_j \left( \frac{\partial A}{\partial q_j}\dot{q}_j + \frac{\partial A}{\partial p_j}\dot{p}_j \right) \tag{D.30} \]

Hamilton의 방정식 \(\dot{q}_j = \frac{\partial H}{\partial p_j}\), \(\dot{p}_j = -\frac{\partial H}{\partial q_j}\)를 대입하면:

\[ \frac{dA}{dt} = \frac{\partial A}{\partial t} + \sum_j \left( \frac{\partial A}{\partial q_j}\frac{\partial H}{\partial p_j} - \frac{\partial A}{\partial p_j}\frac{\partial H}{\partial q_j} \right) = \{A, H\} + \frac{\partial A}{\partial t} \tag{D.31} \]

🔵 카이: 어, 이렇게 심플하게! 근데 이건, "Hamiltonian과의 Poisson 괄호가 0"이면 시간변화하지 않는다——즉 보존량이란 건가요?

🟡 리나: 맞아! \(A\)가 시간에 양적으로 의존하지 않으면(\(\frac{\partial A}{\partial t} = 0\)) \(\frac{dA}{dt} = \{A, H\}\)이므로, \(\{A, H\} = 0\)이면 \(\frac{dA}{dt} = 0\), 즉 \(A\)는 보존량이야. 보존량을 찾으려면 "\(H\)와의 Poisson 괄호를 계산해서 0이 되는지 조사하면 된다"——이것이 Poisson 괄호의 실용적인 위력이야. 그리고 시간에 양적으로 의존하지 않는 물리량의 시간변화는 그 물리량과 Hamiltonian의 Poisson 괄호로 주어진다. 이것이 Hamilton 역학의 가장 우아한 표현이야.

특히 \(A = q_j\)나 \(A = p_j\)(이들은 시간에 양적으로 의존하지 않아)를 대입하면:

\[ \dot{q}_j = \{q_j, H\}, \qquad \dot{p}_j = \{p_j, H\} \tag{D.32} \]

이것은 식 (D.21)의 Hamilton의 방정식 그 자체야.

D.6.4 Poisson 괄호의 성질

🟡 리나: Poisson 괄호의 중요한 성질을 정리해 둘게:

1. 반대칭성:

\[ \{A, B\} = -\{B, A\} \tag{D.33} \]

특히 \(\{A, A\} = 0\).

2. 선형성:

\[ \{aA + bB,\, C\} = a\{A, C\} + b\{B, C\} \tag{D.34} \]

(\(a, b\)는 상수)

3. 곱의 규칙(Leibniz 법칙):

\[ \{AB,\, C\} = A\{B, C\} + \{A, C\}B \tag{D.35} \]

(고전역학에서는 \(A, B\)가 가환인 수치함수이므로 순서를 바꿔도 같다. 하지만 D.7절에서 배울 양자역학으로의 대응에서는 연산자 \(\hat{A}\hat{B} \neq \hat{B}\hat{A}\)이므로 순서가 중요해진다. 양자역학에서 대응하는 항등식 \([\hat{A}\hat{B},\, \hat{C}] = \hat{A}[\hat{B}, \hat{C}] + [\hat{A}, \hat{C}]\hat{B}\)(제 15 장에서 유도 완료)와의 대응을 보기 쉽도록, 고전 쪽에서도 이 순서로 써 둘게. 참고로, 고전적인 곱 \(AB\)를 양자화할 때의 순서의 모호성에 대해서는 D.7.4에서 다룰게.)

4. Jacobi 항등식:

\[ \{\{A, B\}, C\} + \{\{C, A\}, B\} + \{\{B, C\}, A\} = 0 \tag{D.36} \]

🔵 카이: Jacobi 항등식은 뭐에 쓰나요? 솔직히 식을 봐도 뭘 말하는지 감이 안 와요.

🟡 리나: 직관적으로 말하면, Jacobi 항등식은 "Poisson 괄호를 여러 겹으로 중첩시켜도 모순이 생기지 않는다"는 것을 보장하는 정합성 조건이야. 좀 더 구체적으로 말하면, \(\{A, B\}\)로 새로운 물리량을 만들고, 또 그것과 \(C\)의 Poisson 괄호를 취하고——이런 조작을 반복해도 결과가 "어떤 순서로 조합했느냐"에 의존하지 않는다는 일관성을 보장하고 있어. 증명 자체는 정의식 (D.26)에 대입해서 꾸준히 계산하면 확인할 수 있지만, 여기서는 결과만 인정해도 괜찮아.

⚪ 메이: 즉 "조작의 중첩 구조가 정합적이다"라는 보장이네.

🟡 리나: 그래. 그리고 중요한 것은, 양자역학의 교환관계 \([A, B] = AB - BA\)도 완전히 같은 성질——반대칭성·선형성·Leibniz 법칙·Jacobi 항등식——을 만족한다는 거야. 즉 Poisson 괄호와 교환관계는 같은 대수 구조를 갖고 있어——그래서 한쪽에서 다른 쪽으로의 "번역"이 가능해지는 거야.

🔵 카이: 그렇구나……"같은 규칙을 따르는 계산 체계"니까, 한쪽을 다른 쪽으로 치환해도 전체의 논리가 깨지지 않는다는 거군요.

⚪ 메이: 즉 공통의 "규칙"이라는 것은 아까 리나 선생님이 열거한 반대칭성·선형성·Leibniz 법칙·Jacobi 항등식의 4가지네.

🟡 리나: 완벽한 이해야.

✅ 이해도 체크: Poisson 괄호와 양자역학의 교환관계가 "번역 가능"한 근거가 되는, 양자에 공통되는 대수적 성질을 2가지 들어보세요.

답

(1) 반대칭성: \(\{A, B\} = -\{B, A\}\)와 \([\hat{A}, \hat{B}] = -[\hat{B}, \hat{A}]\). (2) Jacobi 항등식: \(\{\{A,B\},C\} + \{\{C,A\},B\} + \{\{B,C\},A\} = 0\)과 \([[\hat{A},\hat{B}],\hat{C}] + [[\hat{C},\hat{A}],\hat{B}] + [[\hat{B},\hat{C}],\hat{A}] = 0\). 이러한 공통 구조(Lie 대수의 구조)에 의해 한쪽에서 다른 쪽으로의 대응이 가능해진다.

✅ 이해도 체크: 물리량 \(A\)의 시간변화를 Poisson 괄호로 나타내는 식을 쓰고, 그 식이 Hamilton의 방정식과 동치임을 확인해 보세요.

답

\(\frac{dA}{dt} = \{A, H\}\). \(A = q_j\)로 하면 \(\dot{q}_j = \{q_j, H\} = \frac{\partial q_j}{\partial q_i}\frac{\partial H}{\partial p_i} - \frac{\partial q_j}{\partial p_i}\frac{\partial H}{\partial q_i} = \delta_{ji}\frac{\partial H}{\partial p_i} - 0 = \frac{\partial H}{\partial p_j}\). \(A = p_j\)로 하면 \(\dot{p}_j = \{p_j, H\} = 0 - \delta_{ji}\frac{\partial H}{\partial q_i} = -\frac{\partial H}{\partial q_j}\). 이것은 Hamilton의 방정식 (D.21) 그 자체.

📝 연습문제:

D.7 정준양자화의 레시피

🟡 리나: 드디어 본론——고전역학에서 양자역학으로의 이행 절차, 정준양자화 (canonical quantization)야. 여기까지의 준비가 모두 이 순간을 위한 것이었어.

D.7.1 정준양자화의 3단계

🟡 리나: 절차는 명쾌해. 다음의 3단계로 고전역학을 양자역학으로 "번역"해:

단계 1: 고전계의 Hamiltonian을 \(q, p\)로 쓴다

고전역학의 지식으로부터, 계의 Hamiltonian \(H(q, p)\)를 일반화 좌표와 정준운동량의 함수로 나타낸다.

단계 2: \(q, p\)를 연산자 \(\hat{q}, \hat{p}\)로 치환한다

물리량을 나타내는 보통의 수(고전역학에서는 물리량이 실수값 함수)를 연산자로 치환한다. 연산자란, 상태벡터에 작용하여 다른 상태벡터를 돌려주는 선형 규칙(부록 B 참조). 상태벡터가 사는 공간이 Hilbert 공간(내적이 정의된 완비 벡터공간, 제 11 장 참조)이야.

왜 "연산자"인가?——고전역학에서는 입자의 위치가 하나의 수로 확정되지만, 양자역학에서는 중첩 상태가 있기 때문에 물리량을 "하나의 수"로 나타낼 수 없어. 연산자라면 "측정하면 무엇이 일어날 수 있는가"의 정보——즉 취할 수 있는 측정값(고유값)의 전체 목록——을 내포할 수 있어. 그래서 물리량을 연산자로 나타내는 거야(제 8 장 참조).

단계 3: 기본 Poisson 괄호를 정준 교환관계로 치환한다

\[ \{q_j, p_k\} = \delta_{jk} \quad \longrightarrow \quad [\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk} \tag{D.37} \]
\[ \{q_j, q_k\} = 0 \quad \longrightarrow \quad [\hat{q}_j, \hat{q}_k] = 0 \tag{D.38} \]
\[ \{p_j, p_k\} = 0 \quad \longrightarrow \quad [\hat{p}_j, \hat{p}_k] = 0 \tag{D.39} \]

🔵 카이: 잠깐만요. 왜 Poisson 괄호가 교환관계에 대응하나요? 어디서 \(i\hbar\)가 나오는 건가요?

🟡 리나: 매우 예리한 질문이야. 솔직히 말하면, 정준양자화는 공리이지 논리적으로 유도되는 것이 아니야. "이 대응을 가정하면 실험과 일치하는 양자역학이 얻어진다"는 것이 정당화의 근거야.

🟡 리나: 하지만 왜 이 대응이 "자연스러운"지에 대해서는 몇 가지 힌트가 있어. 우선, 식 (D.31)에서 고전적인 물리량의 시간변화가 \(\frac{dA}{dt} = \{A, H\}\)였잖아. 양자역학에도 연산자의 시간변화를 기술하는 방정식이 있어——Heisenberg(하이젠베르크)의 운동방정식이라 불리는 것으로, 양자역학의 기본 원리로부터 유도되는 식이야(제 14 장 참조):

\[ \frac{d\hat{A}}{dt} = \frac{1}{i\hbar}[\hat{A}, \hat{H}] \tag{D.40} \]

⚪ 메이: 구조가 같아! 고전의 \(\{A, H\}\)가 양자의 \(\frac{1}{i\hbar}[\hat{A}, \hat{H}]\)에 대응하고 있어.

🟡 리나: 맞아. 일반적인 대응 규칙은:

\[ \{A, B\}_{\text{classical}} \quad \longleftrightarrow \quad \frac{1}{i\hbar}[\hat{A}, \hat{B}]_{\text{quantum}} \tag{D.41} \]

즉:

\[ [\hat{A}, \hat{B}] = i\hbar\,\{A, B\}_{\text{classical}} \tag{D.42} \]

기본 Poisson 괄호 \(\{q_j, p_k\} = \delta_{jk}\)에 적용하면 \([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\)가 나와.

🔵 카이: 그렇구나……Poisson 괄호의 대수 구조가 그대로 교환관계의 대수 구조로 "번역"되는 거군요. \(i\hbar\)는 번역의 "환율" 같은 거네요.

🟡 리나: 좋은 비유야. 그리고 \(\hbar \to 0\)의 극한에서 교환관계가 0이 되어, 양자효과가 사라지고 고전역학으로 돌아가——이것이 대응원리의 수학적 표현이야.

✅ 이해도 체크: 정준양자화에서의 대응 규칙 \(\{A, B\} \leftrightarrow \frac{1}{i\hbar}[\hat{A}, \hat{B}]\)에서, \(\hbar \to 0\)의 극한은 어떤 물리적 의미를 가질까요?

답

\(\hbar \to 0\)의 극한에서는 교환관계 \([\hat{A}, \hat{B}] = i\hbar\{A,B\}\)가 0에 가까워지고, 연산자가 가환이 된다(보통의 수처럼 행동한다). 이것은 양자효과가 사라지고 고전역학으로 돌아감을 의미하며, 대응원리의 수학적 표현이다.

D.7.2 구체적 예: 1차원 조화진동자의 양자화

🟡 리나: 구체적으로 해보자.

단계 1: 고전 Hamiltonian은

\[ H(q, p) = \frac{p^2}{2m} + \frac{1}{2}m\omega^2 q^2 \tag{D.43} \]

단계 2: \(q \to \hat{q}\), \(p \to \hat{p}\)로 치환:

\[ \hat{H} = \frac{\hat{p}^2}{2m} + \frac{1}{2}m\omega^2 \hat{q}^2 \tag{D.44} \]

단계 3: 정준 교환관계를 부과:

\[ [\hat{q}, \hat{p}] = i\hbar \tag{D.45} \]

🔵 카이: 이것만으로 양자역학적 정식화가 완성되나요?

🟡 리나: 이것으로 양자역학적인 조화진동자의 정식화가 완성이야. 제 9 장에서 다뤘던 그 문제의 출발점이 바로 여기에 있어.

🔵 카이: 제 9 장에서는 "Hamiltonian이 주어졌다고 가정하고"에서 시작했는데, 그 Hamiltonian이 어디에서 왔는지 드디어 알겠어요. 근데 역으로, 만약 고전적인 Hamiltonian을 모르는 계——예를 들어 제 17 장에서 나왔던 스핀처럼 고전적인 "위치와 운동량"이 없는 양——이라면, 이 레시피는 쓸 수 없나요?

🟡 리나: 예리한 질문이야. 맞아, 스핀처럼 고전적 대응물이 없는 양에 대해서는 정준양자화의 레시피를 그대로 적용할 수 없어. 스핀의 경우는 대칭성(회전군의 표현론)으로부터 교환관계를 결정해. 정준양자화는 만능이 아니라, "고전적 대응물이 있는 계"에 대한 강력한 레시피——그것이 정확한 위치 설정이야.

D.7.3 Schrödinger 표현

🟡 리나: 정준 교환관계 \([\hat{q}, \hat{p}] = i\hbar\)를 구체적으로 실현하는 방법으로, Schrödinger 표현이 있어. 이것은 제 7 장에서 사용한 파동함수의 언어 그 자체야:

  • 상태: 파동함수 \(\psi(q, t)\)
  • 위치 연산자: \(\hat{q}\,\psi(q) = q\,\psi(q)\) (단순한 곱셈)
  • 운동량 연산자: \(\hat{p}\,\psi(q) = -i\hbar\frac{\partial}{\partial q}\psi(q)\) (미분 연산자). 이것은 \(\frac{\hbar}{i}\frac{\partial}{\partial q}\psi(q)\)로도 쓸 수 있어(\(\frac{1}{i} = -i\)이므로 양자는 같아——확인: \(\frac{\hbar}{i} = \hbar \times \frac{1}{i} = \hbar \times (-i) = -i\hbar\)). 교재에 따라 표기가 다르니까 양쪽 모두에 익숙해져. 이하의 계산에서는 \(\frac{\hbar}{i}\)의 형태를 사용할게

🔵 카이: 위치는 곱셈, 운동량은 미분——이 신기한 실현이 교환관계를 만족하는지 확인하고 싶어요.

🟡 리나: 정준 교환관계가 만족되는 것을 확인해 보자. 여기서는 \(\hat{p} = \frac{\hbar}{i}\frac{\partial}{\partial q}\)의 형태를 사용할게——이 쪽이 도중 계산에서 부호를 추적하기 쉬우니까(물론 \(-i\hbar\frac{\partial}{\partial q}\)와 완전히 같은 거야). 임의의 \(\psi(q)\)에 대해:

\[ (\hat{q}\hat{p} - \hat{p}\hat{q})\psi = q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q} - \frac{\hbar}{i}\frac{\partial}{\partial q}(q\psi) \tag{D.46} \]

제2항을 곱의 미분 \(\frac{\partial}{\partial q}(q\psi) = 1\cdot\psi + q\cdot\frac{\partial\psi}{\partial q} = \psi + q\frac{\partial\psi}{\partial q}\)로 전개:

\[ = q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q} - \frac{\hbar}{i}\left(\psi + q\frac{\partial\psi}{\partial q}\right) = \cancel{q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q}} - \frac{\hbar}{i}\psi - \cancel{q\cdot\frac{\hbar}{i}\frac{\partial\psi}{\partial q}} = -\frac{\hbar}{i}\psi = i\hbar\,\psi \tag{D.47} \]

(마지막 등호는 \(\frac{1}{i} = -i\)——이것은 \(i \cdot (-i) = -i^2 = 1\)에서 확인 가능(부록 A도 참조)——으로부터 \(-\frac{\hbar}{i} = -\hbar \cdot (-i) = i\hbar\).)

⚪ 메이: 확실히 \([\hat{q}, \hat{p}]\psi = i\hbar\,\psi\)가 성립해. 연산자의 순서가 중요한 것은, 미분 연산자가 "뒤의 함수에 작용하기" 때문이네.

🟡 리나: 맞아. 그리고 Schrödinger 방정식은:

\[ i\hbar\frac{\partial}{\partial t}\psi(q, t) = \hat{H}\!\left(q,\, \frac{\hbar}{i}\frac{\partial}{\partial q}\right)\psi(q, t) \tag{D.48} \]

조화진동자의 경우, \(\hat{H} = \frac{\hat{p}^2}{2m} + \frac{1}{2}m\omega^2 q^2\)에 \(\hat{p} = \frac{\hbar}{i}\frac{\partial}{\partial q} = -i\hbar\frac{\partial}{\partial q}\)를 대입하면, \(\frac{\hat{p}^2}{2m} = \frac{1}{2m}\left(\frac{\hbar}{i}\right)^2\frac{\partial^2}{\partial q^2}\). 여기서 \(\left(\frac{\hbar}{i}\right)^2 = \frac{\hbar^2}{i^2} = \frac{\hbar^2}{-1} = -\hbar^2\)이므로, \(\frac{\hat{p}^2}{2m} = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial q^2}\). 따라서:

\[ i\hbar\frac{\partial}{\partial t}\psi(q, t) = \left( -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial q^2} + \frac{1}{2}m\omega^2 q^2 \right)\psi(q, t) \tag{D.49} \]

🔵 카이: 제 7 장에서 봤던 Schrödinger 방정식이다! 정준양자화의 레시피를 쓰면, 고전적인 Hamiltonian에서 이 방정식이 자동적으로 나오는 거군요. 고전역학의 Hamiltonian이 양자역학의 Schrödinger 방정식의 "설계도"였다니.

D.7.4 순서의 모호성

🟡 리나: 하나 주의점이 있어. 고전역학에서는 \(qp = pq\)(그냥 수의 곱셈이니까). 하지만 양자역학에서는 \(\hat{q}\hat{p} \neq \hat{p}\hat{q}\)야. 그래서 고전적인 물리량 \(qp\)를 양자화할 때, \(\hat{q}\hat{p}\)로 할지 \(\hat{p}\hat{q}\)로 할지에 따라 결과가 달라져.

🔵 카이: 어떻게 하나요?

🟡 리나: 일반적인 규칙으로, 양자화한 연산자가 자기수반(Hermitian)이 되도록 순서를 선택해. \(qp\)의 경우는:

\[ qp \quad \longrightarrow \quad \frac{1}{2}(\hat{q}\hat{p} + \hat{p}\hat{q}) \tag{D.50} \]

이것은 Weyl 순서라 불리는 처방전의 하나야. 다만, 조화진동자처럼 \(H = \frac{p^2}{2m} + V(q)\)의 형태라면 \(p\)와 \(q\)가 섞인 항이 없으니까, 순서 문제는 생기지 않아.

⚪ 메이: 실용적으로는, 많은 물리계에서 순서의 모호성은 문제가 되지 않는 거네.

✅ 이해도 체크: 정준양자화의 3단계를 순서대로 서술하세요.

답
  1. 고전계의 Hamiltonian \(H(q, p)\)를 일반화 좌표와 정준운동량의 함수로 쓴다
  2. \(q, p\)를 연산자 \(\hat{q}, \hat{p}\)로 치환한다
  3. 기본 Poisson 괄호를 정준 교환관계 \([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\)로 치환한다

📝 연습문제:

D.8 전체 대응관계의 정리

🟡 리나: 여기까지의 흐름을 한 장의 표로 정리해 둘게. 고전역학과 양자역학의 대응관계야:

표 D.2: 고전역학과 양자역학의 대응관계

고전역학 양자역학
물리량 \(A(q, p)\) (\(c\)-수: 가환인 보통의 수) 연산자 \(\hat{A}\) (Hilbert 공간 위)
상태: 위상공간의 한 점 \((q, p)\) 상태: 켓벡터 $
Poisson 괄호 \(\{A, B\}\) 교환관계 \(\frac{1}{i\hbar}[\hat{A}, \hat{B}]\)
\(\{q_j, p_k\} = \delta_{jk}\) \([\hat{q}_j, \hat{p}_k] = i\hbar\,\delta_{jk}\)
시간발전: \(\frac{dA}{dt} = \{A, H\}\) Heisenberg 방정식: \(\frac{d\hat{A}}{dt} = \frac{1}{i\hbar}[\hat{A}, \hat{H}]\)
Hamilton 함수 \(H(q, p)\) Hamiltonian 연산자 \(\hat{H}\)
시간발전의 생성자: \(H\) 시간발전: $i\hbar\frac{\partial}{\partial t}

🔵 카이: 깔끔하게 대응하네요……근데 하나 신경 쓰이는 건, 이 표에서 고전역학의 "상태"가 위상공간의 한 점인데, 양자역학의 "상태"는 켓벡터잖아요. 한 점과 무한차원의 벡터——정보량이 전혀 다른 것 같은데, 그래도 "대응"이라고 할 수 있나요?

🟡 리나: 예리한 지적이야. 사실 그 말이 맞아서, 이 대응은 "완전한 번역"은 아니야. 고전역학은 양자역학의 \(\hbar \to 0\) 극한으로서 포함되지만, 역으로 고전역학으로부터 양자역학을 유일하게 결정할 수는 없어(순서의 모호성 등). 양자역학의 상태공간은 고전역학보다 훨씬 풍부해서, 중첩이나 얽힘과 같은 고전에 대응물이 없는 구조를 갖고 있어. 정준양자화는 어디까지나 "최선의 추측을 세우기 위한 레시피"이며, 최종적으로는 실험과의 일치로 정당화되는 모델이야.

D.9 연속계로의 확장 — 장의 양자론으로의 전망

🟡 리나: 마지막으로, 이산적인 입자계에서 연속적인 장으로 어떻게 확장되는지를 개관해 둘게. 이것은 장의 양자론 (quantum field theory)으로의 입구야.

D.9.1 이산계에서 연속계로

🟡 리나: 구체적인 이미지로, \(N\)개의 질점이 일직선으로 늘어서 있고, 이웃한 질점끼리 용수철로 연결된 계를 생각해——기타의 현을 떠올리면 좋아. 현을 확대하면 원자가 늘어서 있고, 이웃 원자끼리 결합력(용수철)으로 연결되어 있어. 질점의 평형위치 간격을 \(a\), 용수철 상수를 \(\kappa\), \(i\)번째 질점의 평형위치로부터의 변위를 \(q_i(t)\)로 하면, Lagrangian은:

이산계에서 연속계로의 이행

그림 D.2: \(N\)개의 질점이 용수철로 연결된 이산계(위)와, \(N \to \infty\), \(a \to 0\)의 연속 극한에서 얻어지는 연속적인 장 \(\phi(x,t)\)(아래). 이산적인 변위 \(q_i(t)\)가 연속적인 장 \(\phi(x,t)\)로 이행한다.

\[ L = \sum_{i=1}^{N} \left[ \frac{1}{2}m\dot{q}_i^2 - \frac{1}{2}\kappa(q_{i+1} - q_i)^2 \right] \tag{D.51} \]

🟡 리나: 여기서 \(N \to \infty\), \(a \to 0\)의 연속 극한을 취하면, 이산적인 변위 \(q_i(t)\)는 연속적인 장 \(\phi(x, t)\)로 이행해. 첨자 \(i\)가 연속변수 \(x\)로 치환되는 거야. 그림 D.2「\(N\)개의 질점이 용수철로 연결된 이산계(위)와, \(N \to \infty\), \(a \to 0\)의 연속 극한에서 얻어지는 연속적인 장 \(\phi(x,t)\)(아래)」를 봐——이산계(위)와 연속 극한(아래)의 대응이 시각적으로 알 수 있어.

\[ q_i(t) \to \phi(x, t) \tag{D.52} \]

D.9.2 Lagrangian 밀도

🟡 리나: 연속 극한에서는 Lagrangian이 공간적분의 형태가 돼:

\[ L = \int \mathcal{L}\!\left(\phi,\, \frac{\partial\phi}{\partial t},\, \frac{\partial\phi}{\partial x}\right) dx \tag{D.53} \]

여기서 \(\mathcal{L}\)을 Lagrangian 밀도 (Lagrangian density)라고 불러. 예를 들어 현의 진동이라면:

\[ \mathcal{L} = \frac{1}{2}\mu\left(\frac{\partial\phi}{\partial t}\right)^2 - \frac{1}{2}\tau\left(\frac{\partial\phi}{\partial x}\right)^2 \tag{D.54} \]

여기서 \(\mu\)는 선밀도(단위 길이당 질량), \(\tau\)는 장력——이것들이 이산계의 매개변수에서 어떻게 나오는지, 구체적으로 살펴보자.

🟡 리나: 여기서 연속 극한의 대응을 볼게. 포인트는 "\(\sum_i\)를 \(\int dx\)로 바꿔 쓰는" 것이야. 이웃한 질점의 간격이 \(a\)이니까, \(i\)번째 질점의 위치는 \(x_i = ia\)이지. \(a \to 0\)으로 질점이 연속적으로 분포하게 되면, \(\sum_i a\)는 구분구적법 그 자체로 \(\int dx\)로 이행해——고등학교에서 배운 \(\int_a^b f(x)\,dx = \lim_{N\to\infty}\sum_{i=1}^N f(x_i)\,\Delta x\)의 \(\Delta x\)가 \(a\)에 대응하는 거야.

🔵 카이: 아, \(\sum_i a\)는 폭 \(a\)의 직사각형을 더하는 것과 같은 구조네요. 근데 원래 식 (D.51)은 \(\sum_i\)이지 \(\sum_i a\)가 아니잖아요?

🟡 리나: 좋은 지적이야. 원래의 \(\sum_i\)에는 \(a\)가 들어있지 않으니까, 각 항을 "\(a \times\)(무언가)"의 형태로 다시 쓸 필요가 있어. 즉 \(\sum_i (\cdots) = \sum_i a \cdot \frac{(\cdots)}{a}\)로 변형해. 이렇게 하면 \(\sum_i a\) 부분이 \(\int dx\)로 이행하고, \(\frac{(\cdots)}{a}\) 부분이 Lagrangian 밀도 \(\mathcal{L}\)이 돼.

먼저 운동에너지 항. \(\frac{1}{2}m\dot{q}_i^2\)를 \(a \cdot \frac{1}{2}\frac{m}{a}\dot{q}_i^2\)로 다시 쓸게. \(\sum_i a \to \int dx\)로, \(m/a\)는 "단위 길이당 질량" 즉 선밀도 \(\mu\)가 돼. 그래서 \(\frac{1}{2}\mu\dot{\phi}^2 = \frac{1}{2}\mu(\partial\phi/\partial t)^2\)이 얻어져.

🔵 카이: 그렇구나, \(a\)를 하나 꺼내서 \(\int dx\)의 변환에 쓰고, 나머지가 밀도가 되는 거네요. 퍼텐셜 항도 같은 전략인가요?

🟡 리나: 맞아. 다음으로 퍼텐셜 항. \((q_{i+1} - q_i)/a\)는 "이웃과의 변위 차를 간격으로 나눈 것"이니까, \(a \to 0\)에서 공간미분 \(\partial\phi/\partial x\)에 접근해. 여기서도 "\(a\)를 하나 꺼내는" 전략을 사용할게——목표는 \(\sum_i a \cdot (\text{무언가})\)의 형태로 만들어서, \(\sum_i a \to \int dx\)로 "무언가"가 Lagrangian 밀도가 되도록 하는 것이야.

⚪ 메이: 즉, 이산계의 매개변수를 \(a\)로 나누거나 곱하거나 해서 "밀도"로 변환하는 조작이네.

🟡 리나: 그래. 원래의 항 \(\frac{1}{2}\kappa(q_{i+1}-q_i)^2\)를 먼저 \(\frac{1}{2}\kappa a^2 \left(\frac{q_{i+1}-q_i}{a}\right)^2\)로 다시 쓸게——\((q_{i+1}-q_i)^2 = a^2\left(\frac{q_{i+1}-q_i}{a}\right)^2\)이니까. 다음에 \(\kappa a^2 = a \cdot (\kappa a)\)로 분해해. 이렇게 하면 \(a \cdot \frac{1}{2}\kappa a \left(\frac{q_{i+1}-q_i}{a}\right)^2\)의 형태가 되어, \(a\) 하나가 \(\sum_i a \to \int dx\)의 변환에 사용되고, 남은 \(\kappa a\)가 물리 매개변수로 남아. \(\tau = \kappa a\)를 장력으로 정의하면, 피적분함수는 \(\frac{1}{2}\tau(\partial\phi/\partial x)^2\)가 돼.

🔵 카이: 아, 그렇구나——\(a\)가 두 가지 역할을 하고 있네요. 하나는 "\(\sum_i a \to \int dx\)"의 변환에 사용되고, 다른 하나는 물리 매개변수 안에 남아. 근데 \(\kappa a\)가 왜 장력이 되나요? 차원은 맞나요?

🟡 리나: 좋은 확인이야. 용수철 상수 \(\kappa\)의 차원은 [힘/길이]이므로, \(\kappa a\)의 차원은 [힘/길이]×[길이] = [힘]——확실히 장력의 차원이야. 물리적으로는, 용수철 상수 \(\kappa\)인 용수철이 간격 \(a\)로 나열되어 있을 때, 전체를 당기는 힘(장력)은 \(\kappa\)와 \(a\)의 곱으로 결정돼.

⚪ 메이: 정리하면, \(\mu = m/a\)가 선밀도, \(\tau = \kappa a\)가 장력이네. \(a\)의 배분이 운동에너지 항과 퍼텐셜 항에서 다른 것은, 원래 식에서의 \(a\)의 들어가는 방식이 다르기 때문이야.

🟡 리나: 맞아. 정리하면, 이산계의 \(\frac{1}{2}m\dot{q}_i^2\)가 \(\frac{1}{2}\mu(\partial\phi/\partial t)^2\)에, \(\frac{1}{2}\kappa(q_{i+1}-q_i)^2\)가 \(\frac{1}{2}\tau(\partial\phi/\partial x)^2\)에 대응하고 있어.

🔵 카이: 이산계에서는 "\(i\)번째 질점"이었던 것이, 연속계에서는 "위치 \(x\)에서의 장의 값"이 되는 거군요. 근데 \(a \to 0\)으로 하면 질점 수가 무한대가 되잖아요? 그런데도 같은 절차가 사용 가능한 게 신기해요.

🟡 리나: 좋은 감각이야. "사용 가능한" 이유는, 정준양자화의 레시피가 "각 자유도에 대해 정준변수의 쌍을 찾고, 교환관계를 부과한다"는 구조에만 의존하고, 자유도의 수가 유한인지 무한인지에는 본질적으로 의존하지 않기 때문이야. 구체적으로 어떻게 치환되는지는 다음 D.9.3에서 보겠지만, 미리 결론만 말하면, 이산계에서 \([\hat{q}_i, \hat{p}_j] = i\hbar\,\delta_{ij}\)였던 것을, 연속계에서 \([\hat{\phi}(x), \hat{\pi}(x')] = i\hbar\,\delta(x-x')\)로 치환하기만 하면 돼——형식적으로는 같은 패턴의 반복이야. 다만, 자유도가 무한 개가 되기 때문에야말로, 장의 양자론에서는 입자의 양자역학에는 없는 새로운 현상——입자의 생성·소멸 등——이 나타나.

🔵 카이: 헤에……형식은 같은데, 자유도가 무한 개가 된 것만으로 입자의 생성·소멸 같은 완전히 다른 현상이 나오는 거네요. 구체적으로는 어디서 "입자가 태어난다"는 이야기가 나오나요?

🟡 리나: 예리한 질문이야. 포인트는, 장을 Fourier 전개하면 각 모드가 독립적인 조화진동자가 된다는 것——제 27 장에서 봤잖아. 각 모드의 생성 연산자 \(\hat{a}^\dagger\)가 "입자를 하나 늘리는" 조작에 대응해. 교환관계 \([\hat{a}, \hat{a}^\dagger] = 1\)이 입자 수를 올리고 내리는 사다리를 만들기 때문에야말로, 입자 수가 변할 수 있어. 형식이 같기 때문에 안심하고 확장할 수 있지만, 자유도가 무한 개가 된 것으로 새로운 물리가 탄생한다——그것이 장의 양자론의 묘미야. 자세한 것은 제 27 장을 다시 봐줘.

⚪ 메이: 정리하면, 이산→연속의 대응은: 첨자 \(i\) → 좌표 \(x\), 변위 \(q_i(t)\) → 장 \(\phi(x,t)\), 합 \(\sum_i\) → 적분 \(\int dx\), 그리고 물리 매개변수는 \(m/a \to \mu\)(선밀도), \(\kappa a \to \tau\)(장력)이네.

🟡 리나: 맞아. 즉 식 (D.51)은 연속 극한에서 식 (D.53)의 형태가 되고, 피적분함수가 바로 식 (D.54)의 Lagrangian 밀도 \(\mathcal{L}\)이 돼——전부 \(a \to 0\)의 극한 조작에서 자연스럽게 나와. 명시적으로 쓰면:

\[ L = \int \left[ \frac{1}{2}\mu\left(\frac{\partial\phi}{\partial t}\right)^2 - \frac{1}{2}\tau\left(\frac{\partial\phi}{\partial x}\right)^2 \right] dx \tag{D.55} \]

이것이 이산계 (D.51)의 연속 극한이야.

D.9.3 장의 정준양자화

🟡 리나: 이산계의 정준양자화와 완전히 같은 절차를, 장에 대해 적용하는 거야:

표 D.3: 이산계와 연속장의 정준양자화의 대응

이산계 연속계(장)
일반화 좌표 \(q_i(t)\) 장 \(\phi(x, t)\)
정준운동량 \(p_i = \frac{\partial L}{\partial \dot{q}_i}\) 정준운동량 밀도 \(\pi(x,t) = \frac{\partial \mathcal{L}}{\partial \dot{\phi}}\)
\(\{q_i, p_j\} = \delta_{ij}\) \(\{\phi(x), \pi(x')\} = \delta(x - x')\)
\([\hat{q}_i, \hat{p}_j] = i\hbar\,\delta_{ij}\) \([\hat{\phi}(x), \hat{\pi}(x')] = i\hbar\,\delta(x - x')\)

🔵 카이: Kronecker 델타가 델타함수로 바뀔 뿐이고, 구조는 완전히 같네요.

⚪ 메이: Kronecker 델타 \(\delta_{ij}\)가 Dirac 델타함수 \(\delta(x - x')\)로 치환되고 있어——이산에서 연속으로의 자연스러운 확장이네.

🟡 리나: 맞아. 혹시를 위해 보충하면, Dirac 델타함수는 부록 C에서 도입했지만, 여기서의 의미를 확인해 둘게. \(\delta(x - x')\)는 "\(x = x'\)일 때만 무한대이고, 그 외에서는 0, 전체를 적분하면 1"이라는 특수한 함수야. 이산계에서 \(\delta_{ij}\)가 "\(i = j\)일 때 1, 그 외는 0"이었던 것과 같은 역할을, 연속변수에 대해 수행해.

⚪ 메이: Kronecker 델타의 연속 버전이네. "같은 점인지 아닌지"를 판정하는 도구가, 이산에서는 \(\delta_{ij}\), 연속에서는 \(\delta(x-x')\)가 되는 거야.

🟡 리나: 맞아. 이 "장의 정준양자화"야말로 장의 양자론의 출발점이야. 전자기장을 양자화하면 광자가 태어나고, Dirac 장을 양자화하면 전자와 양전자가 태어나. 제 27 장에서 전망한 "왜 입자만으로는 불충분한가"의 답이, 바로 여기에 있어.

🔵 카이: 입자의 역학을 양자화한 것이 양자역학. 장의 역학을 양자화한 것이 장의 양자론. 같은 "정준양자화"라는 레시피가 양쪽에 사용되는 거네요.

🟡 리나: 완벽한 이해야. 본편의 양자역학은 "유한 개의 자유도의 정준양자화". 장의 양자론은 "무한 개의 자유도(연속계)의 정준양자화". 도구는 같고, 적용하는 대상이 다를 뿐이야.

✅ 이해도 체크: 양자역학과 장의 양자론의 차이를 정준양자화의 관점에서 한마디로 서술하세요.

답

양자역학은 유한 개의 자유도(입자의 좌표와 운동량)의 정준양자화이며, 장의 양자론은 무한 개의 자유도(연속적인 장과 그 정준운동량 밀도)의 정준양자화이다. 적용하는 정준양자화의 레시피는 같지만, 대상이 되는 계의 자유도의 수가 다르다.

✅ 이해도 체크: 장의 정준양자화에서 이산계의 Kronecker 델타 \(\delta_{ij}\)에 대응하는 것은 무엇일까요?

답

Dirac 델타함수 \(\delta(x - x')\). 이산적인 첨자 \(i, j\)가 연속적인 좌표 \(x, x'\)로 치환되는 데 따라, Kronecker 델타도 델타함수로 치환된다.

다음 장 예고

🟡 리나: 이 Appendix에서, 고전역학의 Lagrangian·Hamiltonian 형식에서 양자역학으로의 정준양자화의 길을 한 바퀴 조망했어.

🔵 카이: Newton의 \(F = ma\) → Lagrangian과 작용 → Hamiltonian과 위상공간 → Poisson 괄호 → 정준양자화 → Schrödinger 방정식. 전부 이어져 있군요. 근데 장의 양자론으로 나아가면, 또 새로운 "번역의 벽" 같은 것이 있나요?

🟡 리나: 좋은 질문이야. 장의 정준양자화는, 장의 양자론 (quantum field theory)의 입구야. 본편 제 27 장에서 전망한 세계로의 문이, 여기서 정식으로 열린 셈이야. 새로운 어려움——예를 들어 무한대의 처리(되맞춤)——은 확실히 있지만, 출발점의 도구는 오늘 배운 것과 같아.

⚪ 메이: 장의 양자론으로 나아가면, 입자의 생성·소멸, 반입자, 진공의 요동——그런 현상이 자연스럽게 기술될 수 있게 되는 거네.

🟡 리나: 맞아. 만약 장의 양자론을 더 공부하고 싶다면, 이 Appendix의 도구——특히 Lagrangian 밀도와 정준운동량 밀도의 개념——가 출발점이 돼. 본편의 양자역학을 토대로, 그 너머의 세계로 나아가 줬으면 좋겠어.

연습문제

📝 연습문제:

참고문헌

  1. Lancaster, T. & Blundell, S. J., Quantum Field Theory for the Gifted Amateur (Oxford University Press, 2014), Ch.2 "Lagrangians" & Ch.6 "A first stab at relativistic quantum mechanics" — Lagrangian 형식·범함수 미분·Hamiltonian·Poisson 괄호의 정성스러운 도입. 장의 양자론으로의 다리 놓기로서 최적.

  2. Sakurai, J. J. & Napolitano, J., Modern Quantum Mechanics, 3rd ed. (Cambridge University Press, 2021), Ch.2 전반 — 시간발전 연산자, Heisenberg의 운동방정식, 고전역학과의 대응(Poisson 괄호 → 교환관계).

  3. 清水明, 『新版 量子論の基礎 — その本質のやさしい理解のために』(サイエンス社, 2004), Ch.6 — 정준양자화의 절차를 엄밀하면서도 간결하게 정식화. Schrödinger 표현의 도입.

← C 푸리에 해석과 δ 함수이 여행에 오신 것을 환영합니다 →