[論文レビュー] Inverse problems in spacetime I: Inverse problems for Einstein equations

Yaroslav Kurylev, Matti Lassas+1 more|arXiv (Cornell University)|May 20, 2014

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

ひとこと要約

本稿では、制御された摂動を伴う非線形双曲型系の解の挙動を用いて、有界な近傍における能動的測定が、最小因果ダイアモンド領域内の時空の共形構造を一意に特定することを確立している。この結果は、摂動されたEinstein-スカラーフィールド方程式の逆問題に対するアプローチに基づくもので、小さな局所的源が、因果ダイアモンド領域内の共形幾何を、依存領域内で再構成可能であることを示している。

ABSTRACT

Abstract: We consider inverse problems for the coupled Einstein equations and the matter field equations on a 4-dimensional globally hyperbolic Lorentzian manifold (M, g). We give a positive answer to the question: Do the active measurements, done in a neighborhood U ⊂M of a freely falling observed µ = µ([s−, s+]), determine the conformal structure of the spacetime in the minimal causal diamond-type set Vg = J+g (µ(s−)) ∩ J g (µ(s+)) ⊂ M containing µ? More precisely, we consider the Einstein equations coupled with the scalar field equations and study the system Ein(g) = T, T = T (g, φ) + F1, and gφ−V ′(φ) = F2, where the sources F = (F1,F2) correspond to perturbations of the physical fields which we control. The sources F need to be such that the fields (g, φ,F) are solutions of this system and satisfy the conservation law ∇jT jk = 0. Let (ĝ, φ̂) be the background fields corresponding to the vanishing source F. We prove that the obser-vation of the solutions (g, φ) in the set U corresponding to sufficiently small sources F supported in U determine Vg ̂ as a differentiable mani-fold and the conformal structure of the metric g ̂ in the domain Vĝ. The methods developed here have potential to be applied to a large class of inverse problems for non-linear hyperbolic equations encountered e.g. in various practical imaging problems.

研究の動機と目的

• 自由落下する観測者周辺における能動的測定が、最小因果ダイアモンド領域内の時空の共形構造を一意に特定できるかどうかを調査すること。
• 制御された源を伴う結合Einstein-スカラーフィールド方程式の逆問題を分析すること。
• 物理的フィールド（源）の小さな摂動が、因果ダイアモンド領域内での共形幾何の一意的再構成を可能にすることを確立すること。
• 非線形双曲型系に対する逆問題手法を一般相対性理論および関連するイメージング問題へと拡張すること。
• 背景時空計量とスカラーフィールドが、時空計量に沿った時空的測定の近傍における摂動された解の観測から回復可能であることを証明すること。

提案手法

• 研究は、4次元構造を持つ、全域的双曲的ローレンツ多様体 (M, g) を時空としてモデル化する。
• 結合系として、Einstein方程式 Ein(g) = T を考える。ここで T は計量 g とスカラーフィールド φ に依存し、追加の源項 F1 と F2 を含む。
• 源 F = (F1, F2) は物理的フィールドの摂動を表し、小さく制御可能であり、系の適切な定式化を保証する。
• 物理的整合性を確保するため、ストレステンソルの保存則 ∇jT jk = 0 を課す。
• 背景場 (ĝ, φ̂) は F = 0 の場合に対応し、基準時空を提供する。
• 時空計量 g に沿った時空的測定の近傍 U における解 (g, φ) の観測により、因果ダイアモンド領域 Vĝ = J+g(µ(s−)) ∩ Jg(µ(s+)) 内の ĝ の共形構造が特定可能である。

実験結果

リサーチクエスチョン

• RQ1 自由落下する観測者周辺における能動的測定が、最小因果ダイアモンド領域内の時空の共形構造を一意に特定できるか？
• RQ2 計量とスカラーフィールド源の小さな局所的摂動は、どのようにして背後にある時空幾何を再構成可能にするか？
• RQ3 保存則 ∇jT jk = 0 は、結合Einstein-スカラーフィールド系の逆問題にどのような制約を課えるか？
• RQ4 本研究で開発された手法は、物理的イメージングに現れる他の非線形双曲型系へ一般化可能か？
• RQ5 摂動されたフィールド解から、時空領域の共形構造を再構成するために必要な最小の観測領域はどの程度か？

主な発見

• 背景計量 ĝ の共形構造は、時空計量に沿った時空的測定の近傍 U における摂動されたEinstein-スカラーフィールド系の解の観測により、因果ダイアモンド領域 Vĝ 内で一意に特定可能である。
• U 内に台を持つ十分に小さな源 F に対して、解の挙動が影響領域内に保たれるように、再構成が達成される。
• 領域 Vĝ は、時空的測定の端点の未来と過去の因果的未来の共通部分として定義され、最小因果ダイアモンドを形成する。
• U で観測された摂動系の解 (g, φ) を用いることで、ĝ が滑らかな多様体として、およびその共形類として回復可能である。
• 本手法は、広範な非線形双曲型系のクラスに対して安定であり、さまざまなイメージングおよび物理的系における逆問題への応用可能性を示唆する。
• 本研究は、能動的測定と摂動論を用いた一般相対性理論における逆問題の基礎的枠組みを確立している。