{{위키데이터 속성 추적}}
[[파일:Gravitation_space_source.svg|섬네일|200x200픽셀| 유도된 시공간 곡률]]
[[물리학]]에서 '''휘어진 시공간의 맥스웰 방정식'''({{llang|en|Maxwell's equations in curved spacetime}})은 휘어진 시공([[민코프스키 공간|민코프스키 계량]]이 아닐 수 있는 일반적 시공)에서 [[전자기장]]의 역학을 지배한다. 이러한 방정식은 일반적으로 [[민코프스키 공간|평평한 시공간]]의 국소 좌표로 공식화되는 진공에서 [[맥스웰 방정식]]의 일반화로 볼 수 있다. 그러나 [[일반 상대성이론]]에서 전자기장(또는 일반적으로 [[에너지]]/[[물질]])이 존재하면 시공간의 곡률을 야기하기 때문에,<ref>{{저널 인용|제목=The significance of curvature in general relativity|저널=General Relativity and Gravitation|성=Hall|이름=G. S.|연도=1984|권=16|호=5|쪽=495–500|bibcode=1984GReGr..16..495H|doi=10.1007/BF00762342}}</ref> 평평한 시공간에서의 맥스웰 방정식은 편리한 근사로 보아야 한다.

벌크 물질이 있는 상태에서 작업할 때 자유 전하와 속박 전하를 구별하면 분석을 용이하게 할 수 있다. 이러한 구분이 이루어지면 거시적 맥스웰 방정식이라고 한다. 이러한 구분이 없으면 거시적 맥스웰 방정식에 대조하여 "미시적" 맥스웰 방정식이라고도 한다.

전자기장은 좌표 독립적인 기하학적 설명을 허용하며 이러한 기하학적 객체로 표현된 맥스웰 방정식은 곡선이든 아니든 모든 시공간에서 동일하다. 또한 직선이 아닌 국소 좌표계를 사용할 때 [[민코프스키 공간]]의 방정식에 동일한 수정이 이루어진다. 예를 들어, 이 글의 방정식을 사용하여 [[구면좌표계]]로 맥스웰 방정식을 작성할 수 있다. 이러한 이유로 민코프스키 공간에서 맥스웰 방정식을 일반 공식화의 특수한 경우로 생각하는 것이 유용할 수 있다.

== 요약 ==
[[일반 상대성이론]]에서 계량 텐서 <math>g_{\alpha\beta}</math>는 더 이상 상수가 아니고 공간과 시각에 따라 달라질 수 있다. 진공에서 전자기 방정식은

: <math>\begin{align}
 F_{\alpha \beta} &= \partial_\alpha A_\beta - \partial_\beta A_\alpha, \\
 \mathcal{D}^{\mu\nu} &= \frac{1}{\mu_0} \, g^{\mu\alpha} \, F_{\alpha\beta} \, g^{\beta\nu} \, \frac{\sqrt{-g}}{c}, \\
 J^\mu &= \partial_\nu \mathcal{D}^{\mu\nu}, \\
 f_\mu &= F_{\mu\nu} \, J^\nu
\end{align}</math>

이며, 여기서 <math>f_\mu</math>는 [[로런츠 힘]]의 밀도, <math>g^{\alpha\beta}</math>는 계량 텐서 <math>g_{\alpha\beta}</math>의 역이다. 그리고 <math>g</math>는 계량 텐서의 [[행렬식]]이다. <math>A_\alpha</math>와 <math>F_{\alpha\beta}</math>는 일반적 텐서인 반면 <math>\mathcal{D}^{\mu\nu}</math>, <math>J^\nu</math>,  <math>f_\mu</math>는 가중치 +1의 텐서 밀도임을 주의하라. [[편미분|편도함수]]가 포함되어 있음에도, 이러한 방정식은 임의의 휘어진 좌표 변환에 대해서 변하지 않는다. 따라서 편도함수를 공변 도함수로 대체하면 그에 따라 도입된 추가 항이 사라진다.

== 전자기 퍼텐셜 ==
[[전자기 퍼텐셜]]은 전자기학의 특정되지 않은 근원인 공변량 벡터 ''<math>A_{\alpha}</math>''이다. 이는 공변 벡터이기 때문에 다음과 같이 한 좌표계에서 다른 좌표계로 변환된다.

: <math>\bar{A}_\beta(\bar{x}) = \frac{\partial x^\gamma}{\partial \bar{x}^\beta} A_\gamma(x).</math>

== 전자기장 ==
[[전자기장 텐서|전자기장]]은 차수 2의 공변 [[반대칭 텐서]]이며, 다음과 같이 전위로 정의할 수 있다:<math display="block">F_{\alpha\beta} = \partial_\alpha A_\beta - \partial_\beta A_\alpha. </math>이 방정식이 불변임을 확인하기 위해 [[텐서|텐서의 고전적 처리]]에 설명된 대로 좌표를 변환한다.<math display="block">\begin{align}
 \bar{F}_{\alpha\beta} &= \frac{\partial\bar{A}_\beta}{\partial\bar{x}^\alpha} -
             \frac{\partial\bar{A}_\alpha}{\partial\bar{x}^\beta} \\
 &= \frac{\partial}{\partial\bar{x}^\alpha} \left( \frac{\partial x^\gamma}{\partial\bar{x}^\beta} A_\gamma \right) -
  \frac{\partial}{\partial\bar{x}^\beta} \left( \frac{\partial x^\delta}{\partial\bar{x}^\alpha} A_\delta \right) \\
 &= \frac{\partial^2 x^\gamma}{\partial\bar{x}^\alpha \partial\bar{x}^\beta} A_\gamma +
  \frac{\partial x^\gamma}{\partial\bar{x}^\beta} \frac{\partial A_\gamma}{\partial\bar{x}^\alpha} -
  \frac{\partial^2 x^\delta}{\partial\bar{x}^\beta \partial\bar{x}^\alpha} A_\delta -
  \frac{\partial x^\delta}{\partial\bar{x}^\alpha} \frac{\partial A_\delta}{\partial\bar{x}^\beta} \\
 &= \frac{\partial x^\gamma}{\partial\bar{x}^\beta} \frac{\partial x^\delta}{\partial\bar{x}^\alpha} \frac{\partial A_\gamma}{\partial x^\delta} -
  \frac{\partial x^\delta}{\partial\bar{x}^\alpha} \frac{\partial x^\gamma}{\partial\bar{x}^\beta} \frac{\partial A_\delta}{\partial x^\gamma} \\
 &= \frac{\partial x^\delta}{\partial\bar{x}^\alpha} \frac{\partial x^\gamma}{\partial\bar{x}^\beta} \left( \frac{\partial A_\gamma}{\partial x^\delta} - \frac{\partial A_\delta}{\partial x^\gamma} \right) \\
 &= \frac{\partial x^\delta}{\partial\bar{x}^\alpha} \frac{\partial x^\gamma}{\partial\bar{x}^\beta} F_{\delta\gamma}.
\end{align} </math>이 정의는 전자기장이 다음을 만족한다는 것을 의미한다.<math display="block">\partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} = 0, </math>이 방정식은 [[패러데이 전자기 유도 법칙]]과 자기에 대한 [[가우스 법칙]]을 통합한다. 이것은 <math display="block">
 \partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu} =
 \partial_\lambda \partial_\mu A_\nu - \partial_\lambda \partial_\nu A_\mu +
 \partial_\mu \partial_\nu A_\lambda - \partial_\mu \partial_\lambda A_\nu +
 \partial_\nu \partial_\lambda A_\mu - \partial_\nu \partial_\mu A_\lambda =
 0.
</math>에서 보여진다. 패러데이-가우스에는 64개의 방정식이 있는 것처럼 보이지만 실제로는 4개의 독립 방정식으로 축소된다. 전자기장의 반대칭성을 사용하여 항등식(0 = 0)으로 축소하거나 <math>(\lambda, \mu,\nu)</math>가 <math>(1,2,3), (2,3,0),(3,0,1),(0,1,2)</math>인 방정식들만 제외하고 불필요한 방정식들을 정리한다.

패러데이-가우스 방정식은 때때로 다음과 같이 쓰여진다.<math display="block">
 F_{[\mu\nu; \lambda]} = F_{[\mu\nu, \lambda]} =
 \frac{1}{6}(
 \partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda \mu} -
 \partial_\lambda F_{\nu\mu} - \partial_\mu F_{\lambda\nu} - \partial_\nu F_{\mu\lambda}
 ) =
 \frac{1}{3}(\partial_\lambda F_{\mu\nu} + \partial_\mu F_{\nu\lambda} + \partial_\nu F_{\lambda\mu}) = 0, </math>여기서 세미콜론은 공변 도함수를 나타내고 쉼표는 편미분을 나타내며 대괄호는 반대칭화를 나타낸다(표기법은 리치 미적분학 참조). 전자기장의 공변 도함수는 다음과 같다.<math display="block">F_{\alpha\beta; \gamma} = F_{\alpha\beta, \gamma} - {\Gamma^\mu}_{\alpha\gamma} F_{\mu\beta} - {\Gamma^\mu}_{\beta\gamma} F_{\alpha\mu}, </math>여기서 <math>\Gamma^{\alpha}_{\beta\gamma}</math>는 아랫쪽 인덱스에서 대칭인 [[크리스토펠 기호]]이다.

