Abstract
The solution to the elastodynamic equation in the exterior of a polyhedral domain or a screen exhibits singular behavior from the corners and edges. The detailed expansion of the singularities implies quasi-optimal estimates for piecewise polynomial approximations of the Dirichlet trace of the solution and the traction. The results are applied to hp and graded versions of the time domain boundary element method for the weakly singular and the hypersingular integral equations. Numerical examples confirm the theoretical results for the Dirichlet and Neumann problems for screens and for poly- gonal domains in 2d. They exhibit the expected quasi-optimal convergence rates and the singular behavior of the solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Solutions to elliptic and parabolic boundary value problems in polyhedral domains exhibit singularities in a neighborhood of the corners and edges. Numerical approximations by finite or boundary element methods take into account the nonsmooth behavior with local mesh refinements or higher polynomial degrees to recover optimal convergence rates. The resulting h, p and hp methods have been studied for several decades, see e.g. [49] for finite elements and [28] for boundary elements.
For hyperbolic equations in conical or wedge domains the singular behavior of the solution has been clarified by Plamenevskiǐ and collaborators since the late 1990’s [34, 35, 40, 46]. The explicit singular expansions were used by Müller and Schwab to prove optimal convergence rates for a finite element method on algebraically graded meshes for the wave and elastodynamic equations in polygonal domains in \(\mathbb {R}^2\) [42, 43]. Corresponding results for the wave equation in \(\mathbb {R}^3\) were obtained by two of the authors, leading to approximation results for boundary element methods (TDBEM) on graded meshes [21], hp versions [23] and the efficiency of a posteriori error estimates for adaptive refinement procedures [24].
In this article we initiate the study of h, p and hp time domain boundary element methods for the Dirichlet and Neumann problems of elastodynamics in a polyhedral domain \(\Omega \subset \mathbb {R}^n\), \(n=2,3\). Based on the approach by Plamenevskiǐ and singular expansions for the time independent Lamé equation, we obtain a detailed description of the singularities of the solution for the model 3d geometries of a wedge and a cone, as well as 2d polygonal domains. The expansions imply quasi-optimal convergence rates for piecewise polynomial approximations on graded meshes and by hp versions.
To be specific, we formulate the set-up and results for exterior problems. Let \(\Gamma \subset \mathbb {R}^n\), \(n=2,3\), be a screen or closed surface and denote by \(\Omega \) the connected exterior \(\Omega \subset \mathbb {R}^n\) of \(\Gamma \). This article considers the dynamics of a linear elastic body with Lamé parameters \(\lambda ,\mu >0\) and mass density \(\rho \), as described by the time dependent elastodynamic equation
We impose homogeneous initial conditions \({{\textbf {u}}}(0,{{\textbf {x}}}) = \partial _t {{\textbf {u}}}(t, {{\textbf {x}}}) = 0\) and consider either Dirichlet boundary conditions, \({{\textbf {u}}} = {{\textbf {g}}}\), or Neumann boundary conditions involving the traction, \({{\textbf {p}}}({{\textbf {u}}}) = {{\textbf {h}}}\).
To solve (1) numerically, we formulate it as an equivalent time dependent integral equation on \(\Gamma \). For Dirichlet boundary conditions we study
involving the weakly singular integral operator \({\mathcal {V}}\) and the double layer integral operator \({\mathcal {K}}\). \({\mathcal {V}}\) and \({\mathcal {K}}\) are defined from a fundamental solution \({{\textbf {G}}}\) to (1) and its traction \({{\textbf {p}}}_{\pmb {\xi }}({{\textbf {G}}})\)
The Neumann problem is similarly formulated as an equation for the hypersingular integral operator \({\mathcal {W}}\), see (13). The weak formulation of these integral equations is approximated using Galerkin boundary elements \(\pmb {\Phi }_{h,\Delta t} \in \left( V_{\Delta t,q}\otimes X^{-1}_{h,p}\right) ^n\), based on tensor products of piecewise polynomial functions on a quasi-uniform or graded mesh in space and a uniform mesh in time.
The convergence rate of the error is determined by the singularities of the solution of (1) at non-smooth boundary points of the domain \(\Omega \). Near an edge or a cone point of the boundary \(\Gamma \subset \mathbb {R}^3\) we obtain a singular expansion of the solution into a leading part of explicit singular functions plus smoother remainder terms. Expansions in a wedge, respectively a cone, are obtained in (45) and (59): if we treat the variable along the edge as a parameter, the expansion in a wedge reduces to the case of a polygon in 2d, where in a neighborhood of a vertex it takes the form
Here, \((r,\phi )\) are polar coordinates centered at the vertex, the exponent \(\nu ^*\) is determined by the opening angle \(\omega \) at the vertex and by the elastic parameters, and \({{\textbf {u}}}_{0}\), \(\pmb {\phi }_{0}\) are remainder terms of lower order. In particular, for a fixed time t the solution to (1) admits an explicit singular expansion with the same behavior as the time independent Lamé equation.
This asymptotic expansion of the solution \({{\textbf {u}}}\) and the traction \({{\textbf {p}}}({{\textbf {u}}})\) gives rise to quasi-optimal convergence rates in space-time anisotropic Sobolev norms. See (85) for the definition of the Sobolev space \(H^r_\sigma (\mathbb {R}^+,\widetilde{H}^s({\Gamma }))\) and (86) for the definition of the norm \(\Vert \cdot \Vert _{r,s,\Gamma ,*} \). We consider the approximation error of the solution on graded meshes, as defined in (62), in Corollary 5.4a) and the hp version on quasi-uniform meshes in Corollary 5.8a). There the approximation error is determined by an exponent \(\tilde{\alpha }\), which depends on the geometry (wedge, cone) and the elastic parameters, see (68):
Theorem
Let \(\varepsilon >0\) and \(\sigma >0\).
a) Let \(\pmb { \Phi }\) be the solution to the single layer integral equation (2) and \(\pmb { \Phi }_{h,\Delta t}^{\tilde{\beta }} \in \left( V_{\Delta t,q}\otimes X^{-1}_{h,0}\right) ^n\) the best approximation to \(\pmb { \Phi }\) in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\) on a \({\tilde{\beta }}\)-graded spatial mesh with \(\Delta t \lesssim h_1\). Then for \(p=1,2,3,\dots \) \(\Vert \pmb { \Phi }-\pmb { \Phi }_{h, \Delta t}^{\tilde{\beta }}\Vert _{r,-\frac{1}{2}, \Gamma , *} \le C_{{\tilde{\beta }},\varepsilon } h^{\min \{{\tilde{\beta }} \tilde{\alpha }-\varepsilon , \frac{3}{2}\}}\).
b) Let \(\pmb {\Phi }\) be the solution to the single layer integral Eq. (2) and \(\pmb {\Phi }_{h,\Delta t} \in \left( V_{\Delta t,p}\otimes X^{-1}_{h,p}\right) ^n\) the best approximation in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\) to \(\pmb {\Phi }\) on a quasiuniform spatial mesh with \(\Delta t \lesssim h\). Then for \(p=0,1,2,\dots \)
where \(r \in [0,p+1)\) and \(\pmb {\phi }_0 \in {H}^{p+1}_\sigma (\mathbb {R}^+, \widetilde{H}^{\eta }(\Gamma ))^n\) is the regular part of the singular expansion of \(\pmb {p}(\varvec{u})|_\Gamma \).
Corresponding results in the case of a 2d polygon are obtained as a result of the edge problem. Corollaries 5.4b) and 5.8b) contain analogous results for the hypersingular integral equation of the Neumann problem. As the analysis is local on \(\Gamma \), the extension to the single layer and hypersingular integral equations for interior problems is immediate.
Numerical experiments are presented for the weakly singular and hypersingular integral operators in polygonal and crack geometries in \(\mathbb {R}^2\). They achieve the predicted convergence rates on graded meshes and for the hp version. Furthermore, they confirm the leading singular exponents of the solution, and the hp version on a geometrically graded mesh (82) exhibits faster than algebraic convergence.
Boundary element methods for time dependent problems have attracted much recent interest, see [13, 20, 29, 47] for an overview. They are of particular relevance for problems which cannot be reduced to the frequency domain, such as nonlinear problems or problems involving a broad range of frequencies [22]. While their application to elasticity has long been studied in engineering [4], their analysis for elastodynamic scattering and crack problems was initiated by Bécache and Ha Duong in [7, 8]. Recent developments include space-time Galerkin and convolution quadrature methods, fast discretizations [3, 17, 32, 48], as well as more complex elastic behavior [30].
For the time independent Lamé equation in singular domains, such as with a crack, detailed asymptotic expansions have been studied extensively, partly motivated by applications to computing quantities of interest like stress intensity factors, see e.g. [6, 14, 25, 27, 45]. Using such expansions, von Petersdorff [50] derived quasi-optimal error estimates for boundary elements on graded meshes. The hp version on geometrically graded meshes was studied in [39]. Sharp hp-explicit estimates on smooth open surfaces with quasiuniform meshes are due to Bespalov [9], following earlier work of Bespalov and Heuer for the Laplace and Lamé equations [10, 11].
Structure of this article: Section 2 reviews the Dirichlet and Neumann boundary value problems for (1) and their formulation as boundary integral equations in terms of the weakly singular, respectively hypersingular operators. Proposition 2.1 establishes the well-posedness of these equations. The regularity of solutions to the elastodynamic problem is addressed in Sect. 3, see also Appendix B for the theoretical setting used to formulate the results. Taking their traces we get corresponding results for the solutions of the integral equations. In Sect. 3.2 the solution of the elastodynamic problem in a wedge is analyzed, in Sect. 3.3 in a cone. Special consideration is given to 2d problems in Sect. 3.1. The BEM discretization and time integration are discussed in Sect. 4. In Sect. 5 approximation results are derived, both for the h version TDBEM on graded meshes and the hp version. Both a circular wedge and a cone geometry are considered. The 2d case of a polygon corresponds to the theoretical error estimates for the numerical results in Sect. 7. Section 6 discusses algorithmic aspects of the implementation. Appendix A introduces the relevant Sobolev space setting for the error analysis together with the mapping properties of the integral operators and the associated weak formulations. Appendix B describes crucial theoretical ingredients for the analysis of the elastodynamic problem in a wedge and in a cone. In Appendix C we collect some additional auxiliary results for the error analysis.
Notation: For vectors/vector fields (written in bold letters) the operators and norms are understood componentwise and not marked additionally. We write \(f \lesssim g\) provided there exists a constant C such that \(f \le Cg\). If the constant C is allowed to depend on a parameter \(\sigma \), we write \(f \lesssim _\sigma g\).
2 Model problem and boundary integral equations
We consider elastic wave propagation in a Lipschitz domain \(\Omega =\mathbb {R}^n\setminus \overline{\Omega '}\) exterior to the bounded domain \(\Omega '\), with piecewise smooth boundary \(\Gamma = \partial \Omega \), \(n=2\) or 3. As a limiting case, also screen problems in \(\Omega = \mathbb {R}^n\setminus \overline{\Gamma }\) are considered, outside an open arc \(\Gamma \subset \mathbb {R}^2\) or open surface \(\Gamma \subset \mathbb {R}^3\). In the absence of external body forces the displacement field \({{\textbf {u}}}({{\textbf {x}}},t)=(u_1,\dots ,u_n)^{\top }({{\textbf {x}}},t)\), \({{\textbf {x}}}=(x_1,\dots , x_n)^{\top }\in \mathbb {R}^n\), satisfies the elastodynamic equation:
where \(\lambda ,\mu >0\) are the Lamé parameters and \(\varrho \) represents the mass density. Upper dots indicate the derivative with respect to time, and we later in particular consider \(T=\infty \). Using the Hooke tensor \(C_{ih}^{kl}=\lambda \delta _{ih}\delta _{kl}+\mu (\delta _{ik}\delta _{hl}+\delta _{il}\delta _{hk})\), \(i,h,k,l=1, \dots , n\), we rewrite Eq. (3) in components as
We also define the traction \({{\textbf {p}}}=(p_1,\dots ,p_n)^{\top }\) along \(\Gamma \),
where \({{\textbf {n}}}_{{{\textbf {x}}}}\) is the unit normal vector to \(\Gamma \) calculated in \({{\textbf {x}}}\), pointing from \(\Omega \) to \(\Omega '\). To emphasize that \({{\textbf {p}}}\) is defined on \(\Gamma \), we also use the notation \({{\textbf {p}}}|_\Gamma \). Equation (3) is equipped with initial vanishing conditions (5) and a Dirichlet boundary condition on \(\Gamma \), modelling a soft scattering by the boundary:
In addition to (6), also hard scattering is considered, corresponding to a prescribed Neumann boundary condition
We remark that the unknown \({{\textbf {u}}}\) can be written as the sum of two displacements \({{\textbf {u}}}={{\textbf {u}}}_{\texttt{P}}+{{\textbf {u}}}_{\texttt{S}}\) (Chapter V of [18]): the term \({{\textbf {u}}}_{\texttt{P}}\), called primary wave, spreads in \(\Omega \) with phase speed \(c_{\texttt{P}}=\sqrt{(\lambda +2\mu )/\varrho }>0\), while \({{\textbf {u}}}_{\texttt{S}}\), called secondary wave, propagates in \(\Omega \) with phase speed \(c_{\texttt{S}}=\sqrt{\mu /\varrho }>0\).
2.1 Representation formula and direct boundary integral formulation
If pure Dirichlet conditions (6) are imposed, to describe the unknown \({{\textbf {u}}}\) in \(\Omega \times (0,T]\) we consider the following direct integral representation formula:
where the traction \({{\textbf {p}}}\) is unknown on the boundary \(\Gamma \). This formula is compactly written as
with the space-time single layer integral operator \({\mathcal {V}} = (V_{ij})_{i,j = 1}^n\) and the double layer integral operator \({\mathcal {K}} = (K_{ij})_{i,j = 1}^n\).
The second order tensor \({{\textbf {G}}} = (G_{ij})_{i,j = 1}^n\) in formula (8) is the fundamental solution of the considered differential problem: in 2d
while in 3d
Here we set the vector \({{\textbf {r}}}=(r_1,\dots ,r_n)^\top ={{\textbf {x}}}-\pmb {\xi }=(x_1-\xi _1,\dots ,x_n-\xi _n)^\top \), \(r = |{{\textbf {r}}}|\), H is the Heaviside function and \(\delta \) the Dirac distribution.
Exploiting the Dirichlet boundary condition (6), we obtain the following boundary integral equation:
with solution \(\pmb {\Phi } = {{\textbf {p}}}|_\Gamma \). This solution can then be used in the representation formula (8).
In case of hard scattering problems, namely with assigned condition (7), the unknown displacement can be calculated in \(\Omega \) considering the representation formula (8) with the Hooke tensor applied:
where the the displacement \({{\textbf {u}}}\) is unknown on the boundary \(\Gamma \). The related compact notation is
where the operator \(\mathcal {K'}= (K'_{ij})_{i,j = 1}^n\) is the adjoint double layer operator and \({\mathcal {W}}= (W_{ij})_{i,j = 1}^n\) is the space-time hypersingular integral operator.
Letting \({{\textbf {x}}}\in \Omega \) tend to \(\Gamma \) in (12), we obtain the time dependent boundary integral equation
with solution \(\pmb {\Psi } = {{\textbf {u}}}|_\Gamma \) depending on the Neumann condition \({{\textbf {p}}}({{\textbf {u}}})={{\textbf {h}}}\) as prescribed in (7). Therefore, our purpose is the numerical solution of the system (13) through the approximation of \(\pmb {\Psi }\), which can then be used in the representation formula (8).
The Galerkin approximations to the integral Eqs. (11) and (13) are based on their weak formulations. The weak formulation of (11) in the space-time cylinder \(\Sigma \) is given in terms of the bilinear form
Find \(\pmb {\Phi }\in H^1_{\sigma }((0,T],\widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\), such that
for all \(\pmb {\tilde{\Phi }}=(\tilde{\Phi }_1,\dots , \tilde{\Phi }_n)^{\top } \in H^1_{\sigma }((0,T],\widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\).
Similarly, the weak formulation of (13) is given in terms of the bilinear form
Find \(\pmb {\Psi }\in H^1_{\sigma }((0,T],\widetilde{H}^{\frac{1}{2}}(\Gamma ))^n\), such that
for all \(\pmb {\tilde{\Psi }}=(\tilde{\Psi }_1,\dots , \tilde{\Psi }_n)^{\top } \in H^1_{\sigma }((0,T],\widetilde{H}^{\frac{1}{2}}(\Gamma ))^n\).
As in previous works the theoretical analysis requires a \(\sigma \)-dependent weight in the inner product for \(T=\infty \), see (87). Then the boundary integral equation (15) for the Dirichlet problem in the infinite space-time cylinder \(\Gamma \times \mathbb {R}^+\) is well-posed, as follows from the coercivity and continuity of \({\mathcal {V}}\) shown in Appendix A, together with a proper setting of the functional spaces. Corresponding results for the hypersingular operator \({\mathcal {W}}\) in formulation (17) go back to [7, 8], where the 2d case is analyzed. The results easily generalize to 3d, for example, following the arguments in Appendix A.
Proposition 2.1
Let \(\sigma >0\), \(r \in \mathbb {R}\).
a) Assume that \({\textbf{g}} \in H^{r+1}_{\sigma }(\mathbb {R}^+,H^{\frac{1}{2}}(\Gamma ))^n\). Then there exists a unique solution \(\pmb { \Phi } \in H^r_{\sigma }(\mathbb {R}^+,\widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\) of (15) and
b) Assume that \({\textbf{h}}\in H^{r+1}_{\sigma }(\mathbb {R}^+,H^{-\frac{1}{2}}(\Gamma ))^n\). Then there exists a unique solution \(\pmb { \Psi } \in H^{r}_{\sigma }(\mathbb {R}^+,\widetilde{H}^{\frac{1}{2}}(\Gamma ))^n\) of (17) and
The proof for \(r=0\) follows from Proposition A.3 and the mapping properties of \({\mathcal {K}}, {\mathcal {K}}'\), as found in [12]. The result for general r then follows by the result for \(r=0\) by differentiating the equation r times, and complex interpolation for non-integer r.
3 Regularity of solutions to the Dirichlet problem
In this section we obtain precise results for the singular behaviour of the solution to the original initial-boundary value problem of elastodynamics with Dirichlet conditions (4)–(6) for two model geometries, the circular cone and the wedge. The decomposition results for the solution of the differential equation lead (by taking traces) to decompositions also for the solutions of the integral equations in singular terms and more regular remainders. The problem with Neumann conditions can be dealt with by appropriate modifications; therefore this is omitted for brevity. The analysis is local and therefore applies to both exterior and interior problems. While we treat arbitrary polygonal domains in \(\mathbb {R}^2\), an extension to arbitrary polyhedral domains in \(\mathbb {R}^3\) would require the extension of the analysis recalled in Appendix B to general corner singularities. Results in this generality are not currently available in the analysis literature and beyond the scope of this article.
Section 3.1 outlines the asymptotics of solutions near a vertex in a polygonal domain in \(\mathbb {R}^2\), corresponding to the numerical experiments in Sect. 7. It includes a detailed discussion of the singular exponents for both the elastodynamic boundary problem and the scalar wave equation. First, we consider the time-independent case (Proposition 3.1). The results for the time-dependent case in a polygon follow from the analysis for a wedge in \(\mathbb {R}^3\), see Corollary 3.6 in Sect. 3.2, by explicit calculation of the singular exponents and the singular functions. Theorem 3.5 in Sect. 3.2 presents the abstract asymptotic expansion for the solution in a wedge. It turns out that the singular exponents are the same as in the time-independent case, but the coefficients of the singular functions depend additionally on time. The behavior of the solution in a wedge is obtained by applying a partial Fourier transform along the edge and in time. Then the leading term of the resulting system (36) decouples into a 2d elastic system for the plane components of the elastodynamic field and into a scalar inhomogeneous wave Eq. (40) for the z component along the edge. In Theorem 3.3 we therefore recall our results for the wave equation in a wedge. Then we apply Dauge’s approach [15] to the full system (36) with parameter \((\xi ,\tau )\) by inserting the expansions (23) and (30) of the time-independent, elliptic situation. In this way we obtain the expansion (44) and via inverse Fourier transform the expansion (45) for the time-dependent problem.
The solution of the elastodynamic boundary problem in a circular cone is discussed in Sect. 3.3. We consider the elastodynamic system in spherical coordinates. For fixed time t we derive rotationally symmetric solutions (54). Its asymptotic expansion is obtained in Theorem 3.7.
We denote model geometries by \(\mathbb {D}\). For ease of reference to the work of Plamenevskiǐ and coauthors, as well as to Appendix B and to [23], this section adopts some of the notation from the analysis community, rather than the notation commonly found in numerical works. In particular, the \(\sigma >0\) from other sections in the article is here called \(\gamma \), singular exponents \(\lambda _k\) are denoted by \(i\lambda _k\), and the definition of the Fourier transform and its inverse are interchanged.
3.1 Behavior of solutions in a 2d sector
In the 2d case, for the inhomogeneous elastodynamic equation in a polygonal interior or exterior domain \( \Omega \), we introduce the radial and tangential components of \(\varvec{u}, u_r=r^{\nu ^*} \varphi _r(\phi , t)\) and \( u_{\phi }=r^{\nu ^*}\varphi _{\phi }(\phi ,t)\) locally near a vertex of interior opening angle \(\omega \). The system then becomes
The time independent solutions of this system with right hand side \((F_r,F_\phi )=(0,0)\) are given by \((\cos (1+\nu ^*)\phi , -\sin (1+\nu ^*)\phi )^T, (\sin (1+\nu ^*)\phi , \cos (1+\nu ^*)\phi )^T, (\cos (1-\nu ^*)\phi , -\bar{\nu }\sin (1-\nu ^*)\phi )^T,(\sin (1-\nu ^*)\phi , \bar{\nu }\cos (1-\nu ^*)\phi )^T \) with \( \bar{\nu }=\frac{3+\nu ^*-4\nu }{3-\nu ^*-4\nu }\) where \(\nu = \frac{\lambda }{2(\lambda +\mu )} \) is the Poisson number.
We briefly review the time independent problem with Dirichlet conditions \(u_r(\pm \omega /2)=u_{\varphi }(\pm \omega /2)=0\): with arbitrary constants A, B, C, D we obtain
and therefore the plane strain condition
Since one can proceed analogously for Neumann boundary conditions one gets the following theorem for the time-independent problem.
Proposition 3.1
Let \(\varvec{f} \in H^{s-1}(\Omega )^2\) and \(s>0\), \(s \notin \textrm{Re}\ \nu ^{*}_{jk} \) with \( \nu ^{*}_{jk} \) as in (25), (26). Then the weak solution \(\varvec{u} \in H^{1}(\Omega )^2\) of the time-independent Eqs. (20), (21) admits with \(C^{\infty }\) cut-off functions \(\chi _{j}\) near the vertex \(t_{j}\) with interior opening angle \(\omega _j\) the decomposition
with a regular part \( \varvec{u}_{0} \in H^{1+s}(\Omega )^2\), \(a_{jk} \in \mathbb {C} \) and the singularity functions
Here the singular exponents \( \nu ^{*}_{jk} \in \mathbb {C} \) with \(\textrm{Re}\ \nu ^{*}_{jk} > 0\) are solutions of the following equations depending on the kind of boundary conditions at the two sides meeting at the corner \( t_j \)
The functions \( \pmb {\varphi }_{jk} \) with the components \(( \varphi _{jk})_r \) in r-direction and \( (\varphi _{jk})_{\phi } \) in \( \phi \)-direction are of the form
with constants \(A, B, C, D \in \mathbb {C} \) depending on the type of boundary conditions at the corner and the constants
As remarked in [26], p. 73, for Dirichlet boundary conditions there exist two leading real roots of the equation (25) in (0, 1).
Remark 3.2
For a crack, i.e. \(\omega _j=2\pi \) for Dirichlet and Neumann boundary conditions \(\nu ^{*}_{j1}=1/2 \).
More generally, we can use (25) to study the leading singular exponents for the solution of the Dirichlet problem near an angle \(\omega \) when \(\omega \rightarrow 0\), respectively \(\omega \rightarrow 2\pi \).
To do so, note that for the leading singular exponent \(\nu ^{*} = \nu ^{*}_{j1}\)
for \(\omega \rightarrow 0\), or
We conclude \(\nu ^* = \frac{c}{\omega } + O(1)\), where c satisfies \(\frac{\sin c}{c} = \frac{1}{k^*}\).
For the corresponding exterior angle, \(\omega = 2 \pi - \varepsilon \) with \(\varepsilon \rightarrow 0\), we set \(\nu ^* = \frac{1}{2} + \tilde{\nu }(\varepsilon )\). Then \(\sin \nu ^*\omega = \sin \left( (\frac{1}{2}+\tilde{\nu }(\varepsilon ))(2\pi - \varepsilon )\right) \), and Taylor expanding for \(\varepsilon , \tilde{\nu }(\varepsilon ) \rightarrow 0\) leads to
On the other hand, from Eq. (25) \(\sin \nu ^*\omega = \frac{\nu ^*}{k^{*}}\sin \omega = - \frac{\nu ^*}{k^{*}}\varepsilon + o(\varepsilon )\), so that \(-2\pi \tilde{\nu }(\varepsilon ) + \frac{\varepsilon }{2} = - \frac{1}{2k^{*}}\varepsilon + o(\varepsilon )\), or \(\tilde{\nu }(\varepsilon ) = \frac{\varepsilon }{4\pi }\left( 1 + \frac{1}{k^*}\right) + o(\varepsilon )\) and
Figure 10 numerically illustrates \(\nu ^*\) as a function of \(\omega \), when \(\lambda =2\), \(\mu =1\) and \(\rho =1\). It confirms the above analysis.
In the next section we also require a corresponding description of the singularities for the scalar wave equation [23]
in \(\Omega \) with Dirichlet or Neumann boundary conditions.
Again, we first describe the singularities for the well-studied time independent problem. In this case near the vertex \(t_{j}\) with interior opening angle \(\omega _j\) the weak solution u admits the decomposition
with \(C^{\infty }\) cut-off functions \(\chi _{j}\), a regular part \( u_{0} \in H^{1+s}(\Omega ), a_{jk} \in \mathbb {C} \) and the singularity functions
where \(\nu _{jk} = \frac{k\pi }{\omega _j}\). For Dirichlet boundary conditions \(\varphi _{jk,D} = \sin (\nu _{jk}\phi )\), \(k \in \mathbb {N}\), while for Neumann boundary conditions \(\varphi _{jk,N} = \cos (\nu _{jk}\phi )\), \(k \in \mathbb {N}_0\).
3.2 Behavior of solutions in a wedge
The behavior of solutions in a wedge of opening angle \(\omega \), \(\mathbb {D} = \mathbb {K} \times \mathbb {R}\) with \(\mathbb {K}= \{(r,\phi ) : r>0, \ \phi \in (0,\omega )\}\), generalizes the discussion in Sect. 3.1 from dimension \(n=2\) to \(n=3\). As long as we discuss this model geometry with only one non-smooth subset \(\{\textbf{0}\}\times \mathbb {R}\) of \(\partial \mathbb {D}\), we omit the index numbering the non-smooth subsets (j in Sect. 3.1).
We here consider the elastodynamic system (3) in the space-time cylinder \({\mathcal {Q}} = \mathbb {D} \times \mathbb {R}\) with a right hand side \(\varvec{f}\)
Applying a partial Fourier transform \({\mathcal {F}}_{(z,t)\mapsto (\xi ,\tau )}\) along the edge and in time, the equation becomes
posed in the sector \(\mathbb {K}\).
More precisely, the operator L here takes the form
The Fourier transform \({\mathcal {F}}_{(z,t)\mapsto (\xi ,\tau )}\) transforms the system into
With \(\zeta ^2 = (\mu \xi ^2 - \varrho \tau ^2)^{-1}\), we obtain
The principal part \( L_0 \) of the operator M in (36) is
and (33) becomes
We study this equation in rescaled variables \(\varvec{v}(\tilde{x},\tilde{y}) = \hat{\varvec{u}}(x,y,\xi ,\tau )\), with \((\tilde{x},\tilde{y}) = \zeta ^{-1}(x,y)\) and \(\tilde{r}= |(\tilde{x},\tilde{y})| = r/\zeta \), and in this way obtain uniform assertions for \(\hat{\varvec{u}}\) in \(\zeta \) below.
The leading term \( L_0 \) decomposes into the Laplace operator \(\Delta _{x,y}\) (in direction of the edge) and into the two-dimensional elasticity operator \(\Delta ^{*}_{x,y}\) on the cross section \(\mathbb {K}\). \(L_0\) decouples the equations for the components \((v_{x}, v_{y})\) and \(v_{z}\) into a 2d elastic system for the plane components of \({\textbf{v}}\), discussed in Sect. 3.1, and a scalar problem for the z-component, both posed in the sector \(\mathbb {K}\).
The singularities for M result from the singularities of \( L_0 \) plus correction terms of higher regularity, which come from the differential operators of lower order. For time-independent problems this is shown in Proposition 16.8 and equation (5.9) in [15], as well as in [50].
For the Dirichlet problem the singularities for \(L_0\) follow directly from Proposition 3.1, giving for \(\hat{\varvec{u}}\) the expansion (43) for \(p=0\). Here the singularities \(\varvec{S}_{k,0} = (0,0,S_k)\), \(\varvec{S}^*_{k,0}\) are those in (31), respectively (24). (Recall that we omit the index j numbering the vertices in Sect. 3.1.)
The singularities for the whole operator M are then obtained as follows. First, one moves the lower-order terms in the operator to the right hand side of the differential equation and repeats this process.
The additional correction terms \(\varvec{S}_{k,\ell }\), \(\varvec{S}^*_{k,\ell }\) for \(\ell >0\) are defined recursively as
and correspondingly for \(\varvec{S}_{k,\ell }^*\). Here \(R = (R_\Delta ^*, R_\Delta )\) is the solution operator for \(\Delta \), respectively \(\Delta ^*\).
More explicitly, we obtain
and we make the ansatz \(\varvec{S}_{k,1} = (\varvec{B}_{k,1}, A_{k,1})\) with a scalar function \(A_{k,1}\) in the edge direction and a two-component vector \(\varvec{B}_{k,1}\) for the components in the cross section.
Then
Corresponding formulas can be derived for the higher singular functions \(\varvec{S}_{k,\ell }\). They satisfy \(\varvec{S}_{k,\ell }^*(r,\phi ) \sim r^{\nu _k^*+\ell } \pmb {\varphi }_{k,\ell }^*(\phi )\), respectively \(\varvec{S}_{k,\ell }(r,\phi ) \sim r^{\nu _k+\ell } \pmb {\varphi }_{k,\ell }(\phi )\), with \(\pmb {\varphi }_{k,0}= (0,0,\varphi _{k})\) from (31). This is abstractly described in [40], p. 495, relying on Proposition 3.9 in [44], and explicit formulas are not easily derived for the wedge. While only the leading terms are given explicitly, and confirmed in our numerical experiments, the general structure of the singular functions is sufficient for the error analysis in Sect. 5.
For the time-dependent situation we first consider the third equation, for \(u_z\) in (34), which up to operators of lower order in x and y is simply the wave equation in the wedge geometry \(\mathbb {D} \times \mathbb {R}\). As above, \(\mathbb {D} = \mathbb {K} \times \mathbb {R} \subset \mathbb {R}^3\) and \(\mathbb {K} \) is the sector \(\{(r,\phi ) : r>0, \ \phi \in (0,\omega )\}\). Using (35) in cylindrical coordinates and taking the Fourier transform \({\mathcal {F}}_{(z,t)\mapsto (\xi ,\tau )}\), we obtain
up to lower order terms. Here k is the third component of \(\varvec{k}_{(\zeta )}\). To find the behavior of the solutions of (40), after rescaling \(\tau ,\xi \) it suffices to study the wave equation
The approach in [23] makes an ansatz
with \(\eta ^2 = \xi ^2 - \tau ^2\) and reduces (40) for \(\hat{k}=0\) to a Bessel differential equation:
For the edge with Dirichlet or Neumann boundary conditions, \(i\lambda _{-k} = \frac{\pi k}{\omega }\). The solution of the Bessel differential equation can be given explicitly in terms of a Bessel function as in [23]:
The resulting asymptotic expansion obtained for \(\rho _{-k}(t\tau )\) in Theorem 14 from [21] corresponds to the expansion of \(\hat{u}_z\). Theorem B.10 describes the general singular behavior in the space-time cylinder \({\mathcal {Q}} = \mathbb {D}\times \mathbb {R}\). The above arguments lead to the following more precise expansion in Theorem 3.3 for the wedge \(\mathbb {D}= \mathbb {K}\times \mathbb {R}\), involving the following special solutions \(w_{-k,B}\) of the Dirichlet (\(B=D\)) or Neumann (\(B=N\)) problem with \(\varphi _{k,B}\) as at the end of Sect. 3.1 (see [36, (3.5)], respectively [35, (4.4)]):
We recall the following theorem for the wave equation in the wedge, which gives an expansion of the solution in terms of singular functions (Theorem 14 in [21], \(n=3\), \(d=1\) in their notation).
Theorem 3.3
( [21]) Let \(\beta \le 1\) and \(\gamma >0\), \((f,g) \in {\mathcal {R}}H_{\beta , q}({\mathcal {Q}}, \gamma )\), and assume that the line \(\textrm{Im} \ \lambda = \beta -1\) does not intersect the spectrum of \({\mathcal {A}}_B\) from (107). Further, define
with \(A = \{0\}\) for \(\beta \le 0\) and \(A=\emptyset \) otherwise.
If u is a strong solution to the inhomogeneous wave equation with homogeneous Dirichlet or Neumann boundary conditions (\(B=D\), resp. N), then near the edge u is of the form
assuming that \(i \lambda _{j,B} = \nu _{j,B} = \frac{\pi }{\omega } \not \in \mathbb {N}_0\). Here \(N_j\) sufficiently large, and depending on the boundary conditions
The regularity of \(c_{j,B}\) is determined by the right hand side, and the remainder \(\check{u}_0\) is less singular than u, in the sense that \(\Vert \check{u}_0\Vert _{DV_{\beta , q}({\mathcal {Q}}; \gamma )} \lesssim \Vert (f,g)\Vert _{{\mathcal {R}}H_{\beta , q}({\mathcal {Q}}, \gamma )}\) for the Dirichlet problem, with analogous results in the Neumann case. We refer to Appendix B for the definition of the weighted spaces \(DV_\beta ({\mathcal {Q}}, \gamma ), {\mathcal {R}}H_{\beta , q}({\mathcal {Q}}, \gamma )\). If \(i \lambda _{j,B} \in \mathbb {N}_0\), additional terms \(r^{i \lambda _{j,B}} \log (r)\) appear.
While Theorem 3.3 is for homogeneous Dirichlet or Neumann boundary conditions, it is readily translated into inhomogeneous boundary conditions, as for elliptic problems [52, Section 5]: For Dirichlet boundary conditions \(u = g\), choose an extension \(\widetilde{g}\) in the domain with Dirichlet trace g. The function \(U = u-\widetilde{g}\) then satisfies homogeneous Dirchlet boundary conditions \(U=0\). Theorem 3.3 then assures an asymptotic expansion of U, and therefore of \(u = U + \widetilde{g}\).
An analogous argument applies to Neumann boundary conditions, using an extension \(\widetilde{g}\) with the given Neumann trace.
In particular, we mention the leading term of the expansion for the Dirichlet problem:
Corollary 3.4
Let \(\gamma >0\), \(\beta <1\), and assume that \(i\lambda _1 = \frac{\pi }{\omega }\) is the only eigenvalue in the strip \(\beta -1 \le \textrm{Im}\ \lambda \le 0\). Then for \((f,g) \in {\mathcal {R}}V_\beta ({\mathcal {Q}},\gamma )\) the solution \(u \in DV_1({\mathcal {Q}},\gamma )\) of the inhomogenous boundary problem admits the representation
where \(u_0 \in DV_\beta ({\mathcal {Q}},\gamma )\), \(\gamma >\gamma _0\), \(\chi \) is a cut-off function, X as in (123), and
Here,
and w solves (41) with Dirichlet boundary condition \(w|_{\partial \mathbb {K}} =0\).
Near the edge, the function w behaves like \(r^{\frac{\pi }{\omega }}\varphi (\phi )\) from (113).
Now the expansions (23) and (30) can be applied to \(\varvec{v}\) in (38), yielding with \((\tilde{x},\tilde{y}) = \zeta ^{-1}(x,y)\) and \(\tilde{r}= |(\tilde{x},\tilde{y})| = r/\zeta \),
with \(\varvec{v}_{0} \in H^{s+1}(K)^n\), \(a_{k,(\zeta )}, a^{*}_{k,(\zeta )}\in \mathbb {C}\) for fixed \(\zeta \). Here, as before, the singular functions \(\varvec{S}_{k,\ell }\) are to leading order those of the wave equation, in the third component \((0,0,S_{k})\), while \(\varvec{S}_{k,\ell }^*\) are to leading order those of the 2d elastostatic system (31). In the following we consider the case of large \(\zeta \) (see [15]). We transform (43) back in the coordinates \( \xi ,x,y\). When \(\varvec{S}_{k,\ell }\) and \(\varvec{S}^*_{k,\ell }\) have no log term, then \(\varvec{S}_{k,\ell }(\zeta ^{-1}r,\phi ) = \zeta ^{-\nu _k - \ell }\varvec{S}_{k,\ell }(r,\phi )\) and correspondingly for \(\varvec{S}^*_{k,\ell }\). Using that \(\hat{c}_{k,(\zeta )} = \zeta ^{-\nu _k} a_{k,(\zeta )}\) and \(\hat{c}_{k,(\zeta )}^*= \zeta ^{-\nu _k^*} a_{k,(\zeta )}^*\) we obtain \(a_{k,(\zeta )} \sum _{0 \le \ell<s-\textrm{Re}\ \nu _{k}} \varvec{S}_{k,\ell }(\zeta ^{-1}r,\phi ) = \sum _{0 \le \ell <s-\textrm{Re}\ \nu _{k}} \zeta ^{-\ell }\hat{c}_{k,(\zeta )} \varvec{S}_{k,\ell }(r,\phi )\) and correspondingly for \(\varvec{S}^*_{k,\ell }\). With \(\varvec{v}(\tilde{x},\tilde{y}) = \hat{\varvec{u}}(x,y,\xi ,\tau )\) and \(\varvec{v}_0(\tilde{x},\tilde{y}) = \hat{\varvec{u}}_0(x,y,\xi ,\tau )\) we obtain
In the notation of Appendix B, we obtain by applying the inverse Fourier transform \({\mathcal {F}}_{(\xi ,\tau ) \mapsto (z,t)}^{{-1}}\)
Here, \(\hat{c}_{k,\ell } = \zeta ^{-\ell }\hat{c}_{k,(\zeta )}\), \(\hat{c}_{k,\ell }^*= \zeta ^{-\ell }\hat{c}_{k,(\zeta )}^*\), with \(\zeta ^2 = (\mu \xi ^2 - \varrho \tau ^2)^{-1}\) as before. As in Appendix B, the smoothing operator X is given by
for \(\hat{c} = \hat{c}_{k,\ell }, \hat{c}_{k,\ell }^*\). The regularity of \(\varvec{u}_0\) and of the edge functions \( c_{k,p}, c_{k,p}^{*} \) follows corresponding to the case of the scalar wave equation in Theorem 3.3, generalizing the results of [23] to elastodynamics.
Altogether, we obtain the following theorem, formulated corresponding to Theorem B.10 in Appendix B.
Theorem 3.5
Let \(\gamma >0\), \(q \in \mathbb {N}_0\), \(\beta \in (\beta _{r+1},\beta _r)\) with \(0<\beta _r-\beta <1\), \((\varvec{f},\varvec{g}) \in {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\) and assume that the orthogonality condition (128) holds for all \(\nu _k, \nu _k^*\) with \(\textrm{Re}\ \nu _k, \textrm{Re}\ \nu _k^* \in [1-\beta _r, 1-\beta _1]\). Then the solution of the initial-boundary value problem (4)–(6) admits the expansion (45) in terms of the singular functions \(\varvec{S}_{k,\ell }\), \(\varvec{S}^*_{k,\ell }\) constructed from (31), respectively (24). Further, in (45) \(s<\textrm{min}\{\textrm{Re}\ \nu _k, \textrm{Re}\ \nu _k^*\}+{\ell }+1+\beta \) for all k and \(\varvec{u}_0 \in DV_{\beta ,q}({\mathcal {Q}}, \gamma )\).
By considering the coordinate z along the edge as a parameter, we recover and refine the results for polygonal domains in 2d from Sect. 3.1. More precisely, we obtain for the solution of the elastodynamic problem (20)-(21):
Corollary 3.6
Let \(\gamma >0\), \(q \in \mathbb {N}_0\), \(\beta \in (\beta _{r+1},\beta _r)\) with \(0<\beta _r-\beta <1\), \((\varvec{f},\varvec{g}) \in {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\) and assume that the orthogonality condition (128) holds for all \(\nu _k^*\) with \(\textrm{Re}\ \nu _k^* \in [1-\beta _r, 1-\beta _1]\). Then in the neighborhood of a vertex \(t_j\) with interior opening angle \(\omega _j\) the solution to (4) - (6) admits the expansion
where \(s<\textrm{min}\{\textrm{Re}\ \nu _k, \textrm{Re}\ \nu _k^*\}+{\ell }+1+\beta \) for all k and \(\varvec{u}_0 \in DV_{\beta ,q}({\mathcal {Q}}, \gamma )\).
Corollary 3.6 recovers Theorem 3.5 in [43]; note that the sum in k in both (45) and (46) implicitly includes multiplicities of the eigenvalues.
We finally recall embedding theorems \(DV_{\beta ,q}({\mathcal {Q}}, \gamma ) \subset H^r_\sigma (\mathbb {R}^+, H^s(\mathbb {D}))^n\) [42]. Corollary 3.6 then says that given parameters \(\beta \), \(\gamma \), the solution may be written as the sum of a remainder term \(\varvec{u}_0 \in DV_{\beta ,q}({\mathcal {Q}}, \gamma ) \subset H^r_\sigma (\mathbb {R}^+, H^s(\mathbb {D}))^n\) and, depending on the order s, a finite number of singular functions \(\varvec{S}_{k,\ell }^*\).
3.3 Behaviour of solutions in a circular cone
We consider the elastodynamic system in spherical coordinates \((r,\theta , \phi )\) with origin at the apex. It takes the form
with
Note that we include a force term \(\varvec{f}=(f_r, f_\phi , f_\theta )^{\top }\) in the domain.
We denote by \(\varvec{x}\) the point with spherical coordinates \((r,\phi ,\theta )\). The local orthonormal basis vectors are
and we write the components of an arbitrary vector \(\varvec{u}\) in this basis as \(\varvec{u} = u_r \varvec{e}_r + u_\theta \varvec{e}_\theta + u_\phi \varvec{e}_\phi \).
Any vector field symmetric under rotations in \(\phi \) will take the form
First we consider the system (47)–(49) for fixed t. Beagles and Sändig [6] use Papkovich-Neuber potentials to construct solutions from the ansatz
with Poisson’s ratio \(\nu \) and where the components of \(\varvec{B} = (B_1,B_2,B_3)^{\top }\) and \(B_4\) are harmonic functions. In spherical coordinates (52) becomes
Set \(B_1=B_2 =0\),
where \(P_\alpha (\cos (\theta ))\) are Legendre functions of the first kind and \(\alpha >0\) will be specified below. Substituting this ansatz into (53) gives the general form of the rotationally symmetric solutions to (47)– (49) at fixed time t,
with \((A_{11}(\alpha ,\theta ), A_{21}(\alpha ,\theta ))= ((3-4\nu - \alpha )P_\alpha \cos (\theta ), P_\alpha ' \cos (\theta ) \sin (\theta ) - (3-4\nu ) P_\alpha \sin (\theta ))\) as well as \((B_{11}(\alpha ,\theta ),B_{21}(\alpha ,\theta )) = ( -(\alpha +1) P_{\alpha +1}, \sin (\theta ) P_{\alpha +1}')\).
Using the Mellin transform with respect to r,
the system (47)–(49) with Dirichlet boundary conditions transforms into a parameter-dependent boundary value problem. The exponents \(\alpha \) are given by the roots of the equation
where \(\omega \) is the opening angle. The vanishing of the determinant is equivalent to the following transcendental equation for \(\alpha \):
Imposing homogeneous Dirichlet conditions on \(\textbf{u}\) in (54) determines the coefficients \(c_1\), \(c_2\) and hence the corresponding eigenfunction. For numerical results for \(\alpha _\ell \) and their dependence on \(\omega \), see [6].
Now we apply the partial Fourier transform \({\mathcal {F}}_{t\rightarrow \tau }\) to the system (47) - (49) and obtain the following parameter dependent Lamé equation in the cone \(\mathbb {K}\) with opening angle \(\omega \),
with Dirichlet boundary condition \(\hat{{{\textbf {u}}}}|_{\partial \mathbb {K}} = \hat{\varvec{g}}\). Let \(\hat{\varvec{f}} \in H^0_\beta (\mathbb {K})^n\), \(\hat{\varvec{g}} \in H^{3/2}_\beta (\partial \mathbb {K})^n\) Assume that no eigenvalues of the pencil \({\mathcal {A}}_D\) from (107), more concretely no roots of (55), lie on the lines
We apply the framework of Appendix B, especially Section B.1. We observe that the eigenfunctions \(A_{11}(\alpha , \theta )\), \(A_{21}(\alpha , \theta )\), \(B_{11}(\alpha , \theta )\), \(B_{21}(\alpha , \theta )\) with \(\alpha \) from (55) for the homogeneous Dirichlet problem are just the eigenfunctions \(\pmb {\varphi }_\ell ^{(k)}\) in the power-like solution (109) of the homogeneous Dirichlet boundary value problem (110), (111). Now Eq. (56) with Dirichlet boundary conditions is just (102), (103) in Appendix B. We can therefore apply Theorem B.5 in Appendix B with \(i \lambda _\ell = \alpha _\ell \) and \(\textrm{Re}\ \alpha _\ell = -\textrm{Im}\ \lambda _\ell \). Now if \(h< \textrm{Re}\ \alpha _\ell < h'\), then there holds the following result as a consequence of Theorem B.5 (with inhomogeneous Dirichlet data \(\textbf{g}\)): the solution of (47)–(49) has the expansion
with \(\hat{\varvec{u}}_0 \in DH_{\beta '}(\mathbb {K},\tau )\), \(\varvec{u}_\ell ^{(k,j)}\) as in (54) with \(\alpha = \alpha _\ell \) a root of (55) and \(h< \textrm{Re}\ \alpha _\ell < h\). The sum extends over the index k of the roots \(\alpha _\ell \). The coefficients \(\hat{c}^{(k,j)}_\ell \) in the expansion (58) can be computed from the results by Maz’ya and Plamenevskiǐ, see [6].
Taking an inverse Fourier transform from \(\tau \) to t, the results by Matyukevich and Plamenevskiǐ [40] in Sect. B give through Theorem B.10 the following result, using the function spaces in (125), (126):
Theorem 3.7
Let \(\gamma >0\) and \(\beta \in (\beta _{r+1},\beta _r)\) with \(0<\beta _r-\beta <1\), \((\varvec{f},\varvec{g}) \in {\mathcal {R}}V_\beta ({\mathcal {Q}},\gamma )\) and assume that the orthogonality condition (128) holds for all \(\alpha _\ell \) with \(\textrm{Re}\ \alpha _\ell \in [\frac{1}{2}-\beta _1, \frac{1}{2}-\beta _r]\). Then the solution of (47)–(49) with Dirichlet condition \(\varvec{u}|_{\partial {\mathcal {Q}}} = \varvec{g}\) admits an expansion
where \(\varvec{u}_0 \in DH_\beta ({\mathcal {Q}}, \gamma )\), with \(\varvec{u}_\ell ^{k,j}\) from (54) and the variable coefficients \(\tilde{c}_\ell ^{k,j}\) as in Theorem B.10. The sum in \(\ell \) is over all \(\alpha _\ell \) with \(\textrm{Re}\ \alpha _\ell =\frac{1}{2}-\beta _r\), while the sum over k, j extends over all the generalized eigenfunctions \(\varvec{u}_\ell ^{k,j}\) of the form (54) corresponding to \(\alpha _\ell \).
Analogous to Corollary 3.6 for the wedge, Theorem 3.7 for the cone says that the solution may be written as the sum of a remainder term \(\varvec{u}_0 \in DV_\beta ({\mathcal {Q}}, \gamma ) \subset H^r_\sigma (\mathbb {R}^+, H^s(\mathbb {D}))^n\) and, depending on the order s, a finite number of singular functions \(\varvec{u}_\ell ^{k,j}\).
4 BEM discretization
To solve the energetic weak formulations (15) and (17) in a discretized form, we consider a uniform decomposition of the time interval [0, T] with time step , \(N_{\Delta t}\in \mathbb {N}^{+}\), generated by the \(N_{\Delta t}+1\) times \(t_{n}=n\Delta t\), \(n=0,\ldots ,N_{\Delta t}\). We define the corresponding space \({V_{\Delta t,s}}\) of piecewise polynomial functions of degree s in time (continuous and vanishing at \(t=0\) if \(s\ge 1\)).
For the space discretization in 2d, we introduce a boundary mesh constituted by a set of straight line segments \({\mathcal {T}}=\left\{ e_1,... ,e_M \right\} \) such that \(h_i:=length(e_i)\leqslant h\), \(e_i\cap e_j=\emptyset \) if \(i\ne j\) and \(\cup _{i=1}^M \overline{e}_i=\overline{\Gamma }\) if \(\Gamma \) is polygonal, or a suitably fine approximation of \(\Gamma \) otherwise. In 3d, we assume that \(\Gamma \) is triangulated by \({\mathcal {T}}=\{e_1,\cdots ,e_{M}\}\), with \(h_i:=diam(e_i)\leqslant h\), \(e_i\cap e_j=\emptyset \) if \(i\ne j\) and if \(\overline{e_i}\cap \overline{e_j} \ne \emptyset \), the intersection is either an edge or a vertex of both triangles.
On \({\mathcal {T}}\) we define \({\mathcal {P}}_p\) as the space of polynomials of degree p, and consider the spaces of piecewise polynomial functions
and
The Galerkin approximations of (15), (17) corresponding to these discrete spaces read, with \(B_{D/N,\Sigma }\) as in (14), (16):
Find \(\pmb {\Phi }_{h,\Delta t} \in \left( {V_{\Delta t,s_p}}\otimes X^{-1}_{h,p}\right) ^n\) such that
for all \(\pmb {\tilde{\Phi }}_{h,\Delta t} \in \left( {V_{\Delta t,s_p}}\otimes X^{-1}_{h,p}\right) ^n\).
Find \(\pmb {\Psi }_{h,\Delta t}\in \left( {V_{\Delta t,s_q}}\otimes X^{0}_{h,q}\right) ^n\) such that
for all \(\pmb {\tilde{\Psi }}_{h,\Delta t} \in \left( {V_{\Delta t,s_q}}\otimes X^{0}_{h,q}\right) ^n\).
Remark 4.1
Due to the continuity and coercivity of the bilinear forms (15) (Proposition A.3), respectively (17) [7], the discretized Eqs. (60), respectively (61), admit a unique solution. Stability and a priori error estimates for the numerical error follow as in [5]. The intention of this article is to show that the use of graded meshes and of higher-order polynomials leads to improved approximation rates for the solution. This is the subject of Sect. 5.
In this article we consider the approximation on quasiuniform and \(\tilde{\beta }\)-graded meshes, for a constant \(\tilde{\beta }\ge 0\). To define \(\tilde{\beta }\)-graded meshes on the interval \([-1,1]\), by symmetry it suffices to specify the nodes in \([-1,0]\). There we let
for \(k=1,\ldots ,N_l\). We denote by h the size of the longest interval and by \(h_1 = x_1-x_0\) the size of the smallest interval. For the square \([-1,1]^2\), the nodes of the \(\tilde{\beta }\)-graded mesh are tuples of such points, \((x_k,x_l),~k,l=1,\ldots , N_l\). For \(\tilde{\beta }=1\) we recover a uniform mesh.
For general polyhedral geometries graded meshes can be locally modeled on these examples. In particular, on the circular screen of radius 1, for \(\beta =1\) we take a uniform mesh with nodes on concentric circles of radius \(r_k=1-\frac{k}{N_l}\) for \(k=0,\ldots ,N_l-1\). For the \(\tilde{\beta }\)-graded mesh, the radii are moved to \(r_k=1-(\frac{k}{N_l})^{\tilde{\beta }}\) for \(k=0,\ldots ,N_l-1\). While the triangles become increasingly flat near the boundary, their total number remains proportional to \(N_l^2\).
The global mesh size h of a graded mesh is defined to be the diameter of the largest element. The diameter of the smallest element is of order \(h^{\tilde{\beta }}\).
Examples of the resulting 2-graded meshes on the square and the circular screens are depicted in Fig. 1a.
We also consider geometrically graded meshes on \(\Gamma \). To define them on the reference interval \([-1,1]\) and with a refinement parameter \(\sigma \in (0,1/2]\), in \([-1,0]\) we let \(x_0=-1\),
for \(k=1,\ldots ,N_l\), and we specify corresponding nodes in [0, 1] by symmetry. For the hp version the polynomial degree p increases linearly from \(\partial \Gamma \): \(p=\lfloor \mu k \rfloor \) in \([x_k, x_{k+1}]\) for a given \(\mu >0\).
5 Approximation results for Dirichlet and Neumann traces
This section splits into three subsections. In Sect. 5.1 we consider the time-dependent elastodynamic problem in an exterior Lipschitz domain \(\Omega \subset \mathbb {R}^n\setminus \overline{\Omega '}\), where \(\Omega '\) has a piecewise smooth boundary with curved, non-intersecting edges, respectively cone points. Using the results from Sect. 3, we see that the solution admits an explicit singular expansion with the same singular behavior in the spatial variables as the time independent Lamé equation. This behavior is then used to analyze the error of piecewise polynomial approximations on a graded mesh in Sect. 5.2, respectively hp approximations on a quasi-uniform mesh in Sect. 5.3.
5.1 Statement of regularity results
We first consider a circular wedge (Fig. 2), leading to the regularity result in Proposition 5.1. The case of a circular cone (Fig. 3) is then discussed, leading to Proposition 5.2.
For the exterior of a circular wedge with opening angle \(\omega \) and edge \(\{(x_1,x_2,0) \in \mathbb {R}^3 : {x_1^2+x_2^2}= 1\}\), in a neighborhood of the edge we use local cylindrical coordinates \((r,\phi ,z)\) as in Sect. 3.2: the distance to the edge is given by \(r=|1-\sqrt{x_1^2+x_2^2}|\), \(\phi \) is the polar angle, while the edge variable z is the azimuthal angle in the \(x_1 - x_2\)-plane, along the equator, \(\tan (z)= \frac{x_2}{x_1}\). For \(\omega \rightarrow 2\pi ^-\), the wedge degenerates into the circular screen \(\{(x_1,x_2,0) \in \mathbb {R}^3 : {x_1^2+x_2^2}\le 1\}\). The geometry of the wedge and its discretization by a graded mesh are illustrated in Fig. 2. As in [53], an analogous expansion to Theorem 3.5 for the solution of the elastodynamic Eq. (3) also holds for curved edges, with the same leading singular term \(r^{\nu ^*}\).
For the Dirichlet problem (\(B=D\)), respectively the Neumann problem (\(B=N\)), assume that the spectrum \(\sigma ({\mathcal {A}}_B)\) of the pencil \({\mathcal {A}}_B\) (from (107) and its special case (108)) is constant on the edge and that there exists \(\beta \in \mathbb {R}\) such that \(\{\lambda \in \mathbb {C} : \textrm{Im} \ \lambda = \beta -1\} \cap \sigma ({\mathcal {A}}_B) = \emptyset \).
Using Sect. 3 and Appendix B we can show the following regularity result for the boundary traces of the solution:
Proposition 5.1
a) Let \(\gamma >0\), \(q \in \mathbb {N}_0\) and \(\nu ^*\) the leading singular exponent, which is the minimum between \(\frac{\pi }{\omega }\) and the minimal root of (25). Let \((\varvec{f},\varvec{g}) \in {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\) and assume that the orthogonality condition (128) holds. Then the Neumann trace of the solution \({{\textbf {u}}}\) of the Dirichlet problem (3), (6) with right hand side \(\varvec{f}\), Dirichlet data \(\varvec{g}\) and initial conditions (5) satisfies
Here, \(b_i\) is smooth for smooth data and \(\phi _{i,0}\) is a less singular remainder.
b) Let \(\gamma >0\), \(q \in \mathbb {N}_0\) and \(\nu ^*\) the leading singular exponent, which is the minimum of \(\frac{\pi }{\omega }\) and the minimal root of (26). Assume that \(i\lambda _1 = \nu ^*\) is the only eigenvalue in the strip \(\beta -1 \le \textrm{Im}\ \lambda _1 \le 0\). Let \((\varvec{f},\varvec{h}) \in {\mathcal {R}}V_{\beta ,q-1}({\mathcal {Q}},\gamma )\) and assume that the orthogonality condition (128) holds. Then the Dirichlet trace of the solution \({{\textbf {u}}}\) of the Neumann problem (4), (7) with right hand side \(\varvec{f}\), Neumann data \(\varvec{h}\) and initial conditions (5) satisfies
Here, \(a_i\) is smooth for smooth data and \(u_{i,0}\) is a remainder which is less singular in the variable r.
Proof
a) First we note that for the Dirichlet problem with \({{\textbf {u}}}|_{\Gamma } = 0\) we locally have the regularity estimate in Proposition B.7 by use of a partition of unity (see Proposition 9.3, (160) in [40]). The corresponding estimate for the solution of the inhomogeneous problem is estimate (159) in Proposition 9.3, [40]. Here, for curved edges, one introduces local charts in a neighborhood of the edge, to obtain a problem with variable coefficients in a wedge \(\mathbb {D} = \mathbb {D}_j\) in the j-th coordinate chart. First one uses a function \((y,z) \mapsto \zeta ^{(j)}(y,z) \in C^\infty (\mathbb {D}_j)\) which is independent of z and, for sufficiently small \(\delta >0\), \(\zeta ^{(j)}=1\) for \(|y|<\delta \) and \(\zeta ^{(j)} = 0\) for \(|y|>2\delta \). Set \(\zeta ^{(j)}_\tau (y,z) = \zeta ^{(j)}(|\tau |y,z)\). Then one glues the functions \(\zeta ^{(j)}_\tau \) together with a partition of unity. In the proof of (122) one replaces \(\chi _\tau \) by the map \((y,z) \mapsto \eta (z)\zeta ^{(j)}_\tau (y,z)\) supported in a small neighborhood of \(z=0\), and \(\eta =1\) near \(z=0\). Compared to Proposition B.7 some additional terms arise from the differentiation of the cut-off functions in z. This differentiation does not increase the order of growth in \(|\tau |\). Therefore, with a sufficiently large constant \(\gamma _0>0\) and \(\gamma >\gamma _0\) in Proposition B.7, we can remove these additional terms from the estimate. The expansion (129) in Theorem B.10 is thereby also obtained for curved edges, and expression (64) follows by taking traces.
Smoother data \(\varvec{f}\), \(\varvec{g}\) lead to a smoother remainder term in the expansion (129).
b) The proof for the Neumann problem is analogous. The relevant regularity estimates may be found in Proposition 9.4 in [40]. \(\square \)
We now consider the elastodynamic equations in the exterior of a cone \(\mathbb {K}\) with vertex at \(r=0\), as illustrated in Fig. 3.
For the Dirichlet problem (\(B=D\)), respectively the Neumann problem (\(B=N\)), assume that the spectrum \(\sigma ({\mathcal {A}}_B)\) of the pencil \({\mathcal {A}}_B\) (from (107) and its special case (108)) is constant on the edge and that there exists \(\beta \in \mathbb {R}\) such that \(\{\lambda \in \mathbb {C} : \textrm{Im} \ \lambda = \beta -\frac{1}{2}\} \cap \sigma ({\mathcal {A}}_B) = \emptyset \).
Using Sect. 3.3 and Appendix B we can show the following result near the vertex of the cone for the boundary traces of the solution in spherical coordinates:
Proposition 5.2
a) Let \(\gamma >0\), \(q \in \mathbb {N}_0\). Assume that \(i\lambda _1 = \alpha \) is the only eigenvalue of the pencil \({\mathcal {A}}_D\) in the strip \(\beta -\frac{1}{2} \le \textrm{Im}\ \lambda _1 \le 0\). Let \((\varvec{f},\varvec{g}) \in {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\) and assume that the orthogonality condition (128) holds. Then the Neumann trace of the solution \({{\textbf {u}}}\) of the Dirichlet problem (3), (6) with right hand side \(\varvec{f}\), Dirichlet data \(\varvec{g}\) and initial conditions (5) satisfies
Here, \(b_i\) is smooth for smooth data and \(\phi _{i,0}\) a less singular remainder.
b) Let \(\gamma >0\), \(q \in \mathbb {N}_0\). Assume that \(i\lambda _1 = \alpha \) is the only eigenvalue of the pencil \({\mathcal {A}}_N\) in the strip \(\beta -\frac{1}{2} \le \textrm{Im}\ \lambda _1 \le 0\). Let \((\varvec{f},\varvec{h}) \in {\mathcal {R}}V_{\beta ,q-1}({\mathcal {Q}},\gamma )\) and assume that the orthogonality condition (128) holds. Then the Dirichlet trace of the solution \(\varvec{u}\) of the Neumann problem (4), (7) with right hand side \(\varvec{f}\), Neumann data \(\varvec{h}\) and initial conditions (5) satisfies
Here, \(a_i\) is smooth for smooth data and \(u_{i,0}\) a less singular remainder.
Proof
a) First one notices that locally for the cone \(\mathbb {K}\) the estimate (106) for the Dirichlet problem holds, see also Proposition 9.1, (150) in [40]. Taking traces of the resulting expansion (59) gives (67). As in the case of a wedge (Proposition 5.1 and Theorem B.10), using the analogue of (106) for smoother data \(\varvec{f}\), \(\varvec{g}\), we can derive expansion (66) by taking the boundary traction \(p_i({{\textbf {u}}})\) of the decomposition (129) of the solution of the Dirichlet boundary value problem of the elastodynamic equations.
b) For the Neumann problem, Proposition 9.2 in [40] gives an estimate analogous to (106) for \(\gamma>\gamma _0>0\) sufficiently large. Again one derives an expansion for the solution like in Theorem B.10, and takes the trace. \(\square \)
For both the wedge and the cone, we may assume, after possibly expanding \(u_{i,0}\) and \(\phi _{i,0}\) further in (65), (64), respectively (67), (66), that the regular part \(u_{i,0}\) belongs to \(H^{3}\) in space and \(\phi _{i,0}\) belongs to \(H^{1}\) in space. Corresponding expansions then also hold for the solutions \(\pmb {\Psi }\) and \(\pmb {\Phi }\) to the integral equations (11), respectively (13).
To simplify notation, for a domain in \(\mathbb {R}^3\) with both wedge and cone singularities we define
where we recall that \(\nu ^*\) denotes the leading singular exponent at the edge (the minimum of \(\frac{\pi }{\omega }\) and the minimal root of (26)), while \(\alpha \) is the leading singular exponent at the cone (the leading eigenvalue of the pencil \({\mathcal {A}}_{D/N}\)). For a polygonal domain in \(\mathbb {R}^2\), we set \(\tilde{\alpha } = \textrm{Re}\ \nu ^*\). Note that \(\nu ^* = \frac{1}{2}\) for a screen in \(\mathbb {R}^3\), respectively a crack in \(\mathbb {R}^2\).
5.2 Approximation on graded meshes
We use the regularity results from the beginning of this section to deduce approximation properties on graded meshes:
Theorem 5.3
Let \(r\ge 0\) and \(\varepsilon >0\). a) Let \(\varvec{ u}\) be a strong solution to the homogeneous elastodynamic equation (3) with inhomogeneous Dirichlet boundary conditions \(\varvec{ u}|_\Gamma = \varvec{ g}\), with \(\varvec{ g}\) smooth. Further, let \(\pmb { \Phi }_{h,\Delta t}^{\tilde{\beta }}\in \left( {V_{\Delta t,q}}\otimes X^{-1}_{h,0}\right) ^n\) be the best approximation to \(\varvec{ p}(\varvec{ u})\) in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\) on a \({\tilde{\beta }}\)-graded spatial mesh with \(\Delta t \lesssim h_1\). Then \(\Vert \varvec{ p}(\varvec{ u})|_\Gamma -\pmb { \Phi }_{h, \Delta t}^{\tilde{\beta }}\Vert _{r,-\frac{1}{2}, \Gamma , *} \le C_{{\tilde{\beta }},\varepsilon } h^{\min \{{\tilde{\beta }} \tilde{\alpha }-\varepsilon , \frac{3}{2}\}}\).
b) Let \(\varvec{ u}\) be a strong solution to the homogeneous elastodynamic equation (3) with inhomogeneous Neumann boundary conditions \(\varvec{ p}(\varvec{u})|_\Gamma = \varvec{ h}\), with \(\varvec{ h}\) smooth. Further, let \(\pmb { \Psi }_{h,\Delta t}^{\tilde{\beta }} \in \left( {V_{\Delta t,q}}\otimes X^{0}_{h,1}\right) ^n\) be the best approximation to \(\varvec{ u}|_\Gamma \) in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{\frac{1}{2}-s}(\Gamma ))^n\) on a \({\tilde{\beta }}\)-graded spatial mesh with \(\Delta t \lesssim h_1\). Then \(\Vert \varvec{ u}|_\Gamma -\pmb { \Psi }_{h, \Delta t}^{\tilde{\beta }}\Vert _{r,\frac{1}{2}-s, \Gamma , *} \le C_{{\tilde{\beta }},\varepsilon } h^{\min \{{\tilde{\beta }}(\tilde{\alpha }+s)-\varepsilon , \frac{3}{2}+s\}}\), where \(s \in [0,\frac{1}{2}]\).
Recall that \(\Vert \cdot \Vert _{r,\pm \frac{1}{2}, \Gamma , *}\) denotes the norm on \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{\pm \frac{1}{2}}(\Gamma ))^n\), as in Appendix A, and that h is the diameter of the largest element in the graded mesh. Theorem 5.3 implies a corresponding result for the solutions of the single layer and hypersingular integral equations on the surface:
Corollary 5.4
Let \(r\ge 0\) and \(\varepsilon >0\). a) Let \(\pmb { \Phi }\) be the solution to the single layer integral equation (11) and \(\pmb { \Phi }_{h,\Delta t}^{\tilde{\beta }} \in \left( {V_{\Delta t,q}}\otimes X^{-1}_{h,0}\right) ^n\) the best approximation to \(\pmb {\Phi }\) in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\) on a \({\tilde{\beta }}\)-graded spatial mesh with \(\Delta t \lesssim h_1\). Then \(\Vert \pmb { \Phi }-\pmb { \Phi }_{h, \Delta t}^{\tilde{\beta }}\Vert _{r,-\frac{1}{2}, \Gamma , *} \le C_{{\tilde{\beta }},\varepsilon } h^{\min \{{\tilde{\beta }} \tilde{\alpha }-\varepsilon , \frac{3}{2}\}}\).
b) Let \(\pmb { \Psi }\) be the solution to the hypersingular integral Eq. (17) and \(\pmb { \Psi }_{h,\Delta t}^{\tilde{\beta }} \in \left( {V_{\Delta t,q}}\otimes X^{0}_{h,1}\right) ^n\) the best approximation to \(\pmb { \Psi }\) in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{\frac{1}{2}-s}(\Gamma ))^n\) on a \({\tilde{\beta }}\)-graded spatial mesh with \(\Delta t \lesssim h_1\). Then \(\Vert \pmb { \Psi }-\pmb { \Psi }_{h, \Delta t}^{\tilde{\beta }}\Vert _{r,\frac{1}{2}-s, \Gamma , *} \le C_{{\tilde{\beta }},\varepsilon } h^{\min \{{\tilde{\beta }}(\tilde{\alpha }+s)-\varepsilon , \frac{3}{2}+s\}}\), where \(s \in [0,\frac{1}{2}]\).
Indeed, the solutions to the integral equations are given by \(\pmb {\Psi } = {{\textbf {u}}}|_\Gamma \) in terms of the solution \({{\textbf {u}}}\) which satisfies traction conditions \(\textbf{p}({{{\textbf {u}}}})|_\Gamma = {{\textbf {g}}}\), respectively \(\pmb {\Phi } = {{\textbf {p}}}({{\textbf {u}}})|_\Gamma \) in terms of the solution \({{\textbf {u}}}\) which satisfies Dirichlet conditions \({{\textbf {u}}}|_\Gamma =\varvec{f}\).
The proof extends the arguments for the wave equation in [21], where \({\nu ^*} = \frac{1}{2}\). It uses the decompositions from Sect. 5. In the approximation a cone is locally mapped by affine transformations onto a square, as in Fig. 4. Further, the following approximation properties in 1d are crucial. They may be found in [50, Satz 3.7, Satz 3.10].
Lemma 5.5
Let \(\varepsilon >0\), \(a \in \mathbb {C}\) with \(\textrm{Re}\ a>0\) and \(s \in [-1, -\textrm{Re}\ a+\frac{1}{2})\). Then there holds with the piecewise constant interpolant \( \Pi _{r}^{0} r^{-a}\) of \( r^{-a}\) on a \(\tilde{\beta }\)-graded mesh
Lemma 5.6
Let \(\varepsilon >0\), \(a \in \mathbb {C}\) with \(\textrm{Re}\ a>0\) and \(s \in [0, \textrm{Re}\ a+\frac{1}{2})\). Then there holds with the linear interpolant \(\Pi _{r}^{1} r^{a}\) of \( r^{a}\) on a \(\tilde{\beta }\)-graded mesh
Proof of Theorem 5.3
(a), wedge singularity: Approximating \(\textbf{p}(\textbf{u})\) on a rectangular mesh \(\overline{\Gamma }_h = \bigcup \overline{\Gamma }_j\), we obtain with the triangle inequality and the approximation properties in the time variable:
Now, we use the decomposition (64) for \(\textbf{p}({{{\textbf {u}}}})\) and consider the singular and regular parts separately. For the second sum, we use the singular expansion of each component,
For the first term we deduce from Lemma C.2
From Lemma 5.5 we have \(\Vert r^{{\nu ^*}-1} - \Pi _rr^{{\nu ^*}-1}\Vert _{ -\frac{1}{2}} \lesssim h^{{\tilde{\beta }}\textrm{Re}\ {\nu ^*} -\varepsilon }\) and \(\Vert \Pi _t b_i(\phi ,z,t) - \Pi _t \Pi _z b_i(\phi ,z,t)\Vert _{r, \varepsilon - \frac{1}{2} } \lesssim h^{3/2-\varepsilon } \Vert \Pi _t b_i\Vert _{r, H^1}\), by the approximation properties in z.
Finally, with Lemma C.4 and Lemma C.1, in the anisotropic rectangle R with sidelengths \(h_1\), \(h_2\) in the \(x_1\), respectively \(x_2\) directions:
Note that the approximation error for the smooth term is of higher order. By summing over all rectangles \(\Gamma _j\) of the mesh of the screen and all components, we conclude that \(\Vert \textbf{p}({{{\textbf {u}}}}) - \Pi _x \Pi _t \textbf{p}({{{\textbf {u}}}})\Vert _{r, -\frac{1}{2}, \Gamma , *} \lesssim h^{{\tilde{\beta }} \textrm{Re}\ {\nu ^*}-\varepsilon }\) if \(\Delta t \le \min \{h_1,h_2\}\).
(a), cone singularity: To discuss the approximation of \(\textbf{p}(\textbf{u})\) in the cone geometry, for simplicity, we let \(\Gamma \) be the square \(\tilde{R}=[0,1]^{2}\). Figure 4 shows how to reduce the mesh on the cone to this case by an affine map, with the exception of a small number of triangular elements.
For the rectangular elements, the approximation of the singular function follows closely the proof in [21], and we present it below for the convenience of the reader.
For the additional triangular elements in Fig. 4b with linear basis functions, the crucial observation is that their angles are independent of h, leading to a shape-regular mesh. In particular, the quotient \(\rho \) of the radii of the smallest circumscribed to the largest inscribed circle remains bounded and the expected interpolation inequalities hold: For the linear interpolant p of a function f determined by the vertices of a triangle T of circumscribed radius \(\le h\), one has
Here, \(s\in [0,1]\) and the constant \(C_0\) only depends on \(\rho \) and s. The respective proofs for the regular part \(\pmb {\phi }_{0}\) and the singular function \(r^{\lambda -1} b_i\) in this way directly apply to the arising triangles.
As the approximation of the regular part \(\pmb {\phi }_0\) in the expansion (66) has already been considered in the proof for the circular wedge, it remains to analyze the approximation of the vertex singularity in (66).
In the following we approximate the corner singularity:
In every space-time element we estimate
As \(b_i\) is smooth in time, the first term \(\Vert r^{\alpha -1} b_i(\phi ,\theta ,t) - \Pi _t r^{\alpha -1} b_i(\phi ,\theta ,t)\Vert \) can be estimated using standard approximation properties in time and is neglible for small \(\Delta t\). \(\Pi _t b_i(\phi ,\theta ,t)\) is of the same form as the function \(b_i\) in the elliptic case [28]. One may therefore adapt the elliptic approximation results to \(\Vert (1-\Pi _{r,\phi }) r^{\alpha -1} \Pi _t b_i(\phi ,\theta ,t)\Vert \). This is then summed over all elements. We consider
Let \( \Pi _t b_i(\phi ,\theta ,t) = \sum \limits _{j} t^{j} b_{i,j}(\phi ,\theta )\) and \( f_{j}(r,\phi )=r^{\alpha -1} b_{i,j}(\phi ,\theta )\) on \([t_{k},t_{k+1})\).
With \( p_{j}|_{R_{kl}} = \sum \limits _{j} \frac{t^{j}}{h_{k}h_{l}} \int \limits _{R_{kl}} f_{j}(x,y) dy dx\) one obtains from (132)
The individual summands are estimated for different ranges of l, k:
Estimate for \(k\geqslant 2,\; l\geqslant 2\): Note for \(k\geqslant 2,\; x\in [x_{k-1},x_k]\) there holds \(\vert h_k\vert \le {\tilde{\beta }} 2^{{\tilde{\beta }}\tilde{\gamma }}h\, x^{\tilde{\gamma }}\) with \(\tilde{\gamma } =1-\frac{1}{{\tilde{\beta }}}>0\). Therefore, if \( \Delta t \le h_{k} \) for all k
and
As \( |\partial _1(r^{\alpha -1} \Pi _t b_i ) | \lesssim r^{\alpha -2} \tilde{b}_i(\phi , \theta , t)\) for some \(\tilde{b}_i\) square-integrable in space, and \( \max \{ x^{\tilde{\gamma }} , y^{\tilde{\gamma }} \} \le r^{\tilde{\gamma }}\), the right hand side of (69) is finite if
Therefore
provided \( \Delta t \le h_{k}\) for all k.
Estimate for \(k=1,\, l>1\) (analogously \(k>1,\, l=1\)): With \( f(x,y) = r^{\alpha -1} b_i(\phi ,\theta )\)
Proceed as in (69) to see that also this term is bounded for \({\tilde{\beta }} > \frac{3}{2 (\alpha +\frac{1}{2})}\).
Estimate for \(k=1,\, l=1\): \(r^{\alpha -1}\in L^2(R_{11})\) because \(\alpha >0\). Now \(\Vert (1-\Pi _{r,\phi }) r^{\alpha -1} \Vert _{L^2(R_{11})} \lesssim \Vert r^{\alpha -1}\Vert _{L^2(R_{11})}\), by the \(L^2\)-stability of \(\Pi _{r,\phi }\), and
The second term is \( \le h^{\alpha }\). For the first
Replacing g by \(g-p\), p the \( H^{-r}(\mathbb {R}^{+},H^{0}(R_{11}))\)-projection of g, we obtain for \(\Delta t \le h_{1} \):
The first factor is bounded by \(h_{1}^{\alpha }\), while the second factor is bounded by \(h_{1}\). We conclude
The assertion follows by noting that \(h_1 = h^{\tilde{\beta }}\).
(b), wedge singularity: For the approximation of \(\textbf{u}\) a key ingredient is Lemma C.5. Proceeding as above, using the expansion (65) one estimates the i-th component on every rectangle R of the mesh:
For the first term we note with Lemma C.3, with \(\Pi _{x} = \Pi _{r,z}\),
From the approximation properties in space note that
and, from Lemma 5.6,
Each component of the regular part \({{\textbf {u}}}_0\) in the expansion (64) may be approximated as in [21, Theorem 18]: We let \(\textbf{q}\in S_h^{\tilde{\beta }}\) denote the interpolant of \({{\textbf {u}}}_0\) in space and time. On \(\tilde{R}:=[0,1] \times [0,1]\), decomposed into rectangles \(R_{jk}:=[x_{j-1},x_{j}] \times [y_{k-1},y_{k}]\) with side lengths \( h_{j},h_{k}\),
and
Here we have used \(h_{k} \le {\tilde{\beta }} \ h\) and recall that we do not indicate the time interval in the norm when it is \(\mathbb {R}_+\). Interpolation yields \(\Vert {{\textbf {u}}}_0 -\textbf{q}\Vert _{r,\frac{1}{2},\tilde{R}} \lesssim \max \{h, \Delta t\}^{3/2}\Vert {{\textbf {u}}}_0\Vert _{r, 3,\tilde{R}}\).
To approximate each component of the singular part, we set \( f_{1}(z,t):= a_i(\phi ,z,t)\), \(f_{2}(r) := r^{{\nu ^*}}\) and \(q(x,t) := q_1(z,t)q_2(r)\) with piecewise linear interpolants \(q_j\) of \(f_j\). Hence for \(0\le s<1\)
Using the approximation results for \(r^{\nu ^*}\) in Lemma 5.6, we conclude
The approximation of the singular function on the cone closely follows the proof for the traction \({{\textbf {p}}}({{\textbf {u}}})\) in part a) above. For the wave equation the details are presented in [21]. \(\square \)
The approximation argument extends from rectangular to triangular elements as in [50].
The results for the approximation of the edge singularity in \(n=3\) translate into corresponding results for a linear crack in \(n=2\). In particular, in Fig. 6 we observe the predicted rates for \({\tilde{\beta }}=1,2,3\), when \({\nu ^*}=\frac{1}{2}\), and in Fig. 12 for \({\nu ^*} = 0.5372\).
5.3 Approximation by hp methods
We use the regularity results from the beginning of this section to deduce approximation properties of the hp version on quasi-uniform meshes:
To state the main result for the approximation error of hp-methods, recall from (68) that \(\tilde{\alpha } = \min \left\{ \textrm{Re}\ \nu ^*, \textrm{Re}\ \alpha + \frac{1}{2}\right\} \).
Theorem 5.7
Let \(r\ge 0\) and \(\varepsilon >0\). a) Let \(\varvec{u}\) be a strong solution to the homogeneous elastodynamic Eq. (3) with inhomogeneous Dirichlet boundary conditions \(\varvec{u}|_\Gamma = \varvec{g}\), with \(\varvec{g}\) smooth. Further, let \(\pmb {\Phi }_{h,\Delta t} \in \left( {V_{\Delta t,p}}\otimes X^{-1}_{h,p}\right) ^n\) be the best approximation in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\) to the traction \(\varvec{p}(\varvec{u})|_\Gamma \) on a quasiuniform spatial mesh with \(\Delta t \lesssim h\). Then for \(p=0,1,2,\dots \)
where \(r \in [0,p+1)\) and \(\pmb {\phi }_0 \in {H}^{p+1}_\sigma (\mathbb {R}^+, \widetilde{H}^{\eta }(\Gamma ))^n\) is the regular part of the singular expansion of \(\varvec{p}(\varvec{u})\).
b) Let \(\varvec{u}\) be a strong solution to the homogeneous elastodynamic Eq. (3) with inhomogeneous Neumann boundary conditions \(\varvec{p}(\varvec{u})|_\Gamma = \varvec{h}\), with \(\varvec{h}\) smooth. Further, let \(\pmb {\Psi }_{h,\Delta t}\in \left( {V_{\Delta t,p}}\otimes X^{0}_{h,p}\right) ^n\) be the best approximation in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{\frac{1}{2}-s}(\Gamma ))^n\) to the Dirichlet trace \(\varvec{u}|_\Gamma \) on a quasiuniform spatial mesh with \(\Delta t \lesssim h\). Then for \(p=1,2,3,\dots \)
where \(r \in [0,p)\) and \(\varvec{u}_0 \in {H}^{p}_\sigma (\mathbb {R}^+, \widetilde{H}^{\eta }(\Gamma ))\) is the regular part of the singular expansion of \(\varvec{u}\).
Theorem 5.7 implies a corresponding result for the solutions of the single layer and hypersingular integral equations on the surface:
Corollary 5.8
Let \(r\ge 0\) and \(\varepsilon >0\). a) Let \(\pmb {\Phi }\) be the solution to the single layer integral Eq. (11) and \(\pmb {\Phi }_{h,\Delta t} \in \left( {V_{\Delta t,p}}\otimes X^{-1}_{h,p}\right) ^n\) the best approximation in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{-\frac{1}{2}}(\Gamma ))^n\) to \(\pmb {\Phi }\) on a quasiuniform spatial mesh with \(\Delta t \lesssim h\). Then for \(p=0,1,2,\dots \)
where \(r \in [0,p+1)\) and \(\pmb {\phi }_0 \in {H}^{p+1}_\sigma (\mathbb {R}^+, \widetilde{H}^{\eta }(\Gamma ))^n\) is the regular part of the singular expansion of \(\pmb {\Phi }\).
b) Let \(\pmb {\Psi }\) be the solution to the hypersingular integral Eq. (17) and \(\pmb {\Psi }_{h,\Delta t} \in \left( {V_{\Delta t,p}}\otimes X^{0}_{h,p}\right) ^n\) the best approximation in the norm of \({H}^{r}_\sigma (\mathbb {R}^+, \widetilde{H}^{\frac{1}{2}-s}(\Gamma ))^n\) to \(\pmb {\Psi }\) on a quasiuniform spatial mesh with \(\Delta t \lesssim h\). Then for \(p=1,2,3,\dots \)
where \(r \in [0,p)\), \(s\in [0,\frac{1}{2}]\) and \(\varvec{u}_0 \in {H}^{p+1}_\sigma (\mathbb {R}^+, \widetilde{H}^{\eta }(\Gamma ))^n\) is the regular part of the singular expansion of \(\pmb {\Psi } = \textbf{u}|_\Gamma \).
For the proof, we recall [10, Theorem 3.1]:
Lemma 5.9
For \(\varepsilon > 0\), \({\textrm{Re}}\ a<1\) and \(s \in [-1, \min \{-{\textrm{Re}}\ a+\frac{1}{2},0\})\) there holds with the piecewise polynomial interpolant of degree p, \( \Pi _{r}^{p} r^{-a}\), of \( r^{-a}\)
Similarly, for positive powers of r we recall [11, Theorem 3.1]:
Lemma 5.10
For \(\varepsilon > 0\), \(0<{\textrm{Re}}\ a\) and \(s \in [0,{\textrm{Re}}\ a+\frac{1}{2})\) there holds with the piecewise polynomial interpolant of degree \(p+1\), \( \Pi _{r}^{p+1} r^{a}\), of \( r^{a}\)
Proof of Theorem 5.7
For the proof of part a), we focus on the case of the wedge singularity, as the approximation of the singular function on the cone closely follows the proof in [21].
We choose \(\pmb {\Phi }_{h, \Delta t} = \Pi _x^{p} \Pi _t^{{p}}{{\textbf {p}}}({{\textbf {u}}})\). Using the decomposition (64) for \({{\textbf {p}}}({{\textbf {u}}})\), we can separate the singular and regular parts on the rectangular mesh:
In the second term we used \(\Pi _x^{p} = \Pi _z^{p} \Pi _r^{p}\). The first term was estimated using Lemma C.2, and the result is now bounded by
Using Lemma C.2, we obtain for the second and third terms:
We finally note that
from Lemma 5.9, as well as
When the regular part \(\pmb {\phi }_{0}\) in (64) is \(H^\eta \) in space, we obtain from the approximation properties [23]:
Combining these estimates, the asserted estimate follows for \(\Delta t \lesssim h\)
The approximation of the Dirichlet trace \(\varvec{u}|_\Gamma \) to prove part b) follows the above arguments. \(\square \)
The approximation argument extends from rectangular to triangular elements as in [50].
A similar estimate is obtained for \(V_{\Delta t,1}\), with \((\Delta t)^p\) replaced by \(\Delta t\).
6 Algorithmic details
The numerical experiments in Sect. 7 consider the two-dimensional case, therefore in the following we keep the dimension \(n=2\) fixed. We introduce the set \(\left\{ w^{(p)}_m({{\textbf {x}}})\right\} _{m=1}^{M^{(p)}_{h}}\), containing the basis functions of the space \(X^{-1}_{h,p}\), which are piecewise polynomials depending on the Lagrangian polynomials on each element \(e_i\). Similarly, the set \(\left\{ w^{(q)}_m({{\textbf {x}}})\right\} _{m=1}^{M^{(q)}_{h}}\) corresponds to a basis of the functional space \(X^{0}_{h,q}\). For the time discretization we choose piecewise constant basis functions for the approximation of \(\pmb {\Phi }\) (\(s_p=0\)),
and linear basis functions for the approximation of \(\pmb {\Psi }\) (\(s_q=1\)),
Hence, the components of the discrete functions \(\pmb {\Phi }_{h,\Delta t}\) and \(\pmb {\Psi }_{h,\Delta t}\) can be expressed in space and time as
and
The space-time Galerkin Eq. (60) leads to the linear system
where for all \(l=0,..., N_{\Delta t}-1\) the l-th block, the l-th entry of the solution vector and the l-th entry of the right hand side are organized as
Solving (72) by backsubstitution leads to a marching-on-in-time time stepping scheme (MOT). To obtain the generic matrix entry of the sub-block \(E^{(l)}_{{\mathcal {V}}}\), where \(l=n-\widetilde{n}\) is the nonnegative difference between two time indexes, we can perform an analytical integration in the time variables t, obtaining
Further, it is also possible to compute exactly the integration in \(\tau \) of (73), leading to the matrix entry
for all \(i,j=1,2\); \(m,\widetilde{m}=1,...,M^{(p)}_{h}\) and \(n,\widetilde{n}=0,...,N_{\Delta t}-1\). Here, the positive time difference \(t_{\widetilde{n}+\xi }-t_{n+\varsigma }=\Delta _{\widetilde{n}+\xi ,n+\varsigma }\) and the integration kernel \(\nu ^{{\mathcal {V}}}_{ij}\)
For each \(\gamma ={\texttt{P}},{\texttt{S}}\) the specific kernel functions are given by
If \(0\leqslant r\leqslant c_{\texttt{S}}\Delta _{\widetilde{n}+\xi ,n+\varsigma }<c_{\texttt{P}}\Delta _{\widetilde{n}+\xi ,n+\varsigma }\) the kernel \(\nu _{ij}\) has a reduced form:
with space singularity of kind \({\mathcal {O}}\left( \log (r) \right) \) for \(r\rightarrow 0\). This behavior is well-studied for boundary integral operators related to 2D elliptic problems.
The discrete function \(\pmb {\psi }_{i, h, \Delta t}\) in the weak formulation (61) produces the linear system \({E}_{{\mathcal {W}}}\pmb {\beta }={{\textbf {h}}}\), similar to the one obtained by the discretization of the single layer operator \({\mathcal {V}}\). In particular, the same Toeplitz structure is obtained in time, and the matrix entries are computed with analytical integrations in time variables, similar to those adopted in (73), leading to
for all \(i,j=1,2\); \(m,\widetilde{m}=1,...,M^{(q)}_{h}\) and \(n,\widetilde{n}=0,...,N_{\Delta t}-1\). Here, \(t_{\widetilde{n}+\xi }-t_{n+\varsigma }=\Delta _{\widetilde{n}+\xi ,n+\varsigma }\) and the integration kernel \(\nu ^{{\mathcal {W}}}_{ij}\) is
where the coefficients \(D_{\varphi ,c_{\gamma }}^{ij}\), \(D_{c_{\gamma }}^{ij}\) and \(D_{{\widehat{\varphi }},c_{\gamma }}^{ij}\) are defined in the Appendix A.3 of [16]. If \(0\leqslant r\leqslant c_{\texttt{S}}\Delta _{\widetilde{n}+\xi ,n+\varsigma }<c_{\texttt{P}}\Delta _{\widetilde{n}+\xi ,n+\varsigma }\) the kernel \(\nu ^{{\mathcal {W}}}_{ij}\) has a reduced form with singularity \({\mathcal {O}}(r^{-2})\) for \(r\rightarrow 0\).
We also have to take into account that both kernels \(\nu ^{{\mathcal {V}}}_{ij}\) and \(\nu ^{{\mathcal {W}}}_{ij}\) depend on the difference \(c_{\gamma }^2\Delta _{\widetilde{n}+\xi ,n+\varsigma }^2-r^2\) through the Heaviside functions, which lead to a jump at the points where the argument vanishes. To overcome this issue related to the possible presence of one or two wave fronts which can reduce the integration domain in local space variables, we apply to the latter a suitable decomposition. This splitting procedure drastically reduces the number of quadrature nodes required to achieve single precision accuracy [3].
Moreover, to numerically evaluate (74) and (79), we employ specific quadrature rules to treat the singularities of the kernels \(\nu ^{{\mathcal {V}}}_{ij}\) and \(\nu ^{{\mathcal {W}}}_{ij}\) defined in (78) and (80). The interested reader is refered to [3] for a detailed description of the applied quadrature schemes in case of the integration of the weakly singular kernel. For the numerical evaluation of the hypersingular integrals we refer to [16].
7 Numerical results
The numerical experiments in this section consider h, p and hp discretizations for the soft scattering problem (15) (Sects. 7.1-7.2) and the hard scattering problem (17) (Sect. 7.3). They illustrate the singular behavior of the solution near the crack tip and the theoretically expected convergence rates.
Unless stated otherwise, for the h version on uniform or graded meshes piecewise constant basis functions in space and time are chosen to approximate the solution of the Dirichlet problem (60). Piecewise linear functions are used for the Neumann problem (61). The p and hp versions are implemented with higher polynomial degrees in space, up to \(p=7\). The Lamé parameters and the mass density, where it is not otherwise specified, are set to be \(\lambda =2\), \(\mu =1\) and \(\varrho =1\) for all the results presented in this section.
All the numerical results for the Dirchlet problem are computed for a prescribed right hand side \(\widetilde{{{\textbf {g}}}} = ({\mathcal {K}}+1/2) {{\textbf {g}}}\) in (15). While the analysis in Sects. 3 and 5 relies on this form of \(\widetilde{{{\textbf {g}}}}\), as typical in the BEM literature, for numerical convenience we directly prescribe \(\widetilde{{{\textbf {g}}}}\). Analogously, for the Neumann problem we prescribe \(\widetilde{{{\textbf {h}}}} = ({\mathcal {K}}'-1/2) {{\textbf {h}}}\). Also, we set the weight \(\sigma =0\).
7.1 Soft scattering problems on flat obstacle
Example 1
Here we consider the discrete weakly singular integral Eq. (60) on a flat obstacle \(\Gamma =\left\{ (x,0)\in \mathbb {R}\,\vert \, x\in [-0.5,0.5]\right\} \) up to time \(T=1\). The Dirichlet datum corresponds to \(\widetilde{g}_i(x,t)=\widetilde{g}(x,t)=H[t]f(t)x^4\), \(i=1,2\), where the function
is a temporal profile that leads to an exact solution \(\pmb {\Phi }\) which becomes static in time.
In Fig. 5, the horizontal component of the discrete solution \(\pmb {\Phi }\) of (60) is represented on the obstacle \(\Gamma \) at a fixed time instant: as we can observe from the plot, the behaviour of the solution is singular near the crack tips. Tables 1, 2 and 3 contain the values \(\pmb {\alpha }^\top {E}_{{\mathcal {V}}} \pmb {\alpha }\), namely the squared energy norm of the Galerkin solution, as the number of spatial degrees of freedom (DOF) is increased (see Sect. 6 for details about the construction of the vector \(\pmb {\alpha }\) and the matrix \({E}_{{\mathcal {V}}}\)). This number, in particular, corresponds to the \(L^2(\Sigma )\) product at the left hand side of (60) with the discrete solution \(\pmb {\Phi }_{h,\Delta t}\) replacing the test function. For simplicity, in the following tables the number of DOF is indicated only for one component of the vector-valued solution. The values reported in 1 are obtained by applying a p version in space: the boundary is uniformly discretized with segments of length \(h=0.1\), while the degree p of the space basis function is increased. For \(p=1\) we set the time step \(\Delta t=0.025\) and we halve it whenever p increases.
The energy values reported in Table 2 refer to the solution of the problem with the h version: we fix an algebraically graded mesh on the arc as in (62), for given grading parameter \({\tilde{\beta }} = 1,\ 2,\ 3\) and number of mesh points \(2N+1\). In Table 3 the discretization method used is the hp version. We set on \(\Gamma \) the mesh points geometrically graded, as indicated in the rule
with \(\sigma =0.2,\ 0.5\) and, for ease of programming, at each refinement of the mesh the degree p increases uniformly on all the space elements. The parameter \(L_{\sigma }\) in the table represents the length of the smallest segment of the mesh.
The energy is increasing towards a common benchmark value for the tested discretization methods: to illustrate the related convergence rate, in Fig. 6 the squared error in energy norm is plotted with respect to the spatial DOF. We observe that the decay of the error follows a straight line in the logarithmic plots for both the p version and the h version with \({\tilde{\beta }}=1\), corresponding to algebraic convergence with rate 2 (p), respectively 1 (h) in terms of DOF. This means that the error tends to 0 like \(p^{-1}\), respectively \(h^{1/2}\). This convergence rate is expected from Corollary 5.8. Indeed, by Proposition A.3 the energy \(\pmb {\alpha }^\top {E}_{{\mathcal {V}}} \pmb {\alpha }\) is bounded by the Sobolev norm considered in Corollary 5.8. Analogous results are obtained for the h version with polynomial degrees \(p=1,2\) in space.
On algebraically graded meshes with \({\tilde{\beta }}=2\) and 3 the error similarly decays along a straight line, but of slope \(-{\tilde{\beta }}\) with increasing DOF. In particular, the BEM on the graded mesh (62) with \({\tilde{\beta }}=3\) recovers the optimal convergence order \(h^{3/2}\) expected in the energy norm for smooth solutions, as in Corollary 5.4.
The fastest convergence in Fig. 6 is obtained by the hp version, for which the error decays faster than a straight line for both \(\sigma =0.2,0.5\). The graph of the squared error indicates exponential decay. Convergence is fastest for \(\sigma = 0.2\), which is close to the theoretically optimal \(\sigma \simeq 0.17\). The nodes in this case are more densely clustered near the endpoints of \(\Gamma \) than for \(\sigma =0.5\).
To illustrate the singular behavior of the solution, Fig. 7 plots the horizontal and the vertical components of the approximate \(\pmb {\Phi }\) with respect to the distance r towards the left end of the arc \((-0.5,0)^\top \) for various time instants: one observes that the singular behavior is independent of time, and the components increase as \({\mathcal {O}}(r^{-1/2})\) for \(r\rightarrow 0\). This confirms the discussion in Sect. 3.1. The solution in this figure is obtained from the h version on a 3-graded mesh with 81 nodes.
Example 2
Similar results as in Example 1 are obtained also for other boundary data on a flat obstacle \(\Gamma =\left\{ (x,0)\in \mathbb {R}\,\vert \, x\in [-0.5,0.5]\right\} \). We here set \(\widetilde{g}_i(x,t)=\widetilde{g}(x,t)=H[t]f(t)x\), \(i=1,2\), where the function f(t) is the temporal profile defined in (81). The solution of the problem (60) is again singular at the end points of the arc and, as observed in the previous experiment, the components of \(\pmb {\Phi }\) increase as \({\mathcal {O}}(r^{-1/2})\) when the distance r tends to zero (see Fig. 8).
We again study the decay of the error in energy norm for this new Dirichlet condition, leading to similar considerations for the rate of convergence of the different discretization methods. The spatial and temporal discretization parameters for the h, p and hp version are chosen as in the previous experiment. The results are shown in Fig. 9. The squared error for the h version is \({\mathcal {O}}\left( h^{{\tilde{\beta }}}\right) \) on the algebraically \({\tilde{\beta }}\)-graded mesh, as in Corollary 5.4. The corresponding result for the p version is \({\mathcal {O}}\left( p^{-2}\right) \), in agreement with Corollary 5.8. Faster than algebraic convergence is achieved by the hp version on a geometrically graded mesh.
7.2 Soft scattering problems on polygonal obstacles
In the following we consider the weakly singular integral equation (15) on different types of closed obstacles \(\Gamma \), as shown in Fig. 10b, where the four considered convex polygonal geometries are collected.
Recalling the notation stated in Sect. 2, a closed arc \(\Gamma \) determines a partition of \(\mathbb {R}^2\) made by the bounded interior domain \(\Omega '\), with \(\partial \Omega '=\Gamma \), and its complement \(\Omega =\mathbb {R}^2\setminus \overline{\Omega '}\). From Sect. 3.1 we know that the solution \({{\textbf {u}}}\) in the exterior set \(\Omega \) and near a corner point of \(\Gamma \) locally behaves like a power of the distance r to the vertex:
where \(\omega _{ext}\) is the considered exterior angle (with complement \(\omega _{int}\)) and the exponent \(\nu ^*(\omega _{ext})\) is the smallest solution of the equation (25), namely
with positive real part, where \(k=3-2\lambda /(\lambda +\mu )\). The prefactor \(C_{i,\omega _{ext}}(t)\) is a smooth function in t, independent of r, so the leading singular behaviour does not change with time. The solution \(\pmb {\Phi }={{\textbf {p}}}({{\textbf {u}}})\vert _{\Gamma }\) of the boundary integral Eq. (15) represents the traction at the obstacle and, from the discussion in Sect. 3, its asymptotic behaviour a the vertex can be expressed as
For Lamé parameters \(\lambda =2\), \(\mu =1\) and mass density \(\varrho =1\), Fig. 10(a) shows the exterior and interior exponents, \(\nu ^*(\omega _{ext}) = \nu ^*(2\pi -\omega _{int})\) and \(\nu ^*(\omega _{int})\), as a function of \(\omega _{int}\). Red crosses indicate the exponents \(\nu ^*\) corresponding to the red corners of the polygons depicted on the right of Fig. 10(b), for interior angles \(\frac{7\pi }{24}\) (\(\nu ^*=0.5372\)), \(\frac{\pi }{3}\) (\(\nu ^*=0.5451\)), \(\frac{3\pi }{8}\) (\(\nu ^*=0.542\)) and \(\frac{3\pi }{5}\) (\(\nu ^*=0.6306\)).
Example 3
We consider the Galerkin solution of the weakly singular integral Eq. (60) on the polygons represented in Fig. 10b up to time \(T=1\). In all cases the right hand side imposed is \(\widetilde{g}_1({{\textbf {x}}},t)=0,\,\widetilde{g}_2({{\textbf {x}}},t)=H[t]f(t)100\vert x\vert ^{9.5}\). An example of the solution produced by the boundary condition is in Fig. 10(c), where the vertical component of \(\pmb {\Phi }\) is plotted at the base of the equilateral triangle \(\Gamma _1\). The solution is characterized by a high gradient near the corners on the base. The mesh on each side of polygons \(\Gamma _i\), \(i=1,\ldots ,4\), is algebraically graded towards the corners following (62), for given grading parameter \({\tilde{\beta }} = 1,\ 2,\ 3\). The polygons \(\Gamma _1\) and \(\Gamma _4\), which are both equilateral, are discretized with 80 segments per side, while for \(\Gamma _2\) and \(\Gamma _3\) we use 80 segments on the two sides which are of equal length and 75 and 87 segments on the base, respectively. The time step is chosen as \(\Delta t = 0.00625\) for all experiments.
In Fig. 11, for each geometry the Euclidean norm of \(\pmb {\Phi }\) is plotted with respect to the distance r towards the angle indicated in Fig. 10. We observe that the solution follows the expected behavior \({\mathcal {O}}(r^{-(1-\nu ^*)})\) for all the considered geometries. In particular, the asymptotic behavior for acute corners leads to stronger singularities (\(1-\nu ^*\approx 0.5\)) than for the obtuse angle of the pentagon (\(1-\nu ^*\approx 0.37\)). This confirms the theoretical discussion in Sect. 3.1.
We finally consider the convergence in energy on the polygonal obstacles. In particular, we examine the equilateral triangle \(\Gamma _1\) and report in Table 4 the value of the energy for each level of the space discretization. The energy tends to a benchmark value with increasing DOF (also in this case the number refers to one component of the vector solution), and the squared error in energy norm is shown in Fig. 12. The decay of the squared error in a log scale plot is linear, corresponding to \({\mathcal {O}}(\)DOF\({}^{-2\nu ^*{\tilde{\beta }}})\) in each experiment as in Corollary 5.4.
Example 4
In this example we show numerically that the singular behavior at the corners and the decay of the energy error do not depend on the boundary data imposed at the obstacle. We specifically consider the triangular obstacle \(\Gamma _2\) in Fig. 10b. The solution \(\pmb {\Phi }\) of (60) is calculated for a right hand side with trivial horizontal direction \(\widetilde{g}_1({{\textbf {x}}},t)=0\) and different vertical components \(\widetilde{g}_2({{\textbf {x}}},t)=H[t]f(t)\), \(\widetilde{g}_2({{\textbf {x}}},t)=H[t]f(t)x^4\) and \(\widetilde{g}_2({{\textbf {x}}},t)=100H[t]f(t)\vert x\vert ^{9.5}\). In Fig. 13a, we consider the behavior of the Euclidean norm of \(\pmb {\Phi }\) for these different boundary data, plotted as a function of the distance r to the vertex which is highlighted in red (Fig. 10b, geometry \(\Gamma _2\)). The singular exponent is expected to be \(\nu ^*\simeq 0.542\) for a base angle of \(3\pi /8\). Indeed, we find that, in log scale, the slope of the norm for \(r \rightarrow 0\) is parallel to the dashed line corresponding to \(r^{-(1-0.542)}\) for each of the tested boundary data. In Fig. 13b the vertical component of \(\pmb {\Phi }\) is shown on the base of \(\Gamma _2\) at time \(T=1\), highlighting the singular behavior at the corners.
In Fig. 14 we consider the equilateral triangle \(\Gamma _1\) of 10(b) and study the decay of the error for increasing degrees of freedom for the h version. The number of segments and the time step are the same as in 4. The right hand side is here given by \(\widetilde{g}_1({{\textbf {x}}},t)=0\), \(\widetilde{g}_2({{\textbf {x}}},t)=H[t]f(t)x^4\). An algebraically \({\tilde{\beta }}\)-graded mesh is used on each side, where \({\tilde{\beta }}=1,2\). The energy tends to a benchmark value as the number of degrees of freedom increases, and the squared error in energy norm in a log scale plot decays linearly as \({\mathcal {O}}(\)DOF\({}^{-2\nu ^*{\tilde{\beta }}})\), in agreement with Corollary 5.4.
7.3 Hard scattering problems on flat obstacle
In the following we consider the discrete hypersingular integral Eq. (17) on the obstacle \(\Gamma =\left\{ (x,0)\in \mathbb {R}\,\vert \, x\in [-0.5,0.5]\right\} \) for a time independent Neumann condition. We focus, in particular, on the solution of the discrete problem (61) using h, p and hp versions.
Example 5
We consider Neumann data corresponding to \(\widetilde{h}_i({{\textbf {x}}},t)=\eta _i\), where \(\eta _i\in \mathbb {R}\) is constant for \(i=1,2\). The datum at the boundary is independent of time. Therefore, as time increases, the components \(\Psi _i({{\textbf {x}}},t)\) of the solution tend to the stationary functions
representing the components of the solution for the reference elastostatic Neumann problem with boundary datum \({{\textbf {h}}}_{\infty }({{\textbf {x}}})=\eta _i\). We specifically set \(\eta _i=1\) for \(i=1,2\), so that both components of \(\pmb {\Psi }\) converge to the same elastostatic function \(\Psi _{1,\infty } = \Psi _{2,\infty }\). Two different sets of velocities are considered, \(c_{\texttt{S}}=1,\,c_{\texttt{P}}=2\) and \(c_{\texttt{S}}=1,\,c_{\texttt{P}}=3\).
Figure 15a shows the time history of \(\Psi _1\) and \(\Psi _2\), calculated at the midpoint (0, 0) of \(\Gamma \), for both sets of velocities on the time interval [0, 7.5]. We observe that after an initial transient phase the solution approaches the stationary value (84). In Fig. 15b the vertical component \(\Psi _2\) is plotted on \(\Gamma \) for speeds \(c_{\texttt{P}}=2,3\) at time \(T=7.5\). This time is large enough so that for both problems the numerical solution closely matches the stationary reference solution in (84). For the plots in Fig. 15 equation (61) is solved on a uniform space-time mesh with mesh size \(h=0.025\) and \(\Delta t=0.0125\), respectively.
To illustrate the behaviour of the solution near \(\partial \Gamma \), Fig. 16 shows the components of \(-\pmb {\Psi }\), for \(c_{\texttt{S}}=1,\,c_{\texttt{P}}=2\), with respect to the distance r towards the right end point of the segment \((0.5,0)^\top \) for various time instants: one observes that the singular behaviour is independent of time, and the numerical solutions decrease like \(r^{1/2}\) for r tending to zero. The plots in Fig. 16 are obtained using the h version on a \({\tilde{\beta }}\)-graded mesh with 81 nodes, with time step \(\Delta t=0.00625\).
For the case \(c_{\texttt{S}}=1,\,c_{\texttt{P}}=2\), we study the decay of the error in energy norm for the approximate solution of (61) up to time \(T=2\) analysing the value \(\pmb {\beta }^\top {E}_{{\mathcal {W}}} \pmb {\beta }\), namely the squared energetic norm of the approximate solution, which increases towards a common benchmark value for all tested discretization methods. We refer the reader to Sect. 6 for construction details of \(\pmb {\beta }\) and \({E}_{{\mathcal {W}}}\). The number of spatial DOF in the following, as previously, corresponds to one component of the vector solution. For the h version we choose a \({\tilde{\beta }}\)-graded mesh on \(\Gamma \) with \({\tilde{\beta }}=1,2\) and 10, 20, 40, respectively 80 segments. The time step \(\Delta t=0.05\) in the case of 10 segments is halved at each refinement of the spatial mesh. The log scale plot in Fig. 17 shows a linear decay of the error for the h version, parallel to the lines \({\mathcal {O}}(\)DOF\({}^{-{\tilde{\beta }}})\). The results confirm the prediction in Corollary 5.4. For the p version we consider a uniform discretization of the obstacle with \(h=0.1\) and a uniform time step \(\Delta t = 1/(2\cdot \)DOF). The log scale plot shows a linear decay of the error parallel to the expected line \({\mathcal {O}}(\)DOF\({}^{-2})\). The hp version with a geometrically graded mesh is considered for meshes on \(\Gamma \) with 4, 6, 8, 10 and 12 segments. At each refinement of the mesh the degree p, starting from 2, increases uniformly on all the space elements. The time step is chosen as \(\Delta t=0.125\) for 4 segments and halved at each iteration. Similarly to the soft scattering problems presented above the hp method shows the fastest decay of the error with respect to increasing spatial DOF.
8 Conclusions
In this work we initiate the study of higher-order versions of the boundary element method for linear elastodynamics, including h, p and hp versions. The asymptotic expansions for the solution obtained near geometric singularities of the domain give rise to efficient discretizations, with the same approximation rates as known for h, p and hp approximations of time independent problems.
The quasi-optimal hp explicit estimates in this article complement the recent analysis for the wave equation, for both finite and boundary element methods [21, 23, 42], and for linear elastodynamics in 2d [43]. The convergence is determined by the singular behavior of the solution near the non-smooth boundary points of the domain. Our analysis relies on the classical approximation results for time independent problems [15], in combination with the analysis of the leading singular terms in the time dependent problem [40].
Extensive numerical experiments for a slit and polygonal domains in 2d illustrate the quasi-optimal convergence rates and confirm the expected leading asymptotic behavior of the solution near a vertex. On a slit the energy error \(O(p^{-1})\) of the p version converges with the same rate as an h version on a 2-graded mesh. For closed polygonal domains the solution is less singular near the vertices, depending on the material parameters and the opening angle. Accordingly, higher convergence rates are obtained in both the analysis and in the numerical experiments.
References
Aimi, A., Diligenti, M., Monegato, G.: New numerical integration schemes for applications of Galerkin BEM to 2-D problems. Int. J. Numer. Meth. Eng. 40, 1977–1999 (1997)
Aimi, A., Diligenti, M., Guardasoni, C., Mazzieri, I., Panizzi, S.: An energy approach to space-time Galerkin BEM for wave propagation problems. Int. J. Numer. Meth. Eng. 80, 1196–1240 (2009)
Aimi, A., Di Credico, G., Diligenti, M., Guardasoni, C.: Highly accurate quadrature schemes for singular integrals in energetic BEM applied to elastodynamics. J. Comput. Appl. Math. 410, 114186 (2022)
Antes, H.: A boundary element procedure for transient wave propagations in two-dimensional isotropic elastic media. Finite Elem. Anal. Des. 1, 313–322 (1985)
Bamberger, A., Ha Duong, T.: Formulation variationnelle espace-temps pour le calcul par potentiel retarde d’une onde acoustique. Math. Meth. Appl. Sci. 8, 405–435 (1986)
Beagles, A.E., Sändig, A.-M.: Singularities of rotationally symmetric solutions of boundary value problems for the Lamé equations. Z. Angew. Math. Mech. 71, 423–431 (1991)
Bécache, E.: A variational boundary integral equation method for an elastodynamic antiplane crack. Int. J. Numer. Meth. Eng. 36, 969–984 (1993)
Bécache, E., Ha Duong, T.: A space-time variational formulation for the boundary integral equation in a 2d elastic crack problem. ESAIM Math. Modell. Numer. Anal. 28, 141–176 (1994)
Bespalov, A.: The \(hp\) version of the BEM with quasi-uniform meshes for a three-dimensional crack problem: the case of a smooth crack having smooth boundary curve. Numer. Methods Partial Differ. Eq. 24, 1159–1180 (2008)
Bespalov, A., Heuer, N.: The \(p\) version of the boundary element method for a three-dimensional crack problem. J. Integral Eq. Appl. 17, 243–258 (2005)
Bespalov, A., Heuer, N.: The \(p\) version of the boundary element method for hypersingular operators on piecewise plane open surfaces. Numer. Math. 100, 185–209 (2005)
Chudinovich, IYu.: The boundary equation method in the third initial-boundary value problem of the theory of elasticity. I. Existence theorems. Math. Methods Appl. Sci. 16, 203–215 (1993)
Costabel, M., Sayas, F.-J.: Time-Dependent Problems with the Boundary Integral Equation Method, Encyclopedia of Computational Mechanics, 2nd edn. Wiley, Hoboken (2017)
Costabel, M., Dauge, M., Yosibash, Z.: A quasidual function method for extracting edge stress intensity functions. SIAM J. Math. Anal. 35, 1177–1202 (2004)
Dauge, M.: Elliptic Boundary Value Problems in Corner Domains, Lecture Notes in Mathematics 1341. Springer-Verlag, Berlin (1988)
Di Credico, G.: Energetic Boundary Element Method for 2D Elastodynamics Problems in Time Domain, Ph.D. thesis, University of Modena and Reggio Emilia (2022), available at http://hdl.handle.net/11380/1265215
Dominguez, V., Sayas, F.-J., Sanchez-Vizuet, T.: A fully discrete Calderón calculus for the two-dimensional elastic wave equation. Comput. Math. Appl. 69, 620–635 (2015)
Eringen, A.C., Suhubi, E.S.: Elastodynamics. Academic Press, New York (1975)
Gimperlein, H., Nezhi, Z., Stephan, E.P.: A priori error estimates for a time-dependent boundary element method for the acoustic wave equation in a half-space. Math. Methods Appl. Sci. 40, 448–462 (2017)
Gimperlein, H., Maischak, M., Stephan, E.P.: Adaptive time domain boundary element methods and engineering applications. J. Integral Equ. Appl. 29, 75–105 (2017)
Gimperlein, H., Meyer, F., Özdemir, C., Stark, D., Stephan, E.P.: Boundary elements with mesh refinements for the wave equation. Numer. Math. 139, 867–912 (2018)
Gimperlein, H., Meyer, F., Özdemir, C., Stephan, E.P.: Time domain boundary elements for dynamic contact problems. Comput. Methods Appl. Mech. Eng. 333, 147–175 (2018)
Gimperlein, H., Özdemir, C., Stark, D., Stephan, E.P.: hp version time domain boundary elements for the wave equation on quasi-uniform meshes. Comput. Methods Appl. Mech. Eng. 356, 145–174 (2019)
Gimperlein, H., Özdemir, C., Stark, D., Stephan, E.P.: A residual a posteriori estimate for the time-domain boundary element method. Numer. Math. 146, 239–280 (2020)
Grisvard, P.: Edge behavior of the solution of an elliptic problem. Math. Nachr. 132, 281–299 (1987)
Grisvard, P.: Le probleme de Dirichlet pour les equations de Lame. CR Acad. Sci. Paris Ser. I Math. 304, 71–73 (1987)
Grisvard, P.: Singularités en elasticité. Arch. Rational Mech. Anal. 107, 157–180 (1989)
Gwinner, J., Stephan, E.P.: Advanced Boundary Element Methods—Treatment of Boundary Value, Transmission and Contact Problems, Springer Series in Computational Mathematics, (2018)
Ha Duong, T.: On retarded potential boundary integral equations and their discretizations, in: Topics in Computational Wave Propagation, pp. 301-336, Lect. Notes Comput. Sci. Eng., 31, Springer, Berlin, (2003)
Hsiao, G., Sanchez-Vizuet, T.: Time-domain boundary integral methods in linear thermoelasticity. SIAM J. Math. Anal. 52, 2463–2490 (2020)
Joly, P., Rodriguez, J.: Mathematical aspects of variational boundary integral equations for time dependent wave propagation. J. Integral Equ. Appl. 29, 137–187 (2017)
Kager, B., Schanz, M.: Fast and data sparse time domain BEM for elastodynamics. Eng. Anal. Bound. Elem. 50, 212–223 (2015)
Kokotov, A.Y., Plamenevskiǐ, B.A.: On the Cauchy-Dirichlet problem for hyperbolic systems in a wedge. St. Petersburg Math. J. 11, 497–534 (2000)
Kokotov, A.Y., Plamenevskiǐ, B.A.: On the asymptotic behavior of solutions of the Neumann problem for hyperbolic systems in domains with conical points. St. Petersburg Math. J. 16, 477–506 (2005)
Kokotov, A.Y., Neittaanmäki, P., Plamenevskiǐ, B.A.: The Neumann problem for the wave equation in a cone. J. Math. Sci. 102, 4400–4428 (2000)
Kokotov, A.Y., Neittaanmäki, P., Plamenevskiǐ, B.A.: Diffraction on a cone: The asymptotics of solutions near the vertex. J. Math. Sci. 109, 1894–1910 (2002)
Kondratiev, V.A.: Boundary value problems for elliptic equations in domains with conical or angular points. Trans. Moscow Math. Soc. 16, 227–313 (1967)
Kozlov, V., Rossmann, J.: On the nonstationary Stokes system in a cone. J. Differ. Equ. 260, 8277–8315 (2016)
Maischak, M., Stephan, E.P.: The hp-version of the boundary element method for the Lamé equation in 3D. Bound. El. Anal. Lect. Notes Appl. Comput. Mech. 29, 97–112 (2007)
Matyukevich, S.I., Plamenevskiǐ, B.A.: Elastodynamics in domains with edges. St. Petersburg Math. J. 18, 459–510 (2007)
Monegato, G., Scuderi, L.: Numerical integration of functions with boundary singularities. J. Comput. Appl. Math. 112, 201–214 (1999)
Müller, F., Schwab, C.: Finite Elements with mesh refinement for wave equations in polygons. J. Comp. Appl. Math. 283, 163–181 (2015)
Müller, F., Schwab, C.: Finite elements with mesh refinement for elastic wave propagation in polygons. Math. Methods Appl. Sci. 39, 5027–5042 (2016)
Nazarov, S., Plamenevskiǐ, B. A.: Elliptic Problems in Domains with Piecewise Smooth Boundaries De Gruyter Expositions in Mathematics, vol. 13, De Gruyter, (1994)
Omer, N., Yosibash, Z.: Singular asymptotic expansion of the elastic solution along an edge around which material properties depend on the angular coordinate. Math. Mech. Solids 22, 2288–2308 (2017)
Plamenevskiǐ, B.A.: On the Dirichlet problem for the wave equation in a cylinder with edges. Algebra i Analiz 10, 197–228 (1998)
Sayas, F.-J.: Retarded Potentials and Time Domain Boundary Integral Equations: A Road Map, Springer Series in Computational Mathematics 50 (2016)
Schanz, M., Ye, W., Xiao, J.: Comparison of the convolution quadrature method and enhanced inverse FFT with application in elastodynamic boundary element method. Comput. Mech. 57, 523–536 (2016)
Schwab, C.: \(p\)- and \(hp\)- Finite Element Methods: Theory and Applications in Solid and Fluid Mechanics. Oxford University Press, Oxford (1998)
von Petersdorff, T.: Randwertprobleme der Elastizitätstheorie für Polyeder-Singularitäten und Approximation mit Randelementmethoden, Ph.D. thesis, Technische Universität Darmstadt (1989)
von Petersdorff, T., Stephan, E.P.: Regularity of mixed boundary value problems in \(\mathbb{R} ^3\) and boundary element methods on graded meshes. Math. Methods Appl. Sci. 12, 229–249 (1990)
von Petersdorff, T., Stephan, E.P.: Decompositions in edge and corner singularities for the solution of the Dirichlet problem of the Laplacian in a polyhedron. Math. Nachr. 149, 71–103 (1990)
von Petersdorff, T., Stephan, E.P.: Singularities of the solution of the Laplacian in domains with circular edges. Appl. Anal. 45, 281–294 (1992)
Acknowledgements
This work has been partially supported by the University of Parma with the project Fil2020 - Action A1 “Time-domain Energetic BEM for elastodynamic problems, with advanced applications”. This research was further supported through the “Oberwolfach Research Fellows” program in 2020.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Alessandra Aimi and Giulia Di Credico are members of the INDAM-GNCS Research Group, Italy.
Appendices
Appendix A
In this appendix we introduce space–time anisotropic Sobolev spaces on the boundary \(\Gamma \) as a convenient functional analytic setting for the analysis of the time dependent boundary integral operators. A detailed exposition may be found in [19, 29]. Furthermore, we collect mapping properties of the integral operators \({\mathcal {V}}, {\mathcal {W}}\) in these space-time anisotropic spaces (Theorem A.2) and show continuity and coercivity of the associated bilinear forms (Proposition A.3). The latter imply the stability of the Galerkin schemes in Sect. 4. In the case of an open screen or line segment, \(\partial \Gamma \ne \emptyset \), we first extend \(\Gamma \) to a closed, orientable Lipschitz manifold \(\widetilde{\Gamma }\). On \(\Gamma \) we recall the usual Sobolev spaces of supported distributions:
The Sobolev space \({H}^s(\Gamma )\) is the quotient space \( H^s(\widetilde{\Gamma }) / \widetilde{H}^s({\widetilde{\Gamma }\setminus \overline{\Gamma }})\). To define a family of Sobolev norms, \(\alpha _i\) be a partition of unity subordinate to a covering of \(\widetilde{\Gamma }\) by open sets \(B_i\). Given diffeomorphisms \(\varphi _i\) from \(B_i\) to the unit cube in \(\mathbb {R}^n\), Sobolev norms are induced from \(\mathbb {R}^n\), with parameter \(\omega \in \mathbb {C}\setminus \{0\}\):
Here, \({\mathcal {F}}={\mathcal {F}}_{\varvec{x} \mapsto \pmb {\xi }}\) denotes the Fourier transform \({\mathcal {F}}\varphi (\pmb {\xi }) = \int e^{-i\varvec{x}\cdot \pmb {\xi }} \varphi (\varvec{x})\ d\varvec{x}\). Different \(\omega \in \mathbb {C}\setminus \{0\}\) induce equivalent norms on \(H^s(\Gamma )\), \(\Vert u\Vert _{s,\omega ,\Gamma } = \inf _{v \in \widetilde{H}^s(\widetilde{\Gamma }\setminus \overline{\Gamma })} \ \Vert u+v\Vert _{s,\omega ,\widetilde{\Gamma }}\) and on \(\widetilde{H}^s(\Gamma )\), \(\Vert u\Vert _{s,\omega ,\Gamma , *} = \Vert e_+ u\Vert _{s,\omega ,\widetilde{\Gamma }}\). \(e_+\) extends the distribution u by 0 from \(\Gamma \) to \(\widetilde{\Gamma }\). When a specific \(\omega \) is fixed, we write \(H^s_\omega (\Gamma )\) for \(H^s(\Gamma )\), respectively \(\widetilde{H}^s_\omega (\Gamma )\) for \(\widetilde{H}^s(\Gamma )\). The norm \(\Vert u\Vert _{s,\omega ,\Gamma , *}\) is stronger than \(\Vert u\Vert _{s,\omega ,\Gamma }\).
We may now define a family of space-time anisotropic Sobolev spaces:
Definition A.1
For \(\sigma >0\) and \(r,s \in \mathbb {R}\) define
Here, \({\mathcal {D}}^{'}_{+}(E)\) denotes the space of all distributions on \(\mathbb {R}\) with support in \([0,\infty )\), taking values in a Hilbert space \(E= {H}^s({\Gamma })\), respectively \(E=\widetilde{H}^s({\Gamma })\). \({\mathcal {S}}^{'}_{+}(E)\subset {\mathcal {D}}^{'}_{+}(E)\) denotes the subspace of tempered distributions. The Sobolev spaces are endowed with the norms
They are Hilbert spaces. For \(r=s=0\) they correspond to the weighted \(L^2\)-space with scalar product \(\int _0^\infty e^{-2\sigma t} \int _\Gamma u \overline{v} d\Gamma _{\varvec{x}}\ dt\). Because \(\Gamma \) is Lipschitz, these spaces are independent of the choice of \(\alpha _i\) and \(\varphi _i\) when \(|s|\le 1\), as for standard Sobolev spaces.
We shall also use the norms \(\Vert u\Vert _{r, s, (t_1, t_2]\times \Gamma }\) and \(\Vert u\Vert _{r, s, (t_1, t_2]\times \Gamma ,*}\) for restrictions on the time interval \((t_1,t_2]\).
Let now \(\widetilde{\Gamma } = \partial \Omega '\) the boundary of a Lipschitz subset \(\Omega ' \subset \mathbb {R}^n\) and \(\Gamma \subset \widetilde{\Gamma }\) open. Denote \(\Omega = \mathbb {R}^n \setminus \overline{\Omega '}\).
We review the mapping properties for the weakly singular integral operator \({\mathcal {V}}\) and the hypersingular operator \({\mathcal {W}}\).
Theorem A.2
The single layer potential operator and the hypersingular operator are continuous for \(\sigma >0\) and \(r \in \mathbb {R}\):
This may be found in Theorem 3.1 in [12], see also [8] for \({\mathcal {W}}\) in 2d, with an analogous proof. See also [31] for a recent discussion of mapping properties for the wave equation.
For convenience of the reader we recall basic properties of the bilinear form for the Dirichlet problem in the infinite space-time cylinder \(\Gamma \times \mathbb {R}^+\),
where \(d_\sigma t = e^{-2\sigma t} dt\), as well as the corresponding bilinear form for the Neumann problem,
Proposition A.3
Let \(\sigma >0\).
a) For every \(\pmb { \Phi },\pmb {\tilde{\Phi }} \in H^1_\sigma ( \mathbb {R}^+, H^{-\frac{1}{2}}(\Gamma ))^n\) there holds:
and
b) For every \(\pmb { \Psi },\pmb {\tilde{\Psi }} \in H^1_\sigma ( \mathbb {R}^+, H^{\frac{1}{2}}(\Gamma ))^n\) there holds:
and
Proof
The inequalities (89) and (91) follow from the mapping properties in Theorem A.2. The coercivity (92) was shown in [7, 8] in 2d, and the proof holds verbatim in any dimension.
To show (90), we consider the elastic problem in the frequency domain:
We assume \(\textrm{Im}\ (\omega ) \ge \sigma >0\). The energetic weak formulation for the single layer equation for the traction \([{{\textbf {p}}}]=[\sigma ({{\textbf {u}}}){{\textbf {n}}}]\) in frequency domain is given by (using Parseval’s identity):
Find \([{{\textbf {p}}}]\in H^{-\frac{1}{2}}_\omega (\widetilde{\Gamma })^n\) such that
for all \(\pmb {q}\in H^{-\frac{1}{2}}_\omega (\widetilde{\Gamma })^n\).
It involves the single layer operator \({\mathcal {V}}_{\omega }\) obtained from \({\mathcal {V}}\) by Fourier transformation. Using Green’s formula as in [8], Thm 3.1, we have
Now note that \(|\langle -i\omega {\mathcal {V}}_{\omega } [{{\textbf {p}}}],\overline{[{{\textbf {p}}}]} \rangle _{\widetilde{\Gamma }}\vert \geqslant \textrm{Re} \, i\overline{\omega } \langle {\mathcal {V}}_{\omega } [{{\textbf {p}}}],\overline{[{{\textbf {p}}}]} \rangle _{\widetilde{\Gamma }} \) and
with
Physically, \(E_{\omega }\) is the energy of the displacement \({{\textbf {u}}}\), and it satisfies
for a positive constant \(C_{\sigma }\). From (95) and (96) we deduce that
From the trace theorem there exists a positive constant \(C_{trace}\) such that
Coercivity in the frequency domain follows:
To show (90), it remains to translate the coercivity (97) from the frequency domain into the time domain. Integrating (94) in \(\omega \) and using the Parseval identity, noting \({\mathcal {F}}_{\omega \rightarrow t}^{-1}\left( {\widehat{\varphi }}(\omega +i\sigma )\right) =\varphi (t)e^{-\sigma t}\), we get the identity
We now use (97):
Therefore
Proposition A.3 follows by restricting to distributions supported in \(\Gamma \subset \widetilde{\Gamma }\). \(\square \)
Appendix B
In the following, let us describe the approach by Matyukevich and Plamenevskiǐ from [40] to prove the asymptotic expansion of the solution to the elastodynamic Dirichlet problem (4)–(6) in a neighborhood of a non-smooth boundary point of the domain. For ease of reference to the work of Plamenevskiǐ and coauthors, as well as [23], this section adopts some of the notation from the analysis community, rather than the notation commonly found in numerical works. In particular, the \(\sigma >0\) from other sections in the article is here called \(\gamma \), singular exponents \(\lambda _\ell \) are denoted by \(i{\lambda _\ell }\), and the definition of the Fourier transform and its inverse are interchanged. However, note that the dimensions n and m are interchanged compared to the specific reference [40], but they agree with the main body of this paper.
In the following we consider two model geometries, wedge and corner, to describe the local behavior of solutions to this and more general systems near non-smooth boundary points of the domain. They are of the form \(\mathbb {D} = \mathbb {K} \times \mathbb {R}^{n-m} \subset \mathbb {R}^n\), with \(m \ge 2\) and \(\mathbb {K} \subset \mathbb {R}^m\) an open cone. We use local coordinates \(\varvec{x} = (\varvec{y},z)\) in the wedge \(\mathbb {D}\).
For \(n \ge 2\) we consider the elastodynamic problem (4)–(6) in the space-time cylinder \(\mathbb {D}\times \mathbb {R}\), written abstractly in the form:
with the matrix differential operator \(({\mathcal {L}}(D_{\varvec{x}},D_{t})\varvec{u}(\varvec{x},t))_p=\partial _t^2\varvec{u}(\varvec{x},t) - \sum _{k,l,q=0}^{{n}} \partial _{k} a^{kl}_{pq}(\varvec{x})\partial _l u_q(\varvec{x},t)\), \(p=1, \dots , {n}\).
Applying the Fourier transform \({\mathcal {F}}_{{t} \mapsto \tau }\) leads to a parameter-dependent elliptic problem, with \(\tau = \sigma - i\gamma \), \(\gamma > 0\), \(\sigma \in \mathbb {R}\):
We denote by \({\mathcal {A}}_D(\tau ) = {\mathcal {L}}(D_{\varvec{x}},\tau )\) the closure of this operator in \(L^{2}(\mathbb {D})\). We first note a well-posedness result, Theorem 4.1.2 in [40].
Proposition B.1
For every \(\hat{\varvec{f}} \in L^{2}(\mathbb {D})\) and \(\tau =\sigma -i \gamma \), \(\sigma \in \mathbb {R}\), \(\gamma >0\), there exists a unique solution \(\varvec{v}\) of (100). Further, there exists a constant \(c>0\) independent of \(\tau \) and \(\hat{\varvec{f}}\) such that
Proof
On the standard Sobolev space \(H^{1}_{0}(\mathbb {D})\) we define the sesquilinear form
where \(C_{kl}^{ij}\) denotes the Hooke tensor from Sect. 2. A key property of \(B^\tau _D\) is the Korn inequality, which estimates \(B^\tau _D\) in terms of the norm of \(H^1(\mathbb {D})\); see Proposition 4.1.3 in [40]: If \(\tau ^2 \in \mathbb {C}\setminus \overline{\mathbb {R}_+}\), then there exists \(\delta = \delta (\tau )>0\) such that \(|B^\tau _D(\varvec{u},\varvec{u})|\ge \delta \Vert \varvec{u}; H^1(\mathbb {D})\Vert ^2\).
The assertion then follows by applying the Lax-Milgram theorem.\(\square \)
1.1 B.1 Solution of parameter-dependent Dirichlet problem in a cone
For a finer analysis one performs a Fourier transform \({\mathcal {F}}_{z \mapsto \xi }\) in the variable z in (98), (99) and introduces polar coordinates in \(\mathbb {K}\): \(r = |\varvec{y}|\), \(\pmb {\omega } = \frac{\varvec{y}}{|\varvec{y}|}\). We first assume that \(\varvec{v}\) solves the non-homogeneous Dirichlet problem with parameters \(\tau \in \mathbb {R}- i \gamma \) and \(\xi \in \mathbb {R}\),
For simplicity, we first consider the homogeneous Dirichlet problem, corresponding to \(\varvec{g}=0\). The corresponding statements for nonzero Dirichlet data \(\varvec{g}\) can be deduced from the general results for a wedge in Sect. B.2.
Proposition B.2
(Theorem 6.2.5, [40]) Let \(\tau \in \mathbb {R}-i\gamma \) with \(\gamma >0\). For all \(\hat{\varvec{f}} \in L^2(\mathbb {K})\), There exists a unique, strong solution \(\varvec{v}\) of (102), (103), and
Here \(p = \sqrt{|\xi |^2+|\tau |^2}\), and c is independent of \(\xi \), \(\tau \).
Define the weighted Sobolev norms
Let \(\chi \in C^\infty _0(\mathbb {K})\) be a cut-off function which is \(=1\) in a neighborhood of the vertex of the cone \(\mathbb {K}\), and \(\chi _\tau (\varvec{x}) = \chi (|\tau | \varvec{y})\). From Proposition B.2 one obtains with \(p =\sqrt{|\xi |^2+|\tau |^2}\), and c independent of \(\xi \), \(\tau \),
Set \(\Xi = \mathbb {K} \cap S^{{m}-1}\). For every \(\lambda \in \mathbb {C}\) the pencil
defines a map
which is an isomorphism except for a discrete set of eigenvalues \(\{\lambda _\ell \}\).
For the elastodynamic equation \({\mathcal {L}}\) has constant coefficients and is of the form \({\mathcal {L}}(D_{\varvec{x}},D_{t})\varvec{v} = \partial _t ^{2}\varvec{v} + A(D_{\varvec{x}})\varvec{v}\) with
where each of the \(A^{kl}\) is a constant matrix \(A^{kl}=(a^{kl}_{ij})_{i,j}\). The operator pencil is then given by
We assume that the strip \(\{ \lambda \in \mathbb {C}: m-3 \le 2 \textrm{Im}\ \lambda \le m - 2 \}\) does not intersect the spectrum of \({\mathcal {A}}_{D}\). For an eigenvalue \(\lambda _\ell \) of \({\mathcal {A}}_D\) we take a power-like solution
of the homogeneous Dirichlet problem with \(\tau =0\), \(\xi =0\):
Here, \(\{\pmb {\varphi }_\ell ^{(0)}, \dots , \pmb {\varphi }_\ell ^{(k)}\}\) is a Jordan chain to \(\lambda _\ell \), consisting of an eigenvector \(\pmb {\varphi }_\ell ^{(k)}\) and generalized eigenvectors \(\pmb {\varphi }_\ell ^{(0)}, \dots , \pmb {\varphi }_\ell ^{(k-1)}\). Let \(\kappa _1 \ge \kappa _2 \ge \dots \ge \kappa _J\) denote the partial multiplicities of the \(\lambda _\ell \) , and let \(\{\pmb {\varphi }_\ell ^{(0,j)}, \dots , \pmb {\varphi }_\ell ^{(\kappa _j-1,j)} : j=1, \dots , J\}\) be a canonical system of Jordan chains. The functions
where \(k=0, \dots , \kappa _j - 1\) and \(j=1,\dots , J\), constitute a basis in the space of power-like solutions corresponding to \(\lambda _\ell \).
Remark B.3
In special geometries the spectral problem for \({\mathcal {A}}_D\) admits an explicit solution. See Sect. 3.1 for a discussion of the eigenvalues and eigenfunctions in the case of a polygon, Sect. 3.2 for an edge, and Section 3.3 for a circular cone.
Let \(\varvec{V}_{\ell }^{(k,j)}\) be the infinite series of dual functions satisfying the homogeneous Eqs. (110), (111), and let \(\varvec{V}_{\ell , {M}}^{(k,j)}\) be its truncation after M terms.
The dual vector functions
form a basis in the space of power-like solutions to (110), (111) that correspond to the eigenvalue \(\overline{\lambda _\ell } + i(m-2)\). The bases match under specific orthogonality and normalization conditions (see, for example, (114) in [40]), respectively [44].
Denote by \(\{\varvec{u}_\ell ^{k,j}\}\), \(\{\varvec{v}_\ell ^{k,j}\}\) the matched bases of power-like solutions of (110), (111). Next we consider the homogeneous problem with parameters \(\tau \in \mathbb {R}- i \gamma \) and \(\xi \in \mathbb {R}^{{n-m}}\), corresponding to (102), (103),
Substituting \(\varvec{u}_\ell ^{(k,j)}\) in (114), (115), we construct the formal series
satisfying (114), (115). Here \(\varvec{P}{(k,j)}_q\) are polynomials in \(\xi ,\tau ,\ln (r)\), with coefficients smoothly depending on \(\pmb {\omega } \in \Xi \). Replacing \(\{\varvec{u}_\ell ^{k,j}\}\) by \(\{\varvec{v}_\ell ^{k,j}\}\), we obtain the formal series
satisfying (114), (115). The functions \(\varvec{Q}{(k,j)}_q\) again obey analogous properties to \(\varvec{P}{(k,j)}_q\).
In reference [40] the formal series \(\varvec{U}_\ell ^{(k,j)}\), \(\varvec{V}_\ell ^{(k,j)}\) are constructed for these bases.
Consider now (102), (103) with \(\chi \varvec{v}\in H^2_\beta (\mathbb {K})\), \(\hat{\varvec{f}} \in H^0_\beta (\mathbb {K}) \cap H^0_\gamma (\mathbb {K})\), for \(\gamma <\beta \). As above, \(\chi \in C^\infty _0(\mathbb {K})\) denotes a cut-off function which is \(=1\) in a neighborhood of the vertex of the cone \(\mathbb {K}\). If the line \(\{\lambda \in \mathbb {C} : \textrm{Im} \ \lambda = \gamma + \frac{m}{2}-2\}\) does not intersect the spectrum of the pencil \({\mathcal {A}}_D\), then we have
where the remainder \(\varvec{h}\) is such that \(\chi \varvec{h} \in H^2_\gamma (\mathbb {K})\). Here \(\varvec{U}^{(k,j)}_{\ell , {M}}\) is the partial sum of the series \(\varvec{U}^{(k,j)}_{\ell }\) containing M terms such that \(\chi r^{i\lambda _\ell + ({M}+1)} \varvec{P}_{{M}+1}^{(k,j)} \in H^2_\gamma (\mathbb {K})\). The asymptotic formula for \(\varvec{v}\) involves the summands corresponding to the eigenvalues of the pencil in the strip \(\{\lambda \in \mathbb {C} : \textrm{Im} \ \lambda \in (\gamma + \frac{m}{2}-2,\beta + \frac{m}{2}-2)\}\), so that \(\chi \varvec{U}^{(k,j)}_{\ell ,{M}} \in H^2_\beta (\mathbb {K})\) and \(\chi \varvec{U}^{(k,j)}_{\ell ,{M}} \not \in H^2_\gamma (\mathbb {K})\)
To state the main result for the expansion of the parameter-dependent problem near the vertex of the cone \(\mathbb {K}\), we introduce the following function spaces:
where \(p = \sqrt{|\xi |^2 + |\tau |^2}\) and \(\tau = \sigma - i \gamma \) (\(\sigma \in \mathbb {R}\), \(\gamma >0\)). By Proposition B.2 and (106), the operator \({\mathcal {L}}(D_{\varvec{y}},\xi ,\tau )\) from Problem (102), (103), defines a continuous map \({\mathcal {L}}(D_{\varvec{y}},\xi ,\tau ): DH_\beta (\mathbb {K}, \xi , \tau ) \rightarrow RH_\beta (\mathbb {K}, \xi , \tau )\).
In [40], Matyukevich and Plamenevskiǐ investigate the dependence of properties of \({\mathcal {L}}(D_{\varvec{y}},\xi ,\tau )\) on \(\beta \). Let \(1>\beta _1>\beta _2> \dots \) be numbers in \((-\infty ,1]\) such that every line \(\{\lambda \in \mathbb {C} : \textrm{Im}\ \lambda = \beta _r+\frac{m}{2}-2\}\) contains at least one eigenvalue of the pencil \({\mathcal {A}}_D\).
Matyukevich and Plamenevskiǐ obtain the following results:
Theorem B.4
(Theorem 6.3.5, [40]) Suppose that \(\beta \in (\beta _1,1]\), \(\gamma >0\) and \(\hat{\varvec{f}} \in RH_\beta (\mathbb {K}, \xi , \tau )\). Then (102), (103) with right hand side \(\hat{\varvec{f}}\) admits a unique solution \(\varvec{v}\) satisfying
where c is independent of \((\xi ,\tau )\).
Theorem B.5
(Proposition 6.4.1, [40]) Suppose \(\gamma >0\), \(\beta \in (\beta _{r+1}, \beta _r)\), \(0<\beta _r-\beta <1\), \(\hat{\varvec{f}} \in RH_\beta (\mathbb {K}, \xi , \tau )\) and
for all \(\varvec{w}_{\ell }^{(k,j)}\) corresponding to eigenvalues of \({\mathcal {A}}_D\) in the strip \(\{\textrm{Im} \ \lambda \in (\beta _{r+1}+\frac{m}{2}-2, \beta _1+\frac{m}{2}-2)\}\). Then the solution \(\varvec{v}\) of (102), (103), admits the representation
Here the outer summmation over \(\ell \) sums over all eigenvalues \(\lambda _\ell \) of the pencil with \(\textrm{Im}\ \lambda = \beta _r+\frac{m}{2}-2\), while the inner summation sums over a basis \(\{\varvec{u}_\ell ^{(k,j)}\}\) of power-like solutions as in (109) corresponding to \(\lambda _\ell \). The remainder \(\varvec{v}_0\) belongs to \(DH_\beta (\mathbb {K}, \xi , \tau )\).
There holds
with
Moreover there holds
with a constant c independent of \(\xi \), \(\tau \) and \(\hat{\varvec{f}}\).
1.2 B.2 Solution of a parameter-dependent Dirichlet problem in a wedge
By means of an inverse Fourier transform \({\mathcal {F}}_{\xi \mapsto z}^{-1}\) in the dual edge variable \(\xi \), we obtain results for the general Dirichlet problem in the wedge \(\mathbb {D}\),
the problem in the frequency domain corresponding to (98), (99).
The regularity of the solutions is described in the following weighted Sobolev spaces on \(\mathbb {D}= \mathbb {K}\times \mathbb {R}^{n-m}\). In \(\mathbb {D}\), one uses the coordinates \(\varvec{x}=(\varvec{y},z)\) and introduces polar coordinates in \(\mathbb {K}\): \(r = |\varvec{y}|\), \(\pmb {\omega } = \frac{\varvec{y}}{|\varvec{y}|}\). Define
Corresponding spaces \(H^{s}_\beta (\partial \mathbb {D})\) and \(H^{s}_\beta (\partial \mathbb {D},p)\) on \(\partial \mathbb {D}\) are obtained as trace spaces for \(H^{s}_\beta (\mathbb {D})\), respectively \(H^{s}_\beta (\mathbb {D},p)\).
The basic existence result is given by:
Proposition B.6
(Theorem 4.2.2, [40]) Suppose that the wedge \(\mathbb {D}\) is admissible in the sense of [40], \(\{ \hat{\varvec{f}},\hat{\varvec{g}} \} \in L^{2}(\mathbb {D}) \times H^{1}(\partial \mathbb {D})\) and \(\tau = \sigma - i \gamma \), \(\sigma \in \mathbb {R}\), \(\gamma > 0\). Then there exists a unique strong solution \(\varvec{v}\) of (118) and (119). Furthermore, there exists a constant \(c>0\) independent of \(\tau \) such that
Higher regularity has been obtained by Matyukevich and Plamenevskiǐ in the spaces \(H^{s}_\beta (\mathbb {D})\). Following [40] we only state the result for homogeneous boundary conditions.
Proposition B.7
(Proposition 5.1.1, [40]) Let \(\beta \le 1\). Assume \(\textrm{Im}\ \lambda = \beta + \frac{m}{2}-2\) does not intersect the spectrum of \({\mathcal {A}}_{D}\). Then for \(\varvec{v} \in H^{2}_{\beta }(\mathbb {D},1) \cap H^{1}_{\beta =0}(\mathbb {D})\) with \({\mathcal {L}}(D_{\varvec{x}},0)\varvec{v} \in L^{2}(\mathbb {D})\) there holds
where \(\chi _\tau (\varvec{x}) = \chi (|\tau | \varvec{y})\) for some \(\chi \in C^\infty _0(\overline{\mathbb {K}})\) which is \(=1\) in a neighborhood of the vertex of the cone \(\mathbb {K}\). The constant c is independent of \(\varvec{v}\), \(\tau = \sigma -i\gamma \), \(\sigma \in \mathbb {R}\), \(\gamma >0\).
A corresponding result for the wave equation with inhomogeneous boundary conditions has been considered in [46], Formula (7), but we omit the more involved statement.
The proof in [40] is based on three steps: (i) estimates far from the edge, (ii) estimates near the edge, (iii) the global a priori estimate (101).
1.3 B.3 Solution of a time-dependent problem in a wedge; non-homogeneous boundary conditions
We now present results for the time-dependent system (98), (99), with constant coefficients, obtained from the frequency-domain results via the inverse Fourier transform. They are stated in terms of the following weighted function spaces in the space-time cylinder \({\mathcal {Q}} = \mathbb {D}\times \mathbb {R}\), with coordinates \(\varvec{x}=(\varvec{y},z) \in \mathbb {D}\) and parameter \(q>0\):
If \(\gamma >0\), we set \(w^\gamma (\varvec{x},t):= \exp (-\gamma t) w(\varvec{x},t)\) and define
The corresponding spaces on the boundary \(\partial {\mathcal {Q}}\) are defined as the trace spaces of \(H^s_\beta (Q)\), respectively \(V^s_\beta ({\mathcal {Q}},\gamma )\).
Definition B.8
Assume \((\varvec{f},\varvec{g}) \in V^0_0({\mathcal {Q}},\gamma ) \times V^{3/2}_0(\partial {\mathcal {Q}},\gamma )\), and let \(\varvec{v}\) be a strong solution to (118), (119) in \(\mathbb {D}\) with right hand side \((\hat{\varvec{f}}, \hat{\varvec{g}})\). Then \(\varvec{u}(\varvec{y},z,t) = {\mathcal {F}}^{-1}_{{(\xi ,\tau ) \rightarrow (z,t)}} \varvec{v}(\varvec{y},\xi ,\tau )\) is called a strong solution of (98), (99).
Proposition B.6 implies that for any \((\varvec{f},\varvec{g}) \in V^0_0({\mathcal {Q}},\gamma ) \times V^{3/2}_0(\partial {\mathcal {Q}},\gamma )\) with \(\gamma >0\) the problem (98), (99) admits a unique strong solution and
for a constant \(c>0\) independent of \(\gamma \).
Let \(\chi \in C^\infty (\overline{\mathbb {K}})\) be a cut-off function which is identically 1 in a neighborhood of the conical point 0. Define
and
Higher regularity theorems involve the following norms in Q: For \(\beta \in \mathbb {R}\) and \(\gamma >0\)
More generally, one may introduce for \(q \in \mathbb {N}_0\)
and similarly \({\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\) and \(DV_{\beta ,q}({\mathcal {Q}},\gamma )\).
The following result may then be found in Theorem 7.4, [40], for \(\mathbf{{g}}=0\) and \(q=0\). It may be extended to inhomogeneous boundary conditions and \(q>0\) using the arguments in [33].
Theorem B.9
Suppose \(q \in \mathbb {N}_0\), \(\gamma >0\) and \((\varvec{f},\varvec{g}) \in {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\). a) If \(\beta \in (\beta _1,1)\), the strong solution \(\varvec{u}\) to (98), (99) belongs to \(DV_{\beta ,q}({\mathcal {Q}},\gamma )\) and there exists \(c>0\) independent of \(\gamma \) such that
b) If \(\beta \in (\beta _{r+1},\beta _r)\), then there exists a solution \(\varvec{u}\) to (98), (99) if and only if for all \(\xi \in \mathbb {R}^{n-m}\), for all \(\tau \in \mathbb {R}- i\gamma \) and for all \(\varvec{w}_\ell ^{k,j}\) corresponding to eigenvalues \(\lambda _\ell \) of \({\mathcal {A}}_D\) with \(\textrm{Im}\ \lambda \in [\beta _r + \frac{m}{2}-2, \beta _1 + \frac{m}{2}-2]\),
We can now state the main result of this section, which gives the asymptotics of the time-dependent problem in a neighborhood of the edge. It may be found in Theorem 7.5, [40], for \(\mathbf{{g}}=0\) and \(q=0\). The extension to inhomogeneous boundary data \(\mathbf{{g}}\) follows as in Sect. 3: choose an extension \(\widetilde{\textbf{g}}\) in the domain with Dirichlet trace \(\mathbf{{g}}\). Theorem 7.5, [40] then assures an asymptotic expansion of the function \(\textbf{U} = \textbf{u}-\widetilde{\textbf{g}}\), which satisfies homogeneous boundary conditions. The expansion of \(\textbf{u} = \textbf{U} + \widetilde{\textbf{g}}\) then follows.
Theorem B.10
Suppose \(\gamma >0\) and \((\varvec{f},\varvec{g}) \in {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\) for \(\beta \in (\beta _{r+1},\beta _r)\) with \(0<\beta _r-\beta <1\). Assume that for all \(\xi \in \mathbb {R}^{n-m}\), for all \(\tau \in \mathbb {R}- i\gamma \) and for all \(\varvec{w}_\ell ^{k,j}\) corresponding to eigenvalues \(\lambda _\ell \) of \({\mathcal {A}}_D\) with \(\textrm{Im}\ \lambda \in [\beta _r + \frac{m}{2}-2, \beta _1 + \frac{m}{2}-2]\) the relation (128) holds. Then the solution \(\varvec{u}\) to (98), (99) admits an asymptotic expansion
with \(\varvec{u}_0 \in DV_{\beta ,q}({\mathcal {Q}},\gamma )\). Here the first sum is over all eigenvalues \(\lambda _\ell \) with \(\textrm{Im}\ \lambda =\beta _r + \frac{m}{2}-2\), while the second sum is over all generalized eigenfunctions \(\varvec{u}_\ell ^{k,j}\) corresponding to \(\lambda _\ell \). The coefficients \(\tilde{c}_\ell ^{k,j}(z,t)\) are defined by
where
and, with \(p = \sqrt{|\xi |^2+|\tau |^2}\) and \(\varvec{w}_\ell ^{k,j}\) as in Theorem B.9,
Moreover, the following estimates hold: \(\Vert e^{-\gamma t} \tilde{d}_\ell ; H^{2-\frac{m}{2}-\beta }(\mathbb {R}^{n-m+1})\Vert \le c \Vert (\varvec{f},\varvec{g}); {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\Vert \) and \(\Vert \varvec{u}_0; DV_{\beta ,q}({\mathcal {Q}},\gamma )\Vert \le c \Vert (\varvec{f},\varvec{g}); {\mathcal {R}}V_{\beta ,q}({\mathcal {Q}},\gamma )\Vert \).
The explicit formulas show that for f smooth in time also the coefficients \(d_\ell \) will be smooth in time.
Analogous results for the Neumann problem may be obtained in a similar way, see [34, 40]. The boundary condition affects the corresponding stencil \({\mathcal {A}}_N\) and consequently its eigenvalues \(i \lambda _\ell \) and singular functions \(\varvec{w}_\ell ^{k,j}\).
Appendix C
We recall certain auxiliary results from [21], which are used in the proofs of Theorem 5.3 and Theorem 5.7.
Lemma C.1
( [21], Lemma 3) Let \(\Gamma ,\, \Gamma _j\; (j=1,\dots ,N)\) be Lipschitz domains with \(\overline{\Gamma } = \bigcup \limits _{j=1}^N \overline{\Gamma }_j\), \(s \in [-1,1]\) and \(r \in \mathbb {R}\). Then for all \(\tilde{u}\in H^r_\sigma (\mathbb {R}^+,\widetilde{H}^s(\Gamma ))\), \(u\in H^r_\sigma (\mathbb {R}^+,H^s(\Gamma ))\),
Lemma C.2
( [21], Lemma 8) Let \(I_j = [0, h_j]\), \(r\in \mathbb {R}\), \(0\le s_j\le 1\), \(f_2\in \widetilde{H}^{-s_2}(I_2)\), \(f_1 \in \widetilde{H}^r(\mathbb {R}^+, H^{-s_1}(I_1)\). Then there holds
A similar result holds in the positive Sobolev norms:
Lemma C.3
( [21], Lemma 9) Let \(I_j = [0, h_j],\; 0\le s\le 1,\; f_2\in \widetilde{H}^{s}(I_2)\), \(f_1 \in \widetilde{H}^s(\mathbb {R}^+, H^{s}(I_1)\). Then there holds
Lemma C.4
( [21], Lemma 10) Let \(0 \le r \le \rho \le q+1\), \(-1\le s\le 0\), \(R=[0,h_1]\times [0,h_2],\; u\in H^{\rho }([0,\Delta t), H^1(R))\), \(\Pi _t^q u\) the orthogonal projection onto piecewise polynomials in t of order q, \(\Pi _{x,y}^0 u=\frac{1}{h_1 h_2}\int \limits _R u(t,x,y) dy\, dx\). Then for \(p = \Pi _t^q \Pi ^0_{x,y} u\) we have
If \(u(t,x,y) =u_1(t,x)u_2(y),\; u_1\in H^{{\rho }}( [0,\Delta t), H^1([0,h_1])), \; u_2\in H^1( [0,h_2])\) then
Lemma C.5
( [21], Lemma 11) Let \(Q = [0,h_1]\times [0,h_2],u\in H^3([0,\Delta t)\times Q),p\) the bilinear interpolant of u at the vertices of Q. Then there holds for \(r\in \mathbb {R}\)
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Aimi, A., Di Credico, G., Gimperlein, H. et al. Higher-order time domain boundary elements for elastodynamics: graded meshes and hp versions. Numer. Math. 154, 35–101 (2023). https://doi.org/10.1007/s00211-023-01355-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-023-01355-x