고전에서 양자로 — 디랙 대응과 경로 적분

고전의 푸아송 괄호가 양자의 교환자로 옮겨가고, 모든 경로의 위상 합이 작은 $\hbar$ 극한에서 다시 고전 경로 하나만을 남긴다 — 두 다리로 같은 강을 건너는 이야기.

들어가며

해석역학을 1권 1장부터 여기까지 따라온 독자라면 — 이쯤에서 한 가지 질문이 머릿속에 떠올라 있을 것이다. “이 해석역학이라는 골격이 — 도대체 양자역학과 어떻게 연결되는가?” 학부에서 양자역학 과목을 같이 들어 본 사람이라면 그 책의 시작 자리 — 슈뢰딩거 방정식이 갑자기 가설처럼 떨어지는 자리 — 가 어딘가 납득이 잘 안 갔던 기억이 있을 것이다. 파동함수 $\psi$ 가 어디서 왔는지, 왜 위치와 운동량을 동시에 정확히 알 수 없는지, 왜 측정 을 한 순간 상태가 붕괴 한다는 식의 이상한 설명이 따라붙는지 — 그 모든 출발선이 고전역학의 어느 자리에서 자라 나온 것 인지가 흐릿했다.

이 장은 그 다리를 두 개 놓는다. 하나는 디랙의 정준 양자화(canonical quantization) — 고전 위상공간 위의 함수 를 연산자 로 승격시키는 처방이고, 다른 하나는 파인만의 경로 적분(path integral) — 모든 가능한 경로의 위상 합 으로 양자 진폭을 적는 처방이다. 둘은 완전히 다른 시작점 에서 출발한다. 디랙은 해밀턴 형식 의 푸아송 괄호를 교환자 로 바꾸는 데서 출발하고, 파인만은 라그랑지안 형식 의 작용 $S$ 를 위상 으로 바꾸는 데서 출발한다. 그런데 두 다리는 — 같은 강 의 같은 건너편 에 도착한다. 즉 둘 다에서 같은 슈뢰딩거 방정식 이 떨어진다. 이 두 길이 만나는 자리 가 — 이 장의 중심 풍경이다.

이 장을 끝내면 독자는 — 세 가지 를 손으로 적을 수 있어야 한다. 첫째, 고전 푸아송 괄호 $\{q, p\} = 1$ 이 어떻게 양자의 정준 교환관계 $[\hat q, \hat p] = i\hbar$ 로 옮겨가는지의 사전 한 줄. 둘째, 모든 경로의 합 $K = \int \mathcal D[x]\, e^{iS/\hbar}$ 이 양자 진폭의 정의가 되는 이유 — 왜 위상에 작용이 들어가는가. 셋째, 작은 $\hbar$ 극한에서 정류 위상 논증 으로 고전 경로 하나만 살아남는 자리. 학부에서 양자역학을 처음 배울 때 “고전 극한이 어디서 회복되는가” 가 한 번도 명쾌하게 풀리지 않았다면 — 이 장의 본론 3 이 그 자리를 정리해 줄 것이다.

본론은 셋이다. 본론 1 은 디랙 대응 을 다룬다. 푸아송 괄호 ↔ 교환자 라는 한 줄짜리 사전이 어떻게 해밀턴 방정식 ↔ 하이젠베르크 방정식 으로 확장되는지, 그리고 왜 이게 유도가 아니라 가정 인지를 짚는다. 본론 2 는 파인만의 경로 적분 으로, 모든 경로 라는 그림이 어떻게 양자 진폭을 적분으로 적게 만드는지, 각 경로의 기여 크기가 같은데 위상만 다른 이유 가 무엇인지를 본다. 본론 3 은 정류 위상과 고전 극한 — 작은 $\hbar$ 가 빠른 진동을 만들고, 그 빠른 진동이 자기 상쇄 하다가 정류점 (= 고전 경로) 에서만 살아남는 메커니즘을 손으로 푼다. 끝으로 파이썬에서 자유 입자의 경로 적분 위상 이 고전 작용 근방 으로 떨어지는 것을 격자 위에서 확인하고 — 다음 장에서 해석역학 이후 의 길 — 양자장론, 게이지 이론, 통계역학의 분할함수 — 로 다리를 놓는다.

이 장 내내 단위 는 SI 를 살린 $\hbar$ 표기를 그대로 쓴다 ($\hbar = 1$ 로 잡지 않는다). 그 이유는 — 고전 극한 $\hbar \to 0$ 을 짚을 때 $\hbar$ 가 어디에 들어가 있는지 가 눈으로 보여야 논증이 따라잡히기 때문이다. 자연 단위 $\hbar = 1$ 로 들어가면 위상 과 작용 의 단위가 같은 자리로 모여 식은 깔끔해지지만 — 고전 극한이 어디서 회복되는지 가 흐려진다. 그래서 이 장은 $\hbar$ 를 명시적으로 남겨 둔다. 다만 파이썬 검증 의 단계에서는 수치 편의 를 위해 $\hbar = 1$ 로 잡는다 — 식이 깔끔해질 뿐 본질은 그대로다.

