 Research
 Open access
 Published:
Galerkin method for the scattering problem of strip gratings
Advances in Difference Equations volumeÂ 2019, ArticleÂ number:Â 60 (2019)
Abstract
In this paper, the diffraction problem of periodic strip gratings is considered. The previous study of this problem usually concentrated on the numerical method; however, we try to analyze this problem and the convergence of the numerical solution from the mathematical point of view in this work. By use of the Dirichlet to Neumann operator on the slit between two strips, we reformulate the problem to an operator equation. The wellposedness of the solution to the operator equation is proved. The Galerkin method is applied to solve this operator equation and the convergence result of the numerical solution is also derived. Finally, some numerical experiments are presented to show the effectiveness of our method and verify the theoretical convergence result.
1 Introduction
The scattering theory of periodic structures has a wide variety of applications, for example, the microoptics and the antenna engineering. In optics, the periodic structure is also called diffraction gratings. Introduction to the problem of electromagnetic diffraction through periodic structures and the corresponding numerical methods can be found in [1]. The reviews on the diffractive optics technology and the mathematical analysis of diffraction gratings are presented in [2] and [3], respectively.
In this paper, we focus on the diffraction problem of periodic perfectly conducting strip gratings. This is a classic model which has been investigated by many researchers. In [4] the method of moments (MoM) is employed to analyze the diffraction problem of strip gratings located in free space. In papers [5, 6] the same numerical method is used to solve the strip grating problem where the strips are printed on a dielectric substrate. As to the improved MoM for scattering problem of periodic strip gratings, we refer to paper [7] and the references therein. In addition to the MoM, there are also many other numerical methods for the strip gratings problem. For example, the singular integral equation approach is proposed to deal with the plane wave diffraction by an infinite strip grating at oblique incidence in [8]. Fourier modal method (FMM), also called combined boundary conditions method (CBCM), is introduced in [9,10,11]. CBCM is applied for solving finite strip grating problem in [11]. Because of the slow convergence and Gibbs phenomenon at the tips of the strips, CBCM has been substantially improved in [12] with the aid of adaptive spatial resolution in [11]. The parametric formulation of CBCM in [12] improves the convergence rate, the computational efficiency, and the numerical accuracy. In [13] the authors employ this improved method in multilayered structures of strip gratings. More references about CBCM can be found in [14]. In mathematics, because the grating diffraction problem is governed by differential equation, the finite difference method (FDM) and the finite element method (FEM) can also be applied in solving the problem. In the numerical experiment part of this paper, we compare our method with the FDM.
The studies above concentrate on the mathematical model and the numerical method of the strip gratings. In this paper, we will reformulate the diffraction problem of strip grating into an operator equation by use of the Dirichlet to Neumann (DtN) operator. Then we will give a rigorous mathematical analysis of the solution and the Galerkin method which is used to solve the operator equation. The convergence of the Galerkin method has also been verified by the numerical experiments.
The paper is organized as follows. In Sect.Â 2, we give some notations for describing the strip gratings problem and reformulate this problem into an operator equation by use of DtN operator on the slit between two strips. In Sect.Â 3, the wellposedness of the solution to the operator equation derived in Sect.Â 2 is proved. The wellposedness contains the existence, the uniqueness, and the stability of the solution. In Sect.Â 4, the Galerkin method is employed to solve the operator equation. The uniqueness and the convergence of the numerical solution are proved. We also obtain the error estimate of the numerical solution in TheoremÂ 5. The concrete computing process is given at the end of this section. In Sect.Â 5, some numerical experiments are presented to show the effectiveness of the Galerkin method and convergence order proved in Sect.Â 4 is also verified by numerical Example 1 in this section.
2 Formulation of the problem
In this section, some notations are firstly presented to help us describe the diffraction problem of periodic strip gratings with period d. Then the definition of quasiperiodic, the famous Rayleigh expansion of diffraction field, and the DtN operator are introduced. Finally, we reformulate the diffraction problem into an operator equation through simple calculation and the knowledge prepared above.
Assume that the length of each slit is \(L\ (L< d)\), and the slits are separated by perfect conductive material strips Î“Ìƒ, see Figure 1. Denote the slit and the perfect conductive strip in one period by \(\varGamma_{0}\) and \(\varGamma_{1}\), respectively:
Furthermore, define Î“ as follows:
Suppose that the domain
is filled with a homogeneous medium. Let \(S_{+}\) and \(S_{}\) denote the domain upon and below the strip gratings, respectively:
Assume that the plane wave \(u_{i}=e^{i\alpha x_{1}i\beta x_{2}}\) is the incident wave upon the grating, where \(\alpha= k\sin\theta\), \(\beta= k\cos \theta\), \(k>0\) is the wave number, and \(\theta\in(\pi/2,\pi/2)\) is the angle of incidence. Denote the diffracted field by \(u_{d}\). Then the total field \(u_{t}\) is
and the diffraction problem of strip gratings reads as follows: when the incident field \(u_{i}\) is given, find the total field \(u_{t}\) such that
Among all the solutions of equations (2) and (3), we are interested in the quasiperiodic solution, i.e., \(u_{t} e^{i\alpha x}\) is a periodic function in \(x_{1}\) with period d. Moreover, we require the diffracted field \(u_{d}\) to satisfy the bounded outgoing wave condition in \(S_{+}\) and \(S_{}\).
In domains \(S_{+}\) and \(S_{}\), the famous Rayleigh expansion of \(u_{d}\) is
where \(\alpha_{n}=2\pi n/d\),
\(A=\{n\in\mathbb{Z}, k^{2}(\alpha_{n}+\alpha)^{2}>0\}\) and \(a_{n}\), \(b_{n}\) are coefficients to be determined. We further assume that \(k\neq\alpha_{n}+\alpha\) for every \(n\in \mathbb{Z}\) in order to avoid resonances. Define
and \(u_{i}^{+}(x_{1}),\frac{\partial u_{t}^{}}{\partial x_{2}}(x_{1}), etc\). are defined in the same way. Then we have the following integral expression of \(a_{n}\) and \(b_{n}\):
For any quasiperiodic function \(f(x_{1})\), i.e., \(f(x_{1})\) has the following expansion:
define the Dirichlet to Neumann operator \(T_{1}\) and \(T_{2}\) as follows:
By simple calculation, we can get
Since the total field \(u_{t}\) and the normal derivative \(\frac{\partial u_{t}}{\partial x_{2}}\) are continuous across \(\varGamma_{1}\) and \(u_{t}=0\) on \(\varGamma_{0}\),
Let \(u(x_{1})=u_{d}^{}(x_{1})\), \(x_{1}\in(0,L)\), then
where \(E_{0}\) is the zero extension operator defined by the following:
From (1), (6)â€“(9), and (10) we obtain
Substitute (10) and (11) into (12)
From the definitions of \(T_{1}\) and \(T_{2}\), we know that
Substitute (14) and (15) into (13)
Denote \(T=T_{2}\circ E_{0}\) and \(g(x_{1})=i\beta e^{i\alpha x_{1}}\), then equation (16) can be rewritten to
Thus the diffraction problem of strip gratings can be reformulated into the operator equation (17). Once the solution of (17) is derived, the diffraction field \(u_{d}\) and the total field \(u_{t}\) can be obtained through (4), (5), and (1).
3 Wellposedness analysis
In this section, we will prove the wellposedness of the solution to (17). In order to give the uniqueness and existence of the solution to (17), we introduce the following definitions of spaces and norms.
For any real number s, define Sobolev spaces
with norms
where
Using the above notations, the operator equation problem (17) can be formulated as follows: given \(g \in H^{\frac {1}{2}}_{\alpha}(\varGamma_{0})\), find \(u \in H^{\frac{1}{2}}_{\alpha ,*}(\varGamma)\) such that equation (17) is satisfied.
In the following, we will present two lemmas about the properties of spaces \(H^{\frac{1}{2}}_{*}(\varGamma_{0})\), \(H^{\frac{1}{2}}_{*}(\varGamma_{1})\) and the operator T. With the aid of these two lemmas, we can obtain the wellposedness of the solution to equation (17).
Lemma 1
The operator \(T: H^{\frac{1}{2}}_{\alpha ,*}(\varGamma_{0})\rightarrow H^{\frac{1}{2}}_{\alpha}(\varGamma_{0})\) is a linear bounded operator.
Proof
Denote \(u_{n} = \frac{1}{d}\int_{0}^{d} E_{0}(u)e^{i(\alpha _{n}+\alpha)x_{1}}\,\mathrm{d}x_{1}\) for \(u \in H^{\frac{1}{2}}_{\alpha ,*}(\varGamma_{0})\), and define
Then \(V_{\varGamma_{0}}=Tu\). From the definition of \(\Vert \cdot \Vert _{\frac{1}{2},\varGamma_{0}}\), we have
where \(C_{k}=\max\{k,1\}^{\frac{1}{2}}\).â€ƒâ–¡
Lemma 2
The embedding operator \(I_{*}: H^{\frac {1}{2}}_{\alpha,*}(\varGamma_{0})\rightarrow H^{\frac{1}{2}}_{\alpha}(\varGamma_{0})\) is a compact operator.
Proof
The operator \(I_{*}\) can be decomposed into \(I_{*}=R \circ I \circ E_{0} \), where \(E_{0}\) is the zero extension operator from \(H^{\frac {1}{2}}_{\alpha,*}(\varGamma_{0})\) to \(H^{\frac{1}{2}}_{\alpha}(\varGamma)\), I is the embedding operator from \(H^{\frac{1}{2}}_{\alpha}(\varGamma)\) to \(H^{\frac{1}{2}}_{\alpha }(\varGamma)\), and R is the restriction operator from \(H^{\frac {1}{2}}_{\alpha}(\varGamma)\) to \(H^{\frac{1}{2}}_{\alpha}(\varGamma_{0})\). Since \(E_{0}\) and R are bounded and I is compact, we obtain that \(I_{*}\) is compact.â€ƒâ–¡
Theorem 1
Assume that \(\beta_{n}\neq0\) for all \(n\in \mathbb{Z}\), then the homogeneous equation
has only one solution \(u=0\).
Proof
From \(Tu=0\), we have \(\langle Tu, u\rangle=0\). Furthermore,
From \(\langle Tu, u\rangle=0\), we can get
Since \(\beta_{n} \neq0\) for all \(n\in\mathbb{Z}\), from the above two equations, we can deduce that \(u_{n}=0\) for all \(n\in\mathbb{Z}\). Thus \(E_{0}(u)=0\), i.e., \(u=0\).â€ƒâ–¡
Theorem 2
Assume that \(\beta_{n}\neq0\) for all \(n\in \mathbb{Z}\). Then, for any \(g\in H^{\frac{1}{2}}_{\alpha}(\varGamma_{0})\), the operator equation \(Tu=g\) has a unique solution \(u\in H^{\frac{1}{2}}_{\alpha,*}(\varGamma_{0})\), and
where \(C>0\) is a constant independent of g.
Proof
Define operator B: \(H^{\frac{1}{2}}_{\alpha,*}(\varGamma _{0})\to H^{\frac{1}{2}}_{\alpha}(\varGamma_{0})\) and the corresponding bilinear form \(b(\cdot,\cdot)\) as follows:
Since the operators T and \(I_{*}\) are bounded, \(b(\cdot,\cdot)\) is a bounded bilinear form on \(H^{\frac{1}{2}}_{\alpha,*}(\varGamma_{0})\times H^{\frac{1}{2}}_{\alpha,*}(\varGamma_{0})\). Next, we will show that \(b(\cdot ,\cdot)\) has a lower bound. By simple calculation, we can derive the following two inequalities:
Thus
where \(C=\frac{\sqrt{2}}{2}\min\{1,k\}\). By Laxâ€“Milgram theorem, the operator B has a bounded inverse \(B^{1}: H^{\frac{1}{2}}_{\alpha }(\varGamma_{0})\to H^{\frac{1}{2}}_{\alpha,*}(\varGamma_{0})\). Then the operator equation \(Tu=g\) can be rewritten as
From TheoremÂ 1, we know that \(\sqrt{2}k\) is not an eigenvalue of B. Because \(I_{*}\) is a compact operator, by use of Fredholm alternative theorem, the operator equation \(Tu=g\) has a unique solution \(u\in H^{\frac{1}{2}}_{\alpha,*}(\varGamma _{0})\) and
where C is a constant independent of g.â€ƒâ–¡
4 Galerkin method
In this section we introduce the Galerkin method to solve equation (17) numerically. Assume
where
The Galerkin method to solve equation (17) is to find \(u_{N}\in V_{N}\) such that
where
Theorem 3
The Galerkin equation (18) has a unique solution \(u_{N} \in V_{N}\).
Proof
For the finite dimensional problem (18), we only need to show that the homogeneous equation
has only one solution \(u_{N}=0\). From (19), we can get \(\langle Tu_{N}, u_{N} \rangle=0\). Thus the proof for \(u_{N}=0\) is similar to TheoremÂ 1.
The next theorem follows from standard estimates for Galerkin method associated with compact operator equation, so we omit the proof here and refer to [15] for details.â€ƒâ–¡
Theorem 4
Assume that \(\beta_{n}\neq0\) for all \(n\in \mathbb{Z}\), u is the solution of (17), and \(u_{N}\) is the solution of (18). When N is large enough,
where C is a positive constant independent of N.
For \(s\in\mathbb{R}\), define space \(H^{s}_{p}\ (\varGamma_{0})\) as follows:
The norm in \(H^{s}_{p}(\varGamma_{0})\) is given by
With a little extension of LemmaÂ 4.11 and ExampleÂ 4.15 in [16] to quasiperiodic functions, the space \({H^{s}_{\alpha,*}(\varGamma_{0})}\) is equal to \({H^{s}_{p}(\varGamma_{0})}\), and the norms \(\Vert \cdot \Vert _{s,*,\varGamma_{0}}\) and \(\Vert \cdot \Vert _{s,p,\varGamma_{0}}\) are equivalent when \(0< s<1\). Then the conclusion of TheoremÂ 4 can be rewritten as
or
Theorem 5
Assume that \(\beta_{n}\neq0\) for all \(n\in \mathbb{Z}\), \(u\in H^{s}_{p}(\varGamma_{0})\ (s>\frac{1}{2})\) is the solution of (17), and \(u_{N}\) is the solution of (18), then when N is large enough,
or
where C is a positive constant independent of N.
Proof
Because
then (22) and (23) are derived by combining the above inequality with (20) and (21).â€ƒâ–¡
5 Numerical results
In this section we demonstrate the numerical results of our method. All computations are performed using MATLAB. In all the following examples, we set the period \(d=4\), the length of the slit \(L=2\), and \(\varGamma_{0}=\{(x_{1},0); 0< x_{1}<2\}\).
Example 1
In this example we consider the convergence results of our Galerkin method. Let \(u(x_{1})=x_{1}(x_{1}2)\), \(x_{1}\in(0,2)\) be the exact solution of the operator equation (17) with \(k=1\), \(\alpha=0\), and the corresponding righthand side function
Moreover, \(u(x_{1})\) has the following expansion:
so we have \(u(x_{1}) \in H^{\frac{5}{2}\varepsilon}_{p}(\varGamma_{0})\) with \(\varepsilon>0\) arbitrarily small. Results are presented in TableÂ 1 and Fig.Â 2. From these results, we can see that the errors \(\Vert uu_{N} \Vert _{\frac{1}{2},*,\varGamma_{0}}\) and \(\Vert uu_{N} \Vert _{\frac{1}{2},p,\varGamma_{0}}\) decay rapidly with respect to N, and the corresponding convergence orders are coincident with TheoremÂ 5.
Example 2
We consider the situation of small wave number. Let the wave number \(k = 1\), and the dimension of \(V_{N}\) be \(N=10\). The incident wave is plane wave with the incident angle \(\theta=0\). Results are shown in Figs.Â 3â€“4. In Fig.Â 3, we show the absolute value of the total field \(u_{t}\) on \(\varGamma_{0}\) and the total field \(u_{t}\) in one period. In Fig.Â 4, we show the real part and the imaginary part of total field \(u_{t}\). From these results we can see that our method is effective when the wave number k is small. Further, in the left one of Fig.Â 3, we also show the results given by FDM (finite difference method). We demonstrate two results given by FDM with 32 and 64 nodes in one period. Comparing with the FDM, we can see the results of our Galerkin method with 20 dofs (degree of freedoms) are coincident with the results of FDM with 64 dofs, i.e., our Galerkin method needs fewer dofs than the FDM.
Example 3
We consider the case of wave number \(k = 10\). The dimension of \(V_{N}\) is \(N=50\). The incident wave is plane wave with the incident angle \(\theta=\pi/4\). Results are presented in Figs.Â 5â€“6. From these results, we can see that the Galerkin method works well and needs fewer dofs than the FDM to obtain reliable results.
Example 4
In this example, we consider the situation of large wave number \(k = 50\) and 100. For \(k = 50\), we set \(N=100\). The absolute values of total fields \(u_{t}\) on \(\varGamma_{0}\) are presented in Fig.Â 7 with incident angles \(\theta=0\) and \(\theta=\pi/4\), respectively. For \(k = 100\), we set \(N=200\). The absolute values of total fields \(u_{t}\) on \(\varGamma_{0}\) are presented in Fig.Â 8 with incident angles \(\theta=0\) and \(\theta=\pi/4\), respectively. Also the numerical solutions given by the FDM are shown in these figures. When \(k=50\), compared with the FDM which needs 1024 dofs, our Galerkin method needs only 100 dofs to get reliable computational results. When \(k=100\), the FDM needs 2048 dofs, while our Galerkin method needs only 200 dofs.
6 Conclusion
In this paper, we study the scattering problem of strip gratings. By use of the continuity of the total field across the slit in one period and the Dirichlet to Neumann map, this problem is reformulated to an operator equation on the slit. The wellposedness of the solution to the operator equation is proved and Galerkin method is employed to solve this operator equation. We also derive the error estimate for the Galerkin method and numerical examples show that our method is effective.
Abbreviations
 MoM:

