STABILIZATION IN RELATION TO WAVENUMBER IN HDG METHODS

Transcription

1 STABILIZATION IN RELATION TO WAVENUMBER IN HDG METHODS J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL Abstract. Simulation of wave propagation through complex media relies on proper understanding of the properties of numerical methods when the wavenumber is real and complex. Numerical methods of the Hybrid Discontinuous Galerkin (HDG) type are considered for simulating waves that satisfy the Helmholtz and Maxwell equations. It is shown that these methods, when wrongly used, give rise to singular systems for complex wavenumbers. A sufficient condition on the HDG stabilization parameter for guaranteeing unique solvability of the numerical HDG system, both for Helmholtz and Maxwell systems, is obtained for complex wavenumbers. For real wavenumbers, results from a dispersion analysis are presented. An asymptotic expansion of the dispersion relation, as the number of mesh elements per wave increase, reveal that some choices of the stabilization parameter are better than others. To summarize the findings, there are values of the HDG stabilization parameter that will cause the HDG method to fail for complex wavenumbers. However, this failure is remedied if the real part of the stabilization parameter has the opposite sign of the imaginary part of the wavenumber. When the wavenumber is real, values of the stabilization parameter that asymptotically minimize the HDG wavenumber errors are found on the imaginary axis. Finally, a dispersion analysis of the mixed hybrid Raviart-Thomas method showed that its wavenumber errors are an order smaller than those of the HDG method. Background Wave propagation through complex structures, composed of both propagating and absorbing media, are routinely simulated using numerical methods. Among the various numerical methods used, the Hybrid Discontinuous Galerkin (HDG) method has emerged as an attractive choice for such simulations. The easy passage to high order using interface unknowns, condensation of all interior variables, availability of error estimators and adaptive algorithms, are some of the reasons for the adoption of HDG methods. It is important to design numerical methods that remain stable as the wavenumber varies in the complex plane. For example, in applications like computational lithography, one finds absorbing materials with complex refractive index in parts of the domain of Key words and phrases. HDG, Raviart-Thomas, dispersion, dissipation, absorbing material, complex, wave speed, optimal, stabilization, Helmholtz, Maxwell, unisolvency. JG and NO were supported in part by the NSF grant DMS-3896 and the AFOSR grant FA NO gratefully acknowledges support in the form of an INRIA internship where discussions leading to this work originated. All authors wish to thank INRIA Sophia Antipolis Méditerranée for hosting the authors there and facilitating this research.

2 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL simulation. Other examples are furnished by meta-materials. A separate and important reason for requiring such stability emerges in the computation of resonances by iterative searches in the complex plane. It is common for such iterative algorithms to solve a source problem with a complex wavenumber as its current iterate. Within such algorithms, if the HDG method is used for discretizing the source problem, it is imperative that the method remains stable for all complex wavenumbers. One focus of this study is on complex wavenumber cases in acoustics and electromagnetics, motivated by the above-mentioned examples. Ever since the invention of the HDG method in [4], it has been further developed and extended to other problems in many works (so many so that it is now impractical to list all references on the subject here). Of particular interest to us are works that applied HDG ideas to wave propagation problems such as [6, 8,,,, 3, 4]. We will make detailed comparisons with some of these works in a later section. However, none of these references address the stability issues for complex wavenumber cases. While the choice of the HDG stabilization parameter in the real wave number case can be safely modeled after the well-known choices for elliptic problems [5], the complex wave number case is essentially different. This will be clear right away from a few elementary calculations in the next section, which show that the standard prescriptions of stabilization parameters are not always appropriate for the complex wave number case. This then raises further questions on how the HDG stabilization parameter should be chosen in relation to the wavenumber, which are addressed in later sections. Another focus of this study is on the difference in speeds of the computed and the exact wave, in the case of real wavenumbers. By means of a dispersion analysis, one can compute the discrete wavenumber of a wave-like solution computed by the HDG method, for any given exact wavenumber. An extensive bibliography on dispersion analyses for the standard finite element method can be obtained from [, 7]. For nonstandard finite element methods however, dispersion analysis is not so common [9], and for the HDG method, it does not yet exist. We will show that useful insights into the HDG method can be obtained by a dispersion analysis. In multiple dimensions, the discrete wavenumber depends on the propagation angle. Analytic computation of the dispersion relation is feasible in the lowest order case. We are thus able to study the influence of the stabilization parameter on the discrete wavenumber and offer recommendations on choosing good stabilization parameters. The optimal stabilization parameter values are found not to depend on the wavenumber. In the higher order case, since analytic calculations pose difficulties, we conduct a dispersion analysis numerically. We begin, in the next section, by describing the HDG methods. We set the stage for this study by showing that the commonly chosen HDG stabilization parameter values for elliptic problems are not appropriate for all complex wavenumbers. In the subsequent section, we discover a constraint on the stabilization parameter, dependent on the wavenumber, that guarantees unique solvability of both the global and the local HDG problems. Afterward, we perform a dispersion analysis for both the HDG method and a mixed method and discuss the results.

3 STABILIZATION AND WAVENUMBER IN HDG 3 Methods of the HDG type We borrow the basic methodology for constructing HDG methods from [4] and apply it to the time-harmonic Helmholtz and Maxwell equations (written as first order systems). While doing so, we set up the notations used throughout, compare the formulation we use with other existing works, and show that for complex wavenumbers there are stabilization parameters that will cause the HDG method to fail. Undesirable HDG stabilization parameters for the Helmholtz system. We begin by considering the lowest order HDG system for Helmholtz equation. Let k be a complex number. Consider the Helmholtz system on Ω R with homogeneous Dirichlet boundary conditions, îk U + Φ =, in Ω, (a) îkφ + U = f, in Ω, (b) Φ =, on Ω, (c) where f L (Ω). Let T h denote a square or triangular mesh of disjoint elements K, so Ω = K Th K, and let F h denote the collection of edges. The HDG method produces an approximation ( u, φ, ˆφ) to the exact solution ( U, Φ, ˆΦ), where ˆΦ denotes the trace of Φ on the collection of element boundaries T h. The HDG solution ( u, φ, ˆφ) is in the finite dimensional space V h W h M h defined by V h = { v (L (Ω)) v K V (K), K T h } W h = {ψ L (Ω) ψ K W (K), K T h } M h = { ˆψ L ( F F h F ) ˆψ F M(F ), F F h and ˆψ Ω = }, with polynomial spaces V (K), W (K), and M(F ) specified differently depending on element type: Triangles Squares V (K) = (P p (K)) V (K) = (Q p (K)) W (K) = P p (K) W (K) = Q p (K) M(F ) = P p (F ) M(F ) = P p (F ). Here, for a given domain D, P p (D) denotes polynomials of degree at most p, and Q p (D) denotes polynomials of degree at most p in each variable. The HDG solution satisfies îk( u, v) K (φ, v) K + ˆφ, v n K =, (a) ( u, ψ) K + τ ˆφ, ψ K τφ, ψ K îk(φ, ψ) K = (f, ψ) Ω, (b) u n + τ(φ ˆφ), ˆψ K =, (c)

4 4 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL Reference Their notations and equations Connection to our formulation [6] Helmholtz case q [6] + u [6] = q [6] k u [6] = ˆq [6] n = q [6] n + îτ [6] (u [6] û [6] ) τ [6] = k τ îku [6] = φ q [6] = u [] Helmholtz case îk q [] + u [] = îku [] + q [] = ˆq [] n = q [] n + τ [] (u [] û [] ) τ [] = τ u [] = φ q [] = u [] D Maxwell case îω [] ε r E [] H [] = îω [] µ r H[] + E [] = Ĥ [] = H [] + τ [] (E [] Ê[] ) t τ [] = εr µ r τ ω [] = ω ε µ E [] = εr E, H[] = µr H [4] Maxwell case µ w [4] u [4] = w [4] εω u [4] = ŵ [4] = w [4] + τ [4] ( u [4] û [4] ) n τ [4] = î εω µ τ µ w [4] = îk H, with k = ω µε, u [4] = E Table. Comparison with some HDG formulations in other papers. Notations in the indicated external references are used after subscripting them by the reference number. Notations without subscripts are those defined in this paper. for all v V h, ψ W h, and ˆψ M h. The last equation enforces the conservativity of the numerical flux û n = u n + τ(φ ˆφ). (3) The stabilization parameter τ is assumed to be constant on each K. We are interested in how the choice of τ in relation to k affects the method, especially when k is complex valued. Comparisons of this formulation with other HDG formulations for Helmholtz equations in the literature are summarized in Table. One of the main reasons to use an HDG method is that all interior unknowns ( u, φ) can be eliminated to get a global system for solely the interface unknowns (ˆφ). This is

5 possible whenever the local system STABILIZATION AND WAVENUMBER IN HDG 5 îk( u, v) K (φ, v) K = ˆφ, v n K, v V (K), (4a) ( u, ψ) K τφ, ψ K îk(φ, ψ) K = τ ˆφ, ψ K (f, ψ) K, ψ W (K), (4b) is uniquely solvable. (For details on this elimination and other perspectives on HDG methods, see [4].) In the lowest order (p = ) case, on a square element K of side length h, if we use a basis in the following order u = [ ], u = [ ], φ =, on K, then the element matrix for the system (4) is This shows that if îk h M = îk h. 4 hτ îk h 4τ = îkh, (5) then M is singular, and so the HDG method will fail. The usual recipe of choosing τ = is therefore inappropriate when k is complex valued. Intermediate case of the D Maxwell system. It is an interesting exercise to consider the D Maxwell system before going to the full 3D case. In fact, the HDG method for the D Maxwell system can be determined from the HDG method for the D Helmholtz system. The D Maxwell system is îke H = J, îk H + E =, (6a) (6b) where J L (Ω), and the scalar curl and the vector curl are defined by H = H H = R( H), E = ( E, E) = R( E). Here R(v, v ) = (v, v ) is the operator that rotates vectors counterclockwise by +π/ in the plane. Clearly, if we set r = R H, then (6) becomes îke + r = J, îk r + RR E =, which, since RR v = v (rotation by π), coincides with () with Φ = E, U = r, and f = J. This also shows that the HDG method for Helmholtz equation should yield an HDG method for the D Maxwell system. We thus conclude that there exist stabilization parameters that will cause the HDG system for D Maxwell system to fail.

6 6 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL To examine this D HDG method, if we let H and E denote the HDG approximations for R r and E, respectively, then the HDG system () with u and φ replaced by R H and E, respectively, gives (E, w) K + Ê, n w K îk( H, w) K =, îk(e, ψ) K ( H, ψ) K + τ(e Ê), ψ K = ( J, ψ) Ω, R H n, ˆψ K =, for all w R(V h ), ψ W h and ˆψ M h. We have used the fact that (R H) n = H t, where t = R n the tangent vector, and we have used the D cross product defined by v n = v t. In particular, the numerical flux prescription (3) implies R H n = R H n + τ(e Ê), where R H denotes the numerical trace of R H. We rewrite this in terms of H and E, to obtain One may rewrite this again, as Ĥ t = H t + τ(e Ê). Ĥ n = H n + τ(e Ê). (7) This expression is notable because it will help us consistently transition the numerical flux prescription from the Helmholtz to the full 3D Maxwell case discussed next. A comparison of this formula with those in the existing literature is included in Table. The 3D Maxwell system. Consider the 3D Maxwell system on Ω R 3 with a perfect electrically conducting boundary condition, îk E H = J, in Ω, (8a) îk H + E =, in Ω, (8b) n E =, on Ω, (8c) where J (L (Ω)) 3. For this problem, T h denotes a cubic or tetrahedral mesh, and F h denotes the collection of mesh faces. The HDG method approximates the exact solution ( E, H, Ê) by the discrete solution ( E, H, Ê) Y h Y h N h. The discrete spaces are defined by Y h = { v (L (Ω)) 3 v K Y (K), K T h } N h = {ˆη (L (F h )) 3 ˆη F N(F ), F F h and ˆη Ω = },

7 STABILIZATION AND WAVENUMBER IN HDG 7 with polynomial spaces Y (K) and N(F ) specified by: Tetrahedra Cubes Y (K) = (P p (K)) 3 Y (K) = (Q p (K)) 3 N(F ) = {ˆη (P p (F )) 3 ˆη n = } N(F ) = {ˆη (Q p (F )) 3 ˆη n = } Our HDG method for (8) is îk( E, v) K ( H, v) K + (Ĥ H) n, v K = ( J, v) Ω, v Y h, ( E, w) K + Ê, n w K îk( H, w) K =, w Y h, Ĥ n, ŵ K =, ŵ N h, where, in analogy with (7), we now set numerical flux by Ĥ n = H n + τ( E Ê) t, (9) where ( E Ê) t denotes the tangential component, or equivalently Ĥ n = H n + τ( n ( E Ê)) n. Note that the D system (6) is obtained from the 3D Maxwell system (8) by assuming symmetry in x 3 -direction. Hence, for consistency between D and 3D formulations, we should have the same form for the numerical flux prescriptions in D and 3D. The HDG method is then equivalently written as îk( E, v) K ( H, v) K + τ( E Ê) n, v n K = ( J, v) Ω, (a) ( E, w) K + Ê, n w K îk( H, w) K =, (b) H + τ n ( E Ê), ŵ n K =, (c) for all v, w Y h, and ŵ N h. For comparison with other existing formulations, see Table. Again, let us look at the solvability of the local element problem îk( E, v) K ( H, v) K + τ E n, v n K = τê n, v n K ( J, v) K, (a) ( E, w) K îk( H, w) K = Ê, n w K, (b) for all v, w Y (K). In the lowest order (p = ) case, on a cube element K of side length h, if we use a basis in the following order E =, E =, E3 =, H =, H =, H3 =, ()

8 8 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL then the 6 6 element matrix for the system () is M = [ (4h τ + îkh 3 )I 3 (îkh 3 )I 3 ], where I 3 denotes the 3 3 identity matrix. Again, exactly as in the Helmholtz case cf. (5) we find that if 4τ = îkh, (3) then the local static condensation required in the HDG method will fail in the Maxwell case also. Behavior on tetrahedral meshes. For the lowest order (p = ) case on a tetrahedral element, just as for the cube element described above, there are bad stabilization parameter values. Consider, for example, the tetrahedral element of size h defined by K = { x R 3 x j j, x + x + x 3 h}, (4) with a basis ordered as in (). The element matrix for the system () is then ( 3 + 6)h τ + îkh 3 3h τ 3h τ M = 3h τ ( 3 + 6)h τ + îkh 3 3h τ 3h τ 3h τ 4h τ + îkh 3. 6 îkh 3 îkh 3 îkh 3 We immediately see that the rows become linearly dependent if ( )τ = îkh. Hence, for τ = îkh/( ), the HDG method will fail on tetrahedral meshes. For orders p, the element matrices are too complex to find bad parameter values so simply. Instead, we experiment numerically. Setting τ = î, which is equivalent to the choice made in [4] (see Table ), we compute the smallest singular value of the element matrix M (the matrix of the left hand side of () with K set by (4)) for a range of normalized wavenumbers kh. Figures a and b show that, for orders p = and p =, there are values of kh for which τ = î results in a singular value very close to zero. Taking a closer look at the first nonzero local minimum in Figure a, we find that the local matrix corresponding to normalized wavenumber kh 7.49 has an estimated condition number exceeding 3.9 5, i.e., for all practical purposes, the element matrix is singular. To illustrate how a different choice of stabilization parameter τ can affect the conditioning of the element matrix, Figures c and d show the smallest singular values for the same range of kh, but with τ =. Clearly the latter choice of τ is better than the former. From another perspective, Figure e shows the smallest singular value of the element matrix as τ is varied in the complex plane, while fixing kh to. Figure f is similar except that we fixed kh to the value discussed above, approximately In both cases,

9 STABILIZATION AND WAVENUMBER IN HDG 9 smallest singular value of element matrix smallest singular value of element matrix kh (a) p =, τ = î 5 5 kh (c) p =, τ = smallest singular value of element matrix smallest singular value of element matrix..5. 5e e kh (b) p =, τ = î 5 5 kh (d) p =, τ = i.8 6i.6 i.6 4i i.5.4 i.4 i.3 i. i 4i.. i 6i 4 4 (e) kh =, p = (f) kh 7.49, p = i i..8 6i 4i i.8.6 i.6 i.4 i.4. i 4i. i 6i 4 4 (g) kh = + î, p = (h) kh 7.49( + î), p = Figure. The smallest singular values of a tetrahedral HDG element matrix

