de Hoop, Maarten V.Kepley, PaulOksanen, Lauri2018-07-162018-07-162018de Hoop, Maarten V., Kepley, Paul and Oksanen, Lauri. "An exact redatuming procedure for the inverse boundary value problem for the wave equation." <i>SIAM Journal on Applied Mathematics,</i> 78, no. 1 (2018) Society for Industrial and Applied Mathematics: 171-192. https://doi.org/10.1137/16M1106729.https://hdl.handle.net/1911/102436Redatuming is a data processing technique to transform measurements recorded in one acquisition geometry to an analogous data set corresponding to another acquisition geometry, for which there are no recorded measurements. We consider a redatuming problem for a wave equation on a bounded domain, or on a manifold with boundary, and model data acquisition by a restriction of the associated Neumann-to-Dirichlet map. This map models measurements with sources and receivers on an open subset $\Gamma$ contained in the boundary of the manifold. We model the wavespeed by a Riemannian metric and suppose that the metric is known in some coordinates in a neighborhood of $\Gamma$. Our goal is to move sources and receivers into this known near boundary region. We formulate redatuming as a collection of unique continuation problems and provide a two-step procedure to solve the redatuming problem. We investigate the stability of the first step in this procedure, showing that it enjoys conditional Hölder stability under suitable geometric hypotheses. In addition, we provide computational experiments that demonstrate our redatuming procedure.engArticle is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use.Journal articlehttps://doi.org/10.1137/16M1106729