Abstract
In the previous chapter, we considered the direct scattering problem for acoustic waves in an inhomogeneous medium. We now consider the case of electromagnetic waves. However, our aim is not to simply prove the electromagnetic analogue of each theorem in Chap. 8 but rather to select the basic ideas of the previous chapter, extend them when possible to the electromagnetic case, and then consider some themes that were not considered in Chap. 8, but ones that are particularly relevant to the case of electromagnetic waves. In particular, we shall consider two simple problems, one in which the electromagnetic field has no discontinuities across the boundary of the medium and the second where the medium is an imperfect conductor such that the electromagnetic field does not penetrate deeply into the body. This last problem is an approximation to the more complicated transmission problem for a piecewise constant medium and leads to what is called the exterior impedance problem for electromagnetic waves.
Access provided by Autonomous University of Puebla. Download chapter PDF
In the previous chapter, we considered the direct scattering problem for acoustic waves in an inhomogeneous medium. We now consider the case of electromagnetic waves. However, our aim is not to simply prove the electromagnetic analogue of each theorem in Chap. 8 but rather to select the basic ideas of the previous chapter, extend them when possible to the electromagnetic case, and then consider some themes that were not considered in Chap. 8, but ones that are particularly relevant to the case of electromagnetic waves. In particular, we shall consider two simple problems, one in which the electromagnetic field has no discontinuities across the boundary of the medium and the second where the medium is an imperfect conductor such that the electromagnetic field does not penetrate deeply into the body. This last problem is an approximation to the more complicated transmission problem for a piecewise constant medium and leads to what is called the exterior impedance problem for electromagnetic waves.
After a brief discussion of the physical background to electromagnetic wave propagation in an inhomogeneous medium, we show existence and uniqueness of a solution to the direct scattering problem for electromagnetic waves in an inhomogeneous medium. By means of a reciprocity relation for electromagnetic waves in an inhomogeneous medium, we then show that, for a conducting medium, the set of electric far field patterns corresponding to incident time-harmonic plane waves moving in arbitrary directions is complete in the space of square integrable tangential vector fields on the unit sphere. However, we show that this set of far field patterns is in general not complete for a dielectric medium. Finally, we establish the existence and uniqueness of a solution to the exterior impedance problem and show that the set of electric far field patterns is again complete in the space of square integrable tangential vector fields on the unit sphere. These results for the exterior impedance problem will be used in the next chapter when we discuss the inverse scattering problem for electromagnetic waves in an inhomogeneous medium. We note, as in the case of acoustic waves, that our ideas and methods can be extended to more complicated scattering problems involving discontinuous fields, piecewise continuous refractive indexes, etc. but, for the sake of clarity and brevity, we do not consider these more general problems in this book.
9.1 Physical Background
We consider electromagnetic wave propagation in an inhomogeneous isotropic medium in with electric permittivity ε = ε(x) > 0, magnetic permeability μ = μ 0, and electric conductivity σ = σ(x) where μ 0 is a positive constant. We assume that ε(x) = ε 0 and σ(x) = 0 for all x outside some sufficiently large ball where ε 0 is a constant. Then if J is the current density, the electric field \(\mathcal {E}\) and magnetic field \(\mathcal {H}\) satisfy the Maxwell equations, namely
Furthermore, in an isotropic conductor, the current density is related to the electric field by Ohm’s law
For most metals, σ is very large and hence it is often reasonable in many theoretical investigations to approximate a metal by a fictitious perfect conductor in which σ is taken to be infinite. However, in this chapter, we shall assume that the inhomogeneous medium is not a perfect conductor, i.e., σ is finite. If σ is nonzero, the medium is called a conductor, whereas if σ = 0 the medium is referred to as a dielectric.
We now assume that the electromagnetic field is time-harmonic, i.e., of the form
where ω is the frequency. Then from (9.1) and (9.2) we see that E and H satisfy the time-harmonic Maxwell equations
in where the (positive) wave number k is defined by k 2 = ε 0 μ 0 ω 2 and the refractive index n = n(x) is given by
In order to be able to formulate an integral equation of Lippmann–Schwinger type for the direct scattering problem we assume that for some 0 < α < 1 and, as usual, that m := 1 − n has compact support. As in the previous chapter, we define . For an integral equation formulation of the direct scattering problem in the case when n is discontinuous across ∂D we refer the reader to [241].
We consider the following scattering problem for (9.3). Let be a solution of the Maxwell equations for a homogeneous medium
in all of . We then want to find a solution of (9.3) in such that if
the scattered field E s, H s satisfies the Silver–Müller radiation condition
uniformly for all directions x∕|x| where r = |x|.
For the next three sections of this chapter, we shall be concerned with the scattering problem (9.3)–(9.6). The existence and uniqueness of a solution to this problem were first given by Müller [332] for the more general case when μ = μ(x). The proof simplifies considerably for the case we are considering, i.e., μ = μ 0, and we shall present this proof in the next section.
9.2 Existence and Uniqueness
Under the assumptions given in the previous section for the refractive index n, we shall show in this section that there exists a unique solution to the scattering problem (9.3)–(9.6). Our analysis follows that of Colton and Kress [99] and is based on reformulating (9.3)–(9.6) as an integral equation. We first prove the following theorem, where
as usual, denotes the fundamental solution to the Helmholtz equation and
Theorem 9.1
Let be a solution of the scattering problem (9.3)–(9.6). Then E satisfies the integral equation
Proof
Let be an arbitrary point and choose an open ball B with unit outward normal ν such that B contains the support of m and x ∈ B. From the Stratton–Chu formula (6.5) applied to E, H, we have
since \( \mathop {\mathrm {curl}} \nolimits H +ikE=ikmE\) and \(n \mathop {\mathrm {div}} \nolimits E= - \mathop {\mathrm {grad}} \nolimits n\cdot E\). Note that in the volume integrals over B we can integrate over all of since m has support in B. The Stratton–Chu formula applied to E i, H i gives
Finally, from the version of the Stratton–Chu formula corresponding to Theorem 6.7, we see that
With the aid of E = E i + E s, H = H i + H s we can now combine (9.8)–(9.10) to conclude that (9.7) is satisfied. □
We now want to show that every solution of the integral equation (9.7) is also a solution to (9.3)–(9.6).
Theorem 9.2
Let be a solution of the integral equation (9.7). Then E and \(H: = \mathop {\mathrm {curl}} \nolimits E /ik\) are a solution of (9.3)–(9.6).
Proof
Since m has compact support, from Theorem 8.1 we can conclude that if is a solution of (9.7) then . Hence, by the relation \( \mathop {\mathrm {grad}} \nolimits _x \varPhi (x,y)=- \mathop {\mathrm {grad}} \nolimits _y \varPhi (x,y)\), Gauss’ divergence theorem and Theorem 8.1, we have
and
for . Taking the divergence of (9.7) and using (9.11) and (9.12), we see that
satisfies the integral equation
Hence, from Theorems 8.3 and 8.7 we can conclude that u(x) = 0 for , that is,
Therefore, the integral equation (9.7) can be written in the form
and thus for \(H:= \mathop {\mathrm {curl}} \nolimits E /ik\) we have
In particular, by Theorem 8.1 this implies since . We now use the vector identity (6.4), the Maxwell equations (9.4), and (9.11), (9.13)–(9.15) to deduce that
for . Therefore E, H satisfy (9.3). Finally, the decomposition (9.5) and the radiation condition (9.6) follow readily from (9.7) and (9.15) with the aid of (2.15) and (6.26). □
We note that in (9.7) we can replace the region of integration by any domain G such that the support of m is contained in \(\bar {G}\) and look for solutions in \(C(\bar {G})\). Then for we define E(x) by the right-hand side of (9.7) and obviously obtain a continuous solution to (9.7) in all of .
In order to show that (9.7) is uniquely solvable we need to establish the following unique continuation principle for the Maxwell equations.
Theorem 9.3
Let G be a domain in and let E, H ∈ C 1(G) be a solution of
in G such that n ∈ C 1, α(G). Suppose E, H vanishes in a neighborhood of some x 0 ∈ G. Then E, H is identically zero in G.
Proof
From the representation formula (9.8) and Theorem 8.1, since by assumption n ∈ C 1, α(G), we first can conclude that E ∈ C 1, α(B) for any ball B with \(\bar B \subset G\). Then, using \( \mathop {\mathrm {curl}} \nolimits E=ikH\) from (9.8) we have H ∈ C 2, α(B) whence, in particular, H ∈ C 2(G) follows.
Using the vector identity (6.4), we deduce from (9.16) that
and the proof is completed by applying Lemma 8.5 to the real and imaginary parts of the Cartesian components of H. □
Theorem 9.4
The scattering problem (9.3)–(9.6) has at most one solution E, H in .
Proof
Let E, H denote the difference between two solutions. Then E, H clearly satisfy the radiation condition (9.6) and the Maxwell equations for a homogeneous medium outside some ball B containing the support of m. From Gauss’ divergence theorem and the Maxwell equations (9.3), denoting as usual by ν the exterior unit normal to B, we have that
and hence
Hence, by Theorem 6.11, we can conclude that E(x) = H(x) = 0 for . By Theorem 9.3 the proof is complete. □
We are now in a position to show that there exists a unique solution to the electromagnetic scattering problem.
Theorem 9.5
The scattering problem (9.3)–(9.6) for an inhomogeneous medium has a unique solution and the solution E, H depends continuously on the incident field E i, H i with respect to the maximum norm.
Proof
By Theorems 9.2 and 9.4, it suffices to prove the existence of a solution to (9.7). As in the proof of Theorem 8.7, it suffices to look for solutions of (9.7) in an open ball B containing the support of m. We define an electromagnetic operator \(T_e:C(\bar {B})\to C(\bar {B})\) on the Banach space of continuous vector fields in \(\bar {B}\) by
Since T e has a weakly singular kernel it is a compact operator. Hence, we can apply the Riesz–Fredholm theory and must show that the homogeneous equation corresponding to (9.7) has only the trivial solution. If this is done, Eq. (9.7) can be solved and the inverse operator (I − T e)−1 is bounded. From this it follows that E, H depend continuously on the incident field with respect to the maximum norm.
By Theorem 9.2, a continuous solution E of E − T e E = 0 solves the homogeneous scattering problem (9.3)–(9.6) with E i = 0 and hence, by Theorem 9.4, it follows that E = 0. The theorem is now proved. □
9.3 The Far Field Patterns
We now want to examine the far field patterns of the scattering problem (9.3)–(9.6) where the refractive index n = n(x) again satisfies the assumptions of Sect. 9.1.
As in Sect. 6.6 the incident electromagnetic field is given by the plane wave described by the matrices E i(x, d) and H i(x, d) defined by
where d is a unit vector giving the direction of propagation and is a constant vector giving the polarization. Because of the linearity of the direct scattering problem with respect to the incident field, we can also express the scattered waves by matrices. From Theorem 6.9, we see that
where E ∞ is the electric far field pattern. Furthermore, from (6.88) and Green’s vector theorem (6.3), we can immediately deduce the following reciprocity relation.
Theorem 9.6
Let E ∞ be the electric far field pattern of the scattering problem (9.3)–(9.6) and (9.19). Then for all vectors \(\hat {x} , d \in {\mathbb {S}^2}\) we have
Motivated by our study of acoustic waves in Chap. 8, we now want to use this reciprocity relation to show the equivalence of the completeness of the set of electric far field patterns and the uniqueness of the solution to an electromagnetic interior transmission problem. In this chapter, we shall only be concerned with the homogeneous problem, defined as follows.
Homogeneous Electromagnetic Interior Transmission Problem
Find a solution \(E_0, E_1 , H_0 , H_1 \in C^1 (D) \cap C ( \bar D )\) of
satisfying the boundary condition
where again and where we assume that D is connected with a connected C 2 boundary.
In order to establish the connection between electric far field patterns and the electromagnetic interior transmission problem, we now recall the definition of the Hilbert space
of square integrable tangential fields on the unit sphere. Let {d n : n = 1, 2, … } be a countable dense set of unit vectors on \({\mathbb {S}^2}\) and consider the set \(\mathcal {F}\) of electric far field patterns defined by
where e 1, e 2, e 3 are the Cartesian unit coordinate vectors in . Recalling the definition of an electromagnetic Herglotz pair and Herglotz kernel given in Sect. 6.6, we can now prove the following theorem due to Colton and Päivärinta [122].
Theorem 9.7
A tangential vector field g is in the orthogonal complement \(\mathcal {F}^\bot \) of \(\mathcal {F}\) if and only if there exists a solution of the homogeneous electromagnetic interior transmission problem such that E 0, H 0 is an electromagnetic Herglotz pair with Herglotz kernel ikh where \(h(d)=\overline {g(-d)}\).
Proof
Suppose that \(g \in L_t^2( {\mathbb {S}^2} )\) satisfies
for n = 1, 2, … and j = 1, 2, 3. By the reciprocity relation, this is equivalent to
for all \(d \in {\mathbb {S}^2}\), i.e.,
for all \(\hat {x} \in {\mathbb {S}^2}\) where \(h (d) = \overline {g ( -d)}\). Analogous to Lemma 6.35, from the integral equation (9.7) it can be seen that the left-hand side of (9.23) represents the electric far field pattern of the scattered wave \(E_0^s,H_0^s\) corresponding to the incident wave \(E_0^i,H_0^i\) given by the electromagnetic Herglotz pair
Hence, (9.23) is equivalent to a vanishing far field pattern of \(E_0^s,H_0^s\) and thus, by Theorem 6.10, equivalent to \(E_0^s=H_0^s=0\) in , i.e., with \(E_0:=E_0^i,\,H_0:=H_0^i\) and \(E_1:=E_0^i+E_0^s,\,H_1:=H_0^i+H_0^s\) we have solutions to (9.21) satisfying the boundary condition (9.22). □
In the case of a conducting medium, i.e., \( \mathop {\mathrm {Im}} \nolimits n\neq 0\), we can use Theorem 9.7 to deduce the following result [122].
Theorem 9.8
In a conducting medium, the set \(\mathcal {F}\) of electric far field patterns is complete in \(L_t^2( {\mathbb {S}^2} )\).
Proof
Recalling that an electromagnetic Herglotz pair vanishes if and only if its Herglotz kernel vanishes (Theorem 3.27 and Definition 6.33), we see from Theorem 9.7 that it suffices to show that the only solution of the homogeneous electromagnetic interior transmission problem (9.21) and (9.22) is E 0 = E 1 = H 0 = H 1 = 0. However, analogous to (9.17), from Gauss’ divergence theorem and the Maxwell equations (9.21) we have
From these two equations, using the transmission conditions (9.22) we obtain
and taking the imaginary part of both sides gives
From this, we conclude by unique continuation that E 1 = H 1 = 0 in D. From (9.22) we now have vanishing tangential components of E 0 and H 0 on the boundary ∂D whence E 0 = H 0 = 0 in D follows from the Stratton–Chu formulas (6.8) and (6.9). □
In contrast to Theorem 9.8, the set \(\mathcal {F}\) of electric far field patterns is not in general complete for a dielectric medium. We shall show this for a spherically stratified medium in the next section.
We conclude this section with a short analysis of the far field operator \(F:L_t^2({\mathbb {S}}^2)\to L_t^2({\mathbb {S}}^2)\) defined by
and begin with an analog of Theorem 8.17.
Lemma 9.9
Let \(E_g^i,H_g^i\) and \(E_h^i,H_h^i\) be electromagnetic Herglotz pairs with kernels \(g, h \in L^2_t( {\mathbb {S}^2} )\) , respectively, and let E g, H g and E h, H h be the solutions of (9.4)–(9.6) with E i, H i equal to \(E_g^i,H_g^i\) and \(E_h^i,H_h^i\) , respectively. Then
where (⋅ , ⋅) denotes the inner product on \(L^2_t ({\mathbb {S}^2})\).
Proof
Noting that
and
from Green’s second vector integral theorem we obtain
Now the statement of the lemma follows from (6.103). □
Theorem 9.10
Assume that \( \mathop {\mathrm {Im}} \nolimits n=0\) . Then the far field operator F is compact and normal, i.e., FF ∗ = F ∗ F, and has an infinite number of eigenvalues.
Proof
Under the assumption \( \mathop {\mathrm {Im}} \nolimits n=0\) from Lemma 9.9 we have that
From this the normality of F follows analogous to the proof of Theorem 6.39 with the aid of the reciprocity relation in Theorem 9.6. By the uniqueness result contained in Theorem 9.7 the nullspace of F is either trivial or finite dimensional since by Remark 4.4 in [59] the transmission eigenvalues have finite multiplicity. From this the statement on the eigenvalues follows by the spectral theorem for compact normal operators (see [375]). □
Corollary 9.11
Assume that \( \mathop {\mathrm {Im}} \nolimits n=0\) . Then the scattering operator \(S:L_t^2({\mathbb {S}}^2)\to L_t^2({\mathbb {S}}^2)\) defined by
is unitary.
Proof
Analogous to the proof of Corollary 6.40. □
To conclude this section, with the aid of Lidski’s Theorem 8.15 we will extend the statement of Theorem 9.10 on the eigenvalues of F to the case where \( \mathop {\mathrm {Im}} \nolimits n\neq 0\). For this we note that the argument for showing that the far field operator F is a trace class operator (see p. 22) carries over from the acoustic case to the electromagnetic case.
Theorem 9.12
The far field operator F has an infinite number of eigenvalues.
Proof
In view of Theorem 9.10 we only need to consider the case where \( \mathop {\mathrm {Im}} \nolimits n\neq 0\). Recall that we assume that n(x) ≥ 0 for all x ∈ D.
We first show that in this case F is injective. From Fg = 0, by Rellich’s lemma and the unique continuation principle we conclude that the scattered wave for the solution E g, H g to (9.4)–(9.6) with E i, H i equal to the electromagnetic Herglotz pair \(E_g^i,H_g^i\) with kernel \(g \in L^2_t( {\mathbb {S}^2} )\) vanishes in . Therefore \(E_g=E_g^i\) and by Lemma 9.10 and again the unique continuation principle we obtain that \(E_g^i=0\) in , whence g = 0 follows by Theorem 3.27. By Lemma 9.9 we have that
for all \(g\in L^2_t( {\mathbb {S}^2} )\). Therefore the operator − iF satisfies the assumptions of Theorem 8.15 and the statement of the theorem follows. □
Corollary 9.13
If \( \mathop {\mathrm {Im}} \nolimits n \ne 0\) the eigenvalues of the far field operator F lie in the disk
whereas if \( \mathop {\mathrm {Im}} \nolimits n = 0\) they lie on the circle
in the complex plane.
Proof
This follows from Lemma 9.9 by setting g = h and Fg = λg. □
9.4 The Spherically Stratified Dielectric Medium
In this section, we shall consider the class \(\mathcal {F}\) of electric far field patterns for a spherically stratified dielectric medium. Our aim is to show that in this case there exist wave numbers k such that \(\mathcal {F}\) is not complete in \(L_t^2( {\mathbb {S}^2} )\). It suffices to show that when n(x) = n(r), r = |x|, \( \mathop {\mathrm {Im}} \nolimits n = 0\) and, as a function of r, n ∈ C 2, there exist values of k such that there exists a nontrivial solution to the homogeneous electromagnetic interior transmission problem
with the boundary condition
where E 0, H 0 is an electromagnetic Herglotz pair, where now B is an open ball of radius a with exterior unit normal ν and where \( \mathop {\mathrm {Im}} \nolimits n=0\). Analogous to the construction of the spherical vector wave functions in Theorem 6.26 from the scalar spherical wave functions, we will develop special solutions to the electromagnetic transmission problem (9.25) and (9.26) from solutions to the acoustic interior transmission problem
Assuming that the solutions w, v of (9.27) and (9.28) are three times continuously differentiable, we now define
Then, from the identity (6.4) together with
and (9.27) we have that
that is,
and similarly
Hence, E 1, H 1 and E 0, H 0 satisfy (9.25). From w − v = 0 on ∂B we have that
that is,
Finally, setting u = w − v in the relation
and using the boundary condition (9.28), we deduce that
is also valid. Hence, from a three times continuously differentiable solution w, v to the scalar transmission problem (9.27) and (9.28), via (9.29) we obtain a solution E 1, H 1 and E 0, H 0 to the electromagnetic transmission problem (9.25) and (9.26). Note, however, that in order to obtain a nontrivial solution through (9.29) we have to insist that w and v are not spherically symmetric.
We proceed as in Sect. 8.4 and, after introducing spherical coordinates (r, θ, φ), look for solutions to (9.27) and (9.28) of the form
where P l is Legendre’s polynomial, j l is a spherical Bessel function, a l and b l are constants to be determined, and the function y l is a solution of
for r > 0 such that y l is continuous for r ≥ 0. However, in contrast to the analysis of Sect. 8.4, we are only interested in solutions which are dependent on θ, i.e., in solutions for l ≥ 1. In particular, the ordinary differential equation (9.31) now has singular coefficients. We shall show that if n(r) > 1 for 0 ≤ r < a or 0 < n(r) < 1 for 0 ≤ r < a, then for each l ≥ 1 there exist an infinite set of values of k and constants a l = a l(k), b l = b l(k), such that (9.30) is a nontrivial solution of (9.27) and (9.28). From Sect. 6.6 we know that E 0, H 0, given by (9.29), is an electromagnetic Herglotz pair. Hence, by Theorem 9.7, for such values of k the set of electric far field patterns is not complete.
To show the existence of values of k such that (9.30) yields a nontrivial solution of (9.27) and (9.28), we need to examine the asymptotic behavior of solutions to (9.31). To this end, we use the Liouville transformation
to transform (9.31) to
where
Note that since n(r) > 0 for r ≥ 0 and n is in C 2, the transformation (9.32) is invertible and p is well defined and continuous for r > 0. In order to deduce the required asymptotic estimates, we rewrite (9.33) in the form
where
and note that since n(r) = 1 for r ≥ a we have
For λ > 0 we now define the functions E λ and M λ by
and
where J λ is the Bessel function, Y λ the Neumann function, and ξ λ is the smallest positive root of the equation
Note that ξ λ is less than the first positive zero of J λ. For the necessary information on Bessel and Neumann functions of nonintegral order we refer the reader to [86, 293]. We further define G λ by
where g is given by (9.35). Noting that for k > 0 and λ ≥ 0 we have that G λ is finite when r is finite, we can now state the following result from Olver [343, p. 450].
Theorem 9.14
Let k > 0 and l ≥−1∕2. Then (9.34) has a solution z which, as a function of ξ, is continuous in [0, ∞), twice continuously differentiable in (0, ∞), and is given by
where
and
In order to apply Theorem 9.14 to obtain an asymptotic estimate for a continuous solution y l of (9.31), we fix ξ > 0 and let k be large. Then for λ > 0 we have that there exist constants C 1 and C 2, both independent of k, such that
Hence, for z defined by (9.36) we have from Theorem 9.14, (9.37) and the asymptotics for the Bessel function J λ that
for fixed ξ > 0 and λ as defined in Theorem 9.14. Furthermore, it can be shown that the asymptotic expansion (9.38) can be differentiated with respect to ξ, the error estimate being \(O ( \ln k / k )\). Hence, from (9.32) and (9.38) we can finally conclude that if y l is defined by (9.32) then
where the asymptotic expansion for [n(r)]1∕4 y l(r) can be differentiated with respect to r, the error estimate being \(O ( \ln k / k )\).
We now note that, from the above estimates, w, as defined by (9.30), is a C 2 solution of Δw + k 2 n(r)w = 0 in B ∖{0} and is continuous in B. Hence, by the removable singularity theorem for elliptic differential equations (cf. [366],p. 104) we have that w ∈ C 2(B). Since , we can conclude from Green’s formula (8.14) and Theorem 8.1 that w ∈ C 3(B) and hence E 1 and H 1 are continuously differentiable in B.
We now return to the scalar interior transmission problem (9.27) and (9.28) and note that (9.30) will be a nontrivial solution provided there exists a nontrivial solution a l, b l of the homogeneous linear system
The system (9.40) will have a nontrivial solution provided the determinant of the coefficients vanishes, that is,
Recalling the asymptotic expansions (2.42) for the spherical Bessel functions, i.e.,
we see from (9.39) and (9.42) and the addition formula for the sine function that
Therefore, a sufficient condition for (9.41) to be valid for a discrete set of values of k is that either n(r) > 1 for 0 ≤ r < a or n(r) < 1 for 0 ≤ r < a. Hence we have the following theorem [122].
Theorem 9.15
Assume that \( \mathop {\mathrm {Im}} \nolimits n = 0\) and that n(x) = n(r) is spherically stratified, n(r) = 1 for r ≥ a, n(r) > 1 or 0 < n(r) < 1 for 0 ≤ r < a and, as a function of r, n ∈ C 2 . Then there exists an infinite set of wave numbers k such that the set \(\mathcal {F}\) of electric far field patterns is not complete in \(L_t^2( {\mathbb {S}^2} )\).
9.5 The Exterior Impedance Boundary Value Problem
The mathematical treatment of the scattering of time harmonic electromagnetic waves by a body which is not perfectly conducting but which does not allow the electric and magnetic field to penetrate deeply into the body leads to what is called an exterior impedance boundary value problem for electromagnetic waves (cf. [223, p. 511] and [411, p. 304]). In particular, such a model is sometimes used for coated media instead of the more complicated transmission problem. In addition to being an appropriate theme for this chapter, we shall also need to make use of the mathematical theory of the exterior impedance boundary value problem in our later treatment of the inverse scattering problem for electromagnetic waves. The first rigorous proof of the existence of a unique solution to the exterior impedance boundary value problem for electromagnetic waves was given by Colton and Kress in [96]. Here we shall provide a simpler proof of this result by basing our ideas on those developed for a perfect conductor in Chap. 6. We first define the problem under consideration where for the rest of this section D is a bounded domain in with connected C 2 boundary ∂D with unit outward normal ν.
Exterior Impedance Problem
Given a Hölder continuous tangential field c on ∂D and a positive constant λ, find a solution of the Maxwell equations
satisfying the impedance boundary condition
and the Silver–Müller radiation condition
uniformly for all directions \(\hat x=x/|x|\).
The uniqueness of a solution to (9.43)–(9.45) is easy to prove.
Theorem 9.16
The exterior impedance problem has at most one solution provided λ > 0.
Proof
If c = 0, then from (9.44) and the fact that λ > 0 we have that
We can now conclude from Theorem 6.11 that E = H = 0 in . □
We now turn to the existence of a solution to the exterior impedance problem, always assuming that λ > 0. To this end, we recall the definition of the space C 0, α(∂D) of Hölder continuous functions defined on ∂D from Sect. 3.1 and the space \(C_t^{0,\alpha }(\partial D)\) of Hölder continuous tangential fields defined on ∂D from Sect. 6.3. We also recall from Theorems 3.2, 3.4, and 6.14 that the single-layer operator S : C 0, α(∂D) → C 0, α(∂D) defined by
the double-layer operator K : C 0, α(∂D) → C 0, α(∂D) defined by
and the magnetic dipole operator \(M : C^{0, \alpha }_t ( \partial D ) \to C_t^{0,\alpha }(\partial D)\) defined by
are all compact. Furthermore, with the spaces
and
which were also introduced in Sect. 6.3, the electric dipole operator \(N : C^{0, \alpha } ( \mathop {\mathrm {Curl}} \nolimits , \partial D) \to C^{0, \alpha } ( \mathop {\mathrm {Div}} \nolimits , \partial D)\) defined by
is bounded by Theorem 6.19.
With these definitions and facts recalled, following Hähner [170], we now look for a solution of the exterior impedance problem in the form
where S 0 is the single-layer operator in the potential theoretic limit k = 0 and the densities \(b \in C_t^{0, \alpha } ( \partial D)\) and φ ∈ C 0, α(∂D) are to be determined. The vector field E clearly satisfies the vector Helmholtz equation and its Cartesian components satisfy the (scalar) Sommerfeld radiation condition. Hence, if we insist that \( \mathop {\mathrm {div}} \nolimits E = 0\) in , then by Theorems 6.4 and 6.8 we have that E, H satisfy the Maxwell equations and the Silver–Müller radiation condition. Since \( \mathop {\mathrm {div}} \nolimits E\) satisfies the scalar Helmholtz equation and the Sommerfeld radiation condition, by the uniqueness for the exterior Dirichlet problem it suffices to impose \( \mathop {\mathrm {div}} \nolimits E = 0\) only on the boundary ∂D. From the jump and regularity conditions of Theorems 3.1, 3.3, 6.12, and 6.13, we can now conclude that (9.46) for \(b \in C_t^{0, \alpha } ( \partial D)\) and φ ∈ C 0, α(∂D) ensures the regularity up to the boundary and that it solves the exterior impedance problem provided b and φ satisfy the integral equations
where
and where P stands for the orthogonal projection of a vector field defined on ∂D onto the tangent plane, that is, Pa := (ν × a) × ν. Noting the smoothing property S 0 : C 0, α(∂D) → C 1, α(∂D) from Theorem 3.4, as in the proof of Theorem 6.21 it is not difficult to verify that \(M_{11} : C_t^{0,\alpha }(\partial D ) \to C_t^{0,\alpha }(\partial D)\) is compact. Compactness of the operator \(M_{12} : C^{0, \alpha } ( \partial D) \to C_t^{0, \alpha } ( \partial D)\) follows by applying Corollary 2.9 from [104] to the first term in the definition of M 12. Loosely speaking, compactness of M 12 rests on the fact that the factor ν(x) − ν(y) makes the kernel weakly singular. Finally, M 22 : C 0, α(∂D) → C 0, α(∂D) is compact, whereas \(M_{21} : C_t^{0, \alpha } ( \partial D) \to C^{0, \alpha } ( \partial D)\) is merely bounded. Writing the system (9.47) in the form
we now see that the first of the two matrix operators has a bounded inverse because of its triangular form and the second is compact. Hence, we can apply the Riesz–Fredholm theory to (9.47).
For this purpose, suppose b and φ are a solution to the homogeneous equation corresponding to (9.47) (i.e., c = 0). Then the field E, H defined by (9.46) satisfies the homogeneous exterior impedance problem in . Since λ > 0, we can conclude from Theorem 9.16 that E = H = 0 in . Viewing (9.46) as defining a solution of the vector Helmholtz equation in D, from the jump relations of Theorems 3.1, 3.3, 6.12, and 6.13 we see that
Hence, with the aid of Green’s vector theorem (6.2), we derive from (9.48) and (9.49) that
Taking the imaginary part of the last equation and recalling that λ > 0 now shows that S 0 b = 0 and φ = 0 on ∂D. Since S 0 is injective (see the proof of Theorem 3.12), we have that b = 0 on ∂D. The Riesz–Fredholm theory now implies the following theorem. The statement on the boundedness of the operator \(\mathcal {A}\) follows from the fact that by the Riesz–Fredholm theory the inverse operator for (9.47) is bounded from \( C_t^{0,\alpha }(\partial D ) \times C^{0, \alpha } ( \partial D)\) into itself and by applying the mapping properties of Theorems 3.3 and 6.13 to the solution (9.46).
Theorem 9.17
Suppose λ > 0. Then for each \(c \in C_t^{0, \alpha } (\partial D)\) there exists a unique solution to the exterior impedance problem. The operator \(\mathcal {A}\) mapping the boundary data c onto the tangential component ν × E of the solution is a bounded operator \(\mathcal {A} : C_t^{0,\alpha }(\partial D ) \to C^{0,\alpha }( \mathop {\mathrm {Div}} \nolimits ,\partial D)\).
For technical reasons, we shall need in Chap. 11 sufficient conditions for the invertibility of the operator
where the operator \(R : C_t^{0,\alpha }(\partial D) \to C_t^{0, \alpha } ( \partial D)\) is given by
To this end, we first try to express the solution of the exterior impedance problem in the form
where \(a \in C^{0, \alpha } ( \mathop {\mathrm {Div}} \nolimits , \partial D)\). From the jump conditions of Theorems 6.12 and 6.13, this leads to the integral equation
for the unknown density a. However, we can interpret the solution of the exterior impedance problem as the solution of the exterior Maxwell problem with boundary condition
and hence a also is required to satisfy the integral equation
The last equation turns out to be a special case of Eq. (6.56) with η = 0 (and a different right-hand side). From the proof of Theorem 6.21, it can be seen that if k is not a Maxwell eigenvalue for D then I + M has a trivial nullspace. Hence, since by Theorem 6.17 the operator \(M:C^{0,\alpha }( \mathop {\mathrm {Div}} \nolimits ,\partial D)\to C^{0,\alpha }( \mathop {\mathrm {Div}} \nolimits , \partial D)\) is compact, by the Riesz–Fredholm theory \((I + M )^{-1} : C^{0,\alpha }( \mathop {\mathrm {Div}} \nolimits , \partial D) \to C^{0,\alpha }( \mathop {\mathrm {Div}} \nolimits ,\partial D)\) exists and is bounded. Hence, \((I + M)^{-1} \mathcal {A} : C_t^{0, \alpha } ( \partial D) \to C^{0,\alpha }( \mathop {\mathrm {Div}} \nolimits , \partial D)\) is the bounded inverse of NR − iλR(I + M) and we have proven the following theorem.
Theorem 9.18
Assume that λ > 0 and that k is not a Maxwell eigenvalue for D. Then the operator \(NR -i \lambda R(I + M) : C^{0, \alpha } ( \mathop {\mathrm {Div}} \nolimits , \partial D ) \to C_t^{0,\alpha }(\partial D)\) has a bounded inverse.
We shall now conclude this chapter by briefly considering the electric far field patterns corresponding to the exterior impedance problem (9.43)–(9.45) with c given by
where E i and H i are given by (9.19). This corresponds to the scattering of the incident field (9.19) by the imperfectly conducting obstacle D where the total electric field E = E i + E s satisfies the impedance boundary condition
and E s is the scattered electric field. From Theorem 6.9 we see that E s has the asymptotic behavior
where \(E_\infty ^\lambda \) is the electric far field pattern. From (6.88) and (9.51) we can easily deduce the following reciprocity relation [12].
Theorem 9.19
For all vectors \(\hat {x}, d \in {\mathbb {S}^2}\) we have
We are now in a position to prove the analogue of Theorem 9.8 for the exterior impedance problem. In particular, recall the Hilbert space \(L_t^2( {\mathbb {S}^2} )\) of tangential L 2 vector fields on the unit sphere, let {d n : n = 1, 2, … } be a countable dense set of unit vectors on \({\mathbb {S}^2}\) and denote by e 1, e 2, e 3 the Cartesian unit coordinate vectors in . For the electric far field patterns we now have the following theorem due to Angell, Colton, and Kress [12].
Theorem 9.20
Assume λ > 0. Then the set
of electric far field patterns for the exterior impedance problem is complete in \(L_t^2( {\mathbb {S}^2} ) \).
Proof
Suppose that \(g \in L_t^2( {\mathbb {S}^2} )\) satisfies
for n = 1, 2, … and j = 1, 2, 3. We must show that g = 0. As in the proof of Theorem 9.7, by the reciprocity Theorem 9.19, we have
for all \(d \in {\mathbb {S}^2}\) , i.e.,
for all \(\hat {x} \in {\mathbb {S}^2}\) where h(d) = g(−d).
Now define the electromagnetic Herglotz pair \(E_0^i , H_0^i\) by
Analogous to Lemma 6.35 it can be seen that the left-hand side of (9.52) represents the electric far field pattern of the scattered field \(E_0^s,H_0^s\) corresponding to the incident field \(E_0^i,H_0^i\). Then from (9.52) we see that the electric far field pattern of \(E_0^s\) vanishes and hence, from Theorem 6.10, both \(E_0^s \) and \(H_0^s \) are identically zero in . We can now conclude that \(E_0^i,H_0^i\) satisfies the impedance boundary condition
Gauss’ theorem and the Maxwell equations (compare (9.17)) now imply that
and hence from (9.53) we have that
whence \(\nu \times E_0^i = 0\) on ∂D follows since λ > 0. From (9.53) we now see that \( \nu \times H_0^i = 0\) on ∂D and hence from the Stratton–Chu formulas (6.8) and (6.9) we have that \(E_0^i = H_0^i = 0\) in D and by analyticity (Theorem 6.3) \(E_0^i = H_0^i = 0\) in . But now from Theorem 3.27 we conclude that h = 0 and consequently g = 0. □
References
Angell, T.S., Colton, D., and Kress, R.: Far field patterns and inverse scattering problems for imperfectly conducting obstacles. Math. Proc. Camb. Phil. Soc. 106, 553–569 (1989).
Cakoni, F., Colton, D., and Monk, P.: The Linear Sampling Method in Inverse Electromagnetic Scattering. SIAM Publications, Philadelphia, 2011.
Colton, D.: Partial Differential Equations. Dover Publications, New York 2004.
Colton, D., and Kress, R.: The impedance boundary value problem for the time harmonic Maxwell equations. Math. Meth. in the Appl. Sci. 3, 475–487 (1981).
Colton, D., and Kress, R.: Time harmonic electromagnetic waves in an inhomogeneous medium. Proc. Royal Soc. Edinburgh 116 A, 279–293 (1990).
Colton, D., and Kress, R.: Integral Equation Methods in Scattering Theory. SIAM Publications, Philadelphia 2013.
Colton, D., and L. Päivärinta, L.: Far-field patterns for electromagnetic waves in an inhomogeneous medium. SIAM J. Math. Anal. 21, 1537–1549 (1990).
Hähner, P.: Abbildungseigenschaften der Randwertoperatoren bei Randwertaufgaben für die Maxwellschen Gleichungen und die vektorielle Helmholtzgleichung in Hölder- und L 2-Räumen mit einer Anwendung auf vollständige Flächenfeldsysteme. Diplomarbeit, Göttingen 1987.
Jones, D.S.: Methods in Electromagnetic Wave Propagation. Clarendon Press, Oxford 1979.
Kirsch, A.: On the existence of transmission eigenvalues. Inverse Problems and Imaging 3, 155–172 (2009).
Lebedev, N.N.: Special Functions and Their Applications. Prentice-Hall, Englewood Cliffs 1965.
Müller, C.: Foundations of the Mathematical Theory of Electromagnetic Waves. Springer, Berlin 1969.
Olver, F.W.J: Asymptotics and Special Functions. Academic Press, New York 1974.
Protter, M.H., and Weinberger, H.F.: Maximum Principles in Differential Equations. Prentice-Hall, Englewood Cliffs 1967.
Ringrose, J.R.: Compact Non–Self Adjoint Operators. Van Nostrand Reinhold, London 1971.
van Bladel, J.: Electromagnetic Fields. Hemisphere Publishing Company, Washington 1985.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Colton, D., Kress, R. (2019). Electromagnetic Waves in an Inhomogeneous Medium. In: Inverse Acoustic and Electromagnetic Scattering Theory. Applied Mathematical Sciences, vol 93. Springer, Cham. https://doi.org/10.1007/978-3-030-30351-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-30351-8_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30350-1
Online ISBN: 978-3-030-30351-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)