arxiv: v1 [math.na] 3 Oct 2018

Transcription

1 DISPERSION ANALYSIS OF FINITE DIFFERENCE AND DISCONTINUOUS GALERKIN SCHEMES FOR MAXELL S EQUATIONS IN LINEAR LORENTZ MEDIA YAN JIANG, PUTTHA SAKKAPLANGKUL, VRUSHALI A. BOKIL, YINGDA CHENG, AND FENGYAN LI arxiv:8.73v [math.na] 3 Oct 8 Abstract. In this paper, we consider Maxwell s equations in linear dispersive media described by a single-pole Lorentz model for electronic polarization. e study two classes of commonly used spatial discretizations: finite difference methods FD with arbitrary even order accuracy in space and high spatial order discontinuous Galerkin DG finite element methods. Both types of spatial discretizations are coupled with second order semi-implicit leap-frog and implicit trapezoidal temporal schemes. By performing detailed dispersion analysis for the semi-discrete and fully discrete schemes, we obtain rigorous quantification of the dispersion error for Lorentz dispersive dielectrics. In particular, comparisons of dispersion error can be made taking into account the model parameters, and mesh sizes in the design of the two types of schemes. This work is a continuation of our previous research on energy-stable numerical schemes for nonlinear dispersive optical media [5, 6]. The results for the numerical dispersion analysis of the reduced linear model, considered in the present paper, can guide us in the optimal choice of discretization parameters for the more complicated and nonlinear models. The numerical dispersion analysis of the fully discrete FD and DG schemes, for the dispersive Maxwell model considered in this paper, clearly indicate the dependence of the numerical dispersion errors on spatial and temporal discretizations, their order of accuracy, mesh discretization parameters and model parameters. The results obtained here cannot be arrived at by considering discretizations of Maxwell s equations in free space. In particular, our results contrast the advantages and disadvantages of using high order FD or DG schemes and leap-frog or trapezoidal time integrators over different frequency ranges using a variety of measures of numerical dispersion errors. Finally, we highlight the limitations of the second order accurate temporal discretizations considered. Key words. Maxwell s equations, Lorentz model, numerical dispersion, finite differences, discontinuous Galerkin finite elements.. Introduction. The electromagnetic EM field inside a material is governed by the macroscopic Maxwell s equations along with constitutive laws that account for the response of the material to the electromagnetic field. In this work, we consider a linear dispersive material in which the delayed response to the EM field is modeled as a damped vibrating system for the polarization accounting for the average dipole moment per unit volume over the atomic structure of the material. The corresponding mathematical equations are called the Lorentz model for electronic polarization. Such dielectric materials have actual physical dispersion. The complex-valued electric permittivity of such a dispersive material is frequency dependent and includes physical dissipation, or attenuation. It is well known that numerical discretizations of systems of partial differential equations PDEs will have numerical errors. These errors include dissipation, the dampening of some frequency modes, and dispersion, the frequency dependence of the phase velocity of numerical wave modes [43]. To preserve the correct physics, it is important that the dispersion and dissipation effects are accurately captured by numerical schemes, particularly for long time simulations. Thus, an understanding of how numerical discretizations affect the dispersion relations of PDEs is important in constructing good numerical schemes that correctly predict wave propagation over long distances. hen the PDEs have physical dispersion modeling a retarded response of the material to the imposed electromagnetic field, the corresponding numerical discretizations will support numerical dispersion errors that have a complicated dependence on mesh step sizes, spatial and temporal accuracy and model parameters. In this paper, we perform dispersion analysis of high spatial order discontinuous Galerkin DG and a class of high order finite difference FD schemes, both coupled with second order implicit trapezoidal or semi-implicit leapfrog temporal discretizations for Maxwell s equations in linear Lorentz media. The fully discrete time domain TD methods are the leap-frog DGTD or FDTD methods and the trapezoidal DGTD or FDTD methods. This paper is a continuation of our recent efforts on energy stable numerical schemes for nonlinear dispersive optical media. In [5, 6], we developed fully discrete energy stable DGTD and FDTD methods, respectively, for Maxwell s equations with linear Lorentz and nonlinear Kerr and Raman responses via the auxiliary differential equation ADE approach. These schemes include second order modified leap-frog or trapezoidal temporal schemes combined with high order DG or FD methods for the spatial discretization. In the ADE approach, ordinary differential equations ODEs for the School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui 36, Peoples Republic of China jiangy@ustc.edu.cn. Department of Mathematics, Faculty of Science, King Mongkut s Institute of Technology Ladkrabang, Ladkrabang, Bangkok 5, Thailand. puttha.sa@kmitl.ac.th. Department of Mathematics, Oregon State University, Corvallis, OR 9733 U.S.A. bokilv@math.oregonstate.edu. Research is supported by NSF grant DMS-76 Department of Mathematics, Department of Computational Mathematics, Science and Engineering, Michigan State University, East Lansing, MI 4884 U.S.A. ycheng@msu.edu. Research is supported by NSF grants DMS-45366, DMS-73 and the Simons Foundation under award number Department of Mathematical Sciences, Rensselaer Polytechnic Institute, Troy, NY 8 U.S.A. lif@rpi.edu. Research is supported by NSF grant DMS-7994.

