Our site uses cookies to improve your experience. You can find out more about our use of cookies in About Cookies, including instructions on how to turn off cookies if you wish to do so. By continuing to browse this site you agree to us using cookies as described in About Cookies.

[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.

If you can't find a tool you're looking for, please click the link at the top of the page to "Go to old article view". Alternatively, view our Knowledge Base articles for additional help. Your feedback is important to us, so please let us know if you have comments or ideas for improvement.

[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

[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

[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 θ = ±π/2t_{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 θ = ±π/2t_{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.

3. Conclusion

[20] Thus we see that the numerical results presented by Marx [1993] do not contradict the theory but, instead, confirm the theory: theoretical curves fit the numerical data in areas where they are expected to fit; they fail to fit in the areas where they should not fit; and the differences between the asymptotic and numerical results have the trends predicted by the analysis. This validates the computations by Marx [1993] and, at the same time, reconfirms that the generalized Meixner series (6) correctly describes electromagnetic fields near the vertex of the dielectric wedge. However, our analysis reveals that the leading term of the generalized Meixner series, which describes electrodynamic fields, may not always coincide with the leading term of the standard Meixner series [Meixner, 1972], which describes static fields. The discrepancy may occur in narrow domains where the leading term of the generalized Meixner series either completely annihilates or becomes comparable with lower-order terms, as happens in the examples considered above. Therefore the observations [Marx, 1993; Anderson and Solodukhov, 1978; Beker, 1991] that the electrodynamic fields near the vertex of the wedge do not behave like static fields are correct, but the theory gives no reason to expect overwise.

Acknowledgments

[21] This research was supported by NSF grant CMS-0408381.