Abstract
This paper presents a multiscale Petrov-Galerkin finite element method for time-harmonic acoustic scattering problems with heterogeneous coefficients in the high-frequency regime. We show that the method is pollution-free also in the case of heterogeneous media provided that the stability bound of the continuous problem grows at most polynomially with the wave number k. By generalizing classical estimates of Melenk (Ph.D. Thesis, 1995) and Hetmaniuk (Commun. Math. Sci. 5, 2007) for homogeneous medium, we show that this assumption of polynomially wave number growth holds true for a particular class of smooth heterogeneous material coefficients. Further, we present numerical examples to verify our stability estimates and implement an example in the wider class of discontinuous coefficients to show computational applicability beyond our limited class of coefficients.
Access provided by CONRICYT-eBooks. Download conference paper PDF
Similar content being viewed by others
1 Introduction
The time-harmonic acoustic wave-propagation is customarily described by the Helmholtz equation, which is of second-order, elliptic, but indefinite. Its numerical solution therefore exhibits severe difficulties especially in the regime of high wave numbers k. It is well-known that the mesh size h required for the stability of a standard finite element method must be much smaller than a mesh size H which would be sufficient for a reasonable representation of the solution. The phenomenon that the ratio H∕h tends to infinity as k grows, is known as the pollution effect [1]. A method is referred to as pollution-free, if h and H have the same order of magnitude and so proper resolution of the solution—usually a certain fixed number of grid points per wave length—implies quasi-optimality of the method.
When studying acoustic wave-propagation, it is often assumed to have constant material properties such as density and speed of sound, while in real complex materials, such as composites, these may be heterogeneous. Therefore, in this paper we study a multiscale Petrov-Galerkin method for the Helmholtz equation with large wave numbers k and possibly heterogeneous material coefficients as a generalization of [7, 16]. Standard first-order piecewise polynomials on the scale H serve as trial functions in this method, whereas the test functions involve a correction by solutions to coercive cell problems on the scale h. The size of the cells is proportional to H, where the proportionality constant m—the oversampling parameter—can be adjusted. Typically m ≈ logk, depending on the stability of the problem, leads to a quasi-optimal method. These local problems are translation invariant. Therefore, in periodic media only a small number of corrector problems must be solved depending on the number of local mesh configurations.
The stability of the method requires that the stability constant of the continuous operator depends polynomially on k. Such results are very rare in the literature even for the case of homogeneous media. We shall emphasize that such an assumption does not hold true in general [2]. The first positive estimates of this type go back to [14] for convex planar domains with pure Robin boundary. They were later generalized to other settings and three spatial dimensions in [4, 11]. For instance, in the particular case of pure impedance boundary conditions with \(\partial \Omega = \Gamma _{R}\), it was proved in [4, 6, 14], by employing a technique of Makridakis et al. [12], that the inf-sup constant is bounded, i.e. \(\gamma (k,\Omega,A,V ^{2})\lesssim k\). Further setups allowing for polynomially well-posedness in the presence of a single star-shaped sound-soft scatterer are described in [11]. For multiple scattering and, in particular, for scattering in heterogeneous media, the situation is completely open. To show that the assumption is satisfiable for non-trivial heterogeneous media, in this work we determine a class of smooth heterogeneous coefficients that allow for explicit-in-k stability estimates.
1.1 Heterogeneous Helmholtz Problem
We begin with some standard notation on complex-valued Lebesgue and Sobolev spaces that applies throughout this paper. The bar indicates complex conjugation and i is the imaginary unit. The L 2 inner product is denoted by \((v,w)_{L^{2}(\Omega )}:=\int _{\Omega }v\bar{w}\,dx\). The Sobolev space of complex-valued L p functions over a domain ω whose generalized derivatives up to order l belong to L p is denoted by W l, p(ω) and H l(ω): = W l, 2(ω). Further, the notation \(A\lesssim B\) abbreviates A ≤ CB for some constant C that is independent of the mesh-size, the wave number k, and all further parameters in the method like the oversampling parameter m or the fine-scale mesh-size h; A ≈ B abbreviates \(A\lesssim B\lesssim A\).
We now begin with some notation and problem setting. Let \(\Omega \subset \mathbb{R}^{d}\) be an open bounded Lipschitz domain with polyhedral boundary for d ∈ { 1, 2, 3}. We wish to find a solution u that satisfies
along with the boundary conditions
Here, ν denotes the outer normal to \(\partial \Omega = \overline{\Gamma _{D} \cup \Gamma _{N} \cup \Gamma _{R}}\), where the boundary sections are assumed disjoint. We suppose that \(\vert \Gamma _{R}\vert> 0\), but allow the other portions of the boundary to have measure zero. Although the results in this paper hold for a weaker dual space here we suppose \(f \in L^{2}(\Omega )\) and \(g \in L^{2}(\Gamma _{R})\). For the coefficients, we suppose \(A(x),V ^{2}(x) \in W^{1,\infty }(\Omega )\), and \(\beta (x) \in L^{\infty }(\Omega )\) are real valued. Moreover, we suppose there exist positive constants A min , A max , β min , β max , V min , and V max independent of k such that for almost all \(x \in \Omega\) we have
We denote the space
and denote the norm weighted with A(x), V (x), and k to be for \(\omega \subset \Omega\)
where if \(\omega = \Omega,\) we simply write \(\left \Vert u\right \Vert _{V }\). We have the following variational form corresponding to (1): Find u ∈ V such that
where the complex-valued sesquilinear form \(a: V \times V \rightarrow \mathbb{C}\) is given by
Here we write \((u,v)_{L^{2}(\Omega )} =\int _{\Omega }u\bar{v}dx\) and similarly \((u,v)_{L^{2}(\Gamma _{R})} =\int _{\Gamma _{R}}u\bar{v}ds\).
1.2 Motivation for a Multiscale Method and Stability Analysis
It is well known [1] that the pollution effect cannot be avoided in standard methods. However, it may be overcome by coupling the polynomial degree of the method with the wave number k [15]. Therefore, multiscale methods appear to be a natural tool to incorporate fine-scale features in a low-order discretization. Moreover, the parameters of this method must be coupled logarithmically with the wave number and therefore require the stability constant of the continuous problem to be polynomially dependent of k to arrive at a computationally efficient method. Hence, the stability of the continuous heterogeneous problem (1) is critical to the analysis of the related algorithms. In general, it is often shown (or possibly assumed) that there exists some constant \(C_{stab}(k,\Omega,A,V ^{2})> 0,\) which depends on k, the geometry, and the coefficients, such that
Further, turning to the inf-sup type lower bound, it is often shown, or possibly assumed, that there exists some constant \(\gamma (k,\Omega,A,V ^{2})\), related to \(C_{stab}(k,\Omega,A,V ^{2})\), such that
As noted, it is often the case that these constants depend merely polynomially on k. However, it has been demonstrated that there are special instances of exponential k dependence on \(C_{stab}(k,\Omega,A,V ^{2})\) [2], and thus, highly unstable inf-sup constants \(\gamma (k,\Omega,A,V ^{2})\).
2 Stability of the Heterogeneous Helmholtz Model
As discussed in Sect. 1, the stability and regularity of the continuous problem has been investigated for constant coefficients in various contexts. In this section, we shall investigate the stability of the continuous problem with respect to wave number in the case of heterogeneous coefficients. We proceed using the variational techniques with geometric constraints [11].
As noted in Sect. 1, in the case of constant coefficients, there exist various methods to bound \(\gamma (k,\Omega,A,V ^{2})\) from (8) in terms of k. Most importantly, the possible exponential dependence discussion in [2], will be excluded here. We will show in this section, that for certain classes of coefficients, we are able to obtain a favorable polynomial bound for \(\gamma (k,\Omega,A,V ^{2})\). To this end, we will employ variational techniques and so-called Rellich type identities with restrictions on the types of geometries similar to the work of Hetmaniuk [11] and references therein.
As we use the variational techniques we will make the geometric assumptions made by Hetmaniuk [11]. That is we suppose that there exists a \(x_{0} \in \mathbb{R}^{d}\) and a η > 0 such that
For a summary of such possible domains, we refer the reader to [11]. However, to get some sense of a geometry the reader may envision a convex domain with pure impedance boundary conditions. This of course may be weakened.
2.1 Statement of Stability, Connections to Inf-Sup Constants, and Boundedness
In this section we present our main stability result. The variational techniques employed require assumptions on the class of coefficients to remain valid. We outline these constraints and obtain a bounded-in-k result. We further relate these to the inf-sup constants and explore the boundedness of the non-constant coefficient case.
We assume throughout that (5) has a unique solution for any L 2 right-hand side f and focus on quantified stability.
Theorem 1
Suppose \(\Omega \subset \mathbb{R}^{d}\) , is a bounded connected Lipschitz domain and satisfies the geometric assumptions (9) . Let u be a solution of (1) with the boundary conditions (2) , coefficients satisfying the bounds (3) , and k ≥ k 0 > 0, for some k 0 . Further, we suppose the regularity \(u \in H^{3/2+\delta }(\Omega )\) for some δ > 0.
Define the following function
and further, we will denote C G to be the minimal constant so that
We suppose that
We then have the following estimate
where C ∗ depends only on the (3) and \(\Omega\) , but not on k.
Proof
See Appendix below. □
Remark 1
The assumption from Theorem 1 that u satisfy the regularity \(u \in H^{3/2+\delta }(\Omega )\) is an assumption on the configuration of the boundary decomposition into \(\Gamma _{D}\), \(\Gamma _{N}\), \(\Gamma _{R}\). It is not a further restriction on the coefficients A or V 2.
Now that we have an explicit bound for a class of constant variable coefficients, we now will relate the constant \(C_{stab}(k,\Omega,A,V ^{2}):= C^{{\ast}}\left (1 + \frac{1} {k^{2}} \right )\) to \(\gamma (k,\Omega,A,V ^{2})\) given by (8).
Theorem 2
Supposing the assumptions in Theorem 1 , we have the following estimate
Where, \(\widetilde{\gamma }:= (1 + C^{{\ast}}\left (k + \frac{1} {k}\right )V _{max}^{2})\) .
Proof
We proceed by a standard argument from [6], adapted to the heterogeneous case. Given \(u \in H^{1}(\Omega )\), define \(z \in H^{1}(\Omega )\) as the solution of
Then, from the estimate (13), we have
Note that
and using (15) and taking v = u + z implies
Using (16) we obtain
Hence, \(\mathop{\mathrm{Re}}\nolimits a(u,v) = \left \Vert u\right \Vert _{V }^{2} \geq (1 + C^{{\ast}}\left (k + \frac{1} {k}\right )V _{max}^{2})^{-1}\left \Vert v\right \Vert _{ V }\left \Vert u\right \Vert _{V },\) taking
yields the result. □
Finally, for completeness, we include a brief proof of the boundedness of the variational from.
Theorem 3
Supposing the assumptions in Theorem 1 , the variational form (6) has the following boundedness property
Here C a may depend on the bounds (3) , multiplicative trace constants, and \(\Omega\) , but not k.
Proof
From the variational form we have
We have from the multiplicative trace inequality
since k ≥ 1. Applying this to the \(\Gamma _{R}\) terms we arrive at (18). □
2.2 Example Coefficients
In this subsection, we will provide a few examples that satisfy the assumptions on the coefficients (12). Hence, the set of bounded smooth coefficients that yields polynomial-in-k bounds is non-trivial. We show that for some coefficients, as the oscillations become more frequent we violate the conditions (12). In particular, it appears that the restriction on the amplitude of the coefficients is related to the restrictions on the frequency of oscillations.
To simplify things, yet provide non-trivial coefficients, we will only consider radially symmetric conditions in \(\mathbb{R}^{2}\). Indeed, even with this symmetry, we are able to highlight the complexities and restrictiveness in these conditions. We will see that the frequency of oscillations play a considerable role in violation of these conditions, as well as the amplitude.
We take \(\Omega \subset \mathbb{R}^{2}\) to be given by the unit circle \(\Omega:=\{ (x,y) \in \mathbb{R}^{2}\ \vert \ x^{2} + y^{2} \leq 1\}\) and \(\partial \Omega =\{ (x,y) \in \mathbb{R}^{2}\ \vert \ x^{2} + y^{2} = 1\}\). Further, we will take \(\Gamma _{N} = \Gamma _{D} =\emptyset,\) so that \(\Gamma _{R} = \partial \Omega\). We take \(x_{0} = (0,0) \in \Omega\), and so \(m = (x - x_{0}) = r\hat{r}\), where r 2 = x 2 + y 2 and \(\hat{r}\) is the standard unit normal in radial coordinates. Then, clearly, m ⋅ ν = 1 on \(\Gamma _{R}\) and so the geometric assumptions (9) are satisfied with this domain. We will take β(x) = 1, g(x) = 0, and suppose that f: = f(r), is a given radially symmetric forcing. We finally suppose that the heterogeneities are radially symmetric, V 2(x) = V 2(r), and A(x) = A(r). We briefly recall in radial coordinates that for a function A and a vector field σ = (σ r , σ θ )
where \(\hat{\theta }\) is the standard angular coordinate. By examining the conditions (12), we are able to produce a few interesting examples.
Case 1: A = 1 Note that from condition (12b), that if A = 1 (or constant), we see that the conditions simplify slightly since the gradient terms in A will vanish. Indeed, now we see that only condition (12a) must be satisfied. In this setting, we must have that div(V 2 m) > 0 for our estimates to hold, or rewritten in radial coordinates as
From this condition we may choose a few possible coefficients for V (r). A trivial example is when V 2(r) = r + 1. Clearly,
Many such polynomial in r choices exist as long as they do not violate boundedness and positivity.
More interesting examples come from oscillatory coefficients. Suppose, for ε > 0, we take now the innocent looking example
and so
A quick investigation shows that if ε = 1, then (19) is satisfied, however, when ε = 0. 1 it is violated. Hence, if the coefficient becomes highly oscillatory, the stability condition is not satisfied. Also note that if we fix ε = 1, but extend the domain from a unit circle to one of radius R, we will eventually enter a negative region. Hence, the domain size also may have an effect on stability from the viewpoint of conditions (12).
Case 2: A = V 2 Turning to the definition of S(x) in (10), we see that if A = V 2, the functions simplifies to S(x) = d. Thus, condition (12a) is always satisfied. For d = 2, (12b) becomes
Taking a closer look at the terms related to C G from Theorem 1, we have in radial coordinates
Hence, we may take here C G = 2. Noting that
then the condition (22) becomes
Taking
for ε, α, and δ positive, then
Note further that A max = exp(α(δ + 1)) and A min = exp(α(δ − 1)), and so \(\frac{A_{max}} {A_{min}} =\exp (2\alpha )\). Hence,
or αexp(2α) < ε. We see from this calculation that the frequency of oscillation in the coefficients is related to the amplitude as far as the conditions (12) are concerned. The more oscillatory the function, the smaller the amplitude must be in this example.
3 The Multiscale Method
In this section, we will introduce the notation on finite element spaces and meshes that define the multiscale Petrov-Galerkin method (msPGFEM) for the heterogeneous Helmholtz problem. This method is based on ideas in an algorithm developed for homogenization problems in [3, 9, 13] also known as Localized Orthogonal Decomposition. The ideas have been adapted to the Helmholtz problem for homogeneous coefficients in [16], and later presented in the Petrov-Galerkin framework [7, 17]. We will stay in line with the notation and presentation of [7], as this is the basis for the algorithm applied to a heterogeneous medium. We begin by defining the basic components needed, then define the multiscale method as well as some computational aspects. Finally, we will briefly discuss the error analysis for the method, however, this will not differ too far from the homogeneous coefficient algorithm and as thus, will refer the reader to technical proofs in [7].
3.1 Meshes and Data Structures
We begin with the basic notation needed regarding the relevant mesh and data structures. For the sake of clarity and completeness, we will briefly recall the notation used in [7]. Let \(\mathcal{G}_{H}\) be a regular partition of \(\Omega\) into intervals, parallelograms, parallelepipeds for d = 1, 2, 3, respectively, such that \(\bigcup \mathcal{G}_{H} = \overline{\Omega }\) and any two distinct \(T,T' \in \mathcal{G}_{H}\) are either disjoint or share exactly one lower-dimensional hyper-face (that is a vertex or an edge for d ∈ { 2, 3} or a face for d = 3). We suppose the mesh is quasi-uniform. For simplicity, we are considering quadrilaterals (resp. hexahedra) with parallel faces, this guarantees the non-degeneracy of the elements in \(\mathcal{G}_{H}\). Again, the theory of this paper carries over to partitions satisfying suitable non-degeneracy conditions or even to meshless methods based on proper partitions of unity [10].
Given any subdomain \(S \subseteq \overline{\Omega }\), we define its neighborhood to be
Furthermore, we introduce for any m ≥ 2 the patch extensions
Note that the shape-regularity implies that there is a uniform bound denoted C ol, m , on the number of elements in the mth-order patch, \(\#\{K \in \mathcal{G}_{H}\,:\, K \subseteq \overline{\mathsf{N}^{m}(T)}\} \leq C_{\mathrm{ol},m}\) for all \(T \in \mathcal{G}_{H}\). We will abbreviate C ol: = C ol, 1. The assumption that the coarse-scale mesh \(\mathcal{G}_{H}\) is quasi-uniform implies that C ol, m depends polynomially on m. The global mesh-size is \(H:=\max \{\mathop{ \mathrm{diam}}\nolimits (T)\}\) for all \(T \in \mathcal{G}_{H}\).
We will denote \(Q_{p}(\mathcal{G}_{H})\) to be the space of piecewise polynomials of partial degree less than or equal to p. The space of globally continuous piecewise first-order polynomials is given by \(\mathcal{S}^{1}(\mathcal{G}_{H}):= C^{0}(\Omega ) \cap Q_{1}(\mathcal{G}_{H}),\) and by incorporating the Dirichlet condition we arrive at the standard Q 1 finite element space denoted here as
The set of free vertices, or the degrees of freedom, is denoted by
To construct our fine-scale and, thus, multiscale spaces we will need to define a coarse-grid quasi-interpolation operator. For simplicity of presentation,we suppose here that this quasi-interpolation is also projective. This assumption may be lifted c.f. [10] and references therein. We let I H : V → V H be a surjective quasi-interpolation operator that acts as a stable quasi-local projection in the sense that I H 2 = I H and that for any \(T \in \mathcal{G}_{H}\) and all v ∈ V the following local stability result holds
Under the mesh condition that
is bounded by a generic constant, this implies stability in the ∥ ⋅ ∥ V norm
with a k-independent constant \(C_{I_{H},V }\). However, \(C_{I_{H},V }\), will depend on the constants in (3).
One possible choice and which we use in our implementation of the method, is to define \(I_{H}:= E_{H} \circ \Pi _{H}\), where \(\Pi _{H}\) is the piecewise L 2 projection onto \(Q_{1}(\mathcal{G}_{H})\) and E H is the averaging operator that maps \(Q_{1}(\mathcal{G}_{H})\) to V H by assigning to each free vertex the arithmetic mean of the corresponding function values of the neighbouring cells, that is, for any \(v \in Q_{1}(\mathcal{G}_{H})\) and any free vertex \(z \in \mathcal{N}_{H}\),
Note that with this choice of quasi-interpolation, \(E_{H}(v)\vert _{\Gamma _{D}} = 0\) by construction. For this choice, the proof of (26) follows from combining the well-established approximation and stability properties of \(\Pi _{H}\) and E H shown in [5].
3.2 Definition of the Method
The multiscale method is determined by three parameters, namely the coarse-scale mesh-size H, the fine-scale mesh-size h, and the oversampling parameter m. We assign to any \(T \in \mathcal{G}_{H}\) its m-th order patch \(\Omega _{T}:= \mathsf{N}^{m}(T)\), \(m \in \mathbb{N}\), and define for any v, w ∈ V the localized sesquilinear forms of (6) to \(\Omega _{T}\) as
and to T, we have
Let the fine-scale mesh \(\mathcal{G}_{h},\) be a global uniform refinement of the mesh \(\mathcal{G}_{H}\) over \(\Omega\) and define
Define the null space
of the quasi-interpolation operator I H defined in the previous section. This is the space often referred to as the fine-scale or small-scale space. Given any nodal basis function \(\Lambda _{z} \in V _{H}\), let \(\lambda _{z,T} \in W_{h}(\Omega _{T})\) solve the subscale corrector problem
Let \(\lambda _{z}:=\sum _{T\in \mathcal{G}_{H}}\lambda _{z,T}\) and define the multiscale test function
The space of multiscale test functions then reads
We emphasize that the dimension of the multiscale space is the same as the original coarse space, \(\dim V _{H} =\dim \widetilde{ V }_{H}\). Moreover, it is independent of the parameters m and h. Finally, the multiscale Petrov-Galerkin FEM seeks to find u H ∈ V H such that
As in [7], the error analysis and the numerical experiments will show that the choice \(H\lesssim k^{-1}\), m ≈ log(k) will be sufficient to guarantee stability and quasi-optimality properties, provided that \(k^{\alpha }h\lesssim 1\) where α depends on the stability and regularity of the continuous problem. This constant α was the subject of Sect. 2. The conditions on h are the same as for the standard Q 1 FEM on the global fine scale. For example, in two dimensions, in the case of pure Robin boundary conditions on a convex domain, it is required that \(k^{3/2}h\lesssim 1\) for stability [18] and \(k^{2}h\lesssim 1\) for quasi-optimality [14] is satisfied.
4 Error Analysis
The error analysis for the algorithm presented in Sect. 3, is very similar to that developed in [16] and references therein, and in particular for the Petrov-Galerkin formulation we discuss now in [7]. It is clear the proofs are unaffected by the coefficients as the arguments rely on very general constants being bounded such as C a , \(C_{stab}(k,\Omega,A,V ^{2})\), and \(\gamma (k,\Omega,A,V ^{2})\), for example. This is primarily due to the upper and lower boundedness on the coefficients (3). However, we will highlight the main themes of the analysis here as this will be useful to refer to in our discussion on Numerical Examples in Sect. 5 as well as general completeness of the discussion.
We begin the error analysis with some notation. We denote the global finite element space on the fine scale by \(V _{h}:= V _{h}(\Omega ) = \mathcal{S}^{1}(\mathcal{G}_{h}) \cap V\). We denote the solution operator of the truncated element corrector problem (28) by \(\mathcal{C}_{T,m}\). Then, any \(z \in \mathcal{N}_{H}\) and any \(T \in \mathcal{G}_{H}\) satisfy \(\lambda _{z,T} = \mathcal{C}_{T,m}(\Lambda _{z})\) and we refer to \(\mathcal{C}_{T,m}\) as the truncated element correction operator. The map \(\Lambda _{z}\mapsto \lambda _{z}\) described in Sect. 3.2 defines a linear operator \(\mathcal{C}_{m}\) via \(\mathcal{C}_{m}(\Lambda _{z}) =\lambda _{z}\) for any \(z \in \mathcal{N}_{H}\), referred to as correction operator.
For the analysis we introduce idealized counterparts of these correction operators where the patch \(\Omega _{T}\) equals \(\Omega\). These global corrections are never computed and are merely used in the analysis. We define the null space
also referred to as the fine-scale space on the global domain. For any v ∈ V, the idealized element corrector problem seeks \(\mathcal{C}_{T}v \in W_{h}\) such that
Furthermore, define
Recall, we proved in Sect. 2 that the form a with heterogeneous coefficients given by (6), is continuous and there is a constant C a such that
The following result implies the well-posedness of the idealized corrector problems.
Lemma 1 (Well-Posedness for Idealized Corrector Problems)
Provided
we have for all w ∈ W h equivalence of norms
and coercivity
Proof
The lower bound is trivial, indeed we have that
For the upper bound, we note for any w ∈ W h the property (26) implies
Thus, using (32) we arrive at
Note from this we have
and so
Thus, equivalence and coercivity is proven. □
Lemma 1 implies that the idealized corrector problems (31) are well-posed and the correction operator \(\mathcal{C}\) is continuous in the sense that
for some constant \(C_{\mathcal{C}}\approx 1\). Since the inclusion \(W_{h}(\Omega _{T}) \subseteq W_{h}\) holds, the well-posedness result of Lemma 1 carries over to the corrector problems (28) in the subspace \(W_{h}(\Omega _{T})\) with the sesquilinear form \(a_{\Omega _{T}}\).
Again as with the homogeneous coefficient case [7], the proof of well-posedness of the Petrov-Galerkin method (29) is based on the fact that the difference \((\mathcal{C}-\mathcal{C}_{m})(v)\) decays exponentially with the distance from \(\mathop{\mathrm{supp}}\nolimits (v)\). In the next theorem, we quantify the difference between the idealized and the discrete correctors. As the proof is a bit technical and does not differ fundamentally from the homogeneous case, we refer the reader to Appendix of [7] and references therein. The proof is based on the exponential decay of the corrector \(\mathcal{C}\Lambda _{z}\) and requires the resolution condition (32), namely \(kH\lesssim 1\).
Theorem 4
Under the resolution condition (32) , there exist constants C 1 ≈ 1 ≈ C 2 and 0 < θ < 1 such that any v ∈ V H , any \(T \in \mathcal{G}_{H}\) and any \(m \in \mathbb{N}\) satisfy
Proof
See Appendix of [7]. □
Provided we choose the fine-mesh h small enough, the standard finite element over the mesh \(\mathcal{G}_{h}\) is stable in the sense that there exists a constant C FEM such that with \(\gamma (k,\Omega,A,V ^{2})\) from (8) it holds that
Recall, this is actually a condition on the fine-scale parameter h. In general, the requirements on h depend on the stability of the continuous problem [14]. We now recall the conditions on the oversampling parameter for the well-posedness of the discrete problem. Again, the proof here does not rely heavily on the coefficients, just the general boundedness and ellipticity constants etc. Thus, we again refer the reader to [7].
Theorem 5 (Well-Posedness of the Discrete Problem)
Under the resolution conditions (32) and (35) and the following oversampling condition
problem (29) is well-posed and the constant \(C_{\mathrm{PG}}:= 2C_{I_{H},V }C_{\mathcal{C}}C_{\mathrm{FEM}}\) satisfies
Proof
See [7]. □
The quasi-optimality requires the following additional condition on the oversampling parameter m,
Theorem 6 (Quasi-Optimality)
The resolution conditions (32) and (35) and the oversampling conditions (36) and (37) imply that the solution u H to (29) with parameters H, h, and m and the solution u h of the standard Galerkin FEM on the mesh \(\mathcal{G}_{h}\) satisfy
Proof
See [7]. □
The following consequence of Theorem 6 states an estimate for the error u − u H .
Corollary 1
Under the conditions of Theorem 6 , the discrete solution u H to (29) satisfies with some constant C ≈ 1 that
For the class of coefficients described in Theorem 1, this leads to the following convergence rates. Provided that the geometry allows for H 2 regularity of the solution and that h is sufficiently small such that the standard FEM is quasi-optimal on the fine scale h and the error is dominated by the coarse-scale part, we have
5 Numerical Examples
In this section, we present the results from our numerical experiments on a smooth coefficient for both cases when the conditions are satisfied and when it is violated. Further, we implement the method on discontinuous periodic coefficients to highlight broader applicability of the method. We give three example coefficients; based on (20), (24), and a discontinuous example. In all three experiments we took \(\Omega = (-1,1)^{2}\) to be the unit square. We use triangular meshes and continuous P 1 finite elements as trial functions. We used k = 25, g = 0, and the approximate point source
The coarse-scale mesh-sizes are H = 2−3, 2−4, 2−5, 2−6 and the fine-scale mesh-size is h = 2−8.
The convergence history plots display the errors in the ∥ ⋅ ∥ V norm as well as L 2 norms. We compare the multiscale Petrov-Galerkin method for oversampling parameters m = 1, 2, 3 with the standard P 1 finite element method and the best-approximation. To compute the error quantity we take the standard finite element solution at the fine scale h to be the overkill solution.
For the first example, we take A = 1 and V 2 as (20), with ε = 1 and refer to this as example 1. Note that this does not violate the stability condition. The coefficient V 2 is displayed in Fig. 1a and the corresponding computational solution is displayed in Fig. 1b. We note the spurious oscillation in Fig. 1b that breaks the rotational symmetry of the problem. However, this is due to the Robin boundary condition on the square domain being a poor choice for an absorbing boundary condition. The normal vector on the square is a crude approximation to \(\hat{r}\). Computing on a circular domain would yield radially symmetric results.
Figure 2a, b display the convergence history in the V -norm and the L 2 norm for Example 1. In general, we see that the multiscale method appears to perform much better than the corresponding standard P 1 finite element. However, there appears to be some resonance effects of some sort that is particularly pronounced in the V norm just before the resolution condition is satisfied. This is not in contradiction with the theory. It has been demonstrated in [7] that there is no decay of the corrector functions if the resolution condition is not satisfied, so that in this regime the localization is not justified and leads to unreliable results.
For the second example, we take A = V 2 and V 2 as (24), and refer to this as Example 2. For the parameters we took δ = 1, ε = 0. 1, α = 0. 08, and note that the corresponding stability condition αexp(2α) < ε is narrowly satisfied.
The coefficient V 2 is displayed in Fig. 3a and the computational solution is displayed in Fig. 3b. Figure 4a, b display the convergence history in the V -norm and the L 2 norm for Example 2. We see that in this example, we achieve faster convergence and do not see the resonance effects. This is also the case for the standard finite elements.
We now present a numerical example outside of our stability theory. We take V 2 = 2 except at periodically placed blocks where V 2 = 1 and plot the function in Fig. 5a. We refer to this as Example 3. The computational solution is displayed in Fig. 5b.
Figure 6a, b display the convergence history in the V -norm and the L 2 norm for Example 3. We observe that the method performs particularly well in this example, especially when compared against the corresponding P 1 finite element. We do not see the resonances as with Example 1.
6 Conclusions
ptIn this work, we developed a multiscale method to efficiently solve the heterogeneous Helmholtz equation at high frequency. The primary challenge was establishing k-explicit bounds for the continuous problem as these are critical in the analysis of the patch truncation parameter. We established these bounds for a class of smooth coefficients given some restrictions that appear to depend heavily on the frequency of oscillations and the amplitude of the coefficients. We then presented our multiscale method whose error analysis is not significantly modified by the heterogeneities assuming standard upper and lower boundedness. Finally, we implemented the algorithm on two coefficients that fit inside the class of coefficients in our main theorem and one that is discontinuous. We see that the method performs well in these cases. Future work includes exploring if these stability estimates apply to a greater class of more heterogeneous coefficients with less smoothness.
References
I.M. Babuska, S.A. Sauter, Is the pollution effect of the FEM avoidable for the Helmholtz equation considering high wave numbers? SIAM Rev. 42 (3), 451–484 (2000)
T. Betcke, S.N. Chandler-Wilde, I.G. Graham, S. Langdon, M. Lindner, Condition number estimates for combined potential integral operators in acoustics and their boundary element discretisation. Numer. Methods Partial Differ. Equ. 27 (1), 31–69 (2011). MR 2743599 (2012a:65355)
D. Brown, D. Peterseim, A multiscale method for porous microstructures. SIAM MMS 14, 1123–1152 (2016)
P. Cummings, X. Feng, Sharp regularity coefficient estimates for complex-valued acoustic and elastic Helmholtz equations. Math. Models Methods Appl. Sci. 16 (1), 139–160 (2006). MR 2194984 (2007d:35030)
D.A. Di Pietro, A. Ern, Mathematical Aspects of Discontinuous Galerkin Methods. Mathématiques and Applications (Berlin), vol. 69 (Springer, Heidelberg, 2012). MR 2882148
S. Esterhazy, J.M. Melenk, On stability of discretizations of the Helmholtz equation, in Numerical Analysis of Multiscale Problems. Lecture Notes in Computational Science and Engineering, vol. 83 (Springer, Heidelberg, 2012), pp. 285–324. MR 3050917
D. Gallistl, D. Peterseim, Stable multiscale Petrov-Galerkin finite element method for high frequency acoustic scattering. Comput. Methods Appl. Mech. Eng. 295, 1–17 (2015)
P. Grisvard, Contrôlabilité exacte des solutions de l’équation des ondes en présence de singularités. J. Math. Pures Appl. (9) 68 (2), 215–259 (1989). MR 1010769 (90i:49045)
P. Henning, D. Peterseim, Oversampling for the multiscale finite element method. Multiscale Model. Simul. 11 (4), 1149–1175 (2013). MR 3123820
P. Henning, P. Morgenstern, D. Peterseim, Multiscale Partition of Unity, in Meshfree Methods for Partial Differential Equations VII, ed. by M. Griebel, M.A. Schweitzer. Lecture Notes in Computational Science and Engineering, vol. 100 (Springer, Berlin, 2014)
U. Hetmaniuk, Stability estimates for a class of Helmholtz problems. Commun. Math. Sci. 5 (3), 665–678 (2007). MR 2352336 (2008m:35050)
Ch. Makridakis, F. Ihlenburg, I. Babuška, Analysis and finite element methods for a fluid-solid interaction problem in one dimension. Math. Models Methods Appl. Sci. 06 (08), 1119–1141 (1996)
A. Målqvist, D. Peterseim, Localization of elliptic multiscale problems. Math. Comput. 83 (290), 2583–2603 (2014). MR 3246801
J.M. Melenk, On generalized finite-element methods. ProQuest LLC, Ann Arbor, MI, 1995. Thesis (Ph.D.), University of Maryland, College Park. MR 2692949
J.M. Melenk, S.A. Sauter, Wave-number explicit convergence analysis for Galerkin discretizations of the Helmholtz equation. SIAM J. Numer. Anal. 49, 1210–1243 (2011)
D. Peterseim, Eliminating the pollution effect in Helmholtz problems by local subscale correction. Math. Comp. 86, 1005–1036 (2017)
D. Peterseim, Variational multiscale stabilization and the exponential decay of fine-scale correctors, in Building Bridges: Connections and Challenges in Modern Approaches to Numerical Partial Differential Equations. Lecture Notes in Computational Science and Engineering, vol. 114 (Springer International Publishing, 2016). doi:10.1007/978-3-319-41640-3
H. Wu, Pre-asymptotic error analysis of CIP-FEM and FEM for the Helmholtz equation with high wave number. Part I: linear version. IMA J. Numer. Anal. 34 (3), 1266–1288 (2014). MR 3232452
Acknowledgements
The authors acknowledge the support given by the Hausdorff Center for Mathematics Bonn. D. Peterseim is supported by Deutsche Forschungsgemeinschaft in the Priority Program 1748 “Reliable simulation techniques in solid mechanics. Development of non-standard discretization methods, mechanical and mathematical analysis” under the project “Adaptive isogeometric modeling of propagating strong discontinuities in heterogeneous materials”.
We thank Professor S. Sauter for helpful discussions on the stability analysis of Helmholtz problems.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix: Proof of Stability
Appendix: Proof of Stability
1.1 Technical and Auxiliary Lemmas
We will now proceed by recalling and demonstrating a few technical and auxiliary Lemmas used in the proof of Theorem 1. We begin with two critical technical lemmas that remain unchanged from the homogeneous case examined in [11] and are repeated here for completeness.
Lemma 2
Let \(m \in W^{1,\infty }(\Omega )^{d}\) and for all \(q \in H^{1}(\Omega )\) we have
Proof
See [11], Lemma 3.1. □
Lemma 3
Let \(m \in W^{1,\infty }(\Omega )^{d}\) and for all \(q \in H_{\Gamma _{D}}^{1}(\Omega ) \cap H^{3/2+\delta },\delta> 0,\) we have
Proof
See [8]. □
Here we will present a few auxiliary Lemmas.
Lemma 4
Let \(\Omega \subset \mathbb{R}^{d}\) be a bounded connected Lipschitz domain. Let \(u \in H^{1}(\Omega )\) be a weak solution of (1) , with \(f \in L^{2}(\Omega )\) and \(g \in L^{2}(\Gamma _{R})\) . Then, we have for any ε > 0
Proof
Taking v = u into the variational form (5) and looking at the imaginary part we have
and so
Multiplying by k, dividing by β min , and setting ξ 2 = β min k we obtain
and we obtain
Taking ξ 1 = ε > 0 we arrive at the estimate. □
We will also need the estimate below.
Lemma 5
Let \(\Omega \subset \mathbb{R}^{d}\) be a bounded connected Lipschitz domain. Let \(u \in H^{1}(\Omega )\) be a weak solution of (1) with \(f \in L^{2}(\Omega )\) and \(g \in L^{2}(\Gamma _{R})\) . Then, we have
for any ξ 3 ,ξ 4 > 0.
Proof
Taking v = u into the variational form (5) and looking at the real part we have
and so we have
Using the maximal and minimal values we have for any ξ 3 > 0 that
Using estimate (40) we may write for any ε > 0
Inserting the above inequality into (42) we obtain
Taking ε = ξ 4 the above inequality becomes
Thus, we obtained our estimate. □
1.2 Proof of Main Stability Result
We are now in a position to prove Theorem 1. The key observation is that the Laplacian may be rewritten using (1) and combined with the technical and auxiliary lemmas. This leads to the conditions on the coefficients (12).
Proof (Proof of Theorem 1)
Using (39) where we write
∂ ν u = 0 on \(\Gamma _{N}\), and ∂ ν u = ik β u + g on \(\Gamma _{R}\), we obtain
Using (38) with the transform \(m \rightarrow \frac{V ^{2}} {A} m\), we have
Using this to replace the term \(\mathop{\mathrm{Re}}\nolimits \int _{\Omega }\left (\frac{V ^{2}} {A} \right )u(m \cdot \nabla \bar{u})dx\), we have
Expanding out the boundary terms in each of the portions we have
Now we suppose we make the geometric assumptions made by Hetmaniuk [11] outlined in (9). Recall, we have for m = x − x 0, thus we compute
Using the above relations in (45) we obtain
Recall, (10), where we define the following function
and from (12), we have a minimum for S(x) exists and is positive
Further, from (12), we have C G to be the minimal constant so that
Returning to inequality (46), we obtain
where C 1 is independent of k and the bounds (3). Note that on the right hand side we have for any ξ 5, ξ 6 > 0 the terms
We choose ξ 5, ξ 6 so that
and so
We then obtain
Taking \(C_{2}^{bd} = C_{1}\left (\frac{C_{1}} {2\eta } \left \Vert \beta \right \Vert _{L^{\infty }(\Gamma _{R})}^{2} + \frac{V _{max}^{2}} {A_{min}} \right )\) and letting ε = β min ξ 7∕C 2 bd in the inequality (40) we have the relation
Applying this above inequality to (50), we obtain
Recall the estimate (41), with \(C_{3}^{bd} = \left ((d - 2) + C_{G}\left \Vert \left (\frac{\nabla A} {A} \right )\right \Vert _{L^{\infty }(\Omega )}\right )\), and taking \(\xi _{4} = \frac{\xi _{3}} {2} =\xi _{8}\)
and so, using the above estimate (52)we obtain
Finally to deal with the remaining term on the right hand side that contains ∇u, we note using (41), letting \(\frac{\xi _{4}} {\beta _{min}} = \frac{\xi _{3}} {2} = \frac{V _{max}^{2}} {2}\), and multiplying by ξ 9∕(2A min ), ξ 9 > 0, we obtain
and so
Applying this into (53), we obtain
Hence, we see that the critical term is \(S_{min} -\frac{C_{3}^{bd}V _{ max}^{2}} {A_{min}}.\) Recall,
thus, from (12), we have
Since (55) is assumed to hold, we take ξ 7, ξ 8, and ξ 9, so that
for some δ > 0, and taking C 4 bd to be the global constant bound for (54) we obtain
and using (41), and taking C 5 bd to be the global constant bound we obtain
as desired. □
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Brown, D.L., Gallistl, D., Peterseim, D. (2017). Multiscale Petrov-Galerkin Method for High-Frequency Heterogeneous Helmholtz Equations. In: Griebel, M., Schweitzer, M. (eds) Meshfree Methods for Partial Differential Equations VIII . Lecture Notes in Computational Science and Engineering, vol 115. Springer, Cham. https://doi.org/10.1007/978-3-319-51954-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-51954-8_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-51953-1
Online ISBN: 978-3-319-51954-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)