Abstract
In this paper we provide a priori error estimates with explicit constants for both the \(L^2\)-projection and the Ritz projection onto spline spaces of arbitrary smoothness defined on arbitrary grids. This extends the results recently obtained for spline spaces of maximal smoothness. The presented error estimates are in agreement with the numerical evidence found in the literature that smoother spline spaces exhibit a better approximation behavior per degree of freedom, even for low smoothness of the functions to be approximated. First we introduce results for univariate spline spaces, and then we address multivariate tensor-product spline spaces and isogeometric spline spaces generated by means of a mapped geometry, both in the single-patch and in the multi-patch case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Spline approximation is a classical topic in approximation theory; we refer the reader to the book [19] for an extended bibliography. Moreover, it has recently received a renewed interest within the emerging field of isogeometric analysis (IGA); see the book [8]. In this context, a priori error estimates in Sobolev (semi-)norms and corresponding projectors for suitably chosen spline spaces are important.
Classical a priori error estimates for spline approximation are explicit in the grid spacing but hide the influence of the smoothness and the degree of the spline space. Such structure, however, is not sufficient for the IGA environment. In particular, IGA allows for a rich assortment of refinement strategies [8], combining grid refinement (h) and/or degree refinement (p) with various interelement smoothness (k). To fully exploit the benefits of the so-called \(h{-}p{-}k\) refinement, it is necessary to understand how all the parameters involved (i.e., the grid spacing, the degree, and the smoothness) affect the error estimate. Furthermore, it is important to unravel the influence of the geometry map in isogeometric approximation schemes, not only for its effect on the accuracy but also because it helps in defining good mesh quality metrics [10].
Besides their prominent interest for analyzing convergence under different kinds of refinements, error estimates for approximation in suitable reduced spline spaces play a less evident but still pivotal role in other aspects of IGA discretizations, such as the design of fast iterative (multigrid) solvers for the resulting linear systems [15, 24]. The convergence rate of fast iterative solvers should ideally be independent of all the parameters involved, and so their explicit impact on the estimates is important to understand.
In the context of IGA, the role of the smoothness and the degree in spline approximation has been theoretically investigated for the first time in [2], providing explicit error estimates for spline spaces of smoothness k and degree \(p\ge 2k+1\). The important case of maximal smoothness (\(k=p-1\)) has been recently addressed for uniform grid spacing in [25] and for general grid spacing in [18], where improved error estimates have been achieved as well. The above references all deal with both univariate and multivariate spline spaces.
In this paper we provide a priori error estimates with explicit constants for approximation by spline functions of arbitrary smoothness defined on arbitrary knot sequences. Besides filling the gap of the smoothness that is not yet covered in the literature, our results also improve upon the error estimates in [2, 18, 25]. The key ingredient to get our results is the representation of the considered Sobolev spaces and the approximating spline spaces in terms of integral operators described by suitable kernels [17]. By using this representation we provide an abstract framework that converts explicit constants in polynomial approximation to explicit constants in spline approximation. We consider error estimates for both univariate and multivariate spline spaces, and we also allow for a mapped geometry. After a short description of some preliminary notation, the main theoretical contributions and the structure of the paper are outlined in the next subsections.
1.1 Preliminary notation
For \(k\ge 0\), let \(C^k[a,b]\) be the classical space of functions with continuous derivatives of order \(0,1,\ldots ,k\) on the interval [a, b]. We further let \(C^{-1}[a,b]\) denote the space of bounded, piecewise continuous functions on [a, b] that are discontinuous only at a finite number of points.
Suppose \(\Xi := (\xi _0,\ldots ,\xi _{N+1})\) is a sequence of (break) points such that
and let
Moreover, set \(I_j := [\xi _j,\xi _{j+1})\), \(j=0,1,\ldots ,N-1\), and \(I_N:= [\xi _N,\xi _{N+1}]\). For any \(p \ge 0\), let \(\mathcal{P}_p\) be the space of polynomials of degree at most p. Then, for \(-1\le k\le p-1\), we define the space \(\mathcal {S}^k_{p,\Xi }\) of splines of degree p and smoothness k by
and we set
With a slight misuse of terminology, we will refer to \(\Xi \) as knot sequence and to its elements as knots.
For real-valued functions f and g we denote the norm and inner product on \(L^2(a,b)\) by
and we consider the Sobolev spaces
We use the notation \(S_p^k: L^2(a,b)\rightarrow \mathcal {S}_{p,\Xi }^k\) and \(S_p: L^2(a,b)\rightarrow \mathcal {S}_{p,\Xi }\) for the \(L^2\)-projector onto spline spaces, while \(P_p: L^2(a,b)\rightarrow \mathcal{P}_p\) stands for the \(L^2\)-projector onto the polynomial space \(\mathcal {P}_{p}\).
1.2 Main results: univariate case
In this paper we focus on general spline spaces of degree p, smoothness k, and arbitrary knot sequence \(\Xi \). We first derive the following (simplified) error estimate:
for any \(u\in H^r(a,b)\) and all \(p\ge r-1\). Here e is Euler’s number. We refer the reader to Remark 3, Theorem 3, and Corollary 1 for sharper results. We then show that similar error estimates hold for standard Ritz projections and their derivatives; see Remark 5 and Corollary 2.
The inequality in (2) does not only cover the univariate result from [2], but also improves upon it by allowing any smoothness; in particular, the most interesting cases of highly smooth spline spaces are embraced. As already pointed out in [2], a simple error estimate like (2) is not able to give a theoretical explanation for the numerical evidence that smoother spline spaces exhibit a better approximation behavior per degree of freedom. On the other hand, the sharper estimate provided in Theorem 3 improves per degree of freedom as the smoothness of the spline spaces increase; see Remark 4 (and Fig. 2). Even though this does not prove the superior approximation per degree of freedom of smoother spline spaces, the presented error estimates are a step towards a complete theoretical understanding of the numerical evidence found in the literature. For uniform knot sequences, it has been formally shown in [5] that \(C^{p-1}\) spline spaces perform better than \(C^0\) and \(C^{-1}\) spline spaces in almost all cases of practical interest. A similar approximation behavior per degree of freedom is observed for the Ritz projections; see Remark 6 (and Fig. 3).
For maximally smooth spline spaces, the best known error estimate for the \(L^2\)-projection is given by
for any \(u\in H^r(a,b)\) and all \(p\ge r-1\). This estimate has been recently proved in [18]. Note that the same error estimate also holds for periodic functions/splines [18, 21], for which it has been shown to be optimal on uniform knot sequences [13, 17, 18].
It is easy to see that (3) is sharper than (2) for \(k=p-1\). Nevertheless, for fixed r, this estimate only ensures convergence in h, and not in p. The role of the grid spacing and the degree is made more clear in the following estimate:
for any \(u\in H^r(a,b)\) and all \(p\ge r-1\); see Remark 8. For small r compared to p, a better estimate is formulated in Remark 9. The general result, covering both (3) and (4), can be found in Corollary 3. Similar estimates hold for Ritz projections and their derivatives; see Remark 11 and Corollary 4. The p-dependence has also been strengthened for the arbitrarily smooth case in Corollary 1.
Motivated by their use in the analysis of fast iterative solvers for linear systems arising from spline discretization methods [15], we also provide error estimates for approximation in suitable reduced spline spaces; see Theorems 4 and 5.
1.3 Main results: multivariate case
The univariate results can be extended to obtain error estimates for approximation in multivariate isogeometric spline spaces. As common in the related literature [1, 3, 4], we first address standard tensor-product spline spaces, then investigate the effect of single-patch geometries for isogeometric spline spaces, and finally discuss \(C^0\) multi-patch geometries. In all cases we provide a priori error estimates with explicit constants, highlighting all the actors that play a role in the construction of the considered spline spaces: the knot sequences, the degrees, the smoothness, and the possible geometry map.
For tensor-product spline spaces we provide error estimates for \(L^2\) and Ritz projections in Theorems 6 and 7, respectively. In case of single-patch geometries, we do not confine ourselves to the plain isoparametric context which is typical in IGA [8], i.e., the same space that generates the geometry is mapped to the physical domain, but we allow for possibly different spaces for the geometry representation and the function approximation. In the first instance, we assume geometric mappings that are sufficiently globally smooth; see Theorem 8 and Example 18. Afterwards, we also provide error estimates for mappings generated by more general geometry function classes that include spline spaces and NURBS spaces of arbitrary smoothness; see Theorem 9 and Example 19. In this perspective, following the literature [3, 4], we introduce suitable bent Sobolev spaces, so as to accommodate a less smooth setting for the geometry. We explicitize the role of the (derivatives of the) geometry map in the constants of the error estimates, both for \(L^2\) and Ritz projections. Finally, to deal with the \(C^0\) multi-patch setting, we consider a projector that is local to each of the patches and is closely related to the standard Ritz projector. Indeed, since the global isogeometric space is continuous, we cannot directly use standard \(L^2\)-projectors as local building blocks on the patches. Instead, we choose each of the projectors to be interpolatory on the patch boundaries [3, 24] so that they can be easily combined into a continuous global projector. We provide explicit error estimates for the new local projectors, which immediately give rise to the desired estimates for the global one; see Example 20.
Even though the multivariate results emanate from the univariate ones by following arguments similar to those already presented in the literature, see [1, 3, 4, 16, 24] and references therein, the novelty of the provided error estimates is twofold:
they are expressed in terms of explicit constants and cover arbitrary smoothness;
they hold for a certain (mapped) Ritz projector which is very natural in the context of Galerkin methods.
It is also worthwhile to note that, although the current investigation has been mainly motivated by IGA applications, standard \(C^0\) tensor-product finite elements are included as special cases.
1.4 Outline of the paper
The remainder of this paper is organized as follows. In Sect. 2 we introduce a general framework for dealing with a priori error estimates in standard Sobolev (semi-)norms for \(L^2\) and Ritz projections onto univariate finite dimensional spaces represented in terms of integral operators described by a suitable kernel. Based on these results, error estimates with explicit constants are provided for spline spaces of arbitrary smoothness in Sect. 3, and further investigated for the salient case of spline spaces of maximal smoothness in Sect. 4. Section 5 addresses certain reduced spline spaces which can be of interest in several contexts. Then, we extend those univariate results to the multivariate setting. Standard tensor-product spline spaces are considered in Sect. 6, while isogeometric spline spaces defined on mapped (single-patch) geometries are covered in Sect. 7; we provide explicit expressions for all the involved constants. In Sect. 8 we discuss a particular Ritz-type projector and related error estimates for isogeometric spline spaces on \(C^0\) multi-patch geometries. Finally, we conclude the paper in Sect. 9 by summarizing the main theoretical results.
2 General error estimates
In this section we describe a general framework to obtain error estimates for the \(L^2\)-projection and the Ritz projection onto spaces defined in terms of integral operators.
2.1 General framework
For \(f\in L^2(a,b)\), let K be the integral operator
As in [17], we use the notation K(x, y) for the kernel of K. We will in this paper only consider kernels that are continuous or piecewise continuous. We denote by \(K^*\) the adjoint, or dual, of the operator K, defined by
The kernel of \(K^*\) is \(K^*(x,y) = K(y,x)\).
Given any finite dimensional subspace \(\mathcal {Z}_0\supseteq \mathcal {P}_0\) of \(L^2(a,b)\) and any integral operator K, we let \(\mathcal {Z}_t\) for \(t\ge 1\) be defined by \(\mathcal {Z}_t:=\mathcal {P}_0+K(\mathcal {Z}_{t-1})\). We further assume that they satisfy the equality
where the sums do not need to be orthogonal (or even direct). Moreover, let \(Z_t\) be the \(L^2\)-projector onto \(\mathcal {Z}_t\), and define \({\mathfrak {C}}_{t,r}\in \mathbb {R}\) for \(t,r\ge 0\) to be
Note that \({\mathfrak {C}}_{t,0}=1\). In the case \(t=0\) and \(r=1\) we further define the constant \({\mathfrak {C}}\in \mathbb {R}\) to be
The following inequality is stated in [18, Lemma 2.1]. For completeness we provide a short proof here as well.
Lemma 1
The constants in (7) and (8) satisfy
Proof
For \(t=0\), this is true by the definitions of \({\mathfrak {C}}_{0,1}\) and \({\mathfrak {C}}\). For \(t\ge 1\), we see from (6) that \(KZ_{t-1}\) maps into the space \(\mathcal {Z}_t\). Now, since \(Z_t\) is the best approximation into \(\mathcal {Z}_t\) we have
Continuing this procedure gives
and the result again follows from the definitions of \({\mathfrak {C}}_{t,1}\) and \({\mathfrak {C}}\). \(\square \)
Inspired by the idea of [14, Lemma 1] we have the following more general result.
Lemma 2
The constants in (7) satisfy
for all \(0\le s\le t,r\).
Proof
Observe that the operator \((I-Z_t)K^sZ_{t-s}K^{r-s}=0\) since \(K^sZ_{t-s}K^{r-s}f\in \mathcal {Z}_t\) for any \(f\in L^2(a,b)\). Thus,
and the result follows from the definition of \({\mathfrak {C}}_{t,r}\). \(\square \)
Similar to [18, Theorem 2.1] we obtain the following estimate.
Lemma 3
The constants in (7) and (8) satisfy
for all \(t\ge r-1\).
Proof
The case \(r=1\) is contained in Lemma 1. For the first inequality, the cases \(r\ge 2\) follow from Lemma 2 (with \(s=1\)) and induction on \(r\). The second inequality then follows from Lemma 1. \(\square \)
In the next subsection we consider a particularly relevant integral operator: the Volterra operator.
2.2 Error estimates for the Ritz projection
Let K be the integral operator defined by integrating from the left,
One can check that \(K^*\) is integration from the right,
see, e.g., [14, Section 7]. Note that in this case we have \(\Vert (I-Z_0)K\Vert =\Vert (I-Z_0)K^*\Vert \), and so \({\mathfrak {C}}={\mathfrak {C}}_{0,1}\). Moreover, the space \(H^r(a,b)\) can be described as
with \(H^0(a,b)=L^2(a,b)\) and \(\mathcal {P}_{-1}=\{0\}\). Thus, any \(u\in H^r(a,b)\) is of the form \(u=g+K^rf\) for \(g\in \mathcal {P}_{r-1}\) and \(f\in L^2(a,b)\). This leads to the following error estimate for the \(L^2\)-projection.
Theorem 1
Let \(Z_t\) be the \(L^2\)-projector onto \(\mathcal {Z}_t\) and assume \(\mathcal {P}_{r-1}\subseteq \mathcal {Z}_t\). Then, for any \(u\in H^r(a,b)\) we have
Proof
Since \(\mathcal {P}_{r-1}\subseteq \mathcal {Z}_t\) and using (10), we have \(u=g+K^rf\) for \(g\in \mathcal {P}_{r-1}\) and \(f\in L^2(a,b)\). Thus,
and the result follows from the identity \(\partial ^ru=f\).\(\square \)
Remark 1
By definition of the operator norm, the constant \({\mathfrak {C}}_{t,r}\) is the smallest possible constant such that the last inequality in (12) holds for all \(f\in L^2(a,b)\). We thus see from the above proof that whenever \(\mathcal {P}_{r-1}\subseteq \mathcal {Z}_t\), the constant \({\mathfrak {C}}_{t,r}\) is the smallest possible constant such that (11) holds for all \(u\in H^r(a,b)\).
Example 1
From the definition of \(\mathcal {Z}_t\) in (6), with K as in (9), it follows that \(\mathcal {P}_{r-1}\) is a subspace of \(\mathcal {Z}_t\) for any \(t\ge r-1\). Hence, Theorem 1 and Lemma 3 imply that for any \(u\in H^r(a,b)\) we have
for all \(t\ge r-1\). However, as we shall see in the next section, there are important cases where \(\mathcal {P}_{r-1}\subseteq \mathcal {Z}_t\) for some \(t<r-1\) (e.g., if \(\mathcal {P}_{k}\subseteq \mathcal {Z}_0\) with \(k\ge 1\)). Such cases will be considered in our proof of the error estimate in (2) and the sharper estimates in Sect. 3.
We now focus on a different projector which is very natural in the context of Galerkin methods. For any \(q=0,\ldots ,t\) we define the projector \(R_t^q: H^q(a,b)\rightarrow \mathcal {Z}_t\) by
We remark that \(R_t^q\) is the Ritz projector for the q-harmonic problem. Observe that this projector satisfies \(\partial ^q R_t^q=Z_{t-q}\partial ^q\), where \(Z_{t-q}\) denotes the \(L^2\)-projector onto \(\mathcal {Z}_{t-q}\). With the aid of the Aubin–Nitsche duality argument we arrive at the following estimate.
Lemma 4
Let \(u\in H^q(a,b)\) be given, and let \(R_t^q\) be the projector onto \(\mathcal {Z}_t\) defined in (13). Then, for any \(\ell =0,\ldots ,q\) we have
for all \(t\ge q\) such that \(\mathcal {P}_{q-\ell -1}\subseteq \mathcal {Z}_{t-q}\).
Proof
Let \(u\in H^q(a,b)\) be given and define w as the solution to the Neumann problem
Using integration by parts, \(q-\ell \) times, we have
for any \(v\in \mathcal {Z}_t\), since \((\partial ^q(u-R^q_tu),\partial ^qv)=0\). Using \(\Vert \partial ^{\ell }(u-R^q_tu)\Vert =\Vert \partial ^{2q-\ell }w\Vert \) and the Cauchy–Schwarz inequality, we obtain
If we let \(v=R_t^qw\), then Theorem 1 implies that
since \(\mathcal {P}_{q-\ell -1}\subseteq \mathcal {Z}_{t-q}\). Thus,
which completes the proof.\(\square \)
Theorem 1 in combination with Lemma 4 results in a more classical error estimate for the Ritz projection.
Theorem 2
Let \(u\in H^r(a,b)\) be given. For any \(q=0,\ldots ,r\), let \(R_t^q\) be the projector onto \(\mathcal {Z}_t\) defined in (13). Then, for any \(\ell =0,\ldots ,q\) we have
for all \(t\ge q\) such that \(\mathcal {P}_{r-q-1}\subseteq \mathcal {Z}_{t-q}\) and \(\mathcal {P}_{q-\ell -1}\subseteq \mathcal {Z}_{t-q}\).
Example 2
Similar to Example 1, we observe from the definition of \(\mathcal {Z}_{t-q}\) in (6), with K as in (9), that \(\mathcal {P}_{r-q-1}\) and \(\mathcal {P}_{q-\ell -1}\) are subspaces of \(\mathcal {Z}_{t-q}\) for any \(t\) satisfying \(t\ge r-1\) and \(t\ge 2q-\ell -1\), respectively. Then, Lemma 4 and Theorem 2, together with Lemma 3, imply the following results for \(u\in H^q(a,b)\). For any \(\ell =0,\ldots ,q\) we have
for all \(t\ge \max \{q,2q-\ell -1\}\), and
for all \(t\ge \max \{q,r-1,2q-\ell -1\}\).
Example 3
Let \(q=1\). Then, for any \(u\in H^1(a,b)\) and \(t\ge 1\) we have the error estimates
and the stability estimates
We end this section with an observation that will be relevant in the case of a multi-patch geometry; see Sect. 8.
Lemma 5
If \(\mathcal {P}_2\subseteq \mathcal {Z}_t\) then \(R^1_tu(a)=u(a)\) and \(R^1_tu(b)=u(b)\).
Proof
Let \(q=1\) and pick \(v(x)=(x-a)^2\) in (13). Then, using integration by parts, we have
and \(R^1_tu(b)=u(b)\), since \((R^1_tu,2)=(u,2)\). Similarly, by picking \(v(x)=(b-x)^2\) we obtain \(R^1_tu(a)=u(a)\). \(\square \)
3 Spline spaces of arbitrary smoothness
In this section we show error estimates, with explicit constants, for spline spaces of arbitrary smoothness defined on arbitrary knot sequences. To do this we make use of a theorem in [20] for polynomial approximation.
Lemma 6
Let \(u\in H^r(a,b)\) be given. For any \(p\ge r-1\), let \(P_p\) be the \(L^2\)-projector onto \(\mathcal {P}_{p}\). Then,
Proof
This follows from [20, Theorem 3.11] since the \(L^\infty \)-norm of the weight-function is bounded by 1.\(\square \)
Lemma 7
Let \(u\in H^r(a,b)\) be given. For any \(p\ge r-1\) and knot sequence \(\Xi \), let \(S_p^{-1}\) be the \(L^2\)-projector onto \(\mathcal {S}^{-1}_{p,\Xi }\). Then,
Proof
This follows from Lemma 6 applied to each knot interval.\(\square \)
Example 4
For \(r=1\) we have
We are now ready to derive an error estimate for the \(L^2\)-projection onto an arbitrarily smooth spline space \(\mathcal {S}^{k}_{p,\Xi }\). We start by observing that if \(\mathcal {Z}_0=\mathcal {S}^{-1}_{p-k-1,\Xi }\) we have \(\mathcal {Z}_{k+1}=\mathcal {S}^k_{p,\Xi }\), for the sequence of spaces in (6). Specifically,
and from Lemma 7 (and Example 4) we deduce that
for any r such that \(\mathcal {P}_{r-1}\subseteq \mathcal {Z}_0=\mathcal {S}^{-1}_{p-k-1,\Xi }\); see Remark 1. We then define the constant \(c_{p,k,r}\) for \(p\ge r-1\) as follows. If \(k\le p-2\), we let
and if \(k=p-1\), we let
By combining [18, Theorem 1.1] with Theorem 1 (and Example 1) we obtain the following error estimate.
Theorem 3
Let \(u\in H^r(a,b)\) be given. For any knot sequence \(\Xi \), let \(S^k_p\) be the \(L^2\)-projector onto \(\mathcal {S}^k_{p,\Xi }\) for \(-1\le k\le p-1\). Then,
for all \(p\ge r-1\).
Proof
For \(k=p-1\), this result has been shown in [18, Theorem 1.1]; see inequality (3). Now, let \(k\le p-2\). For \(r\le k+2\), the result follows from Example 1 (with \(t=k+1\)) and the bound for \({\mathfrak {C}}\) in (19). On the other hand, for \(r>k+2\), we use Theorem 1 (with \(t=k+1\)), since \(\mathcal {P}_{r-1}\) is a subspace of \(\mathcal {Z}_{k+1}=\mathcal {S}^k_{p,\Xi }\) for all \(p\ge r-1\). Then, applying Lemma 2 (with \(t=k+1\)) and Lemma 3 (with \(t=k+1\)) we get
and the bounds in (19) complete the proof.\(\square \)
Remark 2
In the case \(p=0\) and \(r=1\), the error estimate in Lemma 6 reduces to
for any \(u\in H^1(a,b)\). The above constant is very close, but not equal, to the sharp constant given by the optimal Poincaré inequality:
How close (18) is to being sharp for degrees \(p\ge 1\) is an open question. However, we would like to highlight that any improvement upon the error estimate in (18) could be used in (19), and in the proof of Theorem 3, to immediately deduce sharper constants for spline approximation.
Remark 3
We can bound \(c_{p,k,r}\) for \(k\le p-2\) as follows. For \(r\le k+2\), we have
while for \(r>k+2\), using the Stirling formula (see, e.g., [20, proof of Corollary 3.12]), we get
As a consequence, the estimate in Theorem 3 can be simplified to
for all \(p\ge r-1\). This is in agreement with the estimate in [2, Theorem 2].
Remark 4
Numerical experiments reveal that smoother spline spaces exhibit a better approximation behavior per degree of freedom; see, e.g., [11]. It was observed in [2], however, that a simple error estimate like (20) does not capture this behavior properly. The sharper estimate in Theorem 3 seems to provide a more accurate description of this behavior. Now, let \((a,b)=(0,1)\). Assuming a uniform knot sequence \(\Xi \) and \(h\ll 1\), the spline dimension can be measured by
Hence, the estimate in Theorem 3 can be rephrased as
for all \(p\ge r-1\). As illustrated in Example 5 (Fig. 1) and Example 6 (Fig. 2), numerical evaluation indicates that
This is in agreement with the numerical evidence found in the literature that, for fixed spline degree, smoother spline spaces have better approximation properties per degree of freedom, even for low smoothness of the functions to be approximated. We refer the reader to [5] for a more exhaustive theoretical comparison of the approximation power of spline spaces per degree of freedom in the extreme cases \(k=-1,0,p-1\).
Example 5
Let \(r=3\). Figure 1 depicts the numerical values of \(c_{p,k,3}(p-k)^3\) for different choices of p and k. We clearly see that the smallest values are attained for maximal spline smoothness \(k=p-1\), namely \(c_{p,p-1,3}=(1/\pi )^3\approx 0.0323\).
Example 6
Consider now the maximal Sobolev smoothness \(r=p+1\). Figure 2 depicts the numerical values of \(c_{p,k,p+1}(p-k)^{p+1}\) for different choices of p and k. For any fixed p, one notices that the values are decreasing for increasing k, and hence the smallest values are attained for maximal spline smoothness \(k=p-1\).
By utilizing Lemma 6 once again we can further sharpen the error estimate in Theorem 3. Let us now define \(C_{h,p,k,r}\) by
for \(p\ge \max \{r-1,k+1\}\). Since \(\mathcal {P}_p\subseteq \mathcal {S}^{k}_{p,\Xi }\), the following result immediately follows from Lemma 6 and Theorem 3.
Corollary 1
Let \(u\in H^r(a,b)\) be given. For any knot sequence \(\Xi \), let \(S^k_p\) be the \(L^2\)-projector onto \(\mathcal {S}^{k}_{p,\Xi }\) for \(-1\le k\le p-1\). Then,
for all \(p\ge r-1\).
The above corollary shows that \({\mathfrak {C}}_{t,r}\le C_{h,p,k,r}\) for \(\mathcal {Z}_t=\mathcal {S}^{k}_{p,\Xi }\); see Remark 1. Note that for \(k=-1\), the constant \(C_{h,p,k,r}\) equals \(c_{p,k,r}h^r\) for any p, h and r. However, for large k and p (compared to 1/h) the second argument in (23) can become smaller than the first. The error estimate in Corollary 1 will in this case then coincide with the error estimate for global polynomial approximation. We will look closer at this case in the next section; see in particular Fig. 4.
In many applications one would be interested in finding a single spline function that can provide a good approximation of all derivatives of u up to a given number q. Derivative estimates for the \(L^2\)-projection could be obtained under some quasi-uniformity assumptions on the knot sequence which ensure stability of the \(L^2\)-projection in the \(H^1\) semi-norm; see, e.g., [9, Theorem 2] for such conditions in the case \(k=0\). However, these assumptions can be avoided by using a Ritz projection. As a special case of (13) we define, for any \(q=0,\ldots ,k+1\), the Ritz projector \(R_p^{q,k}: H^q(a,b)\rightarrow \mathcal {S}^k_{p,\Xi }\) by
As a consequence of Theorem 2 we have the following error estimate.
Corollary 2
Let \(u\in H^r(a,b)\) be given. For any degree p, knot sequence \(\Xi \) and smoothness \(-1\le k\le p-1\), let \(R_p^{q,k}\) be the projector onto \(\mathcal {S}^{k}_{p,\Xi }\) defined in (24) for \(q=0,\ldots ,\min \{k+1,r\}\). Then, for any \(\ell =0,\ldots ,q\), we have
for all \(p\ge \max \{q,r-1,2q-\ell -1\}\).
Remark 5
Using the definition of \(C_{h,p,k,r}\) together with the argument in Remark 3, we can simplify the result in Corollary 2 as follows. For any \(q=0,\ldots ,\min \{k+1,r\}\) and \(\ell =0,\ldots ,q\), we have
for all \(p\ge \max \{q,r-1,2q-\ell -1\}\). Since this estimate is explicit in h and p, it is very useful for \(h{-}p\) refinement.
Example 7
Similar to Example 3 we let \(q=1\). Then, for any \(u\in H^r(a,b)\) and \(k\ge 0\) we have the stability estimates
and, as in Remark 5, the error estimates
for all \(p\ge r-1\). Thus, \(R^{1,k}_pu\) provides a good approximation of both the function u itself, and its first derivative.
Example 8
Let \(q=2\) and \(r=3\). For \(R^{2,k}_pu\) to approximate \(u\in H^3(a,b)\) in the \(L^2\)-norm, Corollary 2 requires the degree to be at least \(2q-1=3\), and not \(r-1=2\) as one might expect. In view of (24), this is consistent with the common assumption to solve the biharmonic equation with piecewise polynomials of at least cubic degree for obtaining an optimal rate of convergence in \(L^2\); see, e.g., [23, p. 118].
Remark 6
In the spirit of Remark 4, the above error estimates for the Ritz projection can also be used to investigate the approximation behavior per degree of freedom. Let \((a,b)=(0,1)\), and assume a uniform knot sequence \(\Xi \) and \(h\ll 1\). Then, keeping the dimension formula (21) in mind, the first inequality in Remark 5 can be rephrased as: for any \(q=\ell ,\ldots ,\min \{k+1,r\}\), we have
for all \(p\ge \max \{q,r-1,2q-\ell -1\}\). As illustrated in Example 9 (Fig. 3), numerical evaluation of the constant in (25) indicates that our error estimate performs better per degree of freedom for smoother spline spaces, not only in the \(L^2\) norm but also in more general \(H^\ell \) (semi-)norms.
Example 9
Let \(q=1\) and consider the maximal Sobolev smoothness \(r=p+1\). Figure 3 depicts the numerical values of \(c_{p-q,k-q,q-\ell } c_{p-q,k-q,r-q}(p-k)^{r-\ell }\) for \(\ell =0,1\) and different choices of p and k. For any fixed p and \(\ell \), one notices that the values are decreasing for increasing k, and hence the smallest values are attained for maximal spline smoothness \(k=p-1\). Since this trend is happening for both \(\ell =0,1\), it means that our error estimate performs better per degree of freedom for higher smoothness, in both the \(L^2\) and \(H^1\) norms, for any fixed p. Note that the graphs look like the ones in Fig. 2 using the \(L^2\)-projection. This is not a coincidence because one can check that
for \(0\le k\le p-1\) and \(\ell =0,1\).
Remark 7
The last observation in Example 9 can be generalized as follows. In case of maximal Sobolev smoothness \(r=p+1\) and \(\max \{q-1,2q-\ell -2\}\le k\le p-1\), we have
4 Spline spaces of maximal smoothness
As mentioned in the introduction, the error estimate in (3) is perfectly suited to study the case of grid refinement with maximally smooth splines. However, it provides almost no information in the case of degree elevation. The best it can tell us is that the error will not get worse as p increases. This is in contrast to the standard error estimates for \(C^0\) finite element methods (or the case \(k=0\) of (2)), which show clear convergence as \(p\rightarrow \infty \). In this section we therefore study error estimates for the space of maximally smooth splines in more detail, and in particular, we investigate the p-dependence. The main goal is to obtain various estimates for the full \(h{-}p{-}k\) refinement scheme, i.e., as \(p\rightarrow \infty \) and/or as \(h\rightarrow 0\) under the constraint \(k=p-1\).
Let us define the constant \(C_{h,p,r}\) by \(C_{h,p,r}:=C_{h,p,p-1,r}\) with \(C_{h,p,k,r}\) in (23), or more explicitly by
for \(p\ge r-1\). As a generalization of [25, Corollary 6.3] we obtain the following result.
Corollary 3
Let \(u\in H^r(a,b)\) be given. For any knot sequence \(\Xi \), let \(S_p\) be the \(L^2\)-projector onto \(\mathcal {S}_{p,\Xi }\). Then,
for all \(p\ge r-1\).
Proof
The estimate (27) is the case \(k=p-1\) of Corollary 1. For (28), we first observe that if \(\mathcal {Z}_0=\mathcal {S}_{0,\Xi }\) we have \(\mathcal {Z}_{p}=\mathcal {S}_{p,\Xi }\) for the sequence of spaces in (6). From Lemma 3 (with \(t=p\)) we then obtain (28) for \(u\in H^r(a,b)\).\(\square \)
The first argument in the definition of \(C_{h,p,r}\) only depends on h and r, while the second argument only depends on p and r. Hence, it is clear that the second argument is smaller than the first for large enough p with respect to h. This is illustrated in the next examples.
Example 10
Let \(r=2\) and \(b-a=2\). Then, assuming
we have
In this case the error estimate (27) is better than (3).
Example 11
Figure 4 depicts the values \(h_{p,r}^*/(b-a)\in [0,1]\) satisfying
for different choices of r and p. It follows that the two arguments of \(C_{h,p,r}\) in (26) are equal for \(h=h_{p,r}^*\). For smaller values of h we have \(C_{h,p,r}=(h/\pi )^r\), and then (27) coincides with (3). Otherwise, for larger values of h, (27) coincides with the estimate for global polynomial approximation in Lemma 6. Assuming a uniform knot sequence, we observe that the latter only holds for a rather small number of knot intervals \(N=(b-a)/h\) with respect to p. For instance, if \(p=10\) and \(r=11\), then \(h_{p,r}^*/(b-a)\approx 0.17\) and so N must be less than or equal to 5 for the estimate in (27) to coincide with the estimate for global polynomial approximation. Similarly, one can check that if \(p=10\) and \(r=1\), then N must be less than or equal to 7.
It is easy to see that for fixed p and small enough h, both estimates in Corollary 3 coincide. Moreover, for fixed h and large enough p, (27) is a sharper estimate than (28). On the other hand, as we illustrate in the next example, there are certain choices of h and p such that (28) is sharper than (27).
Example 12
Let \(r=2\) and \(b-a=2\). Then, assuming
we have
As a consequence, when h satisfies (29), the error estimate (28) is sharper than (27).
The estimates in Corollary 3 hint towards a complex interplay between h and p in the sense that for a strongly refined grid (very small h), increasing the degree p might give little or no benefit, and vice versa.
Remark 8
Using the Stirling formula (in the same way as in Remark 3), we have
Thus,
and by taking the harmonic mean of the two quantities in the above bound, we get
for all \(p\ge r-1\). Even though this estimate is less sharp than the result in Corollary 3, it has the benefit of always decreasing as the grid is refined and/or as the degree is increased.
Remark 9
For small values of r (compared to p) we can improve upon the estimate in Remark 8 as follows. Since \(C_{h,p-i+1,1} \le C_{h,p-r+1,1}\) for \(i=1,\ldots ,r\), Corollary 3 implies that
for all \(p\ge r-1\). By taking the harmonic mean of the two quantities in the bound
we obtain
for all \(p\ge r-1\). This estimate is sharper than (30) if \(p>\frac{e}{e-2}(r+\frac{2}{e}-2)\). Note that this is always the case if \(p\ge 4(r-1)\).
We now look at some error estimates for the Ritz projection. Using inequality (15) and Lemma 3 we obtain the following result.
Corollary 4
Let \(u\in H^r(a,b)\) be given. For any \(q=0,\ldots ,r\) and knot sequence \(\Xi \), let \(R_p^q\) be the projector onto \(S_{p,\Xi }=\mathcal {Z}_p\) defined in (13). Then, for any \(\ell =0,\ldots ,q\) we have
for all \(p\ge \max \{q,r-1,2q-\ell -1\}\).
Remark 10
As a generalization of [18, Theorem 3.1], it follows from Corollary 4 that for any \(q=0,\ldots ,r\) and \(\ell =0,\ldots ,q\),
for all \(p\ge \max \{q,r-1,2q-\ell -1\}\). Not only is this a very simple and explicit estimate, but it is also very useful for h refinement. Note that the error estimate for periodic splines in [18, Theorem 4.1] is of the same form as (31) for the corresponding Ritz projection in the case of periodic boundary conditions.
Remark 11
Following a similar argument as in Remark 8, we get for any \(q=0,\ldots ,r\) and \(\ell =0,\ldots ,q\),
for all \(p\ge \max \{q,r-1,2q-\ell -1\}\). In addition, following a similar argument as in Remark 9, we get for any \(q=0,\ldots ,r\) and \(\ell =0,\ldots ,q\),
for all \(p\ge \max \{q,r-1,2q-\ell -1\}\). The latter estimate is sharper than the former one if \(p>\frac{e}{e-2}(\max \{2q-\ell ,r\}+\frac{2(1-q)}{e}-2)\). Even though these two estimates are less sharp than the result in Corollary 4, they have the benefit of always decreasing as the grid is refined and/or as the degree is increased. They are therefore useful estimates for \(h{-}p{-}k\) refinement.
5 Reduced spline spaces
The goal of this section is to prove error estimates for the Ritz projection onto certain reduced spline spaces of maximal smoothness studied in [12, 14, 15, 18, 22, 25]. To do that we first prove a general result for any integral operator K using ideas from [12, 14].
5.1 General error estimates
Let K be any integral operator as in (5), and let \(\mathcal {X}_0\) and \(\mathcal {Y}_0\) be any finite dimensional subspaces of \(L^2(a,b)\). We then define the subspaces \(\mathcal {X}_t\) and \(\mathcal {Y}_t\), in an analogous way to (6), by
for \(t\ge 1\). Finally, for any \(t\ge 0\), let \(X_t\) be the \(L^2\)-projector onto \(\mathcal {X}_t\) and \(Y_t\) be the \(L^2\)-projector onto \(\mathcal {Y}_t\).
Lemma 8
For any \(t\ge 1\) we have
Proof
First, note that
Next, observe that \(K^*X_{t-1}\) maps into \(\mathcal {Y}_t\) and since \(Y_tK^*f\) is the best approximation of \(K^*f\) in \(\mathcal {Y}_t\) we must have
This shows that \(\Vert K - KY_t\Vert \le \Vert K^*-K^*X_{t-1}\Vert \). Similarly, by swapping the roles of K and \(K^*\) we have \(\Vert K^* - K^*X_{t}\Vert \le \Vert K-KY_{t-1}\Vert \). The result then follows from induction on \(t\). \(\square \)
5.2 Error estimates for reduced spline spaces
In [12, 14, 18, 25] error estimates for certain reduced spline spaces were shown. Here we prove a generalization of these results for the Ritz projections. Specifically, in [14] and [18] the spaces \(\mathcal {S}_{p,\Xi ,0}\) and \(\mathcal {S}_{p,\Xi ,1}\), defined by
were studied. We further define the related spaces \(\overline{\mathcal {S}}_{p,\Xi ,0}\) and \(\overline{\mathcal {S}}_{p,\Xi ,1}\) by
For uniform knot sequences, the spaces \(\overline{\mathcal {S}}_{p,\Xi ,1}\) are exactly the reduced spline spaces investigated in [25, Definition 5.1]. Observe that \(\mathcal {S}_{p,\Xi ,0} \subseteq \overline{\mathcal {S}}_{p,\Xi ,0}\) where equality holds for p odd and \(\mathcal {S}_{p,\Xi ,1} \subseteq \overline{\mathcal {S}}_{p,\Xi ,1}\) where equality holds for p even. Observe further that in the case \(p=0\) all the spaces in (33) and (34) equal the standard spline space \(\mathcal {S}_{0,\Xi }\)except for \(\mathcal {S}_{0,\Xi ,0}\).
For a specific (degree-dependent) knot sequence \(\Xi \) it was shown in [14] that the spline spaces in (33) are optimal for certain n-width problems. Later it was shown in [18] that if n is the dimension of these optimal spaces, then they converge to the space spanned by the n first eigenfunctions of the Laplacian (with either Dirichlet or Neumann boundary conditions) as their degree p increases. Convergence in the case of periodic boundary conditions was also studied in [18].
Staying consistent with the notation in [12, 14, 17] we define the integral operator \(K_1\) by
where \(P_0\) denotes the \(L^2\)-projector onto \(\mathcal {P}_0\), and K is the integral operator in (9). One can verify that if \(u=K_1f\) then \(\partial u=f\) and \(u\perp 1\). Moreover, since \(K_1^*=K^*(I-P_0)\) it follows that if \(u=K_1^*f\) then \(\partial u=(P_0-I)f\) and \(u(a)=u(b)=0\). Using these properties it was shown in [14] that
for all \(p\ge 1\), since the derivative of a spline is a spline of one degree lower on the same knot sequence. For the spline spaces in (34) we deduce by the same argument that
for all \(p\ge 1\).
Let \(S_{p,i}:L^2(a,b)\rightarrow \mathcal {S}_{p,\Xi ,i}\), \(i=0,1\), denote the \(L^2\)-projector. Analogously to (13) we define, for \(p\ge 1\), the Ritz projector \(R_{p,0}:H^1_0(a,b)\rightarrow \mathcal {S}_{p,\Xi ,0}\) by
and the Ritz projector \(R_{p,1}:H^1(a,b)\rightarrow \mathcal {S}_{p,\Xi ,1}\) by
Using the above definitions, together with (35), we find that \(R_{p,0}=K_1^*S_{p-1,1}\) and \(R_{p,1}=P_0+K_1S_{p-1,0}\).
Lastly, we define the quantity \(\widehat{h}\) by
where we observe that the difference between \(\widehat{h}\) and the h in (1) is that the length of the first and the last knot interval is scaled by a factor of 2. To prove the error estimates for our Ritz projections onto the sequences of spaces in (33) we make use of the next lemma.
Lemma 9
For any \(u\in H^1(a,b)\) we have
and for any \(v\in H^1_0(a,b)\) we have
Proof
These results follow from the Poincaré inequality. We refer the reader to [18, Theorem 1.1 and Lemma 8.1] for the details.\(\square \)
Using the above lemma together with Lemma 8 we obtain the desired error estimates.
Theorem 4
Let \(p\ge 0\) be given. Then, for any \(u\in H^1(a,b)\) we have
and for any \(v\in H^1_0(a,b)\) we have
Proof
Define the spaces \(\mathcal {S}_{p}\) by
Using (33) we find that if \(K_1\) plays the role of the generic integral operator K in Sect. 5.1, then the spaces \(\mathcal {S}_{p}\) are examples of the \(\mathcal {X}_t\) in (32) and the spaces \(\mathcal {S}_{p,\Xi ,0}\) are examples of the \(\mathcal {Y}_t\) in (32) for \(p=t\).
Moreover, using the definition of \(K_1\) we observe that \(H^1(a,b)=\mathcal {P}_0\oplus K_1(L^2(a,b))\). Thus, any function \(u\in H^1(a,b)\) can be decomposed as \(u=c+K_1f\) for \(c\in \mathcal {P}_0\) and \(f\in L^2(a,b)\). Using Lemma 9 we then find that
since \(\mathcal {P}_0\subset \mathcal {S}_{p,\Xi ,1}\), and so \(\Vert K-S_{0,1}K\Vert \le h/\pi \). Furthermore, it was shown in [14] that \(H^1_0(a,b)=K_1^*(L^2(a,b))\) and so any function \(v\in H^1_0(a,b)\) can be written as \(v=K_1^*g\) for \(g\in L^2(a,b)\). Again, using Lemma 9, we find that
and \(\Vert K^*-S_{0,0}K^*\Vert \le \widehat{h}/\pi \). The result then follows from Lemma 8 since \(R_{p,0}=K_1^*S_{p-1,1}\) and \(R_{p,1}=P_0+K_1S_{p-1,0}\).\(\square \)
Let \(\overline{S}_{p,i}:L^2(a,b)\rightarrow \overline{\mathcal {S}}_{p,\Xi ,i}\), \(i=0,1\), denote the \(L^2\)-projector. We then define the Ritz projector \(\overline{R}_{p,0}:H^1(a,b)\rightarrow \overline{\mathcal {S}}_{p,\Xi ,0}\) in a completely analogous way to (37) and \(\overline{R}_{p,1}:H^1(a,b)\rightarrow \overline{\mathcal {S}}_{p,\Xi ,1}\) in a completely analogous way to (38). As before, using (36) we find that \(\overline{R}_{p,0}=K_1^*\overline{S}_{p-1,1}\) and \(\overline{R}_{p,1}=P_0+K_1\overline{S}_{p-1,0}\).
Theorem 5
Let \(p\ge 0\) be given. Then, for any \(u\in H^1(a,b)\) we have
and for any \(v\in H^1_0(a,b)\) we have
Proof
This result follows from a similar argument as in the proof of Theorem 4. The main change being that in the case \(p=0\) we have \(\overline{\mathcal {S}}_{0,\Xi ,0}=\mathcal {S}_{0,\Xi },\) and so \(\Vert K^*-\overline{S}_{0,0}K^*\Vert \le {h}/\pi \). \(\square \)
Remark 12
Let \(h_\mathrm {min}\) be the minimum knot distance. The reduced spline spaces defined in (33) and (34) all satisfy the boundary conditions stated in [18, Theorem 9.1]. Hence, any element s in such spaces satisfies the following inverse inequality:
Remark 13
As the error estimates in Theorems 4 and 5 are complemented with the inverse inequality in Remark 12, the reduced spline spaces defined in (33) and (34) can be used to design fast iterative (multigrid) solvers for linear systems arising from spline discretization methods [15, 22].
6 Tensor-product spline spaces
In this section we describe how to extend our error estimates to the case of tensor-product spline spaces. We start by introducing some notation. Consider the d-dimensional domain \(\Omega :=(a_1,b_1)\times (a_2,b_2)\times \cdots \times (a_d,b_d)\), and let \(\Vert \cdot \Vert _{\Omega }\) denote the \(L^2(\Omega )\)-norm. Moreover, we deal with the standard Sobolev spaces on \(\Omega \) defined by
For \(i=1,\ldots ,d\), let \(\mathcal {Z}_{t_i}\) be a finite dimensional subspace of \(L^2(a_i,b_i)\) as in (6) with K as in (9), and define the tensor-product space \(\mathcal {Z}_\mathbf{t}:=\mathcal {Z}_{t_1}\otimes \mathcal {Z}_{t_2}\otimes \cdots \otimes \mathcal {Z}_{t_d}\). We only investigate projectors onto \(\mathcal {Z}_\mathbf{t}\) of the form \(\Pi :=\Pi _1\otimes \Pi _2\otimes \cdots \otimes \Pi _d\). To simplify notation, we use the following convention: when applying the univariate operator \(\Pi _i\) to a d-variate function u, we mean that \(\Pi _i\) acts on the i-th variable of u while the others are considered as parameters. In this perspective, we have \(\Pi =\Pi _1\circ \Pi _2\circ \cdots \circ \Pi _d\).
We first study error estimates for the \(L^2(\Omega )\)-projection onto \(\mathcal {Z}_\mathbf{t}\), denoted by \(Z_\mathbf{t}:=Z_{t_1}\otimes Z_{t_2}\otimes \cdots \otimes Z_{t_d}\). The following result can be concluded from the univariate error estimates using a standard argument (see, e.g., [2, 5, 18, 20, 25]), but for the sake of completeness we include the argument here.
Theorem 6
For any \(u\in L^2(\Omega )\) we have
and consequently, if \(u\in H^r(\Omega )\) and \(\mathcal {P}_{r-1}\subseteq \mathcal {Z}_{t_i}\) for all \(i=1,\ldots ,d\), we have
Proof
We only consider the case \(d=2\). The generalization to arbitrary d is straightforward. From the triangle inequality we obtain
since the \(L^2(\Omega )\)-operator norm of \(Z_{t_1}\) is equal to 1. Applying Theorem 1 we then obtain (39).\(\square \)
Remark 14
For simplicity let \(\Omega =(0,1)^d\). Note that (39) actually holds for all functions u in the larger Sobolev space
We make use of a similar Sobolev space in Sect. 7.2.
For tensor-product spline spaces of arbitrary smoothness, let \(S^\mathbf{k}_\mathbf{p}:=S^{k_1}_{p_1}\otimes \cdots \otimes S^{k_d}_{p_d}\) denote the \(L^2(\Omega )\)-projector onto \(\mathcal {S}^\mathbf{k}_{\mathbf{p},{\varvec{\Xi }}} :=\mathcal {S}^{k_1}_{p_1,\Xi _1}\otimes \cdots \otimes \mathcal {S}^{k_d}_{p_d,\Xi _d}\). For maximally smooth spline spaces, let \(S_\mathbf{p}:=S_{p_1}\otimes \cdots \otimes S_{p_d}\) denote the \(L^2(\Omega )\)-projector onto \(\mathcal {S}_{\mathbf{p},{\varvec{\Xi }}} :=\mathcal {S}_{p_1,\Xi _1}\otimes \cdots \otimes \mathcal {S}_{p_d,\Xi _d}\). Error estimates for these spaces can be immediately obtained by replacing \({\mathfrak {C}}_{t_i,r}\) in Theorem 6 with the constants derived in Corollaries 1 and 3. Let \(h_i\) denote the maximal knot distance in \(\Xi _i\) for \(i=1,\ldots ,d\).
Corollary 5
For any \(u\in H^r(\Omega )\) we have
and
for all \(p_i\ge r-1\).
Example 13
Let \(h:=\max \{h_1,h_2,\ldots ,h_d\}\). Then, for any \(u\in H^r(\Omega )\) we have
for all \(p_i\ge r-1\).
Let us now focus on error estimates for tensor products of the Ritz projection in (13). For simplicity of notation, we only consider the case \(q=1\) and \(d=2\). Define the tensor-product Ritz projector \(R_\mathbf{t}:H^1(a_1,b_1)\otimes H^1(a_2,b_2)\rightarrow \mathcal {Z}_{t_1}\otimes \mathcal {Z}_{t_2}\) by
Note that \(H^1(a_1,b_1)\otimes H^1(a_2,b_2)\) consists of functions \(u\in L^2(\Omega )\) such that \(\partial _1u\in L^2(\Omega )\), \(\partial _2u\in L^2(\Omega )\) and \(\partial _{1}\partial _2u\in L^2(\Omega )\). We thus have \(H^2(\Omega )\subset H^1(a_1,b_1)\otimes H^1(a_2,b_2)\subset H^1(\Omega )\).
Lemma 10
Let \(u\in H^1(a_1,b_1)\otimes H^1(a_2,b_2)\) be given. Then, for all \(t_1,t_2\ge 1\) we have
Proof
From (17) and by adding and subtracting \(R_{t_1}^1u\) we obtain
and similarly for \(R_{t_2}^1u\). The first result now follows since \(\partial _i\) commutes with \(R_{t_j}^1\) for \(i\ne j\). Analogously, using (16) we obtain
and the second result follows. For the third result we use the commuting relation \(\partial _iR_{t_i}^1=Z_{t_i-1}\partial _i\), \(i=1,2\), to conclude that \(\partial _1\partial _2R_\mathbf{t}=Z_\mathbf{t-1}\partial _1\partial _2\), and we apply Theorem 6.\(\square \)
By using Theorem 2 we can now achieve error estimates for the tensor-product Ritz projection. If the function u is only assumed to be in \(H^1(a_1,b_1)\otimes H^1(a_2,b_2)\) then one obtains the “unbalanced” estimate:
for all \(t_1,t_2\ge 1\). Indeed, the partial derivatives involved in this estimate are not of the same order. This can be resolved by requiring higher Sobolev smoothness. If \(u\in H^2(\Omega )\), then for all \(t_1,t_2\ge 1\) we have
This is a special case of the following more general statement.
Theorem 7
Let \(u\in H^r(\Omega )\) for \(r\ge 2\) be given. If \(\mathcal {P}_{r-2}\subseteq \mathcal {Z}_{t_1-1}\cap \mathcal {Z}_{t_2-1}\) for \(t_1,t_2\ge 1\), then
and
Proof
Using Lemma 10 and Theorem 2 we find that
which proves the first result. The other results follow by a similar argument. \(\square \)
In the spirit of Corollary 5, using results from Sects. 3 and 4, the above theorem can be used to obtain error estimates for tensor-product Ritz projections onto spline spaces of any smoothness. We end this section with two examples.
Example 14
Let \(R^\mathbf{k}_\mathbf{p}:=R^{1,k_1}_{p_1}\otimes R^{1,k_2}_{p_2}\) be the tensor-product Ritz projector onto \({\mathcal {S}_{\mathbf{p},{\varvec{\Xi }}}^\mathbf{k}}\), and let \(h:=\max \{h_1,h_2\}\) and \(p-k:=\min \{p_1-k_1,p_2-k_2\}\). Then, for any \(u\in H^r(\Omega )\), \(r\ge 2\), we have
where we slightly abuse notation by letting
for all \(p_1,p_2\ge r-1\).
Example 15
Let \(R_\mathbf{p}:=R^1_{p_1}\otimes R^1_{p_2}\) be the tensor-product Ritz projector onto \(\mathcal {S}_{\mathbf{p},{\varvec{\Xi }}}\), and let \(h:=\max \{h_1,h_2\}\). Then, for any \(u\in H^2(\Omega )\) and for \(0\le \ell _1,\ell _2\le 1\) we have
for all \(p_1,p_2\ge 1\). In general, for any \(u\in H^r(\Omega )\), \(r\ge 2\), and for \(0\le \ell _1,\ell _2\le 1\) we have
for all \(p_1,p_2\ge r-1\).
Similar results hold for the tensor products of the reduced spline spaces in Sect. 5.2. The results of this section can also be generalized to higher order Ritz projections in a straightforward way.
7 Mapped geometry
Motivated by IGA, in this section we consider error estimates for spline spaces defined on a mapped (single-patch) domain. Let \(\Omega =(0,1)^d\) be the reference domain, \(\widetilde{\Omega }\) the physical domain, and \(\mathbf{G}:\Omega \rightarrow \widetilde{\Omega }\subset \mathbb {R}^d\) the geometric mapping defining \(\widetilde{\Omega }\). We assume that the mapping \(\mathbf{G}\) is a bi-Lipschitz homeomorphism. As a general rule, we indicate quantities and operators that refer to the (mapped) physical domain by means of the symbol \(\tilde{~}\). In particular, the derivative operator with respect to physical variables is denoted by \(\tilde{\partial }\).
Define the space \(\widetilde{\mathcal {Z}}_\mathbf{t}\) as the push-forward of the tensor-product space \(\mathcal {Z}_\mathbf{t}\) with respect to the mapping \(\mathbf{G}\). Specifically, let
Furthermore, for any projector \(\Pi : L^2(\Omega )\rightarrow \mathcal {Z}_\mathbf{t}\) we let \(\widetilde{\Pi }: L^2(\widetilde{\Omega })\rightarrow \widetilde{\mathcal {Z}}_\mathbf{t}\) denote the projector defined by
Using a standard substitution argument we obtain the following result.
Lemma 11
For \(\tilde{u}\in L^2(\widetilde{\Omega })\) and \(\mathbf{G}\in (W^{1,\infty }(\Omega ))^d\) let \(u:=\tilde{u}\circ \mathbf{G}\in L^2(\Omega )\). Then, for any projector \(\widetilde{\Pi }\) as in (41) we have
7.1 Smooth geometry
If we, similar to [15, 24], make the assumption that the geometry map \(\mathbf{G}\) is sufficiently globally smooth, then we can easily extend the results from Sect. 6 using techniques from [1, 3]. Specifically, in this subsection we assume \(\mathbf{G}\in (W^{r,\infty }(\Omega ))^d\), which implies that \(u:=\tilde{u}\circ \mathbf{G}\in H^r(\Omega )\) whenever \(\tilde{u}\in H^r(\widetilde{\Omega })\). We further assume \(\mathbf{G}^{-1}\in (W^{1,\infty }(\widetilde{\Omega }))^d\).
We define the mapped \(L^2\)-projector \(\widetilde{Z}_\mathbf{t}:L^2(\widetilde{\Omega })\rightarrow \widetilde{\mathcal {Z}}_\mathbf{t}\) by taking \(\Pi =Z_\mathbf{t}\) in (41). Then, combining Lemma 11 and Theorem 6 gives rise to the following estimate.
Lemma 12
Let \(\mathbf{G}\in (W^{r,\infty }(\Omega ))^d\). Then, for any \(\tilde{u}\in H^r(\widetilde{\Omega })\) we have
for all \(t_i\ge r-1\).
Using a slightly simplified version of the multivariate Faà di Bruno formula in [7] and substituting back to the physical domain, we obtain an error estimate in a more classical form. To this end, we set \(\mathbf{G}:=(G_1,\ldots ,G_d)\) and define
and
where \(\mathbf{j}:=(j_1,\ldots ,j_d)\) and
Theorem 8
Let \(\mathbf{G}\in (W^{r,\infty }(\Omega ))^d\) and \(\mathbf{G}^{-1}\in (W^{1,\infty }(\widetilde{\Omega }))^d\). Then, for any \(\tilde{u}\in H^r(\widetilde{\Omega })\) we have
for all \(t_i\ge r-1\).
Proof
By means of the multivariate Faà di Bruno formula in [7] we can express the high-order partial derivatives in Lemma 12 as
This gives
and a standard substitution argument completes the proof. \(\square \)
In the spirit of Corollary 5, using results from Sects. 3 and 4, the above theorem can be used to obtain error estimates for mapped \(L^2\)-projections onto spline spaces of any smoothness. Indeed, we just need to replace \({\mathfrak {C}}_{t_i,r}\) with the corresponding constants, e.g., the ones derived in Corollaries 1 and 3.
Example 16
Let \(d=1\). Given the geometry map G, we have
where
Observe that \(C_{G,1,r,j}\) can be compactly expressed in terms of (exponential) partial Bell polynomials \(B_{r,j}(x_1,\ldots ,x_{r-j+1})\) by
see, e.g., [6, Section 3.3]. These Bell polynomials can be computed through the following recurrence relation:
where \(B_{0,0}=1\) and \(B_{r,0}=0\) for \(r\ge 1\). In particular, we have
Example 17
Let \(d=2\). For \(r=1\) and \(i=1,2\) we have
For \(r=2\) and \(i=1,2\) we have
Similar results can be obtained for tensor-product Ritz projections in the presence of a mapped geometry. As before, it is a matter of applying the Ritz estimates from Sect. 6 in combination with the multivariate Faà di Bruno formula [7]. We omit these results to avoid repetition. We just illustrate this with an example.
Example 18
Let \(d=2\) and \(r=2\). Recall from Example 15 that for any \(u\in H^2(\Omega )\) and for \(0\le \ell _1,\ell _2\le 1\) we have
for all \(p_1,p_2\ge 1\) and \(h:=\max \{h_1,h_2\}\). We define the mapped Ritz projector \(\widetilde{R}_\mathbf{p}: H^2(\widetilde{\Omega })\rightarrow \widetilde{\mathcal {Z}}_\mathbf{t}\) by taking \(\Pi =R_\mathbf{p}\) in (41). Assume \(\mathbf{G}\in (W^{2,\infty }(\Omega ))^2\) and \(\mathbf{G}^{-1}\in (W^{1,\infty }(\widetilde{\Omega }))^2\). From Theorem 8 (and Example 17) we know estimates for \(\Vert \partial _1^2(\tilde{u}\circ \mathbf{G})\Vert _{\Omega }\) and \(\Vert \partial _2^2(\tilde{u}\circ \mathbf{G})\Vert _{\Omega }\), and we can compute similar ones for \(\Vert \partial _1\partial _2(\tilde{u}\circ \mathbf{G})\Vert _{\Omega }\). Then, for any \(\tilde{u}\in H^2(\widetilde{\Omega })\) and for \(0\le \ell _1,\ell _2\le 1\) we obtain
for all \(p_1,p_2\ge 1\), where
7.2 Bent geometry
In IGA the geometry map \(\mathbf{G}\) is commonly taken to be componentwise a spline function from the same space as our approximation space. However, the results in the previous subsection can require the geometry map to be in a smoother subspace. We will overcome the issue in this subsection. As before, we use the techniques of [1, 3].
For \(r\ge 1\) and \(k\ge 0\) we define the univariate bent Sobolev space
Note that for \(k\ge r-1\) we have \(\mathcal {H}^{r,k}_{\Xi }(0,1)=H^{r}(0,1)\). Then, similar to the space in Remark 14, we define the (\(L^2\)-extended) multivariate bent Sobolev space
Following [3] we also introduce the mesh-dependent norm
where \(M_{{\varvec{\Xi }}}\) is the collection of the (open) elements defined by \({\varvec{\Xi }}\) and \(\Vert \cdot \Vert _{\sigma }\) denotes the \(L^2\)-norm on the element \(\sigma \).
Furthermore, for \(k_i\ge 0\), \(i=1,\ldots ,d\), we define the bent geometry function class
where \(W^{\mathbf{k+1},\infty }(\Omega ):=W^{k_1+1,\infty }(0,1)\otimes \cdots \otimes W^{k_d+1,\infty }(0,1)\). The space \(\mathcal {G}^{r,\mathbf{k}}_{{\varvec{\Xi }}}(\Omega )\) contains the spline space \(\mathcal {S}^\mathbf{k}_{\mathbf{p},{\varvec{\Xi }}}\), and it also allows for several other interesting piecewise spaces such as NURBS spaces based on \(\mathcal {S}^\mathbf{k}_{\mathbf{p},{\varvec{\Xi }}}\). If we assume \(\mathbf{G}\in (\mathcal {G}^{r,\mathbf{k}}_{{\varvec{\Xi }}}(\Omega ))^d\), then \(u:=\tilde{u}\circ \mathbf{G} \in \mathcal {H}^{r,\mathbf{k}}_{{\varvec{\Xi }}}(\Omega )\) for \(\tilde{u}\in H^r(\widetilde{\Omega })\). Having u not in \(H^r(\Omega )\) is a potential problem for applying the error estimates we derived in Sect. 6, but this can be fixed by making use of [4, Lemma 3.1]. For completeness we provide a short proof here as well.
Lemma 13
For \(k\le r-2\), there exists an operator \(\Gamma : \mathcal {H}^{r,k}_{\Xi }(0,1)\rightarrow \mathcal {S}^{k}_{r-1,\Xi }\) such that \(u-\Gamma u\in H^r(0,1)\) for all \(u\in \mathcal {H}^{r,k}_{\Xi }(0,1)\).
Proof
Let \(u\in \mathcal {H}^{r,k}_{\Xi }(0,1)\) for some \(k\le r-2\), and let \(\partial ^\ell _-u\) (\(\partial ^\ell _+u\)) denote the limit from the left (right) of the \(\ell \)-th order derivative of u. From the definition of the bent Sobolev space we know that u is \(C^k\) continuous at any interior knot \(\xi _j\), \(j=1,\ldots ,N\). Now, we define
It is easy to check that \(\varphi _{j,k}\in \mathcal {S}^{k}_{r-1,\Xi }\) and that \(u-\varphi _{j,k}\) is \(C^{k+1}\) continuous at the knot \(\xi _j\). Repeating this argument and taking
it follows that \(u-\Gamma u\) is \(C^{r-1}\) continuous at each interior knot. Since \(\Gamma u\in \mathcal {S}^{k}_{r-1,\Xi }\) we also know that \(u-\Gamma u\in \mathcal {H}^{r,k}_{\Xi }(0,1)\), and so \(u-\Gamma u\in H^r(0,1)\).\(\square \)
Similar to [4, Proposition 3.1] we then obtain the following error estimate.
Lemma 14
Let \(u\in \mathcal {H}^{r,k}_{\Xi }(0,1)\) be given. Then,
for all \(p\ge r-1\).
Proof
For \(k\ge r-1\), the result immediately follows from Corollary 1 by recalling that \(\mathcal {H}^{r,k}_{\Xi }(0,1)=H^r(0,1)\) in this case. Assume now \(k\le r-2\). Since \(\mathcal {S}^{k}_{r-1,\Xi }\subseteq \mathcal {S}^{k}_{p,\Xi }\) we deduce from Lemma 13 and Corollary 1 that
and the result follows by taking the square root of both sides. \(\square \)
The univariate error estimate in Lemma 14 can be easily extended to the multivariate tensor-product spline setting.
Lemma 15
Let \(u\in \mathcal {H}^{r,\mathbf{k}}_{{\varvec{\Xi }}}(\Omega )\) be given. Then,
for all \(p_i\ge r-1\).
Proof
Using Theorem 6 we have
and the result follows by applying Lemma 14 in each direction separately.\(\square \)
In the case of maximal spline smoothness, i.e., \(k_i=p_i-1\) for all i, the constants \(C_{h_i,p_i,k_i,r}\) in the above lemma can be replaced by the constants used in Corollary 3.
Using the argument of Theorem 8 we then arrive at the desired error estimates for a bent geometry. To this end, we need to redefine the constants \(C_{\mathbf{G},i,r,\mathbf{j}}\) in (42) using the mesh-dependent norm
Theorem 9
Let \(\mathbf{G}\in (\mathcal {G}^{r,\mathbf{k}}_{{\varvec{\Xi }}}(\Omega ))^d\) and \(\mathbf{G}^{-1}\in (W^{1,\infty }(\widetilde{\Omega }))^d\). Then, for any \(\tilde{u}\in H^r(\widetilde{\Omega })\) we have
for all \(p_i\ge r-1\).
Similar results can be obtained for tensor-product Ritz projections in the presence of a bent geometry. As before, it is a matter of applying the Ritz estimates from Sect. 6 in combination with the operator in Lemma 13 and proper (Ritz extended) multivariate bent Sobolev spaces. We omit these results to avoid repetition. We just illustrate this with an example similar to Example 18.
Example 19
Let \(d=2\) and \(r=2\). Assuming \(\mathbf{G}\in (\mathcal {S}_{\mathbf{p},{\varvec{\Xi }}})^2\) and \(\mathbf{G}^{-1}\in (W^{1,\infty }(\widetilde{\Omega }))^2\), for any \(\tilde{u}\in H^2(\widetilde{\Omega })\) and for \(0\le \ell _1,\ell _2\le 1\) we have
for all \(p_1,p_2\ge 1\) and \(h:=\max \{h_1,h_2\}\). The constants in the above sum are the same as the ones in Examples 17 and 18 but in the mesh-dependent norm (43).
8 Multi-patch geometry
In this section we generalize our error estimates to the case of multi-patch domains with \(C^0\) continuity across the patches. The arguments here are based on those found in [3, 24].
We start by explaining the general framework in the univariate case. Let \(\mathcal {Z}_t\) be a finite dimensional subspace of \(L^2(a,b)\) as in (6) with K as in (9). For \(t\ge 1\) we define the projector \(Q_{t}:H^1(a,b)\rightarrow \mathcal {Z}_{t}\) by
where K is the integral operator in (9) and \(Z_{t}\) the \(L^2\)-projector onto \(\mathcal {Z}_{t}\). As we shall see momentarily, the projection (44) is closely related to the Ritz projection for \(q=1\) in (13) and satisfies essentially the same properties. Additionally, we observe that \(Q_{t}u(a) = u(a)\) and
Thus, \(Q_{t}\) can be equivalently expressed as
The interpolation at the boundary will be used to enforce \(C^0\) continuity across the patches. Similar to the case \(q=1\) of Theorem 2 we have the following error estimate.
Lemma 16
Let \(u\in H^r(a,b)\) for \(r\ge 1\) be given. Then,
for all \(t\ge 1\) such that \(\mathcal {P}_{r-2}\subseteq \mathcal {Z}_{t-1}\).
Proof
By the fundamental theorem of calculus we have \(u=u(b) - K^*v\) for \(v\in H^{r-1}(a,b)\). Thus, using (46),
Moreover, \(v\in H^{r-1}(a,b)\) can be written as \(v=g+K^{r-1}f\) for \(g\in \mathcal {P}_{r-2}\) and \(f\in L^2(a,b)\). Using \(\mathcal {P}_{r-2}\subseteq \mathcal {Z}_{t-1}\) and \((I-Z_{t-1})^2=(I-Z_{t-1})\) we obtain
which proves the first inequality. The second inequality follows from Theorem 1 since \(\partial Q_t= Z_{t-1}\partial \).\(\square \)
Error estimates for spline spaces can be immediately obtained by replacing the constants in Lemma 16 with the constants derived for \(q=1\) in Corollaries 2 and 4.
Remark 15
Since the Ritz projection in (13) is uniquely defined, it follows from Lemma 5 and (45) that \(Q_{t}=R^1_t\) whenever \(\mathcal {P}_2\subseteq \mathcal {Z}_t\). Lemma 16 would in this case directly follow from Lemma 5 and Theorem 2 (with \(q=1\)).
We now move on to the bivariate case (\(d=2\)). As before, we let \(\mathbf{t}=(t_1,t_2)\) and define the tensor-product projector \(Q_\mathbf{t}: H^1(a_1,b_1)\otimes H^1(a_2,b_2)\rightarrow \mathcal {Z}_{t_1}\otimes \mathcal {Z}_{t_2}\) by
Remark 16
As in [24, Theorem 3.4], we conclude from (44) and (45) that for all \(u\in H^1(a_1,b_1)\otimes H^1(a_2,b_2)\),
u and \(Q_\mathbf{t}u\) coincide at the four corners of \([a_1,b_1]\times [a_2,b_2]\), and
\(Q_\mathbf{t}u\) restricted to any boundary edge of \(\Omega =(a_1,b_1)\times (a_2,b_2)\) coincide with the univariate projection onto that edge, e.g.,
$$\begin{aligned} Q_\mathbf{t}u(a_1,\cdot ) = Q_{t_2}u(a_1,\cdot ). \end{aligned}$$
Using the same argument as for Theorem 7 we obtain the following error estimates for \(Q_\mathbf{t}\).
Theorem 10
Let \(u\in H^r(\Omega )\) for \(r\ge 2\) be given. If \(\mathcal {P}_{r-2}\subseteq \mathcal {Z}_{t_1-1}\cap \mathcal {Z}_{t_2-1}\) for \(t_1,t_2\ge 1\), then
and
In the spirit of Corollary 5, using results from Sects. 3 and 4, the above theorem can be used to obtain similar error estimates for spline spaces of any smoothness.
Finally, we are ready to consider the multi-patch setting in IGA. We assume that the physical domain \(\widetilde{\Omega }\subset \mathbb {R}^2\) is divided into \(M\) non-overlapping patches \(\widetilde{\Omega }_i\), \(i=1,\ldots , M\). The patches are conforming, i.e., the intersection of the closures of \(\widetilde{\Omega }_i\) and \(\widetilde{\Omega }_j\) for \(i\ne j\) is either (a) empty, (b) one common corner, or (c) the union of one common edge and two common vertices. Following [24], we define the bent Sobolev space in the physical domain \(\mathcal {H}^{2,1}(\widetilde{\Omega })\) by
We assume that for each \(i=1,\ldots , M\) there is a geometry map \(\mathbf{G}_i: \Omega =(0,1)^2 \rightarrow \widetilde{\Omega }_i\), which can be continuously extended to the closure of \(\Omega \), such that
\(\mathbf{G}_i\in (\mathcal {G}^{r,\mathbf{k}}_{{\varvec{\Xi }}}(\Omega ))^2\) and \(\mathbf{G}_i^{-1}\in (W^{1,\infty }(\widetilde{\Omega }_i))^2\) (see Sect. 7.2), and
for any interface \(\widetilde{\Gamma }_{ij}\) shared by \(\widetilde{\Omega }_i\) and \(\widetilde{\Omega }_j\), the parameterizations \(\mathbf{G}_i\) and \(\mathbf{G}_j\) are identical along that interface, i.e., \(\mathbf{G}_i^{-1}|_{\widetilde{\Gamma }_{ij}}=\mathbf{R}_{ij}\circ \mathbf{G}_j^{-1}|_{\widetilde{\Gamma }_{ij}}\) where \(\mathbf{R}_{ij}\) is a rigid motion of the unit square to itself.
Similar to (40) we define
and, following [3, 24], we require that these function spaces are fully matching on the interfaces, i.e., for each \(\tilde{s}_i\in \widetilde{\mathcal {Z}}_{\mathbf{t},i}\) there exists \(\tilde{s}_j\in \widetilde{\mathcal {Z}}_{\mathbf{t},j}\) such that along any interface \(\widetilde{\Gamma }_{ij}\) shared by \(\widetilde{\Omega }_i\) and \(\widetilde{\Omega }_j\) we have
Remark 17
Under the assumptions on the geometry maps, the fully matching requirement at the interface \(\widetilde{\Gamma }_{ij}\) is simply satisfied whenever for \(l=i,j\) the univariate spaces \({\mathcal {Z}}_{t_{m_l},l}\), \( m_l\in \{1,2\}\), associated with \(\mathbf{G}_l^{-1}({\widetilde{\Gamma }_{ij}})\) coincide. For instance, if \(\mathbf{G}_i^{-1}({\widetilde{\Gamma }_{ij}})\) is a horizontal edge while \(\mathbf{G}_j^{-1}({\widetilde{\Gamma }_{ij}})\) is a vertical one, then \({\mathcal {Z}}_{t_1,i}= {\mathcal {Z}}_{t_2,j}\).
With the patch spaces \(\widetilde{\mathcal {Z}}_{\mathbf{t},i}\) in place, we define the continuous isogeometric multi-patch space \(\widetilde{\mathcal {Z}}_\mathbf{t}:\widetilde{\Omega }\rightarrow \mathbb {R}\) as the continuously glued collection of those patch spaces, i.e.,
We let \(\widetilde{Q}_{\mathbf{t}, i}:H^2(\widetilde{\Omega }_i) \rightarrow \widetilde{\mathcal {Z}}_{\mathbf{t},i}\) denote the projector defined by
and for any \({\tilde{u}}\in \mathcal {H}^{2,1}(\widetilde{\Omega })\) we define \(\widetilde{Q}_\mathbf{t} (\tilde{u})\) by
From the same line of arguments as in [3, Proposition 3.8] (see also [24, Lemma 3.4]), by using Remark 16 together with the requirement that the patch spaces are fully matching, it follows that \(\widetilde{Q}_\mathbf{t}{\tilde{u}}\) can be extended to a continuous function across the patch-interfaces and hence this is a projector onto \(\widetilde{\mathcal {Z}}_\mathbf{t}\).
Similar to the mapped Ritz projection in the previous section we can now obtain error estimates for the projector \(\widetilde{Q}_\mathbf{t}\). As a continuation of Example 19 we can for instance obtain the following result.
Example 20
Let \(d=2\) and \(r=2\). Assume \(\mathbf{G}_i\in (\mathcal {S}_{\mathbf{p},{\varvec{\Xi }}})^2\) and \(\mathbf{G}_i^{-1}\in (W^{1,\infty }(\widetilde{\Omega }_i))^2\) for \(i=1,\ldots ,M\). Then, for any \(\tilde{u}\in H^2(\widetilde{\Omega }_i)\) and for \(0\le \ell _1,\ell _2\le 1\) we have
for all \(p_1,p_2\ge 1\) and \(i=1,\ldots , M\). Here \(h:=\max \{h_1,h_2\}\). The constants in the above estimate are the same as the ones in Example 19. By squaring both sides of (47) and summing over all the patches one can obtain a global estimate for \(\tilde{u}\in \mathcal {H}^{2,1}(\widetilde{\Omega })\).
Remark 18
If \(\tilde{u}\in \mathcal {H}^{2,1}(\widetilde{\Omega })\) is zero at the boundary then it follows from Remark 16 and the definition of \(\widetilde{Q}_\mathbf{t}\) that \(\widetilde{Q}_\mathbf{t}{\tilde{u}}\) is also zero at the boundary. Thus, we can obtain the same error estimates in the case of Dirichlet boundary conditions.
9 Conclusions
In this paper we have provided a priori error estimates with explicit constants for approximation with both classical spline spaces and with their isogeometric extensions. More precisely, we have considered error estimates in Sobolev (semi-)norms for \(L^2\) and Ritz projections of any function in \(H^r\) onto univariate and multivariate spline spaces, addressing single-patch and \(C^0\) multi-patch configurations.
In order to obtain these estimates we have introduced an abstract framework to convert explicit constants in polynomial approximation to explicit constants in spline approximation of arbitrary smoothness and on arbitrary knot sequences. The constants in our spline error estimates are not sharp as they stem from constants in global polynomial approximation that are not sharp. However, our abstract framework is independent of the polynomial error estimate we start with. Whenever better constants are available for polynomial approximation, they can be simply plugged into our framework, resulting immediately in a sharper result for spline approximation.
Our results improve upon existing error estimates in the literature as they fill the gap of the smoothness [2] and allow for more flexible \(h{-}p\) refinement for spline spaces of maximal smoothness [18, 25]. Moreover, they are consistent with the numerical evidence that smoother spline spaces exhibit a better approximation behavior per degree of freedom, which has been observed when solving practical problems by the IGA paradigm. Our error estimates also pave the way for extending to arbitrary smoothness and to arbitrary knot sequences the theoretical comparison, recently performed in [5], of the approximation power of different piecewise polynomial spaces commonly employed in Galerkin methods for solving partial differential equations. In case of a mapped domain, the error estimates explicitly highlight the influence of the (derivatives of the) geometry map on the approximation properties of the considered isogeometric spaces.
Besides their direct theoretical interest, the presented results may have an impact on several practical aspects of the IGA paradigm, including the convergence analysis under different kinds of refinements, the definition of good mesh quality metrics, and the design of fast iterative (multigrid) solvers for the resulting linear systems. We finally note that the range of possible applications of the presented results is not confined to the IGA context, since standard \(C^0\) tensor-product finite elements are also covered as special cases.
References
Bazilevs, Y., Beirão da Veiga, L., Cottrell, J.A., Hughes, T.J.R., Sangalli, G.: Isogeometric analysis: approximation, stability and error estimates for \(h\)-refined meshes. Math. Models Methods Appl. Sci. 16, 1031–1090 (2006)
Beirão da Veiga, L., Buffa, A., Rivas, J., Sangalli, G.: Some estimates for \(h{-}p{-}k\)-refinement in isogeometric analysis. Numer. Math. 118, 271–305 (2011)
Beirão da Veiga, L., Buffa, A., Sangalli, G., Vázquez, R.: Mathematical analysis of variational isogeometric methods. Acta Numer. 23, 157–287 (2014)
Beirão da Veiga, L., Cho, D., Sangalli, G.: Anisotropic NURBS approximation in isogeometric analysis. Comput. Methods Appl. Mech. Eng. 209–212, 1–11 (2012)
Bressan, A., Sande, E.: Approximation in FEM, DG and IGA: a theoretical comparison. Numer. Math. 143, 923–942 (2019)
Comtet, L.: Advanced Combinatorics: The Art of Finite and Infinite Expansions. D. Reidel Publishing Company, Dordrecht (1974)
Constantine, G.M., Savits, T.H.: A multivariate Faà di Bruno formula with applications. Trans. Am. Math. Soc. 348, 503–520 (1996)
Cottrell, J.A., Hughes, T.J.R., Bazilevs, Y.: Isogeometric Analysis: Toward Integration of CAD and FEA. Wiley, New York (2009)
Crouzeix, M., Thomée, V.: The stability in \(L_p\) and \(W_p^1\) of the \(L_2\)-projection onto finite element function spaces. Math. Comput. 48, 521–532 (1987)
Engvall, L., Evans, J.A.: Mesh quality metrics for isogeometric Bernstein–Bézier discretizations. Preprint, arXiv:1810.06975
Evans, J.A., Bazilevs, Y., Babuska, I., Hughes, T.J.R.: \(n\)-Widths, sup-infs, and optimality ratios for the \(k\)-version of the isogeometric finite element method. Comput. Methods Appl. Mech. Eng. 198, 1726–1741 (2009)
Floater, M.S., Sande, E.: Optimal spline spaces of higher degree for \(L^2\) \(n\)-widths. J. Approx. Theory 216, 1–15 (2017)
Floater, M.S., Sande, E.: On periodic \(L^2\) \(n\)-widths. J. Comput. Appl. Math. 349, 403–409 (2019)
Floater, M.S., Sande, E.: Optimal spline spaces for \(L^2\) \(n\)-width problems with boundary conditions. Constr. Approx. 50, 1–18 (2019)
Hofreither, C., Takacs, S.: Robust multigrid for isogeometric analysis based on stable splittings of spline spaces. SIAM J. Numer. Anal. 55, 2004–2024 (2017)
Hughes, T.J.R., Sangalli, G., Tani, M.: Isogeometric analysis: mathematical and implementational aspects, with applications. In: Lyche, T., Manni, C., Speleers, H. (eds.) Splines and PDEs: From Approximation Theory to Numerical Linear Algebra. Lecture Notes in Mathematics, vol. 2219, pp. 237–315. Springer, Berlin (2018)
Pinkus, A.: \(n\)-Widths in Approximation Theory. Springer, Berlin (1985)
Sande, E., Manni, C., Speleers, H.: Sharp error estimates for spline approximation: explicit constants, \(n\)-widths, and eigenfunction convergence. Math. Models Methods Appl. Sci. 29, 1175–1205 (2019)
Schumaker, L.L.: Spline Functions: Basic Theory, 3rd edn. Cambridge University Press, Cambridge (2007)
Schwab, C.: \(p\)- and \(hp\)-Finite Element Methods: Theory and Applications in Solid and Fluid Mechanics. Clarendon Press, Oxford (1999)
Shadrin, A.Y.: Inequalities of Kolmogorov type and estimates of spline interpolation on periodic classes \(W^m_2\). Math. Notes 48, 1058–1063 (1990)
Sogn, J., Takacs, S.: Robust multigrid solvers for the biharmonic problem in isogeometric analysis. Comput. Math. Appl. 77, 105–124 (2019)
Strang, G., Fix, G.: An Analysis of the Finite Element Method. Prentice-Hall, Upper Saddle River (1973)
Takacs, S.: Robust approximation error estimates and multigrid solvers for isogeometric multi-patch discretizations. Math. Models Methods Appl. Sci. 28, 1899–1928 (2018)
Takacs, S., Takacs, T.: Approximation error estimates and inverse inequalities for B-splines of maximum smoothness. Math. Models Methods Appl. Sci. 26, 1411–1445 (2016)
Acknowledgements
The authors are very grateful to Stefan Takacs (RICAM, Austria) for pointing out Lemma 5. This work was supported by the Beyond Borders Programme of the University of Rome Tor Vergata through the project ASTRID (CUP E84I19002250005) and by the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata (CUP E83C18000100006). C. Manni and H. Speleers are members of Gruppo Nazionale per il Calcolo Scientifico, Istituto Nazionale di Alta Matematica.
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.
Rights and permissions
About this article
Cite this article
Sande, E., Manni, C. & Speleers, H. Explicit error estimates for spline approximation of arbitrary smoothness in isogeometric analysis. Numer. Math. 144, 889–929 (2020). https://doi.org/10.1007/s00211-019-01097-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-019-01097-9