### Abstract

- Top of page
- Abstract
- 1. Introduction
- 2. Analysis
- 3. Conclusion
- Acknowledgments
- References

[1] The problem of electromagnetic scattering by a dielectric wedge has attracted attention recently because of reported disagreement between the theory and numerical experiments concerning a certain behavior of the fields near the wedge vertex. The goal of this paper is to show that what is reported has been not a disagreement but a misinterpretation of the existing theory, which predicts all of the numerically observed effects.

### 1. Introduction

- Top of page
- Abstract
- 1. Introduction
- 2. Analysis
- 3. Conclusion
- Acknowledgments
- References

[2] The problem of electromagnetic scattering by a dielectric wedge has attracted considerable attention because of numerous reports [*Marx*, 1993; *Anderson and Solodukhov*, 1978; *Beker*, 1991] of disagreement between numerical experiments and the theory [*Meixner*, 1972; *Makarov and Osipov*, 1986; *Budaev*, 1991]. The theory implies that the asymptote of the electromagnetic field near the vertex of a dielectric wedge is described by a generalized Meixner series [*Makarov and Osipov*, 1986; *Budaev*, 1991] which starts from the same leading term as the asymptote of the electrostatic field in a similar configuration. However, numerical results obtained by *Marx* [1993], *Anderson and Solodukhov* [1978] and *Beker* [1991] show only partial agreement with the prediction that an electromagnetic field near the edge of a dielectric wedge behaves like a static field, ‘and numerical experiments indicate that the discrepancy is not due to imprecision of the calculations [*Marx*, 1993]. Such a situation is not acceptable because it undermines the credibility of both the numerical and analytical approaches to the equations that model electromagnetic fields in dielectric bodies, and more generally, because it undermines the credibility of the mathematical models themselves.

[3] To clarify the issue, we analyzed the theoretical asymptotes of electromagnetic fields near the apex of dielectric wedges, and this analysis revealed that the asymptotes have ‘hidden’ second terms which are normally dominated by the leading terms, but, in certain circumstances, they become dominant. Here we revisit the problem considered by *Marx* [1993] and demonstrate that the discrepancies between the numerical simulations and the theory reported by *Marx* [1993] do not contradict the theory but, on the contrary, confirm the theory which, if applied correctly, predicts all of the observed effects.

### 2. Analysis

- Top of page
- Abstract
- 1. Introduction
- 2. Analysis
- 3. Conclusion
- Acknowledgments
- References

[4] Let (*ρ*, ϕ, *z*) be the standard cylindrical polar coordinates and let *V*_{1} and *V*_{2} be the wedges defined as

where *β* is an angle of the wedge *V*_{2}. The wedge *V*_{1} is occupied by a homogeneous dielectric with permittivity ε_{1} and permeability *μ*_{1}. Similarly, the wedge *V*_{2} has permittivity ε_{2} and permeability *μ*_{2}. This notation coincides with that by *Marx* [1993], but for our purposes it is convenient to introduce an additional coordinate system (*ρ*, θ, *z*) related with the system (*ρ*, ϕ, *z*) by the formula

which makes it possible to define the wedges *V*_{1} and *V*_{2} by

which imply that −*π* < θ < *π*. The described configuration is illustrated in Figure 1 in which both of the coordinate axes ϕ = 0 and θ = 0 are shown.

[5] To simplify the analysis, we restrict ourselves to the transverse magnetic mode (TM) where the disagreement reported by *Marx* [1993] between the theory and numerical simulation is especially noticeable. In this mode the electromagnetic field can be defined in terms of a scalar solution *H*_{z} of the Helmholtz equation

where *λ* is an arbitrary parameter determining the scaling of the polar radius *ρ*. The field *H*_{z} and its derivative (1/)(∂*H*_{z}/∂ϕ) have to be continuous everywhere except possibly at the vertex *ρ* = 0. Other components of the electromagnetic fields and are defined by the formulas

[6] It is convenient to set the scaling parameter *λ* by *λk*_{1} = 1 which means that distances are measured in wavelength units. Then the structure of the field *H*_{z} near the vertex *ρ* = 0 is described in the coordinates (*ρ*, θ) by the generalized Meixner series [*Budaev*, 1991]

determined by the roots 0 ≡ *t*_{0}^{±} ≤ *t*_{1}^{±}… of the transcendental equations

where

[7] It is worth observing that since (7) has a fixed root *t*_{00}^{±} = 0, the series always contains the “subseries” *A*_{00}^{±} + *A*_{01}*ρ* + *A*_{02}*ρ*^{2} + …. In certain particular circumstances the generic series (6) has to be modified. Namely, if for some *n* > 0 a root *t*_{n}^{±} can be represented as *t*_{n}^{±} = *t*_{m}^{±} + *q*, where *m*, *n* and *q* are integers satisfying inequalities *m* < *n* and *q* > 0, then, instead of terms with *ρ*^{t+ν} and *ρ*^{t+q+ν}, the series should involve independent terms with *ρ*^{t+ν}(ln*ρ*)^{l}, *l* = 0, 1, …, *L*, where *L* is the number of all possible different representations *t*_{n}^{±} = *t*_{m}^{±} + *q* of the root *t*_{n}^{±}.

[8] The last modification, however, never affects the first few terms of (6) which are given by the expression

from which it follows that the fields *E*_{ϕ} and *E*_{ρ} have the local structure

with constants *B*_{10}^{±} and *B*_{01}^{±} proportional to *A*_{10}^{±} and *A*_{01}^{±}, respectively.

