Solving a Cauchy problem for a 3D elliptic PDE with variable coefficients by a quasi-boundary-value method

An ill-posed Cauchy problem for a 3D elliptic partial differential equation with variable coefficients is considered. A well-posed quasi-boundary-value (QBV) problem is given to approximate it. Some stability estimates are given. For the numerical implementation, a large sparse system is obtained from discretizing the QBV problem using the finite difference method. A left-preconditioned generalized minimum residual method is used to solve the large system effectively. For the preconditioned system, a fast solver using the fast Fourier transform is given. Numerical results show that the method works well.

[1]  R. Kress,et al.  Inverse Acoustic and Electromagnetic Scattering Theory , 1992 .

[2]  Masahiro Yamamoto,et al.  LETTER TO THE EDITOR: One new strategy for a priori choice of regularizing parameters in Tikhonov's regularization , 2000 .

[3]  D. S. Jones.  ILL-POSED PROBLEMS OF MATHEMATICAL PHYSICS AND ANALYSIS (Translations of Mathematical Monographs 64) , 1987 .

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

[5]  Zohreh Ranjbar,et al.  Numerical Solution of Ill-posed Cauchy Problems for Parabolic Equations , 2010 .

[6]  An alternating iterative algorithm for the reconstruction of internal cracks in a three-dimensional solid body , 2001 .

[7]  I. V. Mel’nikova.  Regularization of ill-posed differential problems , 1992 .

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

[9]  Regularization of nonstationary problems for elliptic equations , 1993 .

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

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

[12]  M. Hanke.  Conjugate gradient type methods for ill-posed problems , 1995 .

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

[14]  L. Payne,et al.  ASYMPTOTIC BEHAVIOR FOR TWO REGULARIZATIONS OF THE CAUCHY PROBLEM FOR THE BACKWARD HEAT EQUATION , 1998 .

[15]  Chu-Li Fu,et al.  Two regularization methods for a Cauchy problem for the Laplace equation , 2008 .

[16]  Lars Eldén,et al.  Solving an Ill-Posed Cauchy Problem for a Two-Dimensional Parabolic PDE with Variable Coefficients Using a Preconditioned GMRES Method , 2014, SIAM J. Sci. Comput..

[17]  C. Fu,et al.  Wavelets and regularization of the Cauchy problem for the Laplace equation , 2008 .

[18]  J. Nagy,et al.  Restoration of atmospherically blurred images by symmetric indefinite conjugate gradient techniques , 1996 .

[19]  Misha Elena Kilmer,et al.  Iterative Regularization and MINRES , 1999, SIAM J. Matrix Anal. Appl..

[20]  M. M. Lavrentʹev,et al.  Ill-Posed Problems of Mathematical Physics and Analysis , 1986 .

[21]  M. M. Lavrentiev,et al.  Some Improperly Posed Problems of Mathematical Physics , 1967 .

[22]  Wolfgang Marquardt,et al.  Efficient solution of a three-dimensional inverse heat conduction problem in pool boiling , 2009 .

[23]  Lothar Reichel,et al.  GMRES, L-Curves, and Discrete Ill-Posed Problems , 2002 .

[24]  Y. Y. Belov,et al.  Inverse Problems for Partial Differential Equations , 2002 .

[25]  Valeria Simoncini,et al.  A numerical solution of a Cauchy problem for an elliptic equation by Krylov subspaces , 2009 .

[26]  J. Aarão,et al.  The extended-domain–eigenfunction method for solving elliptic boundary value problems with annular domains , 2010 .

[27]  Victor Isakov,et al.  Inverse Source Problems , 1990 .

[28]  Hichem Sahli,et al.  A non-local boundary value problem method for parabolic equations backward in time , 2008 .

[29]  G. Smith,et al.  Numerical Solution of Partial Differential Equations: Finite Difference Methods , 1978 .

