对物质本性的非特异性假设4-广义相对论理论进阶

最新推荐文章于 2023-02-13 19:00:00 发布
最新推荐文章于 2023-02-13 19:00:00 发布
阅读量4.7k 收藏 2
点赞数
分类专栏： 数学物理理论 文章标签： structure string report 框架 测试 methods
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/caiyd08/article/details/5024787
版权

[摘要]广义相对论将经典的牛顿万有引力定律包含在狭义相对论的框架中，并在此基础上应用等效原理而建立。在广义相对论中，引力被描述为时空的一种几何属性（曲率）；而这种时空曲率与处于时空中的物质与辐射的能量-动量张量直接相联系，其联系方式即是爱因斯坦的引力场方程（一个二阶非线性偏微分方程组）。

[关键字]万有引力定律，时空，引力场方程.

 

 

[目录]

1 时空曲率与处于时空中的物质与辐射的能量

2 从经典力学到广义相对论

2.1 牛顿引力的几何学

2.2 相对论的概括

2.3 爱因斯坦方程

3 定义和基础应用

3.1 定义和基本性质

3.2 物理模型的建立

4 爱因斯坦理论的后续

4.1 引力时间膨胀和引力红移

4.2 光线偏折和引力时间延迟

4.3 引力波

4.4 轨道效应

4.4.1 近星点的进动

4.4.2 轨道衰减

4.5 测地线效应和参考系拖拽

5 天体物理学上的应用

5.1 引力透镜

5.2 引力波天文学

5.3 黑洞和其它致密星体

5.4 宇宙学

6 进阶概念

6.1 因果结构和全局几何

6.2 视界

6.3 奇点

6.4 演化方程

6.5 全局和准局部量

7 和量子理论的关系

7.1 弯曲时空中的量子场论

7.2 量子引力

8 当前进展

9 注释

10 参考文献

 

 

 

 

 

1 时空曲率与处于时空中的物质与辐射的能量

 

    广义相对论将经典的牛顿万有引力定律包含在狭义相对论的框架中，并在此基础上应用等效原理而建立。在广义相对论中，引力被描述为时空的一种几何属性（曲率）；而这种时空曲率与处于时空中的物质与辐射的能量-动量张量直接相联系，其联系方式即是爱因斯坦的引力场方程（一个二阶非线性偏微分方程组）。

 

    从广义相对论得到的有关预言和经典物理中的对应预言非常不相同，尤其是有关时间流逝、空间几何、自由落体的运动以及光的传播等问题，例如引力场内的时间膨胀、光的引力红移和引力时间延迟效应。广义相对论的预言至今为止已经通过了所有观测和实验的验证——虽说广义相对论并非当今描述引力的唯一理论，它却是能够与实验数据相符合的最简洁的理论。不过，仍然有一些问题至今未能解决，典型的即是如何将广义相对论和量子物理的定律统一起来，从而建立一个完备并且自洽的量子引力理论。

 

    爱因斯坦的广义相对论理论在天体物理学中有着非常重要的应用：它直接推导出某些大质量恒星会终结为一个黑洞——时空中的某些区域发生极度的扭曲以至于连光都无法逸出。有证据表明恒星质量黑洞以及超大质量黑洞是某些天体例如活动星系核和微类星体发射高强度辐射的直接成因。光线在引力场中的偏折会形成引力透镜现象，这使得人们能够观察到处于遥远位置的同一个天体的多个成像。广义相对论还预言了引力波的存在，引力波已经被间接观测所证实，而直接观测则是当今世界像激光干涉引力波天文台（LIGO）这样的引力波观测计划的目标。此外，广义相对论还是现代宇宙学的膨胀宇宙模型的理论基础。

 

     数学形式： 

 

 

    由于自由落体的普遍性，惯性运动（实验中的火箭内）和在引力场中的运动（实验中的地面上）是无法通过观察来区分的。这是在暗示一类新的惯性运动的定义，即在引力作用下的自由落体也属于惯性运动。通过这种惯性运动则可以重新定义周围的时空几何——从数学上看引力场中惯性运动的轨迹（测地线）和引力势的梯度有关。

 

 

      1905年爱因斯坦发表狭义相对论后，他开始着眼于如何将引力纳入狭义相对论框架的思考。以一个处在自由落体状态的观察者的理想实验为出发点，他从1907年开始了长达八年的对引力的相对性理论的探索。在历经多次弯路和错误之后，他于1915年11月在普鲁士科学院上作了发言，其内容正是著名的爱因斯坦引力场方程。这个方程描述了处于时空中的物质是如何影响其周围的时空几何，并成为了爱因斯坦的广义相对论的核心[1]。

 

   爱因斯坦的引力场方程是一个二阶非线性偏微分方程组，数学上想要求得方程的解是一件非常困难的事。爱因斯坦运用了很多近似方法，从引力场方程得出了很多最初的预言。不过很快天才的天体物理学家卡尔·史瓦西就在1916年得到了引力场方程的第一个非平庸精确解——史瓦西度规，这个解是研究星体引力坍缩的最终阶段，即黑洞的理论基础。在同一年，将史瓦西几何扩展到带有电荷的质量的研究工作也开始进行，其最终结果就是雷斯勒-诺斯特朗姆度规，其对应的是带电荷的静态黑洞[2]。1917年爱因斯坦将广义相对论理论应用于整个宇宙，开创了相对论宇宙学的研究领域。考虑到同时期的宇宙学研究中静态宇宙的学说仍被广为接受，爱因斯坦在他的引力场方程中添加了一个新的常数，这被称作宇宙常数项，以求得和当时的“观测”相符合[3]。然而到了1929年，哈勃等人的观测表明我们的宇宙处在膨胀状态，而相应的膨胀宇宙解早在1922年就已经由亚历山大·弗里德曼从他的弗里德曼方程（同样由爱因斯坦场方程推出）得到，这个膨胀宇宙解不需要任何附加的宇宙常数项。比利时牧师勒梅特应用这些解构造了宇宙大爆炸的最早模型，模型预言宇宙是从一个高温高致密状态演化来的[4]。爱因斯坦其后承认添加宇宙常数项是他一生中犯下的最大错误[5]。

 

    在那个时代，广义相对论与其他物理理论相比仍保持了一种神秘感。由于它和狭义相对论相融洽，并能够解释很多牛顿引力无法解释的现象，显然它要优于牛顿理论。爱因斯坦本人在1915年证明了广义相对论是如何解释水星轨道的反常近日点进动的现象，其过程不需要任何附加参数（所谓“敷衍因子”）[6]。另一个著名的实验验证是由亚瑟·爱丁顿爵士率领的探险队在非洲的普林西比岛观测到的日食时的光线在太阳引力场中的偏折[7]，其偏折角度和广义相对论的预言完全相符（是牛顿理论预言的偏折角的两倍），这一发现随后被全球报纸竞相报导，一时间使爱因斯坦的理论名声赫赫[8]。但是直到1960年至1975年间，广义相对论才真正进入了理论物理和天体物理主流研究的视野，这一时期被称作广义相对论的黄金时代。物理学家逐渐理解了黑洞的概念，并能够通过天体物理学的性质从类星体中识别黑洞[9]。在太阳系内能够进行的更精确的广义相对论的实验验证进一步展示了广义相对论非凡的预言能力[10]，而相对论宇宙学的预言也同样经受住了实验观测的检验[11]。

 

2 从经典力学到广义相对论

 

    理解广义相对论的最佳方法之一是从经典力学出发比较两者的异同点：这种方法首先需要认识到经典力学和牛顿引力也可以用几何语言来描述，而将这种几何描述和狭义相对论的基本原理放在一起对理解广义相对论具有启发性作用[12]。

 

 

 

2.1 牛顿引力的几何学

 

    经典力学的一个基本原理是：任何一个物体的运动都可看作是一个不受任何外力的自由运动（惯性运动）和一个偏离于这种自由运动的组合。这种偏离来自于施加在物体上的外力作用，其大小和方向遵循牛顿第二定律（外力大小等于物体的惯性质量乘以加速度，方向与加速度方向相同[13]）。而惯性运动与时空的几何性质直接相关：经典力学中在标准参考系下的惯性运动是匀速直线运动。用广义相对论的语言说，惯性运动的轨迹是时空几何上的最短路径（测地线），在闵可夫斯基时空中是直的世界线[14]。

 

 

 

 

 

 

    反过来，原则上讲也可以通过观察物体的运动状态和外力作用（如附加的电磁力或摩擦力等）来判断物体的惯性运动性质，从而用来定义物体所处的时空几何。不过，当有引力存在时这种方法会产生一些含糊不清之处：牛顿万有引力定律以及多个彼此独立验证的相关实验表明，自由落体具有一个普遍性（这也被称作弱等效原理，亦即惯性质量与引力质量等价），即任何测试质量的自由落体的轨迹只和它的初始位置和速度有关，与构成测试质量的材质等无关[15]。这一性质的一个简化版本可以通过爱因斯坦的理想实验来说明，如图所示：对于一个处在狭小的封闭空间中的观察者而言，无法通过观测落下小球的运动轨迹来判断自己是处于地面上的地球引力场中，还是处于一艘无引力作用但正在加速的火箭里（加速度等于地球引力场的重力加速度）[16]；而作为对比，处于电磁场中的带电小球运动和加速参考系中的小球运动则是可以通过不同小球携带不同的电量来区分的。而由于引力场在空间中存在分布的变化，弱等效原理需要加上局部的条件，即在足够小的时空区域内引力场中的自由落体运动和均一加速参考系中的惯性运动是完全相同的。

 

 

