Unique shape detection in transient eddy current problems

Transient excitation currents generate electromagnetic fields which in turn induce electric currents in proximal conductors. For slowly varying fields, this can be described by the eddy current equations, which are obtained by neglecting the dielectric displacement currents in Maxwell?s equations. The eddy current equations are of parabolic?elliptic type. In insulating regions, the field instantaneously adapts to the excitation (elliptic behavior), while in conducting regions, this adaptation takes some time due to the induced eddy currents (parabolic behavior). The subject of this work is to locate the conductor(s) surrounded by a non-conducting medium from electromagnetic measurements, i.e., from knowledge of the excitation currents and measurements of the corresponding electromagnetic fields. We show that the conductors are uniquely determined by the measurements, and give an explicit criterion to decide whether a given point is inside or outside the conducting domain. This criterion serves as a base for rigorously justified non-iterative numerical reconstruction strategies.

[1]  A. Kirsch,et al.  A simple method for solving inverse scattering problems in the resonance region , 1996 .

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

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

[4]  M. Hanke,et al.  Sampling methods for low-frequency electromagnetic imaging , 2008 .

[5]  H. Griffiths Magnetic induction tomography , 2001 .

[6]  Hermann Scharfetter,et al.  Biological tissue characterization by magnetic induction spectroscopy (MIS): requirements and limitations , 2003, IEEE Transactions on Biomedical Engineering.

[7]  J. Rudlin,et al.  Multiple sensors on pulsed eddy-current detection for 3-D subsurface crack assessment , 2005, IEEE Sensors Journal.

[8]  Ana Alonso,et al.  A MATHEMATICAL JUSTIFICATION OF THE LOW-FREQUENCY HETEROGENEOUS TIME-HARMONIC MAXWELL EQUATIONS , 1999 .

[9]  N. Bourbaki,et al.  Topological Vector Spaces: Chapters 1–5 , 1987 .

[10]  Bastian von Harrach,et al.  A Unified Variational Formulation for the Parabolic-Elliptic Eddy Current Equations , 2012, SIAM J. Appl. Math..

[11]  N. Bourbaki Topological Vector Spaces , 1987 .

[12]  Habib Ammari,et al.  A Justification of Eddy Currents Model for the Maxwell Equations , 2000, SIAM J. Appl. Math..

[13]  JOHANNES KEPLER UNIVERSITY LINZ Institute of Computational Mathematics Existence and Uniqueness of Eddy Current Problems in Bounded and Unbounded Domains , 2011 .

[14]  Habib Ammari,et al.  A MUSIC-type algorithm for detecting internal corrosion from electrostatic boundary measurements , 2008, Numerische Mathematik.

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

[16]  Ekaterina Iakovleva,et al.  Direct Algorithms for Thermal Imaging of Small Inclusions , 2005, Multiscale Model. Simul..

[17]  Andreas Kirsch,et al.  THE FACTORIZATION METHOD FOR MAXWELL'S EQUATIONS , 2004 .

[18]  J. Devaney,et al.  1 Super-resolution Processing of Multi-static Data Using Time Reversal and MUSIC A , 2000 .

[19]  Salim Meddahi,et al.  An H-based FEM-BEM formulation for a time dependent eddy current problem , 2008 .

[20]  Jacques-Louis Lions,et al.  Mathematical Analysis and Numerical Methods for Science and Technology: Volume 5 Evolution Problems I , 1992 .

[21]  John Bowler,et al.  Transient Eddy-Current Driver Pickup Probe Response Due to a Conductive Plate , 2006, IEEE Transactions on Magnetics.

[22]  Bastian von Harrach,et al.  Recent Progress on the Factorization Method for Electrical Impedance Tomography , 2013, Comput. Math. Methods Medicine.

[23]  Salim Meddahi,et al.  An E-based mixed formulation for a time-dependent eddy current problem , 2009, Math. Comput..

[24]  Montonicity shape reconstruction of electrical and electromagnetic tomography , 2007 .

[25]  Jacques-Louis Lions,et al.  Mathematical Analysis and Numerical Methods for Science and Technology: Volume 3 Spectral Theory and Applications , 1990 .

[26]  Manuchehr Soleimani,et al.  Volumetric magnetic induction tomography , 2012 .

[27]  Josselin Garnier,et al.  Target detection and characterization from electromagnetic induction data , 2012, 1210.7915.

[28]  Habib Ammari,et al.  Identification of small inhomogeneities: Asymptotic factorization , 2007, Math. Comput..

[29]  John C. Moulder,et al.  Review of Advances in Quantitative Eddy Current Nondestructive Evaluation , 1999 .

[30]  V. Zvyagin,et al.  Attractors of equations of non-Newtonian fluid dynamics , 2014 .

[31]  Weiying Cheng,et al.  Simulation of Transient Eddy-Current Measurement for the Characterization of Depth and Conductivity of a Conductive Plate , 2008, IEEE Transactions on Magnetics.

[32]  Joachim Schöberl,et al.  Numerical analysis of nonlinear multiharmonic eddy current problems , 2005, Numerische Mathematik.

[33]  Yi Zhang,et al.  Conductivity tomography for non-destructive evaluation using pulsed eddy current with HTS SQUID magnetometer , 2003 .