2 evolution of the electric polarization are appended to Maxwell s equations. The two spatial discretizations that were used, the DG method and the FD method are very popular methods for electromagnetic simulations in the literature. The DG methods, which are a class of finite element methods using discontinuous polynomial spaces, have grown to be broadly adopted for EM simulations in the past two decades. They have been developed and analyzed for time dependent linear models, including Maxwell s equations in free space e.g., [,, 9], and in dispersive media e.g., [5, 3, 3, 3]. The Yee scheme [45] is a leap-frog FDTD method that was initially developed for Maxwell s equations in linear dielectrics, and is one of the gold standards for numerical simulation of EM wave propagation in the time domain. The Yee scheme has been extended to linear dispersive media [4, 9, 8] see the books [4, 4] and references therein, and then to nonlinear dispersive media [47, 7, 4,, 4]. Additional references for Yee and other FDTD methods for EM wave propagation in linear and nonlinear Lorentz dispersion can be found in [6, 5, 8, 8, 37] for the D case, and in [4, 7, 47] for D and 3D cases. In our recent work [5, 6], we proved energy stability of fully discrete new FDTD and DGTD schemes for Maxwell s equations with Lorentz, Kerr and Raman effects. Both types of schemes employ second order time integrators, while utilizing high order discretizations in space. The schemes are benchmarked on several one-dimensional test examples and their performance in stability and accuracy are validated. The objective of the present work, is to conduct numerical dispersion analysis of the aforementioned DGTD and FDTD schemes for Maxwell s equations in linear Lorentz media, which can guide us in the optimal choice of numerical discretization parameters for more general dispersive and nonlinear models. There has been abundant study on the dispersion analysis of DG methods. Most work was carried out for semidiscrete schemes, e.g., for scalar linear conservation laws [,,, 39], and for the second-order wave equation [3]. Dispersive behavior of fully discrete DGTD schemes is studied for the one-way wave equation [44, ] and twoway wave equations [9]. Particularly, in [38] the accuracy order of the dispersion and dissipation errors of nodal DG methods with Runge-Kutta time discretization for Maxwell s equations in free space are analyzed numerically. The stability and dispersion properties of a variety of FDTD schemes applied to Maxwell s equations in free space are also well known see [4]. Additionally, various time domain finite element methods have been devised for the numerical approximation of Maxwell s equations in free space see [33, 3] and the references therein. There has been relatively less work on phase error analysis for dispersive dielectrics; see [4, 35, 36, 7] for finite difference methods and [4] for finite element methods. To the best of our knowledge, the present work is the first in the literature to conduct dispersion analysis of fully discrete DGTD methods for Maxwell s equations in Lorentz dispersive media and providing comparisons of the numerical dispersion errors with those of fully discrete FDTD methods. By rigorous quantification of the numerical dispersion error for such dispersive Maxwell systems, we make comparisons of the DGTD and FDTD methods taking into account the model parameters, spatial and temporal accuracy and mesh sizes in the design of the schemes. Given the popularity of both DGTD and FDTD methods in science and engineering, such a comparison of errors between the two schemes will provide practioners of these methods with guidelines on their proper implementation. Our dispersion analysis indicates that there is a complicated dependence of dispersion errors on the model parameters, orders of spatial and temporal discretizations, CFL conditions as well as mesh discretization parameters. e compute and plot a variety of different measures of numerical dispersion errors as functions of the quantity ω ω, where ω is the resonance frequency of the Lorentz material, and ω is an angular frequency. These measures include normalized phase and group velocities, attenuation constants and an energy velocity [6]. The parameter range of the quantity ω ω separates the response of the material into distinct bands. e find that some counterintuitive results can occur for high-loss materials where a low order scheme can have smaller numerical dispersion error than a higher order scheme. Since this situation does not occur in non-dispersive dielectrics, our results demonstrates the need to analyze and study the numerical dispersion relation for the Lorentz media beyond those for the case of free space that commonly appear in the literature. e have made quantitative comparisons of the high order FD and DG schemes based on the metrics discussed above. e also identify the differences in numerical dispersion due to the temporal integrator used. In particular, our results clearly identify the limitation of the second order temporal accuracy of our time discretizations, by identifying distinct bands in the frequency parameter ranges where the high order spatial accuracy of either the DG or FD schemes is unable to alleviate the error in numerical dispersion due to time discretization. The rest of the paper is organized as follows. In Section we introduce Maxwell s equations in a one spatial dimensional Lorentz dispersive material. In Sections 3 and 4, we present and analyze the dispersion relations and the relative phase errors for the PDE model, and two semi-discrete in time finite difference numerical schemes, respectively. In Sections 5 and 6 numerical dispersion errors in semi-discrete in space staggered FD methods, and fully space-time discrete FDTD methods, respectively, are considered, while numerical dispersion errors in semi-discrete in

3 space DG methods and fully discrete DGTD methods are studied in Sections 7, and 8, respectively. In Section 9, we define four quantities that provide different measures of numerical dispersion error and compare these for the FDTD and DGTD methods. Interpretations and conclusions of our results are made in Section.. Maxwell s Equations in a Linear Lorentz Dielectric. e begin by introducing Maxwell s equations in a non-magnetic, non-conductive medium Ω R d, d =,, 3, from time to T, containing no free charges, that govern the dynamic evolution of the electric field E and the magnetic field H in the form t B + E =, in, T ] Ω,.a t D H =, in, T ] Ω,.b B =, D =, in, T ] Ω, along with initial data that satisfies the Gauss laws.c, and appropriate boundary data. System. has to be completed by constitutive laws on [, T ] Ω. The electric flux density D, and the magnetic induction B, are related to the electric field and magnetic field, respectively, via the constitutive laws.c D = ɛ ɛ E + P, B = µ H.. The parameter ɛ is the electric permittivity of free space, while µ is the magnetic permeability of free space. The term ɛ ɛ E captures the linear instantaneous response of the medium to the EM fields, with ɛ defined as the relative electric permittivity in the limit of infinite frequencies. The macroscopic electric retarded polarization P is modeled as a single pole resonance Lorentz dispersion mechanism, in which the time dependent evolution of the polarization follows the second order ODE [6, 4] P P t + γ t + ω P = ωpe..3 In the ODE.3, ω and ω p are the resonance and plasma frequencies of the medium, respectively, and γ is a damping constant. The plasma frequency is related to the resonance frequency via the relation ωp = ɛ s ɛ ω := ɛ d ω. Here ɛ s is defined as the relative permittivity at zero frequency, and ɛ d measures the strength of the electric field coupling to the linear Lorentz dispersion model. e note that the limit ɛ d, or ɛ s ɛ corresponds to a linear dispersionless dielectric. In this paper, we focus on a one dimensional Maxwell model on Ω = R that is obtained from.,. and.3 by assuming an isotropic and homogeneous material in which electromagnetic plane waves are linearly polarized and propagate in the x direction. Thus, the electric field is represented by one scalar component E := E z, while the magnetic field is represented by the one component H := H y. All the other variables are similarly represented by single scalar components. e convert the second order ODE.3 for the linear retarded polarization P to first order form by introducing the linear polarization current density J, P t = J, J t = γj ω P + ωpe..4 e consider a rescaled formulation of the resulting one spatial dimensional Maxwell-Lorentz system with the following scaling: let the reference time scale be t, and reference space scale be x with x = ct and c = / µ ɛ. Henceforth, the rescaled fields and constants are defined based on a reference electric field E as follows, H/E µ /ɛ H, D/ɛ E D, P/E P, J/E t J, E/E E, ω t ω, ω p t ω p, γt γ, where for simplicity, we have used the same notation to denote the scaled and original variables. In summary, we arrive at the following dimensionless Maxwell s equations with linear Lorentz dispersion in one dimension: H t = E x, D t = H x, P t = J, J t = γj ω P + ωpe, 3.5a.5b.5c.5d