2.2 相对论的概括

 

    牛顿引力的几何理论尽管看上去很有趣，但这一理论的基础经典力学不过是（狭义）相对论力学的一个特例[17]。用对称的语言来说，在不考虑引力的情形下物理学具有洛伦兹不变性，而并非经典力学所具有的伽利略不变性。(狭义相对论的对称性包含在庞加莱群中，它除了包含有洛伦兹变换所包含的洛伦兹递升和旋转外还包含平移不变性。)在研究对象的速度接近光速或者高能的情形下这两者的区别逐渐变得明显[18]。

 

    在洛伦兹对称性下可以引入光锥的概念（见图），光锥构成了狭义相对论中的因果结构：对于每一个发生在时空中的事件A，原则上有能够通过传播速度小于光速的信号或相互作用影响到事件A或被事件A影响的一组事件（具有因果联系），例如图中的事件B；也有一组不可能互相影响的事件（不具有因果联系），例如图中的事件C；而这些事件间有无因果联系都与观测者无关[19]。将光锥和自由落体的世界线联系起来可以导出时空的半黎曼度规，或至少可以得到一个正的标量因子，在数学上这是共形结构的定义[20]。

 

 

 

 

 

    狭义相对论的建立改变了人们对质量唯一性的观念：质量不过是系统能量和动量的一种表现形式，这使得爱因斯坦着手将弱等效原理纳入一个更广泛的框架中：处于封闭空间中的观察者无论采用什么测量方法（而不仅限于投掷小球）都无法区分自己是处于引力场还是加速参考系中。这种概括成为了著名的爱因斯坦等效原理：在足够小的时空区域中物理定律退化成狭义相对论中的形式；而不可能通过局部的实验来探测到周围引力场的存在。狭义相对论是在不考虑引力的情况下建立的，因此对于实际引力可以忽略的应用这是一个合适的模型。如果考虑引力的存在并假设爱因斯坦等效原理成立，则可知宇宙间不存在全局的惯性系，而只存在跟随着自由落体的粒子一起运动的局部近似惯性系。用时空弯曲的语言来说，是表征了无引力作用的惯性系的直的类时世界线在实际时空中彼此会产生弯曲，这意味着引力的引入会改变时空的几何结构[21]。爱因斯坦等效原理由此暗示引力作用应归属于时空弯曲的范畴，无加速度的惯性运动和引力作用下的自由落体具有完全相同的定义。

 

    实验数据表明，处于引力场中的时钟测量出的时间——或者用相对论的语言称为固有时——并不服从狭义相对论定律的制约。用时空几何的语言来说，这是由于所测量的时空并非闵可夫斯基度规。对于牛顿引力理论而言这暗示着一种更一般的几何学。在微小尺度上所有处于自由落体状态的参考系都是等效的，并且都可近似为闵可夫斯基性质的平直度规。而接下来我们正在处理的是对闵可夫斯基时空的弯曲化的一般性概括，所用到的度规张量定义的所在的时空几何——具体说来是时空中的长度和角度是如何被测量的——并不是狭义相对论的闵可夫斯基度规，这种度规被概括地称作半黎曼度规或伪黎曼度规。并且每一种黎曼度规都自然地与一种特别的联络相关联，这种联络被称作列维-奇维塔联络；事实上这种联络能够满足爱因斯坦等效原理的要求并使得时空具有局部的闵可夫斯基性（这是指在一个适合的局部惯性坐标系下度规是闵可夫斯基性的，其度规的导数和连接系数即克里斯托费尔符号都为零。）[22]。总体上可以归纳为，在爱因斯坦的理论中引力引起的时空弯曲是一种可微分流形，这种流形在局部是平直的，但整体上可能具有非常不同的全局几何。

 

2.3 爱因斯坦方程

 

   爱因斯坦引力场方程。在建立了描述引力效应的相对论性几何化版本后，还有一个关于引力的起源问题没有解决。牛顿理论中的引力来源于质量，而在狭义相对论中质量的概念被包含在更具有一般性的能量-动量张量中。这个张量包含了对系统的能量和动量的密度，以及应力（即压强和剪应力的统称）的描述[23]，通过等效原理就可以将能量-动量张量概括到弯曲的时空几何中去。如果和几何化的牛顿引力作进一步的类比，可以很自然地通过一个场方程将能量-动量张量和里奇张量联系起来，而里奇张量正描述了潮汐效应的一类特殊情形：一团初始状态为静止的测试粒子形成的云的体积会由于这群测试粒子作自由落体运动而变化。在狭义相对论中，能量-动量张量的守恒律在数学上对应着它的散度为零，而这一守恒律也可以被概括到更一般的弯曲时空中，其方法是将经典的偏导数替换为它们在曲面流形上的对应物：协变导数。在这一附加条件下，能量-动量张量的协变散度，以及场方程右边所有可能出现的项统统为零，这一组简洁的方程表述被称作爱因斯坦引力场方程。

 

 

                                                

 

    方程左边是一个由里奇张量构成的并且散度为零的特别组合，这种组合被称作爱因斯坦张量。特别地，

 

                                                  

 

    是时空曲率的里奇标量。而里奇张量Rab本身与更一般化的黎曼张量之间的关系为：

 

                                                  

 

 

    方程右边Tab的是能量-动量张量。将引力场方程的理论和对行星轨道实际观测的结果（或等价地考虑到弱场低速时近似为牛顿引力理论）相比较，可得到方程中的比例常数，其中G是万有引力常数而c是光速[24]。当没有物质存在时能量-动量张量为零，这时的爱因斯坦场方程的形式化简为所谓真空解法：

 

                                                    

 

    某些广义相对论的替代理论在基于同样的前提下通过附加其他准则或约束得到了形式不一样的引力场方程，例如爱因斯坦-嘉当理论[25]。                                                

 

 

 

3 定义和基础应用

 

    前一章节概括介绍了确立广义相对论的基本内容所需的全部信息，并指出了广义相对论理论的几个关键性质。那么随之而来的问题是，广义相对论对物理学究竟有多重要的意义；具体说来，如何从广义相对论理论建立具有应用价值的具体物理模型呢？

 

3.1 定义和基本性质

 

    广义相对论是引力的度规理论，其核心是爱因斯坦场方程。场方程描述的是用四维半黎曼流形所描述的时空几何学，与处在时空中物质的能量-动量张量之间的关系[26]。经典力学中由引力引起的现象（例如自由落体、星体轨道运动、航天器轨道等），在广义相对论中对应着在弯曲时空中的惯性运动，即没有所谓外来的引力使得物体的运动偏离它们原本的自然直线运动路径。引力本身是时空属性的几何学改变，使处在其中的物体沿着时空中最短的路径作惯性运动[27]；而反过来时空的曲率是由处在时空中的物质的能量-动量张量改变的。用约翰·惠勒的话来解释说：时空告诉物体如何运动，物体告诉时空如何弯曲[28]。

 

 

    广义相对论用一个对称的二阶张量替换了经典力学中的引力标量势，不过前者在某些极限情形下会退化为后者。在弱引力场并且速度远小于光速的前提下，相对论的结果和牛顿经典理论的结果是重合的[29]。

 

 

    广义相对论是用张量表示的，这是其广义协变性的体现：广义相对论的定律——以及在广义相对论框架中得到的物理定律——在所有参考系中具有相同的形式[30]。并且，广义相对论本身并不包含任何不变的几何背景结构，这使得它能够满足更严格的广义相对性原理：物理定律的形式在所有的观察者看来都是相同的[31]。而广义相对论认为在局部由于有等效原理的要求，时空是闵可夫斯基性的，物理定律具有局部洛伦兹不变性[32]。

 

3.2 物理模型的建立

 

    广义相对论性的模型建立的核心内容是爱因斯坦场方程的解。在爱因斯坦场方程和一个附加描述物质属性的方程（类似于麦克斯韦方程组和介质的本构方程）同时已知的前提下，爱因斯坦场方程的解包含有一个确定的半黎曼流形（通常由特定坐标下得到的度规给出），以及一个在这个流形上定义好的物质场。物质和时空几何一定满足爱因斯坦场方程，因此特别地物质的能量-动量张量的协变散度一定为零。当然，物质本身还需要满足描述其属性的附加方程。因此可以将爱因斯坦场方程的解简单理解为一个由广义相对论制约的宇宙模型，其内部的物质还同时满足附加的物理定律[33]。

 

 

    爱因斯坦场方程是非线性的偏微分方程组，因此想要求得其精确解十分困难[34]。尽管如此，仍有相当数量的精确解被求得，但只有一些具有物理上的直接应用[35]。其中最著名的精确解，同时也是从物理角度来看最令人感兴趣的解包括史瓦西解、雷斯勒-诺斯特朗姆解、克尔解，每一个解都对应着特定类型的黑洞模型[36]；以及弗里德曼-勒梅特-罗伯逊-沃尔克解和德西特宇宙，每一个解都对应着一个膨胀的宇宙模型[37]。纯粹理论上比较有趣的精确解还包括哥德尔宇宙（暗示了在弯曲时空中进行时间旅行的可能性）、Taub-NUT解（一种均匀却又各向异性的宇宙模型）、反德西特空间（近年来由于超弦理论中的马尔达西那假说的提出而变得知名）[38] 。

 

 

    寻找爱因斯坦场方程的精确解并非易事，因此在更多场合下爱因斯坦场方程的解是通过计算机采用数值积分的方法，或者对精确解作微扰求得的近似解。在数值相对论这一分支中，人们使用高性能的计算机来数值模拟时空几何，以用于数值求解两个黑洞碰撞等有趣场合下的爱因斯坦场方程[39]。原则上只要计算机的运算能力足够强大，数值相对论的方法就可以应用到任何系统中，从而有可能对裸奇点等基础问题做出解答。另一种求得近似解的方法是借助于像线性化引力[40]和后牛顿力学近似方法这样的微扰理论，这两种微扰方法都是由爱因斯坦发展的，其中后者为求解时空内分布的物体速度远小于光速时的时空几何提供了系统的方法。后牛顿力学近似方法是一系列展开项，第一项对应着牛顿引力，而后面的微扰项对应着广义相对论理论对牛顿力学所作的修正[41]。这种近似展开的一种扩展方法是参数化后牛顿形式，应用这种方法可以量化地比较广义相对论和其替代理论的预言结果[42]。

 

4 爱因斯坦理论的后续

 

    广义相对论对物理学的影响非常深远，其引发了诸多理论和实验的研究成果。其中一部分是从广义相对论的定律中直接导出的，而有些则从广义相对论发表至今经过长久的研究才逐渐变得明朗。

 

4.1 引力时间膨胀和引力红移

 

    引力时间膨胀和红移：

 

 

 

 

    光波从一个大质量物体表面出射时频率会发生红移如果等效原理成立[43] ，则可得到引力会影响时间流逝的结论。射入引力势阱中的光会发生蓝移，而相反从势阱中射出的光会发生红移；归纳而言这两种现象被称作引力红移。更一般地讲，当有一个大质量物体存在时，对于同一个过程在距离大质量物体更近时会比远离这个物体时进行得更慢，这种现象叫做引力时间膨胀[44]。

 

 

    引力红移已经在实验室中[45]及在天文观测中[46]得到证实和测量，而地球引力场中的引力时间延缓效应也已经通过原子钟进行过多次测量[47]。当前的测量表明地球引力场的时间延缓会对全球定位系统（GPS）的运行产生一定影响[48]。这种效应在强引力场中的测试是通过对脉冲双星的观测完成的[49]，所有的实验结果都和广义相对论相符[50]。不过在当前的测量精度下，人们还不能从中判断这些观测到底更支持广义相对论还是同样满足等效原理的其他替代理论[51]。

 

 