[30]  M. M. Lavrentiev.  Formulation of some Improperly Posed Problems of Mathematical Physics , 1967 .

[31]  A. Bruaset.  A survey of preconditioned iterative methods , 1995 .

[32]  C. Fu,et al.  A mollification regularization method for the Cauchy problem of an elliptic equation in a multi-dimensional case , 2010 .

[33]  Ralph E. Showalter,et al.  Cauchy Problem for Hyper-Parabolic Partial Differential Equations , 1985 .

[34]  Per Christian Hansen,et al.  Smoothing-Norm Preconditioning for Regularizing Minimum-Residual Methods , 2006, SIAM J. Matrix Anal. Appl..

[35]  Yousef Saad,et al.  Iterative methods for sparse linear systems , 2003 .

[36]  L. Eldén,et al.  A quasi-boundary-value method for the Cauchy problem for elliptic equations with nonhomogeneous Neumann data , 2010 .

[37]  P. Hansen,et al.  Iterative regularization with minimum-residual methods , 2007 .

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

[39]  Valeria Simoncini,et al.  Solving Ill-Posed Linear Systems with GMRES and a Singular Preconditioner , 2012, SIAM J. Matrix Anal. Appl..

[40]  Hao Cheng,et al.  Determining surface heat flux in the steady state for the Cauchy problem for the Laplace equation , 2009, Appl. Math. Comput..

[41]  P. Swarztrauber.  THE METHODS OF CYCLIC REDUCTION, FOURIER ANALYSIS AND THE FACR ALGORITHM FOR THE DISCRETE SOLUTION OF POISSON'S EQUATION ON A RECTANGLE* , 1977 .

[42]  D. Calvetti,et al.  GMRES-type methods for inconsistent systems , 2000 .

[43]  L. Eldén,et al.  A stability estimate for a Cauchy problem for an elliptic partial differential equation , 2005 .

[44]  M. Denche,et al.  Quasi-boundary Value Method for Non-well Posed Problem for a Parabolic Equation with Integral Boundary Condition , 2001 .

[45]  Kurt Bryan,et al.  Reconstruction of an unknown boundary portion from Cauchy data in n dimensions , 2005 .

[46]  Nguyen Van Duc,et al.  A non-local boundary value problem method for the Cauchy problem for elliptic equations , 2009 .

[47]  Roger W. Hockney,et al.  A Fast Direct Solution of Poisson's Equation Using Fourier Analysis , 1965, JACM.

[48]  P. Favati,et al.  A framework for studying the regularizing properties of Krylov subspace methods , 2006 .

[49]  L. Payne.  Improved Stability Estimates for Classes of Illposed Cauchy Problems , 1985 .

[50]  Per Christian Hansen,et al.  Regularization methods for large-scale problems , 1993 .

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

[52]  Ulrich Tautenhahn.  Optimal Stable Solution of Cauchy Problems for Elliptic Equations , 1996 .

[53]  M. Denche,et al.  A modified quasi-boundary value method for ill-posed problems , 2005 .

[54]  Lothar Reichel,et al.  On the regularizing properties of the GMRES method , 2002, Numerische Mathematik.

[55]  Y. Hon,et al.  Method of fundamental solutions with regularization techniques for Cauchy problems of elliptic operators , 2007 .

[56]  L. Payne,et al.  Energy and pointwise bounds in some non-standard parabolic problems , 2004, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[57]  L. Payne,et al.  Improperly Posed Problems in Partial Differential Equations , 1987 .

[58]  Vladimir Maz’ya,et al.  An iterative method for solving the Cauchy problem for elliptic equations , 1991 .

[59]  Y. Saad,et al.  GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems , 1986 .

[60]  S. R. Simanca,et al.  On Circulant Matrices , 2012 .

[61]  Nguyen Van Duc,et al.  Regularization of parabolic equations backward in time by a non-local boundary value problem method , 2010 .

[62]  S. Arridge.  Optical tomography in medical imaging , 1999 .