4 D = ɛ E + P..5e 3. Dispersion Relations. The Maxwell-Lorentz system.5 is a linear dispersive system, i.e. it admits plane wave solutions of the form e ikx ωt for all its unknown field variables, with the property that the speed of propagation of these waves is not independent of the wave number k or the angular frequency ω [43]. In this section, we derive the dispersion relation of.5 and highlight its main properties. e assume the space-time harmonic variation Xx, t X e ikx ωt, 3. of all field components X {H, E, P, J}. Substituting 3. in.5 yields the system ωh + ke =, kh + ɛ ωe + ωp =, iωp + J =, ωpe ωp + iω γ J =. 3.a 3.b 3.c 3.d Define the vector U = [H, E, P, J ] T containing all amplitudes of the field solution, then 3. can be rewritten as a linear system, given by ω k AU =, with A = k ɛ ω ω iω. 3.3 ωp ω iω γ By solving deta =, we obtain the exact dispersion relation for.5 as k = ±k ex, with k ex = ω ɛ; p, and ɛ; p = ɛ ɛ d /ɛ i γ Here, ɛ; p is the permittivity of the medium dependent on the relative frequency = ω/ω and the parameter set p = [ɛ s, ɛ, γ], with γ = γ/ω. The permittivity is clearly frequency dependent and displays the dispersive nature of the system. A major goal in the design and construction of numerical methods for linear dispersive PDEs is to devise methods that accurately capture the medium s complex permittivity [4]. e will assume that ɛ s >, ɛ > and ɛ d = ɛ s ɛ >. These assumptions are based on physical considerations [4]. In the dispersion analysis, we assume ω is a real number, and restrict ω in this work. Note that ɛ; p and k can be complex, depending on the values that certain parameters assume. For lossless materials i.e. γ =, the medium absorption band is defined by [, ɛ s /ɛ ], in which ɛ; p and k ex is an imaginary number or zero. Outside the medium absorption band, i.e. for other values, we have ɛ; p > and k ex is a real number. Moreover, it is easy to check k ex as approaches the resonance frequency, which is also the lower bound of the medium absorption band and k ex = at the upper bound = ɛ s /ɛ. In this paper, we are mainly interested in low-loss materials, i.e. γ > with γ. In this case, the dispersion relation retains similar properties, which means k ex is a large number around = and a small number near = ɛ s /ɛ. This behavior of the exact dispersion relation has implications for the numerical dispersion errors, as illustrated in later sections. REMARK 3.. In the literature, dispersion relations can be presented in two ways; representing the continuous or discrete angular frequency ω C as a function of the exact and continuous wave number k R and also of the model parameters and possible mesh parameters; representing the continuous or discrete wave number k C as a function of the exact and continuous angular frequency ω R [4]. In the first approach, we will obtain a fourth order polynomial for ω as a function of k and other parameters. e provide some insight into approach in Appendix A, for the semi-discrete in space FDTD discretizations in which the effect of high order FDTD spatial approximations on the dispersion relation is clearly evident in terms of the symbol of the spatial discretization operators. In this paper, we mainly use the second approach since in this approach we are able to explicitly identify the effects of discretization on the permittivity of the Maxwell-Lorentz model.5. Before we proceed, for convenience of the readers, we gather some notations frequently used in the paper, together with the place of their first appearances in a table listed below. 4

5 TABLE 3. Notations used and the place of their first appearance. The symbol in the superscript can be LF for the leap-frog temporal scheme or TP for the trapezoidal temporal scheme. γ K ɛ; p δ; p Ψ Def ω/ω γ/ω ω ω k ex ɛ d ɛ d + i γ h ɛ k ex k + i γ + i γ k ex Eqn , 4.5 Def Ψ FD,M Ψ FD,M Ψ DG,p Ψ DG,p k ex k FD,M k ex kfd,m k ex k DG,p k ex kdg,p k ex k ex k ex k ex Eqn 5.8 Figure 6.3 Figure 7. Figure Second Order Accurate Temporal Discretizations. This section concerns the dispersion analysis of the semi-discrete in time schemes. Continuing from our previous work [5, 6], we consider two types of commonly used second-order time schemes for the linear system.5, both implicit in the ODE parts. Let > be a temporal mesh step. Suppose u n x is the solution at time t n = n, n N, with u = H, E, D, P, J. Then, we compute u n+ x at time t n+ = t n + by the following methods. The first scheme uses a staggered leap-frog discretization in time for the PDE part, with the magnetic field H staggered in time from the rest of the field components. The scheme is given by: H n+/ H n / = En x, 4.a D n+ D n = Hn+/, x 4.b P n+ P n = J n + J n+, 4.c J n+ J n = γ J n + J n+ ω P n + P n+ + ω p E n + E n+, 4.d D n+ = ɛ E n+ + P n+, 4.e H n+ H n+/ / = En+ x. 4.f The second scheme, which is a fully implicit scheme based on the trapezoidal rule, is given as follows: H n+ H n = E n+ + En, 4.a x x D n+ D n = H n+ + Hn, 4.b x x P n+ P n = J n + J n+, 4.c J n+ J n = γ J n + J n+ ω P n + P n+ + ω p E n + E n+, 4.d D n+ =ɛ E n+ + P n+. 4.e Similar to the continuous case, we can perform dispersion analysis on the semi-discrete schemes 4. and 4. by assuming the time discrete plane wave solution as X n x X e ik* x ωt n, 4.3 where can be LF with respect to the leap-frog scheme 4. or TP with respect to the trapezoidal scheme 4.. Define U = [H, E, P, J ] T as the vector containing all amplitudes of the field solutions. Substituting 4.3 in the 5

