상대론적 에너지관계에서 Klein–Gordon 식을 유도하고 Lorentz 공변성, 보존 current, 음에너지 해의 의미와 한계를 분석합니다.

대학원 고급 양자역학 · Sakurai · PART 6 · 상대론적 양자역학과 현대적 연결01 / 03

E²=p²c²+m²c⁴를 그대로 연산자로 바꾸면 시간에 대해 2계인 파동방정식과 ±에너지 branch가 동시에 나타납니다.

상대론적 에너지식을 양자화한 올바른 방정식이 왜 단일입자 확률해석에는 곧바로 맞지 않을까요?

이번 글의 답Klein–Gordon current의 시간성분은 양수로 제한되지 않아 확률밀도가 될 수 없습니다. 장의 전하밀도로 해석하고 음에너지 branch를 antiparticle 생성연산자로 재해석하는 양자장론에서 모순이 풀립니다.

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

SAKURAI, STEP BY STEP

Klein–Gordon 방정식: 기호를 외우기 전에 질문부터 세우기

비상대론적 Schrödinger 방정식은 시간은 1계, 공간은 2계 미분이라 Lorentz 대칭을 명시적으로 만족하지 않습니다. 상대론적 dispersion E²=p²c²+m²c⁴에 E→iℏ∂ₜ, p→−iℏ∇를 대입하면 Klein–Gordon 방정식을 얻습니다. 식 자체는 scalar particle에 적합한 Lorentz-covariant 방정식이지만, ψ를 단일입자의 확률파로 보면 음의 density와 pair creation 문제에 부딪힙니다.

BEFORE YOU START

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

01

특수상대론

02

Pauli 행렬과 spinor

03

전자기장과 gauge 대칭

CORE CONCEPT

Lorentz 공변성

관성계 변환 아래 방정식의 tensor 형태가 유지되어 모든 관성계가 같은 물리법칙을 사용하는 성질입니다.

CORE CONCEPT

Klein–Gordon current

복소 scalar field의 global U(1) 대칭에서 나오며 양·음 전하를 허용하는 보존 4-current입니다.

CORE CONCEPT

음에너지 branch

2차 상대론적 dispersion이 만드는 E=±√(p²c²+m²c⁴)의 두 해로 antiparticle 해석을 요구합니다.

CONCEPT ROUTE

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

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

01상대론 dispersion

E² 관계

02KG 방정식

Lorentz scalar

03보존 current

부호 비정

04장 해석

antiparticle

$$ \left(\Box+\frac{m^2c^2}{\hbar^2}\right)\phi=0,\qquad j^\mu=\frac{i\hbar}{2m}\left(\phi^*\partial^\mu\phi-\phi\partial^\mu\phi^*\right),\qquad \partial_\mu j^\mu=0 $$

DERIVE THE EQUATION

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

$$ \left(\Box+\frac{m^2c^2}{\hbar^2}\right)\phi=0,\qquad j^\mu=\frac{i\hbar}{2m}\left(\phi^*\partial^\mu\phi-\phi\partial^\mu\phi^*\right),\qquad \partial_\mu j^\mu=0 $$
01

E²=p²c²+m²c⁴에 양자 대응 E→iℏ∂ₜ, p→−iℏ∇를 적용해 −ℏ²∂ₜ²φ=−ℏ²c²∇²φ+m²c⁴φ를 얻습니다.

02

모든 항을 c²ℏ²로 나누고 □=c^{-2}∂ₜ²−∇²를 정의해 manifestly covariant 식으로 정리합니다.

03

방정식에 φ*를 곱한 식과 켤레식에 φ를 곱한 식을 빼고 곱미분으로 묶어 ∂_μj^μ=0을 얻습니다.

04

plane wave φ∝e^{-iEt/ℏ+ip·x/ℏ}를 대입하면 E=±√(p²c²+m²c⁴)이고 j⁰∝E|φ|²이므로 음에너지 해에서 부호가 바뀜을 확인합니다.

THREE WORKED PROBLEMS

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

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

01

plane wave의 dispersion과 current 부호

$$ \begin{aligned}\phi&=Ne^{-iEt/\hbar+i\boldsymbol p\cdot\boldsymbol x/\hbar}\\E^2&=p^2c^2+m^2c^4\\j^0&=\frac{E}{mc^2}|N|^2,\quad \boldsymbol j=\frac{\boldsymbol p}{m}|N|^2\end{aligned} $$

E<0 branch에서는 j⁰<0이므로 확률밀도로 부적합하지만 반대 전하를 가진 antiparticle density로는 자연스럽습니다.

02

비상대론적 극한

$$ \begin{aligned}\phi&=e^{-imc^2t/\hbar}\psi\\i\hbar\partial_t\psi&=-\frac{\hbar^2}{2m}\nabla^2\psi-\frac{\hbar^2}{2mc^2}\partial_t^2\psi\\|i\hbar\partial_t\psi|&\ll mc^2|\psi|\Rightarrow i\hbar\partial_t\psi\simeq-\frac{\hbar^2}{2m}\nabla^2\psi\end{aligned} $$

빠른 rest-energy 위상을 분리하고 작은 2계 시간미분을 버리면 Schrödinger 방정식이 회수됩니다. 비상대론 근사의 작은 매개변수는 kinetic energy/mc²입니다.

03

Compton 파장과 단일입자 한계

$$ \begin{aligned}\lambda_C&=\frac{\hbar}{mc}\\\Delta x\lesssim\lambda_C&\Rightarrow \Delta p\gtrsim mc\\\Delta E&\sim c\Delta p\gtrsim mc^2\end{aligned} $$

