-
The backscattering problem for time-dependent potentials
Authors:
Medet Nursultanov,
Lauri Oksanen,
Plamen Stefanov
Abstract:
We study the inverse backscattering problem for time-dependent potentials. We prove uniqueness and Lipshitz stability for the recovery of small potentials.
We study the inverse backscattering problem for time-dependent potentials. We prove uniqueness and Lipshitz stability for the recovery of small potentials.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Linearized Boundary Control Method for Density Reconstruction in Acoustic Wave Equations
Authors:
Lauri Oksanen,
Tianyu Yang,
Yang Yang
Abstract:
We develop a linearized boundary control method for the inverse boundary value problem of determining a density in the acoustic wave equation. The objective is to reconstruct an unknown perturbation in a known background density from the linearized Neumann-to-Dirichlet map. A key ingredient in the derivation is a linearized Blagovescenskii's identity with a free parameter. When the linearization i…
▽ More
We develop a linearized boundary control method for the inverse boundary value problem of determining a density in the acoustic wave equation. The objective is to reconstruct an unknown perturbation in a known background density from the linearized Neumann-to-Dirichlet map. A key ingredient in the derivation is a linearized Blagovescenskii's identity with a free parameter. When the linearization is at a constant background density, we derive two reconstructive algorithms with stability estimates based on the boundary control method. When the linearization is at a non-constant background density, we establish an increasing stability estimate for the recovery of the density perturbation. The proposed reconstruction algorithms are implemented and validated with several numerical experiments to demonstrate the feasibility.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Solving the unique continuation problem for Schrödinger equations with low regularity solutions using a stabilized finite element method
Authors:
Erik Burman,
Mingfei Lu,
Lauri Oksanen
Abstract:
In this paper, we consider the unique continuation problem for the Schrödinger equations. We prove a Hölder type conditional stability estimate and build up a parameterized stabilized finite element scheme adaptive to the \textit{a priori} knowledge of the solution, achieving error estimates in interior domains with convergence up to continuous stability. The approximability of the scheme to solut…
▽ More
In this paper, we consider the unique continuation problem for the Schrödinger equations. We prove a Hölder type conditional stability estimate and build up a parameterized stabilized finite element scheme adaptive to the \textit{a priori} knowledge of the solution, achieving error estimates in interior domains with convergence up to continuous stability. The approximability of the scheme to solutions with only $H^1$-regularity is studied and the convergence rate for solutions with regularity higher than $H^1$ is also shown. Comparisons in terms of different parameterization for different regularities will be illustrated with respect to the convergence and condition numbers of the linear systems. Finally, numerical experiments will be given to illustrate the theory.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Computational unique continuation with finite dimensional Neumann trace
Authors:
Erik Burman,
Lauri Oksanen,
Ziyao Zhao
Abstract:
We consider finite element approximations of unique continuation problems subject to elliptic equations in the case where the normal derivative of the exact solution is known to reside in some finite dimensional space. To give quantitative error estimates we prove Lipschitz stability of the unique continuation problem in the global H1-norm. This stability is then leveraged to derive optimal a post…
▽ More
We consider finite element approximations of unique continuation problems subject to elliptic equations in the case where the normal derivative of the exact solution is known to reside in some finite dimensional space. To give quantitative error estimates we prove Lipschitz stability of the unique continuation problem in the global H1-norm. This stability is then leveraged to derive optimal a posteriori and a priori error estimates for a primal-dual stabilised finite method.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
Optimal finite element approximation of unique continuation
Authors:
Erik Burman,
Mihai Nechita,
Lauri Oksanen
Abstract:
We consider finite element approximations of ill-posed elliptic problems with conditional stability. The notion of {\emph{optimal error estimates}} is defined including both convergence with respect to mesh parameter and perturbations in data. The rate of convergence is determined by the conditional stability of the underlying continuous problem and the polynomial order of the finite element appro…
▽ More
We consider finite element approximations of ill-posed elliptic problems with conditional stability. The notion of {\emph{optimal error estimates}} is defined including both convergence with respect to mesh parameter and perturbations in data. The rate of convergence is determined by the conditional stability of the underlying continuous problem and the polynomial order of the finite element approximation space. A proof is given that no finite element approximation can converge at a better rate than that given by the definition, justifying the concept. A recently introduced class of finite element methods with weakly consistent regularisation is recalled and the associated error estimates are shown to be quasi optimal in the sense of our definition.
△ Less
Submitted 22 March, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
Introduction to inverse problems for hyperbolic PDEs
Authors:
Medet Nursultanov,
Lauri Oksanen
Abstract:
There are two main approaches to solve inverse coefficient determination problems for wave equations: the Boundary Control method and an approach based on geometric optics. These notes focus on the Boundary Control method, but we will have a brief look at the geometric optics as well.
There are two main approaches to solve inverse coefficient determination problems for wave equations: the Boundary Control method and an approach based on geometric optics. These notes focus on the Boundary Control method, but we will have a brief look at the geometric optics as well.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Stable recovery of coefficients in an inverse fault friction problem
Authors:
Maarten V. de Hoop,
Matti Lassas,
**peng Lu,
Lauri Oksanen
Abstract:
We consider the inverse fault friction problem of determining the friction coefficient in the Tresca friction model, which can be formulated as an inverse problem for differential inequalities. We show that the measurements of elastic waves during a rupture uniquely determine the friction coefficient at the rupture surface with explicit stability estimates.
We consider the inverse fault friction problem of determining the friction coefficient in the Tresca friction model, which can be formulated as an inverse problem for differential inequalities. We show that the measurements of elastic waves during a rupture uniquely determine the friction coefficient at the rupture surface with explicit stability estimates.
△ Less
Submitted 2 May, 2024; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Determining Lorentzian manifold from non-linear wave observation at a single point
Authors:
Medet Nursultanov,
Lauri Oksanen,
Leo Tzou
Abstract:
We consider an inverse problem for a non-linear hyperbolic equation. We show that conformal structure of a Lorentzian manifold can be determined by the source-to-solution map evaluated along a single timelike curve. We use the microlocal analysis of non-linear wave interaction.
We consider an inverse problem for a non-linear hyperbolic equation. We show that conformal structure of a Lorentzian manifold can be determined by the source-to-solution map evaluated along a single timelike curve. We use the microlocal analysis of non-linear wave interaction.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
Rigidity of inverse problems for nonlinear elliptic equations on manifolds
Authors:
Ali Feizmohammadi,
Yavar Kian,
Lauri Oksanen
Abstract:
We consider the inverse problem of determining coefficients appearing in semilinear elliptic equations stated on Riemannian manifolds with boundary given the knowledge of the associated Dirichlet-to-Neumann map. We begin with a negative answer to this problem. Owing to this obstruction, we consider a new formulation of our inverse problem in terms of a rigidity problem. Precisely, we consider case…
▽ More
We consider the inverse problem of determining coefficients appearing in semilinear elliptic equations stated on Riemannian manifolds with boundary given the knowledge of the associated Dirichlet-to-Neumann map. We begin with a negative answer to this problem. Owing to this obstruction, we consider a new formulation of our inverse problem in terms of a rigidity problem. Precisely, we consider cases where the Dirichlet-to-Neumann map of a semilinear equation coincides with the one of a linear equation and ask whether this implies that the equation must indeed be linear. We give a positive answer to this rigidity problem under some assumptions imposed to the Riemannian manifold and to the semilinear term under consideration.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
Quantum computing algorithms for inverse problems on graphs and an NP-complete inverse problem
Authors:
Joonas Ilmavirta,
Matti Lassas,
**peng Lu,
Lauri Oksanen,
Lauri Ylinen
Abstract:
We consider an inverse problem for a finite graph $(X,E)$ where we are given a subset of vertices $B\subset X$ and the distances $d_{(X,E)}(b_1,b_2)$ of all vertices $b_1,b_2\in B$. The distance of points $x_1,x_2\in X$ is defined as the minimal number of edges needed to connect two vertices, so all edges have length 1. The inverse problem is a discrete version of the boundary rigidity problem in…
▽ More
We consider an inverse problem for a finite graph $(X,E)$ where we are given a subset of vertices $B\subset X$ and the distances $d_{(X,E)}(b_1,b_2)$ of all vertices $b_1,b_2\in B$. The distance of points $x_1,x_2\in X$ is defined as the minimal number of edges needed to connect two vertices, so all edges have length 1. The inverse problem is a discrete version of the boundary rigidity problem in Riemannian geometry or the inverse travel time problem in geophysics. We will show that this problem has unique solution under certain conditions and develop quantum computing methods to solve it. We prove the following uniqueness result: when $(X,E)$ is a tree and $B$ is the set of leaves of the tree, the graph $(X,E)$ can be uniquely determined in the class of all graphs having a fixed number of vertices. We present a quantum computing algorithm which produces a graph $(X,E)$, or one of those, which has a given number of vertices and the required distances between vertices in $B$. To this end we develop an algorithm that takes in a qubit representation of a graph and combine it with Grover's search algorithm. The algorithm can be implemented using only $O(|X|^2)$ qubits, the same order as the number of elements in the adjacency matrix of $(X,E)$. It also has a quadratic improvement in computational cost compared to standard classical algorithms. Finally, we consider applications in theory of computation, and show that a slight modification of the above inverse problem is NP-complete: all NP-problems can be reduced to a discrete inverse problem we consider.
△ Less
Submitted 12 February, 2024; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Finite element approximation of unique continuation of functions with finite dimensional trace
Authors:
Erik Burman,
Lauri Oksanen
Abstract:
We consider a unique continuation problem where the Dirichlet trace of the solution is known to have finite dimension. We prove Lipschitz stability of the unique continuation problem and design a finite element method that exploits the finite dimensionality to enhance stability. Optimal a priori and a posteriori error estimates are shown for the method. The extension to problems where the trace is…
▽ More
We consider a unique continuation problem where the Dirichlet trace of the solution is known to have finite dimension. We prove Lipschitz stability of the unique continuation problem and design a finite element method that exploits the finite dimensionality to enhance stability. Optimal a priori and a posteriori error estimates are shown for the method. The extension to problems where the trace is not in a finite dimensional space, but can be approximated to high accuracy using finite dimensional functions is discussed. Finally, the theory is illustrated in some numerical examples.
△ Less
Submitted 11 May, 2023;
originally announced May 2023.
-
Disjoint data inverse problem on manifolds with quantum chaos bounds
Authors:
Matti Lassas,
Medet Nursultanov,
Lauri Oksanen,
Lauri Ylinen
Abstract:
We consider the inverse problem to determine a smooth compact Riemannian manifold $(M,g)$ from a restriction of the source-to-solution operator, $Λ_{\mathcal{S,R}}$, for the wave equation on the manifold. Here, $\mathcal{S}$ and $\mathcal{R}$ are open sets on $M$, and $Λ_{\mathcal{S,R}}$ represents the measurements of waves produced by smooth sources supported on $\mathcal{S}$ and observed on…
▽ More
We consider the inverse problem to determine a smooth compact Riemannian manifold $(M,g)$ from a restriction of the source-to-solution operator, $Λ_{\mathcal{S,R}}$, for the wave equation on the manifold. Here, $\mathcal{S}$ and $\mathcal{R}$ are open sets on $M$, and $Λ_{\mathcal{S,R}}$ represents the measurements of waves produced by smooth sources supported on $\mathcal{S}$ and observed on $\mathcal{R}$. We emphasise that $\overline{\mathcal{S}}$ and $\overline{\mathcal{R}}$ could be disjoint. We demonstrate that $Λ_{\mathcal{S,R}}$ determines the manifold $(M,g)$ uniquely under the following spectral bound condition for the set $\mathcal{S}$: There exists a constant $C>0$ such that any normalized eigenfunction $φ_k$ of the Laplace-Beltrami operator on $(M,g)$ satisfies
\begin{equation*}
1\leq C\|φ_k\|_{L^2(\mathcal{S})}.
\end{equation*}
We note that, for the Anosov surface, this spectral bound condition is fulfilled for any non-empty open subset $\mathcal{S}$. Our approach is based on the paper [18] and the spectral bound condition above is an analogue of the Hassell-Tao condition there.
△ Less
Submitted 23 March, 2023;
originally announced March 2023.
-
Retrieving Yang--Mills--Higgs fields in Minkowski space from active local measurements
Authors:
Xi Chen,
Matti Lassas,
Lauri Oksanen,
Gabriel P. Paternain
Abstract:
We show that we can retrieve a Yang--Mills potential and a Higgs field (up to gauge) from source-to-solution type data associated with the classical Yang--Mills--Higgs equations in Minkowski space $\mathbb{R}^{1+3}$. We impose natural non-degeneracy conditions on the representation for the Higgs field and on the Lie algebra of the structure group which are satisfied for the case of the Standard Mo…
▽ More
We show that we can retrieve a Yang--Mills potential and a Higgs field (up to gauge) from source-to-solution type data associated with the classical Yang--Mills--Higgs equations in Minkowski space $\mathbb{R}^{1+3}$. We impose natural non-degeneracy conditions on the representation for the Higgs field and on the Lie algebra of the structure group which are satisfied for the case of the Standard Model. Our approach exploits the non-linear interaction of waves generated by sources with values in the centre of the Lie algebra showing that abelian components can be used effectively to recover the Higgs field.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Remarks on the anisotropic Calderón problem
Authors:
Cătălin I. Cârstea,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We show uniqueness results for the anisotropic Calderón problem stated on transversally anisotropic manifolds. Moreover, we give a convexity result for the range of Dirichlet-to-Neumann maps on general Riemannian manifolds near the zero potential. Finally, we present results for Calderón type inverse problems associated to semilinear elliptic equations on general Riemannian manifolds.
We show uniqueness results for the anisotropic Calderón problem stated on transversally anisotropic manifolds. Moreover, we give a convexity result for the range of Dirichlet-to-Neumann maps on general Riemannian manifolds near the zero potential. Finally, we present results for Calderón type inverse problems associated to semilinear elliptic equations on general Riemannian manifolds.
△ Less
Submitted 5 April, 2022;
originally announced April 2022.
-
Quantitative unique continuation for the elasticity system with application to the kinematic inverse rupture problem
Authors:
Maarten V. de Hoop,
Matti Lassas,
**peng Lu,
Lauri Oksanen
Abstract:
We obtain explicit estimates on the stability of the unique continuation for a linear system of hyperbolic equations. In particular our result applies to the elasticity system and also the Maxwell system. As an application, we study the kinematic inverse rupture problem of determining the jump in displacement and the friction force at the rupture surface, and we obtain new features on the stable u…
▽ More
We obtain explicit estimates on the stability of the unique continuation for a linear system of hyperbolic equations. In particular our result applies to the elasticity system and also the Maxwell system. As an application, we study the kinematic inverse rupture problem of determining the jump in displacement and the friction force at the rupture surface, and we obtain new features on the stable unique continuation up to the rupture surface.
△ Less
Submitted 9 February, 2023; v1 submitted 25 March, 2022;
originally announced March 2022.
-
An inverse problem for the Riemannian minimal surface equation
Authors:
Cătălin I. Cârstea,
Matti Lassas,
Tony Liimatainen,
Lauri Oksanen
Abstract:
In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry.
In this paper we consider determining a minimal surface embedded in a Riemannian manifold $Σ\times \mathbb{R}$. We show that if $Σ$ is a two dimensional Riemannian manifold with boundary, then the knowledge of the associated Dirichlet-to-Neumann map for the minimal surface equation determine $Σ$ up to an isometry.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Inverse problems for non-linear Schrödinger equations with time-dependent coefficients
Authors:
Matti Lassas,
Lauri Oksanen,
Suman Kumar Sahoo,
Mikko Salo,
Alexander Tetlow
Abstract:
The paper studies the inverse problem of reconstructuring the coefficient $β(t,x)$ of the non-linear term and the potential $V(t,x)$ of a non-linear Schrödinger equation in time-domain, $( i \frac{\partial}{\partial t} + Δ+ V) u + βu^2 = f$ in $(0,T)\times M$, where $M\subset \mathbb{R}^n$ is a convex and compact set with smooth boundary. We consider measurements in a neighborhood $Ω\subset M$ tha…
▽ More
The paper studies the inverse problem of reconstructuring the coefficient $β(t,x)$ of the non-linear term and the potential $V(t,x)$ of a non-linear Schrödinger equation in time-domain, $( i \frac{\partial}{\partial t} + Δ+ V) u + βu^2 = f$ in $(0,T)\times M$, where $M\subset \mathbb{R}^n$ is a convex and compact set with smooth boundary. We consider measurements in a neighborhood $Ω\subset M$ that is a neighborhood of the boundary of $M$ and the source-to-solution map $L_{β,V}$ that maps a source $f$ supported in $Ω\times [0,T]$ to the restriction of the solution $u$ in $Ω\times [0,T]$. We show that the map $L_{β,V}$ uniquely determines the time-dependent potential and the coefficient of the non-linearity, for a second-order non-linear Schrödinger equation and for the Gross-Pitaevskii equation, with a cubic non-linear term $β|u|^2u$, that is encountered in quantum physics.
△ Less
Submitted 3 November, 2023; v1 submitted 10 January, 2022;
originally announced January 2022.
-
A Linearized Boundary Control Method for the Acoustic Inverse Boundary Value Problem
Authors:
Lauri Oksanen,
Tianyu Yang,
Yang Yang
Abstract:
We develop a linearized boundary control method for the inverse boundary value problem of determining a potential in the acoustic wave equation from the Neumann-to-Dirichlet map. When the linearization is at the zero potential, we derive a reconstruction formula based on the boundary control method and prove that it is of Lipschitz-type stability. When the linearization is at a nonzero potential,…
▽ More
We develop a linearized boundary control method for the inverse boundary value problem of determining a potential in the acoustic wave equation from the Neumann-to-Dirichlet map. When the linearization is at the zero potential, we derive a reconstruction formula based on the boundary control method and prove that it is of Lipschitz-type stability. When the linearization is at a nonzero potential, we prove that the problem is of Hölder-type stability. The proposed reconstruction formula is implemented and evaluated using several numerical experiments to validate its feasibility.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Lorentzian Calderón problem near the Minkowski geometry
Authors:
Spyros Alexakis,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We study a Lorentzian version of the well-known Calderón problem that is concerned with determination of lower order coefficients in a wave equation on a smooth Lorentzian manifold, given the associated Dirichlet-to-Neumann map. In the earlier work of the authors it was shown that zeroth order coefficients can be uniquely determined under a two-sided spacetime curvature bound and the additional as…
▽ More
We study a Lorentzian version of the well-known Calderón problem that is concerned with determination of lower order coefficients in a wave equation on a smooth Lorentzian manifold, given the associated Dirichlet-to-Neumann map. In the earlier work of the authors it was shown that zeroth order coefficients can be uniquely determined under a two-sided spacetime curvature bound and the additional assumption that there are no conjugate points along null or spacelike geodesics. In this paper we show that uniqueness for the zeroth order coefficient holds for manifolds satisfying a weaker curvature bound as well as spacetime perturbations of such manifolds. This relies on a new optimal unique continuation principle for the wave equation in the exterior regions of double null cones. In particular, we solve the Lorentzian Calderón problem near the Minkowski geometry.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Spacetime finite element methods for control problems subject to the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Arnaud Munch,
Lauri Oksanen
Abstract:
We consider the null controllability problem for the wave equation, and analyse a stabilized finite element method formulated on a global, unstructured spacetime mesh. We prove error estimates for the approximate control given by the computational method. The proofs are based on the regularity properties of the control given by the Hilbert Uniqueness Method, together with the stability properties…
▽ More
We consider the null controllability problem for the wave equation, and analyse a stabilized finite element method formulated on a global, unstructured spacetime mesh. We prove error estimates for the approximate control given by the computational method. The proofs are based on the regularity properties of the control given by the Hilbert Uniqueness Method, together with the stability properties of the numerical scheme. Numerical experiments illustrate the results.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Counterexamples to inverse problems for the wave equation
Authors:
Tony Liimatainen,
Lauri Oksanen
Abstract:
We construct counterexamples to inverse problems for the wave operator on domains in $\mathbb{R}^{n+1}$, $n \ge 2$, and on Lorentzian manifolds. We show that non-isometric Lorentzian metrics can lead to same partial data measurements, which are formulated in terms certain restrictions of the Dirichlet-to-Neumann map. The Lorentzian metrics giving counterexamples are time-dependent, but they are sm…
▽ More
We construct counterexamples to inverse problems for the wave operator on domains in $\mathbb{R}^{n+1}$, $n \ge 2$, and on Lorentzian manifolds. We show that non-isometric Lorentzian metrics can lead to same partial data measurements, which are formulated in terms certain restrictions of the Dirichlet-to-Neumann map. The Lorentzian metrics giving counterexamples are time-dependent, but they are smooth and non-degenerate. On $\mathbb{R}^{n+1}$ the metrics are conformal to the Minkowski metric.
△ Less
Submitted 26 January, 2021;
originally announced January 2021.
-
Construction of artificial point sources for a linear wave equation in unknown medium
Authors:
Anna Kirpichnikova,
Jussi Korpela,
Matti Lassas,
Lauri Oksanen
Abstract:
We study the wave equation on a bounded domain of $\mathbb R^m$ and on a compact Riemannian manifold $M$ with boundary. We assume that the coefficients of the wave equation are unknown but that we are given the hyperbolic Neumann-to-Dirichlet map $Λ$ that corresponds to the physical measurements on the boundary. Using the knowledge of $Λ$ we construct a sequence of Neumann boundary values so that…
▽ More
We study the wave equation on a bounded domain of $\mathbb R^m$ and on a compact Riemannian manifold $M$ with boundary. We assume that the coefficients of the wave equation are unknown but that we are given the hyperbolic Neumann-to-Dirichlet map $Λ$ that corresponds to the physical measurements on the boundary. Using the knowledge of $Λ$ we construct a sequence of Neumann boundary values so that at a time $T$ the corresponding waves converge to zero while the time derivative of the waves converge to a delta distribution. Such waves are called an artificial point source. The convergence of the wave takes place in the function spaces naturally related to the energy of the wave. We apply the results for inverse problems and demonstrate the focusing of the waves numerically in the 1-dimensional case.
△ Less
Submitted 22 September, 2020;
originally announced September 2020.
-
Reconstruction in the Calderón problem on conformally transversally anisotropic manifolds
Authors:
Ali Feizmohammadi,
Katya Krupchyk,
Lauri Oksanen,
Gunther Uhlmann
Abstract:
We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of D…
▽ More
We show that a continuous potential $q$ can be constructively determined from the knowledge of the Dirichlet-to-Neumann map for the Schrödinger operator $-Δ_g+q$ on a conformally transversally anisotropic manifold of dimension $\geq 3$, provided that the geodesic ray transform on the transversal manifold is constructively invertible. This is a constructive counterpart of the uniqueness result of Dos Santos Ferreira-Kurylev-Lassas-Salo. A crucial role in our reconstruction procedure is played by a constructive determination of the boundary traces of suitable complex geometric optics solutions based on Gaussian beams quasimodes concentrated along non-tangential geodesics on the transversal manifold, which enjoy uniqueness properties. This is achieved by applying the simplified version of the approach of Nachman-Street to our setting. We also identify the main space introduced by Nachman-Street with a standard Sobolev space on the boundary of the manifold. Another ingredient in the proof of our result is a reconstruction formula for the boundary trace of a continuous potential from the knowledge of the Dirichlet-to-Neumann map.
△ Less
Submitted 7 October, 2020; v1 submitted 21 September, 2020;
originally announced September 2020.
-
Stability estimate for scalar image velocimetry
Authors:
E. Burman,
J. J. J. Gillissen,
L. Oksanen
Abstract:
In this paper we analyse the stability of the system of partial differential equations modelling scalar image velocimetry. We first revisit a successful numerical technique to reconstruct velocity vectors ${u}$ from images of a passive scalar field $ψ$ by minimising a cost functional, that penalises the difference between the reconstructed scalar field $φ$ and the measured scalar field $ψ$, under…
▽ More
In this paper we analyse the stability of the system of partial differential equations modelling scalar image velocimetry. We first revisit a successful numerical technique to reconstruct velocity vectors ${u}$ from images of a passive scalar field $ψ$ by minimising a cost functional, that penalises the difference between the reconstructed scalar field $φ$ and the measured scalar field $ψ$, under the constraint that $φ$ is advected by the reconstructed velocity field ${u}$, which again is governed by the Navier-Stokes equations. We investigate the stability of the reconstruction by applying this method to synthetic scalar fields in two-dimensional turbulence, that are generated by numerical simulation. Then we present a mathematical analysis of the nonlinear coupled problem and prove that, in the two dimensional case, smooth solutions of the Navier-Stokes equations are uniquely determined by the measured scalar field. We also prove a conditional stability estimate showing that the map from the measured scalar field $ψ$ to the reconstructed velocity field $u$, on any interior subset, is Hölder continuous.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
Lorentzian Calderón problem under curvature bounds
Authors:
Spyros Alexakis,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We introduce a method of solving inverse boundary value problems for wave equations on Lorentzian manifolds, and show that zeroth order coefficients can be recovered under certain curvature bounds. The set of Lorentzian metrics satisfying the curvature bounds has a non-empty interior in the sense of arbitrary, smooth perturbations of the metric, whereas all previous results on this problem impose…
▽ More
We introduce a method of solving inverse boundary value problems for wave equations on Lorentzian manifolds, and show that zeroth order coefficients can be recovered under certain curvature bounds. The set of Lorentzian metrics satisfying the curvature bounds has a non-empty interior in the sense of arbitrary, smooth perturbations of the metric, whereas all previous results on this problem impose conditions on the metric that force it to be real analytic with respect to a suitably defined time variable. The analogous problem on Riemannian manifolds is called the Calderón problem, and in this case the known results require the metric to be independent of one of the variables. Our approach is based on a new unique continuation result in the exterior of the double null cone emanating from a point. The approach shares features with the classical Boundary Control method, and can be viewed as a generalization of this method to cases where no real analyticity is assumed.
△ Less
Submitted 2 October, 2020; v1 submitted 17 August, 2020;
originally announced August 2020.
-
A stabilized finite element method for inverse problems subject to the convection-diffusion equation. II: convection-dominated regime
Authors:
Erik Burman,
Mihai Nechita,
Lauri Oksanen
Abstract:
We consider the numerical approximation of the ill-posed data assimilation problem for stationary convection-diffusion equations and extend our previous analysis in [Numer. Math. 144, 451--477, 2020] to the convection-dominated regime. Slightly adjusting the stabilized finite element method proposed for dominant diffusion, we draw upon a local error analysis to obtain quasi-optimal convergence alo…
▽ More
We consider the numerical approximation of the ill-posed data assimilation problem for stationary convection-diffusion equations and extend our previous analysis in [Numer. Math. 144, 451--477, 2020] to the convection-dominated regime. Slightly adjusting the stabilized finite element method proposed for dominant diffusion, we draw upon a local error analysis to obtain quasi-optimal convergence along the characteristics of the convective field through the data set. The weight function multiplying the discrete solution is taken to be Lipschitz and a corresponding super approximation result (discrete commutator property) is proven. The effect of data perturbations is included in the analysis and we conclude the paper with some numerical experiments.
△ Less
Submitted 20 February, 2022; v1 submitted 23 June, 2020;
originally announced June 2020.
-
Inverse problems for non-linear hyperbolic equations with disjoint sources and receivers
Authors:
Ali Feizmohammadi,
Matti Lassas,
Lauri Oksanen
Abstract:
The paper studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations. We introduce a method to solve inverse problems for non-linear equations using interaction of three waves, that makes it possible to study the inverse problem in all dimensions $n+1\geq 3$. We consider the case when the set $Ω_{\textrm{in}}$, where the sources are supporte…
▽ More
The paper studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations. We introduce a method to solve inverse problems for non-linear equations using interaction of three waves, that makes it possible to study the inverse problem in all dimensions $n+1\geq 3$. We consider the case when the set $Ω_{\textrm{in}}$, where the sources are supported, and the set $Ω_{\textrm{out}}$, where the observations are made, are separated. As model problems we study both a quasi-linear and also a semi-linear wave equation and show in each case that it is possible to uniquely recover the background metric up to the natural obstructions for uniqueness that is governed by finite speed of propagation for the wave equation and a gauge corresponding to change of coordinates. The proof consists of two independent components. In the first half we study multiple-fold linearization of the non-linear wave equation near real parts of Gaussian beams that results in a three-wave interaction. We show that the three-wave interaction can produce a three-to-one scattering data. In the second half of the paper, we study an abstract formulation of the three-to-one scattering relation showing that it recovers the topological, differential and conformal structures of the manifold in a causal diamond set that is the intersection of the future of the point $p_{in}\in Ω_{\textrm{in}}$ and the past of the point $p_{out}\in Ω_{\textrm{out}}$. The results do not require any assumptions on the conjugate or cut points.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Inverse problem for the Yang-Mills equations
Authors:
Xi Chen,
Matti Lassas,
Lauri Oksanen,
Gabriel P. Paternain
Abstract:
We show that a connection can be recovered up to gauge from source-to-solution type data associated with the Yang-Mills equations in the four dimensional Minkowski space. Our proof analyzes the principal symbols of waves generated by suitable nonlinear interactions and reduces the inversion to a broken non-abelian light ray transform. The principal symbol analysis of the interaction is based on a…
▽ More
We show that a connection can be recovered up to gauge from source-to-solution type data associated with the Yang-Mills equations in the four dimensional Minkowski space. Our proof analyzes the principal symbols of waves generated by suitable nonlinear interactions and reduces the inversion to a broken non-abelian light ray transform. The principal symbol analysis of the interaction is based on a delicate calculation that involves the structure of the Lie algebra under consideration and the final result holds for any compact Lie group.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Inverse problems for real principal type operators
Authors:
Lauri Oksanen,
Mikko Salo,
Plamen Stefanov,
Gunther Uhlmann
Abstract:
We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for deter…
▽ More
We consider inverse boundary value problems for general real principal type differential operators. The first results state that the Cauchy data set uniquely determines the scattering relation of the operator and bicharacteristic ray transforms of lower order coefficients. We also give two different boundary determination methods for general operators, and prove global uniqueness results for determining coefficients in nonlinear real principal type equations. The article presents a unified approach for treating inverse boundary problems for transport and wave equations, and highlights the role of propagation of singularities in the solution of related inverse problems.
△ Less
Submitted 21 February, 2020; v1 submitted 21 January, 2020;
originally announced January 2020.
-
Space time stabilized finite element methods for a unique continuation problem subject to the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Arnaud Munch,
Lauri Oksanen
Abstract:
We consider a stabilized finite element method based on a spacetime formulation, where the equations are solved on a global (unstructured) spacetime mesh. A unique continuation problem for the wave equation is considered, where data is known in an interior subset of spacetime. For this problem, we consider a primal-dual discrete formulation of the continuum problem with the addition of stabilizati…
▽ More
We consider a stabilized finite element method based on a spacetime formulation, where the equations are solved on a global (unstructured) spacetime mesh. A unique continuation problem for the wave equation is considered, where data is known in an interior subset of spacetime. For this problem, we consider a primal-dual discrete formulation of the continuum problem with the addition of stabilization terms that are designed with the goal of minimizing the numerical errors. We prove error estimates using the stability properties of the numerical scheme and a continuum observability estimate, based on the sharp geometric control condition by Bardos, Lebeau and Rauch. The order of convergence for our numerical scheme is optimal with respect to stability properties of the continuum problem and the interpolation errors of approximating with polynomial spaces. Numerical examples are provided that illustrate the methodology.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
The Light Ray transform in Stationary and Static Lorentzian geometries
Authors:
Ali Feizmohammadi,
Joonas Ilmavirta,
Lauri Oksanen
Abstract:
Given a Lorentzian manifold, the light ray transform of a function is its integrals along null geodesics. This paper is concerned with the injectivity of the light ray transform on functions and tensors, up to the natural gauge for the problem. First, we study the injectivity of the light ray transform of a scalar function on a globally hyperbolic stationary Lorentzian manifold and prove injectivi…
▽ More
Given a Lorentzian manifold, the light ray transform of a function is its integrals along null geodesics. This paper is concerned with the injectivity of the light ray transform on functions and tensors, up to the natural gauge for the problem. First, we study the injectivity of the light ray transform of a scalar function on a globally hyperbolic stationary Lorentzian manifold and prove injectivity holds if either a convex foliation condition is satisfied on a Cauchy surface on the manifold or the manifold is real analytic and null geodesics do not have cut points. Next, we consider the light ray transform on tensor fields of arbitrary rank in the more restrictive class of static Lorentzian manifolds and show that if the geodesic ray transform on tensors defined on the spatial part of the manifold is injective up to the natural gauge, then the light ray transform on tensors is also injective up to its natural gauge. Finally, we provide applications of our results to some inverse problems about recovery of coefficients for hyperbolic partial differential equations from boundary data.
△ Less
Submitted 12 November, 2019;
originally announced November 2019.
-
The Light Ray transform on Lorentzian manifolds
Authors:
Matti Lassas,
Lauri Oksanen,
Plamen Stefanov,
Gunther Uhlmann
Abstract:
We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection.
We study the weighted light ray transform $L$ of integrating functions on a Lorentzian manifold over lightlike geodesics. We analyze $L$ as a Fourier Integral Operator and show that if there are no conjugate points, one can recover the spacelike singularities of a function $f$ from its the weighted light ray transform $Lf$ by a suitable filtered back-projection.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
An inverse problem for a semi-linear elliptic equation in Riemannian geometries
Authors:
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We study the inverse problem of unique recovery of a complex-valued scalar function $V:\mathcal M \times \mathbb C\to \mathbb C$, defined over a smooth compact Riemannian manifold $(\mathcal M,g)$ with smooth boundary, given the Dirichlet to Neumann map, in a suitable sense, for the elliptic semi-linear equation $-Δ_{g}u+V(x,u)=0$. We show that under some geometrical assumptions uniqueness can be…
▽ More
We study the inverse problem of unique recovery of a complex-valued scalar function $V:\mathcal M \times \mathbb C\to \mathbb C$, defined over a smooth compact Riemannian manifold $(\mathcal M,g)$ with smooth boundary, given the Dirichlet to Neumann map, in a suitable sense, for the elliptic semi-linear equation $-Δ_{g}u+V(x,u)=0$. We show that under some geometrical assumptions uniqueness can be proved for a large class of non-linearities. The proof is constructive and is based on a multiple-fold linearization of the semi-linear equation near complex geometric optic solutions for the linearized operator and the resulting non-linear interactions. These non-linear interactions result in the study of a weighted transform along geodesics, that we call the Jacobi weighted ray transform.
△ Less
Submitted 21 February, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Recovery of zeroth order coefficients in non-linear wave equations
Authors:
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
This paper is concerned with the resolution of an inverse problem related to the recovery of a scalar (potential) function $V$ from the source to solution map, of the semi-linear equation $(\Box_{g}+V)u+u^3=0$ on a globally hyperbolic Lorentzian manifold $(M,g)$. We first study the simpler model problem where the geometry is the Minkowski space and prove the uniqueness of $V$ through the use of ge…
▽ More
This paper is concerned with the resolution of an inverse problem related to the recovery of a scalar (potential) function $V$ from the source to solution map, of the semi-linear equation $(\Box_{g}+V)u+u^3=0$ on a globally hyperbolic Lorentzian manifold $(M,g)$. We first study the simpler model problem where the geometry is the Minkowski space and prove the uniqueness of $V$ through the use of geometric optics and a three-fold wave interaction arising from the cubic non-linearity. Subsequently, the result is generalized to globally hyperbolic Lorentzian manifolds by using Gaussian beams.
△ Less
Submitted 5 April, 2019; v1 submitted 29 March, 2019;
originally announced March 2019.
-
A fully discrete numerical control method for the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We present a fully discrete finite element method for the interior null controllability problem subject to the wave equation. For the numerical scheme, piece-wise affine continuous elements in space and finite differences in time are considered. We show that if the sharp geometric control condition holds, our numerical scheme yields the optimal rate of convergence with respect to the space-time me…
▽ More
We present a fully discrete finite element method for the interior null controllability problem subject to the wave equation. For the numerical scheme, piece-wise affine continuous elements in space and finite differences in time are considered. We show that if the sharp geometric control condition holds, our numerical scheme yields the optimal rate of convergence with respect to the space-time mesh parameter $h$. The approach is based on the design of stabilization terms for the discrete scheme with the goal of minimizing the computational error.
△ Less
Submitted 26 February, 2020; v1 submitted 6 March, 2019;
originally announced March 2019.
-
Uniqueness for the inverse boundary value problem of piecewise homogeneous anisotropic elasticity in the time domain
Authors:
Cătălin I. Cârstea,
Gen Nakamura,
Lauri Oksanen
Abstract:
We consider the inverse boundary value problem of recovering piecewise homogeneous elastic tensor and piecewise homogeneous mass density from a localized lateral Dirichlet-to-Neumann or Neumann-to-Dirichlet map for the elasticity equation in the space-time domain. We derive uniqueness for identifying these tensor and density on all domains of homogeneity that may be reached from the part of the bo…
▽ More
We consider the inverse boundary value problem of recovering piecewise homogeneous elastic tensor and piecewise homogeneous mass density from a localized lateral Dirichlet-to-Neumann or Neumann-to-Dirichlet map for the elasticity equation in the space-time domain. We derive uniqueness for identifying these tensor and density on all domains of homogeneity that may be reached from the part of the boundary where the measurements are taken by a chain of subdomains whose successive interfaces contain a curved portion.
△ Less
Submitted 4 March, 2019;
originally announced March 2019.
-
Detection of Hermitian connections in wave equations with cubic non-linearity
Authors:
Xi Chen,
Matti Lassas,
Lauri Oksanen,
Gabriel P. Paternain
Abstract:
We consider the geometric non-linear inverse problem of recovering a Hermitian connection $A$ from the source-to-solution map of the cubic wave equation $\Box_{A}φ+κ|φ|^{2}φ=f$, where $κ\neq 0$ and $\Box_{A}$ is the connection wave operator in the Minkowski space $\mathbb{R}^{1+3}$. The equation arises naturally when considering the Yang-Mills-Higgs equations with Mexican hat type potentials. Our…
▽ More
We consider the geometric non-linear inverse problem of recovering a Hermitian connection $A$ from the source-to-solution map of the cubic wave equation $\Box_{A}φ+κ|φ|^{2}φ=f$, where $κ\neq 0$ and $\Box_{A}$ is the connection wave operator in the Minkowski space $\mathbb{R}^{1+3}$. The equation arises naturally when considering the Yang-Mills-Higgs equations with Mexican hat type potentials. Our proof exploits the microlocal analysis of nonlinear wave interactions, but instead of employing information contained in the geometry of the wave front sets as in previous literature, we study the principal symbols of waves generated by suitable interactions. Moreover, our approach relies on inversion of a novel non-abelian broken light ray transform.
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Recovery of time dependent coefficients from boundary data for hyperbolic equations
Authors:
Ali Feizmohammadi,
Joonas Ilmavirta,
Yavar Kian,
Lauri Oksanen
Abstract:
We study uniqueness of the recovery of a time-dependent magnetic vector-valued potential and an electric scalar-valued potential on a Riemannian manifold from the knowledge of the Dirichlet to Neumann map of a hyperbolic equation. The Cauchy data is observed on time-like parts of the space-time boundary and uniqueness is proved up to the natural gauge for the problem. The proof is based on Gaussia…
▽ More
We study uniqueness of the recovery of a time-dependent magnetic vector-valued potential and an electric scalar-valued potential on a Riemannian manifold from the knowledge of the Dirichlet to Neumann map of a hyperbolic equation. The Cauchy data is observed on time-like parts of the space-time boundary and uniqueness is proved up to the natural gauge for the problem. The proof is based on Gaussian beams and inversion of the light ray transform on Lorentzian manifolds under the assumptions that the Lorentzian manifold is a product of a Riemannian manifold with a time interval and that the geodesic ray transform is invertible on the Riemannian manifold.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
A finite element data assimilation method for the wave equation
Authors:
Erik Burman,
Ali Feizmohammadi,
Lauri Oksanen
Abstract:
We design a primal-dual stabilized finite element method for the numerical approximation of a data assimilation problem subject to the acoustic wave equation. For the forward problem, piecewise affine, continuous, finite element functions are used for the approximation in space and backward differentiation is used in time. Stabilizing terms are added on the discrete level. The design of these term…
▽ More
We design a primal-dual stabilized finite element method for the numerical approximation of a data assimilation problem subject to the acoustic wave equation. For the forward problem, piecewise affine, continuous, finite element functions are used for the approximation in space and backward differentiation is used in time. Stabilizing terms are added on the discrete level. The design of these terms is driven by numerical stability and the stability of the continuous problem, with the objective of minimizing the computational error. Error estimates are then derived that are optimal with respect to the approximation properties of the numerical scheme and the stability properties of the continuous problem. The effects of discretizing the (smooth) domain boundary and other perturbations in data are included in the analysis.
△ Less
Submitted 5 November, 2018;
originally announced November 2018.
-
A stabilized finite element method for inverse problems subject to the convection-diffusion equation. I: diffusion-dominated regime
Authors:
Erik Burman,
Mihai Nechita,
Lauri Oksanen
Abstract:
The numerical approximation of an inverse problem subject to the convection--diffusion equation when diffusion dominates is studied. We derive Carleman estimates that are on a form suitable for use in numerical analysis and with explicit dependence on the Péclet number. A stabilized finite element method is then proposed and analysed. An upper bound on the condition number is first derived. Combin…
▽ More
The numerical approximation of an inverse problem subject to the convection--diffusion equation when diffusion dominates is studied. We derive Carleman estimates that are on a form suitable for use in numerical analysis and with explicit dependence on the Péclet number. A stabilized finite element method is then proposed and analysed. An upper bound on the condition number is first derived. Combining the stability estimates on the continuous problem with the numerical stability of the method, we then obtain error estimates in local $H^1$- or $L^2$-norms that are optimal with respect to the approximation order, the problem's stability and perturbations in data. The convergence order is the same for both norms, but the $H^1$-estimate requires an additional divergence assumption for the convective field. The theory is illustrated in some computational examples.
△ Less
Submitted 5 October, 2019; v1 submitted 1 November, 2018;
originally announced November 2018.
-
Discrete regularization and convergence of the inverse problem for 1+1 dimensional wave equation
Authors:
Jussi Korpela,
Matti Lassas,
Lauri Oksanen
Abstract:
An inverse boundary value problem for the 1+1 dimensional wave equation $(\partial_t^2 - c(x)^2 \partial_x^2)u(x,t)=0,\quad x\in\mathbb{R}_+$ is considered. We give a discrete regularization strategy to recover wave speed $c(x)$ when we are given the boundary value of the wave, $u(0,t)$, that is produced by a single pulse-like source. The regularization strategy gives an approximative wave speed…
▽ More
An inverse boundary value problem for the 1+1 dimensional wave equation $(\partial_t^2 - c(x)^2 \partial_x^2)u(x,t)=0,\quad x\in\mathbb{R}_+$ is considered. We give a discrete regularization strategy to recover wave speed $c(x)$ when we are given the boundary value of the wave, $u(0,t)$, that is produced by a single pulse-like source. The regularization strategy gives an approximative wave speed $\widetilde c$, satisfying a Hölder type estimate $\| \widetilde c-c\|\leq C ε^γ$, where $ε$ is the noise level.
△ Less
Submitted 28 March, 2018;
originally announced March 2018.
-
Primal dual mixed finite element methods for the elliptic Cauchy problem
Authors:
Erik Burman,
Mats. G. Larson,
Lauri Oksanen
Abstract:
We consider primal-dual mixed finite element methods for the solution of the elliptic Cauchy problem, or other related data assimilation problems. The method has a local conservation property. We derive a priori error estimates using known conditional stability estimates and determine the minimal amount of weakly consistent stabilization and Tikhonov regularization that yields optimal convergence…
▽ More
We consider primal-dual mixed finite element methods for the solution of the elliptic Cauchy problem, or other related data assimilation problems. The method has a local conservation property. We derive a priori error estimates using known conditional stability estimates and determine the minimal amount of weakly consistent stabilization and Tikhonov regularization that yields optimal convergence for smooth exact solutions. The effect of perturbations in data is also accounted for. A reduced version of the method, obtained by choosing a special stabilization of the dual variable, can be viewed as a variant of the least squares mixed finite element method introduced by Dardé, Hannukainen and Hyvönen in \emph{An {$H\sb {\sf{div}}$}-based mixed quasi-reversibility method for solving elliptic {C}auchy problems}, SIAM J. Numer. Anal., 51(4) 2013. The main difference is that our choice of regularization does not depend on auxiliary parameters, the mesh size being the only asymptotic parameter. Finally, we show that the reduced method can be used for defect correction iteration to determine the solution of the full method. The theory is illustrated by some numerical examples.
△ Less
Submitted 29 December, 2017;
originally announced December 2017.
-
Unique continuation for the Helmholtz equation using stabilized finite element methods
Authors:
Erik Burman,
Mihai Nechita,
Lauri Oksanen
Abstract:
In this work we consider the computational approximation of a unique continuation problem for the Helmholtz equation using a stabilized finite element method. First conditional stability estimates are derived for which, under a convexity assumption on the geometry, the constants grow at most linearly in the wave number. Then these estimates are used to obtain error bounds for the finite element me…
▽ More
In this work we consider the computational approximation of a unique continuation problem for the Helmholtz equation using a stabilized finite element method. First conditional stability estimates are derived for which, under a convexity assumption on the geometry, the constants grow at most linearly in the wave number. Then these estimates are used to obtain error bounds for the finite element method that are explicit with respect to the wave number. Some numerical illustrations are given.
△ Less
Submitted 26 October, 2018; v1 submitted 11 October, 2017;
originally announced October 2017.
-
Recovery of a Smooth Metric via Wave Field and Coordinate Transformation Reconstruction
Authors:
Maarten de Hoop,
Paul Kepley,
Lauri Oksanen
Abstract:
In this paper, we study the inverse boundary value problem for the wave equation with a view towards an explicit reconstruction procedure. We consider both the anisotropic problem where the unknown is a general Riemannian metric smoothly varying in a domain, and the isotropic problem where the metric is conformal to the Euclidean metric. Our objective in both cases is to construct the metric, usin…
▽ More
In this paper, we study the inverse boundary value problem for the wave equation with a view towards an explicit reconstruction procedure. We consider both the anisotropic problem where the unknown is a general Riemannian metric smoothly varying in a domain, and the isotropic problem where the metric is conformal to the Euclidean metric. Our objective in both cases is to construct the metric, using either the Neumann-to-Dirichlet (N-to-D) map or Dirichlet-to-Neumann (D-to-N) map as the data. In the anisotropic case we construct the metric in the boundary normal (or semi-geodesic) coordinates via reconstruction of the wave field in the interior of the domain. In the isotropic case we can go further and construct the wave speed in the Euclidean coordinates via reconstruction of the coordinate transformation from the boundary normal coordinates to the Euclidean coordinates. Both cases utilize a variant of the Boundary Control method, and work by probing the interior using special boundary sources. We provide a computational experiment to demonstrate our procedure in the isotropic case with N-to-D data.
△ Less
Submitted 7 October, 2017;
originally announced October 2017.
-
Fully discrete finite element data assimilation method for the heat equation
Authors:
Erik Burman,
Jonathan Ish-Horowicz,
Lauri Oksanen
Abstract:
We consider a finite element discretization for the reconstruction of the final state of the heat equation, when the initial data is unknown, but additional data is given in a sub domain in the space time. For the discretization in space we consider standard continuous affine finite element approximation, and the time derivative is discretized using a backward differentiation. We regularize the di…
▽ More
We consider a finite element discretization for the reconstruction of the final state of the heat equation, when the initial data is unknown, but additional data is given in a sub domain in the space time. For the discretization in space we consider standard continuous affine finite element approximation, and the time derivative is discretized using a backward differentiation. We regularize the discrete system by adding a penalty of the $H^1$-semi-norm of the initial data, scaled with the mesh-parameter. The analysis of the method uses techniques developed in E. Burman and L. Oksanen, Data assimilation for the heat equation using stabilized finite element methods, arXiv, 2016, combining discrete stability of the numerical method with sharp Carleman estimates for the physical problem, to derive optimal error estimates for the approximate solution. For the natural space time energy norm, away from $t=0$, the convergence is the same as for the classical problem with known initial data, but contrary to the classical case, we do not obtain faster convergence for the $L^2$-norm at the final time.
△ Less
Submitted 21 July, 2017;
originally announced July 2017.
-
Application of the boundary control method to partial data Borg-Levinson inverse spectral problem
Authors:
Yavar Kian,
Morgan Morancey,
Lauri Oksanen
Abstract:
We consider the multidimensional Borg-Levinson problem of determining a potential $q$, appearing in the Dirichlet realization of the Schrödinger operator $A_q=-Δ+q$ on a bounded domain $Ω\subset \mathbb{R}^n$, $n\geq2$, from the boundary spectral data of $A_q$ on an arbitrary portion of $\partialΩ$. More precisely, for $γ$ an open and non-empty subset of $\partialΩ$, we consider the boundary spect…
▽ More
We consider the multidimensional Borg-Levinson problem of determining a potential $q$, appearing in the Dirichlet realization of the Schrödinger operator $A_q=-Δ+q$ on a bounded domain $Ω\subset \mathbb{R}^n$, $n\geq2$, from the boundary spectral data of $A_q$ on an arbitrary portion of $\partialΩ$. More precisely, for $γ$ an open and non-empty subset of $\partialΩ$, we consider the boundary spectral data on $γ$ given by $\mathrm{BSD}(q,γ):=\{(λ_{k},{\partial_νφ_{k}}_{|\overlineγ}):\ k \geq1\}$, where $\{ λ_k:\ k \geq1\}$ is the non-decreasing sequence of eigenvalues of $A_q$, $\{ φ_k:\ k \geq1 \}$ an associated Hilbertian basis of eigenfunctions, and $ν$ is the unit outward normal vector to $\partialΩ$. We prove that the data $\mathrm{BSD}(q,γ)$ uniquely determine a bounded potential $q\in L^\infty(Ω)$. Previous uniqueness results, with arbitrarily small $γ$, assume that $q$ is smooth. Our approach is based on the Boundary Control method, and we give a self-contained presentation of the method, focusing on the analytic rather than geometric aspects of the method.
△ Less
Submitted 26 March, 2017;
originally announced March 2017.
-
An Exact Redatuming Procedure for the Inverse Boundary Value Problem for the Wave Equation
Authors:
Maarten V. de Hoop,
Paul Kepley,
Lauri Oksanen
Abstract:
Redatuming 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-t…
▽ More
Redatuming 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 $Γ$ 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 $Γ$. 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.
△ Less
Submitted 7 October, 2017; v1 submitted 7 December, 2016;
originally announced December 2016.
-
Correlation based passive imaging with a white noise source
Authors:
Tapio Helin,
Matti Lassas,
Lauri Oksanen,
Teemu Saksala
Abstract:
Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white nois…
▽ More
Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation $\partial_t^2 u - Δ_g u = χW$, where $W$ is a random variable with the white noise statistics on ${\mathbb R}^{1+n}$, $n \ge 3$, $χ$ is a smooth function vanishing for negative times and outside a compact set in space, and $Δ_g$ is the Laplace-Beltrami operator associated to a smooth non-trap** Riemannian metric tensor $g$ on ${\mathbb R}^n$. The metric tensor $g$ models the medium to be imaged, and we assume that it coincides with the Euclidean metric outside a compact set. We consider the empirical correlations on an open set $\mathcal X \subset {\mathbb R}^n$, $$ C_T(t_1, x_1, t_2, x_2) = \frac 1 T \int_0^T u(t_1+s,x_1) u(t_2+s,x_2) ds, \quad t_1,t_2>0,\ x_1,x_2\in \mathcal X, $$ for $T>0$. Supposing that $χ$ is non-zero on $\mathcal X$ and constant in time after $t > 1$, we show that in the limit $T \to \infty$, the data $C_T$ becomes statistically stable, that is, independent of the realization of $W$. Our main result is that, with probability one, this limit determines the Riemannian manifold $({\mathbb R}^n,g)$ up to an isometry. To our knowledge, this is the first result showing that a medium can be determined in a passive imaging setting, without assuming a separation of scales.
△ Less
Submitted 4 November, 2016; v1 submitted 26 September, 2016;
originally announced September 2016.
-
Data assimilation for the heat equation using stabilized finite element methods
Authors:
Erik Burman,
Lauri Oksanen
Abstract:
We consider data assimilation for the heat equation using a finite element space semi-discretization. The approach is optimization based, but the design of regularization operators and parameters rely on techniques from the theory of stabilized finite elements. The space semi-discretized system is shown to admit a unique solution. Combining sharp estimates of the numerical stability of the discret…
▽ More
We consider data assimilation for the heat equation using a finite element space semi-discretization. The approach is optimization based, but the design of regularization operators and parameters rely on techniques from the theory of stabilized finite elements. The space semi-discretized system is shown to admit a unique solution. Combining sharp estimates of the numerical stability of the discrete scheme and conditional stability estimates of the ill-posed continuous pde-model we then derive error estimates that reflect the approximation order of the finite element space and the stability of the continuous model. Two different data assimilation situations with different stability properties are considered to illustrate the framework. Full detail on how to adapt known stability estimates for the continuous model to work with the numerical analysis framework is given in appendix.
△ Less
Submitted 16 September, 2016;
originally announced September 2016.
-
Recovery of time-dependent coefficient on Riemanian manifold for hyperbolic equations
Authors:
Yavar Kian,
Lauri Oksanen
Abstract:
Given $(M,g)$, a compact connected Riemannian manifold of dimension $d \geq 2$, with boundary $\partial M$, we study the inverse boundary value problem of determining a time-dependent potential $q$, appearing in the wave equation $\partial_t^2u-Δ_g u+q(t,x)u=0$ in $\bar M=(0,T)\times M$ with $T>0$. Under suitable geometric assumptions we prove global unique determination of…
▽ More
Given $(M,g)$, a compact connected Riemannian manifold of dimension $d \geq 2$, with boundary $\partial M$, we study the inverse boundary value problem of determining a time-dependent potential $q$, appearing in the wave equation $\partial_t^2u-Δ_g u+q(t,x)u=0$ in $\bar M=(0,T)\times M$ with $T>0$. Under suitable geometric assumptions we prove global unique determination of $q\in L^\infty(\bar M)$ given the Cauchy data set on the whole boundary $\partial \bar M$, or on certain subsets of $\partial \bar M$. Our problem can be seen as an analogue of the Calderón problem on the Lorentzian manifold $(\bar M, dt^2 - g)$.
△ Less
Submitted 23 June, 2016;
originally announced June 2016.
