[論文レビュー] Covariance Group for Null Geodesic Expansion Calculations, and its Application to the Apparent Horizon

Stephen L. Adler|arXiv (Cornell University)|May 16, 2021

Galaxies: Formation, Evolution, Phenomena参考文献 8被引用数 6

ひとこと要約

本稿では、出射および入射光的ベクトル ℓ および n が位置依存係数 κ(x) でスケーリングされても積 θℓθn が不変となる非定数スカラー共変性群を導入し、その不変性により、θℓ=0 で定義される見かけのホライズンが座標系に依存せず不変であることを保証する。この性質は、動的時空における数値相対性理論やホライズン検出の強固な診断手法を提供する。

ABSTRACT

We show that the recipe for computing the expansions $ heta_\ell$ and $ heta_n$ of outgoing and ingoing null geodesics normal to a surface admits a covariance group with nonconstant scalar $\kappa(x)$, corresponding to the mapping $ heta_\ell o \kappa heta_\ell$, $ heta_n o \kappa^{-1} heta_n$. Under this mapping, the product $ heta_\ell heta_n$ is invariant, and thus the marginal surface computed from the vanishing of $ heta_\ell$, which is used to define the apparent horizon, is invariant. This covariance group naturally appears in comparing the expansions computed with different choices of coordinate system.

研究の動機と目的

• 一般相対性理論における光的測地線拡張の座標に依存しない計算のための数学的枠組みを確立すること。
• 数値相対性理論における異なる座標選択に起因する見かけのホライズン検出の曖昧さを解消すること。
• 光的ベクトル ℓ および n の非定数スケーリングにおいて、積 θℓθn が不変であることを示し、見かけのホライズンの位置が保存されることを証明すること。
• 多様な座標系において θℓθn を用いてマージナル面（例：見かけのホライズン）を同定する診断ツールを提供すること。
• 一般座標変換における θℓ および θn の変換挙動を明らかにし、不変なのは積のみであることを示すこと。

提案手法

• κ(x) を一般の時空依存スカラーとするスケーリング ℓν → κ(x)ℓν および nν → κ(x)−1nν で定義される共変性群を導入する。
• 射影子 hμν = gμν + ℓμnν + ℓνnμ / 2 を用いて、標準的な拡張式 θℓ = hμν∇μℓν および θn = hμν∇μnν を適用する。
• スケーリングの下で θℓ → κθℓ および θn → κ−1θn となるが、積 θℓθn は不変であることを示す。
• Gullstrand–Painlevé および Schwarzschild 座標系を用いて拡張を比較し、θℓθn の不変性を検証する。
• 両座標系における θℓ および θn の明示的表現を導出し、変数変換および光的ベクトルの再定義により変換挙動を確認する。
• Schwarzschild 時空を用いてフレームワークを検証し、θℓθn = −4(1−2M/r)/(r²(1−2M/r)) が得られ、r=2M で見かけのホライズンが確認されることを示す。

実験結果

リサーチクエスチョン

• RQ1 光的法線ベクトル ℓ および n の非定数スケーリングにおいて、光的測地線の拡張 θℓ および θn はどのように変換されるか？
• RQ2 積 θℓθn は、見かけのホライズンの位置を座標に依存しない診断として使用可能か？
• RQ3 同じ物理的時空を記述しているにもかかわらず、異なる座標系で θℓ および θn の値が異なるのはなぜか？
• RQ4 スカラー関数 κ(x) は、座標変換下でも見かけのホライズンの物理的位置を保存する役割を果たすか？
• RQ5 球対称時空（例：Schwarzschild）において、共変性群構造は明示的計算にどのように現れるか？

主な発見

• 非定数スケーリングの下で、θℓ および θn はそれぞれ θℓ → κθℓ および θn → κ−1θn と変換され、積 θℓθn は保存される。
• 積 θℓθn は、全共変性群に対して不変であり、θℓ=0 で定義される見かけのホライズンが座標系や ℓ および n の選択に依存しないことを保証する。
• Gullstrand–Painlevé 座標系では、θℓ = 2(c(r)−v(r))/(rc(r)) および θn = −2(c(r)+v(r))/(rc(r)) であり、θℓθn = −4(c(r)²−v(r)²)/(r²c(r)²) が得られる。
• Schwarzschild 座標系では、θℓ = 2/(rG(r)) および θn = −2/(rG(r)) であり、θℓθn = −4/(r²G(r)²) が得られ、変換後に GP の結果と一致する。
• 座標系間の変換は、ちょうど κ(r) = G(r) + √(G(r)²−1) によるスケーリングに対応しており、共変性構造が確認される。
• Schwarzschild 時空において、見かけのホライズンは r=2M に位置し、θℓθn はその点で消えることから、座標系に依存しない一貫性が確認される。