以太的兴衰
关键词
发光以太; 迈克尔逊-莫雷实验; 零结果; 以太漂移; 洛伦兹-菲茨杰拉德收缩; 洛伦兹变换; 参考系; 狭义相对论; 辅助假设; 判决性实验
为什么必须有以太——一个从波的定义推出来的东西
十九世纪的物理学家相信以太,不是因为想象力不足,而是因为波的概念本身要求一个介质。
声波是空气的疏密相间,水波是水面的起伏,绳上的波是绳子的形变。波是介质的某种状态在传播,而不是某种东西在飞行。 惠更斯在 1678 年提出光的波动说时就已引入以太;当菲涅耳的干涉与衍射实验在十九世纪初决定性地压倒了牛顿的微粒说,"光是波"就成了共识,而"波必有介质"是当时无人质疑的推论。
麦克斯韦在 1860 年代把电与磁统一成方程组,并推出电磁波的速度恰好等于光速——这既是最伟大的成功,也把问题推到了极致:方程给出的速度 $c$ 是相对于什么测量的? 在所有已知的波动方程里,那个速度都是相对于介质的。麦克斯韦本人认为以太是电磁现象的物质基础,并试图为它建立力学模型。
麦克斯韦 1865 年的《电磁场的动力学理论》给出波动方程。波速由电学常数算出,数值等于已经测到的光速。麦克斯韦方程组 并不自动告诉你,$c$ 是相对于哪一个介质。
电磁波的产生与传播 可以在我们称为真空的地方发生。十九世纪的人却只能把它想成以太的弹性振动。
1861 到 1862 年,麦克斯韦还用「物理力线」给以太涡旋画像。1865 年的动力学理论把力学脚手架拆掉许多,场方程开始自己站住。以太作为名词仍在,作为可计算的机械结构却越来越空洞。这是后来爱因斯坦能够「删除」它的伏笔:先被掏空,再被声明多余。
惠更斯的《光论》写于 1678 年,1690 年才出版。菲涅耳在十九世纪初用干涉与衍射把波动说变成可计算的光学。以太随着「光是波」这一共识,变成理论里好像少不了的构件。
于是以太被赋予了一份自相矛盾的性质清单:它必须极其坚硬(光速极高,而波速随介质刚度上升);又必须完全不阻碍天体运动(行星在其中穿行数十亿年而轨道无衰减);它必须充满全部空间,包括真空。这份清单的怪异在当时被视为待解决的难题,而不是理论错误的信号。
如果以太真有力学结构,行星长期运动应当留下阻力的痕迹。观测到的行星轨道并不支持这种阻尼。问题因此被推给「以太特殊」:它传光时像刚体,对天体又像空的。这种双重身份能把波动类比维持下去,却越来越难写成一个自洽的物质模型。
菲涅耳的以太还要解释偏振与双折射。介质必须能支持横波,因而显得像固体。真正的流体很难携带偏振。
以太于是既要像固体,又不能挡住地球。这不是修辞上的尴尬,而是波动光学加进电磁学之后留下的力学账单。
把以太写成「迷信」会低估当时的推理链条:波动说一旦成立,介质几乎是定义里的必选项。真正别扭的是力学账单——刚度要高到支撑光速,阻尼又要低到放过行星。十九世纪物理学家并非不知道这份矛盾,而是把它当作「以太特殊」的待解性质,而不是立刻放弃介质图像的信号。
迈克尔逊-莫雷实验:一次为测量而设计的失败
如果以太静止而地球以约每秒 30 公里绕日运行,那么地球应当感受到"以太风"。沿风向与垂直风向传播的光,往返时间应有微小差异。
迈克尔逊在 1881 年首次尝试,1887 年与莫雷合作做出了精度高得多的版本:把干涉仪装在浮于水银上的巨大石板上以便平稳旋转,用多次反射把光程延长到十米量级。预期的条纹移动约为 0.4 个条纹,而仪器能分辨约百分之一条纹。石板、水银、十一条米与 0.4 对 0.01 的条纹预算,见 迈克尔逊–莫雷 1887。本页停在以太概念如何被发明、如何被收缩假说接住、如何从方程里退出;装置页停在那一台能旋转的刚性光路。
结果是零。 无论怎样旋转、在一年中的哪个时节测量,都没有观察到预期的差异。
迈克尔逊 1881 年在波茨坦做了第一版。精度不够,结论当时就有争议。1887 年与莫雷在克利夫兰把光程拉长,并把干涉仪浮在水银上旋转。
预期约 0.4 条纹的移动没有出现。他们在一年中的不同时节重复测量,以排除地球碰巧与以太瞬时共速。
肯尼迪与桑代克在 1932 年把两臂做成不等长。迈克尔逊—莫雷的零结果,还可以只用长度收缩来解释。不等臂实验的零结果还要求频率——也就是时钟的快慢——随速度按相对论的方式改变。
零结果在升级,辅助假设也必须跟着加码。收缩不再是单独够用的补丁,因为它解释不了两臂不等时的相位。
特劳顿与诺布尔在 1903 年测量带电电容器在以太风中应受到的力矩,结果仍是零。第二类零结果与迈克尔逊—莫雷同属一类:仪器够精密,预期效应看不见。洛伦兹理论同样可以用收缩与局部时间把这类实验解释掉。零结果可以堆积,却不必自动改写理论的核心实体。
戴顿·米勒在 1920 年代宣称测到很小的以太风。香克兰等人在 1955 年重新分析那些干涉仪记录,把表观位移主要归因于温度梯度。迈克尔逊—莫雷的零结果并不是此后再无争议。争议是在重复与再分析里被压下去的,而不是一次实验当场结束辩论。
艾夫斯与斯蒂尔韦尔在 1938 年用运河射线测量横向多普勒效应,为时间膨胀提供了直接检验。肯尼迪—桑代克要求时间也变,这条实验把时钟快慢写成可测的频移。零结果挡住以太风,正结果把时间膨胀写进光谱。两件事一起,才把「只有收缩」的补丁从完备解释里请出去。
这个实验常被称作"史上最著名的失败实验",这个说法值得推敲。它没有失败——它成功地测出了一个数值,只是那个数值是零。 而在实验科学里,一个高精度的零结果与一个非零结果同样是信息。"什么都没测到"之所以能成为结论,前提恰恰是精度足够高:只有当仪器足以看见预期效应时,看不见才有意义。
零结果要成为判决,必须先回答:若以太风存在,仪器是否一定会看见。迈克尔逊把光程、旋转与季节重复写成可核对的预期,才让「看不见」等于「相对速度小到可忽略」。后来米勒的再分析提醒我们:争议可以在几十年里反复,真正压下去的是重复实验与系统误差审计,而不是一次实验室戏剧。
拯救以太:辅助假设的三次尝试
零结果并没有立刻杀死以太。物理学家做了理论遇到反常时通常会做的事:修改辅助假设,保住核心。
以太拖曳说。 也许地球把附近的以太一起拖着走,因此地表测不到相对运动。这个假设与其他证据冲突:布拉德雷在 1728 年发现的光行差——恒星视位置随地球公转做周年摆动——要求以太不被地球拖动;而斐索 1851 年的流水中光速实验给出的是部分拖曳的结果。三组实验要求三种不同的拖曳程度,拖曳说无法自洽。
发射说。 也许光速相对于光源恒定,像子弹一样。这被双星观测排除:如果光速随光源运动叠加,绕转双星发出的光会以不同速度到达,其视轨道将严重畸变,而观测中并未出现。
洛伦兹-菲茨杰拉德收缩。 最深刻的一次尝试:假设物体沿运动方向按因子 收缩,收缩量恰好抵消光程差,使实验必然给出零结果。洛伦兹进一步引入"局部时间",最终写出了与今天完全相同的洛伦兹变换。
菲涅耳在 1818 年给出部分拖曳系数 。斐索 1851 年用流水测量光速,结果接近这个系数。完全拖曳与零拖曳各自能解释一部分现象,却解释不了全部。以太理论不是缺少补丁,而是补丁之间互相打架。
菲茨杰拉德 1889 年在 Science 上发表短函,提出沿运动方向收缩。洛伦兹 1892 年独立提出同一类收缩,并从物质中的电磁力去分析它。洛伦兹变换 在 1904 年写出后来沿用的形式。
数学已经够用,观测也被写进同一套变换。绝对静止的以太系却仍留在理论里,只是所有测量都恰好探不到它。
这一步的性质需要说清楚。它常被贬为"临时凑数的补丁"(ad hoc),但这个评价不完全公平:洛伦兹的收缩来自他对物质中电磁力的分析,有理论动机而非纯粹拟合。它真正的问题是保留了一个原则上不可观测的对象——绝对静止的以太系依然存在于理论中,只是所有测量都恰好无法探测它。一个能解释一切观测、却让自己的核心概念永久不可观测的理论,已经在为自己的多余性提供证据。
辅助假设的三次尝试,展示的是理论保护带如何运作:拖曳、发射、收缩各自能吞掉一部分反常,却在别的观测上露馅或互相打架。洛伦兹变换在数学上已经「够用」,却仍保留一个原则上不可测的绝对静止系——能解释一切、却让核心实体永久隐身,本身就是多余性的证据。
爱因斯坦的手术:不是推翻,是删除
1905 年,爱因斯坦的做法不是给出反驳以太的新实验,而是换掉了问题的提法。
他把两条原则当作公设:物理定律在一切惯性系中形式相同;光在真空中的速度在一切惯性系中相同,与光源运动无关。从这两条出发,洛伦兹变换、长度收缩、时间膨胀全部作为推论得出。
于是以太变成了什么?变成了一个不再出现在任何方程里的名词。 爱因斯坦在论文中的表述是:引入"发光以太"将被证明是多余的。
这一步的哲学意义比技术意义更大:它不是证明以太不存在,而是证明它不做任何工作。 一个不影响任何可观测量的实体,在物理学中就此失去了立足点。收缩不再是以太对物体的作用,而是时空结构在不同参考系之间的表现——同一套数学,换了一个不需要额外实体的解释。
值得注意的是:爱因斯坦本人多次表示,迈克尔逊-莫雷实验对他的思路影响有限。 驱动他的更多是电磁感应中的不对称性——磁铁相对线圈运动与线圈相对磁铁运动,观测效果相同,理论解释却不同(一个用洛伦兹力,一个用感生电场)。"关键实验直接催生新理论"的教科书叙事,在这个最经典的案例里也并不准确。
彭加勒在同一年也讨论电子动力学与变换的群性质。后来的优先权争论改变不了这件事:零结果可以被洛伦兹理论消化。让以太从方程里消失的,是一套不再需要它的公设。
霍尔顿根据文本与回忆指出,迈克尔逊—莫雷实验并非那篇论文的主要引擎。教科书喜欢画一条从「失败实验」到「推翻以太」的直线。真实顺序要拆开写:零结果先被收缩假说吸收,相对论再用两条公设重写运动学,以太作为名词退出方程。
狭义相对论 与以太的关系,是后一种理论让前一种实体失业,而不是实验室里看见以太碎掉。两条公设已经足够推出长度收缩与时间膨胀。收缩不再是「以太压扁了尺子」,而是不同惯性系对同时性的判断不同。
尺子两端的校准手续变了,读数就变了。以太没有被实验击碎,它是在这套手续里找不到一个可测量的速度。
爱因斯坦的手术之所以像「删除」而非「击碎」,是因为实验室从未给出以太碎裂的照片。两条公设重写运动学之后,发光以太不再进入任何可观测量的计算。同一套收缩与时间膨胀公式,从「介质对物体的作用」变成「同时性约定不同」——实体失业,数学留下。教科书若画成「失败实验直接推翻以太」,会把霍尔顿早已拆开的时间顺序重新焊死。
事实卡
惠更斯 1678 年提出光的波动说并引入以太;麦克斯韦 1865 年给出电磁波方程,其波速等于光速。
迈克尔逊-莫雷实验(1887)预期条纹移动约 0.4 条,实测未见显著位移,此后多次重复精度不断提高,结果始终为零。
光行差(1728)要求以太不被地球拖动;斐索实验(1851)显示部分拖曳;双星观测排除发射说。
洛伦兹于 1892—1904 年间发展出收缩与局部时间,写出洛伦兹变换的完整形式。
爱因斯坦 1905 年《论动体的电动力学》以两条公设重建理论,宣布以太为多余。
引用
引入"发光以太"将被证明是多余的,因为按照这里发展的观点,既不需要一个具有特殊性质的"绝对静止空间",也不需要给发生电磁过程的真空中的点指定速度矢量。
跨域连接
- 狭义相对论:以太的消失与相对论的建立是同一件事的两面——不是先否定以太再建立新理论,而是新理论建立后以太自动失去位置。理解这个顺序,才能理解为什么爱因斯坦的论文里几乎没有花篇幅"反驳"以太:他做的是重写前提,而非逐条驳斥。
- 可证伪性:这个案例常被当作判决性实验的典范,实际过程要复杂得多——零结果先后被三种辅助假设吸收,其中一种(洛伦兹收缩)在数学上完全成功。 迪昂-蒯因论题在此有教科书级的展示:任何单个实验都无法孤立地否证一个理论,因为总可以修改辅助假设。真正终结争论的是新框架的简洁性,而不是那个零结果本身。
- 范式:洛伦兹与爱因斯坦在 1905 年拥有完全相同的变换公式,却给出不同的物理解释——一个保留以太系,一个取消它。这是不可通约性最干净的实例:两套语言对所有实验作出相同预测,选择依据不是证据而是理论的经济性与融贯性。
- 干涉与衍射:正是干涉现象在十九世纪初确立了光的波动性,从而使以太成为必需;也正是干涉仪在世纪末给出了让以太陷入困境的测量。同一个实验原理先立后破,是这段历史中最具反讽意味的对称。
- 测量与公差:零结果的说服力完全建立在仪器精度上——必须先证明"若效应存在则必被看见","没看见"才等于"不存在"。迈克尔逊在光学精密测量上的工作(他因此获 1907 年诺贝尔物理学奖)是这个结论成立的前提,也说明为什么计量精度本身是可以产出物理结论的。
这段兴衰史也改写了「判决性实验」的课堂叙事:零结果可以被收缩假说消化多年,真正让以太退出方程的是更经济的公设结构。迪昂—蒯因意义上的辅助假设修改,在这里不是抽象哲学,而是洛伦兹、菲茨杰拉德与爱因斯坦各自留下的纸面痕迹。理解以太,等于理解科学如何在保住观测成功的同时,裁掉不再干活的实体。
参考文献
- Michelson, A. A. & Morley, E. W. On the Relative Motion of the Earth and the Luminiferous Ether. American Journal of Science 34, 333–345, 1887.
- Lorentz, H. A. Electromagnetic Phenomena in a System Moving with Any Velocity Smaller than That of Light. 1904.
- Einstein, A. Zur Elektrodynamik bewegter Körper. Annalen der Physik 17, 891–921, 1905.
- Whittaker, E. T. A History of the Theories of Aether and Electricity. Nelson, 1951.
- Holton, G. Einstein, Michelson, and the "Crucial" Experiment. Isis 60(2), 133–197, 1969.
- Maxwell, J. C. A Dynamical Theory of the Electromagnetic Field. Philosophical Transactions of the Royal Society 155, 459–512, 1865.
- FitzGerald, G. F. The Ether and the Earth's Atmosphere. Science 13, 390, 1889.
- Kennedy, R. J. & Thorndike, E. M. Experimental Establishment of the Relativity of Time. Physical Review 42, 400–418, 1932.
- Ives, H. E. & Stilwell, G. R. An Experimental Study of the Rate of a Moving Atomic Clock. Journal of the Optical Society of America 28, 215–226, 1938.
- Shankland, R. S., McCuskey, S. W., Leone, F. C. & Kuerti, G. New Analysis of the Interferometer Observations of Dayton C. Miller. Reviews of Modern Physics 27, 167–178, 1955.