移动中的磁铁与导体问题

移动中的磁铁跟导体问题（moving magnet and conductor problem）是一个源自于19世纪的著名思想实验，涉及到经典电磁学与狭义相对论（classical electromagnetism and special relativity（英语：classical electromagnetism and special relativity））的交叉领域。在这问题里，相对于磁铁的参考系，导体以均匀速度 ${\displaystyle v}$ 移动。从磁铁的参考系与导体的参考系分别观测，流动于导体的电流相同。这事实遵守基本“相对性原理”：没有绝对静止标准，只可以观测到相对运动。但是，根据麦克斯韦方程组和洛伦兹力定律，导体的电荷，在磁铁参考系会感受到磁场力，而在导体参考系会感受到电场力。从不同的参考系观测，同样的物理现象竟会出现大相径庭的描述。这问题与迈克耳孙-莫雷实验启发了阿尔伯特·爱因斯坦的相对论。

在爱因斯坦发表的 1905 年论文里，首段描述的就是移动中的磁铁与导体问题：

关于不同参考系所观测到的现象，有一个绝对不可妥协的要求，那就是一致性。这是很重要的论点，因为关于趋动电荷、造成电流的作用力，牛顿力学预测一种变换（伽利略变换），而电动力学预测另外一种不同的变换（洛伦兹变换）。从许多实验的结果，像光行差、迈克耳孙-莫雷实验等等，建立了洛伦兹变换为正确无误。狭义相对论的成功发展将这与牛顿力学的不符之处彻底解决。关于作用力的变换，从一个参考系到另一个参考系，狭义相对论将这变换加以修改，促使与洛伦兹不变性一致化。稍后，会详细解释这些变换。

再进一步，假若能够将这些描述合并在一起，独立于参考系的考量之外，不必被各种各样的参考系牵扯，那会是多么美好之举。达到这目标的细微线索是，在一个参考系的磁场，在另一个参考系会变成电场。类似地，在一个参考系的电场的螺线部分（不是由电荷产生的部分），在另一个参考系会变成磁场；也就是说，螺线电场与磁场是一块铜币的两面。这意味着不同描述的吊诡可能只是语意方面的问题。为了避免这语意陷阱，可以合并描述为电磁张量。电场与磁场变成电磁张量的分量，在所有参考系里，形式相同。

从做实验可以观测到带电粒子的运动轨道，从而推断出经典电磁场的存在，经典电磁场理论能够解释带电粒子的运动行为。

物理学强烈地要求，所有观测必需对于粒子的运动轨道达成共论。例如，假若某观测发现一个粒子碰撞到标靶靶心，则所有观测必需达到同样的结论。这要求对于电磁场的属性与从一个参考系变换到另一个参考系的物理行为给予约束。这要求也对于电磁场怎样影响加速度给予约束，从而影响带电粒子的运动轨道。

爱因斯坦在他的1905年阐述狭义相对论的论文里提到的例子，即关于导体移动于磁铁产生的磁场的问题。在磁铁的参考系，导体会感受到磁场力。在导体的参考系，移动相对于磁铁，导体会感受到电场力。这磁铁参考系的磁场与导体参考系的电场，必需对于导体的运动造成一致性的结果。在1905年，爱因斯坦表明，麦克斯韦方程组所代表的场方程组正确无误，牛顿运动定律需要修改才能给出一致性的粒子轨道

假设磁铁参考系与导体参考系是以伽利略变换相关联，则这两个参考系所观测到的电磁场、作用力可以直截了当的计算出来，解释两个参考系所观测到的感应电流相同。这也会顺便给出一般方程，能够以一个参考系的电磁场表达另一个参考系的电磁场。

实际而言，两个参考系不是以伽利略变换相关联，而是以洛伦兹变换相关联。然而，在相对速度超小于光速之时，伽利略变换是非常优良的近似。

在以下论述里，没有单撇号的符号对应于磁铁的静止参考系，而有单撇号的符号对应于导体的静止参考系。

设定 ${\displaystyle \mathbf{v}}$ 为导体参考系对于磁铁参考系的相对速度，则位置 ${\displaystyle \mathbf{r}}$ 、时间 ${\displaystyle t}$ 的伽利略变换分别为

在伽利略变换下，${\displaystyle \mathrm{\nabla <!--\; \nabla \; -->}}$ 、${\displaystyle \frac{\mathrm{\partial <!--\; \partial \; -->}}{\mathrm{\partial <!--\; \partial \; -->}t}}$ 分别为

在磁铁的静止参考系，参数为场位置 ${\displaystyle \mathbf{r}}$ 、时间 ${\displaystyle t}$ 的磁场 ${\displaystyle \mathbf{B}(\mathbf{r},t)}$ 是由磁铁的形状和结构决定，与时间无关。电场为零， ${\displaystyle \mathbf{E}(\mathbf{r},t)=0}$ 。