== 전자기 변위 ==
[[변위장|전기 변위 장]] '''D'''와 [[자기장|보조 자기장]] '''H'''는 가중치 +1의 반대칭 반변량 랭크-2 텐서 밀도를 형성하며, 진공 상태에서 다음과 같이 주어진다:

: <math>\mathcal{D}^{\mu\nu} = \frac{1}{\mu_0} \, g^{\mu\alpha} \, F_{\alpha\beta} \, g^{\beta\nu} \, \frac{\sqrt{-g}}{c}.</math>

이 방정식은 계량(따라서 중력)이 전자기학 이론에 들어가는 유일한 곳이다. 또한 이 방정식은 척도 변화에 대해 불변이다. 즉, 계량에 상수를 곱해도 이 방정식에는 영향을 미치지 않는다. 결과적으로 중력은 사용 중인 전체 좌표계에 상대적인 [[빛의 속력]]을 바꾸므으로써 전자기에 영향을 미칠 수 있다. 빛은 무거운 물체 근처에서 더 느리기 때문에 중력에 의해서만 편향된다. 따라서 마치 중력이 거대한 물체 근처의 공간 굴절률을 증가시키는 것과 같다.

보다 일반적으로, [[자기화|자화]]-[[편극 밀도|분극]] 텐서가 0이 아닌 물질에서는,

