1.2

能量条件

在本节中，将对几种主要的能量条件作一个简单介绍。不过，在介绍能量条件之前，我们首先要对能量动量张量本身的形式作以简单分析。在广义相对论研究中，为了让度规张量的形式尽可能简化，人们常常引进所谓的正交标架场（tetrad），对能量动量张量的分析也是如此。正交标架场（以下简称标架场）由一组正交归一的基矢量场（e _a ） ^μ 组成，其中拉丁字母a,b,…标识标架场的基矢量，希腊字母μ,ν,…表示基矢量的时空指标 [1] 。标架场的基矢量满足下列正交归一条件：

很明显，标架场不是唯一的，对一个标架场作局域洛伦兹变换所得到的仍然是标架场。由于洛伦兹群具有旋量表示 ，因此标架场在讨论引力场与旋量场的相互作用时是非常重要的工具。对于我们所要讨论的能量条件来说，标架场的优点在于能量动量张量在标架场中的分量具有明确的测量意义。

霍金曾经把标架场下的能量动量张量分为四种类型，每种类型均可通过标架场中的洛伦兹变换约化为一个正则形式（canonical form）。这其中最重要的是第Ⅰ类，其正则形式为

其中diag表示对角矩阵，ρ为标架场中的静止观测者（即世界线的切线沿基矢e ₀ 方向的观测者）测量到的能量密度，p _i （i=1,2,3）则为沿三个正交空间方向的主压强。除极少数特殊情形外，这种类型的能量动量张量涵盖了几乎所有物理上有意义的物质分布，我们在本书中将只讨论这种类型。

熟悉线性代数的读者可能会提出这样一个问题：第Ⅰ类能量动量张量的正则形式其实就是该张量的对角化，但能量动量张量是一个实对称张量，按照线性代数中熟知的定理，实对称张量必定可以通过正交变换对角化，既然如此，能量动量张量岂不都应该是第Ⅰ类的？为什么在霍金的分类中它只是四种类型之一呢？这其中的原因在于普通线性代数所讨论的内积空间具有正定度规（positive definite metric），而广义相对论中的时空度规不是正定的（请读者想一想，度规的非正定性是如何破坏线性代数中有关实对称张量对角化的定理的？）。

下面我们就对几种主要的能量条件进行简单介绍：

利用T ^ab 的正则形式，我们可以证明： 弱能量条件等价于ρ≥0及ρ+p _i ≥0（i=1,2,3） 。充分性的证明非常简单：取V _a =e ₀ （即静止观测者）可得ρ≥0；取V _a →e ₀ +e _i （注意V _a 是趋于而非等于e ₀ +e _i ，因为后者是类光的）则可得ρ+p _i ≥0。接下来再证明必要性：假设ρ≥0及ρ+p _i ≥0， 则

其中第一个“≥”用到了ρ+p _i ≥0，第二个“≥”用到了ρ≥0及V _a 类时。

在弱能量条件中最重要的部分是ρ≥0，它表明能量密度处处为正。需要提醒读者注意的是，虽然上述推导是在使正则形式成立的特殊标架场中进行的，但ρ≥0这一结果适用于沿任意类时世界线运动的观测者所测得的能量密度（请读者想一想，这是为什么？）。由于物理上可以实现的所有观测者都是沿类时世界线运动的，因此弱能量条件表明任何物理观测者测得的能量密度都处处为正。

在弱能量条件中让V _a 趋于类光，由能量条件的连续性可以得到：

显然（请读者自行证明）， 零能量条件等价于ρ+p _i ≥0（i=1,2,3） 。零能量条件是一个非常弱的能量条件，比弱能量条件更弱。

由于爱因斯坦场方程可以改写为 为能量动量张量的迹），因此强能量条件等价于一个几何条件R ^ab V _a V _b ≥0 。从物理上讲， 强能量条件等价于 及ρ+p _i ≥0（i=1,2,3）。这一点的证明非常简单，只需注意到在正则形式下：

然后效仿前面有关弱能量条件的证明即可（请读者自行推导上式并完成论证）。