한 가지 더 짚어 두자 — 이 장은 양자역학의 가설 을 고전역학으로부터 유도 하는 자리가 아니다. 양자역학은 실험으로 발견된 새로운 물리 이고, 고전역학에서 논리적으로 도출 되는 것이 아니다. 디랙 대응도 파인만의 경로 적분도 — 둘 다 고전역학의 어떤 양 을 양자 양에 대응시킨다 는 처방 일 뿐, 왜 그 처방이 자연을 정확히 기술하는가 는 실험에 물어야 할 일 이다. 우리가 할 수 있는 건 — 그 처방이 어떤 모양으로 짜였는지, 그리고 고전 극한에서 어떻게 익숙한 그림으로 환원되는지 를 보는 일이다. 이 장은 그 한정된 영역을 다룬다.

본론 1 — 디랙 대응

디랙(Paul Adrien Maurice Dirac, 1902–1984) 은 1925년 — 하이젠베르크가 행렬역학 을 제안한 직후 — 다음과 같은 한 줄짜리 사전 을 적었다. 고전 위상공간 위의 두 함수 $f, g$ 의 푸아송 괄호(Poisson bracket) $\{f, g\}$ — 4장에서 정의한, 위상공간 위 함수들 사이의 반대칭적인 미분 연산 — 가 양자역학에서는 두 자기수반(self-adjoint) 연산자 $\hat f, \hat g$ 의 교환자(commutator) $[\hat f, \hat g] = \hat f \hat g - \hat g \hat f$ 와 다음의 관계로 대응한다.

$$\{f, g\} \;\longmapsto\; -\frac{i}{\hbar}[\hat f, \hat g].$$

이 한 줄을 풀자. 좌변 — 푸아송 괄호 는 고전 양 이다. 1권의 해밀턴 형식에서 본 대로 $\{f, g\} = \sum_i (\partial_{q_i} f\, \partial_{p_i} g - \partial_{p_i} f\, \partial_{q_i} g)$ 로 정의되는, 두 함수의 미분으로 짜인 반대칭 양. 우변 — 교환자 는 양자 양 이다. 두 연산자 $\hat f, \hat g$ 가 곱하는 순서에 따라 결과가 다를 수 있다 는 사실 — 고전에서는 함수 곱이 가환이라 안 보였던 정보 — 을 정량적으로 적은 양. 그 사이를 잇는 $-(i/\hbar)$ 인자가 — 이 사전의 핵심 정보 다.

$\hbar$ (h-bar, 환산 플랑크 상수, $\hbar \approx 1.055 \times 10^{-34}\,\mathrm{J\cdot s}$) 가 어디에 들어가 있는지를 짚자. 우변이 고전 극한 $\hbar \to 0$ 에서 발산하지 않으려면 — 두 연산자의 교환자 자체가 $\hbar$ 한 차수만큼 작아야 한다. 다시 말해 교환자는 $\hbar$ 차원의 양 이고, 고전 극한에서는 그 값이 0으로 사라진다 — 그러면 연산자 곱이 가환이 되어 고전 함수처럼 다룰 수 있다. 이 한 줄이 — 왜 우리 일상에서 양자역학이 안 보이는지 의 근본 이유다. $\hbar$ 가 너무 작아서 — 우리의 일상 스케일에서는 교환자의 비대칭이 측정 한계 아래 로 숨어 있다.

헷갈리는 자리: $\hbar \to 0$ 극한 이라는 표현은 — 물리상수인 $\hbar$ 가 진짜로 0이 된다 는 의미가 아니다. $\hbar$ 는 우주의 고정된 상수 다. 극한 은 — 우리가 다루는 작용 $S$ 가 $\hbar$ 보다 훨씬 크다 (= $S/\hbar \gg 1$) 는 의미고, 그 자리에서 양자 효과가 상대적으로 작아져서 고전 동역학으로 보이는 자리다. 학부 운동의 작용은 보통 $\sim 1\,\mathrm{J\cdot s}$ 차원이라 — $\hbar$ 보다 $10^{34}$ 배 크다. 그래서 우리 일상은 대개 고전이다.

이 사전의 가장 단순한 적용은 — 위치와 운동량의 푸아송 괄호 $\{q, p\} = 1$ 이다. 우변에 대입하면 $1 \;\longmapsto\; -(i/\hbar)[\hat q, \hat p]$, 즉

$$[\hat q, \hat p] = i\hbar$$

가 떨어진다. 양자역학 교과서의 맨 첫 줄 에서 공준 으로 떨어지던 그 식이 — 디랙 사전 한 줄에서 자동으로 굴러 나온다. 이게 불확정성 원리 의 출발점이다. 두 연산자가 교환하지 않는다 는 사실이 — 둘을 동시에 정확히 측정할 수 없다 는 원리로 이어진다 (양자역학에서 로버트슨–슈뢰딩거 부등식 으로 정확히 정량화).

