电磁场的数学表述

在电磁学里，有几种电磁场的数学表述，这篇文章会讲述其中三种表述。

物理学家时常会用三维的矢量场来表达电场和磁场。这些矢量场在时空的每一点都有一个定义值，被认为是空间坐标和时间坐标的函数。电场和磁场分别写为 ${\displaystyle \mathbf{E}(x,y,z,t)}$ 和 ${\displaystyle \mathbf{B}(x,y,z,t)}$ 。

假设只有电场存在，而且不含时间，则电场称为静电场。类似地，假设只有磁场存在，而且不含时间，则电场称为静磁场。但是，假若其中任何一个场是含时的，则电场和磁场都必须一起以耦合的电磁场来计算。

自由空间的电场和磁场，不论是在静电学里，静磁学里或电动力学里，都遵守麦克斯韦方程组：

以下表格给出每一个符号所代表的物理意义，和其单位：

对于线性物质，麦克斯韦方程组内的电常数和磁常数，必须分别改换为线性物质的电容率和磁导率。有些更复杂的物质，由于电磁场的作用，会给出更复杂的响应。这些性质可以用张量来表示。假若电磁场变化很快，张量可能会含时间。假若电磁场的场振幅很大，张量也可能会跟电磁场有关，显示出非线性或非局域的物质响应。更详尽细节，请参阅光的色散和非线性光学。

1865年，詹姆斯·麦克斯韦发表了麦克斯韦方程组的完整形式于论文《电磁场的动力学理论》。后来，物理学家发现这组方程居然与狭义相对论相容。更令人惊讶的是，两个处于不同参考系的观察者，所观察到的由两个不同物理现象产生的明显的巧合，按照狭义相对论，可以推论出并不是巧合。这论点非常重要，阿尔伯特·爱因斯坦的1905年讲述狭义相对论的论文《论动体的电动力学》用了大半篇幅解释怎样转换麦克斯韦方程组。

当从一个参考系S₁转换至另外一个以相对速度 ${\displaystyle \mathbf{v}}$ 移动的参考系S₂时，可以用洛伦兹变换来变换电场和磁场，其方程为

其中，${\displaystyle \stackrel{¯<!--\; ¯\; -->}{\mathbf{E}}}$ 和 ${\displaystyle \stackrel{¯<!--\; ¯\; -->}{\mathbf{B}}}$ 是参考系S₂的电场和磁场，${\displaystyle \mathrm{\gamma <!--\; \gamma \; -->}=1/\sqrt{1-<!--\; -\; -->v^2/c^2}}$ 是洛伦兹因子，${\displaystyle c}$ 是光速。

假设相对运动是沿着x-轴，${\displaystyle \mathbf{v}=v\stackrel{^<!--\; ^\; -->}{\mathbf{x}}}$ ，则每一个分量的转换方程分别为

很值得注意的一点是，假设对于某一个参考系，电场或磁场其中有一个场是零。这并不意味着，对于所有其他参考系，这个场都等于零。这可以从方程看出，假设 ${\displaystyle \mathbf{E}=0}$ ，则

除非 ${\displaystyle B_y=B_z=0}$ ，电场 ${\displaystyle \stackrel{¯<!--\; ¯\; -->}{\mathbf{E}}}$ 绝对不会等于零。

这并不意味分别处于两个不同参考系的观察者，所观察到的是两种完全不同的事件；它们所观察到的是以两种不同方式描述的同样的事件。爱因斯坦在他的1905年论文里所提到的移动中的磁铁与导体问题，是个经典例子。如图右所示，假若环状导线固定不动，而磁铁以等速移动，则穿过环状导线的磁通量会随着时间而改变。按照法拉第电磁感应定律，会产生感应电动势和伴随的电场，因而造成电流流动于环状导线。可是，假若磁铁固定不动，改由环状导线以等速移动，则在环状导线内部的电荷会因为感受到劳伦兹力而产生动生电动势和伴随的电场，因而造成电流流动于环状导线。假设，对于这两个案例，移动的速率相等，而方向相反。则感应出的电流是一样的。

在解析有些电磁学问题时，物理学家会暂时不计算电场或磁场，而先计算伴随的电势或磁势。电势 ${\displaystyle V}$ 为标量，又被称为纯势；磁势 ${\displaystyle \mathbf{A}}$ 为矢量，又被称为矢势，或磁矢势。从这些位势，可以得到电场和磁场：