입자를 Compton 파장보다 좁게 국소화하려면 pair creation에 충분한 에너지 규모가 필요합니다. 고정 입자수 단일입자 이론이 실패하고 장의 양자화가 필요한 물리적 이유입니다.

스스로 확인하기 · 상대론적 에너지식을 양자화한 올바른 방정식이 왜 단일입자 확률해석에는 곧바로 맞지 않을까요?

Klein–Gordon current의 시간성분은 양수로 제한되지 않아 확률밀도가 될 수 없습니다. 장의 전하밀도로 해석하고 음에너지 branch를 antiparticle 생성연산자로 재해석하는 양자장론에서 모순이 풀립니다.

02문제와 물리적 직관

비상대론적 Schrödinger 방정식은 시간은 1계, 공간은 2계 미분이라 Lorentz 대칭을 명시적으로 만족하지 않습니다. 상대론적 dispersion E²=p²c²+m²c⁴에 E→iℏ∂ₜ, p→−iℏ∇를 대입하면 Klein–Gordon 방정식을 얻습니다. 식 자체는 scalar particle에 적합한 Lorentz-covariant 방정식이지만, ψ를 단일입자의 확률파로 보면 음의 density와 pair creation 문제에 부딪힙니다.

먼저 구분할 세 가지 개념
  • Lorentz 공변성 — 관성계 변환 아래 방정식의 tensor 형태가 유지되어 모든 관성계가 같은 물리법칙을 사용하는 성질입니다.
  • Klein–Gordon current — 복소 scalar field의 global U(1) 대칭에서 나오며 양·음 전하를 허용하는 보존 4-current입니다.
  • 음에너지 branch — 2차 상대론적 dispersion이 만드는 E=±√(p²c²+m²c⁴)의 두 해로 antiparticle 해석을 요구합니다.

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

metric (+,−,−,−)에서 (□+(mc/ℏ)²)φ=0이며 □=c^{-2}∂ₜ²−∇²입니다. global phase φ→e^{iα}φ에서 보존 current j^μ=(iℏ/2m)(φ*∂^μφ−φ∂^μφ*)가 나오지만 j⁰는 부호가 정해지지 않습니다. 복소 scalar field에서는 이를 확률이 아니라 U(1) 전하 current로 해석합니다.

$$ \left(\Box+\frac{m^2c^2}{\hbar^2}\right)\phi=0,\qquad j^\mu=\frac{i\hbar}{2m}\left(\phi^*\partial^\mu\phi-\phi\partial^\mu\phi^*\right),\qquad \partial_\mu j^\mu=0 $$
Klein–Gordon 식은 Lorentz 공변적이고 보존 current를 갖지만 그 density는 확률이 아니라 전하로 해석해야 합니다.

04유도와 계산 전략

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

식을 전개하는 네 단계
  • E²=p²c²+m²c⁴에 양자 대응 E→iℏ∂ₜ, p→−iℏ∇를 적용해 −ℏ²∂ₜ²φ=−ℏ²c²∇²φ+m²c⁴φ를 얻습니다.
  • 모든 항을 c²ℏ²로 나누고 □=c^{-2}∂ₜ²−∇²를 정의해 manifestly covariant 식으로 정리합니다.
  • 방정식에 φ*를 곱한 식과 켤레식에 φ를 곱한 식을 빼고 곱미분으로 묶어 ∂_μj^μ=0을 얻습니다.
  • plane wave φ∝e^{-iEt/ℏ+ip·x/ℏ}를 대입하면 E=±√(p²c²+m²c⁴)이고 j⁰∝E|φ|²이므로 음에너지 해에서 부호가 바뀜을 확인합니다.

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

Klein–Gordon 방정식 자체가 틀린 것은 아닙니다. spin-0 pion이나 Higgs 같은 scalar field의 고전 장방정식과 양자장의 mode equation으로 정확히 사용됩니다. 실패하는 것은 φ를 고정 입자수의 양수 확률진폭으로 해석하려는 시도입니다. 외부장이 너무 강해 pair creation이 가능하면 상대론적 단일입자 방정식만으로 충분하지 않습니다.

다음 과목과 연구로 이어지는 연결
  • 다음 글의 Dirac 방정식은 시간과 공간에 모두 1계인 식을 만들어 spin-1/2와 양의 density를 얻습니다.
  • charge conjugation과 2차 양자화는 ±에너지 mode를 particle·antiparticle 생성연산자로 재해석합니다.
  • phonon·magnon 같은 유효 bosonic field도 비슷한 장의 mode 전개와 propagator를 사용합니다.

06이 글의 용어 사전

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

Lorentz 공변성Lorentz covariance
관성계 변환 아래 방정식의 tensor 형태가 유지되어 모든 관성계가 같은 물리법칙을 사용하는 성질입니다.
Klein–Gordon currentKlein–Gordon current
복소 scalar field의 global U(1) 대칭에서 나오며 양·음 전하를 허용하는 보존 4-current입니다.
음에너지 branchnegative-energy branch
2차 상대론적 dispersion이 만드는 E=±√(p²c²+m²c⁴)의 두 해로 antiparticle 해석을 요구합니다.
생성자generator
연속 변환을 무한소 수준에서 만들며 대응하는 보존량과 연결되는 Hermitian 연산자입니다.
표현representation
추상 대칭 연산을 상태공간에서 작용하는 행렬이나 연산자로 구현한 것입니다.
propagator
초기 상태가 주어진 시간 뒤 어떤 상태로 이동하는지를 나타내는 시간발전 kernel입니다.

07참고자료와 더 읽을거리

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