다음으로 해밀턴 방정식 을 양자화하자. 1권에서 본 대로 — 위상공간 함수 $f(q, p, t)$ 의 시간 변화는 $\dot f = \{f, H\} + \partial_t f$ 로 적힌다 ($H$ 는 해밀토니안). 디랙 사전을 그대로 대입하면 — 고전 운동방정식 이 양자 운동방정식 으로 옮겨간다. 즉

$$i\hbar\, \frac{d\hat f}{dt} = [\hat f, \hat H]$$

가 떨어진다 (편미분 $\partial_t \hat f$ 항은 $\hat f$ 가 시간에 명시적으로 의존하지 않을 때 0). 이 식이 — 하이젠베르크 방정식(Heisenberg equation) 이다. 고전 동역학의 운동방정식 $\dot f = \{f, H\}$ 가 — 단어 하나 ($\{,\}$ 를 $-(i/\hbar)[,]$ 로) 만 바꾸면 양자 동역학의 운동방정식이 된다 — 이 사실이 디랙 대응이 가진 경이로움 의 핵심이다.

헷갈리는 자리: 하이젠베르크 방정식과 슈뢰딩거 방정식 은 같은 동역학의 두 표현 이다. 슈뢰딩거 표현에서는 연산자가 시간에 무관 하고 상태 $\psi$ 가 시간 변화 — $i\hbar \partial_t \psi = \hat H \psi$. 하이젠베르크 표현에서는 상태가 시간에 무관 하고 연산자가 시간 변화 — 위의 식. 두 표현은 유니타리 변환으로 정확히 연결되어 물리적 예측이 같다. 학부 양자역학에서 슈뢰딩거 그림 만 배운 독자는 — 하이젠베르크 그림 이 해석역학의 해밀턴 형식과 더 가깝다 는 사실을 기억해 두면 된다.

다만 디랙 대응에는 큰 함정 이 하나 있다. 이건 유도(derivation) 가 아니라 공준(ansatz), 즉 작동하는 것 같으니 가정해 놓고 시작하는 출발선 이다. $q, p$ 의 다항식 수준 — 운동량, 위치, 그리고 그 곱이 두 번까지 — 에서는 잘 작동한다. 그런데 세 개 이상 섞인 다항식 에서는 — 순서 모호성(ordering ambiguity) 이 떨어진다. 예를 들어 고전 함수 $q^2 p^2$ 을 양자화하면 — $\hat q^2 \hat p^2$, $\hat p^2 \hat q^2$, $(\hat q \hat p + \hat p \hat q)^2/4$, $\hat q \hat p^2 \hat q$ 등 서로 다른 연산자가 모두 후보가 된다. 어느 쪽을 택할지에 따라 물리적 결과가 다르다.

헷갈리는 자리: 순서 모호성 은 — $\hat q \hat p \neq \hat p \hat q$ 라는 사실의 직접 결과다. 두 연산자가 곱셈에서 가환이 아니라 — 어느 쪽을 먼저 곱하느냐 에 따라 다른 양이 된다. 이 모호성을 어떻게 처리할지에 대한 약속들이 — Weyl 대칭 순서(symmetric ordering), 정상 순서(normal ordering), 반정상 순서(anti-normal ordering) 등으로 나뉜다. 양자장론까지 가면 이 약속이 물리적 의미가 다른 양 들을 만들어내고, 재규격화(renormalization) 절차와도 얽힌다. 즉 “고전 → 양자 는 사전 한 줄로 다 결정되지 않는다” 는 점이 — 디랙 대응의 한계다.

그래서 디랙 대응의 정확한 진술 은 — “다항식 차수 2 이하에서는 유일하게 작동하고, 그 너머에서는 추가 약속이 필요하다” 가 된다. 다행히 학부 수준에서 다루는 대부분의 계 — 조화 진동자, 자유 입자, 수소 원자 등 — 는 2차 이하 라서 이 사전이 바로 작동한다. 그 너머는 양자장론의 영역이다.

간단한 예제 하나로 마무리하자. 조화 진동자(harmonic oscillator) 의 고전 해밀토니안은 $H = p^2/(2m) + m\omega^2 q^2/2$ 다. 디랙 대응을 적용하면 — $q \to \hat q, p \to \hat p$, 그리고 순서 모호성이 없는 2차 다항식 이라 그대로 양자화된다.

$$\hat H = \frac{\hat p^2}{2m} + \frac{m\omega^2 \hat q^2}{2}$$