4.2 光线偏折和引力时间延迟

  

    广义相对论中的开普勒问题、引力透镜和引力时间延迟效应。

 

 

 

 

 

    从光源（图中蓝点表示）发射出的光线在途径一个致密星体（图中灰色区域表示）时发生的光线偏折广义相对论预言光子的路径在引力场中会发生偏折，即当光子途径一个大质量物体时路径会朝向物体发生弯曲。这种效应已经通过对来自遥远恒星或类星体的光线途径太阳时的路径观测得到证实[52]。

 

 

    这种现象（以及其他相关现象）的原因是光具有被称作类光的（或被称作零性的）测地线——相对于在经典物理中光的传播路线是直线，类光的（或零性的）测地线是广义相对论的相应概括，来源于狭义相对论中的光速不变原理[53]。选取了合适的时空几何（例如黑洞视界外的史瓦西解，或后牛顿展开项）[54]就可以进一步看到引力场对光的传播的影响，这种影响是纯粹广义相对论性的。即是说尽管从经典力学出发，通过计算中心质量对光子的经典散射也可以得到光线的偏折效应[55]，但从这种经典方法得到的偏折角度只有广义相对论结果的一半[56]。

 

 

    和光线偏折现象密切相关的另一现象是引力时间延迟效应（或称作夏皮罗延迟效应），这种现象是指在引力场中光的传播时间要比无引力场的情形下要长，这种效应已经被多个观测成功证实[57]。在参数化后牛顿形式中，对光线偏折和对时间延迟的测量共同决定了一个参数，这个参数表征了引力对时空几何的影响[58]。

 

 

 4.3 引力波

 

      引力波

 

 

 

 

 

 

 

 

 

 

     悬浮在空间中的静止粒子排列成的环。


     测试粒子受到引力波的作用弱引力场和电磁场相比有一个重要类同之处：类似于随时间变化的电磁场会辐射电磁波，引力场也有可能会辐射引力波。引力波有如时空度规的涟漪，以光速在空间中传播[59]。最简单的一类情形如右所示：排列成一个环状的自由悬浮粒子（右上静态图像），当有一束正弦引力波穿过这个环并朝向读者传播时，引力波会将这个环以一种具有特征性和旋律性的方式扭曲[60]。由于爱因斯坦场方程是非线性的，强引力场中的任意强度的引力波不满足线性叠加原理。但在弱场情形下可采用线性近似，由于从遥远的天体辐射出的引力波到达地球时已经非常微弱，这时线性化的引力波已经足以精确描述其到达地球时的强度，其引起的空间距离的相对变化大约在10-21或更低。这些线性化的引力波是可以进行傅里叶分解的，对这些引力波信号进行的数据分析正是基于这个原理[61]。

 

 

      场方程的个别精确解能够在不借助任何近似条件的前提下描述引力波，如一束传遍整个空间的波列[62]，以及所谓高蒂宇宙（多种充满引力波的膨胀宇宙的总称）[63]。不过对于天体物理学意义上的引力辐射而言，例如黑洞双星的合并过程，后牛顿力学近似方法、微扰理论或数值相对论等近似途径是仅有的处理手段[64]。

 

4.4 轨道效应


      广义相对论中的开普勒问题。


      对于作轨道运动的物体，广义相对论和经典力学的预言在很多地方有所不同。广义相对论预言公转星体的轨道会发生总体的旋转（进动），而轨道本身也会由于引力辐射而发生衰减。

 

4.4.1 近星点的进动


 

    行星绕恒星作公转的经典力学轨道（红）和广义相对论轨道（蓝）比较广义相对论中，任意轨道的拱点（轨道上最接近或最远离系统质心的点）会发生进动，这使得轨道不再是椭圆，而是一个绕着质心旋转的准椭圆轨道，其总体上看接近于玫瑰线的形状。爱因斯坦最早通过近似度规来表示牛顿力学的极限，并将轨道运动的物体看作一个测试质点从而在理论上得到了这一结果。这一结果的重要性在于，它能够最简洁地解释天文学家勒维耶在1859年发现的水星近日点的反常进动，而这对于当时的爱因斯坦而言是最终确认引力场方程的正确形式的一个重要依据[65]。

 

    从精确的史瓦西度规[66]或采用更为一般的后牛顿力学近似形式[67]也能够推导出这种效应。从本质上说，这种进动是由于引力对时空几何的影响，以及对物体引力的自能量的贡献（其意义包含在爱因斯坦场方程的非线性中）[68]。现在已经观测到了所有能够进行精确轨道进动测量的太阳系行星（水星、金星、地球）的相对论进动[69]，而且已经观察到某些脉冲双星系统的轨道进动效应，其效应要比太阳系内行星高出五个数量级[70]。

 

4.4.2 轨道衰减

 

 

 

 

 

    对脉冲双星PSR1913+16的周期变化长达三十年的观测，其周期变化在秒量级内根据广义相对论，一个双星系统会通过引力辐射的形式损失能量。尽管这种能量损失一般相当缓慢，却会使得双星间的距离逐渐降低，同时降低的还有轨道周期。在太阳系内的两体系统或者一般的双星中，这种效应十分微弱因此难以观测。然而对于一个密近脉冲双星系统而言，在轨道运动中它们会发射极度规律的脉冲信号，地球上的接收者从而能够将这个信号序列作为一个高度精确的时钟。这个精确的时钟是用来精确测量脉冲双星轨道周期的最佳工具。并且由于组成脉冲双星的恒星是中子星，其致密性能导致有较多部分的能量以引力辐射的形式传播出去[71]。

 

    最早观测到这种因引力辐射导致的轨道周期衰减的实验是由赫尔斯和泰勒完成的，他们所观测的脉冲双星是他们于1974年发现的PSR1913+16。这也是人类首次在实验上证实引力波的存在，尽管这只是一种间接观测，这项工作因此获得1993年的诺贝尔物理学奖[72]。从那以后更多的脉冲双星被发现，值得一提的是PSR J0737-3039，双星系统的两个成员都是脉冲星[73] 。

 

4.5 测地线效应和参考系拖拽

 

    测地线效应和参考系拖拽。


    有些相对论效应与坐标的方向性有关[74]，其一是测地线效应，例如一个在弯曲时空中作自由落体运动的陀螺的自转轴会因此而改变，即使陀螺的自转轴方向在运动过程中尽可能保持一直稳定（即所谓在曲面上作“平行输运”）[75]。地球-月球系统的测地线效应已经通过月球激光测距实验得到验证[76]。近年来人们又通过发射引力探测器B卫星来测量测试质量在地球引力场中的测地线效应，其结果和理论值的误差小于1%[77]。

 

    在一个旋转质量的周围还会产生引力磁性以及更一般的参考系拖拽效应，观察者会认为旋转质量对周围的时空产生拖拽效应，处于旋转质量周围的物体会因此发生坐标改变。一个极端的版本是旋转黑洞的所谓能层区域，当有任何物体进入旋转黑洞的能层时都会不可避免地随着黑洞一起发生转动[78]。理论上这种效应也可以通过观察其对一个自由落体状态的陀螺自转方向的影响进行验证[79] 。在存在争议的LAGEOS卫星实验中参考系拖拽效应得到了初步证实[80]。参考系拖拽的测量也是引力探测器B的主要任务之一，其结果预计将于2008年9月发布[81]。

 

5 天体物理学上的应用

 

5.1 引力透镜

 

    引力透镜

 

    爱因斯坦十字：同一个天体在引力透镜效应下的四个成像引力场中光线的偏折效应是一类新的天文现象的原因。当观测者与遥远的观测天体之间还存在有一个大质量天体，当观测天体的质量和 相对距离合适时观测者会看到多个扭曲的天体成像，这种效应被称作引力透镜[82]。受系统结构、尺寸和质量分布的影响，成像可以是多个，甚至可以形成被称作爱因斯坦环的圆环，或者圆环的一部分弧[83]。最早的引力透镜效应是在1979年发现的[84]，至今已经发现了超过一百个引力透镜[85]。即使这些成像彼此非常接近以至于无法分辨——这种情形被称作微引力透镜——这种效应仍然可通过观测总光强变化测量到，很多微引力透镜也已经被发现[86]。

 

    引力透镜已经发展成为观测天文学的一个重要工具，它被用来探测宇宙间暗物质的存在和分布，并成为了用于观测遥远星系的天然望远镜，还可对哈勃常数做出独立的估计。引力透镜观测数据的统计结果还对星系结构演化的研究具有重要意义[87]。

 

5.2 引力波天文学

 

 

 

    引力波天文学

 

    艺术家的构想图：激光空间干涉引力波探测器LISA对脉冲双星的观测是间接证实引力波存在的有力证据（参见上文轨道衰减一节），然而对来自宇宙深处的引力波的直接观测始终未能实现，这也成为了相对论前沿研究的主要课题之一[88]。现在已经有相当数量的地面引力波探测器投入运行，最著名的是GEO600、LIGO（包括三架激光干涉引力波探测器）、TAMA300和VIRGO[89]；而美国和欧洲合作的空间激光干涉探测器LISA现在正处于开发阶段[90]，其先行测试计划LISA探路者（LISA Pathfinder）将于2009年底之前正式发射升空[91]。

 

    对引力波的探测将在很大程度上扩展基于电磁波观测的传统观测天文学的视野[92] ，人们能够通过探测到的引力波信号了解到其波源的信息。这些从未被真正了解过的信息可能来自于黑洞、中子星或白矮星等致密星体，可能来自于某些超新星爆发，甚至可能来自宇宙诞生极早期的暴涨时代的某些烙印，例如假想的宇宙弦[93]。

 

5.3 黑洞和其它致密星体

 

 

 

 

 

    黑洞

 

    基于广义相对论理论的计算机模拟一颗恒星坍缩为黑洞并释放出引力波的过程广义相对论预言了黑洞的存在，即当一个星体足够致密时，其引力使得时空中的一块区域极端扭曲以至于光都无法逸出。在当前被广为接受的恒星演化模型中，一般认为大质量恒星演化的最终阶段的情形包括1.4倍左右太阳质量的恒星演化为中子星，而数倍至几十倍太阳质量的恒星演化为恒星质量黑洞[94]。具有几百万倍至几十亿倍太阳质量的超大质量黑洞被认为定律性地存在于每个星系的中心[95]，一般认为它们的存在对于星系及更大的宇宙尺度结构的形成具有重要作用[96]。

 

    在天文学上致密星体的最重要属性之一是它们能够极有效率地将引力能量转换为电磁辐射[97]。恒星质量黑洞或超大质量黑洞对星际气体和尘埃的吸积过程被认为是某些非常明亮的天体的形成机制，著名且多样的例子包括星系尺度的活动星系核以及恒星尺度的微类星体[98]。在某些特定场合下吸积过程会在这些天体中激发强度极强的相对论性喷流，这是一种喷射速度可接近光速的[99]且方向性极强的高能等离子束。在对这些现象进行建立模型的过程中广义相对论都起到了关键作用[100]，而实验观测也为支持黑洞的存在以及广义相对论做出的种种预言提供了有力证据[101]。

 

    黑洞也是引力波探测的重要目标之一：黑洞双星的合并过程可能会辐射出能够被地球上的探测器接收到的某些最强的引力波信号，并且在双星合并前的啁啾信号可以被当作一种“标准烛光”从而来推测合并时的距离，并进一步成为在大尺度上探测宇宙膨胀的一种手段[102]。而恒星质量黑洞等小质量致密星体落入超大质量黑洞的这一过程所辐射的引力波能够直接并完整地还原超大质量黑洞周围的时空几何信息[103]。

 