将这两个方程代入麦克斯韦方程。法拉第电磁感应定律和高斯磁定律的方程都会约化为恒等式。另外两个麦克斯韦方程变得比较复杂：

这两个势场方程组合起来，具有与麦克斯韦方程组同样的功能和完整性。原本的麦克斯韦方程组需要解析六个分量。因为电场和磁场各有三个分量。势场表述只需要解析四个分量，因为电势只有一个分量，磁矢势有三个分量。可是，势场表述涉及了二次微分，方程也比较冗长。

值得庆幸地是有一种方法可以简化这两个势场方程。由于势场不是唯一定义的，只要最后计算得到正确的电场和磁场就行。这性质称为规范自由。对于这两个势场方程，选择参数为位置和时间的任意函数 ${\displaystyle \mathrm{\lambda <!--\; \lambda \; -->}(\mathbf{r},t)}$ ，势场可以改变为

电场和磁场不变：

这规范自由可以用来简化方程。最常见的规范自由有两种。一种是库仑规范（Coulomb gauge），选择 ${\displaystyle \mathrm{\lambda <!--\; \lambda \; -->}(\mathbf{r},t)}$ 的值来使得 ${\displaystyle \mathrm{\nabla <!--\; \nabla \; -->}\cdot <!--\; \cdot \; -->\mathbf{A}=0}$ 。这对应于静磁学案例。这选择导致两个势场方程分别变为

库仑规范有几点值得注意之处。第一点，解析电势很简单，这电势方程的形式为泊松方程。第二点，解析磁矢势很困难，这是库仑规范的一大缺点。第三点，库仑规范与狭义相对论不很相容，当转换参考系时，洛伦兹变换会撤除原本参考系的库仑规范。每做一次洛伦兹变换，就要再重新做一次库仑规范。第四点比较令人困惑，随着在某一局域的源电荷的改变，在任何位置的电势的改变是瞬时的，这现象称为超距作用（Action at a distance）。

例如，假使于下午一时，在纽约的电荷稍微移动了一下，那么在完全同样时间，一位假想观察者在上海会测量出电势有所改变。这现象似乎违背了狭义相对论，因为狭义相对论禁止以超过光速之速度来传输信息、信号或任何实体。然而，由于没有任何观察者曾经测量到电势，他们只能测量到电场，而电场是由电势和磁矢势共同决定的。所以，由于磁矢势方程为含时的，电场遵守狭义相对论要求的速度限制。所有可观测量都与相对论一致。

另外一种常见的规范自由是洛伦茨规范。选择 ${\displaystyle \mathrm{\lambda <!--\; \lambda \; -->}(\mathbf{r},t)}$ 的值来使得 ${\displaystyle \mathrm{\nabla <!--\; \nabla \; -->}\cdot <!--\; \cdot \; -->\mathbf{A}=-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_0{\mathrm{\epsilon <!--\; \epsilon \; -->}}_0\frac{\mathrm{\partial <!--\; \partial \; -->}V}{\mathrm{\partial <!--\; \partial \; -->}t}}$ 。这选择导致两个势场方程分别变为

算符 ${\displaystyle {\mathrm{◻<!--\; ◻\; -->}}^2}$ 称为达朗白算符。这两个势场方程为非齐次波动方程，其右边项目是波源函数。势场方程有两种解答：一种是源头组态为未来时间（源电荷或源电流是设定于未来时间）的超前势，另外一种是源头组态为过去时间（源电荷或源电流是设定于过去时间）的推迟势。因为不符合物理的因果关系，不具有任何物理意义，物理学家时常会删除第一种解答，偏好选择第二种解答。

值得强调的是，洛伦茨规范并不比其它规范更正确，势场本身是无法观测到的（当然，不考虑像阿哈诺夫－波姆效应的例外）。势场展示的任何非因果关系都会消失于可观测到的电场或磁场。只有电场或磁场是具有物理意义的物理量。