10 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL we find that the worst values of τ are along the imaginary axis. Finally, in Figures g and h, we see the effects of multiplying these real values of kh by + î. The region of the complex plane where bad values of τ are found changes significantly when kh is complex. Results on unisolvent stabilization We now turn to the question of how we can choose a value for the stabilization parameter τ that will guarantee that the local matrices are not singular. The answer, given by a condition on τ, surprisingly also guarantees that the global condensed HDG matrix is nonsingular. These results are based on a tenuous stability inherited from the fact nonzero polynomials are never waves, stated precisely in the ensuing lemma. Then we give the condition on τ that guarantees unisolvency, and before concluding the section, present some caveats on relying solely on this tenuous stability. As is standard in all HDG methods, the unique solvability of the element problem allows the formulation of a condensed global problem that involves only the interface unknowns. We introduce the following notation to describe the condensed systems. First, for Maxwell s equations, for any η N h, let ( E η, H η ) Y h Y h denote the fields such that, for each K T h, the pair ( E η K, H η K ) satisfies the local problem () with data η K. That is, îk( E η, v) K ( H η, v) K + τ E η n, v n K = τη n, v n K, (5a) ( E η, w) K îk( H η, w) K = η, n w K, (5b) for all v Y (K), w Y (K). If all the sources in () vanish, then the condensed global problem for Ê N h takes the form where a(ê, η) =, η N h, (6) a(λ, η) = ĤΛ n, η K. By following a standard procedure [4] we can express a(, ) explicitly as follows: a(λ, η) = H Λ n, η K + (ĤΛ H Λ ) n, η K = îk( H Λ, H η ) K ( H Λ, E η ) K + τ n ( n (Λ E Λ )), η K = îk( H Λ, H η ) K îk( E Λ, E η ) K + τ n (Λ E Λ ), n E η K τ n (Λ E Λ ), n η K = îk( H Λ, H η ) K îk( E Λ, E η ) K τ n (Λ E Λ ), n (η E η ) K. Here we have used the complex conjugate of (5b) with w = H Λ, along with the definition of ĤΛ, and then used (5a).

11 STABILIZATION AND WAVENUMBER IN HDG Similarly, for the Helmholtz equation, let ( u η, φ η ) V h W h denote the fields such that, for all K T h, the functions ( u η K, φ η K ) solve the element problem (4) for given data ˆφ = η. If the sources in () vanish, then the condensed global problem for ˆφ M h is written as b( ˆφ, η) =, η M h, (7) where the form is found, as before, by the standard procedure: b(λ, η) = û Λ n, η K = îk( u Λ, u η ) K îk(φ Λ, φ η ) K τ Λ φ Λ, η φ η K. The sesquilinear forms a(, ) and b(, ) are used in the main result, which gives sufficient conditions for the solvability of the local problems (), (4) and the global problems (6), (7). Before proceeding to the main result, we give a simple lemma, which roughly speaking, says that nontrivial harmonic waves are not polynomials. Lemma. Let p be an integer, k C, and D an open set. Then, there is no nontrivial E (Pp (D)) 3 satisfying ( E) k E = and there is no nontrivial φ P p (D) satisfying φ + k φ =. Proof. We use a contradiction argument. If E /, then we may assume without loss of generality that at least one of the components of E is a polynomial of degree exactly p. But this contradicts k E = ( E) because all components of ( E) are polynomials of degree at most p. Hence E. An analogous argument can be used for the Helmholtz case as well. Theorem. Suppose Re(τ), whenever Im(k) =, and (8a) Im(k) Re(τ), whenever Im(k). (8b) Then, in the Maxwell case, the local element problem () and the condensed global problem (6) are both unisolvent. Under the same condition, in the Helmholtz case, the local element problem (4) and the condensed global problem (7) are also unisolvent. Proof. We first prove the theorem for the local problem for Maxwell s equations. Assume (8) holds and set Ê = in the local problem (). Unisolvency will follow by showing that E and H must equal. Choosing v = E, and w = H, then subtracting (b) from (a), we get îk ( E K + H K ) + îim( E, H) K + τ E n K =,

12 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL whose real part is Im(k) ( E K + H K ) + Re(τ) E n K =. Under condition (8b), we immediately have that the fields E and H are zero on K. Otherwise, (8a) implies E n K =, and then () gives implying îk E H =, îk H + E =, ( E) = k E. By Lemma this equation has no nontrivial solutions in the space Y (K). Thus, the element problem for Maxwell s equations is unisolvent. We prove that the global problem for Maxwell s equations is unisolvent by showing that Ê = is the unique solution of equation (6). This is done in a manner almost identical to what was done above for the local problem: First, set η = Ê in equation (6) and take the real part to get Im(k) ( H K + E K ) Re(τ) n (Ê E) K =. (9) This immediately shows that if condition (8b) holds, then the fields E and H are zero on Ω R 3 and the proof is finished. In the case of condition (8a), we have n (Ê E K ) = for all K. Using equations (), this yields [ ( E)] K = k E K, so Lemma proves that the fields on element interiors are zero, which in turn implies Ê = also. Thus, the theorem holds for the Maxwell case. The proof for the Helmholtz case is entirely analogous. Note that even with Dirichlet boundary conditions and real k, the theorem asserts the existence of a unique solution for the Helmholtz equation. However, the exact Helmholtz problem () is well-known to be not uniquely solvable when k is set to one of an infinite sequence of real resonance values. The fact that the discrete system is uniquely solvable even when the exact system is not, suggests the presence of artificial dissipation in HDG methods. We will investigate this issue more thoroughly in the next section. However, we do not advocate relying on this discrete unisolvency near a resonance where the original boundary value problem is not uniquely solvable. The discrete matrix, although invertible, can be poorly conditioned near these resonances. Consider, for example, the Helmholtz equation on the unit square with Dirichlet boundary conditions. The first resonance occurs at k = π. In Figure, we plot the condition number σ max /σ min of the condensed HDG matrix for a range of wavenumbers near the resonance k = π, using a small fixed mesh of mesh size h = /4, and a value of τ = that satisfies (8). We observe that although the condition number remains finite, as predicted by the theorem, it peaks near the resonance for both the p = and the p = cases. We

