휘어진 시공간에서 맥스웰 방정식
전류

전류는 전자기 변위의 발산이다. 진공 상태에서
자화-분극이 사용되는 경우 이는 전류의 자유 부분만 제공한다.
이것은 앙페르 법칙과 가우스 법칙을 통합한다.
두 경우 모두 전자기 변위가 비대칭이라는 사실은 전류가 자동으로 보존됨을 의미한다.
전류의 앙페르-가우스 정의는 전자기 전위(궁극적으로 도출된)에 값이 주어지지 않았기 때문에 그 값을 결정하기에 충분하지 않다. 대신 일반적인 절차는 전류를 다른 장(주로 전자 및 양성자)으로 표현한 다음 전자기 변위, 전자기장 및 전자기 포텐셜을 해결하는 것이다.
전류는 반변량 벡터 밀도이므로 다음과 같이 변환된다.
이 변환 법칙을 유도하자: {\begin{aligned}{\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{aligned}}마지막으로 다음을 보여주는 것만 남았다:
이는 이미 미적분학에서 알려진 정리의 한 버전이다. {\begin{aligned}&{\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{aligned}}