6 schemes 4. or 4., we obtain linear systems for each case in the form A U =. 4.4 The semi-discrete numerical dispersion relation can be then obtained from deta =. For the leap-frog scheme 4., we have sin klf A LF = klf ɛ sin sin i sin cos, 4.5 ω p cos ω cos i sin γ cos where := ω =, with := ω. This yields the dispersion relation k LF = ±ω ɛ LF ; p LF, with ɛ LF ; p LF = ɛ LF where s ω := sin by the identities and r ω := tan ɛ LF s ɛ LF d /ɛlf LF, i γ LF LF as in [35], and LF = r ω, p LF = [ɛ LF s, ɛ LF, γ LF ], with components given = ɛ s s ω, ɛ LF = ɛ s ω, γ LF = γ. 4.7 In this form, we can clearly identify how the leap-frog time discretization misrepresents the permittivity by misrepresenting the parameters of the model. These misrepresentations are solely due to the discretizations of the ODEs by the leap-frog time integrator. The misrepresentations depend on the value of the exact angular frequency that is chosen, and in particular as approaches zero, the discrete parameters approach the continuous ones. Thus, a guideline for practitioners using this time integrator to control these misrepresentation, is to choose so that cos across the range of frequencies present in the short pulse that propagates in the medium [35]. To further analyze the dispersion error, we consider the regime when, and obtain the Taylor expansion of 4.6 with respect to as k LF = ±k ex + δ; p ɛ; p + O 4, 4.8 where δ; p = ɛ d + i γ i γ e define the relative phase error for the LF scheme to be the ratio Ψ LF := k LF k ex k ex = ɛ LF ; p LF ɛ; p ɛ; p. 4. Here, we consider k LF in 4.6 with plus sign in front. A similar definition will be used for all semi-discrete and fully discrete schemes that appear in this paper, and provides quantitative measurement of the numerical dispersion error. Equation 4.8 verifies a second order dispersion error in time of the leap-frog scheme in the small time step limit. Similarly, for the trapezoidal method 4., we can obtain sin ktp cos A TP = ktp cos ɛ sin sin i sin cos. 4. ω p cos ω cos i sin γ cos 6

7 This leads to the dispersion relation k TP = ±ω ɛ TP ; p TP = s ω k LF, with ɛ TP ; p TP = ɛ TP r ω where TP = r ω, p TP = [ɛ TP s, ɛ TP, γ TP ], with components given as ɛ TP s ɛ TP d /ɛ TP TP, 4. + i γ TP TP = ɛ s r ω, ɛ TP = ɛ r ω, γ TP = γ. 4.3 Again, we can clearly identify how the trapezoidal time discretization misrepresents the permittivity. In particular, this method misrepresents the dissipation and medium resonance in the same manner as the leap-frog method. However, the relative permittivities ɛ and ɛ s are misrepresented in a different manner. Thus, the speeds of propagation of discrete plane waves are different in these two discretizations. In particular, the slow and fast speeds in the medium, corresponding to relative permittivities ɛ s and ɛ, respectively, are different. In the small time step limit, for, we have k TP = ±k ex + δ; p ɛ; p + + O 4, 4.4 which indicates second order accuracy in time for the relative phase error for the trapezoidal scheme defined, in a similar manner to the leap-frog scheme, as Ψ TP := k TP k ex k ex = ɛ TP ; p TP ɛ; p ɛ; p. 4.5 Finally, we make qualitative comparisons of the leap-frog and trapezoidal temporal discretizations. For low-loss materials, the conclusions can be implied from considering the case of γ =. For this case, for a given set of parameters p, ɛ; p and δ; p are real numbers. hen ɛ s /ɛ, we have ɛ; p. This means δ; p, and thus the leading error term of both temporal schemes would be approaching. On the other hand, ɛ; p δ; p when, it is easy to check that as well. Hence, both time schemes will give large dispersion error ɛ; p at = and = ɛ s /ɛ, which are the two endpoints of the medium absorption band. In addition, when, if, δ; p ɛ s /ɛ, i.e. for values in the interior of the medium absorption band, we can prove that ɛ; p <, which leads to the relation δ; p ɛ; p δ; p ɛ; p +. This means the leap-frog scheme has a larger relative phase error than the trapezoidal scheme in the interior of the medium absorption band. For other values of outside the medium absorption band we obtain ɛ; p > and δ; p ɛ; p δ; p ɛ; p +. Hence, the leap-frog scheme would give a small relative phase error outside the absorption band. For low-loss Lorentz medium, i.e., when γ, we believe that these conclusions are still valid with a slight change in two peak positions see Figure 4.. Now we choose the following set of parameters, which are the same as in [6], representing a low-loss Lorentz medium: ɛ s = 5.5, ɛ =.5, γ = Taking as {π/5, π/3, π/6}, the relative phase errors are plotted against [, 3] in Figure 4.. e can observe that the phase errors always have two peaks around = and = ɛ s /ɛ.57, with no appreciable distinction between two temporal discretizations at these peaks. The relative phase errors in the two temporal schemes are basically the same for small. As is increased towards, we see that the error in the leap-frog scheme is slightly smaller than that in the trapezoidal scheme. hen is between and.57, the leap-frog scheme presents larger error than the trapezoidal method. Beyond.57, the trapezoidal scheme generates larger error than the leap-frog scheme. There is no obvious difference between the dispersion errors of two time discretizations at the peaks. Therefore, in the last graph of Figure 4., we only plot the errors of the leap-frog time schemes at the peaks. e verify the second order accuracy of the method when the mesh size is varied. These observations are consistent with our analysis. 7

8 .6 = π/5 LF TP.6 = π/3 LF TP.4 = π/6 LF TP LF, = LF, = ǫ s/ǫ Ψ.3 Ψ.8 Ψ. Ψ LF - slope= FIG. 4.. The relative phase error of leap-frog LF and trapezoidal TP time discretizations. In the first three plots we fix {π/5, π/3, π/6}, respectively, while we vary [, 3]. In the fourth plot, we fix = or = ɛ s/ɛ and consider three different values of corresponding to {π/5, π/3, π/6}, with leap-frog time discretization. 5. Spatial Discretization: High Order Staggered Finite Difference Methods. In this section, we consider semi-discrete in space staggered finite difference schemes for.5. The spatial discretizations that we consider here for system.5 combined with a nonlinear instantaneous Kerr response and a Raman retarded nonlinear response have been recently developed in [6]. The electric and magnetic fields are staggered in space and the discrete spatial operators have arbitrary even order, M, M N, accuracy in space. Below, we describe the semi-discrete spatial schemes, denoted as the FDM scheme, and then we obtain and discuss dispersion relations of these schemes. As in [6], we define two staggered grids on R with spatial step size h, the primal grid G p, and the dual grid G d, defined respectively, as G p = {jh j Z}, and G d = {j + h j Z}. 5. The discrete magnetic field will be approximated at spatial nodes on the dual grid. These approximations are denoted by H j+/, termed as degrees of freedom DoF of H. All the other discrete fields will have their DoF at spatial nodes on the primal grid. For a continuous field variable V, V h denotes its corresponding grid function, defined as the set of all DoF on its respective grid. The semi-discrete scheme is given as follows: H j+/ = D M h E h, 5.a t j+ D j = DM h H h, 5.b t j P j = J j, 5.c t J j t = γj j ωp j + ωpe j, 5.d D j = ɛ E j + P j, 5.e D M where D M h and h are the M-th order finite difference approximations with M N of the spatial differential operator x, on the primal and dual grids, respectively. These approximations are defined as D M h E h = j+/ M λ M p h p E j+p E j p+, 5.3a DM h H h j = h M p= p= λ M p H p j+p H j p+, 5.3b 8