13 STABILIZATION AND WAVENUMBER IN HDG 3 σ max / σ min 5 τ = τ = i σ max / σ min 5 5 τ = τ = i k (a) Degree p = 4 6 k (b) Degree p = Figure. Conditioning of the HDG matrix for the Helmholtz equation near the first resonance k = π also observe that a parameter setting of τ = î that does not satisfy the conditions of the theorem produce much larger condition numbers, e.g., the condition numbers that are orders of magnitude greater than (off axis limits of Figure b) for k near the resonance were obtained for p = and τ = î. To summarize the caveat, even though the condition number is always bounded for values of τ that satisfy (8), it may still be practically infeasible to find the HDG solution near a resonance. Results of dispersion analysis for real wavenumbers When the wavenumber k is complex, we have seen that it is important to choose the stabilization parameter τ such that (8b) holds. We have also seen that when k is real, the stability obtained by (8a) is so tenuous that it is of negligible practical value. For real wavenumbers, it is safer to rely on stability of the (un-discretized) boundary value problem, rather than the stability obtained by a choice of τ. The focus of this section is on real k and the Helmholtz equation (). In this case, having already separated the issue of stability from the choice of τ, we are now free to optimize the choice of τ for other goals. By means of a dispersion analysis, we now proceed to show that some values of τ are better than others for minimizing discrepancies in wavespeed. Since dispersion analyses are limited to the study of propagation of plane waves (that solve the Helmholtz equation), we will not explicitly consider the Maxwell HDG system in this section. However, since we have written the Helmholtz and Maxwell system consistently with respect to the stabilization parameter (see the transition from (3) to (9) via (7)), we anticipate our results for the D Helmholtz case to be useful for the Maxwell case also. The dispersion relation in the one-dimensional case. Consider the HDG method () in the lowest order (p = ) case in one dimension (D) after appropriately interpreting the boundary terms in (). We follow the techniques of [] for performing a dispersion

14 4 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL analysis. Using a basis on a segment of size h in this order u =, φ =, ˆφ =, ˆφ =, the HDG element matrix takes the form M = [ M M M M ] where M = [îkh îkh τ ] M + = [ τ τ ] M = M t M = [ τ τ ]. The Schur complement for the two endpoint basis functions { ˆφ, ˆφ } is then îkh τ îkh + τ + τ îkh τ îkh + τ S =. îkh τ îkh + τ îkh τ îkh + τ + τ Applying this matrix on an infinite uniform grid (of elements of size h), we obtain the stencil at an arbitrary point. If ˆψ j denotes the solution (trace) value at the jth point (j Z), then the jth equation reads ˆψ j ( îkh τ îkh + τ + τ) + ( ˆψ j + ˆψ j+ ) ( îkh τ îkh + τ ) =. In a dispersion analysis, we are interested in how this equation propagates plane waves on the infinite uniform grid. Hence, substituting ˆψ j = exp(îk h jh), we get the following dispersion relation for the unknown discrete wavenumber k h : cos(k h h) ( îkh + τ îkh + τ ) = ( îkh τ îkh + τ + τ) Simplifying, k h h = cos (kh) ( + îkh(τ + τ ) ). () This is the dispersion relation for the HDG method in the lowest order case in one dimension. Even when τ and k are real, the argument of the arccosine is not. Hence Im(k h ), () in general, indicating the presence of artificial dissipation in HDG methods. Note however that if τ is purely imaginary and kh is sufficiently small, () implies that Im(k h ) =. Let us now study the case of small kh (i.e., large number of elements per wavelength). As kh, using the approximation cos ( x /) x + x 3 /4 + valid for small x, and simplifying (), we obtain k h h kh = (τ + )î (kh) + O((kh) 3 ). () 4τ Comparing this with the discrete dispersion relation of the standard finite element method in one space dimension (see []), namely k h h kh O((kh) 3 ), we find that wavespeed discrepancies from the HDG method can be larger depending on the value of τ. In particular, we conclude that if we choose τ = ±î, then the error k h h kh in both methods are of the same order O((kh) 3 ).

15 STABILIZATION AND WAVENUMBER IN HDG 5 Before concluding this discussion of the one-dimensional case, we note an alternate form of the dispersion relation suitable for comparison with later formulas. Using the half-angle formula, equation () can be rewritten as where c = cos(k h h/). c = ( (kh) τ ) ( îkh(τ + ) + τ ), (3) Lowest order two-dimensional case. In the D case, we use an infinite grid of square elements of side length h. The HDG element matrix associated to the lowest order (p = ) case of () is now larger, but the Schur complement obtained after condensing out all interior degrees of freedom is only 4 4 because there is one degree of freedom per edge. Note that horizontal and vertical edges represent two distinct types of degrees of freedom, as shown in Figures 5a and 5b. Hence there are two types of stencils. For conducting dispersion analysis with multiple stencils, we follow the approach in [7] (described more generally in the next subsection). Accordingly, let C and C denote the infinite set of stencil centers for the two types of stencils present in our case. Then, we get an infinite system of equations for the unknown solution (numerical trace) values ˆψ, p and ˆψ, p at all p C and p C, respectively. We are interested in how this infinite system propagates plane wave solutions in every angle θ. Therefore, with the ansatz ˆψ j, pj = a j exp(î κ h p j ) for constants a j (j = and ), where the discrete wave vector is given by κ h = k h [ cos θ sin θ ] we proceed to find the relation between the discrete wavenumber k h and the exact wavenumber k. Substituting the ansatz into the infinite system of equations and simplifying, we obtain a system F [ a a ] = where and, for j =,, khτ F = [ c c d (4 τ + îkh) + khτ c ] d (4 τ + îkh) + khτ c khτ c c c j = cos ( hkh j ), d j = î( c j) τkh, k h = k h cos θ, k h = k h sin θ. (4) Hence the D dispersion relation relating k h to k in the HDG method is det(f ) =. (5) To formally compare this to the D dispersion relation, consider these two sufficient conditions for det(f ) = to hold: (kh) τ c j + d j (τkh + î(k j h) ) =, for j =,, (6)

