弯曲时空中的麦克斯韦方程组

物理学中，弯曲时空中的麦克斯韦方程组（Maxwell's equations in curved spacetime）制约着弯曲时空（其间的度规可能不是闵可夫斯基性的）中的电磁场的动力学。它们可以被认为是真空中的麦克斯韦方程组在广义相对论框架中的扩展，而真空中的麦克斯韦方程组只是一般化的麦克斯韦方程组在局部平直时空中的特殊形式。但由于在广义相对论中电磁场本身的存在也会引起时空的弯曲，因此真空中的麦克斯韦方程组应被理解为一种出于方便的近似形式。

然而，这种形式的麦克斯韦方程组仅仅对真空情形下的麦克斯韦方程组有用，这也被称作“微观”麦克斯韦方程组。对于宏观上与各向异性的物质相关的麦克斯韦方程组，物质的存在会建立一个参考系从而使方程组不再是协变的。

阅读本条目需要读者了解平直时空中电磁理论的四维形式。

电磁场本身要求其几何描述与坐标选取无关，而麦克斯韦方程组在任何时空中的几何描述都是一样的，而不管这个时空是否是平直的。同时，当使用非笛卡尔的局部坐标时平直闵可夫斯基空间中的方程组会做同样的修改。例如本条目中方程组可以写成球坐标中的麦克斯韦方程组的形式。基于上述原因，更好的理解方法是将闵可夫斯基空间中的麦克斯韦方程组理解为一种特殊形式，而非将弯曲时空中的麦克斯韦方程组理解为一种相对论化的推广。

广义相对论中真空中的电磁理论的方程为

其中${\displaystyle g^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$是度规张量${\displaystyle g_{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$的倒数，而${\displaystyle g}$是度规张量的行列式，${\displaystyle A_{\mathrm{\alpha <!--\; \alpha \; -->}}}$是电磁场的四维势，${\displaystyle F^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$是电磁场的四维协变张量，${\displaystyle D^{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}}}$是位移电流张量，${\displaystyle f_{\mathrm{\mu <!--\; \mu \; -->}}}$是洛伦兹力的密度，${\displaystyle J_{\mathrm{\mu <!--\; \mu \; -->}}}$是四维电流密度。尽管方程组中使用了偏导数，这些方程仍然在任意曲面坐标变换下是协变的。也就是说如果将偏导数换成协变导数，引入的附加项会自动消去从而保持形式不变。

电磁场的四维势${\displaystyle A_{\mathrm{\alpha <!--\; \alpha \; -->}},}$是一个协变矢量，它的坐标变换规则为

电磁场是一个协变的二阶反对称张量，它用电磁势可以定义为

为证明它的洛伦兹不变性，我们对其进行坐标变换

这一定义暗示了电磁场张量满足关系

这一关系包含了法拉第电磁感应定律和磁场的高斯定理，因此也叫做法拉第-高斯方程。具体而言，

虽然这个关系包含了64个分量方程，但只有四个是独立的。借助电磁场张量的反对称性，可知只有${\displaystyle \mathrm{\lambda <!--\; \lambda \; -->},\mathrm{\mu <!--\; \mu \; -->},\mathrm{\nu <!--\; \nu \; -->}}$等于1,2,3或2,3,0或3,0,1或0,1,2时的方程是彼此独立的。

法拉第-高斯方程有时也写作下面的形式

其中按照惯例用分号表示协变导数，逗号表示偏导数，方括号表示反对称形式。电磁场张量的协变导数为

其中${\displaystyle {\mathrm{\Gamma <!--\; \Gamma \; -->}}_{\mathrm{\beta <!--\; \beta \; -->}\mathrm{\gamma <!--\; \gamma \; -->}}^{\mathrm{\alpha <!--\; \alpha \; -->}}}$是克里斯托费尔符号，两个下标是对称的。

位移电场${\displaystyle \mathbf{D},}$和附属磁场${\displaystyle \mathbf{H},}$构成一个反对称的逆变二阶张量。真空中这个张量为

注意这个方程是电磁理论中唯一有度规（即引力）存在的方程。并且这一方程具有尺度不变性，即将度规乘以一个常数不会改变方程的形式。也就是说，引力只能通过改变全局坐标中的光速来影响相应的电磁场，由于光在引力场中会发生偏折，其效应等同于质量的引力场增加了周围时空的折射率，从而影响了对应的位移电场和附属磁场。

更一般地，当物质中的磁化-极化张量不为零时，我们有

电磁位移张量的坐标变换规则为

其中使用了雅可比行列式。如果磁化-极化张量存在，它和电磁位移张量具有同样的变换规则。

电磁位移张量的散度被定义为电流，在真空中

如果磁化-极化张量存在，则上式替换为

这一方程包含了高斯定理和安培环路定理。

无论磁化-极化张量是否存在，电磁位移张量是反对称的这一事实暗示了电流是一个守恒量：

这个二阶偏导数为零是由于偏导是对易的。

电流的安培-高斯定义并不能决定它的大小，因为电磁四维势的大小并未确定。相反地，通常的步骤是使电流等于一个用其他场表示的表达式（主要是电荷），然后解得电磁位移、电磁场和电磁势。

电流是一个逆变的矢量，因而其变换规则是

变换规则的验证如下：

下面只需证明

这是微分学中一条已知定理的应用：

洛伦兹力的密度是一个协变矢量：

如果在一个测试粒子上的作用力只有引力和电磁力，则有

其中${\displaystyle p^{\mathrm{\alpha <!--\; \alpha \; -->}}}$是粒子的四维动量，${\displaystyle t}$是将粒子世界线参数化的任意时间坐标。式中第一项含有克里斯托费尔符号，表示引力项，第二项含有电荷，表示电磁力项。

方程具有洛伦兹不变性，对时间坐标变换的验证方法为将方程乘以${\displaystyle \frac{dt}{d\stackrel{¯<!--\; ¯\; -->}{t}}}$并使用链式法则。

对空间坐标变换，通过对克里斯托费尔符号进行坐标变换

我们得到

在真空中经典电磁场的拉格朗日量（在密度意义下的单位为焦耳/米3）是一个标量：

其中${\displaystyle F^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}=g^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\gamma <!--\; \gamma \; -->}}{F}_{\mathrm{\gamma <!--\; \gamma \; -->}\mathrm{\delta <!--\; \delta \; -->}}{g}^{\mathrm{\delta <!--\; \delta \; -->}\mathrm{\beta <!--\; \beta \; -->}}.}$。这里的四维电流项应理解为各种对电流有贡献的场的总和。

