欢 迎 访 问 卢 昌 海 个 人 主 页

除了自己的无知,
我什么都不懂。

-苏格拉底

 
信 息
 
 
 
All English Contents
作品列表 | 电子图书
站长简介 | 常见问题
版权说明 | 电子邮箱
 
统 计
 
 
 
自 2008-02-01 以来
本文点击数
24,874
自 2008-02-01 以来
本站点击数
33,580,212
昨日点击数 5,942
今日点击数 739
 
备 注
 
 
 

本文与 能量条件简介 (二) 合并发表于《现代物理知识》二零零七年第四期 (中国科学院高能物理研究所)

站长在 Bluesky 新开了微博帐号
▷▷▷ 敬请关注 ◁◁◁

能量条件简介 (一)

- 卢昌海 -

返回目录

一. 引言

大家知道, 广义相对论的场方程 (即 Einstein 场方程)[注一]

Rμν — (1/2)gμνR = 8πTμν

(1.1.1)

是一组有关时空度规的二阶非线性偏微分方程, 求解这样的方程组是极其困难的。 在 20 世纪 60 年代初以前, 物理学家们对 Einstein 场方程的很大一类研究都局限于在各种各样的简化条件——比如特定的对称性——下求解场方程。 在这方面最著名的成果之一是德国物理学家 Karl Schwarzschild (1873-1916) 于 1916 年得到的 Schwarzschild 解, 其度规为:

ds2 = (1—2m/r)dt2 — (1—2m/r)—1dr2 — r22

(1.1.2)

其中 m 为质量参数。 另一个同样著名的成果则是俄国物理学家 Alexander Friedmann (1888-1925) 于 1922 年得到的 Friedmann 解, 其度规被称为 Robertson-Walker 度规 (Robertson-Walker metric), 为[注二]

ds2 = dt2 — R2(t) [dr2/(1—kr2) + r22]

(1.1.3)

其中 R 为标度因子, k 取值为 0、 —1 或 1, 分别对应于平直 (flat)、 负常曲率 (constant negative curvature) 及正常曲率 (constant positive curvature) 空间。 这两个度规分别是广义相对论在天体物理学和宇宙学上应用最为广泛的度规。

但这两个解的发现也带来了一个共同的问题, 那就是它们所对应的度规均具有奇异性。 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 解则是均匀及各向同性的。 这就给物理学家们提出了一个问题: 由这几个特殊解所展示的危机究竟有多大的普遍性? 或者说奇点的出现会不会只是那几个特殊解所具有的特殊对称性导致的特殊效应? 如果是的话, 那情势就不算太严重, 因为那些对称性在现实世界里是不可能绝对严格地实现的, 从而危机也就不具有普遍性。 在 20 世纪 60 年代, 物理学家们对这一问题有两种不同的看法: 一种看法认为奇点的出现确实只是特殊对称性导致的特殊效应, 如果考虑一般 (即没有严格对称性) 的情形, 奇点将不会出现。 持这种观点的代表人物是苏联物理学家 Evgeny Lifshitz (1915-1985)、 Isaak Markovich Khalatnikov (1919-) 和 Vladimir Belinski (1941-) 等。 与之相反的另一种看法则认为奇点在广义相对论中的出现是有普遍性的, 从而并不是特殊对称性导致的特殊效应。 持这种观点的代表人物是英国物理学家 Roger Penrose (1931-) 和 Stephen Hawking (1942-) 等[注五]

这两组物理学家在奇点问题上不仅观点迥异, 而且在这一领域所采用的研究方法也很不相同。 Lifshitz 等人由于相信奇点的出现跟具体的解——尤其是其中的对称性——有关, 因此把主要精力放在了求解一般——即没有严格对称性——情形下的场方程, 以便探讨并检验在那种情形下是否不存在奇点; 而 Penrose 和 Hawking 等人也许是由于不认为奇点的出现跟具体的解有关, 因此并不着眼于求解场方程, 而大量运用了微分几何手段, 通过所谓的 “全局方法” (global method), 在不直接求解场方程的情况下对奇点及奇点产生的条件进行了系统分析。 如果说 Lifshitz 等人的方法是正面强攻, 那么 Penrose 和 Hawking 等人的方法则属于旁敲侧击。 经过几年的努力, 两种方法分出了高下。 Lifshitz 等人的正面强攻收效不大——因为 Einstein 场方程实在太复杂了。 虽然 Lifshitz 等人的胃口并不贪婪, 他们只研究宇宙学奇点 t=0 附近的解而非全局性解, 同时也并不奢望精确求解而采用了近似手段, 但在不具有对称性的情形下, 他们的努力依然遭到了难以逾越的困难[注六]。 另一方面, Penrose 和 Hawking 等人的 “旁敲侧击” 却获得了极大的成功, 他们证明了一系列被称为奇点定理 (singularity theorem) 的著名结果, 成为了经典广义相对论中登峰造极的成果之一。

