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

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

Numerical methods in inverse problems参考文献 68被引用数 19

ひとこと要約

この論文は、全局的因果的時空における時間的測地線の近傍における能動的測定が、測地線を含む最小因果ダイアモンド内での時空の共形構造を決定することを確立している。制御された源におけるアインシュタイン-スカラー場方程式の摂動を分析することで、著者らは、摂動場の境界測定値からバックグラウンド計量の共形類が一意に回復可能であることを証明している。

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\subset M$ of a freely falling observed $μ=μ([s_-,s_+])$, determine the conformal structure of the spacetime in the minimal causal diamond-type set $V_g=J_g^+(μ(s_-))\cap J_g^-(μ(s_+))\subset 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,ϕ)+F_1$, and $\square_gϕ-\mathcal V^\prime(ϕ)=F_2$, where the sources $F=(F_1,F_2)$ 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 $ abla_jT^{jk}=0$. Let $(\hat g,\hat ϕ)$ be the background fields corresponding to the vanishing source $F$. We prove that the observation of the solutions $(g,ϕ)$ in the set $U$ corresponding to sufficiently small sources $F$ supported in $U$ determine $V_{\hat g}$ as a differentiable manifold and the conformal structure of the metric $\hat g$ in the domain $V_{\hat g}$. 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.

研究の動機と目的

• 時空近傍における能動的測定が、その背後にある時空の共形構造を回復できるかどうかを特定すること。
• 4次元の全局的因果的ローレンツ多様体における結合されたアインシュタイン方程式と物質場方程式の逆問題に取り組むこと。
• 自由落下観測者に関連する最小因果ダイアモンド内での共形構造の一意性を確立すること。
• 制御された摂動下でのアインシュタイン方程式とスカラー場方程式の結合系を分析すること。
• バックグラウンド計量の共形類が、小さな局所的源とその結果生じる場の応答から同定可能であることを証明すること。

提案手法

• 結合系を定式化：エネルギー運動量テンソル $T = T(g, \theta) + F_1$ を持つアインシュタイン方程式と、波動方程式 $\square_g\phi - \mathcal{V}'(\phi) = F_2$。
• 時間的測地線 $\mu$ の近傍 $U$ における小さな、 compact な台を持つ源 $F = (F_1, F_2)$ を用いて能動的測定をモデル化する。
• 摂動場の物理的整合性を保証するため、保存則 $\nabla_j T^{jk} = 0$ を用いる。
• 微局所解析と境界から解への写像を用いて、$U$ 内での観測された場の応答と時空の幾何学的性質を関連付ける。
• 測地線を含む因果ダイアモンド $V_{\hat g} = J^+(\mu(s_-)) \cap J^-(\mu(s_+))$ 内で、バックグラウンド計量 $\hat g$ の共形構造を再構成する。
• バックグラウンド $(\hat g, \hat \phi)$ まわりでの線形化と $F=0$ の下で得られる線形化逆問題を用い、幾何的情報を推論する。

実験結果

リサーチクエスチョン

• RQ1 自由落下観測者の近傍における摂動の能動的測定から、時空の共形構造を一意に特定できるか。
• RQ2 小さな制御された源を伴う結合アインシュタイン-スカラー場方程式の解が、時空の幾何学をどの程度にまで符号化しているか。
• RQ3 時間的測地線を含む最小因果ダイアモンドは、摂動場の境界測定値から同定可能か。
• RQ4 保存則 $\nabla_j T^{jk} = 0$ は、逆問題における摂動の物理的実現可能性をどの程度制約するか。
• RQ5 この非線形な双曲型系に用いられた手法は、幾何解析やイメージング分野の他の逆問題に一般化可能か。

主な発見

• バックグラウンド計量 $\hat g$ の共形構造は、時間的測地線の近傍 $U$ における摂動場の観測によって、領域 $V_{\hat g}$ 内で一意に決定される。
• 十分に小さな源 $F$ を用いることで、線形化領域が有効であることが保証され、再構成が達成される。
• 最小因果ダイアモンド $V_{\hat g} = J^+(\mu(s_-)) \cap J^-(\mu(s_+))$ は、測定値から回復可能な最大領域として特定される。
• 境界測定値からの摂動場の応答によって、バックグラウンド場 $(\hat g, \hat \phi)$ は共形同値性の意味で回復可能である。
• 手法は小さな摂動に対して頑健であり、双曲型偏微分方程式の文脈における線形化系の可解性と一意性に依存している。
• 結果は、非線形双曲型系における逆問題を解く基盤を提供し、イメージングや一般相対性理論への応用を含む。