5.4 宇宙学

 

 

 

 

 

    物理宇宙学

 

    威尔金森微波各向异性探测器（WMAP）拍摄的全天微波背景辐射的温度涨落现代的宇宙模型是基于带有宇宙常数的爱因斯坦场方程建立的，宇宙常数的值对大尺度的宇宙动力学有着重要影响。

 

 

 

                                           

    这个经修改的爱因斯坦场方程具有一个各向同性并均匀的解：弗里德曼-勒梅特-罗伯逊-沃尔克度规[104]，在这个解的基础上物理学家建立了从一百四十亿年前炽热的大爆炸中演化而来的宇宙模型[105]。只要能够将这个模型中为数不多的几个参数（例如宇宙的物质平均密度）通过天文观测加以确定[106]，人们就能从进一步得到的实验数据检验这个模型的正确性[107]。这个模型的很多预言都是成功的，这包括太初核合成时期形成的化学元素初始丰度[108]、宇宙的大尺度结构[109]以及早期的宇宙温度在今天留下的“回音”：宇宙微波背景辐射[110]。

 

    从天文学观测得到的宇宙膨胀速率可以进一步估算出宇宙中存在的物质总量，不过有关宇宙中物质的本性还是一个有待解决的问题。现在估计宇宙中大约有90%以上的物质都属于暗物质，它们具有质量（即参与引力相互作用），但不参与电磁相互作用，即它们无法（通过电磁波）直接观测到[111]。目前在已知的粒子物理[112]或其他什么理论[113]的框架中还没有办法对这种物质做出令人满意的描述。另外，对遥远的超新星红移的观测以及对宇宙微波背景辐射的测量显示，我们的宇宙的演化过程在很大程度上受宇宙常数值的影响，而正是宇宙常数的值决定了现在宇宙的加速膨胀。换句话说，宇宙的加速膨胀是由具有非通常意义下的状态方程的某种能量形式决定的，这种能量被称作暗能量，其本性也仍然不为所知[114]。

 

    在所谓暴涨模型中，宇宙曾在诞生的极早期（～10-33秒）经历了剧烈的加速膨胀过程[115]。这个在于二十世纪八十年代提出的假说是由于某些令人困惑并且用经典宇宙学无法解释的观测结果而提出的，例如宇宙微波背景辐射的高度各向同性[116]，而现在对微波背景辐射各向异性的观测结果是支持暴涨模型的证据之一[117]。然而，暴涨的可能的方式也是多样的，现今的观测还无法对此作出约束[118]。一个更大的课题是关于极早期宇宙的物理学的，这涉及到发生在暴涨之前的、由经典宇宙学模型预言的大爆炸奇点。对此比较有权威性的意见是这个问题需要由一个完备的量子引力理论来解答，而这个理论至今还没有建立[119]（参见下文量子引力）。

 

 

6 进阶概念

 

6.1 因果结构和全局几何

 

    因果结构

 

 

 

    一个无限的静态闵可夫斯基宇宙的彭罗斯图在广义相对论中没有任何有静止质量的物体能够追上或超过一束光脉冲，即是说发生于某一点的事件A在光从那一点传播到空间中任意位置X之前无法对位置X产生影响。因此，一个时空中所有光的世界线（零性测地线）包含了有关这个时空的关键因果结构信息。描述这种因果结构的是彭罗斯-卡特图，在这种图中无限大的空间区域和时间间隔通过共形变换被“收缩”（数学上称为紧化）在可被容纳的有限时空区域内，而光的世界线仍然和在闵可夫斯基图中一样用对角线表示[120]。

 

    彭罗斯和其他研究者注意到因果结构的重要性，从而发展了所谓全局几何。全局几何中研究的对象不再是爱因斯坦场方程的一个个特定解（或一族解），而是运用一些对所有测地线都成立的关系，如Raychaudhuri方程，以及对物质本性的非特异性假设（通常用所谓能量条件的形式来表述）来推导普适性结论[121]。

 

 

6.2 视界

 

    视界、无毛定理和黑洞力学

 

    在全局几何下可以证明有些时空中存在被称作视界的分界线，它们将时空中的一部分区域隔离起来。这样的最著名例子是黑洞：当质量被压缩到空间中的一块足够小的区域中后（相关长度为史瓦西半径[122]），没有光子能从内部逸出。而由于任何有质量的粒子速度都无法超过光速，黑洞内部的物质也被封闭在视界内。不过，从视界之外到视界之内的通道依然是存在的，这表明黑洞的视界作为一种分界线并不是物理性质的屏障[123]。

 

 

 

    一个旋转黑洞的能层，在从旋转黑洞抽取能量的过程中扮演着重要角色早期的黑洞研究主要依赖于求得爱因斯坦场方程的精确解，著名的解包括球对称的史瓦西解（用来描述静态黑洞）和反对称的克尔解（用来描述旋转定态黑洞，并由此引入了能层等有趣的属性）。而后来的研究通过全局几何揭示了更多的关于黑洞的普适性质：研究表明经过一段相当长的时间后黑洞都逐渐演化为一类相当简单的可用十一个参数来确定的星体，包括能量、动量、角动量、某一时刻的位置和所带电荷。这一性质可归纳为黑洞的唯一性定理：“黑洞没有毛发”，即黑洞没有像人类的不同发型那样的不同标记。例如，星体经过引力坍缩形成黑洞的过程非常复杂，但最终形成的黑洞的属性却相当简单[124]。

 

    更值得一提的是黑洞研究已经得到了一组制约黑洞行为的一般性定律，这被称作黑洞（热）力学，这些定律与热力学定律有很强的类比关系。例如根据黑洞力学的第二定律，一个黑洞的视界面积永不会自发地随着时间而减少，这类似于一个热力学系统的熵；这个定律也决定了通过经典方法（例如，彭罗斯过程）不可能从一个旋转黑洞中无限度地抽取能量[125]。这些都强烈暗示了黑洞力学定律实际是热力学定律的一个子集，而黑洞的表面积和它的熵成正比[126]。从这个假设可以进一步修正黑洞力学定律。例如，由于黑洞力学第二定律是热力学第二定律的一部分，则可知黑洞的表面积也有可能减小，只要有某种其它过程来保证系统的总熵是增加的。而热力学第三定律认为不存在温度为绝对零度的物体，可以进一步推知黑洞应该也存在热辐射；半经典理论计算表明它们确实存在有热辐射，在这个机制中黑洞的表面引力充当着普朗克黑体辐射定律中温度的角色，这种辐射称作霍金辐射（参见下文量子理论一节）[127]。

 

    广义相对论还预言了其他类型的视界模型：在一个膨胀宇宙中，观察者可能会发现过去的某些区域不能被观测（所谓“粒子视界”），而未来的某些区域不能被影响（事件视界）[128]。即使是在平直的闵可夫斯基时空中，当观察者处于一个加速的参考系时也会存在视界，这些视界也会伴随有半经典理论中的盎鲁辐射[129]。

 

6.3 奇点

 

    引力奇点

 

    广义相对论的另一个普遍却又令人困扰的特色问题是时空的分界线——奇点的出现。时空可以通过沿着类时和类光的测地线来探索，这些路径是光子及其他所有粒子在自由落体运动中的可能轨迹，但爱因斯坦场方程的某些解具有“粗糙的边缘”——这被称作时空奇点，这些奇点上类时或类光的测地线会突然中止，而对于这些奇点没有定义好的时空几何来描述。需要说明的是，“奇点”往往可能并不是一个“点”：那些场方程的解的“粗糙边缘”在既有坐标系下，不仅可能是一个“点”，还可以以其他几何形式出现（比如克尔黑洞的“奇环”等）。一般意义上的奇点是指曲率奇点，这是说在这些点上描述时空曲率的几何量，例如里奇张量为无限大[130]（曲率奇点是相对所谓坐标奇点而言的，坐标奇点本质上不属于奇点的范畴：有些度规在某个特定坐标下会产生无穷大，但本质上这些点不具有奇性，在其他合适的坐标下是光滑的，也不会产生无穷大的曲率张量）。描述未来的奇点（世界线的终结）的著名例子包括永远静态的史瓦西黑洞内部的奇点[131]，以及永远旋转的克尔黑洞内部的环状奇点[132]。弗里德曼-勒梅特-罗伯逊-沃尔克度规，以及其他描述宇宙的时空几何都具有过去的奇点（世界线的开端），这被称作大爆炸奇点，而有些还具有未来的奇点（大挤压）[133]。

 

    考虑到这些模型都是高度对称从而被简化的，人们很容易去猜测奇点的出现是否只是理想状态下的不自然产物。然而著名的由全局几何证明的奇点定理指出，奇点是广义相对论的一个普遍特色结果，并且任何有质量的实体发生引力坍缩并达到一个特定阶段后都会形成奇点[134]，而在一系列膨胀宇宙模型中也一样存在奇点[135]。不过奇点定理的内容基本没有涉及到奇点的性质，这些关于确定奇点的一般结构（例如所谓BKL假说）的问题是当前相关研究的主要课题[136]。另一方面，由于在对于物理规律的破坏方面而言，一个被包裹于视界之中的奇点被认为要好过一个“裸”的奇点，故而宇宙监督假说被提出，它认为所有未来的实际奇点（即没有完美对称性的具有实际性质的物体形成的奇点）都会被藏在视界之内，从而对外面对观察者不可见，即自然界憎恨裸奇点。尽管还没有实际证据证明这一点，有数值模拟的结果支持这一假说的正确性[137]。

 

6.4 演化方程

 

    每一个爱因斯坦场方程的解都是一个宇宙，这里的宇宙含义既包括了整个空间，也包括了过去与未来——它们并不单单是反映某些事物的“快照”，而是所描述的时空的完全写真。每一个解在其专属的特定宇宙中都能描述任意时间和任意位置的时空几何和物质状态。出于这个表征，爱因斯坦的理论看上去与其他大多数物理理论有所不同：大多数物理理论都需要指明一个物理系统的演化方程（例如量子力学中的埃伦费斯特定理），即如果一个物理系统在给定时刻的状态已知，其演化方程能够允许描述系统在过去和未来的状态。爱因斯坦理论中的引力场和其他场的更多区别还在于前者是自身相互作用的（是指它在没有其他场出现时仍然还是非线性的），并且不具有固定的背景结构（在宇宙尺度上会发生演化）[138]。

 

    为了更好地理解爱因斯坦场方程这个与时间有关的偏微分方程，可以将它写成某种能够描述宇宙随时间演化的形式。这种形式被称作“3+1”分解，其中时空被分为三维空间和一维时间。最著名的形式叫做ADM形式[139] ，在这种分解下广义相对论的时空演化方程具有良好的性质：在适当的初始条件给定的情形下方程有解并且是唯一的[140]。场方程的“3+1”分解形式是数值相对论的研究基础[141]。

 

