麦克斯威方程.docVIP

第十一章 经典电磁场理论 对电和磁的兴趣由来已久。正式发表的关于电的第一条定量定律是库仑定律（ Coulomb，1785）。1820 年奥斯特（Oersted，丹麦）发现通电的导线对磁针有作用力。毕奥-萨伐尔确定了这个力正比于电流强度，反比于导线与磁极的距离。与此同时安培（Amperè）把磁性归结为电流和电流的相互作用，提出安培定律。但安培被自己提出的超距作用的分子电流假说所迷惑，没能够发现电磁感应现象。这个对形成电磁场的概念致关重要的现象在1831年被法拉第（ Friday）发现。法拉第创建的力线和场的概念意味深长。麦克斯威（Maxwell，1865）在此基础上建立了电磁场的完整理论——麦克斯威方程。我们将以静电磁场的知识为基础，在洛伦兹对称性和规范对称性的指引下虚拟一个麦克斯威方程的发现过程。把四维矢势作为基本自由度，构造电磁场的拉格朗日量并给出有普遍意义的联系连续对称性与守恒量的奈特(Noether)定理。 11.1 场方程 让我们把上一章静电磁场的公式归纳一下： （11.1） （11.2） 下标和强调该量与静止电荷和稳恒电流相联系。上述公式仅当电磁场不随时间变化时成立， ， （11.3） 随时间变化的电磁场满足什么样的方程呢？相对论的协变性可以引导我们猜出正确的结果。回忆第八章由电荷守恒得到的连续性方程（8.36）式 （11.4） 其中四维矢量算符 （11.5） 而四维位移矢量定义为 （11.6） 在（11.4）式中定义了 （11.7） 连续性方程的协变性要求上式定义的是一个四维反变矢量，称为四维电流密度矢量。因此在洛伦兹变换下，电流密度和电荷密度混合在一起，如四维位移矢量一样变换。从（11.1）和（11.2）式看到电势和矢势分别与四维矢量的时间分量和空间分量对应。这提示我们把（11.1）和（11.2）式写成时间和空间分量对称的形式。首先，为了把（11.1）式和（11.2）式统一成一条四维矢量方程，（11.1）的右边要写成，即在（11.1）两边乘以， （11.8） 和（11.2）式对比，可以认出矢势和“电势”要构成一个四维矢量。引入四维势，其各个分量定义为 （11.9） 假定四维势对非稳恒电磁场也适用，所以式中没有下标c和a。 （11.1）和（11.2）式的拉普拉斯算符是三维伽利略标量算符，在相对论协变理论中要推广为四维标量算符（达朗贝尔算符）， （11.10） 因为我们的讨论仅局限与平直时空，所以和，可以不区分上指标和下指标。但我们还是尽量保留上下指标，以便于检查方程的正确性。 另外（11.2）式中的矢势散度在相对论协变理论中也要写成四维标量 （11.11） 其中重复指标隐含求和。如不特别声明，以后我们都采用这种约定。 至此，（11.1）和（11.2）变成相对论协变的形式， （11.12） ， （11.13） 两式还是写不成一个统一的四维矢量方程，原因是（11.12）式的左边少了一项。为了物理的美，所有人都会毫不犹疑地尝试在（11.12）式的左边添上，它是电磁场的时间导数，对稳恒电磁场它等于零。于是（11.12）和（11.13）可以合写成紧凑的一条四维矢量方程， （11.14） 这就是我们所寻找的电磁场的场方程，它被实验证明是普遍适用的。对稳恒电磁场，容易验证（11.14）式可以重新回到（11.1）和（11.2）式。方程左边第二项的重复指标隐含着求和。相对论协变性要求四维势是一个（反变）四维矢量。 如果已经肯定（11.9）式定义的四维势是一个四维矢量，事实上（11.14）式是唯一的与稳恒电磁场方程（11.1）和（11.2）式一致的相对论协变的场方程。特别值得一提的是，方程（11.14）和电荷守