Space time stabilized finite element methods for a unique continuation problem subject to the wave equation

DOI10.1051/M2AN/2020062zbMATH Open1487.65131arXiv1912.00891OpenAlexW3083793324MaRDI QIDQ4958862FDOQ4958862

Authors: Erik Burman, Ali Feizmohammadi, Arnaud Münch, Lauri Oksanen 

Publication date: 15 September 2021

Published in: ESAIM: Mathematical Modelling and Numerical Analysis (Search for Journal in Brave)

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

Full work available at URL: https://arxiv.org/abs/1912.00891

Recommendations

• Unique continuation for the Lamé system using stabilized finite element methods
• Unique continuation for the Helmholtz equation using stabilized finite element methods
• A stabilized space-time finite element method for the wave equation
• A continuous space-time finite element method for the wave equation
• A space-time continuous finite element method for 2D viscoelastic wave equation

zbMATH Keywords

data assimilationfinite element methodunique continuationwave equationobservability estimategeometric controlcondition

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Inverse problems for PDEs (35R30) Finite difference methods for initial value and initial-boundary value problems involving PDEs (65M06) Stability and convergence of numerical methods for initial value and initial-boundary value problems involving PDEs (65M12) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Numerical methods for inverse problems for initial value and initial-boundary value problems involving PDEs (65M32) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Hydro- and aero-acoustics (76Q05) Geometric methods (93B27)

Cites Work

• New development in freefem++
• Theory and practice of finite elements.
• Finite Element Interpolation of Nonsmooth Functions Satisfying Boundary Conditions
• Mathematics of thermoacoustic tomography
• The Quasi-Reversibility Method for Thermoacoustic Tomography in a Heterogeneous Medium
• Sharp Sufficient Conditions for the Observation, Control, and Stabilization of Waves from the Boundary
• Thermoacoustic tomography with variable sound speed
• Propagation, Observation, and Control of Waves Approximated by Finite Difference Methods
• The Mathematical Theory of Finite Element Methods
• Title not available (Why is that?)
• Continuous/discontinuous finite element approximations of fourth-order elliptic problems in structural and continuum mechanics with applications to thin beams and plates, and strain gradient elasticity
• Newton-Kantorovich method for three-dimensional potential inverse scattering problem and stability of the hyperbolic Cauchy problem with time-dependent data
• Title not available (Why is that?)
• Über ein Variationsprinzip zur Lösung von Dirichlet-Problemen bei Verwendung von Teilräumen, die keinen Randbedingungen unterworfen sind. (On a variational principle for solving Dirichlet problems less boundary conditions using subspaces)
• Boundary observability for the space semi-discretizations of the 1 – d wave equation
• A mixed formulation for the direct approximation of the control of minimal \(L^2\)-norm for linear type wave equations
• A uniformly controllable and implicit scheme for the 1-D wave equation
• Title not available (Why is that?)
• Resolvent conditions for the control of unitary groups and their approximations
• Back and forth nudging algorithm for data assimilation problems
• Error estimates for stabilized finite element methods applied to ill-posed problems
• Recovering the initial state of an infinite-dimensional system using observers
• Reconstructing initial data using observers: Error analysis of the semi-discrete and fully discrete approximations
• A stabilized nonconforming finite element method for the elliptic Cauchy problem
• Stabilization of incompressibility and convection through orthogonal sub-scales in finite element methods
• Inverse problems for linear hyperbolic equations using mixed formulations
• Title not available (Why is that?)
• Stabilized finite element methods for nonsymmetric, noncoercive, and ill-posed problems. I: Elliptic equations
• Basis functions for general Hsieh-Clough-Tocher triangles, complete or reduced
• Numerical approximation of exact controls for waves
• Controllability of the Linear One-dimensional Wave Equation with Inner Moving Forces
• Time reversal method with stabilizing boundary conditions for Photoacoustic tomography
• A dissipative time reversal technique for photoacoustic tomography in a cavity
• Multiwave tomography in a closed domain: averaged sharp time reversal
• Multiwave imaging in an enclosure with variable wave speed
• Geometric control condition for the wave equation with a time-dependent observation domain
• Space-time discontinuous Petrov-Galerkin methods for linear wave equations in heterogeneous media
• An inverse obstacle problem for the wave equation in a finite time domain
• Numerical solution of a time-like Cauchy problem for the wave equation
• Numerical meshes ensuring uniform observability of one-dimensional waves: construction and analysis
• Data assimilation for the heat equation using stabilized finite element methods
• Fully discrete finite element data assimilation method for the heat equation
• Approximation of controls for linear wave equations: a first order mixed formulation
• A finite element data assimilation method for the wave equation
• A Fully Discrete Numerical Control Method for the Wave Equation

Cited In (13)

• Time-Domain Stability of Artificial Boundary Condition Coupled with Finite Element for Dynamic and Wave Problems in Unbounded Media
• The Morozov's principle applied to data assimilation problems
• Continuous finite elements in space and time for the nonhomogeneous wave equation
• Unique continuation for the Lamé system using stabilized finite element methods
• A stabilized space-time finite element method for the wave equation
• The Unique Continuation Problem for the Heat Equation Discretized with a High-Order Space-Time Nonconforming Method
• Least squares solvers for ill-posed PDEs that are conditionally stable
• Controllability of the linear elasticity as a first-order system using a stabilized space-time mixed formulation
• Accuracy controlled data assimilation for parabolic problems
• WAN discretization of PDEs: best approximation, stabilization, and essential boundary conditions
• Spacetime finite element methods for control problems subject to the wave equation
• Numerical approximation of the boundary control for the wave equation in a square domain with a spectral collocation method
• A Hybridized High-Order Method for Unique Continuation Subject to the Helmholtz Equation

Uses Software

• FreeFem++

This page was built for publication: Space time stabilized finite element methods for a unique continuation problem subject to the wave equation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4958862)