: <math>\mathcal{D}^{\mu\nu} = \frac{1}{\mu_0} \, g^{\mu\alpha} \, F_{\alpha\beta} \, g^{\beta\nu} \, \frac{\sqrt{-g}}{c} - \mathcal{M}^{\mu\nu}.</math>

전자기 변위에 대한 변환 법칙은

: <math>\bar{\mathcal{D}}^{\mu\nu} = \frac{\partial\bar{x}^\mu}{\partial x^\alpha} \, \frac{\partial\bar{x}^\nu}{\partial x^\beta} \, \mathcal{D}^{\alpha\beta} \, \det\left[ \frac{\partial x^\sigma}{\partial\bar{x}^\rho} \right].</math>

여기서 [[야코비 행렬|야코비안 행렬식]]이 사용된다. 자화-편극 텐서를 사용하면 전자기 변위와 같은 변환 법칙을 갖는다.

== 전류 ==
전류는 전자기 변위의 발산이다. 진공 상태에서

: <math>J^\mu = \partial_\nu \mathcal{D}^{\mu\nu}.</math>

자화-분극이 사용되는 경우 이는 전류의 자유 부분만 제공한다.

: <math>J^\mu_\text{free} = \partial_\nu \mathcal{D}^{\mu\nu}.</math>

이것은 [[앙페르 회로 법칙|앙페르 법칙]]과 [[가우스 법칙]]을 통합한다.

두 경우 모두 전자기 변위가 비대칭이라는 사실은 전류가 자동으로 보존됨을 의미한다.

: <math>\partial_\mu J^\mu = \partial_\mu \partial_\nu \mathcal{D}^{\mu\nu} = 0.</math>

전류의 앙페르-가우스 정의는 전자기 전위(궁극적으로 도출된)에 값이 주어지지 않았기 때문에 그 값을 결정하기에 충분하지 않다. 대신 일반적인 절차는 전류를 다른 장(주로 전자 및 양성자)으로 표현한 다음 전자기 변위, 전자기장 및 전자기 포텐셜을 해결하는 것이다.

전류는 반변량 벡터 밀도이므로 다음과 같이 변환된다.

: <math>\bar{J}^\mu = \frac{\partial\bar{x}^\mu}{\partial x^\alpha} J^\alpha \det\left[ \frac{\partial x^\sigma}{\partial\bar{x}^\rho} \right].</math>

이 변환 법칙을 유도하자:<math display="block">\begin{align}
\bar{J}^{\mu} &= \frac{\partial}{\partial \bar{x}^{\nu}} \left( \bar{\mathcal{D}}^{\mu \nu} \right) \\[6pt]

 &= \frac{\partial}{\partial \bar{x}^{\nu}} \left( \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial \bar{x}^{\nu}}{\partial x^{\beta}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] \right) \\[6pt]

 &= \frac{\partial^2 \bar{x}^{\mu}}{\partial \bar{x}^{\nu} \partial x^{\alpha}} \frac{\partial \bar{x}^{\nu}}{\partial x^{\beta}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial^2 \bar{x}^{\nu}}{\partial \bar{x}^{\nu} \partial x^{\beta}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial \bar{x}^{\nu}}{\partial x^{\beta}} \frac{\partial \mathcal{D}^{\alpha \beta}}{\partial \bar{x}^{\nu}} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial \bar{x}^{\nu}}{\partial x^{\beta}} \mathcal{D}^{\alpha \beta} \frac{\partial}{\partial \bar{x}^{\nu}} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] \\[6pt]