이 한 줄에서 — 학부 양자역학 교과서의 조화 진동자 챕터 전체가 굴러 나온다. 에너지 고유값 $E_n = \hbar\omega(n + 1/2)$, 영점 에너지 $E_0 = \hbar\omega/2$, 상승·하강 연산자 $\hat a, \hat a^\dagger$ — 모두 위의 $\hat H$ 와 $[\hat q, \hat p] = i\hbar$ 한 줄에서 대수적으로 떨어진다. 고전 조화 진동자 가 양자 조화 진동자 로 옮겨가는 다리가 — 디랙 사전 한 줄로 완벽하게 작동하는 자리다. 이게 디랙 처방이 진짜로 작동한다 는 가장 단순한 증거다.

본론 2 — 파인만의 경로 적분

리처드 파인만(Richard Phillips Feynman, 1918–1988) 은 1948년 — 디랙 대응이 나온 지 23년 뒤 — 완전히 다른 다리 를 놓았다. 디랙은 해밀턴 형식 (= 위상공간) 에서 출발했지만 — 파인만은 라그랑지안 형식 (= 작용) 에서 출발했다. 그리고 연산자도, 교환자도 쓰지 않고 — 경로의 합 으로 양자 진폭을 정의했다.

파인만의 처방을 한 줄로 적자. 입자가 시공간점 $(x_i, t_i)$ 에서 $(x_f, t_f)$ 로 갈 양자 진폭 $K$ 는 — 가능한 모든 경로 에 대한 합으로 적힌다:

$$K(x_f, t_f; x_i, t_i) = \int \mathcal{D}[x(t)]\, e^{i S[x]/\hbar}.$$

여기서 $\mathcal{D}[x(t)]$ 는 끝점이 고정된 채로 $t_i$ 와 $t_f$ 를 잇는 모든 연속 경로 $x(t)$ 에 대한 형식적 적분 측도 이고, $S[x] = \int_{t_i}^{t_f} L\, dt$ 는 1권 1장에서 본 고전 작용 — 라그랑지안 $L$ 을 시간 적분한 양 — 그대로다. 각 경로는 자기 작용을 위상으로 갖는 단위 복소수 $e^{iS/\hbar}$ 하나로 기여하며, 이들을 모두 더한 것이 양자 진폭 $K$ 다.

세 가지를 강조해 두자. 첫째 — 합은 모든 경로에 대해 이루어진다. 매끈한 경로뿐 아니라 꺾인 경로, 지그재그 경로, 심지어 미분이 불가능한 경로 까지 — 끝점만 맞으면 모두 합에 들어간다. 학부 변분법에서 다뤘던 “매끈한 함수 만 시험 함수로 쓴다” 의 그림과는 완전히 다르다. 양자 입자는 모든 가능성을 동시에 시도 하고, 우리는 그 위상 합 만 본다.

둘째 — 각 경로의 기여는 동일한 크기 다. $|e^{iS/\hbar}| = 1$ 이라 — 모든 경로가 같은 무게 로 합에 들어간다. 차이는 오로지 위상 에 있다. 어떤 경로는 위상 $S/\hbar$ 가 $3.7$ 라디안 이고 또 어떤 경로는 $108.2$ 라디안 — 이 차이가 덧셈에서 어떻게 상쇄되거나 보강되는지 가 양자 동역학의 모든 정보 다.

셋째 — 고전 경로 $x_{\rm cl}$ 은 $\delta S = 0$ 을 만족하는 경로다. 즉 그 경로 근방에서 작용이 정류(stationary) — 극값이 아니라 미분이 0 — 인 경로. 학부 변분법에서 오일러–라그랑주 방정식 을 떨어뜨릴 때 사용했던 정류 조건 이 — 여기서는 경로 적분의 자기 상쇄 와 직접 연결된다. 다음 절에서 이 셋이 어떻게 결합해 고전 극한 을 만들어내는지를 본다.

헷갈리는 자리: 경로 적분의 측도 $\mathcal D[x]$ 는 — 수학적으로 까다로운 형식 표기 다. 연속 함수 공간 위의 적분 이라는 그림은 르베그 측도의 자연스러운 일반화가 없어서 — 엄밀한 정의는 위크 회전(Wick rotation) 으로 허수 시간 으로 옮긴 유클리드 경로 적분 에서만 깔끔하게 떨어진다. 이건 비너 측도(Wiener measure) 와 연결되고, 확률론의 브라운 운동 과 같은 자리에 있다. 학부 수준에서는 — 시공간을 시간 슬라이스로 잘라 다중 적분으로 풀고, 슬라이스를 무한히 잘게 가는 극한 으로 정의한다고 조작적 으로 받아들이면 된다.

헷갈리는 자리: 경로 적분에서 양자 입자는 모든 경로를 동시에 가는가? 라는 질문이 자주 나온다. 답은 — 물리적 그림으로는 그렇게 말해도 되지만, 측정 결과는 한 경로 다. 파인만은 이 그림을 “역사들의 합(sum over histories)” 이라 불렀다. 모든 가능한 과거 가 동시에 일어나고, 간섭을 거쳐 최종 진폭이 떨어진다. 측정 시점에서는 한 결과 만 보이지만 — 어디로 갈 확률 을 계산하는 진폭의 단계 에서는 모든 경로가 살아 있다.