9 and λ M p, is given as [6] λ M p [M!!] p = M + p!!m p!!p, 5.4 with the double factorial n!! defined as n n n n >, odd n!! = n n n n >, even, n =,. 5.. Semi-discrete in space dispersion analysis. In this section we analyze the spatial semi-discrete system 5., i.e., the FDM scheme. e assume that the semi-discrete system 5. has plane wave solutions of the form 5.5 X j t X e ik FD,M jh ωt, 5.6 where k FD,M represents the numerical wave number of the semi-discrete FDM scheme. By substituting 5.6 in 5. we obtain the linear system A FD,M U FD =, 5.7 where the vector U FD = [H, E, P, J ] T, and the matrix A FD,M is given by ω Λ M A FD,M = Λ M ɛ ω ω iω with Λ M = M λ M [ p h p sin p ] k FD,M h. 5.8 ωp ω p= iω γ The numerical dispersion relation of the FDM method is obtained by solving the characteristic equation of matrix A FD,M and is given as Λ M = ±ω ɛ d /ɛ ɛ; p = ±ω ɛ = ±k ex i γ Using results from [6], we can rewrite this numerical dispersion relation as M h Λ [p 3!!] M = sin p kfd,m h p! p= = ± K, 5. with K := k ex h. In general, for any M, we will have 4M discrete wave numbers k FD,M that satisfy 5.. In particular, when M =, i.e. for the FD scheme, the numerical dispersion relation 5. is kfd, h sin = ± K. 5. Thus, considering K, and performing a Taylor expansion of 5. we obtain k FD, = ±k ex + 4 K K4 + OK 6, 5. which indicates that the numerical dispersion error of the FD scheme is second order accurate in space. For the case M =, i.e. for the FD4 scheme, the numerical dispersion relation 5. becomes kfd,4 h kfd,4 h 6 sin3 + sin = ± K. 5.3 The Taylor expansions of all roots in equation 5.3 are given by k FD phys,4 = ±k ex K K6 + OK 8, 5.4a k FD spur,4 = ±k ex i arcsinh 4 K 7 + i 9 4K + OK, 5.4b 568 k FD spur,4 = ±k ex i arcsinh 4 K 9 7 i 9 4K + OK 568, 5.4c

10 where k FD phys,4 and k FD spur,4, k FD spur,4 are wave numbers corresponding to the physical modes and spurious modes, respectively, of the FD4 scheme. The physical modes indicate a fourth order accurate numerical dispersion error, while the leading terms in the spurious modes of k are proportional to O/h, indicating an exponential increase or damping corresponding to the opposite sign in front. The existence of spurious, or non-physical modes for a variety of discretizations has been discussed in the literature, e.g., [3,, 3]. The presence of spurious modes in not ideal, however in practice these have not shown to be serious issues for numerical methods. e would like to note, that to the best of the authors knowledge, the existence of spurious modes for high order FD discretizations has not been analytically identified in the literature. Equations 5.4a and 5.4c provide explicit formulas for the spurious modes that we have not found in the literature. Below, we focus on the physical modes, and prove that for the FD scheme of order M FDM, the dispersion error is of M-th order. Thus, the dispersion error is of the same order as the local truncation error for the finite difference schemes. THEOREM 5.. The physical modes of the dispersion relation 5., for the spatial semi-discrete finite difference method FDM, results in the dispersion error identity for any M, where ς M = In other words, the dispersion error of the FDM scheme 5. is of order M. k FD phys,m = ±k ex + ς M, 5.5 [M!!] M M +! KM + OK M Proof. Here, we only consider k FD phys,m with plus sign in front. Define ς M := k FD phys,m k ex k ex. Then, substituting from 5.9 for k ex, rearranging, and using results from [6] we obtain the identity k ex ς M = k FD phys,m M λ M [ p h p sin p ] k FD phys,m h, p= i.e, k FD phys,m satisfies 5.5 for ς M as defined in 5.6. Next, we prove the identity 5.6. Because we only consider the physical modes here, it is reasonable to assume that k FD phys,m = k ex + OK τ for some τ >. Hence, when k FD phys,m h = K + OK τ is small enough, performing a Taylor expansion with respect to k FD phys,m h we get k ex ς M = k FD phys,m h = k FD phys,m h M p= λ M p p l= p= = k FD phys,m k FD phys,m l= l l +! M λ M p l p l +! [ M l= p= λ M p p l ] [ p k FD phys,m h ] l+ [ ] l+ p k FD phys,m h Based on the derivation of λ M p as discussed in [6], we have the following identities M λ M p =, p= M p= M p= λ M p p l =, for l =,,.., M, λ M p p M = M+ [M!!]. l kfd l l +! phys,m h l. Therefore, [ k ex ς M = k FD phys,m k FD phys,m [M!!] kfd M M +! phys,m h M kfd + O phys,m h ] M+

