运动介质的电动力学，这个启发爱因斯坦那一代科学家发展出狭义相对论的闻名问题，近来再一次成为科学界的热点话题。在热烈的讨论过程中，有一个问题反复出现，就是对于描写电磁场运动规律的麦克斯韦方程组，有非相对论极限吗？当运动介质的速度远低于光速的时候，我们可以不考虑相对论效应，用伽利略变换来近似洛伦兹变换吗？经过讨论，俺发现许多科学工作者对这个问题存在差别程度的误解，其中最大的一个就是以为介质速度不快就没有相对论效应，伽利略变换也近似可用。造成这一误解的重要原因照旧对狭义相对论的明白不够透彻，尤其是对狭义相对论与经典电磁学之间的密切接洽缺乏认识。下面，俺将通过这篇短文，专门给头条读者先容一下洛伦兹变换的低速近似问题。
01 只有在研究告诉运动的物体时才需要 狭义相对论吗？
许多先容相对论的科普文章和教科书都以相对论力学为重要先容对象，这一方面是由于力学研究的对象更贴近人们的生活，另一方面也是为了方便“夸耀”相对论的神奇，以便把“时间观光”、“回到未来”这些怪诞不经的幻想和薛定谔的那只猫一样，推上大众文化的餐桌，反复斲丧。其实，狭义相对论是19世纪下半叶科学家们在研究电磁征象的时候渐渐建立起来的。在笔者看来，对电磁征象而言，狭义相对论的出现非常自然和须要，相反非相对论的电磁天下才是怪诞且不合逻辑的。实际上，狭义相对论的提出，正是为了同一力学天下和电磁天下中关于参照系变换截然差别的观念[1]。让我们先从相对性原理讲起。
相对性原理是一条自然界的公理，即物理规律在任何惯性参照系下都保持一致。我们很容易查验，经典的牛顿力学满意相对性原理。在通过伽利略变换，把时空坐标从一个参照系变换到另一个参照系后，物体的坐标、速度、动量等都会发生改变；但决定这些物理量演化的规律保持雷同的形式，即牛顿三大定律在差别的惯性系下保持完全一样的形式。好比牛顿第肯定律：当一个物体处于不受力的状态时，它的速度保持不变。在实行室参照系S下牛顿第肯定律可以写成u=常数。如今假设一个以速度v相对于实行室参照系匀速直线运动的S′系，根据牛顿力学背后的绝对时空观，我们可以用如下伽利略变换建立差别惯性系下的坐标(x，y，z，t)和(x′，y′，z′，t′)之间的关系：x′=x-vt；y′=y；z′=z；t′=t，并得到在S′系下牛顿第肯定律的形式为u′=u-v=常数。可以看到，虽然在差别惯性系下观察者分别测到差别的速度u和u′，但不受外力的物体的运动速度在各自的参考系下均保持不变，这一运动学规律的形式是完全一致的。
从上面的例子可以看到，相对性原理在牛顿力学中黑白常显然的。但是在电磁天下里则完全相反：假如照旧坚持牛顿力学的绝对时空观，用伽利略变换来接洽差别惯性系的话，相对性原理是显然不建立的。大概也可以如许说，要使电磁征象的规律满意相对性原理，我们需要时空坐标以差别于伽利略变换的方式变换。下面就来看一个非常简单的例子[2]，假设在实行室系S中有一个试探点电荷被置于在一根沿着z方向的通电导线的附近x处，试探电荷保持静止，导线保持电中性并通以电流I=env，其中n是导线中电子的线密度，v是电子的漂移速度。在S系的观测者看来，导线中的电子以-v的速度沿着反方向运动而正电荷保持静止，从而形成+z方向的电流I，又由于电子和正电荷的线密度相称，都为n，因此正负电荷完全抵消，导线是电中性的。根据电磁学知识，我们可以轻松得到试探电荷处的磁场强度
。由于我们考虑的试探电荷在实行室系中处于静止状态，因而受到的洛伦兹力严格为零；再加上导线是电中性的，在试探电荷处不产生任何电场，在实行室系的观测者看来，试探电荷受到的总的电磁力严格为零，电荷不会产生任何运动。总结一下，在S系的观测者看来，
下面让我们换到另一个惯性参照系S′来观测同一个物理过程。如今我们选择的参照系是以导线中电子的漂移速度-v沿着导线匀速运动的参照系。假如按照牛顿力学的观点对时空坐标做如下伽利略变换：
那么在S′参照系的观察者看来，试探电荷以v的速度运动，导线中的电子是静止的，而正电荷以v 的速度沿着导线运动。根据电流的界说，我们得到在S′系的电流I′不变，照旧等于S系中观测到的电流I，同时导线依然是电中性的，从而产生与S系中一样的电磁场。如今我们可以总结一下对这一问题进行伽利略变换得到的效果：在S′系中观测到的电磁场严格等于在S系中的电磁场，也就是在伽利略变换下电磁场不变 E′ = E, B′ = B ，由于产生它们的“源”：电流和电荷密度都不变。但是，原先在S系中静止的试探电荷，在S′系的观测者看来以v的速度沿着导线方向运动，从而受到一个指向导线的巨细
的洛伦兹力，并向着导线方向加快运动。
如今问题来了，同一个物理过程，实行室参照系S和运动参照系S′的两个观察者得出截然差别的结论！一个认为试探电荷不受力，与导线之间的间隔保持不变；另一个却认为试探电荷会受力并加快运动。这个简单的案例，给出了对一个经典电磁学问题用伽利略变换进行时空坐标变换的一个佯谬。那么到底谁对谁错，又是在哪个环节出了问题？是相对性原理不实用于电磁征象？照旧伽利略变换不实用于电磁征象？
这是19世纪末物理学界最令人抓狂的问题，最后由那一代物理学家中的精良代表洛伦兹、庞加莱和爱因斯坦等给出了令人佩服的答案——狭义相对论。针对上述佯谬，答案应该是S系中观察者的观点是对的，电荷不受力。那么S′系的观察者做错了哪一点呢？问题出在从S系到S′系的时空坐标变换。狭义相对论告诉我们，在两个惯性参照系之间，严格的时空坐标变换形式是洛伦兹变换而不是伽利略变换，无论对力学征象照旧电磁征象都是云云。只是对于牛顿力学研究的宏观物体来说，伽利略变换是在低速(远低于光速)下的很好近似。然而对于电磁场如许的规范场来讲，它对应的微观粒子——光子是无质量的，假如要保存电磁场方程自身的动力学，在任何环境下伽利略变换都不是一个物理上可接受的近似。好比上述佯谬就是一个典型案例，哪怕运动速度v远远低于光速，这个问题照旧一样存在，是定性而非定量的错误问题。实际上对S′参照系中的观测者来说，他观测到的电流I′并不等于I，更重要的是他测到的导线不再是电中性的而是带有匀称的电荷密度ρ′！正是电荷密度ρ′产生的径向电场严格抵消掉了磁场产生的洛伦兹力，使得S′参照系中的观测者得到跟S系中一样的总力严格为零的结论，从而满意相对性原理。
接下来我们细致先容一下如何用洛伦兹变换来办理上述佯谬。首先利用洛伦兹变换写出分别在实行室参考系S和运动参考系S′中测到的时空坐标(x，y，z，t)和(x′，y′，z′，t′)之间的变换关系：
用一个简单的物理假设来明白导线中的电流I，就是在实行室系S中，导线中的电子一个个间隔匀称分列并以匀速-v沿着z方向运动，而正电荷也以同样的匀称的间隔分列并保持静止。在这一假想实行中，我们设定S系中的观测者测得导线是电中性的，即在S系中负电荷之间的间隔d-严格等于正电荷之间的间隔d+，设d-=d+=d，对应的正负电荷线密度的绝对值为
，电流为
。
图1 在洛伦兹变换下，两个惯性参照系S和S′中电荷运动环境
如今换到跟负电荷一起以-v速度沿着z方向运动的S′系。在S′系的观测者看来负电荷是静止的，而正电荷以速度v沿着z方向运动。跟伽利略变换不一样的是，在洛伦兹变换下，电荷之间的间距要发生变化，如图1所示，导致在S′系里正负电荷的密度是不一样的，从而在导线中产生净电荷密度。那么如何得到S和S′系中差别的电荷间距关系呢？这就要用到上面给出的洛伦兹变换。先来看S系的观测者是如何明白以-v速度匀速运动的负电荷间距的，在他看来，相邻两个负电荷之间的空间间隔是由下面两个时空事件之间“时空间隔”的空间分量来确定的。时空事件一：第N号负电荷在时候t位于时空坐标(x，y，z1，t)处；时空事件二：相邻的第N-1号负电荷在同时候t位于空间坐标(x，y，z2，t)处，于是在S系中测到负电荷之间的间距d-=z2-z1。这两次丈量事件在运动的S′系中对应的时空坐标分别为(x′，y′，z′1，t′1)和(x′，y′，z′2，t′2)。这里要注意，狭义相对论的一个重要结论是所谓“同时性”是相对的，在S系中看起来是同时的两个丈量事件在S′系中并差别时，因此t′1并不等于t′2，但在S′系中负电荷是静止的。因此，跟S系的观测者差别，为了确定相邻负电荷之间的间距，S′系的观测者并不需要两次丈量是同时的；换句话说，他同样可以利用这两次时空事件的坐标得到S′参照系中的负电荷间距d'-=z'2-z'1。如今我们就可以通过上面列出的洛伦兹变换公式得到d′-=γd-，由于γ是一个总是大于1的因子，因此一个匀速运动的物体在其运动方向上的长度要缩短一个因子γ-1，这就是狭义相对论里非常闻名的“尺缩”效应 (与间隔的尺缩效应相对应，时间差在变换参考系后延长一个因子γ称为“钟慢”效应[3]) 。同样的分析也实用于正电荷的环境，唯一差别的是，对正电荷来说环境恰恰相反，在S系中静止，而在S′系中匀速运动，因此可以得到d′+=γ-1d+。比较一下上面得到的S′系中正负电荷间距d′+和d′-，可以显着看出它们并不相称，因此S′系中的导线是带电的，净电荷线密度为
而电流为
如今我们已经得到S′系中的电荷密度ρ′和电流强度I′，下一步可以计算由上述电荷密度和电流强度引起的电磁场和试探电荷q的受力环境了。再提醒一下，在S′系里的试探电荷q以v沿着z方向运动。简单的计算过程如下：
效果是，在S′系的观测者同样得出试探电荷受力为零的效果，相对性原理得到满意。注意，在上面的推导中我们用到了光速c的界说
。从上面的效果可以看出，不管速度v的数值有多小，只有正确地运用洛伦兹变换，差别参照系的观测者们才气达成一致。在一个参照系里的观测者只看到磁场，而在另一个系里的观测者则同时测到磁场和电场，差别参照系下的场量不一样，但满意各自参照系下完全一样的麦克斯韦方程组，这就叫相对论协变性。那么洛伦兹变换能不能做低速近似呢？当然是可以的，洛伦兹变换形式中含有v/c因子，可以做小量睁开，最低阶是一阶，也就是把上式中所有的γ因子都近似成1。但从上面这个简单的例子可以看出，即使对v/c睁开到一阶，电磁场E和B也要发生变化，对电磁场来说，洛伦兹变换的低速极限永世不是伽利略变换。同时，也要提醒各人，假如把洛伦兹变换睁开到v/c的一阶，那么相对论协变性也只满意到v/c的一阶。下面，我们就以推导动体介质的电动力学方程为例，来先容一下如何利用洛伦兹变换的低速睁开来研究具体的电磁学问题。需要指出的是，在20世纪初，这一问题是启发爱因斯坦思考相对论的重要问题，并最后由闵可夫斯基完美收官。但对于21世纪的我们来说，这就是一道典型的电动力学习题。这就像第一个造出轮子的人肯定是天才，而第二个嘛可以算是个好学生，条件是他也能造得足够圆。
02 动体介质电动力学方程
在先容动体介质电动力学之前，先来简单先容一下何谓“介质”。介质指的是能对电磁场进行相应的各类物质。最简单的介质以产生电/磁偶极矩的方式对电磁场进行相应，其中电偶极子就是电荷分布缺乏中心对称的分子，而磁偶极子在微观上就是外层电子总角动量不为零的分子，可以看作是存在着围绕分子中心的微观电流。在描写宏观一连介质的电磁性子时，我们引入两个矢量P(r, t)和M(r, t)，分别代表空间r处的电/磁偶极矩密度。很容易证明，P(r, t)的散度·P(r, t)=ρP(r, t)是介质中的极化电荷密度，M(r, t)的旋度×M(r, t)=Jm(r, t)则是相应的分子电流密度。有了P(r, t)和M(r, t)，我们就可以讨论介质中的麦克斯韦方程组了。在此之前先澄清一点，在一些教材和文章里把以下这个麦克斯韦方程组说成是所谓“真空里的”麦克斯韦方程组是很不严谨的，由于它既是真空里的也是介质里的麦克斯韦方程组，只要方程右边的电荷密度同时包含自由电荷和极化电荷，电流密度同时包含自由电流和分子电流密度即可，所以应该称之为普适大概根本麦克斯韦方程组。
这是由于要夸大介质里的电磁场是独立的，并按照同一(跟真空中完全一样的)动力学规律演化的实实在在的物质，不是依附于介质的附庸，所以当介质开始运动的时候，其中的电磁场不会“月亮走我也走”，跬步不离地跟着介质一起运动。这一点跟介质中的声波存在本质的差别。
在介质中，电磁场会进一步引起电磁相应，即P和M，传统电磁学里将P和M所对应的极化电荷密度和分子电流密度与自由电荷产生的电荷/电流密度分开处理，因此界说了两个新的场量D和H，
原则上这两个介质中的辅助场量(auxiliary fields)由介质中的电磁场E和B自洽确定，而P，M和E，B(大概H)之间的关系称为本构关系，对于大部分介质来说，这个关系睁开到线性就根本够用了，称为线性介质。而这些线性介质的本构关系传统上由介电常数ε和磁导率μ来刻画(真空的介电常数和磁导率分别为ε0和μ0)。界说D=εE，B=μH，并由此得到P=(ε-ε0)E，M=
和如下“闵可夫斯基形式”的麦克斯韦方程组：
其中，ρf和Jf分别代表自由电荷/电流密度。前面已经先容过普适麦克斯韦方程组在洛伦兹变换下是协变的，即保持方程形式不变，只要把所有在方程里出现的量，包括场、时空坐标和对时空坐标的导数都从不带撇的参照系换到带撇的就行。那么动体电动力学方程假如是一道习题的话，它的题面是什么呢？在这里，我们把它严格地写在下面。
动体介质电动力学问题：已知一种电磁介质，其特性在静止时由介电函数ε和磁导率μ来刻画，求当这块介质以匀速v相对于实行室参照系运动时所对应的本构关系。
接下来跟前面一样，我们把实行室参照系记为S，把随着介质一起运动的参照系记为S′。由于在S′中介质保持静止，其电磁学特性由ε和μ来刻画，为相识决上述动体介质电动力学问题，只要简单地做一个从S′系到S系的参照系变换就行。在近期的讨论中，也有同学提出假如有多块运动介质怎么办？其实这正是使用实行室参照系的优势，不管有多少块介质以差别的速度运动，都可以变换到唯一的实行室参考系来同一形貌。下面，我们就用洛伦兹变换来办理这个问题。从前面这个特殊例子，可以知道在洛伦兹变换下，电磁场E，B和源场电荷/电流密度ρ和J都必须跟着变，这里我们先给出严格的洛伦兹变换下场和源的正变换和逆变换形式：
而且我们已知在S′系中的本构关系为
如今要求在S系中的电磁学方程。已经知道，S系中电磁学方程的形式照旧一样的麦克斯韦方程组，唯一不清楚的就是S系里的本构关系。这也很容易求，只要在洛伦兹变换下将S′系的P′和M′变换到S系的P和M就行了。下面就来求这个变换关系。先看电极化密度P。根据界说，体系里的极化分子贡献的宏观极化强度可以表达为
，其中δV(R)为空间坐标R处的体积元，求和 i 遍历该体积元内的所有极性分子，δri代表第i个分子正负电荷中心之间的位移矢量。在S系中介质中的极性分子以v的速度沿着x轴运动，而在S′系中则是静止的，将我们在上一节中对电荷密度的分析应用于此，可以得到
和
，由此可以得到这部分的贡献在变换以后平行分量不变，而垂直分量要乘以一个γ因子。同时，在S系中除了上面考虑的极化分子会贡献宏观极化强度外，以速度v运动的分子电流也会对总极化强度产生额外的贡献。这部分贡献可以如许计算。首先在S′系中与磁化强度M′(r′)对应的分子电流为J′m=′×M′(r′)，由上述电流/电荷密度变换关系，变换到S系以后会产生额外的电荷密度为
。由此，很容易证明这部分额外电荷密度分布对极化强度的贡献为
。将上述两部分相加，得到S系中的电极化强度：
利用磁化强度与微观分子电流之间的关系，我们可以类似地得到磁化强度在差别参照系之间的变换关系，这里不做详细的推导，有爱好的读者可以参考相关文献[4]，最简便漂亮的推导可以在泡利的Theory of Relativity中找到。与电极化强度类似，在S系中的磁化强度也有两项贡献，除了常规的分子电流带来的磁化以外，运动介质中电极化场的运动效应也将带来额外的贡献，两项相加可以得到：
下一步，我们利用S′系中已知的静态介质本构关系将P′和M′表示成E′和B′，然后再利用上述洛伦兹变换将E′和B′变换成E，B，最后将表达式里所有的γ都近似成1，就得到了准确到v/c一阶的S系中的本构关系如下[5]，
闵可夫斯基于1907年得到了上述方程。它的物理含义非常简便明白，假设一块介质在静止的时候可以用介电函数ε和磁导率μ来形貌其电磁特性，那么当它以速度v运动时，就成为了一块具有“磁电”应的介质，也就是说磁场可以诱导出电极化，而电场也能诱导出磁极化，这种磁电耦合强度，与介质和真空中的光速倒数平方之差成正比，也与介质运动的速度v成正比。当然，在这个简单的例子中，我们只讨论了最简单的匀称线性介质，在闵可夫斯基之后的一百多年时间里，又有不少文献讨论了各种更复杂的环境，好比非匀称介质和包括变形和转动在内的广义运动介质等。但无论是什么复杂的环境，麦克斯韦方程组的协变性都不会受介质运动影响，运动介质带来的影响只能表如今本构关系上，这是闵可夫斯基运动介质电动力学理论最精华的地点。介质运动带来的最低阶修正正比于介质运动速度的一次方，完全是相对论效应。
03 什么是“伽利略电磁学”？
上面我们以如何求运动介质的本构关系为例，先容了如何做洛伦兹变换的低速睁开，即严格按照洛伦兹变换的步调，同时做电磁场、源场、时空坐标、时空坐标导数的变换，得到最后的表达式后，再对其中出现的所有v/c项做睁开到一阶。在大多数环境下就是把其中出现的γ因子近似成1而已。在笔者看来，如许的睁开毫无须要，由于哪怕不做任何近似，洛伦兹变换就已经是线性变换了，足够简单了。在这个计算资源丰富的时代，做这点近似带来的变化无非是写步伐的时候写一行照旧两行，按计算器的时候按三下照旧五下的区别。当然，做了近似以后，在分析表达式上我们可以用同一的矢量方程描写，不必把平行和垂直分量分开写，看起来会简便一些。然而在历史上，另有一种在洛伦兹变换线性睁开的基础上，针对差别的具体问题对场量再做进一步近似的方法，称为“伽利略电磁学”[6]，下面我们再简单先容一下这种近似方法和伽利略变换的关系。
简单地说，这种“伽利略电磁学”其实就是我们认识的准静态近似，即在某些特殊环境下，可以把动态的电磁学问题近似成静电学大概静磁学问题。相应的，准静态近似也有两种，分别对应静电学和静磁学问题，称为电极限和磁极限。对于电极限准静态近似大概“电学伽利略电磁学”来说，这类问题重要是研究与时间缓变电荷密度相关的电磁学问题。在这种环境下，我们可以把其中的纵向电场和电荷密度看作零阶量，磁场强度和电流密度看作一阶小量，而电场的横向分量则作为二阶小量被忽略掉。如许的电场就是无旋场，可以写作某个标量势的梯度，E(r, t)=φ(r, t)，而且t 时候的标量势场φ(r, t)可以由同一时候t 的电荷密度分布ρ(r, t)通过解泊松方程来确定，相应的磁场则由安培定律来确定，总结如下：
类似的，另有另一类电磁学问题是与随时间缓变的电流分布相关，在这类问题中，可以把磁场强度和电流密度看作零阶量，把横向电场看作一阶小量，而把电荷密度与电场这两者随时间的变化率看作二阶小量予以忽略(等价于问题中电流密度的散度为零)。这种近似就是磁极限准静态近似大概“磁学伽利略电磁学”，使得我们可以在安培定律中忽略掉位移电流的贡献。在这种近似中，t 时候的磁场强度H(t)完全由同一时候t 的无散度电流分布J(r, t)通过解瞬时静磁学问题来得到，磁极限准静态近似下的麦克斯韦方程组如下：
在凝聚态物理中，求解金属中等离激元(plasmon)的方程就是典型的“电学伽利略电磁学”，而求解超导体中磁通运动的方程则是典型的“磁学伽利略电磁学”。
那么如今问题来了，上述两套准静态极限下的近似方程满意伽利略变换吗？关于这个问题的讨论，在20世纪的许多文献里黑白常杂乱的。在我们给出明白的答复之前首先要澄清一下这些问题，即“当我们在说某个方程组满意伽利略变换的时候，我们到底在说什么”？在许多文献[7，8]里，作者实际上是在说如许一个逻辑过程。第一步，对时空坐标做伽利略变换，然后问需要对电磁场和源场做什么样的相应变换可以保持变换后的方程形式不变，通过这一条件得加入和源的变换关系。这么做其实是在反推洛伦兹变换中场和源的变换方式在满意上述准静态条件时的近似形式。但问题是源场，也就是电荷密度和电流密度，可以由微观带电粒子的坐标和运动速度完全确定，所以它们的变换形式是可以通过伽利略变换直接得到的，不必通过电磁学方程不变这个条件反推。那么，只有通过上述过程反推出来的电荷密度和电流密度的变换形式与伽利略变换直接得到的一致，才可以说如许的近似方程组满意伽利略变换，假如不一致则说明这里面有不自洽之处，源的变换关系不能通过伽利略变换得到。
先来看电极限的准静态方程组在伽利略变换下的举动，相关综述文献[9]中给出假如要求电极限的准静态方程组在伽利略变换下不变，在做时空坐标变换的同时，场和源必须同时做如下变换，
从中我们可以看出电荷密度和电流密度的变换关系与通过伽利略变换直接得到的完全一致，因此电极限下的准静态方程组简直满意伽利略变换。这在物理上也很好明白，在这组方程下t 时候的电磁场完全由同时候下的电荷密度分布ρ(r<span >, t)和电流密度分布J(r, t)决定，电磁场自身独立的动力学特性被完全忽略以至于成为物质场ρ(r, t)和J(r, t)的“附属场”，从而满意伽利略变换。
对于磁极限下的准静态方程，综述文献中也给出了场和源的变换关系如下。
假如要求磁极限的准静态方程组在伽利略变换下不变，在做时空坐标变换的同时，
很显着，这里要求的源场，即电荷密度和电流密度的变换关系完全不能由伽利略变换直接得到。因此，磁极限准静态近似下的变换关系不能看作是跟伽利略变换自洽的，毕竟上它只能通过对洛伦兹变换做低速睁开，并忽略掉上述环境下场量的高阶小量才气得到。这一有趣的电和磁的不对称性是有其深刻物理含义的，巨大的物理学家费曼在其《费曼物理学讲义》第二卷第一章中体系地论述了这种电磁不对称性，并指出磁征象在本质上是完全相对论性的，不存在“非相对论磁学”，我们拟另文专门睁开讨论这一问题。另外，我们还要指出一点，无论是电极限照旧磁极限下的“伽利略电磁学”，本质上都是在某些特殊条件下彻底忽略电磁场自身的动力学，而不是对电磁场动力学去做各种错误的“近似”。最后，利用变换(16)和(17)，头条读者可以自己再去做一遍上文中运动介质中的电动力学问题，会发现得到的效果与正确的闵可夫斯基形式(13)并不一致，这也是由于在“伽利略电磁学”中忽略电磁场动力学所导致的。
#头条创作挑战赛# |