&= \frac{\partial^2 \bar{x}^{\mu}}{\partial x^{\beta} \partial x^{\alpha}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial^2 \bar{x}^{\nu}}{\partial \bar{x}^{\nu} \partial x^{\beta}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial \mathcal{D}^{\alpha \beta}}{\partial x^{\beta}} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial \bar{x}^{\nu}}{\partial x^{\beta}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] \frac{\partial \bar{x}^{\rho}}{\partial x^{\sigma}} \frac{\partial^2 x^{\sigma}}{\partial \bar{x}^{\nu} \partial \bar{x}^{\rho}}\\[6pt]

& = 0+ \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \frac{\partial^2 \bar{x}^{\nu}}{\partial \bar{x}^{\nu} \partial x^{\beta}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} J^{\alpha} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] \frac{\partial \bar{x}^{\rho}}{\partial x^{\sigma}} \frac{\partial^2 x^{\sigma}}{\partial x^{\beta} \partial \bar{x}^{\rho}} \\[6pt]

& = \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} J^{\alpha} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] + \frac{\partial \bar{x}^{\mu}}{\partial x^{\alpha}} \mathcal{D}^{\alpha \beta} \det \left[ \frac{\partial x^{\sigma}}{\partial \bar{x}^{\rho}} \right] \left( \frac{\partial^2 \bar{x}^{\nu}} {\partial \bar{x}^{\nu} \partial x^{\beta}} + \frac{\partial \bar{x}^{\rho}}{\partial x^{\sigma}} \frac{\partial^2 x^{\sigma}}{\partial x^{\beta} \partial \bar{x}^{\rho}} \right).
\end{align} </math>마지막으로 다음을 보여주는 것만 남았다:

: <math>\frac{\partial^2\bar{x}^\nu}{\partial\bar{x}^\nu \partial x^\beta} + \frac{\partial\bar{x}^\rho}{\partial x^\sigma} \frac{\partial^2 x^\sigma}{\partial x^\beta \partial\bar{x}^\rho} = 0.</math>

이는 이미 미적분학에서 알려진 정리의 한 버전이다.<math display="block">\begin{align}
    &\frac{\partial^2 \bar{x}^{\nu}}{\partial \bar{x}^{\nu} \partial x^{\beta}} + \frac{\partial \bar{x}^{\rho}}{\partial x^{\sigma}} \frac{\partial^2 x^{\sigma}}{\partial x^{\beta} \partial \bar{x}^{\rho}} \\[6pt]

 {}={} &\frac{\partial x^{\sigma}}{\partial \bar{x}^{\nu}}
\frac{\partial^2 \bar{x}^{\nu}}{\partial x^{\sigma} \partial x^{\beta}} + \frac{\partial \bar{x}^{\nu}}{\partial x^{\sigma}} \frac{\partial^2 x^{\sigma}}{\partial x^{\beta} \partial \bar{x}^{\nu}} \\[6pt]

 {}={} &\frac{\partial x^{\sigma}}{\partial \bar{x}^{\nu}} \frac{\partial^2 \bar{x}^{\nu}}{\partial x^{\beta} \partial x^{\sigma}} + \frac{\partial^2 x^{\sigma}}{\partial x^{\beta} \partial \bar{x}^{\nu}} \frac{\partial \bar{x}^{\nu}}{\partial x^{\sigma}} \\[6pt]

 {}={} &\frac{\partial}{\partial x^{\beta}} \left( \frac{\partial x^{\sigma}}{\partial \bar{x}^{\nu}} \frac{\partial \bar{x}^{\nu}}{\partial x^{\sigma}} \right) \\[6pt]

 {}={} &\frac{\partial}{\partial x^{\beta}} \left( \frac{\partial \bar{x}^{\nu}}{\partial \bar{x}^{\nu}} \right) \\[6pt]

 {}={} &\frac{\partial}{\partial x^{\beta}} \left( \mathbf{4} \right) \\[6pt]

 {}={} &0.
\end{align} </math>

== 로런츠 힘 밀도 ==
[[로런츠 힘]]의 밀도는 다음과 같이 주어진 공변량 벡터 밀도이다.<math display="block">f_\mu = F_{\mu\nu} J^\nu. </math>중력과 전자기력에만 영향을 받는 시험 입자에 대한 힘은 다음과 같다.<math display="block">\frac{dp_\alpha}{dt} = \Gamma^\beta_{\alpha\gamma} p_\beta \frac{dx^\gamma}{dt} + qF_{\alpha\gamma} \frac{dx^\gamma}{dt}, </math>여기서 ''p<sub>α</sub>''는 입자의 선형 4차원 운동량, ''t''는 입자의 세계선을 매개변수화하는 임의의 시간 좌표, <math>\Gamma^{\alpha}_{\beta\gamma}</math>는 [[크리스토펠 기호]] (중력장), ''q''는 입자의 전하이다.

이 방정식은 시간 좌표의 변화에 따라 변하지 않는다. 그냥 <math>dt/d\bar{t}</math>를 곱하고 [[연쇄 법칙]]을 사용한다. 또한 ''x'' 좌표계의 변화에 따라 변하지 않는다.