헷갈리는 자리: 디랙 대응과 경로 적분은 같은 양자역학을 두 방식으로 본 것 이다. 연산자와 교환자 의 언어로 적은 게 디랙, 경로와 작용 의 언어로 적은 게 파인만. 두 표현 사이에 수학적 등가성 이 증명되어 있다 — 파인만 자신이 1948년 논문 에서 경로 적분이 슈뢰딩거 방정식을 만족함 을 보였다. 즉 두 다리는 같은 강 같은 건너편 에 도착한다.

경로 적분이 왜 이렇게 짜여 있는지 — 그 출발선의 직관 을 한 단락 보태자. 양자역학에서 상태의 시간 변화 는 유니타리 연산자 $\hat U(t_f, t_i)$ 로 적힌다 — 즉 $|\psi(t_f)\rangle = \hat U(t_f, t_i) |\psi(t_i)\rangle$. 그린 함수 (= 전파자) 는 이 유니타리 연산자의 행렬 요소 $K(x_f, t_f; x_i, t_i) = \langle x_f | \hat U(t_f, t_i) | x_i \rangle$ 다. 파인만의 발상은 — 유니타리 연산자를 시간 슬라이스로 잘게 자르고 (즉 $\hat U = \hat U_N \cdots \hat U_2 \hat U_1$, 각 $\hat U_k$ 가 작은 시간 $dt$ 의 진화), 각 슬라이스 사이에 위치 고유상태의 완비성 관계 $\int dx\, |x\rangle\langle x| = 1$ 를 끼워 넣는 것이다. 그러면 중간 점의 위치 $x_1, x_2, \cdots, x_{N-1}$ 에 대한 다중 적분 이 떨어진다. 각 인접 슬라이스의 행렬 요소가 — 작은 시간 동안의 위상 $e^{i L \, dt/\hbar}$ 으로 환원됨을 보이면 — 극한 $N \to \infty$ 에서 작용 $S = \int L\, dt$ 가 위상에 들어간 경로 적분 이 떨어진다. 이게 경로 적분이 슈뢰딩거 방정식과 등가 인 수학적 근거 다.

헷갈리는 자리: 작용이 왜 위상에 들어가는가? 라는 질문에 대한 답은 — 위에서 본 시간 슬라이스 도출 이다. 고전적으로는 작용이 라그랑지안의 시간 적분 이라는 정의에서 출발했지만 — 양자적으로는 그 작용이 자연스럽게 위상의 자리에 들어간다. 즉 위상 = $iS/\hbar$ 는 우연이 아니라 시간 슬라이스 도출의 직접 결과. 그래서 작용이라는 고전 양 이 양자 진폭의 위상 으로 재해석 되는 자리가 — 고전과 양자를 잇는 가장 깊은 다리 중 하나다.

본론 3 — 정류 위상과 고전 극한의 회복

이제 이 장의 핵심 메커니즘 — 왜 작은 $\hbar$ 극한에서 고전 경로 하나만 살아남는가 — 를 손으로 푼다. 한 줄로 적으면 — 빠른 위상 진동이 자기 상쇄하고, 정류점만 살아남는다. 이게 정류 위상 근사(stationary-phase approximation) 의 핵심이고, 학부 응용수학에서 진동 적분 을 다룬 자리가 그대로 여기에 적용된다.

먼저 직관 을 짚자. 함수 $f(x)$ 와 큰 매개변수 $\lambda$ 에 대해 적분 $I(\lambda) = \int e^{i\lambda f(x)}\, dx$ 를 생각하자. $\lambda$ 가 크면 — 지수의 위상 $\lambda f(x)$ 가 $x$ 가 조금만 변해도 빠르게 회전한다. 양수 기여와 음수 기여 가 서로 가까운 $x$ 에서 거의 같은 빈도로 나오니까 — 적분이 자기 상쇄해서 0에 가까워진다. 단 예외 가 하나 있다. $f'(x) = 0$ 인 점 (= 정류점) 근방에서는 — 위상이 천천히 변하기 때문에 상쇄가 일어나지 않고 기여가 모인다. 그래서 정류점 근방의 기여 만이 살아남는 항 이 된다.

경로 적분에서는 — $\lambda = 1/\hbar$ 이고 $f = S[x]$ 다. $\hbar$ 가 작으면 (= 작용 $S$ 가 $\hbar$ 보다 훨씬 크면) — 위상 $S/\hbar$ 가 경로를 조금만 비틀어도 빠르게 회전 하고, 경로들이 자기 상쇄 한다. 살아남는 자리는 — $\delta S = 0$ 인 경로, 즉 고전 경로 다. 이게 고전 극한이 회복되는 메커니즘이다.

