Loading [MathJax]/jax/element/mml/optable/BasicLatin.js
Research article

Localized Orthogonal Decomposition for two-scale Helmholtz-typeproblems

  • Received: 05 May 2017 Accepted: 14 August 2017 Published: 14 August 2017
  • In this paper, we present a Localized Orthogonal Decomposition (LOD) in Petrov-Galerkin formulation for a two-scale Helmholtz-type problem. The two-scale problem is, for instance, motivated from the homogenization of the Helmholtz equation with high contrast, studied together with a corresponding multiscale method in a previous paper of the authors. There, an unavoidable resolution condition on the mesh sizes in terms of the wave number has been observed, which is known as "pollution e ect" in the finite element literature. Following ideas of Gallistl and Peterseim, we use standard finite element functions for the trial space, whereas the test functions are enriched by solutions of subscsale problems (solved on a finer grid) on local patches. Provided that the oversampling parameter m, which indicates the size of the patches, is coupled logarithmically to the wave number, we obtain a quasi-optimal method under a reasonable resolution of a few degrees of freedom per wave length, thus overcoming the pollution effect. In the two-scale setting, the main challenges for the LOD lie in the coupling of the function spaces and in the periodic boundary conditions.

    Citation: Mario Ohlberger, Barbara Verfürth. Localized Orthogonal Decomposition for two-scale Helmholtz-typeproblems[J]. AIMS Mathematics, 2017, 2(3): 458-478. doi: 10.3934/Math.2017.2.458

    Related Papers:

    [1] M. H. Heydari, M. Hosseininia, D. Baleanu . An efficient method for 3D Helmholtz equation with complex solution. AIMS Mathematics, 2023, 8(6): 14792-14819. doi: 10.3934/math.2023756
    [2] Ved Prakash Dubey, Jagdev Singh, Ahmed M. Alshehri, Sarvesh Dubey, Devendra Kumar . Analysis of local fractional coupled Helmholtz and coupled Burgers' equations in fractal media. AIMS Mathematics, 2022, 7(5): 8080-8111. doi: 10.3934/math.2022450
    [3] Chao Wang, Fajie Wang, Yanpeng Gong . Analysis of 2D heat conduction in nonlinear functionally graded materials using a local semi-analytical meshless method. AIMS Mathematics, 2021, 6(11): 12599-12618. doi: 10.3934/math.2021726
    [4] Zuliang Lu, Xiankui Wu, Fei Huang, Fei Cai, Chunjuan Hou, Yin Yang . Convergence and quasi-optimality based on an adaptive finite element method for the bilinear optimal control problem. AIMS Mathematics, 2021, 6(9): 9510-9535. doi: 10.3934/math.2021553
    [5] Shuqi He, Kun Wang . Exponential integrator method for solving the nonlinear Helmholtz equation. AIMS Mathematics, 2022, 7(9): 17313-17326. doi: 10.3934/math.2022953
    [6] Keiichi Watanabe . The Helmholtz decomposition of vector fields for two-dimensional exterior Lipschitz domains. AIMS Mathematics, 2024, 9(7): 17886-17900. doi: 10.3934/math.2024870
    [7] Jeong-Kweon Seo, Byeong-Chun Shin . Reduced-order modeling using the frequency-domain method for parabolic partial differential equations. AIMS Mathematics, 2023, 8(7): 15255-15268. doi: 10.3934/math.2023779
    [8] Naveed Iqbal, Muhammad Tajammal Chughtai, Nehad Ali Shah . Numerical simulation of fractional-order two-dimensional Helmholtz equations. AIMS Mathematics, 2023, 8(6): 13205-13218. doi: 10.3934/math.2023667
    [9] Luca Bisconti, Paolo Maria Mariano . Global existence and regularity for the dynamics of viscous oriented fluids. AIMS Mathematics, 2020, 5(1): 79-95. doi: 10.3934/math.2020006
    [10] Liang He, Yihui Sun, Zhenglong Chen, Fei Teng, Chao Shen, Zhendong Luo . The POD-based reduced-dimension study on the two-grid finite element method for the nonlinear time-fractional wave equation. AIMS Mathematics, 2025, 10(2): 3408-3427. doi: 10.3934/math.2025158
  • In this paper, we present a Localized Orthogonal Decomposition (LOD) in Petrov-Galerkin formulation for a two-scale Helmholtz-type problem. The two-scale problem is, for instance, motivated from the homogenization of the Helmholtz equation with high contrast, studied together with a corresponding multiscale method in a previous paper of the authors. There, an unavoidable resolution condition on the mesh sizes in terms of the wave number has been observed, which is known as "pollution e ect" in the finite element literature. Following ideas of Gallistl and Peterseim, we use standard finite element functions for the trial space, whereas the test functions are enriched by solutions of subscsale problems (solved on a finer grid) on local patches. Provided that the oversampling parameter m, which indicates the size of the patches, is coupled logarithmically to the wave number, we obtain a quasi-optimal method under a reasonable resolution of a few degrees of freedom per wave length, thus overcoming the pollution effect. In the two-scale setting, the main challenges for the LOD lie in the coupling of the function spaces and in the periodic boundary conditions.


    1. Introduction

    The numerical solution of high frequency Helmholtz problems with standard finite element methods is still a very challenging task due to the oscillatory nature of the solutions. This manifests itself in the so-called pollution effect [3]: A much smaller mesh size than needed for a meaningful approximation of the solution are required for the stability and convergence of the numerical scheme. Typically, this leads to a resolution condition kαH=O(1) with α>1 instead of kH=O(1), i.e. few degrees of freedom per wave length. The challenge becomes even greater when additionally studying the Helmholtz problem in a heterogeneous medium, such as locally periodic structures.

    (Locally) periodic media, such as photonic crystals, can exhibit astonishing properties such as band gaps, artificial magnetism, or negative refraction [11,29,33,39]. One popular and successful modelling setup are scatterers made up of two materials with high contrast in the permittivity [4,5,6,7,10,15,28]. As the materials' fine-scale structures are much smaller than the wavelength, homogenization and corresponding numerical multiscale methods, such as the Heterogeneous Multiscale Method (HMM), are efficient tools to reduce the problem's complexity. Homogenization theory gives an effective Helmholtz problem, which describes the macroscopic behavior of the original problem, but involves the solution of some additional cell problems to determine the effective material parameters. This procedure can also be coupled in the so-called two-scale equation, which gives the macroscopic and the cell problems in one variational problem. The Heterogeneous Multiscale Method can be seen as a Galerkin discetization of this two-scale equation and it gives good approximations even of the solution in the heterogeneous medium, see [34]. However, as every standard Galerkin method, the HMM for Helmholtz-type problems also suffers from the pollution effect described in the beginning [14,32,40]. There are several attempts to reduce this pollution effect, e.g. high-order finite element methods [14,32], (hybridizable) discontinuous Galerkin methods [9,17], or (plane wave) Trefftz methods [23,24,36].

    Recently, the works [8,16,37] suggested a multiscale Petrov-Galerkin method for the Helmholtz equation to reduce the pollution effect. The method is based on a so called Localized Orthogonal Decomposition (LOD), as first introduced in [30]. The LOD builds on ideas from the Variational Multiscale Method (VMM) [25,26] by splitting the solution space into a coarse and a fine part. The coarse standard finite element functions are modified by adding a correction from the fine space, which is constructed as the kernel of an interpolation operator. The corrections are problem dependent and computed by solving PDEs on a finer grid. In most cases the corrections show exponential decay, which justifies to truncate them to patches of coarse elements. Since its development, the LOD has been successfully applied to elliptic boundary problems [22], eigenvalue problems [31], mixed problems [18], parabolic problems [31], the wave equation [1] or elasticity [21]. A review is given in [38]. As already discussed in [12] and analyzed in more detail in [38], Petrov-Galerkin formulations show the same stability and convergence behavior as the symmetric Galerkin methods while being less expensive with respect to communication. An extensive discussion on implementation aspects of the LOD, such as how to exploit a priori known structures to reduce the number of local subscale problems, is given in [13] and some remarks for acoustic scattering in [16].

    In this article, we present how the LOD can be applied to two-scale Helmholtz-type problems. Following the ideas in [16], the test functions are modified by local subscale correction, which are solved on a fine grid fulfilling the resolution condition for standard Galerkin finite element methods. The resulting test functions have support over patches of size mHc and mhc; Hc being the mesh size of the grid for the macroscopic domain G, hc being the mesh size of the grid for the unit square Y and m being the adjustable oversampling parameter. Under the condition that mlog(k) and k(Hc+hc)1, the (two-scale) LOD is stable and quasi-optimal, i.e. the error between the LOD-approximation and the analytical solution of the two-scale equation is of the order of the best-approximation error. These are the results expected from the one-scale setting. The main contribution is the rigorous (theoretical) analysis for this LOD in the two-scale setting. The novelty here is that first, we have to deal with coupled functional spaces and sesquilinear forms. This coupling has to be taken care of in all new definitions of (again coupled) spaces and also in the estimates, where we have to jump back and forth between the two-scale norms and the properties of each individual space and interpolation operator. Second, our coupled two-scale functional spaces involve periodic boundary conditions on the unit cube, which also have to be paid attention at when defining the interpolation operators and the oversampling patches at the boundary.

    Finally, let us summarize the connection of the LOD in two-scale setting to original Helmholtz problem with high contrast, but also emphasize the general nature of our (theoretical) findings. Combining the HMM of [34] and the LOD of the present paper, we have solved the Helmholtz problem with high contrast by a double approximation procedure: First removing the challenges from the fine-scale structures related to the periodicity δ and then reducing the pollution effect related to the wave number k, where we recall the three-scale nature δk1<1. Our numerical experiments in [34] have not experienced great restriction from the resolution condition, but more sophisticated examples or even higher wave numbers may make the application of the LOD favorable, which hereby has the necessary theoretical footing. Concerning possible generalizations of our work, let us note that we concentrate on the two-scale setting described in [34], but the analysis can also be adapted to the case without high contrast [27] and might be useful for future numerical studies of the three-dimensional cases [4,6,7,10,28]. Moreover, the definition of the patches and interpolation operators in the periodic case and also the coupling and decoupling of various function spaces may be of general interest.

    The paper is structured as follows: Section 2 introduces the notation and problem setting, see also [34]. In Section 3, the LOD in Petrov-Galerkin formulation is defined in the two-scale setting, where we also give some general comments on implementation aspects. Stability and convergence of the error are discussed in Section 4. Section 5 is devoted to the detailed proof of the decay of the correctors.


    2. The two-scale Helmholtz problem

    In this section, we introduce what we call the two-scale Helmholtz problem and the necessary notation. For further details on the derivation of this two-scale model and its practical relevance we refer to [34].

    For the remainder of this article, let Ω⊂⊂GR2 be two domains with (polygonal) Lipschitz boundary at least. Throughout this paper, we use standard notation for Lebesgue and Sobolev spaces: For a domain ω, p[1,), and sR0, Lp(ω) denotes the complex Lebesgue space and Hs(ω) denotes the complex (fractional) Sobolev space. The dot denotes a normal (real) scalar product, for a complex scalar product we explicitly conjugate the second component by using v as the conjugate complex of v. The complex L2 scalar product on a domain ω is abbreviated by (,)ω and the domain is omitted if no confusion can arise. For vH1(ω), we frequently use the k-dependent norm

    v1,k,ω:=(v2ω+k2v2ω)1/2,

    which is obviously equivalent to the H1 norm. We write Y:=[12,12)2 to denote the two-dimensional unit square. We indicate Y-periodic functions [2] with the subscript . For example, H1,0(Y) is the space of Y-periodic functions from H1loc(R2) with zero average over Y. For YY, we denote by H1,0(Y) the restriction of functions in H1,0(Y) to Y. For D⊂⊂Y, H10(D) can be interpreted as subspace of H1(Y) and we write H10(D) to emphasize this periodic extension. By Lp(Ω;X) we denote Bochner-Lebesgue spaces over the Banach space X.

    The two-scale Helmholtz problem is now formulated as follows: We seek u:=(u,u1,u2)H such that

    B(u,ψ)=Ggψdσψ:=(ψ,ψ1,ψ2)H (2.1)

    with the two-scale function space H:=H1(G)×L2(Ω;H1,0(Y))×L2(Ω;H10(D)) and the two-scale sesquilinear form B defined by

    B(v,ψ):=ΩYε1e(v+yv1)(ψ+yψ1)dydx+GDε1iyv2yψ2dydxk2GY(v+χDv2)(ψ+χDψ2)dydx+G¯ΩvψdxikGvψdσ.

    Beside the natural norm on H it is convenient for error estimation to define the following two-scale energy norm

    (v,v1,v2)2e,ω×R:=v+yv12ω×R1+yv22ω×R2+k2v+χDv22ω×R (2.2)

    for a subdomain ω×RG×Y with R1:=RY and R2:=RD. Furthermore, we introduce a version of the H1 semi-norm on H via

    (v,v1,v2)21,e,ω×R:=v+yv12ω×R1+yv22ω×R2, (2.3)

    which is induced by the sesquilinear form

    (v,ψ)1,e,ω×R:=(v+yv1,ψ1+yψ2)ω×R1+(yv2,yψ2)ω×R2v,ψH.

    We omit the subscript for the subdomain if ω×R=G×Y. In [34], we proved the following Lemma.

    Lemma 2.1. There exist constants CB>0 and Cmin depending only on the parameters and the geometry, such that \mathcal{B} is continuous with constant C_B and fulfills a Gårding inequality with constant C_{\min}, i.e.

    |\mathcal{B}({\bf{v}}, \boldsymbol{\psi})|\leq C_B \|{\bf{v}}\|_e\|\boldsymbol{\psi}\|_e\quad \text{and}\quad \Re \mathcal{B}({\bf{v}}, {\bf{v}})+2k^2\|v+\chi_D v_2\|_{G\times Y}^2\geq C_{\min}\|{\bf{v}}\|_e^2.

    Note that C_{\min} can also be used to estimate the gradient terms in \mathcal{B} by C_{\min}\|\cdot\|_{1, e} from below. Furthermore, the unique solution {\bf{u}}\in \mathcal{H} to (2.1) (with additional volume term f\in L^2(G) on the right-hand side) fulfills the following stability estimate

    \|{\bf{u}}\|_e\leq C k^q(\|f\|_{L^2(G)}+\|g\|_{H^{1/2}(\partial G)}) \qquad \text{for some}\quad q\in \mathbb{N}_0, (2.4)

    see [34] for a proof with q=3.

    For the error analysis, we will compare the solution of the Localized Orthogonal Decomposition to a discrete reference solution, which is only needed for the theory and will never be computed in practical implementations. We introduce conforming and shape regular triangulations \mathcal{T}_H and \mathcal{T}_h of G and Y, respectively. Additionally, we assume that \mathcal{T}_H resolves the partition into \Omega and G\setminus \overline{\Omega } and that \mathcal{T}_h resolves the partition into D and Y^* and is periodic in the sense that it can be wrapped to a regular triangulation of the torus (without hanging nodes). We use the conforming subspace {\bf{V}}_{H, h}\subset \mathcal{H} made up of linear Lagrange elements via {\bf{V}}_{H, h}:=V_H^1\times L^2(\Omega; \widetilde{V}_h^1(Y^*))\times L^2(\Omega; V_h^1(D)), where the L^2 spaces with respect to x can be additionally approximated by piece-wise polynomials. The discrete reference solution {\bf{u}}_{H, h}=(u_H, u_{h, 1}, u_{h, 2})\in{\bf{V}}_{H, h} is the solution to

    \mathcal{B}({\bf{u}}_{H, h}, \boldsymbol{\psi}_{H, h})=\int_{\partial G}g\psi_H^*\, d\sigma \qquad \forall \boldsymbol{\psi}_{H, h}:=(\psi_H, \psi_{h, 1}, \psi_{h, 2})\in {\bf{V}}_{H, h}. (2.5)

    We assume that this direct discretization is stable in the following sense: The (fine) mesh sizes H and h are small enough (in dependence on the wave number k) that there is a constant C_{{\rm{HMM}}} such that

    (C_{{\rm{HMM}}}\, k^{q+1})^{-1}\leq \inf\limits_{{\bf{v}}_{H, h}\in {\bf{V}}_{H, h}}\sup\limits_{\boldsymbol{\psi}_{H, h}\in {\bf{V}}_{H, h}}\frac{\Re \mathcal{B}({\bf{v}}_{H, h}, \boldsymbol{\psi}_{H, h})}{\|{\bf{v}}_{H, h}\|_e\|\boldsymbol{\psi}_{h, h}\|_e}. (2.6)

    In [34], we discussed that this direct discretization can be re-cast into the traditional formulation of a Heterogeneous Multiscale Method and we proved that the discrete inf-sup-condition (2.6) holds under the classical resolution condition k^{q+2}(H+h)=O(1).

    Remark 1. We demonstrate the LOD at the specific example at the two-scale Helmholtz problem obtained in [34]. However, the theory can easily be extended to more general two-scale Helmholtz problems, which fulfill the following assumptions

    • the variational problem (2.1) involves a continuous sesquilinear form with Gårding inequality, i.e. an analogue of Lemma 2.1;

    • the analytical solution fulfills a stability estimate (2.4);

    • the (direct) Galerkin discretization (2.5) is stable (2.6).


    3. The Localized Orthogonal Decomposition

    In this section, we introduce the notation on meshes, finite element spaces, and (quasi)-interpolation operators and define the Localized Orthogonal decomposition in Petrov-Galerkin formulation for the two-scale setting. We close with some remarks regarding an implementation of the two-scale LOD.


    3.1. Meshes and finite element spaces

    Let the (fine) meshes \mathcal{T}_H of G and \mathcal{T}_h of Y be given as in the previous section, we assume that H and h are small enough that (2.6) is fulfilled. We consider a second, coarse discretization scale H_c>H and h_c>h: Let \mathcal{T}_{H_c} and \mathcal{T}_{h_c} denote corresponding conforming, quasi-uniform, and shape regular triangulations of G and Y, respectively. As for the fine grids, we additionally assume that \mathcal{T}_{h_c} is periodic and that \mathcal{T}_{H_c} and \mathcal{T}_{h_c} resolve the partition of G into \Omega and its complement and of Y into D and Y^*, respectively. We denote by \mathcal{T}_{h_c}(Y^*) and \mathcal{T}_{h_c}(D) the parts of \mathcal{T}_{h_c} triangulating Y^* and D, respectively. The global mesh sizes are defined as H_c:=\max\{ {\rm{diam}}(T)|T\in \mathcal{T}_{H_c}\} and h_c:=\max\{{\rm{diam}}(S)|S\in \mathcal{T}_{h_c}\}. For the sake of simplicity we assume that \mathcal{T}_H and \mathcal{T}_h are derived from \mathcal{T}_{H_c} and \mathcal{T}_{h_c}, respectively, by some regular, possibly non-uniform, mesh refinement including at least one global refinement. We consider simplicial partitions, but the theory of this paper carries over to quadrilateral partitions [16] and even meshless methods would be possible [19].

    Given any subdomain \omega \subset \overline{G} define its neighborhood via

    {\rm{N}}(\omega ):={\rm{int}}(\cup\{T\in \mathcal{T}_{H_c}|T\cap\overline{\omega }\neq \emptyset\})

    and for any m\geq 2 the patches

    {\rm{N}}^1(\omega ):={\rm{N}}(\omega )\qquad \text{and}\qquad{\rm{N}}^m(\omega ):={\rm{N}}({\rm{N}}^{m-1}(\omega )),

    see Figure 3.1 for an example. The shape regularity implies that there is a uniform bound C_{{\rm{ol}}, m, G} on the number of elements in the m-th order patch

    \max\limits_{T\in \mathcal{T}_{H_c}}\sharp\{K\in \mathcal{T}_{H_c}|K\subset\overline{{\rm{N}}^m(T)}\}\leq C_{{\rm{ol}}, m, G}
    Figure 3.1. Triangle T (in black) and its first and second order patches (additional elements for {\rm{N}}(T) in dark gray and additional elements for {\rm{N}}^2(T) in light gray). Striped triangles belong to {\rm{N}}^2(T) in the case of periodic boundary conditions.

    and the quasi-uniformity implies that C_{{\rm{ol}}, m, G} depends polynomially on m. We abbreviate C_{{\rm{ol}}, G}:=C_{{\rm{ol}}, 1, G}. The patches can also be defined in a similar way for a subdomain R\subset\overline{Y}. Here, we split R=R_1\cup R_2 with R_1=R\cap D and R_2=R\cap Y^*, where R_1 or R_2 may be empty, and we write in short {\rm{N}}^m(R):={\rm{N}}^m(R_1)\cup {\rm{N}}^m(R_2). {\rm{N}}^m(R_1) is defined in the same way as before, in particular, it ends at the boundary \partial D. For the patch {\rm{N}}^m(R_2) we interpret \overline{Y^*} as part of the torus. This implies that {\rm{N}}^m(R_2) ends at the inner boundary \partial D, but is continued periodically over the outer boundary \partial Y. This means that also the striped triangles in Figure 3.1 belong to the second patch for the periodic setting. We denote the overlap constants by C_{{\rm{ol}}, m, Y} and C_{{\rm{ol}}, Y}. By slight abuse of notation, we write {\rm{N}}^m(\omega \times R):={\rm{N}}^m(\omega)\times {\rm{N}}^m(R) for a subdomain \omega \times R\subset\overline{G}\times \overline{Y}.

    We denote the conforming finite element triple space consisting of lowest order Lagrange elements with respect to the meshes \mathcal{T}_{H_c} and \mathcal{T}_{h_c} by {\bf{V}}_{H_c, h_c} as in the previous section. Again, we have {\bf{V}}_{H_c, h_c}:=V_{H_c}^1\times L^2(\Omega; \widetilde{V}_{h_c}^1(Y^*))\times L^2(\Omega; V_{h_c}^1(D)) and we moreover note that {\bf{V}}_{H_c, h_c}\subset {\bf{V}}_{H, h}\subset \mathcal{H}.


    3.2. Quasi-interpolation

    A key tool in the definition and the analysis is a bounded linear surjective (quasi)-interpolation operator {\bf{I}}_{H_c, h_c}:{\bf{V}}_{H, h}\to {\bf{V}}_{H_c, h_c} that acts as a stable quasi-local projection in the following sense: It is a projection, i.e. {\bf{I}}_{H_c, h_c}\circ{\bf{I}}_{H_c, h_c}={\bf{I}}_{H_c, h_c}, and it is constructed as {\bf{I}}_{H_c, h_c}:=(I_{H_c}, I_{h_c}^{Y^*}, I_{h_c}^D), where each (quasi)-interpolation operator fulfills the following. There exist constants C_{I_{H_c}}, C_{I_{h_c}^{Y^*}}, and C_{I_{h_c}^D} such that for all {\bf{v}}_{H, h}:=(v_H, v_{h, 1}, v_{h, 2})\in {\bf{V}}_{H, h} and for all T\in \mathcal{T}_{H_c}, S_1\in \mathcal{T}_{h_c}(Y^*) and S_2\in \mathcal{T}_{h_c}(D)

    \begin{split} H_c^{-1}\|v_H-I_{H_c}(v_H)\|_T+\|\nabla I_{H_c}(v_H)\|_T&\leq C_{I_{H_c}}\|\nabla v_H\|_{{\rm{N}}(T)}, \\ h_c^{-1}\|v_{h, 1}-I_{h_c}^{Y^*}(v_{h, 1})\|_{T\times S_1}+\|\nabla_y I_{h_c}^{Y^*}(v_{h, 1})\|_{T\times S_1}&\leq C_{I_{H_c}^{Y^*}}\|\nabla_y v_{h, 1}\|_{T\times {\rm{N}}(S_1)}, \\ h_c^{-1}\|v_{h, 2}-I_{h_c}^D(v_{h, 2})\|_{T\times S_2}+\|\nabla_y I_{h_c}^D(v_{h, 2})\|_{T\times S_2}&\leq C_{I_{H_c}^D}\|\nabla_y v_{h, 2}\|_{T\times {\rm{N}}(S_2)}. \end{split} (3.1)

    We abbreviate C_{{\bf{I}}}:=\max\{C_{I_{H_c}}, C_{I_{h_c}^{Y^*}}, C_{I_{H_c}^D}\}. Under the mesh condition that k(H_c+h_c)\lesssim 1, this implies stability in the two-scale energy norm

    \|{\bf{I}}_{H_c, h_c}{\bf{v}}_{H, h}\|_e\leq C_{{\bf{I}}, e}\|{\bf{v}}_{H, h}\|_e\qquad \forall {\bf{v}}_{H, h}\in {\bf{V}}_{H, h}. (3.2)

    The quasi-interpolation operator {\bf{I}}_{H_c, h_c} is not unique: A different choice might lead to a different Localized Orthogonal Decomposition and this can even affect the practical performance of the method [37]. One popular choice is the concatenation of the l^2 projection onto piece-wise polynomials and the Oswald interpolation operator. Other choices are discussed in [13,38]. For the operators I_{h_c}^{Y^*} and I_{h_c}^D not that they only act with respect to the second variable y. For I_{h_c}^{Y^*}, one can preserve periodicity as follows: The averaging process of the Oswald interpolation operator has to be continued over the periodic boundary (as for the patches before).


    3.3. Definition of the LOD

    The method approximates the discrete two-scale solution {\bf{u}}_{H, h}:=(u_H, u_{h, 1}, u_{h, 2}) to (2.5) for given (fine) mesh sizes H, h. It is determined by the choice of the coarse mesh sizes H_c and h_c and the oversampling parameter m explained in the following. We assign to any (T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D) its m-th order patch G_T\times Y^*_S\times D_S:={\rm{N}}^m(T)\times {\rm{N}}^m(S_1)\times {\rm{N}}^m(S_2) and define for any {\bf{v}}_{H, h}=(v_H, v_{h, 1}, v_{h, 2}), \boldsymbol{\psi}_{H, h}=(\psi_H, \psi_{h, 1}, \psi_{h, 2})\in {\bf{V}}_{H, h} the localized sesquilinear form

    \begin{align*} &\mathcal{B}_{G_T\times Y_S}({\bf{v}}_{H, h}, \boldsymbol{\psi}_{H, h})\\* &:=(\varepsilon _e^{-1}(\nabla v_H+\nabla_y v_{h, 1}), \nabla \psi_H+\nabla_y \psi_{h, 1})_{(G_T\cap \Omega )\times Y^*_S}+(\varepsilon _i^{-1}\nabla_y v_{h, 2}, \nabla_y \psi_{h, 2})_{G_T\times D_S}\\* &\qquad+(\nabla v_H, \nabla \psi_H)_{G_T\cap(G\setminus \overline{\Omega })} -k^2(v_H+\chi_Dv_{h, 2}, \psi_H, +\chi_D\psi_{h, 2})_{G_T\times Y_S}\\* &\qquad-ik(v_H, \psi_H)_{\partial G_T\cap\partial G} \end{align*}

    with Y_S:=D_S\cup Y^*_S. For m=0 (i.e. {\rm{N}}^m(T)=T), we write \mathcal{B}_{T\times S} with S=S_1\cup S_2. Note that the oversampling parameter does not have to be the same for G, Y^*, and D. We could as well introduce patches {\rm{N}}^{m_0}(T)\times {\rm{N}}^{m_1}(S_1)\times {\rm{N}}^{m_2}(S_2), but we choose m_0=m_1=m_2=:m for simplicity of presentation and to improve readability.

    We define the (truncated) finite element functions on the fine-scale meshes as

    \begin{align*} V_H(G_T)&:=\{v_H\in V_H^1|v_H=0 \text{ outside }G_T\}, \\ L^2(\Omega _T, \widetilde{V}_h^1(Y^*_S))&:=\{v_{h, 1}\in L^2(\Omega ; \widetilde{V}_h^1(Y^*))|v_{h, 1}=0\text{ outside }(G_T\cap \Omega )\times (Y^*)_S\} \end{align*}

    and L^2(\Omega _T; V_h^1(D_S)) in a similar way. Define the null space

    \begin{align*} &{\bf{W}}_{H, h}(G_T\times Y_S)\\ &:=\{{\bf{v}}_{H, h}\in V_H(G_T)\times L^2(\Omega ega_T; \tilde{V}_h(Y^*_S))\times L^2(\Omega ega_T; V_h(D_S))|{\bf{I}}_{H_c, h_c}({\bf{v}}_{H, h})=0\} \end{align*}

    and note that {\bf{W}}_{H, h}(G_T\times Y_S):=W_H(G_T)\times L^2(\Omega; W_h(Y^*_S))\times L^2(\Omega; W_h(D_S)), where W_H and W_h are defined as the kernels of the corresponding (single) interpolation operators I_{H_C} and I_{h_c}^{Y^*} and I_{h_c}^D, respectively. For given {\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c} we define the localized correction {\bf{Q}}_m({\bf{v}}_{H_c, h_c}):=(Q_m(v_{H_c}), Q_{m, 1}(v_{h_c, 1}), Q_{m, 2}(v_{h_c, 2})) as

    {\bf{Q}}_m({\bf{v}}_{H_c, h_c}):=\sum\limits_{(T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D)}{\bf{Q}}_{T\times S, m}({\bf{v}}_{H_c, h_c}|_{T\times S}),

    where {\bf{Q}}_{T\times S, m}({\bf{v}}_{H_c, h_c}|_{T\times S})\in {\bf{W}}_{H, h}(G_T\times Y_S) solves the following subscale corrector problem

    \mathcal{B}_{G_T\times Y_S}({\bf{v}}, {\bf{Q}}_{T\times S, m}({\bf{v}}_{H_c, h_c}|_{T\times S}))=\mathcal{B}_{T\times S}({\bf{v}}, {\bf{v}}_{H_c, h_c})\quad \forall {\bf{v}}\in {\bf{W}}_{H, h}(G_T\times Y_S). (3.3)

    The space of test functions then reads

    \overline{{\bf{V}}}_{H_c, h_c, m}:=(1-{\bf{Q}}_m)({\bf{V}}_{H_c, h_c})

    and can be written as triple

    \overline{{\bf{V}}}_{H_c, h_c, m}=\overline{V}_{H_c, m}\times L^2(\Omega ;\overline{V}_{h_c, m}(Y^*))\times L^2(\Omega ; \overline{V}_{h_c, m}(D)).

    We emphasize that \dim\overline{{\bf{V}}}_{H_c, h_c, m}=\dim {\bf{V}}_{H_c, h_c} is low-dimensional and the dimension does not depend on H, h, or m.

    Definition 3.1. The two-scale Localized Orthogonal Decomposition in Petrov-Galerkin formulation seeks {\bf{u}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c} such that

    \mathcal{B}({\bf{u}}_{H_c, h_c}, \overline{\boldsymbol{\psi}}_{H_c, h_c})=(g, \overline{\psi}_{H_c})_{\partial G}\qquad \forall \overline{\boldsymbol{\psi}}_{H_c, h_c}:=(\overline{\psi}_{H_c}, \overline{\psi}_{h_c, 1}, \overline{\psi}_{h_c, 2})\in \overline{{\bf{V}}}_{H_c, h_c, m}. (3.4)

    The error analysis will show that the choice k(H_c+h_c)\lesssim 1 and m\approx \log k suffices to guarantee stability and quasi-optimality of the method, provided that the direct discretization (2.5) (with mesh widths H, h) is stable.

    As discussed in [37], further stable variants of the method are possible: The local subscale correction procedure can be applied to only the test functions, only the ansatz functions, or both ansatz and test functions.


    3.4. Remarks on implementation aspects

    The present approach of the LOD exploits the two-scale structure of the underlying problem. In practice, one cannot work with the space triples such as {\bf{V}}_{H_c, h_c}, but will look at each of the function spaces separately. The LOD consists of two main steps: First, the modified basis functions in \overline{{\bf{V}}}_{H_c, h_c, m} have to be determined, which includes the solution of the localized subscale corrector problems (3.3). Second, the actual LOD-approximation is computed as solution to (3.4). In this section, we explain how the computations in the macroscopic domain G and on the unit square Y can be decoupled in both steps. For general considerations on how to implement an LOD, for example algebraic realizations of the problems, we refer to [13].

    Computation of modified bases. We observe that due to the sesquilinearity of \mathcal{B} the following linearity for the correction operators {\bf{Q}}_m holds

    \begin{align*} {\bf{Q}}_m{\bf{v}}_{H_c, h_c}&={\bf{Q}}_m(v_{H_c}, 0, 0)+{\bf{Q}}_m(0, v_{h_c, 1}, 0)+{\bf{Q}}_m(0, 0, v_{h_c, 2})\\* &=(Q_m(v_{H_c}), 0, 0)+(0, Q_{m, 1}(v_{h_c}), 0)+(0, 0, Q_{m, 2}(v_{h_c, 2})). \end{align*}

    This means that the corrections of the basis functions in V_{H_c}^1, \widetilde{V}_{h_c}^1(Y^*) and V_{h_c}^1(D) can be computed separately in the following way:

    1. Choose a basis \{\lambda_x\} of V_{H_c}^1, \{\lambda_{y, 1}\} of \widetilde{V}_{h_c}^1(Y^*) and \{\lambda_{y, 2}\} of V_{h_c}^1(D).

    2. For each basis function \lambda_x, \lambda_{y, 1} and \lambda_{y, 2} do

        (a) Find the solutions Q_{T\times S, m}(\lambda_x), Q_{T\times S, m, 1}(\lambda_{y, 1}) and Q_{T\times S, m, 2}(\lambda_{y, 2}) of the corrector problem (3.3) for each T\in \mathcal{T}_{H_c}, S_1\in \mathcal{T}_{h_c}(Y^*) and S_2\in \mathcal{T}_{h_c}(D). This needs the determination of W_H(G_T), W_h(Y^*_S) and W_h(D_S).

        (b) Build up the modified bases \overline{\lambda}_x of \overline{V}_{H_c, m}, \overline{\lambda}_{y, 1} of \overline{V}_{h_c, m}(Y^*) and \overline{\lambda}_{y, 2} of \overline{V}_{h_c, m}(D) via \overline{\lambda}_x:=\lambda_x-\sum_{(T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D)}Q_{T\times S, m}(\lambda_x), etc.

    Note that no communication between the basis functions on G, Y^*, and D is needed and therefore, the computation of the modified bases can be easily parallelized. Only if the parameters \varepsilon _i and \varepsilon _e are constant w.r.t. x as here, the corrections Q_{T\times S, m, 1} and Q_{T\times S, m, 2} are x-independent. Depending on the choice of the interpolation operator, Lagrange multipliers can be employed to decode that a function belongs to W_H or W_h, see [13].

    We can further decrease the computational complexity of the localized corrector problems by decoupling the integrals over G and Y and by reducing the number of correction problems. The potential gain of course hinges on (additional) structure of the parameters and the meshes with the following general observations:

    • The corrections Q_{T\times S, m, 1} and Q_{T\times S, m, 2} only have to be computed for T\in \mathcal{T}_{H_c} with T\cap \Omega \neq \emptyset.

    • It is sufficient to choose test functions of the form {\bf{v}}=(w, 0, 0) for Q_{T\times S, m}, {\bf{v}}=(0, w_1, 0) for Q_{T\times S, m, 1 }, and {\bf{v}}=(0, 0, w_2) for Q_{T\times S, m, 2}.

    • In the case of constant parameters \varepsilon _e and \varepsilon _i, the corrector problems for Q_{T\times S, m, 1} and Q_{T\times S, m, 2} include information on T only in form of the weights |T| and |\Omega _T|; and the problems for Q_{T\times S, m} only depend on S in form of the weights |S_1| and |Y^*_S|.

    • In case of structured meshes \mathcal{T}_{H_c} and \mathcal{T}_{h_c} and constant parameters, we can exploit symmetries to reduce the number of corrector problems [16].

    Computation of the LOD-approximation. The LOD-approximation is defined as the solution to (3.4). This problem is similar to the discrete two-scale equation (2.5), only the test functions have been modified. Therefore, the LOD-approximation can be re-interpreted as an HMM-approximation with modified test functions and corrector problems. To be more explicit, {\bf{u}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c} from Definition 3.1 can be characterized as {\bf{u}}_{H_c, h_c}=(u_{H_c}, K_{h_c, 1}(u_{H_c}), K_{h_c, 2}(u_{H_c})), where u_{H_c}\in V_{H_c}^1 is the solution to a HMM with modified test functions and the corrections K_{h_c, 1}(u_{H_c}) and K_{h_c, 2}(u_{H_c}) are computed from u_{H_c} and its reconstructions as described in [34]; see also [20,35] for similar reformulations in different settings. The HMM with modified test functions involves the following two steps:

    1. Solve the cell problems for the reconstructions R_1 and R_2 around each quadrature point of the macroscopic triangulation \mathcal{T}_{H_c} using test functions in \overline{V}_{h_c, m}(Y^*) and \overline{V}_{h_c, m}(D).

    2. Assemble the macroscopic sesquilinear form B_H with the computed reconstructions and the test functions in \overline{V}_{H_c, m}.

    Note that the reconstructions R_1 and R_2 as well as the fine-scale correctors K_{h, 1} and K_{h, 2} are different from those in [34] because of the modified test functions. This reformulation of the LOD-approximation as solution to a (modified) HMM decouples the computations on Y and G and no function triple spaces have to be considered. This is one great advantage of the present Petrov-Galerkin ansatz for the LOD in comparison to a Galerkin ansatz: We only need to compute reconstructions of standard Lagrange basis functions in V_{H_c}^1, but not of the basis functions in \overline{V}_{H_c, m}.


    4. Error analysis

    The error analysis is based on the observation that the localized subscale corrector problems (3.3) can be seen as perturbation of idealized subscale problems posed on the whole domain G\times Y. So let us introduce idealized counterparts of the correction operators {\bf{Q}}_{T\times S, m} and {\bf{Q}}_m where the patch G_T\times Y_S equals G\times Y, roughly speaking "m=\infty". Define the null space

    {\bf{W}}_{H, h}:=W_H\times L^2(\Omega ; W_h(Y^*))\times L^2(\Omega ; W_h(D)):=\{{\bf{v}}_{H, h}\in {\bf{V}}_{H, h}|{\bf{I}}_{H_c, h_c}({\bf{v}}_{H, h})=0\}.

    For any {\bf{v}}_{H, h}\in {\bf{V}}_{H, h}, the idealized element corrector problem seeks {\bf{Q}}_{T\times S, \infty}{\bf{v}}_{H, h}\in {\bf{W}}_{H, h} such that

    \mathcal{B}({\bf{v}}, {\bf{Q}}_{T\times S, \infty}{\bf{v}}_{H, h})=\mathcal{B}_{T\times S}({\bf{v}}, {\bf{v}}_{H, h})\qquad \forall{\bf{v}}\in {\bf{W}}_{H, h}, (4.1)

    and we define

    {\bf{Q}}_{\infty}({\bf{v}}_{H, h}):=\sum\limits_{(T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D)}{\bf{Q}}_{T\times S, \infty}({\bf{v}}_{H, h}). (4.2)

    The following result implies the well-posedness of the idealized corrector problems.

    Lemma 4.1. Under the assumption

    k(C_{I_{H_c}}\sqrt{C_{ol, G}}\, H_c+C_{I_{h_c}^D}\sqrt{C_{ol, Y}}\, h_c)\leq \sqrt{C_{\min}/2}, (4.3)

    we have for all {\bf{v}}_{h, h}:=(w_H, w_{h, 1}, w_{h, 2})\in {\bf{W}}_{H, h} the following equivalence of norms

    \|(w_H, w_{h, 1}, w_{h, 2})\|_{1, e}\leq \|(w_H, w_{h, 2}, w_{h, 2})\|_e\leq \sqrt{1+C_{\min}/2}\;\|(w_H, w_{h, 1}, w_{h, 2})\|_{1, e},

    and coercivity

    C_{\min}/2\; \|(w_H, w_{h, 1}, w_{h, 2})\|^2_{1, e}\leq \Re\mathcal{B}({\bf{v}}_{H, h}, {\bf{v}}_{H, h}),

    where the H^1-semi norm \|\cdot\|_{1, e} is defined in (2.3).

    Proof. The essential observation is that for any (w_h, w_{h, 1}, w_{h, 2})\in {\bf{W}}_{H, h} the property of the quasi-interpolation operators (3.1) implies that

    \begin{align*} &k^2\|w_H+\chi_Dw_{h, 2}\|^2_{G\times Y}\\ &\leq k^2\bigl(\|w_H\|_G+\|w_{h, 2}\|_{G\times D}\bigr)^2\\ &= k^2\bigl(\|w_H-I_{H_c}(w_H)\|_G+\|w_{h, 2}-I_{h_c}^D(w_{h, 2})\|_{G\times D}\bigr)^2\\ &\leq k^2\bigl(H_c\, C_{I_{H_c}}\sqrt{C_{ol, G}}\, \|\nabla w_H\|_G+h_c\, C_{I_{h_c}^D}\sqrt{C_{ol, Y}}\|\nabla_y w_{h, 2}\|_{G\times D}\bigr)^2. \end{align*}

    This directly yields the equivalence of norms on {\bf{W}}_{H, h} under the resolution condition (4.3). For the coercivity we observe that

    \Re\mathcal{B}({\bf{v}}_{H, h}, {\bf{v}}_{H, h})\geq C_{\min}\|{\bf{v}}_{H, h}\|^2_{1, e}-k^2\|w_H+\chi_D w_{h, 2}\|^2_{G\times Y}.

    As the sesquilinear form \mathcal{B} is also continuous (see Lemma 2.1), Lemma 4.1 implies that the idealized corrector problem (4.1) is well-posed and that the idealized correctors {\bf{Q}}_\infty defined by (4.2) are continuous w.r.t. the two-scale energy norm

    \|{\bf{Q}}_\infty({\bf{v}}_{H, h})\|_e\leq C_{{\bf{Q}}}\, \|{\bf{v}}_{H, h}\|_e \qquad \text{for all}\quad {\bf{v}}_{H, h}\in {\bf{V}}_{H, h}.

    Since the inclusion {\bf{W}}_{H, h}(G_T\times Y_S)\subset {\bf{W}}_{H, h} holds, the well-posedness result carries over to the localized corrector problems (3.3) with the same constant.

    The proof of the well-posedness of the two-scale LOD in Petrov-Galerkin formulation (3.4) relies on the fact that ({\bf{Q}}_\infty-{\bf{Q}}_m)({\bf{v}}) decays exponentially with the distance from {\rm{supp}}({\bf{v}}). The difference between idealized and localized correctors is quantified in the next theorem. The proof is given in Section 5 and is based on the observation that {\bf{Q}}_\infty({\bf{v}}|_{T\times S}) decays exponentially with distance from T\times S.

    Theorem 4.2. Under the resolution condition (4.3) there exist constants C_1, C_2, and 0 < \beta < 1, independent of H_c, h_c, H, and h, such that for any {\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c}, any (T, S_1, S_2)\in \mathcal{T}_{H_c}\times\mathcal{T}_{h_c}(Y^*)\times\mathcal{T}_{h_c}(D) and any m\in \mathbb{N} it holds

    \|({\bf{Q}}_{T\times S, \infty}-{\bf{Q}}_{T\times S, m})({\bf{v}}_{H_c, h_c})\|_{1, e}\leq C_1\beta ^m\|{\bf{v}}_{H_c, h_c}\|_{1, e, T\times S}, (4.4)
    \|({\bf{Q}}_\infty-{\bf{Q}}_m)({\bf{v}}_{H_c, h_c})\|_{1, e}\leq C_2(\sqrt{C_{ol, m, G}}+\sqrt{C_{ol, m, Y}})\beta ^m\|{\bf{v}}_{H_c, h_c}\|_{1, e}. (4.5)

    The stability of the LOD requires the coupling of the oversampling parameter m to the stability-/inf-sup-constant of the HMM. Therefore, we assume that H and h are small enough that (2.6) holds.

    Theorem 4.3 (Well-posedness of the LOD). Under the resolution conditions (4.3) and (2.6) and the following oversampling condition

    m\geq \frac{(q+1)\log(k)+\log\bigl(2C_2C_{{\bf{I}}}C_{{\bf{I}}, e}C_{{\rm{HMM}}}C_B\sqrt{1+ C_{\min}/2}\bigl(\sqrt{C_{{\rm{ol}}, m, G}}+\sqrt{C_{{\rm{ol}}, m, Y}}\bigr)\bigr)}{|\log(\beta )|}, (4.6)

    the two-scale LOD (3.4) is well-posed and with the constant C_{{\rm{LOD}}}:=2 C_{{\rm{HMM}}}C_{{\bf{I}}, e}^2(1+C_{{\bf{Q}}}) it holds

    (C_{{\rm{LOD}}}\, k^{q+1})^{-1}\leq \inf\limits_{{\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c}}\:\sup\limits_{\overline{\boldsymbol{\psi}}_{H_c, h_c}\in \overline{{\bf{V}}}_{H_c, h_c, m}}\frac{\Re \mathcal{B}({\bf{v}}_{H_c, h_c}, \overline{\boldsymbol{\psi}}_{H_c, h_c})}{\|{\bf{v}}_{H_c, h_c}\|_e\|\overline{\boldsymbol{\psi}}_{H_c, h_c}\|_e}.

    As C_{{\rm{ol}}, m, G} and C_{{\rm{ol}}, m, Y} grow at most polynomially with m because of the quasi-uniformity of \mathcal{T}_{H_c} and \mathcal{T}_{h_c}, condition (4.6) is indeed satisfiable and the choice of the oversampling parameter m will be dominated by the logarithm of the wave number, i.e. m\approx \log k is a good choice. This condition for the oversampling parameter is standard for the LOD of Helmholtz problems, see for instance [37,equation (5.12)]. In the numerical examples, moderate choices of m were sufficient, see Remark 3.

    Proof. Let {\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c} be given. From (2.6) we infer that there is \boldsymbol{\psi}\in {\bf{V}}_{H, h} such that

    \Re \mathcal{B}({\bf{v}}_{H_c, h_c}-({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*, \boldsymbol{\psi})\geq (C_{{\rm{HMM}}}^{-1}k^{-(q+1)})\|{\bf{v}}_{H_c, h_c}-({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*\|_e\, \|\boldsymbol{\psi}\|_e.

    It follows from the structure of the sesquilinear form \mathcal{B} that ({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^* solves the following adjoint corrector problem

    \mathcal{B}(({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*, {\bf{v}})=\mathcal{B}({\bf{v}}_{H_c, h_c}, {\bf{v}})\qquad \forall {\bf{v}}\in {\bf{W}}_{H, h}.

    Let \overline{\boldsymbol{\psi}}_{H_c, h_c}:=(1-{\bf{Q}}_m){\bf{I}}_{H_c, h_c}\boldsymbol{\psi}\in \overline{{\bf{V}}}_{H_c, h_c, m}. It obviously holds that

    \mathcal{B}({\bf{v}}_{H_c, h_c}, \overline{\boldsymbol{\psi}}_{H_c, h_c})=\mathcal{B}({\bf{v}}_{H_c, h_c}, (1-{\bf{Q}}_\infty){\bf{I}}_{H_c, h_c}\boldsymbol{\psi}) +\mathcal{B}({\bf{v}}_{H_c, h_c}, ({\bf{Q}}_\infty-{\bf{Q}}_m){\bf{I}}_{H_c, h_c}\boldsymbol{\psi}). (4.7)

    Since {\bf{Q}}_\infty is a projection onto {\bf{W}}_{H, h} and (1-{\bf{I}}_{H_c, h_c})\boldsymbol{\psi}\in {\bf{W}}_{H, h}, we have (1-{\bf{Q}}_\infty)(1-{\bf{I}}_{H_c, h_c})\boldsymbol{\psi}=0 and thus, (1-{\bf{Q}}_\infty){\bf{I}}_{H_c, h_c}\boldsymbol{\psi}=(1-{\bf{Q}}_\infty)\boldsymbol{\psi}. The solution property of ({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^* and the definition of {\bf{Q}}_\infty in (4.1)–(4.2) gives

    \begin{split} \mathcal{B}(({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*, \boldsymbol{\psi}) &=\mathcal{B}(({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*, {\bf{Q}}_\infty\boldsymbol{\psi})+\mathcal{B}(({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*, (1-{\bf{Q}}_\infty)\boldsymbol{\psi})\\ &=\mathcal{B}({\bf{v}}_{H_c, h_c}, {\bf{Q}}_\infty \boldsymbol{\psi}). \end{split}

    Hence, we obtain

    \begin{align*} \Re\mathcal{B}({\bf{v}}_{H_c, h_c}, (1-{\bf{Q}}_\infty){\bf{I}}_{H_c, h_c}\boldsymbol{\psi})&=\Re\mathcal{B}({\bf{v}}_{H_c, h_c}-({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*, \boldsymbol{\psi})\\ &\geq (C_{{\rm{HMM}}}\, k^{q+1})^{-1}\, \|{\bf{v}}_{H_c, h_c}-({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*\|_e\, \|\boldsymbol{\psi}\|_e. \end{align*}

    Furthermore, the estimate (3.2) implies

    \|{\bf{v}}_{H_c, h_c}\|_e=\|{\bf{I}}_{H_c, h_c}({\bf{v}}_{H_c, h_c}-({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*)\|_e\leq C_{{\bf{I}}, e}\|{\bf{v}}_{H_c, h_c}-({\bf{Q}}_\infty({\bf{v}}_{H_c, h_c}^*))^*\|_e

    and

    \|\overline{\boldsymbol{\psi}}_{H_c, h_c}\|_e\leq C_{{\bf{I}}, e}(1+C_{{\bf{Q}}})\, \|\boldsymbol{\psi}\|_e.

    The second term on the right-hand side of (4.7) satisfies with Lemma 4.1 and Theorem 4.2 that

    \begin{align*} &|\mathcal{B}({\bf{v}}_{H_c, h_c}, ({\bf{Q}}_\infty-{\bf{Q}}_m){\bf{I}}_{H_c, h_c}\boldsymbol{\psi})|\\* &\leq \sqrt{1+ C_{\min}/2}\;C_B\, \|({\bf{Q}}_\infty-{\bf{Q}}_m){\bf{I}}_{H_c, h_c}\boldsymbol{\psi}\|_{1, e}\, \|{\bf{v}}_{H_c, h_c}\|_e\\ &\leq \sqrt{1+C_{\min}/2}\; C_BC_2 \bigl(\sqrt{C_{{\rm{ol}}, m, G}}+\sqrt{C_{{\rm{ol}}, m, Y}}\bigr) \beta ^m C_{{\bf{I}}}\, \|\boldsymbol{\psi}\|_e\, \|{\bf{v}}_{H_c, h_c}\|_e. \end{align*}

    Altogether, this yields

    \begin{align*} &\Re\mathcal{B}({\bf{v}}_{H_c, h_c}, \overline{\boldsymbol{\psi}}_{H_c, h_c})\\* &\geq \Bigl(\frac{1}{C_{{\bf{I}}, e}C_{{\rm{HMM}}}k^4}-\sqrt{1+C_{\min}/2}\;C_BC_2 \bigl(\sqrt{C_{ol, m, G}}+\sqrt{C_{ol, m, Y}}\bigr) \beta ^mC_{{\bf{I}}} \Bigr)\\* &\qquad\cdot\|{\bf{v}}_{H_c, h_c}\|_e\, \|\boldsymbol{\psi}\|_e\\ &\geq \Bigl(\frac{1}{C_{{\bf{I}}, e}C_{{\rm{HMM}}}k^4}-\sqrt{1+C_{\min}/2}\;C_BC_2 \bigl(\sqrt{C_{ol, m, G}}+\sqrt{C_{ol, m, Y}}\bigr) \beta ^mC_{{\bf{I}}} \Bigr)\\* &\qquad \cdot\frac{1}{C_{{\bf{I}}, e}(1+C_{{\bf{Q}}})}\, \|{\bf{v}}_{H_c, h_c}\|_e\, \|\overline{\boldsymbol{\psi}}_{H_c, h_c}\|_e. \end{align*}

    Hence, the condition (4.6) implies the assertion.

    Remark 2 (Adjoint problem). Under the assumption of Theorem 4.3, problem (3.4) is well-posed. Thus, it follows from a dimension argument that also the adjoint problem to (3.4) is well-posed with the same stability constant as in Theorem 4.3, cf. [16,Remark 1].

    Theorem 4.4 (Quasi-optimality). Under the resolution conditions (4.3) and (2.6) and the oversampling

    m\geq \bigl((q+1)\log(k)+\log(2\sqrt{1+C_{\min}/2}\; C_B^2 C_2C_{{\rm{LOD}}})\bigr)/|\log(\beta )|, (4.8)

    the LOD-approximation {\bf{u}}_{H_c, h_c}, solution to (3.4), and the solution {\bf{u}}_{H, h} of the direct discretization (2.5) satisfy

    \|{\bf{u}}_{H, h}-{\bf{u}}_{H_c, h_c}\|_e\leq C\min\limits_{{\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c}}\|{\bf{u}}_{H, h}-{\bf{v}}_{H_c, h_c}\|_e

    with a generic constant C depending only on C_{{\bf{I}}, e}.

    Proof. Let {\bf{e}}:={\bf{u}}_{H, h}-{\bf{u}}_{H_c, h_c}. We prove that \|{\bf{e}}\|_e\leq 2\|(1-{\bf{I}}_{H_c, h_c}){\bf{u}}_{H, h}\|_e, which gives the assertion because {\bf{I}}_{H_c, h_c} is a projection. By the triangle inequality and the fact that {\bf{I}}_{H_c, h_c} is a projection onto {\bf{V}}_{H_c, h_c}, we obtain

    \|{\bf{e}}\|_e\leq \|(1-{\bf{I}}_{H_c, h_c}){\bf{u}}_{H, h}\|_e+\|{\bf{I}}_{H_c, h_c}{\bf{e}}\|_e,

    so that it only remains to bound the second term on the right-hand side. The proof employs a standard duality argument, the stability of the idealized method and the fact that the actual two-scale LOD can be seen as a perturbation of the idealized method. Let {\bf{z}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c} be the solution to the dual problem

    \mathcal{B}(\boldsymbol{\psi}_{H_c, h_c}, (1-{\bf{Q}}_\infty){\bf{z}}_{H_c, h_c})=(\boldsymbol{\psi}_{H_c, h_c}, {\bf{I}}_{H_c, h_c}{\bf{e}})_e \qquad \forall \boldsymbol{\psi}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c},

    where (\cdot, \cdot)_e denotes the scalar product which induces the two-scale energy norm (2.2). This adjoint problem is uniquely solvable as explained in Remark 2. Choosing the test function \boldsymbol{\psi}_{H_c, h_c}={\bf{I}}_{H_c, h_c}{\bf{e}} implies

    \begin{split} \|{\bf{I}}_{H_c, h_c}{\bf{e}}\|_e^2&=\mathcal{B}({\bf{I}}_{H_c, h_c}{\bf{e}}, (1-{\bf{Q}}_\infty){\bf{z}}_{H_c, h_c})\\ &=\mathcal{B}({\bf{I}}_{H_c, h_c}{\bf{e}}, ({\bf{Q}}_m-{\bf{Q}}_\infty){\bf{z}}_{H_c, h_c})+\mathcal{B}({\bf{I}}_{H_c, h_c}{\bf{e}}, (1-{\bf{Q}}_m){\bf{z}}_{H_c, h_c}). \end{split} (4.9)

    Since (1-{\bf{Q}}_m){\bf{z}}_{H_c, h_c}\in \overline{{\bf{V}}}_{H_c, h_c, m} by definition, we have the Galerkin orthogonality

    \mathcal{B}({\bf{u}}_{H, h}-{\bf{u}}_{H_c, h_c}, (1-{\bf{Q}}_m){\bf{z}}_{H_c, h_c})=0.

    Using this orthogonality and the fact that {\bf{I}}_{H_c, h_c}{\bf{u}}_{H, h}-{\bf{u}}_{H, h}\in {\bf{W}}_{H, h} together with the definition of {\bf{Q}}_\infty (4.1)–(4.2) implies for the second term

    \begin{align*} \mathcal{B}({\bf{I}}_{H_c, h_c}{\bf{e}}, (1-{\bf{Q}}_m){\bf{z}}_{H_c, h_c})&=\mathcal{B}({\bf{I}}_{H_c, h_c}{\bf{u}}_{H, h}-{\bf{u}}_{H, h}, (1-{\bf{Q}}_m){\bf{z}}_{H_c, h_c})\\* &=\mathcal{B}({\bf{I}}_{H_c, h_c}{\bf{u}}_{H, h}-{\bf{u}}_{H, h}, ({\bf{Q}}_\infty-{\bf{Q}}_m){\bf{z}}_{H_c, h_c}). \end{align*}

    Now the first and the (modified) second term of (4.9) are similar and can be treated with the same procedure. First, we note that ({\bf{Q}}_\infty-{\bf{Q}}_m){\bf{z}}_{H_c, h_c}\in {\bf{W}}_{H, h}. Applying Lemma 4.1 and then the decay estimate (4.5) from Theorem 4.2, we obtain (for the second term)

    \begin{align*} &|\mathcal{B}({\bf{I}}_{H_c, h_c}{\bf{u}}_{H, h}-{\bf{u}}_{H, h}, ({\bf{Q}}_\infty-{\bf{Q}}_m){\bf{z}}_{H_c, h_c})|\\* &\leq \sqrt{1+C_{\min}/2}\;C_B\|(1-{\bf{I}}_{H_c, h_c}){\bf{u}}_{H, h}\|_e\, \|({\bf{Q}}_\infty-{\bf{Q}}_m){\bf{z}}_{H_c, h_c}\|_{1, e}\\* &\leq \sqrt{1+C_{\min}/2}\;C_BC_2 \bigl(\sqrt{C_{ol, m, G}}+\sqrt{C_{ol, m, Y}}\bigr) \beta ^m\, \|(1-{\bf{I}}_{H_c, h_c}){\bf{u}}_{H, h}\|_e\, \|{\bf{z}}_{H_c, h_c}\|_{1, e}. \end{align*}

    The stability of the adjoint problem from Remark 2 implies

    \|{\bf{z}}_{H_c, h_c}\|_{1, e}\leq C_{{\rm{LOD}}}k^{q+1}C_B\|{\bf{I}}_{H_c, h_c}{\bf{e}}\|_e.

    Thus, we obtain for (4.9) after division by \|{\bf{I}}_{H_c, h_c}{\bf{e}}\|_e that

    \begin{align*} \|{\bf{I}}_{H_c, h_c}{\bf{e}}\|_e&\leq \sqrt{1+C_{\min}/2}\;C_B^2C_2 \bigl(\sqrt{C_{ol, m, G}}+\sqrt{C_{ol, m, Y}}\bigr) \beta ^m C_{{\rm{LOD}}}k^{q+1}\\ &\qquad \cdot(\|(1-{\bf{I}}_{H_c, h_c}){\bf{u}}_{H, h}\|_e+\|{\bf{I}}_{H_c, h_c}{\bf{e}}\|_e). \end{align*}

    The oversampling condition]4.8 implies that the constants can be bounded by 1/2 and hence, the term \|{\bf{I}}_{H_c, h_c}{\bf{e}}\|_e can be absorbed on the left-hand side.

    Corollary 1 (Full error). Let {\bf{u}}:=(u, u_1, u_2)\in \mathcal{H} be the two-scale solution to (2.1). Under the assumptions of Theorem 4.4, the two-scale LOD-approximation {\bf{u}}_{H_c, h_c}, solution to (3.4), satisfies with some generic constant C

    \|{\bf{u}}-{\bf{u}}_{H_c, h_c}\|_e\leq \|{\bf{u}}-{\bf{u}}_{H, h}\|_e+C\min\limits_{{\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c}}\|{\bf{u}}_{H, h}-{\bf{u}}_{H_c, h_c}\|_e.

    The full error is dominated by the best approximation error of {\bf{V}}_{H_c, h_c}, which can be quantified using standard interpolation operators and regularity results. The error of the HMM-approximation {\bf{u}}-{\bf{u}}_{H, h} is estimated in detail in [34,Theorem 5.1,Corollary 5.2]: Assuming sufficient regularity of {\bf{u}}, this error converges like k^{q+1}(H+h) if the resolution condition k^{q+2}(H+h)\lesssim 1 is fulfilled. As we consider the HMM-approximation as an (overkill) reference solution only needed for the error estimates and not in practical computations, H and h are much smaller than the actual mesh sizes H_c and h_c, so that the error {\bf{u}}-{\bf{u}}_{H, h} indeed becomes negligible.

    Remark 3 (Choice of LOD parameters in practice). Although this is a purely theoretical paper, we want to give a few comments on the practical choice of H_c, h_c and m. Our numerical experiment in [34] reveals a resolution condition of k^2(H+h)\lesssim 1, so that for a wavenumber k=2^6, grids with mesh width of about H=h=2^{-9} up to H=h=2^{-12} are required for a reliable HMM-approximation. Numerical experiments by other authors in [8,16,37] for the standard Helmholtz problem showed that the LOD only needs meshes of about H_c=h_c=2^{-5} to give a good approximation for a wavenumber k=2^6. Furthermore, an oversampling parameter of m=2 already was sufficient for various wavenumbers and no problems with the well-posedness of the discrete scheme have been reported. This is a significant reduction of the mesh size, which might outweigh the overhead of the additional corrector computations, in particular when taking the decoupling of Section 3.4 into account.


    5. Proof of the decay property for the correctors

    In this section, we give a proof of the exponential decay result of Theorem 4.2, which is central for this method. The idea of the proof is the same as in the previous proofs for the Helmholtz equation [8,16,37] or in the context of diffusion problems [19,30]. As in the previous sections, we have to take into account the two-scale nature of the problem and the spaces.

    Let \boldsymbol{\mathcal{I}}_{H, h}:=(\mathcal{I}_{H}, \mathcal{I}_h^{Y^*}, \mathcal{I}_h^D) with \mathcal{I}_{H}: C^0(G)\to V_H^1, \mathcal{I}_{h}^{Y^*}: L^2(\Omega; C^0(Y^*))\to L^2(\Omega; \widetilde{V}_h(Y^*)), and \mathcal{I}_h^D: L^2(\Omega; C^0(D))\to L^2(\Omega; V_h^1(D)) denote the nodal Lagrange interpolation operators, where \mathcal{I}_h^{Y^*} and \mathcal{I}_H^D only act on the second variable. We note that periodicity is preserved when identifying degrees of freedom on the periodic boundary. Recall that the nodal Lagrange interpolation operator \mathcal{I} is L^2-and H^1-stable on piece-wise polynomials on shape regular meshes due to inverse inequalities. Hence, for any (T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D) and all {\bf{q}}\in \mathbb{P}_2(T)\times L^2(T; \mathbb{P}_2(S_1))\times L^2(T; \mathbb{P}_2(S_2)) we have the stability estimate

    \|\boldsymbol{\mathcal{I}}_{H, h}{\bf{q}}\|_{1, e, T\times S}\leq C_{\boldsymbol{\mathcal{I}}}\, \|{\bf{q}}\|_{1, e, T\times S}. (5.1)

    In this section, we do not explicitly give the constants in the estimates. Instead we use a generic constant C, which is independent of the mesh sizes and the oversampling parameter, but may depend on the (quasi)-interpolation operators' norms, the overlap constants C_{{\rm{ol}}, G} and C_{{\rm{ol}}, Y} (not on C_{{\rm{ol}}, m, G} and C_{{\rm{ol}}, m, Y}!), the constant for the cut-off functions (see below), and C_{\min}.

    In the proofs, we will frequently use cut-off functions. We collect some basic properties in the following lemma, cf. also [16,Appendix A,Lemma 2].

    Lemma 5.1. Let {\bf{e}}ta:=(\eta_0, \eta_1, \eta_2)\in {\bf{V}}_{H_c, h_c} be a function triple with \eta_i, i=1, 2, 3, having values in the interval [0, 1] and satisfying the bounds

    \|\nabla \eta_0\|_{L^\infty(G)}\leq C_{\eta}H_c^{-1}\qquad \text{and}\qquad \|\nabla_y \eta_i\|_{L^2(\Omega, L^\infty(Y))}\leq C_{\eta}h_c^{-1} \quad i=1, 2. (5.2)

    By writing \nabla {\bf{e}}ta, we mean the triple (\nabla \eta_0, \nabla_y \eta_1, \nabla_y\eta_2). Let {\bf{v}}:=(w, w_1, w_2)\in {\bf{W}}_{H, h} be arbitrary and define {\bf{e}}ta{\bf{v}}:=(\eta_0 w, \eta_1 w_1, \eta_2 w_2). Given any subset (\mathcal{K}_0, \mathcal{K}_1, \mathcal{K}_2)\subset \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D), {\bf{v}} fulfills for \mathcal{S}_i=\cup\mathcal{K}_i and \mathcal{S}:=\mathcal{S}_0\times (\mathcal{S}_1\cup\mathcal{S}_2) that

    \|{\bf{v}}\|_{\mathcal{S}}\leq C( H_c\|\nabla w\|_{{\rm{N}}(\mathcal{S}_0)}+\sum\limits_{i=1}^2h_c\|\nabla_y w_i\|_{\mathcal{S}_0\times {\rm{N}}(\mathcal{S}_i)}), (5.3)
    \|{\bf{e}}ta {\bf{v}}\|_{1, e, \mathcal{S}}\leq C (\| {\bf{v}}\|_{1, e, \mathcal{S}\cap {\rm{supp}}({\bf{e}}ta)}+\|{\bf{v}}\|_{1, e, {\rm{N}}(\mathcal{S}\cap {\rm{supp}}(\nabla {\bf{e}}ta))}), (5.4)
    \|(1-{\bf{I}}_{H_c, h_c})\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta {\bf{v}})\|_{\mathcal{S}}\leq C(H_c+h_c)\|{\bf{e}}ta{\bf{v}}\|_{1, e, {\rm{N}}(\mathcal{S})}. (5.5)

    Proof. The properties (3.1) directly imply (5.3). For the proof of (5.4) the product rule and (5.2) yield

    \begin{align*} \|{\bf{e}}ta{\bf{v}}\|_{1, e, \mathcal{S}}&\leq \|{\bf{v}}\|_{1, e, \mathcal{S}\cap{\rm{supp}}({\bf{e}}ta)}+C_\eta H_c^{-1}\|w\|_{\mathcal{S}_0\cap{\rm{supp}}(\nabla \eta_0)}\\* &\quad+\sum\limits_{i=1}^2C_\eta h_c^{-1}\|w_i\|_{\mathcal{S}_0\times (\mathcal{S}_i\cap{\rm{supp}}(\nabla \eta_i))}. \end{align*}

    The combination with (5.3) gives the assertion. For a proof of (5.5), apply (3.1). The estimate then follows from the H^1-stability of \boldsymbol{\mathcal{I}}_{H, h} (5.1) on the piece-wise polynomial function {\bf{e}}ta{\bf{v}}.

    Proposition 1. Under the resolution condition (4.3), there exists 0 < \beta < 1 such that, for any {\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c} and all (T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D) and m\in\mathbb{N}

    \|{\bf{Q}}_{T\times S, \infty}{\bf{v}}_{H_c, h_c}\|_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}\leq C\beta ^m\|{\bf{v}}_{H_c, h_c}\|_{1, e, T\times S}.

    Proof. For m\geq5, we define the cut-off functions \eta_0\in V_{H_c}^1, \eta_1\in L^2(\Omega; \widetilde{V}_{h_c}^1(Y^*)), \eta_2\in L^2(\Omega; V_{h_c}^1(D)) via

    \begin{align*} \eta_0 &=0 \quad\text{ in }{\rm{N}}^{m-3}(T)&\text{ and }&&\eta_0&=1 \quad\text{ in }G\setminus {\rm{N}}^{m-2}(T), \\ \eta_1 &=0 \quad\text{ in }{\rm{N}}^{m-3}(T\times S_1)&\text{ and }&&\eta_1&=1 \quad\text{ in }(\Omega \times Y^*)\setminus {\rm{N}}^{m-2}(T\times S_1), \\ \eta_2 &=0 \quad\text{ in }{\rm{N}}^{m-3}(T\times S_2)&\text{ and }&&\eta_2&=1 \quad\text{ in }(\Omega \times D)\setminus {\rm{N}}^{m-2}(T\times S_2), \end{align*}

    where \eta_1 and \eta_2 w.l.o.g. are chosen piece-wise x-constant. The shape regularity implies that \eta_i satisfies (5.2). Denote {\bf{e}}ta:=(\eta_0, \eta_1, \eta_2) and \mathcal{R}:={\rm{supp}}(\nabla {\bf{e}}ta). Let {\bf{v}}_{H_c, h_c}\in {\bf{V}}_{H_c, h_c} and denote \boldsymbol{\phi}:={\bf{Q}}_{T\times S, \infty}{\bf{v}}_{H_c, h_c}\in {\bf{W}}_{H, h}. Elementary estimates yield

    \begin{align*} &\|\boldsymbol{\phi}\|_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}^2\\ &= |\Re(\boldsymbol{\phi}, \boldsymbol{\phi})_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}|\\ &\leq |\Re\bigl((\nabla \phi+\nabla_y\phi_1, \eta_0\nabla\phi+\eta_1\nabla_y\phi_1)_{G\times Y^*}+(\nabla_y \phi_2, \eta_2 \nabla_y\phi_2)_{G\times D}\bigr)|\\ &\leq |\Re(\boldsymbol{\phi}, {\bf{e}}ta\boldsymbol{\phi})_{1, e}|+|\Re\bigl((\nabla \phi+\nabla_y\phi_1, \phi\nabla \eta_0+\phi_1\nabla_y\eta_1)_{G\times Y^*}+(\nabla_y\phi_2, \phi_2\nabla_y\eta_2)_{G\times D}\bigr)|\\ &\leq M_1+M_2+M_3+M_4 \end{align*}

    for

    \begin{align*} M_1&:=|\Re\bigl(\boldsymbol{\phi}, (1-\boldsymbol{\mathcal{I}}_{H, h})({\bf{e}}ta\boldsymbol{\phi})\bigr)_{1, e}|, \\ M_2&:=|\Re\bigl(\boldsymbol{\phi}, (1-{\bf{I}}_{H_c, h_c})\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta\boldsymbol{\phi})\bigr)_{1, e}|, \\ M_3&:=|\Re\bigl(\boldsymbol{\phi}, {\bf{I}}_{H_c, h_c}\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta\boldsymbol{\phi})\bigr)_{1, e}|, \\ M_4&:=|\Re\bigl((\nabla \phi+\nabla_y\phi_1, \phi\nabla \eta_0+\phi_1\nabla_y\eta_1)_{G\times Y^*}+(\nabla_y\phi_2, \phi_2\nabla_y\eta_2)_{G\times D}\bigr)|. \end{align*}

    With the stability of \boldsymbol{\mathcal{I}}_{H, h} on polynomials (5.1) and estimate (5.4) we obtain

    M_1\leq C \|\boldsymbol{\phi}\|_{1, e, \mathcal{R}}\, \|{\bf{e}}ta\boldsymbol{\phi}-\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta\boldsymbol{\phi})\|_{1, e, \mathcal{R}}\leq C\|\boldsymbol{\phi}\|_{1, e, \mathcal{R}}\, \|\boldsymbol{\phi}\|_{1, e, {\rm{N}}(\mathcal{R})}.

    Since {\bf{v}}:=(1-{\bf{I}}_{H_c, h_c})\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta\boldsymbol{\phi})\in {\bf{W}}_{H, h}, the idealized corrector problem (4.1) and the fact that {\bf{v}} has support only outside T\times S imply \mathcal{B}({\bf{v}}, \boldsymbol{\phi})=\mathcal{B}_{T\times S}({\bf{v}}, {\bf{v}}_{H_c, h_c})=0. Therefore, we obtain

    \begin{align*} M_2:=|\Re(\boldsymbol{\phi}, {\bf{v}})_{1, e}|&\leq C_{\min}^{-1}\, |\Re\bigl(\mathcal{B}({\bf{v}}, \boldsymbol{\phi})+k^2(w+\chi_Dw_2, \phi+\chi_D \phi_2)_{G\times Y}\bigr)|\\ &=C_{\min}^{-1}|\Re k^2(w+\chi_Dw_2, \phi+\chi_D \phi_2)_{G\times Y}|. \end{align*}

    Hence, estimates (5.5) and (5.4) give with the resolution condition (4.3)

    \begin{align*} M_2&\leq C_{\min}^{-1}k^2(H_c^2C_{I_{H_c}}^2C_{{\rm{ol}}, G}+h_c^2C_{I_{h_c}^D}^2C_{{\rm{ol}}, Y})\|\boldsymbol{\phi}\|^2_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}\\ &\quad+C_{\min}^{-1}k^2(H_c^2C_{I_{H_c}}^2C_{{\rm{ol}}, G}+h_c^2C_{I_{h_c}^D}^2C_{{\rm{ol}}, Y})C_{{\bf{I}}}C_{\boldsymbol{\mathcal{I}}}C_\eta\|\boldsymbol{\phi}\|^2_{1, e, {\rm{N}}^2(\mathcal{R})}\\ &\leq \frac 12 \|\boldsymbol{\phi}\|^2_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}+C\|\boldsymbol{\phi}\|^2_{1, e, {\rm{N}}^2(\mathcal{R})}, \end{align*}

    so that the first term can be absorbed. Because of {\rm{supp}}({\bf{I}}_{H_c, h_c}\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta\boldsymbol{\phi}))\subset {\rm{N}}(\mathcal{R}), the properties (3.1) of {\bf{I}}_{H_c, h_c}, (5.1) of \boldsymbol{\mathcal{I}}_{H, h}, and estimate (5.4) lead to

    M_3\leq \|\boldsymbol{\phi}\|_{1, e, {\rm{N}}(\mathcal{R})}\, \|{\bf{I}}_{H_c, h_c}\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta\boldsymbol{\phi})\|_{1, e, {\rm{N}}(\mathcal{R})}\leq C\|\boldsymbol{\phi}\|^2_{1, e, {\rm{N}}^2(\mathcal{R})}.

    For the last term, the Lipschitz bound (5.2) on the cut-off functions and estimate (5.3) show

    M_4\leq C_\eta\bigl(H_c^{-1}\|\phi\|_{{\rm{supp}}(\nabla \eta_0)}+\sum\limits_{i=1}^2h_c^{-1}\|\phi_i\|_{{\rm{supp}}(\nabla \eta_i)}\bigr)\|\boldsymbol{\phi}\|_{1, e, \mathcal{R}}\leq C\|\boldsymbol{\phi}\|^2_{1, e, {\rm{N}}(\mathcal{R})}.

    All in all, it follows for some \tilde{C}>0 that

    \frac 12\|\boldsymbol{\phi}\|^2_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}\leq \tilde{C}\|\boldsymbol{\phi}\|^2_{1, e, {\rm{N}}^2(\mathcal{R})},

    where we recall that {\rm{N}}^2(\mathcal{R})={\rm{N}}^{m}(T\times S)\setminus {\rm{N}}^{m-5}(T\times S). Because of

    \|\boldsymbol{\phi}\|_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}^2+\|\boldsymbol{\phi}\|^2_{1, e, {\rm{N}}^m(T\times S)\setminus {\rm{N}}^{m-5}(T\times S)}=\|\boldsymbol{\phi}\|^2_{1, e, (G\times Y)\setminus {\rm{N}}^{m-5}(T\times S)},

    we obtain

    (1+(2\tilde{C})^{-1})\|\boldsymbol{\phi}\|^2_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}\leq \|\boldsymbol{\phi}\|^2_{1, e, (G\times Y)\setminus {\rm{N}}^{m-5}(T\times S)}.

    Repeated application of this argument gives for \tilde{\beta }:=2\tilde{C}/(2\tilde{C}+1) < 1 together with the stability of {\bf{Q}}_{T\times S, \infty} that

    \|\boldsymbol{\phi}\|^2_{1, e, (G\times Y)\setminus {\rm{N}}^m(T\times S)}\leq \tilde{\beta }^{\lfloor m/5\rfloor}\|\boldsymbol{\phi}\|^2_{1, e}\leq C_{{\bf{Q}}}\tilde{\beta }^{\lfloor m/5\rfloor}\|{\bf{v}}_{H_c, h_c}\|^2_{1, e, T\times S},

    which gives the assertion after some algebraic manipulations.

    As the localized correctors {\bf{Q}}_m are the Galerkin approximations of the idealized correctors {\bf{Q}}_\infty, the decay property carries over to {\bf{Q}}_m. This is the main observation for the proof of Theorem 4.2.

    Proof of Theorem 4.2. For m\geq 3, we define the cut-off functions \eta_0\in V_{H_c}^1, \eta_1\in L^2(\Omega; \widetilde{V}_{h_c}^1(Y^*)) and \eta_2\in L^2(\Omega; V_{h_c}^1(D)) via

    \begin{align*} \eta_0 &=0 \quad\text{ in }G\setminus{\rm{N}}^{m-1}(T)&\text{ and }&&\eta_0&=1 \quad\text{ in } {\rm{N}}^{m-2}(T), \\* \eta_1 &=0 \quad\text{ in }(\Omega \times Y^*)\setminus{\rm{N}}^{m-1}(T\times S_1)&\text{ and }&&\eta_1&=1 \quad\text{ in } {\rm{N}}^{m-2}(T\times S_1), \\* \eta_2 &=0 \quad\text{ in }(\Omega \times D)\setminus{\rm{N}}^{m-1}(T\times S_2)&\text{ and }&&\eta_2&=1 \quad\text{ in }{\rm{N}}^{m-2}(T\times S_2), \end{align*}

    where again \eta_1 and \eta_2 are w.l.o.g. piece-wise x-constant. The cut-off functions \eta_i satisfy the bounds (5.2). Set again {\bf{e}}ta:=(\eta_0, \eta_1, \eta_2). As already discussed, {\bf{Q}}_{T\times S, m} can be interpreted as Galerkin approximation of {\bf{Q}}_{T\times S, \infty} in the discrete subspace {\bf{W}}_{H, h}(G_T\times Y_S)\subset {\bf{W}}_{H, h}. Hence, Céa's Lemma gives for any {\bf{v}}_{H, h}\in {\bf{W}}_{H, h}(G_T\times Y_S)

    \|({\bf{Q}}_{T\times S, \infty}-{\bf{Q}}_{T\times S, m}){\bf{v}}\|^2_{1, e}\leq C\|{\bf{Q}}_{T\times S, \infty}{\bf{v}}-{\bf{v}}_{H, h}\|^2_e.

    We choose {\bf{v}}_{H, h}:=(1-{\bf{I}}_{H_c, h_c})\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta{\bf{Q}}_{T\times S, \infty}{\bf{v}})\in {\bf{W}}_{H, h}(G_T\times Y_S) and obtain with the identity {\bf{I}}_{H_c, h_c}{\bf{Q}}_{T\times S, \infty}{\bf{v}}=0, the estimate (5.5), the approximation and stability estimates (3.1) and (5.1), the resolution condition (4.3) and estimate (5.4) that

    \begin{align*} &\|({\bf{Q}}_{T\times S, \infty}-{\bf{Q}}_{T\times S, m}){\bf{v}}\|_{1, e}^2\\* &\leq C\|{\bf{Q}}_{T\times S, \infty}{\bf{v}}-(1-{\bf{I}}_{H_c, h_c})\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta{\bf{Q}}_{T\times S, \infty}{\bf{v}})\|_e^2\\ &=C\|(1-{\bf{I}}_{H_c, h_c})\boldsymbol{\mathcal{I}}_{H, h}({\bf{Q}}_{T\times S, \infty}{\bf{v}}-{\bf{e}}ta{\bf{Q}}_{T\times S, \infty}{\bf{v}})\|^2_{e, (G\times Y)\setminus\{{\bf{e}}ta=1\}}\\ &\leq C\|(1-{\bf{e}}ta){\bf{Q}}_{T\times S, \infty}{\bf{v}}\|^2_{1, e, {\rm{N}}((G\times Y)\setminus\{{\bf{e}}ta=1\})}\\* &\leq C\|{\bf{Q}}_{T\times S, \infty}{\bf{v}}\|^2_{1, e, {\rm{N}}((G\times Y)\setminus \{{\bf{e}}ta=1\})}. \end{align*}

    Note that {\rm{N}}((G\times Y)\setminus \{{\bf{e}}ta=1\})=(G\times Y)\setminus {\rm{N}}^{m-3}(T\times S). Together with Proposition 1, this proves (4.4).

    Define {\bf{z}}:=({\bf{Q}}_{\infty}-{\bf{Q}}_m){\bf{v}} and {\bf{z}}_{T\times S}:=({\bf{Q}}_{T\times S, \infty}-{\bf{Q}}_{T\times S, m}){\bf{v}}. The ellipticity from Lemma 4.1 yields

    \|{\bf{z}}\|^2_{1, e}\leq C\Bigl| \sum\limits_{(T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D)}\mathcal{B}({\bf{z}}, {\bf{z}}_{T\times S})\Bigr|.

    We define the cut-off functions \eta_0\in V_{H_c}^1, \eta_1\in L^2(\Omega; \widetilde{V}_{h_c}^1(Y^*)), and \eta_2\in L^2(\Omega; V_{h_c}^1(D)) via

    \begin{align*} \eta_0 &=1 \quad\text{ in }G\setminus{\rm{N}}^{m+2}(T)&\text{ and }&&\eta_0&=0 \quad\text{ in } {\rm{N}}^{m+1}(T), \\ \eta_1 &=1 \quad\text{ in }(\Omega \times Y^*)\setminus{\rm{N}}^{m+2}(T\times S_1)&\text{ and }&&\eta_1&=0 \quad\text{ in } {\rm{N}}^{m+1}(T\times S_1), \\ \eta_2 &=1 \quad\text{ in }(\Omega \times D)\setminus{\rm{N}}^{m+2}(T\times S_2)&\text{ and }&&\eta_2&=0 \quad\text{ in }{\rm{N}}^{m+1}(T\times S_2), \end{align*}

    where again \eta_1 and \eta_2 are w.l.o.g. piece-wise x-constant. The cut-off functions fulfill (5.2) and we set {\bf{e}}ta:=(\eta_0, \eta_1, \eta_2). For any (T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D) we have (1-{\bf{I}}_{H_c, h_c})\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta{\bf{z}})\in {\bf{W}}_{H, h} with support outside G_T\times Y_S. Hence, we deduce with {\bf{z}}=\boldsymbol{\mathcal{I}}_{H, h}{\bf{z}} that

    \mathcal{B}({\bf{z}}, {\bf{z}}_{T\times S})=\mathcal{B}(\boldsymbol{\mathcal{I}}_{H, h}({\bf{z}}-{\bf{e}}ta{\bf{z}}), {\bf{z}}_{T\times S})+\mathcal{B}({\bf{I}}_{H_c, h_c}\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta{\bf{z}}), {\bf{z}}_{T\times S}).

    The function {\bf{z}}-\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta {\bf{z}}) vanishes on \{{\bf{e}}ta =1\}. Thus, the first term on the right-hand satisfies

    |\mathcal{B}(\boldsymbol{\mathcal{I}}_{H, h}({\bf{z}}-{\bf{e}}ta{\bf{z}}), {\bf{z}}_{T\times S})|\leq C_B\|\boldsymbol{\mathcal{I}}_{H, h}({\bf{z}}-{\bf{e}}ta{\bf{z}})\|_{e, {\rm{supp}}(1-{\bf{e}}ta)}\, \|{\bf{z}}_{T\times S}\|_e.

    The L^2-and H^1-stability of \boldsymbol{\mathcal{I}}_{H, h} on piece-wise polynomials gives together with the estimate (5.4) applied to the cut-off function 1-{\bf{e}}ta

    \|\boldsymbol{\mathcal{I}}_{H, h}({\bf{z}}-{\bf{e}}ta{\bf{z}})\|_{e, {\rm{supp}}(1-{\bf{e}}ta)}\leq C\|{\bf{z}}\|_{e, {\rm{N}}({\rm{supp}}(1-{\bf{e}}ta))}.

    Furthermore, {\bf{I}}_{H_c, h_c}\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta{\bf{z}}) vanishes on (G\times Y)\setminus {\rm{N}}({\rm{supp}}(1-{\bf{e}}ta)). Therefore, we infer from the stability (3.2) of {\bf{I}}_{H_c, h_c}, the stability of \boldsymbol{\mathcal{I}}_{H, h} as before, and estimate (5.4) that

    |\mathcal{B}({\bf{I}}_{H_c, h_c}\boldsymbol{\mathcal{I}}_{H, h}({\bf{e}}ta{\bf{z}}), {\bf{z}}_{T\times S})|\leq C\|{\bf{z}}\|_{e, {\rm{N}}^2({\rm{supp}}(1-{\bf{e}}ta))}\, \|{\bf{z}}_{T\times S}\|_e.

    Because of the resolution condition (4.3) and Lemma 4.1, it holds \|{\bf{z}}\|_e\leq C\|{\bf{z}}\|_{1, e}. Summing up over (T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D) yields with the Cauchy-Schwarz inequality and the finite overlap of patches that

    \begin{align*} \|{\bf{z}}\|^2_{1, e}&\leq C\sum\limits_{(T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D)}\|{\bf{z}}\|_{1, e, {\rm{N}}^2({\rm{supp}}(1-{\bf{e}}ta))}\, \|{\bf{z}}_{T\times S}\|_e\\ &\leq C\bigl(\sqrt{C_{{\rm{ol}}, m, G}}+\sqrt{C_{{\rm{ol}}, m, Y}}\bigr)\|{\bf{z}}\|_{1, e}\sqrt{\sum\limits_{(T, S_1, S_2)\in \mathcal{T}_{H_c}\times \mathcal{T}_{h_c}(Y^*)\times \mathcal{T}_{h_c}(D)}\|{\bf{z}}_{T\times S}\|^2_e}. \end{align*}

    Combining the last estimate with (4.4) concludes the proof.


    Conclusion

    In this paper, we presented a Localized Orthogonal Decomposition in Petrov-Galerkin formulation for the two-scale Helmholtz-type problems coming from homogenization, see for instance [34]. Under the natural assumption of a few degrees of freedom per wave length, k(H_c+h_c)\lesssim1, and suitably chosen oversampling patches, m\approx\log(k), the method is stable and quasi-optimal without any further restrictions on the mesh width. Thereby, this work gives the theoretical foundation and justification for an application of the LOD to the two-scale setting in case the resolution condition poses a practical restriction for the direct discretization. We have demonstrated how the periodicity in the function spaces and the coupling of different spaces can be tackled in the LOD framework. Furthermore, this paper underlines the significance of viewing the Heterogeneous Multiscale Method as a direct discretization with numerical quadrature since only this viewpoint makes the additional application of the LOD possible.


    Acknowledgments

    Financial support by the German research Foundation (DFG) under the project "OH 98/6-1: Wave propagation in periodic structures and negative refraction mechanisms" is gratefully acknowledged. The authors would like to thank P. Henning, A. Lamacz, and B. Schweizer for fruitful discussions on the subject. We also thank the anonymous referee for his helpful remarks.


    Conflict of interest

    All authors declare no conflicts of interest in this paper.


    [1] A. Abdulle and P. Henning, Localized orthogonal decomposition method for the wave equation with a continuum of scales, Math. Comp., 86 (2017), 549-587.
    [2] G. Allaire, Homogenization and two-scale convergence, SIAM J. Math. Anal., 23 (1992), 1482-1518.
    [3] I. M. Babuška and S. A. Sauter, Is the pollution effect of the FEM avoidable for the Helmholtz equation considering high wave numbers?, SIAM Rev., 42 (2000), 451-484.
    [4] G. Bouchitté, C. Bourel, and D. Felbacq, Homogenization of the 3D Maxwell system near resonances and artificial magnetism, C. R. Math. Acad. Sci. Paris, 347 (2009), 571-576.
    [5] G. Bouchitté and D. Felbacq, Homogenization near resonances and artificial magnetism from dielectrics, C. R. Math. Acad. Sci. Paris, 339 (2004), 377-382.
    [6] G. Bouchitté and B. Schweizer, Homogenization of Maxwell's equations in a split ring geometry, Multiscale Model. Simul., 8 (2010), 717-750.
    [7] G. Bouchitté and B. Schweizer, Plasmonic waves allow perfect transmission through subwavelength metallic gratings, Netw. Heterog. Media, 8 (2013), 857-878.
    [8] D. L. Brown, D. Gallistl, and D. Peterseim, Multiscale Petrov-Galerkin method for highfrequency heterogeneous Helmholtz equations, In M. Griebel and M. A. Schweitzer, editors, Meshfree Methods for Partial Differential Equations Ⅵ, Lecture Notes in Computational Science and Engineering, 2016.
    [9] H. Chen, P. Lu, and X. Xu, A hybridizable discontinuous Galerkin method for the Hlmholtz equation with high wave number, SIAM J. Numer. Anal., 51 (2013), 2166-2188.
    [10] K. Cherednichenko and S. Cooper, Homogenization of the system of high-contrast Maxwell equations, Mathematika, 61 (2015), 475-500.
    [11] A. Efros and A. Pokrovsky, Dielectric photonic crystal as medium with negative electric permittivity and magnetic permeability, Solid State Communications, 129 (2004), 643-647.
    [12] D. Elfverson, V. Ginting, and P. Henning, On multiscale methods in Petrov-Galerkin formulation, Numer. Math., 131 (2015), 643-682.
    [13] C. Engwer, P. Henning, A. Målqvist, and D. Peterseim, Effcient implementation of the localized orthogonal decomposition method, arXiv.
    [14] S. Esterhazy and J. M. Melenk, On stability of discretizations of the Helmholtz equation, Numerical analysis of multiscale problems of Lect. Notes Comput. Sci. Eng., Springer, Heidelberg, 83 (2012), 285-324,
    [15] D. Felbacq and G. Bouchitté, Homogenization of a set of parallel fibres, Waves Random Media, 7 (1997), 245-256.
    [16] D. Gallistl and D. Peterseim, Stable multiscale Petrov-Galerkin finite element method for high frequency acoustic scattering, Comput. Methods Appl. Mech. Engrg., 295 (2015), 1-17.
    [17] R. Griesmaier and P. Monk, Error analysis for a hybridizable discontinuous Galerkin method for the Helmholtz equation, J. Sci. Comput., 49 (2011), 291-310.
    [18] F. Hellman, P. Henning, and A. Målqvist, Multiscale mixed finite elements, Discrete Contin. Dyn. Syst. Ser. S, 9 (2016), 12691298.
    [19] P. Henning, P. Morgenstern, and D. Peterseim, Multiscale partition of unity of Lecture Notes in Computational Science and Engineering, chapter Meshfree Methods for Partial Differential Equations Ⅶ, Springer International Publishing, 100 (2014), 185-204.
    [20] P. Henning, M.Ohlberger, and B.Verfürth, A new Heterogeneous Multiscale Method for timeharmonic Maxwell's equations, SIAM J. Numer. Anal., 54 (2016), 3493-3522.
    [21] P. Henning and A. Persson, A multiscale method for linear elasticity reducing Poisson locking, Comput. Methods Appl. Mech. Engrg., 310 (2016), 156171.
    [22] P. Henning and A. Målqvist, Localized orthogonal decomposition techniques for boundary value problems, SIAM J. Sci. Comput., 36 (2014), A1609-A1634.
    [23] R. Hiptmair, A. Moiola, and I. Perugia, A Survey of Trefftz methods for the Helmholtz Equation, Building Bridges: Connections and Challenges in Modern Approaches to Numerical Partial Differential Equations (eds. G. R. Barrenechea, A. Cangiani and E. H. Geogoulis), Lecture Notes in Computational Science and Engineering (LNCSE), Springer, Accepted for publication; Preprint arXiv: 1505. 04521.
    [24] R. Hiptmair, A. Moiola, and I. Perugia, Plane Wave Discontinuous Galerkin Methods: Exponential Convergence of the hp-version, Found. Comp. Math., 16 (2016), 637675.
    [25] T. J. R. Hughes and G. Sangalli, Variational multiscale analysis: the fine-scale Green's function, projection, optimization, localization, and stabilized methods, SIAM J. Numer. Anal., 45 (2007), 539-557.
    [26] T. J. R. Hughes, G. R. Feijóo, L. Mazzei, and J. B. Quincy, The variational multiscale method-a paradigm for computational mechanics, Comput. Methods Appl. Mech. Engrg., 166 (1998), 3-24.
    [27] P. C. Jr. and C. Stohrer, Finite Element Heterogeneous Multiscale Method for the classical Helmholtz Equation, C. R. Acad. Sci., 352 (2014), 755-760.
    [28] A. Lamacz and B. Schweizer, A negative index meta-material for Maxwell's equations, SIAM J. Math. Anal., 48 (2016), 41554174.
    [29] C. Luo, S. G. Johnson, J. Joannopolous, and J. Pendry, All-angle negative refraction without negative effective index, Phys. Rev. B, 65 (2011).
    [30] A. Målqvist and D. Peterseim, Localization of elliptic multiscale problems, Math. Comp., 83 (2014), 2583-2603.
    [31] A. Målqvist and D. Peterseim, Computation of eigenvalues by numerical upscaling, Numer. Math., 130 (2015), 337-361.
    [32] J. M. Melenk and S. Sauter, Wavenumber explicit convergence analysis for Galerkin discretizations of the Helmholtz equation, SIAM J. Numer. Anal., 49 (2011), 1210-1243.
    [33] S. O'Brien and J. B. Pendry, Photonic band-gap effects and magnetic activity in dielectric composites, Journal of Physics: Condensed Matter, 14 (2002), 4035.
    [34] M. Ohlberger and B. Verfürth, A new Heterogenous Multiscale Method for the Helmholtz equation with high contrast, arXiv, 2016.
    [35] M. Ohlberger, A posteriori error estimates for the heterogeneous multiscale finite element method for elliptic homogenization problems, Multiscale Model. Simul., 4 (2005), 88-114.
    [36] I. Perugia, P. Pietra, and A. Russo, A Plane Wave Virtual Element Method for the Helmholtz Problem, ESAIM Math. Model. Numer. Anal., 50 (2016), 783-808.
    [37] D. Peterseim, Eliminating the pollution effect in Helmholtz problems by local subscale correction, Math. Comp., 86 (2017), 1005-1036.
    [38] D. Peterseim, Variational multiscale stabilization and the exponential decay of fine-scale correctors, Springer, 114 (2016).
    [39] A. Pokrovsky and A. Efros, Diffraction theory and focusing of light by a slab of left-handed material, Physica B: Condensed Matter, 338 (2003), 333-337,
    [40] S. A. Sauter, A refined finite element convergence theory for highly indefinite Helmholtz problems, Computing, 78 (2006), 101-115.
  • This article has been cited by:

    1. Barbara Verfürth, Heterogeneous Multiscale Method for the Maxwell equations with high contrast, 2019, 53, 0764-583X, 35, 10.1051/m2an/2018064
    2. Martin Hess, Alessandro Alla, Annalisa Quaini, Gianluigi Rozza, Max Gunzburger, A localized reduced-order modeling approach for PDEs with bifurcating solutions, 2019, 351, 00457825, 379, 10.1016/j.cma.2019.03.050
    3. Dietmar Gallistl, Patrick Henning, Barbara Verfürth, Numerical Homogenization of H(curl)-Problems, 2018, 56, 0036-1429, 1570, 10.1137/17M1133932
    4. Mario Ohlberger, Barbara Verfurth, A New Heterogeneous Multiscale Method for the Helmholtz Equation with High Contrast, 2018, 16, 1540-3459, 385, 10.1137/16M1108820
    5. Axel Målqvist, Barbara Verfürth, An offline-online strategy for multiscale problems with random defects, 2022, 56, 2822-7840, 237, 10.1051/m2an/2022006
    6. Patrick Henning, Johan Wärnegård, Superconvergence of time invariants for the Gross–Pitaevskii equation, 2021, 91, 0025-5718, 509, 10.1090/mcom/3693
  • Reader Comments
  • © 2017 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(5666) PDF downloads(1567) Cited by(6)

Article outline

Figures and Tables

Figures(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog