Formulation of reduced surface integral equations for the electromagnetic wave scattering from three-dimensional layered dielectric bodies
 A reduction procedure is developed for an arbitrarily shaped layered dielectric body using for each interface a single unknown function to which the classical surface electric and magnetic currents are related by some surface operators. These operators and single functions are determined recursively from one interface to the next. This allows us to derive the field everywhere from the solution of a surface integral equation in only one vector function relative to only the interface between the layered body and the source region. Since the reduction operators are independent of the structure of the outside region and of the given field source, and also invariant under translation and rotation, the analysis of the three-dimensional electromagnetic wave scattering and propagation for systems of multilayered or/and multiply nested dielectric bodies based on reduced single integral equations is substantially more efficient than that based on existing coupled integral equation formulations using electric and magnetic currents on all the interfaces, especially for configurations with identical such bodies arbitrarily located and oriented with respect to each other.
 Time-harmonic electromagnetic fields in the presence of heterogeneous media can efficiently be analyzed using surface integral equations. Within each homogeneous subregion the field can be represented in terms of unknown electric and magnetic currents defined over the boundary of that subregion. A direct imposition of the interface conditions yields systems of coupled integral equations in the densities of these electric and magnetic currents. There are two main disadvantages of the formulations based on such equations. First, there are two unknown vector functions to be determined over all the interfaces and, second, all these unknown functions are to be determined simultaneously, which makes the size of the resultant matrix equation in the numerical computation very large. A more efficient alternative is to use surface integral equations satisfied by only one unknown function per interface.
 A formulation using a single unknown surface function for the scattering of a plane wave by a penetrable homogeneous long cylinder of arbitrary cross section was first presented by Maystre and Vincent . Later, a recursive procedure making possible the analysis of plane-wave scattering from a two-dimensional layered structure using an integral equation involving a single unknown function only over the outer surface was developed [Maystre, 1978] for applications to periodical structures in optical gratings. Marx  extended the construction of a single surface integral equation to the three-dimensional electromagnetic scattering of time-harmonic and, also, general time-varying fields from homogeneous dielectric bodies. Glisson  showed how to derive such a single integral equation for time-harmonic fields based on equivalence theorems. Recently, general recursive procedures for two-dimensional systems of heterogeneous bodies and complex nested structures, incorporating the properties of invariance to translation and rotation of the reduction operators, have been presented and numerically implemented [Swatek and Ciric, 1998, 2000a, 2000b]. As well, reduced surface integral equations have been derived for the analysis of two-dimensional eddy-current fields in solid conductors [Ciric and Curiac, 2005] and of Laplacian fields in the presence of layered dielectric structures [Ciric, 2006].
 The aim of this paper is to present the formulation of reduced vector integral equations for the three-dimensional electromagnetic wave scattering from arbitrarily shaped layered bodies. Expressions in a matrix form of the integral operators involved, adequate for computer implementation, and a detailed analysis of the high efficiency of the numerical solution of field problems using the proposed formulation will be presented in subsequent papers.
2. Electromagnetic Field Modeling
 A time-harmonic electromagnetic field (E, H) in a sourceless, homogeneous region V, of permittivity ɛ and permeability μ, bounded by a smooth surface S can be represented as [Stratton, 1941]
where a time dependence exp(jωt), j ≡ , has been assumed and suppressed, Je and Jm have dimensions of surface densities of electric current and magnetic current, respectively,
with the unit vector normal to S and outwardly oriented, and G is a Green function for an unbounded homogeneous space,
Consider a layered body as shown in Figure 1, each subregion Vi consisting of a homogeneous dielectric of material constants ɛi, μi, and a given incident field (Einc, Hinc) in the region V0 outside the outermost surface S1. The electric and magnetic field intensities Ei and Hi in Vi, i = 0, 1, 2, …, n, satisfy the interface conditions
Using the representation (1)–(2) for each subregion of the body, the application of the conditions in (5), (6) yields the classical system of coupled integral equations with two unknown vector functions Ji+1e and Ji+1m on each interface Si+1.
 Assume that instead of the representation (1)–(2), Ei and Hi in Vi can be represented in terms of Ji+1e and Ji+1m only over Si+1 (as in (1), (2)), and of only a single unknown function Ji defined over Si. Below, it is shown that both Ji+1e and Ji+1m on each interface can be expressed in terms of Ji+1 on the same interface, and a recursive relationship between the Ji's on successive interfaces can be derived, from Jn to J1. This will allow us to determine J1 on S1 from a single integral equation relative to S1, which involves the given incident field in V0. We use the term reduced surface integral equation [Ciric, 2006] for such an equation since it refers to only one interface instead of all the interfaces. The scattered field in V0 is calculated from only J1. To illustrate the derivation of a reduced surface integral equation, take Ji to be the surface density of an electric current. Then, Ei and Hi, i = 1, 2, …, n − 1, due to Ji, Ji+1e, Ji+1m, are expressed as
where Gi is G in (4) with β replaced by βi = ω, and Ji+1e and Ji+1m are defined with respect to the direction of the normal in Figure 1, i.e. (see (1)–(3)),
In Vn, whose only boundary is Sn, En and Hn are only given by the first integral in (7) and (8) (with i = n), respectively,
while the scattered fields Esc and Hsc in V0 are only given by the second integral in (7) and (8) (with i = 0)
In order to impose the boundary conditions in (5), (6), we move the observation point in (7), (8) on Si+1, i = 1, 2, …, n − 1, and in (10), (11) on Sn and, then, take the vector products of both sides of these equations with (r). Define the surface integral operators qpi and qpi, i = 0, 1, …, n, as
with the integral in (14) taken in principal value when Sq ≡ Sp and the left-hand side superscript and subscript, p and q, indicating the observation surface and the integration surface, respectively. In our formulation p and q are either i or i + 1. The improper integrals in (7), (8), (11)–(13), when the observation point is placed on the boundary of the respective subregion, are evaluated for smooth surfaces as
where u is the surface density of electric or magnetic current, and the sign of the first term in the right-hand side is − when Sq is Si+1 and + when Sq is Si. Thus, from (7) and (8) we obtain on Si and Si+1, just inside Vi, i = 1, 2, …, n − 1,
where I is the identity operator.
 Assume now that there exist some surface operators ie and im (to be determined) such that both × Ei and × Hi on each interface Si, i = 1, 2, …, n, can be expressed only in terms of Ji as
To satisfy the conditions in (5) and (6), we have to have from (9) and (21)
Equations (22), (9) and (18) yield a linear relationship between the unknown functions Ji+1 and Ji on successive interfaces, in the form
where the operator i+1 is
with [.]−1 denoting the inverse of an operator. From (21) and (17), with (22) and (23), we obtain the recursion
Similarly, from (21) and (19), with (22) and (23), another recursion is obtained, i.e.
 The following theorem summarizes the above results: Let the electromagnetic field in each layer of a layered dielectric body be represented as in (7)–(9). Then, the recursions (23)–(26) exist for the function Ji in (7), (8) and for the surface operators ie and im in (21).
 The determination of the operators ie and im is performed recursively from Sn to S1, while the functions Ji are computed recursively from J1 to Jn, with J1 obtained as a solution of a reduced surface integral equation relative to S1, which involves the given incident field in V0. Since the fields in (7), (8) and (10)–(13) are Maxwellian and, with (22), all the boundary conditions are satisfied, according to the uniqueness theorem the equations (7), (8) and (10)–(13) give the electromagnetic field everywhere if the unknown function J1 on S1 is uniquely determined in terms of the given (Einc, Hinc) in V0.
3. Reduced Boundary Integral Equations
 The total fields in the homogeneous unbounded region V0 are
where the scattered electromagnetic field (Esc, Hsc) is given in (12), (13) and satisfies the usual far-field radiation condition. Imposing the boundary conditions (5), (6) for S1 (i.e., for i = 0) and using (21) we have
Substituting J1e and J1m from (22) (with i = 0) in (12), (13) and using the operators in (14), (15) yields
Two reduced integral equations in J1 are obtained, namely, from (28) and (30) an electric field integral equation in the form
and from (29) and (31) a magnetic field integral equation in the form
 1e and 1m in these reduced equations are determined starting with the innermost region Vn and, then, performing the recursions (25), (26) outwardly from Sn to S1. Equations (10) and (11) give
