[論文レビュー] The inverse mean curvature flow in Robertson-Walker spaces and its application to cosmology

Claus Gerhardt|ArXiv.org|Apr 27, 2004

Black Holes and Theoretical Physics参考文献 6被引用数 5

ひとこと要約

本稿は、ビッグクラッシュ特異点を有するロバートソン・ウォーカー時空における逆平均曲率流れ（IMCF）を調査し、状態方程式と宇宙定数に関する特定の条件下で、スケーリングされたIMCFがビッグクラッシュからビッグバンへの滑らかな遷移を実現することを示している。主な結果は、滑らかな遷移（C^∞）が極めて厳しい条件下でのみ可能である一方で、一般には遷移流れがC³クラスに留まり、特異点で高階微分が発散する反例が存在することである。

ABSTRACT

We consider the inverse mean curvature flow in Robertson-Walker spacetimes that satisfy the Einstein equations and have a big crunch singularity and prove that under natural conditions the rescaled inverse mean curvature flow provides a smooth transition from big crunch to big bang. We also construct an example showing that in general the transition flow is only of class $C^3$.

研究の動機と目的

• ロバートソン・ウォーカー時空における逆平均曲率流れが、ビッグクラッシュからビッグバンへの滑らかな遷移を可能にする条件を確立すること。
• 特に、遷移流れがC^∞であるか、C³が最良の微分可能性クラスであるかを特定すること。
• 空間的に一様かつ等方的であるが、一般にC^∞でない遷移流れを示す反例を構成すること。
• 滑らかな遷移が循環的宇宙を意味するわけではないことの明確化。特異点以降の時空が特異点以前のものと等長でない場合、および過去に最大超曲面が存在しない場合があること。
• 状態方程式パラメータω₀と宇宙定数σが流れの正則性に与える影響を分析すること。

提案手法

• 本研究は、(n+1)次元のロバートソン・ウォーカー時空N = I × S₀において逆平均曲率流れ（IMCF）を用いる。計量はdŝ² = e²f(−(dx⁰)² + σᵢⱼdxⁱdxʲ)の形を取る。
• 解析は、φ = e^{γ̃f}およびr = −e^fの変換によりフリードマン方程式を変形し、φに関する1階常微分方程式に問題を還元する。
• 時間のスケーリングs = ±c e^{γ̃f}を用いて、特異点s=0における流れの対称化を実現する。このスケーリングにより、遷移流れy(s,ξ)が定義される。
• 流れの正則性は、流れの微分を決定するφ²がsまたはrに関して偶関数であるかどうかを検討することで分析される。これにより、s=0における滑らかさが保証される。
• 反例は、ω₀をγ̃ ≥ 2およびσ ≠ 0となるように選ぶことで構成され、s→0におけるη(s)の4階微分が発散することを示す。
• 証明はフリードマン方程式の漸近的解析と、特異点近傍におけるφ²の振る舞いを用い、d⁴η/ds⁴がs→0で発散することを示す。

実験結果

リサーチクエスチョン

• RQ1 状態方程式および宇宙定数に関するどのような条件下で、逆平均曲率流れがロバートソン・ウォーカー時空においてビッグクラッシュからビッグバンへのC^∞滑らかな遷移を実現するか？
• RQ2 一般に、遷移流れのC^∞正則性は達成可能か、それともC³が最良の微分可能性クラスか？
• RQ3 空間的に一様かつ等方的時空においても、遷移流れがC³に留まる反例を構成可能か？
• RQ4 滑らかな遷移流れは、循環的宇宙の存在を必然的に示唆するのか、それとも非再帰的時空発展を記述できるのか？
• RQ5 関数μ(r) = μ̃(log(−r))の振る舞いは、特異点を越えた流れの正則性にどのように影響するか？

主な発見

• ω₀ ∈ ℝかつσ = 0、またはω₀ = 4−nかつσ ∈ ℝのとき、μが(−r)^{γ̃}に関して滑らかで偶関数であれば、遷移流れは滑らか（C^∞）である。
• ω₀がγ̃ ≥ 2でありσ ≠ 0である場合、遷移流れはC³に留まり、η(s)の4階微分はs→0で発散する。
• γ̃ = 2の場合、流れはC³,¹（3階まで連続微分可能で、3階微分が Hölder 連続）であるが、C⁴ではない。
• 反例により、一般にC³が最良の正則性であることが確認された。これは、ビッグクラッシュ特異点を有するロバートソン・ウォーカー時空においても同様である。
• 流れの滑らかさは、μ(r)の振る舞いに強く依存しており、より高い正則性を得るためには、(−r)^{γ̃}に関してμが偶関数かつ滑らかでなければならない。
• 滑らかな遷移が循環的宇宙を意味するわけではない。特異点以降の時空が特異点以前のものと等長でない場合、および過去に最大超曲面が存在しない場合がある。