[论文解读] 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

一句话总结

本文证明，在类时测地线邻域内进行主动测量可唯一确定最小因果钻石区域中时空的共形结构，方法基于带有受控扰动的耦合爱因斯坦-标量场方程的反演方法。关键结果为：小而局域的源可通过对非线性双曲系统解的行为分析，实现对依赖域内共形几何的重建。

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.

研究动机与目标

• 研究在自由下落观测者邻域内进行主动测量是否可确定时空的共形结构。
• 分析带有受控源的耦合爱因斯坦-标量场方程的反问题。
• 建立小扰动物理场（源）可唯一重建因果钻石区域内共形几何的结论。
• 将非线性双曲系统反演方法推广至广义相对论及相关成像问题。
• 证明可通过观察类时测地线邻域内扰动解的观测结果，恢复背景时空度量与标量场。

提出的方法

• 本研究将时空建模为具有四维结构的全局双曲洛伦兹流形 (M, g)。
• 考虑耦合系统：爱因斯坦方程 Ein(g) = T，其中 T 依赖于度量 g 和标量场 φ，外加源项 F1 和 F2。
• 源 F = (F1, F2) 代表受控且微小的物理场扰动，确保系统保持适定。
• 施加守恒律 ∇jT jk = 0，以保证应力-能量张量的物理一致性。
• 背景场 (ĝ, φ̂) 对应该系统在 F = 0 时的情形，提供参考时空。
• 在类时测地线 µ 的邻域 U 内对解 (g, φ) 的观测，可确定 ĝ 在因果钻石区域 Vĝ = J+g(µ(s−)) ∩ Jg(µ(s+)) 内的共形结构。

实验结果

研究问题

• RQ1 在自由下落观测者邻域内进行主动测量，是否能唯一确定最小因果钻石区域内时空的共形结构？
• RQ2 对度量与标量场源的小而局域的扰动，在多大程度上可实现对底层时空几何的重建？
• RQ3 守恒律 ∇jT jk = 0 如何约束耦合爱因斯坦-标量场系统的反问题？
• RQ4 本文所发展方法能否推广至其他在物理成像中出现的非线性双曲系统？
• RQ5 从扰动场解中重建时空区域共形结构，所需的最小观测区域为何？

主要发现

• 通过在类时测地线 µ 的邻域 U 内观测扰动爱因斯坦-标量场系统的解，可唯一确定背景度量 ĝ 在因果钻石区域 Vĝ 内的共形结构。
• 当源 F 在 U 上有紧支集且足够小时，可实现重建，确保解的行为保持在影响域内。
• 区域 Vĝ 被识别为类时测地线线段端点的未来与过去因果未来之交集，构成最小因果钻石。
• 在 U 内观测到的扰动系统解 (g, φ)，可恢复 ĝ 作为光滑流形及其共形类。
• 该方法对一大类非线性双曲系统具有鲁棒性，表明其在各种成像与物理系统反问题中具有适用性。
• 本结果为利用主动测量与微扰理论研究广义相对论中反问题奠定了基础框架。