[論文レビュー] Readings of the Lichnerowicz-York equation

Niall Ó Murchadha|ArXiv.org|Feb 11, 2005

Advanced Differential Geometry Research被引用数 4

ひとこと要約

この論文は、物理的体積を所望の値に指定できるように、アインシュタインの制約方程式の初期データを構成するため、リッチナー＝ヨーク方程式を固有値問題として再解釈する。トレースの外在的曲率、共形的計量、またはTTテンソルを自由パラメータとして扱うことで、強い存在性・一意性を備えた新しい定式化を確立し、境界のないコンパクト多様体における物理的体積の制御を可能にする。

ABSTRACT

James York, in a major extension of André Lichnerowicz's work, showed how to construct solutions to the constraint equations of general relativity. The York method consists of choosing a 3-metric on a given manifold; a divergence-free, tracefree (TT) symmetric 2-tensor wrt this metric; and a single number, the trace of the extrinsic curvature. One then obtains a quasi-linear elliptic equation for a scalar function, the Lichnerowicz-York (L-Y) equation. The solution of this equation is used as a conformal factor to transform the data into a set that satisfies the constraints. If the manifold is compact and without boundary, one quantity that emerges is the volume of the physical space. This article reinterprets the L-Y equation as an eigenvalue equation so as to get a set of data with a preset physical volume. One chooses the conformal metric, the TT tensor, and the physical volume, while regarding the trace of the extrinsic curvature as a free parameter. The resulting equation has extremely nice uniqueness and existence properties. A even more radical approach would be to fix the base (conformal) metric, the physical volume, and the trace. One also selects a TT tensor, but one is free to multiply it by a constant(unspecified). One then solves the L-Y equation as an eigenvalue equation for this constant. A third choice would be to fix the TT tensor and and multiply the base metric by a constant. Each of these three formulations has good uniqueness and existence properties.

研究の動機と目的

• 境界のないコンパクト3次元多様体の物理的体積を直接指定できるように、リッチナー＝ヨーク方程式を再定式化すること。
• 標準的なヨーク型解の限界に対処し、物理的体積が入力データによって決定されるのではなく、所望の値に指定されることを可能にすること。
• アインシュタインの制約方程式の初期データの新しいパrameterizationを確立し、数学的性質を向上させること。
• 3つの異なる定式化を探索する：共形的計量と体積を固定し、トレースKを自由パラメータとして扱う；TTテンソルを固有値としてスケーリングする；基本計量を自由パラメータとして扱う。
• 特に、定曲率を持つコンパクト多様体の文脈において、これらの新しい定式化下での解の存在性と一意性を証明すること。

提案手法

• トレースの外在的曲率Kを自由パラメータとして扱い、共形的計量と物理的体積を固定することで、リッチナー＝ヨーク方程式を固有値問題として再定式化する。
• ヤマベ定数を、特に定曲率多様体において、スカラー曲率と体積を関連付ける主要な不変量として用いる。
• 共形変換を適用して、基本計量を定スカラー曲率を持つものに写像し、解析を簡略化するとともに、体積推定を可能にする。
• 臨界点における点ごとの不等式を用いて、共形因子の最大値の上限を導出し、物理的体積の上界を導く。
• 基本計量とTTテンソルの間のスケーリング対称性を導入する：計量をβ⁴倍することは、TTテンソルをβ²倍することに等しく、物理的体積を保存する。
• スケーリングパラメータβ → 0 または β → ∞ における漸近的挙動を分析し、ヤマベ定数の符号に応じて体積が0または無限大に近づくことを示す。

実験結果

リサーチクエスチョン

• RQ1 リッチナー＝ヨーク方程式を再解釈することで、境界のないコンパクト3次元多様体の物理的体積を直接制御可能になるか？
• RQ2 物理的体積を自由パラメータとして指定した場合、解の存在性と一意性の性質はどのようになるか？
• RQ3 共形スケーリング下で、基本計量のヤマベ定数が物理的体積の挙動に与える影響は何か？
• RQ4 物理的体積を保存する条件下で、基本計量とTTテンソルのスケーリングの関係は何か？
• RQ5 共形因子またはスケーリングパラメータが0または無限大に近づく際の物理的体積の極限挙動は何か？

主な発見

• TTテンソルの強度α → 0 に伴い、物理的体積はV_p → 0 に収束し、α^{3/2}に比例して減少する。
• 基本計量が正のヤマベクラスに属する場合、物理的体積は$ V_p \leq \left[ \frac{3\alpha^2}{2K^2} (K^{TT}K_{TT})_{\text{max}} \right]^{3/4} V_0 $ を満たす。ここで$ V_0 $は基本計量の体積である。
• 基本計量をβ⁴倍すると、TTテンソルをβ²倍するのと同一の物理的体積挙動を示し、変換下で体積が保存される。
• ヤマベ定数が負の場合、β → 0 に伴い物理的体積は有限の最小値$ V_p = \left( \frac{3|Y|}{2K^2} \right)^{3/2} $ に収束する。
• ヤマベ定数が非負の場合、β → 0 に伴い物理的体積は0に収束し、非負の場合には下界がないことを示す。
• 特に、基本計量を定曲率に共形変換した場合に、リッチナー＝ヨーク方程式の解は、新しい定式化下で保証された存在性と一意性を有する。