Nonlinear stability of Einstein-de Sitter universes

技術要約：アインシュタイン・ド・ジッター宇宙の非線形安定性

問題提起
アインシュタイン・ド・ジッター（EdS）宇宙は、宇宙の冷たい暗黒物質支配時代を記述する標準的な宇宙論モデルである。これは、圧力のない流体（ダスト）によって駆動される、空間的に一様かつ等方的であり、減速膨張（$a(t) \sim t^{2/3}$）を行う時空である。線形摂動論は、EdSモデルがアインシュタイン・ダスト方程式の下で不安定であること（密度摂動の成長を導くこと）を示唆しているが、その「非線形」な安定性に関する問いは未解決のままであった。宇宙論的安定性に関する既存の研究は、主に加速膨張（$\Lambda > 0$ のド・ジッター空間など）に依存しており、そこでは摂動を消散させる強力な減衰作用が存在する。減速レジーム（EdSモデルのような場合）においては、膨張が十分に遅いため、非線形な相互作用を自然に減衰させることができない。さらに、コンパクトな空間領域（$T^3$）における重力波の閉じ込めは、分散的な減衰メカニズムを阻害する。ダストの無圧性は、アインシュタイン方程式とオイラー方程式をデカップリングさせ、流体が均質化することを妨げる。本論文は、EdSの漸近的挙動を保持する物理的に適切な物質モデルの下で、EdSモデルが非線形安定であるかどうかを扱うものである。

手法
著者らは、ポリトロピックな状態方程式 $\bar{p} = C\bar{\rho}^{1+1/n}$（ここでポリトロピック指数は $n > 3$ を満たす）を持つ、3次元トーラス（$T^3$）上のアインシュタイン・オイラー方程式の解の将来的な大域的存在性と漸近的安定性を証明するために、ブートストラップ引数を用いる。その手法には、いくつかの斬新な技術的ステップが含まれる：

1. 共形スケーリングとウェーブゲージ： 系を、Ed共形変換因子 $\tau \sim t^{1/3}$ を用いて再定式化し、EdS背景時空をミンコフスキー計量の摂動へと写像する。著者らは「ソース付きウェーブゲージ」（定義3.6）を課し、これによりアインシュタイン方程式を、減衰を伴う非線形波動方程式の系へと変換する。決定的なのは、ゲージソース関数が、ラプスの空間平均および流体密度に明示的に依存するように選択されている点である。
2. 平均化と振動のデカップリング： 展開変数を、空間平均成分（常微分方程式：ODE）と振動的な残差（偏微分方程式：PDE）に分離する。著者らは、修正された連続の方程式によって減衰する特定の組み合わせ、$(\rho_{av} - 12) + 12(h_{00})_{av}$ を導出する。この減衰は、空間的な計量摂動における対数的な成長を防ぐために不可欠である。
3. 補正項を用いたエネルギー推定：
   • 計量： 計量摂幅に対して、強凝集性を保証するために低次項を含む補正された波動エネルギー（定義6.5）を構成する。主要な革新は、波動方程式を物質微分 $\partial_v = v^\mu \partial_\mu$ と可換にすることである。流体変数の物質微分は、空間微分と比較して優れた減衰を示すため（命題4.7）、この可換操作により、計量方程式におけるソース項をより良く制御することが可能となる。
   • 流体： 流体変数に対して、ポリトロピック状態方程式を考慮した特定の時間依存の重み（$\tau^{6/5}$）を持つ基本流体エネルギーを定義する。著者らは、コージビティ（強凝集性）を生み出すために、速度のダイバージェンスを含む補正項を導入する（命理7.9）。条件 $n > 3$ は、補正項が良好に振る舞い、エネルギーがコージティブであることを保証するために極めて重要である。
4. 結合の処理： 計量と流体の強い結合は、残されたゲージの自由度を利用することで管理される。ウェーブゲージにおける減停パラメータ $\kappa$ を十分に大きく取ることで、結合から生じる決定的な、かつ減衰の遅いソース項を吸収することができる。

主要な貢献と結果
主結果（定理1.1および定理4.1）は、$\Lambda = 0$ かつポリトロピックな状態方程式（$n > 3$）を持つ、$T^3$ 上のアインシュタイン・オイラー方程式の非線形安定な解の開いた族の存在を確立している。具体的には以下の通りである：

• 大域的存在： 初期データがEdS背景時空に十分に近似している場合、解は将来のすべての時刻に対して存在する。
• 漸近的安定性： $t \to \infty$ において、解は空間的に一様な時空へと収束する。これは、EdS宇宙と同じ主要項の漸近挙動を持つ。計量成分は $|t^{-4/3}\bar{g}_{ij} - g^\infty_{ij}| \to 0$ を満たし、流体密度は $|t^2\bar{\rho} - \rho^\infty| \to 0$ を満たす。
• 均質化： 解は時間の経過とともに均質化する。すなわち、空間的不均一性が減衰し、系は空間的に一様な解の族の一員へと収束する。
• 鋭い閾値： 本論文は、$n > 3$ をこの安定化メカニズムの必要条件として特定している。$n \le 3$ の場合、著者らは流体の均質化がこのレジームでは失敗する可能性が高いことに触れ、不安定性を予想している。

意義
本論文は、EdSモデルが非線形安定であるかという問題を解決する。純粋なダストモデル（線形状態方程式 $K=0$）は不安定であるが、ポリトロピックな状態方程式（$n > 3$）を通じてわずかな圧力を導入することで、流体の均質化と計量の安定化に必要なメカニズムが提供されることを示している。この結果は、既知の非線形安定な時空（ミンコフスキー、カー、ミルン）のリストを補完するものであり、コンパクトなトポロジーと減速膨張を持つ、物理的に現実的な物質支配的な宇宙論的時空に関する初の安定性の結果を提供するものである。本研究は、たとえその圧力が漸近的に無視できるものになったとしても、物質がわずかな剛性（ポリトロピックな圧力）を持つ限り、EdSモデルが物質支配時代の広域構造の妥当な記述となり得ることを示唆している。その手法は、物質場が幾何学的膨張を駆動する他の緩やかな膨張を伴う時空を分析するための青写真を提供する。