[論文レビュー] Dual Foliation Formulations of General Relativity

David Hilditch|arXiv (Cornell University)|Sep 7, 2015

Advanced Differential Geometry Research参考文献 43被引用数 4

ひとこと要約

この論文は、一般相対性理論の二重光線座標系における局所的適切性を保証する二重葉層形式を導入する。この形式は、一般調和ゲージから二重光線座標系へのヤコビ行列を進化させることで実現され、ヤコビ行列と場の運動方程式の結合を最小限に抑えることで、新しい座標系における対称的双曲型性を保証する。これにより、従来は取り扱いが困難であったゲージにおいても、標準的な数値相対性理論手法を直接利用可能にする。

ABSTRACT

A dual foliation treatment of General Relativity is presented. The basic idea of the construction is to consider two foliations of a spacetime by spacelike hypersurfaces and relate the two geometries. The treatment is expected to be useful in various situations, and in particular whenever one would like to compare objects represented in different coordinates. Potential examples include the construction of initial data and the study of trapped tubes. It is common for studies in mathematical relativity to employ a double-null gauge. In such studies local well-posedness is treated by referring back, for example, to the generalized harmonic formulation, global properties of solutions being treated in a separate formalism. As a first application of the dual foliation formulation we find that one can in fact obtain local well-posedness in the double-null coordinates directly, which should allow their use in numerical relativity with standard methods. With due care it is expected that practically any coordinates can be used with this approach.

研究の動機と目的

• 一般相対性理論における局所的適切性と座標・ゲージ自由度を分離する形式を構築すること。
• ブラックホール形成や時空安定性の研究に不可欠な二重光線座標系に対して、直接的かつ双曲型的な定式化の欠如を解決すること。
• ヤコビ行列の進化を通じて双曲型性を保証することにより、二重光線座標系やその他の非標準座標系においても数値相対性理論の応用を可能にすること。
• 初期データ構築や捕獲管解析において、異なる座標系間での解の比較を体系的に行うための手法を提供すること。

提案手法

• 二重葉層形式は、一般調和座標系における1つの空間的葉層と、二重光線座標系におけるもう1つの空間的葉層を導入し、それらをヤコビ行列 $ J^{ ilde{ u}}{}_{ u} = rac{ ilde{ u}}{ u} $ で結ぶ。
• ヤコビ行列は、一般調和場の運動方程式に最小限に結合された1次形式の運搬方程式として、動的変数として進化させる。
• 一般調和形式とヤコビ行列の進化方程式を組み合わせることで、完全な系を対称的双曲型系として扱う。
• ヤコビ行列の高階微分を導入しないように1次還元を用いることで、元の系のPDE構造と双曲型性を保ったまま、PDEの性質を維持する。
• 座標変換は反復的に実行され、ヤコビ行列を定期的に単位行列にリセットすることで特異性を回避し、数値的安定性を確保する。
• この手法は、ヤコビ行列の進化方程式が双曲型的かつ適切に定義される任意の座標系へ一般化可能である。

実験結果

リサーチクエスチョン

• RQ1 一般調和ゲージの事前変更なしに、二重光線座標系において直接的に対称的双曲型な一般相対性理論の定式化を構築できるか？
• RQ2 数値相対性理論における初期値問題の適切性と座標自由度をどのように分離できるか？
• RQ3 ヤコビ行列は、場の運動方程式の双曲型性を保ちつつ、座標変換を可能にする役割を果たすか？
• RQ4 この二重葉層手法は、最大スライシングや準等方的空間座標系などの他の座標系へ拡張可能か？
• RQ5 一般調和形式における制約を保つ境界条件を、新しい座標系にどのように変換できるか？

主な発見

• 二重葉層手法により、一般調和座標系から二重光線座標系へのヤコビ行列を進化させることで、二重光線座標系において直接的に局所的適切性が達成された。
• ヤコビ行列の進化方程式は双曲的であり、場の運動方程式への結合が最小限に抑えられており、一般調和形式の対称的双曲型構造を保ったままである。
• この手法により、従来の定式化で弱い双曲型性を示すために利用が困難であった二重光線座標系でも、標準的な数値相対性理論手法が使用可能になった。
• ヤコビ行列の座標再初期化に対して本手法は頑健である。ヤコビ行列を定期的に単位行列にリセットすることで、長時間にわたる計算においても数値的安定性が維持された。
• 本フレームワークは一般性を有し、ヤコビ行列の進化が適切に定義される任意の座標系に適用可能である。最大スライシングや準等方的座標系も含まれる。
• 本手法により、異なるゲージ間での解の直接比較が可能となり、現代の数値コードを用いた臨界的崩壊や捕獲管ダイナミクスの研究に適している。