Primal-Dual Mixed Finite Element Methods for the Elliptic Cauchy Problem

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\'e, Hannukainen and Hyv\"onen 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.

[1]  E. Burman.  The elliptic Cauchy problem revisited: Control of boundary data in natural norms , 2017 .

[2]  Erik Burman,et al.  Fully discrete finite element data assimilation method for the heat equation , 2018, ESAIM: Mathematical Modelling and Numerical Analysis.

[3]  Junping Wang,et al.  A Primal-Dual Weak Galerkin Finite Element Method for Fokker-Planck Type Equations , 2017, SIAM J. Numer. Anal..

[4]  W. Ames.  Application of inverse-monotone theory to finite difference approximations boundary value problems , 1977 .

[5]  Erik Burman,et al.  Error estimates for stabilized finite element methods applied to ill-posed problems , 2014, 1406.4371.

[6]  Erik Burman,et al.  Data assimilation for the heat equation using stabilized finite element methods , 2016, Numerische Mathematik.

[7]  Junping Wang,et al.  A primal-dual weak Galerkin finite element method for second order elliptic equations in non-divergence form , 2015, Math. Comput..

[8]  Jérémi Dardé,et al.  A quasi-reversibility approach to solve the inverse obstacle problem , 2010 .

[9]  Laurent Bourgeois,et al.  Convergence rates for the quasi-reversibility method to solve the Cauchy problem for Laplace's equation , 2006 .

[10]  Susanne C. Brenner,et al.  Poincaré-Friedrichs Inequalities for Piecewise H1 Functions , 2003, SIAM J. Numer. Anal..

[11]  Jérémi Dardé,et al.  A duality-based method of quasi-reversibility to solve the Cauchy problem in the presence of noisy data , 2010 .

[12]  Erik Burman,et al.  Unique continuation for the Helmholtz equation using stabilized finite element methods , 2017, Journal de Mathématiques Pures et Appliquées.

[13]  Jacques-Louis Lions,et al.  The method of quasi-reversibility : applications to partial differential equations , 1969 .

[14]  R. S. Falk,et al.  Logarithmic convexity for discrete harmonic function and the approximation of the Cauchy problem for poisson's equation , 1986 .

[15]  Luca Rondi,et al.  The stability for the Cauchy problem for elliptic equations , 2009, 0907.2882.

[16]  Endre Süli,et al.  The Adaptive Computation of Far-Field Patterns by A Posteriori Error Estimation of Linear Functionals , 1998 .

[17]  Peter Hansbo,et al.  Solving ill-posed control problems by stabilized finite element methods: an alternative to Tikhonov regularization , 2016, 1609.05101.

[18]  Antti Hannukainen,et al.  An $H_\mathsf{div}$-Based Mixed Quasi-reversibility Method for Solving Elliptic Cauchy Problems , 2013, SIAM J. Numer. Anal..

[19]  Hans-Jürgen Reinhardt,et al.  Stability and Regularization of a Discrete Approximation to the Cauchy Problem for Laplace's Equation , 1999 .

[20]  Houde Han.  The Finite Element Method in a Family of Improperly Posed Problems , 2010 .

[21]  Jérémi Dardé,et al.  About stability and regularization of ill-posed elliptic Cauchy problems: the case of Lipschitz domains , 2010 .

[22]  E. Burman.  Stabilised Finite Element Methods for Ill-Posed Problems with Conditional Stability , 2015, 1512.02837.

[23]  J. Guermond,et al.  Theory and practice of finite elements , 2004 .

[24]  A. Münch,et al.  Inverse problems for linear hyperbolic equations using mixed formulations , 2015, 1502.00114.

[25]  A. N. Tikhonov,et al.  Solutions of ill-posed problems , 1977 .

[26]  Frédéric Hecht,et al.  New development in freefem++ , 2012, J. Num. Math..

[27]  L. Payne.  On a Priori Bounds in the Cauchy Problem for Elliptic Equations , 1970 .

[28]  Laurent Bourgeois,et al.  A mixed formulation of quasi-reversibility to solve the Cauchy problem for Laplace's equation , 2005 .

[29]  E. Keilegavlen,et al.  Dual Virtual Element Methods for Discrete Fracture Matrix models , 2019, Oil & Gas Science and Technology – Revue d’IFP Energies nouvelles.

[30]  Joseph E. Pasciak,et al.  A least-squares approach based on a discrete minus one inner product for first order systems , 1997, Math. Comput..

[31]  Faker Ben Belgacem,et al.  On Cauchy's problem: II. Completion, regularization and approximation , 2006 .

[32]  N. V. Muzylev.  On the method of quasi-reversibility☆ , 1977 .

[33]  Erik Burman,et al.  A stabilized nonconforming finite element method for the elliptic Cauchy problem , 2014, Math. Comput..

[34]  Philippe G. Ciarlet,et al.  The finite element method for elliptic problems , 2002, Classics in applied mathematics.

[35]  Yujie Liu,et al.  A Conservative Flux Optimization Finite Element Method for Convection-diffusion Equations , 2017, SIAM J. Numer. Anal..

[36]  Jean Leray.  Cauchy’s Problem , 1970 .

[37]  L. Payne,et al.  Bounds in the Cauchy problem for the Laplace equation , 1960 .

[38]  Faker Ben Belgacem,et al.  Why is the Cauchy problem severely ill-posed? , 2007 .