广义相对论的引力场方程

1广义相对论的引力场方程１９５５年，物理学家玻恩在一次报告中评价道：“对于广义相对论的提出，我过去和现在都认为是人类认识大自然的最伟大的成果，它把哲学的深奥、物理学的直观和数学的技艺令人惊叹地结合在一起.”德布罗意（LouisdeBroglie，1892－1987）在《阿尔伯特·爱因斯坦科学工作概况》中谈到广义相对论时说：“依靠黎曼（G·Riemann，1826-1866）的弯曲空间理论，借助于张量运算，广义相对论提出一种万有引力现象的解释，这种解释的雅致和美丽是无可争辩的，它该作为20世纪数学物理学的一个最优美的纪念碑而永垂不朽.”１９８３年诺贝尔物理学奖获得者昌德拉塞卡说得更清楚：爱因斯坦是“通过定性讨论一个与对于数学的优美和简单的切实感相结合的物理世界，得到了他的场方程.”相对论实在可以说是对麦克思韦和洛伦兹的伟大构思画了最后一笔，因为它力图把场物理学扩充到包括引力在内的一切现象.爱因斯坦在1905年发表了狭义相对论公式之后的几十年内，他就对数学的各个领域烂熟于心了，而同时代的大多数物理学家则对这些领域知之甚少甚至一无所知.在他迈向广义相对论的最终等式的过程中，在将这些数学结构同他的物理学直觉结合在一起这个方面，爱因斯坦展示出了罕见的天赋.广义相对论理论的核心是新的引力场定律和引力场方程.有人说，麦克斯韦在电磁场上做过什么工作，Einstein在引力场也做过什么工作.广义相对论引人注目的特征之一是将牛顿力学中的引力简化为四维时空中的弯曲，“宇宙图景”的新情景不再是“三维空间中一片以太海洋的受迫振动”，而是“四维空间世界线上的一个纽结”.1914年，Einstein与洛伦兹的学生福寇一起发表了一篇严格遵守广义协变性要求的引力理论的简短论文，发现从绝对运算和广义协变性的要求出发，可以证明诺茨屈劳姆的理论只是Einstein—格罗斯曼理论的一种特殊情况，其标志是真空光速不变这一附加条件；Einstein—格罗斯曼理论包含着光的弯曲，而诺茨屈劳姆的理论没有光的弯曲.广义相对论具有最简单，最优雅的几何基础（三个公理：(1)具有度规；（2）度规由爱因斯坦方程G=8πT支配;（3）在度规的局部洛伦兹标架中所有狭义相对论的物理规律是正确的）.1.广义坐标变换设一个时空区域同时被旧坐标系3210xxxxx,,,和新坐标系3'2'1'0x'xxxx,,,'所覆盖，其中','ctxctx00，c是光速，t与t’是时间.新旧坐标之间的关系可表示为)(',,,a3210xxxxxxx'x'),,,,(3210a（1）,每一个新坐标都是四个旧坐标的函数.微分（1）式，得到广义坐标变换下微分的变换关系2),,,,(''3210dxxxdx（2）这里采用了Einstein惯例.（2）的逆变换为),,,,('3210dxx'xdx（3）定义在坐标变换中不变的量为标量.在广义坐标变换下，向坐标微分元一样变换的量，称为逆变矢量，),,,,(''3210AxxA（4）在广义坐标变换下，变换规律为),,,,(''3210AxxA（5）的量称为协变矢量.容易看出，逆变和协变矢量都有四个分量组成.在广义坐标变换下按)8(Tx'xx'x'T)7(Tx'xx'x'T)6(Tx'xx'x'T变换的量分别称为逆变张量、协变张量、混合张量.2.张量的运算：CBA（9）DBA（10）缩并运算：uBA（11）3.度规张量在四维时空中，我们把两点间的距离推广为“间隔”.在直角坐标系中，它可表示为222222dzdydxdtcds（12）间隔的平方应与坐标微元的二次方有关dxdxds2（13）,但左边是标量，而右边是逆变矢量，必须让坐标微分元与一个二阶协变张量缩并dxdxgds2（14）张量g称度规张量共十六个分量，可用矩阵表示33323130232221201312111003020100gggggggggggggggg（15）,它是一个对称张量gg.3、时间与空间3在广义相对论中，跟据等效原理，可对时空中的任意观测者A引入相对于他瞬时静止的互补惯性系B，并仿照狭义相对论，定义静止于B系中的“真实钟”为坐标钟，它所记录的时间为惯性系中所固有的时间.由狭义相对论系B的固有时间为cidsd(16)微分几何告诉我们BAdsds（17）所以，我们可以合理的定义观测者A的固有时间图3观测者A与BBBAAdcidscidsd（18）的世界线下面我们来考察相对于某一个坐标系x静止的观测者，寻找它的坐标时间和固有时间之间的关系.由（12）和（18），不难得到此关系为dtgdxgc1dxdxgc1cidsd00000（19）在图4中，假定A与B空间相邻点，光信号从B射向A，再从A射向B，所需坐标时间为02010dxdxx)()(（20）未假定光速的各向同性，所以01dx)(不一定等于02dx)(，在B引入局部惯性系0x相应的固有时间为图4固有距离的测量000dxgc1（21）在局部惯性系中，光速各向同性等于c，因此，两相邻点的纯空间距离为000xg212cdl（22）此即用标准尺测得的纯空间距离.由),,,()(321kidxdxgdxdx2gdxg0dskiiki00i20002（23）得00kiik000k0ii0i0gdxdxggggdxgdx)(（24）400kiik000k0i0gdxdxgggg2x)(代入（21）可得kiik2ki000k0iikdxdxdldxdxggggdl（25），其中000k0iikikgggg是纯空间度规.4、短程线A、B之间的一根曲线长度可用积分给出BAdsI（26），由变分原理得到0dsBA(27)沿曲线人选一个标量参数并注意到dxdxgds2上式可写为0LdBA（28）其中拉格朗日函数L=21xxgdds)(..（29），而广义速度ddxx.将（29）带入拉格朗日方程0xLddxL.（30），可得短程线方程0ddxddxdxd22（31）它也是广义相对论中的运动方程.1915年11月25日，爱因斯坦在《引力场方程》论文中，给出了引力场方程的完整形式：Rμν＝－k（Tμν－1/2gμνT）,Rμν是黎曼曲率张量，Tμν是能量动量张量.回到广义协变原理之后，Einstein在1915年10月与11月，集中精力探索新的引力场方程.先后于11月4日，11日，18日和25日，每周一次，一连四周向普鲁士科学院递交了四篇论文.在11月4日的论文中，他提出了废弃1913年提出的场方程的原因.这些理由在11月28日写给索末菲的信中，提得更加明确.他说：“我认识到，到现在为止，我的引力场方程是完全站不住脚的.关于这一点，有如下线索：（1）我证明了，在一个均匀转动的参照系中，引力场并不满足场方程.（2）水星近日点进动每一百年不是18″而是45″.（3）在我去年的论文中，协变的考察没有提供哈密顿函数H.如果把它加以适当推广，它就会允许任意的H，于是，要适应坐标系的协变，是徒劳无功的.在对以前的讨论结果和方法失去一切信心之后，我清楚地看到，只有与普遍的协变理论，即黎曼协变理论联系起来，才能得到令人满意的解决.”[3]摆脱了引力场方程只能在线性变换下协变的限制之后，广义相对论的进展来自于Einstein对张量的重新认识.他保留了“对泊松方程推广”的原有形式.但现在他认为牛顿引力理论的泊松方程▽2φ=4πGρ/c中的ρ，应对应于引力源体系的质量，能量，动量以5及全部的有关部分，能将这些量做统一描述的只有能量张量Tμν；而牛顿引力势φ则对应于时空度规张量gμν，再根据张量的对称性，协变散度为零以及缩并的规则，最后终于找到了协变形式的引力场方程：Rμν-gμνR/2=8πGTμν/c4，其中G为牛顿引力常量，Rμν为里奇张量，R为标量曲率张量.引力场方程的左侧描述了引力场时空的弯曲性质，而右侧描述了引力源物质体系，它们在场方程中的结合，恰恰反映了马赫原理的思想.大约在公元前387年，希腊哲学家柏拉图认为，几何学研究是通向认识宇宙本质的道路.5、场方程时空曲率=能量动量（32）物质的能量动量可写成二阶张量T.时空曲率可写成R.可以把曲率张量缩并，得到一个二阶张量RRRRg（33），称Ricci张量，它是对称张量，有十个独立分量.代入（32），TR(34用逆变张量写出就是TR（35）T应满足能量—动量守恒定律0T;（36）由333231323222121312111321TTTcMTTTcMTTTcMcScScST///（37）此式用三维空间的矢量写出来就是)()(56tMT55tS其中00T是能量密度，0iicTS是能流密度，M是动量密度，三维空间的张量ijT（i，j=1，2，3）是动量流密度.（38）、（39）分别是能量和动量守恒定律.（36）要求（35）左端满足0R;.但这一般不可能.由毕安基恒等式RgR0Rg21R;)(（40）6R称曲率标量因此，如果把方程（34）、（35）改写成TRg21R（41）TRg21R(42)矛盾就消除了.这两个方程就是Einstein给出的广义相对论的基本方程——场方程.它们通常称为Einstein场方程，反映物质的能量—动量如何决定时空曲率.引力场的表达式中起参量作用的物理量数目比牛顿引力理论中的要多．其中不但有引力质量，还有电荷、磁荷、电的(或磁的)偶极矩、宇宙常数等等，其中只有引力质量是广义相对论和狭义相对论所共有的引力参量．由于有物质的存在，空间和时间会发生弯曲，而引力场实际上就是一个弯曲的时空.Einstein根据这一结论，给出了著名的引力场方程式：Einstein引力场方程是二阶的，以时空为自变量，以度规为因变量的，带有椭圆型约束的双曲型偏微分方程.当然，Einstein的这个引力场方程并非完美，在具体计算中，使用的只是一个近似解，而真正的球面对称的准确解——史瓦兹解，是在此之后才找到的.广义相对论认为:一个物体使自已周围space-time弯曲,另一物体在弯曲space-time中沿短程线运动,这就是引力的本质.由广义相对论引力场方程和短程线方程,在线性近似下得到另一组方程(1-3)，(1-4)这组方程成功解释了行星近日点的移动.光子经过太阳附近时受到太阳的吸引而改变方向,由(1-3)—(1-4)式求出的光偏折角是Newton理论预期值的一倍.实际观察结果是与广义相对论一致,Einstein取得巨大胜利.随后人们观察到从太阳发出的光线到达地球时其频率由变为，(1-5)广义相对论用引力势场中不同点时间间隔不同解释了这个实验结果.所以人们认为上述三个经典相对论引力实验支持广义相对论,并且进一步得到space-time是弯曲的结论.广7义相对速度表达式，式中表明，近处物体或大质量物体对研究物体的广义相对速度影响较大.一个小质量物体A从远处靠近一个大质量且广义相对速度不为零的物体B，如果它相对B的速度不变，那么它的广义相对速度必然发生变化.然而在不受力的作用、物体处于惯性运动的情况下，它的广义相对速度是保持不变的，所以上面所说的过程，A相对B的速度要发生相应的调整.定性分析得知，A接近B时，为了保证A的广义相对速度不变，A、B之间的相对速度必将减小，从而可以说，大质量的B部分地同化了小质量的