6、广义对论的奇点问题.doc

6、广义相对论的奇点问题 霍金(S.W.Hawking)和彭罗斯(R.Penrose)于1970年证明了“宇宙奇性定理”：在极一般的条件下，按照广义相对论，宇宙大爆炸必然从一个奇点开始。由此，他们共同获得1988年的沃尔夫物理奖。然而宇宙在大爆炸奇点处，一切科学定律包括广义相对论本身都失效了，连时空概念也失效了。所以奇点是不可能真实存在的，是非物理的。这就构成宇宙学最大的疑难：奇性疑难。因此，奇性定理也表明，广义相对论是不完备的，它无法告诉我们宇宙是如何开始的。霍金说：“广义相对论导致了自身的失效：它预言它不能预言宇宙。”1973年，霍金和埃利斯出版了《时空的大尺度结构》一书，在这本书里，霍金对奇点定理做了总结，并在此基础上，提出了关于宇宙的两个预言：第一，宇宙中存在黑洞。第二，我们的过去存在奇点，它构成了宇宙的开端。霍金说：“有一次爱因斯坦问道：‘在建造宇宙时，上帝有多少选择呢？’如果无边界假设是正确的，在选取初始条件上，它就根本没有自由。它只有选择宇宙要服从的定律的自由。” 大家知道， 广义相对论中的场方程 (即 Einstein 场方程)：Rμν - (1/2)gμνR = 8πGTμν ，是一组有关时空度规的二阶非线性偏微分方程， 求解这样的方程组是极其困难的。 在二十世纪六十年代初以前， 物理学家们对 Einstein 场方程的很大一类研究局限于在各种简化条件 (比如特定的对称性) 下求解场方程。 在这方面最著名的成果是 K. Schwarzschild (1873-1916) 于 1916 年得到的 Schwarzschild 解， 其度规为 (m 为质量参数)： ds2 = (1-2m/r)dt2 - (1-2m/r)-1dr2 - r2dΩ2以及 A. Friedmann (1888-1925) 于 1922 年得到的 Friedmann 解， 其度规为 (R 为标度因子， 取值为 0、 -1 或 1， 分别对应于平直、 负常曲率及正常曲率空间)： ds2 = dt2 - R2(t) [dr2/(1-kr2) + r2dΩ2] ，这两个度规分别是广义相对论在天体物理及宇宙学上应用最为广泛的度规。 但这两个解的发现也带来了一个共同的问题， 那就是它们所对应的度规均具有奇异性。 Schwarzschild 度规是一个静态度规， 它的奇异性 (由上面的表达式中可以很容易地看到) 出现在 r=0 及 r=2m 处。 这其中 r=2m 处的奇异性 (一度被称为 Schwarzschild 奇点) 后来被证明只是坐标选择所导致的表观奇异性， 可以通过坐标变换予以消除； 而 r=0 处的奇异性则是真正的物理奇点， 时空曲率在趋近这一点时趋于发散。 这个奇点被称为曲率奇点。 Robertson-Walker 度规由于是一个动态度规， 其情形稍微复杂些。 当 k=1 (即空间具有正曲率) 时这一度规在 r=1 处似乎具有奇异性， 但这也是坐标选择所导致的表观奇异性 。 除去这一表观奇异性， 从形式上看 Robertson-Walker 度规似乎没有其它显而易见的奇异性。 但把这一度规代入到场方程中， 研究它的动力学演化就会发现， 对于我们观测到的膨胀宇宙来说， 只要宇宙当前的物质分布满足一个很宽泛的条件， Robertson-Walker 度规中的标度因子 R(t) 在过去某个有限时刻就必定等于零。 在那个时刻 (通常定义为 t=0) 宇宙的空间线度为零， 物质密度则发散， 因此那是一个物理奇点， 被称为宇宙学奇点， 或大爆炸 (The Big Bang)。 很明显， 这些奇点的出现是物理学家们所不乐见的， 因为物理世界中并不存在真正意义上的无穷大。 对于一个物理理论来说， 出现无穷大往往意味着它的失效。 因此奇点的出现对广义相对论是一种危机。 不过当时物理学家们所知道的 Einstein 场方程的解十分有限， 而且这些解大都具有很高的对称性 (因为只有这种情形下的场方程才容易求解)， 比如 Schwarzschild 解具有球对称性， Friedmann 解则是均匀及各向同性的。 这就给物理学家们提出了这样一个问题： 由这几个特殊解所引发的危机究竟有多大的普遍性？ 或者说奇点会不会只是那几个解所具有的特殊对称性导致的特殊效应 (如果是的话那危机就不算太严重， 因为那些对称性在现实世界里是不可能绝对严格实现的)？ 在二十世纪六十年代， 物理学家们对这一问题有两种不同的看法。 一种看法认为奇点的出现只是对称性所导致的特殊效应， 如果考虑一般 (即没有严格对称性) 的情形， 奇点将不会出