An $H_\mathsf{div}$-Based Mixed Quasi-reversibility Method for Solving Elliptic Cauchy Problems

This work considers the Cauchy problem for a second order elliptic operator in a bounded domain. A new quasi-reversibility approach is introduced for approximating the solution of the ill-posed Cauchy problem in a regularized manner. The method is based on a well-posed mixed variational problem on $H^1\times H_\mathsf{div}$ with the corresponding solution pair converging monotonically to the solution of the Cauchy problem and the associated flux, if they exist. It is demonstrated that the regularized problem can be discretized using Lagrange and Raviart--Thomas finite elements. The functionality of the resulting numerical algorithm is tested via three-dimensional numerical experiments based on simulated data. Both the Cauchy problem and a related inverse obstacle problem for the Laplacian are considered.

[1]  R. Gulrajani.  The forward and inverse problems of electrocardiography. , 1998, IEEE engineering in medicine and biology magazine : the quarterly magazine of the Engineering in Medicine & Biology Society.

[2]  N. Holmer,et al.  Electrical Impedance Tomography , 1991 .

[3]  Sergei V. Pereverzev,et al.  A Carleman estimate and the balancing principle in the quasi-reversibility method for solving the Cauchy problem for the Laplace equation , 2009 .

[4]  Faker Ben Belgacem,et al.  Local Convergence of the Lavrentiev Method for the Cauchy Problem via a Carleman Inequality , 2012, J. Sci. Comput..

[5]  J. Hadamard,et al.  Lectures on Cauchy's Problem in Linear Partial Differential Equations , 1924 .

[6]  Jérôme Le Rousseau,et al.  On Carleman estimates for elliptic and parabolic operators. Applications to unique continuation and control of parabolic equations , 2012 .

[7]  Michael V. Klibanov,et al.  The Quasi-Reversibility Method for Thermoacoustic Tomography in a Heterogeneous Medium , 2007, SIAM J. Sci. Comput..

[8]  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 .

[9]  Nuutti Hyvönen,et al.  Convex Source Support and Its Application to Electric Impedance Tomography , 2008, SIAM J. Imaging Sci..

[10]  Benjamin Marteau,et al.  Some inverse problems around the tokamak Tore Supra , 2011, 1104.4454.

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

[13]  P. Grisvard.  Elliptic Problems in Nonsmooth Domains , 1985 .

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

[15]  Gianni Gilardi,et al.  Magnetostatic and Electrostatic Problems in Inhomogeneous Anisotropic Media with Irregular Boundary and Mixed Boundary Conditions , 1997 .

[16]  Thouraya Baranger,et al.  Solving Cauchy problems by minimizing an energy-like functional , 2006 .

[17]  R. Ilmoniemi,et al.  Magnetoencephalography-theory, instrumentation, and applications to noninvasive studies of the working human brain , 1993 .

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

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

[20]  Michel Fortin,et al.  Mixed and Hybrid Finite Element Methods , 2011, Springer Series in Computational Mathematics.

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

[22]  Duc Thang Du,et al.  Extended-domain-Lavrentiev's regularization for the Cauchy problem , 2011 .

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

[24]  Robert Lattès,et al.  Méthode de quasi-réversibilbilité et applications , 1967 .

[25]  J. Remacle,et al.  Gmsh: A 3‐D finite element mesh generator with built‐in pre‐ and post‐processing facilities , 2009 .

[26]  Laurent Bourgeois.  About stability and regularization of ill-posed elliptic Cauchy problems: the case of C1,1 domains , 2010 .

[27]  J. Dardé.  The ‘exterior approach’: a new framework to solve inverse obstacle problems , 2011 .

[28]  P. Lascaux,et al.  Some nonconforming finite elements for the plate bending problem , 1975 .