如果我们将自由电流与束缚电流分离开来，拉格朗日量则变为

作为爱因斯坦引力场方程的源，电磁场的应力-能量张量是一个协变的对称张量

并且它是无迹的

这是由于电磁场的传播速度在不同参考系下是不变的。

为了表达能量和动量的守恒律，电磁应力-能量张量的最佳表示方法是

对于上式可以证明

并可重写为

这个方程的意义是，电磁场能量的减少相当于电磁场对引力场以及通过洛伦兹力对物质所做的功，类似地，电磁场动量的减少率相当于作用在引力场上的电磁力以及作用在物质上的洛伦兹力。

守恒律的推导过程为

所得的的结果是为零的，因为它等于自身的负值（对照推导的第二步）。

从电磁理论的狭义相对论形式可以借助电磁场张量修改得到非齐次的电磁波方程

其中

是黎曼张量的协变形式，而${\displaystyle \mathrm{◻<!--\; ◻\; -->}}$是达朗贝尔算符在协变导数情形下的推广。

波方程可以写成四维势的形式（参见ref 2, p. 569）

其中

是里奇张量。而这里假设了洛伦茨规范在弯曲时空中的推广具有下面的形式

这个波方程与平直时空中的波方程具有十分类似的形式，除了导数被替换为协变导数，以及在表示源的项中多了一项描述时空曲率的项。这个方程和弯曲时空中的洛伦兹力也有相似之处，这里的四维势${\displaystyle A^a}$相当于洛伦兹力中的四维坐标。

在考虑麦克斯韦方程组本身与背景时空无关时，时空度规在广义相对论中被认为是受电磁场影响的动态变化的变量，这导致了电磁波方程和麦克斯韦方程组是非线性的。这一点可以从爱因斯坦场方程中的曲率张量依赖于应力-能量张量看出。

其中

是爱因斯坦张量，${\displaystyle G}$是万有引力常数，${\displaystyle R}$ （标量曲率）是里奇张量的迹。应力-能量张量来源于粒子的应力和能量，但同时也来源于电磁场，这造就了非线性。