显然，强能量条件比零能量条件强。但是与强、弱二字的正常含义不符的是，强能量条件与弱能量条件互不包含，而非前者强于后者。事实上，多数物质的主压强p _i 是正的，对于那些物质，强能量条件其实比弱能量条件还弱 [2] 。

这个能量条件是在弱能量条件之上增添了能流密度矢量T ^ab V _b 非类空这一额外限制。在正则形式下这一额外限制可以表述为： 。取 。这比弱能量条件中的ρ+p _i ≥0要强。为了证明 也是保证额外限制成立的充分条件，只需注意到

这里第一个“≥”用到了 ，第二个“≥”用到了ρ≥0及V _b 类时。将这一结果附加到弱能量条件上可得： 主能量条件等价于ρ≥|p _i |（i=1,2,3） 。从定义及上述结果中均可看出，主能量条件比弱能量条件强（从而也比零能量条件强）。但它与强能量条件互不包含。

看到这里，有些读者可能会产生这样一个疑问：主能量条件中的额外限制是说能流密度矢量非类空。我们知道，在相对论中如果一个四维矢量类空，就必定可以找到一个参照系，使该矢量的时间分量为负。对于能流密度矢量来说，时间分量就是能量密度，因此如果能流密度矢量类空，就说明必定存在一个参照系，在其中能量密度为负。但弱能量条件已经表明任何物理观测者测得的能量密度都处处为正，这岂不等于排除了能流密度矢量类空的可能性？如果这样的话，主能量条件中的额外限制变成了弱能量条件的推论，这两种能量条件岂不就变成等价的了？这种推理显然是错误的，但它究竟错在哪里呢？有兴趣的读者不妨思考一下，以加深对能量条件及其观测意义的理解。

这是我们所要介绍的最后一种能量条件。它的表述与度规张量的符号约定有关，在本书中我们所用的约定是η _ab =diag（1,-1,-1,-1）。如果做相反的约定，则迹能量条件的表述需改为T≤0。在正则形式下， 迹能量条件等价于 ，它与其他能量条件互不包含。

上面介绍的这几种能量条件有一个共同特点，那就是它们给出的都是每个时空点上能量动量张量所满足的条件，这样的能量条件被称为逐点能量条件（pointwise energy condition）。除逐点能量条件外，人们还常常使用另外一类能量条件，称为平均能量条件（average energy condition），它们给出的是能量动量张量沿特定的时空曲线（通常是类时或类光曲线）所满足的平均意义上的条件。平均能量条件比相应的逐点能量条件弱，因为它们允许逐点能量条件在局部意义上被破坏，只要这种破坏能被所涉及的时空曲线上其他区段的贡献所弥补即可。

在本书接下来的各专题中，我们将以能量条件为线索，介绍广义相对论中一些重要、优美或有趣的课题，比如奇点定理、正质量定理（positive mass theorem）、宇宙监督假设（cosmic censorship hypothesis）、虫洞物理学（wormhole physics）等。我们将会看到，能量条件在所有那些课题中都有着重要应用。

[1] 标架基矢（e _a ） ^μ 是时空坐标的函数，因此叫做标架场。“tetrad”这个名称通常是指四维的标架场（tetra这个词头的含意是“四”）。标架场的另一个常见的名称是vierbein，源于表示“四”的德语词头vier。在其他维数下，标架场还有其他一些常用名称，比如triad、pentad、funfbein、elfbein、vielbein等。

[2] 有读者可能会问，既然强能量条件并不比弱能量条件强，那为什么会有这样的命名呢？这是由于强能量条件可以写成T ^ab V _a V _b ≥（1/2)T，而弱能量条件为T ^ab V _a V _b ≥0，由于通常T≥0，因此如果把这两个能量条件视为是对T ^ab V _a V _b 的约束条件，则强能量条件比弱能量条件强。当然，这种命名理由也是不严格的，因为T≥0本身就是一种能量条件（即迹能量条件），而非无条件成立的物理事实。 Kt0+lPcYwLrYeBME8uNbg/wYwy9EfCPwji39o8xpJxuBaQUbzoWV7WzkokW5CEvf