[论文解读] On analyticity of static vacuum metrics at non-degenerate horizons

Piotr T. Chruściel|ArXiv.org|Feb 20, 2004

Cosmology and Gravitation Theories参考文献 10被引用 3

一句话总结

该论文证明了在广义相对论中，静态真空度规在非退化的基灵视界处是解析的，即使不假设超曲面正交性。通过利用对称性及Osgood引理，它在视界附近构造了一个使用径向和角坐标表示的解析坐标图册，证明了所有度规分量，包括连接一形式θ，均可解析地延拓穿过视界，且在给定条件下保持光滑与解析。

ABSTRACT

We show that static metrics solving vacuum Einstein equations (possibly with a cosmological constant) are one-sided analytic at non-degenerate Killing horizons. We further prove analyticity in a two-sided neighborhood of "bifurcate horizons". It is a pleasure to dedicate this work to Prof. Staruszkiewicz, on the occasion of his 65th birthday.

研究动机与目标

• 建立广义相对论中静态真空解在非退化基灵视界处的解析性。
• 研究在不假设超曲面正交性的情况下，度规及其相关几何结构是否仍保持解析性。
• 在视界的一侧邻域内构造一个坐标图册，使得度规函数在边界处仍为解析。
• 分析连接一形式θ的行为及其在旋转轴处的延拓。
• 证明度规可重写为一种形式，从而消除奇异项，确保在新坐标系中保持解析性。

提出的方法

• 利用度规在视界上反射下的对称性：g(i)_AB(−x¹,−x²,xᵃ) = g(i)_AB(x¹,x²,xᵃ) 以及 g(i)_Aa(−x¹,−x²,xᵃ) = −g(i)_Aa(x¹,x²,xᵃ)。
• 应用Osgood引理，从对称性与初始解析性假设推导出度规分量的解析性。
• 引入径向坐标 ρ² = (x¹)² + (x²)²，并将度规分量表示为 ρ² 与 xᵃ 的解析函数。
• 通过定义 u = t + ½ ln(y¹) 构造显式坐标变换，消去洛伦兹度规 (3.14) 中的奇异项。
• 通过 θ_j dy^j = α(1+ρ²ψ)⁻² d(ρ²) + (1+ρ²ψ)⁻² γ_a dx^a 定义一形式 θ，证明其在 ρ² 与 xᵃ 上为解析函数。
• 推导出度规形式 g = −y¹(1+y¹ψ)² dt² + (dy¹)²/(4y¹) + h_jk dy^j dy^k，并利用 u 重新表述以消除奇异性。

实验结果

研究问题

• RQ1 在不假设超曲面正交性的情况下，能否证明静态真空度规在非退化基灵视界处为解析？
• RQ2 连接一形式 θ 在旋转轴附近及视界处的行为如何？
• RQ3 何种坐标变换可确保度规分量在视界边界处保持解析？
• RQ4 能否通过坐标重定义消除度规中 (dy¹)²/(4y¹) 的奇异项，同时保持解析性？
• RQ5 在何种条件下，度规可向视界的一侧邻域实现解析延拓？

主要发现

• 由于 (x¹,x²) → (−x¹,−x²) 反演对称性，度规分量 gab 关于 xB 的所有奇数阶导数在视界 {xA=0} 处为零。
• 度规分量 g(i)_ab, g(i)_Ab, g(i)_AB 是 ρ² 与 xᵃ 的解析函数，其中 u = ρ(1 + ρ²ψ(ρ²,xᵃ)) 且 ρ² = (x¹)² + (x²)²。
• 一形式 θ_j dy^j 在 ρ² 与 xᵃ 上为解析函数，并在旋转轴 {Y=0} 处光滑延拓，其解析性在度规解析性下得以保持。
• 洛伦兹度规 (3.14) 通过 u = t + ½ ln(y¹) 重新表述，消除了奇异项 (dy¹)²/(4y¹)，在新坐标下得到解析表达式。
• 度规 h_jk dy^j dy^k 在 ρ² 与 xᵃ 上为解析函数，除了一项奇异的 (2ρ)⁻²(d(ρ²))² 外，该奇异项被单独分离并通过坐标变换处理。
• 在坐标 (u, y¹, xᵃ) 下的最终度规形式在基灵向量 X 为类时或类光的区域边界处保持解析，证实了光滑解析图册的存在。