method of moments
 FMM:

Fourier modal method
 CBCM:

combined boundary conditions method
 FDM:

finite difference method
 FEM:

finite element method
 DtN:

Dirichlet to Neumann
 dofs:

degree of freedoms
References
Petit, R.: Electromagnetic Theory of Gratings, vol.Â 22. Springer, Heidelberg (1980)
Bao, G., Cowsar, L., Masters, W.: Mathematical Modeling in Optical Science, vol.Â 22. SIAM, Philadelphia (2001)
Wilcox, C.H.: Scattering Theory for Diffraction Gratings. Applied Mathematical Sciences Ser., vol.Â 46. Springer, New York (1984)
Uchida, K., Nora, T., Matsunaga, T.: Electromagnetic wave scattering by an infinite plane metallic grating in case of oblique incidence and arbitrary polarization. IEEE Trans. Antennas Propag. 36(3), 415â€“422 (1988)
Wu, T.K.: Fast converging integral equation solution of strip gratings on dielectric substrate. IEEE Trans. Antennas Propag. 35(2), 205â€“207 (1987)
Lee, C.W., Son, H.: Analysis of electromagnetic scattering by periodic strip grating on a grounded dielectric/magnetic slab for arbitrary plane wave incidence case. IEEE Trans. Antennas Propag. 47(9), 1386â€“1392 (1999)
Florencio, R., Boix, R.R., Encinar, J.A.: Enhanced MoM analysis of the scattering by periodic strip gratings in multilayered substrates. IEEE Trans. Antennas Propag. 61(10), 5088â€“5099 (2013)
Matsushima, A., Itakura, T.: Singular integral equation approach to plane wave diffraction by an infinite strip grating at oblique incidence. J. Electromagn. Waves Appl. 4(6), 505â€“519 (1990)
Montiel, F., Neviere, M.: Electromagnetic study of the diffraction of light by a mask used in photolithography. Opt. Commun. 101(3â€“4), 151â€“156 (1993)
Montiel, F., Neviere, M.: Perfectly conducting gratings: a new approach using infinitely thin strips. Opt. Commun. 144(1â€“3), 82â€“88 (1997)
Guizal, B., Felbacq, D.: Electromagnetic beam diffraction by a finite strip grating. Opt. Commun. 165(1â€“3), 1â€“6 (1999)
Granet, G., Guizal, B.: Analysis of strip gratings using a parametric modal method by Fourier expansions. Opt. Commun. 255(1â€“3), 1â€“11 (2005)
Elamine, H., Guizal, B., Oueslati, M., Gharbi, T.: New reformulation of the Fourier modal method with spatial adaptive resolution for multilayered metallic strip grating. Opt. Commun. 283(21), 4392â€“4396 (2010)
Li, L.: Fourier modal method. In: Popov, E. (ed.) Gratings: Theory and Numeric Applications, 2nd edn., pp.Â 1â€“40. Aix Marseille UniversitÃ©, Marseille (2014)
Wang, Y., Ma, F., Zheng, E.: Galerkin method for the scattering problem of a slit. J. Sci. Comput. 70(1), 1â€“18 (2017)
ChandlerWilde, S.N., Hewett, D.P., Moiola, A.: Interpolation of Hilbert and Sobolev spaces: quantitative estimates and counterexamples. Mathematika 61(2), 414â€“443 (2015)
Acknowledgements
The authors would like to thank the referees for their valuable suggestions which helped to improve this work.
Availability of data and materials
Not applicable.
Funding
This work is supported by the Fundamental Research Funds for the Central Universities (Grant no. 3132017053, 3132018226), the Doctoral Scientific Research Foundation of Liaoning Province (Grant no. 20170520289), TianYuan Special Funds of the National Natural Science Foundation of China (Grant no. 11626054), and the National Natural Science Foundation of China (Grant no. 11601056).
Author information
Authors and Affiliations
Contributions
The main idea of this paper was proposed by EZ, the theoretical analysis was carried out by the two authors together, and the numerical experiments were conducted by EZ. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisherâ€™s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zheng, E., Wang, Y. Galerkin method for the scattering problem of strip gratings. Adv Differ Equ 2019, 60 (2019). https://doi.org/10.1186/s1366201919992
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201919992