좀 더 구체적인 수치 감각 을 짚자. 학부 운동의 작용은 대개 $\sim 1\,\mathrm{J\cdot s}$ 차원, $\hbar \approx 10^{-34}\,\mathrm{J\cdot s}$. 즉 $S/\hbar \sim 10^{34}$ — 천문학적 으로 큰 위상이다. 경로를 조금 비틀어도 위상이 $2\pi$ 의 정수배 단위로 수십 자릿수만큼 변한다. 이 자리에서 경로들의 위상 합 이 자기 상쇄해서 — 오직 정류점 (= 고전 경로) 주위 폭이 $\sqrt{\hbar/m\omega}$ 정도인 좁은 영역 의 기여만 살아남는다. 원자 스케일 에서는 — 작용이 $\hbar$ 와 같은 자릿수 라서 상쇄가 일어나지 않는다. 그래서 고전 경로가 유일하게 부각되지 않고 모든 경로가 동시에 기여 — 이게 양자 행동 으로 보이는 자리다.

헷갈리는 자리: 정류 위상 = 빠른 진동에서 살아남는 자리 다. 미적분의 극값 (= 함수 값의 최대/최소) 과 정류점 (= 미분이 0인 점) 의 차이를 짚자. 정류점은 극값을 포함 하지만 — 변곡점, 안장점 도 정류점이다. 작용의 정류 조건 $\delta S = 0$ 도 최소가 아니어도 된다 — 오일러–라그랑주 방정식의 해 이기만 하면 된다. 학부 변분법에서 흔히 “최소작용 원리” 라 부르지만, 정확히는 “정류 작용 원리(principle of stationary action)” 다.

수학적으로 손으로 풀자. 고전 경로 $x_{\rm cl}$ 주위에서 임의의 경로를 $x(t) = x_{\rm cl}(t) + \delta x(t)$ 로 두고 $\delta x$ 가 작다고 가정 한 뒤 작용을 2차까지 테일러 전개 하면

$$S[x_{\rm cl} + \delta x] = S[x_{\rm cl}] + \frac{1}{2}\, \delta^2 S\, (\delta x)^2 + \cdots$$

가 된다. 1차 항 $\delta S \cdot \delta x$ 는 — $x_{\rm cl}$ 의 정의 (= 정류 조건 $\delta S = 0$) 에 의해 사라진다. 2차 항 만 남는다. 3차 이상 은 $\hbar \to 0$ 에서 더 빨리 죽으니까 무시한다.

이 2차 항을 가진 가우스 적분이 떨어지면 — 경로 적분이 해석적으로 계산 가능 한 모양이 된다. 결과를 한 줄로 적으면

$$K(x_f, t_f; x_i, t_i) \approx A(x_f, x_i, T)\, e^{i S[x_{\rm cl}]/\hbar}$$

이다 (여기서 $T = t_f - t_i$). 진폭의 위상 은 고전 작용 $S[x_{\rm cl}]$ 그 자체이고, 앞의 진폭 인자 $A$ 는 2차 변분 $\delta^2 S$ 의 행렬식 — 학부 수준 표기로 반 블레크 행렬식(Van Vleck determinant) — 으로 적힌다. $\hbar \to 0$ 극한에서는 이 한 항 외의 모든 경로 기여가 진동하며 사라진다. 살아남는 것은 단 하나의 고전 경로 다.

헷갈리는 자리: $\hbar \to 0$ 극한 에서 고전 경로가 유일하게 살아남는다 는 표현은 — 고전 경로가 다른 경로들을 압도한다 는 의미가 아니다. 압도 가 아니라 유일한 생존 이다. 다른 모든 경로의 기여는 — 서로 다른 방향으로 빠르게 진동 하다가 합산하면 0에 가까워진다. 그래서 최종 진폭은 고전 경로의 위상 하나 와 그 근방의 2차 보정 만 남는다. 학부 양자역학에서 “고전 극한 ” 이라 부르는 자리가 — 이 자기 상쇄 메커니즘의 직접 결과다.

헷갈리는 자리: 반 블레크 행렬식 은 — 준고전 근사(semiclassical approximation) 의 첫 양자 보정 항 이다. $\hbar^0$ 차원에서는 위상 만 남고 진폭은 단순한 상수 지만 — $\hbar^1$ 차원의 보정을 짚으면 2차 변분의 행렬식 이 떨어진다. 이게 준고전 양자역학 의 출발선이고 — WKB 근사 의 일반화다. 학부에서 WKB 근사 를 1차원 슈뢰딩거 방정식에서만 다뤘다면 — 경로 적분의 정류 위상 근사가 그 다차원 일반화 라고 보면 된다.

자유 입자에 대해 손으로 한 번 계산해 두자. 라그랑지안 $L = m\dot x^2/2$ 의 고전 경로는 — 등속 직선 운동

$$x_{\rm cl}(t) = x_i + (x_f - x_i)\, \frac{t - t_i}{T}$$

