The article deals with electrodynamics in the presence of anisotropic materials having scalar wave impedance. Maxwell's equations written for differential forms over a 3-manifold are analysed. The system is extended to a Dirac type first order elliptic system on the Grassmannian bundle over the manifold. The second part of the article deals with the dynamical inverse boundary value problem of determining the electromagnetic material parameters from boundary measurements. By using the boundary control method, it is proved that the dynamical boundary data determines the electromagnetic travel time metric as well as the scalar wave impedance on the manifold. This invariant result leads also to a complete characterization of the non-uniqueness of the corresponding inverse problem in bounded domains of R^3.
AMS-classifications: 35R30, 35L20, 58J45
We consider the time-harmonic Maxwell system in a domain with a generalized impedance edge-corner, namely the presence of two generalized impedance planes that intersect at an edge. The impedance parameter can be $0, \infty$ or a finite non-identically vanishing variable function. We establish an accurate relationship between the vanishing order of the solutions to the Maxwell system and the dihedral angle of the edge-corner. In particular, if the angle is irrational, the vanishing order is infinity, i.e. strong unique continuation holds from the edge-corner. The establishment of those new qua…
This paper considers the time-harmonic Maxwell equations with impedance boundary condition.We present $H^2$-norm bound and other high-order norm bounds for strong solutions. The $H^2$-estimate have been derived in [M. Dauge, M. Costabel and S. Nicaise, Tech. Rep. 10-09, IRMAR (2010)] for the case with homogeneous boundary condition. Unfortunately, their method can not be applied to the inhomogeneous case. The main novelty of this paper is that we follow the spirit of the $H^1$-estimate in [R. Hiptmair, A. Moiola and I. Perugia, Math. Models Methods Appl. Sci., 21(2011), pp. 2263-2287] and modi…
We study Maxwell's equations in time domain in an anisotropic medium. The goal of the paper is to solve an inverse boundary value problem for anisotropies characterized by scalar impedance $α$. This means that the material is conformal, i.e., the electric permittivity $ε$ and magnetic permeability $μ$ are tensors satisfying $μ=α^2ε$. This condition is equivalent to a single propagation speed of waves with different polarizations which uniquely defines an underlying Riemannian structure. The analysis is based on an invariant formulation of the system of electrodynamics as a Dirac type first ord…
The paper considers an inverse source problem for a one-dimensional time-fractional heat equation with the generalized impedance boundary condition. The inverse problem is the time dependent source parameter identification together with the temperature distrubution from the energy measurement. The well-posedness of the inverse problem is shown by applying the Fourier expansion in terms of eigenfunctions of a spectral problem which has the spectral parameter also in the boundary condition and by using the results on Volterra type integral equation with the kernel may have a diagonal singularity…
In this paper, we consider the direct and inverse problem for time-fractional diffusion in a domain with an impenetrable subregion. Here we assume that on the boundary of the subregion the solution satisfies a generalized impedance boundary condition. This boundary condition is given by a second order spacial differential operator imposed on the boundary. A generalized impedance boundary condition can be used to model corrosion and delimitation. The well-posedness for the direct problem is established where the Laplace Transform is used to study the time dependent boundary value problem. The i…
We consider the problem of determining an unaccessible part of the boundary of a conductor by mean of thermal measurements. We study a problem of corrosion where a Robin type condition is prescribed on the damaged part and we prove logarithmic stability estimate.
We deal with the problem of determining the shape of an inclusion embedded in a homogenous background medium. The multifre-quency electrical impedance tomography is used to image the inclusion. For different frequencies, a current is injected at the boundary and the resulting potential is measured. It turns out that the potential solves an elliptic equation in divergence form with discontinuous leading coefficient. For this inverse problem we aim to establish a logarithmic type stability estimate. The key point in our analysis consists in reducing the original problem to that of determining an…
We deal with the inverse scattering problem of determining the surface impedance of a partially coated obstacle. We prove a stability estimate of logarithmic type for the impedance term by the far field measurements.
We consider an inverse problem arising in corrosion detection. We prove a stability result of logarithmic type for the determination of the corroded portion of the boundary and impedance by two measurements on the accessible portion of the boundary.
For Maxwell operators $(E,H) \to (i ε^{-1} \nabla\times H, -i μ^{-1} \nabla \times E)$ in Lipschitz domains, we describe all m-dissipative boundary conditions and apply this result to generalized impedance and Leontovich boundary conditions including the cases of singular, degenerate, and randomized impedance coefficients. To this end we construct Riesz bases in the trace spaces associated with the curl-operator and introduce a modified version of boundary triple adapted for the specifics of Maxwell equations, namely, to the mixed-order duality of the related trace spaces. This provides a tran…
We prove a stability estimate of logarithmic type for the inverse problem consisting in the determination of the surface impedance of an obstacle from the scattering amplitude. We present a simple and direct proof which is essentially based on an elliptic Carleman inequality.
We prove a uniqueness theorem for an inverse boundary value problem for the Maxwell system with boundary data assumed known only in part of the bound- ary. We assume that the inaccessible part of the boundary is either part of a plane, or part of a sphere. This work generalizes the results obtained by Isakov for the Schrödinger equation to Maxwell equations.
We consider the inverse problem of determining the isotropic inhomogeneous electromagnetic coefficients of the non-stationary Maxwell equations in a bounded domain of R^3, from a finite number of boundary measurements. Our main result is a Hölder stability estimate for the inverse problem, where the measurements are exerted only in some boundary components. For it, we prove a global Carleman estimate for the heterogeneous Maxwell's system with boundary conditions.
We study an inverse acoustic scattering problem in half-space with a probabilistic impedance boundary value condition. The Robin coefficient (surface impedance) is assumed to be a Gaussian random function $λ= λ(x)$ with a pseudodifferential operator describing the covariance. We measure the amplitude of the backscattered field averaged over the frequency band and assume that the data is generated by a single realization of $λ$. Our main result is to show that under certain conditions the principal symbol of the covariance operator of $λ$ is uniquely determined. Most importantly, no approximati…
In this article we consider an inverse boundary value problem for the time-harmonic Maxwell equations. We show that the electromagnetic material parameters are determined by boundary measurements where part of the boundary data is measured on a possibly very small set. This is an extension of earlier scalar results of Bukhgeim-Uhlmann and Kenig-Sjöstrand-Uhlmann to the Maxwell system. The main contribution is to show that the Carleman estimate approach to scalar partial data inverse problems introduced in those works can be carried over to the Maxwell system.
We consider an inverse boundary value problem for Maxwell's equations, which aims to recover the electromagnetic material properties of a body from measurements on the boundary. We show that a Lipschitz continuous conductivity, electric permittivity, and magnetic permeability are uniquely determined by knowledge of all tangential electric and magnetic fields on the boundary of the body at a fixed frequency.
In the current paper we consider an inverse boundary value problem of electromagnetism in a nonlinear Kerr medium. We show the unique determination of the electromagnetic material parameters and the nonlinear susceptibility parameters of the medium by making electromagnetic measurements on the boundary. We are interested in the case of the time-harmonic Maxwell equations.
We consider two inverse boundary value problems for the time-harmonic Maxwell equations in an infinite slab. Assuming that tangential boundary data for the electric and magnetic fields at a fixed frequency is available either on subsets of one boundary hyperplane, or on subsets of different boundary hyperplanes, we show that the electromagnetic material parameters, the conductivity, electric permittivity, and magnetic permeability, are uniquely determined by these partial measurements.
This paper presents a mathematical framework for a flexible pressure-sensor model using electrical impedance tomography (EIT). When pressure is applied to a conductive membrane patch with clamped boundary, the pressure-induced surface deformation results in a change in the conductivity distribution. This change can be detected in the current-voltage data ({\it i.e.,} EIT data) measured on the boundary of the membrane patch. Hence, the corresponding inverse problem is to reconstruct the pressure distribution from the data. The 2D apparent conductivity (in terms of EIT data) corresponding to the…
This work is concerned with an inverse electromagnetic scattering problem in two dimensions. We prove that in the TE polarization case, the knowledge of the electric far-field pattern incited by a single incoming wave is sufficient to uniquely determine the shape of a penetrable scatterer of rectangular type. As a by-product, the uniqueness is also confirmed to inverse transmission problems modelled by scalar Helmholtz equations with discontinuous normal derivatives at the scattering interface. Keywords: Uniqueness, inverse medium scattering, Maxwell equations, one incoming wave, shape identif…
In the current paper we consider an inverse boundary value problem of electromagnetism with nonlinear Second Harmonic Generation (SHG) process. We show the unique determination of the electromagnetic material parameters and the SHG susceptibility parameter of the medium by making electromagnetic measurements on the boundary. We are interested in the case when a frequency is fixed.
We consider Calderón's inverse boundary value problems for a class of nonlinear Helmholtz Schrödinger equations and Maxwell's equations in a bounded domain in $\R^n$. The main method is the higher-order linearization of the Dirichlet-to-Neumann map of the corresponding equations. The local uniqueness of the linearized partial data Calderón's inverse problem is obtained following \cite{DKSU}. The Runge approximation properties and unique continuation principle allow us to extend to global situations. Simultaneous recovery of some unknown cavity$/$boundary and coefficients are given as some appl…
This paper concerns the quantitative step of the medical imaging modality Thermo-acoustic Tomography (TAT). We model the radiation propagation by a system of Maxwell's equations. We show that the index of refraction of light and the absorption coefficient (conductivity) can be uniquely and stably reconstructed from a sufficiently large number of TAT measurements. Our method is based on verifying that the linearization of the inverse problem forms a redundant elliptic system of equations. We also observe that the reconstructions are qualitatively quite different from the setting where radiation…
In this paper, we give probabilistic interpretations of both, the forward and the inverse problem of electrical impedance tomography with possibly anisotropic, merely measurable conductivities: Using the theory of symmetric Dirichlet spaces, Feynman-Kac type formulae corresponding to different electrode models on bounded Lipschitz domains are derived. Moreover, we give a probabilistic interpretation of the Calderón inverse conductivity problem in terms of reflecting diffusion processes and their corresponding boundary trace processes.
Pride (1994, Phys. Rev. B 50 15678-96) derived the governing model of electroseismic conversion, in which Maxwell's equations are coupled with Biot's equations through an electrokinetic mobility parameter. The inverse problem of electroseismic conversion was first studied by Chen and Yang (2013, Inverse Problem 29 115006). By following the construction of Complex Geometrical Optics (CGO) solutions to a matrix \Schrodinger equation introduced by Ola and Somersalo (1996, SIAM J. Appl. Math. 56 No. 4 1129-1145), we analyze the reconstruction of conductivity, permittivity and the electrokinetic mo…
This paper concerns the imaging of a complex-valued anisotropic tensor γ = σ+ιωε from knowledge of several inter magnetic fields H where H satisfies the anisotropic Maxwell system on a bounded domain with prescribed boundary conditions. We show that γ can be uniquely reconstructed with a loss of two derivatives from errors in the acquisition H. A minimum number of five well-chosen functionals guaranties a local reconstruction of γ in dimension two. The explicit inversion procedure is presented in several numerical simulations, which demonstrate the influence of the choice boundary conditions o…
The multifrequency electrical impedance tomography is considered in order to image a conductivity inclusion inside a homogeneous background medium by injecting one current. An original spectral decomposition of the solution of the forward conductivity problem is used to retrieve the Cauchy data corresponding to the extreme case of perfect conductor. Using results based on the unique continuation we then prove the uniqueness of multifrequency electrical impedance tomography and obtain rigorous stability estimates. Our results in this paper are quite surprising in inverse conductivity problem si…
The inverse problem of electrical impedance tomography is severely ill-posed. In particular, the resolution of images produced by impedance tomography deteriorates as the distance from the measurement boundary increases. Such depth dependence can be quantified by the concept of distinguishability of inclusions. This paper considers the distinguishability of perfectly conducting ball inclusions inside a unit ball domain, extending and improving known two-dimensional results to an arbitrary dimension $d \geq 2$ with the help of Kelvin transformations. The obtained depth-dependent distinguishabil…
This paper considers a class of nonlinear time harmonic Maxwell systems at fixed frequency, with nonlinear terms taking the form $\mathscr{X}(x,|\vec E(x)|^2)\vec E(x)$, $\mathscr{Y}(x,|\vec H(x)|^2)\vec H(x)$, such that $\mathscr{X}(x,s)$, $\mathscr{Y}(x,s)$ are both real analytic in $s$. Such nonlinear terms appear in nonlinear optics theoretical models. Under certain regularity conditions, it can be shown that boundary measurements of tangent components of the electric and magnetic fields determine the electric permittivity and magnetic permeability functions as well as the form of the nonl…
We consider a linearised inverse conductivity problem for electromagnetic waves in a three dimensional bounded domain at a high time-harmonic frequency. Increasing stability bounds for the conductivity coefficient in the full Maxwell system and in a simplified transverse electric mode are derived. These bounds contain a Lipschitz term with a factor growing polynomially in terms of the frequency, a Holder term, and a logarithmic term which decays with respect to the frequency as a power. To validate this increasing stability numerically, we propose a reconstruction algorithm aiming at the recov…
This paper is concerned with an inverse random source problem for the three-dimensional time-harmonic Maxwell equations. The source is assumed to be a centered complex-valued Gaussian vector field with correlated components, and its covariance operator is a pseudo-differential operator. The well-posedness of the direct source scattering problem is established and the regularity of the electromagnetic field is given. For the inverse source scattering problem, the micro-correlation strength matrix of the covariance operator is shown to be uniquely determined by the high frequency limit of the ex…
This paper is concerned with analysis of electromagnetic wave scattering by an obstacle which is embedded in a two-layered lossy medium separated by an unbounded rough surface. Given a dipole point source, the direct problem is to determine the electromagnetic wave field for the given obstacle and unbounded rough surface; the inverse problem is to reconstruct simultaneously the obstacle and unbounded rough surface from the electromagnetic field measured on a plane surface above the obstacle. For the direct problem, a new boundary integral equation is proposed and its well-posedness is establis…
In this paper, we use the theory of symmetric Dirichlet forms to derive Feynman-Kac formulae for the forward problem of electrical impedance tomography with possibly anisotropic, merely measurable conductivities corresponding to different electrode models on bounded Lipschitz domains. Subsequently, we employ these Feynman-Kac formulae to rigorously justify stochastic homogenization in the case of a stochastic boundary value problem arising from an inverse anomaly detection problem. Motivated by this theoretical result, we prove an estimate for the speed of convergence of the projected mean-squ…
We consider the unique determinations of impenetrable obstacles or diffraction grating profiles in $\mathbb{R}^3$ by a single far-field measurement within polyhedral geometries. We are particularly interested in the case that the scattering objects are of impedance type. We derive two new unique identifiability results for the inverse scattering problem in the aforementioned two challenging setups. The main technical idea is to exploit certain quantitative geometric properties of the Laplacian eigenfunctions which were initiated in our recent works [8,9]. In this paper, we derive novel geometr…
We discuss the inverse problem of determining the possible presence of an (n-1)-dimensional crack Σin an n-dimensional body Ωwith n > 2 when the so-called Dirichlet-to-Neumann map is given on the boundary of Ω. In combination with quantitative unique continuation techniques, an optimal single-logarithm stability estimate is proven by using the singular solutions method. Our arguments also apply when the Neumann-to-Dirichlet map or the local versions of the D-N and the N-D map are available.
Assigning boundary conditions, such as acoustic impedance, to the frequency domain thermoviscous wave equations (TWE), derived from the linearized Navier-Stokes equations (LNSE) poses a Helmholtz problem, solution to which yields a discrete set of complex eigenfunctions and eigenvalue pairs. The proposed method -- the inverse Helmholtz solver (iHS) -- reverses such procedure by returning the value of acoustic impedance at one or more unknown impedance boundaries (IBs) of a given domain, via spatial integration of the TWE for a given real-valued frequency with assigned conditions on other bound…
This paper concerns the reconstruction of a complex-valued anisotropic tensor $γ=σ+ıω\varepsilon$ from knowledge of several internal magnetic fields $H$, where $H$ satisfies the anisotropic Maxwell system on a bounded domain with prescribed boundary conditions. We show that $γ$ can be uniquely reconstructed with a loss of two derivatives from errors in the acquisition of $H$. A minimum number of 6 such functionals is sufficient to obtain a local reconstruction of $γ$. In the special case where $γ$ is close to a scalar tensor, boundary conditions are chosen by means of complex geometric optics …
This paper is concerned with the scattering problem for time-harmonic electromagnetic waves, due to the presence of scatterers and of inhomogeneities in the medium. We prove a sharp stability result for the solutions to the direct electromagnetic scattering problem, with respect to variations of the scatterer and of the inhomogeneity, under minimal regularity assumptions for both of them. The stability result leads to uniform bounds on solutions to the scattering problems for an extremely general class of admissible scatterers and inhomogeneities. The uniform bounds are a key step to tackle th…
In this paper, we derive a Sampling Method to solve the inverse shape problem of recovering an inclusion with a generalized impedance condition from electrostatic Cauchy data. The generalized impedance condition is a second-order differential operator applied to the boundary of the inclusion. We assume that the Dirichlet-to-Neumann mapping is given from measuring the current on the outer boundary from an imposed voltage. A simple numerical example is given to show the effectiveness of the proposed inversion method for recovering the inclusion. We also consider the inverse impedance problem of …
In our earlier paper [9], it is proved that a homogeneous rigid, traction or impedance condition on one or two intersecting line segments together with a certain zero point-value condition implies that the solution to the Lamé system must be identically zero, which is referred to as the generalized Holmgren principle (GHP). The GHP enables us to solve a longstanding inverse scattering problem of determining a polygonal elastic obstacle of general impedance type by at most a few far-field measurements. In this paper, we include all the possible physical boundary conditions from linear elasticit…
Several newly developing hybrid imaging methods (e.g., those combining electrical impedance or optical imaging with acoustics) enable one to obtain some auxiliary interior information (usually some combination of the electrical conductivity and the current) about the parameters of the tissues. This information, in turn, happens to stabilize the exponentially unstable and thus low resolution optical and electrical impedance tomography. Various known instances of this effect have been studied individually. We show that there is a simple general technique (covering all known cases) that shows wha…
When a porous rock is saturated with an electrolyte, electrical fields are coupled with seismic waves via the electro-seismic conversion. Pride derived the governing models, in which Maxwell equations are coupled with Biot equations through the electro-kinetic mobility parameter. The inverse problem of the linearized electro-seismic conversion consists in two step, namely the inversion of Biot equations and the inversion of Maxwell equations. We analyze the reconstruction of conductivity and electro-kinetic mobility parameter in Maxwell equations with internal measurements, while the internal …
We give formulas and equations for finding generalized scattering data for the Schrödinger equation in open bounded domain at fixed energy from the impedance boundary map (or Robin-to-Robin map). Combining these results with results of the inverse scattering theory we obtain efficient methods for reconstructing potential from the impedance boundary map.
The inverse problem of electrical impedance tomography is severely ill-posed, meaning that, only limited information about the conductivity can in practice be recovered from boundary measurements of electric current and voltage. Recently it was shown that a simple monotonicity property of the related Neumann-to-Dirichlet map can be used to characterize shapes of inhomogeneities in a known background conductivity. In this paper we formulate a monotonicity-based shape reconstruction scheme that applies to approximative measurement models, and regularizes against noise and modelling error. We dem…
It is proved that a connected polygonal obstacle coated by thin layers together with its surface impedance function can be determined uniquely from the far field pattern of a single incident plane wave. Our proof is based on the Schwarz reflection principle for the Helmholtz equation satisfying the impedance boundary condition on a flat boundary.
We consider for the full time-dependent Maxwell's equations the inverse problem of identifying locations and certain properties of small electromagnetic inhomogeneities in a homogeneous background medium from dynamic boundary measurements on the boundary for a finite time interval.
The purpose of this paper is to propose a non-iterative method for the inverse conductivity problem of recovering multiple small anomalies from the boundary measurements. When small anomalies are buried in a conducting object, the electric potential values inside the object can be expressed by integrals of densities with a common sparse support on the location of anomalies. Based on this integral expression, we formulate the reconstruction problem of small anomalies as a joint sparse recovery and present an efficient non-iterative recovery algorithm of small anomalies. Furthermore, we also pro…
