개념완성

공변적 맥스웰 방정식 (Covariant Maxwell Equations)

맥스웰 방정식의 재구성

고전 전자기학의 맥스웰 방정식 4개:

E=ρϵ0,×B1c2Et=μ0J\nabla \cdot \mathbf{E} = \frac{\rho}{\epsilon_0}, \quad \nabla \times \mathbf{B} - \frac{1}{c^2}\frac{\partial\mathbf{E}}{\partial t} = \mu_0\mathbf{J}

B=0,×E+Bt=0\nabla \cdot \mathbf{B} = 0, \quad \nabla \times \mathbf{E} + \frac{\partial\mathbf{B}}{\partial t} = 0

이 4개의 방정식을 텐서 표기법으로 단 2개의 방정식으로 압축할 수 있습니다.

비동차 맥스웰 방정식

정의5.6비동차 맥스웰 방정식 (공변적 형태)

가우스 법칙과 앙페르-맥스웰 법칙을 하나로 통합합니다:

μFμν=μ0Jν\boxed{\partial_\mu F^{\mu\nu} = \mu_0 J^\nu}

여기서 Jν=(cρ, J)J^\nu = (c\rho,\ \mathbf{J})는 **4-전류밀도(four-current density)**입니다.

ν\nu 값에 따른 방정식:

ν=0\nu = 0:

μFμ0=μ0J0=μ0cρ\partial_\mu F^{\mu 0} = \mu_0 J^0 = \mu_0 c\rho

iFi0=1cE=μ0cρ\partial_i F^{i0} = \frac{1}{c}\nabla \cdot \mathbf{E} = \mu_0 c\rho

E=ρϵ0(가우스 법칙)\nabla \cdot \mathbf{E} = \frac{\rho}{\epsilon_0} \quad \checkmark \quad \text{(가우스 법칙)}

ν=j\nu = j (공간 성분):

0F0j+iFij=μ0Jj\partial_0 F^{0j} + \partial_i F^{ij} = \mu_0 J^j

1c2Ejt+(×B)j=μ0Jj(앙페르-맥스웰 법칙)-\frac{1}{c^2}\frac{\partial E_j}{\partial t} + (\nabla \times \mathbf{B})_j = \mu_0 J_j \quad \checkmark \quad \text{(앙페르-맥스웰 법칙)}

동차 맥스웰 방정식

정의5.7동차 맥스웰 방정식 (공변적 형태)

가우스 자기 법칙과 패러데이 법칙을 하나로 통합합니다:

μF~μν=0\boxed{\partial_\mu \tilde{F}^{\mu\nu} = 0}

또는 동등하게 비안키 항등식(Bianchi identity):

λFμν+μFνλ+νFλμ=0\boxed{\partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} = 0}

ν\nu 값에 따른 방정식:

ν=0\nu = 0: iF~i0=B=0(가우스 자기 법칙)\partial_i \tilde{F}^{i0} = -\nabla \cdot \mathbf{B} = 0 \quad \checkmark \quad \text{(가우스 자기 법칙)}

ν=j\nu = j: 0F~0j+iF~ij=Bjt(×E)j=0(패러데이 법칙)\partial_0 \tilde{F}^{0j} + \partial_i \tilde{F}^{ij} = -\frac{\partial B_j}{\partial t} - (\nabla \times \mathbf{E})_j = 0 \quad \checkmark \quad \text{(패러데이 법칙)}

요약: 4개 → 2개

참고맥스웰 방정식의 텐서 형태 요약

| 3+1 형태 | 텐서 형태 | 유형 | |----------|-----------|------| | E=ρ/ϵ0\nabla \cdot \mathbf{E} = \rho/\epsilon_0 | μFμν=μ0Jν\partial_\mu F^{\mu\nu} = \mu_0 J^\nu | 비동차 | | ×B1c2Et=μ0J\nabla \times \mathbf{B} - \frac{1}{c^2}\frac{\partial\mathbf{E}}{\partial t} = \mu_0\mathbf{J} | (위와 같음) | 비동차 | | B=0\nabla \cdot \mathbf{B} = 0 | μF~μν=0\partial_\mu \tilde{F}^{\mu\nu} = 0 | 동차 | | ×E+Bt=0\nabla \times \mathbf{E} + \frac{\partial\mathbf{B}}{\partial t} = 0 | (위와 같음) | 동차 |

텐서 표기의 위력: 맥스웰 방정식이 로렌츠 공변적임이 자명합니다. 양변이 같은 텐서 형을 가지므로, 한 기준틀에서 성립하면 모든 기준틀에서 성립합니다.

연속 방정식

정의5.84-전류의 연속 방정식

비동차 맥스웰 방정식에 ν\partial_\nu를 적용하면:

νμFμν=μ0νJν\partial_\nu \partial_\mu F^{\mu\nu} = \mu_0 \partial_\nu J^\nu

좌변은 FμνF^{\mu\nu}의 반대칭성에 의해 0입니다 (νμ\partial_\nu\partial_\mu는 대칭, FμνF^{\mu\nu}는 반대칭):