不过 Penrose 和 Hawking 等人的方法虽然不需要直接求解场方程, 却也并非 “不食人间烟火”, 因为它与物质能量动量张量的性质依然有着密切关系。 这一点从物理上讲是显而易见的, 因为正是物质能量动量张量的分布决定了时空的结构。 Einstein 曾经把他的场方程比喻为一座建筑, 这座建筑的一半是用精美的大理石 (fine marble) 砌成的, 另一半却是用劣质的木料 (low-grade wood) 建造的。 用精美的大理石砌成的那一半是方程的左端: Rμν—(1/2)gμνR, 那是一个描述时空结构的优美的几何量, 被称为 Einstein 张量。 而用劣质的木料建造的那一半则是方程的右端, 也就是描述物质分布的能量动量张量: 8πTμν。 为什么说这部分是用劣质木料建造的呢? 因为自然界的物质分布种类繁多, 物态方程千差万别, 找不到一个普适的能量动量张量来描述所有已知的物质分布。 不仅如此, 在广义相对论所涉及的许多极端条件——比如某些星体内部的超高温、 超高压、 超高密度, 宇宙演化的早期, 以及引力坍缩的后期等条件——下还可能存在大量迄今未知的物质形态及分布。 而且所有这些物质分布还可能在空间及时间上相互混合及转变。 由于存在如此高度的复杂性, 与 Einstein 张量所具有的完全确定的数学结构相比, 我们有关能量动量张量的知识无疑是极其贫乏的。

那么, 在这种贫乏的知识下, 如何才能研究诸如奇点的产生条件那样与物质的形态及分布密切相关, 同时又具有很大普遍性的课题呢? Penrose 和 Hawking 等人采用了一种很高明的手法, 那就是虽然谁也无法写下一个具有普适性的能量动量张量, 但这一张量应当具备的某些基本条件 (比方说能量密度必须大于等于零) 在当时看来是具有很大的普适性的, 因此他们假定物质的能量动量张量满足那些基本条件。 另一方面, 他们所使用的全局方法的威力之一就在于, 只要利用那些基本条件, 无需知道能量动量张量的具体形式, 就可以得到许多非常有价值的结果。 那些结果便是他们所证明的一系列奇点定理。 而那些附加在能量动量张量上的条件则被统称为能量条件 (energy condition)。 如果说能量动量张量是用劣质木料建造的, 那么能量条件的引进就好比是对那些劣质木料套上几道铁箍进行加固, 使它比原先的松散形式来得结识耐用。

返回目录 | 下一篇

注释

  1. 在本系列的多数章节中, 我们都取 c=G=1 的单位制, 并且不考虑宇宙学项。
  2. 在 Friedmann 之后, 比利时天文学家 Georges Lemaître (1894-1966)、 美国物理学家 Howard Robertson (1903–1961)、 英国数学家 Arthur Walker (1909-2001) 均对这个解做过研究, 因此这个解所对应的度规在文献中有若干不同的名称, 最常见的是 Robertson-Walker (RW) 度规, 也有称为 Friedmann-Robertson-Walker (FRW) 度规或 Friedmann-Lemaître-Robertson-Walker (FLRW) 度规的。
  3. 这一点最早是由 Lemaître 于 1933 年指出的。 在那之前的 1924 年, 英国天文学家 Arthur Eddington (1882-1944) 曾找到过一个在 r=2m 处非奇异的坐标, 但他并未意识到自己结果的重要性。 消除了所有表观奇异性的 Schwarzschild 度规的最大解析延拓则是由美国数学家 Martin Kruskal (1925-2006) 和匈牙利数学家 George Szekeres (1911-2005) 于 1960 年各自独立地给出的。
  4. 确切地讲, 是由曲率张量构造出的某些标量——比如 Kretschmann 标量 (Kretschmann scalar) RμνρσRμνρσ——发散。 这是与坐标选择无关的发散。
  5. 对这两种观点的区分 (以及将 Penrose 和 Hawking 视为后一种观点的代表人物) 散见于文献中。 但 Penrose 和 Hawking 是从一开始 (即在得到理论证据之前) 就认为奇点的出现具有普遍性, 还是在 Penrose 证明了第一个奇点定理之后才这样认为? 我猜测是前者, 但在文献中未见到说明。
  6. Lifshitz 等人一度以为自己已对一般情况下奇点的不存在性作出了论述, 并将结论写入了 Lev Landau (1908-1968) 与 Lifshitz 的名著《经典场论》(The Classical Theory of Fields)。 20 世纪 60 年代末, 随着奇点定理的出现, 他们意识到了自己的错误, 并托到访前苏联的美国物理学家 Kip Thorne (1940-) 以最快的速度将更正错误的文章秘密带到了西方。 不过, Litshitz 等人虽未能达到他们希望达到的目标, 但他们的工作为后人研究奇点附近的时空性质提供了重要参考, 依然功不可没。

站长近期发表的作品