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

研究动机与目标

• 确定在时空邻域内进行的主动测量是否能恢复底层时空的共形结构。
• 研究四维全局双曲洛伦兹流形中耦合爱因斯坦方程与物质场方程的逆问题。
• 确立与自由下落观测者相关的最小因果钻石中共形结构的唯一性。
• 分析在受控微扰下耦合爱因斯坦方程与标量场方程的系统。
• 证明背景度量的共形类可从局部小源及其引起的场响应中识别。

提出的方法

• 建立耦合系统：爱因斯坦方程中能量-动量张量 $T = T(g, \theta) + F_1$，以及波动方程 $\square_g\phi - \mathcal{V}'(\phi) = F_2$。
• 通过在类时测地线 $\mu$ 的邻域 $U$ 内使用小而紧支撑的源 $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$ 在区域 $V_{\hat g}$ 内的共形结构，可通过在类时测地线邻域 $U$ 内观测扰动场而唯一确定。
• 当源 $F$ 足够小时，在 $U$ 内支持，确保线性化区域有效。
• 最小因果钻石 $V_{\hat g} = J^+(\mu(s_-)) \cap J^-(\mu(s_+))$ 被识别为可从测量中恢复的最大区域。
• 从扰动场的边界测量中，可恢复背景场 $ (\hat g, \hat \phi) $ 到共形等价类。
• 该方法对小扰动具有鲁棒性，并依赖于双曲PDE框架下线性化系统的可解性与唯一性。
• 结果为解决非线性双曲系统中的逆问题提供了基础，包括在成像与广义相对论中的应用。