inverse obstacle scattering for Maxwell’s equations in an unbounded structure
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 established. The analysis is based on the exponential decay of the dyadic Green function for Maxwell’s equations in a lossy medium. For the inverse problem, the global uniqueness is proved and a local stability is discussed. A crucial step in the proof of the stability is to obtain the existence and characterization of the domain derivative of the electric field with respect to the shape of the obstacle and unbounded rough surface.
Key words. Maxwell’s equations, inverse scattering problem, unbounded rough surface, domain derivative, uniqueness, local stability
AMS subject classifications. 78A46, 78M30
Consider the electromagnetic scattering of a dipole point source illumination by an obstacle which is embedded in a two-layered medium separated by an unbounded rough surface in three dimensions. An obstacle is referred to as an impenetrable medium which has a bounded closed surface; an unbounded rough surface stands for a nonlocal perturbation of an infinite plane surface such that the perturbed surface lies within a finite distance of the original plane. Given the dipole point source, the direct problem is to determine the electromagnetic wave field for the known obstacle and unbounded rough surface; the inverse problem is to reconstruct both of the obstacle and the unbounded rough surface, from the measured wave field. The scattering problems arise from diverse scientific areas such as radar and sonar, geophysical exploration, nondestructive testing, and medical imaging. In particular, the obstacle scattering in unbounded structures has significant applications in radar based object recognition above the sea surface and detection of underwater or underground mines.
As a fundamental problem in scattering theory, the obstacle scattering problem, where the obstacle is embedded in a homogeneous medium, has been examined extensively by numerous researchers. The details can be found in the monographs [6, 27] and [5, 7, 16] on the mathematical and numerical studies of the direct and inverse problems, respectively. The unbounded rough surface scattering problems have also been widely examined in both of the mathematical and engineering communities. We refer to [8, 12, 15, 25, 28, 29, 30, 31, 33] for various solution methods including mathematical, computational, approximate, asymptotic, and statistical methods. The scattering problems in unbounded structures are quite challenging due to two major issues: the usual Silver–Müller radiation condition is no longer valid; the Fredholm alternative argument does not apply due to the lack of compactness result. The mathematical analysis can be found in [10, 11, 18, 22, 32] and [13, 20, 23] on the well-posedness of the two-dimensional Helmholtz equation and the three-dimensional Maxwell equations, respectively. The inverse problems have also been considered mathematically and computationally for unbounded rough surfaces in [1, 2, 3, 24].
In this paper, we study the electromagnetic obstacle scattering for the three-dimensional Maxwell equations in an unbounded structure. Specifically, we consider the illumination of a time-harmonic electromagnetic wave, generated from a dipole point source, onto a perfectly electrically conducting obstacle which is embedded in a two-layered medium separated by an unbounded rough surface. The obstacle is located either above or below the surface and may have multiple disjoint components. For simplicity of presentation, we assume that the obstacle has only one component and is located above the surface. The free spaces are assumed to be filled with some homogeneous and lossy materials accounting for the energy absorption. The problem has received much attention and many computational work have been done in the engineering community [14, 17, 19]. However, the rigorous analysis is very rare, especially for the three-dimensional Maxwell equations.
In this work, we introduce an energy decaying condition to replace the Silver–Müller radiation condition in order to ensure the uniqueness of the solution. The asymptotic behaviour of dyadic Green’s function is analyzed and plays an important role in the analysis for the well-posedness of the direct problem. A new boundary integral equation is proposed for the associated boundary value problem. Based on some energy estimates, the uniqueness of the solution for the scattering problem is established. For the inverse problem, we intend to answer the following question: what information can we extract about the obstacle and the unbounded rough surface from the tangential trace of the electric field measured on the plane surface above the obstacle? The first result is a global uniqueness theorem. We show that any two obstacles and unbounded rough surfaces are identical if they generate the same data. The proof is based on a combination of the Holmgren uniqueness, unique continuation, and a construction of singular perturbation. The second result is concerned with a local stability: if two obstacles are “close” and two unbounded rough surfaces are also “close”, then for any , the measurements of the two tangential trace of the electric fields being -close implies that both of the two obstacles and the two unbounded rough surfaces are -close. A crucial step in the stability proof is to obtain the existence and characterization of the domain derivative of the electric field with respect to the shape of the obstacle and unbounded rough surface.
The paper is organized as follows. In Section 2, we introduce the model problem and present some asymptotic analysis for dyadic Green’s function of the Maxwell equations. Section 3 is devoted to the well-posedness of the direct scattering problem. An equivalent integral representation is proposed for the boundary value problem. A new boundary integral equation is developed and its well-posedness is established. In Sections 4 and 5, we discuss the global uniqueness and local stability of the inverse problem, respectively. The domain derivative is studied. The paper is concluded with some general remarks in Section 6.
2 Problem formulation
Let us first specify the problem geometry which is shown in Figure LABEL:pg. Let be an unbounded rough surface given by
where . The surface divides into and , where
Let be a bounded obstacle with boundary . The obstacle is assumed to be a perfect electrical conductor which is located either in or in . For instance, we may assume that . Define . The domain is assumed to be filled with some homogeneous, isotropic, and absorbing medium which may be characterized by the dielectric permittivity , the magnetic permeability , and the electric conductivity , .
In , the electromagnetic waves satisfy the time-harmonic Maxwell equations (time dependence ):
where is the angular frequency, , , denote the electric field, the magnetic field, the electric current density, respectively, and is the electric charge density. The external current source is assumed to be located in . The relation between the electric current density and the electric field is given by
where stands for the current source.
Using the above constitutive relation, we obtain coupled systems
Eliminating the magnetic field in (LABEL:EHeq1), we obtain a decoupled equation for the electric field :
Similarly, it follows from (LABEL:EHeq2) that we may deduce a decoupled Maxwell system for the electric field :
Here is the wave number in . Since are positive constants, is a complex constant with which accounts for the energy absorption.
By the perfect conductor assumption for the obstacle, it holds that
where denotes the unit normal vector on the boundary directed into the exterior of . The usual continuity conditions need to be imposed, i.e., the tangential traces of the electric and magnetic fields are continuous across :
where denotes the unit normal vector on pointing from to .
The incident electromagnetic fields satisfy Maxwell’s equations
In , the total electromagnetic fields consist of the incident fields and the scattered fields . In , the electromagnetic fields are called the transmitted fields.
In addition, we propose an energy decaying condition
where denotes the hemisphere of radius above or below .
The dyadic Green function is defined by the solution of the following equation
where is the unitary dyadic and is the Dirac delta function. It is known that the dyadic Green function is given by
We assume that the dipole point source is located at and has a polarization , . Induced by this dipole point source, the incident electromagnetic fields are
Hence the current source satisfies
Denote by the set of functions . The direct scattering problem can be stated as follows.
Given the incident field in (LABEL:PSEi), the direct problem is to determine and such that
The electric fields and satisfy (LABEL:Eeq1) and (LABEL:Eeq2), respectively;
The electric field satisfies the boundary condition (LABEL:EBCS1);
The electromagnetic fields satisfy (LABEL:EBCS);
The scattered fields and the transmitted fields satisfy the radiation conditions (LABEL:EsIRC) and (LABEL:E2IRC), respectively.
It requires to study the dyadic Green function in order to find the integral representation of the solution for the scattering problem. The details may be found in  on the general properties of the dyadic Green function.
For each fixed , the dyadic Green function given in (LABEL:G) admits the asymptotic behaviour
where and .
where , we have
uniformly for all satisfying . By (LABEL:EL02-2), for , we obtain for that
which completes the proof.
We introduce some Banach spaces. For , denote by the set of bounded and continuous functions on , which is a Banach space under the norm
For , denote by the Banach space of functions which are uniformly Hölder continuous with exponent . The norm is defined by
Let which is a Banach space under the norm
3 Well-posedness of the direct problem
In this section, we show the existence and uniqueness of the solution to Problem LABEL:SP by using the boundary integral equation method. First we derive an integral representation for the solution of Problem LABEL:SP using dyadic Green’s theorem combined with the radiation conditions (LABEL:EsIRC) and (LABEL:E2IRC).
Let the fields be the solution of Problem LABEL:SP, then have the integral representations
Proof. Let . Denote with the boundary , where and . For each fixed , applying the vector dyadic Green second theorem to and in the region , we obtain
where stands for the unit normal vector at pointing out of .
It follows from (LABEL:Eeq1) and (LABEL:G1eq) that
Hence, letting , with the aid of (LABEL:ET1-1)–(LABEL:ET1-3), we have
Following Lemma LABEL:EL02 and (LABEL:EsIRC)–(LABEL:E2IRC), we obtain for that
By Lemma LABEL:EL02 and the definition of incident field , we have for that
Using (LABEL:ET1-4)–(LABEL:ET1-6) and conditions (ii), (iv) in Problem LABEL:SP, and letting , we have for each fixed that
Similarly, for each fixed , we have
are to be understood in the sense of uniform convergence on , and .
Finally, from the jump relations and (LABEL:EBCS1), we note that the integral representations (LABEL:E1)–(LABEL:E2) lead to the boundary integral equations:
Hence, the electric fields satisfy the boundary integral equations (LABEL:E1S)–(LABEL:E2S) and the continuity conditions
which completes the proof.
To show the well-posedness of the boundary integral equations (LABEL:E1S)–(LABEL:E2S), we introduce the normed subspace of continuous tangential fields
and the normed space of uniformly Hölder continuous tangential fields
We consider the integral operator defined by
and the integral operator defined by
For each , define the truncated operator by
and the operator by