通常，处于电场 ${\displaystyle \mathbf{E}(\mathbf{r},t)}$ 与磁场 ${\displaystyle \mathbf{B}(\mathbf{r},t)}$ 的导体内的带电粒子 ${\displaystyle q}$ 所感受到的洛伦兹力 ${\displaystyle \mathbf{F}}$ 为

由于电场为零，带电粒子所感受到的作用力为

在导体的静止参考系，磁场 ${\displaystyle {\mathbf{B}}^{\prime }}$ 与磁铁参考系的磁场 ${\displaystyle \mathbf{B}}$ 之间的关系为

由于磁场 ${\displaystyle {\mathbf{B}}^{\prime }}$ 含时间 ${\displaystyle t^{\prime }}$ ，根据麦克斯韦-法拉第方程，会有电场生成于导体参考系：

应用矢量恒等式与高斯磁定律，注意到 ${\displaystyle \mathbf{v}}$ 是常数，可以得到

对于这方程，存在有解答

在导体参考系，导体内部的电荷 ${\displaystyle q}$ 是呈静止状态，洛伦兹力的磁场力项目等于零，电荷感受到的作用力为

注意到 ${\displaystyle \mathbf{F}={\mathbf{F}}^{\prime }}$ ，在两个参考系观测到的作用力相等（这是期待的结果），因此，在两个参考系任何可观测到的后果，像感应电流，应该也相等，尽管在导体参考系，作用力是电场力，而在磁铁参考系，作用力是磁场力。

在伽利略变换下的电场与磁场也可以从洛伦兹力不变性猜出。由于加速度的伽利略变换为

作用力的伽利略变换为

思考移动于电磁场的一个带电粒子，其所感受到的洛伦兹力为：

其中，${\displaystyle \mathbf{w}}$ 、${\displaystyle {\mathbf{w}}^{\prime }}$ 是粒子分别在磁铁参考系、导体参考系的速度，${\displaystyle q}$ 是粒子的电量。

速度的伽利略变换为

将这变换公式代入，可以得到

从参考系里观测到的电磁场，不应该与粒子速度有关，唯一可能是设定

对于移动中的磁铁与导体问题，${\displaystyle \mathbf{E}=0}$ 、${\displaystyle {\mathbf{w}}^{\prime }=0}$ ，洛伦兹力分别为

将前面结果加以延伸，假设在磁铁参考系观测到的电场不等于零，则仍旧可倚赖麦克斯韦-法拉第方程做出解释，在导体参考系，这含时电场会贡献出磁场。通常而言，最终结果是

其中，${\displaystyle c}$ 是自由空间的光速。

将这些变换方程带入麦克斯韦方程组，可以发觉，假若在一个参考系里，麦克斯韦方程组完全成立，则在另外一个参考系里，麦克斯韦方程组几乎完全成立，只差几个不正确的项目。这些项目必需靠洛伦兹变换来修正。所以，这些变换方程有瑕疵，稍后会有更详细解释。

假设相对于磁铁参考系，导体参考系以速度 ${\displaystyle \mathbf{v}}$ 移动，则麦克斯韦方程组的变换方程为：

其中，${\displaystyle \mathrm{\gamma <!--\; \gamma \; -->}=\frac{1}{\sqrt{1-<!--\; -\; -->{(v/c)}^2}}}$ 是洛伦兹因子，与 ${\displaystyle \mathbf{v}}$ 平行的电磁场部分以符号 ${\displaystyle \parallel <!--\; \parallel \; -->}$ 为下标，与 ${\displaystyle \mathbf{v}}$ 垂直的电磁场部分以符号 ${\displaystyle \mathrm{\perp <!--\; \perp \; -->}}$ 为下标。

假设在磁铁参考系里，电场为零，${\displaystyle \mathbf{E}=0}$ ，则

在导体参考系里，电荷感受到的作用力为

这方程与先前从非相对论性牛顿运动定律获得的方程不同，相差一个洛伦兹因子 ${\displaystyle \mathrm{\gamma <!--\; \gamma \; -->}}$ 。注意到现在 ${\displaystyle \mathbf{F}\ne <!--\; \ne \; -->{\mathbf{F}}^{\prime }}$ ，在两个参考系观测到的作用力不再相等。物理学不能容忍这样的结果。幸好，有狭义相对论中流砥柱，能够给出两个参考系之间对于作用力的正确变换方程，化解这困境。

注意到在两个参考系里，洛伦兹力都具有同样的形式，虽然电磁场的数值大小不同：

如右图所示，稍微简化案例，设定磁场为 ${\displaystyle \mathbf{B}=B\stackrel{^<!--\; ^\; -->}{\mathbf{z}}}$ ，电场为 ${\displaystyle \mathbf{E}=0}$ ，导体以速度 ${\displaystyle \mathbf{v}=v\stackrel{^<!--\; ^\; -->}{\mathbf{x}}}$ 移动。那么，在磁铁参考系里，电荷感受的作用力为

