Abstract
In this paper, we develop a plane wave discontinuous Galerkin method combined with local spectral element method for the elastic wave propagation in two and three space dimensions. We derive the error estimates of the approximation solutions in the mesh-dependent norm and the mesh-independent norm. Some dependence of the error bounds on the orders q of local spectral elements and the number p of plane wave propagation directions is given. Numerical results assess the validity of the theoretical results and indicate that the resulting approximate solutions generated by the PWDG–LSFE possess high accuracy.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The plane wave method turned out to be an efficient and popular method for solving wave propagation problems in time-harmonic regime at medium and high frequencies. The main feature of the method is to choose plane wave solutions of the governing differential equation without boundary conditions as the basis functions. The plane wave method was first introduced to solve Helmholtz equations and was then extended to solve the Maxwell equations and time-harmonic elastic wave problems. Examples of this approach include the partition of unity-type method (Perrey-Debain et al. 2003a, b), the plane wave partition of unity finite-element method (El Kacimi and Laghrouche 2009, 2010), the variational theory of complex rays (VTCR) (Riou et al. 2008, 2012; Yuan and Hu 2018), the ultra weak variational formulation (UWVF) (Cessenat and Despres 1998, 2003; Huttunen et al. 2004, 2007; Luostari 2013), the plane wave discontinuous Galerkin (PWDG) method (Gittelson et al. 2009; Hiptmair et al. 2013, 2016; Moiola 2013; Yuan 2019; Yuan and Hu 2019) and the plane wave least-squares (PWLS) method (Monk and Wang 1999; Hu and Yuan 2014a, b, 2018; Peng et al. 2018; Yuan et al. 2016) and the plane wave least-squares combined with local spectral finite-element (PWLS–LSFE) method (Hu and Yuan 2018).
The UWVF method was developed for the Helmholtz equations (Cessenat and Despres 1998, 2003) and for Maxwell’s equations (Cessenat 1996; Cessenat and Despres 1998; Huttunen et al. 2007; Huttunen and Monk 2007). The UWVF method is derived from non-overlapping domain decomposition with mixed interface conditions. The PWDG method developed in Gittelson et al. (2009), Hiptmair et al. (2011, 2013, 2016) was derived from standard discontinuous Galerkin (DG) methods. We see that the choice \(\alpha =\beta =\delta =1/2\) of flux parameters gives rise to the original UWVF introduced in Cessenat (1996), Cessenat and Despres (1998). The PWLS method, first put forward in Monk and Wang (1999), starts from a minimization problem in which the objective functional contains the jumps of the standard traces on local interfaces and a relaxation factor. To our knowledge, the existing numerical results indicate that the PWDG method can generate approximate solutions with higher accuracy for the homogeneous governing equations with real coefficients.
The UWVF method was extended to solve homogeneous elastic wave problems in Huttunen et al. (2004), Luostari (2013). The studies (Huttunen et al. 2004; Luostari 2013) were devoted to approximating the \(S-\) and \(P-\)wave components of the analytic solution in a balanced way for the accuracy and stability in two-dimensional case. For the UWVF method, the traction of the approximation solution on the boundaries of every elements is chosen as the unknowns, and the conjugation of each traction has to be defined by introducing an additional mappings. The displacement field on the skeleton of the mesh can be recovered by the unknowns.
Since plane wave basis functions on each element are solutions of the homogeneous governing equations without boundary condition, it was pointed out in (Hiptmair et al. 2011, p. 265) that In particular, in Gittelson et al. (2009), an h-version error analysis for the PWDG method applied to the two-dimensional (2D) inhomogeneous Helmholtz problem was carried out. In that case, independent of how many plane waves are used in the local approximation spaces, only first-order convergence can be achieved in general . In the recently published work (Hu and Yuan 2018), the plane wave method combined with local spectral elements (PWLS–LSFE ) for the discretization of such nonhomogeneous equations was firstly proposed. The key ingredient of this method is to first solve a series of nonhomogeneous local problems on auxiliary smooth subdomains by the spectral element method, and then discretize the resulting (locally homogeneous) residue problem on the global solution domain by the standard plane wave method. The numerical results show that the approximate solutions generated by the PWLS–LSFE method possess satisfactory error estimates with high h-convergence orders.
In this paper, we are mainly interested in extending the PWDG method combined with local spectral elements (PWDG–LSFE) to discretize the nonhomogeneous elastic wave problems in two and three dimensions. We derive error estimates of the approximate solutions generated by the proposed method. To our knowledge, there are no error estimates with high h-convergence orders for the plane wave methods solving the nonhomogeneous elastic wave equations in the existing literature. In addition, in the error estimates, some dependence of the error bounds on the orders q of local spectral elements and also on the number p of plane wave propagation directions is explicitly given. We can also extend the results to other plane wave methods for the considered model.
Numerical experiments verify the validity of the theoretical results and indicate that the resulting approximate solutions generated by the PWDG–LSFE possess the high accuracies. To obtain an approximate solution with high accuracy but without superfluous cost, some balance relations satisfied by the parameters m and q are discussed. Moreover, the approximate solutions generated by the proposed method have high accuracy when the wavenumber increases for the fixed value \(\omega h\).
The paper is organized as follows: In Sect. 2, we introduce the linear time-harmonic equations of elasticity, together with triangulation of the computational domain. In Sect. 3, we present the proposed PWDG–LSFE for elastic wave problems. In Sect. 4, we explain how to discretize the variational problem. In Sect. 5, we give error estimates for the approximate solutions of the nonhomogeneous equations. Finally, in Sect. 6, we report some numerical results to confirm the effectiveness of the methods.
2 Description of the underlying time-harmonic elastic wave propagation
In this section, we shall recall the problem to be solved.
The considered original problem is based on a triangulation of the solution domain. Let \(\Omega \) be the underlying domain in \({\mathbb {R}}^{\text {d}}\) (d = 2, 3). For convenience, assume that \(\Omega \) is a bounded polygon or polyhedron. Let \(\Omega \) be divided into the union of some subdomains in the sense that
where each \(\Omega _k\) is a polygon for two-dimensional case or polyhedron for three-dimensional case. Let \( {{{\mathcal {T}}}}_h\) denote the triangulation comprised of the elements \(\{\Omega _k\}\), where \(h\) is the meshwidth of the triangulation. As usual, we assume that \( {{{\mathcal {T}}}}_h\) is quasi-uniform and regular. We denote the diameter of a simplex \(\Omega _k \in {{{\mathcal {T}}}}_h\) by \(h_k\) and the diameter of its largest inscribed disc or sphere by \(\rho _k\). The conditions that \( {{{\mathcal {T}}}}_h\) is quasi-uniform and regular mean that there exists a constant C independent of \(\Omega _k\) and \( {{{\mathcal {T}}}}_h\) such that for all \(\Omega _k \in {{{\mathcal {T}}}}_h\) and all \({{{\mathcal {T}}}}_h\),
respectively.
Define
and
We denote by \({\mathcal {F}}_h = \bigcup _k\partial \Omega _k\) the skeleton of the mesh, and set \({\mathcal {F}}_h^{\text {B}}={\mathcal {F}}_h\bigcap \partial \Omega \) and \({\mathcal {F}}_h^{\text {I}}= {\mathcal {F}}_h \backslash {\mathcal {F}}_h^{\text {B}}\). Then, we want to compute a numerical approximation of the time-harmonic displacement vector \(\mathbf{u}\) satisfying the Navier equation [refer to Graff (1991)]:
with the lowest-order absorbing boundary condition (see Huttunen et al. (2004))
Here, the Lamé constants \(\lambda \) and \(\mu \) can be expressed by means of the Poisson ratio \(\nu \) and Young’s modulus E as follows.
The density of the medium \(\rho \) is independent of position, \(\omega \) is the angular frequency of the field. All these coefficients are assumed to be constant in the whole domain. We shall assume that \(\mathbf{g}\in (L_\mathbf{T}^2(\partial \Omega ))^{\text {d}}\), and the traction operator \(\mathbf{T}^{(\mathbf n)}\) defined on a curve S (\(d=2\)) or a surface (\(d=3\)) with a unit normal \(\mathbf{n}\) is
Define the wave speed \(C_{\text{ P }}\) for the P-wave and the wave speed \(C_{\text{ S }}\) for the S-wave as follows ( P-wave and S-wave will be introduced in Sect. 4).
Moreover, a positive definite real-valued matrix function \(\sigma \) on the external boundary \(\gamma \) is defined by
for two-dimensional case and by
for three-dimensional case, respectively. Here, \(\mathbf{s}\) and \(\mathbf{s}_1,\mathbf{s}_2\) are the tangential vectors to the boundary, and \(\otimes \) denotes the outer product so that \(\mathbf{n}\otimes \mathbf{n} =\mathbf{n}{} \mathbf{n}^T. \)
For each element \(\Omega _k\), let \( \mathbf{u}|_{\Omega _k}=\mathbf{u}_k\) \((k=1,\ldots ,N\)). Then, the reference problem (2.1)–(2.2) to be solved consists of finding the local displacement vector \( \mathbf{u}_k\) such that
and the interface conditions (note that \( \mathbf{n}_l=-\mathbf{n}_j\))
The boundary condition becomes
In the next section, we introduce a new variational formulation of the elastic wave problems (2.6), (2.7), and (2.8).
3 The PWDG–LSFE for the nonhomogeneous time-harmonic elastic wave equations
In this section, we shall detail the PWDG–LSFE method for the elastic wave problems. As in Hu and Yuan (2018), the basic idea is to decompose the solution \(\mathbf{u}\) of (2.1), (2.2) into
where \(\mathbf{u}^{(1)}\) is a particular solution of (2.6) without the primal boundary condition, and \(\mathbf{u}^{(2)}\) satisfies a locally homogeneous elastic wave equation.
3.1 Local variational formulation for the local nonhomogeneous problems
For each element \(\Omega _k\), let \(\Omega ^{*}_k\) be a fictitious domain that has almost the same size with \(\Omega _k\) and contains \(\Omega _k\) as its subdomain. We choose each fictitious domain \(\Omega ^{*}_k\) so that it possesses sufficiently smooth boundary \(\partial \Omega ^{*}_k\). A natural way is to choose \(\Omega ^{*}_k\) as a disc for the two-dimensional case or a sphere for the three-dimensional case that has the same center \(O_k\) with \(\Omega _k\) and has the radius \(r_k=\max \limits _r\{{\text {dist}}(O_k,~V_k^r)\}\), where \(V_k^r\) denotes a vertex of \(\Omega _k\).
Let \(\mathbf{u}^{(1)}\in \mathbf{L}^2(\Omega ))\) be defined as \(\mathbf{u}^{(1)}\mid _{\Omega _k}=\mathbf{u}^{(1)}_k\mid _{\Omega _k}\) for each \(\Omega _k\), where \(\mathbf{u}^{(1)}_k\in \mathbf{H}^1(\Omega ^{*}_k)\) satisfies the nonhomogeneous local elastic wave equation on the fictitious domain \(\Omega ^{*}_k\):
The variational problem of (3.2) is to find \( \mathbf{u}^{(1)}_k\in \mathbf{H}^1(\Omega ^{*}_k) \) such that
where the strain tensor is defined by \(\varepsilon (\mathbf v) := \frac{1}{2}(\nabla \mathbf{v} + \nabla \mathbf{v}^{T})\).
When \(\mathbf{f}\) satisfies \(\mathbf{f}\in \mathbf{L}^2(\Omega ^{*}_k)\), the variational problem (3.3) possesses a unique solution \(\mathbf{u}^{(1)}_k\in \mathbf{H}^2(\Omega ^{*}_k)\) [see (Cummings and Feng 2006, Theorem 2)].
3.2 Global variational formulation for the residual and global homogeneous problem
It is easy to see that \(\mathbf{u}^{(2)} = \mathbf{u}-\mathbf{u}^{(1)} \) is uniquely determined by the following homogeneous elastic wave equations:
with the following boundary condition on \(\gamma \) and the interface conditions on \(\Gamma _{lj}\) (\(l<j;~l,j=1,\ldots ,N\)):
where \( [[ \mathbf{T}^{(\mathbf{n})}( \mathbf{u} ) ]] = \mathbf{T}^{(\mathbf{n}_l)}(\mathbf{u}_l) + \mathbf{T}^{(\mathbf{n}_j)}(\mathbf{u}_j)\).
Define the stress tensor
where \(I_{\text{ d }}\) is the identity matrix. Note that the stress tensor is symmetric. By direct calculation, we can obtain
Then the original problem (2.1, 2.2) can be rewritten as a first-order system
Define the averages and jumps across a common face \(\partial \Omega _l\bigcap \partial \Omega _j\) by
To derive the PWDG–LSFE method, define the Trefftz spaces as follows:
and
Define the approximation \(\mathbf{u}_h\) of the original problem by \(\mathbf{u}_h=\mathbf{u}_h^{(1)}+ \mathbf{u}_h^{(2)}\), where \(\mathbf{u}_h^{(1)}\) and \(\mathbf{u}_h^{(2)}\) defined in next section are the approximation of (3.3) and the plane wave approximation of (3.4, 3.5), respectively.
Integrating by parts the second equation of (3.7) for every \(\Omega _k\in {{{\mathcal {T}}}}_h\), we get the equation of the vector-valued function \(\mathbf{u}\in \mathbf{V}(\Omega _k)\)
Here, the matrix inner product A : B is
where \(A=(a_{kl})_{M\times M}\) and \(B=(b_{kl})_{M\times M}\).
By the direct computation, for any sufficiently smooth functions \(\mathbf{v}\) and \(\mathbf{w}\), the following relation holds
Substituting this equation into (3.10) and integrating by parts, we can deduce that
Using the Trefftz property (3.9) satisfied by the test function \(\mathbf{v}\), we can obtain the elemental equation defining the PWDG method
Then, the above problem can be discretized as follows: for every \(\Omega _k\in {{{\mathcal {T}}}}_h\), the vector-valued functions \(\mathbf{u}_h\) satisfy
where \(\mathbf{V}_p(\Omega _k)\subset \mathbf{V}(\Omega _k)\) is the discretized space to be specified later, and \(\hat{\varvec{\sigma }}(\mathbf{u}_h)\) and \(\hat{\mathbf{u}}_h\) are the single-valued numerical fluxes defined by
on \({\mathcal {F}}_h^{\text {I}}\), and
on \({\mathcal {F}}_h^{\text {B}}\), where the parameters \(\alpha ,\beta \) and \(\delta \) are strictly positive constants, with \(0<\delta \le 1/2\).
Defining the finite-dimensional discretized space
inserting the numerical fluxes into (3.14) and adding over all elements finish the definition of the PWDG method: find \(\mathbf{u}_h^{(2)}\in \mathbf{V}_p({{{\mathcal {T}}}}_h)\) such that,
where
and
3.3 Auxiliary results
Here, we collect technical prerequisites for the convergence analysis.
Define the broken Sobolev space
Let \(\mathbf{T}({{{\mathcal {T}}}}_h)\) be the piecewise Trefftz space defined on \({{{\mathcal {T}}}}_h\) by
We endow \(\mathbf{T}({{{\mathcal {T}}}}_h)\) with the mesh-skeleton norm
and the following augmented norm
Lemma 3.1
If \(\mathbf{u},{\varvec{v}}\in \mathbf{T}({{{\mathcal {T}}}}_h)\), we have
Proof
Provided that \(\mathbf{u},\mathbf{v}\in \mathbf{T}({{{\mathcal {T}}}}_h)\), local integration by parts permits us to obtain
By the direct calculation, we can obtain
Substituting (3.11) and (3.26) into (3.25), we have
Therefore, we can directly obtain the first equality of (3.24).
By taking the imaginary part of (3.28), we get the second equality of (3.24).
By the definition of \({\mathcal {A}}_h(\cdot ,\cdot )\), \(\delta ^{\frac{1}{2}}\le (1-\delta )^{\frac{1}{2}}\) and repeated applications of the weighted Cauchy–Schwarz inequality, we can deduce the third inequality of (3.24). \(\square \)
4 Discretization of the variational problems
In this section, we introduce discretizations of the variational problems described in the last section.
4.1 Spectral element discretization of the local nonhomogeneous problems
Since \(\Omega ^{*}_k\) is a sufficiently smooth domain and \(\mathbf{f}\) is smooth on \(\Omega ^{*}_k\), the solution \(\mathbf{u}_k^{(1)}\) possesses high regularity on \(\Omega ^{*}_k\). Moreover, the fictitious domain \(\Omega ^{*}_k\) has almost the same size as the element \(\Omega _k\). Thus, the subproblems (3.3) should be discretized by the spectral element method, so that the resulting approximate solutions have higher accuracies.
Let q be a positive integer and D be a bounded and connected domain in \({\mathbb {R}}^d\). Let \(S_q(D)\) denote the set of polynomials defined on D, whose orders are less than or equal to q. Set \(\mathbf{S}_q(D)=(S_q(D))^d\).
The discrete variational problems of Eq. (3.3) are: to find \(\mathbf{u}^{(1)}_{k,h}\in \mathbf{S}_q(\Omega ^{*}_k)\) such that
In this paper, we choose the fictitious domain \(\Omega ^{*}_k\) to be a disc for the two-dimensional case or a sphere for the three-dimensional case (see Remark 2.1 in Hu and Yuan (2018)). Then, the variational problems (4.1) can be solved easily using the polar coordinate transformation for the calculation of the involved integrations. We would like to emphasize that the discrete problems (4.1) are local and independent each other for \(k=1,\ldots ,N\), so they can be solved in parallel and the cost is very small.
Define \(\mathbf{u}^{(1)}_h\in \prod _{k=1}^N \mathbf{S}_q(\Omega _k)\) by \(\mathbf{u}^{(1)}_h|_{\Omega _k}=\mathbf{u}^{(1)}_{k,h}|_{\Omega _k}\).
4.2 Basis functions of \( \mathbf{V}_p({{{\mathcal {T}}}}_h)\)
In this section, we describe the discretization of the variational problem (3.17). The discretization is based on a finite-dimensional space \( \mathbf{V}_p({{{\mathcal {T}}}}_h)\subset \mathbf{V}({{{\mathcal {T}}}}_h)\). We first give the precise definition of such a space \( \mathbf{V}_p({{{\mathcal {T}}}}_h)\).
Let us consider a time-harmonic elastic plane wave moving in an unit direction \(\mathbf{d}\). The plane wave can be split into two components for two-dimensional case:
and three components for three-dimensional case:
where the wavenumbers \(\kappa _{\text{ P }}=\omega /C_{\text{ P }}\) and \(\kappa _S=\omega /C_{\text{ S }}\), \(x_P,y_S\) and \(z_S\) are scalar coefficients, and \(\mathbf{d}\cdot \mathbf{e}=0, \mathbf{f} = \mathbf{e}\times \mathbf{d}\). The first component, denoted by \(\mathbf{v}_P=x_P ~\mathbf{d}~ \text {exp}(i \kappa _{\text{ P }} \mathbf{d}\cdot \mathbf{x})\), is called the compressional (\(P-\)) wave, and we see that \(\nabla \times \mathbf{v}_P=\mathbf{0}\) and that \(\mathbf{v}_P\) is a solution of the Navier equation by the definition of the wavenumber \(\kappa _{\text{ P }}\) and the wave speed \(C_{\text{ P }}\) for the P-wave.
Similarly, the remaining components of the plane wave solution, called the shear (\(S-\)) wave and given by \(\mathbf{v}_S=y_S ~\mathbf{e} ~\text {exp}(i \kappa _S \mathbf{d}\cdot \mathbf{x}) \bigg ( + z_S ~\mathbf{f}~ \text {exp}(i \kappa _S \mathbf{d}\cdot \mathbf{x}) ~\text {for three-dimensional case} \bigg ) \), are a solution of the Navier equation by the definition of the wavenumber \(\kappa _S\) and the wave speed \(C_{\text{ S }}\) for the S-wave. Moreover, in this case, \(\nabla \cdot \mathbf{v}_S = 0\).
In a homogeneous medium, the \(P-\)wave \(\mathbf{v}_{P}\) and \(S-\)wave \(\mathbf{v}_{S}\) satisfy the Helmholtz equations
These two component waves propagate independently in the homogeneous medium but interact on the medium interfaces.
In practice, a suitable family of plane waves, which are solutions of the constant-coefficient Helmholtz equations, is generated on \(\Omega _k\) by choosing \(p\) unit propagation directions \( \mathbf{d}_{l}~(l=1,\ldots ,p) \). As advocated in earlier studies with the Helmholtz equations (Moiola et al. 2011), the directions \(\mathbf{d}_{l}~(l=1,\ldots ,p)\) of the wave vectors of these wave functions, for two-dimensional problems, are uniformly distributed by
and for three-dimensional problems, are generated by the optimal spherical codes from Sloane (2000). We then define two sets of complex plane wave basis functions by setting
for two-dimensional case, and three sets of complex plane wave basis functions by setting
for three-dimensional case.
Let \( {{{\mathcal {Q}}}}_{t}\) (\(t=2p\) for two-dimensional case and \(t=3p\) for three-dimensional case) denote the space spanned by the \(t\) plane wave functions. Define the finite-element space
It is easy to see that the above space has \(N\times t\) basis functions, which are defined by
and
for two-dimensional case, and by \(\mathbf{v}^P_{k,l}\) defined in Eq. (4.8) and \(\mathbf{v}^S_{k,l}\) defined in Eq. (4.10) for three-dimensional case, where
For simplicity of claim in the section of error analysis, we decompose the finite-element space \(\mathbf{V}_p({{{\mathcal {T}}}}_h)\) into two components by
where the space \(\mathbf{V}_p^{S}({{{\mathcal {T}}}}_h)\) is spanned by plane wave basis functions \(\mathbf{v}^S_{k,l}\) for two-dimensional case or \(\mathbf{v}^S_{k,s,l}\) for three-dimensional case, and the space \(\mathbf{V}_p^{P}({{{\mathcal {T}}}}_h)\) is spanned by plane wave basis functions \(\mathbf{v}^P_{k,l}\).
We can now define an approximation \( \mathbf{u}_h^{(2)}\) of \( \mathbf{u}^{(2)}\) by
for two-dimensional case, and
for three-dimensional case.
Define \(\mathbf{u}_{h}^{P}\) by \(\mathbf{u}_{h}^{P}|_{{\Omega _k}}= \mathbf{u}_{k,h}^{P}\), \(\mathbf{u}_{h}^{S}\) by \(\mathbf{u}_{h}^{S}|_{{\Omega _k}}= \mathbf{u}_{k,h}^{S}\) and \(\mathbf{u}_{h}^{(2)}=\mathbf{u}_{h}^{P}+\mathbf{u}_{h}^{S}\).
5 Error estimates of the elastic PWDG–LSFE method
In this section, we derive the error estimates of the approximate solutions \(\mathbf{u}_h\) defined in the previous section. We mention that the proofs of error estimates of the approximate solutions generated by the proposed method are a translation to the elastic wave case of techniques already used for acoustic and electromagnetic waves (see Hu and Yuan 2018). Besides, we directly use the sharp approximation estimate (see Lemma 5.3) of homogeneous elastic wave equations by plane wave basis functions, which was first introduced by Moiola in (Moiola 2013, Theorem 3.2). Moreover, we underline that the proof of Lemma 5.5 is based on the technique of Theorem 3.13 from [25].
Assume a domain \(D\subset \Omega \). Let \(||\cdot ||_{s,\omega ,D}\) be the \(\omega -\)weighted Sobolev norm defined by
In the rest of this paper, we always use C to denote a generic positive constant independent of h, p and \(\omega \), but its value might change at different occurrence. Moreover, we assume that each \(\Omega ^{*}_k\) is a disc or a sphere, whose radius and center are denoted by \(r_k\) and \(O_k\), respectively.
5.1 Error estimate of the local spectral element approximations
In this section, we derive the error estimates of the approximate solutions \(\mathbf{u}_h^{(1)}\) based on the framework introduced in Hu and Yuan (2018).
We first give a stability result of \(\mathbf{u}^{(1)}_k\) for each k.
Lemma 5.1
Assume that \(c_0\le h\omega \le C_0\) and \(\mathbf{f}\in {\mathbf{H}}^{r-1}(\Omega ^{*}_k)\) with an integer \(r\ge 1\). Let \(\mathbf{u}^{(1)}_k\) denote the solution of the nonhomogeneous local equation (3.2). Then, \(\mathbf{u}^{(1)}_k\in {\mathbf{H}}^{r+1}(\Omega ^{*}_k)\) and
Proof
Define the scaling transformation \(\hat{\mathbf{x}}=F_k(\mathbf{x})=r_k^{-1}(\mathbf{x}-O_k)+O_k\). Under the coordinate transformation \(\hat{\mathbf{x}}=F_k(\mathbf{x})\), set \(\mathbf{u}^{(1)}_k(\mathbf{x})=\mathbf{u}^{(1)}_k(F_k^{-1}(\hat{\mathbf{x}})) = \hat{\mathbf{u}}^{(1)}_k(\hat{\mathbf{x}})\). Besides, \(\Omega ^{*}_k\) is mapped to a disc (2d case) or a sphere (3d case) with the radius one, which is denoted by \({\hat{D}}_k\). Set \({\hat{\omega }}_k=r_k\omega \). Then, the equation (3.2) becomes
By the smoothness assumption of \(\mathbf{f}\), \({\hat{\omega }}_k=O(1)\) and the existing regularity results (see, for example, Theorem 2 in Cummings and Feng (2006) and Lemma 3.3 in Du and Wu (2015)), we know that \(\hat{\mathbf{u}}^{(1)}_k\in H^{r+1}({\hat{D}}_k)\) and
Now we use the integral transformation \(\hat{\mathbf{x}}=F_k(\mathbf{x})\) to (5.3), and get the desired results. \(\square \)
Remark 5.1
We point out that it is unclear whether the assumption \(\omega h\ge c_0\) is indeed necessary for the estimate (5.1). Besides, at least in the case with nonsingular solutions, for the plane wave method and the spectral element method for the considered equations, increasing the number p of basis functions on every element is more efficient than decreasing the mesh size h to get approximate solutions with high accuracy. From the viewpoint of the numerical results for the case of smooth solutions, we can simply choose \(h\approx \frac{1}{\omega }\). Thus, the assumption \(\omega h\ge c_0\) is not a limit in applications with smooth solutions. In future work, we will give detailed numerical analysis of our method for the case of non-smooth analytic solution.
The following result gives estimates of the local spectral element approximations \(\mathbf{u}^{(1)}_{k,h}\) (\(k=1,\ldots ,N\)).
Lemma 5.2
Let \(q\ge 2\) and \(2\le r+1\le q+1\). Under the assumptions in Lemma 5.1, we have for each \(\Omega ^{*}_k\)
Proof
We use the same notations with that in the proof of the above Lemma. Under the scaling transformation \(\hat{\mathbf{x}}=F_k(\mathbf{x})\), the variational problems (3.3) and (3.3) become
and
respectively. We first derive an error estimate of \(\hat{\mathbf{u}}^{(1)}_{k}-\hat{\mathbf{u}}^{(1)}_{k,h}\) based on the framework introduced in Feng and Wu (2011). Let \(\hat{\mathbf{P}}_q: \mathbf{H}^1({\hat{D}}_k)\rightarrow \mathbf{S}_q({\hat{D}}_k)\) denote the orthogonal projector associated with the complex inner product
Then, \(\hat{\mathbf{P}}_q\hat{\mathbf{u}}^{(1)}_{k}\) satisfies
By the approximation of the spectral element method (see, for example, Guo (2007)), there is function \(\hat{\mathbf{v}}_q\in \mathbf{S}_q({\hat{D}}_k)\) such that
Then, by the standard technique (Zhu and Wu 2013, Sec 3.3), we can show that
Set \({\varvec{\xi }}=\hat{\mathbf{P}}_q\hat{\mathbf{u}}^{(1)}_{k}-\hat{\mathbf{u}}^{(1)}_{k}\) and \({\varvec{\zeta }}=\hat{\mathbf{u}}^{(1)}_{k,h}-\hat{\mathbf{P}}_q\hat{\mathbf{u}}^{(1)}_{k}\). Combining (5.6) with (5.7), we know that the function \({\varvec{\zeta }}\in \mathbf{S}_q({\hat{D}}_k)\) is the solution of the following variational problem (see Feng and Wu 2011)
Thus, by the stability result given in Theorem 2 of Cummings and Feng (2006), we have
This, together with (5.9), leads to
Notice that
Using (5.9) again, we further get
Making the integral transformation \(\hat{\mathbf{x}}=F_k(\mathbf{x})\) to (5.11), we can deduce that
On the other hand, it follows by (5.8) that
By the triangle inequality, we have
Applying the inverse estimate to the second term in the right side of the above inequality leads to
Substituting this into (5.14), and using (5.13) and (5.12), yields
This, together with (5.12), gives the desired result (5.4). \(\square \)
Combining Lemma 5.1 with Lemma 5.4, using the trace inequality and the definition of the norm \(|||\cdot |||_{{\mathcal {F}}_h}\) and \(|||\cdot |||_{{\mathcal {F}}_h^+}\), we can derive error estimates of the approximation \(\mathbf{u}_h^{(1)}\) easily, and we will omit the details and only give the main results.
Theorem 5.1
Let \(q\ge 2\) and \(2\le r+1 \le q+1\). Assume that \(c_0\le h\omega \le C_0\) and \(f\in {\mathbf{H}}^{r-1}(\Omega _{{{\tilde{\delta }}}})\). Then, the following error estimates hold
and
where \(\Omega _{{{\tilde{\delta }}}}\) (see (Hu and Yuan 2018, Sec. 4.1.1) ) is the union of \(\Omega \) and the boundary layer with the thickness \({{\tilde{\delta }}}>0\).
5.2 Error estimate of the plane wave approximations for three-dimensional case
The method of analysis for the electromagnetic PWLS presented in Hu and Yuan (2014b) applies to the elastic PWDG method with major changes in the derivation of the variational formulations and the approximation properties of the elastic plane wave basis functions. We directly use the sharp approximation estimate (see Lemma 5.3) of homogeneous elastic wave equations by plane wave basis functions, which was first introduced by Moiola in (Moiola 2013, Theorem 3.2).
It is known that under the constitutive relation, Eq. (3.4) can be rewritten as the following equation:
Let \(\mathbf{u}^{P} = -\frac{1}{ \kappa _{\text{ P }}^2} \nabla (\nabla \cdot \mathbf{u}^{(2)}) \) be the compressional part (\(P-\) wave) and \(\mathbf{u}^{S} = \frac{1}{ \kappa _S^2}\nabla \times (\nabla \times \mathbf{u}^{(2)}) \) be the shear part (\(S-\) wave) of the wave field. Then, we have \(\mathbf{u}^{(2)} = \mathbf{u}^{P} + \mathbf{u}^{S}\) in \(\Omega \), \(\nabla \times \mathbf{u}^{P}=\mathbf{0}\) and \(\nabla \cdot \mathbf{u}^{S} =0\) in \(\Omega \). It is easy to verify that \(\mathbf{u}^{P}\) and \(\mathbf{u}^{S}\) satisfy the homogeneous vector Helmholtz equations
Let the mesh triangulation \( {{{\mathcal {T}}}}_h\) satisfies the definition stated in (Hiptmair et al. 2013, Section 5) and set \(\tau =\text {min}_{K\in {{{\mathcal {T}}}}_h}\tau _K\), where \(\tau _K\) is the positive parameter that depends only on the shape of an element \(K\) of \( {{{\mathcal {T}}}}_h\) introduced in (Moiola et al. 2011, Theorem 3.2). Let \(r\) and \(m\) be given positive integers satisfying \(m\ge 2r+1\) and \(m\ge 2(1+2^{1/\tau })\). Let the number \(p\) of plane wave propagation directions be chosen as \(p=(m+1)^2\).
For ease of notation, in the rest of the paper, we set
5.2.1 The error estimates of the approximations \(\mathbf{u}_h\) in the mesh-dependent norm
To derive the approximation estimates of \(\mathbf{u}^{(2)}\) in the mesh-dependent norm, we need to recall the following fundamental approximation result [see (Moiola 2013, Theorem 3.2)].
Lemma 5.3
Assume that the analytical solution \( \mathbf{u}^{(2)}\) of the elastic wave problems (3.4)–(3.5) belongs to \(\mathbf{H}^{r+1}(\text {div};\Omega ) \bigcap \mathbf{H}^{r+1}(\text {curl};\Omega ) \) (\(r\in {\mathbb {N}}\)). There exists \( \varvec{\xi }_h \in \mathbf{V}_{p}^{P}({{{\mathcal {T}}}}_h) + \mathbf{V}_{p}^{S}(\mathcal{T}_h) \) such that, for \(1\le j \le r+1\),
where \(C\) is a constant independent of \(p\) but dependent on \(\omega \) and \(h\) only through the product \(\omega h\) as an increasing function, and may depend on the shape of the elements \(K \in {{{\mathcal {T}}}}_h,r,\lambda , \mu \) and \(\rho \).
Now, we can derive the approximation estimates of \(\mathbf{u}^{(2)}\) in the mesh-dependent norm.
Theorem 5.2
Assume that the analytical solution \( \mathbf{u}^{(2)}\) of the elastic wave problems (3.4)–(3.5) belongs to \(\mathbf{H}^{r+1}(\text {div};\Omega ) \bigcap \mathbf{H}^{r+1}(\text {curl};\Omega ) \) (\(r\in {\mathbb {N}}\)). There exists \( \varvec{\xi }_h \in \mathbf{V}_{p}^{P}({{{\mathcal {T}}}}_h) + \mathbf{V}_{p}^{S}(\mathcal{T}_h) \) such that
where \(C\) is a constant independent of \(p\) but dependent on \(\omega \) and \(h\) only through the product \(\omega h\) as an increasing function, and may depend on the shape of the elements \(K \in {{{\mathcal {T}}}}_h,r,\lambda , \mu \) and \(\rho \).
Proof
Let \( \varvec{\xi }_h \in \mathbf{V}_p({{{\mathcal {T}}}}_h) \) be defined by Lemma 5.3. For ease of notation, set \( \varvec{\varepsilon }_h = \mathbf{u}^{(2)} - \varvec{\xi }_h \). By the definition of the norm \(\big |\big |\big |\cdot \big |\big |\big |_{{\mathcal {F}}_h^+}\), we get
Using the trace inequality, we prove by Lemma 5.3 that
\(\square \)
Based on the previous lemmas, we can derive the error estimates of the approximations \(\mathbf{u}_h^{(2)}\) and \(\mathbf{u}_h\) in the mesh-dependent norm.
Theorem 5.3
Assume that the analytical solution \( \mathbf{u}\) of the elastic wave problems (2.1)-(2.2) belongs to \(\mathbf{H}^{r+1}(\text {div};\Omega ) \bigcap \mathbf{H}^{r+1}(\text {curl};\Omega ) \) (\(r\in {\mathbb {N}}\)). and \(c_0\le h\omega \le C_0\). Let \(q\ge 2\), \(2< r+1 \le \min \{\frac{m+1}{2},q+1\}\), and \( \mathbf{u}_h = \mathbf{u}_h^{(1)} + \mathbf{u}_h^{(2)} \) be the approximation solution of the PWDG–LSFE. Then, for large \(p=(m+1)^2\), we have
where \(C\) is a constant independent of \(p\) but dependent on \(\omega \) and \(h\) only through the product \(\omega h\) as an increasing function, and may depend on the shape of the elements \(K \in {{{\mathcal {T}}}}_h,r,\lambda , \mu \) and \(\rho \).
Proof
The PWDG formulation (3.17) is consistent by construction; thus if \(\mathbf{u}^{(2)}\in H^2(\Omega )\) solves (3.4)-(3.5), then it holds that
From (3.17) and (5.23), we have
Let \(\varvec{\xi }_h\) be the plane wave approximation defined in Theorem 5.2. It follows by (5.24) that
Then, by the direct manipulation, we can deduce that
Set \(\varepsilon _h^{(1)}=\mathbf{u}^{(1)}-\mathbf{u}_h^{(1)}\) and \(\varepsilon _h^{(2)}=\mathbf{u}^{(2)}-{\varvec{\xi }}_h\). By taking the imaginary part of the last equation and Lemma 3.1, we obtain
It can be verified directly by (5.25) that
Notice that \(\mathbf{u}^{(2)}|_{\Omega _k}=(\mathbf{u}-\mathbf{u}^{(1)})|_{\Omega _k}\). By the assumptions and Lemma 5.1, we have \(\mathbf{u}^{(2)}|_{\Omega _k}\in \mathbf{H}^{r+1}(\Omega _k)\) for each k. Combining (5.26) and Theorems 5.1, 5.2, gives the desired result (5.22). \(\square \)
5.2.2 \(L^2\) error estimates of the approximations \(\mathbf{u}_h\)
To prove an error estimate in \(L^2(\Omega )\) for the PWDG method, we adopt the approach from Buffa and Monk (2008), Cummings and Feng (2006), Hiptmair et al. (2011), Luostari et al. (2013). Considering the dual (nonhomogeneous) problem of the Navier equation (2.1) (see Cummings and Feng 2006)
where \({\varvec{\psi }} \in \mathbf{L}^2(\Omega ) \). Let us recall the regularity estimates for the elastic wave problem proved in Cummings and Feng (2006).
Lemma 5.4
(Cummings and Feng 2006, Theorem 2) Let \(\Omega \) be a convex polyhedron or smooth domain. Then the following regularity estimates for \(\mathbf{v}\) hold:
We can prove the following error estimate using duality. We underline that the proof is based on the technique from (Luostari et al. 2013, Theorem 3.13). For completeness, we give the detailed proof.
Lemma 5.5
Assuming \(\Omega \) be a convex polyhedron and covered by a regular and quasi-uniform mesh, then there exists a constant \(C>0\) independent of \(\omega ,h,\) and \(\mathbf{w}\) such that for any \(\mathbf{w}\in \mathbf{V}({{{\mathcal {T}}}}_h)\),
Proof
Let \(\mathbf{v}\) satisfy the dual problem (5.27). Integrating by parts, using the definition of the Trefftz space \(\mathbf{V}(\mathcal{T}_h)\) and the relation \({\varvec{\sigma }}(\mathbf v):\nabla \mathbf{w}=\nabla \mathbf{v}:{\varvec{\sigma }}(\mathbf w)\), we obtain
Recalling the definition of the jumps \([[ \mathbf{w} ]]\) and \([[ {\varvec{\sigma }}(\mathbf{w}) ]]\) in (3.8) and taking into account the boundary condition of (5.27), we obtain
where \(\mathbf{n}\) denotes the unit normal vector pointing from \(\Omega _l\) to \(\Omega _j\). By Cauchy–Schwarz inequality, we have
where G is defined by
By \(||\eta ||_{\infty }\le C\omega \) and \(||\eta ^{-1}||_{\infty }\le C\omega ^{-1}\), and applying the trace inequality and the regularity estimates (5.28), we further get the following estimate
Taking (5.32) into (5.30) and choosing \({\varvec{\psi }}=\mathbf{w}\), we obtain the estimate (5.29).
Combining Lemma 5.5 with Theorem 5.3, we obtain an error estimate in \(L^2(\Omega )\) for our method. \(\square \)
Theorem 5.4
Under the assumption of Theorem 5.3 and Lemma 5.5, Let \(q\ge 2\), \(2< r+1 \le \min \{\frac{m+1}{2},q+1\}\), and \( \mathbf{u}_h = \mathbf{u}_h^{(1)} + \mathbf{u}_h^{(2)} \) be the approximation solution of the PWDG–LSFE. Then, for large \(p=(m+1)^2\), we have
where \(C\) is a constant independent of \(p,\mathbf{u}\) but dependent on \(\omega \) and \(h\) only through the product \(\omega h\) as an increasing function, and may depend on the shape of the elements \(K \in {{{\mathcal {T}}}}_h,r,\lambda , \mu \) and \(\rho \).
5.3 Error estimate of the plane wave approximations for two-dimensional case
Let the mesh triangulation \( {{{\mathcal {T}}}}_h\) satisfy the shape regularity and quasi-uniformity, and set \(p=2m+1\), where the p directions \(\{ \mathbf{d}_l = (\text {cos}\theta _l, \text {sin}\theta _l) \}_{l=1}^p\) satisfy the following condition: there exists \(\zeta \in (0,1]\) such that the minimum angle between two different directions is greater that or equal to \(2\pi \zeta /p.\)
By the plane wave approximation theory in Hiptmair et al. (2011) and (Moiola 2013, Theorem 3.2), we can obtain the following approximation.
Lemma 5.6
Assume that the analytical solution \( \mathbf{u}^{(2)}\) of the elastic wave problems (3.4)-(3.5) belongs to \(\mathbf{H}^{r+1}(\text {div};\Omega ) \bigcap \mathbf{H}^{r+1}(\text {curl};\Omega ) \) (\(r\in {\mathbb {N}}\)). There exists \( \varvec{\xi }_h \in \mathbf{V}_{p}^{P}({{{\mathcal {T}}}}_h) + \mathbf{V}_{p}^{S}(\mathcal{T}_h) \) such that, for \(1\le j \le r+1\),
where \(C\) is a constant independent of \(p\) but dependent on \(\omega \) and \(h\) only through the product \(\omega h\) as an increasing function, and may depend on the shape of the elements \(K \in {{{\mathcal {T}}}}_h,r,\lambda , \mu \) and \(\rho \).
Now we get the error estimates for our method, as in the proof of Theorems 5.3 and 5.4.
Theorem 5.5
Let \(q\ge 2\), \(2< r+1 \le \min \{\frac{m+1}{2},q+1\}\). Assume that \(c_0\le h\omega \le C_0\), \(\mathbf{f}\in \mathbf{H}^{r-1}(\Omega )\) and \(\mathbf{u}\in \mathbf{H}^{r+1}(\text {div};\Omega ) \bigcap \mathbf{H}^{r+1}(\text {curl};\Omega ) \) (\(r\in {\mathbb {N}}\)). Then
and
Remark 5.2
We mention that all theoretical results are dependent on the assumption \(\omega h \ge c_0\). Thus, they do not provide orders of asymptotic convergence with respect to h when the meshwidth h becomes much smaller. The \(h-\)convergence orders described herein are under the restriction of such assumption \(h\ge c_0/\omega \).
Remark 5.3
The error estimates given in Theorems 5.3, 5.4 and 5.5 are obtained only for the case of the number of \(S-\)wave basis functions \(p_0\) equaling the number of \(P-\)wave basis functions \(p_1\). Indeed, as already mentioned in Huttunen et al. (2004), to obtain the best accuracy, the ratio of the number of \(S-\) and \(P-\)wave basis functions \(p_0/p_1\) should be about the ratio of \(S-\) and \(P-\)wavenumbers \(\kappa _S/\kappa _{\text{ P }}\). Furthermore, we can derive the corresponding error estimates by proceeding as in Theorems 5.3, 5.4 and 5.5.
Remark 5.4
The error estimates given in Theorems 5.3, 5.4 and 5.5 are also established for the homogeneous elastic wave equations, where error estimates of the local spectral element approximations are eliminated.
6 Numerical experiments
We simply choose constant parameters \((\alpha =\beta = \delta = 1/2)\) to solve time-harmonic elastic wave problems (2.1), (2.2) in two-dimensional and three-dimensional homogeneous media, and we report some numerical results to verify the validity of the theoretical results.
A uniform triangulation \({\mathcal {T}}_h\) is employed for the domain \(\Omega \) for the examples as follows: \(\Omega \) is divided into small rectangles or cubes of equal meshwidth, where \(h\) is the length of the longest edge of the elements. We choose the number \(p\) of basis functions on all elements \(\{\Omega _k\}\) to be \(p=2m+1\) for two-dimensional case and \(p=(m+1)^2\) for three-dimensional case, where \(m\) is a variable positive integer.
To measure the accuracy of the numerical solution \(\mathbf{u}_h\), we introduce the following relative numerical error:
for the exact solution \( \mathbf{u} \in (L^2(\Omega ))^d\).
6.1 Rayleigh waves
Since discretization of the PWDG method in this study uses \(P-\) and \(S-\)plane waves only, it is vital to investigate whether the method can resolve surface waves that are not explicitly contained in the basis for the PWDG. To do this we study Rayleigh waves in the square domain \(\Omega = [0,1]^2\). The exact expression for the Rayleigh wave speed \(C_R\) is somewhat complicated; therefore, we use the approximation value from Auld (1973) given by
We denote the Rayleigh wavenumber by \(\kappa _R=\omega /C_R.\)
The x and y components of the displacement field \(\mathbf{u}=(u_x,u_y)^T\) can be written as follows (see Auld 1973 for details):
where
Elastic properties of the medium occupying the domain \(\Omega \) are taken to be those of steel \(( E = 200\times 10^9,\nu = 0.3, \text {and}~ \rho = 7800)\). Hence, \(S-\) and \(P-\) wave speeds are \(C_{\text{ P }}=5875\) and \(C_{\text{ S }}= 3140\), respectively. This gives a ratio \(C_{\text{ P }}/C_{\text{ S }}=\kappa _S/\kappa _{\text{ P }}=1.87\). Single-frequency examples for this first model problem are computed with \(f=2z\times 10^4\) (\(z\in {\mathbb {N}}\)), which corresponds to \(\omega = 4\pi z\times 10^4\) and \(\kappa _{\text{ P }} = 21.4z\). These parameters are not motivated by any particular application, but the ratio \(C_{\text{ P }}/C_{\text{ S }}\) is typical for a wide range of solid materials.
Table 1 and Fig. 1 show the errors of the numerical solutions in \( {{\mathcal {F}}_h}\)-norm and relative \(L^2\)-norm with respect to p, where the direct method is employed to solve the discrete system. A fairly coarse mesh \(h=\frac{1}{4}\) when \(\kappa _{\text{ P }}=21.4\) is used. We choose the number p of basis functions from \(p=17\) to \(p=27\).
Figure 1 shows the plot of \(|||\mathbf{u}-\mathbf{u}_h|||_{{\mathcal {F}}_h}\) and err. with respect to \(\frac{log(p)}{p} \), respectively. It highlights two different regimes for increasing p: (i) a preasymptotic region with slow convergence, (ii) a region of faster convergence with a linear plot which verifies the validity of the theoretical results in Theorem 5.5. As stated in Remark 3.14 (see Hiptmair et al. 2011), the convergence order of the approximations with respect to p turns out to be exponential since the analytical solution of the problem can be extended analytically outside the domain.
Table 2 and Fig. 2 show the errors of the numerical solutions in \({{\mathcal {F}}_h}\)-norm and relative \(L^2\)-norm with respect to h.
We can see from Fig. 2 that it displays a linear plot which verifies the validity of the theoretical results in Theorem 5.5. Particularly, due to the best approximation error adopted in the proof of the theoretical estimates, the convergence order of the approximations with respect to h is not exponential but algebraic.
6.2 Wave propagation
For the second example, we study elastic wave propagation through a cube \(\Omega =[0,1]^3\). The exact solution of the problems is a plane wave consisting both \(P-\) and \(S-\) waves:
The directions \(\mathbf{a},\mathbf{b}\) and \(\mathbf{c}\) are chosen so that \(\mathbf{a}\cdot \mathbf{b}=0\) and \(\mathbf{c} = \mathbf{b}\times \mathbf{a}\). This example is chosen because it provides a very simple problem to verify the validity of the theoretical results in Theorems 5.3, 5.4 and test the accuracy of the elastic PWDG for wave propagation.
The material properties of the medium and the frequency of the wave field \(f=0.5z\times 10^4\) (\(z\in {\mathbb {N}}\)) are the same as those in the first test problem. The direction of the wave in all cases is \(\mathbf{a}=(\frac{1.0}{\sqrt{3}},\frac{1.0}{\sqrt{3}},\frac{1.0}{\sqrt{3}})^T\). This choice does not coincide with any of the directions of the plane wave basis functions \(\mathbf{d}_l\). We define the distance \(\theta \) between the exact solution direction \(\mathbf{a}\) and the closest plane wave propagation direction by
The coupling parameter \(\sigma \) is given by (2.5).
Table 3 and Fig. 3 show the errors of numerical solution \(\mathbf{u}_h\) in the \({{\mathcal {F}}_h}\)-norm and the relative \(L^2-\)norm with respect to m. A fairly coarse mesh \(h=\frac{1}{4}\) when \(\kappa _{\text{ P }}=5.35\) is used.
Similar to the first test, Fig. 3 also highlights that the convergence order of the approximations generated by the PWDG method with respect to m turns out to be exponential.
Table 4 shows the errors of numerical solution \(\mathbf{u}_h\) in the \({{\mathcal {F}}_h}\)-norm and the relative \(L^2-\)norm. The results listed in Table 4 indicate that the approximations generated by the plane wave methods possess high accuracy when the mesh size h decreases.
Figure 4 shows the plots of h-convergence orders of the \({{\mathcal {F}}_h}\)-norm errors and the relative \(L^2\)-norm errors, respectively. The plots highlight regions of high-order convergence for decreasing h for the PWDG method.
6.3 The two-dimensional nonhomogeneous problem
To illustrate the effectiveness of the proposed approach for general nonhomogeneous problems, we consider the nonhomogeneous elastic equations whose analytical solution is given by
In this example, the source term \( \mathbf{f}\) does not vanish over the entire computational domain \([0,1]^2\). The material properties of the medium are chosen as follow. \(E = 200\times 10,\nu = 0.3, \rho = 78\), \(f=2z\) and \(\omega =4\pi z\) (\(z\in {\mathbb {N}}\)).
Table 5 and Fig. 5 show the errors of numerical solution \(\mathbf{u}_h\) in the \({{\mathcal {F}}_h}\)-norm and the relative \(L^2-\)norm when h decreases.
Figure 5 highlights regions of high-order convergence for decreasing h for the PWDG–LSFE.
We can also fix the mesh size h, but increase both p and q. The resulting relative \(L^2\) errors of the approximations generated by the PWDG–LSFE method are listed in Table 6.
It can be seen from the above Table that the errors in \(L^2\) relative norm decrease when q increases for the cases of \(m=2,3,4,5\), which verifies the validity of the theoretical results given in Theorem 5.5. Moreover, the optimal value of m is \(m=2\) (rep. 4) when \(q=2\) (rep. \(q=3\)).
Besides, the errors in \(L^2\) relative norm almost stagnate for increasing p. This behavior is not a surprise: as stated in Hu and Yuan (2018), the \(L^2\) errors of \(u_h\) should be mainly determined by \(||u^{(1)}-u^{(1)}_h||_{0,\Omega }\) and may decrease slowly when p increases but q is fixed (unless q also increases), since \(||u^{(1)}-u^{(1)}_h||_{0,\Omega }\) depends on q, instead of p.
Table 7 and Fig. 6 show the the relative \(L^2\)-norm errors of the approximations with large wave numbers generated by the PWDG–LSFE.
Table 7 and Fig. 6 indicate that the approximations generated by the PWDG–LSFE have high accuracy when \(\omega \) increases for the case of the fixed value \(\omega h=2\pi \).
6.4 The three-dimensional nonhomogeneous problem
In this section, we consider the nonhomogeneous elastic equations whose analytical solution is given by
The frequency of the wave field f and \(\omega \) are chosen as follows. \(f=z\) and \(\omega =2\pi z\) (\(z\in {\mathbb {N}}\)). The other material properties of the medium are the same as those in the third test problem.
Table 8 and Fig. 7 show the relative \(L^2\)-norm errors of the approximations when h decreases.
Figure 7 highlights regions of high-order convergence for decreasing h for the PWDG–LSFE.
We can also fix the mesh size h, but increase both p and q. The resulting relative \(L^2\) errors of the approximations generated by the PWDG– method are listed in Table 9.
It can be seen from the above Table that the errors in \(L^2\) relative norm decrease when q increases for the cases of \(m=2,3,4,5\), which verifies the validity of the theoretical results given in Theorem 5.4. Moreover, the optimal value of m is \(m=3\) (rep. 4) when \(q=2\) (rep. \(q=3\)).
Table 10 shows the the relative \(L^2\)-norm errors of the approximations with large wave numbers generated by the PWDG–LSFE.
Table 10 and Fig. 8 indicate that the approximations generated by the PWDG–LSFE have high accuracy when \(\omega \) increases for the case of the fixed value \(\omega h=\pi \).
7 Conclusion
In this paper, combined with local spectral element method, we have extended the PWDG method to discretize the time-harmonic elastic wave propagation problems, and derived error estimates of the numerical solutions in two and three dimensions. Numerical results verify the validity of the theoretical results, and show that the approximate solutions possess high accuracy.
References
Auld B (1973) Acoustic waves and fields in solids, vol 2. Wiley, New York
Buffa A, Monk P (2008) Error estimates for the ultra weak variational formulation of the Helmholtz equation. ESIAM 42:925–940
Cessenat O (1996) Application d’une nouvelle formulation variationnelle aux équations d’ondes harmoniques, Problèmes de Helmholtz 2D et de Maxwell 3D, Ph.D. Thesis, Université Paris IX Dauphine
Cessenat O, Despres B (1998) Application of an ultra weak variational formulation of elliptic pdes to the two-dimensional helmholtz problem. SIAM J Numer Anal 35(1):255–299
Cessenat O, Despres B (2003) Using plane waves as basis functions for solving time harmonic equations with the ultra weak variational formulation. J Comput Acous 11(2):227–238
Cummings P, Feng X (2006) Sharp regularity coefficient estimates for complex-valued acoustic and elastic Helmholtz equations. Math Mod Methods Appl Sci 16:139–160
Du Y, Wu H (2015) Preasymptotic error analysis of higher order FEM and CIP-FEM for Helmholtz equation with high wave number. SIAM J Numer Anal 53(2):782–804
El Kacimi A, Laghrouche O (2009) Numerical modeling of elastic wave scattering in frequency domain by the partition of unity finite element method. Int J Numer Methods Eng 77:1646–1669
El Kacimi A, Laghrouche O (2010) Improvement of PUFEM for the numerical solution of high-frequency elastic wave scattering on unstructured triangular mesh grids. Int J Numer Methods Eng 84:330–350
Feng X, Wu H (2011) hp-discontinuous Galerkin methods for the Helmholtz equation with large wave number. Math Comput 80(276):1997–2024
Gittelson C, Hiptmair R, Perugia I (2009) Plane wave discontinuous Galerkin methods: analysis of the \(h\)-version. ESAIM: Math Model Numer Anal 43:297–331
Graff K (1991) Wave motion in elastic solids. Dover, New York
Guo B, Sun W (2007) The optimal convergence of the h-p version of the finite element method with quasi-uniform meshes. SIAM J Numer Anal 45:698–730
Hetmaniuk U (2007) Stability estimates for a class of Helmholtz problems. Commun Math Sci 5:665–678
Hiptmair R, Moiola A, Perugia I (2011) Plane wave discontinuous Galerkin methods for the 2D Helmholtz equation: analysis of the \(p\)-version. SIAM J Numer Anal 49:264–284
Hiptmair R, Moiola A, Perugia I (2013) Error analysis of Trefftz-discontinuous Galerkin methods for the time-harmonic Maxwell equations. Math Comput 82:247–268
Hiptmair R, Moiola A, Perugia I (2016) Plane wave discontinuous Galerkin methods: exponential convergence of the \(hp-\)version. Found Comput Math 16:637–675
Hu Q, Yuan L (2014a) A weighted variational formulation based on plane wave basis for discretization of Helmholtz equations. Int J Numer Anal Model 11:587–607
Hu Q, Yuan L (2014b) A plane wave least-squares method for time-harmonic Maxwell’s equations in absorbing media. SIAM J Sci Comput 36:A1937–A1959
Hu Q, Yuan L (2018) A plane wave method combined with local spectral elements for nonhomogeneous Helmholtz and time-harmonic Maxwell equations. Adv Comput Math 44:245–275
Huttunen T, Malinen M, Monk P (2007a) Solving Maxwell’s equations using the ultra weak variational formulation. J Comput Phys 223:731–758
Huttunen T, Monk P (2007b) The use of plane waves to approximate wave propagation in anisotropic media. J Comput Math 25:350–367
Huttunen T, Monk P, Collino F, Kaipio J (2004) The ultra-weak variational formulation for elastic wave problems. SIAM J Sci Comput 25:1717–1742
Luostari T (2013) Non-polynomial approximation methods in acoustics and elasticity, Ph.D. thesis, University of Eastern Finland. Available at https://core.ac.uk/download/pdf/19163531.pdf
Luostari T, Huttunen T, Monk P (2013) Error estimates for the ultra weak variational formulation in linear elasticity. ESAIM: Model Numer Anal 47:183–211
Moiola A (2013) Plane wave approximation in linear elasticity. Appl Anal 92:1299–1307
Moiola A, Hiptmair R, Perugia I (2011) Plane wave approximation of homogeneous Helmholtz solutions. Z Angew Math Phys 62:809–837
Monk P (2003) Finite element methods for Maxwell’s equation. Oxford University Press, Oxford
Monk P, Wang D (1999) A least-squares method for the Helmholtz equation. Comput Methods Appl Mech Eng 175:121–136
Peng J, Wang J, Shu S (2018) Adaptive BDDC algorithms for the system arising from plane wave discretization of Helmholtz equations, arXiv:1801.08800v2
Perrey-Debain E, Trevelyan J, Bettess P (2003) P-wave and S-wave decomposition in boundary integral equation for plane elastodynamics. Commun Numer Methods Eng 19:945–958
Perrey-Debain E, Trevelyan J, Bettess P (2003) Use of wave boundary elements for acoustic computations. J Comput Acoust 11:305–321
Riou H, Ladevèze P, Sourcis B (2008) The multiscale VTCR approach applied to acoustics problems. J Comput Acous 16:487–505
Riou H, Ladevèze P, Sourcis B, Faverjon B, Kovalevsky L (2012) An adaptive numerical strategy for the media-frequency analysis of Helmholtz’s problem. J Comput Acous 20:1–26
Sloane N (2000) Tables of spherical codes (with collaboration of R.H. Hardin, W.D. Smith and others) published electronically at http://www2.research.att.com/njas/packings
Yuan L (2019) The plane wave discontinuous Galerkin method combined with local spectral finite elements for the wave propagation in anisotropic media. Numer Math Theory Methods Appl 12:517–546
Yuan L, Hu Q (2019) Error analysis of the plane wave discontinuous Galerkin method for Maxwell’s equations in anisotropic media. Commun Comput Phys 25:1496–1522
Yuan L, Hu Q (2018) Comparisons of three kinds of plane wave methods for the Helmholtz equation and time-harmonic Maxwell equations with complex wave numbers. J Comput Appl Math 344:323–345
Yuan L, Hu Q, Hengbin AN (2016) Parallel preconditioners for plane wave Helmholtz and Maxwell systems with large wave numbers. Int J Numer Anal Model 13(5):802–819
Zhu L, Wu H (2013) Preasymptotic error analysis of CIP-FEM and FEM for Helmholtz equation with high wave number. Part II: \(hp\) version. SIAM J Numer Anal 51:1828–1852
Acknowledgements
The authors wish to thank the anonymous referee for many insightful comments which led to great improvement in the results and the presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Frederic Valentin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
L. Yuan was supported by China NSF under the grant 11501529, Qinddao applied basic research project under grant 17-1-1-9-jch and Scientific Research Foundation of Shandong University of Science and Technology for Recruited Talents. Y. Liu was supported by China NSF under the Grant 11571196 and the Science Challenge Program (no. TZ2018002).
Rights and permissions
About this article
Cite this article
Yuan, L., Liu, Y. A Trefftz-discontinuous Galerkin method for time-harmonic elastic wave problems. Comp. Appl. Math. 38, 137 (2019). https://doi.org/10.1007/s40314-019-0900-y
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40314-019-0900-y
Keywords
- Elastic waves
- Nonhomogeneous
- Local spectral element
- Plane wave discontinuous Galerkin
- Plane wave basis functions
- Error estimates