11 [ = k FD phys,m [M!!] M K M + O K M+τ + K M+] M +! [ = k ex [M!!] M K M + O K M+τ + K M+], 5.7 M +! which proves 5.6. Hence, with the assumption k FD phys,m = k ex + OK τ and τ >, we can deduce that k FD phys,m = k ex + OK M. Next, we illustrate the relative phase errors of the FDM scheme for 5., M =,..., 5, with the parameter set p fixed at values given in 4.6. The numerical wave number k FD,M is obtained by solving 5. exactly or with the help of a Newton solver we set the tolerance at 8. Since k ex h = ɛ; p ω h, then k FD,M h depends on, p, ω h, and M, and so does the relative phase error Ψ FD,M := k FD,M k ex k ex = k FD,M h k ex h k ex h. 5.8 First, we fix ω h = π/3, and present the relative phase errors as functions of [, 3] in Figure 5.. Because the leading error term in the numerical wave number for the FDM scheme is proportional to K M, we expect M order accuracy of the relative phase error with respect to K at a fixed angular frequency. e observe that all schemes have significantly larger error around =, while the error fades out near = ɛ s /ɛ, where K is close to zero. As expected from analysis, higher order spatial accuracy does result in reduced relative phase errors. e present the relative phase errors at = with ω h = π/3 in the left plot in Figure 5., while in the right plot we depict the M order convergence of relative phase errors with respect to K for fixed =. The slopes of phase errors in this plot are shown to be the same as those of reference lines with slope M, indicating the Mth order of accuracy for each FDM scheme, which agrees with the results in Theorem 5.. e note the presence of just one peak in these plots as compared to the presence of two peaks in analogous plots of phase errors for temporal discretizations presented in Section 4. FIG. 5.. The relative phase error of physical modes for the spatial discretization FDM. Left: fix ω h = π/3 with [, 3]; right: fix = with different ω h {π/3, π/6, π/, π/4}. 6. Fully discrete FDTD Methods. In this section, we consider the high order staggered spatial discretizatons 5. combined with either the leap-frog scheme in time 4. or the trapezoidal scheme in time 4. presented in Section 4. These fully discrete methods are second order accurate in time and M-th order accurate in space, thus we denote them as, M leap-frog FDTD schemes or, M trapezoidal FDTD methods. In particular, the, leap-frog method is the extension of the standard Yee FDTD method to Lorentz dispersive media. Finally, comparisons will be made among all finite difference schemes under considerations. e first compute the dispersion relation for the fully discrete, M schemes. To do so, we assume the plane

12 wave solutions X n j X e ik FD,M jh ωn, 6. where is either LF or TP. Substituting 6. into the appropriate, M FDTD method which we have not explicitly written out here for brevity, we obtain the linear system A * FD,M U * FD =, 6. where the coefficient matrix for the two schemes will be discussed in the next two sections. 6.. Fully discrete dispersion analysis:, M leap-frog-fdtd schemes. e first consider the, M leap-frog FDTD scheme. For the leap-frog temporal discretization the coefficient matrix in the linear system 6. is given as sin Λ LF M with A LF FD,M = Λ LF M ɛ sin sin i sin ω p cos ω cos Λ LF M = h M p= λ M [ p p sin p ] kfd,m LF h. Based on previous discussions, we can derive the identity M [p 3!!] k LF sin p p! p= FD,M h cos, 6.3 i sin γ cos = klf h. 6.4 For both the fully discrete methods, we focus our discussions on the physical modes. For the case of and K, we analyze the Taylor expansion of the physical modes for the fully discrete leap-frog FDTD schemes and observe the following pattern: k LF FD phys,m = ±kex + δ; p ɛ; p [M!!] + M M +! KM + OK M+ + K M + 4, M. 6.5 ɛ; p Furthermore, with the relation K = ν, we can treat k LF as a function of and ν = ɛ FD phys,m h, the ɛ CFL Courant-Friedrich-Lewy number subject to the stability constraint for the, M leap-frog FDTD scheme. Assuming ν = O, we have ±k ex + δ; p ɛ; p ɛ; p + ɛ ν + O 4, M =, k LF FD phys,m = 6.6 ±k ex + δ; p ɛ; p + O 4, M. e can see that due to the second order time discretizations employed, the fully discrete scheme always results in a second order dispersion error. Particularly for all M, the leading term in the dispersion error is identical, and independent of ν which comes solely from the temporal discretization. To compare the performance of the scheme for M = and M, we will focus on comparison of the coefficients of leading error terms in 6.6. e first consider γ =. e can make the following conclusions. For in the medium absorption band, i.e., ɛ s /ɛ, it is easy to check that δ; p ɛ; p ɛ; p + ɛ ν δ; p ɛ; p

13 δ; p ɛ; p based on the inequalities and ɛ; p ɛ ν, which implies that the high order schemes reduce the dispersion error as one would expect. This is true independent of other parameter choices. For other values, the outcome will depend on the parameters. e can show that the general condition for the higher order scheme M to be more accurate in its dispersion error is equivalent to the inequality ɛd + ν ɛd + ν ɛ This is a quadratic inequality in. e can conclude that with the CFL condition ν, which is a necessary condition to ensure the fully discrete, M leap-frog-fdtd scheme is stable for any M [7, 6], we have if < ν, the condition 6.7 always holds for all. if < ν < and if < ɛ d /ɛ ν, then the condition 6.7 holds on ɛ L R, if ɛ d /ɛ ν, then the condition 6.7 holds on R, where ɛ d /ɛ + ν L = + 3ɛ d /ɛ ν ν 4ɛ d /ɛ 4ɛ d /ɛ + 8ɛ d /ɛ ν + 9ɛ d ν/ɛ ν, ɛ d /ɛ + ν R = + 3ɛ d /ɛ ν + ν 4ɛ d /ɛ 4ɛ d /ɛ + 8ɛ d /ɛ ν + 9ɛ d ν/ɛ ν. The case of γ > is even more complicated. For low loss materials, in general we expect similar conclusions as in the lossless case. e now perform a numerical study, and compare the leading error terms in 6.6 with ν =.6 which is small enough to guarantee that the scheme is stable for arbitrary M see next section and [6]. The absolute values of coefficients of leading error terms are plotted in Figure 6., with ɛ =.5, ɛ s = 5.5 and various γ values. It is observed that we can not determine which method performs better for the general case. From Figure 6., it s clear that higher order schemes have smaller dispersion error for γ =,. in the range [, 3]. This is no longer true for γ =.,. The discussion here reveals an interesting fact. For some parameter values, we can have counterintuitive results that the lower order scheme performs better than higher order scheme when numerical dispersion is present. γ = M= M γ =. M= M. γ =. M= M.5. γ = M= M C FIG. 6.. Absolute value of coefficients of leading error terms in 6.6 denoted by C for the, M leap-frog FDTD scheme. 3