6.5 全局和准局部量

 

    广义相对论中的质量

 

    演化方程的观念与广义相对论性物理中的另一个方面紧密联系：在爱因斯坦的理论中，一个系统的总质量（或能量）这个看似简单的概念无法找到一种普遍性的定义。其原因在于，引力场原则上并不像其他的场那样具有可以局域化的能量[142]。

 

    尽管如此，试图通过其他途径来定义一个系统的总质量还是可能的，在经典物理中，质量（或能量）的定义可以来自时间平移不变性的守恒量，或是通过系统的哈密顿形式。在广义相对论中，从这两种途径出发可以分别得到如下质量的定义：

 

    柯玛质量[143]：从类时的Killing矢量出发通过柯玛积分得到的在时间平移不变性下的守恒量，表现为一个静态时空的总能量；ADM质量[144]：在一个渐近平直时空中建立广义相对论的哈密顿形式，从中定义系统的总能量。

    如果将一个系统的总质量中被引力波携带至无限远处的能量除去，得到的结果叫做零性无限远处的邦迪质量[145]。这些定义而来的质量被舍恩和丘成桐的正质量定理证明是正值[146]，而动量和角动量也具有全局的相应定义[147]。在这方面的研究中还有很多试图建立所谓准局部量的尝试，例如仅通过一个孤立系统所在的有限空间区域中包含的物理量来构造这个孤立系统的质量。这类尝试寄希望于能够找到一个更好地描述孤立系统的量化方式，例如环假说的某种更精确的形式[148]。

 

7 和量子理论的关系

 

    如果说广义相对论是现代物理学的两大支柱之一，那么量子理论作为我们借此了解基本粒子以及凝聚态物理的基础理论就是现代物理的另一支柱[149]。然而，如何将量子理论中的概念应用到广义相对论的框架中仍然是一个未能解决的问题。

 

7.1 弯曲时空中的量子场论

 

    作为现代物理中粒子物理学的基础，通常意义上的量子场论是建立在平直的闵可夫斯基时空中的，这对于处在像地球这样的弱引力场中的微观粒子的描述而言是一个非常好的近似[150]。而在某些情形中，引力场的强度足以影响到其中的量子化的物质但不足以要求引力场本身也被量子化，为此物理学家发展了弯曲时空中的量子场论。这些理论借助于经典的广义相对论来描述弯曲的背景时空，并定义了广义化的弯曲时空中的量子场理论[151]。通过这种理论，可以证明黑洞也在通过黑体辐射释放出粒子，这即是霍金辐射，并有可能通过这种机制导致黑洞最终蒸发[152]。如前文所述，霍金辐射在黑洞热力学的研究中起到了关键作用[153]。

 

7.2 量子引力

 

    量子引力

 

 

 

 

 

    （参见：弦论及圈量子引力）

 

    物质的量子化描述和时空的几何化描述之间彼此不具有相容性[154]，以及广义相对论中时空曲率无限大（意味着其结构成为微观尺度）的奇点的出现，这些都要求着一个完整的量子引力理论的建立。这个理论需要能够对黑洞内部以及极早期宇宙的情形做出充分的描述，而其中的引力和相关的时空几何需要用量子化的语言来叙述[155]。尽管物理学家为此做出了很多努力，并有多个有潜质的候选理论已经发展起来，至今人类还没能得到一个称得上完整并自洽的量子引力理论[156]。

 

 

 

 

    一个卡拉比-丘流形的投影，由弦论所提出的紧化额外维度的一种方法量子场论作为粒子物理的基础已经能够描述除引力外的其余三种基本相互作用，但试图将引力概括到量子场论的框架中的尝试却遇到了严重的问题。在低能区域这种尝试取得了成功，其结果是一个可被接受的引力的有效（量子）场理论[157]，但在高能区域得到的模型是发散的（不可重整化）[158]。

 

 

    圈量子引力中的一个简单自旋网络试图克服这些限制的尝试性理论之一是弦论，在这种量子理论中研究的最基本单位不再是点状粒子，而是一维的弦[159]。弦论有可能成为能够描述所有粒子和包括引力在内的基本相互作用的大统一理论[160]，其代价是导致了在三维空间的基础上生成六维的额外维度等反常特性[161]。在所谓第二次超弦理论革新中，人们猜测超弦理论，以及广义相对论与超对称的统一即所谓超引力[162]，能够构成一个猜想的十一维模型的一部分，这种模型叫做M理论，它被认为能够建立一个具有唯一性定义且自洽的量子引力理论[163]。

 

    另外一种尝试来自于量子理论中的正则量子化方法。应用广义相对论的初值形式（参见上文演化方程一节），其结果是惠勒-得卫特方程（其作用类似于薛定谔方程）。虽然这个方程在一般情形下定义并不完备[164]，但在所谓阿西特卡变量的引入下[165]，从这个方程能够得到一个很有前途的模型：圈量子引力。在这个理论中空间是一种被称作自旋网络的网状结构，并在离散的时间中演化[166]。

 

    取决于广义相对论和量子理论中的哪些性质可以被接受保留，并在什么能量量级上需要引入变化[167]，对量子引力的尝试理论还有很多，例如动力三角剖分[168]、因果组合[169]、扭量理论[170]以及基于路径积分的量子宇宙学模型[171]。

 

    所有这些尝试性候选理论都仍有形式上和概念上的主要问题需要解决，而且它们都在面临一个共同的问题，即至今还没有办法从实验上验证量子引力理论的预言，进而无法通过多个理论之间某些预言的不同来判别其正确性。在这个意义上，量子引力的实验观测还需要寄希望于未来的宇宙学观测以及相关的粒子物理实验逐渐成为可能[172]。

 

8 当前进展

 

    在引力和宇宙学的研究中，广义相对论已经成为了一个高度成功的模型，至今为止已经通过了每一次意义明确的观测和实验的检验。然而即便如此，仍然有证据显示这个理论并不是那么完善的[173]：对量子引力的寻求以及时空奇点的现实性问题依然有待解决[174]；实验观测得到的支持暗物质和暗能量存在的数据结果也在暗暗呼唤着一种新物理学的建立[175]；而从先驱者号观测到的反常效应也许可以用已知的理论来解释，也许则真的是一种新物理学来临的预告[176]。不过，广义相对论之中仍然充满了值得探索的可能性：数学相对论学家正在寻求理解奇点的本性，以及爱因斯坦场方程的基本属性[177]；不断更新的计算机正在进行黑洞合并等更多的数值模拟[178]；而第一次直接观测到引力波的竞赛也正在前进中[179]，人类希望借此能够在比至今能达到的强得多的引力场中创造更多检验这个理论的正确性的机会[180]。在爱因斯坦发表他的理论九十多年之后，广义相对论依然是一个高度活跃的研究领域[181]。

9 注释

 

 

