[论文解读] On the Riemann Extension of the Gödel Space-Time metric

Valerii Dryuma|ArXiv.org|Nov 30, 2005

Cosmology and Gravitation Theories参考文献 6被引用 7

一句话总结

本文研究了哥德尔时空度规的黎曼延拓，这是一种非里奇平坦的爱因斯坦方程解，具有闭合类时曲线。通过从原时空的测地线方程构造一个2n维的延拓度规，作者表明测地线方程可分解为原坐标系的系统与辅助坐标系的线性二阶常微分方程组。关键结果是延拓时空继承了原时空的曲率性质，从而可利用线性化动力学研究可积性与不变量，特别是通过矩阵表达式 $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $ 确定平坦性。

ABSTRACT

Some properties of the Gödel space-time metric and its Riemann extension are studied

研究动机与目标

• 通过黎曼延拓分析哥德尔时空度规的几何与动力学性质。
• 将黎曼延拓理论应用于具有闭合类时曲线的物理上重要的非里奇平坦时空。
• 研究延拓时空是否保持曲率不变量，并利用所得线性系统探测测地线方程的可积性。
• 推导延拓时空测地线方程的显式解，并考察参数对解谱的影响。

提出的方法

• 利用原时空测地线方程的联络系数 $ \tilde{\nabla}^k_{ij} $ 构造一个2n维的黎曼延拓度规。
• 将延拓度规定义为 $ {}^{2n}ds^2 = -2\tilde{\nabla}^k_{ij}\tilde{\theta}_k dx^i dx^j + 2d\tilde{\theta}_k dx^k $，其中 $ \tilde{\theta}_k $ 为辅助坐标。
• 将延拓时空的测地线方程分解为两部分：一部分控制原坐标 $ x^k $，另一部分控制辅助坐标 $ \tilde{\theta}_k $，形成线性系统 $ \frac{d^2\tilde{\boldsymbol{\theta}}}{ds^2} + A(s)\frac{d\tilde{\boldsymbol{\theta}}}{ds} + B(s)\tilde{\boldsymbol{\theta}} = 0 $。
• 分析该系统的矩阵不变量，特别是 $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $，以确定平坦性与可积性。
• 通过坐标变换将度规表示为其他形式（例如 $ ds^2 = -(dt + \frac{a\tilde{}}{y}dx)^2 + \frac{a^2}{y^2}(dx^2 + dy^2) + dz^2 $）以简化测地线方程。
• 求解关于 $ F_1(y) $ 和 $ F_2(t) $ 的相应常微分方程，显示解根据参数区域的不同，表现为贝塞尔函数、三角函数、对数函数或幂函数形式。

实验结果

研究问题

• RQ1 哥德尔度规的黎曼延拓如何保持或改变原时空的曲率性质？
• RQ2 在8维延拓空间中，测地线方程的结构是什么？它们如何分解为子系统？
• RQ3 是否能通过矩阵不变量 $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $ 确定延拓空间中测地线系统的可积性？
• RQ4 在O所需参数 $ c_1, \nu, \tau $ 的不同取值下，延拓系统的解类型如何？
• RQ5 空间3维度规 $ {}^3dl^2 = \frac{a^2}{y^2}(dx^2 + dy^2) + dz^2 $ 与已知几何结构有何关联？哪些曲面族（如平移曲面）可嵌入其中？

主要发现

• 哥德尔度规的黎曼延拓产生一个2n维时空，其中测地线方程可分解为原坐标系的系统与辅助坐标系的线性二阶常微分方程组。
• 矩阵不变量 $ E = B - \frac{1}{2}\frac{dA}{ds} - \frac{1}{4}A^2 $ 决定延拓时空的平坦性：若 $ E = 0 $，则系统等价于 $ \frac{d^2\boldsymbol{\tilde{\theta}}}{ds^2} = 0 $，意味着平坦性。
• 延拓系统常微分方程的解根据 $ c_1 + \frac{1}{4} $ 的符号以三角函数、对数函数或幂函数形式表达，显式形式如 $ \frac{F_1}{\tilde{y}} = C_1 \tan(b \tilde{y}) + C_2 \text{cot}(b \tilde{y}) $，其中 $ b^2 = -c_1 - \frac{1}{4} > 0 $。
• 空间3维度规 $ {}^3dl^2 = \frac{a^2}{y^2}(dx^2 + dy^2) + dz^2 $ 属于瑟斯顿的八种几何之一，并允许定义为 $ \frac{\tilde{\theta}^2}{\tilde{y}^2} = \text{const} $ 的平移曲面，其显式参数解以 $ u, v $ 表示。
• 平移曲面的方程组约化为关于 $ y(u,v) $ 的单个二阶偏微分方程，该方程由度规约束导出，并依赖于任意函数 $ A(u), B(v) $ 产生非平凡解。
• 延拓时空保持了由黎曼张量及其协变导数构成的所有标量曲率不变量为零，与黎曼延拓理论一致。