希尔伯特与爱因斯坦在爱因斯坦对物理学的诸多贡献中，广义相对论一向被认为是最没有竞争对手的。如果我们把视野放宽一点，那么在二十世纪前三十年的那场物理学革命里，主要有三个理论：量子理论、狭义相对论和广义相对论。这不仅是多数物理学家和科学史学家的共识，也是爱因斯坦本人的看法。
作者：返朴链接：https://www.zhihu.com/question/21401664/answer/802714573来源：知乎著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。（提示：本篇为卢昌海博士于2019年7月28日在“第九届全国数学文化论坛学术会议”上所作同题邀请报告的演讲稿。）
一 引 言
到这里来作报告心里是有些忐忑的，因为我并不是数学家。因此，当初收到汤涛老师通过微信发来的会议邀请时，我的第一反应是：汤老师点错名字了。虽然后来知道并非点错名字，但还是觉得，在这里谈数学太班门弄斧，于是就选了现在这个题目：希尔伯特与广义相对论场方程。这是广义相对论发展史上的一段插曲——一段关于优先权的插曲。
这段小插曲涉及的人物有两位，一位是数学家希尔伯特（D. Hilbert），一位是物理学家爱因斯坦（A. Einstein）。
希尔伯特与爱因斯坦
在爱因斯坦对物理学的诸多贡献中，广义相对论一向被认为是最没有竞争对手的。如果我们把视野放宽一点，那么在二十世纪前三十年的那场物理学革命里，主要有三个理论：量子理论、狭义相对论和广义相对论。这三个理论的创立过程如果用最简单的话来概括，那么量子理论可以说是“群雄并起、共襄盛举”，狭义相对论是“水到渠成、瓜熟蒂落”，而广义相对论，则除了一度得到过爱因斯坦的老同学格罗斯曼的协助外，几乎是爱因斯坦“一个人的战斗”，是没有爱因斯坦就没有广义相对论。这不仅是多数物理学家和科学史学家的共识，也是爱因斯坦本人的看法。
比如美国物理学家奥本海默（J. Robert Oppenheimer）在纪念爱因斯坦逝世十周年时所撰的文章里曾经这样写道：
“量子的发现必定会以这种或那种的方式出现……对没有任何信号能运动得比光更快的含义的深刻理解也必定会出现……广义相对论则除他以外，在很长很长时间内都不会有人能提出。
爱因斯坦晚年的合作者，波兰物理学家英菲尔德（L. Infeld）则在爱因斯坦传记里记叙过他与爱因斯坦的一段对话。英菲尔德这样写道：
“我曾对爱因斯坦说：“无论您是否提出，我相信狭义相对论的问世都不会有什么延误，因为时机已经成熟了。”爱因斯坦回答说：“是的，这没错，但广义相对论的情形不是这样，我怀疑直到现在也未必会有人提出。”
这样一场“一个人的战斗”，从优先权的角度讲，照说是不该有什么悬念的，其实却不然。因为在爱因斯坦创立广义相对论的最后几个月的时间里，希尔伯特也涉猎了这一领域，从而与爱因斯坦之间展开了一场无形的竞争。
希尔伯特涉猎广义相对论研究并非心血来潮，而是他对物理的长期兴趣使然。在希尔伯特的学术轨迹中，与物理学之间存在着一系列交叠，比如：
1900年，希尔伯特在题为“数学问题”的著名演讲中，将物理学的公理化列入了“希尔伯特第六问题”；
1902年，希尔伯特开始讲授物理学；
1912年，希尔伯特设立物理学助手职位，并招收了理论物理研究生；同一年，希尔伯特与爱因斯坦互赠了著作——当时的爱因斯坦离开专利局才不过几年，知名度可以说还主要是限于物理学界之内，与爱因斯坦互赠著作显示出希尔伯特对物理学界相当了解；
1913年，希尔伯特组织了“哥廷根周”的活动，邀请了普朗克（M. Planck）、德拜（P. Debye）、能斯特（W. Nernst）、索末菲（A. Sommerfeld）、洛仑兹（H. Lorentz）等从事前沿研究的物理学家来做报告。他也邀请了爱因斯坦，但后者婉拒了；
1914年，希尔伯特邀请德拜开设了有关物质结构的讲座。物质结构是当时的一个热门领域，因为前一年——也就是1913年——玻尔（N. Bohr）刚刚提出了玻尔原子模型。组织“哥廷根周”活动和邀请德拜开设有关物质结构的讲座都显示出希尔伯特对物理学前沿相当关注。
接下来是关键的1915年。那一年，希尔伯特再次邀请了爱因斯坦。这一次，爱因斯坦接受了邀请，于6月28日至7月5日访问哥廷根，做了六次每次两小时的报告，介绍他的广义相对论研究。
那次访问给爱因斯坦本人留下了非常好的印象。在1915年7月15日给同事索末菲的信里，爱因斯坦这样写道：
“在哥廷根，我非常愉快地看到所有的东西都在细节上得到了理解。我对希尔伯特很是着迷，他是一个重要人物！
在给其他同事的信里，他也写下了类似的观感。
但这种蜜月般的好印象只维持了很短的时间，仅仅四个多月后，爱因斯坦就在给两位朋友的信里写下了语气很重的抱怨。在1915年11月26日给仓格尔（H. Zangger）的信里，他这样写道：
“这一理论的美丽是无可比拟的，然而只有一位同事真正理解了它，而他正以一种聪明的方式试图“分享”它。在我的个人经历中，从未有比这一理论及相关一切所遭遇的更好地让我见识到了人性的卑劣。
在1915年11月30日给挚友贝索（M. Besso）的信里，他则表示：
“我的同事在此事中表现得很丑恶。
这两封信里的“同事”指的都是希尔伯特。
关于这两封信，有一点可以略作说明，那就是这两封信的语气虽然很重，在收信人的选择上却是很有分寸的：仓格尔是法医学教授，贝索是专利局职员，两人都不是数学物理圈的，而且爱因斯坦在信中隐去了希尔伯特的名字。但尽管在收信人的选择上很有分寸，这几封信的前后对比所体现出的爱因斯坦在印象或情绪上的剧烈转变却是非常明显的。
造成这种剧烈转变的，正是他与希尔伯特之间的那场无形的竞争。
希尔伯特与爱因斯坦，谁先抵达？
后来有漫画家为那场无形的竞争画了一幅漫画，标题是：希尔伯特与爱因斯坦，谁先抵达？这幅画画得很技巧，我每次看到都会忍不住想要目测一下两人的笔尖谁的离终点线更近，还确实分不大清。不过这只是漫画，接下来我们要通过对史料的分析，来看看希尔伯特与爱因斯坦，谁先抵达？——当然，这个“抵达”指的是得到广义相对论场方程。
二 早期研究
受爱因斯坦哥廷根报告的影响，希尔伯特的研究兴趣向引力理论作了显著倾斜，并且于1915年11月20日在哥廷根作了一个报告，介绍他的引力理论研究。11月20日这个日期非常微妙，因为五天后的1915年11月25日，爱因斯坦在普鲁士科学院也作了一个报告，在那次报告中，爱因斯坦首次给出了正确的广义相对论场方程——爱因斯坦的广义相对论研究一直是以场方程为中心的，但在11月25日之前，他的场方程一直是错误的。因此，爱因斯坦得到广义相对论场方程的时间是1915年11月25日。那么，如果希尔伯特在1915年11月20日的报告中也给出了场方程，他就是先于爱因斯坦得到了广义相对论场方程。
但遗憾的是，跟爱因斯坦11月25日的报告于报告当天就提交论文，于一周后的12月2日就发表论文不同，对于希尔伯特的11月20日的报告，我们不仅没有会议记录或论文提交记录之类的第一手资料，连听众回忆之类的二手资料也没有。
不过，四个多月后的1916年3月31日，希尔伯特发表了一篇题为“物理学基础”的论文，那篇论文注明了曾在1915年11月20日的会议上作报告。虽然原则上讲，在从报告到论文的四个多月的时间里，希尔伯特的观点及论文的内容都有可能发生过变化，但在缺乏其他旁证的情况下，早期的研究者们普遍凭借希尔伯特自己所注的曾在1915年11月20日的会议上作报告这一说明，将这篇论文视为了代表希尔伯特11月20日报告的内容。
那么，这篇论文包含了什么内容呢？首先是提出了两条公理：
一条是引力场的作用量只含度规张量及一、二阶导数；
另一条是引力理论的作用量是任意坐标变换下的标量。
希尔伯特这篇论文的标题“物理学基础”跟他的名著《几何基础》可谓遥相呼应，而从公理出发构筑物理理论的做法则跟他在1900年的“数学问题”演讲中将物理学的公理化列入“希尔伯特第六问题”遥相呼应。因此这篇论文在很大程度上可视为是希尔伯特本人试图解决“希尔伯特第六问题”的一次尝试。具体到这两条公理的内容上，则这两条公理很明显是受到了爱因斯坦的影响，甚至说是来自爱因斯坦也并不为过：其中第一条公理，“引力场的作用量只含度规张量及一、二阶导数”，体现的是爱因斯坦将引力场视为度规场的思想——当时研究引力理论的不止爱因斯坦一家，从这个角度研究的却只有爱因斯坦；第二条公理“引力理论的作用量是任意坐标变换下的标量”体现的则是爱因斯坦的广义协变原理。因此，希尔伯特的理论框架可以说是来自爱因斯坦。
在这两条公理的基础上，希尔伯特得到了一系列结论，其中对我们来说最重要的是这样两条：
一条是引力理论的作用量——确切地说是作用量密度——是R L，其中R是时空的曲率标量，L是物质场的作用量；
另一条则是引力场方程：Rμν—½gμνR=—κTμν——这是正确的引力场方程。
这里我们采用了现代记号（在希尔伯特的原始论文里，比如时空的曲率标量是用K表示的）。
由于希尔伯特的这篇论文被视为代表了他11月20日报告的内容，而论文包含了场方程，因此，早期的研究者们普遍得出了一个结论，那就是希尔伯特先于爱因斯坦得到了广义相对论场方程。只不过考虑到希尔伯特的理论框架来自爱因斯坦，因此早期研究者们在措辞上采用了比较婉转的说法。比如美国物理学家派斯（A. Pais）在他著名的爱因斯坦传记里是这样表述的：
“爱因斯坦是广义相对论物理理论的唯一提出者，基本方程式的发现则应同时归功于他和希尔伯特。
那些早期研究大都完成于二十世纪七八十年代。如果大家阅读有关广义相对论或有关爱因斯坦的教材、专著或传记，那么早于二十世纪七八十年代或不侧重历史的大都不会提到希尔伯特，晚于二十世纪七八十年代且侧重历史的，则直到今天，援引的大都是这一早期结论。
但这一结论其实只维持到了1997年。那一年，一份新史料的发现改变了研究格局。
三 校样之辩
希尔伯特论文校样的首页
1997年，几位研究者在哥廷根档案馆发现了一份希尔伯特论文的校样。这份校样的打印日期为1915年12月6日——图片上显示的是这份校样的首页，打印日期在右下角的椭圆框内。这份校样与论文一样，注明了曾在1915年11月20日的会议上作报告——这句话注在希尔伯特的名字下方。由于12月6日这一打印日期跟11月20日这一报告日期只差了两个多星期，比论文与报告所相隔的四个多月近得多，因此这份校样的发现立刻改变了研究格局，取代论文成为了判定希尔伯特11月20日报告内容的凭据。
那几位研究者于是对校样展开了研究，结果发现校样与论文存在多处显著差异，其中对我们来说最重要的差异是：校样只包含引力理论的作用量，以及场方程可通过变分而得到的泛泛说明，却并未给出场方程。
由于校样的打印日期12月6日已经晚于爱因斯坦得到场方程的日期——11月25日，甚至晚于爱因斯坦发表场方程的日期——12月2日，因此校样并未给出场方程意味着希尔伯特并未先于爱因斯坦得到广义相对论场方程。于是那几位研究者就得到了一个新结论：希尔伯特并未先于爱因斯坦得到广义相对论场方程。
这一新结论由于有希尔伯特的论文校样为凭据，称得上是铁证如山。然而出人意料的是，这一新结论提出之后，很快就陷入了争论，而争论的切入点恰恰就在铁证上。
受这一新结论吸引，几位其他研究者也到哥廷根档案馆查阅了希尔伯特的论文校样，结果发现，校样的第7、8两页——那是同一张纸的正反两面——的上方有一块是缺失的。更糟糕的是，所谓校样只包含作用量的那个作用量，恰好位于第8页的缺失部分里。
希尔伯特论文校样的第8页
这样一来铁证就消失了。
而铁证一旦消失，争论就产生了——于是就有人提出：既然希尔伯特论文校样的关键部分缺失了，那就没有理由认为校样只包含作用量，因为缺失部分完全有可能包含场方程——于是他们重新提出：希尔伯特先于爱因斯坦得到了广义相对论场方程。他们并且指控：有人蓄意裁去了场方程，意在抹煞希尔伯特的贡献。这个指控火药味很重——虽没有点名，矛头显然是指向了前一组研究者。双方于是展开了争论，一度还闹得很不愉快。
粗看起来，校样的关键部分既已缺失，那就是死无对证了，整个问题将会成为悬案。但其实却不然，因为这是希尔伯特的论文，而不是散文诗——如果是散文诗，缺失一块那就真的是死无对证了，因为你不可能推断出散文诗的作者会在缺失部分里写什么，但希尔伯特的论文有极强的内在逻辑。通过对这种内部逻辑的分析，同时考虑到缺失部分的篇幅，史学界提出了极强的分析理由，可以裁定：缺失部分不可能包含场方程。
主要的理由有四条：
首先是篇幅不允许——场方程比作用量复杂得多，相应地，引进场方程所需的推导和说明也比引进作用量所需的多得多，缺失部分的篇幅不足以容纳。希尔伯特1916年3月31日论文中相应部分的篇幅也印证了这一点。
其次是逻辑结构不允许——希尔伯特论文的逻辑结构明显是以作用量为基础的，这从它的两条公理都是关于作用量的就可以看出。因此缺失部分如果包含场方程，就必须同时也包含作用量，必须是先有作用量再有场方程。
而这不仅在篇幅上更不可能，与公式编号也是矛盾的——这是第三条理由。希尔伯特论文校样里的公式都是编了号的，第8页缺失部分之前的最后一个公式的编号是（16），之后的第一个公式的编号是（18），中间只缺了一个（17），因此缺失部分只包含一个主要公式，不可能同时包含作用量与场方程。而既然只包含一个公式，那么从逻辑结构上讲这个公式只能是作用量，而不可能是场方程。
最后一条理由则是缺失部分包含场方程与后文相矛盾——论文校样在后文第11页提到了缺失部分的公式，提到时用该公式的变分表示了场方程，从而清楚地显示出缺失部分包含的是作用量而不是场方程——因为作用量的变分才是场方程。
这四条理由每一条都非常强，都足以单独确立校样不包含场方程的结论，四条合在一起，堪称不是铁证的铁证，可以极有把握地裁定：缺失部分——从而希尔伯特的论文校样——不包含场方程。
四 信件疑云
接下来再介绍一下对希尔伯特与爱因斯坦的信件的辨析。在争论过程中，那一时期希尔伯特与爱因斯坦的通信也得到了排查，其中下面这几封信件引起了一些关注。
在1915年11月20日的报告之前，希尔伯特曾于11月13日给爱因斯坦写了一封信，邀请后者出席自己的报告，爱因斯坦在两天后回信，以胃痛和疲惫为由婉拒了。次日——也就是11月16日——希尔伯特又给爱因斯坦发了一张明信片。那张明信片现已不存——起码是迄今未被发现，但爱因斯坦两天后——也就是11月18日——的回信则被收录在了《爱因斯坦全集》里。在那封回信里，爱因斯坦写了这样一句话：
“您给出的体系——就我所见——与我最近几个星期发现并向科学院报告过的完全一致。
这句话很耐人寻味，因为我们在前面说过，爱因斯坦的广义相对论研究一直是以场方程为中心的，因此，除非希尔伯特在明信片里给出了场方程，否则爱因斯坦似乎不会说出“您给出的体系……与我……的完全一致”这样的话。有人也确实以此为由，认为爱因斯坦的这句话意味着希尔伯特在明信片里给出了场方程。由于明信片不仅比论文校样更早，甚至比11月20日的报告还早，因此如果希尔伯特在明信片里给出了场方程，那他就依然是先于爱因斯坦得到了广义相对论场方程。
但细究起来，事情却又不那么简单，因为11月18日，当爱因斯坦写下那句话时，他自己尚未得到正确的场方程——我们前面说过，爱因斯坦是11月25日才第一次得到正确的场方程。在11月18日，爱因斯坦以为的场方程其实是一个错误的场方程：Rμν=—κTμν，它与希尔伯特的场方程相比还差了一项：—½gμνR。
当然，这里我们忽略了一种可能性，那就是希尔伯特的明信片包含场方程，但包含的是错误的场方程，且错得跟爱因斯坦一模一样，从而使爱因斯坦以为跟自己的场方程完全一致。之所以忽略这种可能性，是因为我们要讨论的是谁先得到广义相对论场方程——这个场方程当然是指正确的场方程，对这一目的来说，如果在某个环节上希尔伯特与爱因斯坦都得到过一个错误的场方程，那对讨论是没有影响的。因此对我们的目的来说，唯一值得讨论的情形是希尔伯特的明信片包含正确的场方程，认为希尔伯特在明信片里给出了场方程的人所主张的也正是这种情形。
因此我们只讨论这种情形。
在这种情形下，如果认为明信片包含场方程，那就必须解释两个问题：一个是爱因斯坦为什么会漏看一项；另一个是比明信片更晚的校样为什么不包含场方程。这两个问题都没有足够合理的答案。广义相对论场方程如果是一个有十项八项的复杂方程式，那漏看一项还情有可原，可是广义相对论场方程虽然的确是一个复杂的方程式，形式上却非常简单，总共只有三项，再怎么老眼昏花，也不可能把三项看成两项。因此第一个问题说不通。第二个问题就更说不通，因为明信片不过是一张小小的纸片，如果希尔伯特在明信片里都不忘记写上场方程，这意味着在他眼里，场方程是那一轮研究的主要成果，既然如此，就根本没有理由在详尽得多的论文校样中反而不包含的，而且第一个问题若是咬定为一时失察，别人倒也没辙，第二个问题甚至都不能用一时失察来开脱，因此更加说不通。
这两个问题只要有一个找不到合理解释，明信片包含场方程的可能性就很难确立，两个都说不通，则明信片包含场方程的可能性就基本可以排除了。
一旦排除了明信片包含场方程的可能性，那么剩下最有可能的，是明信片与校样一样，只包含作用量及场方程可通过对作用量的变分而得到这一泛泛说明。这时也必须解释一个问题，那就是爱因斯坦所说的“完全一致”到底是什么意思。对此，有两种可能的解释。
一种解释是：爱因斯坦有可能将R对gμν的变分视为了唯一的几何项。由于引力场的作用量R L只有两项，其中L对gμν的变分是物质场的能量动量，如果爱因斯坦将R对gμν的变分视为唯一的几何项，那他就会以为希尔伯特的体系所对应的场方程只包含两项，从而跟自己的错误场方程相一致。
另一种解释是：爱因斯坦有可能直接通过广义协变性作出判断——爱因斯坦的场方程虽然是错误的，但他当时认为自己的错误场方程是广义协变性所允许的唯一的场方程，由于希尔伯特用变分原理表示的场方程也是广义协变的，因此爱因斯坦有可能仅凭两者都广义协变这一特点，就判断出两者相互一致。这两种解释都是说得通的，而且彼此间并不冲突。
因此在希尔伯特的明信片包含场方程和不包含场方程这两种可能性中，前一种是两个问题都说不通，后一种则是一个问题有两种解释都说得通。因此结论是：希尔伯特的明信片不包含场方程。
关于这一结论，还可以给出一条补充理由，那就是1916年1月，爱因斯坦自己也对广义相对论的作用量表述进行了研究，但没有成功。由于爱因斯坦的广义相对论研究一直是以场方程为中心的，因此如果希尔伯特曾在明信片里给出过场方程，那么无论此前爱因斯坦出于什么理由认为那个场方程与自己的错误场方程相一致，1916年1月，在他自己也已得到了正确的场方程时，他应该意识到希尔伯特的场方程是正确的。那样的话，希尔伯特对作用量表述的研究就已经完成了，爱因斯坦应该不至于重起炉灶，来研究希尔伯特已经完成了的课题。因此，爱因斯坦对广义相对论的作用量表述进行研究，从一个侧面显示出起码到那时为止，他还没有从希尔伯特那里见到过正确的场方程，这也意味着希尔伯特的明信片不可能包含场方程。
以上就是对有关希尔伯特与广义相对论场方程的史学研究结果的一个简述，结论是：希尔伯特并未先于爱因斯坦得到广义相对论场方程。或者说，希尔伯特与爱因斯坦，是爱因斯坦先抵达。
