Shock waves in classical dust collapse

技術要約：古典的なダスト崩壊における衝撃波

問題提起
本論文は、圧力のないダスト（塵）の球対称重力崩壊のダイナミクス、特に「シェル・クロッシング特異点（SCS）」が発生する際の時空計量の振る舞いに焦点を当てている。レメイト・トールマン・ボンド（LTB）解において、SCSはダストの殻が交差する（$r' = 0$）ことで発生し、シュヴァルツシルト半径の外側で計量が退化し、アインシュタイン方程式が不定となる。これまでの文献では、SCSを回避するために初期データを制限したり、特異点を切り捨ててイスラール・ジャンクション条件を用いて薄い殻に置き換えたり、あるいは流体力学の弱解を利用したりするなど、様々な拡張が提案されてきたが、SCSを超えた先に関する一意な物理的進化については合意が得られていない。既存の弱解アプローチにおける重要な問題は、それらが不連続な計量をもたらしたり、変数の選択に依存したりすることがあり、非一意な拡張を招くことである。

手法
著者らは、ダストの時間ゲージ（$T=t$）を用いた正準理論の中で、重力・ダストのアインシュタイン方程式を定式化している。エネルギー関数が消失する限界結合（marginally bound）の場合（$E(R)=0$）について、物理的ハミルトニアンと発展方程式を導出する。この特定のゲージにおいて、径方向の計量変数に対する共役運動量 $P_\Lambda$ のダイナミカル方程式は、保存則へと簡約される。

著者らは、限界結合LTB系が少なくとも2つの異なる方法で保存則として表現できることを特定している：

1. $P_\Lambda$ とミスナー・シャープ・ウィーラー（MSW）質量関数 $M$ を用いた形式：$\partial_t P_\Lambda - \partial_r M = 0$ (式 18)。
2. 変数 $\sqrt{r}M$ を含む変換された変数を用いた形式：$\partial_t (\sqrt{r}M) - \partial_r [(2M)^{3/2}/3] = 0$ (式 19)。

SCSにおける不定性を解決するために、著者らは双曲型保存則の弱解の理論を用いる。彼らは、得られる衝撃波の伝播速度を決定するために、これらの式の積分形から導出されたランクイン・ユーゴニオ（Rankine-Hugoniot, RH）跳び条件を分析する。さらに、これらの弱解から導かれる計量の連続性を、標準的なイスラール・ジャンクション条件と比較検討する。最後に、保存則を解くための標準的な手法であるゴドノフ法に基づく数値シミュレーションを用いて、解析的な知見を検証する。

主要な貢献および結果

1. 弱解による一意な連続拡張：
   本論文は、限界結合の場合において、$P_\Lambda$ を用いて定式化された保存則（式 18）が、SCSにおいて衝撃波を形成する一意な弱解を与えることを示している。極めて重要なことに、著者らはこの衝撃波を横切って計量が連続であることを証明している。この連続性は、境界条件として課されるのではなく、衝撃波速度から動的に導出されるものである。

2. 変数の選択の一意性：
   著者らは、計量の連続性が特定の保存則の形式（式 18）に固有であることを確立している。滑らかな関数に対しては数学的に等価である代替の定式化（式 19）は、不連続な計量をもたらす衝撃波速度を導くことを示している。論文は、変数依存の弱解という一見したパラドックスを、微分形式の間の等価性が分布（衝撃波）を扱う際に崩れること（変換が定義不可能な分布の積を含むため）に触れることで解決している。

3. イスラール・ジャンクション条件との区別：
   弱解（式 18）から導かれる衝撃波の動的発展は、イスラール・ジャンクション条件を用いて導かれる薄い殻のダイナミクスとは大きく異なる。両方のアプローチは連続な計量をもたらし得るが、根底にある物理が異なる：ジャンクション条件のアプローチは、計量の連続性を課し、ADM運動量の径方向成分における外曲率の不連続性から殻の運動を導出する。対照的に、弱解アプローチは、質量フラックスの保存から直接衝撃波速度を導出し、運動量（$P'_\Lambda$）の微分に関する条件を必要としない。

4. 数値的検証：
   ゴドノフ法を用いた数値シミュレーションは、解析的な結果を裏付けている。滑らかなガウス型ダスト分布から開始すると、シミュレーションは密度プロファイルが収縮し、$t \approx 15$ 付近で衝撃波（$P_\Lambda$ の不連続性によって特徴付けられる）が形成される様子を示している。その後、衝撃波は伝播し、最終的に見かけの地平線を横切り、事象の地平線の内側に落ち着くが、その間、計量は全過程を通じて連続である。

意義
本論文は、限界結合の場合における、シェル・クロッシング特異点を超えてLTB計量を拡張する方法に関する長年の問題を解決したと主張している。計量の連続性を保持する一意な弱解を特定することで、著者らは、SCSが地平線の外側で発生する初期データを排除する物理的正当性はなく、また（特異点の）切り捨てのようなアドホックな拡張も必要ないと論じている。結果は、衝撃波の形成が、外部の境界条件ではなくシステムの保存則によって支配される、ダスト崩壊における自然かつ一意な動的帰結であることを示唆している。著者らは、非限界結合のダスト（$E \neq 0$）の場合については、現在保存則の形式をとっていない結合方程式の解析を必要とする、より複雑で未解決の問題として残されていると述べている。