경로적분: propagator를 ‘가능한 모든 역사’의 합으로 읽다

시간쪼개기와 완비성에서 Feynman 경로적분을 유도하고 자유입자 kernel과 고전경로 주변의 정상위상 근사를 계산합니다.

대학원 고급 양자역학 · Sakurai · PART 2 · 양자 동역학과 경로적분02 / 03

입자는 한 고전궤적을 몰래 선택하는 대신 시작점과 끝점을 잇는 모든 경로의 복소 진폭을 합하고, 작용이 빠르게 변하는 경로는 서로 상쇄됩니다.

‘모든 경로를 지난다’는 문장을 어떻게 실제 계산식으로 만들 수 있을까요?

이번 글의 답짧은 시간발전을 운동에너지와 위치에너지로 분리하고 매 시간절편마다 위치 완비성을 삽입합니다. 절편 수를 무한히 늘리면 각 경로에 e^{iS[x]/ℏ} 가중치를 주는 함수적 적분이 됩니다.

PH503 · Sakurai Ch.2 · 대학원 핵심

01propagator끝점 진폭

02시간쪼개기다중적분

03작용 위상e^{iS/ℏ}

04고전극한δS=0

$$ K(x_f,t_f;x_i,t_i)=\int_{x_i}^{x_f}\mathcal D x(t)\,e^{\frac{i}{\hbar}S[x]},\qquad S[x]=\int_{t_i}^{t_f}dt\left[\frac m2\dot x^2-V(x)\right] $$

propagator → 시간쪼개기 → 작용 위상 → 고전극한의 순서로 개념을 세우고 계산 결과가 실제 물리 현상을 설명하는지 확인합니다.

01직관부터 완전 전개 계산까지

SAKURAI, STEP BY STEP

경로적분: 기호를 외우기 전에 질문부터 세우기

경로적분은 Schrödinger 방정식과 동등하지만 고전역학의 작용 S를 양자진폭의 위상으로 직접 사용합니다. 이 표현에서는 대칭성, semiclassical limit, gauge phase가 투명해지고 양자장론으로 자연스럽게 확장됩니다. 다만 ‘실제 입자가 모든 경로를 물리적으로 달린다’고 해석하기보다 propagator를 계산하는 진폭 합의 규칙으로 이해하는 것이 안전합니다.

BEFORE YOU START

이 글을 읽기 전에 확인할 세 가지

시간발전 연산자

Lagrangian과 작용

전자기 퍼텐셜

CORE CONCEPT

작용

Lagrangian을 시간적분한 함수 S[x]이며 고전경로에서는 일차 변분 δS가 0입니다.

CORE CONCEPT

시간쪼개기

유한 시간발전을 매우 짧은 연산자의 곱으로 분해해 함수적분을 보통 다중적분의 극한으로 정의하는 절차입니다.

CORE CONCEPT

정상위상

ℏ가 작을 때 위상이 정지하는 경로 주변만 상쇄되지 않고 주로 기여한다는 점근 근사입니다.

CONCEPT ROUTE

관찰에서 식과 예측으로 가는 흐름

각 화살표는 단순한 목차가 아니라 다음 단계가 왜 필요한지를 보여줍니다.

01propagator

끝점 진폭

02시간쪼개기

다중적분

03작용 위상

e^{iS/ℏ}

04고전극한

δS=0

$$ K(x_f,t_f;x_i,t_i)=\int_{x_i}^{x_f}\mathcal D x(t)\,e^{\frac{i}{\hbar}S[x]},\qquad S[x]=\int_{t_i}^{t_f}dt\left[\frac m2\dot x^2-V(x)\right] $$

DERIVE THE EQUATION

핵심 식을 네 단계로 읽고 유도합니다

$$ K(x_f,t_f;x_i,t_i)=\int_{x_i}^{x_f}\mathcal D x(t)\,e^{\frac{i}{\hbar}S[x]},\qquad S[x]=\int_{t_i}^{t_f}dt\left[\frac m2\dot x^2-V(x)\right] $$

T=Nε로 두고 propagator를 N개의 짧은 시간발전 곱으로 쓴 다음 각 곱 사이에 I=∫dx_j|x_j⟩⟨x_j|를 삽입합니다.