and, thus (see (21))
Using these expressions and (24)–(26) we obtain n and n−1e, n−1m for Sn−1 and then, recursively, all i+1, ie, im, i = n − 2, n − 3, …, 1. It is important to remark that the operators i+1, ie, im associated with Si take into account only the geometric and material structure of the region inside Si, being independent of the geometry and material characteristics outside Si and of the incident field.
 In the model presented, the problem of electromagnetic wave scattering from a layered dielectric body is solved by solving a surface integral equation only in J1 defined over the outer surface S1 of the body. The field scattered in V0 is determined from (12), (13), with (22) for i = 0. If needed, the field within a layer ℓ, 1 ≤ ℓ ≤ n − 1, inside the body is derived by calculating J2, J3, …, Jℓ+1 with (23) and, then, Jℓ+1e and Jℓ+1m with (22), applying the operators 2, 3, …, ℓ+1 and ℓ+1e, ℓ+1m already determined; Eℓ and Hℓ are obtained from (7), (8), with i = ℓ. En and Hn in Vn are determined by (10), (11).
 One can easily see that for the special case of a single homogeneous dielectric body of permittivity ɛ1 and permeability μ1, bounded by S1, one has (see (36))
Equations (32) and (33) become, respectively,
which were previously presented [Martin and Ola, 1993; Yeung, 1999; Ciric and Jayasekera, 2007].
 The reduced integral equations for a perfect conductor occupying the region Vn coated with n − 1 dielectric layers, Vn−1, Vn−2, …, V1 are obtained from (32), (33) taking into account that the surface current density Jn is just the density of the actual current induced on its surface Sn and
which yields Jne = Jn, Jnm = 0 (see (9)) and ne = 0, nm = I (see (22)).
 For a system of layered dielectric bodies the reduction procedure is performed for each body as shown in the previous section and the reduced surface integral equations involve the incident field in V0 and the unknown surface currents only on the outermost surfaces of the bodies.
 The reduced surface integral equations presented involve only one unknown vector function defined over the outermost surface of a layered body, with the reduction procedure performed using operators relative to individual interfaces. In the numerical computation, these operators are converted into matrices whose size is determined only by the number of unknowns on the respective individual interfaces. Multiplication and inversion of various operators become multiplication and inversion of the corresponding matrices. The amount of numerical computation needed in the proposed procedure increases practically proportionally with the number of layers, whereas an increase with the square of the number of layers is encountered when solving the sparse systems of algebraic equations resulting from the simultaneous solution of the systems of classical coupled integral equations. Reduced surface integral equations are most advantageous for the analysis of the wave scattering from a system of identical multilayered or multiply nested dielectric bodies when the reduction procedure is performed only once, for one of the bodies, since the reduction operators depend only on the geometry and material of the body, being independent of the structure of the outside region and of the incident field. Once these operators are constructed, they can be reused for various relative positions of the bodies and different incident fields, thus reducing substantially the computational effort required in design and optimization studies. It should be pointed out that a reduction procedure is possible even for coupled surface integral equations, such that the scattered field can be determined from two unknown vector functions defined over the outermost surface of the bodies. But, the field analysis based on such reduced coupled integral equations would require, for same accuracy, about ten times more numerical computation than when applying the reduced single integral equations presented in this paper.
 Three other kinds of reduced single surface integral equations can be derived for the electromagnetic scattering by a layered dielectric body. Namely, another equation is obtained if instead of representing the fields in Vi with Ji on Si and Ji+1e, Ji+1m on Si+1 we use Jie, Jim on Si and Ji+1 on Si+1; two more kinds of integral equations are obtained by employing instead of a single electric current a single magnetic current on each interface.
 In order to derive correct results at “irregular” frequencies corresponding to internal resonances, one can use instead of the unknown surface current density Ji on Si a combination of electric and magnetic surface currents expressed simply in terms of a single unknown vector function, as in the case of a homogeneous body [Mautz, 1989; Martin and Ola, 1993], or a combined electric field-magnetic field integral equation ((32)–(33)), with the optimum combination from point of view of computational efficiency determined from numerical experiments, as shown for a homogeneous dielectric sphere by Yeung . Properties of the integral operators used in the construction of the reduced surface integral equations, potentially useful for numerical computations, should be investigated as in the case of classical operators involved in the coupled surface integral equations [Hsiao and Kleinman, 1997].
 The conversion into matrices of the surface operators introduced in this paper, necessary for a numerical implementation of the reduced integral equations presented, is shown in a next paper, where the computational complexity and the overall efficiency of the proposed method are also dealt with. The computational effort required in the case of a system of a few identical layered bodies is greatly reduced. For example, for a system of three identical three-layer dielectric bodies in arbitrary configuration, the number of arithmetic operations involved is more than an order of magnitude smaller than that when applying existing methods based on coupled surface integral equations.