크리스토펠 기호에 대한 변환 법칙을 사용하면,<math display="block">
 \bar{\Gamma}^\beta_{\alpha\gamma} =
 \frac{\partial\bar{x}^\beta}{\partial x^\epsilon} \frac{\partial x^\delta}{\partial \bar{x}^\alpha} \frac{\partial x^\zeta}{\partial\bar{x}^\gamma} \Gamma^\epsilon_{\delta\zeta} +
 \frac{\partial\bar{x}^\beta}{\partial x^\eta} \frac{\partial^2 x^\eta}{\partial\bar{x}^\alpha \partial\bar{x}^\gamma},
</math>우리는 얻는다<math display="block">\begin{align}
    &\frac{d \bar{p}_{\alpha}}{dt} - \bar{\Gamma}^{\beta}_{\alpha \gamma} \bar{p}_{\beta} \frac{d\bar{x}^{\gamma}}{dt} - q \bar{F}_{\alpha \gamma} \frac{d \bar{x}^{\gamma}}{dt} \\[6pt]

 {}={} &\frac{d}{dt} \left( \frac{\partial x^{\delta}}{\partial \bar{x}^{\alpha}} p_{\delta} \right) - \left( \frac{\partial \bar{x}^{\beta}}{\partial x^{\theta}} \frac{\partial x^{\delta}}{\partial \bar{x}^{\alpha}} \frac{\partial x^{\iota}}{\partial \bar{x}^{\gamma}} \Gamma^{\theta}_{\delta \iota} + \frac{\partial \bar{x}^{\beta}}{\partial x^{\eta}} \frac{\partial^2 x^{\eta}}{\partial \bar{x}^{\alpha} \partial \bar{x}^{\gamma}} \right) \frac{\partial x^{\epsilon}}{\partial \bar{x}^{\beta}} p_{\epsilon} \frac{\partial \bar{x}^{\gamma}}{\partial x^{\zeta}} \frac{d x^{\zeta}}{dt} - q \frac{\partial x^{\delta}}{\partial \bar{x}^{\alpha}} F_{\delta \zeta} \frac{d x^{\zeta}}{dt} \\[6pt]

 {}={} &\frac{\partial x^{\delta}}{\partial \bar{x}^{\alpha}} \left( \frac{d p_{\delta}}{dt} - \Gamma^{\epsilon}_{\delta \zeta} p_{\epsilon} \frac{d x^{\zeta}}{dt} - q F_{\delta \zeta} \frac{d x^{\zeta}}{dt} \right) + \frac{d}{dt} \left( \frac{\partial x^{\delta}}{\partial \bar{x}^{\alpha}} \right) p_{\delta} - \left( \frac{\partial \bar{x}^{\beta}}{\partial x^{\eta}}
\frac{\partial^2 x^{\eta}}{\partial \bar{x}^{\alpha} \partial \bar{x}^{\gamma}} \right) \frac{\partial x^{\epsilon}}{\partial \bar{x}^{\beta}} p_{\epsilon} \frac{\partial \bar{x}^{\gamma}}{\partial x^{\zeta}} \frac{d x^{\zeta}}{dt} \\[6pt]

 {}={} &0 + \frac{d}{dt} \left( \frac{\partial x^{\delta}}{\partial \bar{x}^{\alpha}} \right) p_{\delta} - \frac{\partial^2 x^{\epsilon}}{\partial \bar{x}^{\alpha} \partial \bar{x}^{\gamma}} p_{\epsilon} \frac{d \bar{x}^{\gamma}}{dt} \\[6pt]
 {}={} &0.
\end{align} </math>

== 라그랑지언 ==
진공에서 고전 전기역학의 [[라그랑지언|라그랑주 밀도]] (입방 미터당 줄)는 스칼라 밀도이다.<math display="block">\mathcal{L} = -\frac{1}{4 \mu_0} \, F_{\alpha\beta} \, F^{\alpha\beta} \, \frac{\sqrt{-g}}{c} + A_\alpha \, J^\alpha, </math>여기서<math display="block">F^{\alpha\beta} = g^{\alpha\gamma} F_{\gamma\delta} g^{\delta\beta}. </math>4차원 전류는 다른 하전된 장의 전류를 변수로 표현하는 많은 용어의 약어로 이해되어야 한다.

속박된 전류에서 자유 전류를 분리하면 라그랑지안은<math display="block">\mathcal{L} = -\frac{1}{4 \mu_0} \, F_{\alpha\beta} \, F^{\alpha\beta} \, \frac{\sqrt{-g}}{c} + A_\alpha \, J^\alpha_\text{free} + \frac12 \, F_{\alpha\beta} \, \mathcal{M}^{\alpha\beta}. </math>