운동량 완비성을 추가해 ⟨x_{j+1}|e^{-iεp²/2mℏ}|x_j⟩ Gaussian 적분을 계산합니다.

각 절편의 지수를 합하면 Σ_jε[m((x_{j+1}−x_j)/ε)²/2−V(x_j)]가 되어 이산화된 작용을 얻습니다.

N→∞에서 측도와 정규화 인자를 함께 정의하면 경로적분이 되고, x=x_cl+η로 놓아 δS=0 조건에서 Euler–Lagrange 방정식을 회수합니다.

THREE WORKED PROBLEMS

대입에서 끝내지 않고 결과의 뜻까지 확인합니다

각 예제는 식 세우기 → 계산 → 단위·극한 점검 → 물리적 해석의 순서로 읽으세요.

1차원 자유입자 propagator

$$ \begin{aligned}K_0&=\int\frac{dp}{2\pi\hbar}\exp\left[\frac{i}{\hbar}\left(p\Delta x-\frac{p^2T}{2m}\right)\right]\\&=\sqrt{\frac{m}{2\pi i\hbar T}}\exp\left[\frac{im(\Delta x)^2}{2\hbar T}\right]\end{aligned} $$

운동량 Gaussian 적분으로 정확히 계산됩니다. 지수의 m(Δx)²/2T는 두 끝점을 잇는 고전 직선경로의 작용이며 앞의 계수는 주변 양자요동의 기여입니다.

조성법칙으로 정규화 확인

$$ \begin{aligned}\int dx\,K_0(x_f,T_2;x,T_1)K_0(x,T_1;x_i,0)&=K_0(x_f,T_2;x_i,0)\\\lim_{T\to0^+}K_0(x_f,T;x_i,0)&=\delta(x_f-x_i)\end{aligned} $$

중간 위치를 모두 합하면 두 구간 propagator가 한 구간으로 합쳐져야 합니다. 이 조건과 T→0 극한이 함수적분 측도의 복잡한 정규화 계수를 고정합니다.

정상위상에서 고전방정식

