[論文レビュー] Symmetry, Singularities and Integrability in Complex Dynamics IV: Painleve Integrability of Isotropic Cosmologies

John Miritzis, P. G. L. Leach+1 more|ArXiv.org|Nov 6, 2000

Black Holes and Theoretical Physics参考文献 11被引用数 3

ひとこと要約

本稿では、一般相対性理論および超弦理論における等方的宇宙論的モデルに対してPainlevé特異性解析を適用し、その可積分性を評価する。Painlevéテストおよびローラン級数展開を用いて、強いPainlevé性質（可積分）または弱いPainlevé性質（分岐点を有する非可積分）を持つモデルを特定し、非可積分でカオス的な挙動を特徴とする特異的包絡線内に閉じ込められるのは2流体FRWモデルに限ることが判明した。他のモデルは解析的に可積分または弱く可積分である。

ABSTRACT

We apply the results of singularity analysis to the isotropic cosmological models in general relativity and string theory with a variety of matter terms. For some of these models the standard Painlevé test is sufficient to demonstrate integrability or nonintegrability in the sense of Painlevé. For others of these models it is necessary to use a less algorithmic procedure.

研究の動機と目的

• 一般相対性理論および超弦理論における等方的宇宙論的モデルのPainlevé特異性解析を用いた可積分性の特定。
• これらのモデルが強いPainlevé性質を有するか、弱いPainlevé性質（分岐点特異性を伴う非可積分性）を有するかの調査。
• 非可積分モデルの力学的挙動、特にカオス的運動を特異的包絡線がどのように制限するかの探求。
• 等方的時空における異なる物質内容および重力理論における可積分性の比較。
• より複雑な非等方的および高次元宇宙論的モデルにおける可積分性の理解に向けた基盤の構築。

提案手法

• 等方的宇宙論的モデルから導かれる常微分方程式系へのPainlevéテストの適用。
• 可動特異点まわりのローラン級数展開を用い、一般解に任意定数が存在するかを検証。
• ARSアルゴリズムおよびKruskalの簡略化を用いた体系的な特異性解析。
• ローラン展開における係数の先行項の振る舞いと再帰関係の分析により一貫性を検証。
• 2流体モデルにおける特異性を扱うために、コンパクト化変数（例：Ω ∈ [−π/2, π/2]、χ ∈ [−1, 1]）の使用。
• 指数型ポテンシャルを有するスカラー場モデルのローラン級数の最初の数項を明示的に計算し、Painlevé性質の検証。

実験結果

リサーチクエスチョン

• RQ1 一般相対性理論および超弦理論におけるどの等方的宇宙論的モデルがPainlevéの意味で可積分であるか？
• RQ2 複数の流体やスカラー場を有するモデルは強いPainlevé性質を有するか、それとも分岐点特異性を伴う弱いPainlevé性質を有するか？
• RQ3 非可積分な挙動が、2流体FRWモデルで見られるように特異的包絡線内に閉じ込められるか？
• RQ4 ポテンシャルが指数型を越えて一般化された場合、スカラー場モデルの可積分性はどのように変化するか？
• RQ5 特異的包絡線の性質は、他の重力理論やBianchi型モデルへの拡張に対しても安定的か？

主な発見

• 圧縮性流体を有する1流体FRWモデルは可積分であり、強いPainlevé性質を満たす。
• 一般相対性理論における2流体FRWモデルは強いPainlevé性質を満たさず、特異的包絡線内に閉じ込められた非可積分な挙動を示す。
• 指数型ポテンシャルを有するスカラー場モデルは強いPainlevé性質を満たし、十分な数の任意定数を有するローラン級数による可積分性が示される。
• 指数型ポテンシャルを有するnスカラー場モデルも強いPainlevé性質を満たし、可積分性が確認される。
• 4次元の平坦な等方的超弦宇宙論モデルは可積分であり、一般解は極的特異点を除いて正則である。
• スカラー場モデルのローラン展開には、係数a₁、a₂、b₁、b₂、c₀、c₁、c₂の明示的表現が含まれ、最初の係数関係にc₀ = 1 − 2a₀² − 2b₀の制約が現れる。