== 전자기 응력-에너지 텐서 ==
{{본문|Electromagnetic stress–energy tensor}}
[[아인슈타인 방정식|아인슈타인 장 방정식]]에서 소스 항의 일부로 전자기 [[에너지-운동량 텐서|응력-에너지 텐서]]는 다음과 같은 공변 대칭 텐서이다:(계량 부호수(−, +, +, +)을 사용.)<math display="block">T_{\mu\nu} = -\frac{1}{\mu_0} \left( F_{\mu\alpha} g^{\alpha\beta} F_{\beta\nu} - \frac{1}{4} g_{\mu\nu} F_{\sigma\alpha} g^{\alpha\beta} F_{\beta\rho} g^{\rho\sigma} \right), </math>부호수(+, −, −, −)인 계량을 사용하는 경우 <math>T_{\mu\nu}</math> 반대 부호를 갖게 된다. 응력-에너지 텐서는 대각합이 0이다:<math display="block">T_{\mu\nu} g^{\mu\nu} = 0 </math>왜냐하면, 전자기학은 국소 불변 속력으로 전파되고 등각 불변이기 때문이다.

에너지와 선형 운동량 보존에 대한 표현에서 전자기 응력-에너지 텐서는 혼합 텐서 밀도로 가장 잘 표현된다.<math display="block">\mathfrak{T}_\mu^\nu = T_{\mu\gamma} g^{\gamma\nu} \frac{\sqrt{-g}}{c}. </math>위의 방정식에서 다음을 보여줄 수 있다.<math display="block">{\mathfrak{T}_\mu^\nu}_{; \nu} + f_\mu = 0, </math>여기서 세미콜론은 공변 미뷴을 나타낸다.

이것은 다음과 같이 다시 쓸 수 있다.<math display="block">-{\mathfrak{T}_\mu^\nu}_{, \nu} = -\Gamma^\sigma_{\mu\nu} \mathfrak{T}_\sigma^\nu + f_\mu, </math>전자기 에너지의 감소는 중력장에서 로런츠 힘을 통해 전자기장이 한 일과 물질에 한 일을 더한 것과 동일하며, 이와 비슷하게 전자기 선형 운동량의 감소율은 중력장에 가해지는 전자기력과 물질에 가해지는 로런츠 힘과 같다.

보존 법칙 유도:<math display="block">\begin{align}
{\mathfrak{T}_{\mu}^{\nu}}_{; \nu} + f_{\mu} &= -\frac{1}{\mu_0} \left ( F_{\mu \alpha ; \nu} g^{\alpha \beta} F_{\beta \gamma} g^{\gamma \nu} + F_{\mu \alpha} g^{\alpha \beta} F_{\beta \gamma ; \nu} g^{\gamma \nu} - \frac12 \delta_{\mu}^{\nu} F_{\sigma \alpha ; \nu} g^{\alpha \beta} F_{\beta \rho} g^{\rho \sigma} \right ) \frac{\sqrt{-g}}{c} + \frac{1}{\mu_{0}} F_{\mu \alpha} g^{\alpha \beta} F_{\beta \gamma ; \nu} g^{\gamma \nu} \frac{\sqrt{-g}}{c} \\

&= - \frac{1}{\mu_0} \left ( F_{\mu \alpha ; \nu} F^{\alpha \nu} - \frac12 F_{\sigma \alpha ; \mu} F^{\alpha \sigma} \right ) \frac{\sqrt{-g}}{c} \\

&= - \frac{1}{\mu_0} \left ( \left (- F_{\nu \mu ; \alpha} - F_{\alpha \nu ; \mu} \right ) F^{\alpha \nu} - \frac12 F_{\sigma \alpha ; \mu} F^{\alpha \sigma} \right ) \frac{\sqrt{-g}}{c} \\

&= - \frac{1}{\mu_0} \left ( F_{\mu \nu ; \alpha} F^{\alpha \nu} - F_{\alpha \nu ; \mu} F^{\alpha \nu} + \frac12 F_{\sigma \alpha ; \mu} F^{\sigma \alpha} \right ) \frac{\sqrt{-g}}{c} \\

&= - \frac{1}{\mu_0} \left ( F_{\mu \alpha ; \nu} F^{\nu \alpha} - \frac12 F_{\alpha \nu ; \mu} F^{\alpha \nu} \right ) \frac{\sqrt{-g}}{c} \\

&= - \frac{1}{\mu_0} \left (- F_{\mu \alpha ; \nu} F^{\alpha \nu} + \frac12 F_{\sigma \alpha ; \mu} F^{\alpha \sigma} \right ) \frac{\sqrt{-g}}{c},
\end{align} </math>이는 자체적으로 음수이기 때문에 0이다(위의 네 줄 참조).