[9] It is instructive to observe that the middle terms in (10), which do not depend on the radius *ρ*, appear in electrodynamics but do not appear in electrostatics. Electrostatic fields near the vertex of the dielectric wedge are described by the Meixner series [*Meixner*, 1972] which may be considered as a particular case of the series (10) with *A*_{nv}^{±} = 0 for all *ν* ≥ 1. In this case the asymptotes corresponding to those in (10) degenerate to the expressions

which are, in general, similar to (10) but may diverge from (6) as cos(*t*_{1}^{±}θ) 0 or sin(*t*_{1}^{±}θ) 0.

[10] From elementary graphics shown in Figures 2 and 3it is easy to see that

and that

as either (ε_{1} − ε_{2}) 0 or as *β* 0.

[11] From (9) and (10) it follows that near the vertex *H*_{z} approaches a bounded constant and that the fields *E*_{ρ}, *E*_{ϕ} have singularities of the type *ρ*^{t−1} or *ρ*^{t−1} depending on which of the inequalities *t*_{1}^{−} < 1 or *t*_{1}^{+} < 1 is valid.

[12] To analyze the fields *E*_{ρ}, *E*_{ϕ} in detail, we assume for definiteness and for compatibility with the examples from *Marx* [1993] that ε_{2} > ε_{1} which means, in view of (12), that *t*_{1}^{−} < 1 < *t*_{1}^{+}.

[13] Consider first the field *E*_{ϕ}. From the inequality *t*_{1}^{−} < 1 < *t*_{1}^{+} we see that, in general, this field becomes unbounded as *ρ* 0, but if the vertex is approached along the bisector θ = 0, (ϕ = 90°, in the original coordinates) then *B*_{10}^{−}sin(*t*_{1}^{−}θ)*ρ*^{t−1} = 0 and *E*_{ϕ} remains bounded approaching the finite value *E*_{ϕ} ≈ *B*_{01}^{+}, which explains the results in Figure 4.

[14] Figure 4 reproduces Figure 4 from *Marx* [1993], which compares the electromagnetic fields near the vertex of the dielectric wedge as predicted by the Meixner asymptotes [*Meixner*, 1972] with the numerical results obtained by *Marx* [1993] using a hypersingular equation (HIE) and with the results obtained by *Marx* [1990] using a singular integral equation (SIE). All of the reported results correspond to the configuration in Figure 1 with *β* = 90° and ε_{2} = 10ε_{1}. Both of the axes in Figure 4 have logarithmic scales, and they correspond to the distance from the vertex and to the magnitude of the electric field *E*_{ϕ}. The dotted line corresponds to the straight line log(*E*_{ϕ}) = (*t*^{−}_{1} − 1)log(*ρ*) + const, which represents the Meixner asymptote. The solid and dashed lines correspond to the results obtained by the methods using hypersingular and singular integral equations, respectively. Since the first method is more accurate, we do not discuss any dashed lines below.

[15] The solid line labeled “1” shows the electric field *E*_{ϕ} computed along the bisectrix θ = 0, and this is essentially a horizontal line, which agrees well with the prediction that *E*_{ϕ} ≈ *B*_{01}^{+} = const as *ρ* ≪ 1. Similarly, the solid line labeled “2” shows that *E*_{ϕ}(*ρ*, θ) along the perpendicular direction θ = −90° approaches an inclined line, which agrees well with the prediction

based on the asymptote (10).

[16] Next we observe that (10) implies that for any θ ≠ 0, the length of the interval 0 < *ρ* < *ρ*_{*}(θ, *δ*) where the relative error of the asymptotic approximation of *E*_{ϕ}(*ρ*, θ) by the first term of (10) does not exceed *δ* > 0 can be estimated as

[17] Then, applying this formula to the configuration in Figure 1 with the permittivities related by ε_{2} = 5ε_{1}, we get the estimates

which explains why some of the curves in Figure 5 fit the theoretical predictions while others do not. Indeed, if *β* > 30°, then the power (*t*_{1}^{−} − 1) varies from −0.15 to −0.2, and therefore the principal terms of the asymptotes in (10) should dominate starting from distances of 10^{−7} to 10^{−10}, included in Figure 5. However, if *β* = 10°, then (*t*_{1}^{−} − 1) ≈ −0.1 and the principal term of (10) is expected to dominate at a distances smaller than 10^{−14} which are far beyond the range studied by *Marx* [1993].

[18] Finally, we consider the field *E*_{ρ}. It is clear from (10) that in general, *E*_{ρ}(*ρ*, θ) grows as *O*(*ρ*^{t−1}) when *ρ* 0, but if the vertex is approached along the rays θ = ±*π*/2*t*_{1}^{−} where the coefficient cos(*t*_{1}^{−}θ) of the singular term in (10) vanishes, then *E*_{ρ} does not grow and approaches a bounded constant. Unlike the case for the field *E*_{ϕ} these directions are not fixed but depend on the particular configurations. However, if the root *t*_{1}^{−} is close to unity (*t*_{1}^{−} ≈ 1), then the rays θ = ±*π*/2*t*_{1}^{−} are close to the rays θ = ±90° referred to by *Marx* [1993] as the perpendicular directions. Therefore, if *t*_{1}^{−} ≈ 1 the field *E*_{ρ} is expected to approach a constant along the perpendicular direction θ = ±90° which agrees with the results in Figure 6. Indeed, the curve of Figure 6 labeled “2” and “ε = 2ε_{0}” corresponds to *t*_{1}^{−} ≈ 0.9 and it is close to a horizontal line as predicted by the theory.

[19] As for the behaviors of the field *E*_{ρ} along other directions, they are similar to the behavior of the field *E*_{ϕ}, and (16) estimates the region where the field may be approximated by the first term of (10) with the relative error of 5%. These estimates obviously agree with the numerical results in Figure 6.