电磁场的数学表述

在电磁学里，有几种电磁场的数学表述，这篇文章会讲述其中三种表述。
向量场表述.
物理学家时常会用三维的向量场来表达电场和磁场。这些向量场在时空的每一点都有一个定义值，被认为是空间坐标和时间坐标的函数。电场和磁场分别写为 formula_1 和 formula_2 。
假设只有电场存在，而且不含时间，则电场称为静电场。类似地，假设只有磁场存在，而且不含时间，则电场称为静磁场。但是，假若其中任何一个场是含时的，则电场和磁场都必须一起以耦合的电磁场来计算。
自由空间的电场和磁场，不论是在静电学里，静磁学里或电动力学里，都遵守马克士威方程组：
以下表格给出每一个符号所代表的物理意义，和其单位：
对于线性物质，马克士威方程组内的电常数和磁常数，必须分别改换为线性物质的电容率和磁导率。有些更复杂的物质，由于电磁场的作用，会给出更复杂的响应。这些性质可以用张量来表示。假若电磁场变化很快，张量可能会含时间。假若电磁场的场振幅很大，张量也可能会跟电磁场有关，显示出非线性或非局域的物质响应。更详尽细节，请参阅光的色散和非线性光学。
1865年，詹姆斯·马克士威发表了马克士威方程组的完整形式于论文《电磁场的动力学理论》。后来，物理学家发现这组方程式居然与狭义相对论相容。更令人惊讶的是，两个处于不同参考系的观察者，所观察到的由两个不同物理现象产生的明显的巧合，按照狭义相对论，可以推论出并不是巧合。这论点非常重要，阿尔伯特·爱因斯坦的1905年讲述狭义相对论的论文《论动体的电动力学》用了大半篇幅解释怎样转换马克士威方程组。
当从一个参考系S1转换至另外一个以相对速度 formula_3 移动的参考系S2时，可以用劳仑兹变换来变换电场和磁场，其方程式为
其中，formula_6 和 formula_7 是参考系S2的电场和磁场，formula_8 是劳仑兹因子，formula_9 是光速。
假设相对运动是沿著x-轴，formula_10 ，则每一个分量的转换方程式分别为
很值得注意的一点是，假设对于某一个参考系，电场或磁场其中有一个场是零。这并不意味著，对于所有其他参考系，这个场都等于零。这可以从方程式看出，假设 formula_17 ，则
除非 formula_24 ，电场 formula_6 绝对不会等于零。
这并不意味分别处于两个不同参考系的观察者，所观察到的是两种完全不同的事件；它们所观察到的是以两种不同方式描述的同样的事件。爱因斯坦在他的1905年论文里所提到的移动中的磁铁与导体问题，是个经典例子。如图右所示，假若环状导线固定不动，而磁铁以等速移动，则穿过环状导线的磁通量会随著时间而改变。按照法拉第电磁感应定律，会产生感应电动势和伴随的电场，因而造成电流流动于环状导线。可是，假若磁铁固定不动，改由环状导线以等速移动，则在环状导线内部的电荷会因为感受到劳伦兹力而产生动生电动势和伴随的电场，因而造成电流流动于环状导线。假设，对于这两个案例，移动的速率相等，而方向相反。则感应出的电流是一样的。
势场表述.
在解析有些电磁学问题时，物理学家会暂时不计算电场或磁场，而先计算伴随的电势或磁势。电势 formula_26 为纯量，又被称为纯势；磁势 formula_27 为向量，又被称为向量势，或磁矢势。从这些位势，可以得到电场和磁场：
将这两个方程式代入马克士威方程式。法拉第电磁感应定律和高斯磁定律的方程式都会约化为恒等式。另外两个马克士威方程式变得比较复杂：
这两个势场方程式组合起来，具有与马克士威方程组同样的功能和完整性。原本的马克士威方程组需要解析六个分量。因为电场和磁场各有三个分量。势场表述只需要解析四个分量，因为电势只有一个分量，磁矢势有三个分量。可是，势场表述涉及了二次微分，方程式也比较冗长。
值得庆幸地是有一种方法可以简化这两个势场方程式。由于势场不是唯一定义的，只要最后计算得到正确的电场和磁场就行。这性质称为规范自由。对于这两个势场方程式，选择参数为位置和时间的任意函数 formula_32 ，势场可以改变为
电场和磁场不变：
这规范自由可以用来简化方程式。最常见的规范自由有两种。一种是库仑规范（），选择 formula_32 的值来使得 formula_38 。这对应于静磁学案例。这选择导致两个势场方程式分别变为
库仑规范有几点值得注意之处。第一点，解析电势很简单，这电势方程式的形式为帕松方程式。第二点，解析磁矢势很困难，这是库仑规范的一大缺点。第三点，库仑规范与狭义相对论不很相容，当转换参考系时，劳仑兹变换会撤除原本参考系的库仑规范。每做一次劳仑兹变换，就要再重新做一次库仑规范。第四点比较令人困惑，随著在某一局域的源电荷的改变，在任何位置的电势的改变是瞬时的，这现象称为超距作用（）。
例如，假使于下午一时，在纽约的电荷稍微移动了一下，那么在完全同样时间，一位假想观察者在上海会测量出电势有所改变。这现象似乎违背了狭义相对论，因为狭义相对论禁止以超过光速之速度来传输资讯、信号或任何实体。然而，由于没有任何观察者曾经测量到电势，他们只能测量到电场，而电场是由电势和磁矢势共同决定的。所以，由于磁矢势方程式为含时的，电场遵守狭义相对论要求的速度限制。所有可观测量都与相对论一致。
另外一种常见的规范自由是劳仑次规范。选择 formula_32 的值来使得 formula_42 。这选择导致两个势场方程式分别变为
算符 formula_45 称为达朗白算符。这两个势场方程式为非齐次波动方程式，其右边项目是波源函数。势场方程式有两种解答：一种是源头组态为未来时间（源电荷或源电流是设定于未来时间）的超前势，另外一种是源头组态为过去时间（源电荷或源电流是设定于过去时间）的推迟势。因为不符合物理的因果关系，不具有任何物理意义，物理学家时常会删除第一种解答，偏好选择第二种解答。
值得强调的是，劳仑次规范并不比其它规范更正确，势场本身是无法观测到的（当然，不考虑像阿哈诺夫－波姆效应的例外）。势场展示的任何非因果关系都会消失于可观测到的电场或磁场。只有电场或磁场是具有物理意义的物理量。
张量场表述.
电场和磁场可以综合起来，形成一个反对称性二阶协变张量，称为电磁张量，写为 formula_46 。电磁张量将电场和磁场聚集在一起，以方程式表达：
使用闵考斯基度规 formula_48 ，
将 formula_46 的下标拉高为上标，可以得到反变张量 formula_51 。采用爱因斯坦求和约定，这程序表达为
给予一个 formula_53 阶反对称协变张量 formula_54 ，则其 formula_55 阶对偶张量（） formula_56 是一个反对称反变张量：
其中，formula_58 是 formula_59 维列维-奇维塔符号。
根据这定义，formula_46 的二阶对偶张量 formula_61 是
换一种方法，将 formula_51 的项目做以下替换： formula_64 、formula_65 ，也可以得到二阶对偶张量 formula_61 。
给予两个惯性参考系 formula_67 、 formula_68 ；相对于参考系 formula_67 ，参考系 formula_68 以速度 formula_71 移动。对于这两个参考系，相关的劳仑兹变换矩阵 formula_72 是
其中，formula_74 是劳仑兹因子，formula_75 是贝他因子。
对于这两个参考系，一个事件的四维位置分别标记为 formula_76 、 formula_77 。那么，这两个四维位置之间的关系为
在相对论里，使用劳仑兹变换，可以将电磁张量和其对偶张量从一个参考系变换到另外一个参考系，以方程式表达，
马克士威方程组的张量标记.
使用张量标记，马克士威方程组的形式为
其中，formula_83 和 formula_84 分别是 formula_85 和 formula_86 对于曲线坐标（） formula_87 的协变导数，formula_88 是四维电流密度。
假设 formula_87 为直角坐标，formula_90 ，则协变导数 formula_83 和 formula_92 分别以方程式表达为
仔细分析，设定 formula_95 ，则可从 formula_96 的马克士威方程式得到高斯定律的方程式：
又可从 formula_98 的马克士威方程式得到高斯磁定律的方程式：
另外 formula_100 的 formula_96 的三条马克士威方程式，对应于马克士威-安培定律的方程式：
而 formula_98 的三条马克士威方程式，对应于法拉第电磁感应定律的方程式：