수리물리학 (Mathematical Physics)

수리물리학(Mathematical Physics)은 물리학의 문제를 엄밀한 수학적 방법으로 정식화하고 해결하는 학문입니다. 뉴턴의 운동 법칙에서 시작하여 아인슈타인의 상대성이론, 양자역학, 그리고 현대 입자물리학에 이르기까지, 물리학의 모든 근본 이론은 수학적 구조 위에 세워져 있습니다.

선수 지식: 미적분학, 선형대수학, 미분방정식

난이도: ★★★★★ (대학원)

변분법 (Calculus of Variations)

변분법(Calculus of Variations)은 함수들의 집합에서 어떤 양(범함수)을 최대 또는 최소로 만드는 함수를 찾는 분야입니다. 보통의 미적분학이 "어떤 수를 최적화"한다면, 변분법은 "어떤 함수(경로, 곡선 등)를 최적화"합니다.

범함수의 정의

범함수(Functional)는 함수를 입력으로 받아 하나의 실수를 출력하는 대응입니다. 대표적인 범함수는 다음과 같습니다:

여기서 $F$는 라그랑지안(Lagrangian)이라 부르며, $y(x)$는 경계 조건 $y(a) = y_a$, $y(b) = y_b$를 만족하는 충분히 매끄러운 함수입니다.

오일러-라그랑주 방정식

범함수 $J[y]$를 극값으로 만드는 함수 $y(x)$는 오일러-라그랑주 방정식(Euler–Lagrange Equation)을 만족합니다:

예시: 최단 강하선 문제

최단 강하선(Brachistochrone) 문제는 중력장에서 두 점 사이를 가장 빠르게 미끄러져 내려가는 곡선을 찾는 것입니다. 시간 범함수는 다음과 같습니다:

오일러-라그랑주 방정식을 적용하면, 해는 사이클로이드(Cycloid)임이 밝혀집니다.

해밀턴 역학 (Hamiltonian Mechanics)

해밀턴 역학(Hamiltonian Mechanics)은 라그랑주 역학(Lagrangian Mechanics)을 르장드르 변환(Legendre Transform)으로 재정식화한 체계입니다. 위치 $q$와 운동량 $p$를 동등한 변수로 다루어, 물리계의 시간 발전을 1차 미분방정식 체계로 기술합니다.

정준 방정식

라그랑지안 $L(q, \dot{q}, t)$에서 일반화 운동량 $p = \frac{\partial L}{\partial \dot{q}}$를 정의하고, 해밀토니안(Hamiltonian)을 구성합니다:

해밀턴의 정준 방정식(Hamilton's Canonical Equations)은 다음과 같습니다:

심플렉틱 구조

해밀턴 역학의 기하학적 핵심은 심플렉틱 구조(Symplectic Structure)입니다. 위상 공간(Phase Space) $\mathbb{R}^{2n}$에 심플렉틱 형식(Symplectic Form)이 정의됩니다:

이 2-형식(2-form)은 닫혀 있고($d\omega = 0$) 비퇴화(Non-degenerate)입니다. 해밀턴 흐름은 이 심플렉틱 형식을 보존합니다 — 이것이 리우빌 정리(Liouville's Theorem)의 핵심으로, 위상 공간의 부피가 시간 발전에 의해 보존됨을 의미합니다.

푸아송 괄호

두 물리량 $f$, $g$에 대해 푸아송 괄호(Poisson Bracket)를 정의합니다:

정준 관계는 $\{q_i, p_j\} = \delta_{ij}$로 표현됩니다. 이 구조는 양자역학의 교환자 관계 $[\hat{q}, \hat{p}] = i\hbar$로 자연스럽게 이어집니다.

텐서 해석 (Tensor Analysis)

텐서(Tensor)는 좌표 변환에 대해 정해진 규칙에 따라 변환되는 다중선형 대상입니다. 스칼라(0차 텐서), 벡터(1차 텐서), 행렬(2차 텐서)의 일반화로 볼 수 있습니다.

텐서의 정의와 표기

$(r, s)$-형 텐서(Type $(r,s)$ Tensor)는 반변(Contravariant) 지표 $r$개와 공변(Covariant) 지표 $s$개를 가집니다:

아인슈타인 합산 규약(Einstein Summation Convention)에 의해 위·아래로 반복되는 지표에 대해서는 자동으로 합산합니다:

변환 법칙

좌표 변환 $x^\mu \to x'^\mu$에 대해 $(1,1)$-형 텐서는 다음과 같이 변환됩니다:

주요 연산

• 축약(Contraction): 위·아래 지표 한 쌍을 같게 놓고 합산합니다. 예: $T^{\mu}{}_{\mu}$ (텐서의 대각합).
• 텐서곱(Tensor Product): 두 텐서 $A^{\mu}$와 $B_{\nu}$의 곱 $A^{\mu} B_{\nu}$는 $(1,1)$-형 텐서입니다.
• 공변 미분(Covariant Derivative): 크리스토펠 기호 $\Gamma^{\lambda}_{\mu\nu}$를 이용합니다:

특수상대성이론의 수학

특수상대성이론(Special Relativity)의 수학적 무대는 민코프스키 공간(Minkowski Space) $\mathbb{R}^{1,3}$입니다.

민코프스키 계량

사건(Event) 사이의 "시공간 거리"를 재는 계량 텐서는 다음과 같습니다(부호 규약 $(-,+,+,+)$):

두 사건 사이의 시공간 간격(Spacetime Interval)은 다음과 같이 정의됩니다:

이 간격은 모든 관성 관측자에게 동일합니다 — 이것이 특수상대성이론의 핵심입니다.

로렌츠 변환

$x$-방향으로 속력 $v$로 움직이는 관측자의 좌표 변환은 다음과 같습니다:

여기서 로렌츠 인자(Lorentz Factor)는 $\gamma = \frac{1}{\sqrt{1 - v^2/c^2}}$입니다.

일반상대성이론의 수학

일반상대성이론(General Relativity)은 중력을 시공간의 곡률로 기술합니다. 수학적으로는 준리만 다양체(Pseudo-Riemannian Manifold) 위의 기하학입니다.

리만 곡률 텐서

리만 곡률 텐서(Riemann Curvature Tensor)는 공간의 곡률을 완전히 기술하는 $(1,3)$-형 텐서입니다:

이를 축약하면 리치 텐서(Ricci Tensor) $R_{\mu\nu} = R^{\lambda}{}_{\mu\lambda\nu}$와 리치 스칼라(Ricci Scalar) $R = g^{\mu\nu} R_{\mu\nu}$를 얻습니다.

아인슈타인 장방정식

중력의 근본 법칙인 아인슈타인 장방정식(Einstein Field Equations)은 시공간의 곡률과 물질·에너지의 분포를 연결합니다:

여기서 $G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2}R\, g_{\mu\nu}$는 아인슈타인 텐서, $\Lambda$는 우주상수(Cosmological Constant), $T_{\mu\nu}$는 에너지-운동량 텐서(Energy-Momentum Tensor)입니다.

슈바르츠실트 해

구대칭 진공($T_{\mu\nu} = 0$)에서 아인슈타인 장방정식의 가장 유명한 해인 슈바르츠실트 계량(Schwarzschild Metric)은 다음과 같습니다:

여기서 $r_s = \frac{2GM}{c^2}$는 슈바르츠실트 반지름(Schwarzschild Radius)이며, 이 반지름 내부가 블랙홀(Black Hole)의 사건의 지평선(Event Horizon)입니다.

양자역학의 수학적 구조

양자역학(Quantum Mechanics)의 수학적 틀은 힐베르트 공간(Hilbert Space) 위의 선형대수학입니다.

힐베르트 공간과 상태 벡터

양자 상태(Quantum State)는 힐베르트 공간 $\mathcal{H}$의 벡터로 표현됩니다. 디랙 표기법(Dirac Notation)에서:

• 켓(Ket): $|\psi\rangle \in \mathcal{H}$ — 상태 벡터
• 브라(Bra): $\langle\phi| \in \mathcal{H}^*$ — 켓의 쌍대 벡터
• 내적(Inner Product): $\langle\phi|\psi\rangle \in \mathbb{C}$ — 복소수 값

상태 벡터의 물리적 해석은 보른 규칙(Born Rule)에 의해 주어집니다: $|\langle\phi|\psi\rangle|^2$는 상태 $|\psi\rangle$에서 $|\phi\rangle$를 관측할 확률입니다.

작용소와 관측량

물리적 관측량(Observable)은 힐베르트 공간 위의 자기수반 작용소(Self-adjoint Operator, 에르미트 작용소)로 표현됩니다:

관측 결과는 해당 작용소의 고유값(Eigenvalue)이며, 관측 후 상태는 대응하는 고유벡터(Eigenvector)로 붕괴합니다:

기본적인 교환자 관계(Commutation Relation)는 다음과 같습니다:

이 관계에서 하이젠베르크 불확정성 원리(Heisenberg Uncertainty Principle)가 유도됩니다:

슈뢰딩거 방정식

슈뢰딩거 방정식(Schrödinger Equation)은 양자역학의 기본 운동 방정식으로, 양자 상태의 시간 발전을 기술합니다.

시간 의존 슈뢰딩거 방정식

여기서 $\hat{H}$는 해밀토니안 작용소(Hamiltonian Operator)입니다. 위치 표현에서 단일 입자의 경우:

시간 독립 슈뢰딩거 방정식

정상 상태(Stationary State)를 구하기 위해 $\psi(\mathbf{r}, t) = \phi(\mathbf{r})e^{-iEt/\hbar}$로 분리하면:

이것은 해밀토니안의 고유값 문제(Eigenvalue Problem)입니다. 에너지 고유값 $E$의 집합이 에너지 스펙트럼(Energy Spectrum)을 구성합니다.

예시: 1차원 조화 진동자

$V(x) = \frac{1}{2}m\omega^2 x^2$인 경우, 에너지 고유값은 다음과 같습니다:

바닥 상태($n=0$)에서도 영점 에너지(Zero-point Energy) $\frac{1}{2}\hbar\omega$가 존재합니다 — 이것은 불확정성 원리의 직접적 결과입니다.

디랙 방정식

디랙 방정식(Dirac Equation)은 특수상대성이론과 양자역학을 결합한 상대론적 파동 방정식입니다. 폴 디랙(Paul Dirac)이 1928년에 제안하였으며, 전자의 스핀과 반입자(반물질)의 존재를 자연스럽게 예측합니다.

디랙 방정식의 형태

자연 단위($\hbar = c = 1$)에서 디랙 방정식은 다음과 같습니다:

여기서 $\gamma^\mu$는 디랙 감마 행렬(Dirac Gamma Matrices)로, 다음의 반교환 관계(Clifford Algebra)를 만족합니다:

디랙 스피너(Dirac Spinor) $\psi$는 4성분 열벡터이며, 이 중 두 성분은 입자(전자)에, 나머지 두 성분은 반입자(양전자)에 대응합니다.

게이지 이론 (Gauge Theory)

게이지 이론(Gauge Theory)은 현대 입자물리학의 표준모형(Standard Model)을 떠받치는 수학적 틀입니다. 물리 법칙이 특정 게이지 대칭(Gauge Symmetry), 즉 국소적 변환에 대해 불변임을 요구하면, 상호작용의 형태가 자연스럽게 결정됩니다.

게이지 변환과 공변 미분

가장 단순한 예인 $U(1)$ 게이지 이론(전자기학)을 살펴봅시다. 파동 함수에 국소적 위상 변환을 가합니다:

보통의 미분 $\partial_\mu \psi$는 이 변환에 대해 공변하지 않습니다. 이를 해결하기 위해 게이지 장(Gauge Field) $A_\mu$를 도입하고 공변 미분(Covariant Derivative)을 정의합니다:

게이지 장은 $A_\mu \to A_\mu - \frac{1}{e}\partial_\mu \alpha$로 변환되어, $D_\mu \psi$가 $\psi$와 같은 방식으로 변환됩니다. 이 $A_\mu$가 바로 전자기장의 4-퍼텐셜(Four-potential)이며, 광자(Photon)에 해당합니다.

섬유다발의 관점

기하학적으로, 게이지 이론은 주섬유다발(Principal Fiber Bundle) 위의 접속(Connection)의 이론입니다:

• 밑공간(Base Space): 시공간 다양체 $M$
• 올(Fiber): 게이지 군(Gauge Group) $G$ (예: $U(1)$, $SU(2)$, $SU(3)$)
• 접속(Connection): 게이지 장 $A_\mu$ — 올 위에서의 "평행 이동"을 정의
• 곡률(Curvature): 장 강도 텐서(Field Strength Tensor) $F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + ie[A_\mu, A_\nu]$

양-밀즈 이론 (Yang–Mills Theory)

양-밀즈 이론(Yang–Mills Theory)은 비가환(Non-abelian) 게이지 이론의 일반적 형태입니다. 천닝 양(Chen-Ning Yang)과 로버트 밀즈(Robert Mills)가 1954년에 도입하였습니다.

양-밀즈 작용

게이지 군이 비가환일 때, 장 강도 텐서는 다음과 같습니다:

여기서 $f^{abc}$는 리 대수(Lie Algebra)의 구조 상수(Structure Constants)이고, $g$는 결합 상수(Coupling Constant)입니다. 양-밀즈 작용(Yang–Mills Action)은 다음과 같습니다:

양-밀즈 방정식

작용의 변분으로부터 운동 방정식이 유도됩니다:

맥스웰 방정식 $\partial_\mu F^{\mu\nu} = 0$과의 차이는, 비가환 게이지 장이 자기 자신과 상호작용한다는 점입니다. 이것이 글루온끼리의 상호작용(글루온 자기 결합)을 설명하며, 점근적 자유(Asymptotic Freedom)와 색 가둠(Color Confinement)의 근원입니다.

경로 적분 (Path Integral)

경로 적분(Path Integral)은 리처드 파인먼(Richard Feynman)이 1948년에 제안한 양자역학의 대안적 정식화입니다.

기본 아이디어

고전역학에서 입자는 작용을 극값으로 만드는 하나의 경로를 따릅니다. 양자역학에서는 가능한 모든 경로가 기여하며, 각 경로에 $e^{iS/\hbar}$라는 위상 인자(Phase Factor)가 붙습니다.

전파 함수

시간 $t_a$에 위치 $x_a$에서 시간 $t_b$에 위치 $x_b$로 갈 전파 함수(Propagator)는:

여기서 $\int \mathcal{D}[x(t)]$는 모든 가능한 경로에 대한 "함수 적분(Functional Integral)"입니다.

양자장론에서의 경로 적분

양자장론(Quantum Field Theory, QFT)에서는 입자의 경로 대신 장의 배위(Field Configuration)에 대해 적분합니다:

이 분배 함수(Partition Function) $Z$로부터 모든 물리량을 계산할 수 있습니다. 파인먼 다이어그램(Feynman Diagram)은 이 경로 적분의 섭동 전개(Perturbation Expansion)를 시각화한 것입니다.

끈 이론 (String Theory)의 수학적 기초

끈 이론(String Theory)은 기본 입자를 점이 아닌 1차원 끈(String)의 진동 모드로 해석합니다. 이 이론은 양자 중력(Quantum Gravity)의 가장 유력한 후보이며, 현대 수학과 깊은 관련을 맺고 있습니다.

끈의 작용

끈이 시공간에서 그리는 2차원 세계면(Worldsheet)의 넓이를 최소화하는 남부-고토 작용(Nambu–Goto Action)은 다음과 같습니다:

여기서 $T$는 끈의 장력(String Tension), $h_{\alpha\beta} = \partial_\alpha X^\mu \partial_\beta X_\mu$는 유도 계량(Induced Metric)입니다. 이와 동치인 폴랴코프 작용(Polyakov Action)은 다음과 같습니다:

끈 이론의 수학적 요구사항

끈 이론과 현대 수학

끈 이론은 수학의 여러 분야에 심대한 영향을 끼치고 있습니다:

• 거울 대칭(Mirror Symmetry): 서로 다른 칼라비-야우 다양체가 동일한 물리를 기술 — 대수기하학에 새로운 정리를 제공
• 위상적 장론(Topological Field Theory): 에드워드 위튼(Edward Witten)의 연구로 매듭 불변량, 4-다양체의 불변량과 연결
• 모듈라이 공간(Moduli Space): 끈의 산란 진폭은 리만 면(Riemann Surface)의 모듈라이 공간 위의 적분으로 표현
• 몬스트러스 문라이트(Monstrous Moonshine): 끈 이론이 유한 단순군과 모듈러 형식의 놀라운 연결을 설명

변분법 심화

앞에서 1차 변분과 오일러-라그랑주 방정식을 다루었습니다. 이 절에서는 2차 변분, 야코비 조건, 그리고 등주 문제를 통해 변분법의 보다 정교한 구조를 살펴봅니다.

2차 변분 (Second Variation)

1차 변분 $\delta J = 0$은 극값의 필요 조건(정류 조건)을 줍니다. 극값이 실제로 극소인지 극대인지를 판별하려면 2차 변분(Second Variation)을 분석해야 합니다. 범함수 $J[y]$에 대해 $y(x) + \varepsilon \eta(x)$를 대입하고 $\varepsilon$에 대해 두 번 미분하면:

여기서 $P(x) = F_{y'y'}$, $Q(x) = F_{yy} - \frac{d}{dx}F_{yy'}$입니다. 극소 조건은 $\delta^2 J \geq 0$이 모든 허용 변분 $\eta$에 대해 성립하는 것입니다.

르장드르 조건 (Legendre Condition)

2차 변분이 비음(非負)이 되기 위한 필요 조건은 다음과 같습니다:

이것을 르장드르 조건(Legendre Condition)이라 합니다. 엄격한 부등호($>$)가 성립하면 강화된 르장드르 조건(Strengthened Legendre Condition)이라 부릅니다.

야코비 조건 (Jacobi Condition)

르장드르 조건만으로는 극소의 충분 조건이 되지 않습니다. 추가로 야코비 방정식(Jacobi Equation)이라 불리는 2차 변분의 오일러-라그랑주 방정식을 고려해야 합니다:

이 방정식의 해 $u(x)$에서, $u(a) = 0$인 비자명 해가 구간 $(a, b)$ 내부에 영점(켤레점, Conjugate Point)을 갖지 않으면 야코비 조건이 만족됩니다. 강화된 르장드르 조건과 야코비 조건이 함께 성립하면, 약한 극소(Weak Minimum)의 충분 조건이 됩니다.

등주 문제 (Isoperimetric Problem)

등주 문제(Isoperimetric Problem)는 제약 조건이 있는 변분 문제입니다. 가장 고전적인 예는 "주어진 둘레 $L$을 가지는 닫힌 곡선 중 최대 넓이를 둘러싸는 곡선은 무엇인가?"입니다.

일반적인 형태: 범함수 $J[y] = \int_a^b F(x, y, y')\, dx$를 극값으로 만들되, 다음 제약 조건을 만족해야 합니다:

라그랑주 승수법(Lagrange Multiplier Method)을 적용하여 보조 범함수를 구성합니다:

이 보조 범함수에 대해 오일러-라그랑주 방정식을 적용하면:

이 방정식과 제약 조건 $K[y] = \ell$을 연립하여 미지 함수 $y(x)$와 승수 $\lambda$를 결정합니다.

해밀턴 역학 심화

앞에서 해밀턴의 정준 방정식과 심플렉틱 구조의 기초를 다루었습니다. 이 절에서는 정준변환, 해밀턴-야코비 방정식, 작용-각 변수를 통해 해밀턴 역학의 심층 구조를 탐구합니다.

정준변환 (Canonical Transformation)

정준변환(Canonical Transformation)은 위상 공간의 좌표 $(q, p) \to (Q, P)$를 변환하되, 해밀턴 방정식의 형태를 보존하는 변환입니다. 즉, 새로운 좌표에서도 어떤 해밀토니안 $K(Q, P, t)$에 대해 다음이 성립합니다:

정준변환은 생성 함수(Generating Function)로 기술됩니다. 4가지 유형이 있으며, 제1종 생성 함수 $F_1(q, Q, t)$의 경우:

제2종 생성 함수 $F_2(q, P, t)$는 다음과 같습니다:

해밀턴-야코비 방정식 (Hamilton–Jacobi Equation)

해밀턴-야코비 방정식(Hamilton–Jacobi Equation)은 해밀턴 역학을 풀기 위한 강력한 도구입니다. 핵심 아이디어는 "새로운 해밀토니안 $K$를 0으로 만드는 정준변환"을 찾는 것입니다.

제2종 생성 함수를 $S(q, P, t)$로 놓으면, $K = 0$ 조건에서 해밀턴-야코비 방정식이 됩니다:

이 1차 편미분방정식의 완전해(Complete Integral) $S(q, \alpha, t)$를 구하면, $n$개의 적분 상수 $\alpha_i$와 함께 운동이 완전히 결정됩니다:

여기서 $\alpha_i$, $\beta_i$는 초기 조건으로 결정되는 $2n$개의 상수입니다.

작용-각 변수 (Action-Angle Variables)

작용-각 변수(Action-Angle Variables)는 주기 운동을 하는 적분 가능한 계(Integrable System)에 대해 특히 강력한 도구입니다. 작용 변수 $J_i$와 각 변수 $\theta_i$를 다음과 같이 정의합니다:

여기서 적분은 위상 공간에서 $i$번째 자유도의 한 주기에 걸쳐 수행됩니다. 새로운 좌표 $(J, \theta)$에서 해밀토니안은 작용 변수에만 의존합니다:

이로부터 운동 방정식이 극히 단순해집니다:

즉, 작용 변수는 보존량이고 각 변수는 일정한 각진동수 $\omega_i$로 선형 증가합니다. 이 결과는 리우빌-아르놀트 정리(Liouville–Arnold Theorem)에 의해 보장됩니다.

심플렉틱 기하학 (Symplectic Geometry)

심플렉틱 기하학(Symplectic Geometry)은 해밀턴 역학의 기하학적 기반이며, 현대 수리물리학과 순수 수학 모두에서 핵심적인 역할을 합니다.

심플렉틱 다양체 (Symplectic Manifold)

심플렉틱 다양체(Symplectic Manifold)는 짝수 차원 매끄러운 다양체 $(M^{2n}, \omega)$로, 다음 조건을 만족하는 2-형식 $\omega$가 부여된 것입니다:

• 닫힘(Closed): $d\omega = 0$
• 비퇴화(Non-degenerate): $\omega^n = \omega \wedge \cdots \wedge \omega \neq 0$ (부피 형식)

가장 기본적인 예는 $\mathbb{R}^{2n}$에 표준 심플렉틱 형식 $\omega_0 = \sum_{i=1}^n dp_i \wedge dq_i$를 부여한 것이며, 이는 고전역학의 위상 공간에 해당합니다.

다르부 정리 (Darboux's Theorem)

다르부 정리(Darboux's Theorem)는 심플렉틱 기하학의 근본 정리입니다:

해밀턴 벡터장

함수 $H: M \to \mathbb{R}$가 주어지면, 심플렉틱 형식의 비퇴화 조건을 이용하여 해밀턴 벡터장(Hamiltonian Vector Field) $X_H$를 유일하게 정의할 수 있습니다:

표준 좌표에서 이는 정확히 해밀턴의 정준 방정식을 재현합니다:

리우빌 정리 (Liouville's Theorem)

리우빌 정리(Liouville's Theorem)는 해밀턴 역학의 핵심 보존 법칙입니다:

여기서 $\mathcal{L}_{X_H}$는 해밀턴 벡터장에 의한 리 미분입니다. 물리적으로, 위상 공간의 부피 $\omega^n$이 해밀턴 흐름에 의해 보존됩니다. 통계역학에서 이 정리는 앙상블의 밀도가 위상 공간에서 비압축성 유체처럼 흐른다는 것을 의미합니다.

텐서 해석 심화

앞에서 텐서의 기본 정의와 변환 법칙을 다루었습니다. 이 절에서는 공변·반변 지표의 물리적 의미, 크리스토펠 기호의 기하학적 해석, 그리고 측지선 방정식을 심도 있게 다룹니다.

공변 텐서와 반변 텐서

반변 벡터(Contravariant Vector) $V^\mu$는 좌표 변환 $x^\mu \to x'^\mu$에 대해 다음과 같이 변환됩니다:

공변 벡터(Covariant Vector, 1-형식) $\omega_\mu$는 반대 방향으로 변환됩니다:

계량 텐서 $g_{\mu\nu}$는 지표를 올리고 내리는 역할을 합니다:

크리스토펠 기호의 기하학적 해석

크리스토펠 기호 $\Gamma^{\lambda}_{\mu\nu}$는 곡선 좌표계에서 기저 벡터의 변화율을 나타냅니다:

이를 이용하여 벡터의 공변 미분(Covariant Derivative)은 다음과 같이 정의됩니다:

일반 $(r,s)$-형 텐서에 대한 공변 미분은 각 반변 지표에 $+\Gamma$ 항을, 각 공변 지표에 $-\Gamma$ 항을 추가합니다.

평행 이동과 측지선 방정식

곡선 $x^\mu(\lambda)$를 따라 벡터 $V^\mu$를 평행 이동(Parallel Transport)하는 조건은:

곡선의 접선 벡터 자체가 평행 이동되는 곡선, 즉 "가장 곧은 곡선"이 측지선(Geodesic)입니다:

일반상대성이론에서 측지선 방정식은 자유 낙하하는 물체의 운동 방정식입니다. 중력은 힘이 아니라 시공간의 곡률에 의한 측지선 운동으로 기술됩니다.

일반상대성이론 심화

앞에서 아인슈타인 장방정식과 슈바르츠실트 해의 기본 형태를 다루었습니다. 이 절에서는 슈바르츠실트 블랙홀의 물리적 구조, 커 해(회전 블랙홀), 그리고 블랙홀의 열역학을 살펴봅니다.

슈바르츠실트 블랙홀의 구조

슈바르츠실트 해의 계량 $ds^2 = -(1 - r_s/r)\,c^2 dt^2 + (1 - r_s/r)^{-1} dr^2 + r^2 d\Omega^2$에서 핵심 특성을 분석합니다:

• 사건의 지평선(Event Horizon): $r = r_s$에서 $g_{tt} = 0$이 됩니다. 이 표면 밖으로는 어떤 신호도 탈출할 수 없습니다.
• 특이점(Singularity): $r = 0$에서 크레치만 스칼라 $R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} = 48G^2M^2/(c^4r^6)$가 발산합니다. 이것은 좌표 특이점이 아닌 진짜 물리적 특이점입니다.
• 좌표 특이점의 제거: $r = r_s$에서의 발산은 에딩턴-핀켈스타인 좌표(Eddington–Finkelstein Coordinates)로 변환하면 사라지며, 이는 좌표 선택에 의한 인위적 특이점임을 보여줍니다.

커 해 (Kerr Solution)

회전하는 블랙홀은 커 계량(Kerr Metric)으로 기술됩니다. 보이어-린드퀴스트 좌표(Boyer–Lindquist Coordinates)에서:

여기서 $a = J/(Mc)$는 단위 질량당 각운동량, $\Sigma = r^2 + a^2\cos^2\theta$, $\Delta = r^2 - r_s r + a^2$입니다.

커 블랙홀의 독특한 특징:

• 두 개의 지평선: $\Delta = 0$의 해로 외부 지평선 $r_+ = \frac{r_s}{2} + \sqrt{\left(\frac{r_s}{2}\right)^2 - a^2}$와 내부 지평선 $r_-$가 존재합니다.
• 에르고스피어(Ergosphere): $r_+ < r < r_E(\theta)$인 영역으로, 여기서 $r_E = \frac{r_s}{2} + \sqrt{\left(\frac{r_s}{2}\right)^2 - a^2\cos^2\theta}$입니다. 에르고스피어 내부에서는 정지 상태가 불가능하며, 모든 관측자는 블랙홀의 회전 방향으로 끌려갑니다(틀 끌림, Frame Dragging).
• 펜로즈 과정(Penrose Process): 에르고스피어에서 블랙홀의 회전 에너지를 추출할 수 있습니다.

블랙홀 열역학

블랙홀은 열역학과 유사한 법칙을 따릅니다. 블랙홀 열역학 법칙은 다음과 같습니다:

스티븐 호킹(Stephen Hawking)은 양자효과를 고려하면 블랙홀이 호킹 복사(Hawking Radiation)를 방출하며, 온도가 다음과 같음을 보였습니다:

이로부터 베켄스타인-호킹 엔트로피(Bekenstein–Hawking Entropy)가 유도됩니다:

블랙홀의 엔트로피가 부피가 아닌 표면적에 비례한다는 이 결과는, 홀로그래피 원리(Holographic Principle)의 첫 번째 증거입니다.

양자역학 심화

앞에서 힐베르트 공간, 작용소, 보른 규칙의 기본 구조를 다루었습니다. 이 절에서는 관측량의 스펙트럼 이론과 불확정성 원리의 엄밀한 증명을 다룹니다.

관측량의 스펙트럼

자기수반 작용소 $\hat{A}$의 스펙트럼(Spectrum) $\sigma(\hat{A})$은 $(\hat{A} - \lambda I)^{-1}$이 존재하지 않는 $\lambda$의 집합입니다. 스펙트럼은 두 종류로 나뉩니다:

• 이산 스펙트럼(Discrete/Point Spectrum): 고유값 방정식 $\hat{A}|\psi\rangle = a|\psi\rangle$의 정규화 가능한 해가 존재하는 $a$ 값들. 예: 수소 원자의 속박 상태 에너지 $E_n = -13.6/n^2$ eV.
• 연속 스펙트럼(Continuous Spectrum): 정규화 가능한 고유벡터가 없지만 일반화된 고유벡터(디랙 델타 정규화)가 존재하는 영역. 예: 자유 입자의 운동량 $p \in \mathbb{R}$.

스펙트럼 정리(Spectral Theorem)에 의하면, 자기수반 작용소 $\hat{A}$는 스펙트럼 측도(Spectral Measure) $E(\lambda)$를 이용하여 다음과 같이 분해됩니다:

이산 스펙트럼의 경우 이는 익숙한 형태가 됩니다:

불확정성 원리의 일반적 증명

임의의 두 관측량 $\hat{A}$, $\hat{B}$에 대해 로버트슨 불확정성 관계(Robertson Uncertainty Relation)를 증명합니다:

에렌페스트 정리 (Ehrenfest Theorem)

에렌페스트 정리(Ehrenfest Theorem)는 양자역학에서 기대값의 시간 발전이 고전역학의 운동 방정식을 따름을 보여줍니다:

특히 $\hat{A} = \hat{x}$, $\hat{A} = \hat{p}$를 대입하면:

이것은 푸아송 괄호의 양자역학적 대응물이며, 고전 극한($\hbar \to 0$)에서 뉴턴의 운동 법칙으로 환원됩니다.

양자장론 기초 (Quantum Field Theory)

양자장론(Quantum Field Theory, QFT)은 양자역학과 특수상대성이론을 결합한 이론 틀입니다. 입자는 시공간 전체에 정의된 양자화된 장(Quantized Field)의 들뜬 상태로 해석됩니다.

클라인-고든 방정식 (Klein–Gordon Equation)

스핀 0 입자(스칼라 장)를 기술하는 클라인-고든 방정식은 상대론적 에너지-운동량 관계 $E^2 = p^2c^2 + m^2c^4$를 양자화하여 얻습니다:

여기서 $\Box = -\frac{1}{c^2}\frac{\partial^2}{\partial t^2} + \nabla^2$은 달랑베르시안(d'Alembertian)입니다. 자연 단위($\hbar = c = 1$)에서:

스칼라 장의 양자화

자유 스칼라 장을 푸리에 전개하고 생성·소멸 작용소를 도입합니다:

여기서 $\omega_{\mathbf{p}} = \sqrt{|\mathbf{p}|^2 + m^2}$이고, 교환 관계는 다음과 같습니다:

정규화 (Renormalization)

양자장론의 섭동 계산에서는 발산(Divergence)이 나타납니다. 예를 들어 자기에너지(Self-energy) 파인먼 다이어그램의 루프 적분:

는 자외선 차단(UV Cutoff) $\Lambda \to \infty$에서 발산합니다.

정규화(Renormalization)는 이 발산을 체계적으로 처리하는 절차입니다:

1. 조절(Regularization): 차원 조절(Dimensional Regularization) 등을 통해 발산을 유한한 매개변수로 표현합니다. 시공간 차원을 $d = 4 - \varepsilon$으로 확장합니다.
2. 상쇄항(Counterterm): 라그랑지안에 상쇄항을 추가하여 발산을 흡수합니다.
3. 재정의: 물리적 관측량(질량, 결합 상수 등)을 재정의하여 유한한 예측을 도출합니다.

게이지 이론 심화

앞에서 게이지 이론과 양-밀즈 이론의 기본 구조를 다루었습니다. 이 절에서는 양-밀즈 방정식의 심층 구조와 인스턴톤(Instanton)을 다룹니다.

양-밀즈 방정식과 비앙키 항등식

양-밀즈 장 강도 텐서 $F_{\mu\nu} = F_{\mu\nu}^a T^a$에 대해 두 가지 기본 방정식이 있습니다:

• 양-밀즈 방정식(운동 방정식): $D_\mu F^{\mu\nu} = J^\nu$
• 비앙키 항등식(Bianchi Identity): $D_\mu \tilde{F}^{\mu\nu} = 0$, 여기서 $\tilde{F}^{\mu\nu} = \frac{1}{2}\varepsilon^{\mu\nu\rho\sigma}F_{\rho\sigma}$는 쌍대 장 강도 텐서

이 구조는 맥스웰 방정식의 비가환 일반화입니다: $\partial_\mu F^{\mu\nu} = J^\nu$와 $\partial_\mu \tilde{F}^{\mu\nu} = 0$.

위상적 전하와 폰트랴긴 지표

양-밀즈 이론에는 위상적 전하(Topological Charge)라 불리는 정수값 불변량이 존재합니다:

이 값은 게이지 장 배위의 위상적 분류를 나타내며, 사영 $\pi_3(G)$의 원소에 대응합니다. $G = SU(2)$인 경우 $\pi_3(SU(2)) = \mathbb{Z}$이므로, 위상적 전하는 정수입니다.

인스턴톤 (Instanton)

인스턴톤(Instanton)은 유클리드 4차원 공간에서 양-밀즈 작용을 최소화하는 비자명한 해입니다. 자기쌍대(Self-dual) 또는 반자기쌍대(Anti-self-dual) 조건을 만족합니다:

이 조건이 만족되면 양-밀즈 방정식이 자동으로 성립하며, 작용은 위상적 전하에 의해 하한이 정해집니다:

등호는 (반)자기쌍대 조건에서 성립합니다.

$SU(2)$ 게이지 이론에서 $Q = 1$인 BPST 인스턴톤(Belavin–Polyakov–Schwarz–Tyupkin, 1975)의 명시적 해는:

여기서 $\rho$는 인스턴톤의 크기, $x_0$는 중심 위치, $\bar{\eta}^a_{\mu\nu}$는 'tHooft 기호입니다.

위상적 양자장론 개요 (Topological QFT)

위상적 양자장론(Topological Quantum Field Theory, TQFT)은 시공간의 계량에 의존하지 않고 오직 위상적 성질에만 의존하는 양자장론입니다. 에드워드 위튼(Edward Witten)과 마이클 아티야(Michael Atiyah)에 의해 체계화되었습니다.

아티야의 TQFT 공리

아티야(1988)는 TQFT를 다음과 같은 함자(Functor)로 공리화하였습니다:

• $(n-1)$-차원 닫힌 다양체 $\Sigma$에 유한 차원 벡터 공간 $Z(\Sigma)$를 대응시킵니다.
• $n$-차원 코보디즘(Cobordism) $M$: $\Sigma_1 \to \Sigma_2$에 선형 사상 $Z(M): Z(\Sigma_1) \to Z(\Sigma_2)$를 대응시킵니다.
• 합성(Composition)을 보존합니다: 코보디즘 $M_1$과 $M_2$를 접합하면 $Z(M_2 \circ M_1) = Z(M_2) \circ Z(M_1)$.
• 비연결합(Disjoint Union)은 텐서곱에 대응합니다: $Z(\Sigma_1 \sqcup \Sigma_2) = Z(\Sigma_1) \otimes Z(\Sigma_2)$.

체른-사이먼스 이론 (Chern–Simons Theory)

3차원에서 가장 중요한 TQFT는 체른-사이먼스 이론(Chern–Simons Theory)입니다. 3차원 다양체 $M^3$ 위의 체른-사이먼스 작용은:

여기서 $k \in \mathbb{Z}$는 레벨(Level)이라 불리는 정수 매개변수입니다.

위튼(1989)은 체른-사이먼스 이론의 경로 적분으로부터 존스 다항식(Jones Polynomial) 등 매듭 불변량을 유도하였습니다. 이 업적은 수학과 물리학의 경계에서 이루어진 가장 놀라운 연결 중 하나이며, 위튼은 이를 포함한 연구로 1990년 필즈 메달을 수상하였습니다.

초끈이론 심화

앞에서 끈 이론의 기본 작용(남부-고토, 폴랴코프)과 여분 차원의 필요성을 다루었습니다. 이 절에서는 보손 끈, 초끈, 그리고 M-이론을 보다 심도 있게 탐구합니다.

보손 끈 이론 (Bosonic String Theory)

보손 끈 이론은 가장 단순한 끈 이론으로, 세계면(Worldsheet) 위의 2차원 공형장론(Conformal Field Theory, CFT)으로 기술됩니다.

진동 모드와 질량 스펙트럼: 닫힌 보손 끈의 질량 공식은 다음과 같습니다:

여기서 $\alpha' = 1/(2\pi T)$는 레지 기울기(Regge Slope), $N$과 $\tilde{N}$는 좌측·우측 진동 모드의 수준 번호이며, $N = \tilde{N}$ (수준 매칭 조건)을 만족해야 합니다.

바닥 상태($N = \tilde{N} = 0$)는 $M^2 = -4/\alpha' < 0$으로 타키온(Tachyon)입니다. 이는 진공이 불안정함을 의미하며, 보손 끈 이론의 심각한 문제점입니다.

임계 차원: 바이소로-샤피로(Virasoro–Shapiro) 대수의 이상(Anomaly)이 소멸하려면 시공간 차원이 $D = 26$이어야 합니다. 이를 공형 이상 소거(Conformal Anomaly Cancellation)라 합니다.

초끈 이론 (Superstring Theory)

초끈 이론(Superstring Theory)은 세계면에 초대칭(Supersymmetry)을 도입하여 보손 끈의 문제점을 해결합니다:

• 타키온이 제거됩니다(GSO 사영).
• 임계 차원이 $D = 10$으로 줄어듭니다.
• 페르미온(물질 입자)이 자연스럽게 포함됩니다.

5가지 일관된 초끈 이론이 존재합니다:

M-이론 (M-Theory)

1995년 에드워드 위튼은 5가지 초끈 이론이 모두 11차원의 단일 이론의 서로 다른 극한임을 제안하였습니다. 이 통합 이론을 M-이론(M-Theory)이라 합니다.

M-이론의 핵심 관계들:

• T-이중성(T-duality): 반지름 $R$로 컴팩트화된 Type IIA는 반지름 $\alpha'/R$의 Type IIB와 동치입니다.
• S-이중성(S-duality): 결합 상수 $g_s$의 Type IIB는 $1/g_s$의 Type IIB와 동치입니다.
• 11차원 초중력(11D Supergravity): M-이론의 저에너지 극한은 11차원 초중력 이론입니다.

M-이론의 기본 대상은 1차원 끈이 아니라 2차원 막(M2-brane)과 5차원 막(M5-brane)입니다:

여기서 $C_3$는 11차원 초중력의 3-형식 게이지 장입니다.

수리물리학의 통합적 관점

이 페이지에서 다룬 주제들은 서로 깊이 연결되어 있습니다:

참고 문헌 및 관련 페이지

• Arnol'd, V. I. — Mathematical Methods of Classical Mechanics, Springer
• Wald, R. M. — General Relativity, University of Chicago Press
• Sakurai, J. J. — Modern Quantum Mechanics, Cambridge University Press
• Nakahara, M. — Geometry, Topology and Physics, CRC Press
• Polchinski, J. — String Theory (Vols. 1 & 2), Cambridge University Press
• Weinberg, S. — The Quantum Theory of Fields (Vols. 1–3), Cambridge University Press
• 뉴턴의 프린키피아 — 고전역학이 처음 체계화된 출발점
• 미적분학 — 변분법의 기초
• 선형대수학 — 텐서, 힐베르트 공간의 기초
• 양자컴퓨팅의 수학 — 유한 차원 힐베르트 공간에서 계산이 어떻게 이루어지는지 정리
• 미분방정식 — 슈뢰딩거 방정식 등의 풀이 기법
• 위상수학 — 섬유다발, 위상적 장론의 기초
• 해석학 — 함수 해석, 힐베르트 공간의 엄밀한 이론
• 기하학 — 리만 기하학, 미분기하학
• 추상대수학 — 리 군, 리 대수, 표현론