이다. 직접 미분하면 $\dot x_{\rm cl} = (x_f - x_i)/T$ — 상수. 작용은

$$S_{\rm cl} = \int_{t_i}^{t_f} \frac{m}{2} \left(\frac{x_f - x_i}{T}\right)^2 dt = \frac{m(x_f - x_i)^2}{2T}$$

가 떨어진다 (적분 안이 상수라 그냥 $T$ 를 곱하면 된다). 이게 자유 입자의 고전 작용 이다.

이 결과는 — 슈뢰딩거 방정식을 직접 풀어 얻은 자유 입자 전파자 의 위상과 정확히 일치한다. 학부 양자역학에서 자유 입자 그린 함수 를 푸리에 변환으로 푼 자리에서 떨어지는 양도 — 위상 인자로 $m(x_f - x_i)^2/(2\hbar T)$ 를 갖는다. 즉 두 다리 — 디랙 대응이 만든 슈뢰딩거 방정식과 파인만의 경로 적분 — 가 같은 강 건너편 에서 만나는 한 지점 인 셈이다.

자유 입자 전파자의 완전한 모양 은 — 2차 변분의 가우스 적분까지 풀어내면

$$K_{\rm free}(x_f, t_f; x_i, t_i) = \sqrt{\frac{m}{2\pi i \hbar T}}\, \exp\!\left(\frac{i m (x_f - x_i)^2}{2\hbar T}\right)$$

가 된다. 앞의 진폭 인자 $\sqrt{m/(2\pi i\hbar T)}$ 가 반 블레크 행렬식 의 자유 입자 버전이다. 위상 은 우리가 손으로 푼 $S_{\rm cl}/\hbar = m(x_f - x_i)^2/(2\hbar T)$ 그대로. 학부 양자역학에서 이 식을 처음 봤을 때 어디서 왔는지 가 흐릿했다면 — 이제 경로 적분의 정류 위상 근사 가 그 출처 라는 사실이 분명해질 것이다.

헷갈리는 자리: 자유 입자 의 경우는 — 정류 위상 근사가 사실 정확한 결과 다. 즉 근사가 아니라 등호 다. 그 이유는 — 라그랑지안이 $\dot x$ 의 2차식 이라 작용도 경로의 2차 범함수 이고, 3차 이상의 항이 존재하지 않기 때문 이다. 그래서 2차까지 전개한 정류 위상 근사 가 정확한 답 을 준다. 마찬가지로 조화 진동자 도 2차 라그랑지안 이라 정류 위상 근사가 정확하다. 3차 이상의 항이 있는 비조화 진동자 부터 — 진짜 근사 가 시작된다.

이 두 다리 가 같은 자리에 도달한다는 사실의 의미 를 짚자. 해석역학 의 처방 — 작용 $S$ 를 정의하고, 그 변분 $\delta S = 0$ 으로 운동방정식을 떨어뜨린다 — 가 양자역학에서도 살아 있다. 단지 변분이 0인 경로 하나 가 아니라 모든 경로에 위상으로 들어가는 형태로 재구성 되어 있을 뿐이다. 그래서 학부에서 배운 라그랑지안과 작용 이 — 양자역학으로 올라가도 폐기되지 않고 오히려 더 근본적인 양으로 격상 된다. 이 사실이 — 해석역학을 끝까지 따라온 노력이 양자역학에서 보상받는 자리 다.

파이썬으로 확인

# 자유 입자 경로 적분: 무작위 경로의 위상 합이 고전 작용 근방으로 떨어지는지 본다.
# m = hbar = 1. 끝점 x_i = 0, x_f = 1, T = 1. 고전 작용 S_cl = 0.5.
import numpy as np

m, hbar = 1.0, 1.0
x_i, x_f, T = 0.0, 1.0, 1.0
N = 20                       # 시간 슬라이스 개수
dt = T / N
N_path = 5000                # 표본 경로 수
sigma = 0.5                  # 내부 점들의 가우스 표준편차
rng = np.random.default_rng(0)

# 각 경로: [x_i, x_1, ..., x_{N-1}, x_f]
interior = rng.normal(0.0, sigma, size=(N_path, N - 1))
left = np.full((N_path, 1), x_i)
right = np.full((N_path, 1), x_f)
paths = np.concatenate([left, interior, right], axis=1)

# 작용 S = sum_n (m/2) (x_{n+1} - x_n)^2 / dt
dx = np.diff(paths, axis=1)
S = 0.5 * m * np.sum(dx**2, axis=1) / dt

# 위상 합 sum_path exp(i S / hbar)
amp = np.sum(np.exp(1j * S / hbar).astype(np.complex128))
phase = np.angle(amp)
S_cl = m * (x_f - x_i)**2 / (2 * T)

print(f"고전 작용  S_cl       = {S_cl:.4f} rad")
print(f"표본 위상 arg(sum)    = {phase:.4f} rad")
print(f"차이                   = {phase - S_cl:.4f} rad")

