CONVERGENCE ANALYSIS OF YEE SCHEMES FOR MAXWELL S EQUATIONS IN DEBYE AND LORENTZ DISPERSIVE MEDIA
|
|
- Darleen Hoover
- 5 years ago
- Views:
Transcription
1 INTRNATIONAL JOURNAL OF NUMRICAL ANALYSIS AND MODLING Volume XX Number 0 ages 45 c 03 Institute for Scientific Computing and Information CONVRGNC ANALYSIS OF Y SCHMS FOR MAXWLL S QUATIONS IN DBY AND LORNTZ DISRSIV MDIA V. A. BOKIL AND N. L. GIBSON Abstract. We present discrete energy decay results for te Yee sceme applied to Maxwell s equations in Debye and Lorentz dispersive media. Tese estimates provide stability conditions for te Yee sceme in te corresponding media. In particular we sow tat te stability conditions are te same as tose for te Yee sceme in a nondispersive dielectric. However energy decay for te Maxwell-Debye and Maxwell-Lorentz models indicate tat te Yee scemes are dissipative. Te energy decay results are ten used to prove te convergence of te Yee scemes for te dispersive models. We also sow tat te Yee scemes preserve te Gauss divergence laws on its discrete mes. Numerical simulations are provided to justify te teoretical results. Key words. Maxwell s equations Debye Lorentz dispersive materials Yee FDTD metod energy decay convergence analysis.. Introduction Te Yee sceme is a finite difference time domain (FDTD numerical tecnique for te discretization of Maxwell s equations in a non-dispersive medium suc as free space. It was first presented in [35]. Te Yee sceme was extended to discretize Maxwell s equations in linear dispersive media and analyzed in a series of papers [ ] involving dispersive media models suc as te Debye [4 0] Lorentz [8 30] cold plasma [3 36] and cole-cole [9 ] models among oters. Fourier analysis of te Yee sceme in suc dispersive media (see for e.g. [4 3] indicate tat te Yee sceme is stable under te same stability condition as tat in a corresponding (aving te same relative permittivity non-dispersive dielectric. However te Yee sceme in dispersive media is dissipative unlike its counterpart in a non-dispersive non-conductive medium and in addition is more dispersive [5 3]. Te time step in te Yee sceme needs to be cosen to resolve all te time scales associated wit a particular dispersive medium suc as relaxation times resonance times and incident wave periods [3]. Maxwell s equations in suc media ave been sown to constitute a stiff problem and te time step needed to resolve waves in te numerical grid can be extremely small [3]. Researc on te construction and analysis of Yee type finite difference time domain metods for Maxwell s equations in dispersive media is an area of active interest. We refer te reader to te book [33] and te numerous references terein for an introduction to te Yee sceme and its properties. Received by te editors May Matematics Subject Classification. 65M06 65M 65Z05.
2 V. A. BOKIL AND N. L. GIBSON In tis paper we present for te first time an analysis of te Yee sceme in Debye (Maxwell-Debye and Lorentz (Maxwell-Lorentz media by deriving energy decay results tat indicate te conditional stability and dissipative nature of te scemes. We also present a full convergence analysis of te Yee scemes for te Maxwell-Debye and Maxwell-Lorentz models using te derived energy decay results. nergy metods based on variational tecniques for analyzing stability and convergence properties of te Yee sceme in a lossy non-dispersive medium and operator splitting FDTD tecniques ave recently been publised in te literature see for example [7 0 5]. Finite element metods (FM and discontinuous Galerkin (DG metods for Maxwell s equations in various dispersive media ave also recently been publised for example see [ ] and references terein. We construct exact solutions based on numerical dispersion relations for te Maxwell-Debye and Maxwell-Lorentz models wic are useful in understanding te decay of discrete energies in numerical metods for tese models. We use tese exact solutions to justify our stability and convergence analyses in our numerical simulations of te Yee scemes. Te outline of te paper is as follows. In Section we present two dispersive media models and construct te Maxwell-Debye model and Maxwell-Lorentz model in two dimensions. We recall energy decay results for tese models from te literature [3]. In Section 3 we outline te discrete meses and spaces tat te electric magnetic and polarization fields are discretized on and establisg discrete curl operators and teir properties. In Sections 4 and 5 we recall te Yee scemes for te Maxwell-Debye and te Maxwell-Lorentz models respectively. For bot models we sow tat te corresponding Yee scemes are second-order accurate in time establis discrete energy decay results and prove te conditional convergence of te corresponding Yee scemes. In addition we sow tat tese scemes satisfy te Gauss divergence laws on te discrete Yee mes. Numerical simulations based on exact solutions are presented in Sections 6 and 7 tat justify te stability and convergence analyses. Finally conclusions are made in Section 8.. Maxwell s quations in Dispersive Dielectrics We consider Maxwell s equations wic govern te electric field and te magnetic field H in a domain Ω R 3 from time 0 to T given as (.a D t µ 0 B = 0 in Ω (0 T (.b (.c (.d (.e B t + = 0 in Ω (0 T. D = 0 = B in Ω (0 T n = 0 on Ω (0 T (0 x = 0 ; H(0 x = H 0 in Ω. Te fields D B are te electric and magnetic flux densities respectively. On te boundary Ω we impose a perfect conducting (C boundary condition (.d were te vector n is te outward unit normal vector to Ω. Lastly we add initial conditions (.e to te system.
3 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 3 Witin te dielectric medium we ave constitutive relations tat relate te flux densities D B to te electric and magnetic fields respectively as (.a (.b D = ɛ 0 ɛ + B = µ 0 H were te constants ɛ 0 and µ 0 are te permittivity and permeability of free space and are connected to te speed of ligt in vacuum c 0 by c 0 = / ɛ 0 µ 0. Te quantity is called te electric (macroscopic relaxation polarization and te coefficient ɛ is called te infinite frequency relative permittivity. Te constitutive law (.a incorporates te effects of electric polarization wic is defined as te electric field induced disturbance of te carge distribution in a region []. Tis polarization may ave an instantaneous component as well as ones tat do not occur instantaneously. Te relaxation polarization is te noninstantaneous part of te electric polarization and usually as associated time constants []. Te presence of instantaneous polarization is accounted for by te coefficient ɛ in te constitutive relation (.a. We neglect any additional magnetic effects and assume tat te magnetic constitutive relation (.b for free space is also valid in te dispersive medium. To describe te beavior of te media s macroscopic electric polarization a general integral equation model is employed in wic te polarization explicitly depends on te past istory of te electric field []. Te resulting constitutive law can be given in terms of a convolution involving a displacement susceptibility kernel g as (.3 (t x = t 0 g(t s x(s xds inside te dielectric. Here we consider polarization mecanisms for wic in te time domain te convolution (.3 describing te polarization can be converted to an ordinary differential equation (OD or systems of ODs governing te evolution of te relaxation polarization driven by te electric field []. In particular we consider two popular models: te Debye model [4] for orientational polarization and te Lorentz model [30] for electronic polarization... Debye Media: Model and nergy estimates. To model wave propagation in polar materials like water we use te single-pole Debye model in wic te susceptibility kernel in (.3 is (.4 g(t x = ɛ 0(ɛ s ɛ e t/τ. τ Tis gives a model for orientational polarization [0] and can be re-written as an OD in time forced by te electric field (.5 τ t + = ɛ 0ɛ (ɛ q in Ω (0 T. In equation (.5 te parameter ɛ s is called te static relative permittivity. Te ratio of static to infinite permittivities is denoted as ɛ q := ɛs ɛ. In general τ ɛ and ɛ s can be functions of space but we assume ere tat all parameters are constant witin te medium ɛ s > ɛ i.e. ɛ q > and τ > 0. To construct a model for electromagnetic wave propagation in a polar material in two dimensions we make te assumption tat no fields exibit variation in te z direction i.e. all partial derivatives wit respect to z are zero. Te electric field and polarization ten ave two components eac = ( x y T = ( x y T and te
4 4 V. A. BOKIL AND N. L. GIBSON magnetic field as one component H z = H. Combining (.5 wit te constitutive relations (.a and (.b and substituting in te Maxwell curl equations (.a and (.b we get te following system of partial differential equations wic we call te D T Maxwell-Debye model : (.6a (.6b (.6c H t = curl µ 0 t = curl H (ɛ q + ɛ 0 ɛ τ ɛ 0 ɛ τ t = ɛ 0ɛ (ɛ q τ τ were for a vector field U = (U x U y T te scalar curl operator is curl U := Uy x ( T U x y and for a scalar field V te vector curl operator is curl V := V y V x [8]. All te fields in (.6 are functions of position x = (x y T and time t. We first sow tat system (.6 along wit te C boundary conditions (.d and initial conditions (x 0 = 0 (x (x 0 = 0 (x and H(x 0 = H 0 (x for x Ω R is well-posed. To tis end we define te following two function spaces: (.7 (.8 H(curl Ω = {u ( L (Ω curl u L (Ω} H 0 (curl Ω = {u H(curl Ω n u = 0}. Let ( denote te L inner product and te corresponding norm. Multiplying (.6a by µ 0 v L (Ω (.6b by ɛ 0 ɛ u H 0 (curl Ω and (.6c by ɛ 0 ɛ (ɛ q w ( L (Ω integrating over te domain Ω R and applying Green s formula for te curl operator (.9 (curl H u = (H curl u u H 0 (curl Ω we obtain te weak formulation for te D Maxwell-Debye system of equations (.6 (.0a (.0b (.0c ( ɛ 0 ɛ (ɛ q ( µ 0 H t v ( ɛ 0 ɛ t u = ( curl v ( ɛ0 ɛ (ɛ q = (H curl u τ ( ( t w = τ w ɛ 0 ɛ (ɛ q τ w ( u + τ u Te following teorem sows te stability of te D Maxwell-Debye model (.6 by sowing tat te model exibits energy decay.. Teorem. (Maxwell-Debye nergy Decay. Let Ω R and suppose tat te solutions of te weak formulation (.0 for te D Maxwell-Debye system of equations (.6 satisfy te regularity conditions C(0 T ; H 0 (curl Ω C (0 T ; (L (Ω
5 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 5 C (0 T ; ( L (Ω and H(t C (0 T ; L (Ω along wit C boundary conditions (.d. Ten te system exibits energy decay (. D (t D (0 t 0 were te energy D (t is defined as (. ( D (t = µ0 H(t + ɛ 0 ɛ (t + ɛ0 ɛ (ɛ q (t roof. See [6 3]. In [3] it is also sown tat te Gauss laws are satisfied by te Maxwell-Debye system if te initial fields are divergence free. Te D Maxwell-Debye T scalar equations derived from (.6 are given as H t = ( x µ 0 y y (.3a x (.3b (.3c (.3d (.3e x t y t x t y t = ɛ 0 ɛ H = ɛ 0 ɛ H y (ɛ q τ x (ɛ q τ = ɛ 0ɛ (ɛ q x τ τ x = ɛ 0ɛ (ɛ q y τ τ y. x + ɛ 0 ɛ τ x y + ɛ 0 ɛ τ y.. Lorentz Media: Model and nergy estimates. For Lorentz Media te coice of te kernel function is (.4 g(t x = ɛ 0ωp e t/τ sin(ν 0 t ν 0 were ω p := ω 0 ɛs ɛ is te plasma frequency ω 0 is te resonant frequency of te medium λ := τ is a damping constant and ν 0 = ω0 λ. Te Lorentz model for electronic polarization in differential form is represented wit te second order OD forced by te electric field given as (.5 t + τ t + ω 0 = ɛ 0 ωp. Rewriting te above second order OD as a system of two first order OD s by introducing a new variable J = t te D T Maxwell-Lorentz model is H (.6a t = curl µ 0 (.6b (.6c (.6d t = curl H J ɛ 0 ɛ ɛ 0 ɛ J = t τ J ω0 + ɛ 0 ωp t = J..
6 6 V. A. BOKIL AND N. L. GIBSON All te fields in (.6 are functions of position x = (x y T and time t. For te Maxwell-Lorentz system (.6 we obtain te weak formulation (.7a ( H µ 0 t v = (curl v v L (Ω (.7b ( ɛ 0 ɛ t u = (H curl u (J u u H 0 (curl Ω (.7c ( ɛ 0 ωp (.7d ( ( ( J p t w = ɛ 0 ωpτ J p w ɛ 0 ɛ (ɛ q ( t q = ɛ 0 ɛ (ɛ q J p q ɛ 0 ɛ (ɛ q w q ( L (Ω. + ( w w ( L (Ω Te following teorem sows te stability of te D Maxwell-Lorentz model (.6 by sowing tat te model exibits energy decay (also see [3]. Teorem. (Maxwell-Lorentz nergy Decay. Let Ω R and suppose tat te solutions of te weak formulation (.7 for te Maxwell-Lorentz system of equations (.6 satisfy te regularity conditions C(0 T ; H 0 (curl Ω C (0 T ; (L (Ω J C (0 T ; ( L (Ω and H(t C (0 T ; L (Ω along wit C boundary conditions (.d. Ten te system exibits energy decay (.8 L (t L (0 t 0 were te energy L (t is defined as (.9 ( L (t = µ0 H(t + ɛ 0 ɛ (t + ɛ0 ɛ (ɛ q (t + ɛ0 ω p J (t. roof. See [6 3]. In [3] it is also sown tat te Gauss laws are satisfied by te Maxwell-Lorentz system if te initial fields are divergence free.
7 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 7 Te D Maxwell-Lorentz T scalar equations derived from system (.6 on wic te Yee sceme is based are: H t = ( x µ 0 y y (.0a x x = ( H (.0b t ɛ 0 ɛ y J x y = ( H (.0c t ɛ 0 ɛ x + J y (.0d (.0e (.0f (.0g J x t J y t x t y t = ɛ 0 ωp x τ J x ω0 x = ɛ 0 ωp y τ J y ω0 y = J x = J y. 3. Te Yee sceme: Discretization in Space and Time In tis section we consider te finite difference time domain (FDTD Yee sceme for discretizing te D Maxwell-Debye (.6 and D Maxwell-Lorentz models (.6. Consider te spatial domain Ω = [0 a] [0 b] R and time interval [0 T ] wit a b T > 0 and spatial step sizes x > 0 and y > 0 and time step t > 0. Te discretization of te intervals [0 a] [0 b] and [0 T ] is performed as follows [7]. Define L = a/ x J = b/ y and N = T/ t. For l j n N we consider te discretizations (3. (3. (3.3 0 = x 0 x x l x L = a 0 = y 0 y y j y J = b 0 = t 0 t t n t N = T were x l = l x y j = j y and t n = n t for 0 l L 0 j J and 0 n N. Define (x α y β t γ = (α x β y γ t were α is eiter l or l + β is eiter j or j + and γ is eiter n or n + wit l j n N. Te Yee sceme staggers te electric and magnetic fields in space and time. Fields x y and H are staggered in te x and y directions. We define te discrete meses {( } (3.4 τ x := x l+ y j 0 l L 0 j J {( } (3.5 τ y := x l y j+ 0 l L 0 j J (3.6 τ H := {( x l+ y j+ 0 l L 0 j J } to be te sets of spatial grid points on wic te x y and H fields respectively will be discretized. Te components x and J x are discretized at te same spatial locations as te field x wile te components y and J y are discretized at te same spatial locations as te field y. For te time discretization te components x y x y J x and J y are all discretized at integer time steps t n for 0 n N. In te Yee sceme te magnetic field H is staggered in time wit respect to x and y and discretized at time t n+ for 0 n N.
8 8 V. A. BOKIL AND N. L. GIBSON Let U be one of te field variables H x y x y J x or J y let (x α y β τ H τ x or τ y and γ be eiter n or n+ wit n N. We define te grid functions or te numerical approximations U γ αβ U(tγ x α y β. We will also use te notation U(t γ to denote te continuous solution on te domain Ω at time t γ and te notation U γ to denote te corresponding grid function on its discrete spatial mes at time t γ. We define in a standard way (see for e.g. [3 0] te centered temporal difference operator and a discrete time averaging operation as δ t U γ αβ := U γ+ αβ U γ αβ (3.7 t U γ αβ := U γ+ αβ + U γ αβ (3.8 and te centered spatial difference operators in te x and y direction respectively as (3.9 U γ U γ δ x U γ αβ := α+ β α β x (3.0 U γ U γ δ y U γ αβ := αβ+ αβ. y Next we define te following staggered discrete l normed spaces (see also [] (3. V H := (3. V := (3.3 V 0 := { } U : τ H R U = (U l+ j+ U H < { } F : τ x τ y R F = (F F xl+ y j lj+ T F < { } F V F = F xl+ x = F 0 l+ y J 0j+ = F xlj+ = 0 0 l L 0 j J were te discrete grid norms are defined as (3.4 (3.5 L J ( F = x y F xl+ + F ylj+ j F V l=0 j=0 L J U H = x y U l+ j+ U V H l=0 j=0 wit corresponding inner products (3.6 L J (F G = x y (F G + F xl+ xl+ ylj+ G ylj+ F G V j j l=0 j=0 (3.7 L J (U V H = x y U l+ j+ V l+ j+ U V V H. l=0 j=0
9 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 9 Finally we define discrete curl operators on te staggered l normed spaces as (3.8 curl : V 0 V H curl F := δ x F y δ y F x. and (3.9 curl : V H V 0 curl U := (δ y U δ x U T. Te discrete differential operators mimic properties tat are satisfied by teir continuous counterparts. In particular if te C conditions (.d are satisfied on te discrete Yee mes (3.0 F xl+ 0 = F x l+ J = F y 0j+ = F xlj+ = 0 0 l L 0 j J i.e. F V 0 discrete integration by parts (also see [3 0] yields (3. (curl H H = ( curl H. Tus te discrete versions of te curl operators remain adjoint to eac oter wic is essential for obtaining discrete energy estimates [3]. In Sections 4 and 5 we prove discrete energy estimates for te Yee sceme applied to te Maxwell Debye model (.3 and te Maxwell-Lorentz model (.0 respectively. In addition we sow tat te Yee scemes for tese media retain te second order accuracy in space and time tat te sceme enjoys in a non-dispersive medium. However our energy decay results indicate te dissipative nature of te Yee scemes in Debye and Lorentz media as opposed to te non-dissipative nature of te Yee sceme in a non-dispersive dielectric (also see [3 4]. Our energy analysis sows tat te Yee scemes for te Maxwell-Debye and Maxwell-Lorentz models are conditionally stable wit te stability condition. (3. c t < or ν < 0 were te Courant number ν = c t. Ten te stability condition (3. implies tat ν < and we prove convergence of te Yee scemes under tis criteria. 4. Yee Sceme for te Maxwell-Debye System 4.. Discretization. To discretize te D T Maxwell-Debye system (.3 in addition to staggering electric and magnetic components in space and time te lower order terms are discretized using averaging. Using te operators defined in (3.7 (3.8 (3.9 and (3.0 te Yee sceme for te D T Maxwell-Debye system (.3 consists of te following discrete equations: (4.a (4.b (4.c (4.d (4.e δ t H n l+ j+ δ t n+ x l+ j = = ( δ y x n δ µ 0 l+ x j+ y n l+ j+ ɛ q l+ j ɛ 0 ɛ δ y H n+ δ t n+ y lj+ = δ x H n+ ɛ 0 ɛ δ t n+ x = ɛ 0ɛ (ɛ q l+ j τ δ t n+ y lj+ = ɛ 0ɛ (ɛ q τ lj+ τ n+ x + l+ j n+ τɛ 0 ɛ x l+ j ɛ q n+ y + n+ τ lj+ τɛ 0 ɛ n+ x l+ j τ n+ x l+ j n+ y lj+ τ n+ y lj+. y lj+
10 0 V. A. BOKIL AND N. L. GIBSON We can re-write tis system in vector form as (4.a (4.b δ t H n + µ 0 (curl n = 0 on τ H δ t n+ = (curl H n+ ɛ q n+ + n+ on τ x τ y ɛ 0 ɛ τ τɛ 0 ɛ (4.c δ t n+ ɛ 0 ɛ (ɛ q = n+ τ τ n+ on τ x τ y. 4.. Accuracy: Truncation rror Analysis. Similar to te Yee sceme in free space te Yee sceme for te Maxwell-Debye system is also second-order accurate in bot time and space. Lemma 4. (Yee Sceme Truncation rrors for Maxwell-Debye. Suppose tat te solutions to te two-dimensional Maxwell-Debye equations (.6 or (.3 satisfy te regularity conditions C 3 ([0 T ]; [C 3 (Ω] C 3 ([0 T ]; [C(Ω] and H C 3 ( [0 T ]; [C 3 (Ω]. Let ξ n H ξn+ x ξ n+ y ξ n+ x ξ n+ y te Yee sceme for te Maxwell-Debye model (4.. Ten be te truncation errors for (4.3 { max ξ n H } ξ n+ ξ n+ x ξ n+ y ξ n+ x ( y C D x + y + t were C D = C D (ɛ 0 µ 0 ɛ ɛ q τ does not depend on te mes sizes x y and t.
11 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA roof. We perform Taylor expansions and substitute te exact solution to obtain te truncation errors for (4.a - (4.e. We ave (4.4 (4.5 (ξ H n l+ j+ = t 4 3 H t 3 (x l+ y j+ t + y 4µ 0 3 x y 3 (x l+ y t n x 4µ 0 3 y x 3 (x y j+ tn (ξ x n+ t 3 x = l+ j 4 t 3 (x l+ y j t + t 3 x 4ɛ 0 ɛ t 3 (x l+ y j t y 3 H 4ɛ 0 ɛ y 3 (x l+ y t n+ (4.6 ( n+ ξy = t 3 y lj+ 4 t 3 (x l y j+ t 3 + t 3 y 4ɛ 0 ɛ t 3 (x l y j+ t 3 + x 3 H 4ɛ 0 ɛ x 3 (x 3 y j+ tn+ (4.7 (4.8 (ξ x n+ t = l+ j 4 + t 8τ ( n+ ξy = t lj+ 4 + t 8τ 3 x t 3 (x l+ y j t 4 t ɛ 0 ɛ (ɛ q 8τ x t (x l+ y j t 43 3 y t 3 (x l y j+ t 5 t ɛ 0 ɛ (ɛ q 8τ y t (x l y j+ t 53 x t (x l+ y j t 4 y t (x l y j+ t 5 were x l x x l+ y j y y j+ t n t t n+ x l x 3 x l+ y j y y j+ tn t i t 3i t n+ for i = and t n t 4i t 5i t n+ for i = Discrete nergy stimates for Debye media. In tis section we prove a discrete version of te energy decay property given in Teorem. for te D Maxwell-Debye model (.6. We assume a uniform mes i.e. x = y = > 0. Teorem 4. proves te conditional stability of te D Yee sceme for discretizing te Maxwell-Debye model by sowing te decay of a discrete energy in time.
12 V. A. BOKIL AND N. L. GIBSON Teorem 4. (nergy Decay for Maxwell-Debye. If te stability condition (3. is satisfied ten te Yee sceme for te Maxwell-Debye System (4. or (4. satisfies te discrete identity (4.9 δ t n+ D = ɛ n+ 0 ɛ (ɛ q n+ n+ D τɛ 0ɛ (ɛ q for all n were (4.0 D n = µ 0(H n+ H n H + ɛ 0 ɛ n + ɛ0 ɛ (ɛ q n defines a discrete energy. roof. We consider te average of (4.a at n and n+ multiply wit x yh n+ and sum over all spatial nodes on τ H to get (4. µ 0 (δ t H n+ H n+ H + (curl n+ H n+ H = 0. We can rewrite (4. as (4. µ 0 t {(Hn+ 3 H n+ H (H n+ H n H } + (curl n+ H n+ H = 0. We multiply equation (4.b wit x y n+ τ x τ y to get and sum over all spatial nodes on (4.3 ɛ 0 ɛ (δ t n+ n+ + ɛ 0ɛ (ɛ q ( n+ n+ τ τ (n+ n+ = (curl H n+ n+ wic can be re-written as (4.4 ɛ 0 ɛ t { n+ n ɛ 0 ɛ (ɛ q } + n+ τ τ (n+ n+ = (curl H n+ n+. Finally we multiply equation (4.c by x y ɛ 0ɛ (ɛ q n+ spatial nodes on τ x τ y to get and sum over all (4.5 ɛ 0 ɛ (ɛ q (δ t n+ n+ = τ (n+ n+ ɛ 0 ɛ (ɛ q τ n+
13 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 3 wic can be re-written as (4.6 { n+ n ɛ 0 ɛ (ɛ q } = τ (n+ n+ ɛ 0 ɛ (ɛ q τ n+. ave Adding equations (4. (4.4 and (4.6 and using te definition (4.0 we (4.7 { ( n+ t D (D n } = ɛ 0 ɛ (ɛ q τ }. + (ɛ 0 ɛ (ɛ q n+ We can rewrite tis equation in te form (4.8 n+ D n D t ( = n+ D + D n { n+ ɛ 0 ɛ (ɛ q ( n+ n+ ɛ 0 ɛ (ɛ q τ ɛ 0ɛ (ɛ q n+ n+ wic on utilizing te definitions of te time differencing and averaging operators in (3.7 and (3.8 respectively gives us te discrete identity (4.9 for Debye media. Wat is left to prove is tat te quantity defined in (4.0 is a discrete energy i.e. a positive definite function of te solution to te system (4.. Using te parallelogram law [3] we ave (4.9 (H n+ H n H = H n+ + H n 4 H n+ H n H 4. H Using (4.a and te definitions of te time differencing operator in (3.7 we can rewrite te above as (4.0 4 H n+ H n H = t 4 δ th n H = t 4 curl n H. Substituting equations (4.9 and (4.0 into te definition (4.0 and using te definition of te time averaging operator in (3.8 we can re-write te discrete energy as (4. D n = µ 0 H n H + ɛ 0 ɛ ( n A n + ɛ0 ɛ (ɛ q n were te operator A : V 0 V 0 is defined as (4. A F = (I c t curl curl F F V 0. 4
14 4 V. A. BOKIL AND N. L. GIBSON In D wit a uniform space mes step size x = y = we ave for all F V 0 te inequality ([3] (4.3 curl F H 8 F from wic we ave (4.4 (A F F = (F F c t (curl F curl F H = F c t curl F H 4 4 F 8c t 4 F = ( ν F. Tus if te stability condition (3. is satisfied ten ν > 0 and te operator A is positive definite and D n defines a discrete energy. We note tat tis stability condition is te same for te Yee sceme applied to a non-dispersive dielectric [33]. Remark: For a nonuniform mes te stability condition is again te same as for te non-dispersive case i.e. ν < wit te Courant number (4.5 ν = c t x + y Convergence Analysis of te Yee sceme for te Maxwell-Debye Model. Te tecnique to prove convergence of te Yee scemes is a classical one (see for e.g. [7] and references terein and employs te energy approac. To prove te convergence of te Yee sceme for te D Maxwell-Debye system for 0 n N we define te error quantities (4.6a (4.6b (4.6c H n = H n H(t n n = n (t n n = n (t n. As was done for te discrete energy estimate in te proof of Teorem 4. we obtain te following identities for te Yee sceme for te Maxwell-Debye model in (4.. (4.7a (4.7b (4.7c µ 0 δ t H n + curl n = ξ n H ɛ 0 ɛ δ t n+ curl H n+ (ɛ q + ɛ0 ɛ n+ τ τ n+ = ξ n+ ɛ 0 ɛ (ɛ q δ t n+ + ɛ 0 ɛ (ɛ q τ n+ τ n+ = ξ n+ were ξh n and ξn+ F = (ξ n+ F x ξ n+ F y T for F = are te local truncation errors for te Maxwell-Debye system as discussed in Lemma 4.. We ave te following result: Teorem 4. (Convergence Analysis of Yee Sceme for Maxwell-Debye. Suppose tat te solutions to te two-dimensional Maxwell-Debye equations (.6 or (.3
15 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 5 satisfy te regularity conditions C 3 ([0 T ]; [C 3 (Ω] C 3 ([0 T ]; [C(Ω] and H C 3 ( [0 T ]; [C 3 (Ω]. For n 0 let H n+ n and n be te solution to te Yee sceme for te Maxwell-Debye system (4. or (4.. let ξ n H ξn+ x ξ n+ y ξ n+ x ξ n+ y Also be te truncation errors for te Yee sceme for Maxwell-Debye (4. or (4. satisfying te conditions of Lemma 4.. Assume tat te stability condition (3. is satisfied ten for any fixed T > 0 a positive constant C D = C D (ɛ 0 µ 0 ɛ ɛ q ν depending on te medium parameters and te Courant number ν but independent of te mes parameters t x y suc tat { } (4.8 max R n D R 0 D + T C D (ɛ 0 µ 0 ɛ ɛ q ν ( x + y + t 0 n N were te energy of te error at time t n = n t R n D is defined as (4.9 R n D = µ 0(H n+ H n H + ɛ 0 ɛ n + ɛ0 ɛ (ɛ q n roof. We first note based on te proof of Teorem 4. tat te energy of te error (4.9 can be equivalently written in te form (4.30 R n D = µ 0 H n H + ɛ 0 ɛ ( n A n + ɛ0 ɛ (ɛ q n wit te operator A as defined in equation (4.. Next we follow a similar procedure to tat done in te proof of Teorem 4.. Multiplying te average of (4.7a at n and n + by x yh n+ over all spatial nodes on τ H multiplying (4.7b by x y n+ all spatial nodes on τ x. and summing and summing over τ y multiplying (4.7c by x yn+ on τ x τ y and summing over all spatial nodes and finally adding all te results we obtain (4.3 δ t R n+ D R n+ D = τɛ 0 ɛ (ɛ q ɛ 0ɛ (ɛ q n+ n+ + (ξ n+ H H n+ H Neglecting te first term we ave (4.3 + (ξ n+ n+ + (ξ n+ n+. δ t R n+ D R n+ D ξ n+ H H H n+ H + ( ξn+ n + n+ + ξn+ ( n + n+.
16 6 V. A. BOKIL AND N. L. GIBSON From (4.30 we ave te following bounds (4.33a (4.33b (4.33c H n H (µ 0 R n D n ( ɛ 0 ɛ ( ν R n D n (ɛ 0 ɛ (ɛ q R n D. Te inequalities in (4.33 give us bounds for te averaged electric and polarization terms as (4.34a (4.34b ( n + n+ ( ɛ0 ɛ ( ν n+ R D ( n + n+ (ɛ0 ɛ (ɛ q n+ R D. For a bound on H n+ H we note tat since H n+ (4.35 H n+ H H n H + t δ th n H. = H n + t δ th n we ave Under te assumption of te stability condition (3. and te form of te (nonnegative energy of te error in (4.9 we ave te inequality (4.36 (H n+ H n H ɛ 0 ɛ n µ + 0 ɛ0 ɛ (ɛ q n. Next since t 4 δ th n H = Hn H (Hn+ H n H we ave from (4.36 (4.37 t 4 δ th n H µ 0 µ 0 H n H + ɛ 0 ɛ n + ɛ0 ɛ (ɛ q n Substituting inequalities (4.33 (4.34 (4.35 and (4.37 in (4.3 we ave (4.38 ( δ t R n+ D { } n+ R D C D (ɛ 0 µ 0 ɛ ɛ q ν max ξ n+ H H ξ n+ ξ n+ n+ R D were C D = C D (ɛ 0 µ 0 ɛ ɛ q ν is a constant tat depends on te medium parameters and te Courant number ν but is independent of te mes parameters n+ t x y. Dividing by R D 0 we get (4.39 { } R n+ D Rn D + t C D (ɛ 0 µ 0 ɛ ɛ q ν max ξ n+ H H ξ n+ ξ n+. Recursively applying te inequality (4.39 from n + to 0 we ave (4.40 R n+ D R0 D+ t C D (ɛ 0 µ 0 ɛ ɛ q ν ( n k=0. { } max ξ k+ H H ξ k+ ξ k+.
17 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 7 Using t = T/N and 0 n N and noting tat te sum in te second term on te rigt in (4.40 from Lemma 4. is O( t + x + y we get (4.4 R n D R 0 D + T C D (ɛ 0 µ 0 ɛ ɛ q ν ( t + y + x. Note we use C D as a generic constant absorbing all constants tat arise in te above inequalities. Finally taking te maximum for n from 0 to N- in (4.4 we obtain (4.8. Remark 4.. We note tat te convergence result in Teorem 4. does not old at te stability limit ν = (see also [7]. It is sown in [7] tat te Yee sceme in a non-dispersive dielectric need not be stable at te stability limit. However (3. provides a necessary and sufficient criteria for te stability of te Yee sceme. (Also see [5] Discrete Divergence for te Maxwell-Debye Model. If te initial fields satisfy te Gauss divergence laws (4.4a (4.4b D = ρ B = 0 were ρ is te electric carge density ten one can sow from te Maxwell curl equations tat te Gauss divergence laws are satisfied for all time [9]. Tis is done by applying te divergence operator to te Maxwell curl equations using te fact tat te divergence of te curl is zero and utilizing te continuity equation (assume tere are no sources J s = 0 to get (4.43 ρ t + J c = 0. It is well known tat te Yee sceme for te Maxwell equations in free space (linear media preserves te divergence property of te solution at te discrete level [8]. We now sow tat tis remains true for te Yee sceme applied to te Maxwell-Debye system Discrete Divergence Operator. To define te discrete divergence operator we define te discrete mes of interior vertices (4.44 τ 0 := {(x l y j l L j J } to be te set of spatial grid points on wic te discrete divergence of an electric field will be defined. On te mes τ 0 we define te staggered l normed space (4.45 V 0 := { V : τ 0 R V = (V lj V 0 < } were te discrete grid norm is defined as L J ( (4.46 V 0 = x y V lj V V 0 l= j=
18 8 V. A. BOKIL AND N. L. GIBSON wit corresponding inner product L J (4.47 (V W 0 = x y (V lj W lj V W V 0 l= j= We define te discrete divergence operator on V 0 as (4.48 div : V 0 V 0 (div F lj := (δ x F x lj +(δ y F y lj l L j J. Lemma 4. (Discrete Divergence for te Maxwell-Debye System. For te Yee sceme applied to te Maxwell-Debye system given in (4. te discrete divergence of te initial grid functions is preserved for all n 0 i.e. we ave te identity (4.49 div D n = div D 0 on τ 0. roof. We note tat te discrete derivative operators δ t δ x and δ y commute. From te Yee equations (4.b and (4.c we ave on te mes τ x τ y (4.50 δ t D n+ = δt (ɛ 0 ɛ n+ + n+ = curl H. Terefore div curl H = δ x δ y H δ y δ x H = 0. Tus applying te discrete divergence operator div to (4.50 we obtain (4.5 δ t div D n+ = δt (ɛ 0 ɛ div n+ + div n+ = div curl H = 0 on τ. 0 We finally ave (4.5 div D n+ = div D n on τ 0. Applying te identity (4.5 recursively in discrete time we obtain (4.49. Remark 4.. We note tat for te D T Maxwell model te divergence of te magnetic flux density is not defined. Tus te divergence free or solenoidal nature of te magnetic flux density is lost in te two dimensional model [8].
19 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 9 5. Yee Sceme for te Maxwell-Lorentz System 5.. Discretization. Te discrete approximation of te D Maxwell-Lorentz system (.6 by te Yee sceme is (5.a (5.b (5.c δ t H n l+ j+ = ( δ y x n δ µ 0 l+ x j+ y n l+ j+ δ t n+ x = ( l+ δ j y H n+ ɛ 0 ɛ J n+ l+ j xl+ j δ t n+ y lj+ = ɛ 0 ɛ ( δ x H n+ + J n+ lj+ ylj+ (5.d (5.e (5.f (5.g δ t J n+ xl+ j = ɛ 0 ωp n+ x l+ j τ J n+ xl+ ω 0 n+ x j l+ j δ t J n+ ylj+ = ɛ 0 ω p n+ y lj+ τ J n+ ylj+ ω 0 n+ y lj+ δ t n+ x = J n+ l+ j xl+ j δ t n+ y lj+ = J n+ ylj+. We can re-write tis system in vector form as (5.a (5.b (5.c δ t H n + µ 0 (curl n = 0 on τ H δ t n+ = (curl H n+ n+ J on τ x τ y ɛ 0 ɛ δ t J n+ = ɛ 0 ωp n+ τ Jn+ ω0 n+ on τ x τ y (5.d δ t n+ = J n+ on τ x τ y. 5.. Accuracy: Truncation rror Analysis. Te Yee sceme for te Maxwell- Lorentz system is also second-order accurate in bot time and space. Lemma 5. (Yee Sceme Truncation rrors for Maxwell-Lorentz. Suppose tat te solutions to te two-dimensional Maxwell-Lorentz equations (.6 or (5. satisfy te regularity conditions C 3 ([0 T ]; [C 3 (Ω] J C 3 ([0 T ]; [C(Ω] and H C 3 ( [0 T ]; [C 3 (Ω]. Let ξ n H ξn+ x ξ n+ y ξ n+ J x ξ n+ J y ξ n+ x ξ n+ y truncation errors of te Yee sceme for te Maxwell-Lorentz model (5.. Ten be te (5.3 { max ξ n } ξ n+ ξ n+ x ξ n+ y ξ n+ J x ξ n+ J y ξ n+ x ( y C L x + y + t H were C L = C L (ɛ 0 µ 0 ɛ ɛ q τ ω 0 does not depend on te mes sizes x y and t.
20 0 V. A. BOKIL AND N. L. GIBSON roof. We perform Taylor expansions and substitute te exact solution to obtain te truncation errors for te equations in system (5.. We ave (5.4 (5.5 (5.6 (5.7 (5.8 (ξ H n i+ j+ = t 4 3 H t 3 (x l+ y j+ t + y 4µ 0 3 x y 3 (x l+ y t n x 4µ 0 3 y x 3 (x y j+ tn (ξ x n+ t 3 x = l+ j 4 t 3 (x l+ y j t + t 3 x 4ɛ 0 ɛ t 3 (x l+ y j t y 3 H 4ɛ 0 ɛ y 3 (x l+ y t n+ ( n+ ξy = t 3 y lj+ 4 t 3 (x l y j+ t 3 + t 3 y 4ɛ 0 ɛ t 3 (x l y j+ t 3 + x 3 H 4ɛ 0 ɛ x 3 (x 3 y j+ tn+ ( n+ t 3 J x ξjx = l+ j 4 t 3 (x l+ y t x j t 4 ɛ 0 ω p 8 t (x l+ y j t 4 + t J x 8τ t (x l+ y j t 43 + ω 0 t x 8 t (x l+ y j t 44 n+ (ξ Jy = t 3 J y 4 t 3 (x l y j+ t 5 ɛ 0 ωp t y 8 t (x l y j+ t 5 lj+ + t 8τ J y t (x l+ y j t 53 + ω 0 t y 8 t (x l+ y j t 54 (5.9 (5.0 (ξ x n+ t = l+ j 4 ( n+ ξy = t lj+ 4 3 x t 3 (x l+ y j t 6 t J x 8 t (x l+ y j t 6 3 y t 3 (x l y j+ t 7 t J y 8 t (x l y j+ t 7 were x l x x l+ y j y y j+ and t n t t n+. Next x l x 3 x l+ y j y y j+ tn t li t n+ for i { 3 4} and l = Discrete nergy stimates for Lorentz media. Teorem 5. (nergy Decay for Maxwell-Lorentz. If stability condition (3. is satisfied ten te Yee sceme for te Maxwell-Lorentz System (5. or (5. satisfies te discrete identity (5. δ t n+ L = n+ J n+ L τɛ 0ω0
21 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA for all n were (5. L n = µ 0(H n+ H n H + ɛ 0 ɛ n + ɛ0 ɛ (ɛ q n + J n ɛ0 ω p defines a discrete energy. roof. Te proof is similar to te proof of Teorem 4. for te Yee sceme for te Maxwell-Debye system. We point out te differences ere. We multiply equation (5.b wit x y n+ and sum over all spatial nodes on τ x τ y to get (5.3 ɛ 0 ɛ (δ t n+ n+ + (J n+ n+ = (curl H n+ n+ wic can be re-written as (5.4 ɛ 0 ɛ t { n+ n } n+ + (J n+ = (curl H n+ n+. Next we multiply equation (5.c by x y n+ ɛ 0ω J p on τ x τ y to get and sum over all spatial nodes (5.5 ɛ 0 ωp (δ t J n+ n+ J = ( n+ n+ J τɛ 0 ωp (J n+ J n+ ɛ 0 ɛ (ɛ q (J n+ n+ wic we re-write as (5.6 ɛ 0 ωp { J n+ J n Finally we multiply equation (5.d by nodes on τ x (5.7 τ y to get } n+ ( n+ J + τɛ 0 ωp J n+ x ɛ 0ɛ (ɛ q n+ + ɛ 0 ɛ (ɛ q (J n+ n+ = 0. and sum over all spatial ɛ 0 ɛ (ɛ q (δ t n+ n+ ɛ 0 ɛ (ɛ q (J n+ n+ = 0 wic can be re-written as (5.8 tɛ 0 ɛ (ɛ q { n+ n } ɛ 0 ɛ (ɛ q (J n+ n+ = 0. Adding equations (4. (5.4 (5.6 and (5.8 and using te definition (5. we ave (5.9 { ( n+ L t (L n } = { } n+ ɛ 0 τωp J.
22 V. A. BOKIL AND N. L. GIBSON We can rewrite tis equation in te form n+ L (5.0 ( L n n+ = t n+ D + D n ɛ 0 τωp J wic on utilizing te definitions of te time differencing and averaging operators in (3.7 and (3.8 respectively gives us te discrete identity (5. for Lorentz media. As for te case of Debye media if te stability condition (3. is satisfied te quantity defined in (5. is a discrete energy i.e. a nonnegative function of te solution to te system (5.. Te rest of te proof is similar to te proof of Teorem 4. for te case of Debye media Convergence Analysis of te Yee sceme for te Maxwell-Lorentz Model. Define te error quantities (5.a (5.b (5.c (5.d We obtain te identities (5.a µ 0 δ t H n + (curl n = ξ n H on τ H (5.b H n = H n H(t n n = n (t n J n = J n J (t n n = n (t n. ɛ 0 ɛ δ t n+ (curl H n+ n+ + J = ξ n+ on τ x τ y (5.c δ t J n+ n+ + ɛ 0 ω pτ J n+ ɛ 0 ωp (5.d ɛ 0 ɛ (ɛ q δ t n+ + ɛ 0 ɛ (ɛ q J n+ ɛ 0 ɛ (ɛ q n+ = ξ n+ on τ x = ξ n+ J τ y. For te Maxwell-Lorentz system we ave te following result: on τ x τ y Teorem 5. (Convergence Analysis of Yee Sceme for Maxwell-Lorentz. Suppose tat te solutions to te two-dimensional Maxwell-Lorentz equations (.6 satisfy te regularity conditions C 3 ([0 T ]; [C 3 (Ω] J C 3 ([0 T ]; [C(Ω] and H C 3 ( [0 T ]; [C 3 (Ω]. For n 0 let H n+ n J n and n be te solution to te Yee sceme for te Maxwell-Lorentz system (5. or (5. and let ξ n H ξn+ ξ n+ J ξ n+ be te truncation errors wit ξ k F = (ξk F x ξ k F y T F = J satisfying te conditions of te Lemma 5.. If te stability condition (3. is satisfied ten for any fixed T > 0 a positive constant C L = C L (ɛ 0 µ 0 ɛ ɛ q τ ω 0 ν
23 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 3 depending on te medium parameters and te Courant number ν but independent of te mes parameters t x y suc tat { } (5.3 max R n L R 0 L + T C L (ɛ 0 µ 0 ɛ ɛ q ω 0 ν ( t + y + x 0 n N were te energy of te error at time n t R n L is defined as (5.4 R n L = µ 0 H n H + ɛ 0 ɛ ( n A n + ɛ0 ɛ (ɛ q n + J n ɛ0 ω p roof. We follow a similar procedure to te convergence analysis for te Yee sceme for te Maxwell- Debye model in Teorem 4. we: multiply te average of (5.a at n and n + by x yh n+ by x y n+ x yj n+ x y n+ obtain (5.5 and sum over all spatial nodes on τ H multiply (5.b and sum over all spatial nodes on τ x and sum over all spatial nodes on τ x and sum over all spatial nodes on τ x τ y multiply (5.c by τ y multiply (5.d by τ y δ t R n+ L R n+ L = τɛ 0 ωp J n+ + (ξ n+ H H n+ H xpanding (5.5 we ave (5.6 and add te results to + (ξ n+ n+ + (ξ n+ J J n+ +(ξ n+ n+ δ t R n+ L R n+ L ξ n+ H H H n+ H + ( ξn+ n + n+ + ( ξn+ J J n + J n+ ( + ξn+ n + n+ Substituting inequalities (4.33 (4.34 (4.35 and (4.37 in (5.6 and using te bound (5.7 we ave (5.8 ( δ t R n+ L ( J n + J n+ ɛ0 ωpr n+ L { } n+ R L C L max ξ n+ H ξ n+ ξ n+ J ξ n+ n+ R L were C L = C L (ɛ 0 µ 0 ɛ ɛ q τ ω 0 ν is a constant tat depends on te medium parameters and te Courant number ν but is independent of te mes parameters n+ t x y. Dividing by R L 0 using recursion in time t = T/N te.
24 4 V. A. BOKIL AND N. L. GIBSON results of Lemma 5. and summing from n to 0 we finally obtain (5.9 R n L R 0 L + T C L (ɛ 0 µ 0 ɛ ɛ q ω 0 τ ν ( t + y + x. Remark 5.. As noted in Remark 4. for te convergence result in Teorem 4. for te D Yee Maxwell-Debye sceme te convergence result in Teorem 5. for te D Yee Maxwell-Lorentz sceme does not old at te stability limit ν = Discrete Divergence for te Maxwell-Lorentz Model. Lemma 5. (Discrete Divergence for te Maxwell-Lorentz System. For te Yee sceme applied to te Maxwell-Lorentz system given in (5. te discrete divergence of te initial grid functions is preserved for all n 0 i.e. we ave te identity (5.30 div D n = div D 0 on τ. 0 roof. Te proof is te same as te proof of Lemma 4. for Debye media. 6. Numerical Simulations of te Yee Sceme for te Maxwell-Debye Model We perform numerical simulations of system (4. on te domain Ω = [0 ] [0 ]. For our simulation we assume a uniform mes wit x = y =. We use T = parameter values µ 0 = ɛ 0 = (i.e. c 0 = ɛ = ɛ q = (ɛ s = and τ =. 6.. An xact Solution for te Maxwell-Debye Model. We use an exact solution introduced in [7] to te Maxwell-Debye system (.3 wic we use to initialize our simulations. We define te wave vector as k = (k x k y T were k x = π k x k y = π k y and te corresponding wave number is k = kx + ky. We also define te function α D (θ k := θ θ + k. Maxwell-Debye system (.3 is (6.a (6.b (6.c = = ( x ( x Te exact solution to te H = k π e θt cos(k x x cos(k y y θ = π k ye θt cos(k x x sin(k y y y θ π k xe θt sin(k x x cos(k y y k y = π α D(θ k e θt cos(k x x sin(k y y y k x π α D(θ k e θt sin(k x x cos(k y y were te parameter θ is a real number. We note tat for k x and k y integers te exact solution (6. satisfies te perfect conductor conditions (.d on te
25 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 5 boundary of te domain Ω and te electric and polarization fields are divergence free on Ω. Te wave number k and parameter θ are related by te equation (6. θ 3 θ + k θ k = 0. Te energy defined in (. for te exact solution (6. can be computed to be (6.3 D (t = k e θt ( k + θ π + α(θ k. In our simulations we use various values of te Courant number (3. ν x = ν y = ν and various values of k x = k y = k. Te real root of equation (6. depends on te value of te wave number k = k. In particular for k = θ.053. Te exact dispersion relation for Debye media [5 3] relating te wave number k to te angular frequency ω is (6.4 k = ω ɛs iωτɛ. c 0 iωτ Tus using te cosen values for te parameters c 0 = τ = ɛ = and ɛ s = ɛ q = in (6.4 and squaring bot sides te dispersion relation can be written as (6.5 (iω 3 (iω + k iω k = 0. As noted in [7] comparing te dispersion relation (6.5 to te relation (6. for real θ we note tat te exact solution (6. corresponds to a solution for te Maxwell- Debye system (.3 for a purely imaginary angular frequency ω = iθ. 6.. Relative and nergy rrors. For te discrete solution produced we compute relative errors defined as ( RD (t n = (t n n + H(t n H n H + (t n n (6.6 ( RD (t n (6.7 Relative rror = max 0 n N D (t n were te grid norms and H are defined in (3.4 and (3.5 respectively. We also define te nergy rror for te discrete solutions as d D (6.8 nergy rror = max dt (tn+ δt n+ D 0 n N d D dt (tn+ ( were te discrete energy D n is defined in (4.9 and d D dt t n+ is te time derivative of te exact energy (6.3 computed at te time point t n+. Table presents te Relative errors (6.7 and confirms te second order accuracy of te Yee sceme for various values of t k and ν. Here N N wit N t = T and refers to te number of time iterations performed. We note tat te largest value of t cosen (0.0 is suc tat t/τ (τ = in tis example is O(0 or lower. Tis is in agreement wit results obtained in [3] wic indicate tat to resolve all time scales in te problem we must coose t = O(0 τ for Debye media. Table presents te nergy errors (6.8. Te results in tis table indicate tat te energy error decreases in a second order accurate manner and provides anoter confirmation of te second order accuracy of te Yee sceme. In Figures and we plot te relative errors (6.6 and te energy errors (6.8 respectively for te various values of N ν and k as presented in te corresponding
26 6 V. A. BOKIL AND N. L. GIBSON Table. Relative rrors for te D Yee Maxwell-Debye sceme. k = π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate k = 5π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate k = 0π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate tables. An O( reference is provided to visually see te second order accuracy of te Yee sceme Convergence Analysis of te Discrete Divergence. We verify te identity in (4.49 by computing te maximum absolute grid error in te discrete divergence as follows (6.9 max 0 n N div D n div D 0 0 were te grid norm 0 is defined in (4.46. Table 3 presents te absolute errors (6.9 of te D Yee Maxwell-Debye sceme for various values of t k and ν.
27 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 7 Table. nergy rrors for te D Yee Maxwell-Debye sceme. k = π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate k = 5π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate k = 0π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate Again N N wit N t = T refers to te number of time steps performed. All errors are sufficiently small to suggest tat tey are due to roundoff. 7. Numerical Simulations of te Yee Sceme for te Maxwell-Lorentz Model We perform numerical simulations of system (5. on te domain Ω = [0 ] [0 ] using exact solutions for wic ɛ 0 = µ 0 = ɛ = ω 0 = τ = 0.4 and ɛ s = ɛ q =. 7.. An xact Solution for te Maxwell-Lorentz Model. We define te functions α L (θ k := θ + θ + k and β L (θ k := θ + k. We consider
28 8 V. A. BOKIL AND N. L. GIBSON Table 3. Discrete Divergence rrors for te D Yee Maxwell- Debye sceme. k = π N ν = 0.3 ν = 0.5 ν = k = 5π N ν = 0.3 ν = 0.5 ν = k = 0π N ν = 0.3 ν = 0.5 ν = te following exact solution to te Maxwell-Lorentz system (.6 ( x θ = = π k ye θt cos(k x x sin(k y y (7.a y θ π k xe θt sin(k x x cos(k y y (7.b (7.c (7.d = J = H = k π e θt cos(k x x cos(k y y k y = π α L(θ k e θt cos(k x x sin(k y y y k x π α L(θ k e θt sin(k x x cos(k y y k y = J π β L(θ k e θt cos(k x x sin(k y y. y k x π β L(θ k e θt sin(k x x cos(k y y ( x ( Jx
29 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 9 In te above te wave number and parameter θ are related by te equation (7. θ 4 τ θ3 + ( + k θ k τ θ + k = 0. As in te Debye model for k x and k y integers te exact solution (7. satisfies te perfect conductor conditions on te boundary of te domain Ω and te electric and polarization fields are divergence free on Ω. Te energy defined in (.9 for te exact solution (7. can be computed to be (7.3 (t = k e θt βl ( + β L + α L (θ k π. Te real root of equation (7. depends on te value of te wave number k. In particular for k = θ Te exact dispersion relation for Lorentz media [5 3] relating te wave number k to te angular frequency ω for te cosen values of parameters is (7.4 k = ω (ω τ + iω c 0 (ω τ + iω. Squaring bot sides te dispersion relation can be written as (7.5 (iω 4 τ (iω3 + ( + k (iω k τ (iω + k = 0. Comparing te disersion relation (7.5 to te relation (7. for real θ we note tat te exact solution (7. corresponds to a solution for te Maxwell-Lorentz system (.6 for a purely imaginary angular frequency ω = iθ. 7.. Relative and nergy rrors. For te discrete solution produced we compute relative errors defined as (7.6 RL (t n = (7.7 Relative rror = ( (t n n + H(t n H n H + (t n n + J (t n J n max 0 n N ( RL (t n L (t n were te grid norms and H are defined in (3.4 and (3.5 respectively. We also define te nergy rror for te discrete solutions as d L (7.8 nergy rror = max dt (tn+ δt n+ L 0 n N d L dt (tn+ ( were te discrete energy L n is defined in (5. and d L dt t n+ is te time derivative of te exact energy (7.3 computed at te time point t n+. Table 4 presents te Relative errors (7.7 and confirms te second order accuracy of te Yee sceme for various values of t k and ν. Here again N N wit N t = T and refers to te number of time iterations performed. Table 5 presents te nergy errors (7.8. Te results in tis table indicate tat te energy error decreases in a second order accurate manner and provides anoter confirmation of te second order accuracy of te Yee sceme.
30 30 V. A. BOKIL AND N. L. GIBSON Table 4. Relative rrors for te D Yee Maxwell-Lorentz sceme. k = π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate times k = 5π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate k = 0π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate
31 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 3 0 k =π 0 k =5π 0 k =0π Reference Reference Reference Relative rror ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N Figure. Relative errors for different wave numbers (k x = k y = k in te D Yee Maxwell-Debye sceme for Courant numbers ν = and k =π 0 k =5π 0 k =0π Reference Reference Reference nergy rror ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N Figure. nergy errors for different wave numbers (k x = k y = k in te D Yee Maxwell-Debye sceme for Courant numbers ν = and 0.7.
32 3 V. A. BOKIL AND N. L. GIBSON Table 5. nergy rrors for te D Yee Maxwell-Lorentz sceme. k = π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate k = 5π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate k = 0π N ν = 0.3 ν = 0.5 ν = 0.7 rror Rate rror Rate rror Rate
33 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 33 Table 6. Discrete Divergence rrors for te D Yee Maxwell- Lorentz sceme. k = π N ν = 0.3 ν = 0.5 ν = k = 5π N ν = 0.3 ν = 0.5 ν = k = 0π N ν = 0.3 ν = 0.5 ν =
34 34 V. A. BOKIL AND N. L. GIBSON 0 k =π 0 k =5π 0 k =0π 0 Reference 0 Reference 0 Reference Relative rror ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N Figure 3. Relative errors for different wave numbers (k x = k y = k in te D Yee Maxwell-Lorentz sceme for Courant numbers ν = and k =π 0 k =5π 0 k =0π 0 Reference 0 Reference 0 Reference nergy rror ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N ν = 0.3 ν = 0.5 ν = N Figure 4. nergy errors for different wave numbers (k x = k y = k in te D Yee Maxwell-Lorentz sceme for Courant numbers ν = and 0.7.
35 CONVRGNC ANALYSIS OF Y SCHMS FOR DISRSIV MDIA 35 In Figures 3 and 4 we plot te relative errors (7.6 and te energy errors (7.8 respectively for te various values of N ν and k as presented in te corresponding tables. An O( reference is provided to visually see te second order accuracy of te Yee sceme Convergence Analysis of Discrete Divergence. Finally we verify te identity in (5.30 by computing te maximum absolute grid error in te discrete divergence as defined in (6.9. Table 6 presents te absolute errors in te discrete divergence of solutions to te D Yee Maxwell-Lorentz sceme for various values of t k and ν. Again N N wit N t = T refers to te number of time steps performed. All errors are sufficiently small to suggest tat tey are due to roundoff. 8. Conclusions In tis paper we ave presented an accuracy stability and convergence analysis of te Yee sceme for Maxwell s equations in Debye and Lorentz dispersive media using energy tecniques. Tis researc fills an important gap in te literature on Yee metods for dispersive media models by explicitly computing energy decay inequalities for tese metods wic aid in a convergence analysis of te numerical scemes. Our analysis assumes dispersive media parameters tat are constant. However te generality of te energy analysis will allow an extension of our results to te case of parameters tat are functions of space and/or time. We construct novel exact solutions for te Maxwell-Debye and Maxwell-Lorentz models tat torougly justify our numerical results. Tese exact solutions will also be elpful to justify analysis of oter numerical tecniques. Acknowledgements Te researc presented ere was partially funded by te NSF grant DMS # 083. References [] H. T. Banks M. W. Buksas and T. Lin lectromagnetic Material Interrogation Using Conductive Interfaces and Acoustic Wavefronts vol. Society for Industrial Matematics (SIAM 000. [] lectromagnetic Material Interrogation Using Conductive Interfaces and Acoustic Wavefronts vol. FR of Frontiers in Applied Matematics SIAM iladelpia A 000. [3]. Bécace and. Joly On te analysis of Bérenger s perfectly matced layers for Maxwell s equations Matematical Modelling and Numerical Analysis 36 (00 pp [4] B. Bidégaray-Fesquet Stability of FD-TD scemes for Maxwell-Debye and Maxwell- Lorentz equations SIAM J. Numer. Anal. 46 (008 pp [5] V. A. Bokil and N. L. Gibson Analysis of Spatial Hig-Order Finite Difference Metods for Maxwell s quations in Dispersive Media IMA J. Numer. Anal. 3 (0 pp
CONVERGENCE ANALYSIS OF YEE SCHEMES FOR MAXWELL S EQUATIONS IN DEBYE AND LORENTZ DISPERSIVE MEDIA
INTRNATIONAL JOURNAL OF NUMRICAL ANALYSIS AND MODLING Volume Number 4 ages 657 687 c 04 Institute for Scientific Computing and Information CONVRGNC ANALYSIS OF Y SCHMS FOR MAXWLL S QUATIONS IN DBY AND
More informationStability and dispersion analysis of high order FDTD methods for Maxwell s equations in dispersive media
Contemporary Mathematics Volume 586 013 http://dx.doi.org/.90/conm/586/11666 Stability and dispersion analysis of high order FDTD methods for Maxwell s equations in dispersive media V. A. Bokil and N.
More informationChapter 5 FINITE DIFFERENCE METHOD (FDM)
MEE7 Computer Modeling Tecniques in Engineering Capter 5 FINITE DIFFERENCE METHOD (FDM) 5. Introduction to FDM Te finite difference tecniques are based upon approximations wic permit replacing differential
More informationPolynomial Chaos Approach for Maxwell s Equations in Dispersive Media
Polynomial Chaos Approach for Maxwell s Equations in Dispersive Media Prof. Nathan L. Gibson Department of Mathematics Applied Mathematics and Computation Seminar March 15, 2013 Prof. Gibson (OSU) PC-FDTD
More information1. Introduction. We consider the model problem: seeking an unknown function u satisfying
A DISCONTINUOUS LEAST-SQUARES FINITE ELEMENT METHOD FOR SECOND ORDER ELLIPTIC EQUATIONS XIU YE AND SHANGYOU ZHANG Abstract In tis paper, a discontinuous least-squares (DLS) finite element metod is introduced
More informationCONSTRUCTION AND ANALYSIS OF WEIGHTED SEQUENTIAL SPLITTING FDTD METHODS FOR THE 3D MAXWELL S EQUATIONS
INTERNATIONAL JOURNAL OF NUMERICAL ANALYSIS AND MODELING Volume 5 Number 6 Pages 747 784 c 08 Institute for Scientific Computing and Information CONSTRUCTION AND ANALYSIS OF WEIGHTED SEQUENTIAL SPLITTING
More informationRecent Advances in Time-Domain Maxwell s Equations in Metamaterials
Recent Advances in Time-Domain Maxwell s Equations in Metamaterials Yunqing Huang 1, and Jicun Li, 1 Hunan Key Laboratory for Computation and Simulation in Science and Engineering, Xiangtan University,
More informationExercise 19 - OLD EXAM, FDTD
Exercise 19 - OLD EXAM, FDTD A 1D wave propagation may be considered by te coupled differential equations u x + a v t v x + b u t a) 2 points: Derive te decoupled differential equation and give c in terms
More informationDiscontinuous Galerkin Methods for Relativistic Vlasov-Maxwell System
Discontinuous Galerkin Metods for Relativistic Vlasov-Maxwell System He Yang and Fengyan Li December 1, 16 Abstract e relativistic Vlasov-Maxwell (RVM) system is a kinetic model tat describes te dynamics
More information3 Parabolic Differential Equations
3 Parabolic Differential Equations 3.1 Classical solutions We consider existence and uniqueness results for initial-boundary value problems for te linear eat equation in Q := Ω (, T ), were Ω is a bounded
More informationA finite element approximation for the quasi-static Maxwell Landau Lifshitz Gilbert equations
ANZIAM J. 54 (CTAC2012) pp.c681 C698, 2013 C681 A finite element approximation for te quasi-static Maxwell Landau Lifsitz Gilbert equations Kim-Ngan Le 1 T. Tran 2 (Received 31 October 2012; revised 29
More informationContinuity and Differentiability Worksheet
Continuity and Differentiability Workseet (Be sure tat you can also do te grapical eercises from te tet- Tese were not included below! Typical problems are like problems -3, p. 6; -3, p. 7; 33-34, p. 7;
More informationFunction Composition and Chain Rules
Function Composition and s James K. Peterson Department of Biological Sciences and Department of Matematical Sciences Clemson University Marc 8, 2017 Outline 1 Function Composition and Continuity 2 Function
More informationNumerical Differentiation
Numerical Differentiation Finite Difference Formulas for te first derivative (Using Taylor Expansion tecnique) (section 8.3.) Suppose tat f() = g() is a function of te variable, and tat as 0 te function
More informationLIMITS AND DERIVATIVES CONDITIONS FOR THE EXISTENCE OF A LIMIT
LIMITS AND DERIVATIVES Te limit of a function is defined as te value of y tat te curve approaces, as x approaces a particular value. Te limit of f (x) as x approaces a is written as f (x) approaces, as
More informationPreconditioning in H(div) and Applications
1 Preconditioning in H(div) and Applications Douglas N. Arnold 1, Ricard S. Falk 2 and Ragnar Winter 3 4 Abstract. Summarizing te work of [AFW97], we sow ow to construct preconditioners using domain decomposition
More informationMIXED DISCONTINUOUS GALERKIN APPROXIMATION OF THE MAXWELL OPERATOR. SIAM J. Numer. Anal., Vol. 42 (2004), pp
MIXED DISCONTINUOUS GALERIN APPROXIMATION OF THE MAXWELL OPERATOR PAUL HOUSTON, ILARIA PERUGIA, AND DOMINI SCHÖTZAU SIAM J. Numer. Anal., Vol. 4 (004), pp. 434 459 Abstract. We introduce and analyze a
More informationAMS 147 Computational Methods and Applications Lecture 09 Copyright by Hongyun Wang, UCSC. Exact value. Effect of round-off error.
Lecture 09 Copyrigt by Hongyun Wang, UCSC Recap: Te total error in numerical differentiation fl( f ( x + fl( f ( x E T ( = f ( x Numerical result from a computer Exact value = e + f x+ Discretization error
More informationERROR BOUNDS FOR THE METHODS OF GLIMM, GODUNOV AND LEVEQUE BRADLEY J. LUCIER*
EO BOUNDS FO THE METHODS OF GLIMM, GODUNOV AND LEVEQUE BADLEY J. LUCIE* Abstract. Te expected error in L ) attimet for Glimm s sceme wen applied to a scalar conservation law is bounded by + 2 ) ) /2 T
More information5.74 Introductory Quantum Mechanics II
MIT OpenCourseWare ttp://ocw.mit.edu 5.74 Introductory Quantum Mecanics II Spring 9 For information about citing tese materials or our Terms of Use, visit: ttp://ocw.mit.edu/terms. Andrei Tokmakoff, MIT
More informationA Distributed Lagrange Multiplier Based Fictitious Domain Method for Maxwell s Equations
A Distributed Lagrange Multiplier Based Fictitious Domain Metod for Maxwell s Equations V. A. Bokil a and R. Glowinski b Center for Researc in Scientific Computation a Nort Carolina State University Box
More informationRunge-Kutta methods. With orders of Taylor methods yet without derivatives of f (t, y(t))
Runge-Kutta metods Wit orders of Taylor metods yet witout derivatives of f (t, y(t)) First order Taylor expansion in two variables Teorem: Suppose tat f (t, y) and all its partial derivatives are continuous
More informationConsider a function f we ll specify which assumptions we need to make about it in a minute. Let us reformulate the integral. 1 f(x) dx.
Capter 2 Integrals as sums and derivatives as differences We now switc to te simplest metods for integrating or differentiating a function from its function samples. A careful study of Taylor expansions
More information(a) At what number x = a does f have a removable discontinuity? What value f(a) should be assigned to f at x = a in order to make f continuous at a?
Solutions to Test 1 Fall 016 1pt 1. Te grap of a function f(x) is sown at rigt below. Part I. State te value of eac limit. If a limit is infinite, state weter it is or. If a limit does not exist (but is
More informationLEAST-SQUARES FINITE ELEMENT APPROXIMATIONS TO SOLUTIONS OF INTERFACE PROBLEMS
SIAM J. NUMER. ANAL. c 998 Society for Industrial Applied Matematics Vol. 35, No., pp. 393 405, February 998 00 LEAST-SQUARES FINITE ELEMENT APPROXIMATIONS TO SOLUTIONS OF INTERFACE PROBLEMS YANZHAO CAO
More informationA = h w (1) Error Analysis Physics 141
Introduction In all brances of pysical science and engineering one deals constantly wit numbers wic results more or less directly from experimental observations. Experimental observations always ave inaccuracies.
More informationENERGY STABLE DISCONTINUOUS GALERKIN METHODS FOR MAXWELL S EQUATIONS IN NONLINEAR OPTICAL MEDIA
ENERGY STABLE DISCONTINUOUS GALERKIN METHODS FOR MAXWELL S EQUATIONS IN NONLINEAR OPTICAL MEDIA VRUSHALI A. BOKIL, YINGDA CHENG, YAN JIANG, AND FENGYAN LI Abstract. Te propagation of electromagnetic waves
More informationA h u h = f h. 4.1 The CoarseGrid SystemandtheResidual Equation
Capter Grid Transfer Remark. Contents of tis capter. Consider a grid wit grid size and te corresponding linear system of equations A u = f. Te summary given in Section 3. leads to te idea tat tere migt
More informationArbitrary order exactly divergence-free central discontinuous Galerkin methods for ideal MHD equations
Arbitrary order exactly divergence-free central discontinuous Galerkin metods for ideal MHD equations Fengyan Li, Liwei Xu Department of Matematical Sciences, Rensselaer Polytecnic Institute, Troy, NY
More informationVolume 29, Issue 3. Existence of competitive equilibrium in economies with multi-member households
Volume 29, Issue 3 Existence of competitive equilibrium in economies wit multi-member ouseolds Noriisa Sato Graduate Scool of Economics, Waseda University Abstract Tis paper focuses on te existence of
More informationContinuity and Differentiability of the Trigonometric Functions
[Te basis for te following work will be te definition of te trigonometric functions as ratios of te sides of a triangle inscribed in a circle; in particular, te sine of an angle will be defined to be te
More informationSuperconvergence of energy-conserving discontinuous Galerkin methods for. linear hyperbolic equations. Abstract
Superconvergence of energy-conserving discontinuous Galerkin metods for linear yperbolic equations Yong Liu, Ci-Wang Su and Mengping Zang 3 Abstract In tis paper, we study superconvergence properties of
More informationMATH745 Fall MATH745 Fall
MATH745 Fall 5 MATH745 Fall 5 INTRODUCTION WELCOME TO MATH 745 TOPICS IN NUMERICAL ANALYSIS Instructor: Dr Bartosz Protas Department of Matematics & Statistics Email: bprotas@mcmasterca Office HH 36, Ext
More informationElectromagnetic Modeling and Simulation
Electromagnetic Modeling and Simulation Erin Bela and Erik Hortsch Department of Mathematics Research Experiences for Undergraduates April 7, 2011 Bela and Hortsch (OSU) EM REU 2010 1 / 45 Maxwell s Equations
More informationUniversity Mathematics 2
University Matematics 2 1 Differentiability In tis section, we discuss te differentiability of functions. Definition 1.1 Differentiable function). Let f) be a function. We say tat f is differentiable at
More information5 Ordinary Differential Equations: Finite Difference Methods for Boundary Problems
5 Ordinary Differential Equations: Finite Difference Metods for Boundary Problems Read sections 10.1, 10.2, 10.4 Review questions 10.1 10.4, 10.8 10.9, 10.13 5.1 Introduction In te previous capters we
More informationElectromagnetic Relaxation Time Distribution Inverse Problems in the Time-domain
Electromagnetic Relaxation Time Distribution Inverse Problems in the Time-domain Prof Nathan L Gibson Department of Mathematics Joint Math Meeting Jan 9, 2011 Prof Gibson (OSU) Inverse Problems for Distributions
More informationarxiv: v1 [math.na] 7 Mar 2019
Local Fourier analysis for mixed finite-element metods for te Stokes equations Yunui He a,, Scott P. MacLaclan a a Department of Matematics and Statistics, Memorial University of Newfoundland, St. Jon
More informationJournal of Computational and Applied Mathematics
Journal of Computational and Applied Matematics 94 (6) 75 96 Contents lists available at ScienceDirect Journal of Computational and Applied Matematics journal omepage: www.elsevier.com/locate/cam Smootness-Increasing
More informationSMAI-JCM SMAI Journal of Computational Mathematics
SMAI-JCM SMAI Journal of Computational Matematics Compatible Maxwell solvers wit particles II: conforming and non-conforming 2D scemes wit a strong Faraday law Martin Campos Pinto & Eric Sonnendrücker
More informationNON STANDARD FITTED FINITE DIFFERENCE METHOD FOR SINGULAR PERTURBATION PROBLEMS USING CUBIC SPLINE
Global and Stocastic Analysis Vol. 4 No. 1, January 2017, 1-10 NON STANDARD FITTED FINITE DIFFERENCE METHOD FOR SINGULAR PERTURBATION PROBLEMS USING CUBIC SPLINE K. PHANEENDRA AND E. SIVA PRASAD Abstract.
More informationDownloaded 11/15/17 to Redistribution subject to SIAM license or copyright; see
SIAM J. NUMER. ANAL. Vol. 55, No. 6, pp. 2787 2810 c 2017 Society for Industrial and Applied Matematics EDGE ELEMENT METHOD FOR OPTIMAL CONTROL OF STATIONARY MAXWELL SYSTEM WITH GAUSS LAW IRWIN YOUSEPT
More informationAN ANALYSIS OF THE EMBEDDED DISCONTINUOUS GALERKIN METHOD FOR SECOND ORDER ELLIPTIC PROBLEMS
AN ANALYSIS OF THE EMBEDDED DISCONTINUOUS GALERKIN METHOD FOR SECOND ORDER ELLIPTIC PROBLEMS BERNARDO COCKBURN, JOHNNY GUZMÁN, SEE-CHEW SOON, AND HENRYK K. STOLARSKI Abstract. Te embedded discontinuous
More informationFEM solution of the ψ-ω equations with explicit viscous diffusion 1
FEM solution of te ψ-ω equations wit explicit viscous diffusion J.-L. Guermond and L. Quartapelle 3 Abstract. Tis paper describes a variational formulation for solving te D time-dependent incompressible
More informationA Mixed-Hybrid-Discontinuous Galerkin Finite Element Method for Convection-Diffusion Problems
A Mixed-Hybrid-Discontinuous Galerkin Finite Element Metod for Convection-Diffusion Problems Herbert Egger Joacim Scöberl We propose and analyse a new finite element metod for convection diffusion problems
More informationImplicit-explicit variational integration of highly oscillatory problems
Implicit-explicit variational integration of igly oscillatory problems Ari Stern Structured Integrators Worksop April 9, 9 Stern, A., and E. Grinspun. Multiscale Model. Simul., to appear. arxiv:88.39 [mat.na].
More informationNew Streamfunction Approach for Magnetohydrodynamics
New Streamfunction Approac for Magnetoydrodynamics Kab Seo Kang Brooaven National Laboratory, Computational Science Center, Building 63, Room, Upton NY 973, USA. sang@bnl.gov Summary. We apply te finite
More informationMath Spring 2013 Solutions to Assignment # 3 Completion Date: Wednesday May 15, (1/z) 2 (1/z 1) 2 = lim
Mat 311 - Spring 013 Solutions to Assignment # 3 Completion Date: Wednesday May 15, 013 Question 1. [p 56, #10 (a)] 4z Use te teorem of Sec. 17 to sow tat z (z 1) = 4. We ave z 4z (z 1) = z 0 4 (1/z) (1/z
More information232 Calculus and Structures
3 Calculus and Structures CHAPTER 17 JUSTIFICATION OF THE AREA AND SLOPE METHODS FOR EVALUATING BEAMS Calculus and Structures 33 Copyrigt Capter 17 JUSTIFICATION OF THE AREA AND SLOPE METHODS 17.1 THE
More informationTHE STURM-LIOUVILLE-TRANSFORMATION FOR THE SOLUTION OF VECTOR PARTIAL DIFFERENTIAL EQUATIONS. L. Trautmann, R. Rabenstein
Worksop on Transforms and Filter Banks (WTFB),Brandenburg, Germany, Marc 999 THE STURM-LIOUVILLE-TRANSFORMATION FOR THE SOLUTION OF VECTOR PARTIAL DIFFERENTIAL EQUATIONS L. Trautmann, R. Rabenstein Lerstul
More informationDedicated to the 70th birthday of Professor Lin Qun
Journal of Computational Matematics, Vol.4, No.3, 6, 4 44. ACCELERATION METHODS OF NONLINEAR ITERATION FOR NONLINEAR PARABOLIC EQUATIONS Guang-wei Yuan Xu-deng Hang Laboratory of Computational Pysics,
More informationNumerical Solution to Parabolic PDE Using Implicit Finite Difference Approach
Numerical Solution to arabolic DE Using Implicit Finite Difference Approac Jon Amoa-Mensa, Francis Oene Boateng, Kwame Bonsu Department of Matematics and Statistics, Sunyani Tecnical University, Sunyani,
More informationA First-Order System Approach for Diffusion Equation. I. Second-Order Residual-Distribution Schemes
A First-Order System Approac for Diffusion Equation. I. Second-Order Residual-Distribution Scemes Hiroaki Nisikawa W. M. Keck Foundation Laboratory for Computational Fluid Dynamics, Department of Aerospace
More informationHigh-Order Energy and Linear Momentum Conserving Methods for the Klein-Gordon Equation
matematics Article Hig-Order Energy and Linear Momentum Conserving Metods for te Klein-Gordon Equation He Yang Department of Matematics, Augusta University, Augusta, GA 39, USA; yang@augusta.edu; Tel.:
More informationA Hybrid Mixed Discontinuous Galerkin Finite Element Method for Convection-Diffusion Problems
A Hybrid Mixed Discontinuous Galerkin Finite Element Metod for Convection-Diffusion Problems Herbert Egger Joacim Scöberl We propose and analyse a new finite element metod for convection diffusion problems
More informationEnergy Stable Discontinuous Galerkin Methods for Maxwell s Equations in Nonlinear Optical Media
Energy Stable Discontinuous Galerkin Methods for Maxwell s Equations in Nonlinear Optical Media Yingda Cheng Michigan State University Computational Aspects of Time Dependent Electromagnetic Wave Problems
More informationElectromagnetic wave propagation in complex dispersive media
Electromagnetic wave propagation in complex dispersive media Associate Professor Department of Mathematics Workshop on Quantification of Uncertainties in Material Science January 15, 2016 (N.L. Gibson,
More informationDifferentiation in higher dimensions
Capter 2 Differentiation in iger dimensions 2.1 Te Total Derivative Recall tat if f : R R is a 1-variable function, and a R, we say tat f is differentiable at x = a if and only if te ratio f(a+) f(a) tends
More informationNew families of estimators and test statistics in log-linear models
Journal of Multivariate Analysis 99 008 1590 1609 www.elsevier.com/locate/jmva ew families of estimators and test statistics in log-linear models irian Martín a,, Leandro Pardo b a Department of Statistics
More informationLecture 15. Interpolation II. 2 Piecewise polynomial interpolation Hermite splines
Lecture 5 Interpolation II Introduction In te previous lecture we focused primarily on polynomial interpolation of a set of n points. A difficulty we observed is tat wen n is large, our polynomial as to
More informationLECTURE 14 NUMERICAL INTEGRATION. Find
LECTURE 14 NUMERCAL NTEGRATON Find b a fxdx or b a vx ux fx ydy dx Often integration is required. However te form of fx may be suc tat analytical integration would be very difficult or impossible. Use
More informationDecay of solutions of wave equations with memory
Proceedings of te 14t International Conference on Computational and Matematical Metods in Science and Engineering, CMMSE 14 3 7July, 14. Decay of solutions of wave equations wit memory J. A. Ferreira 1,
More informationExam 1 Review Solutions
Exam Review Solutions Please also review te old quizzes, and be sure tat you understand te omework problems. General notes: () Always give an algebraic reason for your answer (graps are not sufficient),
More informationLinearized Primal-Dual Methods for Linear Inverse Problems with Total Variation Regularization and Finite Element Discretization
Linearized Primal-Dual Metods for Linear Inverse Problems wit Total Variation Regularization and Finite Element Discretization WENYI TIAN XIAOMING YUAN September 2, 26 Abstract. Linear inverse problems
More informationMass Lumping for Constant Density Acoustics
Lumping 1 Mass Lumping for Constant Density Acoustics William W. Symes ABSTRACT Mass lumping provides an avenue for efficient time-stepping of time-dependent problems wit conforming finite element spatial
More informationSECTION 3.2: DERIVATIVE FUNCTIONS and DIFFERENTIABILITY
(Section 3.2: Derivative Functions and Differentiability) 3.2.1 SECTION 3.2: DERIVATIVE FUNCTIONS and DIFFERENTIABILITY LEARNING OBJECTIVES Know, understand, and apply te Limit Definition of te Derivative
More informationch (for some fixed positive number c) reaching c
GSTF Journal of Matematics Statistics and Operations Researc (JMSOR) Vol. No. September 05 DOI 0.60/s4086-05-000-z Nonlinear Piecewise-defined Difference Equations wit Reciprocal and Cubic Terms Ramadan
More information1. Introduction. Consider a semilinear parabolic equation in the form
A POSTERIORI ERROR ESTIMATION FOR PARABOLIC PROBLEMS USING ELLIPTIC RECONSTRUCTIONS. I: BACKWARD-EULER AND CRANK-NICOLSON METHODS NATALIA KOPTEVA AND TORSTEN LINSS Abstract. A semilinear second-order parabolic
More informationCopyright c 2008 Kevin Long
Lecture 4 Numerical solution of initial value problems Te metods you ve learned so far ave obtained closed-form solutions to initial value problems. A closedform solution is an explicit algebriac formula
More informationOrder of Accuracy. ũ h u Ch p, (1)
Order of Accuracy 1 Terminology We consider a numerical approximation of an exact value u. Te approximation depends on a small parameter, wic can be for instance te grid size or time step in a numerical
More informationMVT and Rolle s Theorem
AP Calculus CHAPTER 4 WORKSHEET APPLICATIONS OF DIFFERENTIATION MVT and Rolle s Teorem Name Seat # Date UNLESS INDICATED, DO NOT USE YOUR CALCULATOR FOR ANY OF THESE QUESTIONS In problems 1 and, state
More informationMath 161 (33) - Final exam
Name: Id #: Mat 161 (33) - Final exam Fall Quarter 2015 Wednesday December 9, 2015-10:30am to 12:30am Instructions: Prob. Points Score possible 1 25 2 25 3 25 4 25 TOTAL 75 (BEST 3) Read eac problem carefully.
More informationParameter Estimation Versus Homogenization Techniques in Time-Domain Characterization of Composite Dielectrics
Parameter Estimation Versus Homogenization Techniques in Time-Domain Characterization of Composite Dielectrics H. T. Banks 1 V. A. Bokil and N. L. Gibson, 3 Center For Research in Scientific Computation
More informationAN ANALYSIS OF NEW FINITE ELEMENT SPACES FOR MAXWELL S EQUATIONS
Journal of Matematical Sciences: Advances and Applications Volume 5 8 Pages -9 Available at ttp://scientificadvances.co.in DOI: ttp://d.doi.org/.864/jmsaa_7975 AN ANALYSIS OF NEW FINITE ELEMENT SPACES
More informationarxiv: v1 [math.na] 17 Jul 2014
Div First-Order System LL* FOSLL* for Second-Order Elliptic Partial Differential Equations Ziqiang Cai Rob Falgout Sun Zang arxiv:1407.4558v1 [mat.na] 17 Jul 2014 February 13, 2018 Abstract. Te first-order
More informationA SPLITTING LEAST-SQUARES MIXED FINITE ELEMENT METHOD FOR ELLIPTIC OPTIMAL CONTROL PROBLEMS
INTERNATIONAL JOURNAL OF NUMERICAL ANALSIS AND MODELING Volume 3, Number 4, Pages 6 626 c 26 Institute for Scientific Computing and Information A SPLITTING LEAST-SQUARES MIED FINITE ELEMENT METHOD FOR
More informationQuantum Numbers and Rules
OpenStax-CNX module: m42614 1 Quantum Numbers and Rules OpenStax College Tis work is produced by OpenStax-CNX and licensed under te Creative Commons Attribution License 3.0 Abstract Dene quantum number.
More information4.2 - Richardson Extrapolation
. - Ricardson Extrapolation. Small-O Notation: Recall tat te big-o notation used to define te rate of convergence in Section.: Definition Let x n n converge to a number x. Suppose tat n n is a sequence
More informationThe Verlet Algorithm for Molecular Dynamics Simulations
Cemistry 380.37 Fall 2015 Dr. Jean M. Standard November 9, 2015 Te Verlet Algoritm for Molecular Dynamics Simulations Equations of motion For a many-body system consisting of N particles, Newton's classical
More informationSmoothed projections in finite element exterior calculus
Smooted projections in finite element exterior calculus Ragnar Winter CMA, University of Oslo Norway based on joint work wit: Douglas N. Arnold, Minnesota, Ricard S. Falk, Rutgers, and Snorre H. Cristiansen,
More informationFinite Difference Method
Capter 8 Finite Difference Metod 81 2nd order linear pde in two variables General 2nd order linear pde in two variables is given in te following form: L[u] = Au xx +2Bu xy +Cu yy +Du x +Eu y +Fu = G According
More information4. The slope of the line 2x 7y = 8 is (a) 2/7 (b) 7/2 (c) 2 (d) 2/7 (e) None of these.
Mat 11. Test Form N Fall 016 Name. Instructions. Te first eleven problems are wort points eac. Te last six problems are wort 5 points eac. For te last six problems, you must use relevant metods of algebra
More informationMath 1241 Calculus Test 1
February 4, 2004 Name Te first nine problems count 6 points eac and te final seven count as marked. Tere are 120 points available on tis test. Multiple coice section. Circle te correct coice(s). You do
More informationError estimates for a semi-implicit fully discrete finite element scheme for the mean curvature flow of graphs
Interfaces and Free Boundaries 2, 2000 34 359 Error estimates for a semi-implicit fully discrete finite element sceme for te mean curvature flow of graps KLAUS DECKELNICK Scool of Matematical Sciences,
More informationOn convergence of the immersed boundary method for elliptic interface problems
On convergence of te immersed boundary metod for elliptic interface problems Zilin Li January 26, 2012 Abstract Peskin s Immersed Boundary (IB) metod is one of te most popular numerical metods for many
More informationOSCILLATION OF SOLUTIONS TO NON-LINEAR DIFFERENCE EQUATIONS WITH SEVERAL ADVANCED ARGUMENTS. Sandra Pinelas and Julio G. Dix
Opuscula Mat. 37, no. 6 (2017), 887 898 ttp://dx.doi.org/10.7494/opmat.2017.37.6.887 Opuscula Matematica OSCILLATION OF SOLUTIONS TO NON-LINEAR DIFFERENCE EQUATIONS WITH SEVERAL ADVANCED ARGUMENTS Sandra
More informationTowards Perfectly Matched Layers for time-dependent space fractional PDEs
Towards Perfectly Matced Layers for time-dependent space fractional PDEs Xavier Antoine, Emmanuel Lorin To cite tis version: Xavier Antoine, Emmanuel Lorin. Towards Perfectly Matced Layers for time-dependent
More informationNUMERICAL DIFFERENTIATION. James T. Smith San Francisco State University. In calculus classes, you compute derivatives algebraically: for example,
NUMERICAL DIFFERENTIATION James T Smit San Francisco State University In calculus classes, you compute derivatives algebraically: for example, f( x) = x + x f ( x) = x x Tis tecnique requires your knowing
More information1 The concept of limits (p.217 p.229, p.242 p.249, p.255 p.256) 1.1 Limits Consider the function determined by the formula 3. x since at this point
MA00 Capter 6 Calculus and Basic Linear Algebra I Limits, Continuity and Differentiability Te concept of its (p.7 p.9, p.4 p.49, p.55 p.56). Limits Consider te function determined by te formula f Note
More informationA Weak Galerkin Method with an Over-Relaxed Stabilization for Low Regularity Elliptic Problems
J Sci Comput (07 7:95 8 DOI 0.007/s095-06-096-4 A Weak Galerkin Metod wit an Over-Relaxed Stabilization for Low Regularity Elliptic Problems Lunji Song, Kaifang Liu San Zao Received: April 06 / Revised:
More informationFlavius Guiaş. X(t + h) = X(t) + F (X(s)) ds.
Numerical solvers for large systems of ordinary differential equations based on te stocastic direct simulation metod improved by te and Runge Kutta principles Flavius Guiaş Abstract We present a numerical
More informationarxiv: v1 [math.na] 28 Apr 2017
THE SCOTT-VOGELIUS FINITE ELEMENTS REVISITED JOHNNY GUZMÁN AND L RIDGWAY SCOTT arxiv:170500020v1 [matna] 28 Apr 2017 Abstract We prove tat te Scott-Vogelius finite elements are inf-sup stable on sape-regular
More informationContinuity. Example 1
Continuity MATH 1003 Calculus and Linear Algebra (Lecture 13.5) Maoseng Xiong Department of Matematics, HKUST A function f : (a, b) R is continuous at a point c (a, b) if 1. x c f (x) exists, 2. f (c)
More informationCombining functions: algebraic methods
Combining functions: algebraic metods Functions can be added, subtracted, multiplied, divided, and raised to a power, just like numbers or algebra expressions. If f(x) = x 2 and g(x) = x + 2, clearly f(x)
More informationERROR ESTIMATES FOR THE DISCONTINUOUS GALERKIN METHODS FOR PARABOLIC EQUATIONS. 1. Introduction. We consider the parabolic PDE of the form,
ERROR ESTIMATES FOR THE DISCONTINUOUS GALERKIN METHODS FOR PARABOLIC EQUATIONS K. CHRYSAFINOS AND NOEL. J. WALKINGTON Abstract. We analyze te classical discontinuous Galerkin metod for a general parabolic
More informationSolution. Solution. f (x) = (cos x)2 cos(2x) 2 sin(2x) 2 cos x ( sin x) (cos x) 4. f (π/4) = ( 2/2) ( 2/2) ( 2/2) ( 2/2) 4.
December 09, 20 Calculus PracticeTest s Name: (4 points) Find te absolute extrema of f(x) = x 3 0 on te interval [0, 4] Te derivative of f(x) is f (x) = 3x 2, wic is zero only at x = 0 Tus we only need
More informationHOMEWORK HELP 2 FOR MATH 151
HOMEWORK HELP 2 FOR MATH 151 Here we go; te second round of omework elp. If tere are oters you would like to see, let me know! 2.4, 43 and 44 At wat points are te functions f(x) and g(x) = xf(x)continuous,
More informationSimulation and verification of a plate heat exchanger with a built-in tap water accumulator
Simulation and verification of a plate eat excanger wit a built-in tap water accumulator Anders Eriksson Abstract In order to test and verify a compact brazed eat excanger (CBE wit a built-in accumulation
More informationAnalysis of A Continuous Finite Element Method for H(curl, div)-elliptic Interface Problem
Analysis of A Continuous inite Element Metod for Hcurl, div)-elliptic Interface Problem Huoyuan Duan, Ping Lin, and Roger C. E. Tan Abstract In tis paper, we develop a continuous finite element metod for
More informationFast Explicit and Unconditionally Stable FDTD Method for Electromagnetic Analysis Jin Yan, Graduate Student Member, IEEE, and Dan Jiao, Fellow, IEEE
Tis article as been accepted for inclusion in a future issue of tis journal. Content is final as presented, wit te exception of pagination. IEEE TRANSACTIONS ON MICROWAVE THEORY AND TECHNIQUES 1 Fast Explicit
More information