== 전자기파 방정식 ==
장 텐서 측면에서 비균질 전자파 방정식은 특수 상대성이론에서 맥스웰 방정식에서 다음으로 수정된다:<ref>Ehlers J. Generalized Electromagnetic Null Fields and Geometrical Optics, in Perspectives in Geometry and Relativity, ed. by B. Hoffmann, p.&nbsp;127–133, Indiana University Press, Bloomington and London, 1966.</ref>

: <math>\Box F_{ab} \ \stackrel{\text{def}}{=}\ F_{ab;}{}^d{}_d = -2 R_{acbd} F^{cd} + R_{ae} F^e{}_b - R_{be} F^e{}_a + J_{a;b} - J_{b;a},</math>

여기서 <math>R_{abcd}</math>는 [[리만 곡률 텐서|리만 텐서]]의 공변 형식이고 <math>\Box</math>는 공변 도함수에 대한 [[달랑베르 연산자]]의 일반화이다.

: <math>\Box A^a = {{A^{a;}}^b}_b</math>

를 쓰면 맥스웰의 근원 방정식은 [[전자기 퍼텐셜|4차원 포텐셜]] [ref.&nbsp;2 , p.&nbsp;569]

: <math>\Box A^a - {A^{b;a}}_b = -\mu_0 J^a</math>

로 표현 될 수 있다. 또는 휘어진 시공간에서 [[로렌츠 게이지 조건|로렌츠 게이지]]의 일반화를 가정하면,

: <math>\begin{align}
 {A^a}_{; a} &= 0, \\
   \Box A^a &= -\mu_0 J^a + {R^a}_b A^b
\end{align}</math>

이 성립한다. 여기서 <math>R_{a b} \ \stackrel{\text{def}}{=}\ {R^s}_{a s b}</math> [[리치 곡률 텐서]]이다.

이것은 도함수가 공변 도함수로 대체되고 곡률에 비례하는 추가 항이 있다는 점을 제외하고는 평평한 시공간에서와 동일한 형태의 파동 방정식이다. 이 형태의 파동 방정식은 <math>A^a</math> 가 4차원 위치의 역할을 하는 휘어진 시공간의 로런츠 힘과 어느 정도 비슷하다.

(+, −, −, −) 형태의 계량 부호수의 경우 곡선 시공간의 파동 방정식 유도가 논문에서 수행된다.

== 동적 시공간에서 맥스웰 방정식의 비선형성 ==
맥스웰 방정식이 [[백그라운드 독립적|배경 독립적]]인 방식으로 취급될 때 즉, 시공간 계량이 전자기장에 의존하는 동적 변수로 간주될 때 전자기파 방정식과 맥스웰 방정식은 비선형이다. 이것은 곡률 텐서가 [[아인슈타인 방정식|아인슈타인 장 방정식]]을 통해 응력-에너지 텐서에 의존한다는 점으로부터 알 수 있다.

: <math>G_{ab} = \frac{8 \pi G}{c^4} T_{ab},</math>

여기서

: <math>G_{ab}\ \stackrel{\text{def}}{=}\ R_{ab} - \frac12 Rg_{ab}</math>

는 [[아인슈타인 텐서]], ''<math>G</math>''는 [[중력 상수]], ''<math>g_{ab}</math>''는 계량 텐서, ''<math>R</math>''([[스칼라 곡률]])은 리치 곡률 텐서의 대각합이다. 응력-에너지 텐서는 입자로부터의 응력-에너지뿐만 아니라 전자기장으로부터의 응력-에너지로 구성된다. 이것은 비선형성을 생성한다.

== 기하학적 공식화 ==
전자기장의 미분기하학적 공식화에서 반대칭 패러데이 텐서는 [[미분 형식|패러데이 제 2형식]] <math>\mathbf{F}</math>로 볼 수 있다. 이 관점에서 맥스웰 방정식 둘 중 하나는

: <math>\mathrm{d}\mathbf{F} = 0</math>

