물리학에서 휘어진 시공간의 맥스웰 방정식(영어: Maxwell's equations in curved spacetime)은 휘어진 시공(민코프스키 계량이 아닐 수 있는 일반적 시공)에서 전자기장의 역학을 지배한다. 이러한 방정식은 일반적으로 평평한 시공간의 국소 좌표로 공식화되는 진공에서 맥스웰 방정식의 일반화로 볼 수 있다. 그러나 일반 상대성이론에서 전자기장(또는 일반적으로 에너지/물질)이 존재하면 시공간의 곡률을 야기하기 때문에,[1] 평평한 시공간에서의 맥스웰 방정식은 편리한 근사로 보아야 한다.
유도된 시공간 곡률
벌크 물질이 있는 상태에서 작업할 때 자유 전하와 속박 전하를 구별하면 분석을 용이하게 할 수 있다. 이러한 구분이 이루어지면 거시적 맥스웰 방정식이라고 한다. 이러한 구분이 없으면 거시적 맥스웰 방정식에 대조하여 "미시적" 맥스웰 방정식이라고도 한다.
전자기장은 좌표 독립적인 기하학적 설명을 허용하며 이러한 기하학적 객체로 표현된 맥스웰 방정식은 곡선이든 아니든 모든 시공간에서 동일하다. 또한 직선이 아닌 국소 좌표계를 사용할 때 민코프스키 공간의 방정식에 동일한 수정이 이루어진다. 예를 들어, 이 글의 방정식을 사용하여 구면좌표계로 맥스웰 방정식을 작성할 수 있다. 이러한 이유로 민코프스키 공간에서 맥스웰 방정식을 일반 공식화의 특수한 경우로 생각하는 것이 유용할 수 있다.
일반 상대성이론에서 계량 텐서 는 더 이상 상수가 아니고 공간과 시각에 따라 달라질 수 있다. 진공에서 전자기 방정식은
이며, 여기서 는 로런츠 힘의 밀도, 는 계량 텐서 의 역이다. 그리고 는 계량 텐서의 행렬식이다. 와 는 일반적 텐서인 반면 , , 는 가중치 +1의 텐서 밀도임을 주의하라. 편도함수가 포함되어 있음에도, 이러한 방정식은 임의의 휘어진 좌표 변환에 대해서 변하지 않는다. 따라서 편도함수를 공변 도함수로 대체하면 그에 따라 도입된 추가 항이 사라진다.
전자기 퍼텐셜
전자기 퍼텐셜은 전자기학의 특정되지 않은 근원인 공변량 벡터 이다. 이는 공변 벡터이기 때문에 다음과 같이 한 좌표계에서 다른 좌표계로 변환된다.
전기 변위 장D와 보조 자기장H는 가중치 +1의 반대칭 반변량 랭크-2 텐서 밀도를 형성하며, 진공 상태에서 다음과 같이 주어진다:
이 방정식은 계량(따라서 중력)이 전자기학 이론에 들어가는 유일한 곳이다. 또한 이 방정식은 척도 변화에 대해 불변이다. 즉, 계량에 상수를 곱해도 이 방정식에는 영향을 미치지 않는다. 결과적으로 중력은 사용 중인 전체 좌표계에 상대적인 빛의 속력을 바꾸므으로써 전자기에 영향을 미칠 수 있다. 빛은 무거운 물체 근처에서 더 느리기 때문에 중력에 의해서만 편향된다. 따라서 마치 중력이 거대한 물체 근처의 공간 굴절률을 증가시키는 것과 같다.
이것은 도함수가 공변 도함수로 대체되고 곡률에 비례하는 추가 항이 있다는 점을 제외하고는 평평한 시공간에서와 동일한 형태의 파동 방정식이다. 이 형태의 파동 방정식은 가 4차원 위치의 역할을 하는 휘어진 시공간의 로런츠 힘과 어느 정도 비슷하다.
(+, −, −, −) 형태의 계량 부호수의 경우 곡선 시공간의 파동 방정식 유도가 논문에서 수행된다.
동적 시공간에서 맥스웰 방정식의 비선형성
맥스웰 방정식이 배경 독립적인 방식으로 취급될 때 즉, 시공간 계량이 전자기장에 의존하는 동적 변수로 간주될 때 전자기파 방정식과 맥스웰 방정식은 비선형이다. 이것은 곡률 텐서가 아인슈타인 장 방정식을 통해 응력-에너지 텐서에 의존한다는 점으로부터 알 수 있다.
여기서
는 아인슈타인 텐서, 는 중력 상수, 는 계량 텐서, (스칼라 곡률)은 리치 곡률 텐서의 대각합이다. 응력-에너지 텐서는 입자로부터의 응력-에너지뿐만 아니라 전자기장으로부터의 응력-에너지로 구성된다. 이것은 비선형성을 생성한다.
기하학적 공식화
전자기장의 미분기하학적 공식화에서 반대칭 패러데이 텐서는 패러데이 제 2형식로 볼 수 있다. 이 관점에서 맥스웰 방정식 둘 중 하나는
이다. 여기서 는 외미분 연산자이다. 이 방정식은 완전히 좌표 및 계량에 독립적이며 시공간에서 닫힌 2차원 표면을 통한 전자기 플럭스가 위상적이며 더 정확하게는 호몰로지 동치류 (가우스 법칙의 적분 형식의 일반화 및 맥스웰-패러데이 방정식, 민코프스키 공간의 호몰로지 동치류는 자동으로 0이다. 푸앵카레 보조정리에 의해 이 방정식은 (적어도 국지적으로) 다음을 만족하는 제 1형식 가 존재함을 의미한다:
다른 맥스웰 방정식은
이러한 맥락에서, 는 전류 제 3형식 (또는 더 정확하게는 뒤틀린 제 3형식)이고 별 은 호지 별 연산자를 나타낸다. 시공간 계량에 대한 맥스웰 방정식의 의존성은 등각적으로 불변인 제 2형식에 작용하는 호지 별 연산자 에 있다. 이런 식으로 작성된 맥스웰 방정식은 모든 시공간에서 동일하고 명시적으로 좌표 불변이며 사용하기 편리하다(민코프스키 공간 또는 유클리드 공간과 시간, 특히 휘어진 좌표에서).
다른 기하학적 설명은, 패러데이 제 2-형식 이 -주다발에서 -접속의 곡률 제 2형식 에 해당한다는 것이다. 모든 접속은 "기저" 접속 에 대해 그리고
과 같이 쓸 수 있으므로, 전자기학의 벡터 전위는 접속과 아주 유사하다. 이 관점에서 맥스웰 "방정식" 은 단순히 이미 미분 기하학에 있는 비양키 항등식에 의한 결과이다. 오직 방정식 만이 공식에서 물리적 내용을 포함하는 유일한 방정식이다. 이러한 관점은 전기장이나 양자 역학을 고려할 때 특히 자연스럽다. 중력이 서로 다른 지점에서 평행 운송 벡터에 대한 접속의 필요성의 결과로 이해될 수 있는 것과 마찬가지로 전자기 현상 또는 아로노프-봄 효과와 같은 보다 미묘한 양자 효과로 이해될 수 있다. 서로 다른 지점에서 평행 운송 전하장 또는 파동 섹션에 접속할 필요가 있기 때문이다. 사실, 리만 텐서가 무한소 폐곡선을 따르는 레비치비타 접속의 홀로노미인 것처럼 접속의 곡률은 -접속의 홀로노미이다.