14 6.. Fully discrete dispersion analysis:, M trapezoidal-fdtd schemes. e repeat the analysis done in the previous section for the fully discrete, M trapezoidal FDTD schemes. e obtain the numerical dispersion relation for these schemes by setting the determinant of the matrix sin Λ TP M A TP FD,M = to zero. In the above, we have Λ TP M ɛ sin sin i sin ω p cos ω cos Λ TP M = h The numerical dispersion is given by M p= M p= cos i sin γ cos λ M [ p p sin p ] kfd,m TP h cos. [p 3!!] p! sin p k TP FD,M h By requiring and K, we can obtain the physical modes in the form 6.8 = ktp h. 6.9 k TP FD phys,m = ±kex + δ; p ɛ; p + [M!!] + M M +! KM + OK M+ + K M + 4, M. 6. For with ν = O, Taylor expansion gives us ±k ex + δ; p ɛ; p + + k TP FD phys,m = ɛ; p ɛ ν + O 4, M =, ±k ex + 6. δ; p ɛ; p + + O 4, M. This shows second order dispersion error in all cases. hen γ =, it is easy to check that δ; p ɛ; p + + ɛ; p ɛ ν δ; p ɛ; p + for any and ν >. Hence, the high order FDTD schemes with M always have smaller dispersion error than the, FDTD scheme. On the other hand, numerical tests comparing the coefficients of leading order error terms in the trapezoidal FDTD schemes are provided in Figure 6., with various γ values and the same parameters as used in Figure 6.. The plots indicate that it is again difficult to determine which coefficient for M = or M is larger when γ is large Comparison among fully discrete FDTD schemes. Here, we will present comparisons of the relative phase error for both the leap-frog and trapezoidal FDTD schemes using the parameters values fixed as in 4.6. For the fully discrete schemes, ω and ω h are needed to determine kfd,m. As shown in [5, 6], the schemes based on the trapezoidal rule are unconditionally stable, while the leap-frog schemes are conditionally stable, with the stability condition as ν νmax, M with νmax M defined as the largest CFL number of the, M leap-frog-fd scheme, given by the formula [6, 7] νmax M =. 6. M [p 3!!] p! p= e note that as M increases, νmax M decreases but is bounded from below by νmax = /π, i.e. in the limiting case M, νmax M approaches /π [7]. First, we will consider the schemes with a normalized CFL number ν/νmax M =.7 for both types of temporal discretizations. Relative phase errors are plotted in the range [, 3]. In Figure 6.3, we show errors of LF, M 4

15 γ = M= M γ =. M= M. γ =. M= M.4.35 γ = M= M C FIG. 6.. Absolute value of coefficients of leading error terms in 6. denoted by C for the, M trapezoidal FDTD scheme. and TP, M with = π/3. The fully discrete schemes do give two peaks near = and = ɛ s /ɛ. As seen in Section 4, the phase errors for schemes based on semi-discretizations in time have two peaks in this range, while only one peak in observed for the semi-discrete spatial schemes as seen in Section 5.. Thus, it is reasonable to believe that the second peak results from time discretization, while the first one is associated with both space and time discretization. Comparing FDTD schemes with the same time discretization, phase error for the scheme with M = is smaller than that of the second order scheme for M =. However, there is no significant difference among the phase errors with M indicating that dispersion errors are dominated by time discretizations when M. These observations are consistent with our analysis. On the other hand, difference in phase error plots between LF, M and TP, M is similar to the results obtained for the semi-discrete in time schemes as seen in the second plot of Figure 4.. FIG The relative phase error of fully discrete FDTD schemes for the physical modes with ν/ν M max =.7 and = π/3. Left: the leap-frog scheme; right: the trapezoidal scheme. In the second experiment, we will consider the fully discrete trapezoidal FDTD scheme with various CFL numbers. e give the contour plots of the dispersion error at = in Figure 6.4, with [.5,.3] and ω h [.,.]. Here, the vertical coordinate is = and the horizontal coordinate is K = ɛ; p ω h. In this coordinate system, for the range of values considered, the dispersion error of TP, can be improved by both taking smaller time steps and/or refining the spatial grid. ith fixed time step and spatial grid, we can also reduce the phase error by increasing the scheme to fourth order. The contour lines in Figure 6.4 of higher order M =, 3 schemes are horizontal, and the contours for TP,4 and TP,6 have no visible difference. Neither decreasing space 5

16 FIG The contour plots of relative phase error of fully discrete FD schemes for the physical modes with trapezoidal scheme. =. mesh size nor increasing spatial order can reduce the phase error, which also illustrates the dominant role of temporal errors. Both our analysis and figures demonstrate that FDTD schemes with M 3 do not improve the phase error of fully discrete schemes significantly beyond that achieved for M =. Hence, LF, 4 and TP, 4 seem to be the best schemes to work with from this perspective for most parameter choices except for materials with large loss, or low-loss materials with certain range of frequencies as shown in Figures 6. and Spatial Discretization: Discontinuous Galerkin Schemes. In this section, similar to Section 5, we perform semi-discrete and fully discrete analysis when the spatial variable is discretized by DG schemes. Here, we define the grid as x j+/ = j + /h, j Z, with uniform mesh size h. Let I j = [x j /, x j+/ ] be a mesh element, with x j = x j + x j+ as its center. e now define a finite dimensional discrete space, V p h = {v : v I j P p I j, j Z}, 7. which consists of piecewise polynomials of degree up to p with respect to the mesh. For any v V p h, let v+ resp. j+ v denote the limit value of v at x j+ j+ from the element I j+ resp. I j, [v] j+ = v+ v denote its jump, j+ j+ and {v} j+ = v+ + v be its average, again at x j+ j+ j+. The semi-discrete DG method for the system.5 is formulated as follows: find H h t,, D h t,, E h t,, P h t,, J h t, V p h, such that j, t H h φdx + E h x φdx Êhφ j+/ + Êhφ + j / =, φ V p h, 7.a I j I j t D h φdx + H h x φdx H h φ j+/ + H h φ + j / =, φ V p h, 7.b I j I j t P h = J h, t J h = γj h ω P h + ω pe h, D h = ɛ E h + P h. 7.c 7.d Both the terms Êh and H h are numerical fluxes, and they are single-valued functions defined on the cell interfaces and should be designed to ensure numerical stability and accuracy. In the present work, we consider the following general form of numerical fluxes similar to the ones introduced in [9], Ê h = {E h } + α[e h ] + β [H h ], H h = {H h } α[h h ] + β [E h ]. 7.e 7.3a 7.3b Here, α, β and β are constants that are taken to be O, with β and β being non-negative for stability. For example, if we take α = β = β =, we have the central flux Ê h = {E h }, Hh = {H h }; 7.4 6

