[论文解读] Inverse problems in spacetime II: Reconstruction of a Lorentzian manifold from light observation sets

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

Geometric Analysis and Curvature Flows参考文献 12被引用 8

一句话总结

本文研究了洛伦兹几何中的两个反问题：从沿类时测地线的被动光观测中重建时空区域的共形结构，以及针对具有二次非线性的半线性波动方程提出一种基于非线性的新颖方法来解决主动反问题。在4维情形下，源-解算子唯一确定了从测地线出发的因果影响域的拓扑、微分和共形结构。

ABSTRACT

We study two inverse problems on a globally hyperbolic Lorentzian manifold $(M,g)$. The problems are: 1. Passive observations in spacetime: Consider observations in a neighborhood $V\subset M$ of a time-like geodesic $\mu$. Under natural causality conditions, we reconstruct the conformal type of the unknown open, relatively compact set $W\subset M$, when we are given $V$, the conformal class of $g|_V$, and the light observations sets $P_V(q)$ corresponding to all source points $q$ in $W$. The light observation set $P_V(q)$ is the intersection of $V$ and the light-cone emanating from the point $q$, i.e., the points in the set $V$ where light from a point source at $q$ is observed. 2. Active measurements in spacetime: We develop a new method for inverse problems for non-linear hyperbolic equations that utilizes the non-linearity as a tool. This enables us to solve inverse problems for non-linear equations for which the corresponding problems for linear equations are still unsolved. To illustrate this method, we solve an inverse problem for semilinear wave equations with quadratic non-linearities. We assume that we are given the neighborhood $V$ of the time-like geodesic $\mu$ and the source-to-solution operator that maps the source supported on $V$ to the restriction of the solution of the wave equation in $V$. When $M$ is 4-dimensional, we show that these data determine the topological, differentiable, and conformal structures of the spacetime in the maximal set where waves can propagate from $\mu$ and return back to $\mu$.

研究动机与目标

• 从区域内源点发出的光锥的被动观测中重建时空区域的共形类型。
• 解决非线性双曲波动方程的反问题，而其线性对应问题仍未能解决。
• 证明半线性波动方程的源-解算子可唯一确定从类时测地线出发的因果影响域中的完整时空几何结构。
• 开发一种新方法，利用非线性项作为反问题中的工具，从而在传统线性方法失效时仍能获得解。

提出的方法

• 使用光观测集 $ P_V(q) $，其定义为邻域 $ V $ 与从源点 $ q $ 发出的未来光锥的交集，以推断几何结构。
• 应用因果性条件和共形不变性，从 $ V $ 上的数据重构未知区域 $ W \subset M $ 的共形类。
• 提出一种针对非线性反问题的新方法，利用半线性波动方程中的非线性项作为构造性工具。
• 利用源-解算子（将紧支集源映射到 $ V $ 中解的限制）来恢复时空结构。
• 采用微局部分析和奇性传播技术，分析波动方程解的行为并推断几何数据。
• 证明在4维时空情形下，源-解算子唯一确定了波从类时测地线 $ \mu $ 出发并返回的最大家园中波传播区域的拓扑、微分和共形结构。

实验结果

研究问题

• RQ1 能否仅从区域内点发出的光信号的被动观测中重建该时空区域的共形结构？
• RQ2 能否将双曲波动方程中的非线性项作为工具，用于解决其线性对应方程仍悬而未决的反问题？
• RQ3 在4维情形下，半线性波动方程的源-解算子在多大程度上确定了底层时空几何？
• RQ4 是否可能仅从类时测地线邻域内的波数据中，恢复时空区域的完整几何结构——包括拓扑、微分和共形结构？

主要发现

• 在因果性假设下，开的、相对紧致的子集 $ W \subset M $ 的共形类型可唯一地由 $ V $ 上的度量共形类、邻域 $ V $ 本身以及所有 $ q \in W $ 的光观测集 $ P_V(q) $ 重构。
• 该方法成功解决了具有二次非线性项的半线性波动方程的反问题，而其线性类比至今仍未解决。
• 在4维时空情形下，源-解算子唯一确定了波可从类时测地线 $ \mu $ 出发并返回的最大家园的拓扑、微分和共形结构。
• 波动方程的非线性并非障碍，而是反问题中的关键推动因素，使得通过线性方法无法获取的几何数据得以恢复。