1^ 这段研究发展历程请参见 Pais（1982年）．和 Janssen（2005年）．的第九章至第十五章；涵盖当前最新研究并包含有最初版本的多个重印版都收集在 Renn（2007年）．中；在 Renn（2005年），p. 110ff.．有相关概述。在 Einstein（1907年）．还提供了一篇早期的重要文章，并参见 Pais（1982年），ch. 9．。以场方程为主要特色内容发表的文章是 Einstein（1915年）．，并参见 Pais（1982年），ch. 11–15．。
2^ 参见 Schwarzschild（1916a年）．， Schwarzschild（1916b年）．和 Reissner（1916年）．（其后在 Nordström（1918年）．有补充）。
3^ 参见 Einstein（1917年）．，并参考 Pais（1982年），ch. 15e．。
4^ 哈勃的原文是 Hubble（1929年）．；相关概述请见 Singh（2004年），ch. 2–4．。
5^ 正如伽莫夫在 Gamow（1970年）．中所指出的，爱因斯坦的忏悔被证明是为时尚早，参见下文的宇宙学一节。
6^ 参见 Pais（1982年），p. 253–254．。
7^ 参见 Kennefick（2005年）．和 Kennefick（2007年）．。
8^ 参见 Pais（1982年），ch. 16．。
9^ 参见 Israel（1987年），ch. 7.8–7.10．和 Thorne（1994年），ch. 3–9．。
10^ 参见下文的轨道效应，引力时间膨胀和红移和光线偏折和引力时间延迟及其参考文献
11^ 参见下文的宇宙学及其参考文献；历史发展回顾请见 Overbye（1999年）．。
12^ 下文的表述参考自 Ehlers（1973年），section 1．。
13^ 例如参见 Arnold（1989年），chapter 1．。
14^ 参见 Ehlers（1973年），pp. 5f.．。
15^ 参见 Will（1993年），section 2.4．或 Will（2006年），section 2．。
16^ 参见 Wheeler（1990年），chapter 2．；在大多数广义相对论的通俗读物中都会提到这个演示。
17^ 按照需要的数学水平从低到高排序，参考读物包括 Giulini（2005年）．， Mermin（2005年）．，以及 Rindler（1991年）．；相关的精确实验测量参见 Ehlers & Lämmerzahl（2006年）．的第四部分。
18^ 关于这两种对称群的比较请见 Giulini（2006a年）．。
19^ 例如参见 Rindler（1991年），section 22．；较为全面的处理方法参见 Synge（1972年），ch. 1 and 2．。
20^ 例如 Ehlers（1973年），sec. 2.3.．
21^ 参见 Ehlers（1973年），sec. 1.4.．和 Schutz（1985年），sec. 5.1．。
22^ 实验证据请参见 Ehlers（1973年），sec. 1.4.．，并见下文引力时间膨胀和引力红移。选择另一种非零的连接系数扭率张量就会得到爱因斯坦-嘉当理论。
23^ 参见 Ehlers（1973年），p. 16．； Kenyon（1990年），sec. 7.2．； Weinberg（1972年），sec. 2.8．。
24^ 例如参见 Kenyon（1990年），sec. 7.4．。
25^ 关于更多的替代理论参见 Brans & Dicke（1961年）．， Weinberg（1972年）．的第七章第三节， Goenner（2004年），sec. 7.2．以及 Trautman（2006年）．。
26^ 例如参见 Wald（1984年），ch. 4．， Weinberg（1972年），ch. 7．或任意一本广义相对论教科书
27^ 这种说法至少是近似成立的，参见 Poisson（2004年）．。
28^ 例如见于 Wheeler（1990年）．p. xi
29^ 例如参见 Wald（1984年），sec. 4.4．
30^ 例如参见 Wald（1984年），sec. 4.1．。
31^ 关于定义广义相对性原理以及将其从广义协变性的观念中分离出来这一过程中所遇到的困难，参见 Giulini（2006b年）．。
32^ 例如 Weinberg（1972年）．的第十二章第五节。
33^ 参见 Stephani等作者（2003年）．中的介绍章节。
34^ 在 Geroch（1996年）．中有关于爱因斯坦场方程在联系其他具有物理意义的偏微分方程下的回顾讨论。
35^ 关于这些解的背景和列表，参见 Stephani等作者（2003年）．；另一个更新的回顾讨论是 MacCallum（2006年）．。
36^ 例如参见 Chandrasekhar（1983年）．的第三、五、六章。
37^ 例如参见 Narlikar（1993年）．的第四章和第3.3节。
38^ 在 Hawking & Ellis（1973年），ch. 5．中有关于这些解的简略描述和其他更多的有趣精确解。
39^ 参见 Lehner（2002年）．的概述。
40^ 例如参见 Wald（1984年），sec. 4.4．。
41^ 例如参见 Will（1993年），sec. 4.1 and 4.2．。
42^ 参见 Will（2006年）．的第3.2节以及 Will（1993年），ch. 4．。
43^ 参见 Rindler（2001年），pp. 24–26 vs. pp. 236–237．和 Ohanian & Ruffini（1994年），pp. 164–172．。事实上，爱因斯坦早在1907年就通过（爱因斯坦）等效原理（EEP）推导出了这些效应，参见 Einstein（1907年）．和 Pais（1982年），pp. 196–198．中的描述。
44^ 参见 Rindler（2001年），pp. 24–26．； Misner，Thorne & Wheeler（1973 年），§ 38.5．。
45^ 庞德-雷布卡实验，参见 Pound & Rebka（1959年）．， Pound & Rebka（1960年）．； Pound & Snider（1964年）．；更多的实验列表在 Ohanian & Ruffini（1994年），table 4.1 on p. 186．。
46^ 例如参见 Greenstein，Oke & Shipman（1971年）．；最新也是最精确的对于天狼B的观测成果发表在 Barstow，Bond & Holberg（2005年）．。
47^ 这类测量以Hafele-Keating实验为起始，参见 Hafele & Keating（1972a年）．和 Hafele & Keating（1972b年）．，在引力探测器A的探测中达到顶峰；对这类实验的概述参见 Ohanian & Ruffini（1994年），table 4.1 on p. 186．。
48^ 通过比较地面上的原子钟和轨道卫星上的原子钟来检测GPS的工作一直在持续进行中；关于相应的相对论效应参见 Ashby（2002年）．和 Ashby（2003年）．。
49^ 在 Stairs（2003年）．和 Kramer（2004年）．中有回顾评论。
50^ 一般性综述在Will 2006的2.1节；Will 2003, pp. 32–36； Ohanian & Ruffini（1994年），section 4.2．。
51^ 参见 Ohanian & Ruffini（1994年），pp. 164–172．。
52^ 参见 Kennefick（2005年）． 以了解爱丁顿爵士的早期经典测量；关于现代更多更新的同类测量概述参见 Ohanian & Ruffini（1994年），chapter 4.3．。现在所能达到的最精确测量方法是通过脉冲星，参见 Shapiro等作者（2004年）．。
53^ 狭义相对论中的光速不变不是一条独立的公理，它能通过爱因斯坦场方程和电磁场的拉格朗日量并使用WKB方法导出，参见 Ehlers（1973年），section 5．。
54^ 对这一方面的一个简明摘要可见于 Blanchet（2006年），section 1.3．。
55^ 或对光子应用自由落体定律，参见 Rindler（2001年），section 1.16．；其他历史实例可见于 Israel（1987年），p. 202–204.．；事实上爱因斯坦在 Einstein（1907年）．这篇文献中已经发表过这种推导，其中的计算默认了时空是欧几里德性的。参见 Ehlers & Rindler（1997年）．。
56^ 从爱因斯坦理论的立场来看，这些推导考虑的是引力对光的作用，而并非将引力看作是时空的弯曲，参见 Rindler（2001年），sec. 11.11．。
57^ 关于在太阳引力场中雷达信号到达金星或水星等行星后返回的延迟，参见 Shapiro（1964年）．，其教学性的介绍可见于 Weinberg（1972年），ch. 8, sec. 7．；关于从空间探测器返回的信号延迟（收发机测量），参见 Bertotti，Iess & Tortora（2003年）．；概述可见于 Ohanian & Ruffini（1994年），table 4.4 on p. 200．；关于更新的对接收到的脉冲双星信号的测量，其中一颗脉冲星的信号在另一颗脉冲星的引力场中被延迟，参见 Stairs（2003年），section 4.4．。
58^ 参见 Will（1993年），sec. 7.1 and 7.2．。
59^ 关于引力波的概述请见 Misner，Thorne & Wheeler（1973年），part VIII．。需要注意到是尽管性质类同于电磁波，引力波辐射的主导项来自于波源的四极矩而非电磁波一样的偶极矩，参见 Schutz（2001年）．。
60^ 大多数广义相对论的教科书都会包含这方面的说明，例如 Schutz（1985年），ch. 9．。
61^ 例如参见 Jaranowski & Królak（2005年）．。
62^ 参见 Rindler（2001年），ch. 13．。
63^ 参见 Gowdy（1971年）．， Gowdy（1974年）．。
64^ 关于数值相对论方法的简要介绍参见 Lehner（2002年）．，而 Seidel（1998年）．介绍了数值相对论与引力波天文学之间的衔接关系。
65^ 参见 Schutz（2003年），pp. 48–49．和 Pais（1982年），pp. 253–254．。
66^ 参见 Rindler（2001年），sec. 11.9．。
67^ 参见 Will（1993年），pp. 177–181．。
68^ 在参数化后牛顿形式中，对这种效应的测量决定了两个参数β和γ的线性组合，参见 Will（2006年），sec. 3.5．和 Will（1993年），sec. 7.3．。
69^ 在太阳系行星上做出的最精确测量是VLBI测量，参见 Will（1993年），chapter 5．， Will（2006年），section 3.5．， Anderson等作者（1992年）．；概述见于 Ohanian & Ruffini（1994年），pp. 406–407．。
70^ 参见 Kramer等作者（2006年）．。
71^ 参见 Stairs（2003年）．和 Schutz（2003年），pp. 317–321．；以及 Bartusiak（2000年），pp. 70–86．。
72^ 关于这段研究的概述在 Weisberg & Taylor（2003年）．；脉冲双星本身的发现可见于 Hulse & Taylor（1975年）．；关于引力波存在的最早证据在 Taylor（1994年）．。
73^ 参见 Kramer（2004年）．。
74^ 例如参见 Penrose（2004年），§14.5．和 Misner，Thorne & Wheeler（1973年），sec. §11.4．。
75^ 参见 Weinberg（1972年），sec. 9.6．和 Ohanian & Ruffini（1994年），sec. 7.8．。
76^ 参见 Bertotti，Ciufolini & Bender（1987年）．和更新的评论 Nordtvedt（2003年）．。
77^ 参见 Kahn（2007年）．。
78^ 例如参见 Townsend（1997年），sec. 4.2.1．和 Ohanian & Ruffini（1994年），pp. 469–471.．。
79^ 例如参见 Ohanian & Ruffini（1994年），sec. 4.7．和 Weinberg（1972年），sec. 9.7．；更新的评论在 Schäfer（2004年）．。
80^ 例如参见 Ciufolini & Pavlis（2004年）．和 Ciufolini，Pavlis & Peron（2006年）．；参见参考系拖拽了解相关的争论。
81^ 任务的介绍可见于 Everitt等作者（2001年）．；飞行后的首次评估可见于 Everitt等作者（2007年）．；更多更新即将见于此项任务的网站 Kahn（1996–2008年）．。
82^ 关于引力透镜及其应用的概述参见 Ehlers，Falco & Schneider（1992年）．和 Wambsganss（1998年）．。
83^ 关于引力透镜效应的简单推导参见 Schutz（2003年），ch. 23．；以及 Narayan & Bartelmann（1997年），sec. 3．。
84^ 参见 Walsh，Carswell & Weymann（1979年）．。
85^ 所有这些已知的引力透镜的照片都可以在CASTLES计划中找到： Kochanek等作者（2007年）．。
86^ 相关概述参见 Roulet & Mollerach（1997年）．。
87^ 参见 Narayan & Bartelmann（1997年），sec. 3.7．。
88^ 引力波天文学的概述可参见 Barish（2005年）．；以及 Bartusiak（2000年）．和 Blair & McNamara（1997年）．。
89^ 引力波探测器概述可见于 Hough & Rowan（2000年）．。
90^ 参见 Danzmann & Rüdiger（2003年）．。
91^ 参见 Landgraf，Hechler & Kemble（2005年）．。
92^ 参见 Thorne（1995年）．。
93^ 参见 Cutler & Thorne（2002年）．。
94^ 参见 Miller（2002年），lectures 19 and 21．。
95^ 例如参见 Celotti，Miller & Sciama（1999年），sec. 3．。
96^ 参见 Springel等作者（2005年）． and the accompanying summary Gnedin（2005年）．。
97^ 参见 Blandford（1987年），section 8.2.4．。
98^ 关于这种机制的基本原理参见 Carroll & Ostlie（1996年），sec. 17.2．；关于由这种机制形成的不同种类的天体的更多信息参见 Robson（1996年）．。
99^ 有关相对论性喷流的介绍参见 Begelman，Blandford & Rees（1984年）．。有趣的是，对于一个距离遥远的观测者而言，某些相对论性喷流的速度看上去甚至超过了光速；但这其实是一种光学上的幻象而并不违反相对论，参见 Rees（1966年）．。
100^ 关于恒星演化的最终阶段参见 Oppenheimer & Snyder（1939年）．，以及 Font（2003年），sec. 4.1．包含了更多更新的数值计算成果；对于超新星爆发的过程仍有一些主要问题没有被解决，参见 Buras等作者（2003年）．；关于吸积和喷流形成的数值模拟，参见 Font（2003年），sec. 4.2．。而引力透镜效应则被认为在接收来自X射线脉冲星的信号中起到了一定作用，参见 Kraus（1998年）．。
101^ 这些证据包括通过对吸积驱动效应的观测得到的星体致密度的极限（“爱丁顿光度”），参见 Celotti，Miller & Sciama（1999年）．；对我们的银河系中心附近的恒星动力学观测，参见 Schödel等作者（2003年）．；对某些X射线暴（其中心星体往往是一颗中子星或黑洞）的研究表明宇宙中至少有某些致密星体并没有固态的表面，参见 Remillard等作者（2006年）．及 Narayan（2006年），sec. 5．；以及对银河系中心的超大质量黑洞的事件视界的“阴暗”部分的搜索观测正在积极进行中，参见 Falcke，Melia & Agol（2000年）．.
102^ 参见 Dalal等作者（2006年）．。
103^ 例如参见 Barack & Cutler（2004年）．。
104^ 参见 Carroll（2001年），ch. 2．。
105^ 参见 Bergström & Goobar（2003年），ch. 9–11．；这些宇宙模型之所以能够被认可，是由于观测到的宇宙在大尺度（一亿光年以上）上是均匀且各向同性的，参见 Peebles等作者（1991年）．。
106^ 例如参考来自WMAP的数据，参见 Spergel等作者（2003年）．。
107^ 这些检验来自于彼此独立的观测，例如参见 Bridle等作者（2003年）．中图2。
108^ 参见 Peebles（1966年）．；对这些预言的解释参见 Coc等作者（2004年）．；以及 Weiss（2006年）．；对这些观测的比较参见 Olive & Skillman（2004年）．， Bania，Rood & Balser（2002年）．， O'Meara等作者（2001年）．以及 Charbonnel & Primas（2005年）．。
109^ 回顾评论可见于 Lahav & Suto（2004年）．和 Bertschinger（1998年）．；更新的研究成果在 Springel等作者（2005年）．。
110^ 参见 Alpher & Herman（1948年）．，教学性的介绍参见 Bergström & Goobar（2003年），ch. 11．；最早对微波背景辐射的观测在 Penzias & Wilson（1965年）．，通过人造卫星所作的精确测量在 Mather等作者（1994年）． (COBE)和 Bennett等作者（2003年）． (WMAP)。未来的观测还有可能揭示极早期宇宙诞生时就存在的引力波的一些证据；这些附加的信息包含在微波背景辐射的偏振中，参见 Kamionkowski，Kosowsky & Stebbins（1997年）．和 Seljak & Zaldarriaga（1997年）．。
111^ 暗物质存在的证据：一部分来自于对宇宙学参数的确定以及对星系和星系团的一些观测，参见 Peebles（1993年）．的第十八章；一部分来自于引力透镜，参见 Peacock（1999年），sec. 4.6．；一部分来自对大尺度结构形成的模拟，参见 Springel等作者（2005年）．。
112^ 参见 Peacock（1999年），ch. 12．和 Peskin（2007年）．；特别地，观测显示除了少到可以忽略的一部分之外这些物质基本上不是由通常状态下的基本粒子组成的（即它们并非强子组成的物质），参见 Peacock（1999年），ch. 12．。
113^ 也就是说，有些物理学家开始怀疑暗物质存在的证据是否其实是爱因斯坦理论（当然也包括牛顿理论）对引力的描述存在偏差的证明，关于这一猜测的概述参见 Mannheim（2006年），sec. 9．。
114^ 参见 Carroll（2001年）．；概述可见于 Caldwell（2004年）．。对于暗能量，有些科学家也认为暗能量并非是一种新的能量形式，而是我们的宇宙学模型需要修正，参见 Mannheim（2006年），sec. 10．；不过这不一定意味着要对广义相对论进行修正，而可以是我们对宇宙各向异性的处理方法需要修正，参见 Buchert（2007年）．。
115^ 关于暴涨模型有一篇很好的介绍： Linde（1990年）．；以及一篇更近的回顾评论： Linde（2005年）．。
116^ 更准确地说，其中包括平坦问题、视界问题和单极矩问题；教学性介绍参见 Narlikar（1993年），sec. 6.4．以及 Börner（1993年），sec. 9.1．。
117^ 参见 Spergel等作者（2007年），sec. 5 & 6．。
118^ 更具体地说，在暴涨的动力学中起到关键作用的势能函数在现阶段只是简单推测来的，并没有经过一个物理理论的推导。
119^ 参见 Brandenberger（2007年），sec. 2．。
120^ 参见 Frauendiener（2004年）．， Wald（1984年），section 11.1．，以及 Hawking & Ellis（1973年），section 6.8 & 6.9．。
121^ 例如参见 Wald（1984年），sec. 9.2–9.4．和 Hawking & Ellis（1973年），ch. 6.．。
122^ 参见 Thorne（1972年）．；对更新的数值计算结果的解释可见于 Berger（2002年），sec. 2.1．。
123^ 有关这一概念的演化介绍，参见 Israel（1987年）．。 用更精确的数学描述来区别不同种类的视界，著名的包括事件视界和表面视界，可见于 Hawking & Ellis（1973年），pp. 312–320．或 Wald（1984年），sec. 12.2．；对于不需要在无限远处时空性质的孤立系统，还存在直觉的定义，参见 Ashtekar & Krishnan（2004年）．。
124^ 初步知识参见 Israel（1971年）．；相关推导参见 Hawking & Ellis（1973年），sec. 9.3．或 Heusler（1996年），ch. 9 and 10．；最近的研究成果回顾参见 Heusler（1998年）．和 Beig & Chruściel（2006年）．。
125^ 黑洞力学定律首先是在 Bardeen，Carter & Hawking（1973年）．中描述的；一个具有教学性的演示发言可见于 Carter（1979年）．；更新的回顾评论参见 Wald（2001年）．的第二章。涵盖了所需要数学的较为全面详细的介绍参见 Poisson（2004年）．。关于彭罗斯过程参见 Penrose（1969年）．。
126^ 参见 Bekenstein（1973年）．和 Bekenstein（1974年）．。
127^ 黑洞存在量子辐射的事实最早是在 Hawking（1975年）．中推导出的；一个更全面的推导可见于 Wald（1975年）．；相关回顾评论参见 Wald（2001年）．第三章。
128^ 参见 Narlikar（1993年），sec. 4.4.4 and 4.4.5．。
129^ 关于视界参见 Rindler（2001年），sec. 12.4．； 关于盎鲁效应参见 Unruh（1976年）．, cf. Wald（2001年），chapter 3．。
130^ 参见 Hawking & Ellis（1973年），section 8.1．， Wald（1984年），section 9.1．。
131^ 参见 Townsend（1997年），chapter 2．；这一精确解的延伸处理参见 Chandrasekhar（1983年），chapter 3．。
132^ 参见 Townsend（1997年），chapter 4．；这一精确解的延伸处理参见 Chandrasekhar（1983年），chapter 6．。
133^ 参见 Ellis & van Elst（1999年）．；关于奇点本身的探讨参见 Börner（1993年），sec. 1.2．。
134^ 这是指束缚的零性表面（en:trapped null surface），参见 Penrose（1965年）．。
135^ 参见 Hawking（1966年）．。
136^ BKL假说是在 Belinskii，Khalatnikov & Lifschitz（1971年）．中建立的；更新的回顾评论参见 Berger（2002年）．，以及 Garfinkle（2007年）．。
137^ 对未来奇点的约束条件自然地排除了像大爆炸奇点这样的初始奇点的存在可能，而这些奇点原则上在经过一定宇宙学上的时间尺度后是可以被观测者看到的。宇宙监督假说首先见于 Penrose（1969年）．；教科书水平的解释见于 Wald（1984年），pp. 302–305．。更多的数值模拟结果参见评论 Berger（2002年），sec. 2.1．。
138^ 参见 Hawking & Ellis（1973年），sec. 7.1．。
139^ 参见 Arnowitt，Deser & Misner（1962年）．；教学性介绍参见 Misner，Thorne & Wheeler（1973年），§21.4–§21.7．。
140^ Fourès-Bruhat（1952年）． and Bruhat（1962年）．；教学性介绍参见 Wald（1984年），ch. 10．；在线的回顾评论参见 Reula（1998年）．。
141^ 参见 Gourgoulhon（2007年）．；并参见数值相对论的基础回顾 Lehner（2001年）．，其中还包含从爱因斯坦方程特性引发的问题。
142^ 参见 Misner，Thorne & Wheeler（1973年），§20.4．。
143^ 参见 Komar（1959年）．；教学性介绍参见 Wald（1984年），sec. 11.2．；尽管定义方法差别很大，对于定态时空而言可以证明它和ADM质量等价，参见 Ashtekar & Magnon-Ashtekar（1979年）．。
144^ 参见 Arnowitt，Deser & Misner（1962年）．。
145^ 教学性介绍参见 Wald（1984年），sec. 11.2．。
146^ 在 Wald（1984年）．的第295页给出了很多参考；这对于时空的稳定性问题而言非常重要——如果负质量态存在，那么当平直的闵可夫斯基时空中的质量为零时将有可能向这些态演化。
147^ 例如参见 Townsend（1997年），ch. 5．。
148^ 这样的准局部的质量-能量定义包括霍金能量、Geroch能量，以及彭罗斯通过扭量方法定义的准局部能量-动量，参考评论 Szabados（2004年）．。
149^ 系统介绍量子理论的教科书有很多，如 Messiah（1999年）．；更基础的解释可参见 Hey & Walters（2003年）．。
150^ 参见教科书 Ramond（1990年）．， Weinberg（1995年）．或 Peskin & Schroeder（1995年）．；以及概述 Auyang（1995年）．。
151^ 参见 Wald（1994年）．和 Birrell & Davies（1984年）．。
152^ 霍金辐射参见 Hawking（1975年）．， Wald（1975年）．黑洞蒸发的更基础解释参见 Traschen（2000年）．。
153^ 参见 Wald（2001年）．第三章。
154^ 简单说来，物质是时空曲率的源，由于物质是量子化的，所以我们也期待时空也具有相应的量子性质，参见 Carlip（2001年）．第二节。
155^ 例如参见 Schutz（2003年）．的第407ff页。
156^ 有关时间表和概述可见于 Rovelli（2000年）．。
157^ 参见 Donoghue（1995年）．。
158^ 有关重整化参见 Weinberg（1996年）．的第十七和十八章；关于重整化对引力场在高能范围内失效参见 Goroff & Sagnotti（1985年）．。
159^ 弦论介绍参见 Zwiebach（2004年）．；更全面的介绍参见 Polchinski（1998a年）．和 Polchinski（1998b年）．。
160^ 在当前的实验所能达到的能量下，弦和点状粒子仍然是无法区分的；但关键一点在于，同一种类的基本弦在不同的振动模式下所表现出来的粒子携带有不一样的电荷，例如参见 Ibanez（2000年）．。这一理论的成功之处是有一种振动模式总是能与引力的媒介子即引力子对应，例如参见 Green，Schwarz & Witten（1987年），sec. 2.3 and 5.3．。
161^ 例如参见 Green，Schwarz & Witten（1987年），sec. 4.2．。
162^ 例如参见 Weinberg（2000年），ch. 31．。
163^ 例如参见 Townsend（1996年）．， Duff（1996年）．。
164^ Cf. section 3 in Kuchař（1973年）．.
165^ 这种变量用电场和磁场在数学上的类比来表示几何引力，参见 Ashtekar（1986年）．， Ashtekar（1987年）．。
166^ 回顾评论参见 Thiemann（2006年）．；更详细的解释参见 Rovelli（1998年）．， Ashtekar & Lewandowski（2004年）．以及讲义 Thiemann（2003年）．。
167^ 例如参见系统性的说明 Isham（1994年）．和 Sorkin（1997年）．。
168^ 参见 Loll（1998年）．。
169^ 参见 Sorkin（2005年）．。
170^ 参见 Penrose（2004年）．的第三十三章和其包含的参考文献。
171^ 参见 Hawking（1987年）．。
172^ 例如参见 Ashtekar（2007年）．， Schwarz（2007年）．。
173^ 参见 Maddox（1998年），pp. 52–59 and 98–122．， Penrose（2004年），section 34.1 and chapter 30．。
174^ 参见上文量子引力。
175^ 参见上文宇宙学。
176^ 参见 Nieto（2006年）．。
177^ 参见 Friedrich（2005年）．。
178^ 关于数值模拟的诸多问题，以及由此发展的解决技术的回顾评论参见 Lehner（2002年）．。
179^ 参见 Bartusiak（2000年）．了解到2000年为止的引力波探测，更新的结果可见于各大引力波探测计划主页，例如GEO 600和LIGO。
180^ 致密双星旋近的引力波偏振的相关论文参见 Blanchet等作者（2008年）．和 Arun等作者（2007年）．；致密双星的研究回顾评论参见 Blanchet（2006年）． 和 Futamase & Itoh（2006年）．；广义相对论的实验验证概述参见 Will（2006年）．。
181^ 高度推荐在线的当代广义相对论研究评论期刊Living Reviews in Relativity。

 

