广义相对论的理论基础

《广义相对论的理论基础》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、广义相对论的理论基础爱因斯坦于1905年提出狭义相对论之后，便试图在狭义相对论的基础上对牛顿的引力理论进行改造。牛顿引力理论虽然在天文学上得到广泛的支持，但是，它不能说明水星近日点的剩余进动，也不能对宇宙大范围的性质给出完满的描述；而且，在理论的基本概念上同狭义相对论也是互相冲突的。　　爱因斯坦在深入分析引力质量同惯性质量等价这一早已熟知的事实的基础上，提出了引力场同加速度场局域性等效的概念；他又把惯性运动的相对性的概念推广到加速运动；并在前人对牛顿时空观的批判中汲取了精华，提出了时间和空间的性质应当由物质运动决定这一革命性的思想

2、。这些引导他采用黎曼几何来描述具有引力场的时间和空间，写出了正确的引力场方程；进而精确地解释了水星近日点的剩余进动，预言了光线偏折、引力红移、引力辐射等一系列新的效应。他还对宇宙的结构进行了开创性的研究。著名的1919年日全食观测，证实了爱因斯坦关于光线偏折的预言，一度轰动世界。随后，广义相对论便被物理学界普遍接受下来，并且被公认为经典理论物理学中最完美的理论。　　几十年来，广义相对论又得到新的验证和发展，特别是60年代以来，在天文学中得到了广泛的应用。引力红移、雷达回波等实验进一步证实了这个理论的预言。脉冲星和微波背景辐射的发现

3、，证实了以广义相对论为基础的中子星理论和大爆炸宇宙论的预言。近年来，对于脉冲双星的观测也提供了有关引力波存在的证据。　　60年代以来，奇性理论和黑洞物理的研究取得很大进展。近来，关于正能定理的猜测得到了证明，有关引力的量子理论以及把引力同其他相互作用统一起来的研究也极为活跃。这些，不仅丰富了对广义相对论理论基础的认识，同时，也揭示了广义相对论本身所不能解决的一些重大的疑难问题，为进一步探索引力相互作用，以及时间、空间和宇宙的奥秘提出了新的课题。　　广义相对论的理论基础 　爱因斯坦提出等效原理、广义协变性原理和马赫原理作为广义相对论

4、的基本原理。他采用弯曲时空的黎曼几何来描述引力场，给出引力场中的物理规律，进而提出引力场方程，奠定了广义相对论的理论基础。30年代，爱因斯坦等人又发展了运动理论。60年代以来，R．彭罗塞引入现代微分几何的方法，并和S．W．霍金等人发展了奇性理论。近年来，丘成桐等人又完成对著名的正能猜测的证明。这些都大大丰富了广义相对论的理论基础并提出新的课题。　　广义相对论的基本原理 　等效原理是广义相对论最重要的基本原理。这个原理的实验依据是由厄缶实验等精确证明的引力质量和惯性质量的等价性。　　爱因斯坦认为，这个等价性的重要推论是：在自由下落的

5、升降机里，由于升降机以及其中所有的仪器都以同样的加速度下降，因而无法检验外引力场的效应。换句话说，自由下落升降机的惯性力和引力互相抵消了。爱因斯坦认为，这表明，引力和惯性力实际上是等效的。这就是爱因斯坦原来意义下的等效原理。　　不过，在真实的引力场和惯性力场之间并不存在严格的相消。比如，真实的引力场会引起潮汐现象，而惯性力场却并不导致这种效应。但是，在自由下落的升降机里，除开引力以外，一切自然定律都保持着在狭义相对论中的形式。事实上，这正是真实引力场的重要本质。如果把自由下落的升降机称为局部惯性系，那么，等效原理就可以比较严格地叙

6、述为：在真实引力场中的每一时空点，都存在着一类局部惯性系，其中除引力以外的自然定律和狭义相对论中的完全相同。　　爱因斯坦把狭义相对论所考察的作匀速运动的参照系之间的相对性。推广到作任意运动的参照系之间的相对性。为此，他提出物理定律必须在任意坐标系中都具有相同的形式，即它们必须在任意坐标变换下是协变的。这就是广义协变性原理。　　广义协变性对物理定律的内容并没有什么限制，只是对定律的数学表述提出了要求。爱因斯坦后来也是这样认为的：广义协变性只有通过等效原理才能获得物理内容。14　　爱因斯坦建立广义相对论的另一个重要思想是认为时间和空间

7、的几何不能先验地给定，而应当由物质及其运动所决定。这个思想直接导致用黎曼几何来描述存在引力场的时间和空间，并成为写下引力场方程的依据。爱因斯坦的这一思想是从物理学家和哲学家马赫对牛顿的绝对空间观念以及牛顿的整个体系的批判中汲取而来的。为了纪念这位奥地利学者，爱因斯坦把他的这一思想称为马赫原理。　　引力场的几何描述 　根据上述基本原理，广义相对论用存在局部惯性系的黎曼几何来描述引力场。在这种黎曼几何中，四维时空的线元是时空点的任意函数：gμυ(x)称为在x点时空的度规张量。x0=ct，с是光速，t是时间坐标。x1、x2、x3是空间坐

8、标。重复指标表示求和。如果引入局部惯性系，线元可以表示为：，ημυ就是狭义相对论中的闵可夫斯基度规，θ寶(x)称为局部惯性标架。　　相邻两时空点的局部惯性系之间的关系，可以由联络来表示。在黎曼几何中，联络完全由度规张量及其偏导数决定，称为克里斯多菲