4.奇点定理与能量条件.docVIP

4.奇点定理与能量条件 广义相对论的经典解 - 比如 Schwarzschild 解 - 存在奇异性。 这其中有的奇异性 - 比如 r=2m - 可以通过坐标变换予以消除， 因而不代表物理上的奇点； 而有的奇异性 - 比如 r=0 - 则是真正的物理奇点。 很明显， 在奇点研究中， 真正的物理奇点才是我们感兴趣的对象。 那么究竟什么是广义相对论中真正的物理奇点 (简称奇点) 呢？ 初看起来， 这似乎是一个很简单的问题。 奇点显然就是那些时空结构具有某种 “病态性质” (pathological behavior) 的时空点。 但稍加推敲， 就会发现这种说法存在许多问题。 首先， “病态性质” 是一个很含糊的概念， 究竟什么样的性质是病态性质呢？ 显然需要予以精确化。 其次， 广义相对论与其它物理理论有一个很大的差异， 那就是其它物理理论都预先假定了一个背景时空的存在[注一]， 因此， 那些理论如果出现奇点 - 比如电磁理论中点电荷所在处的场强奇点 - 我们可以明确标识奇点在背景时空中的位置。 但是广义相对论描述的是时空本身的性质。 因此广义相对论中一旦出现奇点， 往往意味着时空本身的性质无法定义。 另一方面， 物理时空被定义为带 Lorentz 度规的四维流形[注二]， 它在每一点上都具有良好的性质。 因此， 物理时空按照定义就是没有奇点的， 换句话说， 奇点并不存在于物理时空中[注三]。 既然奇点并不存在于物理时空中， 自然就谈不上哪一个时空点是奇点， 从而也无法把奇点定义为时空结构具有病态性质的时空点了。 但即便如此， 象 Schwarzschild 解具有奇异性这样显而易见的事实显然是无法否认的， 因此关键还在于寻找一个合适的奇点定义。 为了寻找这样的定义， 我们不妨想一想， 为什么即便把 r=0 从时空流形的定义中去除， 我们仍然认为 Schwarzschild 解具有显而易见的奇异性？ 答案很简单 (否则就不叫显而易见了)： 当一个观测者在 Schwarzschild 时空中沿径向落往中心 (即 r 趋于 0) 时， 他所观测到的时空曲率趋于发散。 由于观测者的下落是沿非类空测地线进行的[注四]， 这启示我们这样来定义奇点： 如果时空结构沿非类空测地线出现病态性质， 则存在奇点。 这个定义不需要将奇点视为时空流形的一部分， 从而避免了上面提到的困难。 但是， 这个定义还面临两个问题： 一是 “病态性质” 这个含糊概念仍未得到澄清， 二是在这个定义中， 假如观测者沿非类空测地线需要经过无穷长时间才会接触到时空结构的病态性质， 那么奇点的存在就不具有观测意义。 为了解决这两个问题， 我们进一步要求定义中涉及的非类空测地线具有有限 “长度”， 并且是不可延拓的 (inextendible)[注五]。 这种具有有限 “长度” 的不可延拓非类空测地线被称为不完备非类空测地线 (incomplete non-spacelike geodesics)。 有了这一概念， 我们可以这样来定义奇点： 如果存在不完备非类空测地线， 则时空流形具有奇点。 这就是多数广义相对论文献采用的奇点定义。 这种存在不完备非类空测地线的时空流形被称为非类空测地不完备时空， 简称测地不完备时空 (geodesically incomplete spacetime)。 在一些文献中， 按照不完备测地线的类型， 还将测地不完备时空进一步细分为类时测地不完备与类光测地不完备[注六]。 这个定义的合理性体现在： 在一个测地不完备的时空流形中， 试验粒子可以沿不完备的非类空测地线运动， 并在有限时间内从时空流形中消失。 这种试验粒子在有限时间内从时空流形中消失的行为 - 即测地不完备性 - 可以视为是对时空结构具有 “病态性质” 这一含糊用语的精确表述。 这样我们就既解决了 “病态性质” 精确化的问题， 又使奇点具有了观测意义。 在一些文献中， 还对奇点存在于过去还是未来进行区分： 如果所涉及的非类空测地线是未来 (过去) 不可延拓的， 则对应的奇点被称为未来 (过去) 奇点。 细心的读者可能注意到我们在前面的 “长度” 一词上加了引号。 一般来说， 类时测地线的长度定义为本征时间： τ = ∫ ds ,但这一定义不适合描述类光测地线， 因为后者对应的本征时间恒为零。 因此， 我们需要对长度的定义进行推广， 将之定义为所谓的广义仿射参数 (generalized affine parameter)。 对于一条时空曲线 C(t) (t 为任意参数)， 广义仿射参数定义为： λ = ∫ [ΣaVa(t)Va(t)]1/2 dt ,其中 Va(t) 为曲线在 C(t) 处的切向量 ?/?t 沿该处某标架场 ea(t)