[論文レビュー] The global uniqueness and $C^1$-regularity of geodesics in expanding impulsive gravitational waves

Jiřı́ Podolský, Clemens Sämann+2 more|arXiv (Cornell University)|Feb 16, 2016

Advanced Differential Geometry Research参考文献 46被引用数 6

ひとこと要約

本稿は、ミンコフスキー、ド・ジラール、および反ド・ジラール時空における拡張型インパルス的重力波に沿った $C^1$-正則な測地線の全域的かつ一意的な存在を厳密に証明する。不連続な右辺をもつ常微分方程式のフィリッポフ理論を用いて、広く用いられている $C^1$-マッチング手順が、インパルス的波面を越えて明示的な測地線解を導出するために正当化され、低正則性時空における一般相対性理論の長年のギャップが解消される。

ABSTRACT

We study geodesics in the complete family of expanding impulsive gravitational waves propagating in spaces of constant curvature, that is Minkowski, de Sitter and anti-de Sitter universes. Employing the continuous form of the metric we rigorously prove existence and global uniqueness of continuously differentiable geodesics (in the sense of Filippov) and study their interaction with the impulsive wave. Thereby we justify the "$C^1$-matching procedure" used in the literature to derive their explicit form.

研究の動機と目的

• 低正則性の計量を持つ拡張型インパルス的重力波における測地線運動の厳密な数学的基盤を確立すること。
• 先行研究で用いられてきた $C^1$-マッチング手順の正当性が欠落していた点を解消すること。
• フィリッポフの解理論を、特に拡張型波の状況において、有界だが不連続な曲率をもつ時空における測地線方程式に応用可能にする。
• 測地線とインパルス的波面との相互作用を解析し、測地線が波面を横切るのではなく接する場合も含む。
• これらの時空における分布的表現と連続的表現の計量の等価性を、測地線の挙動を鍵とする手段で証明する、長期的目標を支援すること。

提案手法

• 定曲率時空（ミンコフスキー、ド・ジラール、反ド・ジラール）における拡張型インパルス的重力波の連続的計量を採用する。
• 測地線方程式がインパルス的波のため有界だが不連続な微分をもつことから、不連続右辺をもつ常微分方程式のフィリッポフ理論を適用する。
• 計量のリプシッツ連続性を用いて、フィリッポフの存在・一意性定理の条件を満たすことを保証する。
• 計量の不連続性に起因するジャンプ条件から、波面を越える測地線速度の明示的屈折公式を導出する。
• 定曲率時空特有の幾何的考察とフィリッポフ理論を組み合わせ、$C^1$ 解の全域的一意性を証明する。
• 波面に対して横断的および接線的である測地線を両方分析し、測地線がインパルスに接する場合も含む。

実験結果

リサーチクエスチョン

• RQ1 先行研究で用いられてきた、拡張型インパルス的重力波における測地線を導出するための $C^1$-マッチング手順は、数学的に正当化可能か？
• RQ2 定曲率背景上における拡張型インパルス的重力波において、連続的に微分可能な測地線は全域的に存在するか？
• RQ3 測地線はインパルス的波面とどのように相互作用するか、特に速度の不連続性と正規化の保存に関する点で。
• RQ4 波面を横切るのではなく接する測地線は存在するか？ そして $C^1$-正則性条件下でそれらはどのように振る舞うか？
• RQ5 測地線の挙動を用いて、分布的表現と連続的表現の計量の等価性を確立できるか？

主な発見

• ミンコフスキー、ド・ジラール、反ド・ジラール時空における拡張型インパルス的重力波の測地線方程式は、$C^1$-正則な解を全域的かつ一意的にもつ。
• 従来の文献で証明なしに用いられていた $C^1$-マッチング手順は、波面を越えて明示的な測地線形を導出する有効な方法として数学的に正当化される。
• 波面を越える測地線の速度は、明示的な屈折公式（式 56–59）に従い、宇宙定数 $ heta$ に依存しない。
• 接続ベクトルの正規化は波面を越えて保存され、すなわち $ ilde{ heta}^{-} = ilde{ heta}^{+}$ が成り立つ。これはローレンツ幾何学との一貫性を確認する。
• 波面に接する測地線が存在し、$C^1$-正則性を満たすことが示された。これにより、マッチング手順の適用範囲は横断的通過にとどまらず、拡張される。
• 本研究の結果は、測地線の挙動を主な道具とする分布的表現と連続的表現の計量の等価性を証明するための厳密な基盤を提供する。