Matching collapse and expansion across Matter Trapping surfaces in inhomogeneous $Λ$CDM models

技術要約：不均一な$\Lambda$CDMモデルにおける物質トラッピング表面を横断する収縮と膨張の整合

問題提起
本論文は、ダスト（塵）と宇宙定数（$\Lambda$）を含む球対称時空における一般相対性理論（GR）の初期値問題の定式化に取り組んでいる。具体的には、以前は宇宙論的な膨張領域と重力崩壊領域を分かつ超曲面として定義されていた「物質トラッピング表面（Matter Trapping Surfaces; MTS）」の性質を調査している。中心となる問いは、MTSが両側のダイナミクスを完全に決定するウェルポーズド（適切に定式化された）境界として機能するのか、あるいは内部と外部の解の独立した進化を許容するのかという点である。この探究は、過密領域の全域的な膨張からのデカップリング（分離）およびニュートン力学から相対論的領域への遷移に関する根本的な問いに基づいている。

手法
著者らは、時間的単位ベクトル $n^a$（物質の流れ）と空間的単位ベクトル $e^a$（対称球に垂直）を用いた、球対称計量に対する1+1+2形式を採用している。このフレームワークは、ラプス関数 $\alpha(t,r)$ とシフトベクトル $\beta(t,r)$ によって特徴付けられる一般化パネーヴェ・ガストルグラント（GPG）座標へと翻訳される。

解析は、ダストと$\Lambda$へと簡約された完全流体源に対するアインシュタイン場の方程式（EFEs）に焦点を当てている。動力学方程式は、ミスナー・シャープ質量 $M_{ms}$ とエネルギー関数 $E$ を用いて再構成される。著者らは、MTSを解析するために、系をコーシー問題として定式化している。著者らは、以下の2つの条件によってMTSを定義する：

1. 運動学的条件： 面積半径方向の速度が消失する（$L_n r = 0$、すなわち $\beta = 0$ を意味する）。
2. 動力学的条件： 半径方向の加速度が消失する（$L_n (L_n r) = 0$、すなわち $\dot{\beta} = 0$ を意味する）。

MTSを初期時刻スライス $t = t_0$ ではなく、境界曲面 $r = r^*$ として扱うことで、著者らは結果として得られる偏微分方程式（PDE）系の特性曲線を解析している。

主要な貢献と結果

1. 特性曲面としてのMTS：
   主要な理論的結果は、ダストと$\Lambda$の場合、MTSがコーシー問題の**特性曲面（characteristic surface）**であるという証明である。$E$ と $M$ を支配するPDE系の文脈において、MTSにおける $\beta = 0$ という条件は、その曲面が特性曲線（フローライン）と一致することを意味する。

   • 帰結： 標準的なコーシーデータは、特性曲面を横断して伝播することはできない。したがって、MTSは一方の側における解を一意に決定しない。代わりに、この系は無限の解を許容する。境界値（質量とエネルギー関数）が連続である限り、任意の内部解を任意の外部解とMTSを介して結合させることができる。MTSは「シールド（盾）」として機能し、内部の詳細なダイナミクスを外部からデカップリングさせる。

2. LTBdSにおける静的で安定なMTS：
   著者らは、中心部のナバロ・フレンク・ホワイト（NFW）密度プロファイルが平坦なFLRW背景へと遷移する、特定の不均一モデル（レマイトル・トールマン・ボンディ・ド・ジッター、またはLTBdS）を構築している。彼らは、このモデルが初めて静的で安定なMTSを支持することを実証した。これは、面積速度と加速度が同時にゼロになり、進化の間もゼロであり続けるように、運動学的条件と動力学的条件を注意深く一致させることによって達成される。

3. マッチングのシナリオ：
   論文では、3つの解のタイプ間の異なるマッチングシナリオを構築することで、デカップリングの特性を示している：

   • シュバルツシルト・ド・ジッター（SdS）
   • エインシュタイン・静的（ES）宇宙
   • 不均一なLTBdS
     著者らは、密度（$\rho$）、全質量（$M$）、曲率（$E$）、および宇宙定数（$\Lambda$）といった物理量が境界を横断して不連続であっても、これらの解をMTSにおいて結合できることを示している。唯一の要件は、表面自体におけるマッチング条件の連続性である。

意義と主張
本論文は、MHSが、真空解におけるバーコフの定理の効果と同様に、各側を互いの詳細なダイナミクスから「保護」する境界として機能すると主張している。バーコフの定理が、質量と半径の連続性が与えられれば、任意の内部シュバルツシルト解を外部の真空解に結合できるのと同様に、MTSは不均一な$\Lambda$CDMモデルにおける膨張領域と収縮領域の任意のマッチングを可能にする。

著者らは、この結果が、MTSを結合領域と非結合領域を分かつものとして扱うための厳密な数学的基礎を提供するものであることを強調している。これは、ダスト $+\Lambda$ モデルにおいて、局所的な崩壊と全域的な膨張の間の遷移が、全域的な初期データによって決定される滑らかな動的進化ではなく、独立した解を「接着」できる特性境界であることを示唆している。本研究は、過密領域がいかにして宇宙の膨張から動的にデカップリングするかを理解するためのステップとして提示されており、異なる内部および外部のダイナミクスを持つ複雑な宇宙論的モデルを構築するためのツールを提供している。

著者らは、限界事項についても述べており、具体的には、解析が厳密な球対称性とゼロ圧力（ダスト）を仮定していること、そしてこれらの結果を非ゼロの圧力や角運動量を持つモデルへ拡張することが未解決の課題であることを指摘している。