이다. 여기서 <math>\mathrm{d}</math>는 외미분 연산자이다. 이 방정식은 완전히 좌표 및 계량에 독립적이며 시공간에서 닫힌 2차원 표면을 통한 전자기 플럭스가 위상적이며 더 정확하게는 [[호몰로지|호몰로지 동치류]] (가우스 법칙의 적분 형식의 일반화 및 맥스웰-패러데이 방정식, 민코프스키 공간의 호몰로지 동치류는 자동으로 0이다. 푸앵카레 보조정리에 의해 이 방정식은 (적어도 국지적으로) 다음을 만족하는 제 1형식 <math>\mathbf{A}</math>가 존재함을 의미한다:

: <math>\mathbf{F} = \mathrm{d}\mathbf{A}.</math>

다른 맥스웰 방정식은

: <math>\mathrm{d}\star\mathbf{F} = \mathbf{J}.</math>

이러한 맥락에서, <math>\mathbf{J}</math>는 [[미분 형식|전류 제 3형식]] (또는 더 정확하게는 뒤틀린 제 3형식)이고 별 <math>\star</math>은  [[호지 쌍대|호지 별 연산자]]를 나타낸다. 시공간 계량에 대한 맥스웰 방정식의 의존성은 [[리만 곡면|등각적으로 불변]]인 제 2형식에 작용하는 호지 별 연산자 <math>\star</math>에 있다. 이런 식으로 작성된 맥스웰 방정식은 모든 시공간에서 동일하고 명시적으로 좌표 불변이며 사용하기 편리하다(민코프스키 공간 또는 유클리드 공간과 시간, 특히 휘어진 좌표에서).

다른 기하학적 설명은, 패러데이 제 2-형식 <math>\mathbf{F}</math> 이  <math>U(1)</math>-[[주다발]]에서 <math>U(1)</math>-[[코쥘 접속|접속]] <math>\nabla</math>의 곡률 제 2형식 <math>F(\nabla)</math>에 해당한다는 것이다. 모든 접속은 "기저" 접속 <math>\nabla_0</math>에 대해 <math>\nabla = \nabla_0 + iA</math> 그리고

: <math>\mathbf{F} = \mathbf{F}_0 + \mathrm{d}\mathbf{A}</math>

과 같이 쓸 수 있으므로, 전자기학의 벡터 전위는 접속과 아주 유사하다. 이 관점에서 맥스웰 "방정식" <math>\mathrm{d}\mathbf{F} = 0</math>은 단순히 이미 미분 기하학에 있는 비양키 항등식에 의한 결과이다. 오직 방정식 <math>\mathrm{d}\star\mathbf{F} = \mathbf{J}</math>만이 공식에서 물리적 내용을 포함하는 유일한 방정식이다. 이러한 관점은 전기장이나 양자 역학을 고려할 때 특히 자연스럽다. 중력이 서로 다른 지점에서 [[평행 운송]] 벡터에 대한 접속의 필요성의 결과로 이해될 수 있는 것과 마찬가지로 전자기 현상 또는 [[아로노프-봄 효과]]와 같은 보다 미묘한 양자 효과로 이해될 수 있다. 서로 다른 지점에서 [[평행 운송]] 전하장 또는 파동 섹션에 접속할 필요가 있기 때문이다. 사실, 리만 텐서가 무한소 폐곡선을 따르는 [[레비치비타 접속]]의 [[홀로노미]]인 것처럼 접속의 곡률은 <math>U(1)</math>-접속의 홀로노미이다.

== 같이 보기 ==
* [[전자파 방정식|전자기파 방정식]]
* 비균질 전자파 방정식
* [[전자기장의 수학적 설명]]
* [[고전 전자기학의 공변 공식화]]
* [[일반 상대성 이론의 이론적 동기]]
* [[일반상대론의 수학적 공식화 개론|일반 상대성 이론의 수학적 공식화 개론]]
* 전기 진공 솔루션
* [[중력장에서 하전 입자의 복사 역설]]

== 각주 ==
{{각주}}

== 참조 ==
* {{서적 인용|url=https://archive.org/details/relativityspecia00eins_0|제목=Relativity: The Special and General Theory|성=Einstein|이름=A.|저자링크=Albert Einstein|연도=1961|출판사=Crown|위치=New York|isbn=0-517-02961-8}}
* {{서적 인용|제목=Gravitation|url=https://archive.org/details/gravitation0000misn_o3a5|성=Misner|이름=Charles W.|저자링크=Charles W. Misner|성2=Thorne|이름2=Kip S.|저자링크2=Kip Thorne|연도=1973|출판사=[[W. H. Freeman]]|위치=San Francisco|isbn=0-7167-0344-0|성3=Wheeler|이름3=John Archibald|저자링크3=John Archibald Wheeler}}
* {{서적 인용|제목=Classical Theory of Fields|url=https://archive.org/details/classicaltheoryo0000land_k6k2|성=Landau|이름=L. D.|저자링크=Lev Landau|성2=Lifshitz|이름2=E. M.|저자링크2=Evgeny Lifshitz|연도=1975|판=Fourth Revised English|출판사=Pergamon|위치=Oxford|isbn=0-08-018176-7}}
* {{서적 인용|url=https://archive.org/details/feynmanlectureso0000feyn_g4q1|제목=Feynman Lectures on Gravitation|성=Feynman|이름=R. P.|저자링크=Richard Feynman|성2=Moringo|이름2=F. B.|연도=1995|출판사=[[Addison-Wesley]]|isbn=0-201-62734-5|성3=Wagner|이름3=W. G.}}

== 외부 링크 ==
* [http://www.iop.org/EJ/abstract/0264-9381/22/2/011/ 휘어진 시공간의 전자기장]

[[분류:맥스웰 방정식]]
[[분류:편미분 방정식]]
[[분류:일반 상대성이론]]