[論文レビュー] Determination of structures in the space-time from local measurements: a detailed exposition

Yaroslav Kurylev, Matti Lassas+1 more|arXiv (Cornell University)|May 8, 2013

Numerical methods in inverse problems参考文献 34被引用数 4

ひとこと要約

本論文は、局所的なスカラー場波の能動的・受動的測定から、ローレンツ的時空計量の共形類を特定するための枠組みを確立する。アインシュタイン方程式を制御可能な源と結合し、漸近展開と指標関数を用いて波の干渉を分析することで、著者らは、光観測集合—局所的源からの波フロントによって定義されるもの—が、非線形重力効果が存在しても、時空の共形構造を一意に決定することを証明する。

ABSTRACT

We consider inverse problems for the Einstein equation with a time-depending metric on a 4-dimensional globally hyperbolic Lorentzian manifold $(M,g)$. We formulate the concept of active measurements for relativistic models. We do this by coupling the Einstein equation with equations for scalar fields and study the system $Ein(g)=T$, $T=T(g,ϕ)+F_1$, and $\square_g ϕ=F_2+S(g,ϕ,F_1,F_2)$. Here $F=(F_1,F_2)$ correspond to the perturbations of the physical fields which we control and $S$ is a secondary source corresponding to the adaptation of the system to the perturbation so that the conservation law $div_g(T)=0$ will be satisfied. The inverse problem we study is the question, do the observation of the solutions $(g,ϕ)$ in an open subset $U\subset M$ of the space-time corresponding to sources $F$ supported in $U$ determine the properties of the metric in a larger domain $W\subset M$ containing $U$. To study this problem we define the concept of light observation sets and show that these sets determine the conformal class of the metric. This corresponds to passive observations from a distant area of the space which is filled by light sources (e.g. we see light from stars varying in time). One can apply the obtained result to solve inverse problems encountered in general relativity and in various practical imaging problems.

研究の動機と目的

• 時空幾何学を重力場およびスカラー場の局所的測定から同定するという逆問題に取り組む。
• 相対論的時空における能動的・受動的測定のための厳密な数学的枠組みを構築する。
• 光観測集合—局所的源からの波フロント—が時空計量の共形類を決定することを示す。
• リーマン幾何からローレンツ幾何への逆問題技法の拡張、特に非線形ハイパボリック系への応用。
• 一般相対性理論および天体画像化に関連する、波に基づく観測による時空構造のイメージングの理論的基盤を提供する。

提案手法

• スカラー場ダイナミクスと結合されたアインシュタイン方程式を定式化する：Ein(g) = T, T = T(g, φ) + F1, および □gφ = F2 + S(g, φ, F1, F2) であり、F = (F1, F2) は制御可能な源である。
• 開集合 U 内で、コンパクト部分集合 V 内の源から得られる波フロントとして定義される光観測集合 OU(q) ⊂ TU の概念を導入する。
• 波座標における非線形波方程式の解の漸近展開を用いて、特異点および波の干渉を分析する。
• 微局所解析およびフーリエ積分作用素の技法を用い、波の特異点を検出するとともに、波の重ね合わせから指標関数を構成する。
• 線形化保存則および発散条件を用いて、エネルギー運動量テンソルの制約 divg(T) = 0 を満たすことを保証する。
• 相互作用する球面波から導かれる指標関数が、一般的な条件下で消えないことを確立し、共形類の一意回復を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ローレンツ的時空計量の共形類は、局所的源が生成する波フロントの受動的観測から一意に特定可能か？
• RQ2 源を制御し、波応答を測定する能動的測定は、観測領域を超えて計量構造をどの程度まで同定可能か？
• RQ3 曲がった時空におけるスカラー波の非線形干渉は、逆問題手法による幾何情報回復にどのように影響するか？
• RQ4 波の重ね合わせから構築された指標関数が消えないことを保証する条件は何か？これにより共形構造の一意同定が可能となる。
• RQ5 結果は、ダークマターに類似した摂動や非自明なストレステンソル源を含む場合に拡張可能か？

主な発見

• 開集合 U で観測された波フロントから導かれる光観測集合によって、時空計量の共形類が一意に特定される。
• 相互作用する球面波から構築された指標関数は、波解の主要記号が消えない限り、一般集合において消えないことが保証され、幾何的構造の一意回復が可能となる。
• 能動的測定において、制御可能な源と結合されたアインシュタイン方程式系により、源領域を含むより大きな領域 W における計量の共形類の再構成が可能となる。
• 共形類と時間並進不変性が保たれる場合、積計量 g = −dt² + h(y) を持つ時空領域間の等長写像が確立され、追加の対称性のもとで計量全体の回復が可能となる。
• 証明は、非線形波解の漸近展開および微局所解析に依拠しており、波場の4階微分における特異点が共形構造を検出できることを示している。
• 結果は、源および波干渉が保存則 divg(T) = 0 を満たすという仮定のもとで成り立つことが保証され、物理的整合性が確保される。