[论文解读] Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations

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

Numerical methods in inverse problems参考文献 80被引用 159

一句话总结

本文通过利用非线性双曲方程作为工具，提出了一种在全局双曲洛伦兹流形上求解反问题的新方法。证明了被动光观测集合可唯一确定时空区域的共形结构；对于具有二次非线性的主动测量，源-解算子可确定时域路径的依赖域内完整的因果性、可微性及共形结构。

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$.

研究动机与目标

• 从该区域内部源发出的光锥的被动观测中，确定时空区域的共形结构。
• 开发一种用于非线性双曲方程反问题的新方法，利用非线性性，解决线性方法失效的问题。
• 从主动测量的源-解算子出发，重建时空的拓扑、可微及共形结构。
• 在自然因果性和几何条件下，证明共形类的唯一性，扩展已知线性方程结果的范围。
• 证明在真空时空情形下，共形因子被唯一确定，进而在附加曲率约束下导致等距性。

提出的方法

• 使用光观测集合族——点源发出的光锥与观测区域的交集——来重构时空区域的共形结构。
• 应用微局部分析研究非线性波相互作用的波前集和奇点支集，特别是四波相互作用产生的四阶项。
• 采用畸变平面波包作为非线性波动方程的解，以构造渐近展开，揭示几何信息。
• 利用波动方程的非线性性生成高阶奇点，从而编码度量信息，克服线性反问题的局限性。
• 通过最早观测时间函数和切点估计，构造观测时空与模型流形之间的共形微分同胚。
• 应用唯一延拓论证及真空时空中的里奇曲率约束，证明共形因子必须恒为零，从而推出等距性。

实验结果

研究问题

• RQ1 在全局双曲时空区域中，能否从该区域内部源发出的光锥的被动观测中唯一确定其共形结构？
• RQ2 非线性双曲方程能否作为工具，解决对应线性方程仍无法求解的反问题？
• RQ3 对于具有二次非线性的半线性波动方程，源-解算子在多大程度上确定时空几何？
• RQ4 在何种条件下，真空时空的共形因子会消失，从而导致等距性而非仅共形等价？
• RQ5 如何利用波相互作用的微局部分析，检测编码非线性波动方程中度量信息的奇点？

主要发现

• 在因果性和正则性假设下，来自相对紧开集 $ W $ 内源的光观测集合族唯一确定 $ W $ 上度量的共形类。
• 在四维时空情形下，具有二次非线性性的半线性波动方程的源-解算子，可确定时域路径依赖域内的拓扑、可微及共形结构。
• 该方法可解决线性对应问题仍悬而未决的非线性方程反问题，尤其适用于非解析或时变情形。
• 在真空时空情形下，两个等距区域之间的共形因子必须恒为零，意味着度量是等距的，而不仅仅是共形等价。
• 最早观测时间函数与切点估计的构造，使得仅从被动数据即可恢复时空流形的可微结构。
• 在一般集合中，相互作用函数 $ ilde{ ho}_{f g}(oldsymbol{ heta}) $ 的非零性确保非线性波相互作用携带足够几何信息，以重构时空。