μJμ=0\boxed{\partial_\mu J^\mu = 0}

이것은 전하 보존의 공변적 형태입니다:

ρt+J=0\frac{\partial\rho}{\partial t} + \nabla \cdot \mathbf{J} = 0

전하 보존은 맥스웰 방정식의 수학적 귀결이며, 별도의 가정이 필요하지 않습니다.

퍼텐셜에 의한 표현

정의5.9퍼텐셜 형태의 맥스웰 방정식

Fμν=μAννAμF^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu를 비동차 방정식에 대입하면:

μ(μAννAμ)=μ0Jν\partial_\mu(\partial^\mu A^\nu - \partial^\nu A^\mu) = \mu_0 J^\nu

Aνν(μAμ)=μ0Jν\Box A^\nu - \partial^\nu(\partial_\mu A^\mu) = \mu_0 J^\nu

로렌츠 게이지(Lorenz gauge) μAμ=0\partial_\mu A^\mu = 0을 택하면:

Aν=μ0Jν\boxed{\Box A^\nu = \mu_0 J^\nu}

각 성분이 독립적인 파동 방정식이 됩니다! 이것은 로렌츠 공변적인 파동 방정식으로, 전자기파의 존재를 자연스럽게 함의합니다.

동차 방정식 λFμν+cyclic=0\partial_\lambda F_{\mu\nu} + \text{cyclic} = 0Fμν=μAννAμF_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu의 형태에서 자동으로 만족됩니다 (비안키 항등식).

게이지 불변성

참고전자기 게이지 변환

4-퍼텐셜의 게이지 변환(gauge transformation):

AμAμ+μχA^\mu \to A^\mu + \partial^\mu \chi

여기서 χ(x)\chi(x)는 임의의 스칼라 함수입니다. 이 변환 하에서:

Fμν=μAννAμFμν+μνχνμχ=FμνF^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu \to F^{\mu\nu} + \partial^\mu\partial^\nu\chi - \partial^\nu\partial^\mu\chi = F^{\mu\nu}

전자기장 텐서 FμνF^{\mu\nu}는 게이지 불변입니다. 물리적 관측량은 AμA^\mu가 아니라 FμνF^{\mu\nu}에 의해 결정됩니다.

주요 게이지 선택:

  • 로렌츠 게이지: μAμ=0\partial_\mu A^\mu = 0 (로렌츠 공변)
  • 쿨롱 게이지: A=0\nabla \cdot \mathbf{A} = 0 (로렌츠 비공변, 비상대론적 문제에 편리)

에너지-운동량 텐서

정의5.10전자기장의 에너지-운동량 텐서

전자기장의 에너지-운동량 텐서(energy-momentum tensor):

Tμν=1μ0 ⁣(FμαFνα14ημνFαβFαβ)T^{\mu\nu} = \frac{1}{\mu_0}\!\left(F^{\mu\alpha}F^\nu{}_\alpha - \frac{1}{4}\eta^{\mu\nu}F_{\alpha\beta}F^{\alpha\beta}\right)

성분의 물리적 의미:

  • T00=12 ⁣(ϵ0E2+B2μ0)T^{00} = \frac{1}{2}\!\left(\epsilon_0 E^2 + \frac{B^2}{\mu_0}\right): 에너지 밀도 uu
  • T0i/c=1μ0(E×B)i/cT^{0i}/c = \frac{1}{\mu_0}(\mathbf{E} \times \mathbf{B})_i/c: 포인팅 벡터 S/c2\mathbf{S}/c^2 (운동량 밀도)
  • TijT^{ij}: 맥스웰 응력 텐서 σij\sigma_{ij}

보존 법칙:

μTμν=FναJα\partial_\mu T^{\mu\nu} = -F^{\nu\alpha}J_\alpha

원천이 없으면 (Jμ=0J^\mu = 0): μTμν=0\partial_\mu T^{\mu\nu} = 0 (에너지-운동량 보존)

예제평면 전자기파의 에너지-운동량

xx 방향으로 전파하는 평면 전자기파: E=E0cos(kxωt)y^\mathbf{E} = E_0 \cos(kx - \omega t)\,\hat{y}, B=(E0/c)cos(kxωt)z^\mathbf{B} = (E_0/c)\cos(kx - \omega t)\,\hat{z}

에너지 밀도: u=ϵ0E02cos2(kxωt)u = \epsilon_0 E_0^2 \cos^2(kx - \omega t)

운동량 밀도: g=S/c2=(u/c)x^\mathbf{g} = \mathbf{S}/c^2 = (u/c)\,\hat{x}

4-운동량 밀도: Pμ=(u/c, ux^/c)=(u/c)(1, x^)\mathcal{P}^\mu = (u/c,\ u\hat{x}/c) = (u/c)(1,\ \hat{x})

PμPμ=(u/c)2(11)=0\mathcal{P}^\mu \mathcal{P}_\mu = (u/c)^2(1 - 1) = 0: 빛꼴 벡터

이것은 광자의 4-운동량이 빛꼴(pμpμ=0p^\mu p_\mu = 0, 즉 m=0m = 0)인 것과 일치합니다.