10 参考文献

 

 

 

caiyd08
关注
专栏目录
华为OD机试 - 最小的调整次数 特异性双端队列（Python），真题含思路
梦想橡皮擦，专栏100例写作模式先行者，现象级专栏 《Python 爬虫 100 例》作者、《滚雪球学 Python 专栏》原创者
02-11 3972
有一个特异性的双端队列，该队列可以从头部到尾部添加数据，但是只能从头部移除数据。 小 A 一次执行 $2n$ 个指令往队列中添加数据和移除数据， 其中 $n$ 个指令是添加数据(可能从头部也可以从尾部添加) 依次添加 1 到 $n$ , $n$ 个指令是移出数据 现在要求移除数据的顺序为 1 到 $n$ ， 为了满足最后输出的要求, 小 A 可以在任何时候调整队列中的数据的顺序 请问，小 A 最少需要调整几次才能满足移除数据的顺序正好是 1 到 $n$
华为OD机试Golang解题 - 最小的调整次数 特异性双端队列 | 含思路
最新发布
梦想橡皮擦，专栏100例写作模式先行者，现象级专栏 《Python 爬虫 100 例》作者、《滚雪球学 Python 专栏》原创者
03-04 2987
特异性双端队列 特数器：in 表示插入的元素的数量，out 表示移除的元素的数量，times 表示执行移除操作的次数。程序返回 times 的值，表示执行移除操作的次数。如果想要在华为od机试中获取高分，一定要不要完全背诵代码，需要理解之后模仿写出，分数才会高。有一个特异性的双端队列，该队列可以从头部到尾部添加数据，但是只能从头部移除数据。请问，小 A 最少需要调整几次才能满足移除数据的顺序正好是 1 到 n。小 A 一次执行 2n 个指令往队列中添加数据和移除数据，现在要求移除数据的顺序为 1 到 n ，
Computing Trajectory Similarity in Linear Time: A Generic Seed-Guided Neural Metric Learning Appr...
小蚂蚁与大象
06-09 623
Computing Trajectory Similarity in Linear Time: A Generic Seed-Guided Neural Metric Learning Appr... 摘要：现有的轨迹相似测度计算成本高，已成为尺度轨迹分析的关键瓶颈。虽然已经有很多关于降低复杂性的研究，但它们都是针对一种相似度度量，通常只能产生有限的加速。为了加快轨迹相似度计算，我们提出了NEUTRAJ算法。NEUTRAJ是通用的，以适应任何现有的轨迹测量，并快速计算一个给定的轨迹对的相似性在线性..
对链特异性建库的理解
热门推荐
sixu_9days的博客
07-27 1万+
刚接触高通量测序的时候就知道有链特异性建库这么个概念，当时也了解可以利用加U法，但是没有思考其中的细节。最近把这个概念掰开了揉碎了好好理解，终于填上了这个坑。 正式讲之前，有几个概念是要明确的。 DNA 的正链和负链，就是那两条反向互补的链。参考基因组给出的那个链就是所谓的正链（forword），另一条链是反链（reverse）。但是这正反一定不能和正义链（sense strand）反义链（a...
免疫的特异性和非特异性
dmwh368的博客
12-09 1370
来源：中国数字科技馆 免疫是人体的一种生理功能，人体依靠这种功能识别“自己”和“非己”成分，从而破坏和排斥进入人体的抗原物质(如病菌等)，或人体本身所产生的损伤细胞和肿瘤细胞等，以维持人体的健康。 　　免疫可分为非特异性免疫与特异性免疫。非特异性免疫是人一生下来就具有的，而特异性免疫需要经历一个过程才能获得。 　　非特异性免疫，又称先天免疫或固有免疫，指机体先天具有的正常的生理防御功能。非特异性免疫作用范围广，对各种不同的病原微生物和异物的入侵都能作出相应的免疫应答;反应快，抗原物质一旦接触机体会立即
Blast生成蛋白质序列位置特异性矩阵-PSSM矩阵详细版
Daisy4的博客
10-16 6170
在学习蛋白质蛋白质相互作用时看到了PSSM矩阵，就学习了一下如何生成的，具体步骤如下。 1.下载安装 网址：https://ftp.ncbi.nlm.nih.gov/blast/executables/blast+/LATEST/ 2.正常运行安装 此处并不产生任何快捷方式，不要反复下（都是踩过的坑）。 会产生一个blast文件夹 3.cmd-运行-powershell cd指令进入blast 或者 在blast中shift键+右击，进入powershell 4.下载数据库 网址：​..
2023新华为OD机试题 - 最小的调整次数 特异性双端队列（JavaScript） | 刷完必过
梦想橡皮擦，专栏100例写作模式先行者，现象级专栏 《Python 爬虫 100 例》作者、《滚雪球学 Python 专栏》原创者
02-13 4090
有一个特异性的双端队列，该队列可以从头部到尾部添加数据，但是只能从头部移除数据。 小 A 一次执行 2n 个指令往队列中添加数据和移除数据， 其中 n 个指令是添加数据(可能从头部也可以从尾部添加) 依次添加 1 到 n , n 个指令是移出数据 现在要求移除数据的顺序为 1 到 n ， 为了满足最后输出的要求, 小 A 可以在任何时候调整队列中的数据的顺序 请问,小 A 最少需要调整几次才能满足移除数据的顺序正好是 1 到 n
2021-02-23 根据RNA-seq测序数据判断文库类型和链特异性
weixin_49036514的博客
02-23 3737
如何只根据fastq文件确定RNA-seq的建库方法和链特异性？ strandedness，strandness，strand-specific，library type，library construction
经典论文-SeNet论文及实践
uncle_ll的博客
09-16 5154
卷积神经网络建立在卷积运算的基础上，通过融合局部感受野内的空间信息和通道信息来提取信息特征。为了提高网络的表示能力，许多现有的工作已经显示出增强空间编码的好处。在这项工作中，我们专注于通道，并提出了一种新颖的架构单元，我们称之为**“Squeeze-and-Excitation”（SE）模块**，通过显式地建模通道之间的相互依赖关系，自适应地重新校准通道式的特征响应。通过将这些块堆叠在一起，证明了可以构建SENet架构，在具有挑战性的数据集中可以进行泛化地非常好。关键的是，发现SE块以微小的计算成本为现有的
论文研究 - 植物相关细菌对非对映异构体的立体特异性降解影响Dodemorph的抗真菌性能
05-30
结果，非对映异构体的立体定向降解改变了它们在培养基中的比例，因此，该代谢步骤可能影响基于dodemorph的制剂对丝状真菌的抗真菌性能。 结果表明，由于协同作用，通过改变非对映异构体的比例，吗啉衍生物对灰葡萄...
论文研究 - 非特异性慢性下腰痛患者的热疗系统评价
05-28
这篇综述旨在更新非特异性慢性下腰痛患者进行热疗法治疗的证据，并评估相应临床试验的方法学质量。 先前的研究报告了热疗法有效性的矛盾证据。 在2016年5月至2018年2月之间，对MEDLINE（PubMed），PEDro，CENTRAL和...
HRSS:基于基因本体的杂种相对特异性相似性-开源
07-17
该软件提供了一种基于混合 GO 的语义相似性算法，用于评估 GO 术语或基因产物之间的功能相似性。 该软件使用预先下载的 GO 数据库文件和 GO 注释文件。 它允许用户设置生物体，而忽略证据代码。 该软件由五个模块...
生物学哲学的特异性-论文.zip
08-18
《生物学哲学的特异性》这篇论文深入探讨了生物学与哲学之间的相互作用，以及生物学作为一门科学在哲学领域中所展现出的独特性。生物学是研究生命及其各种现象的科学，而哲学则是对基本概念、原理和价值观进行批判性...
论文研究 - 诊断性FDG-PET研究的特异性取决于患者和位置
05-24
本文基于以下观察结果：1）据报道，根据FDG PET靶向的肿瘤（靶标）类型的不同，特异性有所不同； 2）人们可以认为示踪剂的敏感性取决于对肿瘤的亲和力。葡萄糖和靶标的血浆供应，即使靶标不能影响无关组织或病变的...
布拉格微波衍射试验
Prince的专栏
12-22 6982
[摘要]衍射现象是所有波的共性，所以微波同样可以产生布拉格衍射。微波的波长较x射线的波长长7个数量级，产生布拉格衍射的“晶格”也比X衍射晶格大7个数量级。通过“放大了的晶体”¾模拟晶体研究微波的布拉格衍射现象，使我们可以更直观地观察布拉格衍射现象，认识波的本质，也可以帮助我们深入理解x射线的晶体衍射理论。 [关键字]布拉格公式、微波、迈克尔逊干涉  　　第一章  引言
关于布朗运动
Prince的专栏
12-18 5436
Brownian movement Brownian motion 1.布朗运动的表述 　　悬浮微粒不停地做无规则运动的现象叫做布朗运动。　　例如，在显微镜下观察悬浮在水中的藤黄粉、花粉微粒，或在无风情形观察空气中的烟粒、尘埃时都会看到这种运动。温度越高，运动越激烈。它是1827年植物学家R.布朗首先发现的。作布朗运动的粒子非常微小，直径约10~10米， 在周围液体或气体分子的
广义相对性原理的基本假设3-广义相对论的命题表述
Prince的专栏
12-17 4114
广义相对性原理的基本假设3-广义相对论的命题表述  [摘要]广义相对论是阿尔伯特·爱因斯坦于1916年发表的用几何语言描述的引力理论，它代表了现代物理学中引力理论研究的最高水平。广义相对论将经典的牛顿万有引力定律包含在狭义相对论的框架中，并在此基础上应用等效原理而建立。在广义相对论中，引力被描述为时空的一种几何属性（曲率）；而这种时空曲率与处于时空中的物质与辐射的能量-动量张量直接相联
亚原子粒子基础
Prince的专栏
01-07 3742
[摘要]粒子物理学对科学哲学的冲击非常大，一些粒子物理学家依然坚持还原论，这个理论受到许多哲学家和科学家的批评。亚原子粒子是指比原子还小的粒子。例如：电子、中子、质子、介子、夸克、胶子、光子等等。 [关键字]粒子物理学、还原论、亚原子.   概述　　                                                             
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值