SPACE TIME STABILIZED FINITE ELEMENT METHODS FOR A UNIQUE CONTINUATION PROBLEM SUBJECT TO THE WAVE EQUATION

Erik Burman (1) , Ali Feizmohammadi (1) , Arnaud Münch (2, 3) , Lauri Oksanen (1)

1 UCL London - Department of Mathematics
2 UCA [2017-2020] - Université Clermont Auvergne [2017-2020]
3 LMBP - Laboratoire de Mathématiques Blaise Pascal

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.

Domaines: Analyse numérique [math.NA]

Erik Burman, Ali Feizmohammadi, Arnaud Münch, Lauri Oksanen. SPACE TIME STABILIZED FINITE ELEMENT METHODS FOR A UNIQUE CONTINUATION PROBLEM SUBJECT TO THE WAVE EQUATION. ESAIM: Mathematical Modelling and Numerical Analysis, In press, 55, pp.S969-S991. ⟨10.1051/m2an/2020062⟩. ⟨hal-02383411v2⟩