$$ \begin{aligned}x(t)&=x_{\rm cl}(t)+\eta(t),\quad \eta(t_i)=\eta(t_f)=0\\\delta S&=\int dt\left[-m\ddot x_{\rm cl}-V'(x_{\rm cl})\right]\eta(t)=0\\m\ddot x_{\rm cl}&=-V'(x_{\rm cl})\end{aligned} $$

ℏ→0에서 S/ℏ 위상이 매우 빠르게 변하므로 δS≠0인 이웃 경로는 상쇄됩니다. 살아남는 중심 경로가 Newton 방정식을 만족해 고전극한이 나타납니다.

스스로 확인하기 · ‘모든 경로를 지난다’는 문장을 어떻게 실제 계산식으로 만들 수 있을까요?

짧은 시간발전을 운동에너지와 위치에너지로 분리하고 매 시간절편마다 위치 완비성을 삽입합니다. 절편 수를 무한히 늘리면 각 경로에 e^{iS[x]/ℏ} 가중치를 주는 함수적 적분이 됩니다.

02문제와 물리적 직관

먼저 구분할 세 가지 개념

작용 — Lagrangian을 시간적분한 함수 S[x]이며 고전경로에서는 일차 변분 δS가 0입니다.
시간쪼개기 — 유한 시간발전을 매우 짧은 연산자의 곱으로 분해해 함수적분을 보통 다중적분의 극한으로 정의하는 절차입니다.
정상위상 — ℏ가 작을 때 위상이 정지하는 경로 주변만 상쇄되지 않고 주로 기여한다는 점근 근사입니다.

03수학적 모형과 핵심 방정식

K(x_f,t_f;x_i,t_i)=⟨x_f|e^{-iH T/ℏ}|x_i⟩에서 T=Nε로 나눕니다. Trotter 공식 e^{-iε(T+V)/ℏ}=e^{-iεT/ℏ}e^{-iεV/ℏ}+O(ε²)과 N−1개의 위치 완비성을 삽입하면 보통적분의 곱을 얻고 N→∞ 극한에서 ∫Dx e^{iS/ℏ}가 됩니다.

$$ K(x_f,t_f;x_i,t_i)=\int_{x_i}^{x_f}\mathcal D x(t)\,e^{\frac{i}{\hbar}S[x]},\qquad S[x]=\int_{t_i}^{t_f}dt\left[\frac m2\dot x^2-V(x)\right] $$

각 경로의 크기 가중치는 같고 고전 작용이 만드는 위상 차이가 보강·상쇄 간섭을 결정합니다.

04유도와 계산 전략

공식은 외우는 대상이 아니라 가정과 정의에서 따라 나오는 결과입니다. 아래 순서를 따라 각 항의 출처와 계산 조건을 확인합니다.

식을 전개하는 네 단계

T=Nε로 두고 propagator를 N개의 짧은 시간발전 곱으로 쓴 다음 각 곱 사이에 I=∫dx_j|x_j⟩⟨x_j|를 삽입합니다.
운동량 완비성을 추가해 ⟨x_{j+1}|e^{-iεp²/2mℏ}|x_j⟩ Gaussian 적분을 계산합니다.
각 절편의 지수를 합하면 Σ_jε[m((x_{j+1}−x_j)/ε)²/2−V(x_j)]가 되어 이산화된 작용을 얻습니다.
N→∞에서 측도와 정규화 인자를 함께 정의하면 경로적분이 되고, x=x_cl+η로 놓아 δS=0 조건에서 Euler–Lagrange 방정식을 회수합니다.

05적용 범위·한계·다음 연결

실시간 경로적분은 진동적이어서 수학적 수렴과 수치 계산이 어렵습니다. t→−iτ Wick 회전을 하면 e^{-S_E/ℏ}가 되어 통계역학 및 Monte Carlo와 연결되지만, 다시 실시간 정보를 복원하는 analytic continuation은 ill-posed 문제입니다. 또한 연산자 순서에 따라 이산화 규약이 중요할 수 있습니다.

다음 과목과 연구로 이어지는 연결

전자기장 속 경로의 작용에는 qA·dx가 들어가 Aharonov–Bohm 위상을 만듭니다.
WKB와 instanton은 고전경로 또는 Euclidean saddle 주변의 경로적분 근사입니다.
격자 QCD와 양자 Monte Carlo는 Euclidean 경로적분을 유한 격자에서 계산합니다.

06이 글의 용어 사전

본문을 읽다가 “그래서 이 말이 정확히 뭐지?”라는 질문이 생기면 여기에서 다시 확인할 수 있습니다.

작용action: Lagrangian을 시간적분한 함수 S[x]이며 고전경로에서는 일차 변분 δS가 0입니다.
시간쪼개기time slicing: 유한 시간발전을 매우 짧은 연산자의 곱으로 분해해 함수적분을 보통 다중적분의 극한으로 정의하는 절차입니다.
정상위상stationary phase: ℏ가 작을 때 위상이 정지하는 경로 주변만 상쇄되지 않고 주로 기여한다는 점근 근사입니다.
생성자generator: 연속 변환을 무한소 수준에서 만들며 대응하는 보존량과 연결되는 Hermitian 연산자입니다.
표현representation: 추상 대칭 연산을 상태공간에서 작용하는 행렬이나 연산자로 구현한 것입니다.
propagator: 초기 상태가 주어진 시간 뒤 어떤 상태로 이동하는지를 나타내는 시간발전 kernel입니다.

07참고자료와 더 읽을거리

Sakurai & Napolitano, Modern Quantum Mechanics, 3rd ed. — 추상 형식, 동역학, 대칭성, 근사법, 산란과 상대론적 양자역학을 다루는 대학원 기준 교재입니다.
MIT OpenCourseWare, Quantum Theory I — Sakurai를 주교재로 Hilbert 공간, 합성계, 대칭성, 경로적분과 근사법을 전개합니다.
MIT OpenCourseWare, Quantum Theory II — 고급 산란, 동일입자와 상대론적 양자이론으로 이어지는 두 번째 대학원 과목입니다.
KAIST 물리학과 대학원 교과과정 — PH503·PH504 양자역학 I·II와 고체·통계·장론 과목 사이의 공식 연결을 확인합니다.

NEXT ADVANCED QUANTUM NOTE게이지 결합과 Aharonov–Bohm 효과: 장이 없는 곳에도 남는 위상 →