在导体参考系里，磁铁相对地移动，电荷感受的作用力为

这两个作用力相差洛伦兹因子 ${\displaystyle \mathrm{\gamma <!--\; \gamma \; -->}}$ 。应用狭义相对论，可以解释这差别。在狭义相对论里，从磁铁参考系洛伦兹变换到导体参考系，时空坐标的变换方程为（注意到两个参考系的相对运动是沿着x-方向。）

这些变换引致作用力y-分量的差别：

为了遵守洛伦兹不变性，同样的作用力，在不同参考系观测到的数值可能不一样，这与伽利略不变性迥然不同。但是，回忆前段落根据洛伦兹力定律所做的分析，可以得到

两个结果完全相符合。虽然从不同参考系测量得到的作用力数值不一样，但是参考系与参考系之间的变换完全遵守相对论。

应用协变表述，闵可夫斯基度规的形式被规定为 ${\displaystyle diag(1,-<!--\; -\; -->1,-<!--\; -\; -->1,-<!--\; -\; -->1)}$ ，这是参考了约翰·杰克森（John D. Jackson）的著作《经典电动力学》中所采用的形式；并且使用了经典的张量代数以及爱因斯坦求和约定。

先列出解析移动中的磁铁与导体问题所需的变量与方程。定义带电粒子的四维速度 ${\displaystyle u_{\mathrm{\zeta <!--\; \zeta \; -->}}}$ 为

其中，${\displaystyle c}$ 是自由空间的光速，${\displaystyle \mathbf{v}=(v_x,v_y,v_z)}$ 是带电粒子的速度矢量。

定义电磁场张量 ${\displaystyle F^{\mathrm{\xi <!--\; \xi \; -->}\mathrm{\zeta <!--\; \zeta \; -->}}}$ 为

其中，${\displaystyle \mathbf{E}=(E_x,E_y,E_z)}$ 是电场，${\displaystyle \mathbf{B}=(B_x,B_y,B_z)}$ 是磁场。

结合牛顿运动定律与洛伦兹力定律在一起，以电磁场张量写为协变形式(covariant form)：

其中，${\displaystyle f^{\mathrm{\xi <!--\; \xi \; -->}}}$ 是四维力（four-force），${\displaystyle p^{\mathrm{\xi <!--\; \xi \; -->}}}$ 是四维动量，${\displaystyle \mathrm{\tau <!--\; \tau \; -->}}$ 是带电粒子的固有时。

应用洛伦兹变换，电磁场张量可以从一个参考系变换到另一个参考系：

其中，${\displaystyle {{\mathrm{\Lambda <!--\; \Lambda \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}}_{\mathrm{\xi <!--\; \xi \; -->}}}$ 和 ${\displaystyle {{\mathrm{\Lambda <!--\; \Lambda \; -->}}^{\mathrm{\nu <!--\; \nu \; -->}}}_{\mathrm{\zeta <!--\; \zeta \; -->}}}$ 是洛伦兹变换矩阵。

现在，可以开始解析移动中的磁铁与导体问题。与这问题相关的洛伦兹变换矩阵 ${\displaystyle {\mathrm{\Lambda <!--\; \Lambda \; -->}}_{\mathrm{\nu <!--\; \nu \; -->}}^{\mathrm{\mu <!--\; \mu \; -->}}}$ 是

其中，${\displaystyle \mathrm{\beta <!--\; \beta \; -->}=\frac{v}{c}}$ 是贝塔因子。

在磁铁参考系，观测到的电磁场张量 ${\displaystyle F^{\mathrm{\xi <!--\; \xi \; -->}\mathrm{\zeta <!--\; \zeta \; -->}}}$ 为

带电粒子（也可以说是导体）的四维速度 ${\displaystyle u_{\mathrm{\zeta <!--\; \zeta \; -->}}}$ 为

四维力 ${\displaystyle f^{\mathrm{\xi <!--\; \xi \; -->}}}$ 为

在导体参考系，观测到的电磁场张量 ${\displaystyle F^{\prime \mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}}}$ 为

其他项目都等零。所以电磁场张量 ${\displaystyle F^{\prime \mathrm{\mu <!--\; \mu \; -->}\mathrm{\nu <!--\; \nu \; -->}}}$ 为

在导体参考系，电场为

带电粒子（也可以说是导体）的四维速度 ${\displaystyle u_{\mathrm{\zeta <!--\; \zeta \; -->}}^{\prime }}$ 为

四维力 ${\displaystyle f^{\prime \mathrm{\xi <!--\; \xi \; -->}}}$ 为

这满足两个参考系之间对于四维力的洛伦兹变换：