电场和磁场可以综合起来，形成一个反对称性二阶协变张量，称为电磁张量，写为 ${\displaystyle F_{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 。电磁张量将电场和磁场聚集在一起，以方程表达：

使用闵可夫斯基度规 ${\displaystyle \mathrm{\eta <!--\; \eta \; -->}}$ ，

将 ${\displaystyle F_{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 的下标拉高为上标，可以得到反变张量 ${\displaystyle F^{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}}}$ 。采用爱因斯坦求和约定，这程序表达为

给予一个 ${\displaystyle n}$ 阶反对称协变张量 ${\displaystyle F_{i_1{i}_2\dots <!--\; \dots \; -->i_n}}$ ，则其 ${\displaystyle m}$ 阶对偶张量（dual tensor） 是一个反对称反变张量：

其中，${\displaystyle {\mathrm{ϵ<!--\; ϵ\; -->}}^{j_1{j}_2\dots <!--\; \dots \; -->j_m{i}_1{i}_2\dots <!--\; \dots \; -->i_n}}$ 是 ${\displaystyle m+n}$ 维列维-奇维塔符号。

根据这定义，${\displaystyle F_{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 的二阶对偶张量 ${\displaystyle G^{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}}}$ 是

换一种方法，将 ${\displaystyle F^{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}}}$ 的项目做以下替换： ${\displaystyle \mathbf{E}/c\to <!--\; \to \; -->\mathbf{B}}$ 、${\displaystyle \mathbf{B}\to <!--\; \to \; -->-<!--\; -\; -->\mathbf{E}/c}$ ，也可以得到二阶对偶张量 ${\displaystyle G^{\mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}}}$ 。

给予两个惯性参考系 ${\displaystyle \mathcal{S}}$ 、 ${\displaystyle \stackrel{¯<!--\; ¯\; -->}{\mathcal{S}}}$ ；相对于参考系 ${\displaystyle \mathcal{S}}$ ，参考系 ${\displaystyle \stackrel{¯<!--\; ¯\; -->}{\mathcal{S}}}$ 以速度 ${\displaystyle \mathbf{v}=v\stackrel{^<!--\; ^\; -->}{\mathbf{x}}}$ 移动。对于这两个参考系，相关的洛伦兹变换矩阵 ${\displaystyle {\mathrm{\Lambda <!--\; \Lambda \; -->}}_{\mathrm{\nu <!--\; \nu \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}}$ 是

其中，${\displaystyle \mathrm{\gamma <!--\; \gamma \; -->}=\frac{1}{\sqrt{1+{\left(\frac{v}{c}\right)}^2}}}$ 是洛伦兹因子，${\displaystyle \mathrm{\beta <!--\; \beta \; -->}=\frac{v}{c}}$ 是贝塔因子。

对于这两个参考系，一个事件的四维位置分别标记为 ${\displaystyle x^{\mathrm{\mu <!--\; \mu \; -->}}}$ 、 ${\displaystyle {\stackrel{¯<!--\; ¯\; -->}{x}}^{\mathrm{\mu <!--\; \mu \; -->}}}$ 。那么，这两个四维位置之间的关系为

在相对论里，使用洛伦兹变换，可以将电磁张量和其对偶张量从一个参考系变换到另外一个参考系，以方程表达，

使用张量标记，麦克斯韦方程组的形式为

其中，${\displaystyle {F^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}_{,\mathrm{\alpha <!--\; \alpha \; -->}}}$ 和 ${\displaystyle {G^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}_{,\mathrm{\alpha <!--\; \alpha \; -->}}}$ 分别是 ${\displaystyle F^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 和 ${\displaystyle G^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 对于曲线坐标（curvilinear coordinates） ${\displaystyle x^{\mathrm{\alpha <!--\; \alpha \; -->}}}$ 的协变导数， 是四维电流密度。

假设 ${\displaystyle x^{\mathrm{\alpha <!--\; \alpha \; -->}}}$ 为直角坐标，${\displaystyle x^{\mathrm{\alpha <!--\; \alpha \; -->}}=(ct,x,y,z)}$ ，则协变导数 ${\displaystyle {F^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}_{,\mathrm{\alpha <!--\; \alpha \; -->}}}$ 和 ${\displaystyle {G^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}_{,\mathrm{\alpha <!--\; \alpha \; -->}}}$ 分别以方程表达为

仔细分析，设定 ${\displaystyle \mathrm{\beta <!--\; \beta \; -->}=0}$ ，则可从 ${\displaystyle F^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 的麦克斯韦方程得到高斯定律的方程：

又可从 ${\displaystyle G^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 的麦克斯韦方程得到高斯磁定律的方程：

另外 ${\displaystyle \mathrm{\beta <!--\; \beta \; -->}=1,2,3}$ 的 ${\displaystyle F^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 的三条麦克斯韦方程，对应于麦克斯韦-安培定律的方程：

而 ${\displaystyle G^{\mathrm{\alpha <!--\; \alpha \; -->}\mathrm{\beta <!--\; \beta \; -->}}}$ 的三条麦克斯韦方程，对应于法拉第电磁感应定律的方程：