코드를 한 줄씩 짚자. 상수 는 — $m = \hbar = 1$, 끝점 $x_i = 0, x_f = 1$, 총 시간 $T = 1$. 고전 작용 은 본론 3의 공식으로 $S_{\rm cl} = m(x_f - x_i)^2/(2T) = 0.5$ — 이 0.5 라디안 이 수치적으로 떨어져야 할 목표값 이다.

시간 슬라이스 는 — $[0, 1]$ 구간을 $N = 20$ 등분, 즉 $dt = 0.05$. 표본 경로 는 $N_{\rm path} = 5000$ 개를 생성한다. 각 경로는 21 개의 점 — 양 끝 두 점 (고정) + 내부 19 점 (무작위) — 으로 짜인다. 내부 점들 은 표준편차 $\sigma = 0.5$ 의 가우스 분포 에서 추출한다. 즉 경로의 평균 모양은 직선 근방 이지만 — 각 점이 가우스 잡음으로 흔들린 상태다. 모든 가능한 경로 를 정직하게 표본화한 것은 아니지만, 고전 경로 근방의 영역 을 충분히 덮는 대표 표본 이다.

작용 계산 은 — 시간 미분 $\dot x$ 의 이산 근사 인 $\Delta x/\Delta t$ 를 제곱해서 더하는 방식이다. 즉 $S = \sum_n (m/2)(x_{n+1} - x_n)^2/dt$ — 라그랑지안 $L = m\dot x^2/2$ 의 시간 적분 의 이산 근사. 각 경로마다 $S$ 값이 하나씩 떨어지고, 그 분포는 — 고전 경로 (= $S = 0.5$) 근방에 최소값 을 갖고, 멀어질수록 커지는 모양이 된다.

위상 합 — np.exp(1j * S / hbar) 가 각 경로의 위상 인자 $e^{iS/\hbar}$, np.sum 으로 모두 더한 양이 양자 진폭 의 수치 근사 다. np.angle 로 그 합의 위상 을 꺼낸다. 표본 측도가 정규화돼 있지 않으므로 합의 크기 는 의미가 없지만 — 위상 은 고전 작용 $S_{\rm cl} = 0.5$ 라디안 근방 에 떨어진다. 모든 경로를 다 더했는데도 그 합의 위상이 고전 경로 하나의 위상으로 모이는 것 이 — 정류 위상 논증의 가장 간결한 수치 증거 다.

결과 해석 을 한 줄 짚자. 5000개의 무작위 경로 — 고전 경로와는 완전히 다른 모양 의 경로들 — 의 위상을 전부 더해도, 그 합의 위상 은 고전 경로 하나의 위상 에 수렴 한다. 왜? 고전 경로에서 멀리 떨어진 경로들 의 위상이 자기 상쇄 하기 때문이다. 본론 3의 정류 위상 논증 이 — 추상적 식조작 이 아니라 격자 위에서 실제로 굴러간다 는 사실의 직접 확인이다. 그리고 이 사실이 — 왜 우리 일상이 고전 동역학으로 보이는지 의 수치적 근거다.

실험 변형 으로 한 가지 더 짚자. 코드를 $\hbar$ 를 키워서 (예: $\hbar = 10$) 다시 돌리면 — 위상 $S/\hbar$ 가 작아져서 자기 상쇄가 약해진다. 그 자리에서 표본 위상 arg(sum) 가 고전 작용 0.5 에서 멀리 벗어난다 — 즉 경로 적분이 고전 경로 하나로 모이지 않는 상태가 된다. 이게 양자 영역 의 직접 가시화다. 반대로 $\hbar$ 를 작게 ($\hbar = 0.01$) 잡으면 — 위상이 빨라져 자기 상쇄가 강해지고, 표본 위상이 고전 작용 근방으로 더 정확히 모인다. $\hbar$ 의 크기가 직접 양자/고전 영역의 경계를 결정 한다는 사실을 — 코드 한 줄 바꿔서 눈으로 확인 할 수 있다.

다음 장으로

10장: 다음 항해 — 어디로 나아갈 것인가 는 이 책의 닫는 장 이다. 디랙 대응과 경로 적분이라는 두 다리 를 건넌 뒤 — 독자가 향할 수 있는 길 을 한눈에 그려본다. 양자장론 으로 가는 길, 통계역학의 분할함수 와 만나는 길, 게이지 이론 으로 확장되는 길, 대칭의 자발적 깨짐 이 등장하는 자리 — 모두 이 장에서 짠 두 다리에서 자라나는 가지들이다. 그리고 이 책에서 의도적으로 다루지 않은 주제들 — 일반상대성, 비가환 기하학, 무한 자유도의 엄밀한 처리 — 에 대한 안내 지도 도 함께 제공한다. 해석역학 두 권을 따라온 독자가 다음에 어떤 책을 펼칠지 를 결정하는 데 — 그 장이 도움이 될 것이다.