Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations

• 成果类型: Article
• 署名作者: Kurylev, Yaroslav; Lassas, Matti; Uhlmann, Gunther
• 署名单位: University of London; University College London; University of Helsinki; University of Washington; University of Washington Seattle
• 刊物名称: INVENTIONES MATHEMATICAE
• ISSN/ISSBN: 0020-9910
• DOI: 10.1007/s00222-017-0780-y
• 发表日期: 2018
• 页码: 781-857
• 关键词: wave-equation; progressing waves; unique continuation; SINGULARITIES; SCATTERING; Operators; time; cusp

摘要

We study two inverse problems on a globally hyperbolic Lorentzian manifold (M, g). The problems are: Passive observations in spacetime: consider observations in an open set . The light observation set corresponding to a point source at is the intersection of V and the light-cone emanating from the point q. Let be an unknown open, relatively compact set. We show that under natural causality conditions, the family of light observation sets corresponding to point sources at points determine uniquely the conformal type of W. 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 path and the source-to-solution operator that maps the source supported on V to the restriction of the solution of the wave equation to 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 and return back to mu.