16 6 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL where k = k cos θ and k = k sin θ. (Indeed, multiplying (6) j by d j+ (j = ) or d j (j = ) and summing over j =,, one obtains a multiple of det(f ).) The equations in (6) can be simplified to c j = (k jh) î kh τ ( ), j =,, (7) (k j h) + (kh) τ î kh τ which are relations that have a form similar to the D relation (3). Hence we use asymptotic expansions of arccosine for small kh, similar to the ones used in the D case, to obtain an expansion for kj h, for j =,. The final step in the calculation is the use of the simple identity / k h = ((k h ) + (k h ) ). (8) Simplifying the above-mentioned expansions for each term on the right hand side above, we obtain k h h kh = î(cos(4 θ) τ ) (kh) + O((kh) 3 ) (9) 6 τ as kh. Thus, we conclude that if we want dispersion errors to be O((kh) 3 ), then we must choose τ = ± î cos(4θ) + 3, (3) a prescription that is not very useful in practice because it depends on the propagation angle θ. However, we can obtain a more practically useful condition by setting τ to be the constant value that best approximates ± î cos(4θ) + 3 for all θ π/, namely 3 τ = ±î. (3) These values of τ asymptotically minimize errors in discrete wavenumber over all angles for the lowest order D HDG method. Note that for any purely imaginary τ, (7) implies that kj h is real if kh is sufficiently small, so Im(k h ) =, (3) thus eliminating artificial dissipation. We now report results of numerical computation of k h = k h (θ) by directly applying a nonlinear solver to the D dispersion relation (5) (for a set of propagation angles θ). The obtained values of the real part Re k h (θ) are plotted in Figure 3a, for a few fixed values of τ. The discrepancy between the exact and discrete curves quantifies the difference in the wave speeds for the computed and the exact wave. Next, analyzing the computed k h (θ) for values of τ on a uniform grid in the complex plane, we found that the values of τ that minimize kh k h (θ)h are purely imaginary. As shown in Figure 4, these τ-values approach the asymptotic values determined analytically in (3). A second validation of our analysis is performed by considering the maximum error over all θ for each value of τ and then determining the practically optimal value of τ. The results, given in Table, show that the optimal τ values do approach the analytically

17 STABILIZATION AND WAVENUMBER IN HDG 7 Wave speed Exact wave speed Discrete wave speed, τ= Discrete wave speed, τ= i Discrete wave speed, τ=.+.8i Wave speed..99 Exact wave speed Discrete wave speed, τ= Discrete wave speed, τ= i Discrete wave speed, τ=.+.9i.8 π/4 π/ Angle θ (a) p =.98 π/4 π/ Angle θ (b) p = Figure 3. Numerical wave speed Re( k h (θ)) as a function of θ for various choices of τ. Here, k = and h = π/4. kh Optimal τ, Optimal τ, Im(τ) > Im(τ) < π/4.87î.93î π/8.837î.898î π/6.85î.88î π/3.859î.874î π/64.863î.87î π/8.865î.868î π/56.866î.867î Table. Numerically found values of τ that minimize kh k h (θ)h for all θ in the p = case. determined value (see (3)) of ±î 3 ±.866î. Further numerical results for the p = case are presented together with a higher order case in the next subsection. Higher order case. To go beyond the p = case, we extend a technique of [7] (as in [9]). Using a higher order HDG stencil, we want to obtain an analogue of (5), which can be numerically solved for the discrete wavenumber k h = k h (θ). The accompanying dispersive, dissipative, and total errors are defined respectively by ɛ disp = max Re(k h (θ)) k, θ ɛ dissip = max Im(k h (θ)), θ ɛ total = max k h (θ) k. θ Again, we consider an infinite lattice of h h square elements with the ansatz that the HDG degrees of freedom interpolate a plane wave traveling in the θ direction with wavenumber k h. The lowest order and next higher order HDG stencils are compared in Figure 5. Note that the figure only shows the interactions of the degrees of freedom (33)

18 8 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL. (Im τ).8.6 kh=π/4 kh=π/6 kh=π/64 (cos(4θ)+3)/4 (Im τ).8.4 π/4 π/ Angle θ.6 π/4 Angle θ π/ (a) Im(τ) > (b) Im(τ) < Figure 4. The values of τ that locally minimize kh k h h are purely imaginary. Here, (Im(τ)) is compared with asymptotic values (dashed lines). (a) (b) (c) (d) (e) (f) Figure 5. Stencils corresponding to the shaded node types. (A) (B): Two node types of the lowest order (p = ) method; (C) (F): Four node types of the first order (p = ) method. corresponding to the ˆφ variable the only degrees of freedom involved after elimination of the u and φ degrees of freedom via static condensation. The lowest order method has two node types (shown in Figures 5a 5b), while the first order method has four node types (shown in Figures 5c 5f). For a method with S distinct node types, denote the