17 if α = ±/ and β = β =, we have the alternating flux Ê h = E h, Hh = H + h ; or Ê h = E + h, Hh = H h ; 7.5 and if α =, β = / ɛ, and β = ɛ /, we have the upwind flux for the Maxwell s equations neglecting Lorentz dispersion Ê h = {E h } + ɛ [H h ], Hh = {H h } + ɛ [E h]. 7.6 In particular, when using the alternating flux with p =, it is easy to check that the DG scheme is equivalent to FD discretization. 7.. Semi-discrete in space dispersion analysis. In order to carry out the dispersion analysis, for piecewise P p polynomials, we choose the basis functions on each element I j to be Lagrange polynomials φ j mx = φ m ξ, ξ = x x j /h: φ m ξ n = δ m,n = Then, the numerical solution on I j can be written as { {, n = m, p =,, n m, m, n =,..., p, with ξ n = X h = n p, otherwise. p Xj m φ j m. 7.7 m= Here, X can be H, D, E, P and J. In particular, Xj m is the point value of X h at x j + ξ m h. e define the vector X j = [Xj,, X p j ]T. Then, the semi-discrete scheme 7. can be transformed into MH j t + VE j + Q αe j + Q αe j + Q αe j+ + S β H j + S β H j + S β H j+ = 7.8a MD j t + VH j + Q αh j + Q αh j + Q αh j+ + S β E j + S β E j + S β E j+ = 7.8b P j t = J j J j t = γj j ω P j + ω pe j D j = ɛ E j + P j where, M, V, Q and S are p + p + matrices, with being ± or. M is the element mass matrix, V is the element stiffness matrix, Q and S are related to the numerical flux, Q z m,n = { M m,n = h V m,n = z, m =, n = p,, otherwise, { Q z m,n = z, m = p, n =,, otherwise, + z, m = n =, Q z m,n = + z, m = n = p,, otherwise, / / / / φ m ξφ n ξdξ. φ mξφ n ξdξ. S z m,n = S z m,n = { z, m =, n = p,, otherwise, { z, m = p, n =,, otherwise, z, m = n =, S z m,n = z, m = n = p,, otherwise. 7.8c 7.8d 7.8e Following standard practice for dispersion analysis for DG schemes, we formulate the linear system resulting from 7.8. ith the assumption that X m j t = X m e ikdg,pjh ωt, m =,..., p, 7

18 we can obtain A DG,p U DG =, 7.9 with U DG = [H,, H p, E,, E p, P,, P p, J,, J p ]T, and iωm + R P A DG,p = Here, I is the p + p + identity matrix, and P iωɛ M + R iωm iωi I ωpi ωi iω + γi. 7. P = V + Q αe ikdg,ph + Q α + Q αe ikdg,ph, R = S β e ikdg,ph + S β + S β e ikdg,ph, P = V + Q αe ikdg,ph + Q α + Q αe ikdg,ph, R = S β e ikdg,ph + S β + S β e ikdg,ph. Then, we can derive the corresponding numerical dispersion relation for the DG methods by solving deta DG,p =. Due to the dependence on the flux parameters α, β, β and the coupling of the local degrees of freedom, the dispersion relation is more complicated than that of the FD scheme. e have the following theorem, which characterizes the dispersion relation satisfied by k DG,p. THEOREM 7.. Consider the DG scheme 7. with V p h as the discrete space, then k DG,p are the roots of a quartic polynomial equation in terms of ξ = e ikdg,ph if α + β β /4, and k DG,p are the roots of a quadratic polynomial equation in terms of ξ = e ikdg,ph when α + β β = /4. Proof. For p =, we can obtain deta DG, = e ikdg,h + e ikdg,h + 4α + β β + 4 e ikdg,h + e ikdg,h 4α + β β + i β ɛ; p + β ωh + + α + β β 4i β ɛ; p + β ωh k ex h. 7. Hence, the conclusion is straightforward. For p, note that the term e ikdg,ph only appears in P p, P p, R p and R p, and e ikdg,ph only appears in P p, P p, R p and R p. Hence, by the properties of determinant under row or colume operations, deta DG,p is in the form of C +C e ikdg,ph +C e ikdg,ph +C e ikdg,ph +C e ikdg,ph, where C i, i =,,,,, do not depend on k DG,p. Hence, k DG,p is the root of C + C ξ + C ξ + C ξ 3 + C ξ 4 = with ξ = e ikdg,ph. Furthermore, if α + β β = /4, we have the following two cases: Case : α = ±/ and at least one of β and β is zero. ithout loss of generality, we assume α = / and β =. It is easy to check that e ikdg,ph can only appear in P p, and R p, and e ikdg,ph can only appear in P p and R p. Therefore, the determinant deta DG,p is in the form of C + C e ikdg,ph + C e ikdg,ph. Case : α ±/, β and β. Then, all of P, P, R and R include e ikdg,ph and e ikdg,ph. However, with the help of the fact that / + α β = β / α, we can check that the new matrix D A DG,p only has e ikdg,ph in its first row and e ikdg,ph in its p + -th row, where the matrix D is defined as following:, m = n, / + α/β D m,n =, m = p +, n =, m, n =, 4p / + α/β, m = p +, n = p +,, otherwise, Hence, we can obtain that detd A DG,p should be in the form of C + C e ikdg,ph + C e ikdg,ph. On the other hand, it is easy to check that detd =. Therefore, the determinant deta DG,p = detd A DG,p. In both cases, we can reach the conclusion that k DG,p is the root of C + C ξ + C ξ = with ξ = e ikdg,ph. By Theorem 7., we can see that for the DG scheme 7. employing the central flux 7.4 α = β = β =, there are four discrete wave numbers k DG,p, corresponding to two physical modes and two spurious modes. hile for the alternating fluxes 7.5 and the upwind flux 7.6 α + β β = /4, there are only two discrete wave numbers k DG,p, corresponding to the physical modes. This conclusion holds for arbitrary p. Unlike the FD scheme, when we 8