## Abstract

For functions \(u\in H^1(\Omega )\) in a bounded polytope \(\Omega \subset {\mathbb {R}}^d\)\(d=1,2,3\) with plane sides for \(d=2,3\) which are Gevrey regular in \(\overline{\Omega }\backslash {\mathscr {S}}\) with point singularities concentrated at a set \({\mathscr {S}}\subset \overline{\Omega }\) consisting of a finite number of points in \(\overline{\Omega }\), we prove exponential rates of convergence of *hp*-version continuous Galerkin finite element methods on affine families of regular, simplicial meshes in \(\Omega \). The simplicial meshes are geometrically refined towards \({\mathscr {S}}\) but are otherwise unstructured.

### Similar content being viewed by others

Avoid common mistakes on your manuscript.

## 1 Introduction

Many nonlinear PDEs admit solutions which are smooth in a bounded, polytopal domain \(\Omega \subset {\mathbb {R}}\), but exhibit isolated point singularities at a set \({\mathscr {S}}\subset \overline{\Omega }\). We mention only nonlinear Schrödinger equations with self-focusing, density functional models in electron structure calculations (eg. [3, 6, 7, 17] and the references there), nonlinear parabolic PDEs with critical growth (eg. [22, 29] and the references there, or continuum models of crystalline solids with isolated point defects (eg. [25] and the references there).

We prove an exponential convergence result for \(C^0\)-conforming *hp*-FEM on regular, simplicial mesh families with *isotropic, geometric refinement* towards the singular point(s) \({\varvec{c}}\in {\mathscr {S}}\). These meshes are in addition required to be shape-regular. This type of mesh arises for example in adaptive bisection-tree refinements. Specifically, for singular solutions \(u\in H^1(\Omega )\) in the bounded domain \(\Omega \subset {\mathbb {R}}^d\), \(d=2,3\) which belong, in addition, to a countably normed space with non-homogeneous, radial weights as introduced, for example, in [4, 13], and with Gevrey-regular growth of derivatives in \(\overline{\Omega } \backslash {\mathscr {S}}\), we construct a sequence \(\{ I^{hp}_N \}_N\) of continuous, piecewise polynomial (quasi-)interpolation operators on sequences of regular, simplicial partitions that are geometrically refined towards \({\mathscr {S}}\) with exponential convergence in \(H^1(\Omega )\): for a bounded domain \(\Omega \subset {\mathbb {R}}^d\) and for functions \(u\in H^1(\Omega )\cap {\mathcal {G}}^\delta (\Omega )\), a class of \(\delta \)-Gevrey-regular functions in \(\overline{\Omega } \backslash {\mathscr {S}}\) (to be defined in (8) below), there exist constants \(b,C>0\) which depend on \(\Omega \) and on *u*, such that for all N

Here, \(d=2,3\) denotes the space dimension and *N* denotes the number of degrees of freedom in the *hp*-FE approximation, \(\Gamma (\cdot )\) denotes the Gamma function and \(\delta > 0\) denotes the Gevrey regularity parameter.

Since the pioneering work [4], Gevrey regularity of solutions has been verified in a number of nonlinear partial differential equations; we mention only incompressible Euler [9] and KdV equations [10].

Note also that \(\delta = 1\) corresponds to functions which are analytic in \(\overline{\Omega } \backslash {\mathscr {S}}\) which case was considered in [2, 12, 15, 16, 19,20,21]. In the presently considered case \(\delta >1\), i.e. smooth but non-analytic functions *u* are admitted. This precludes the use of analytic continuation into Bernstein Ellipses and of classical complex variable methods of polynomial approximation to establish exponential convergence rate bounds. We therefore opt here for *tensorized univariate hp-projectors with analytic error bounds* (being explicit in the polynomial degree and in the regularity parameter). Approximations on tetrahedral elements *T* are obtained by restricting the resulting local *hp*-interpolants from a corresponding parallelepiped \(K_T\) containing *T*. Rendering the tensorized *hp*-interpolant well-defined in \(K_T\) requires \(K_T\subset \Omega \). In Lemma 1, we show that this requirement can be achieved in regular, geometric meshes of triangles resp. tetrahedra with sufficient refinement, in any bounded polytope \(\Omega \).

The rate (1) coincides, in the cases \(d=1,2\) and for analytic solutions, i.e. when \(\delta = 1\), with the exponential convergence rate bounds obtained in [18, 19] for corner singularities on structured geometric meshes (consisting of axiparallel quadrilaterals with inserted triangles to remove irregular nodes). In space dimension \(d=3\), (1) generalizes the *hp*-approximations in [30, Sec. 5.2.2] in the case of vertex singularities, for meshes of axiparallel hexahedra to unstructured, tetrahedral meshes with geometric refinement towards \({\mathscr {S}}\). For \(0<\delta <1\) we obtain super-exponential convergence rate bounds, which benefit from the higher regularity of *u*.

The structure of the note is as follows: in Sect. 2, we introduce a model problem, the geometric assumptions on the singularities, and precise the analytic regularity in countably normed, weighted Sobolev spaces with radial weight functions. In Sect. 3, we introduce the *hp*-version FEM; we specify in particular the assumptions on the simplicial, geometric meshes, on the elemental polynomial degrees, and on the definition of the *hp* FE spaces. Sect. 4 contains a proof of the exponential convergence bound in \(H^1(\Omega )\) on regular, simplicial geometric mesh families.

## 2 Analytic regularity

Analytic regularity is characterized in countably normed weighted Sobolev spaces which have been introduced and used in exponential convergence estimates in a number of references; we only mention [2, 13, 18,19,20,21] and the references there. Here, we denote by \({\mathscr {S}}\subset \overline{\Omega }\) the set of singular points \({\varvec{c}}\); we consider solutions \(u\in H^1(\Omega )\) which are smooth in \(\overline{\Omega }\backslash {\mathscr {S}}\) so that the singular support of *u* coincides with \({\mathscr {S}}\). We work under the following separation assumption on \({\mathscr {S}}\).

Assumption (2) implies \(\varepsilon (\Omega ,{\mathscr {S}}) := \min \{ \mathrm{dist}({\varvec{c}},{\varvec{c}}'): {\varvec{c}},{\varvec{c}}'\in {\mathscr {S}}, {\varvec{c}}\ne {\varvec{c}}'\} > 0 \), and allows to partition the set \(\Omega \) into \(|{\mathscr {S}}|\) many disjoint neighborhoods \(\omega _{\varvec{c}}\) of the singularities \({\varvec{c}}\in {\mathscr {S}}\). We set denote \(\Omega _0 :=\Omega \backslash \overline{\bigcup _{{\varvec{c}}\in {\mathscr {S}}} \omega _{\varvec{c}}}\).

### 2.1 Weighted Sobolev spaces: Gevrey classes

We characterize analytic regularity of singular solutions by weighted Sobolev spaces. To define these, we introduce distance functions:

With \({\varvec{c}}\in {\mathscr {S}}\) we collect all singular exponents \(\beta _{\varvec{c}}\in {\mathbb {R}}\) in the “multi-exponent”

We assume for \(d=3\) (\(\underline{\beta }> s \) and \(\underline{\beta }\pm s\) being understood componentwise for \(s\in {\mathbb {R}}\))

For \(d=2\), we assume for some \(\varepsilon >0\) that

We consider the *inhomogeneous, weighted semi-norms*\(|u|_{N^k_{\underline{\beta }}(\Omega )}\) given by (cp. [13, Definition 6.2 and Equation (6.9)], [2] and [20]),

We define the *inhomogeneous weighted norm*\(\Vert u \Vert _{N^m_{\underline{\beta }}(\Omega )}\) by \(\left\| u\right\| ^2_{N^m_{\underline{\beta }}(\Omega )}=\sum _{k=0}^m\left| u\right| ^2_{N^k_{\underline{\beta }}(\Omega )}\).

Here, \(|u|_{H^m(\Omega _0)}\) signifies the Hilbertian Sobolev semi-norm of integer order *m* on \(\Omega _0\), and \({\mathsf {D}}^{\alpha }\) denotes the weak partial derivative of order \(\alpha \in {\mathbb {N}}_0^d\). The space \(N^m_{\underline{\beta }}(\Omega )\) is the weighted Sobolev space obtained as the closure of \(C^\infty _0(\Omega )\) with respect to the norm \(\left\| \cdot \right\| _{N^m_{\underline{\beta }}(\Omega )}\).

### Remark 1

(i) Under (5), for \(\Omega \subset {\mathbb {R}}^3\) holds \(N^2_{\underline{\beta }}(\Omega ) \subset H^{1+\theta }(\Omega )\) for some \(\theta > 1/2\) and hence \(N^2_{\underline{\beta }}(\Omega ) \subset C^0(\overline{\Omega })\): choose \(\theta (\underline{\beta }) = 1 - \beta _m - \varepsilon \) in [20, Thm. 3.5] with \(\beta _m := -1-\beta _{\varvec{c}}\in (0,1/2)\), and \(0< \varepsilon < 1/2 - \beta _m = 3/2 + \beta _{\varvec{c}}\). (ii) In dimension \(d=2\), i.e. for \(\Omega \subset {\mathbb {R}}^2\), we find under the assumption (5) that \(N^2_{\underline{\beta }}(\Omega ) \subset H^{1+\theta }(\Omega )\) for some \(\theta >0\), so that for \(d=2\) holds \(N^2_{\underline{\beta }}(\Omega ) \subset C^0(\overline{\Omega })\) with continuous embedding.

(iii) The spaces \(N^m_{\underline{\beta }}(\Omega )\) are closely related to the nonhomogeneous, weighted spaces of type \(J^m_\gamma (\Omega )\) which arise in connection with the Mellin transformation of elliptic problems in conical domains. We refer to [12] for a definition and properties of the spaces \(J^m_\gamma (\Omega )\).

(iv) The spaces \(N^m_{\underline{\beta }}(\Omega )\) are related to the weighted Sobolev spaces introduced by Babuška and Guo [2, 20] in space dimension \(d=2\) and \(d=3\), resp. For example, in space dimension \(d=3\), the weighted seminorm of order \(k\ge 2\) in (7) coincides with with the *vertex-weighted seminorm*\(H^{k,l}_{\beta _m}\) defined in [20, page 83, top] for \(l=2\), if we note that for \(l=2\) and \(|\alpha |=k\ge 2\) in [20], the vertex-weight function \(\Phi ^{\alpha ,l}_{\beta _m}(x) = |x|^{\beta _m+|\alpha |-l} = |x|^{\beta _m+k-2}\). Comparing with the weighted seminorm in (7) yields \(\beta _c = -1-\beta _m\) so that the condition \(\beta _m\in (0,1/2)\) in [20, Thm. 3.5] translates into the condition \(\beta _c \in (-1,-3/2)\) in item (i) above.

With \(N^k_{\underline{\beta }}(\Omega )\) as defined in (7), for \(\delta > 0\) we define the \(\delta \)-*Gevrey regular class of solutions with point singularities at*\({\mathscr {S}}\) by

We mention that in the case \(\delta = 1\) and space dimension three, the norm in the definition (8) of the Gevrey class \({\mathcal {G}}^\delta _{\underline{\beta }}({\mathscr {S}};\Omega )\) coincides with the norm for the analytic class \({\mathcal {B}}_{\underline{\beta }}({\mathscr {S}};\Omega )\) introduced in [13, Definition 6.9–6.11] in three space dimensions, and, by the observation in Remark 1, (iv), and the Definition of the countably normed spaces \({\mathcal {B}}^{l}_{\beta _m}\) in [20, Page 83,top] with \(l=2\).

In two space dimensions, it equals the weighted analytic classes introduced in [19, 20]. All ensuing approximation results in particular apply for this analytic solution class, as has been indicated in [31, 32]. Naturally, the present construction parallels earlier constructions in particular cases; for example, the polynomial trace lifting in Sect. 4.2.6 is identical to the analytic case in [32].

### 2.2 Examples of boundary value problems with Gevrey-regular solutions

Large classes of linear and nonlinear elliptic boundary value and eigenvalue problems with analytic input data admit solutions in the analytic class \({\mathcal {G}}^\delta _{\underline{\beta }}({\mathscr {S}};\Omega )\) with \(\delta = 1\). We refer to, e.g., [4, 13, 21] and also [17] for electron structure models, [2, 13, 21] for elliptic problems in polyhedral domains, and [27] and the references there for nonlinear Schrödinger eigenvalue problems.

#### 2.2.1 Linear elliptic boundary value problems in polygons

In space dimension \(d=2\), let \(\Omega \) denote a polygon with straight sides. Consider the model Dirichlet boundary value problem

In (9), we assume that \(A(x) = (a_{ij}(x))_{1\le i,j\le 2}\) and *f*(*x*) are analytic in \(\overline{\Omega }\) and that the matrix function \(x\mapsto A(x) \in {\mathbb {R}}^{2\times 2}_{sym}\) is uniformly positive definite: there exists \(\alpha > 0\) such that for every \(\xi \in {\mathbb {R}}^2\) holds

The unique, weak solution \(u\in V = H^1_0(\Omega )\) of (9) exists by the Lax–Milgram Lemma, and satisfies the weak form of (9): find

For a closed subspace \(V_N\subset V\), approximate solutions \(u_N\in V_N\) of (10) are obtained by Galerkin projection: find

The approximate solutions \(u_N\) exist, are unique and quasioptimal:

Convergence rates of sequences \(\{ u_N \}_N\) of approximate solutions thus depend on (a) the choice of \(V_N\) and (b) on the solution regularity.

For problem (10), it has been shown in [2] that the solution \(u\in {\mathcal {G}}^1_{\delta }(\Omega )\). For \(\{ V_N \}_N\) being a sequence of so-called *hp*-*FE spaces* (to be defined in the next section), we recover from (12) and (1) (with \(\delta = 1\) and \(d=2\)) the exponential convergence rate \(\exp (-b \root 3 \of {N})\) already obtained in [18, 31]. Gevrey regularity in conical domains for Gevrey-regular data *A* and *f* for solutions *u* of (10) was first obtained in [4].

#### 2.2.2 Three-dimensional problems

For the analog of (9) in polyhedral domains \(\Omega \), the regularity classes \({\mathcal {G}}^\delta _{\underline{\beta }}(\Omega )\) are *not* adequate, as even for analytic data *A* and *f*, the solutions are locally analytic in \(\Omega \), but exhibit apart from corner singularities also so-called *edge-singularities*. Their precise mathematical description mandates more sophisticated function spaces (see, e.g., [13, 20] and the references there and [30] for exponential convergence results for *hp*-FEM.

However, in large classes of applications, solutions are Gevrey regular with point singularities only. We mention only the source problem (10) in domains \(\Omega \) which exhibit isolated vertices, e.g. conical domains with a smooth (analytic) base, such as circular cones with apex \({\varvec{c}}\) (see, e.g., [23]).

Another important class of problems arises from mathematical models of quantum chemistry (see, e.g., [6, 7] and the references there). For instance, consider the nonlinear Schrödinger EVP: find \(\lambda \in {\mathbb {R}}\) and \(0\ne u \in H^1({\mathbb {R}}^3)\) such that

Here, for analytic potentials *V* which become singular at a finite set \({\mathscr {S}}\subset {\mathbb {R}}^3\) of isolated points, eigenfunctions *u* belong to \({\mathcal {G}}^{1}_\beta (\Omega )\) for compact sets \(\Omega \subset {\mathbb {R}}^3\) containing \({\mathscr {S}}\) in their interior, see [17, 26] and [27, Thm. 7]. Quasioptimality in \(H^1(\Omega )\) of Galerkin-FEM for the EVP (13) can be found, for example, in [6, 7].

## 3 *hp*-Finite element spaces

The hierarchies of FE spaces which underlie the *hp*-FEM are based on two key ingredients: (i) *geometric mesh families*\({\mathfrak {M}}_{\kappa ,\sigma } = \{ {\mathscr {M}}^{(\ell )} \}_{\ell \ge 0}\) and (ii) *simultaneous refinement of meshes and polynomial degree distributions*. They also exhibit (iii) a layer-structure among the Finite Elements \(T\in {\mathscr {M}}^{(\ell )}\) which we describe next.

### 3.1 Geometric mesh families \({\mathfrak {M}}_{\kappa ,\sigma }\)

For two parameters \(0<\kappa , \sigma < 1\), we consider in the bounded polyhedron \(\Omega \)*geometric mesh families*\({\mathfrak {M}}_{\kappa ,\sigma } = \{ {\mathscr {M}}^{(\ell )} \}_{\ell \ge 1}\) of geometrically refined, regular simplicial triangulations \({\mathscr {M}}^{(\ell )} \in {\mathfrak {M}}_{\kappa ,\sigma }\). Here,the parameter \(\ell \) denotes roughly the number of refinements towards the singularities. The meshes \({\mathscr {M}}\in {\mathfrak {M}}_{\kappa ,\sigma }\) are regular partitions of the polyhedron \(\Omega \) into a finite number of open simplices (triangles in space dimension \(d=2\), tetrahedra in space dimension \(d=3\)) \(T\in {\mathscr {M}}^{(\ell )}\). Here, regular means that for every \({\mathscr {M}}\in {\mathfrak {M}}_{\kappa ,\sigma }\), the intersections of closures of any two distinct \(T,T'\in {\mathscr {M}}\) are either empty, a vertex *v*, an entire edge *e* or an entire face *f*. We assume the family \({\mathfrak {M}}_{{\kappa },\sigma }\) to be *uniformly*\(\kappa \)-*shape regular*: for a simplex \(T\in {\mathscr {M}}^{(\ell )}\), we denote by \(h_T = \mathrm{diam}(T)\) its diameter and by \(\rho _T = \sup \{ \rho > 0 | B_\rho \subset T\}\), the radius of the largest ball \(B_\rho \) that can be inscribed into *T*. For a regular, simplicial mesh \({\mathscr {M}}\), the (nondimensional) shape parameter \(\kappa ({\mathscr {M}}) = \max \{ h_T/\rho _T | T\in {\mathscr {M}}\}\) is well defined. A collection \(\{ {\mathscr {M}}^{(\ell )} \}_{\ell \ge 1}\) of regular, simplicial meshes is called \(\kappa \)-shape *regular*, if \(\sup _{\ell \ge 1} \kappa ({\mathscr {M}}^{(\ell )}) \le \kappa <\infty \).

Each simplex \(T\in {\mathscr {M}}^{(\ell )}\) is the affine image of the reference simplex, i.e, it is defined by \(\widehat{T} := \{\hat{x} \in {\mathbb {R}}^{{d}}: \hat{x}_i >0, \sum _{i=1}^d \hat{x}_i <1 \}\), under the affine element map \(F_T\), i.e.

For a regular, simplicial triangulation \({\mathscr {M}}\) of \(\Omega \) with \(\kappa ({\mathscr {M}}) < \infty \), the affine element maps are nondegenerate: the jacobians \(B_T = DF_T\) in (14) are nonsingular, and \(\Vert B_T \Vert _F \le \kappa ({\mathscr {M}})\), see, eg., [5, Sec. II]. The reference simplex \(\widehat{T}\) is contained in the unit cube \(\widehat{K} = (0,1)^d\); with each \(T\in {\mathscr {M}}\), we associate a parallelepiped via \(K_T = F_T(\widehat{K})\) and *assume* that \(K_T \subset \Omega \).

### Lemma 1

In a bounded polyhedron \(\Omega \subset {\mathbb {R}}^3\) with plane sides, for any given regular partition \({\mathscr {M}}\) of \(\Omega \) into simplices, there exists \(k\in {\mathbb {N}}\) depending only on \(d\in \{2,3\}\) such that *k* fold uniform newest-vertex bisection refinement of \({\mathscr {M}}\) guarantees that for each \(T\in {\mathscr {M}}\) there exists \(K_T\) as described above with \(K_T\subseteq \Omega \).

### Proof

We refine each simplex \(T_0 \in {\mathscr {M}}\) exactly *k*-times using newest-vertex-bisection (NVB) from [34] resulting in the regular simplicial mesh \({\mathscr {M}}_k\) in \(\Omega \). Since NVB generates only a bounded number of different shapes in a bounded number of spatial orientations per element \(T_0\in {\mathscr {M}}\) (depending only on *d* [35, Section 5]), we may choose \(k\in {\mathbb {N}}\) such that for each \(T_1\in {\mathscr {M}}_k\) with \(T_1\subset T_0\) there exist \(T',T\in \bigcup _{j=1}^{k-1}{\mathscr {M}}_j\) such that

- 1.
\(T_1\subset T'\subset T\subset T_0\),

- 2.
*T*and \(T'\) are similar in the sense \(T'=aT + b\) for \(a\in {\mathbb {R}}\) and \(b\in {\mathbb {R}}^d\). - 3.
\(0< a< (1/\sqrt{d}-1/2)/\sqrt{d}\).

Obviously, we may construct \(K_{T_1}\subseteq K_{T'}\) and it suffices to show that \(K_{T'}\subseteq T\). We define \(F_T\) to map the origin to a vertex of *T* which is closest to a vertex of \(T'\). Thus, application of \(F_T^{-1}\) simplifies the situation to \(T'=a{\widehat{T}} +{\widetilde{b}}\subset {\widehat{T}}\) for \(\widetilde{b}\in {\mathbb {R}}^d\) with \(|{\widetilde{b}}|\le 1/2\). Let \(K'\) denote a parallelepiped for which the set of vertices contains all vertices of \(T'\). Denote \({\widetilde{b}}\) a vertex closest to the origin. Then, the distance of every vertex of \(K'\) to the origin is bounded by \(\sqrt{d}a + 1/2\). Since \(\{\hat{x} \in {\mathbb {R}}^{{d}}: \hat{x}_i >0, \sum _{i=1}^d \hat{x}_i^2 <1/\sqrt{d} \}\subset {\widehat{T}}\), we obtain \(K'\subset {\widehat{T}}\). Reverting the transformation concludes the proof. \(\square \)

### 3.2 Local polynomial spaces

For \(T\in {\mathscr {M}}\) the local polynomial approximation space \({\mathbb {P}}^{p}(T)=\mathrm{span} \{x^\alpha : |\alpha |\le p\}\) is the span of all multivariate polynomials on \(T\in {\mathscr {M}}\) whose total degree does not exceed *p*. The space \({\mathbb {P}}^{p}(T)\) is invariant under the affine mapping \(F_T\), i.e. \(u \in {\mathbb {P}}^{p}(T)\) if and only if \(\hat{u} := u\circ F_T \in {\mathbb {P}}^{p}(\widehat{T})\). On parallelepipeds *K*, \({\mathbb {Q}}^p(K)\) is an affine image of \({\mathbb {Q}}^p(\widehat{K})\), \(\widehat{K} = \widehat{I}^d\) with \(\widehat{I} = (0,1)\), i.e.,

For each parallelepiped \(K_T\) associated with a *d*-simplex \(T\in {\mathscr {M}}\) with associated affine element mapping \(F_T :\widehat{K}\rightarrow K_T\) and polynomial degree \(p \ge 0\), we set

For polynomial degree \(p\ge 1\), and for a family of regular, simplicial triangulations \({\mathscr {M}}^{(\ell )}\in {\mathfrak {M}}_{\kappa ,\sigma }\) of \(\Omega \), we introduce finite element spaces of continuous, piecewise polynomial functions of total degree at most *p* on each \(T \in {\mathscr {M}}^{(\ell )}\), i.e.

Typically, *hp*-FEMs are obtained when the level \(\ell \) of geometric mesh refinement is tied to the polynomial degree *p*.

### 3.3 Mesh layers

A key ingredient in exponential convergence proofs of *hp*-FEM is *geometric mesh refinement towards the set*\({\mathscr {S}}\)*of singularities*. For a parameter \(0<\sigma <1\), we call a regular, simplicial mesh family \({\mathfrak {M}}_{\kappa ,\sigma } = \{ {\mathscr {M}}^{(\ell )}\}_{\ell \ge 1}\)\(\sigma \)-*geometrically refined towards*\({\mathscr {S}}\subset \Omega \) if there exists \(0<\sigma < 1\) such that for every \(T\in {\mathscr {M}}^{(\ell )}: \overline{T} \cap {\mathscr {S}}= \emptyset \), \(\ell = 1,2,\ldots \) holds

We tag members of a \(\sigma \)-geometric family \({\mathfrak {M}}_{\kappa ,\sigma }\) by a subscript \(\sigma \), i.e. we write \({\mathscr {M}}^{(\ell )}_\sigma \). A simplicial mesh family \({\mathfrak {M}}_{\kappa ,\sigma }\) in a polytopal Lipschitz domain \(\Omega \) which is \(\sigma \)-geometrically refined towards the singular set \({\mathscr {S}}\) can be generated by the following algorithm:

### Algorithm 1

**Input:** Initial regular, simplicial mesh \({\mathscr {M}}^{(0)}\) in polytope \(\Omega \subset {\mathbb {R}}^d\), \(d=2,3\). Singular set \({\mathscr {S}}\subset \overline{\Omega }\) such that each \(c\in {\mathscr {S}}\) corresponds to a vertex of some \(T\in {\mathscr {M}}^{(0)}\) and such that for each \(T\in {\mathscr {M}}^{(0)}\), \(\overline{T} \cap {\mathscr {S}}\) is either empty or contains exactly one element of \({\mathscr {S}}\).

For \(\ell =0,1,\ldots \) do:

- 1.
Refine all elements \(T\in {\mathscr {M}}^{(\ell )}\) with \(\overline{T}\cap {\mathscr {S}}\ne \emptyset \) with NVB.

- 2.
Perform the mesh completion step from [34] a conforming refinement \({\mathscr {M}}^{(\ell +1)}\).

**Output:** Sequence \({\mathfrak {M}}= \{ {\mathscr {M}}^{(\ell )} : \ell =0,1,2,... \}\) of regular, simplicial partitions of \(\Omega \) with geometric refinement towards \({\mathscr {S}}\).

We now show that the output of Algorithm 1 can, for each fixed \(0<\sigma <1\), be identified with sequences \({\mathfrak {M}}_{\kappa ,\sigma }\) of regular, simplicial meshes which are \(\sigma \)-geometrically refined towards \({\mathscr {S}}\) in \(\Omega \).

We start by observing that the mesh completion step 2. in Algorithm 1 from [34] guarantees that \(\#({\mathscr {M}}^{(\ell )})\lesssim \ell \cdot \#{\mathscr {S}}\), where the hidden constant depends only on \({\mathscr {M}}^{(0)}\) and \({\mathscr {S}}\). We next observe that the sequence \({\mathfrak {M}}\) produced by Algorithm 1 does not depend on \(\sigma \in (0,1)\). Therefore, choosing \(\sigma \in (0,1)\)*after* executing Algorithm 1 we claim that \({\mathfrak {M}}\) can be identified with a \(\sigma \)-geometric family \({\mathfrak {M}}_{\kappa ,\sigma }\) in sense that (18) holds.

### Proposition 1

For every fixed \(0<\sigma <1\), the output \({\mathfrak {M}}\) of Algorithm 1 can be identified with a \(\sigma \)-geometric family \({\mathfrak {M}}_{\kappa ,\sigma }\). In particular, for given \(0<\sigma <1\), for every \(\ell >d\) all elements \(T\in {\mathscr {M}}^{(\ell )}\) can be grouped in *mesh-layers*: there exists a partition

where \(\#{\mathfrak {T}}_\sigma ^{(\ell )}\le c_{\mathfrak {T}}({\kappa ,\sigma })\) and

for \(k\simeq \ell \log (2)/|\log (\sigma )|\) and there exists \(c_{\mathfrak {T}}>0\) being independent of \(\ell \) such that for all \(\ell \) holds

There exists a constant \(c({\mathfrak {M}}_{\kappa ,\sigma }) \ge 1\) with

and such that, for every \(T\in {\mathfrak {L}}_k\) and every \(k\ge 1\),

### Proof

Let \({\mathscr {M}}^{(\ell ),c}:=\{T\in {\mathscr {M}}^{(\ell )}\,:\,c\in \overline{T}\}\) denote the set of all elements which contain a singularity point \(c\in {\mathscr {S}}\). Note that by assumption, each *T* contains at most one point *c*. By definition of newest-vertex-bisection (NVB) in [34, Section 2], each simplex \(T\in {\mathscr {M}}^{(\ell )}\), \(T=\mathrm{conv}(x_0,x_1,\ldots ,x_d)\) has an associated refinement edge \(E_T\) between \(x_0\) and \(x_d\) as well as a tag \(\gamma \in \{0,\ldots ,d-1\}\). The children of *T* are defined as

and

with tag \(\gamma '= (\gamma +1)\,\mathrm{mod}\,d\). From this definition, we see that if \(c\in \overline{E_T}\) (i.e. \(c=x_0\) or \(c=x_d\)), there is exactly one child \(T'\) which contains the singularity and also \(c\in \overline{E_{T'}}\). This shows that once the refinement edge includes the singularity, this remains the case for all descendants of *T* which include the singularity. Moreover, it is evident that any vertex of *T* is part of the refinement edge of one of its descendants \(T'\) after at least *d*-bisections. Those two observations imply that for \(\ell >d\), the refinement edge of all \(T\in {\mathscr {M}}^{(\ell ),c}\) satisfies \(c\in \overline{E_T}\). Hence, any element \(T'\in {\mathscr {M}}^{(\ell )}{\setminus }{\mathscr {M}}^{(\ell ),c}\) satisfies that \(E_T\cap \overline{T'}\) is at most a single point. Thus, step 1 of Algorithm 1 refines all elements in \({\mathscr {M}}^{(\ell ),c}\) by bisecting their refinement edge and no hanging nodes are produced. Consequently, the mesh completion step 2 in Algorithm 1 does nothing and all elements \(T'\in {\mathscr {M}}^{(\ell )}{\setminus }{\mathscr {M}}^{(\ell ),c}\) are not refined after step \(\ell \).

Define \({\mathfrak {L}}^{(\ell )}_k:=\{T\in {\mathscr {M}}^{(\ell )}\,:\,\overline{T}\cap {\mathscr {S}}=\emptyset ,\,\sigma ^{k+1}\le \mathrm{diam}(T)<\sigma ^{k}\}\). Clearly, the \({\mathfrak {L}}^{(\ell )}_k\) form a partition of \({\mathscr {M}}^{(\ell )}\). Since \({\mathfrak {L}}^{(\ell )}_k\cap {\mathscr {M}}^{(\ell ),c}=\emptyset \) for all \(c\in {\mathscr {S}}\), the above shows that \({\mathfrak {L}}^{(\ell )}_k\ne \emptyset \) and \(\ell \ge d\) imply \({\mathfrak {L}}^{(\ell ')}_k={\mathfrak {L}}^{(\ell )}_k\) for all \(\ell '\ge \ell \). Hence, we define \({\mathfrak {L}}_k:= {\mathfrak {L}}^{(\ell )}_k\) and write

where \({\mathfrak {T}}^{(\ell )}\) contains all the remaining elements which include a singularity and *k* is bounded by \(k\simeq \ell \log (2)/|\log (\sigma )|\).

By shape-regularity, we know that each \(T\in {\mathscr {M}}^{(\ell )}\) which does not include a singularity has a similarly sized neighbor between itself and \({\mathscr {S}}\). Hence, there holds \(\mathrm{dist}(T,{\mathscr {S}})\gtrsim \mathrm{diam}(T)\) with a hidden constant which depends only on \({\mathscr {M}}^{(0)}\). On the other hand, if \(T\in {\mathscr {M}}^{(\ell )}{\setminus }{\mathscr {M}}^{(\ell -1)}\) for some \(\ell \in {\mathbb {N}}\), the unique ancestor \(T_0\in {\mathscr {M}}^{(\ell -1)}\) must satisfy \({\mathscr {S}}\cap \overline{T_0}\ne \emptyset \) and hence \(\mathrm{dist}(T,{\mathscr {S}})\le \mathrm{diam}(T_0)\le 2\mathrm{diam}(T)\). This verifies (18).

The remaining properties in the statement follow immediately from the definition. This concludes the proof. \(\Box \)

Based on Proposition 1, we may assume that \({\mathscr {M}}_\sigma ^{(\ell )}\) consists of \(O(\ell )\) layers. The terminal layers \({\mathfrak {T}}_\sigma ^{(\ell )}\subset {\mathscr {M}}^{(\ell )}_\sigma \) in (19) satisfy the following properties.

### Proposition 2

There exists a constant \(c_{\mathfrak {T}}({\kappa ,\sigma })>0\) such that for every \({\mathscr {M}}^{(\ell )}_\sigma \in {\mathfrak {M}}_{\kappa ,\sigma }\), the set \({\mathfrak {T}}_\sigma ^{(\ell )}\) has the following properties: for all \(\ell \ge 1\) holds

- (i)
\(\#({\mathfrak {T}}^{(\ell )}_\sigma ) \le c_{\mathfrak {T}}({\kappa ,\sigma })\),

- (ii)
\(\forall {\varvec{c}}\in {\mathscr {S}}:\; | {\mathfrak {T}}^{(\ell )}_\sigma \cap \omega _{\varvec{c}}| \le c_{\mathfrak {T}}({\kappa ,\sigma }) \sigma ^{d\ell }\),

- (iii)
\(\forall T\in {\mathfrak {T}}^{(\ell )}_\sigma : \;\; h_T\le c_{\mathfrak {T}}({\kappa ,\sigma }) \sigma ^\ell \).

### Proof

Assertion (i) is already stated in Proposition 1 and repeated just for reference. Property (20) implies that for every \(T\in {\mathfrak {T}}^{(\ell )}_\sigma \), \(\mathrm{dist}(T,{\mathscr {S}}) \le c_{\mathfrak {T}}({\kappa ,\sigma })\sigma ^\ell \). This implies, with the shape regularity of *T*, that for every \(T\in {\mathfrak {T}}^{(\ell )}_\sigma \) holds \(|T| \le c_{\mathfrak {T}}({\kappa ,\sigma })\sigma ^{d\ell }\). This, in turn, implies assertion (ii). With shape-regularity, we derive (iii) directly from (ii).\(\square \)

### Remark 2

(i) We *do not use that fact* that the singular supports \({\varvec{c}}\in {\mathscr {S}}\) comprise nodes of some triangulation \({\mathscr {M}}^{(\ell )} \in {\mathfrak {M}}_{\kappa ,\sigma }\). This implies, in particular, that the ensuing exponential convergence proofs remain valid for “nearly coalescing” singular supports \({\varvec{c}},{\varvec{c}}'\in {\mathscr {S}}\): for \({\varvec{c}}, {\varvec{c}}' \in {\mathscr {S}}\) such that \(\mathrm{dist}({\varvec{c}},{\varvec{c}}') < \sigma ^p\), both \({\varvec{c}}\) and \({\varvec{c}}'\) are contained in the terminal layers \({\mathfrak {T}}^{(\ell )}_\sigma \). There, a low-order quasi interpolant of Clément (resp. Scott–Zhang) type is used, see Sect. 4.2.8 ahead. The constants in the exponential convergence bound are uniform in w.r. to \(\mathrm{dist}({\varvec{c}},{\varvec{c}}')\). (ii) Due to Prop. 2, item (iii), geometric mesh refinement implies that \(\mathrm{dist}({\varvec{c}},{\varvec{c}}')\) is resolved with geometric refinements with \(\ell \ge O(|\log (\mathrm{dist}({\varvec{c}},{\varvec{c}}'))|)\) many mesh layers.

## 4 Exponential convergence

### 4.1 Statement of the exponential convergence result

### Theorem 1

Suppose given a weight vector \(\underline{\beta }\) as in (5) in a bounded polytope \(\Omega \subset {\mathbb {R}}^d\), \(d=2,3\), with plane sides resp. faces.

Then, for every sequence \({\mathfrak {M}}_{\kappa ,\sigma }({\mathscr {S}})\) of nested, regular simplicial meshes in \(\Omega \) which are \(\sigma \)-geometrically refined towards \({\mathscr {S}}\) and which are \(\kappa \) shape-regular, there exist continuous projectors \(\Pi ^{p}_{\kappa ,\sigma }: N^2_{-1-\underline{\beta }}(\Omega ) \rightarrow S^p({\mathscr {M}}^{(\ell )}_\sigma )\) with \(\ell \simeq p^{1/\delta }\) and, for every \(u\in {\mathcal {G}}^\delta _{\underline{\beta }}({\mathscr {S}};\Omega ))\) there exist constants \(b,C>0\) (depending on \(\kappa \), \(C_u\), \(d_u\) in (8) and on \(\sigma \)) such that there holds the error bound

Here,

If, moreover, \(u|_{\partial \Omega } = 0\), then \(( \Pi ^{p}_{\kappa ,\sigma } u)|_{\partial \Omega } = 0\) and (23) holds.

### 4.2 Proof

The proof of the *approximation result* Theorem 1 is based on constructing the projectors \(\Pi ^{p}_{\kappa ,\sigma }\); our construction will proceed in several steps and we detail it for \(d=3\), the case \(d=2\) being a (minor) modification. First, we review from [30, Section 5] a family of univariate *hp*-projections with error bounds which are explicit in the polynomial degree as well as in the regularity of the functions to be approximated. A corresponding family of polynomial projectors on the unit cube \(\widehat{K} = (0,1)^3\) with analogous consistency error bounds is then obtained as in [30, Section 5] by tensorization and scaling. We shall use these bounds for a tetrahedron \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \subset {\mathscr {M}}^{(\ell )}_\sigma \in {\mathfrak {M}}_{\kappa ,\sigma }\) as follows. By Proposition 1, \(T\in {\mathfrak {L}}_k\) for some \(1\le k \le \ell - 1\). The (up to orientation) unique parallelepiped \(K_T = F_T(\widehat{K})\) associated with \(T\in {\mathfrak {L}}_k\) has the same scaling properties as *T*, in particular (22) also holds for \(K_T\). For *u* belonging to the Gevrey class (8) with weight vector satisfying (5), \(u\in C^0(\overline{\Omega }) \cap C^\infty (\overline{\Omega } \backslash {\mathscr {S}})\). For \(T \in {\mathfrak {O}}^{(\ell )}_\sigma \), the pullback \(\widehat{u}_T = u|_{K_T}\circ F_T\) satisfies on \(\widehat{K}\) the same derivative bounds as \(u|_{T} \circ F_T\) on \(\widehat{T}\) (with possibly larger constant \(C_u\), depending on \(\kappa \), but independent of \(\ell \) and of *T*). The tensorized *hp* interpolation operator from [30] on \(\widehat{K}\) is therefore well-defined and allows to construct a polynomial approximation \(\widehat{u}_T^p \in {\mathbb {Q}}^p(\widehat{K})\) with analytic consistency error bounds on \(\widehat{K}\); since \(\widehat{T}\subset \widehat{K}\), and since \({\mathbb {Q}}^p(\widehat{T}) \subset {\mathbb {P}}^{pd}(\widehat{T})\), the pushforwards of the restrictions \(\widehat{u}_T^p|_{\widehat{T}}\) under the affine mapping \(F_T:\widehat{T} \rightarrow T\) will be local polynomial approximations of degree *pd* with exponential convergence estimates in \(H^1(T)\). Moreover, since the tensorized interpolant is nodally exact in the vertices of \(\widehat{K}\), and since the set of vertices of \(\widehat{T}\) is a subset of the set of vertices of \(\widehat{K}\), *the pushforwards of*\(\widehat{u}_T^p|_{\widehat{T}}\)*under*\(F_T\)*are nodally exact in the vertices of**T*.

For elements \(T\in {\mathfrak {T}}_\sigma ^{(\ell )}\), we only require a first order approximation property, as the geometric refinement guarantees the necessary convergence rate. We can not use nodal interpolation as functions \(u\in {\mathcal {G}}_{\underline{\beta }}^\delta ({\mathscr {S}};\Omega )\) may not be bounded near a singularity \(c\in {\mathscr {S}}\). Thus, we construct a quasi interpolation operator on elements in the terminal layers \(T\in {\mathfrak {T}}_\sigma ^{(\ell )}\) that interpolates at those vertices of *T* which are not in \({\mathscr {S}}\).

By the continuity of \(u\in {\mathcal {G}}_{\underline{\beta }}^\delta ({\mathscr {S}};\Omega )\) on \(\Omega \backslash {\mathscr {S}}\), the resulting global, piecewise polynomial approximation is nodally exact in all vertices of \({\mathscr {M}}^{(\ell )}_\sigma \) except those which coincide with singularities \(c\in {\mathscr {S}}\). Particularly, the resulting piecewise polynomial *hp*-approximation is globally continuous at all vertices of \({\mathscr {M}}^{(\ell )}_\sigma \). However, it still has polynomial jump discontinuities across edges and (in space dimension \(d=3\)) faces of \(T \in {\mathscr {M}}^{(\ell )}_\sigma \) which we remove by *polynomial trace liftings*, preserving the exponential convergence estimates.

#### 4.2.1 Univariate *hp*-projectors and *hp* error bounds

Let \(I=(-1,1)\) be the unit interval. For any \(k\ge 1\), we write \(H^k(I)\) for the usual Sobolev space endowed with norm \(\Vert u \Vert _{H^k(I)}\). For \(q\ge 0\), we denote by \({\widehat{\pi }}_{q,0}: L^2(I) \rightarrow {\mathbb {P}}^q(I)\) the \(L^2(I)\)-projection. The following \(C^{k-1}\)-conforming and univariate projector has been constructed in [14, Section 8].

### Lemma 2

For any \(p,k\in {\mathbb {N}}\) with \(p\ge 2k-1\), there is a projector \({\widehat{\pi }}_{p,k} : H^k(I) \rightarrow {\mathbb {P}}^p(I)\) that satisfies \(({\widehat{\pi }}_{p,k} u)^{(k)} = {\widehat{\pi }}_{p-k,0}(u^{(k)})\), and \(({\widehat{\pi }}_{p,k})^{(j)}u(\pm 1) := u^{(j)}(\pm 1)\), for any \(j=0,\ldots , k-1\).

Moreover, there holds:

- (i)
For every \(k\in {\mathbb {N}}\), there exists a constant \(C_k > 0\) such that

$$\begin{aligned} \forall u\in H^k(I), \forall p\ge 2k-1\!: \quad \Vert {\widehat{\pi }}_{p,k}u \Vert _{H^k(I)} \le C_k \Vert u \Vert _{H^k(I)}. \end{aligned}$$(24) - (ii)
For integers \(p,k \in {\mathbb {N}}\) with \(p\ge 2k-1\), \(\kappa = p-k+1\) and for \(u\in H^{k+s}(I)\) with any \(k \le s \le \kappa \) there holds the error bound

$$\begin{aligned} \Vert (u - {\widehat{\pi }}_{p,k} u)^{(j)} \Vert ^2_{L^2(I)} \le \frac{(\kappa - s)!}{(\kappa + s)!} \Vert u^{(k+s)} \Vert ^2_{L^2(I)},\qquad j=0,1,\ldots ,k. \end{aligned}$$(25)

We refer to [14, Proposition 8.4] and [14, Theorem 8.3], respectively, for proofs, and further references.

#### 4.2.2 Tensor projector on the unit cube

Based on the univariate projectors \({\widehat{\pi }}_{p,k}\), we constructed in [30] polynomial projection operators on \(I^d = (0,1)^d\) by (a) translation and scaling of the projectors \( {\widehat{\pi }}_{p,k} \) to (0, 1) and (b) by tensorization, as follows: for integers \(k\ge 0\) and \(d>1\), we define

where \(\otimes \) denotes the tensor-product of separable Hilbert spaces. These spaces are isomorphic to Bochner spaces, i.e. \(H^k_{mix}(I^d) \simeq H^k(I; H^k_{mix}(I^{d-1})) \simeq H^k_{mix}(I^{d-1};H^k(I))\). In \(I^d\) of dimension \(d>1\) and for \(p\ge 2k-1\), we define the projector

where \({\widehat{\pi }}^{(i)}_{p,k}\) denotes the univariate projector in Lemma 2, applied in coordinate \(1\le i \le d\). For \(d, k \ge 1\) there exists a constant \(C_{k,d} > 0\) such that for all \(p\ge 2k-1\) there holds the stability bound

and

We choose throughout what follows \(k=2\) as in [30], and obtain from (29), (25)

### Proposition 3

[30] Assume that the polynomial degree \(p \ge 5\). Then, for any integers \(3 \le s\le p\), and for \(v\in H^{s+5}(\widehat{K})\), there holds

where the constant implied in \(\lesssim \) is independent of *s* and of *p*, and where

Moreover, \({{\widehat{\Pi }}}^3_{p,2}v\) is nodally exact in the vertices of \(\widehat{K} = (0,1)^3\):

#### 4.2.3 Transformation formula

For \(u\in H^k(\Omega )\), and for a simplex \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \), consider the transformation \(\hat{u}_T = u|_T \circ F_T\in H^k(\widehat{T})\) for every \(k\ge 0\). Quantitative bounds on derivatives under affine transformations \(F_T\) in (14) are provided by the *transformation formula* (eg. [5, Section II.6.6]).

### Lemma 3

Let \(G \subset {\mathbb {R}}^d\), \(d\ge 2\), denote a bounded polyhedron which is affine equivalent to \(\widehat{G}\) via (14), i.e. \(G = F_T(\widehat{G})\). For \(v\in H^k(G)\) and for any \(k\in {\mathbb {N}}\), the pullback \(\hat{v}_T := v|_G\circ F_T\) satisfies with \( |v|_{m,T}^2 = \sum _{|\alpha |=m} \Vert D^\alpha v \Vert ^2_{L^2(G)}\) and with the Frobeniusnorm \(\Vert B_T \Vert _F\) of the matrix \(B_T\) in (14) the bound

#### 4.2.4 Element interpolants

For any simplex \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \), the function \(u\in {\mathcal {G}}_{\underline{\beta }}^\delta ({\mathscr {S}};\Omega )\) the polynomial approximation of \(u|_T\), \(u\in {{\mathcal {G}}}_{\underline{\beta }}^\delta ({\mathscr {S}};\Omega )\) is obtained by applying Proposition 3 to \(\hat{u}_T := u|_{K_T} \circ F_T\):

With \(u^p_T\) as in (34) we define the *hp*-*base interpolant*\({\tilde{I}}^p\) in \({\mathfrak {O}}^{(\ell )}_\sigma \) by

The bound (20) *with*\(c_{\mathfrak {T}}> 0\)*sufficiently large, independent of*\(\ell \) ensures that there exists \(c(\kappa ,\sigma )>0\) such that the associated \(K_T\) satisfies

#### 4.2.5 Exponential convergence in broken Sobolev norms

### Proposition 4

For \(u\in {\mathcal {G}}_{\underline{\beta }}^\delta ({\mathscr {S}};\Omega )\) with (5), there are \(b,C>0\) (depending on *u*) such that for every \(p \ge 1\) and for \({\tilde{I}}^p\) from (35) holds with \(\ell \ge 1\)

Here \(C>0\) depends on *u* and \(\sigma \), but is independent of *p*, and \(H^1({\mathfrak {O}}^{(\ell )}_\sigma )\) denotes the broken \(H^1\) space over \({\mathfrak {O}}^{(\ell )}\), with corresponding norm.

### Proof

Since \({\mathscr {S}}\) consists of finitely many singular points \({\varvec{c}}\), by localization and superposition, we may assume wlog. \({\mathscr {S}}= \{{\varvec{c}}\}\) and denote by \(\beta = \beta _{\varvec{c}}> -2\). For \( 1\le k \le \ell < p\), consider a simplex \(T\in {\mathfrak {L}}_k \cap \omega _{\varvec{c}}\subset {\mathscr {M}}^{(\ell )}_\sigma \) and the associated parallelepiped \(K_T = F_T(\widehat{K})\supset T\). It satisfies

By assumption, \(K_T \subset \Omega \) and, by (20), \(\mathrm{dist}(K_T,{\mathscr {S}}) \ge c_{\mathfrak {T}}\sigma ^{k}\). Then, for \(u\in {\mathcal {G}}_{\underline{\beta }}^\delta ({\mathscr {S}};\Omega )\) and for this \(T\in {\mathfrak {L}}_k\), \(\hat{u}_T := u|_{K_T}\circ F_T\) is smooth in \(\overline{\widehat{K}}\) and satisfies, by (33) with \(G = K_T\) and \(\widehat{G} = \widehat{K}\),

We obtain for \(|u|_{m,K_T}\) using (18) and (22)

We define \(u^p_T\in {\mathbb {Q}}^p(T) \subset {\mathbb {P}}^{pd}(T)\) as in (34). From (30), for every integer \(3\le s\le p\) and with \(\Psi _{q,r}\) as in (31) and for \(j=0,1,2\),

Using the \(\kappa \)-shape regularity of \(T\in {\mathfrak {L}}_k\subset {\mathscr {M}}^{(k)}_\sigma \in {\mathfrak {M}}_{\kappa ,\sigma }\), we find \(h_T\lesssim \Vert B_T \Vert _F \le \kappa h_T\) (eg. [5, (Chap. II, (6.9)]) and, by (22) and (33), that \( h_T \simeq \kappa \sigma ^k\) so that for every \(m\in {\mathbb {N}}\)

We obtain for \(j=0,1,2\) the bound

Transporting to \(T = F_T(\widehat{T})\in {\mathfrak {L}}_k\), we find for \(\beta _c = -1 - b_c\) and \(j=0,1,2\).

For \(T\in {\mathfrak {O}}^{(\ell )}\), we define the piecewise polynomial interpolant \({\tilde{I}}^p u|_T\) by (34). Then \({\tilde{I}}^p u\) coincides with *u* in the vertices of all \(T\in {\mathfrak {O}}^{(\ell )}\) and is in particular continuous in these vertices; it is, however, in general discontinuous across edges and faces.

Using the finite cardinality (21), and summing the bound (38) with \(j=0,1\) over layers \({\mathfrak {L}}_1,...,{\mathfrak {L}}_{\ell -1}\), we obtain with \(\bar{C} := C_u\kappa d\) and \(\beta _{\varvec{c}}= -1-b_{\varvec{c}}\), \(0<b_c <1\)

We have for \(s<p\) with the recursion formula \(\Gamma (z+1)=z\Gamma (z)\) that

In the case \(\delta \ge 1\), for all \(p\in {\mathbb {N}}\) choosing \(s = s(p) > 0\) such that there holds with a constant \(c>1\) independent of *p* (to be selected below) \(p=cs^\delta \) (this ensures \(s<p\) in the upper bounds (40)), we obtain

Choosing \(c=2\bar{C}+1 > 1\) this implies for \(s\gtrsim 1\) sufficiently large the bound

where the constant hidden in \(\lesssim \) is independent of the polynomial degree *p*.

In the case \(0<\delta <1\), we choose \(s=p/2\) in (40) and obtain

for some \(0<b<1\). Inserting this bound into (39) completes the proof\(.\square \)

#### 4.2.6 Polynomial trace lifting in \({\mathfrak {O}}^{(p)}_\sigma \)

By the nodal exactness (32), the *hp* base interpolant \({\tilde{I}}^p\) constructed in (35) of Proposition 4 is exact, and hence continuous in vertices of simplices \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \), but has in general discontinuities across interelement edges \(E \in {\mathcal {E}}_T\) of simplices \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \) (in dimensions \(d=2,3\)) and across interelement faces \(F \in {\mathcal {F}}_T\) of simplices \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \) (in dimension \(d=3\)). The jumps of interpolant across edges and faces are polynomial, i.e. \([\![{\tilde{I}}^p]\!]_E\) and \([\![{\tilde{I}}^p]\!]_F\).

For each \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \), the nodal exactness (32) of the base *hp*-interpolant \({\tilde{I}}^p u\) implies for each \(E\in {\mathcal {E}}_T\) that \([\![{\tilde{I}}^p u]\!]_E\in {\mathbb {P}}^{pd}_0(E) := ({\mathbb {P}}^{pd}\cap H^1_0)(E)\), \(d=2,3\), and, for \(d=3\) and each \(F\in {\mathcal {F}}_T\), \([\![{\tilde{I}}^p u]\!]_F\in {\mathbb {P}}^{pd}(F)\). We build a continuous, piecewise polynomial interpolant by successively lifting these polynomial trace jumps of \({\tilde{I}}^p\) while retaining its consistency, in particular the analytic estimates (30).

First, we lift jumps on interelement edges \(E \in {\mathcal {E}}_T\) and, second, in dimension \(d=3\) also for all interelement faces \(F \in {\mathcal {F}}_T\), for every \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \). Since \(T \in {\mathfrak {O}}^{(\ell )}_\sigma \subset {\mathscr {M}}^{(\ell )}_\sigma \in {\mathfrak {M}}_{\kappa ,\sigma }\) is \(\kappa \) shape-regular, so are all \(F\in {\mathcal {F}}_T\). For \(E\in {\mathcal {E}}_T\), let \(F_E\in {\mathcal {F}}_T\) denote any face in \({\mathcal {F}}_T\) with \(E\subset \partial F\).

We recapitulate from [28, Lemma 15, Thm. 1] the required lifting and the stability estimates. Consider the reference simplex \(\widehat{T} \subset {\mathbb {R}}^d\), \(d=2,3\). Given a piecewise polynomial function \(\hat{g}_p\) of degree *p* on each \(\widehat{F}\in {\mathcal {F}}_{\widehat{T}}\) that is continuous on \(\partial \widehat{T}\), in [28, Lemma 15, Thm. 1], a polynomial trace lifting \(\hat{v}_p = {\mathcal {L}}_{\widehat{T}, \widehat{\partial }T}(\hat{g}_p) \in {\mathbb {P}}^p(\widehat{T})\) is constructed which satisfies on the reference simplex \(\widehat{T}\) in space dimension \(d=2,3\) the bound \(\Vert \hat{v}_p \Vert _{H^1(\widehat{T} )} \le \widehat{C} \Vert \hat{g}_p\Vert _{H^{1/2}(\partial \widehat{T})}\) (with \(\hat{C} > 0\) independent of *p*).

As \(H^{1/2}(\widehat{T}) = (L^2(\widehat{T}), H^1(\widehat{T}))_{1/2}\), we have the interpolation inequality \(\Vert \hat{g}_p \Vert _{H^{1/2}(\partial \widehat{T})} \le \widehat{C} \Vert \hat{g}_p \Vert _{L^2(\partial \widehat{T})}^{1/2} \Vert \hat{g}_p \Vert _{H^1(\partial \widehat{T})}^{1/2}\). With the polynomial inverse inequality (see, e.g., [36]) on each face \(\widehat{F} \subset \partial \widehat{T}\) we get (with a possibly different constant \(\hat{C}>0\) which is independent of *p*)

Squaring this and scaling \(\widehat{T}\) to \(T=F_T(\hat{T})\in {\mathfrak {O}}^{(p)}_\sigma \) we find

Iterating (42) twice, from \(\hat{E}\subset \partial \hat{F}\) to \(\hat{F} \subset \partial \hat{T}\) to \(\hat{T}\), we obtain for \(\widehat{g}_p \in {\mathbb {P}}^p_0(\widehat{E})\) a polynomial edge lifting \(\widehat{{\mathcal {L}}}_{\widehat{T},\widehat{E}}(\widehat{g}_p) \in {\mathbb {P}}^p(\widehat{T})\) on the reference simplex \(\widehat{T}\subset {\mathbb {R}}^3\) with

Squaring (44) and scaling to \(T = F_T(\hat{T})\in {\mathfrak {O}}^{(p)}_\sigma \) yields for \(g_p \in {\mathbb {P}}_0^p(E)\) on \(E\in {\mathcal {E}}_T\)

Let now \(d=3\) and let \(F,F'\in {\mathcal {F}}_T\) be two distinct faces which share edge \(\overline{E} = \overline{F}\cap \overline{F'}\). Using (42) in dimension \(d=2\) and scaled to *T*, we lift \(g_p = [\![{\tilde{I}}^p u]\!]_E\in {\mathbb {P}}^{pd}_0(E)\) twice, once into *F* and once into \(F'\), resulting in a \(v_p \in C^0(\overline{F\cup F'})\), \(v_p \in {\mathbb {P}}^{pd}(F)\cup {\mathbb {P}}^{pd}(F')\), and \(v_p\mid _{\partial \overline{F\cup F'}} = 0\) which satisfies (43) with *F* in place of *T*. We may therefore extend this continuous, piecewise polynomial function \(v_p\) from \(\overline{F\cup F'}\) by zero to a function \({\tilde{v}}_p \in C^0(\partial T)\) which is, on each \(F\in {\mathcal {F}}_T\), a polynomial of total degree at most *pd*. There exists a lifting \({\mathcal {L}}_{T,F}({\tilde{v}}_p) \in {\mathbb {P}}^{pd}(T)\) such that for each \(F\in {\mathcal {F}}_T\) we have \({\mathcal {L}}_{T,F}({\tilde{v}}_p)\mid _F = v_p\mid _F\) on \(F\in {\mathcal {F}}_E\), \( ({\mathcal {L}}_{T,F}({\tilde{v}}_p)\mid _F)\mid _E \equiv g_p \) on *E* and such that (45) holds.

For each edge *E* in \({\mathfrak {O}}^{(p)}_\sigma \), we lift the polynomial jump in this way into all \(T\in {\mathfrak {O}}^{(p)}_\sigma \) for which \(E\in {\mathcal {E}}_T\) by the *edge-lifting operator*

By \(\kappa \) shape regularity, \(\#\{ T\in {\mathfrak {O}}^{(p)}_\sigma : E \in {\mathcal {E}}_T\}\) is bounded independently of *p* and of the particular edge *E* by an absolute constant depending only on \(\kappa \). With \({\tilde{I}}^p\) in (35), we define

Then, \(\breve{I}^p u\) is continuous across edges \(E\in {\mathcal {E}}_T\) for every \(T\in {\mathfrak {O}}^{(p)}_\sigma \), and \([\![\breve{I}^p u ]\!]_F \in {\mathbb {P}}^{pd}_0(F):=({\mathbb {P}}^{pd}\cap H^1_0)(F)\) for all \(F\in {\mathcal {F}}_T\).

We next lift, for each face \(F\in {\mathcal {F}}_T\), the face jump \([\![\breve{I}^p u]\!]_F\in {\mathbb {P}}^{pd}_0(F)\) by extending first by zero to all other faces \(F'\in {\mathcal {F}}_T\backslash \{ F \}\), then lift polynomially by referring to [28, Theorem 1]. By construction, this lifting \({\mathcal {L}}_{T,F}([\![\breve{I}^p u]\!]_F)\in {\mathbb {P}}^p(T)\) will vanish on all \(F'\in {\mathcal {F}}_T: F' \ne F\). For each face *F*, we repeat this lifting at most twice for \(T,T'\in {\mathfrak {O}}^{(p)}_\sigma \) such that \(F\in {\mathcal {F}}_T\cap {\mathcal {F}}_{T'}\). We define the continuous interpolant

To verify exponential convergence in submesh \( {\mathfrak {O}}^{(\ell )}_\sigma \), we estimate in (48)

The first term was bound in Propostion 4. We bound the second term.

For \(T\in {\mathfrak {O}}^{(p)}_\sigma \), we write, using \([\![u]\!]_E = 0\) for \(E\in {\mathcal {E}}_T\)

The multiplicative trace inequality implies for a \(\kappa \)-shape regular simplex \(T\subset {\mathbb {R}}^d\) with diameter \(h_T\) that for every \(F\in {\mathcal {F}}_T\) and for every \(\varphi \in H^1(T)\) reads

Iterating this for \(T\in {\mathfrak {O}}^{({\ell })}_\sigma \) from \(E\in {\mathcal {E}}_T\) to \(F\in {\mathcal {F}}_T\) gives, for \(\varphi \in H^2(T)\),

where the implied constant depends only on \(\kappa \).

Using (52) with \(\varphi = (u - {\tilde{I}}^p u)|_T = u|_T - u^p_T \in H^2(T)\) for \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \) in (50) gives

Using (38) and that \(h_T \sim \sigma ^k\) for \(T\in {\mathfrak {L}}_k\) we obtain

Finally, we bound the third term in (49), i.e. \(\Vert {\mathcal {L}}_{T,F}([\![\breve{I}^p u ]\!]_F) \Vert _{H^1(T)}\) for \(F\in {\mathcal {F}}_T\). Since \({\mathcal {L}}_{T,F}([\![\breve{I}^p u ]\!]_F) = 0\) on \(\partial T\backslash F\), by the Poincaré inequality in \(\{ v\in H^1(T): v|_{\partial T\backslash F} = 0\}\) it suffices to bound \(\Vert D^1 {\mathcal {L}}_{T,F}([\![\breve{I}^p u ]\!]_F) \Vert _{L^2(T)}\). Since \([\![u]\!]_F = 0\), using (47) we obtain

We estimate further, using the stability of the lifting \({\mathcal {L}}_{T,F}\) and (51),

Recalling (47), we bound for \(j=0,1\)

We use (38) for the first term, and (53) for the second term to conclude for \(j=0,1\)

Using again that \(T\in {\mathfrak {L}}_k\) satisfies \(h_T \sim \sigma ^k\), we insert into (54) and arrive at

Inserting this and the bound (53) into (49), we obtain for \(\Vert u - I^p {u} \Vert _{H^1({\mathfrak {O}}^{(\ell )}_\sigma )}\) exactly once more the bound (39) (with a slightly higher power of *p*). Absorbing the polynomial factor into the exponential, we conclude the exponential error bounds from Proposition 4, i.e.,

also for the resulting continuous *hp*-interpolant \(I^pu\) defined in (48) in \({\mathfrak {O}}^{(p)}_\sigma \) using again (41).

#### 4.2.7 Enforcement of homogeneous Dirichlet boundary conditions

The preceding polynomial trace liftings allow to obtain interpolation operators \(\{ I^{hp}_N \}_N\) which preserve homogeneous Dirichlet boundary conditions on \(\partial \Omega \). For simplicity, we discuss this only for the case of global homogeneous Dirichlet boundary conditions, i.e., for \(u|_{\partial \Omega } = 0\) (the argument being local, i.e., element-by-element, allows to treat homogeneous Dirichlet boundary conditions also on a proper subset \(\Gamma _D \subset \partial \Omega \), as long as \(\overline{\Gamma _D}\) coincides with the closure of a set of boundary faces). In space dimension \(d=3\), for \(T\in {\mathfrak {O}}^{(\ell )}_\sigma \) with \(F \in {\mathcal {F}}_T\) satisfying \(F\subset \partial \Omega \), it holds \(u|_F = 0\). Hence, on *T* we may adjust the (nodally exact) *hp* (quasi-)interpolant \(({\tilde{I}}^p u)|_T\) by lifting its trace \(({\tilde{I}}^p u)|_F = -(u - \breve{I}^p u)|_F\) on the boundary face \(F\in {\mathcal {F}}_T\cap \partial \Omega \) exactly as in (48), in particular preserving the exponential convergence bound (55). In space dimension \(d=2\), a corresponding polynomial edge-lifting can like wise be applied. In space dimension \(d=1\), \(\Omega \) is a bounded interval on \({\mathbb {R}}\). The nodal exactness of the *hp* (quasi-)interpolant \(({\tilde{I}}^p u)\) implies that is satisfies the zero Dirichlet boundary conditions, so that trace lifting is not necessary in space dimension \(d=1\).

#### 4.2.8 Approximation in \({\mathfrak {T}}^{(\ell )}_\sigma \)

Exponential consistency errors for error contributions of the *hp*-interpolant from the terminal layer will be obtained essentially by a Bramble–Hilbert style scaling (“*h*-version FEM”) argument combined with the exponentially small meshwidth of elements \(T\in {\mathfrak {T}}^{(\ell )}_\sigma \) [see Proposition 2, items (ii), (iii)].

Under (5), for \(\Omega \subset {\mathbb {R}}^{{d}}\) holds \(N^2_{\underline{\beta }}(\Omega ) \subset H^{1+\theta }(\Omega )\) for some \(\theta > (d-2)/2\), \(d=2,3\), by [20, Thm. 3.5]. Specifically, \(\theta (\underline{\beta }) = 1 - \beta _m - \varepsilon \) (cp. [20, Thm. 3.5] with \(\beta _m := -1-\beta _{\varvec{c}}\in (0,1/2)\), and \(0< \varepsilon < 1/2 - \beta _m = 3/2 + \beta _{\varvec{c}})\). For \(\Omega \subset {\mathbb {R}}^2\), \(N^2_{\underline{\beta }}(\Omega ) \subset H^{1+\theta }(\Omega )\) for some \(\theta > 0\) (cp. [19]), which implies \(\theta = 2+\beta _{\varvec{c}}- \varepsilon > 1/2\)).

From Proposition 2 items (i)–(iii), the collections \({\mathfrak {T}}_c:=\{ T\in {\mathfrak {T}}^{(\ell )}_\sigma : T\in \omega _{\varvec{c}}\}\), \({\varvec{c}}\in {\mathscr {S}}\) have uniformly bounded (w.r. to \(\ell \)) cardinality and shape regularity. We construct the approximation by use of a Scott–Zhang quasi-interpolating projection operator \(J_c:H^1(\bigcup {\mathfrak {T}}_c)\rightarrow S^1({\mathfrak {T}}_c)\). This operator is constructed by choosing faces (edges) \(F_z\) for each vertex of \({\mathfrak {T}}_c\) via

where \(\phi _z\in S^1({\mathfrak {T}}_c)\) denotes the hat function associated with the vertex *z* and \(\phi _z^\star \in S^1(F_z)\) denotes the unique dual basis function associated with \(\phi _z\) (in the sense that \(\int _{F_z}\phi _{z'}\phi _z^\star \,dx=\delta _{zz'}\) for all nodes \(z'\), see e.g. [33]). We define \(\Gamma _c:= \partial (\bigcup {\mathfrak {T}}_c)\cap \Omega \) (the interface of \({\mathfrak {T}}_c\) and \({\mathfrak {O}}_\sigma ^{(\ell )}\)) and choose \(F_z\subseteq \Gamma _c\) whenever \(z\in \Gamma _c\). The definition of \(J_c\) implies that \(J_c(\cdot )|_{\Gamma _c}:L^2(\Gamma _c)\rightarrow S^1({\mathfrak {T}}_c|_{\Gamma _C})\) is well-defined. The result [1, Lemma 3] shows that \(J_c(\cdot )|_{\Gamma _c}\) is a \(H^{1/2}\)-stable projection (with constants depending only on shape regularity of \({\mathfrak {T}}_c\)) and hence is quasi-optimal in the sense

We construct the approximation \(u_c\in S^1({\mathfrak {T}}_c^{(\ell )})\) by setting \(u_c=J_c u\) on vertices in \(\bigcup {\mathfrak {T}}_c{\setminus }\Gamma _c\) and \(u_c=I^p u\) on the remaining vertices in \(\Gamma _c\). The estimate (56) allows us to bound the difference

This leads to

By Proposition 2, items (ii) and (iii) it holds that \(\mathrm{diam}(\bigcup {\mathfrak {T}}_c)\simeq \sigma ^{\ell }\), we obtain with (55) and \(u_{\mathscr {S}}:=\sum _{c\in {\mathscr {S}}}u_c\)

Combining this and (55) and applying a bounded (uniformly w.r. to *p* by Prop. 2, item (1)) number of further polynomial edge- and face liftings at the interface of \({\mathfrak {O}}^{(\ell )}_\sigma \) and \({\mathfrak {T}}^{(\ell )}_\sigma \) (note that the combination of \(I^p u\) and \(u_{{\mathscr {S}}}\) is continuous at the vertices of \({\mathscr {M}}_\sigma ^{(\ell )}\)) completes the construction of \(I^{hp}\) in (1). Choosing \(p \simeq \ell ^\delta \) concludes the proof for \(\delta \ge 1\).

For \(0<\delta <1\), we additionally use the fact that \(\sigma ^{\theta p^{1/\delta }}\lesssim (p!)^{b(\delta -1)}\) with some \(b(\theta ) > 0\) that is indepedent of *p* by Stirling’s approximation. \(\Box \)

## 5 Concluding remarks

We have proved the exponential convergence rate (23) for continuous *hp*-FE approximations of \(\kappa \) shape-regular, simplicial meshes with geometric refinement to analytic functions with isolated point singularities at a finite set \({\mathscr {S}}\) in a bounded domain \(D \subset {\mathbb {R}}^d\), \(d=1,2,3\). Apart from \(\kappa \)-shape regularity and \(\sigma \)-geometric mesh refinement the proof did not assume further structural assumptions on the triangulations. In particular, simplicial partitions which are obtained by successive bisection tree refinement in the course of adaptive subdivisions are admissible. The approximation results imply the exponential convergence rate \(\exp (-b\root 3 \of {N})\) for second order, elliptic PDEs in polygons \(D\subset {\mathbb {R}}^2\) (where \({\mathscr {S}}\) denotes the set of corners of *D*) where solutions belong to the analytic class (i.e., where \(\delta = 1\)) which are considered, for example, in [2, 14, 21, 31, 32]. Theorem 1 also implies the exponential convergence rate \(\exp (-b\root 4 \of {N})\) for *hp*-approximations of electron densities in DFT, due to their analyticity [17] and due to quasioptimality of Galerkin approximations shown, for example, in [3, 6] and the references there. In this application, \({\mathscr {S}}\) denotes the set of nuclei, whose centers \({\varvec{c}}\in {\mathscr {S}}\) are assumed known. The extension of [31, 32] to Gevrey-regular solutions is essential in this case, as analyticity of electron densities can not be expected, generally, in the presence of empirical (pseudo-)potential functions constructed, for example, from smooth partitions of unity.

Also, unlike other approaches such as plane waves, *hp*-approximations do not, a priori, impose any specific functional form of the electron densities. Due to the locality of approximation and the separation (2) of the points \({\varvec{c}}\in {\mathscr {S}}\), we may apply Theorem 1 in each neighborhood \(\omega _{\varvec{c}}\), \({\varvec{c}}\in {\mathscr {S}}\), implying that the total number of degrees of freedom to achieve accuracy \(\varepsilon > 0\) in the norm \(H^1(D)\) scales as \(O(\#({\mathscr {S}})|\log \varepsilon |^4)\), i.e. *linear scaling* in the number \(\#({\mathscr {S}})\) of nuclei and *polylogarithmic scaling* in the target accuracy \(\varepsilon \). This is analogous to what is reported recently for discontinuous Galerkin discretizations in [24], where Proposition 4 can be used a starting point of proof of an exponential convergence result on tetrahedral meshes; for geometric meshes of hexahedra, analogous results can be found in [30, Sec. 5.2.2]. Exponentially convergent quadrature algorithms for the (singular) electron-pair integrals are available in [11]. The results in the present note are confined to space dimension \(d\le 3\). The approach generalizes, however, directly to *hp*-approximations of point singularities in any dimension *d* with exponential rate; we remark that \(I^{hp}_N\) in the terminal layers \({\mathfrak {T}}_\sigma ^{(\ell )}\) of the geometric meshes \({\mathfrak {M}}_\sigma \) introduced in Sect. 4.2.8 were built from low-order *quasi-interpolants* of Scott–Zhang type, which do not require continuity of *u* near \({\mathscr {S}}\). Likewise, the exponential convergence rate bound (1) will remain true for *linear polynomial degree vectors* and, more generally, for degree vectors of bounded variation as introduced in [30]. Also, our construction of \(I^{hp}_N\) was based on a-priori knowledge of the singular support \({\mathscr {S}}\). In case \({\mathscr {S}}\) is not known a-priori, *adaptive hp-approximations* as those in [8] are a method of choice. For these algorithms, the present results establish convergence rate benchmarks.

## References

Aurada, M., Feischl, M., Führer, T., Karkulik, M., Praetorius, D.: Energy norm based error estimators for adaptive BEM for hypersingular integral equations. Appl. Numer. Math.

**95**, 15–35 (2015)Babuška, I., Guo, B.Q.: Regularity of the solution of elliptic problems with piecewise analytic data. I. Boundary value problems for linear elliptic equation of second order. SIAM J. Math. Anal.

**19**(1), 172–203 (1988)Bao, G., Hu, G., Liu, D.: An \(h\)-adaptive finite element solver for the calculation of the electronic structures. J. Comput. Phys.

**231**, 4967–4979 (2012)Bolley, P., Dauge, M., Camus, J.: Régularité Gevrey pour le problème de Dirichlet dans des domaines à singularités coniques. Commun. Partial Differ. Equ.

**10**, 391–431 (1985)Braess, D.: Finite Elements, 5th edn. Cambridge University Press, Cambridge (2011)

Cances, E., Chakir, R., Maday, Y.: Numerical analysis of the planewave discretization of some orbital-free and Kohn–Sham models. ESAIM Math. Model. Numer. Anal.

**46**(02), 341–388 (2012)Cances, E., Chakir, R., Maday, Y.: Numerical analysis of nonlinear eigenvalue problems. J. Sci. Comput.

**45**(1–3), 90–117 (2010)Canuto, C., Nochetto, R.H., Stevenson, R.P., Verani, M.: Convergence and optimality of \({\bf {hp}}\)- AFEM. Numer. Math.

**135**, 1073–1119 (2017)Chemin, J.Y.: Perfect Incompressible Fluids Oxford Lecture Series in Mathematics and its Applications, vol. 14. The Clarendon Press/Oxford University Press, New York (1998)

Chu, J., Coron, J.-M., Shang, P., Tang, S.-X.: Gevrey class regularity of a semigroup associated with a nonlinear Korteweg–de Vries equation. Chin. Ann. Math. Ser. B

**39**, 201–212 (2018)Chernov, A., von Petersdorff, T., Schwab, Ch.: Exponential convergence of \(hp\) quadrature for integral operators with Gevrey kernels. ESAIM Math. Model. Numer. Anal.

**45**, 387–422 (2011)Costabel, M., Dauge, M., Nicaise, S.: Mellin analysis of weighted Sobolev spaces with nonhomogeneous norms on cones. In: Around the Research of V.G. Maz’ya, pp. 105–136. Springer, New York (2010)

Costabel, M., Dauge, M., Nicaise, S.: Analytic regularity for linear elliptic systems in polygons and polyhedra. Math. Models Methods Appl. Sci.

**22**(8), 1250015 (2012)Costabel, M., Dauge, M., Schwab, C.: Exponential convergence of \(hp\)-FEM for Maxwell’s equations with weighted regularization in polygonal domains. Math. Models Methods Appl. Sci.

**15**(4), 575–622 (2005)Demkowicz, L., Kurtz, J.J., Pardo, D., Paszynski, M., Rachowicz, W., Zdunek, A.: Computing with hp-Adaptive Finite Elements. Vol. 2: Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications. Chapman and Hall/CRC Applied Mathematics and Nonlinear Science Series. Boca Raton, (2007)

Frauenfelder, P.: hp-Finite Element Methods on Anisotropically, Locally Refined Meshes in Three Dimensions with Stochastic Data. PhD thesis, Swiss Federal Institute of Technology. Diss. ETH No. 15750, 2004. http://e-collection.library.ethz.ch/. Accessed 31 Mar 2018

Fournais, S., Sørensen, T.O., Hoffmannn-Ostenhof, M., Hoffmann-Ostenhof, T.: Analytic structure of solutions to multiconfiguration equations. J. Phys. A

**42**(31), 315208 (2009)Gui, W., Babuška, I.: The \(h,\;p\) and \(h\)-\(p\) versions of the finite element method in \(1\) dimension. II. The error analysis of the \(h\)- and \(h\)-\(p\) versions. Numer. Math.

**49**(6), 613–657 (1986)Guo, B.Q., Babuška, I.: The \(hp\)-version of the finite element method. Part I: the basic approximation results, part II: general results and applications. Comput. Mech.

**1**(21–41), 203–220 (1986)Guo, B.Q., Babuška, I.: Regularity of the solutions for elliptic problems on nonsmooth domains in \({R}^3\). I. Countably normed spaces on polyhedral domains. Proc. R. Soc. Edinburgh Sect. A

**127**(1), 77–126 (1997)Guo, B.Q., Schwab, C.: Analytic regularity of Stokes flow on polygonal domains in countably weighted Sobolev spaces. J. Comp. Appl. Math.

**119**, 487–519 (2006)Holm, B., Wihler, T.P.: Continuous and discontinuous Galerkin time stepping methods for nonlinear initial value problems with application to finite time blow-up. Numer. Math.

**138**, 767–799 (2018)Kozlov, V.A., Maz’ya, V.G., Rossmann, J.: Elliptic Boundary Value Problems in Domains with Point Singularities, Mathematical Surveys and Monographs, vol. 52. American Mathematical Society, Providence (1997)

Lin, L., Lu, J., Ying, L., Weinan, E.: Optimized local basis set for Kohn-Sham density functional theory. J. Comput. Phys.

**231**(13), 4515–4529 (2012)Luskin, M., Ortner, C.: Atomistic-to-continuum coupling. Acta Numer.

**22**, 397–508 (2013)Maday, Y.: \(h-P\) finite element approximation for full-potential electronic structure calculations. In: Ciarlet, P.G. (ed.) Partial Differential Equations: Theory, Control and Approximation, pp. 349–377. Springer, Dordrecht (2014)

Marcati, C.: Discontinuous \(hp\) FEM for elliptic eigenvalue problems with singular potentials (with applications to quantum chemistry). Thèse de doctorat de l’Université P. et M. Curie, Paris (2018)

Munoz-Sola, R.: Polynomial liftings on a tetrahedron and applications to the \(hp\)-FEM in three dimensions. SIAM J. Numer. Anal.

**34**, 282–314 (1997)Samarskii, A.A., Galaktionov, V.A., Kurdyumov, S.P., Mikhailov, A.P., Blow-up in quasilinear parabolic equations de Gruyter Expositions in Mathematics, 19: Translated from the 1987 Russian Original by Michael Grinfeld and Revised by the Authors. Walter de Gruyter & Co., Berlin (1995)

Schötzau, D., Schwab, C., Wihler, T.P.: \(hp\)-dGFEM for elliptic problems in polyhedra II: exponential convergence. SIAM J. Numer. Anal.

**51**(4), 2005–2035 (2013). (extended version in Technical Report 2009-29, Seminar for Applied Mathematics, ETH Zürich)Schwab, Ch.: \(p\) and \(hp\)-FEM, Theory and Applications in Solid and Fluid Mechanics. Oxford University Press, Oxford (1998)

Schwab, Ch., Exponential convergence of simplicial \(hp\)-FEM for \(H^1\)-functions with isotropic singularities. In: Proceedings of Conference Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014, Springer Lecture Notes CSE, vol. 106, pp. 435–443. Springer (2015)

Scott, L.R., Zhang, S.: Finite element interpolation of nonsmooth functions satisfying boundary conditions. Math. Comput.

**54**(190), 483–493 (1990)Stevenson, R.: The completion of locally refined simplicial partitions created by bisection. Math. Comput.

**77**, 227–241 (2008)Traxler, C.T.: An algorithm for adaptive mesh refinement in n dimensions. Computing

**59**(2), 115–137 (1997)Warburton, T., Hesthaven, J.S.: On the constants in \(hp\)-finite element trace inverse inequalities. Comput. Methods Appl. Mech. Eng.

**192**, 2765–2773 (2003)

## Acknowledgements

Open access funding provided by TU Wien (TUW).

## Funding

MF is supported by the Deutsche Forschungsgemeinschaft (DFG) through CRC 1173.

## 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.

Research performed in part while the authors were visiting the Erwin Schrödinger Institute (ESI) in Vienna, Austria, during the ESI thematic term “Numerical Analysis of Complex PDE Models in the Sciences” from June-August 2018. CS was supported in part by the Swiss National Science Foundation.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Feischl, M., Schwab, C. Exponential convergence in \(H^1\) of *hp*-FEM for Gevrey regularity with isotropic singularities.
*Numer. Math.* **144**, 323–346 (2020). https://doi.org/10.1007/s00211-019-01085-z

Received:

Revised:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s00211-019-01085-z