19 STABILIZATION AND WAVENUMBER IN HDG 9 solution value at a node of the s th type, s S, located at lh R, by ψ s, l. With our ansatz that these solution values interpolate a plane wave, we have ψ s, l = a s eî k h lh, for some constants a s. Now, to develop notation to express each stencil s equation, we fix a stencil within the lattice. Suppose that it corresponds to a node of the t th type, t S, that is located at jh. For s S, define J t,s = { l R a node of type s is located at ( j + l)h} and, for l J t,s, denote the stencil coefficient of the node at location ( j + l)h by D t,s, l. The stencil coefficient is the linear combination of the condensed local matrix entries that would likewise appear in the global matrix of equation (7). Both it and the set J t,s are translation invariant, i.e., independent of j. Since plane waves are exact solutions to the Helmholtz equation with zero sources, the stencil s equation is S s= D t,s, l ψ s, j+ l =. l J t,s Finally, we remove all dependence on j in this equation by dividing by eî k h jh, so there are S equations in total, with the t th equation given by S a s s= Defining the S S matrix F (k h ) by D t,s, l eî kh lh =. (34) l J t,s [F (k h )] t,s = l J t,s D t,s, l eîkh[cos θ,sin θ] lh, we observe that non-trivial coefficients {a s } exist if and only if k h is such that det(f (k h )) =. (35) This is the equation that we solve to determine k h for a given θ for any order (cf. (5)). Results of the dispersion analysis are shown in Figures 3 and 6. These figures combine the results from previously discussed p = case and the p = cases to facilitate comparison. Here, we set k = and h = π/4, i.e., 8 elements per wavelength. Figure 6 shows the dispersive, dissipative, and total errors for various values of τ C. For both the lowest order and first order cases, although the dispersive error is minimized at a value of τ having nonzero real part, the total error is minimized at a purely imaginary value of τ. This is attributed to the small dissipative errors for such τ. Specifically, the total error is minimized when τ =.87î in the p = case. This is close to the optimal value of τ found (both analytically and numerically) for p =. This value of τ reduces the total wavenumber error by 9% in the p = case, relative to the total error when using τ =.

20 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL >3 > Im(τ).5 Im(τ) Re(τ).5.5 Re(τ) (a) Dispersive error, p = (b) Dispersive error, p = >3 > Im(τ).5 Im(τ) Re(τ).5.5 Re(τ) (c) Dissipative error, p = (d) Dissipative error, p = >3 > Im(τ).5 Im(τ) Re(τ).5.5 Re(τ) (e) Total error, p = (f) Total error, p = Figure 6. Normalized dispersive error ɛ disp /ɛ disp, dissipative error ɛ dissip /ɛ dissip, and total error ɛ total/ɛ total for various τ C. Here, k =, h = π/4, and ɛ disp, ɛ dissip and ɛ total denote the errors when τ =, respectively.

21 STABILIZATION AND WAVENUMBER IN HDG Comparison with dispersion relation for the Hybrid Raviart-Thomas method. The HRT (Hybrid Raviart-Thomas) method is a classical mixed method [, 3, 5] which has a similar stencil pattern, but uses different spaces. Namely, the HRT method for the Helmholtz equation is defined by exactly the same equations as () but with these choices of spaces on square elements: V (K) = Q p+,p (K) Q p,p+ (K), W (K) = Q p (K), and M(F ) = P p (F ). Here Q l,m (K) denotes the space of polynomials which are of degree at most l in the first coordinate and of degree at most m in the second coordinate. The general method of dispersion analysis described in the previous subsection can be applied for the HRT method. We proceed to describe our new findings, which in the lowest order case includes an exact dispersion relation for the HRT method. In the p = case, after statically condensing the element matrices and following the procedure leading to (5), we find that the discrete wavenumber k h for the HRT method satisfies the D dispersion relation (c + c ) ((hk) ) + c c (4(hk) + 48) + (hk) 4 =, (36) where c j, as defined in (4), depends on k h j, which in turn depends on kh. Similar to the HDG case, we now observe that the two equations ((hk j ) + ) c j + (hk j ) =, j =,, (37) are sufficient conditions for (36) to hold. Indeed, if l j is the left hand side above, then l (c + ) + l (c + ) equals the left hand side of (36). The equations of (37) can immediately be solved: hkj h = cos ( (hk j) / (hk j ) + ) Hence, using (8) and simplifying using the same type of asymptotic expansions as the ones we previously used, we obtain k h cos(4 θ) + 3 h kh = (kh) 3 + O((kh) 5 ) (38) 96 as kh. Comparing with (9), we find that in the lowest order case, the HRT method has an error in wavenumber that is asymptotically one order smaller than the HDG method for any propagation angle, irrespective of the value of τ. To conclude this discussion, we report the results from numerically solving the nonlinear solution (36) for k h (θ) for an equidistributed set of propagation angles θ. We have also calculated the analogue of (36) for the p = case (following the procedure described in the previous subsection). Recall the dispersive, dissipative, and total errors in the wavenumbers, as defined in (33). After scaling by the mesh size h, these errors for both the HDG and the HRT methods are graphed in Figure 7 for p = and p =. We find that the dispersive errors decrease at the same order for the HRT method and the HDG method with τ =. While (38) suggests that the dissipative errors for the HRT method should be of higher order, our numerical results found them to be zero (up to machine accuracy). The dissipative errors also quickly fell to machine zero for the HDG method with the previously discussed best value of τ = î 3/, as seen from Figure 7.

22 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL kh Re(k h h) 4 kh Re(k h h) 5 6 kh (a) Dispersive error, p = 5 kh (b) Dispersive error, p = Im(k h h) Im(k h h) kh (c) Dissipative error, p = kh 5 (d) Dissipative error, p = kh k h h kh k h h kh (e) Total error, p = HDG with τ = HDG with τ =.866 i HRT 5 kh (f) Total error, p = Order (kh) reference Order (kh) 3 reference Order (kh) 4 reference Order (kh) 5 reference Figure 7. Convergence rates as kh

