Factorization method and inclusions of mixed type in an inverse elliptic boundary value problem

In various imaging problems the task is to use the Cauchy data of the solutions to an elliptic boundary value problem to reconstruct the co- efficients of the corresponding partial differential equation. Often the exam- ined object has known background properties but is contaminated by inhomo- geneities that cause perturbations of the coefficient functions. The factorization method of Kirsch provides a tool for locating such inclusions. In this paper, the factorization technique is studied in the framework of coercive elliptic partial differential equations of the divergence type: Earlier it has been demonstrated that the factorization algorithm can reconstruct the support of a strictly pos- itive (or negative) definite perturbation of the leading order coefficient, or if that remains unperturbed, the support of a strictly positive (or negative) per- turbation of the zeroth order coefficient. In this work we show that these two types of inhomogeneities can, in fact, be located simultaneously. Unlike in the earlier articles on the factorization method, our inclusions may have discon- nected complements and we also weaken some other a priori assumptions of the method. Our theoretical findings are complemented by two-dimensional numerical experiments that are presented in the framework of the diffusion approximation of optical tomography.

[1]  Nuutti Hyvönen,et al.  Application of a weaker formulation of the factorization method to the characterization of absorbing inclusions in optical tomography , 2005 .

[2]  Martin Hanke,et al.  A sampling method for detecting buried objects using electromagnetic scattering , 2005 .

[3]  S. Yau Mathematics and its applications , 2002 .

[4]  Nuutti Hyvönen,et al.  Factorization method and irregular inclusions in electrical impedance tomography , 2007 .

[5]  Kari Astala,et al.  Calderon's inverse conductivity problem in the plane , 2006 .

[6]  Erkki Somersalo,et al.  Estimation of optical absorption in anisotropic background , 2002 .

[7]  Andreas Kirsch,et al.  The factorization method for a class of inverse elliptic problems , 2005 .

[8]  Martin Brühl,et al.  Explicit Characterization of Inclusions in Electrical Impedance Tomography , 2001, SIAM J. Math. Anal..

[9]  M. Hanke,et al.  Numerical implementation of two noniterative methods for locating inclusions by impedance tomography , 2000 .

[10]  S. Arridge,et al.  Nonuniqueness in diffusion-based optical tomography. , 1998, Optics letters.

[11]  Guillaume Bal Reconstructions in impedance and optical tomography with singular interfaces , 2005 .

[12]  Steven Kusiak,et al.  The scattering support , 2003 .

[13]  Bastian Gebauer,et al.  The Factorization Method for Real Elliptic Problems , 2006 .

[14]  Otmar Scherzer,et al.  Detecting Interfaces in a Parabolic-Elliptic Problem from Surface Measurements , 2007, SIAM J. Numer. Anal..

[15]  Nuutti Hyvönen,et al.  Application of the factorization method to the characterization of weak inclusions in electrical impedance tomography , 2007, Adv. Appl. Math..

[16]  A. Nachman,et al.  Global uniqueness for a two-dimensional inverse boundary value problem , 1996 .

[17]  H. Engl,et al.  Regularization of Inverse Problems , 1996 .

[18]  Nuutti Hyvönen,et al.  Locating Transparent Regions in Optical Absorption and Scattering Tomography , 2007, SIAM J. Appl. Math..

[19]  J. Diestel,et al.  On vector measures , 1974 .

[20]  Martin Hanke,et al.  Recent progress in electrical impedance tomography , 2003 .

[21]  J. Sylvester,et al.  A global uniqueness theorem for an inverse boundary value problem , 1987 .

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

[23]  Andreas Kirsch,et al.  Characterization of the shape of a scattering obstacle using the spectral data of the far field operator , 1998 .

[24]  Nuutti Hyvönen Characterizing inclusions in optical tomography , 2004 .