23 These are the findings in this paper: STABILIZATION AND WAVENUMBER IN HDG 3 Conclusions () There are values of stabilization parameters τ that will cause the HDG method to fail in time-harmonic electromagnetic and acoustic simulations using complex wavenumbers. (See equation (5) et seq.) () If the wavenumber k is complex, then choosing τ so that Re(τ) Im(k) guarantees that the HDG method is uniquely solvable. (See Theorem.) (3) If the wavenumber k is real, then even when the exact wave problem is not wellposed (such as at a resonance), the HDG method remains uniquely solvable when Re(τ). However, in such cases, we found the discrete stability to be tenuous. (See Figure and accompanying discussion.) (4) For real wavenumbers k, we found that the HDG method introduces small amounts of artificial dissipation (see equation ()) in general. However, when τ is purely imaginary and kh is sufficiently small, artificial dissipation is eliminated (see equation (3)). In D, the optimal values of τ that asymptotically minimize the total error in the wavenumber (that quantifies dissipative and dispersive errors together) are τ = ±î (see equation ()). (5) In D, for real wavenumbers k, the best values of τ are dependent on the propagation angle. Overall, values of τ that asymptotically minimize the error in the discrete wavenumber (considering all angles) is τ = ±î 3/ (per equation (3)). While dispersive errors dominate the total error for τ = î 3/, dissipative errors dominate when τ = (see Figure 7). (6) The HRT method, in both the numerical results and the theoretical asymptotic expansions, gave a total error in the discrete wavenumber that is asymptotically one order smaller than the HDG method. (See (38) and Figure 7.) References [] M. Ainsworth, Discrete dispersion relation for hp-version finite element approximation at high wave number, SIAM J. Numer. Anal., 4 (4), pp (electronic). [] D. N. Arnold and F. Brezzi, Mixed and nonconforming finite element methods: implementation, postprocessing and error estimates, RAIRO Modél. Math. Anal. Numér., 9 (985), pp [3] B. Cockburn and J. Gopalakrishnan, A characterization of hybridized mixed methods for the Dirichlet problem, SIAM J. Numer. Anal., 4 (4), pp [4] B. Cockburn, J. Gopalakrishnan, and R. Lazarov, Unified hybridization of discontinuous Galerkin, mixed, and continuous Galerkin methods for second order elliptic problems, SIAM Journal on Numerical Analysis, 47 (9), pp [5] B. Cockburn, J. Gopalakrishnan, and F.-J. Sayas, A projection-based error analysis of HDG methods, Math. Comp., 79 (), pp [6] J. Cui and W. Zhang, An analysis of HDG methods for the Helmholtz equation, IMA J. Numer. Anal., 34 (4), pp [7] A. Deraemaeker, I. Babuška, and P. Bouillard, Dispersion and pollution of the FEM solution for the Helmholtz equation in one, two and three dimensions, International Journal for Numerical Methods in Engineering, 46 (999), pp

24 4 J. GOPALAKRISHNAN, S. LANTERI, N. OLIVARES, AND R. PERRUSSEL [8] G. Giorgiani, S. Fernández-Méndez, and A. Huerta, Hybridizable discontinuous Galerkin p-adaptivity for wave propagation problems, International Journal for Numerical Methods in Fluids, 7 (3), pp [9] J. Gopalakrishnan, I. Muga, and N. Olivares, Dispersive and dissipative errors in the DPG method with scaled norms for the Helmholtz equation, SIAM J. Sci. Comput., 36 (4), pp. A A39. [] R. Griesmaier and P. Monk, Error analysis for a hybridizable discontinuous Galerkin method for the Helmholtz equation, J. Sci. Comput., 49 (), pp [] A. Huerta, X. Roca, A. Aleksandar, and J. Peraire, Are high-order and hybridizable discontinuous Galerkin methods competitive?, in Oberwolfach Reports, vol. 9 of Abstracts from the workshop held February 8,, organized by Olivier Allix, Carsten Carstensen, Jörg Schröder and Peter Wriggers, Oberwolfach, Blackforest, Germany,, pp [] L. Li, S. Lanteri, and R. Perrussel, Numerical investigation of a high order hybridizable discontinuous Galerkin method for d time-harmonic Maxwell s equations, COMPEL, 3 (3), pp. 38. [3], A hybridizable discontinuous Galerkin method combined to a Schwarz algorithm for the solution of 3d time-harmonic Maxwell s equation, J. Comput. Phys., 56 (4), pp [4] N. Nguyen, J. Peraire, and B. Cockburn, Hybridizable discontinuous Galerkin methods for the time-harmonic Maxwell s equations, Journal of Computational Physics, 3 (), pp [5] P.-A. Raviart and J. M. Thomas, A mixed finite element method for nd order elliptic problems, in Mathematical aspects of finite element methods (Proc. Conf., Consiglio Naz. delle Ricerche (C.N.R.), Rome, 975), Springer, Berlin, 977, pp Lecture Notes in Math., Vol. 66. Portland State University, PO Box 75, Portland, OR , USA address: gjay@pdx.edu INRIA Sophia Antipolis Méditerranée, 4 Route des Lucioles, BP 93, 69 Sophia Antipolis Cedex, France address: stephane.lanteri@inria.fr Portland State University, PO Box 75, Portland, OR , USA address: nmo@pdx.edu LAPLACE (LAboratoire PLAsma et Conversion denergie), Université de Toulouse, CNRS/INPT/UPS, Toulouse,France address: perrussel@laplace.univ-tlse.fr