Skip to main content
Springer logoLink to Springer
. 2022 Sep 30;29(7):4479–4555. doi: 10.1007/s11831-022-09752-5

Mathematical Foundations of Adaptive Isogeometric Analysis

Annalisa Buffa 1,2, Gregor Gantner 3,, Carlotta Giannelli 4, Dirk Praetorius 3, Rafael Vázquez 1,2
PMCID: PMC9646785  PMID: 36397952

Abstract

This paper reviews the state of the art and discusses recent developments in the field of adaptive isogeometric analysis, with special focus on the mathematical theory. This includes an overview of available spline technologies for the local resolution of possible singularities as well as the state-of-the-art formulation of convergence and quasi-optimality of adaptive algorithms for both the finite element method and the boundary element method in the frame of isogeometric analysis.

Introduction

Isogeometric Analysis

Isogeometric analysis (IGA) was introduced in 2005 in the seminal work [129] and since then has been a very successful area of research including mathematical discoveries, computational mechanics challenges as well as a rather unique joint effort to tackle problems that fall outside one single research community.

By using the same building blocks employed in standard Computer-Aided Design (CAD), namely B-splines, Non-Uniform Rational B-splines (NURBS) and variants thereof, the final goal of IGA is to provide an end-to-end methodology that unifies geometrical design with the analysis of partial differential equations (PDEs) for computational engineering. While this is still a widely open issue, in the last decade an extensive amount of research has been dedicated to IGA in various different fields. We refer, e.g., to the special issue [1] for a review of the most prominent works published in recent years. B-spline based formulations are now built on solid mathematical foundations (see, e.g. [20, 129]) and have demonstrated their capabilities in many different areas of engineering. Moreover, since B-splines are nothing but (possibly smooth) piecewise polynomials of a given degree, methods based on them (including IGA) are potentially high-order.

The starting point of IGA is a description of the computational geometry as a collection of (possibly trimmed) patches. A patch is a geometric entity characterized by a spline (or more generally by a non uniform rational spline) parametrization. IGA stands for the class of methods which use spline discretization techniques over such geometric descriptions. Thus, it includes, and it is not restricted to, second or higher order PDEs defined in d-dimensional domains [71], PDEs defined on manifolds such as the ones describing shells [136] or membranes [14] and also boundary integral equations [178]. IGA methods and their applications are now a rather large research area in computational mechanics and numerical analysis so that we refrain from trying to list all relevant contributions to the field.

Indeed, this paradigm has raised significant mathematical challenges. Some of them have only been partially addressed by the community until now, e.g., the construction of C1 basis functions with optimal approximation properties [134, 170, 212], optimal reparametrization for trimmed surfaces [122, 123, 153, 155] and the construction and manipulation of spline volumes [5, 157, 173, 214]. Instead, other research topics have reached a more advanced maturity, e.g., the approximation estimates of splines of arbitrary degrees [184] or the construction of locally refined splines and their use within an adaptive paradigm, which is the topic of this review paper. The literature on the subject is today very wide and covers several different (integro-) differential problems. This review aims at describing, with a careful mathematical perspective, some of the very many approaches existing in the literature, with a different level of details.

Adaptivity

As soon as the (given) data or the (unknown) solution u of a PDE have singularities, the possible high-order convergence rate of isogeometric methods is significantly reduced down to rates which could also be achieved by low-order methods. However, at least for standard finite element methods (FEM), it is known that better rates –and usually even optimal algebraic convergence rates– can be regained by an appropriate local mesh grading of the underlying mesh towards these singularities.

If the singularities and the required local mesh grading are a priori unknown, the local mesh adaptation can be automated by so-called adaptive algorithms. Usually, these adaptive algorithms rely on a posteriori error estimators which provide computable (lower and upper) bounds on the error of an already computed approximation Uu. Localizing these bounds to related elements of the underlying mesh (resp. specific isogeometric basis functions), one can extract the necessary information of where to locally refine the mesh (resp. where to add additional basis functions).

Modules of Adaptive Loop

Starting from a given initial mesh Q0, adaptive algorithms aim to improve the accuracy of a discrete solution by iterating the so-called adaptive loop

solveestimatemarkrefine 1

The module solve computes a discrete solution Uku (indexed by some step counter kN0) related to the current mesh Qk.

The module estimate computes for all elements QQk the local contributions ηk(Q) of some a posteriori error estimator ηk:=(QQkηk(Q)2)1/2 which, at least heuristically, provides a measure of the discretization error u-Uk. The so-called refinement indicators ηk(Q) depend usually on the computed discrete solution Uk and the known problem or mesh data, but are independent of the unknown solution u.

Having computed all refinement indicators, the module mark selects elements QQk for refinement.

Finally, the module refine adapts the underlying mesh and generates a new mesh Qk+1 by refinement of, at least, all marked elements. We stress that usually, besides the marked elements, also non-marked elements are refined to preserve structural properties of the mesh (e.g., avoidance of certain hanging nodes, preservation of local mesh grading, etc.).

Analysis of Adaptive Algorithms

Empirically, it has already been observed in the seminal papers on a posteriori error estimation [812] that adaptive algorithms regain the optimal convergence rate, understood as the decay of the error with respect to the number of degrees of freedom. However, since adaptive algorithms usually do not guarantee that all elements are refined (so that the local mesh size becomes infinitesimally fine everywhere), one cannot rely on a priori error estimates to ensure that the error tends to zero u-Uk0 as the adaptive step counter k increases.

A first convergence result for adaptive finite elements for a 1D boundary value problem already dates back to [12]. However, it took more than a decade until [85, 166] proved plain convergence for the lowest-order FEM for the Poisson model problem in 2D. Generalizing those arguments, the works [167, 194] proved plain convergence u-Uk0 for a large class of PDE model problems.

Moreover, it took almost two decades to mathematically understand optimal convergence in the sense that u-Uk=O((#Qk)-s), where #Qk is proportional to the numbers of the degrees of freedom and the algebraic convergence rate s>0 is as large as possible. The seminal work [24] proves convergence with optimal algebraic rates for the 2D Poisson problem, discretized by lowest-order elements. While the analysis of [24] requires an additional mesh coarsening step to prove optimal rates, this has been proved unnecessary in the work [200], which was the first work that proved optimal convergence rates for the standard adaptive loop (1). We note, however, that these developments originated from groundbreaking results on adaptive wavelet discretizations [6466, 73], which analyzed optimality for a variety of problems in terms of the best N-term approximation.

The seminal ideas of [200] have then been extended to finite element methods for symmetric second-order linear elliptic PDEs in [57], general second-order linear elliptic PDEs in the setting of the Lax–Milgram lemma [58, 92], and even for well-posed indefinite PDEs like the Helmholtz problem [23], see also [172] for an easy introduction to the topic focussing on the Poisson model problem. For standard boundary element methods (BEMs) based on piecewise polynomials, [6, 90, 91, 96, 110] obtained similar results.

All these developments led to the identification of a unified framework of optimal adaptivity [53], which consists of four axioms of adaptivity that guarantee convergence of the adaptive loop (1) with optimal algebraic rates.

While all mentioned works consider optimal adaptivity with respect to the number of the degrees of freedom, in practice, optimal adaptivity with respect to the computational time is of more importance. This question is mathematically well-understood for wavelet discretizations (see, e.g., [6466, 73]), but the numerical analysis for non-wavelet FEM (or BEM) discretizations still has to be developed. First results, where the adaptive algorithm does not only steer the mesh-refinement but also the iterative and inexact solution, include [101] for standard BEM as well as [104] for an abstract framework based on contractive iterative solvers (like optimally preconditioned CG solvers).

Adaptive Isogeometric Analysis

Although adaptive algorithms of type (1) have a long history in the finite element theory, their application in 3D is often very complex and some developments do not provide real computational tools. Reasons are of practical type, e.g., splitting a tetrahedral mesh is not an easy task and adaptive approaches may generate several unwanted elements when the refinement of the mesh fails to be aligned with the steep gradient of the solution. Sometimes, in the case of three dimensional finite elements, the generation of a tetrahedral mesh following a certain metric is preferred over the adaptive loop (1).

The situation is different in IGA. The mesh is not as flexible as a tetrahedral mesh, but it is a locally structured and globally unstructured hexahedral mesh. Local refinement and the use of locally refined splines is a viable option to keep the structure of splines (including the isoparametric paradigm) while adapting the mesh to the structure of the solution.

Once locally refined splines are used, the development of adaptive algorithms is not a tremendous overhead on a computational code, and can immensely improve the accuracy of the solution. Indeed, singularities of the PDE solution might significantly spoil the possible high-order convergence rate of isogeometric methods. Thus, we believe that the use of adaptive algorithms in IGA holds the promise of becoming ubiquitous in isogeometric codes.

Splines Suited for Adaptivity

The tensor-product structure of B-splines and NURBS is essentially non-local, because the bisection of one single element extends the refinement through the whole domain. Adaptive IGA methods must be based on suitable extensions of B-splines that break their tensor-product structure and allow local refinement. Such extensions were already available in CAD for the design of small details in large objects, and they were applied in IGA in the last years.

Among this kind of splines with local refinement properties, we mention the following: hierarchical B-splines (HB-splines), introduced in [99] and first used in IGA in [207], which realize local refinement by using splines of different levels, from coarsest to finest; truncated hierarchical B-splines (THB-splines) [114], which span the same space as hierarchical splines in [207] with a more local basis; T-splines, for which basis functions are directly defined on a mesh with T-junctions (or hanging nodes), introduced for CAD in [192, 193], and applied first to IGA in [15, 84]; locally refined-splines (LR-splines), first defined in [80] and almost immediately applied to IGA [130], which are similar to T-splines with the difference that the functions are defined on a different mesh that contains information about the continuity of the splines across edges or faces; finally, polynomial splines over hierarchical T-meshes (PHT-splines), introduced in [77] and first used in IGA in [171, 208], which are also defined on a mesh with hanging nodes, but which have lower continuity on the interfaces between elements than the previous variants.

Available Convergence Results

As far as convergence of adaptive IGA methods is concerned, the first result goes back to [46] which considers IGAFEM with (truncated) hierarchical B-splines for the Poisson model problem. Optimal algebraic convergence rates have been proved independently in [47, 105]. In particular, the work [105] provides a general framework for finite element discretizations guaranteeing that the residual error estimator for general second-order linear elliptic PDEs satisfies the axioms of adaptivity from [53]. Based on this framework, the recent work [107] also proves convergence of adaptive IGAFEM with T-splines using the refinement strategy from [163, 165].

Optimal adaptive IGABEM in 2D has been analyzed in [94] for weakly-singular integral equations and in [109] for hyper-singular integral equations, where these works additionally consider adaptive smoothness control to locally reduce the differentiability of the discrete spline space. First results on optimal adaptive IGABEM in 3D are found in [103]. In the spirit of [105], the recent work [106] provides an abstract framework for boundary element discretizations guaranteeing that the residual error estimator for weakly-singular integral equations satisfies the axioms of adaptivity from [53]. The application to IGABEM with (truncated) hierarchical B-splines is proved in [108], and the application to T-splines will be addressed in the present manuscript.

The main goal of this work is to provide a summary of all these convergence results and the underlying adaptive spline methodologies, i.e., hierarchical splines and T-splines. We will also provide some further information and references on other adaptive spline methodologies in Sect.  4.3.

Outline and Contributions

As a brief outline, Sect. 2 and 3 present the basics on tensor-product B-splines and their application in IGA, respectively. In Sect. 4, we present hierarchical splines and T-splines along with corresponding refinement algorithms and with special focus on their mathematical properties. Section 5 gives the abstract framework and the properties that guarantee optimal convergence of adaptive algorithms. This framework is applied in Sect. 6 to IGAFEM and in Sect. 7 to IGABEM, considering both hierarchical splines and T-splines for either method.

More in detail, Sect. 2 recalls the definition of non-uniform (rational) multivariate splines along with well-known properties and quasi-interpolation operators. It starts with univariate splines and their basis of B-splines in Sect. 2.1. Via tensor-products, multivariate (B-)splines are introduced in Sect. 2.2. In Sect. 2.3, we briefly mention that the quasi-interpolation results immediately extend to NURBS. Then, in Sect. 2.4, we explain how geometries of arbitrary dimension can be parametrized using these NURBS functions.

In the following Sect. 3, we introduce the considered model problems along with the required setting and present standard isogeometric discretizations with multivariate splines on uniform tensor meshes as in Sect. 2. Section 3.1 considers NURBS parametrizations of the physical domain, which can be either a single-patch or multi-patch geometry. In the case of FEM, the physical domain is a Lipschitz domain, while for BEM, it is the boundary thereof. Section 3.2 introduces the considered PDEs in case of IGAFEM and introduces standard isogeometric ansatz functions. Although adaptivity will only be considered in a later section, the used a posteriori error estimator is already formulated on uniform tensor meshes. Section 3.3 is structured analogously for IGABEM for weakly-singular integral equations arising from Dirichlet boundary value problems: We first introduce the boundary integral equation of the model problem and its discretization with standard IGA methods, and then we formulate the used error estimator.

Splines on adaptive meshes are discussed in Sect. 4. We mainly focus on hierarchical splines (Sect. 4.1) and T-splines (Sect. 4.2), and we also provide, without entering into details, several comments and references on other constructions such as LR-splines in Sect. 4.3. For hierarchical splines, we define in Sect. 4.1 two well-known bases of the same space, namely hierarchical B-splines and truncated hierarchical B-splines. We further recall refinement strategies and resulting admissible hierarchical meshes, and we present results on the hierarchical quasi-interpolation operator from [198]. We also mention the construction of simplified hierarchical splines from [43], following a refinement strategy that marks basis functions instead of elements. In Sect. 4.2, we recall T-splines on T-meshes which are defined as span of T-spline blending functions. The latter are in general not linearly independent, and therefore we also consider two- and three-dimensional dual-compatible T-splines, which indeed provide a basis. We consider a refinement strategy generating admissible meshes that yield dual-compatible T-splines, and we also present a new result stating that elements in an admissible T-mesh consist of at most two Bézier elements. Finally, we mention several extensions of T-splines.

Section 5 gives an abstract formulation of an adaptive mesh-refining algorithm and states and discusses the axioms of adaptivity (Sect. 5.1) which guarantee convergence of adaptive mesh refinement strategies at optimal algebraic convergence rates. Restricted to weighted-residual error estimators these axioms are simplified and adapted in the frame of IGA to FEM (Sect. 5.2) and BEM (Sect. 5.3), which translates into a collection of required mesh, refinement, and space properties.

In Sect. 6, we finally consider adaptive IGAFEM using the adaptive splines and refinement strategies of Sect. 4. Section 6.1 deals with hierarchical splines, and Sect. 6.2 deals with T-splines. In each case, we provide a basis of the corresponding ansatz space for homogeneous Dirichlet problems. Moreover, we state that both approaches fit into the abstract framework of Sect. 5.2, where the employed weighted-residual estimator is reliable and efficient, i.e., equivalent to the total error (consisting of energy error + data oscillations). These results are mostly cited, but especially for hierarchical splines on THB-admissible meshes, some minor new arguments are required. Further, we make the new observation that the optimal convergence rate of the total error for hierarchical splines does not depend on the considered admissibility class of the meshes. Indeed, it coincides with the optimal rate for arbitrary hierarchical meshes without any grading assumption. For hierarchical splines, all results can be relatively easily transferred to the multi-patch case, which in particular requires an adaptation of the single-patch refinement algorithms given in Sect. 4. We conclude Sect. 6.1 with three typical numerical examples for adaptive IGAFEM with hierarchical splines. Especially, we discuss the choice of either HB-splines or THB-splines and give some explanation on the expected optimal convergence rate.

Section 7 considers adaptive IGABEM and is similarly structured as Sect. 6. Again, we state that hierarchical splines (Sect. 7.1) and T-splines (Sect. 7.2) fit into the abstract framework of Sect. 5.3. While the implied optimal convergence of the corresponding adaptive IGABEM is known for hierarchical splines on HB-admissible meshes of class 2 in the literature, it is completely new for hierarchical splines on other HB-admissible meshes of different class or THB-admissible meshes as well as for T-splines on admissible T-meshes. The proof builds on the already known case and uses some arguments of Sect. 6. Again, we present two numerical experiments in the case of hierarchical splines. Finally, Sect. 7.3 presents recent results on an adaptive IGABEM in 2D which uses both h-refinement and multiplicity increase to steer the local smoothness of the employed standard splines. Although this approach does not fit exactly into the framework of Sect. 5.3, similar techniques can be used to prove again optimal convergence rates for the weighted-residual error estimator. We conclude the section with a numerical example.

Finally, Sect. 8 provides our conclusion. There, we also discuss several open questions in the context of adaptive IGAFEM as well as IGABEM.

General Notation

Throughout the paper and without any ambiguity, |·| denotes the absolute value of scalars, the Euclidean norm of vectors, or the measure of a set. We write AB to abbreviate AcB with some generic constant c>0, which is clear from the context. Moreover, AB abbreviates ABA. Throughout, we use indices for non-generic meshes, e.g., Q+ typically denotes a refinement of some given mesh Q and Qk denotes the k-th mesh generated by the adaptive algorithm. Corresponding quantities have the same index, e.g., η+ and ηk denote the error estimators corresponding to the meshes Q+ and Qk, respectively. We often use  ·^  for notation on the parametric domain. We employ standard notation for Sobolev spaces, e.g., H1(Ω) denotes the space of square-integrable functions on some domain Ω whose weak derivative is square-integrable as well. In Sect. 3.3.1, we briefly recall Sobolev spaces on the boundary. A list of acronyms is given in the following Sect. 1.5.1. The most important symbols are listed in the following Sect. 1.5.1.

List of Symbols

Name Description First appearance
A Diffusion matrix Section 3.2.1
Ap(Qˇ,T0) Anchors in T-mesh Section 4.2.3
b Drift vector Section 3.2.1
B^i,p Univariate B-spline Section 2.1.1
B^[Ti,p] (Local) univariate B-spline Section 2.1.1
B^i,p Multivariate B-spline Section 2.1.1
B^i,p Hierarchical B-spline Section 4.1.1
B^z,p T-spline blending function Section 4.2.3
B^ Uniformly refined multivariate B-splines Section 4.1.1
B^p(T) Univariate B-splines Section 2.1.1
B^p(T) Multivariate B-splines Section 2.1.1
c Reaction coefficient Section 3.2.1
Capx(s) Approximation constant for estimator Section 5.1.4
Capxtot(s) Approximation constant for total error Section 5.2.2
d^ Dimension of parametric domain Section 2.2.1
d Dimension of physical domain Section 2.4
dl Perturbation term of meshes Section 5.1.3
Dν Conormal derivative Section 3.2.3
F NURBS parametrization Section 2.4
Fm NURBS parametrization of patch Section 3.1.2
G Fundamental solution of PDE Section 3.3.2
h Volume/boundary mesh-size function Section 5.2.1/5.3.1
h^ Element size in parametric domain Section 2.2.1
hQ Element size Section 3.1
H^p(Q^,T0) Hierarchical B-splines Section 4.1.1
J^p,T Quasi-interpolant for univariate splines Section 2.1.2
J^p,T Quasi-interpolant for multivariate splines Section 2.2.2
J^p,Q^H Quasi-interpolant for hierarchical splines Section 4.1.4
J^p,QˇT Quasi-interpolant for T-splines Section 4.2.4
K Double-layer operator Section 3.3.2
lev Level of elements in hierarchical/T-mesh Section 4.1.1/4.2.2
mot Mother B-spline of truncated hierarchical B-spline Section 4.1.2
N(Qˇ) Neighbors for T-splines in index domain Section 4.2.4
N(Q^) Neighbors for T-splines in parametric domain Section 4.2.4
N(Q) Neighbors for volume/boundary multi-patches Section 6.1.5/7.1
NH(Q^,μ) Neighbors for HB-splines Section 4.1.3
NT(Q^,μ) Neighbors for THB-splines Section 4.1.3
osc Oscillations Section 5.2.2
p Polynomial degree Section 2.1.1
p Polynomial degree vector Section 2.2.1
pF Polynomial degree vector for parametrization Section 3.1
P PDE operator Section 3.2.1
Qˇ0 Initial T-mesh of index domain Section 4.2.2
Q^0 Initial hierarchical/T-mesh in parametric domain Section 4.1.3/4.2.5
Q0 Initial mesh Section 5.1.1
Q^F Mesh of parametric domain induced by knots of parametrization Section 3.1
Q^ Uniformly refined mesh of parametric domain Section 4.1.1
QF Mesh induced by parametrization Section 3.1
Q^ Admissible hierarchical/T-meshes Section 4.1.3/4.2.5
Q Admissible meshes Section 5.1.1
Q^m Admissible meshes of volume/boundary patch in parametric domain Section 6.1.5/7.1
Qm Admissible meshes of volume/boundary patch Section 6.1.5/7.1
Sext(Q^) Support extension (for B-splines and T-splines) Section 2.2.1/4.2.4
Sext(Q^,k) Multilevel support extension Section 4.1.3
Sext(Q^) Modified support extension Section 4.1.4
S FEM/BEM ansatz space Section 3.2.1/3.3.2
S^p(T) Space of univariate splines Section 2.1.1
S^p(T) Space of multivariate splines Section 2.2.1
S^pH(Q^,T0) Space of hierarchical splines Section 4.1.1
S^pT(Qˇ,T0) Space of T-splines Section 4.2.3
T Knot vector Section 2.1.1
T0 Iinitial knot vector Section 7.3.2
T^i,p Truncated hierarchical B-spline Section 4.1.2
Trunc+1 Truncation operator Section 4.1.2
T Vector of knot vectors Section 2.2.1
T0 Initial vector of knot vectors Section 4.2.2
TF Vector of knot vectors for parametrization Section 3.1
T Uniformly refined vector of knot vectors Section 4.1.1
T^p(Q^,T0) Truncated hierarchical B-splines Section 4.1.2
T Admissible knot vectors for univariate refinement Section 7.3.2
u PDE solution Section 3.2.1
U Galerkin FEM approximation Section 3.2.1
V Vertices of mesh Section 7.3.1
VF Vertices of geometry Section 3.1.3
V Single-layer operator Section 3.3.2
Z Breakpoints Section 2.1.1
γ^0 Shape-regularity constant Section 7.3.2
Γ^ Parametric domain for BEM Section 3.1
Γ Physical domain for BEM Section 3.1
Γm,m Interface between NURBS patches Section 3.1.2
η Error estimator for FEM/BEM Section 3.2.3/3.3.4
λ^i,p Univariate dual functional Section 2.1.2
λ^i,p Multivariate dual functional Section 2.2.2
λ^i,p Dual functional for hierarchical splines Section 4.1.4
λ^z,p Dual functional for T-splines Section 4.2.4
μ Admissibility parameter for hierarchical meshes Section 4.1.3
ν Outer normal vector Section 3.2.3
πq Volume/boundary element-patch Section 5.2.1/5.3.1
Πq Volume/boundary element-patch (elements) Section 5.2.1/5.3.1
ϕ Solution of boundary integral equation Section 3.3.2
Φ Galerkin BEM approximation Section 3.2.2
Ω^ Parametric domain Section 3.1
Ω Physical domain Section 3.1
Ωˇact Active region for definition of T-splines Section 4.2.3
Ωˇind Index domain for definition of T-splines Section 4.2.2
Ωˇip Index/parametric domain for definition of T-splines Section 4.2.2
Ω^ Nested subsets of parametric domain Section 4.1.1
Ωm NURBS patch Section 3.1.2
Refinement relation Section 4.1.1
# Multiplicity of a breakpoint Section 2.1.1
Γ Surface gradient Section 3.3.1
[·] Jump Section 3.2.3
·;·P Bilinear form induced by PDE Section 3.2.1

Splines on Tensor Meshes

The main purpose of this section is to introduce some basic concepts and notation that will be used throughout the paper. In Sects. 2.1 and 2.2, we recall the definition as well as elementary properties of univariate and multivariate splines and their B-spline basis. In Sect. 2.3, we introduce non-rational splines along with the NURBS basis, which are then used in Sect. 2.4 to define NURBS parametrizations. For a more detailed introduction and proofs, we refer, e.g., to [27, 28, 187].

Univariate B-Splines

Definition and Properties

Given two integers p0 and n>0, we define a knot vector as an ordered vector of the form

T=(t1,,tn+p+1),

with tjtj+1 for all 1jn+p. We say that T is an open (or p-open) knot vector, if the first and last knots are repeated exactly p+1 times, i.e., t1==tp+1<tp+2 and tn<tn+1==tn+p+1. For simplicity, we will assume that t1=0 and tn+p+1=1 in the following.

We also introduce the ordered set of breakpoints Z={z1,,zn}, which accounts for knots without repetitions. We denote by #zj the multiplicity of the breakpoint zj, such that j=1n#zj=n+p+1 and

T=(z1,,z1#z1times,z2,,z2#z2times,,zn,,zn#zntimes).

For 2jn-1, i.e., for all internal knots, the multiplicity satisfies #zjp+1. Later on, and in particular for FEM, we will require lower multiplicity.

From the knot vector T, a set of n B-splines is defined using the Cox–de Boor recursion formula. We start defining the piecewise constant functions

B^i,0(t):=1iftit<ti+1,0otherwise.

For 1kp, the B-spline functions are defined by the recursion

B^i,k(t)=t-titi+k-tiB^i,k-1(t)+ti+k+1-tti+k+1-ti+1B^i+1,k-1(t),

where we use the convention that fractions with zero denominator are equal to zero.

Among many other properties, the B-splines are non-negative and satisfy the partition of unity (see [187, Theorem 4.20])

i=1nB^i,p(t)=1,for allt(0,1),

they have local support (see [187, Theorem 4.17]), in particular

supp(B^i,p)=[ti,ti+p+1],fori=1,,n, 2

they are locally linearly independent in the sense that for any open set O(0,1) the functions {Bi,p|O:Bi,p|O0} are linearly independent (see [28, Chapter IX, (47)] and [187, Theorem 4.18]), and they form a basis of the space of piecewise polynomials of degree p with p-#zj continuous derivatives at the breakpoints zj, for each j=2,,n-1 (see [28, Chapter IX, (44)]). Notice that the maximum and minimum allowed continuity at the breakpoints are Cp-1 and C-1 (i.e., no continuity) which correspond to multiplicity #zj=1 and #zj=p+1, respectively. We denote the basis of B-splines as

B^p(T):={B^i,p:i=1,,n},

and the spline space spanned by them as

S^p(T):=span(B^p(T)).

It is easy to see, from the recursion formula in the definition, that the definition of the B-spline B^i,p, for i=1,,n, depends only on the local knot vector Ti,p=(ti,,ti+p+1), which is closely related to the support of the function (2). When necessary, and in particular when dealing with T-splines, we will stress this fact by using the equivalent notation

B^[Ti,p]:=B^i,p. 3

Finally, we note that the breakpoints in Z generate a partition of the interval (0, 1), and we denote by Ij:=(zj,zj+1) the local elements for j=1,,n-1, and by h^j:=zj+1-zj their corresponding element sizes. For each element Ij, which can be uniquely written as (ti,ti+1) for a certain index p+1in, we introduce its support extension

Sext(Ij):=[ti-p,ti+p+1], 4

being the union of the supports of B-splines that do not vanish on Ij.

Assuming that the maximum multiplicity of the internal knots is less than or equal to the degree p, i.e., the B-spline functions are at least continuous, the (right-hand) derivative of each B-spline B^i,p is given by the expression [187, Sect. 4.2]

B^i,p=pti+p-tiB^i,p-1-pti+p+1-ti+1B^i+1,p-1.

Quasi-Interpolation Operators

Let Clocuni1 be such that the following local quasi-uniformity is satisfied

Clocuni-1h^jh^j+1Clocuni 5

for all j=1,,n-2. Clearly, for a given a knot vector T, such a constant always exists and we will use it to stress certain dependencies on the ratios h^j/h^j+1.

There are several ways to define quasi-interpolation and projection operators onto the space of splines S^p(T). In this work, we are interested in the theoretical properties of these operators, and not in their actual computation. For this reason, we will focus on two particular operators, and refer the reader to [183] for further discussion on quasi-interpolation operators.

To define the quasi-interpolation operators, we first need to define a set of linear functionals λ^i,p associated to the B-splines. Then, the quasi-interpolant takes the form

J^p,T:L2(0,1)S^p(T),v^i=1nλ^i,p(v^)B^i,p. 6

Notice that, when λ^i,p(B^j,p)=δij, with δij the Kronecker symbol, the linear functionals form a dual basis, and the quasi-interpolant becomes a projector, i.e.,

J^p,Tv^=v^for allv^S^p(T).

The first operator that we use was introduced in [26] (see also [187, Sect. 4.6]) and is the one traditionally used in IGA [16, 20]. We will denote it by J^p,TdB (where dB stands for de Boor). In this case, the functionals are defined as

λ^i,p(v^)λ^i,pdB(v^):=titi+p+1v^(s)Dp+1ψi(s)ds, 7

where Dk stands for the k-th derivative, and ψi(t)=Gi(t)ϕi(t), with

ϕi(t):=(t-ti+1)(t-ti+p)p!,

and

Gi(t):=g2t-ti-ti+p+1ti+p+1-ti,

where g is the transition function defined in [187, Theorem 4.37]. Note that it is trivial to see from (7) that

v^|supp(B^i,p)=0λ^i,pdB(v^)=0.

Moreover, we notice that the definition of each dual functional is based on the local knot vector, and we will stress this fact with the alternative notation

λ^dB[Ti,p]:=λ^i,pdB. 8

The second operator is defined in [45, 202], to which we refer for the details. We will denote it by J^p,TBp, since it is sometimes called Bézier projection. We start defining, for each element Ij, the local L2-projection PIj into the space of polynomials of degree p on Ij. Since B-splines span piecewise polynomials, the local L2-projection PIj can be written as in (6) considering the restriction of the functions to Ij, namely

PIj(v^|Ij)=i=1supp(B^i,p)Ijnλ^i,pIj(v^)B^i,p|Ij. 9

Then, the functionals λ^i,pλ^i,pBp are defined as convex combinations of the corresponding functionals of the local projection

λ^i,p:=j=1Ijsupp(B^i,p)n-1ci,Ijλ^i,pIj,

with coefficients ci,Ij0 and j=1n-1ci,Ij=1 for 1in. The functionals form a dual basis. For the following results, the concrete choice of the coefficients ci,Ij is not relevant. Among the three suggested choices given in [45, Sect. 6], we consider the following one: for each basis function B^i,p, we choose a local element Ik(i)supp(B^i,p) such that

|Ik(i)||supp(B^i,p)|.

In our case, this is valid for any element thanks to (5), with hidden constants that depend only on the degree p and the constant Clocuni. Then, the coefficients are taken as

ci,Ij:=1ifIj=Ik(i),0otherwise,

and the dual functionals simply become λ^i,pBp=λ^i,pIk(i).

The importance of these two quasi-interpolants comes from the following stability result. The proofs can be found in [20, Propositions 2.2] and [45, Theorem 2], respectively.

Proposition 1

Let either J^p,T=J^p,TdB or J^p,T=J^p,TBp. Then, for any interval Ij, it holds that

J^p,Tv^L2(Ij)Cv^L2(Sext(Ij))for allv^L2(0,1),

where the constant C>0 depends only on the degree p and the constant Clocuni.

Multivariate B-Splines

The generalization of univariate B-splines to the multivariate setting is done by tensorization. In this section, we introduce the notation for the tensor-product basis functions and spaces.

Definition and Properties

Let d^ be the space dimension, which will be d^=2,3 in practical cases. Let the integers pj0 and nj>0, and let Tj=(tj,1,,tj,nj+pj+1) be a pj-open knot vector for each j=1,,d^. We set the degree vector p:=(p1,,pd^) and T:=(T1,,Td^). Then, multivariate B-splines are defined as products of the form

B^i,p(t):=B^i1,p1(t1)B^id^,pd^(td^),

for i=(i1,,id^) and 1ijnj for each j=1,,d^, where it is understood that B^ij,pj is defined from the knot vector Tj. Analogously to the univariate case, we will denote the B-spline basis as

B^p(T):={B^i,p:i=(i1,,id^),1ijnj},

while the spline space is the spanned space, which is denoted by

S^p(T):=span(B^p(T)).

It is worth noting that S^p(T)=j=1d^S^pj(Tj), i.e., it can defined as tensor-product of the univariate spaces. Multivariate B-splines have basically the same properties as univariate B-splines: they are non-negative and form a partition of unity, they have local support, and they are locally linearly independent.

Analogously to the univariate case, from the knot vector in each direction we define the set of breakpoints, or knots without repetitions, Zj:={zj,1,,zj,nj}, for j=1,,d^. Analogously to the partition of the interval in the univariate case, the breakpoints form a rectilinear grid of the form

Q^:={Q^k=I1,k1××Id^,kd^:Ij,kj=(zj,kj,zj,kj+1)for1kjnj-1}.

For a generic element Q^kQ^, we define the element size as

h^Q^k:=|Q^k|1/d^.

We also define its support extension as the union of the (open) supports of basis functions that do not vanish in Q^k, and due to the tensor-product structure, this is defined from the univariate support extensions as

Sext(Q^k):=Sext(I1,k1)××Sext(Id^,kd^) 10

for k=(k1,,kd^). Here, Sext(Ij,kj) is the univariate support extension in the j-th direction given by (4).

Quasi-Interpolation Operators

The quasi-interpolation operators and dual bases from Sect. 2.1.2 can be generalized to the multivariate setting. The first quasi-interpolant J^p,TdB:L2((0,1)d^)S^p(T) is defined as tensor-product

J^p,TdB:=J^p1,T1dBJ^pd^,Td^dB,

where the tensorization is interpreted in the sense of [28, Chapter XVII], see also [20, Sect. 2.2]. This kind of quasi-interpolant will be used for T-splines in Sect. 4.2.

For the second quasi-interpolant, instead of applying tensorization, we define it in a similar way as in the univariate case. As in (6), it is defined by constructing a dual basis. To define the dual basis, for each basis function B^i,p, we choose an element Q^k(i)supp(B^i,p) with size equivalent to the size of the support. Then, introducing a local projector in Q^k(i), as in (9), and with an analogous notation for the local dual basis, the dual functional associated to this basis function is given by λ^i,pBp:=λ^i,pQ^k(i). This type of quasi-interpolant will be used for hierarchical B-splines in Sect. 4.1.

Since the multivariate quasi-interpolation operators are defined from a dual basis they are also projectors, i.e.,

J^p,Tv^=v^for allv^S^p(T),

where we can choose J^p,T either equal to J^p,TdB or to J^p,TBp. Moreover, for the two operators we have a stability result analogous to the one already presented in the univariate setting in Proposition 1. The result for J^p,T=J^p,TdB of the following proposition is proved in [16, Lemma 3.2]. For the second quasi-interpolant J^p,T=J^p,TdB, the result is proved in [45, Theorem 2], see also [47, Sect. 3.1].

Proposition 2

Let either J^p,T=J^p,TdB or J^p,T=J^p,TBp. Then, for any element Q^Q^, it holds that

J^p,Tv^L2(Q^)Cv^L2(Sext(Q^))for allvL2((0,1)d^).

The constant C>0 depends only on the polynomial degrees p1,,pd^ and local quasi-uniformity (5) in each direction.

Non-uniform Rational B-Splines

Non-uniform rational B-splines (NURBS) are a generalization of B-splines. When used to build geometry parametrizations, as we will do in Sect. 2.4, they have the advantage of giving exact representations of conic sections, which cannot be achieved with piecewise polynomials, see [177, Sect. 1.4] for more details.

We start in the univariate setting. Given the B-spline basis, we define the weight function as a linear combination of B-splines

W^:=i=1nwiB^i,p,

with positive coefficients wi>0 for i=1,,n. Then, the set of NURBS basis functions is formed by the rational functions

R^i,p:=wiB^i,pj=1nwjB^j,p=wiB^i,pW^.

Analogously, in the multivariate case, if we introduce the set of multi-indices I:={i=(i1,,id^):1ijnj}, the weight function is defined as

W^:=iIwiB^i,p 11

and provides the multivariate NURBS basis functions

R^i,p:=wiB^i,pjIwjB^j,p=wiB^i,pW^. 12

Note that, although the NURBS basis functions are defined starting from B-splines, they are not constructed by tensor-product due to the presence of the weights.

Finally, we can also define a quasi-interpolant for NURBS. Using the generic notation J^p,T for a B-spline quasi-interpolant, we define the corresponding NURBS quasi-interpolant by

J^p,TW^(v^):=J^p,T(W^v^)W^.

It can be readily seen that this operator is a projector onto the NURBS space provided that J^p,T is a projector onto the spline space. Moreover, if J^p,T is as in Proposition 1 or Proposition 2, J^p,TW^ satisfies the same stability and approximation properties as J^p,T, where the constants depend additionally on W^, see [16] and [20, Sect. 4] for details.

B-Splines and NURBS Geometries

A spline or NURBS geometry is built as a linear combination of B-splines or NURBS basis functions, by associating a control point to each basis function. More precisely, let the set of d^-variate NURBS be defined as in (12) and let CiRd with dd^ be the associated control points. The parametrization of the NURBS geometry is then given by

F(t):=iICiR^i,p(t). 13

The parametrization of a spline geometry is built completely analogously, replacing the rational basis functions by B-splines. Note that, as mentioned above, particular choices of the weight function W^ will allow the exact representation of conic geometries by NURBS. Moreover, it is also worth noting that, for a NURBS geometry, each component (F)i belongs to a space of rational splines, namely

(F)i{S^/W^:S^S^p(T)},fori=1,,d.

Examples of a spline curve with d^=1 and d=2, and a spline surface with d^=2 and d=3, are respectively given in Figs. 1 and 2. For more details on the properties of NURBS geometries and different methods to construct them, we refer to [68, 89, 127, 177].

Fig. 1.

Fig. 1

Quadratic spline curve, constructed from the knot vector T=(0,0,0,1/4,2/4,3/4,3/4,1,1,1), along with its control points in R2

Fig. 2.

Fig. 2

Quadratic spline surface, constructed from the knot vectors T1=T2=(0,0,0,1/3,2/3,1,1,1), along with its control points in R3

Model Problems and Isogeometric Analysis

In this section we introduce the basic concepts of IGA plus some important assumptions required for the numerical analysis of the method. In Sect. 3.1, we start with an explanation on the description of the considered geometry, i.e., a Lipschitz domain in the case of FEM and its boundary in the case of BEM, along with some important assumptions on the NURBS parametrizations that define it. Then, in Sect. 3.2 we present the concept of IGA in the setting of FEM: we give a model problem written in terms of a PDE, we show how it is discretized with isogeometric methods, and present a residual-based error estimator. Finally, we present in Sect. 3.3 analogous ideas in the setting of isogeometric BEM for the discretization of a model problem written as a boundary integral equation.

Parametrization of the Physical Domain

We introduce here the assumptions of the physical domain. We start introducing the assumptions for the single-patch case, which will be valid throughout the paper. Then, we describe the assumptions required for multi-patch domains, and finally introduce a further assumption which is needed for BEM.

General Setting and Single-Patch Domains

In the following, we will always assume that our geometry is described through a spline or NURBS parametrization as defined in Sect. 2.4. Let pF be the vector of polynomial degrees, TF=(TF,1,,TF,d^) the multivariate open knot vector, with multiplicity smaller or equal to pF,j for the internal knots in the j-th direction, and let Q^F be the corresponding tensor-mesh of the parametric domain

Ω^:=(0,1)d^.

Introducing a weight function W^F as in (11), let F be a NURBS parametrization as in (13), with control points in Rd. We define the physical domain as

Ω:=F(Ω^)Rd.

In the case of FEM, it holds that d=d^ and |·| will denote the d-dimensional volume. In the case of BEM, where we will only work on the boundary Γ of some Lipschitz domain, we will write Γ^ and Γ instead of Ω^ and Ω. Then, d^=d-1 and |·| will denote the (d-1)-dimensional surface measure.

The image through F of the mesh in the parametric domain automatically defines a mesh in the physical domain

QF:={Q=F(Q^):Q^Q^F}; 14

see an example in Fig. 3. Moreover, for any element QQF we define the element size as

hQ:=|Q|1/d^.

These definitions are trivially extended to any mesh in the parametric domain.

Fig. 3.

Fig. 3

Mesh in the parametric domain (left) and its image through F in the physical domain (right)

By definition of NURBS (and B-splines), it is obvious that

F|Q^¯C(Q^¯)dfor allQ^Q^F,

where Q^¯ denotes the closure of Q^. However, in order to have a valid mesh, it is necessary to avoid the presence of singularities in the (inverse of the) parametrization, for which further assumptions are required.

In the following, we assume that F is a bi-Lipschitz homeomorphism1, which in particular implies that the inverse F-1 exists. Moreover, it implies that the Gram determinant is bounded from above and from below, namely there exists a constant CF>0 such that

CF-d^det(DF(t)DF(t))CFd^ 15a

for almost all tΩ^, where DF is the Jacobian matrix of the parametrization. Note that when d^=d the Gram determinant reduces to |det(DF(t))|. When d^=d, we additionally assume that

F-1|Q¯C2(Q¯)d^for allQQF,

so that QF-elementwise second derivatives of spline functions in the physical domain are well-defined. Moreover, being bi-Lipschitz guarantees the boundedness of the first derivatives of F and its inverse. In particular, these assumptions imply the existence of CF>0 with (15a) and for all i,j,k{1,,d^},

tj(F)iL(Ω^)CF,xj(F-1)iL(Ω)CF,2tjtk(F)iL(Ω^)CF,2xjxk(F-1)iL(Ω)CF, 15b

where (F)i and (F-1)i respectively denote the i-th component of F and F-1, and the second derivatives are defined elementwise.

Finally, we remark that under the assumptions on the parametrization F the size of the elements in the parametric and the physical domain is comparable, i.e., for any element Q=F(Q^) it holds that

hQh^Q^,

and the hidden constants depend only on F.

Extension to Multi-patch Domains

A single mapping F can only be used to parametrize simple domains that are images of the unit square or cube. To deal with more complex geometries, we introduce the concept of multi-patch domains, where each patch is constructed with a NURBS parametrization.

In detail, we assume that the domain Ω is constructed with a partition into MN patches in the sense that

Ω¯=m=1MΩm¯,

where each patch Ωm is defined with a NURBS parame-trization of the form

Fm:Ω^Ωm,

and the assumptions made in Sect. 3.1 are valid for each Fm. Again, in the case of BEM, we will write Γm instead of Ωm. We denote by pFm and TFm the degree and the knot vector associated to the parametrization of each patch, and by Q^Fm and B^pFm(TFm) the corresponding mesh and the B-spline basis, respectively. Then, defining QFm as in (14), we can define the multi-patch mesh

QF:=m=1MQFm. 16

As before, this definition can be trivially extended to refined meshes.

In order to construct suitable discrete spaces in the multi-patch domain, we must require that the meshes are conforming at the interfaces, and the patches glue together with C0 continuity. Let us denote the interfaces by Γm,m:=Ωm¯Ωm¯ for mm. We assume that the two following conditions hold true for all m,m with mm:

(P1)

Γm,m is either empty, or a vertex, or the image of a full edge, or the image of a full face of Ω^ for both parametrizations.

(P2)
For each B-spline β^mB^pFm(TFm) such that
(β^mFm-1)|Γm,m0,
there exists a unique function β^mB^pFm(TFm) such that (β^mFm-1)|Γm,m=(β^mFm-1)|Γm,m.

The assumptions imply that the meshes are conforming at the interfaces and the coincident knot vectors are related by an affine transformation, including also knot repetitions. Moreover, the control points and the weights associated to the interface functions of adjacent patches must also coincide. As a consequence, the mesh QF is globally unstructured, but locally structured on each patch, see Fig. 4.

Fig. 4.

Fig. 4

An example of a multi-patch domain formed by three patches (left), and their corresponding control points (right). The control points associated to interface functions of adjacent patches coincide

A Further Assumption for BEM

In the case of BEM, we require a further assumption. Here, the boundary Γ of some d-dimensional Lipschitz domain is defined as a multi-patch geometry through NURBS parametrizations. More precisely, we have that Γ=m=1MΓm¯, where each

Fm:(0,1)d-1ΓmRd

is a NURBS parametrization. Let us denote by

VF:=m=1M{Fm(z^):z^{0,1}d-1},

the set of vertices of the geometry. For each vertex zVF, we define the subdomain covered by its neighboring elements as

πF(z):={Q¯:QQFzQ¯}

Following [103, Sect. 5.4.1], we assume that the following condition holds true:

(P3)
For every vertex zVF, there exists a set π^F(z)Rd-1 that is an interval for d=2 and a polygon for d=3 and a bi-Lipschitz mapping
Fz:π^F(z)πF(z)
such that Fz-1Fm|Q^ is an affine mapping for all m{1,,M} and all Q^Q^Fm with Q:=Fm(Q^) πF(z).

The assumption means that each subdomain πF(z) can be flattened and that the inverse of the bi-Lipschitz mapping Fz restricted to Q essentially coincides with the inverse of Fm-1, see Fig. 5. In particular, this prevents the case πF(z)=Γ. We stress that the same assumption is also made in [185, Assumption 4.3.25] for curvilinear triangulations.

Fig. 5.

Fig. 5

Graphical representation of assumption (P3), in a parametrization of the sphere with 60 patches and one single element per patch. The three elements forming πF(z) on the left are colored in different tones of gray, and the corresponding polygon π^F(z) is the hexagon shown in the middle. The mapping Fz-1Fm is an affine transformation

Isogeometric Analysis for FEM (IGAFEM)

We now describe IGA based on tensor-product B-splines, i.e., without adaptive refinement. For more details about IGA we refer to [20, 71, 129].

Model Problem and Galerkin Approximation

Let ΩRd with d2 be a bounded Lipschitz domain as in [159, Definition 3.28]. In practice, Ω is a multi-patch domain defined as in Sect. 3.1.2 with d^=d. We consider a general second-order linear elliptic PDE with homogenous Dirichlet boundary condition

Pu=finΩ,u=0onΓ:=Ω, 17

where

Pu:=-div(Au)+b·u+cu, 18

with AW1,(Ω)d×d and symmetric, bL(Ω)d, and cL(Ω).

We interpret P in its weak form and define the corresponding bilinear form

w;vP:=Ω(Aw)·v+(b·w)v+cwvdx.

The bilinear form is clearly continuous, i.e., there exists a positive constant Ccont>0 such that

w;vPCcontwH1(Ω)vH1(Ω)for allv,wH1(Ω).

Additionally, we suppose ellipticity of ·;·P on H01(Ω), i.e., there exists Cell>0 such that

v;vPCellvH1(Ω)2for allvH01(Ω).

Note that ellipticity is for instance satisfied if the matrix A is uniformly positive definite and the vector bH(div,Ω) satisfies that -12divb+c0 almost everywhere in Ω.

According to the Lax–Milgram theorem, for arbitrary fL2(Ω) problem (17) admits a unique solution uH01(Ω) to the weak formulation

u;vP=Ωfvdxfor allvH01(Ω). 19

Finally, we note that the additional regularity AW1,(Ω)d×d (instead of only the natural assumption AL(Ω)d×d) is only required for the well-posedness of the residual a posteriori error estimator, see Sect. 3.2.3 below.

Let SH01(Ω) be an arbitrary discrete subspace and let US be the corresponding Galerkin approximation to the solution uH01(Ω), i.e.,

U;VP=ΩfVdxfor allVS. 20

We note the Galerkin orthogonality

u-U;VP=0for allVS,

as well as the resulting Céa type quasi-optimality

u-UH1(Ω)CCe´aminVSu-VH1(Ω)

with CCe´a:=Ccont/Cell.

Isogeometric Discretization

For the discretization of the model problem with the IGA method, we start with the case of a single-patch domain, and then generalize the method to the multi-patch case.

The single-patch case Let us assume that Ω=F(Ω^), with a NURBS parametrization F of degree pF constructed from the knot vector TF as in Sect. 3.1. We consider a discrete space of splines S^p(T)S^pF(TF), which is obtained by refinement of the space used to build the parametrization. We note that both h-refinement and p-refinement can be applied, see [129] for details.

We will however use a milder assumption for the discrete space S^p(T), and allow to use a lower degree than for the parametrization, while the mesh and the continuity given by F must be respected. In particular, we assume that Q^F and Q^, the meshes respectively associated to the discrete spaces S^pF(TF) and S^p(T), are nested, in the sense that the corresponding sets of breakpoints satisfy ZF,jZj for j=1,,d^. We also assume that the continuity of S^p(T) along the knot lines of Q^F is always less or equal than the one of S^pF(TF). Note that this is always satisfied if S^p(T)S^pF(TF). Moreover, to obtain conforming spaces in H1(Ω) we assume that the continuity across elements is not lower than C0.

The discrete space in the physical domain is defined by push-forward using the NURBS parametrization, namely

Sp(T):={V=V^F-1:V^S^p(T)}. 21

We can easily define a basis for this space by push-forward of the B-spline basis functions, that is

Bp(T):={Bi,p=B^i,pF-1:B^i,pB^p(T)}. 22

For the solution of the discrete problem (20), we define the discrete space with vanishing boundary conditions

S:=Sp(T)H01(Ω).

In practice, and thanks to the use of the open knot vectors, vanishing boundary conditions are enforced by removing the first and last basis functions from the univariate B-spline spaces.

It is worth noting that the space S^p(T) is associated to a mesh in the parametric domain, which we denote by Q^ and which is a refinement of Q^F. As in (14), this mesh is mapped through F to define the mesh Q of Ω associated to the space S.

Remark 1

The assumption on the continuity along the knot lines of Q^F is in fact a condition on the knots. Let us assume for simplicity the same degrees p and pF in every direction, and the same multiplicities of the internal knots, m and mF, referring respectively to spaces S^p(T) and S^pF(TF). Then the condition reads

p-mpF-mF.

It is important to note that, if the condition is not respected, the optimal convergence rate may not be achieved, even for smooth solutions, see the numerical tests in [51].

Remark 2

In IGA, it is common to follow the isoparametric paradigm, and to define the discrete space as the push-forward of a NURBS space [129]. Although our parametrization is constructed via NURBS, we have preferred to limit ourselves to (non-rational) spline spaces for the sake of clarity and to avoid the cumbersome presence of the weight during the mathematical analysis. The analysis of IGA with uniform NURBS discretizations has already been carried out in [16], see also [20, Sect. 4]. The results of this work can be extended to adaptive methods with rational splines without major (but notational) difficulties.

The multi-patch case For the definition of the multi-patch space we follow the same approach as in [20, Sect. 3], see also [139]. For each patch, let S^pm(Tm) satisfy the same assumptions with respect to S^pFm(TFm) as in the single-patch case. By push-forward, we define the corresponding space Spm(Tm) and its local basis Bpm(Tm) as in the single-patch case. Then, the multi-patch discrete space is given as

S~:={VC0(Ω):V|ΩmSpm(Tm),form=1,,M},

and finally the discrete space with vanishing boundary conditions is simply

S:=S~H01(Ω).

Since each local space is associated to a mesh, which we denote by Qm, we can define the multi-patch mesh analogously to (16), i.e., Q:=m=1MQm.

In order to construct a global basis for the multi-patch space, besides the assumptions on the parametrization given in Sect. 3.1.2, we need an analogous assumption to guarantee that the refined meshes are conforming. In particular, we assume that the following condition holds true:

(P2’)

For each βmBpm(Tm) such that βm|Γm,m0, there exists a unique function βmBpm(Tm) such that βm|Γm,m=βm|Γm,m.

With this assumption, we can build a basis of the multi-patch space S by gluing together functions of adjacent patches in a procedure which is analogous to the construction of the connectivity array in standard finite elements. To define a basis of S~, let us denote by n the dimension of S~. We define for each patch a mapping

gm:Bpm(Tm){1,,n}form=1,,M,

in such a way that, for any βmBpm(Tm) and βmBpm(Tm) with mm,

gm(βm)=gm(βm)Γm,mandβm|Γm,m=βm|Γm,m.

Then, we define the basis of the multi-patch basis

B:={Bj:j=1,,n},

where each basis function is given by

Bj|Ωm¯:=βmifgm(βm)=j,0otherwise.

The conditions described above guarantee that the basis functions are continuous at the interfaces, see an example in Fig. 6.

Fig. 6.

Fig. 6

An example of a C0 basis function of the multi-patch space, defined in the same domain as in Fig. 4

Once we have the basis for S~, a basis for S is easily constructed by removing the basis functions that do not vanish on the boundary similarly to the single-patch case.

Remark 3

The construction of splines with C1 continuity (or higher) in multi-patch domains is an important subject of research not only in IGA but in general in computer aided geometric design. Different kinds of constructions have recently been proposed in the literature. For the interested reader, we mention [133, 134, 154, 169, 170, 203, 212]. The analysis of adaptive methods in multi-patch domains with high continuity is beyond the current state of the art, with preliminary steps in [34], and in particular beyond the scope of this paper.

A Posteriori Error Estimator

Despite not having introduced the spline spaces with local refinement, we can already introduce the error estimator that will drive the adaptive refinement. Let the mesh Q be defined as above, and let QQ. For almost every xQΩ on the interior skeleton of the mesh, there exists a unique element QQ with xQ and QQ. We denote the corresponding outer normal vectors by ν and ν. With the notation

Dν(·):=(A(·))·ν,Dν(·):=(A(·))·ν,

we define the normal jump as

[DνU](x):=(DνU|Q)(x)+(DνU|Q)(x).

With this definition, we employ the weighted-residual a posteriori error estimator

η:=η(Q)withη(S)2:=QSη(Q)2for allSQ, 23a

where, for all QQ with element size hQ, the local refinement indicators read

η(Q)2:=hQ2f-PUL2(Q)2+hQ[DνU]L2(QΩ)2. 23b

We refer, e.g., to the monographs [3, 206] for the analysis of the residual a posteriori error estimator (23) in the frame of standard FEM with piecewise polynomials of fixed order.

Remark 4

The additional regularity A W1,(Ω)d×d (instead of only AL(Ω)d×d) is needed to ensure that Dν(·) is well-defined.

Remark 5

If SC1(Ω), then the jump contributions in (23) vanish and η(Q) consists only of the volume residual, i.e., η(Q)2=hQ2f-PUL2(Q)2.

Isogeometric Analysis for BEM (IGABEM)

The potential benefits of using IGA for the solution of boundary integral equations were already mentioned in the conclusions of [129], but it has only been considered first in [178]. The research on IGABEM has steadily grown since then, although not as fast as for IGAFEM, with applications in acoustics [61, 82, 196, 205], elasticity [13, 168], electromagnetics [83, 195, 204], lifting flow [63], potential flow [118, 140, 141], and solid mechanics [156, 190], see also the recent book [17] for a comprehensive survey of the topic and a complete review of the existing literature. An implementation of (non-adaptive) IGABEM is available in the open-source library Bembel [81]. Although some of the previously mentioned works consider locally refined T-splines, the mathematical research on adaptive IGABEM methods is rather limited. Results for the two-dimensional case are found in [9395, 100, 109], where [95] is also the first work that considers Galerkin instead of collocation IGABEM. The three-dimensional case has only recently been considered in [103, 106, 108].

Sobolev Spaces for BEM

For arbitrary d2, let ΩRd be a bounded Lipschitz domain as in [159, Definition 3.28] and Γ:=Ω its boundary. In practice, Γ is a multi-patch domain defined as in Sect. 3.1.2 with d^=d-1. Before we give the model problem and discuss its discretization, we have to introduce the involved Sobolev spaces on Γ. For σ[0,1], we define the Hilbert spaces H±σ(Γ) with corresponding norms as in [159, p. 99] by use of Bessel potentials on Rd-1 and liftings via bi-Lipschitz mappings that describe Γ. For σ=0, this procedure yields that H0(Γ)=L2(Γ) with equivalent norms. Therefore, we set ·H0(Γ):=·L2(Γ).

For σ(0,1], any measurable subset ωΓ, and all vHσ(Γ), we define the associated Sobolev–Slobodeckij norm

vHσ(ω)2:=vL2(ω)2+|v|Hσ(ω)2

with

|v|Hσ(ω)2:=ωω|v(x)-v(y)|2|x-y|d-1+2σdxdyifσ(0,1),ΓvL2(ω)2ifσ=1.

Here, Γ(·) denotes the usual (weak) surface gradient which is well-defined for almost all xΓ. It is well known that ·Hσ(Γ) provides an equivalent norm on Hσ(Γ), see, e.g., [199, Lemma 2.19] and [159, Theorem 3.30 and p. 99] for σ(0,1) and [160, Theorem 2.28] for σ=1.

For σ(0,1], H-σ(Γ) is a realization of the dual space of Hσ(Γ) according to [159, Theorem 3.30 and p. 99]. With the duality bracket ·;·, we define the following equivalent norm on H-σ(Γ)

ψH-σ(Γ):=sup{v;ψ:vHσ(Γ),vHσ(Γ)=1}for allψH-σ(Γ).

In [159, p. 76], it is stated that Hσ1(Γ)Hσ2(Γ) for -1σ1<σ21, where the inclusion is continuous, dense, and compact. In particular, Hσ(Γ)L2(Γ)H-σ(Γ) forms a Gelfand triple in the sense of [185, Sect. 2.1.2.4] for all σ(0,1], where ψL2(Γ) is interpreted as a function in H-σ(Γ) via

v;ψ:=v;ψL2(Γ)=Γvψdxfor allvHσ(Γ),ψL2(Γ).

The spaces Hσ(Γ) can also be defined as trace spaces or via interpolation, where the resulting norms are always equivalent with constants which depend only on the dimension d and the boundary Γ. For a more detailed introduction to Sobolev spaces on the boundary, the reader is referred to [128, 159, 185, 199].

Model Problem and Galerkin Approximation

Again, we consider a general second-order linear PDE on the d-dimensional bounded Lipschitz domain Ω with partial differential operator

Pu:=-div(Au)+b·u+cu,

where the coefficients ARd×d,bRd, and cR now additionally supposed to be constant. Moreover, we assume that A is symmetric and positive definite.

Let G:Rd\{0}R be a corresponding fundamental solution in the sense of [159, p. 198], i.e., a distributional solution of PG=δ, where δ denotes the Dirac delta function. For ψL(Γ), we define the single-layer operator as

(Vψ)(x):=ΓG(x-y)ψ(y)dyfor allxΓ.

According to [159, pp. 209 and 219–220] and [124, Corollary 3.38], this operator can be extended for arbitrary σ(-1/2,1/2] to a bounded linear operator

V:H-1/2+σ(Γ)H1/2+σ(Γ). 24

In [159, Theorem 7.6], it is stated that V is always elliptic up to some compact perturbation. We assume that it is elliptic even without perturbation, i.e.,

Vψ;ψCellψH-1/2(Γ)2for allψH-1/2(Γ). 25

This is particularly satisfied for the Laplace problem or for the linear elasticity problem, where the case d=2 requires an additional scaling of the geometry Ω, see, e.g., [199, Chapter 6]. Moreover, the bilinear form V·;· is continuous due to (24), i.e., it holds with Ccont:=VH-1/2(Γ)H1/2(Γ) that

Vψ;ξCcontψH-1/2(Γ)ξH-1/2(Γ)for allψ,ξH-1/2(Γ). 26

Given a right-hand side fH1(Γ), we consider the weakly-singular boundary integral equation

Vϕ=f. 27

Such equations arise from the solution of Dirichlet problems of the form Pu=0 in Ω with u=g on Γ for some gH1(Γ), see, e.g., [159, pp. 226–229]. The normal derivative ϕ:=(Au)·ν of the weak solution u then satisfies the integral equation (27) with f:=(K+1/2)g, i.e.,

Vϕ=(K+1/2)g, 28

where

K:H1/2(Γ)H1/2(Γ) 29

denotes the double-layer operator [159, pp. 218–223]. If Γ is piecewise smooth and if gL(Γ), for all xΓ where Γ is locally smooth and g is continuous there holds the representation

Kg(x)=Γg(y)(AyG(x,y)+bG(x,y))·ν(y)dy;

see [185, Sect. 3.3.3]. Due to (25)–(26) the Lax–Milgram lemma guarantees existence and uniqueness of the solution ϕH-1/2(Γ) of the equivalent variational formulation of (27)

Vϕ;ψ=f;ψfor allψH-1/2(Γ).

In particular, we see that V:H-1/2(Γ)H1/2(Γ) is an isomorphism.

In the Galerkin BEM, the test space H-1/2(Γ) is replaced by some discrete subspace SL2(Γ)H-1/2(Γ). Again, the Lax–Milgram lemma applies and guarantees the existence and uniqueness of the solution ΦS of the discrete variational formulation

VΦ;Ψ=f;Ψfor allΨS. 30

In fact, Φ can be computed by solving a linear system of equations. Note that (24) even implies that VΨH1(Γ) for arbitrary ΨS. The additional regularity fH1(Γ) instead of fH1/2(Γ) is only needed to define the residual error estimator (32) below, which requires that f-VH1(Γ). As for the FEM problem, we also note the Galerkin orthogonality

f-VΦ;Ψ=0for allΨS, 31

as well as the resulting Céa-type quasi-optimality

ϕ-ΦH-1/2(Γ)CCe´aminΨSϕ-ΨH-1/2(Γ),

where CCe´a:=Ccont/Cell. For a more detailed introduction to boundary integral equations and BEM, the reader is referred to the monographs [128, 159, 185, 199].

Isogeometric Discretization

For the solution of the discrete problem with isogeometric methods, we assume that the boundary of the domain Γ=ΩRd (and not necessarily Ω) is defined as a multi-patch geometry through NURBS parametrizations. More precisely, we suppose that Γ=m=1MΓm¯, where

Fm:(0,1)d-1ΓmRd

is a NURBS parametrization and the assumptions of Sect. 3.1 are valid. In particular, each Fm is a bi-Lipschitz homeomorphism. Moreover, we suppose the properties (P1)–(P3) regarding the conformity of the meshes in multi-patch domains given in Sect. 3.1.2 hold true.

On each patch, we first define the local space of mapped splines Spm(Tm) with the local basis Bpm(Tm) via push-forward as in the IGAFEM case (21)–(22). Then, we define the discrete isogeometric space as

S:={VL2(Γ):V|ΓmSpm(Tm),form=1,,M}.

Note that, in contrast to IGAFEM, continuity of the discrete functions at the interfaces is not required for the weakly-singular boundary integral equation (27) as S only needs to be contained in L2(Γ). A basis for this space is clearly given by

B:=m=1MBpm(Tm).
Remark 6

In contrast to weakly-singular integral equations, hypersingular integral equations, which result from Neumann problems (see, e.g., [159, Chapter 7]), require continuous trial functions. Assuming also the conformity property (P2’), corresponding basis functions can be constructed as for IGAFEM in Sect. 3.2.2.

A Posteriori Error Estimator

Let Q be the mesh on Γ, defined as above. Due to the regularity assumption fH1(Γ), the mapping property (24), and SL2(Γ), the residual satisfies that f-VΨH1(Γ) for all ΨS. This allows to employ the weighted-residual a posteriori error estimator

η:=η(Q)withη(S)2:=QSη(Q)2for allSQ, 32a

where, for all QQ with element size hQ, the local refinement indicators read

η(Q)2:=hQ|f-VΦ|H1(Q)2. 32b

This estimator goes back to the works [52, 56], where reliability is proved for standard 2D BEM with piecewise polynomials on polygonal geometries, while the corresponding result for standard 3D BEM is found in [54]. The recent work [106] generalizes these results to PDEs beyond the Laplace equation and beyond standard discretizations based on piecewise polynomials.

Splines on Adaptive Meshes

The design of adaptive isogeometric methods requires suitable adaptive spline spaces that enable local mesh refinement. Here, we focus on two of the main solutions that break the structure of standard multivariate tensor-product splines: hierarchical splines in Sect. 4.1 and T-splines in Sect. 4.2. We stress that, at the moment and up to our knowledge, a thorough analysis on optimal convergence of resulting adaptive algorithms is only available for these two. Section 4.3 finally collects alternative adaptive spline models and briefly comments on them.

Hierarchical Splines

Hierarchical spline surfaces were introduced in [99] by considering a sequence of overlays to enable an efficient local editing of the geometric model. A simple selection algorithm to properly identify the B-splines at different refinement levels needed to define a suitable basis for hierarchical spline spaces was proposed in [142, 143]. More recently, a slightly different hierarchical B-spline basis was proposed in [207] and since then the hierarchical approach was widely used by different authors in IGA, see, e.g., [121, 186, 191, 207]. In order to overcome some limitations of hierarchical B-splines, the truncated basis for the same hierarchical spline space was introduced in [114] leading to the definition of truncated hierarchical B-splines (THB-splines). Their application in IGA has been investigated by several authors for second order [30, 75, 113, 120] and fourth order PDEs [4, 120], and also for trimmed domains [69, 70, 179, 181]. Implementation aspects related to (T)HB-splines were addressed in [29, 36, 40, 111, 137]. Finally, we mention that the idea of considering the linear span of (tensor-product) B-splines on different, hierarchically ordered grid levels has also been used for wavelet approaches, see, e.g., [67, 74, 180].

Definition and Properties

Let

S^p(T0)S^p(T1)S^p(TN-1) 33

be a nested sequence of N tensor-product spline spaces S^p(T), for =0,,N-1, defined without loss of generality on the open hyper-cube Ω^:=(0,1)d^.

At any level , we consider the B-spline basis B^:=B^p(T) of degree p defined on the rectilinear grid Q^, analogously to the one-level case described in Sect. 2.2. Any (non-empty) element Q^ of the grid Q^ is the Cartesian product of d^ open intervals defined by consecutive breakpoints. We abbreviate its level lev(Q^):=. The knot vector Ti in the coordinate direction i, for i=1,,d^, is associated to the grid at level and contains non-decreasing real numbers so that each breakpoint zj appears in the knot vector as many times as specified by a certain multiplicity. For d^=1, an example of grids and B-spline bases of three different levels is shown in Fig. 7.

Fig. 7.

Fig. 7

An example of grids (a) of three hierarchical levels for d^=1. The univariate B-splines of degree 3 defined on level 0, 1 and 2 are shown in (bd), respectively. All internal knots have multiplicity one

We assume open knot vectors in any direction at level 0 and multiplicities of internal knots between one and pi. To guarantee the nested nature of the spline spaces given by (33), we also assume dyadic mesh refinement between consecutive hierarchical levels so that an element of level is uniformly refined in 2d^ elements of level +1, see Figs. 7 and 8 for d^=1 and d^=2, respectively. In addition, any newly inserted knot appears with multiplicity one.

Fig. 8.

Fig. 8

An example of grids and domains (gray regions) of levels 0 (a), 1 (b), 2 (c) for d^=2. The hierarchical mesh is also shown (d)

Remark 7

Note that more general refinement possibilities can also be covered within the hierarchical spline model [115].

In order to define the spline hierarchy, we consider a nested sequence of closed subsets of Ω^0:=Ω^¯, given by

Ω^0Ω^1Ω^N-1Ω^N=,

where we assume that Ω^ is the union of the closure of elements of level -1. By considering the set of active elements at level , for =0,,N-1, we can define the hierarchical mesh as follows:

Q^:={Q^Q^:Q^Ω^Q^Ω^+1,=0,,N-1}. 34

For d^=2, an example of domain hierarchy on three refinement levels is shown in Fig. 8.

We say that a mesh Q^+ is a refinement of Q^, and we denote it by Q^Q^+ (or Q^+Q^), if it is obtained from Q^ by successive splitting via dyadic refinement of some of its elements. Note that, under our assumptions, the fine mesh is associated to an enlargement of the subdomains (Ω^+)=0,,N+, such that NN+, Ω^0=Ω^+0, Ω+N+=, and Ω^Ω^+ for =1,,N.

Given a hierarchical mesh Q^, the set of hierarchical B-splines (HB-splines) H^p(Q^,T0):=H^N-1 can be constructed according to the following steps:

  1. H^0:=B^0;

  2. for =0,,N-2
    H^+1:=H^A+1H^B+1,

where

H^A+1:=B^i,pH^:supp(B^i,p)Ω^+1,H^B+1:=B^i,p+1B^+1:supp(B^i,p+1)Ω^+1.

Steps 1–2 define a selection mechanism which activates and deactivates B-splines at different levels of resolution by taking into account the hierarchical domain configuration. After initializing the set of hierarchical B-splines with the B-splines of level 0, for any subsequent level , the set H^+1 of HB-splines of level +1 includes

  • B-splines of coarser levels whose support is not contained in Ω^+1 (H^A+1);

  • B-splines of level +1 whose support is contained in Ω^+1 (H^B+1).

Note that the HB-spline basis H^p(Q^,T0) with respect to the mesh Q^ can also be defined as

H^p(Q^,T0)=B^i,pB^:supp(B^i,p)Ω^supp(B^i,p)Ω^+1,=0,,N-1.

Fig. 9 shows an example of cubic hierarchical B-splines for d^=1.

Fig. 9.

Fig. 9

An example of cubic HB-splines (b) and THB-splines (c) defined on a domain hierarchy consisting of three levels (a). All internal knots have multiplicity one

The following proposition shows that H^p(Q^,T0) is indeed a basis for the hierarchical spline space

S^pH(Q^,T0):=spanH^p(Q^,T0).

Properties (i)–(iii) in Proposition 3 are proved in [115, 198, 207]. The characterization (iv) is taken from [198, Sect. 3].

Proposition 3

The hierarchical basis H^p(Q^,T0) satisfies the following properties:

  • (i)

    The HB-splines in H^p(Q^,T0) are nonnegative and linearly independent.

  • (ii)

    The intermediate spline spaces are nested, i.e., spanH^spanH^+1, for =0,,N-2.

  • (iii)

    Given a mesh Q^+Q^, it holds that S^pH(Q^,T0)S^pH(Q^+,T0).

  • (iv)

    It holds the explicit characterization S^pH(Q^,T0)={S^:S^|Ω^\Ω^+1S^p(T)|Ω^\Ω^+1,=0,,N-1}. In particular, hierarchical splines are polynomials of degree p on each element Q^Q^.

The dimensions of bivariate and trivariate hierarchical B-spline spaces were investigated in [112] and [21], respectively, for the case of maximal smoothness. In [162], a more comprehensive analysis covering also reduced regularity was presented.

Truncated Hierarchical B-Splines

The HB-spline basis is composed by B-splines defined on grids of different resolution which interact with each other on refined elements. Thanks to the refinable nature of the B-spline model, it is possible to reduce the overlapping of B-splines introduced at successive levels with the coarser ones by exploiting a truncation mechanism [114].

By recalling the nested nature of the sequence of spline spaces in (33), let S^S^p(T)S^p(T+1) be a spline of level expressed in terms of B-splines of level +1 as

S^=B^i,p+1B^+1ci,p+1(S^)B^i,p+1. 35

The truncation of S^ with respect to level +1 is defined as

trunc+1S^=B^i,p+1B^+1\H^B+1ci,p+1(S^)B^i,p+1,

and leads to a truncated function whose support is either equal or reduced when compared to the one of function S^, i.e., supp(trunc+1S^)supp(S^), for all S^S^p(T). In particular, the contribution of B-splines of level +1 which will be included in the hierarchical basis is removed from the expression of S^ given by (35). For d^=1, an example of truncation applied to a quadratic univariate B-spline is shown in Fig. 10.

Fig. 10.

Fig. 10

Top: a univariate cubic B-spline of level (in black) represented as linear combination of functions of level +1 (in gray). Bottom: the original B-spline (solid dashed) and its truncated version (black solid line) by considering Ω+1=[0.25,1]

Analogously to the HB-spline case, given a hierarchical mesh Q^, the set of THB-splines T^p(Q^,T0):=T^N-1 can be constructed according to the following steps:

  1. T^0:=H^0;

  2. for =0,,N-2
    T^+1:=T^A0T^B+1,

where

T^A+1:=trunc+1(T^i,p):T^i,pT^supp(T^i,p)Ω^+1,T^B+1:=H^B+1.

In this case, the two steps of the constructions define a selection mechanism which does not only activate and deactivate but also truncates B-splines of different levels by taking into account the hierarchical domain configuration. After initializing the set of THB-splines with the (H)B-splines of level 0, for any subsequent level , the set of THB-splines of level +1 (T^+1) includes

  • truncated B-splines of coarser levels whose support is not contained in Ω^+1 (T^A+1);

  • B-splines of level +1 whose support is contained in Ω^+1 (T^B+1).

By defining the successive truncation of a B-spline of level as

Trunc+1(B^i,p):=truncN-1trunc+1(B^i,p),

and TruncN(B^i,pN-1):=B^i,pN-1, we can also define the THB-spline basis as follows:

T^p(Q^,T0)={Trunc+1(B^i,p):B^i,pB^H^p(Q^,T0),=0,,N-1}.

Any HB-spline B^i,pH^p(Q^,T0) generates a corresponding THB-spline T^i,p:=Trunc+1(B^i,p)T^p(Q^,T0), for =0,...,N-1 and it is denoted as the mother B-spline of T^i,p, namely

motT^i,p:=B^i,p. 36

Note that, being defined in terms of the successive application of the truncation mechanism, each THB-spline is characterized by a support that is either equal or smaller than the one of its mother B-spline. However, as for finite elements defined in meshes with hanging nodes, the support of THB-splines is more complicated and in general not even convex or connected. Figs. 9(c) and 11 show examples of THB-splines for d^=1 and d^=2, respectively.

Fig. 11.

Fig. 11

Two bi-quadratic mother B-splines (left) and corresponding THB splines (right) defined on a hierarchical mesh with three levels (bottom). All internal knots have multiplicity one

The following properties hold according to [114, 115].

Proposition 4

The truncated hierarchical basis T^p(Q^,T0) satisfies the following properties:

  • (i)

    The THB-splines in T^p(Q^,T0) are nonnegative, linearly independent, and form a partition of unity.

  • (ii)

    The intermediate spline spaces are nested, namely spanT^spanT^+1.

  • (iii)

    It holds that spanT^=spanH^, for =0,,N-1, and spanT^p(Q^,T0)=S^pH(Q^,T0).

We also note that, in contrast to tensor-product B-splines, THB-splines and HB-splines are not locally linearly independent. In particular, their restriction to a single element can be linearly dependent.

Applications of THB-splines for adaptive CAD model reconstruction were presented in [33, 138]. The truncation approach was also considered to define truncated decoupled hierarchical B-splines [161], hierarchies of spaces spanned by generating systems [215], (extended) truncated hierarchical Catmull-Clark subdivision [209, 210], truncated hierarchical box splines [116, 132], and truncated T-splines [211].

Refinement Strategies

We have introduced above the concept of mesh refinement in the sense that QQ+. However, the theoretical analysis of adaptive isogeometric methods requires to impose some grading conditions on how the local refinement should be performed. To obtain hierarchical mesh configurations suitable for the theoretical analysis, we follow the approach originally introduced in [46] for THB-splines and in [164] for HB-splines, and further elaborated in [36] by introducing a general framework for the design and implementation of refinement algorithms with (T)HB-splines. The refinement rule for HB-splines limited to two-level interaction was already presented in [105]. These refinement rules control the interaction of hierarchical basis functions of different levels and generate suitably graded meshes for the considered hierarchical basis. Note that the effect of the truncation can be suitably exploited to generate less refined meshes for THB-splines than the ones obtained for HB-splines, while simultaneously guaranteeing limited interaction between hierarchical basis functions of different levels. However, THB-splines additionally require the truncation procedure and have a more complicated, although smaller, support than HB-splines.

The first notion we need to introduce extends the concept of support extension introduced in (10) for the multivariate tensor-product case to the hierarchical setting. The multilevel support extension of an element Q^Q^ with respect to level k, with 0k, is defined as

Sext(Q^,k):=Sext(Q^),withQ^Q^kandQ^Q^,

where Sext(Q^) is the support extension of (10) corresponding to the mesh Q^k.

The concept of admissible hierarchical meshes is based on the auxiliary domains

ω^H:=Q^¯:Q^Q^Sext(Q^,-1)Ω^, 37a
ω^T:=Q^¯:Q^Q^Sext(Q^,)Ω^, 37b

for =0,,N-1, with ω^H0:=Ω^0. The domain ω^H represents the region of Ω^ where all the active basis functions of level -1, namely functions in H^p(Q^,T0)B^-1, are zero. A similar property is valid for the domain ω^T: all the basis functions of level -1 truncated with respect to level , i.e., functions in T^ such that their mother is in B^-1, vanish in ω^T. By definition, it holds that ω^Hω^T (see also Fig. 12).

Fig. 12.

Fig. 12

Examples of the domains ω^H1 (dark gray) and ω^T1 (light gray) for different degrees and mesh configurations. All internal knots have multiplicity one

A mesh Q^ is H-admissible (respectively, T-admissible) of class μ if it holds that

Ω^ω^H-μ+1,(resp.Ω^ω^T-μ+1), 38

for all =μ,μ+1,,N-1. By definition, it holds that ω^Hω^T, which immediately yields that any H-admissible mesh of class μ is also T-admissible of class μ. Admissibility of a mesh guarantees the following proposition, see [36, Definition 3].

Proposition 5

If Q^ is an H-admissible (respectively T-admissible) mesh of class μ, with μ2, then, the basis functions in H^p(Q^,T0) (resp. T^p(Q^,T0)) that take non-zero values over any element Q^Q^ can only be of μ successive levels.

Remark 8

Note that Proposition 5 is not true for HB-splines H^p(Q^,T0) on T-admissible meshes (instead of H-admissible meshes), see Fig. 13 for a simple example of this kind.

Fig. 13.

Fig. 13

A T-admissible mesh for p=(1,1) and μ=2 with three levels: HB-splines of level 0, 1, 2 are non zero on the element of the finest level in the bottom left corner. THB-splines of only levels 1, 2 are non zero on the same element

Remark 9

Note that in [30, 46, 47] a T-admissible mesh was denoted strictly admissible. Reference [36] introduced H-admissible meshes, which were there called strictly H-admissible. Similarly, T-admissible meshes were called strictly T-admissible there. Instead, the property of Proposition 5 was referred to as admissible in these references. We also mention that these references even prove that the basis functions that take non-zero values over Q^ can indeed only be of levels lev(Q^)-μ+1,,lev(Q^).

The structure of admissible hierarchical configurations guarantees, first, a suitable grading of the mesh, and, second, that differences between the levels of neighboring elements are always bounded, as stated in the following proposition.

Proposition 6

Let Q^ be an H-admissible (resp. T-admissible) hierarchical mesh of class μ. For any Q^,Q^Q^, let :=min{lev(Q^),lev(Q^)}. If there exists β^B^, (resp. β^B^+1), such that supp(β^)Q^ and supp(β^)Q^, then it holds that

|lev(Q^)-lev(Q^)|<μ.
Proof

We proceed by contradiction. Let us assume there exist Q^,Q^Q^ as in the hypothesis such that |lev(Q^)-lev(Q^)|μ. We assume without loss of generality that =lev(Q^)<lev(Q^)=: and thus

-μ. 39

Let Q^ be the ancestor of Q^ of level -μ+1. By the assumptions on β^, it clearly satisfies that Q^Sext(Q^,k) for k=-μ (respectively k=-μ+1). As a consequence, we get with (39) and (34) that Sext(Q^,k)Ω^-μ+1. We conclude from the definition in (37) that Q^ω^H-μ+1 (respectively ω^T-μ+1), which contradicts the definition of H-admissibility, and of T-admissibility, see (38).

As an immediate consequence, we have an analogous result for adjacent elements if the interior multiplicities in all knot vectors Ti are less or equal than pi so that all B-splines are at least continuous.

Corollary 1

Suppose that the interior multiplicities in all knot vectors Ti, i=1,d^, =0,,N-1, are less or equal than pi. Let Q^ be a hierarchical mesh which is either H-admissible or T-admissible of class μ. For any Q^,Q^Q^ with Q^¯Q^¯, it holds that

|lev(Q^)-lev(Q^)|<μ.

The refinement algorithms to generate suitable admissible meshes recursively refine all the elements in a certain neighborhood of any marked element to produce the refined mesh for the next step of the adaptive loop, while simultaneously preserving a fixed class of admissibility.

Given an element Q^Q^ with lev(Q^)=:, its H-neighborhood and its T-neighborhood with respect to μ are defined as

NH(Q^,μ):=Q^Q^Q^-μ+1:Q^Sext(Q^,-μ+1),NT(Q^,μ):=Q^Q^Q^-μ+1:Q^Sext(Q^,-μ+2),

respectively, when -μ+10, and NH(Q^,μ):=NT(Q^,μ):= for -μ+1<0. Recall that we consider open elements, whereas the support extension is a closed set. The conditions in the two sets are thus equivalent to Q^Sext(Q^,-μ+1) and Q^Q^-μ+2 with Q^Sext(Q^,-μ+2),Q^Q^, respectively. An example of H-neighborhood and the T-neighborhood for p=(2,2) and μ=2 is shown in Fig. 14.

Fig. 14.

Fig. 14

For the light gray element Q^ (a), we plot in dark gray its H-neighborhood (b) and T-neighborhood (c), for p=(2,2) and μ=2. All internal knots have multiplicity one

By exploiting the neighborhoods to define the refinement patch associated to each set of a marked element, we can generate admissible meshes and encapsulate a certain structure naturally connected with the support of hierarchical basis functions. Algorithm 1 and 2 present the admissible refinement procedure for HB-splines and THB-splines, respectively. In both algorithms, given a set of marked (active) elements, we iteratively also mark the elements in the H-neighborhood (Algorithm 1) or T-neighborhood (Algorithm 2) of the marked ones until these neighborhood sets are empty (and no additional elements are marked). Then, we refine the hierarchical mesh by replacing the set of marked elements with its children. Note that the difference between the two algorithms only affects the computation of the neighborhood. The output of the two algorithms coincides with the output of the recursive refinement modules introduced in [46] and [36] for T-admissible and H-admissible meshes, respectively. H-admissible refinements were also considered in [105, Algorithm 3.1] and [164] for μ=2 and μ2, respectively. Details for the implementation of the two refinement algorithms can be found in [36]. graphic file with name 11831_2022_9752_Figa_HTML.jpggraphic file with name 11831_2022_9752_Figb_HTML.jpg

A selection of meshes generated by the two algorithms when the finest element in the bottom left corner of the current mesh is marked for refinement is shown in Fig. 15 for p=(1,1) and μ=2. Note that at each refinement step, the T-neighborhood is always empty and, consequently, only the marked element is refined. A more significative comparison is shown in Fig. 16, where a diagonal refinement of the unit square is considered for μ=3 and p=(2,2), p=(3,3), p=(4,4) after six refinement levels, see also [36, Sect. 5.1] for different values of μ.

Fig. 15.

Fig. 15

H-admissible (b) and T-admissible (c) meshes generated by Algorithm 1 and 2, respectively, by refining three times the finest element in the bottom left corner of the mesh with p=(1,1) and μ=2. The initial mesh and a marked element at step 0 are shown as well (a). At each step, the dark gray elements appear by refinement of the neighborhood of the previous marked element. All internal knots have multiplicity one

Fig. 16.

Fig. 16

Diagonal refinement of the unit square, starting from a uniform 4×4 mesh, after six refinement steps: H-admissible (left) and T-admissible (right) meshes generated by Algorithm 1 and 2, respectively. Results for μ=3 and p=(2,2), p=(3,3), p=(4,4). At each refinement step, we mark a strip of 2p+12 cells centered at the diagonal. This naturally guarantees that in each step functions of the finest level are activated. All internal knots have multiplicity one

The properties of the refine modules were detailed in [46, 49] and [105, 164] for T- and H-admissible meshes, respectively, and subsequently revisited in [36] in a unified framework. Proposition 7 guarantees that Algorithm 1 and Algorithm 2 generate a refined hierarchical mesh characterized by the same admissibility properties of the input mesh, see [36, Proposition 2].

Proposition 7

Let Q^, M^, and μ be the input arguments of Algorithm 1 (respectively Algorithm 2), where Q^ is H-admissible (respectively T-admissible) of class μ. Then, the considered algorithm returns a refined hierarchical mesh, Q^+Q^, which is H-admissible (respectively T-admissible) of class μ.

For fixed μ and fixed H-admissible or T-admissible refinement, we abbreviate Q^:=refine(Q^0) as the set of meshes that can be obtained by iterative application of admissible refinement to the initial mesh Q^0:=Q^0. In fact, refine(Q^0) coincides with the whole set of admissible meshes that are obtained by refinement of Q^0, see [164, Propositions 3.1.8 and 4.2.3] for the H-admissible and T-admissible meshes, respectively. See also [105, Prop. 5.1] for the proof in the case of H-admissible meshes with μ=2.

The following proposition provides a bound on the possible overrefinement of the algorithm to preserve admissibility. It was proved in [49, Theorem 13] and [164, Theorem 3.1.12] for T- and H-admissible refinement algorithms, respectively. The case μ=2 for HB-splines was also addressed in [105, Sect. 5.4]. The original versions for triangular meshes go back to [24] and [200] .

Proposition 8

There exists a uniform constant C>0 such that for arbitrary sequences (Qk)kN0 in Q with Qk+1=refine(Qk,Mk) for some MkQk and all kN0, it holds that

#Qk-#Q0Cj=0k-1#Mjfor allkN0.

The constant C depends only on the dimension d^, the degrees pi, and the initial mesh Q^0.

Hierarchical Quasi-Interpolation

The THB-spline property of preservation of coefficients [115] enables the definition of hierarchical quasi-interpolation operators that do not require additional computations with respect to the tensor-product case [198].

For each level =0,,N-1, we consider the quasi-interpolant into the B-spline space of level

J^p,T:L2(Ω^)S^p(T),v^iIλ^i,p(v^)B^i,p, 40

with I:={i:B^i,pB^}, and each functional λ^i,p(v^) is defined via a local projection onto one element that belongs to the support of the corresponding B-spline as described in Sect. 2.2.2, see also [45].

By construction of (T)HB-splines, it is easy to see that for each (T)HB-spline of level there exists within its support an element in Q^ of the same level, which is contained in Ω^\Ω^+1 (i.e., it is in Q^Q^). Its size is obviously equivalent to the size of the support, in the sense that their ratio is uniformly bounded. With this choice of the element, the hierarchical quasi-interpolant J^p,Q^H can then be defined as

J^p,Q^H:L2(Ω^)S^pH(Q^,T0),v^=0N-1iIQ^λ^i,p(v^)T^i,p,

where IQ^ is the set of indices corresponding to active basis functions of level , namely

IQ^:=i:B^i,pB^H^p(Q^,T0), 41

with B^i,p=motT^i,p. According to [198, Theorem 4], the quasi-interpolant is in fact a projector as stated in the following proposition.

Proposition 9

For an arbitrary hierarchical (not necessarily admissible) mesh Q^, it holds that

J^p,Q^HS^=S^for allS^S^pH(Q^,T0).

As a simple corollary and from the definition of the dual functionals, the quasi-interpolant is also a local projector. Let us define for Q^Q^ a modified support extension, given by

Sext(Q^):=ω^i,p:T^i,pT^p(Q^,T0):ω^i,pQ^,

where

ω^i,p:=supp(trunc+1B^i,p)

identifies the extended support of the THB-spline T^i,p, i.e., the support when only the first level of truncation has been applied. The THB-splines on a T-admissible mesh considered in the definition of Sext(Q^) vary from level max(0,-μ+1) to , see Remark 9.

Corollary 2

For any Q^Q^ it holds that

(J^p,Q^HS^)|Q^=S^|Q^ifS^|Sext(Q^)S^pH(Q^,T0)|Sext(Q^).
Remark 10

Actually, the locality result is also valid for a set of elements smaller than Sext(Q^), where the extended support ω^i,p is replaced by supp(T^i,p).

The next property can be found in [48, Theorem 4], and it implies that the number of active elements contained in Sext(Q^) is uniformly bounded.

Proposition 10

Let Q^ be a T-admissible mesh of class μ, and let Q^Q^Q^. Then, the set Sext(Q^) is connected. Moreover, for any Q^Q^ with Q^Sext(Q^) it holds that

|Q^||Sext(Q^)|,

where the hidden constants depend on the degrees pi, the admissibility class μ, the dimension d^, and the initial mesh Q^0.

The next result is a stability property analogous to Proposition 2 in the tensor-product case. The proof can be found in [48] for a slightly modified operator onto the space S^pH(Q^,T0)H01(Ω^), but works the same in our case. On H-admissible meshes of class μ=2, a similar result is also given in [105].

Proposition 11

Let Q^ be either an H-admissible or T-admissible mesh of class μ. There exists a constant C such that for any element Q^Q^ it holds that

||J^p,Q^Hv^||L2(Q^)C||v^||L2(Sext(Q^)),

for all v^L2(Ω^). The constant C depends only on the dimension d^, the degrees pi, and the initial mesh Q^0.

Finally, with the help of the local projector, we prove a result regarding a local characterization for refined spaces. We note that this result does not require admissibility. We start introducing some notation. Let Q^ be a hierarchical mesh, and Q^+ another hierarchical mesh obtained by refinement, i.e., Q^Q^+. We recall the definition of the sets of indices IQ^ given by (41), and define analogously the sets IQ^+ for levels =0,,N+-1. This allows us to introduce their splitting in disjoint index sets as follows

IQ^:=IQ^Q^+,fixIQ^,old,IQ^+:=IQ^Q^+,fixIQ^+,new,

for =0,,N-1 and =0,,N+-1, respectively, with

IQ^Q^+,fix:=IQ^IQ^+, 42

i.e., indices related to functions which are active in both meshes, although they may differ by truncation, and

IQ^,old:=IQ^\IQ^Q^+,fix,IQ^+,new:=IQ^+\IQ^Q^+,fix, 43

indices of basis functions that are respectively removed or added after refinement. We also introduce the set of elements in the support of the new functions, the domain they cover, and its (closed) complementary, respectively denoted by

R^+:={Q^Q^+:{0,,N+-1}iIQ^+,newsuch thatQ^supp(T^+,i,p)},Ω^R^+:={Q^¯:Q^R^+},Ω^Q^:=Ω^\Ω^R^+¯. 44
Proposition 12

Let Q^,Q^+ be two hierarchical meshes with Q^Q^+. Moreover, for every iIQ^Q^+,fix, =0,,N-1, we choose the element for the coefficients in (40) to be in Q^Q^+Q^. Then it holds that

(J^p,Q^HS^)|Ω^Q^=S^|Ω^Q^for allS^S^pH(Q^+,T0).
Proof

Let

J^p,Q^HS^==0N-1iIQ^λ^i,p(S^)T^i,p, 45

and

J^p,Q^+HS^==0N+-1iIQ^+λ^+,i,p(S^)T^+,i,p, 46

where B^i,p=motT^i,p or B^i,p=motT^+,i,p, be the two hierarchical quasi-interpolants expressed in terms of the truncated bases. For the operator (46), we choose for every iIQ^Q^+,fix the same element as for (45). By using the index sets introduced in (42) and (43), we can rewrite the inner sums in (45) and (46) respectively as

iIQ^Q^+,fixλ^i,p(S^)T^i,p+iIQ^,oldλ^i,p(S^)T^i,p

and

iIQ^Q^+,fixλ^+,i,p(S^)T^+,i,p+iIQ^+,newλ^+,i,p(S^)T^+,i,p.

For any index iIQ^Q^+,fix, the definition of Ω^Q^ and our assumptions for the coefficients of the quasi-interpolants show that

T^i,p|Ω^Q^=T^+,i,p|Ω^Q^,λi,p(S^)=λ+,i,p(S^).

For any index iIQ^,old or iIQ^,new, we have

T^i,p|Ω^Q^=0,T^+,i,p|Ω^Q^=0.

Consequently, since J^p,Q^+H is a projector onto the space S^pH(Q^+,T0), we obtain that

(J^p,Q^HS^)|Ω^Q^==0N-1iIQ^Q^+,fixλ^i,p(S^)T^i,p|Ω^Q^==0N-1iIQ^Q^+,fixλ^+,i,p(S^)T^+,i,p|Ω^Q^=(J^p,Q^+HS^)|Ω^Q^=S^|Ω^Q^.

This concludes the proof.

Corollary 3

Let Q^,Q^+ be two hierarchical meshes with Q^Q^+. Then, their associated spaces of hierarchical splines coincide in Ω^Q^, i.e., it holds that

S^pH(Q^,T0)|Ω^Q^=S^pH(Q^+,T0)|Ω^Q^.

Finally, we remark that although our construction is based on [45, 198], hierarchical quasi-interpolation with HB-splines and THB-splines was also studied in [142] and [35, 197], respectively.

Hierarchical Splines Refined by Functions

An alternative viewpoint for the construction of hierarchical splines is to consider a refinement algorithm which does not refine the elements, but instead it refines basis functions. In the context of adaptive methods for PDEs, this idea can be traced back at least to [117, 144], and it was recently improved by Sabin in [182] to easily deal with possible linear dependencies of basis functions. The basic idea is to replace any marked basis function with their children, that are the basis functions of the next level appearing in (35).

In terms of the analysis of adaptive methods, refinement by functions is studied in [2]. To avoid possible linear dependencies of basis functions, the authors suggest to use what they call absorbing generators, which in fact are equivalent to the simplified hierarchical splines in [43]. In the latter, basis functions are refined (deactivated) according to the elements in their support, but only children of refined basis functions can be activated. Their definition can be done with a recursive algorithm similar to the one of HB-splines in Sect. 4.1.1:

  1. H^s0:=B^0;

  2. for =0,,N-2
    H^s+1:=H^s,A+1H^s,B+1,

where H^s,A+1 is defined analogously to H^A+1 in the HB-splines case, while H^s,B+1 is given by the sets of children

H^s,B+1:=supp(β^)Ω+1β^H^s+1B^i,p+1B^+1:ci,p+1(β^)0,

and the coefficients ci,p+1(β^) are defined in (35).

In [43] it is proved that, for every =0,,N-1, the set of simplified HB-splines is contained in the set of HB-splines, namely H^sH^. Indeed, with the unique nonnegative coefficients from β^H^cβ^β^=1, it even holds that H^s={β^H^:cβ^>0}. Moreover, the first three properties of Proposition 3 are proved for these simplified hierarchical splines in the same paper. In [2], the authors introduce a refinement algorithm by functions that, analogously to the admissibility property presented above, prevents the interaction of coarse and fine functions, and they prove that the algorithm has linear complexity with respect to the number of marked basis functions, see Proposition 8 for the analogous result in an element-wise version.

The definition of a multilevel quasi-interpolant for simplified hierarchical splines is also given in [43]. This quasi-interpolant generalizes the one introduced by Kraft for HB-splines in [142] to general knot vectors. However, the quasi-interpolant is not a projector.

Regarding a posteriori error estimation, an estimator based on basis functions was introduced in [43], although as far as we know only the upper bound of the error has been proved.

T-Splines

An alternative for the development of adaptive isogeometric methods is the use of T-splines, which were introduced for CAD and computer graphics by T. Sederberg et al. in [192, 193]. They were soon recognized as an interesting tool to develop adaptivity in IGA [15, 84]. A sound mathematical theory for approximation with T-splines was missing at that time and in [42] the first counterexample of linearly dependent T-splines was presented along with preliminary results about linear independence. The mathematical analysis of T-splines made a big step forward with the introduction of analysis suitable T-splines in [152] and the equivalent concept (under the mild assumption that facing T-junctions do not exist) of dual-compatible T-splines in [18], for which it was possible to construct a dual basis, and consequently to prove linear independence. While these concepts were first restricted to cubic T-splines, they were generalized to arbitrary degree in [19], and equivalence was proved under the same assumption. The characterization of the space and some other important properties were analyzed in [38, 150]. These works are mostly restricted to the two-dimensional case, although the definition of dual-compatible T-splines extends to three-dimensional one.

Algorithms for automatic refinement with T-splines were first studied in [192] and for analysis suitable T-splines in [189]. Refinement algorithms that guarantee the dual compatibility property by alternating the direction of refinement were introduced in [165] and were later generalized to the trivariate case (with odd degree) in [163, 164]. The advantage of these refinement algorithms over previous ones is that they guarantee linear complexity and also shape-regularity of the mesh avoiding the presence of undesired anisotropic elements.

In this section we present the definition of T-splines, focusing on dual-compatible T-splines and describe the concept of admissible T-meshes and the refinement algorithms introduced in [163165]. For the presentation we mainly follow the survey [20], which collects results from previous papers, and [163]. We will restrict ourselves to the case of T-splines of odd degree, because the analysis of trivariate T-splines in [163] has not been extended to arbitrary degree so far.

The Basic Idea of T-Splines

T-splines are a generalization of B-splines, where the functions are defined from a mesh of rectangular elements with T-junctions, the so-called T-mesh, see Fig. 17. The lines of the T-mesh play a similar role as the knot indices in the tensor-product case and a knot value is associated to each of these lines. A T-spline function is then associated to each vertex of the T-mesh (or to each element if the degree is even), in what we call the anchors. Each of these functions is defined analogously to a B-spline, and the local knot vector in the j-th direction is obtained by tracing a line from the anchor in this direction, and considering the intersections of this line with the T-mesh. For example, in Fig. 17 with degree p=(5,3), the function anchored at the node with indices (9, 8) has local knot vectors 116,18,14,38,12,916,58 and 516,38,12,58,34.

Fig. 17.

Fig. 17

A two-dimensional T-mesh with degree (p1,p2)=(5,3). For the three (blue) nodes z{(6,4),(9,8),(15,13)}, their corresponding local knot vectors are indicated by red crosses. In the axes we indicate the indices in Ij0 and, between parentheses, the value of the corresponding knots. (Color figure online)

We notice that, due to knot repetitions in the open knot vectors, the first p knot spans in each direction have zero length. These elements with zero measure are colored in gray in Fig. 17, and the white region will be called the index/parametric region. Moreover, we recall that for B-splines, a knot vector of n+p+1 knots defines n functions. To take this into account, the anchors are limited to what is called the region of active anchors, given by the white and light gray elements in Fig. 17.

Although the idea of T-splines is not complex, the rigorous definition and analysis of their properties require some involved notation, which we present in the following subsections.

T-Meshes Refined by Bisection

For simplicity, we will limit ourselves to T-meshes where the elements are refined by bisection. We also restrict ourselves to dimension d^=2,3, as this is the state of the art, although some advances for arbitrary dimension were introduced in [164]. Moreover, as we said above we also limit the presentation to odd polynomial degrees. For the definition and properties of even and mixed degree T-splines, we refer to [19, 165], see also Remark 11 below.

For the ease of reading, we repeat here some of the definitions of the tensor-product case. Let us introduce for 1jd^, an odd degree pj3, the number of univariate functions nj, the set of indices Ij0={1,2,,nj+pj+1}, and the open knot vector Tj0 =(tj,1,,tj,nj+pj+1) = (tj,i)iIj0, with tj,pj+1=0 and tj,nj+1=1. We also assume that internal knots are not repeated, that is

tj,i<tj,i+1fori=pj+1,,nj.

Again, we abbreviate p:=(p1,,pd^) as well as T0:=(T10,,Td^0).

The starting point is the Cartesian grid

Qˇ0:={(l1,l1+1)××(ld^,ld^+1):1ljnj+pjfor1jd^},

which is a uniform partition of the index domain

Ωˇind:=Πj=1d^(1,nj+pj+1).

We also introduce the index/parametric domain

Ωˇip:=Πj=1d^(pj+1,nj+1).

In Fig. 17, Ωˇip is formed by white elements, while Ωˇind is given by all the elements of the mesh. We also define Ω^:=(0,1)d^.

For any integer k>0, we define the set of rational indices

Ijk:=Ij0{i+r:iIj0,pj+1inj,r{12k,,2k-12k}}.

With this, we can define for 1jd^ and for k0, the ordered knot vectors at stage k

Tjk:=(tj,r)rIjk

in a recursive way: starting from Tj0, for k>0 and for any new index rIjk\Ijk-1, we define

tj,r:=12tj,r-12k+tj,r+12k,

which is well defined because r-12k,r+12kIjk-1. Note that we are not inserting new knots between the repeated knots of the open knot vector.

We also define, for an arbitrary hyperrectangular element in the index domain Qˇ=Πi=1d^(ai,bi), the bisection operator in the j-th direction (compare with [163, Definition 2.5] and [62, Sect. 4.1])

bisectj(Qˇ):={Qˇj1,Qˇj2}iftj,ajtj,bj,{Qˇ}iftj,aj=tj,bj, 47

where

Qˇj1=Πi=1j-1(ai,bi)×(aj,aj+bj2)×Πi=j+1d^(ai,bi),Qˇj2=Πi=1j-1(ai,bi)×(aj+bj2,bj)×Πi=j+1d^(ai,bi).

That is, the element is bisected in the j-th direction only if the corresponding knots in this direction are different, otherwise it is left unchanged. In particular, due to the presence of the open knot vector, the first and last pj “columns” of elements in the j-th direction are never bisected in this direction.

Setting the level of the elements of the starting mesh QˇQˇ0 equal to zero, lev(Qˇ):=0, we associate to each level N0 the direction of bisection

dir():=(modd^)+1,

and we also set the level of the elements obtained by bisection

lev(Qˇ):=lev(Qˇ)+1,Qˇbisectdir(lev(Qˇ))(Qˇ).

With this choice, the elements will be split into two in alternating directions determined by their level, see the examples in Figs. 18 and 19. Note that if an element Qˇ is unchanged via bisection because its indices refer to repeated knots, see (47), we still implicitly distinguish Qˇ and Qˇ:=bisect(Qˇ) by equipping the latter with a different level.

Fig. 18.

Fig. 18

Example of bisection for d^=2. The initial element of level 0 is bisected in the x-direction (dir(0)=1) to obtain two elements of level 1. These are then bisected in the y-direction (dir(1)=2) to obtain the four elements of level 2

Fig. 19.

Fig. 19

Example of bisection for d^=3. The initial element of level 0 is bisected in the x-direction (dir(0)=1) to obtain two elements of level 1. These are then bisected in the y-direction (dir(1)=2) to obtain four elements of level 2, which are bisected in the z-direction (dir(2)=3) to get eight elements of level 3

A T-mesh in the index domain, or simply index T-mesh, is defined as Qˇ:=QˇN by successively applying bisection for k=0,,N-1, in the form

Qˇk+1:=(Qˇk\{Qˇk})bisectdir(lev(Qˇk))(Qˇk),

with QˇkQˇk. The index T-mesh defines a partition of the index domain Ωˇind into disjoint hyperrectangles. Noting that bisection is applied alternating the direction of refinement, it is easy to see that any element QˇQˇ can be written as Πj=1d^(aj,bj), with aj,bjIjkj(Qˇ) and

kj(Qˇ):=(lev(Qˇ)+d^-j)/d^.

Thus, we can define its parametric image as

param(Qˇ):=Πj=1d^(tj,aj,tj,bj),

where tj,aj,tj,bjTjkj(Qˇ). With this definition, from the index T-mesh Qˇ we can infer a T-mesh in the parametric domain, or parametric T-mesh, which is given by the parametric images with non-zero measure of the elements in the index T-mesh

Q^:={Q^=param(Qˇ):QˇQˇand|Q^|0}. 48

We plot in Fig. 20a the parametric T-mesh associated to the index T-mesh of Fig. 17. Notice that any element in the parametric T-mesh has a corresponding element in the index T-mesh, while the opposite is not true. Therefore, we can define for any Q^Q^ its index preimage

index(Q^):=Qˇ,withQ^=param(Qˇ),

and we can set the level of Q^ as the level of its index preimage, lev(Q^):=lev(index(Q^)). Note that it always holds that index(Q^)Ωˇip.

Fig. 20.

Fig. 20

Parametric T-mesh and corresponding Bézier mesh, for the index T-mesh in Fig. 17 and degree p=(5,3)

T-Spline Blending Functions

After defining the T-mesh, it remains to define the T-spline blending functions. We start by defining the region of active anchors, which is usually called the active region, as

Ωˇact:=Πj=1d^(pj/2+1,nj+pj+1-pj/2),

and the set of anchors, sometimes also called nodes,

Ap(Qˇ,T0):={zΩˇact¯:zvertex of someQˇQˇ}.

In Fig. 17 the region of active anchors is given by the white and light gray elements.

Remark 11

We are restricting ourselves to the case of odd degree. For even degree, the anchors are associated to elements, while for mixed degree they are associated to either vertical or horizontal edges in the two-dimensional case, and to edges (two odd, one even degree) or faces (one odd, two even degrees) in the three-dimensional case, see, e.g., [20] for details.

For each element Qˇ=Πi=1d^(ai,bi)Qˇ, we define its skeleton in the j-th direction, for j=1,,d^, as

skelj(Qˇ):=Πi=1j-1[ai,bi]×{aj,bj}×Πi=j+1d^[ai,bi],

and the skeleton of a T-mesh in the j-th direction as

skelj(Qˇ):=QˇQˇskelj(Qˇ).

Then, to each anchor z=(z1,,zd^)Ap(Qˇ,T0) and to each direction j{1,,d^}, we associate the corresponding ordered global index vector

Ijgl(z,Qˇ):={s[1,nj+pj+1]:(z1,,zj-1,s,zj+1,,zd^)skelj(Qˇ)},

and the local index vector Ijloc(z,Qˇ)Rpj+2 being the vector of pj+2 consecutive indices of Ijgl(z,Qˇ) having zj as its middle entry, in the ((pj+3)/2)-th position. This is equivalent to trace a line from the anchor parallel to the j-th axis, and considering in each direction the first (pj+2)/2 intersections with the skeleton of the T-mesh as in Fig. 17. Once we have defined the local index vector, we define the local knot vector in the j-th direction as

Tj(z,Qˇ):=(tj,r)rIjloc(z,Qˇ),

and we remark that there exists an integer k such that Tj(z,Qˇ) is a subvector of Tjk, not necessarily with consecutive indices. Recalling the notation from (3), we can now define the T-spline blending function associated to each anchor as

B^z,p(t):=B^[T1(z,Qˇ)](t1)B^[Td^(z,Qˇ)](td^). 49

Note that, in general, the restriction of a T-spline function to an element of Q^ is not a polynomial.

Following [20, Def. 7.5], we define the Bézier mesh as the collection of maximal open sets Q^BΩ^ such that each function B^z,p restricted to Q^B is a polynomial of degree p. Note that the Bézier mesh does in general not coincide with the parametric T-mesh Q^, as the restriction of T-splines to elements in Q^ are in general only piecewise polynomials. The elements of the Bézier mesh are called Bézier elements. We note that, in the two-dimensional case, the Bézier mesh can be obtained by applying suitable extensions to the elements of the parametric T-mesh, see an example in Fig. 20b, and [193, Sect. 5.2] as well as [20, Sect 7.3] for more details. Although a similar construction is not available in the three-dimensional case, the Bézier mesh can be obtained from the local knot vectors of all the blending functions or, in the case of dual-compatible T-splines (see below), by using the perturbed regions defined in [163, Sect. 5]. Note that the Bézier mesh is always finer than the parametric T-mesh.

Finally, we define the T-spline space as the space spanned by the T-spline blending functions,

S^pT(Qˇ,T0):=span{B^z,p:zAp(Qˇ,T0)}.

We notice that, in general, it is not guaranteed that the T-spline blending functions are linearly independent [42]. For this reason they are called blending functions and not basis functions. This gives the motivation to introduce dual-compatible T-splines.

Dual-Compatible T-Splines

In order to obtain linearly independent T-spline blending functions, and to define a quasi-interpolant, we rely on the concept of dual-compatibility as presented in [20]. We start with the definition of overlap, see [20, Def. 7.1] and [163, Proposition 6.1]. We remark that this definition is slightly different from the one in [18, 19], which uses the local index vectors instead of the local knot vectors.

We say that two local knot vectors T=(t1,,tp+2) and T=(t1,,tp+2) overlap if they are both sub-vectors, with consecutive indices, of the same knot vector. That is, there exists a knot vector T=(t1,,ts) and two integers s,s such that

ti=ti+s,ti=ti+s,for alli=1,,p+2.

Furthermore, we say that the index T-mesh Qˇ, along with the knot vectors Tjk, is a dual-compatible T-mesh if for every z,zAp(Qˇ,T0) with zz, there exists a direction j such that the local knot vectors Tj(z,Qˇ) and Tj(z,Qˇ) are different and overlap, cf. [20, Def. 7.2]. We say that it is a strongly dual-compatible T-mesh if for every z,zAp(Qˇ,T0) with zz, their local knot vectors overlap in d^-1 directions, cf. [163, Def. 6.4]. For d^=2 both conditions are equivalent, while for d^=3 any strongly dual-compatible T-mesh is also dual-compatible, see the remark in [163, Sect. 6].

Dual-compatible T-meshes take their name from the fact that they allow the construction of a dual basis. Using the notation introduced in (8), we define, for each anchor zAp(Qˇ,T0), the dual functional

λ^z,p:=λ^dB[T1(z,Qˇ)]λ^dB[Td^(z,Qˇ)]. 50

It can be shown that the dual functionals (50) form a dual basis, see [20, Propoposition 7.3]. The dual basis allows to prove that dual-compatible T-splines are a partition of unity, linearly independent [20, Proposition 7.4], and also locally linearly independent [147, Theorem 3.2].

Proposition 13

Let Qˇ be dual-compatible. Then, the functions {B^z,p:zAp(Qˇ,T0)} are linearly independent, and also locally linearly independent, i.e., they are linearly independent on any open set OΩ^. Moreover, if the constant functions are contained in S^pT(Qˇ,T0), these functions form a partition of unity.

The dual basis also allows to prove the following result, closely related to local linear independence, see [20, Proposition 7.6] and [147, Theorem 4.1].

Lemma 1

Let Qˇ be a dual-compatible T-mesh. Then, for any Bézier element Q^B there are at most (p1+1)(pd^+1) basis functions that do not vanish in Q^B.

Moreover, from the dual basis we can define the quasi-interpolant

J^p,QˇT:L2(Ω^)S^pT(Qˇ,T0),v^zAp(Qˇ,T0)λ^z,p(v^)B^z,p. 51

According to [20, Proposition 7.3], this operator is a projector.

Proposition 14

Let Qˇ be a dual-compatible T-mesh. Then, the functionals (50) form a dual basis, and the operator (51) is a projector in the sense that

J^p,QˇTv^=v^for allv^S^pT(Qˇ,T0).

For each element Q^ of the parametric T-mesh Q^, we define the set of anchors such that their corresponding basis functions do not vanish in Q^, as

A(Q^):={zAp(Qˇ,T0):supp(B^z,p)Q^}.

Analogously to the definition in (4) for the B-spline case, we define the support extension as the union of supports of basis functions that do not vanish on Q^ i.e.,

Sext(Q^):=zA(Q^)supp(B^z,p),

For a Bézier element Q^B, we define analogously A(Q^B) and Sext(Q^B), by simply replacing Q^ by Q^B in the definitions.

Then, from the definition of the dual functionals, as an immediate corollary of Proposition 14, the quasi-interpolant is a local projector.

Corollary 4

Let Qˇ be a dual-compatible T-mesh, and Q^ its associated parametric T-mesh. For any Q^Q^, it holds that

(J^p,QˇTv^)|Q^=v^|Q^ifv^|Sext(Q^)S^pT(Qˇ,T0)|Sext(Q^).

Moreover, we have the following stability result, which is proved in [20, Proposition 7.7].

Proposition 15

Let Qˇ be a dual-compatible T-mesh, and let Q^ be the corresponding T-mesh in the parametric domain. Then, for all Bézier element Q^B and all v^L2(Ω^), we have that

J^p,QˇTv^L2(Q^B)Cv^L2(Sext(Q^B)),

where C>0 depends only on the dimension d^, the degrees pj, and the coarsest knot vectors Tj0.

Now, the main issue is to define a refinement strategy that delivers dual-compatible T-splines and such that the size of any element Q^ and any Bézier element Q^B is comparable to the size of its support extension.

Refinement Strategy: Admissible T-Meshes

We now introduce the refinement algorithm that derives from [163, 165]. As we mentioned above, the reason to use this algorithm instead of [189] is that it guarantees linear complexity, and it also preserves the shape-regularity of the mesh. To proceed, we need to define some concepts related to the index T-mesh.

For any element Qˇ in the index T-mesh with QˇΩˇip, we denote its middle point as xQˇ, and define the set of its generalized neighbors

Ngen(Qˇ):={QˇQˇ:QˇΩˇipx=(x1,,xd^)Qˇwith|xj-(xQˇ)j|<(Dp(lev(Qˇ)))j,forj=1,,d^},

where the vector Dp(k) is defined differently for the two-dimensional case [165, Def. 2.4]

Dp(k):=12k/2(p12+12,p22+12)k=0mod2,12(k+1)/2(p12+12,2p22+1)k=1mod2,

and for the three-dimensional case [163, Def. 2.4]

Dp(k):=12k/3(p1+32,p2+32,p3+32)k=0mod3,12(k-1)/3(p1+3/22,p2+32,p3+32)k=1mod3,12(k-2)/3(p1+3/22,p2+3/22,p3+32)k=2mod3,

see some examples for uniform meshes in Fig. 21 and for a non-uniform mesh in Fig. 22.

Fig. 21.

Fig. 21

Visualization of the generalized neighborhood on uniform leveled meshes, for simplicity represented in Ωˇip, and for different degrees. For the element Qˇ in dark gray, its generalized neighborhood Ngen(Qˇ) is formed by all the gray elements

Fig. 22.

Fig. 22

Visualization of the generalized neighborhood for degree p=(5,3) in Ω^. For the element Q^ in dark gray, its generalized neighborhood Ngen(Q^) is formed by all the gray elements, while the neighborhood N(Q^) is constituted only by the light gray elements

Remark 12

In the two-dimensional case, for a uniform even-leveled mesh, Ngen(Qˇ) is obtained by extending Qˇ by (p-1)/2 elements to the left and right, and by (p+1)/2 elements above and below2, while for a uniform odd-leveled mesh, we have to extend by (p+1)/2 elements to the left and right, and by (p-1)/2 elements above and below, which corresponds to the gray area in Fig. 21. For non-uniform meshes, Ngen(Qˇ) is formed by elements which intersect the same area. Similar considerations apply in the three-dimensional case.

We also define the set of neighbors

N(Qˇ):={QˇNgen(Qˇ):lev(Qˇ)<lev(Qˇ)}.

With a slight abuse of notation, we define the set of (generalized) neighbors for a parametric element Q^Q^ as

Ngen(Q^):={Q^Q^:index(Q^)Ngen(index(Q^))},N(Q^):={Q^Q^:index(Q^)N(index(Q^))}.

An example of these definitions is given in Fig. 22.

Remark 13

As an immediate consequence of these definitions, and because we assume that pj2 for j=1,,d^, for any Q^Q^ it holds that

{Q^Q^:Q^¯Q^¯}Ngen(Q^).
Remark 14

In the refinement algorithm, the neighbors will play the same role as the H-neighborhood and T-neighborhood of Sect. 4.1.3 for (T)HB-splines.

For any point x=(x1,,xd^)Ωˇind¯ we define its projection into the index/parametric domain as x~:=(x~1,,x~d^), where x~j=min(max(xj,pj+1),nj+1). Then, for any element QˇQˇ,QˇΩˇip, we define its boundary prolongation in the index T-mesh as the set of elements

prol(Qˇ):={QˇQˇ:x~QˇQˇ},

and for any set of elements MˇQˇ we will also denote

prol(Mˇ):=QˇMˇprol(Qˇ).

Several examples of boundary prolongations are shown in Fig. 23a.

Fig. 23.

Fig. 23

The left figure shows the boundary prolongations of the dark gray elements, which are given by the gray elements. The right figure shows the result of applying Algorithm 3, after marking the dark gray elements on the left figure. The degree is p1=p2=3. Light gray elements are outside Ωˇip

With this notation, we are now in the position to introduce our refinement algorithm, which is based on [165, Algorithm 2.9] and [163, Algorithm 2.9], with the difference of the bisection of elements outside Ωˇip, see Remark 15 below. First, given an index T-mesh Qˇ and QˇQˇ, we say that the bisection of Qˇ is admissible if N(Qˇ)=, cf. [165, Def. 2.11] and [163, Def. 3.1].

Algorithm 3 provides a refinement algorithm for index T-meshes such that the bisections in the last step can be performed in such an order that each one is admissible, see [165, Proposition 2.13] and [163, Theorem 3.3]. Given an index T-mesh Qˇ and a set of elements Mˇ to be refined with MˇΩˇip, we apply Algorithm 3 to obtain a refined index T-mesh, which we denote by refine_index(Qˇ,Mˇ). The algorithm recursively marks all the neighbors of marked elements that are contained in Ωˇip. To avoid the appearance of undesired T-junctions outside Ωˇip, the boundary prolongation of marked elements is also marked, which is equivalent to extend any T-junction from the boundary of the index/parametric domain Ωˇip to the boundary of the index domain Ωˇind. An example is shown in Fig. 23b. In this example, the neighbors of marked elements are marked, resulting in the refinement of other elements in the white region Ωˇip. Then, also boundary prolongations of marked elements are marked, resulting in the bisection of elements in the gray region outside Ωˇip. Some gray elements are marked but not bisected. Their level has been implicitly increased by one, and they might be bisected the next time they are marked. graphic file with name 11831_2022_9752_Figc_HTML.jpg

Algorithm 3 refines the index T-mesh, but in practice the marked elements will be given in the parametric T-mesh. For this reason we need to introduce a second algorithm. Given a parametric T-mesh Q^, its corresponding index T-mesh Qˇ, and a list of marked elements M^Q^, we apply Algorithm 4 to obtain a refined parametric T-mesh, which we denote by refine(Q^,M^). Note that Algorithm 4 passes the marked elements to their index preimage, then it applies Algorithm 3 to obtain the refined index T-mesh, and finally returns its parametric image. graphic file with name 11831_2022_9752_Figd_HTML.jpg

An example of the application of the refinement algorithm is shown in Fig. 24, starting from a uniform parametric T-mesh of 4×4 elements, and marking always the element in the bottom left corner.

Fig. 24.

Fig. 24

Application of Algorithm 4 starting from a 4×4 parametric T-mesh, with degree p=(5,3), and marking always the element in the bottom left corner. The plot shows the refined parametric T-meshes after 1, 2, 3, and 6 refinement steps. The marked element Q^ is highlighted in dark gray, while all the elements in gray belong to its generalized neighborhood Ngen(Q^), and the elements in light gray belong to its neighborhood N(Q^), and therefore are marked by the refinement algorithm. Note that also the neighbors of these elements, which we do not highlight, are marked for refinement by the algorithm

We define refine(Q^) as the set of all meshes that can be obtained via iterative application of refine to Q^. Moreover, denoting by Q^0 the parametric image of Qˇ0, which is obtained as in (48), we define the set of admissible parametric T-meshes

Q^:=refine(Q^0).
Remark 15

Unfortunately, the admissible refinement in [163, 165] does not take care of repeated knots that appear due to open knot vectors. To our knowledge, two different remedies have been proposed: in [107], the refinement is performed directly on the parametric domain, and the (index) T-mesh is then extended taking into account the repetitions due to the open knot vector; in [62], refinement is performed on the (index) T-mesh, but the algorithm does not bisect intervals with zero length. We have followed the same approach as in [107] with a notation similar to [62], because we believe this notation may be useful for future research on adaptivity with smoothness control, which requires repeated internal knots. Our refinement algorithm provides exactly the same output as [107, Algorithm 2.1]. In fact, Algorithm 4 generates the same parametric T-meshes as [165, Algorithm 2.9] for d^=2 and [163, Algorithm 2.9] for d^=3.

Remark 16

The combination of Algorithm 3 and 4 guarantees that to each parametric T-mesh corresponds a unique index T-mesh, which is the same as in [107]. It is worth noting that this is not true in general, and if we do not apply the refinement algorithms above, the same parametric T-mesh could be generated by two different index T-meshes due to the bisection of elements outside Ωˇip. Note that a change in the index T-meshes implies a change in the basis functions, and consequently in the discrete space.

In the following, we present the most important theoretical results that derive from the refinement algorithm and that were mainly proved in [163165]. The first result states dual-compatibility of admissible meshes. It follows from [165, Theorem 3.6] for d^=2 and from [163, Theorem 6.6] for d^=3, see also Remark 15.

Proposition 16

Let Q^Q^, and let Qˇ be its corresponding admissible index T-mesh. Then, Qˇ is strongly dual-compatible, and thus it is dual-compatible.

The next result states nestedness of the spaces obtained by the refinement algorithm, which is highly non-trivial and not necessarily satisfied by general T-splines. It is proved in [165, Corollary 5.8] for d^=2 and in [164] for d^=3. Note that S^pT(Qˇ0,T0) coincides with the usual spline space S^p(T0) and the next result in conjunction with Proposition 13 thus implies that the T-spline blending functions form a partition of unity.

Proposition 17

Let Q^Q^ and Q^+refine(Q^), and let Qˇ and Qˇ+ be their associated index T-meshes. Then,

S^pT(Qˇ,T0)S^pT(Qˇ+,T0).

The next proposition provides local quasi-uniformity of admissible meshes. Making use of the equivalence of the algorithms mentioned in Remark 15, the assertion follows from [165, Lemma 2.14] for d^=2 and from [163, Lemma 3.5] for d^=3, where the same result was proved for the index T-mesh.

Proposition 18

Let Q^Q^. For any Q^Q^, it holds that

|lev(Q^)-lev(Q^)|1for allQ^Ngen(Q^).

The following result is new. It relates Bézier elements to the elements of the considered admissible T-mesh. The proof is rather technical and is thus postponed to Sect. 4.2.8. Without providing an explicit bound, the fact that the number of Bézier elements on an element is uniformly bounded and that the Bézier elements are of comparable size also follows easily from [107, Lemma 2.5].

Lemma 2

Let Q^Q^ and Q^Q^. Then, Q^ consists either of one Bézier element equal to Q^, or two Bézier elements of measure |Q^|/2.

As an immediate consequence of the previous lemma, we obtain a result analogous to Proposition 15 for elements in the parametric T-mesh.

Proposition 19

Let Q^Q^ and Q^Q^. Then, for all v^L2(Ω^), we have that

J^p,QˇTv^L2(Q^)Cv^L2(Sext(Q^)),

where C>0 depends only on the dimension d^, the degrees pj, and the coarsest knot vectors Tj0.

The next proposition bounds the number as well as the support of T-spline basis functions that live on a given element. The first assertion is an immediate consequence of Lemma 1 and Lemma 2. The second assertion is already proved in [107, Lemma 2.5]. A similar result is also given in [62, Proposition 4.9] for d^=2.

Proposition 20

Let Q^Q^ and Qˇ its corresponding index T-mesh. For any Q^Q^, there exist at most 2(p1+1)(pd^+1) anchors zAp(Qˇ,T0) such that Q^supp(B^z,p). Moreover, there exists qN depending only on the dimension d^ and the degrees pj such that there exists S^Q^ with Sext(Q^){Q^¯:Q^S^}, #S^q, and {Q^¯:Q^S^} is connected.

We conclude this section with a proposition from [165, Sect. 6] for d=2 and from [163, Sect. 7] for d=3, respectively, which states that the possible overrefinement of Algorithm 4 to preserve admissibility is bounded up to some uniform constant by the number of marked elements. Indeed, these references even provide explicit upper bounds for the constant along with numerical experiments on the quality of these bounds.

Proposition 21

There exists a uniform constant C>0 such that for arbitrary sequences (Qk)kN0 in Q with Qk+1=refine(Qk,Mk) for some MkQk and all kN0, it holds that

#Qk-#Q0Cj=0k-1#Mjfor allkN0.

The constant C depends only on the dimension d^, the degrees pj, and the coarsest knot vectors Tj0.

The Role of the Bézier Mesh

The results of the previous section were presented considering the elements of the parametric T-mesh. However, the implementation of isogeometric methods with T-splines is usually based on the Bézier mesh. Indeed, numerical integration is usually performed on Bézier elements, since they are the maximal sets where the restriction of the T-spline functions are polynomials. Moreover, the evaluation of T-spline functions on the local Bézier element can be made through Bézier extraction [188], a local change of basis to represent T-splines as linear combinations of Bernstein polynomials. The Bézier mesh and the matrix of the Bézier extraction operators have been also used in [158] to analyze the linear dependence of T-splines and also to develop refinement algorithms for T-splines [60].

We remark that, thanks to Lemma 2, for admissible meshes it is easy to pass from the Bézier mesh to the parametric T-mesh and vice versa. Therefore, the refinement algorithm could be easily adapted to take as input marked elements on the Bézier mesh. In practice, numerical quadrature must be computed on Bézier elements, so it may be natural to compute the estimator directly on Bézier elements.

Recent Developments on T-Splines

Here we give some details about other sets of T-meshes that have appeared in recent years, which relax the constraints of dual-compatible T-meshes. We stress that all these works are restricted to the two-dimensional case.

Bracco and Cho introduced in [31] a generalization of dual-compatible T-meshes. They replace the concept of overlap by a certain shifting of the anchors, which is then used to introduce the class of weakly dual-compatible T-meshes. They prove that any dual-compatible T-mesh in the sense of [18, 19] is also weakly dual-compatible. However, it is important to remark that this does not hold true with the definition of dual-compatibility in [20], which we are considering, and there are examples of weakly dual-compatible T-meshes that are not dual-compatible and vice versa.

Wei et al. introduced in [211] a refinement strategy with similar ideas to the one in [165], limited to bicubic degree. Marked elements are split into four subelements, with their level increased by one, and to obtain linear independence the refinement is propagated to other elements in just one direction, with their level increased by one half. Making use of the concept of truncated T-splines (which resembles the one for THB-splines), they prove that for T-meshes constructed with their refinement strategy, linear independence holds if the face extensions of the T-mesh, which determine the Bézier mesh, do not intersect.

Different and more involved constraints are introduced by Li and Zhang in [151] to define AS++ T-splines, for which it is possible to prove linear independence and to construct a dual basis. A refinement algorithm for the set of AS++ T-splines is presented in [213]. Although the presentation is limited to bicubic T-splines, the authors plan to generalize their approach to arbitrary degree.

It is important to note that, although the aforementioned works introduce interesting refinement algorithms for T-splines, none of them presents a rigorous analysis of the algorithm’s complexity as in Proposition 21, which is necessary to develop the mathematical theory of adaptivity. For this reason, we have decided to focus on the dual-compatible T-splines studied in [163, 165].

Relation Between an Admissible T-Mesh and its Bézier Mesh

We now give the detailed proof of Lemma 2, which states that any element of an admissible T-mesh contains at most two Bézier elements of equal size.

Proof

The proof is rather technical, although the main idea is not complex. Let Qˇ=index(Q^). Suppose by contradiction that Q^ contains more than two Bézier elements. These must appear after the bisection of an element Qˇ which is finer, in terms of the level, than Qˇ. On the one hand, since the bisection of Qˇ affects the Bézier elements in Q^, it must be sufficiently close to Qˇ. On the other hand, since the mesh is admissible, Qˇ cannot be in the neighborhood of Qˇ. That is, the two elements must be at the same time sufficiently close and far from each other, and we arrive at a contradiction. Let us now begin with the technical part.

Let Qˇ be the associated index T-mesh, let Qˇ=index(Q^)=Πj=1d^(aj,bj), and let us suppose that Q^ contains more than two Bézier elements to arrive at a contradiction. Since we refine by bisection and alternate the refinement directions, it is clear that the bisection of elements of the same level of Q^ will not split it in more than two Bézier elements. Therefore, there must exist an element Qˇ=Πj=1d^(aj,bj), with k=lev(Qˇ)>lev(Qˇ), that has been bisected in direction s=dir(k), such that bisect(Qˇ)Qˇ. This element is translated with respect to Qˇ only in a direction different from s, in the sense that

ajaj<bjbj,for alljs~,for ones~s,

see a two-dimensional example in Fig. 25.

Fig. 25.

Fig. 25

For degree p=(3,3), the element Qˇ (light gray) is bisected in more than two Bézier elements after the bisection of Qˇ (dark gray). The element Qˇ is bisected by the thick black line in direction s=1, and it is translated with respect to Qˇ in direction s~=2

Moreover, there exists an anchor such that its local index vector depends on the bisection of Qˇ, and the support of the associated function intersects Q^. Putting it rigorously, there exists zA(Qˇ) with supp(B^z,p)Q^, such that as+bs2Isloc(z,Qˇ) and zj(aj,bj) for all js.

Without loss of generality, we can assume that QˇΩˇip. Moreover, since Qˇ is admissible we can also assume that the bisection of Qˇ is admissible, i.e., there exists an admissible T-mesh Qˇ such that

Qˇ=refine_index(Qˇ,Qˇ),

and only Qˇ, and eventually prol(Qˇ), have been bisected3. Denoting by Ngen(Qˇ) the generalized neighborhood in Qˇ, since the bisection was admissible and lev(Qˇ)>lev(Qˇ), we know from Proposition 18 that QˇNgen(Qˇ), otherwise it would also be a neighbor. As a consequence, Qˇ and Qˇ must be far from each other, and in particular

|xs~-(xQˇ)s~|>(Dp(k))s~for anyxQˇ. 52

Taking into account the relation between k and s=dir(k), and that s~s, a careful (and tedious) computation gives that

(Dp(k))s=12(k-s+1)/2(ps/2)ford^=2,12(k-s+1)/3(ps+3/2)ford^=3.(Dp(k))s~=12(k-s~+2)/2(ps~/2+1)ford^=2,12(k-s~+3)/3(ps~+3/2)ford^=3,

It is readily seen that the length of an element of level k in the j-th direction is exactly (1/2)(k-j+d^)/d^. Note that Isloc(z,Qˇ) consists of ps+2 indices. Since we consider odd degrees, zs is in the middle position, which means that we only need to check (ps+3)/2 indices. Using the relation between k and s=dir(k), the value of (Dp(k))s, the length of the elements of level k in direction s, and the number of indices, a careful check shows that zQˇ for some element QˇNgen(Qˇ).

As the bisection was admissible, Proposition 18 shows that all elements in Ngen(Qˇ) have level at least equal to k. A similar check in the s~ direction and the fact that z is in one generalized neighbor show that Is~loc(z,Qˇ) is built using only indices corresponding to elements in Ngen(Qˇ). As a consequence, the fact that supp(B^z,p)Q^ is in contradiction with (52).

Finally, the result of the measure of the Bézier elements holds because the elements are refined by bisection.

Other Splines for Adaptive Methods

Our focus in this section has been on (T)HB-splines and analysis-suitable (or dual-compatible) T-splines because the mathematical theory of adaptive isogeometric methods based on these functions is the most advanced one. However, there are other kinds of spline spaces with local refinement capabilities which are successfully used in IGA, especially in the engineering literature, but for which the mathematical theory, especially the convergence theory, has not been studied yet. For completeness, we mention here the most popular ones and address the reader to the cited references for the details.

Probably, the most popular alternative is the one given by locally refined-splines, or LR-splines [37, 80]. They are similar to T-splines, but instead of being defined from the T-mesh, they are directly defined from the Bézier mesh by associating a certain continuity to each edge (or face in 3D). They have been used for IGA for the first time in [130], and after that they have appeared in several papers, see for instance [145, 146]. A refinement algorithm that alternates the refinement direction, similar to the one we detailed for T-splines, has been introduced in [39]. Recently, [175] introduced another refinement algorithm which preserves (local) linear independence of LR-splines. A comparison of LR-splines and THB-splines can be found in [131].

A simpler construction is the one of polynomial splines over hierarchical T-meshes (PHT-splines) [77]. The starting point is a T-mesh, as for LR-splines, but in this case the continuity is the same for all edges. Assuming that the continuity is lower than one half of the degree, it is possible to determine the dimension of the space of piecewise polynomials over the T-mesh [77], and to construct a basis for computations [78, 149]. PHT-splines have been used in isogeometric methods for the first time in [171, 208]. The main drawback of the reduced smoothness of PHT-splines is that it increases the number of degrees of freedom, while its advantage is that basis functions are more localized, and their implementation and analysis is more similar to standard FEM. We refer to the survey [148] for more details about PHT-splines, including a complete list of references.

Another interesting approach for refinement is given by hierarchical T-splines [59, 87], where the initial mesh is defined by analysis-suitable T-meshes, and the refinement is done by applying the algorithm of hierarchical splines, replacing in the construction of H^N-1 in Sect. 4.1 the B-splines of each level by analysis-suitable T-splines of different levels. The main difficulty of this approach is that, to build the T-splines of different levels, the initial T-mesh must be refined globally, but maintaining T-junctions away from each other in such a way that the T-mesh of the next level remains analysis-suitable, see [87] for details.

Finally, we remark that one of the drawbacks of (T)HB-splines compared to T-splines or LR-splines is that it is not allowed to perform anisotropic refinement, since the refinement direction at each level is determined by the (global) refinement between levels4. This constraint is alleviated in the construction of patchwork B-splines in [86], which combines different refinement directions for different regions of the domain, and even different degrees and smoothness.

Adaptivity: Abstract Framework

In this section, we consider an abstract adaptive algorithm of the form

solveestimatemarkrefine 53

See Algorithm 5 below for the formal statement. First, in Sect. 5.1, we give general properties, the so-called axioms of adaptivity from [53], that guarantee convergence of the involved error estimator at optimal algebraic rate. In Sects. 5.2 and 5.3, we consider Algorithm 5 in the frame of FEM and BEM, respectively. These sections provide more concrete properties for the meshes, the refinement, and the ansatz spaces which ensure the axioms of adaptivity and thus guarantee optimal convergence. In Section 6 below, we will show that adaptive IGAFEM and IGABEM fit into the framework of Sects. 5.2 and 5.3, respectively.

Axioms of Adaptivity

We provide a set of sufficient properties for the error estimator as well as for the mesh refinement so that Algorithm 5 below guarantees convergence of the estimator at optimal algebraic rate. These properties are known as axioms of adaptivity and have been introduced in [53]. In one way or another, the axioms arose over the years in various works throughout the literature. In [53, Sect. 3.2], a historical overview on their development can be found. We especially highlight the milestones on rate-optimality [24, 57, 58, 92, 200].

This section is essentially a summary of the results from [53]. As in [53], we mainly focus on the error estimator. This is motivated by the fact that the adaptive algorithm has no other information than the error estimator to steer the mesh refinement. However, at least for FEM, we will show that the corresponding error estimator is equivalent to the so-called total error (which is the sum of error plus data oscillations).

Admissible Meshes

Let Q be a set of finite sets QQ, which we refer to as admissible meshes. Concretely, we will later consider quadrilateral meshes of some Lipschitz-domain Ω or its boundary Γ:=Ω, where admissibility will describe a certain grading property, see also Sects. 4.1.3 and 4.2.5 for details. Let refine(·,·) be a fixed refinement strategy such that, for QQ and marked MQ, it holds that Q+=refine(Q,M)Q with MQ\Q+, i.e., at least the marked elements M are refined, and refine(Q,)=Q. Note that in practice, one cannot expect that only the marked elements are refined. Indeed, to preserve admissibility of our considered quadrilateral meshes, additional elements have to be refined. For arbitrary Q,Q+Q, we write Q+refine(Q), if Q+ is obtained by iterative application of refine and we note that Qrefine(Q). Moreover, we assume that each admissible mesh QQ can be reached via refinement starting from a fixed initial mesh Q0Q, i.e., refine(Q0)=Q. We suppose that #Q<#Q+ for all QQ and all Q+refine(Q) with QQ+. In practice, the latter property is trivially satisfied, but it has to be explicitly assumed within the abstract framework.

Adaptive Algorithm

On each mesh QQ, we want to compute an associated quantity U, think of, e.g., a Galerkin approximation of some PDE solution u. We suppose that we are given an error estimator associated to each mesh QQ, i.e., a function η:Q[0,). At least heuristically, this estimator shall estimate the difference u-U. By abuse of notation, we also write η:=η(Q), where η(S):=(QSη(Q)2)1/2 for all SQ. Based on this error estimator, we consider the adaptive Algorithm 5 of the form (53). graphic file with name 11831_2022_9752_Fige_HTML.jpg

In the module solve and estimate, we compute the quantity Uk and the refinement indicators ηk(Q) of all elements Q in the current mesh Qk, respectively. In the module mark, we determine up to a multiplicative constant Cmin a minimal set of elements MkQk that satisfies the Dörfler marking [85]

θηk2ηk(Mk)2. 54

This means that #MkCmin#S for all sets SQk with θηk2ηk(S)2. If Cmin=, this is always satisfied and allows for uniform refinement, where Mk=Qk. We note that a naive implementation of the Dörfler marking (54) with Cmin=1, which gives the truly minimal set Mk, especially requires sorting of the error indicators, which leads to a log-linear effort. To overcome this disadvantage, [200, Sect. 5] proposed an algorithm to realize it with Cmin=2 in linear complexity. Only recently, [176] showed that linear complexity can also be attained for Cmin=1. Based on the marked elements Mk, the mesh Qk is refined in the module refine.

We stress that an actual implementation of Algorithm 5 will also have some kind of stopping criterion, e.g., k is greater than some given bound KN or if ηk is smaller than some given tolerance τ>0. Moreover, in practice ηk and Qk are not saved but overwritten by ηk+1 and Qk+1, respectively. However, the given form of the algorithm allows to present convergence results in a simple way.

The Axioms

We suppose that we are given some function of perturbations dl:Q×Q[0,), and constants Cstab, Cred, Cref, Cdrel>0, and 0ρred<1 such that there hold the following estimator properties (E1)–(E3) for all QQ and all Q+refine(Q):

(E1)
Stability on non-refined elements: It holds that
|η+(QQ+)-η(QQ+)|Cstabdl(Q,Q+).
(E2)
Reduction on refined elements: It holds that
η+(Q+\Q)2ρredη(Q\Q+)2+Creddl(Q,Q+)2.
(E3)
Discrete reliability: There exists a set R(Q,Q+) with Q\Q+ R(Q,Q+) Q and #R(Q,Q+)Cref(#Q+-#Q) such that
dl(Q,Q+)2Cdrel2η(R(Q,Q+))2,
i.e., the perturbations are essentially controlled by the estimator on the refined elements.

Moreover, with the Dörfler parameter 0<θ1 of Algorithm 5, let Cqo>0 and 0εqo<1 satisfy the following property (E4) for the sequence (Qk)kN0 from Algorithm 5:

(E4)
General quasi-orthogonality: It holds that
0εqo<supδ>01-(1+δ)(1-(1-ρred)θ)Cred+(1+δ-1)Cstab2,
and for all k,NN0 that
j=kk+N(dl(Qj,Qj+1)2-εqoηj2)Cqoηk2,
i.e., the sum of perturbations (minus some minor estimator terms) is controlled by the estimator.
Remark 17

Later, in a more concrete setting, dl(Q,Q+) will always be the error U+-U between the two Galerkin solutions U and U+ corresponding to the meshes Q and Q+, respectively. If the involved bilinear form is symmetric, (E4) even with εqo=0 follows directly from the Pythagoras identity Uj+1-Uj2=u-Uj2-u-Uj+12 in the energy norm and reliability u-Ukηk of the estimator, see also Remark 22.

Moreover, we suppose that we are given constants Cchild, Cclos1 such that there hold the following refinement properties (R1)–(R3):

(R1)
Child estimate: For all QQ, MQ and Q+:=refine(Q,M), it holds that
#Q+Cchild#Q
i.e., one step of refinement leads to a bounded increase of elements.
(R2)
Closure estimate: Let (Qk)kN0 be an arbitrary sequence in Q such that Qk+1=refine(Qk,Mk) with some MkQk for all kN0. Then, for all kN0, it holds that
#Qk-#Q0Cclosj=0k-1#Mj.
This inequality is trivially satisfied if only marked elements are refined. However, in practice, to preserve admissibility of the meshes, additional elements have to be refined. Then, (R2) states that the overall number of elements #Qk can be controlled by #Q0 plus the number of marked elements.
(R3)
Overlay property: For all meshes Q,Q×Q, there exists a common refinement Q+refine(Q) refine(Q×) which satisfies the overlay estimate
#Q+#Q+#Q×-#Q0.

Optimal Convergence for the Error Estimator

The following theorem is the main result of Sect. 5.1. It was already proved in [53, Theorem 4.1 and Corollary 4.8]. For arbitrary s>0, we set

Capx(s):=supN#Q0minQQ(N)(Nsη)[0,] 55

with Q(N):={QQ:#QN}, where η denotes the estimator corresponding to Q. By definition, it holds that Capx(s)< if and only if the error estimator converges as η=O((#Q)-s) if the optimal admissible meshes are chosen. Consequently, an adaptive algorithm is called optimal if the sequence of adaptively generated meshes leads to η=O((#Q)-s) for all s>0 with Capx(s)<.

Theorem 1

Let Q0,θ(0,1], and Cmin[1,] be the input arguments of Algorithm 5, and let (Qk)kN0 and (ηk)kN0 be the meshes and estimators generated by Algorithm 5. Then, there hold:

  • (i)
    Suppose that the axioms (E1)–(E2) hold true at least for Qk+1refine(Qk) and all kN0, and assume that limkdl(Qk,Qk+1)=0. Then, for all 0<θ1 and all Cmin[1,], the estimator converges, i.e.,
    limkηk=0. 56
  • (ii)
    Suppose that the axioms (E1)–(E2) hold true at least for Qk+1refine(Qk) and all kN0 and (E4) holds true as well. Then, for all 0<θ1 and all Cmin[1,], the estimator converges linearly, i.e., there exist constants 0<ρlin<1 and Clin1 such that
    ηk+j2Clinρlinjηk2for allj,kN0. 57
  • (iii)
    Suppose that the axioms (E1)–(E4) as well as (R1)–(R3) hold true. Then, for all 0<θ<θopt:=(1+Cstab2Cdrel2)-1 and all Cmin[1,), the estimator converges at optimal rate, i.e., for all s>0 there exist constants copt,Copt>0 such that
    coptCapx(s)supkN0(#Qk)sηkCoptCapx(s), 58
    where the lower bound relies only on (R1).

The constants Clin,ρlin depend only on ρred,Cqo,εqo, and on θ. The constant Copt depends additionally on Cmin,Cref,Cdrel,εdrel,Cclos,Cover,#Q0, and on s, while copt depends only on Cchild,#Q0, s, and if there exists k0 with ηk0=0 also on k0.

Proof

In the following, we only give a sketch of the proof. For details, we refer to [53, Theorem 4.1 and Corollary 4.8].

Sketch of (i). Elementary calculations show that the axioms (E1)–(E2) and the fact that MkQk\Qk+1 in combination with Dörfler marking (54) lead to estimator reduction: There exist constants 0<ρest<1 and Cest>0 such that

0ηk+12ρestηk2+Cestdl(Qk,Qk+1)2for allkN0. 59

Due to the assumption limkdl(Qk,Qk+1)=0, basic calculus proves (56).

Sketch of (ii). Linear convergence (57) can be equivalently reformulated as

j=k+1ηj2ηk2for allkN0.

The latter follows from estimator reduction (59) and general quasi-orthogonality (E4).

Sketch of (iii). The lower estimate in (58) follows elementarily from the child estimate (R1). The upper bound is more involved. Let jN0. Stability (E1) plus discrete reliability (E3) elementarily yield the existence of some constant 0<q(θ)<1 such that any refinement Q+(j)refine(Qj) with η+(j)2q(θ)ηj2 satisfies the Dörfler marking

θηj2ηj(R(Qj,Q+(j)))2. 60

The heart of the proof is that there exists Q+(j)refine(Qj) with η+(j)2q(θ)ηj2, which additionally satisfies that

#Q+(j)-#Qjηj-1/s. 61

This follows from the definition of Capx(s), the overlay property (R3), and quasi-monotonicity η+(j)η for any QQ with Q+(j)refine(Q). The latter is a consequence of (E1), (E2), and (E3). Since MjQj is an essentially minimal set that satisfies the Dörfler marking (54), (60) gives that

#Mj#R(Qj,Q+(j)).

The closure estimate (R2), discrete reliability (E3), and (61) imply that

#Qk-#Q0j=0k-1#Mjj=0k-1#R(Qj,Q+(j))j=0k-1(#Q+(j)-#Qj)j=0k-1ηj-1/s.

Finally, linear convergence (57) elementarily shows that j=0k-1ηj-1/sηk-1/s. This concludes the proof.

Remark 18

The upper bound in (58) states that the estimator sequence ηk of Algorithm 5 converges with algebraic rate s if Capx(s)<. This means that if a decay with rate s is possible for optimally chosen admissible meshes, the same decay is realized by the adaptive algorithm. Together with the upper bound, the lower bound in (58) states that the convergence rate of the estimator sequence characterizes the theoretically optimal convergence rate.

Abstract Adaptive FEM

This section summarizes the results of the recent own works [103, 105]. For the model problem (17) of Sect. 3.2.1, i.e.,

Pu=finΩ,u=0onΓ:=Ω,

we consider Algorithm 5 in the context of conforming FEM discretizations on a multi-patch geometry Ω as in Sect. 3.1, where adaptivity is driven by the weighted-residual a posteriori error estimator (23), which reads

η(Q)2:=hQ2f-PUL2(Q)2+hQ[DνU]L2(QΩ)2.

We identify the crucial properties of the underlying meshes, the mesh refinement, and the finite element spaces, which ensure that the weighted-residual error estimator fits into the general framework of Sect. 5.1 and which hence guarantee optimal convergence behavior of the adaptive algorithm in the sense of Theorem 1. The main result of this section is Theorem 2. In Sect. 6, we will see that it is applicable to hierarchical splines as well as T-splines.

Axioms of Adaptivity (Revisited)

Meshes Throughout this section, Q is a mesh of the bounded Lipschitz domain ΩRd in the following sense:

  • Q is a finite set of transformed open hyperrectangles, i.e., each element Q has the form Q=Fm(Q^) for some Fm from Sect. 3.1, where Q^=i=1d(ai,bi) is an open d-dimensional hyperrectangle;

  • for all Q,QQ with QQ, the intersection is empty, i.e., QQ=;

  • Ω¯=QQQ¯, i.e., Q is (essentially) a partition of Ω.

Let Q be a set of such meshes. These are referred to as admissible. In order to ease notation, we introduce for QQ the corresponding mesh-width function

hL(Ω),h|Q:=hQ:=|Q|1/dfor allQQ.

For ωΩ¯, we define the element-patches5πq(ω)Ω¯ of order qN0 inductively by

π0(ω):=ω¯,πq+1(ω):={Q¯:QQ,Q¯πq(ω)}. 62

The corresponding set of elements is defined as

Πq(ω):={QQ:Qπq(ω)}forq>0, 63

i.e., πq(ω)=Πq(ω)¯. To abbreviate notation, we set π(ω):=π1(ω) and Π(ω):=Π1(ω). For SQ, we define πq(S):=πq(S) and Πq(S):=Πq(S).

We suppose that there exist constants Cshape, Clocuni > 0 such that all meshes QQ satisfy the following two mesh properties (M1)–(M2):

(M1)
Shape-regularity: It holds that6
diam(Q)/hQCshapefor allQQ.
Since there always holds that hQdiam(Q), this implies that hQdiam(Q).
(M2)
Local quasi-uniformity: It holds that
hQ/hQClocunifor allQQ,QΠ(Q),
i.e., neighboring elements have comparable size.

Mesh refinement We suppose that we are given a refinement strategy refine(·,·) as in Sects. 5.1.1 and  5.1.3. In particular, we suppose the existence of some initial mesh Q0 with refine(Q0)=Q and the refinement axioms (R1)–(R3) hold true. Moreover, we assume that for all QQ and arbitrary marked elements MQ with refinement Q+ := refine(Q,M), it holds that

Q¯={Q¯:QQ+,QQ}for allQQ, 64

i.e., each element Q is the union of its successors.

Finite element space With each QQ, we associate a finite dimensional space

S{vH01(Ω):v|QH2(Q)for allQQ}.

Let US be the corresponding Galerkin approximation, defined via the variational formulation (20), to the solution uH01(Ω) of problem (19).

We suppose that there exist constants qloc,qprojN0 and for all QQ a Scott–Zhang-type projector J:H01(Ω)S such that the following space properties (S1)–(S3) hold for all QQ and all refinements Q+refine(Q):

(S1)
Nestedness: It holds that
SS+.
(S2)
Local domain of definition: For all Q Q\Πqloc(Q\Q+)QQ+ (i.e., Q is in a certain sense far away from the refined elements Q\Q+) and for all V+S+, it holds that
V+|πqproj(Q){V|πqproj(Q):VS}.
(S3)
Local projection property: For all vH01(Ω) and QQ, it holds that
(Jv)|Q=v|Qifv|πqproj(Q){V|πqproj(Q):VS}.

Besides (S1)–(S3), which are also required in the following Sect. 5.3 on abstract adaptive BEM, we suppose the existence of constants Cinv,Csz>0 and qszN0 such that the following FEM properties (F1)–(F3) hold for all QQ:

(F1)
Inverse inequality: For all j,k{0,1,2} with kj, all VS, and all QQ, it holds that
hQ(j-k)VHj(Q)CinvVHk(Q).
(F2)
Local L2-approximation property: For all QQ and all vH01(Ω), it holds that
(1-J)vL2(Q)CszhQvH1(πqsz(Q)).
(F3)
Local H1-stability: For all QQ and vH01(Ω), it holds that
JvL2(Q)CszvH1(πqsz(Q)).

Data Oscillations

The definition of the data oscillations corresponding to the residual error estimator (23) requires some further notation. Let P(Ω) be the set of all (transformed) tensor polynomials of some fixed degree (p,,p) on Ω, i.e., with the patches Ωm from Sect. 3.1.2,

P(Ω):={W:W|ΩmFmpolynomial of degree(p,,p)for allm{1,,M}}.

For QQ and QQ, let PQ:L2(Q){W|Q:WP(Ω)} be the L2-orthogonal projection, i.e.,

v-PQvL2(Q)=minWP(Ω)v-WL2(Q)

for all vL2(Q). For an interior edge in 2D or face in 3D, EEQ:={Q¯Q¯:QQ,dim(Q¯Q¯)=d-1}, where dim(·) denotes the dimension, we define the L2-orthogonal projection PE:L2(E){W|E:WP(Ω)}. Finally, for VS, we define the corresponding oscillations

osc(V):=osc(V,Q)withosc(V,S)2:=QSosc(V,Q)2for allSQ, 65a

where, for all QQ, the local oscillations read

osc(V,Q)2:=hQ2(1-PQ)(f-PU)L2(Q)2+EEQhQ(1-PE)[DνU]L2(E)2. 65b
Remark 19

For the analysis of oscillations in the frame of standard FEM with piecewise polynomials of fixed order, we refer, e.g., to [172].

Remark 20

If SC1(Ω¯), then the jump contributions in (65) vanish and osc(V,Q) consists only of the volume oscillations.

Optimal Convergence

Recall the definition (55) of the approximation constant Capx(s). We say that the solution uH01(Ω) belongs to the approximation class s with respect to the estimator (23), if

Capx(s)<.

Further, we say that it belongs to the approximation class s with respect to the minimal total error if

Capxtot(s):=supN#Q0minQQ(N)(NsinfVS(u-VH1(Ω)+osc(V))<. 66

Note that both approximation classes depend on the considered ansatz spaces, the underlying meshes, and the corresponding refinement strategy.

By definition, Capx(s)< (resp. Capxtot(s)<) implies that the error estimator η (resp. the minimal total error) on the optimal meshes Q decays at least with rate O((#Q)-s). The following main theorem states that each possible rate s>0 is in fact realized by Algorithm 5. It stems from [105, Theorem 2.1] and essentially follows from its abstract counterpart Theorem 1 by verifying the axioms of Sect. 5.1.3 for the perturbations

dl(Q,Q+):=U+-UH1(Ω)for allQQ,andQ+refine(Q).

For piecewise polynomials on shape-regular triangulations of a polyhedral domain Ω, optimal convergence was already proved in [57] for symmetric P and in [58, 92] for non-symmetric P.

Theorem 2

Let (Qk)kN0 be the sequence of meshes generated by Algorithm 5 with Galerkin approximations UkSk. Then, there hold:

  • (i)
    Suppose that (M1)–(M2) and (F2)–(F3) hold true. Then, the residual error estimator satisfies reliability, i.e., there exists Crel>0 such that for all QQ,
    u-UH1(Ω)+osc(U)Crelη. 67
  • (ii)
    Suppose that (M1)–(M2) and (F1) hold true. Then, the residual error estimator satisfies efficiency, i.e., there exists Ceff>0 such that for all QQ,
    Ceff-1ηinfVS(u-VH1(Ω)+osc(V)). 68
  • (iii)

    Suppose that (M1)–(M2), (S1) and (F1) hold true. Then, the axioms (E1)–(E2) as well as the convergence of the perturbations limkdl(Qk,Qk+1)=0 are satisfied. These are exactly the assumptions of Theorem 1 (i), which implies convergence (56) of the estimator.

  • (iv)

    Suppose that (M1)–(M2), (S1) and (F1)–(F3) hold true. Then, the axioms (E1)–(E2) and (E4) are satisfied. These are exactly the assumptions of Theorem 1 (ii), which implies linear convergence (57) of the estimator.

  • (v)

    Suppose (M1)–(M2), (R1)–(R3), (S1)–(S3) and (F1)–(F3) hold true. Then, the axioms (E1)–(E4) as well as (R1)–(R3) are satisfied. These are exactly the assumptions of Theorem 1 (iii), which implies optimal convergence (58) of the estimator.

All involved constants Crel,Ceff,Clin,ρlin,θopt, and Copt (of Theorem 1) depend only on the assumptions made, the dimension d, the coefficients of the differential operator P, diam(Ω), and the parametrization constant CF from Sect. 3.1, where Clin,ρlin depend additionally on θ and the sequence (Uk)kN0 (see also Remark 22), and Copt depends furthermore on Cmin and s. The constant copt depends only on Cchild,#Q0, s, and if there exists k0 with ηk0=0 also on k0 and η0.

Proof

The proof is found in [105, Sect. 4] and details are elaborated in [103, Sect. 4.5]. Indeed, these works consider even more general meshes. They assume additional abstract mesh and refinement properties, given by (69)–(72) below. Moreover, the analysis of [103, 105] requires certain properties of the space P(Ω), which have only been proved for single-patch domains in [105, Sects. 5.11 and 5.12], but the proof easily extends to the considered multi-patch case. Therefore, in the remainder of the proof, we only verify that the assumptions (69)–(72) are automatically satisfied in our setting, and the result follows from [105, Sect. 4].

Let QQ. The properties (M1)–(M2) especially imply the uniform boundedness of the number of elements within an element-patch, i.e.,

#Π(Q)1for allQQ. 69

To see this, we note the elementary inequality |Π(Q)|diam(Π(Q))d. Then, (M1)–(M2) show that diam(Π(Q)) diam(Q)|Q|1/d. On the one hand, we see that |Q||Π(Q)||Q|, i.e., |Π(Q)||Q|. On the other hand, (M2) implies that |Π(Q)| #Π(Q)|Q|. This concludes the proof of (69).

Moreover, it is easy to see that our assumptions on CF of (15) along with (M1) yield that [0,1]d is a reference element in the sense that for all QQQ, there exists a bi-Lipschitz mapping F~Q:[0,hQ]dQ with uniform Lipschitz constants that depend only on CF and (M1). In particular, one obtains the trace inequality

vL2(Q)2(hQ-1vL2(Q)2+vL2(Q)vL2(Q))for allvH1(Ω), 70

and the local Poincaré estimate

hQ-1wH-1(Q)wL2(Q)for allwL2(Ω) 71

for the dual norm wH-1(Q)=sup{Qwvdx: vH01(Q), vH1(Q)=1}. The constants hidden in (70)–(71) depend only on CF and (M1), see, e.g., [103, Proposition 4.2.2 and Proposition 4.2.3] for a proof. The latter inequality (71) is a simple consequence of the classical Poincaré inequality.

The identities (64) and (M2) imply the existence of a uniform constant 0<ρ<1 such that

|Q|ρ|Q|for allQQ,QQ+withQQ, 72

i.e., children are uniformly smaller than their parents. To see this, one can argue by contradiction. If the assertion is wrong, then there exist sequences (Qn)nN and (Qn)nN of such elements with

limn|Qn|-|Qn||Qn|=limn|Qn\Qn||Qn|=0.

However, (64) and (M2) show the existence of QnQn\Qn with |Qn||Qn|, which contradicts the latter equality.

Remark 21

If the assumptions of Theorem 2 (i)–(ii) are satisfied, there holds in particular that

Ceff-1uAsestuAstotCreluAsestfor alls>0.

This also shows that the optimality results in [57, 58, 200] coincide with that of [53, 92].

Remark 22

Only general quasi-orthogonality (E4) depends on the sequence (Uk)kN0. If the bilinear form ·;·P is symmetric, then (E4) follows from the Pythagoras identity u-Uj+1P2+Uj+1-UjP2=u-UjP2 in the P-induced energy norm vP2:=v;vP and norm equivalence

j=kk+NUj+1-UjH1(Ω)2j=kk+NUj+1-UjP2=u-UkP2-u-Uk+N+1P2u-UkH1(Ω)2.

Together with reliability (67), this proves (E4) even for εqo=0, and Cqo is independent of the sequence (Uk)kN0. In this case, the constants Clin,ρlin and Copt in Theorem 2 are independent of (Uk)kN. In the general case, a compactness argument and a priori convergence u-ukH1(Ω)0 as k guarantee that Clin,Copt>0 and 0<ρlin<1 exist, but their size may depend on the possibly slow convergence in the preasymptotic regime of Algorithm 5.

Remark 23

Under the assumption that hkL(Ω)0 as k (which can be easily guaranteed by marking additional elements), one can show that S:=kN0Sk¯=H01(Ω), see [105, Remark 2.7]. This allows to follow the ideas of [23] and to prove Theorem 2 if the bilinear form ·;·P is only elliptic up to some compact perturbation, provided that the continuous problem is well-posed. This includes, e.g., adaptive FEM for the Helmholtz equation. For details, the reader is referred to [23].

Abstract Adaptive BEM

This section summarizes the results of the recent own works [103, 106]. Given the setting of Sect. 3.3.2, we consider Algorithm 5 (with Uk replaced by Φk) in the context of conforming BEM discretizations of our model problem (27), i.e.,

Vϕ=f

on a multi-patch geometry Γ as in Sect. 3.1, where adaptivity is driven by the weighted-residual a posteriori error estimator from (32), which reads

η(Q)2:=hQ|f-VΦ|H1(Q)2for allQQQ.

We identify the crucial properties of the underlying meshes, the mesh refinement, and the boundary element spaces which ensure that the weighted-residual error estimator fits into the general framework of Sect. 5.1 and which hence guarantee optimal convergence behavior of the adaptive Algorithm 5 in the sense of Theorem 1. The main result of this section is Theorem 3.

Axioms of Adaptivity (Revisited)

Meshes Throughout this section, Q is a mesh of the boundary Γ=Ω of the bounded Lipschitz domain ΩRd in the following sense:

  • Q is a finite set of transformed hyperrectangles, i.e., each element Q has the form Q=Fm(Q^) for some Fm from Sect. 3.1, where Q^=i=1d-1(ai,bi) is an open (d-1)-dimensional hyperrectangle;

  • for all Q,QQ with QQ, the intersection is empty, i.e., QQ=;

  • Q is a partition of Γ, i.e., Γ=QQQ¯.

Let Q be a set of such meshes. These are referred to as admissible. In order to ease notation, we introduce for QQ the corresponding mesh-width function

hL(Γ),h|Q:=hQ:=|Q|1/(d-1)for allQQ.

For ωΓ, we define the element-patches πq(ω) of order qN0 and the corresponding set of elements Πq(ω) as in (62)–(63), and we also use the abbreviations from there. As in Sect. 5.2.1, we suppose that shape regularity (M1) and local quasi-uniformity (M2) are satisfied.

Mesh refinement We suppose that we are given a mesh refinement strategy refine(·,·) as in Sect. 5.2.1. In particular, we suppose the existence of some initial mesh Q0 with refine(Q0)=Q and that the refinement axioms (R1)–(R3) hold true. Moreover, we even suppose a stronger version of (64), which ensures that there are only finitely many reference element-patches: For all QQ and arbitrary marked elements MQ with refinement Q+ := refine(Q,M), any refined element QQ\Q+ can only be uniformly bisected in any direction, i.e., for any QQ, the corresponding element in the parametric domain Q^=i=1d-1(ai,bi) is split into elements in the parametric domain of the form

Q^=i=1d-1(ai,bi)withai=ai+(bi-ai)k/nQ,i

for some nQ,iN and k{1,,nQ,i}. Here, nQ,i-1 is the number of (uniform) bisections in direction i. Note that (R1) yields boundedness of all nQ,i. This stronger version is used to prove the auxiliary results (74)–(75) below.

Boundary element spaces With each QQ, we associate a finite dimensional space

SL2(Γ)H-1/2(Γ).

Let ΦS be the corresponding Galerkin approximation, defined via the variational formulation (30), to the solution ϕH-1/2(Γ) of problem (27).

We assume that the same space properties (S1)–(S2) as in Sect. 5.2.1 hold true. Additionally, we assume a slightly stronger version of (S3): For all QQ and all SQ, there exists a linear operator JS:L2(Γ){ΨS:Ψ|(Q\S)=0} with the following property (S3’):

(S3’)
Local projection property. Let qloc,qprojN0 from (S2). For all ψL2(Γ) and QQ with Πqloc(Q)S, it holds that
(JSψ)|Q=ψ|Qifψ|πqproj(Q){Ψ|πqproj(Q):ΨS}.

Clearly, (S3’) coincides with (S3) if S=Q. In contrast to (S3), (S3’) provides a local projection operator that can be additionally used as cut-off operator, which somehow replaces (F2) in the proof of discrete reliability (E3), see [106, Sect. 4.8] for details.

Besides (S1)–(S2) and (S3’), we suppose the existence of constants Cinv,Csz>0, qsupp,qszN0, and 0<ρunit<1 such that the following BEM properties (B1)–(B3) hold for all QQ:

(B1)
Inverse inequality: For all ΨS, it holds that
h1/2ΨL2(Γ)CinvΨH-1/2(Γ).
(B2)
Local approximation of unity: For all QQ, there exists ΨQS with Qsupp(ΨQ)πqsupp(Q), and
1-ΨQL2(supp(ΨQ))ρunit|supp(ΨQ)|1/2.
(B3)
Local L2-stability. For all ψL2(Γ) and all QQ, it holds that
JSψL2(Q)CszψL2(πqsz(Q)).

Optimal Convergence

Recall the definition (55) of the approximation constant Capx(s). With the definitions from Sect. 5.1.1, we say that the solution ϕH-1/2(Γ) belongs to the approximation class s with respect to the estimator (32) if

Capx(s)<.

By definition, Capx(s)< implies that the error estimator η decays at least with rate O((#Q)-s) on the optimal meshes Q. The following main theorem from [106, Theorem 3.4] states that each possible rate s>0 is in fact realized by Algorithm 5. We note that [106] even allows for systems of PDEs (such as the linear elasticity problem) with possibly complex coefficients. The theorem follows essentially from its abstract counterpart Theorem 1 by verifying the axioms of Sect. 5.1.3 for the perturbations

dl(Q,Q+):=Φ+-ΦH-1/2(Γ)for allQQandQ+refine(Q).

Such an optimality result was first proved in [96] for the Laplace operator P=-Δ on a polyhedral domain Ω. As ansatz space, [96] considered piecewise constants on shape-regular triangulations. The work [90] in combination with [6] extends the assertion to piecewise polynomials on shape-regular curvilinear triangulations of some piecewise smooth boundary Γ. Independently, [110] proved the same result for globally smooth Γ and a large class of symmetric and elliptic boundary integral operators.

Theorem 3

Let (Qk)kN0 be the sequence of meshes generated by Algorithm 5 with the corresponding Galerkin approximations ΦkSk. Then, there hold:

  • (i)
    Suppose that (M1)–(M2), (R1), and (B2) hold true. Then, the residual error estimator satisfies reliability, i.e., there exists Crel>0 such that for all QQ,
    ϕ-ΦH-1/2(Γ)Crelη. 73
  • (ii)

    Suppose that (M1)–(M2), (R1), (S1) and (B1) hold true. Then, the axioms (E1)–(E2) and convergence of the perturbations limkdl(Qk,Qk+1) = 0 are satisfied. These are exactly the assumptions of Theorem 1 (i), which implies convergence (56) of the estimator.

  • (iii)

    Suppose that (M1)–(M2), (R1), (S1) and (B1) hold true. Then, the axioms (E1)–(E4) are satisfied. These are exactly the assumptions of Theorem 1 (ii), which implies linear convergence (57) of the estimator.

  • (iv)

    Suppose that (M1)–(M2), (R1)–(R3), (S1)–(S2), (S3’) and (B1)–(B3) hold true. Then, the axioms (E1)–(E3) as well as (R1)–(R3) are satisfied. These are exactly the assumptions of Theorem 1 (iii), which implies optimal convergence (58) of the estimator.

All involved constants Crel,Clin,ρlin,θopt, and Copt (of Theorem 1) depend only on the assumptions made and the dimension d, the coefficients of the differential operator P, the boundary Γ, and the parametrization constants CFm from Sect. 3.1, while Clin,ρlin depend additionally on θ and the sequence (Φk)kN0 (see also Remark 25), and Copt depends furthermore on Cmin, and s>0. The constant copt depends only on Cchild,#Q0, s, and if there exists k0 with ηk0=0, then also on k0 and η0.

Proof

The proof is found in [106, Sect. 4]. Indeed, that work considers even more general meshes. It assumes additional abstract mesh and refinement properties (69) and (72), as in the FEM case, plus (74) and (75), which are automatically satisfied in our setting. We note that (69) and (72) follow along the lines of the proof of Theorem 2. Thus, in the remainder of the proof we only verify that (74) and (75) are satisfied.

Let QQ. The flattening assumption from Sect. 3.1.3, (M1)–(M2), (R1), and the assumption that each element can only be uniformly bisected in any direction imply that there exist only finitely many reference element-patches of elements. This shows that each element lies essentially in the center of its element-patch, i.e., that7

diam(Q)dist(Q,Γ\π(Q))for allQQ; 74

see [103, Sect. 5.5.4] for details. Similarly, one sees that there exist only finitely many reference element-patches of points. This implies for all points zΓ and vH1(Γ) the following Poincaré-type inequality

|v|H1/2(π({z}))diam(π({z}))1/2|v|H1(π({z})), 75

see [103, Sect. 5.5.4].

Remark 24

In contrast to FEM, an efficiency result analogous to (68) for the weighted-residual error estimator η is an open question. Indeed, [7] is the only available result in the literature. However, [7] is restricted to the two dimensional case ΩR2 with piecewise constant ansatz functions. Moreover, additional (regularity) assumptions on the right-hand side f are required. More precisely, it then holds that

ηh1/2(ϕ-Φ)H-1/2(Γ)+osc

with some higher order oscillation term osc.

We also mention that [6] proves a so-called weak efficiency of the weighted-residual estimator, which states that

ηh1/2(ϕ-Φ)L2(Γ)

provided that the sought solution has additional regularity ϕL2(Γ).

Remark 25

As in Remark 22, we mention that only general quasi-orthogonality (E4) depends on the sequence (Φk)kN0. Along the same lines, one sees that this dependence vanishes if the bilinear form V·;· is symmetric.

Remark 26

Let Γ0Γ be an open subset of Γ=Ω and let E0:L2(Γ0)L2(Γ) denote the extension operator that extends a function defined on Γ0 by zero to a function on Γ. We define the space of restrictions H1/2(Γ0):={v|Γ0:vH1/2(Γ)} endowed with the quotient norm v0inf{vH1/2(Γ):v|Γ0=v0} and its dual space H~-1/2(Γ0):=H1/2(Γ0). According to [6, Sect. 2.1], E0 can be extended to an isometric operator E0:H~-1/2(Γ0)H-1/2(Γ). Then, one can consider the integral equation

(VE0ϕ)|Γ0=f|Γ0, 76

where (VE0(·))|Γ0:H~-1/2(Γ0)H1/2(Γ0). In the literature, such problems are known as screen problems, see, e.g., [185, Sect. 3.5.3]. Theorem 3 holds analogously for the screen problem (76). Indeed, the works [6, 90, 96, 110] cover this case as well. To ease the presentation, we only focus on closed boundaries Γ=Ω.

Remark 27

Let us additionally assume that S contains all constant functions, i.e.,

(xc)Sfor allcR.

Then, under the assumption that hkL(Ω)0 as k (which can be easily guaranteed by marking additional elements), one can show that S:=kN0Sk¯ =H-1/2(Γ), see [103, Remark 5.2.9]. This observation allows to follow the ideas of [23] and to prove Theorem 3 even if the bilinear form V·;· is only elliptic up to some compact perturbation, provided that the continuous problem is well-posed. This includes, e.g., adaptive BEM for the Helmhotz equation, see [199, Sect. 6.9]. For details, the reader is referred to [22, 23].

Adaptive IGAFEM in Arbitrary Dimension

In this section, we consider two concrete realizations of the abstract adaptive FEM framework from Sect. 5.2, namely hierarchical splines in Sect. 6.1 and T-splines in Sect. 6.2. To ease the presentation, we focus on single-patch Lipschitz domains ΩRd as in Sect. 3.1. For hierarchical splines, the generalization to multi-patch domains is notationally more involved but straightforward and will thus only be sketched in Sect. 6.1.5, where we comment on the minor changes in the proof. Instead, for T-splines, since the direction of bisection on admissible T-meshes is periodically changed, one cannot avoid hanging nodes at the interfaces of multi-patch domains as in Sect. 6.1.5. This complicates the generalization for T-splines. Indeed, such a generalization is not available yet. For hierarchical splines, the theoretical findings are underlined by numerical experiments in Sect. 6.1.6. For numerical experiments with T-splines and the considered refinement strategy, we refer to [119]. As in Sect. 3.2, in the following we restrict ourselves to the case d^=d, i.e., a d-dimensional domain ΩRd.

Adaptive IGAFEM with Hierarchical Splines

For the IGAFEM setting with hierarchical B-splines, we start with the single-patch domain. Let p:=(p1,,pd) be a vector of positive polynomial degrees and T0 be a multivariate open knot vector on Ω^=(0,1)d with induced initial mesh Q^0:=Q^0. We assume that S^p(T0) and S^pF(TF) with pF and TF from the parametrization F:Ω^Ω (see Sect. 3.1) are compatible to each other as in Sect. 3.2.2. Note that S^p(T0)=S^pH(Q^0,T0), i.e., the starting space corresponds to standard B-splines. We fix the admissibility parameter μ (see (38)) as well as the basis and the kind of meshes that we want to consider, i.e., H-admissible or T-admissible meshes, and abbreviate the set of all corresponding admissible meshes as Q^ and the corresponding refinement strategy as refine(·,·), see Sect. 4.1.3. For all Q^Q^, let S^:=S^pH(Q^,T0)H01(Ω^) be the associated ansatz space in the parametric domain, see Sect. 4.1.1. As in Sect. 3, we define the corresponding quantities in the physical domain via the parametrization F:Ω^Ω, i.e., the meshes are given by

Q:={F(Q^):Q^Q^}for allQ^Q^,Q:={Q:Q^Q^},refine(Q,M):={F(Q^):Q^refine(Q^,M^)}for allQQ,MQwithM^:={F-1(Q):QQ},

and the discrete space associated to Q is defined as

S:={V^F-1:V^S^}.

In the following lemma, we give two bases in terms of (T)HB-splines for S^. The proof is given in [105, Corollary 3.1] and relies on the fact that HB-splines restricted to any (d-1)-dimensional hyperface of the unit cube are again HB-splines. Clearly, these bases can be transferred to the physical domain via the parametrization F. We stress that the chosen basis is theoretically irrelevant for the realization of Algorithm 5 (in particular for the solving step), see also Sect. 6.1.6 for a detailed discussion.

Lemma 3

Let Q^ be a hierarchical (not necessarily admissible) mesh in the parametric domain. Then, the hierarchical B-splines H^p(Q^,T0)H01(Ω^) and the truncated hierarchical B-splines T^p(Q^,T0)H01(Ω^) are both bases of S^.

The given setting fits into the abstract framework of Sect. 5.2, and in particular the axioms for abstract adaptive FEM are satisfied, as we will see in Theorem 4 below. For T-admissible meshes, the proof of this result is implicitly given in [46, 47]. Independently, the theorem has been proved for H-admissible meshes of class μ=2 in [105], see also [103, Sect. 4.4–4.5] for details. We also stress that the last assertion (77) of the theorem is new. It states that the approximation class with respect to the minimal total error and admissible hierarchical meshes defined in (66) is equivalent to the one with arbitrary hierarchical meshes. In particular, the approximation class does neither depend on whether H-admissible or T-admissible meshes are considered nor on the admissibility parameter μ. For its formulation, we set for s>0

Capxtot,H(s):=supN#Q0minQQH(N)(NsinfVS(u-VH1(Ω)+osc(V))).

with

QH(N):={Qhier.\ mesh:#QN}Q(N),

where Q(N):={QQ:#QN}. Here, we say that Q is a hierarchical mesh if the corresponding set Q^ defined via F is a hierarchical mesh in the parametric domain obtained by arbitrary bisections of the initial mesh Q^0. We also note that S as well as osc have actually only been defined for admissible meshes, but the definitions can be extended in an obvious way.

Theorem 4

Hierarchical splines on admissible meshes satisfy the mesh properties (M1)–(M2), the refinement properties (R1)–(R3), and the space properties (S1)–(S3) and (F1)–(F3). The involved constants depend only on the dimension d, the parametrization constant CF of Sect. 3.1, the degree p, the initial knot vector T0, and the admissibility parameter μ. In particular, Theorem 2 is applicable. Together with Theorem 1, this yields reliability (67), efficiency (68), and linear convergence at optimal rate (57)–(58) of the residual error estimator (23), when the adaptive Algorithm 5 is employed. Moreover, for all s>0, there exists Copt>0 depending only on Cclos from (R2) (and thus in particular on μ) and s such that

Capxtot,H(s)Capxtot(s)CoptCapxtot,H(s). 77

The proof of Theorem 4 is split over Sect. 6.1.16.1.4, and it relies mostly on the properties that we have already introduced in Sect. 4.1. Sections 6.1.16.1.3 respectively focus on the verification of the mesh properties (M1)–(M2), the refinement properties  (R1)–(R3), and the space properties (S1)–(S3) and (F1)–(F3), while Sect. 6.1.4 provides the equivalence (77) of the approximation classes.

Remark 28

While (77) states that the approximation class is independent of the admissibility class of the mesh, it clearly depends on the degree p of the space S. An interesting question arises: does the approximation class depend on the continuity of the splines in S? In [25] it is proved that the approximation classes are equivalent for C0 finite elements and discontinuous Galerkin methods. We will show in a numerical test in Sect. 6.1.6 that the same does not hold true for high continuity splines if elements are refined by bisection: for certain functions, the order of the approximation class to which they belong decreases when we increase the continuity.

Remark 29

We also mention that the works [32, 126] have recently proposed local multilevel preconditioners for the stiffness matrix of symmetric problems which lead to uniformly bounded condition numbers on admissible hierarchical meshes, see also Sect. 6.1.6 for some details. An important consequence is that the corresponding PCG solver is uniformly contractive. It has recently been proved in [104] that such a contraction is the key to prove that an adaptive algorithm which steers mesh refinement and an inexact PCG solver leads to optimal convergence not only with respect to the number of elements but also with respect to the overall computational cost (i.e., computational time).

Mesh properties

Shape regularity (M1) is trivially satisfied in the parametric domain, since each refined element is uniformly bisected in each direction. Due to the regularity of the parametrization F of Sect. 3.1, the property transfers to the physical domain.

Local quasi-uniformity (M2) in the parametric domain follows from Corollary 1. Again, the regularity of the parametrization guarantees the property also in the physical domain.

Refinement Properties

The child estimate (R1) is trivially satisfied with Cchild=2d, since each refined element in the parametric domain is uniformly bisected in each direction. The closure estimate (R2) is just the assertion of Proposition 8.

According to [49, Sect. 2.2] (in the case of T-admissible meshes) and [164, Sect. 3.1.4] (in the case of H-admissible), the overlay

Q^+:={Q^Q^:Q^Q^×withQ^Q^}{Q^Q^×:Q^Q^withQ^Q^}

of two admissible meshes Q^,Q^× in the parametric domain is again admissible (of the same class). Obviously, this property immediately transfers to the physical domain. For H-admissible meshes of class μ=2, this result is also found in [105, Sect. 5.5]. Clearly, the resulting mesh Q+ in the physical domain satisfies the overlay property (R3).

Space Properties

Nestedness Nestedness (S1) follows immediately from Proposition 3. The inverse inequality (F1) in the parametric domain follows easily via standard scaling arguments, since each hierarchical spline is a polynomial of fixed degree p on each mesh element, see Proposition 3 (iv). Due to the regularity of the parametrization F of Sect. 3.1, this property transfers to the physical domain.

Local domain of definition We start with an auxiliary result about element-patches.

Lemma 4

Let k1,k2N0, and let Q,QQ be such that QQ\Πk1+k2(Q). Then, Πk1(Q)Q\Πk2(Q).

Proof

By contradiction, let us assume that there exists QΠk1(Q) such that QΠk2(Q). By the definition of element-patches, it is clear that QΠk1(Q). Moreover, for any k,kN0, it holds that Πk+k(Q)=Πk(Πk(Q)), and therefore QΠk1+k2(Q), which contradicts the hypothesis.

It suffices to prove (S2) in the parametric domain. Let Q^Q^ and Q^+refine(Q^), and let us recall from (43) the set IQ^+,new of indices associated to new functions of level as well as the related sets R^+,Ω^R^+, and Ω^Q^ from (44). We now introduce the subdomain formed by the support of their mother functions, namely

Ω^+new:=supp(mot(T^+,i,p)):iIQ^+,new,=0,,N+-1},

with Ω^R^+Ω^+new.

We first show that there exists q1N depending on the degree p and the admissibility class μ such that Ω^R^+Ω^+newπq1(Q^\Q^+): Note that any function T^+,i,p as in the definition of Ω^+new was activated during refinement, hence the support of its mother function must intersect an element in the refined region Q^Q^\Q^+ with level <. Then, any element Q^Q^Q^+ with Q^supp(mot(T^+,i,p)) has obviously level >. The fact that Q^Q^ and Proposition 6 yield that +μ-1. We conclude that all elements in Q^Q^+ intersecting supp(T^+,i,p) have comparable level, which gives the desired result.

This implies that Q^Ω^\Ω^R^+¯=Ω^Q^ for any Q^Q^\Πq1(Q^\Q^+), and by Corollary 3 (which can be proved along the same lines for the current case of homogeneous Dirichlet boundary conditions, see also (78) below), (S2) holds with qloc=q1 and qproj=0. In fact, we see from Lemma 4 that property (S2) holds for any given qprojN, with qloc=qproj+q1.

Scott–Zhang-type operator Due to the regularity of the parametrization F of Sect. 3.1, it is sufficient to provide for all Q^Q^ an operator J^:H01(Ω^)S^ with the properties (S3), (F2)–(F3) in the parametric domain. We define this operator similarly as J^p,Q^H of Sect. 4.1.4, but now have to take into account the homogeneous boundary conditions

J^:H01(Ω^)S^,v^=0N-1iI~λ^i,p(v^)T^i,p, 78

where

I~:=i:B^i,pB^H^p(Q^,T0)H01(Ω^),

B^i,p is the mother B-spline of the THB-spline T^i,p (see (36)), and λ^i,p is the corresponding dual functional from Sect. 2.2.2.

We have seen in Proposition 10 that Sext(Q^) is connected and the number of contained elements is uniformly bounded. In particular, this yields the existence of a uniform constant q2N such that for any element Q^Q^ of level ,

Sext(Q^)πq2(Q^), 79

With Corollary 2, this immediately gives (S3).

Moreover, the local L2-stability of Proposition 11 is also valid for J^, see [48]. Together with the local projection property (S3) and the inverse inequality (F1), the Poincaré (for elements away from the boundary) as well as the Friedrichs inequality (for elements close to the boundary) readily imply for all v^H01(Ω^) and Q^Q^ that

(1-J^)v^L2(Q^)|Q^|1/dv^H1(Sext(Q^))J^v^L2(Q^)v^H1(Sext(Q^)),

see [48] or [105, Sect. 5.10] for details. We conclude (F2)–(F3) with qsz=q2.

Equivalence of Approximation Classes

The assertion (77) follows easily from the closure estimate (R2) and the fact that the minimal total error decreases when the underlying mesh is refined, which itself is an immediate consequence of the nestedness property in Proposition 3(iii). In the following, we elaborate ideas from [79, Appendix C], where a similar assertion on triangular meshes is proved: Since Q(N)QH(N) and hence Capxtot,H(s)Capxtot(s), we only have to prove the second inequality in (77). For any given mesh Q, we abbreviate the considered error quantity

ϱ:=infVS(u-VH1(Ω)+osc(V)).

Clearly, it holds that

ϱ+ϱfor allQ+refine(Q).

Let NN0 be arbitrary and QQH(N) with ϱ=minQQH(N)ϱ. The mesh Q results from the initial mesh Q0 via bisecting a sequence of marked elements (Mj)j=0k-1. We define a sequence of associated admissible meshes via Qj:=refine(Qj-1,Mj-1Qj-1) for j=1,,k, and we define Q¯:=Qk, usually called the admissible closure of Q. Indeed, Q¯ is finer than Q and hence #Q#Q¯. The closure estimate (R2) shows that

#Q¯-#Q0j=0k-1#(MjQj)j=0k-1#Mj#Q-#Q0.

For QQ0, this implies that #Q¯#Q and thus #Q¯CN for some uniform constant C>0. It holds that

minQQ(CN)((CN)sϱ)(CN)sϱ¯CsNsϱCsCapxtot,H(s).

Finally, elementary estimation yields for arbitrary MN0 and N:=M/C that

minQQ(M)(Msϱ)minQQ(CN)((CN)sϱ)Capxtot,H(s).

Taking the supremum over all MN0, we conclude the proof of (77).

Extension to Multi-patch Domains

Let now Ω be a multi-patch domain as in Sect. 3.1.2. For each m=1,,M, let pm be a vector of positive polynomial degrees and Tm0 be a multivariate open knot vector on Ω^=(0,1)d with induced initial mesh Q^0,m:=Q^m0. We assume that S^pm(Tm0) and S^pFm(TFm) with pFm and TFm from the parametrization Fm:Ω^Ωm (see Sect. 3.1.2) are compatible to each other as in Sect. 3.2.2. Note that S^pm(Tm0)=S^pmH(Q^0,m,Tm0). Moreover, we assume that pm and Tm0 satisfy the compatibility condition (P2’) of Sect. 3.2.2. We fix the admissibility parameter μ (see (38)) as well as the basis and the kind of meshes that we want to consider, i.e., H-admissible or T-admissible meshes, and abbreviate for each m=1,,M the set of all corresponding admissible meshes as Q^m, see Sect. 4.1.3. Moreover, we abbreviate Qm:={Qm:Q^mQ^m} with Qm:={Fm(Q^):Q^Q^m}. We define the set of all admissible meshes Q as the set of all

Q=m=1MQmwithQmQm

such that there are no hanging nodes on any interface Γm,m=Ωm¯Ωm¯ with mm, see also (P1) of Sect. 3.1.2.

For QQ, the associated ansatz space is defined as

S:=S~H01(Ω),

where the multi-patch space without boundary conditions is

S~:={VC0(Ω):V|ΩmSpmH(Q^m,Tm0),form=1,,M},

with the space of hierarchical splines on each patch

SpmH(Q^m,Tm0):={V^Fm-1:V^S^pmH(Q^m,Tm0)}.

To obtain bases of the space S, we first define

Hpm(Q^m,Tm0):={β^Fm-1:β^H^pm(Q^m,Tm0)},Tpm(Q^m,Tm0):={τ^Fm-1:τ^T^pm(Q^m,Tm0)}.

The reference [105, Proposition 3.1] shows that HB-splines restricted to any (d-1)-dimensional hyperface of the unit cube are again HB-splines. Hence, the assumption (P2’) is also satisfied if the sets Bpm(Tm) and Bpm(Tm) are replaced by the sets Hpm(Q^m,Tm0) and Hpm(Q^m,Tm0). With a similar proof, one can also show the assertion of [105, Proposition 3.1] for THB-splines. Thus, (P2’) is also valid for the sets Tpm(Q^m,Tm0) and Tpm(Q^m,Tm0). This allows to construct a basis of S~ similarly as in Sect. 3.2.2 by gluing (T)HB-splines together at interfaces. According to [105, Proposition 3.1], discarding all resulting functions that are non-zero on the boundary Ω gives a basis of S.

To obtain admissible meshes starting from the initial one, we adapt the single-patch refinement strategies from Sect. 4.1.3. For arbitrary QQ and QQm with corresponding element Q^:=Fm-1(Q) in the parametric domain, let Nm(Q^)Q^m either denote the corresponding H-neighborhood in the case of H-admissible meshes or the T-neighborhood in the case of T-admissible meshes, see Sect. 4.1.3. We define the neighbors of Q as

N(Q):={QQm:Q^Nm(Q^)}mm{QQm:dim(Q¯Q¯)=d-1},

i.e., apart from the standard neighbors within the patch, we add the adjacent elements from other patches to avoid hanging nodes. Then, it is easy to see that Algorithm 6 returns an admissible mesh. Indeed, one can show that the set of all possible refinements refine(Q0) even coincides with Q, see [103, Proposition 5.4.3] in the case of H-admissible meshes of class μ=2. graphic file with name 11831_2022_9752_Figf_HTML.jpg

We stress that Theorem 4 holds accordingly for the given setting. Here, the mesh properties (M1)–(M2) and the child estimate (R1) are trivially satisfied. The closure estimate (R2) can be proved similarly as in the single-patch case, see [103, Sect. 5.5.7] in the case of H-admissible meshes of class μ=2. The overlay in (R3) can be built patch-wise as in Sect. 6.1.2. Nestedness (S1) follows from Proposition 3. The local domain of definition property (S2) and the inverse inequality (F1) follow similarly as in the single-patch case. It remains to check the Scott–Zhang type properties (S3) and (F2)–(F3). To construct a suitable operator J:H01(Ω)S, one can proceed similarly as in (78) by additionally gluing together THB-splines at interfaces and considering the average of the dual functions at interfaces. Then, the required properties can be seen as in Sect. 6.1.3. Details are left to the reader.

Remark 30

In principle, the requirement that there are no hanging nodes on the interface can be removed. In fact, starting from a level zero mesh without hanging nodes in the multi-patch domain, it is possible to define spline functions with C0 continuity with a support that may intersect different patches as in Sect. 3.2.2. Then, we can define the multi-patch spaces of next levels by uniform refinement of the whole multi-patch domain. These spaces satisfy the conditions given in the abstract setting of [115], and the recursive algorithm for the definition of hierarchical splines can be applied to construct hierarchical multi-patch basis functions, replacing the sequence of B-spline spaces by a sequence of multi-patch spaces with conforming meshes, see [41] and [111, Sect. 3.4]. Most of the definitions of Sect. 4.1, and in particular the neighborhoods, have a seamless extension to this setting. Although quasi-interpolants for the uniform multi-patch case have been introduced in [50], the complete adaptive theory in the non-conforming case has not been analyzed yet, and is beyond the scope of this work.

Numerical Experiments

We now apply the adaptive IGAFEM with hierarchical splines, analyzed in the previous sections, to the Poisson problem. In particular, in (17)-(18), the matrix A is the identity matrix, and b and c are zero. Although not directly covered by our analysis, we also consider non-homogeneous Dirichlet–Neumann boundary conditions for some cases. In all three numerical experiments, we set the degrees p1==pd=:p. The continuity within a patch is taken to be Cp-1 across elements, also for the elements of the coarsest mesh. All the numerical tests of this section are run with THB-splines but, as we mentioned above, the computed solution of the Galerkin problem is the same independently of the basis.

Comments on the use of HB- and THB-splines In spite of having the same solution for HB-splines and THB-splines, the choice of the basis will affect the sparsity pattern and the condition number of the matrix appearing in the linear system, which can also affect the performance of the method.

In particular, the reduced support of THB-splines always gives a lower number of nonzero entries in the matrix when compared to HB-splines, but to control this number it is important to control the interaction between coarse and fine functions, for which it is necessary to use suitable admissible meshes. We recall from Proposition 5 that the number of HB-splines (resp. THB-splines) with support on some fixed element of an H-admissible (resp. T-admissible) is uniformly bounded, while in general this is not the case for HB-splines on T-admissible meshes. The examples in [36, 113] show that the gain in the number of nonzero entries when using THB-splines instead of HB-splines ranges between 10% and 50%, with the biggest gains in T-admissible meshes or non-admissible ones, and the smallest ones in H-admissible meshes. We remark that these numbers depend on the degree p and the admissibility class μ, but also on the kind of refinement (edge refinement, corner refinement...) required for a good approximation of the solution, see the aforementioned references for more details. We also note that, for non-admissible meshes, the number of nonzero entries in the matrix can behave as bad as O(Ndof2), with Ndof the number of degrees of freedom. For instance, this is the case for HB-splines in the meshes of Fig. 15(c). The efficient assembly of the matrix for hierarchical splines is also an important issue, and an active topic of research, as the tensor-product techniques cannot be trivially extended to the hierarchical case. In this sense, the recent work [174] proposes a method based on interpolation and the use of look-up tables, which allows to reduce the complexity compared to Gaussian quadrature, for bivariate HB-splines on H-admissible meshes of class μ=2.

Regarding the condition number, all the numerical tests in [36, 113] show that in any hierarchical mesh the condition number of the mass matrix is always equal or smaller for THB-splines than for HB-splines. Concerning the stiffness matrix, although in most cases the condition number is also lower for THB-splines, the property is not valid in general, and some counterexamples have been shown in the same references. The numerical results from those papers do not show a clear behavior on how the basis and the admissibility class influence the condition number of the stiffness matrix, and as for the nonzero entries, the numbers seem to strongly depend on the kind of refinement (corner refinement, edge refinement...)

Related to the condition number, multigrid solvers and preconditioners for hierarchical splines have been introduced in [125], where the subspace of each level of the preconditioner coincides with the one in the HB-splines construction algorithm, i.e., it is given by spanH^. Local variants of the preconditioner with subspaces for each level formed by functions with support in Ω^ or its vicinity have been analyzed in [32, 126]. In these works, it has been proved that the condition number is uniformly bounded with respect to the number of levels. The numerical results of those papers show a better behavior of the preconditioners for THB-splines than for HB-splines. Moreover, the theoretical analysis also shows that it is necessary to use HB-splines (resp. THB-splines) on H-admissible (resp. T-admissible) meshes to obtain a bounded condition number independent of the number of levels, see [32] for details.

Nevertheless, we cannot give a clear answer about which basis is better to use. While THB-splines improve the sparsity pattern of the matrix, and in most cases behave better with respect to the condition number, the rectangular support of HB-splines may be easier to implement. Still, from the comments above there is one important suggestion we can make: the admissibility type (H- or T-admissible) should be in accordance with the chosen basis. Recall that any H-admissible mesh is also T-admissible by definition, but not vice versa.

Edge singularities on square In the first numerical test, we choose a problem that was already considered in [30, 44]. The domain is given by the unit square Ω=(0,1)2, in such a way that the parametrization F is the identity. We impose homogeneous Dirichlet conditions on the boundary Ω, while the source function f is chosen such that the exact solution is given by

u(x,y)=x2.3(1-x)y2.9(1-y),

which is singular at the edges {0}×(0,1) and (0,1)×{0}. In fact, it can be shown that uHβ-ϵ(Ω), with β=2.3+1/2=1+9/5, for every ϵ>0. Hence, the expected convergence rate for uniform refinement is O(h9/5)=O(Ndof-9/10) with respect to the mesh size h and to the number of degrees of freedom Ndof, respectively.

For the simulation, we consider spaces of hierarchical B-splines with degree p{2,3,4,5}. The initial mesh Q0 consists of 4×4 elements, and Algorithm 5 is run using the residual a posteriori estimator (23). For marking we use Dörfler’s strategy (54) with parameter θ=0.25 and the constant Cmin=1. For refinement, we use Algorithm 2 for T-admissible meshes, with a value of the admissibility class μ=2.

Some meshes for the four different degrees at iteration k=15 are displayed in Fig. 26. It is evident that the adaptive algorithm satisfactorily refines near the edges, specially for high degree.

Fig. 26.

Fig. 26

Test with edge singularities: meshes obtained after 15 iterations of the adaptive algorithm for T-admissible meshes and μ=2

In Fig. 27, we show the behavior of the error in the energy norm and the estimator with respect to the number of degrees of freedom, both for the adaptive method described above and for uniform refinement. It is clearly seen that adaptivity drastically reduces the number of degrees of freedom required to achieve the same numerical error. Moreover, the error and the estimator curves always converge with the same order, as expected from the results of reliability and efficiency of the estimator.

Fig. 27.

Fig. 27

Test with edge singularities: energy error |u-Uk|H1(Ω) and residual estimator for degree p{2,3,4,5}. Comparison of uniform and adaptive refinement

From Fig. 27, it can also be seen that the convergence is not equal to p/2 for high p. In fact, Fig. 28 shows the same convergence rate for degrees p=4 and p=5, which seems equal to 1.8. This behavior was analyzed with heuristic arguments in [103, Sect. 4.6.2], noting that to obtain the optimal convergence rate sopt=p/2 in the presence of edge singularities, it is necessary to consider anisotropic elements in a mesh graded towards the edges, while the bisection refinement that we consider attains at most a convergence rate equal to

s=min(2sunif,sopt),

where sunif is the convergence rate in case of uniform refinement. In this particular test, its value is sunif=0.9, and in fact the convergence rate that we observe in Fig. 28 is twice this value.

Fig. 28.

Fig. 28

Test with edge singularities: energy error |u-Uk|H1(Ω) for degree p from 2 to 5. For high degree, the optimal convergence rate is not reached

Finally, we compare the behavior of the refinement Algorithms 1 and 2, that is, for H-admissible and T-admissible meshes, respectively. We set the degree p=4, and the admissibility class μ=2. For comparison, we also include the results of refinement without ensuring admissibility, that is, refining only elements marked by the marking strategy without any addition, which we denote by μ=. The results presented in Fig. 29 show that the convergence order is the same in the three cases, both for the error and the estimator, as predicted by theory (for μ<). Moreover, in this particular case, there is small difference between the error obtained with the different admissibility types, although the use of non-admissible meshes gives slightly better results in terms of degrees of freedom.

Fig. 29.

Fig. 29

Test with edge singularities: residual estimator and energy error |u-Uk|H1(Ω) for degree p=4. Results for H-admissible and T-admissible meshes of class μ=2, and for non-admissible meshes

Corner singularity on curved L-shaped domain The second numerical test was presented in [36]. We consider the curved L-shaped domain shown in Fig. 30, which is an affine transformation of the benchmark in [76]. The solution is given by

u(x,y)=r2/3sin(2φ/3),

with polar coordinates (x,y)=(rcos(φ),rsin(φ)), by setting f=0 and imposing non-homogeneous Dirichlet boundary conditions on Ω. We note that the domain is formed by three quadratic NURBS patches, and for the discretization we follow the method explained in Remark 30 so that the meshes may be non-conforming on the interfaces.

Fig. 30.

Fig. 30

Curved L-shaped domain: domain and initial mesh

We consider discrete spaces of degree p{2,3,4,5}, with Cp-1 continuity inside each patch, and C0 continuity across the interfaces. For the Dörfler marking (54), we choose the parameter θ=0.9 and Cmin = 1. To understand the role of the admissibility class, we consider both H-admissible meshes as in Algorithm 1, and T-admissible meshes as in Algorithm 2, with the value of the admissibility class μ ranging from 2 to 4. For comparison, we also include results for non-admissible meshes, which we denote as above by μ=. The algorithm is run until we reach a maximum of 13 levels.

In Fig. 31, we show the value of the energy error and the residual estimator with respect to the number of degrees of freedom, considering degree p=2 with uniform refinement and with adaptive refinement for T-admissible meshes of class μ=2. As in the previous test, the error and the estimator converge with the same rate, which in the case of uniform refinement is equal to 1/3, while for adaptive refinement the optimal rate of 1 is reached.

Fig. 31.

Fig. 31

Curved L-shaped domain: energy error and residual estimator for degree p=2, for uniform refinement and adaptive refinement on T-admissible meshes with μ=2

In Fig. 32, we show the results of convergence of the energy error with respect to the number of degrees of freedom for the different degrees and admissibility types considered. In all the tests, non-admissible meshes show a better ratio between the error and the number of degrees of freedom than any other choice. Moreover, T-admissible meshes and higher values of μ require less degrees of freedom than H-admissible ones and lower values of μ, respectively, to attain the same error. We note, however, that except for degree p=2 the asymptotic regime has not been reached. In fact, from Fig. 32a and 32b it seems that, in the asymptotic regime, the error will be very similar for all the admissibility classes. However, H-admissible meshes with low values of μ need more iterations to reach the asymptotic behavior. See also the results for the L-shaped domain in [105] and [103, Sect. 4.6.3].

Fig. 32.

Fig. 32

Curved L-shaped domain: energy error |u-Uk|H1(Ω) for degree p from 2 to 5, and for different values of the admissibility class μ, both for H-admissible and T-admissible meshes

This behavior can be better understood with the help of the plots in Fig. 33, where we show the mesh after 8 refinement steps for degree p=4 and for different types of admissibility. While the estimator satisfactorily marks elements to refine the mesh towards the corner, to maintain the admissibility of the mesh, the refinement algorithm forces to refine some elements away from it. This behavior is more significant for H-admissible meshes than for T-admissible meshes, and also for lower values of the admissibility class μ than for higher ones.

Fig. 33.

Fig. 33

Curved L-shaped domain: mesh after 8 refinement steps for degree p=4

Test about the approximation class The following test shows that the approximation class depends on the continuity of the discrete spaces.

The domain is the unit square Ω=(0,1)2, we set homogeneous Dirichlet boundary conditions, and the right-hand side is chosen such that, for parameters 0<a<b<1, the exact solution is given by

u(x,y)=sin2π(x-a)b-asin(πy),ifaxb,0,elsewhere.

The solution is smooth everywhere except at the vertical lines x=a and x=b, where it is only C1 and it has edge singularities. To understand how the approximation class depends on the continuity, we run the adaptive algorithm starting from a mesh Q0 of 2×2 elements, with the Dörfler marking (54) with parameters θ=0.5 and Cmin=1, for fixed degree p=4 and T-admissibility with μ=4, and we change the continuity using C1, C2, and C3 hierarchical splines. We run two different tests: in the first one we choose a=1/4 and b=3/4, in such a way that the singularity lines coincide with lines of the mesh; in the second test we set a=1/5 and b=4/5, in such a way that, since we always refine by bisection, the singularity lines can never coincide with lines of the mesh. We note that in the second test we increased the number of quadrature points per element, to compute accurately the integrals on elements crossed by the singularity lines.

The errors in the energy norm for the first test are shown in Fig. 34a. Similar to the edge singularity case from above, we see that for high continuity splines the convergence rate is only O(Ndof-3/2), while uniform refinement (not displayed) leads to O(Ndof-3/4). Instead, for C1 splines we obtain the convergence rate O(Ndof-p/2), and the same rate is also obtained for uniform refinement (not displayed). This test shows with a simple example that the approximation classes depend on the continuity. Indeed, the results suggest that the solution belongs to the approximation class -2 for C1 splines, while it only belongs to the approximation class -3/2 for C2 and C3 splines. This differs from the result in [25], which states that the approximation classes for C0 piecewise polynomials and discontinuous Galerkin methods are identical. The corresponding proof exploits that the solution uH01(Ω) has vanishing jumps across element boundaries. Generalizing the argument to smooth splines would likely require that also the jumps of certain derivatives of u vanish, which is not the case for the currently considered u.

Fig. 34.

Fig. 34

Test about the approximation class: energy error |u-Uk|H1(Ω) for degree p=4 and T-admissible meshes with μ=4, with THB-splines of different continuity

The reason why the function belongs to different classes is the fact that the singularity line coincides with a line of the mesh. Indeed, the results of the second test displayed in Fig. 34b show the same convergence rate, equal to O(Ndof-3/2) independently of the continuity. It seems that, under the condition of refining by bisection, the same convergence rate as for the smooth solution can only be recovered if the singularity lines can be aligned with the mesh. Nevertheless, adaptive refinement at least doubles the convergence rate O(Ndof-3/4) for uniform refinement (not displayed).

Dirichlet–Neumann conditions on twisted thick ring in 3D The third numerical test was considered in [30]. The domain Ω consists of a twisted thick ring, obtained by linear interpolation of two surfaces, where the lower one is a quarter of an annulus with inner radius equal to one and outer radius equal to two, and the upper one is the same surface rotated by 90 degrees around the z-axis, and translated by the vector (0.5, 0, 1), as shown in Fig. 35. We set the source term f=0 and impose homogeneous Dirichlet conditions everywhere, except on the upper boundary where we impose the Neumann condition u/n=1. In this case the exact solution is not known, but we plot in Fig. 36 an approximate solution computed in a fine mesh and the magnitude of its gradient. It can be seen that the boundary conditions generate singularities on the edges of the upper boundary.

Fig. 35.

Fig. 35

Twisted thick ring: coordinates of the domain

Fig. 36.

Fig. 36

Twisted thick ring: approximate solution and the magnitude of the gradient

For this numerical test, and due to the presence of a Neumann condition u/n=ϕN on ΓN, the weighted residual error estimator (23) is replaced by

ηN(Q)2:=η(Q)2+hQϕN-U/nL2(QΓN)2,

see, e.g., [53, Sect. 11]. For the Dörfler marking (54), we use the values θ=0.75 and Cmin=1. Starting from an initial mesh of one single element, we run numerical tests for THB-splines of degree p=2,3,4, and with T-admissible meshes with different admissibility classes.

Since the exact solution is not known, Fig. 37 shows only the values of the error estimator for different choices of the degree and the admissibility class. We also compare the results with the ones obtained for uniform refinement. As in the case of edge singularities, and since we do not allow anisotropic refinement, the optimal order of convergence, which is equal to sopt=p/3, is only reached for degree p=2. Heuristic arguments similar to those used in the 2D case tell us that, in general, the convergence order that we obtain for edge singularities in the 3D case is equal to

s=min(3sunif,sopt),

where again sunif is the convergence rate for uniform refinement, which in this particular case is sunif0.25. Regarding the impact of the admissibility class μ, as in the two-dimensional examples lower values of μ require more degrees of freedom, although the convergence rate is the same for all the admissibility classes. The plot of the meshes in Fig. 38 shows that this is due to the refinement away from the singularity, which is necessary to maintain the admissibility class.

Fig. 37.

Fig. 37

Twisted thick ring: comparison of the error estimator for uniform refinement and adaptive refinement with different degree p and admissibility class μ

Fig. 38.

Fig. 38

Twisted thick ring: meshes for degree p=3 and different values of the admissibility class μ after eight refinement steps

Adaptive IGAFEM with T-Splines

We now apply the adaptive IGAFEM setting to T-splines on a single-patch domain. Let p:=(p1,,pd) be a vector of positive polynomial degrees and T0 be a multivariate open knot vector on Ω^=(0,1)d with induced initial index T-mesh Qˇ0 (see Sect. 4.2.2). We assume that S^p(T0) and S^pF(TF) with pF and TF from the parametrization F:Ω^Ω (see Sect. 4.1.1) are compatible to each other as in Sect. 3.2.2. Note that S^p(T0)=S^pT(Qˇ0,T0), i.e., the initial space corresponds to tensor-product B-splines. We choose the refinement strategy refine(·,·) of Sect. 4.2.5, which induces the set of all admissible meshes Q^. For all Q^Q^ with corresponding index T-mesh Qˇ (see Remark 16), let S^:=S^pT(Qˇ,T0)H01(Ω^) be the associated ansatz space in the parametric domain, see Sect. 4.2.3. As in Sect. 3, we define the corresponding quantities in the physical domain via the parametrization F:Ω^Ω, i.e.,

Q:={F(Q^):Q^Q^}for allQ^Q^,Q:={Q:Q^Q^},refine(Q,M):={F(Q^):Q^refine(Q^,M^)}for allQQ,MQwithM^:={F-1(Q):QQ},

and the discrete space on mesh Q is given by

S:={V^F-1:V^S^}.

In the following lemma, we give a basis in terms of T-spline blending functions for S^. The proof is given in [105, Lemma 3.2] and relies on the fact that, due to the lack of T-junctions in the frame region Ωˇind\Ωˇip, T-spline blending functions restricted to any (d-1)-dimensional hyperface of the unit hypercube are B-splines corresponding to the induced mesh on this hyperface. We note that the anchors corresponding to these basis functions are precisely the ones on the boundary of the region of active anchors, see Sect. 4.2.3. Clearly, this basis can be transferred to the physical domain via the parametrization F.

Lemma 5

Given Q^Q^, the T-spline blending functions {B^z,p:zAp(Qˇ,T0)}H01(Ω^) provide a basis of S^. Here, the functions B^z,p are defined as in (49).

The given setting fits into the abstract framework of Sect. 5.2, in particular it satisfies the assumptions of Theorem 3, which has been proved in [107]. We only sketch the proof in Sects. 6.2.16.2.3. As already mentioned at the beginning of Sect. 6, the multi-patch case is essentially open. For numerical experiments validating Theorem 5, we refer to [119].

Theorem 5

T-splines on admissible meshes satisfy the mesh properties (M1)–(M2), the refinement properties (R1)–(R3), and the space properties (S1)–(S3) and (F1)–(F3). The involved constants depend only on the dimension d, the parametrization constant CF of Sect. 3.1, the degree p, and the initial knot vector T0. In particular, Theorem 2 is applicable. In conjunction with Theorem 1, this yields reliability (67), efficiency (68), and linear convergence at optimal rate (57)–(58) of the residual error estimator (23), when the adaptive Algorithm 5 is employed.

Remark 31

We also mention that [62] has recently introduced a local multilevel preconditioner for the stiffness matrix of symmetric problems which leads to uniformly bounded condition numbers for T-splines on admissible T-meshes. An important consequence is that the corresponding PCG solver is uniformly contractive. As for hierarchical splines, see Remark 29, [104] thus allows to prove that an adaptive algorithm which steers mesh-refinement and an inexact PCG solver leads to optimal convergence rates both with respect to the number of elements and with respect to the computational cost.

Mesh Properties

Shape regularity (M1) is trivially satisfied in the parametric domain, since the direction in which an element is bisected periodically alternates after each refinement. Due to the regularity of the parametrization F of Sect. 3.1, the property transfers to the physical domain.

Local quasi-uniformity (M2) in the parametric domain follows from Remark 13 together with Proposition 18. Again, the regularity of the parametrization guarantees this property also in the physical domain.

Refinement Properties

The child estimate (R1) is trivially satisfied with Cchild=2, since each refined element in the parametric domain is only bisected in one direction. The closure estimate (R2) is just the assertion of Proposition 21.

For d=2, [165, Sect. 5] shows that the overlay

Q^+:={Q^Q^:Q^Q^×withQ^Q^}{Q^Q^×:Q^Q^withQ^Q^}

of two admissible meshes Q^,Q^× in the parametric domain is again admissible. The proof also extends to the three-dimensional case d=3. Obviously, this property immediately transfers to the physical domain. Clearly, the resulting mesh Q+ in the physical domain satisfies the properties in (R3).

Space Properties

Nestedness (S1) follows from Proposition 17. The inverse inequality (F1) in the parametric domain follows easily from Lemma 2 and standard scaling arguments, since each T-spline is a polynomial of fixed degree p on each element of the Bézier mesh. Due to the regularity of the parametrization F of Sect. 3.1, the property transfers to the physical domain. The local domain of definition property (S2) follows easily from Lemma 5, Proposition 20, and the definition of T-spline blending functions, see [107, Sect. 3.3] for details.

Scott–Zhang type operator Due to the regularity of the parametrization F of Sect. 3.1, it is sufficient to provide for all Q^Q^ an operator J^:H01(Ω^)S^ satisfying the properties (S3) and (F2)–(F3) in the parametric domain. We define this operator similarly as J^p,QˇT of Sect. 4.2.4, but now have to take into account the homogeneous boundary conditions

J^:H01(Ω^)S^,v^zAp(Qˇ,T0)B^z,pH01(Ω^)λ^z,p(v^)B^z,p,

where λ^z,p is defined as in (50).

The second property of Proposition 20 particularly implies the existence of a uniform constant q1 such that for all Q^Q^,

Sext(Q^)πq1(Q^).

With Corollary 4, this immediately gives (S3). Moreover, the local L2-stability of Proposition 19 is also valid for J^ as the corresponding proof only relies on estimates of the dual functionals. Together with the local projection property (S3) and the inverse inequality (F1), the Poincaré (for elements away from the boundary) as well as the Friedrichs inequality (for elements close to the boundary) readily imply for all v^H01(Ω^) and Q^Q^ that

(1-J^)v^L2(Q^)|Q^|1/dv^H1(Sext(Q^))J^v^L2(Q^)v^H1(Sext(Q^)),

see [107, Sect. 3.3] for details. We conclude (F2)–(F3) with qsz=q1.

Adaptive IGABEM in Arbitrary Dimension

In this section, we consider two concrete realizations of the abstract adaptive Galerkin BEM framework from Sect. 5.3. We consider hierarchical splines in Sect. 7.1, assuming that the boundary Γ is a multi-patch domain. Convergence results in this setting are proved in [103, Sects. 5.4 and 5.5] and [108] for H-admissible meshes, and leveraging on [46, 47], we extend them to T-admissible meshes. The theoretical findings are underlined by numerical experiments in Sect. 7.1.2. Then, in Sect. 7.2, we present an adaptive IGABEM based on T-splines. In contrast to IGAFEM, it is easy to define a suitable refinement strategy on the multi-patch domain Γ as we do not enforce continuity across interfaces. The corresponding results are new, but mostly follow from [107].

Finally, in Sect. 7.3, we also consider an adaptive IGABEM in 2D which additionally controls the smoothness of the used one-dimensional spline ansatz space as in [93]. Although the theoretical results of Sect. 5.3 are not directly applicable in the setting of adaptive smoothness, optimal convergence can be proved with similar techniques.

Adaptive IGABEM with Hierarchical Splines

Hierarchical meshes on the boundary ΓRd, d2, can be defined similarly as in the IGAFEM setting in Sect. 6.1.5: for each m=1,,M, let pm be a vector of positive polynomial degrees and Tm0 be a multivariate open knot vector on Γ^=(0,1)d^, d^=d-1, with induced initial mesh Q^0,m:=Q^m0. We assume that S^pm(Tm0) and S^pFm(TFm) with pFm and TFm from the parametrization Fm:Γ^Γm (see Sect. 3.1.2) are compatible to each other as in Sect. 3.2.2. Note that the coarsest spaces are S^pm(Tm0)=S^pmH(Q^0,m,Tm0), i.e., they correspond to tensor-product B-splines on each patch. Moreover, we assume for the initial mesh Q0=m=1MQ0,m with Q0,m:={Fm(Q^):Q^Q^0,m} that there are no hanging nodes between patch interfaces Γm,m=Γm¯Γm¯ with mm, see also (P1) of Sect. 3.1.2.

We fix the admissibility parameter μ as well as the kind of mesh that we want to consider, i.e., H-admissible or T-admissible meshes, and abbreviate for each m=1,,M the set of all corresponding admissible meshes as Q^m, see Sect. 4.1.3. Moreover, we abbreviate Qm:={Qm:Q^mQ^m} with Qm:={Fm(Q^):Q^Q^m}. We define the set of all admissible meshes Q as the set of all

Q=m=1MQmwithQmQm

such that there are no hanging nodes on any interface Γm,m=Γm¯Γm¯ with mm.

For QQ, the associated ansatz space is defined as

S:={VL2(Γ):V|ΓmSpmH(Q^m,Tm0),form=1,,M},

where

SpmH(Q^m,Tm0):={V^Fm-1:V^S^pmH(Q^m,Tm0)}.

To obtain bases of the space S, we first define

Hpm(Q^m,Tm0):={β^Fm-1:β^H^pm(Q^m,Tm0)},Tpm(Q^m,Tm0):={τ^Fm-1:τ^T^pm(Q^m,Tm0)}.

Since the ansatz functions do not have to be continuous across interfaces, a basis of S is given by

S=span(m=1MHpm(Q^m,Tm0))=span(m=1MTpm(Q^m,Tm0)), 80

where we extend the involved (T)HB-splines, which actually only live on Γm, by zero to the whole boundary Γ. We stress that the chosen basis is theoretically irrelevant for the realization of Algorithm 5 (in particular for the solving step), see also Sect. 6.1.6 for a detailed discussion in the case of IGAFEM.

Remark 32

We note that it is actually not necessary to forbid hanging nodes at interfaces, but it would be sufficient to control the size difference between intersecting elements. However, in contrast to weakly-singular integral equations, hypersingular integral equations, which result from Neumann problems (see, e.g. [159, Chapter 7]), require continuous trial functions. As in Sect. 6.1.5, one sees that the conformity property (P2’) of Sect. 3.2.2 is satisfied for (T)HB-splines on admissible meshes provided that pm and Tm0 satisfy (P2’), which is slightly stronger than assuming that there are no hanging nodes at interfaces. Thus, corresponding basis functions can easily be constructed, and admissible meshes are suited for both the weakly- and the hypersingular case. Alternatively, one can also proceed as in Remark 30, applying conformity at each level and then defining directly hierarchical multi-patch functions.

To obtain admissible meshes starting from the initial one, we can essentially employ the same refinement algorithm as in Sect. 6.1.5: For arbitrary QQ and QQm with corresponding element Q^:=Fm-1(Q) in the parametric domain, let Nm(Q^)Q^m either denote the corresponding H-neighborhood in the case of H-admissible meshes or the T-neighborhood in the case of T-admissible meshes, see Sect. 4.1.3. We define the neighbors of Q as

N(Q):={QQm:Q^Nm(Q^)}mm{QQm:dim(Q¯Q¯)=d-1},

i.e., as in the IGAFEM case of Sect. 6.1.5, we add to the neighborhood adjacent elements from other patches. Then, it is easy to see that Algorithm 7 returns an admissible mesh. Indeed, one can show that the set of all possible refinements refine(Q0) even coincides with Q, see [103, Proposition 5.4.3] in the case of H-admissible meshes of class μ=2. graphic file with name 11831_2022_9752_Figg_HTML.jpg

The given setting fits into the abstract framework of Sect. 5.3. So far, this is only proved in [103, Sects. 5.4 and 5.5] and [108] for H-admissible meshes of class μ=2. However, building on [46, 47], where IGAFEM on T-admissible meshes has been considered, the generalization to arbitrary admissible meshes is indeed straightforward. We only sketch the proof in Sect. 7.1.1. Note that most of the properties have already been verified in Sect. 6.1 for IGAFEM-meshes.

Theorem 6

Hierarchical splines on admissible meshes satisfy the mesh properties (M1)–(M2), the refinement properties (R1)–(R3), and the space properties (S1)–(S2), (S3’), and (B1)–(B3). The involved constants depend only on the dimension d, the parametrization constants CFm of Sect. 3.1, pm, Tm0, and μ. In particular, Theorem 3 is applicable. In conjunction with Theorem 1, this yields reliability (73) and linear convergence at optimal rate (57)–(58) of the residual error estimator (32), when the adaptive Algorithm 5 is employed.

Mesh, Refinement, and Space Properties

The mesh properties (M1)–(M2) follow as in Sect. 6.1.1. The refinement properties (R1)–(R3) follow as in Sects. 6.1.2 and 6.1.5. The properties (S1)–(S2) follow as in Sect. 6.1.3, see also [103, Sect. 5.5.12] for details.

For H-admissible meshes of class μ=2, the proof of (B1) is given in [103, Sect. 5.5.9], which itself strongly builds on a similar result for simplicial meshes [72]. However, we stress that the proof only hinges on the mesh properties (M1)–(M2) and the fact that hierarchical splines are polynomials on all elements in the parametric domain (see Proposition 3 (iv)), and the result hence extends to arbitrary admissible hierarchical meshes.

The reference [103, Proposition 5.5.5] states that the local approximation of unity property (B2) is satisfied if there exists a finite subset BS whose elements are non-negative, local in the sense that for all βB there exists QQ and a uniform constant qN such that supp(β)πq(Q), and form a partition of unity. According to Proposition 4 (i) and (79), these assumptions are fulfilled for THB-splines

B:=m=1MTpm(Q^m,Tm0).

Scott–Zhang type operator Since the ansatz functions do not have to be continuous at interfaces and due to the regularity of the parametrization Fm of Sect. 3.1, it is sufficient to provide for each patch Γm and S^mQ^m an operator

J^m,S^m:L2(Γ^){Ψ^mSpmH(Q^m,Tm0):Ψ^m|(Q^m\S^m)=0}

which satisfies (S3’) and (B3). We define this operator similarly as J^p,Q^H of Sect. 4.1.4, but now have to take into account that the output should only live on S^m by discarding all THB-splines that have support entirely outside of this set. Then the local projection property (S3’) as well as the local L2-stability (B3) for the operator J^m,S^m can be shown as in Sect. 6.1.3. Details for hierarchical splines on H-admissible meshes of class μ=2 are found in [103, Sect. 5.5.14].

Numerical Experiments

We now apply the adaptive IGABEM with HB-splines analyzed in the previous sections. We consider the 3D Laplace operator P:=-Δ as partial differential operator, and we present two numerical experiments that were already considered in [103, Sect. 5.6]: a quasi-singular solution on a thick ring and an exterior problem on a cube. For numerical experiments with (one-dimensional) hierarchical splines in 2D, we refer to [88]. The fundamental solution of -Δ in 3D is given by

G(z):=14π1|z|for allzR3\{0},

and the resulting single-layer operator V:H-1/2(Γ)H1/2(Γ) is elliptic, see Sect. 3.3.2. Throughout, we use H-admissible hierarchical meshes of class μ=2 and the basis of (non-truncated) HB-splines given in (80) for the considered ansatz spaces. An explanation on how the involved singular integrals are computed via suitable Duffy transformations and subsequent standard tensor Gaussian quadrature is given in [103, Sect. 5.6], see also [185, Chapter 5] and [135, Sect. 7.1]. We mention that no compression techniques have been used for the dense Galerkin matrices. Moreover, to ease computation, the term hQ=|Q|1/2 in the estimator (32) is replaced by the equivalent term diam(Γ)|Q^|1/2 with the corresponding element Q^ in the parametric domain.

Quasi-singularity on thick ring For given Dirichlet data gH1/2(Γ), we consider the interior Laplace–Dirichlet problem

-Δu=0inΩ,u=gonΓ, 81

on the (quarter of a) thick ring

Ω:={10-1(rcos(φ),rsin(φ),z):r(1/2,1),φ(0,π/2),z(0,1)};

see Fig. 39 for an illustration. The boundary of Ω is described by six patches of rational splines of degrees 1 and 2, without any internal knots, see [103, Sect. 5.6.2] for a precise parametrization of the boundary.

Fig. 39.

Fig. 39

Quasi-singularity on thick ring: Hierarchical meshes generated by Algorithm 5 (with θ=0.5) for hierarchical splines of degree p=1

Then, (81) can be equivalently rewritten as an integral equation in the form of (28). In particular, the normal derivative ϕ:=νu of the weak solution u of (81) satisfies Vϕ=(K+1/2)g. We prescribe the exact solution of (81) as the shifted fundamental solution

u(x):=G(x-y0)=14π1|x-y0|,

with y0:=10-1(0.95·2-3/2,0.95·2-3/2,1/2)R3\Ω¯. Although u is smooth in Ω¯, it is nearly singular at the midpoint y~0:=10-1(2-3/2,2-3/2,1/2) of the front surface. The normal derivative ϕ=νu of u is given by

ϕ(x)=-14πx-y0|x-y0|3·ν(x).

We consider polynomial degrees p{0,1,2}. For the initial ansatz space with spline degree pm:=(p,p) for all m{1,6}, we choose one single element on each patch as initial mesh, and when refining we consider the maximum continuity Cp-1 within each patch. We choose the parameters of Algorithm 5 as θ=0.5 and Cmin=1. In the lowest-order case p=0, we modify the refinement strategy of Algorithm 7 by setting for all QQm,

N(Q):={QQm:Q¯Q¯lev(Q)<lev(Q)}mm{QQm:dim(Q¯Q¯)=d-1}, 82

i.e., within the patch we mark any coarser element which intersects Q, and we add adjacent elements from other patches to avoid hanging nodes. For comparison, we also consider uniform refinement, where we mark all elements in each step, i.e., Mk=Qk for all kN0. This leads to uniform bisection of all elements. In Fig. 39, some adaptively generated hierarchical meshes are depicted.

To (approximately) compute the energy error, we use extrapolation: Let ΦkSk be the Galerkin approximation of the k-th step with the corresponding coefficient vector ck, and let Vk be the Galerkin matrix. With Galerkin orthogonality (31), which yields that V(ϕ-Φk);Φk=0, and the energy norm ϕV2=Vϕ;ϕ obtained (as, e.g., in [55]) by Aitken’s Δ2-extrapolation, we can compute the energy error as

ϕ-ΦkV2=ϕV2-ΦkV2=ϕV2-ckVkck. 83

In Figs. 40 and 41, we plot the approximated energy error ϕ-ΦkV and the error estimator ηk against the number of elements #Qk. Although we only proved reliability (73) of the employed estimator, the curves (in a double-logarithmic plot) for the error and the estimator are parallel in each case, which numerically indicates reliability and efficiency, see also Remark 24 which states efficiency in a slightly weaker sense. Since the solution ϕ is smooth, the uniform and the adaptive approach both lead to the optimal asymptotic convergence rate O((#Qk)-3/4-p/2), see [185, Corollary 4.1.34]. However, ϕ is nearly singular at y~0, which is why adaptivity yields a much better multiplicative constant.

Fig. 40.

Fig. 40

Quasi-singularity on thick ring: Energy error ϕ-ΦkV and estimator ηk of Algorithm 5 for hierarchical splines of degree p are plotted versus the number of elements #Qk. Uniform and adaptive (θ=0.5) refinement is considered

Fig. 41.

Fig. 41

Quasi-singularity on thick ring: The energy errors ϕ-ΦkV of Algorithm 5 for hierarchical splines of degree p{0,1,2} are plotted versus the number of elements #Qk. Uniform (for p=2) and adaptive (θ=0.5 for p{0,1,2}) refinement is considered

Exterior problem on cube We consider the exterior Laplace–Dirichlet problem

-Δu=0inR3\Ω¯,u=gonΓ, 84a

for given Dirichlet data gH1/2(Γ), together with the far field radiation condition

u(x)=O(1|x|)as|x| 84b

in the cube Ω:=(0,1/10)3. Then, (84) is equivalent to an integral equation (27), see, e.g., [159, Theorem 7.15 and Theorem 8.9] or [185, Sect. 3.4.2.2]. The (exterior) normal derivative ϕ:=νu of the weak solution u of (27) satisfies (27) with f:=(K-1/2)g, i.e.,

Vϕ=(K-1/2)g,

where K denotes again the double-layer operator (29).

We choose g:=-1. Since the constant function 1 satisfies the Laplace problem, (28) implies that K1=-1/2, and thus f=(K-1/2)g simplifies to f=1. We expect singularities at the non-convex edges of R3\Ω¯, i.e., at all edges of the cube Ω.

The boundary of the cube is trivially represented by six bilinear patches. Again, we consider p{0,1,2} and discrete spaces of splines of degree pm:=(p,p) for all m{1,6} with one single element per patch as initial mesh, and when refining we consider the maximum continuity Cp-1 across the elements within the patch. We choose the parameters of Algorithm 5 as θ=0.5 and Cmin=1, where we use again (82) in the lowest-order case p=0. For comparison, we also consider uniform refinement, where we mark all elements at each step, i.e., Mk=Qk for all kN0. This leads to uniform bisection of all elements.

In Fig. 42, some adaptively generated hierarchical meshes are depicted. In Figs. 43 and 44, we plot the approximated energy error ϕ-ΦkV (see (83)) and the error estimator ηk against the number of elements #Qk. In all cases, the lines of the error and the error estimator are parallel, which numerically indicates reliability and efficiency. The uniform approach always leads to the suboptimal convergence rate O((#Qk)-1/3) due to the edge singularities. Independently on the chosen polynomial degree p, the adaptive approach leads approximately to the rate O((#Qk)-1/2). For smooth solutions ϕ, one would expect the rate O((#Qk)-3/4-p/2), see [185, Corollary 4.1.34]. However, according to Theorem 6, the achieved rate is optimal if one uses the proposed refinement strategy and the resulting hierarchical splines. The reduced optimal convergence rate is likely due to the edge singularites. A similar reduced convergence behavior has also been observed in [98] for the lowest-order case p=0 and in Sect. 6.1.6 in case of IGAFEM. [97] additionally considers anisotropic refinement, which recovers the optimal rate O((#Qk)-3/4).

Fig. 42.

Fig. 42

Exterior problem on cube: Hierarchical meshes generated by Algorithm 5 (with θ=0.5) for hierarchical splines of degree p=1

Fig. 43.

Fig. 43

Exterior problem on cube: Energy error ϕ-ΦkV and estimator ηk of Algorithm 5 for hierarchical splines of degree p are plotted versus the number of elements #Qk. Uniform and adaptive (θ=0.5) refinement is considered

Fig. 44.

Fig. 44

Exterior problem on cube: The energy errors ϕ-ΦkV of Algorithm 5 for hierarchical splines of degree p{0,1,2} are plotted versus the number of elements #Qk. Uniform (for p=0) and adaptive (θ=0.5 for p{0,1,2}) refinement is considered

Adaptive IGABEM with T-Splines

We start defining T-splines on the multi-patch boundary Γ. Note that these T-splines do not need to be continuous across interfaces as we consider the weakly-singular integral equation. In contrast to the common approach in the engineering literature, where T-spline functions may be smooth across patches, see, e.g., [140, 190, 196], we define them separately on each patch, see also Remark 33. For each m=1,,M, let pm be a vector of positive polynomial degrees and Tm0 be a multivariate open knot vector on Γ^=(0,1)d^, d^=d-12, with induced initial index T-mesh Qˇ0,m. We assume that S^pm(Tm0) and S^pFm(TFm) with pFm and TFm from the parametrization Fm:Γ^Γm (see Sect. 3.1.2) are compatible to each other as in Sect. 3.2.2. Note that S^pm(Tm0)=S^pmT(Qˇ0,m,Tm0). Moreover, we assume for the initial mesh Q0=m=1MQ0,m with Q0,m:={Fm(Q^):Q^Q^0,m} that there are no hanging nodes between patch interfaces Γm,m=Γm¯Γm¯ with mm, see also (P1) of Sect. 3.1.2. For each m=1,,M, we abbreviate the set of all corresponding admissible meshes as Q^m, see Sect. 4.2.5. Moreover, we abbreviate Qm:={Qm:Q^mQ^m} with Qm:={Fm(Q^):Q^Q^m}. The index T-mesh corresponding to Qm is denoted by Qˇm, see Remark 16. We define the set of all admissible meshes Q as the set of all

Q=m=1MQmwithQmQm

such that |lev(Q)-lev(Q)|1 whenever QQm,QQm with mm and Q¯Q¯.

For QQ, the associated ansatz space is defined as

S:={VL2(Γ):V|ΓmSpmT(Qˇm,Tm0),form=1,,M},

where

SpmT(Qˇm,Tm0):={V^Fm-1:V^S^pmT(Qˇm,Tm0)}.

To obtain a basis of the space S, we first define

Bm,z,pm:=B^m,z,pmFm-1

for all anchors zApm(Qˇm,Tm0), where B^m,z,pm is defined as in (49). Since the ansatz functions do not have to be continuous across interfaces, a basis of S is given via

S=span(m=1M{Bm,z,pm:zApm(Qˇm,Tm0)}),

where we extend the involved T-spline blending functions, which actually only live on Γm, by zero to the whole boundary Γ.

Remark 33

In contrast to weakly-singular integral equations, hypersingular integral equations, which result from Neumann problems (see e.g. [159, Chapter 7]), require continuous trial functions. While the construction of continuous T-splines across patches has been already used in other works, see for instance [140, 190], the extension of the refinement algorithm with admissible meshes in Sect. 4.2.5 to the multi-patch case is not evident, because the alternate directions of bisection may differ from patch to patch.

To obtain admissible meshes starting from the initial one, we adapt the single-patch refinement strategy from Sect. 4.2.5: For arbitrary QQ and QQm let us denote by Q^:=Fm-1(Q) and Qˇ the corresponding elements in the parametric domain and in the index domain, respectively, and let Nm(Qˇ)Qˇm denote the corresponding neighborhood, see Sect. 4.2.5. Recall that each element in Nm(Qˇ) lies in the index/parametric domain. We define the neighbors of Q as

N(Q):={QQm:QˇNm(Qˇ)}mm{QQm:Q¯Q¯lev(Q)>lev(Q)},

i.e., apart from the standard neighbors within the patch, we add (as already suggested in Remark 32 for HB-splines) neighbor elements from other patches of a coarser level.

With this notation, we can employ Algorithm 7 of Sect. 7.1 for refinement. Then, one can show that the set of all possible refinements refine(Q0) coincides with Q. Such a result is proved in [103, Proposition 5.4.3] for the analogous case of HB-splines on H-admissible meshes of class μ=2. The proof easily extends to T-splines on admissible T-meshes.

The given setting fits into the abstract framework of Sect. 5.3. We stress that this result is new, but follows quite easily from [107], where IGAFEM with T-splines has been considered. We only sketch the proof in Sect. 7.2.1. Note that most of the properties have already been verified in Sect. 6.2 for IGAFEM-meshes.

Theorem 7

T-splines on admissible meshes satisfy the mesh properties (M1)–(M2), the refinement properties (R1)–(R3), and the space properties (S1)–(S2), (S3’), and (B1)–(B3). The involved constants depend only on the dimension d, the parametrization constants CFm of Sect. 3.1, the degree pm, and the initial knot vector Tm0. In particular, Theorem 3 is applicable. In conjunction with Theorem 1, this yields reliability (73) and linear convergence at optimal rate (57)–(58) of the residual error estimator (32), when the adaptive Algorithm 5 is employed.

Mesh, Refinement, and Space Properties

The mesh properties (M1)–(M2) follow as for IGAFEM in Sect. 6.2.1. The child estimate (R1) is trivially satisfied. The closure estimate (R2) can be proved similarly as in the single-patch case [165, Sect. 6]. The overlay in (R3) can be built patch-wise as in Sect. 6.2.2. The properties (S1)–(S2) follow as in Sect. 6.2.3.

For the analogous case of hierarchical B-splines on H-admissible meshes of class μ=2, the proof of (B1) is given in [103, Sect. 5.5.9], which itself strongly builds on a similar result on triangular meshes [72]. However, we stress that the proof only hinges on the mesh properties (M1)–(M2) and the fact that hierarchical splines are polynomials on all elements in the parametric domain. Indeed, it only requires the considered functions to be polynomials on a rectangular subset of the same size as the element. Since there are at most two Bézier elements on each element (see Lemma 2), the result thus easily extends to T-splines on admissible T-meshes.

The reference [103, Proposition 5.5.5] states that the local approximation of unity property (B2) is satisfied if there exists a finite subset BS whose elements are non-negative, local in the sense that for all βB there exists QQ and a uniform constant qN such that supp(β)πq(Q), and form a partition of unity. According to Proposition 20 and Proposition 13 together with Proposition 17, these assumptions are fulfilled for T-spline basis functions

B:=m=1M{Bm,z,pm:zApm(Qˇm,Tm0)},

on admissible meshes.

Scott–Zhang type operator Since the ansatz functions do not have to be continuous at interfaces and due to the regularity of the parametrization Fm of Sect. 3.1, it is sufficient to provide for each patch Γm and S^mQ^m an operator

J^m,S^m:L2(Γ^){Ψ^mS^pmT(Qˇm,Tm0):Ψ^m|(Q^m\S^m)=0}

satisfying (S3’) and (B3). We define this operator similarly as J^p,QˇT in Sect. 4.2.4, but now have to take into account that the output should only live on S^m by discarding all T-spline blending functions that have support entirely outside of this set. Then the local projection property (S3’) as well as the local L2-stability (B3) for the operator J^m,S^m can be shown as in Sect. 6.2.3. A detailed analogous proof is given for hierarchical splines on H-admissible meshes of class μ=2 in [103, Sect. 5.5.14]. Indeed, the proof could essentially be copied, replacing THB-splines and their corresponding dual functionals by T-spline basis functions and their dual functionals.

Adaptive IGABEM in 2D with Smoothness Control

Finally, we briefly summarize results from [9395, 109], where a slightly modified adaptive IGABEM in 2D has been studied, which additionally controls the smoothness of the one-dimensional spline ansatz functions. This control is achieved by using h-refinement together with multiplicity increase of the knots, which reduces the regularity of the basis functions. This combination allows to automatically resolve strong singularities but also simple discontinuities, which can both lead to a reduced convergence rate for uniform refinement. We note that in the 2D case, the boundary is one-dimensional, and adaptive refinement can be done using standard B-splines (or NURBS). The extension to the 3D setting using HB-splines or T-splines is far from being straightforward, and it has not been studied yet.

In this work, we restrict ourselves to the weakly-singular integral equation arising from Dirichlet problems, and we only allow reduction of the smoothness by multiplicity increase, but we remark that [109] also allows multiplicity decrease and analyzes both the weakly-singular integral equation, which we consider here, and the hypersingular integral equation arising from Neumann problems. For both cases, an optimal additive Schwarz preconditioner has been introduced in [100] for the Laplace problem, i.e., it is proved that the preconditioned Galerkin systems have a uniformly bounded condition number being independent of the local mesh-refinement and the smoothness of the B-spline ansatz functions. An important consequence is that the PCG solver is uniformly contractive, and analogously to the FEM case with hierarchical splines explained in Remark 29, this allows to prove that an adaptive algorithm combining adaptive refinement with an inexact PCG solver leads to optimal convergence with respect to the number of elements and also with respect to the overall computational cost, see [101] for details.

Setting of the Discrete Problem

Let ΩR2 be a Lipschitz domain with connected boundary ΓR2. We consider boundary integral equations as in Sect. 3.3.2. We assume that there exists a global NURBS parametrization F:[0,1]Γ (see Sect. 2.4) such that F|[0,1) is bijective with F(0)=F(1). Moreover, we denote the knot vector associated to F by TF, and its induced mesh on [0, 1] by Q^F, and further assume that F|Q^ is bi-Lipschitz for all Q^Q^F. Let pN0 be a fixed polynomial degree. We consider p-open knot vectors T on [0, 1] (see Sect. 2.1.1) with VFV, where VF and V respectively denote the set of vertices corresponding to TF and T, which are defined as the images of all breakpoints (see 2.1.1) under F. We define the space of all splines on [0, 1] and Γ as

S^:=S^p(T),S:={ΨF-1:ΨS}L2(Γ)H-1/2(Γ).

Note that the functions in S are allowed to be discontinuous at the initial vertex F(0)=F(1). We consider B-splines, transformed via F, as the basis of the space S.

Refinement of Knot Vectors

Let T0 be a fixed initial p-open knot vector with VFV0. With the corresponding mesh Q^0 in [0, 1], define the initial shape-regularity constant

γ^0:=max{|Q^||Q^|:Q^,Q^Q^0withQ¯Q¯},

where Q=F(Q^) and Q=F(Q^). We recall that, for meshes Q on Γ corresponding to T and for an element QQ, the element-patch Π(Q) of (63) is given by the element itself and its adjacent neighbors. First, we formulate the auxiliary refinement Algorithm 8 taken from [7], which focusses on plain h-refinement, but ensures shape-regularity for the refined meshes. graphic file with name 11831_2022_9752_Figh_HTML.jpg

The refinement strategy Algorithm 9 will be used to steer a modified version of the adaptive Algorithm 5. In contrast to all refinement strategies in previous sections, it receives marked vertices instead of marked elements as input and also uses knot multiplicity increase for refinement.

For any vertex zV, we denote by zr the vertex right to z with respect to the orientation of F. We denote by z:=F|[0,1)-1(z),zr:=F|(0,1]-1(zr) the corresponding breakpoints, and with some abuse of notation, by (z,zr):=F((z,zr)) the unique element delimited by the two vertices. The refinement strategy in Algorithm 9 does the following: If both vertices of an element are marked, the element is marked for refinement via Algorithm 8. For all other vertices (i.e., those that are not stored in R) the multiplicity is increased if it is less than p+1, otherwise the neighboring elements are marked. Clearly, T+=refine(T,M) is finer than T, in the sense that T is a subsequence of T+ and thus SS+. For any p-open knot vector T, we define refine(T) as the set of all p-open knot vectors T+ that can be obtained by iterative application of refine. We define the set of all admissible p-open knot vectors

T:=refine(T0).

It is easy to see that T coincides with the set of all p-open knot vectors T which are obtained via iterative bisections in the parametric domain and arbitrary knot multiplicity increases such that

|Q^|/|Q^|2γ^0for allQ,QQwithQQ.

Indeed, by marking in each step both vertices of an element, Algorithm 9 can realize Algorithm 8, which can generate according to [7, Theorem 2.3] arbitrary bisected meshes satisfying the latter local quasi-uniformity. By marking iteratively only one vertex, it is possible to arbitrarily increase the resulting knot multiplicities. graphic file with name 11831_2022_9752_Figi_HTML.jpg

Adaptive Algorithm

Let TT with vertices V. We consider a vertex-based version of the weighted-residual a posteriori error estimator (32)

η:=η(V)withη(S)2:=zSη(z)2for allSV, 85a

where, for all zV, the local refinement indicators read, with π({z})={QQ:zQ¯},

η(z)2:=|π(z)||f-VΦ|H1(π(z))2. 85b

The refinement strategy in Algorithm 9 and the given vertex-based error estimator give rise to a modified version of Algorithm 5, namely Algorithm 10, which uses the same solving step, but computes indicators associated to vertices instead of elements, marks vertices via the Dörfler criterion (54), and refines via Algorithm 9 based on these marked vertices. graphic file with name 11831_2022_9752_Figj_HTML.jpg

Optimal Convergence for One-Dimensional Splines

As in Sect. 5.3.2, we say that the solution ϕH-1/2(Γ) lies in the approximation class s with respect to the estimator (85) if

C~apx(s):=supN#T0minTT(N)(Nsη)<,

with T(N):={TT:#TN} and #T is the sum of all knot multiplicities in T. In the notation of Sect. 2.1, it holds that #T=n+p+1. By definition, C~apx(s)< implies that the error estimator η decays at least with rate O((#T)-s) on the optimal knot vectors T. The following theorem, which mainly stems from [94, Theorem 3.2], states that each possible rate s>0 is in fact realized by Algorithm 10. Theorem 8 (i) states reliability, which was verified for the current setting in [93, Theorem 4.4].

Theorem 8

Let (Tk)kN0 be the sequence of knots generated in Algorithm 10. Then, there hold:

  • (i)
    The residual error estimator satisfies reliability, i.e., there exists a constant Crel>0 such that
    ϕ-ΦH-1/2(Γ)Crelηfor allTT.
  • (ii)
    For arbitrary 0<θ1 and Cmin[1,], the residual error estimator converges linearly, i.e., there exist constants 0<ρlin<1 and Clin1 such that
    ηk+j2Clinρlinjηk2for allj,kN0.
  • (iii)
    There exists a constant 0<θopt1 such that for all 0<θ<θopt and Cmin[1,), the estimator converges at optimal rate, i.e., for all s>0 there exist constants copt,Copt>0 such that
    coptC~apx(s)supkN0(#Tk)sηkCoptC~apx(s).

All involved constants Crel,Clin,ρlin,θopt, and Copt depend only on the coefficients of the differential operator P, the parametrization F, the polynomial order p, and the initial knot vector T0, while Clin,ρlin depend additionally on θ and the sequence (Φk)kN0, and Copt depends furthermore on Cmin and s>0.

Remark 34

If one uses the original Algorithm 5 with the refinement strategy Algorithm 8 (which does not use knot multiplicity increase) and the element-based residual error estimator ηk of (32), the abstract framework of Sect. 5.3 is directly applicable, see [93] for details. In particular, Theorem 3 applies and guarantees linear convergence of the estimator at optimal algebraic rate. Recently, [109, Sect. A.5] has even proved the important result that Capx(s)C~apx(s) for all s>0, where Capx(s) is the approximation class of the adaptive method without smoothness control defined analogously to (55). This particularly yields that the asymptotic approximation behavior of smooth splines and piecewise polynomials coincides at least in the simple case of 2D IGABEM. The numerical example of Sect. 6.1.6 for 2D IGAFEM suggests that this is in general not the case for 3D IGABEM due to the possible presence of edge singularities.

Remark 35

The adaptive algorithm introduced in [109] allows for both multiplicity increase and decrease. The latter converges as well at optimal algebraic rate and practically yields an even more accurate insight of the smoothness of the exact solution. As the algorithm is quite technical and again restricted to the 2D case, we refer to [109] for details.

Numerical Experiment

In this section, we empirically investigate the performance of the Algorithm 10 for a Laplace–Dirichlet problem

-Δu=0inΩ,u=gonΓ, 86

for given Dirichlet data gH1(Γ), where the additional regularity H1(Γ) instead of H1/2(Γ) is only needed for the weighted-residual error estimator. The following example has also been considered in [93, 95, 103, 109]. In the latter works, several further examples are found, where [109] also studies the hypersingular integral equation arising from Neumann problems. We choose

Ω:={(rcos(φ),rsin(φ)):r(0,1/4)φ-π/2α,π/2α}

with α:=4/7, see Fig. 45. A parametrization F of its boundary Γ in terms of rational splines of degree p=2 is given, e.g., in [95, Sect. 5.3]. We prescribe the exact solution of (86) in polar coordinates (r,φ) by

u(x,y):=rαcosαφwith(x,y)=(rcos(φ),rsin(φ)).

The fundamental solution of -Δ is given by

G(z):=-12πlog|z|for allzR2\{0}.

Since diam(Ω)<1, the corresponding single-layer operator V is elliptic, see Sect. 3.3.2. As in Sect. 3.3.2, (86) can be equivalently rewritten as integral equation (28), i.e., Vϕ=(K+1/2)g, where the unique solution is the normal derivative ϕ:=νu of the weak solution u of (86). For our problem, ϕ has a singularity at F(1/2) and jumps at F(1/3) and F(2/3).

Fig. 45.

Fig. 45

Geometry and initial vertices for the experiment of Sect. 7.3.5

To (approximately) calculate the Galerkin matrix, the right-hand side vector, and the weighted-residual error estimator (85), we transform the singular integrands into a sum of a smooth part and a logarithmically singular part. Then, we use adapted Gaussian quadrature to compute the resulting integrals with appropriate accuracy, see [102, Sect. 5] for details. Moreover, to ease computation, we replace at each step of the adaptive algorithm the term |πk(z)| in the error indicators ηk(z)=|πk(z)|1/2Γ(f-VΦk)L2(πk(z)) by the equivalent term diam(Γ)h^k, where, h^kL(Γ) denotes the mesh-width function with h^k|Q=|F-1(Q)| for all QQk. The error in the energy norm is computed again via Aitken’s Δ2-extrapolation and (83).

We choose the parameters of the modified Algorithm 10 as θ=0.75 and Cmin=1. For comparison, we also consider uniform refinement, where we mark all vertices at each step, i.e., Mk=Vk for all kN0. Note that this leads to uniform bisection (without knot multiplicity increase) of all elements. Given the knot vector defining the parametrization F,

TF=(0,0,0,16,16,26,26,36,36,46,46,56,56,1,1,1),

we consider splines of degree p{0,1,2,3} such that at the breakpoints the initial space S^0 is (if possible) as smooth as the space used to construct the parametrization. That is, the space is C0 for p1, with the knots repeated exactly p times, and C-1 for p=0. Note that F is continuous but not necessarily differentiable at the breakpoints.

In Figs. 46 and 47, we plot the approximated energy error ϕ-ΦkV and the error estimator ηk against the number of degrees of freedom. Since the solution lacks regularity, uniform refinement leads to the suboptimal rate O(N-4/7) for the energy error, whereas adaptive refinement leads to the optimal rate O(N-3/2-p), see [185, Corollary 4.1.34]. For adaptive refinement, Fig. 48 provides a histogram of the knots in the parametric domain [0, 1] of the last refinement step. We observe that at 1/2, where the singularity occurs, mainly h-refinement is used. Instead, at the two jump points 1/3 and 2/3, the adaptive algorithm just increases the multiplicity of the corresponding knots to its maximum allowing for discontinuous ansatz functions.

Fig. 46.

Fig. 46

Singularity on pacman: Energy error ϕ-ΦkV and estimator ηk of Algorithm 10 for splines of degree p are plotted versus the number of degrees of freedom. Uniform and adaptive (θ=0.75) refinement is considered

Fig. 47.

Fig. 47

Singularity on pacman: The energy errors ϕ-ΦkV of Algorithm 10 for splines of degree p{0,1,2,3} are plotted versus the number of degrees of freedom. Uniform (for p=0) and adaptive (θ=0.75 for p{0,1,2,3}) refinement is considered

Fig. 48.

Fig. 48

Singularity on pacman: Histogram of number of knots over the parametric domain for the knot vector T29 generated in Algorithm 10 (with θ=0.75) for splines of degree p=3. Knots with maximal multiplicity p+1=4 are marked with a red cross and knots with multiplicity 3 are marked with a green smaller cross

Conclusion and Open Questions

This work aims to give a state-of-the-art introduction to the numerical analysis of adaptive FEM and BEM in the framework of IGA. The first sections (Sects. 2 and 3) introduce the concepts and notation of IGAFEM and IGABEM without adaptivity. Then, Sect. 4 gives the description and mathematical properties of two of the most popular adaptive spline constructions considered in the recent years, namely (T)HB-splines and T-splines.

Sect. 5 provides a brief introduction into the so-called axioms of adaptivity [53] and the concept of rate-optimal adaptive algorithms. It further provides a framework for finite element and boundary element discretizations, respectively, that guarantees the validity of the axioms of adaptivity. Leveraging on the properties for splines on adaptive meshes summarized in Sect. 4, we prove that (T)HB-splines on certain admissible hierarchical meshes and T-splines on suitable admissible meshes with alternating directions of refinement fit into this framework. This is verified in Sect. 6 for IGAFEM and in Sect. 7 for IGABEM. It should be noted that the local tensor-product structure of hierarchical splines not only enables the possibility of easily constructing (analysis-suitable) bases but it also simplifies the theoretical analysis of adaptive isogeometric methods. On the other hand, T-splines and T-meshes are more flexible and suited for applications, but restricted mesh configurations are needed for the development of their theoretical analysis and the involved results are more complicated in nature. As a consequence, adaptive isogeometric methods based on (T)HB-splines appear to be the IGA framework most advanced in terms of numerical analysis, while T-splines still appears to be most used in the engineering literature).

Even though adaptive IGA is a rapidly developing research field, many important questions remain open:

First, we have verified that the abstract properties in Sect. 5 are satisfied for isogeometric discretizations with (T)HB-splines and T-splines. For instance, it remains open whether these mesh and space properties are also satisfied for other adaptive spline constructions, as the ones briefly mentioned in Sect. 4.3, including for example LR-splines, or the different definitions of linearly independent T-splines from Sect. 4.2.7, which reduce the strong constraints posed by the dual-compatibility condition. We note that the mathematical study of adaptive methods based on these constructions is at different stages, being probably most advanced for LR-splines. As long as suitable refinement algorithms and interpolation estimates for a given adaptive spline construction are available, the abstract framework presented in this work can be properly exploited to study the resulting adaptive isogeometric method.

Second, it has not been mathematically studied yet how the approximation classes of the PDE solution and thus the resulting convergence rates of the adaptive algorithm depend on the employed adaptive splines. In particular, their relation to the classes and rates of standard (only continuous) finite element spaces is theoretically open. Our numerical experiments of Sect. 6.1.6 suggest that they might especially depend on the smoothness of the splines. A verifiable characterization in terms of the given data and the corresponding PDE solution would be desirable.

Third, the current analysis is implicitly tailored to isotropic meshes through the closure estimate (R2) and the overlay estimate (R3) in Sect. 5.1.4. Available proofs of (R2) (even for standard FEM and BEM) use the relation diam(Q)d^|Q| of element diameter and element area and hence mathematically exclude long and thin anisotropic elements, see, e.g., [201] for the seminal work which is transferred to IGA in [49, 105, 164, 165]. However, it is known that only point singularities can optimally be resolved by isotropic elements, while anisotropic elements are mandatory to resolve edge singularities, both in 2D and 3D computations. Optimal adaptivity with anisotropic elements is not only theoretically completely open, but also the stable implementation (in particular for BEM) is highly non-trivial.

Finally, the analysis presented for multi-patch domains has to be extended to more general configurations. In particular, for HB-splines we are assuming that there are no hanging nodes on the interface between patches, and the continuity is set to C0. While the first assumption can probably be removed without major issues, as we explained in Remark 30, the construction of hierarchical splines with C1 continuity in general multi-patch geometries remains an open question. For T-splines instead, we have only presented results for BEM by assuming discontinuous functions across patches, which is very restrictive with respect to the standard setting used in the CAD and engineering literature, based on bicubic T-spline surfaces of C2 continuity everywhere except in the vicinity of extraordinary points, i.e., points at the intersection of a number of patches different from four.

Acknowledgements

The authors would like to thank Cesare Bracco and Durkbin Cho for several fruitful discussions on the subject of the paper.

Funding

Open access funding provided by TU Wien (TUW). The authors AB and RV were partially supported by the European Research Council (ERC) through the Advanced Grant CHANGE n. 694515. RV additionally acknowledges support of the Swiss National Science Foundation (SNF) through grant 200021_188589. The authors GG and DP acknowledge support through the Austrian Science Fund (FWF) under grant P29096, grant W1245-N25 and grant SFB F65. GG additionally acknowledges support through the Austrian Science Fund (FWF) under grant J4379-N. CG was partially supported by Istituto Nazionale di Alta Matematica (INdAM) through Gruppo Nazionale per il Calcolo Scientifico (GNCS) and Finanziamenti Premiali SUNRISE. CG and RV are members of the INdAM Research group GNCS.

Declarations

Conflict of interest

On behalf of all authors, the corresponding author states that there is no conflict of interest.

Footnotes

1

For ω^Rd^ and ωRd, a mapping γ:ω^ω is bi-Lipschitz if it is bijective and γ as well as its inverse γ-1 are Lipschitz continuous.

2

This is respectively the length of edge and face extensions of T-junctions, see [152] or [20, Sect. 7.3].

3

If this was not the case, we would consider Qˇ as the mesh obtained after refining all the elements in the neighborhood of Qˇ, but not Qˇ itself.

4

This is also true for the T-splines refinement in [164] presented in Sect. 4.2.5.

5

Do not confuse the element-patches with the patches of Sect. 3.1.2 that are used to describe the geometry.

6

Recall the definition diam(S):=sup{|x-y|:x,yS} of the diameter of an arbitrary non-empty set SRd.

7

Recall the definition of the diameter of an arbitrary non-empty set SRd-1, diam(S):=sup{|x-y|:x,yS} and the definition of the distance of two arbitrary non-empty sets S1,S2Rd-1, dist(S1,S2):=inf{|x-y|:xS1,yS2}. We use the convention dist(Q,):=diam(Γ).

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Change history

11/24/2022

Missing Open Access funding information has been added in the Funding Note.

Contributor Information

Annalisa Buffa, Email: annalisa.buffa@epfl.ch.

Gregor Gantner, Email: gregor.gantner@asc.tuwien.ac.at.

Carlotta Giannelli, Email: carlotta.giannelli@unifi.it.

Dirk Praetorius, Email: dirk.praetorius@asc.tuwien.ac.at.

Rafael Vázquez, Email: rafael.vazquez@epfl.ch.

References

  • 1.AC07066955, A . Computer methods in applied mechanics and engineering. Amsterdam: Elsevier; 2017. Special issue on isogeometric analysis: progress and challenges. [Google Scholar]
  • 2.Actis M, Morin P, Pauletti MS. A new perspective on hierarchical spline spaces for adaptivity. Comput Math Appl. 2020;79(8):2276–2303. doi: 10.1016/j.camwa.2019.10.028. [DOI] [Google Scholar]
  • 3.Ainsworth M, Oden JT. A posteriori error estimation in finite element analysis. New York: Wiley; 2000. [Google Scholar]
  • 4.Antolin P, Buffa A, Coradello L. A hierarchical approach to the a posteriori error estimation of isogeometric Kirchhoff plates and Kirchhoff-Love shells. Comput Methods Appl Mech Eng. 2020;363:112919. doi: 10.1016/j.cma.2020.112919. [DOI] [Google Scholar]
  • 5.Antolin P, Buffa A, Martinelli M. Isogeometric analysis on V-reps: first results. Comput Methods Appl Mech Eng. 2019;355:976–1002. doi: 10.1016/j.cma.2019.07.015. [DOI] [Google Scholar]
  • 6.Aurada M, Feischl M, Führer T, Karkulik M, Melenk J, Praetorius D. Local inverse estimates for non-local boundary integral operators. Math Comp. 2017;86(308):2651–2686. doi: 10.1090/mcom/3175. [DOI] [Google Scholar]
  • 7.Aurada M, Feischl M, Führer T, Karkulik M, Praetorius D. Efficiency and optimality of some weighted-residual error estimator for adaptive 2D boundary element methods. Comput Methods Appl Math. 2013;13(3):305–332. doi: 10.1515/cmam-2013-0010. [DOI] [Google Scholar]
  • 8.Babuška I, Miller A. A feedback finite element method with a posteriori error estimation. I. The finite element method and some basic properties of the a posteriori error estimator. Comput Methods Appl Mech Eng. 1987;61(1):1–40. doi: 10.1016/0045-7825(87)90114-9. [DOI] [Google Scholar]
  • 9.Babuška I, Rheinboldt WC. Error estimates for adaptive finite element computations. SIAM J Numer Anal. 1978;15(4):736–754. doi: 10.1137/0715049. [DOI] [Google Scholar]
  • 10.Babuška I, Rheinboldt WC. Adaptive approaches and reliability estimations in finite element analysis. Comput Methods Appl Mech Eng. 1979;17(18):519–540. doi: 10.1016/0045-7825(79)90042-2. [DOI] [Google Scholar]
  • 11.Babuška I, Rheinboldt WC. A posteriori error analysis of finite element solutions for one-dimensional problems. SIAM J Numer Anal. 1981;18(3):565–589. doi: 10.1137/0718036. [DOI] [Google Scholar]
  • 12.Babuška I, Vogelius M. Feedback and adaptive finite element solution of one-dimensional boundary value problems. Numer Math. 1984;44(1):75–102. doi: 10.1007/BF01389757. [DOI] [Google Scholar]
  • 13.Bai Y, Dong CY, Liu ZY. Effective elastic properties and stress states of doubly periodic array of inclusions with complex shapes by isogeometric boundary element method. Compos Struct. 2015;128:54–69. doi: 10.1016/j.compstruct.2015.03.061. [DOI] [Google Scholar]
  • 14.Bartezzaghi A, Dedè L, Quarteroni A. Biomembrane modeling with isogeometric analysis. Comput Methods Appl Mech Eng. 2019;347:103–119. doi: 10.1016/j.cma.2018.12.025. [DOI] [Google Scholar]
  • 15.Bazilevs Y, Calo VM, Cottrell JA, Evans J, Hughes TJR, Lipton S, Scott MA, Sederberg TW. Isogeometric analysis using T-splines. Comput Methods Appl Mech Eng. 2010;199:229–263. doi: 10.1016/j.cma.2009.02.036. [DOI] [Google Scholar]
  • 16.Bazilevs Y, Beirão da Veiga L, Cottrell JA, Hughes TJR, Sangalli G. Isogeometric analysis: approximation, stability and error estimates for h-refined meshes. Math Models Methods Appl Sci. 2006;16(7):1031–1090. doi: 10.1142/S0218202506001455. [DOI] [Google Scholar]
  • 17.Beer G, Marussig B, Duenser C. The isogeometric boundary element method. Cham: Springer; 2020. [Google Scholar]
  • 18.Beirão da Veiga L, Buffa A, Cho D, Sangalli G. Analysis-suitable T-splines are dual-compatible. Comput Methods Appl Mech Eng. 2012;249–252:42–51. doi: 10.1016/j.cma.2012.02.025. [DOI] [Google Scholar]
  • 19.Beirão da Veiga L, Buffa A, Sangalli G, Vázquez R. Analysis-suitable T-splines of arbitrary degree: definition, linear independence and approximation properties. Math Models Methods Appl Sci. 2013;23(11):1979–2003. doi: 10.1142/S0218202513500231. [DOI] [Google Scholar]
  • 20.Beirão da Veiga L, Buffa A, Sangalli G, Vázquez R. Mathematical analysis of variational isogeometric methods. Acta Numer. 2014;23:157–287. doi: 10.1017/S096249291400004X. [DOI] [Google Scholar]
  • 21.Berdinsky D, Kim TW, Bracco C, Cho D, Mourrain B, Min-Jae O, Kiatpanichgij S. Dimensions and bases of hierarchical tensor-product splines. J Comput Appl Math. 2014;257:86–104. doi: 10.1016/j.cam.2013.08.019. [DOI] [Google Scholar]
  • 22.Bespalov A, Betcke T, Haberl A, Praetorius D. Adaptive BEM with optimal convergence rates for the Helmholtz equation. Comput Methods Appl Mech Eng. 2019;346:260–287. doi: 10.1016/j.cma.2018.12.006. [DOI] [Google Scholar]
  • 23.Bespalov A, Haberl A, Praetorius D. Adaptive FEM with coarse initial mesh guarantees optimal convergence rates for compactly perturbed elliptic problems. Comput Methods Appl Mech Eng. 2017;317:318–340. doi: 10.1016/j.cma.2016.12.014. [DOI] [Google Scholar]
  • 24.Binev P, Dahmen W, DeVore R. Adaptive finite element methods with convergence rates. Numer Math. 2004;97(2):219–268. doi: 10.1007/s00211-003-0492-7. [DOI] [Google Scholar]
  • 25.Bonito A, Nochetto RH. Quasi-optimal convergence rate of an adaptive discontinuous Galerkin method. SIAM J Numer Anal. 2010;48(2):734–771. doi: 10.1137/08072838X. [DOI] [Google Scholar]
  • 26.de Boor C. Theory of approximation, with applications (Proc. Conf., Univ. Calgary, Calgary, Alta., 1975; dedicated to the memory of Eckard Schmidt) New York: Academic Press; 1976. On local linear functionals which vanish at all B-splines but one; pp. 120–145. [Google Scholar]
  • 27.de Boor C. B (asic)-spline basics. Madison: Mathematics Research Center, University of Wisconsin-Madison; 1986. [Google Scholar]
  • 28.de Boor C. A practical guide to splines. New York: Springer; 2001. [Google Scholar]
  • 29.Bornemann P, Cirak F. A subdivision-based implementation of the hierarchical B-spline finite element method. Comput Methods Appl Mech Eng. 2013;253:584–598. doi: 10.1016/j.cma.2012.06.023. [DOI] [Google Scholar]
  • 30.Bracco C, Buffa A, Giannelli C, Vázquez R. Adaptive isogeometric methods with hierarchical splines: an overview. Discret Contin Dyn Syst. 2019;39:241–261. doi: 10.3934/dcds.2019010. [DOI] [Google Scholar]
  • 31.Bracco C, Cho D. Generalized T-splines and VMCR T-meshes. Comput Methods Appl Mech Eng. 2014;280:176–196. doi: 10.1016/j.cma.2014.07.013. [DOI] [Google Scholar]
  • 32.Bracco C, Cho D, Giannelli C, Vázquez R. BPX preconditioners for isogeometric analysis using (truncated) hierarchical B-splines. Comput Methods Appl Mech Eng. 2021;379:113742. doi: 10.1016/j.cma.2021.113742. [DOI] [Google Scholar]
  • 33.Bracco C, Giannelli C, Großmann D, Sestini A. Adaptive fitting with THB-splines: error analysis and industrial applications. Comput Aided Geom Design. 2018;62:239–252. doi: 10.1016/j.cagd.2018.03.026. [DOI] [Google Scholar]
  • 34.Bracco C, Giannelli C, Kapl M, Vázquez R. Isogeometric analysis with C1 hierarchical functions on planar two-patch geometries. Comput Math Appl. 2020;80(11):2538–2562. doi: 10.1016/j.camwa.2020.03.018. [DOI] [Google Scholar]
  • 35.Bracco C, Giannelli C, Mazzia F, Sestini A. Bivariate hierarchical Hermite spline quasi-interpolation. BIT. 2016;56:1165–1188. doi: 10.1007/s10543-016-0603-3. [DOI] [Google Scholar]
  • 36.Bracco C, Giannelli C, Vázquez R. Refinement algorithms for adaptive isogeometric methods with hierarchical splines. Axioms. 2018;7(3):43. doi: 10.3390/axioms7030043. [DOI] [Google Scholar]
  • 37.Bressan A. Some properties of LR-splines. Comput Aided Geom Design. 2013;30(8):778–794. doi: 10.1016/j.cagd.2013.06.004. [DOI] [Google Scholar]
  • 38.Bressan A, Buffa A, Sangalli G. Characterization of analysis-suitable T-splines. Comput Aided Geom Design. 2015;39:17–49. doi: 10.1016/j.cagd.2015.06.007. [DOI] [Google Scholar]
  • 39.Bressan A, Jüttler B. A hierarchical construction of LR meshes in 2D. Comput Aided Geom Design. 2015;37:9–24. doi: 10.1016/j.cagd.2015.06.002. [DOI] [Google Scholar]
  • 40.Bressan A, Mokriš D. A versatile strategy for the implementation of adaptive splines. In: Floater M, Lyche T, Mazure ML, Mørken K, Schumaker LL, editors. Mathematical methods for curves and surfaces. Cham: Springer; 2017. pp. 42–73. [Google Scholar]
  • 41.Buchegger F, Jüttler B, Mantzaflaris A. Adaptively refined multi-patch B-splines with enhanced smoothness. Appl Math Comput. 2016;272(Part 1):159–172. [Google Scholar]
  • 42.Buffa A, Cho D, Sangalli G. Linear independence of the T-spline blending functions associated with some particular T-meshes. Comput Methods Appl Mech Eng. 2010;199(23–24):1437–1445. doi: 10.1016/j.cma.2009.12.004. [DOI] [Google Scholar]
  • 43.Buffa A, Garau EM. Refinable spaces and local approximation estimates for hierarchical splines. IMA J Numer Anal. 2017;37(3):1125–1149. [Google Scholar]
  • 44.Buffa A, Garau EM. A posteriori error estimators for hierarchical B-spline discretizations. Math Models Methods Appl Sci. 2018;28(8):1453–1480. doi: 10.1142/S0218202518500392. [DOI] [Google Scholar]
  • 45.Buffa A, Garau EM, Giannelli C, Sangalli G. Building bridges: connections and challenges in modern approaches to numerical partial differential equations. Cham: Springer; 2016. On quasi-interpolation operators in spline spaces; pp. 73–91. [Google Scholar]
  • 46.Buffa A, Giannelli C. Adaptive isogeometric methods with hierarchical splines: error estimator and convergence. Math Models Methods Appl Sci. 2016;26(01):1–25. doi: 10.1142/S0218202516500019. [DOI] [Google Scholar]
  • 47.Buffa A, Giannelli C. Adaptive isogeometric methods with hierarchical splines: optimality and convergence rates. Math Models Methods Appl Sci. 2017;27(14):2781–2802. doi: 10.1142/S0218202517500580. [DOI] [Google Scholar]
  • 48.Buffa A, Giannelli C. Remarks on Poincaré and interpolation estimates for truncated hierarchical B-splines. Math Models Methods Appl Sci. 2021 doi: 10.1142/S0218202521500111. [DOI] [Google Scholar]
  • 49.Buffa A, Giannelli C, Morgenstern P, Peterseim D. Complexity of hierarchical refinement for a class of admissible mesh configurations. Comput Aided Geom Design. 2016;47:83–92. doi: 10.1016/j.cagd.2016.04.003. [DOI] [Google Scholar]
  • 50.Buffa A, Hernandez Vázquez R, Sangalli G, Beirão da Veiga L. Approximation estimates for isogeometric spaces in multipatch geometries. Numer Methods Partial Differ Equ. 2015;31(2):422–438. doi: 10.1002/num.21943. [DOI] [Google Scholar]
  • 51.Buffa A, Sangalli G, Vázquez R. Isogeometric analysis in electromagnetics: B-splines approximation. Comput Methods Appl Mech Eng. 2010;199(17–20):1143–1152. doi: 10.1016/j.cma.2009.12.002. [DOI] [Google Scholar]
  • 52.Carstensen C. An a posteriori error estimate for a first-kind integral equation. Math Comp. 1997;66(217):139–155. doi: 10.1090/S0025-5718-97-00790-4. [DOI] [Google Scholar]
  • 53.Carstensen C, Feischl M, Page M, Praetorius D. Axioms of adaptivity. Comput Math Appl. 2014;67(6):1195–1253. doi: 10.1016/j.camwa.2013.12.003. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 54.Carstensen C, Maischak M, Stephan EP. A posteriori error estimate and h-adaptive algorithm on surfaces for Symm’s integral equation. Numer Math. 2001;90(2):197–213. doi: 10.1007/s002110100287. [DOI] [Google Scholar]
  • 55.Carstensen C, Praetorius D. Averaging techniques for the effective numerical solution of Symm’s integral equation of the first kind. SIAM J Sci Comput. 2006;27(4):1226–1260. doi: 10.1137/040609033. [DOI] [Google Scholar]
  • 56.Carstensen C, Stephan EP. Adaptive boundary element methods for some first kind integral equations. SIAM J Numer Anal. 1996;33(6):2166–2183. doi: 10.1137/S0036142993253503. [DOI] [Google Scholar]
  • 57.Cascon JM, Kreuzer C, Nochetto RH, Siebert KG. Quasi-optimal convergence rate for an adaptive finite element method. SIAM J Numer Anal. 2008;46(5):2524–2550. doi: 10.1137/07069047X. [DOI] [Google Scholar]
  • 58.Cascón JM, Nochetto RH. Quasioptimal cardinality of AFEM driven by nonresidual estimators. IMA J Numer Anal. 2012;32(1):1–29. doi: 10.1093/imanum/drr014. [DOI] [Google Scholar]
  • 59.Chen L, de Borst R. Adaptive refinement of hierarchical T-splines. Comput Methods Appl Mech Eng. 2018;337:220–245. doi: 10.1016/j.cma.2018.03.032. [DOI] [Google Scholar]
  • 60.Chen L, de Borst R. Locally Refined T-splines. Int J Numer Methods Eng. 2018;114(6):637–659. doi: 10.1002/nme.5759. [DOI] [Google Scholar]
  • 61.Chen L, Lu C, Lian H, Liu Z, Zhao W, Li S, Chen H, Bordas SPA. Acoustic topology optimization of sound absorbing materials directly from subdivision surfaces with isogeometric boundary element methods. Comput Methods Appl Mech Eng. 2020;362:112806. doi: 10.1016/j.cma.2019.112806. [DOI] [Google Scholar]
  • 62.Cho D, Vázquez R. BPX preconditioners for isogeometric analysis using analysis-suitable T-splines. IMA J Numer Anal. 2018;40(1):764–799. doi: 10.1093/imanum/dry032. [DOI] [Google Scholar]
  • 63.Chouliaras S, Kaklis P, Kostas K, Ginnis A, Politis C. An isogeometric boundary element method for 3d lifting flows using T-splines. Comput Methods Appl Mech Eng. 2021;373:113556. doi: 10.1016/j.cma.2020.113556. [DOI] [Google Scholar]
  • 64.Cohen A, Dahmen W, DeVore R. Adaptive wavelet methods for elliptic operator equations: convergence rates. Math Comp. 2001;70(233):27–75. doi: 10.1090/S0025-5718-00-01252-7. [DOI] [Google Scholar]
  • 65.Cohen A, Dahmen W, DeVore R. Adaptive wavelet methods. II. Beyond the elliptic case. Found Comput Math. 2002;2(3):203–245. doi: 10.1007/s102080010027. [DOI] [Google Scholar]
  • 66.Cohen A, Dahmen W, Devore R. Adaptive wavelet schemes for nonlinear variational problems. SIAM J Numer Anal. 2003;41(5):1785–1823. doi: 10.1137/S0036142902412269. [DOI] [Google Scholar]
  • 67.Cohen A, Daubechies I, Feauveau JC. Biorthogonal bases of compactly supported wavelets. Commun Pure Appl Anal. 1992;45(5):485–560. [Google Scholar]
  • 68.Cohen E, Riesenfeld R, Elber G. Geometric modeling with splines: an introduction. Boca Raton: CRC Press; 2001. [Google Scholar]
  • 69.Coradello L, Antolin P, Vázquez R, Buffa A. Adaptive isogeometric analysis on two-dimensional trimmed domains based on a hierarchical approach. Comput Methods Appl Mech Eng. 2020;364:112925. doi: 10.1016/j.cma.2020.112925. [DOI] [Google Scholar]
  • 70.Coradello L, D’Angella D, Carraturo M, Kiendl J, Kollmannsberger S, Rank E, Reali A. Hierarchically refined isogeometric analysis of trimmed shells. Comput Mech. 2020;66(2):431–447. doi: 10.1007/s00466-020-01858-6. [DOI] [Google Scholar]
  • 71.Cottrell JA, Hughes TJR, Bazilevs Y. Isogeometric analysis: toward integration of CAD and FEA. Hoboken: Wiley; 2009. [Google Scholar]
  • 72.Dahmen W, Faermann B, Graham I, Hackbusch W, Sauter S. Inverse inequalities on non-quasi-uniform meshes and application to the mortar element method. Math Comp. 2004;73(247):1107–1138. doi: 10.1090/S0025-5718-03-01583-7. [DOI] [Google Scholar]
  • 73.Dahmen W, Harbrecht H, Schneider R. Adaptive methods for boundary integral equations: complexity and convergence estimates. Math Comp. 2007;76(259):1243–1274. doi: 10.1090/S0025-5718-07-01970-9. [DOI] [Google Scholar]
  • 74.Dahmen W, Kunoth A, Urban K. Biorthogonal spline wavelets on the interval—stability and moment conditions. Appl Comput Harmon Anal. 1999;6(2):132–196. doi: 10.1006/acha.1998.0247. [DOI] [Google Scholar]
  • 75.D’Angella D, Kollmannsberger S, Rank E, Reali A. Multi-level Bézier extraction for hierarchical local refinement of isogeometric analysis. Comput Methods Appl Mech Eng. 2018;328:147–174. doi: 10.1016/j.cma.2017.08.017. [DOI] [Google Scholar]
  • 76.Dauge M Benchmark computations for Maxwell equations for the approximation of highly singular solutions. Available at http://perso.univ-rennes1.fr/monique.dauge/benchmax.html. Accessed on 27 May 2022
  • 77.Deng J, Chen F, Feng Y. Dimensions of spline spaces over T-meshes. J Comput Appl Math. 2006;194(2):267–283. doi: 10.1016/j.cam.2005.07.009. [DOI] [Google Scholar]
  • 78.Deng J, Chen F, Li X, Hu C, Tong W, Yang Z, Feng Y. Polynomial splines over hierarchical T-meshes. Graph Models. 2008;70(4):76–86. doi: 10.1016/j.gmod.2008.03.001. [DOI] [Google Scholar]
  • 79.Di Fratta G, Führer T, Gantner G, Praetorius D. Adaptive Uzawa algorithm for the Stokes equation. ESAIM Math Model Numer Anal. 2019;53(6):1841–1870. doi: 10.1051/m2an/2019039. [DOI] [Google Scholar]
  • 80.Dokken T, Lyche T, Pettersen KF. Polynomial splines over locally refined box-partitions. Comput Aided Geom Design. 2013;30(3):331–356. doi: 10.1016/j.cagd.2012.12.005. [DOI] [Google Scholar]
  • 81.Dölz J, Harbrecht H, Kurz S, Multerer M, Schöps S, Wolf F. Bembel: the fast isogeometric boundary element C++ library for Laplace, Helmholtz, and electric wave equation. SoftwareX. 2020;11:100476. doi: 10.1016/j.softx.2020.100476. [DOI] [Google Scholar]
  • 82.Dölz J, Harbrecht H, Kurz S, Schöps S, Wolf F. A fast isogeometric BEM for the three dimensional Laplace- and Helmholtz problems. Comput Methods Appl Mech Eng. 2018;330:83–101. doi: 10.1016/j.cma.2017.10.020. [DOI] [Google Scholar]
  • 83.Dölz J, Kurz S, Schöps S, Wolf F. Isogeometric boundary elements in electromagnetism: rigorous analysis, fast methods, and examples. SIAM J Sci Comput. 2019;41(5):B983–B1010. doi: 10.1137/18M1227251. [DOI] [Google Scholar]
  • 84.Dörfel MR, Jüttler B, Simeon B. Adaptive isogeometric analysis by local h-refinement with T-splines. Comput Methods Appl Mech Eng. 2010;199:264–275. doi: 10.1016/j.cma.2008.07.012. [DOI] [Google Scholar]
  • 85.Dörfler W. A convergent adaptive algorithm for Poisson’s equation. SIAM J Numer Anal. 1996;33(3):1106–1124. doi: 10.1137/0733054. [DOI] [Google Scholar]
  • 86.Engleitner N, Jüttler B. Patchwork B-spline refinement. Comput Aided Des. 2017;90:168–179. doi: 10.1016/j.cad.2017.05.021. [DOI] [Google Scholar]
  • 87.Evans EJ, Scott MA, Li X, Thomas DC. Hierarchical T-splines: analysis-suitability, Bézier extraction, and application as an adaptive basis for isogeometric analysis. Comput Methods Appl Mech Eng. 2015;284:1–20. doi: 10.1016/j.cma.2014.05.019. [DOI] [Google Scholar]
  • 88.Falini A, Giannelli C, Kanduč T, Sampoli ML, Sestini A. An adaptive IgA-BEM with hierarchical B-splines based on quasi-interpolation quadrature schemes. Int J Numer Meth Eng. 2019;117(10):1038–1058. doi: 10.1002/nme.5990. [DOI] [Google Scholar]
  • 89.Farin G. Curves and surfaces for CAGD: a practical guide. 5. San Francisco: Morgan Kaufmann Publishers Inc; 2002. [Google Scholar]
  • 90.Feischl M, Führer T, Karkulik M, Melenk JM, Praetorius D. Quasi-optimal convergence rates for adaptive boundary element methods with data approximation. Part I: weakly-singular integral equation. Calcolo. 2014;51(4):531–562. doi: 10.1007/s10092-013-0100-x. [DOI] [Google Scholar]
  • 91.Feischl M, Führer T, Karkulik M, Melenk JM, Praetorius D. Quasi-optimal convergence rates for adaptive boundary element methods with data approximation, Part II: hyper-singular integral equation. Electron Trans Numer Anal. 2015;44:153–176. [Google Scholar]
  • 92.Feischl M, Führer T, Praetorius D. Adaptive FEM with optimal convergence rates for a certain class of nonsymmetric and possibly nonlinear problems. SIAM J Numer Anal. 2014;52(2):601–625. doi: 10.1137/120897225. [DOI] [Google Scholar]
  • 93.Feischl M, Gantner G, Haberl A, Praetorius D. Adaptive 2D IGA boundary element methods. Eng Anal Bound Elem. 2016;62:141–153. doi: 10.1016/j.enganabound.2015.10.003. [DOI] [Google Scholar]
  • 94.Feischl M, Gantner G, Haberl A, Praetorius D. Optimal convergence for adaptive IGA boundary element methods for weakly-singular integral equations. Numer Math. 2017;136(1):147–182. doi: 10.1007/s00211-016-0836-8. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 95.Feischl M, Gantner G, Praetorius D. Reliable and efficient a posteriori error estimation for adaptive IGA boundary element methods for weakly-singular integral equations. Comput Methods Appl Mech Eng. 2015;290:362–386. doi: 10.1016/j.cma.2015.03.013. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 96.Feischl M, Karkulik M, Melenk JM, Praetorius D. Quasi-optimal convergence rate for an adaptive boundary element method. SIAM J Numer Anal. 2013;51(2):1327–1348. doi: 10.1137/110842569. [DOI] [Google Scholar]
  • 97.Ferraz-Leite S (2007) A Posteriori Fehlerschätzer für die Symmsche Integralgleichung in 3D. Master’s thesis, TU Wien
  • 98.Ferraz-Leite S, Praetorius D. Simple a posteriori error estimators for the h-version of the boundary element method. Computing. 2008;83(4):135–162. doi: 10.1007/s00607-008-0017-4. [DOI] [Google Scholar]
  • 99.Forsey DR, Bartels RH. Hierarchical B-spline refinement. Comput Graphics. 1988;22:205–212. doi: 10.1145/378456.378512. [DOI] [Google Scholar]
  • 100.Führer T, Gantner G, Praetorius D, Schimanko S. Optimal additive Schwarz preconditioning for adaptive 2D IGA boundary element methods. Comput Methods Appl Mech Eng. 2019;351:571–598. doi: 10.1016/j.cma.2019.03.038. [DOI] [Google Scholar]
  • 101.Führer T, Haberl A, Praetorius D, Schimanko S. Adaptive BEM with inexact PCG solver yields almost optimal computational costs. Numer Math. 2019;141:967–1008. doi: 10.1007/s00211-018-1011-1. [DOI] [Google Scholar]
  • 102.Gantner G (2014) Adaptive isogeometric BEM. Master’s thesis, TU Wien
  • 103.Gantner G (2017) Optimal adaptivity for splines in finite and boundary element methods. Ph.D. thesis, TU Wien
  • 104.Gantner G, Haberl A, Praetorius D, Schimanko S. Rate optimality of adaptive finite element methods with respect to the overall computational costs. Math Comp. 2021;90:2011–2040. doi: 10.1090/mcom/3654. [DOI] [Google Scholar]
  • 105.Gantner G, Haberlik D, Praetorius D. Adaptive IGAFEM with optimal convergence rates: hierarchical B-splines. Math Models Methods Appl Sci. 2017;27(14):2631–2674. doi: 10.1142/S0218202517500543. [DOI] [Google Scholar]
  • 106.Gantner G. Praetorius, D (2020) Adaptive BEM for elliptic PDE systems, part I: abstract framework, for weakly-singular integral equations. Appl Anal. 2020;10(1080/00036811):1800651. [Google Scholar]
  • 107.Gantner G, Praetorius D. Adaptive IGAFEM with optimal convergence rates: T-splines. Comput Aided Geom Design. 2020;81:101906. doi: 10.1016/j.cagd.2020.101906. [DOI] [Google Scholar]
  • 108.Gantner G, Praetorius D (2021) Adaptive BEM for elliptic PDE systems, part II: isogeometric analysis with hierarchical B-splines for weakly-singular integral equations. Comput Math Appl 117:74–96
  • 109.Gantner G, Praetorius D, Schimanko S. Adaptive isogeometric boundary element methods with local smoothness control. Math Models Methods Appl Sci. 2020;30(2):261–307. doi: 10.1142/S0218202520500074. [DOI] [Google Scholar]
  • 110.Gantumur T. Adaptive boundary element methods with convergence rates. Numer Math. 2013;124(3):471–516. doi: 10.1007/s00211-013-0524-x. [DOI] [Google Scholar]
  • 111.Garau E, Vázquez R. Algorithms for the implementation of adaptive isogeometric methods using hierarchical B-splines. Appl Numer Math. 2018;123:58–87. doi: 10.1016/j.apnum.2017.08.006. [DOI] [Google Scholar]
  • 112.Giannelli C, Jüttler B. Bases and dimensions of bivariate hierarchical tensor-product splines. J Comput Appl Math. 2013;239:162–178. doi: 10.1016/j.cam.2012.09.031. [DOI] [Google Scholar]
  • 113.Giannelli C, Jüttler B, Kleiss SK, Mantzaflaris A, Simeon B, Špeh J. THB-splines: an effective mathematical technology for adaptive refinement in geometric design and isogeometric analysis. Comput Methods Appl Mech Eng. 2016;299:337–365. doi: 10.1016/j.cma.2015.11.002. [DOI] [Google Scholar]
  • 114.Giannelli C, Jüttler B, Speleers H. THB-splines: the truncated basis for hierarchical splines. Comput Aided Geom Design. 2012;29(7):485–498. doi: 10.1016/j.cagd.2012.03.025. [DOI] [Google Scholar]
  • 115.Giannelli C, Jüttler B, Speleers H. Strongly stable bases for adaptively refined multilevel spline spaces. Adv Comp Math. 2014;40:459–490. doi: 10.1007/s10444-013-9315-2. [DOI] [Google Scholar]
  • 116.Giannelli C, Kanduč T, Pelosi F, Speleers H. An immersed-isogeometric model: application to linear elasticity and implementation with THBox-splines. J Comput Appl Math. 2019;349:410–423. doi: 10.1016/j.cam.2018.09.027. [DOI] [Google Scholar]
  • 117.Grinspun E, Krysl P, Schröder P. CHARMS: a simple framework for adaptive simulation. SIGGRAPH (ACM Trans Graphics) 2002;21(3):281–290. doi: 10.1145/566654.566578. [DOI] [Google Scholar]
  • 118.Heltai L, Arroyo M, DeSimone A. Nonsingular isogeometric boundary element method for Stokes flows in 3D. Comput Methods Appl Mech Eng. 2014;268:514–539. doi: 10.1016/j.cma.2013.09.017. [DOI] [Google Scholar]
  • 119.Hennig P, Kästner M, Morgenstern P, Peterseim D. Adaptive mesh refinement strategies in isogeometric analysis—a computational comparison. Comput Methods Appl Mech Eng. 2017;316:424–448. doi: 10.1016/j.cma.2016.07.029. [DOI] [Google Scholar]
  • 120.Hennig P, Müller S, Kästner M. Bézier extraction and adaptive refinement of truncated hierarchical NURBS. Comput Methods Appl Mech Eng. 2016;305:316–339. doi: 10.1016/j.cma.2016.03.009. [DOI] [Google Scholar]
  • 121.Hiemstra RR, Calabrò F, Schillinger D, Hughes TJR. Optimal and reduced quadrature rules for tensor product and hierarchically refined splines in isogeometric analysis. Comput Methods Appl Mech Eng. 2017;316:966–1004. doi: 10.1016/j.cma.2016.10.049. [DOI] [Google Scholar]
  • 122.Hinz J, Helmig J, Mueller M, Elgeti S. Boundary-conforming finite element methods for twin-screw extruders using spline-based parameterization techniques. Comput Methods Appl Mech Eng. 2020;361:112740. doi: 10.1016/j.cma.2019.112740. [DOI] [Google Scholar]
  • 123.Hinz J, Mueller M, Vuik C. Elliptic grid generation techniques in the framework of isogeometric analysis applications. Comput Aided Geom Design. 2018;65:48–75. doi: 10.1016/j.cagd.2018.03.023. [DOI] [Google Scholar]
  • 124.Hofmann S, Mitrea M, Taylor M. Singular integrals and elliptic boundary problems on regular Semmes–Kenig–Toro domains. Int Math Res Not. 2009;2010(14):2567–2865. [Google Scholar]
  • 125.Hofreither C, Jüttler B, Kiss G, Zulehner W. Multigrid methods for isogeometric analysis with THB-splines. Comput Methods Appl Mech Eng. 2016;308:96–112. doi: 10.1016/j.cma.2016.05.005. [DOI] [Google Scholar]
  • 126.Hofreither C, Mitter L, Speleers H (2019) Local multigrid solvers for adaptive isogeometric analysis in hierarchical spline spaces. Tech. Rep. 2019-34, RICAM Johann Radon Institute for Computational and Applied Mathematics
  • 127.Hoschek J, Lasser D. Fundamentals of computer aided geometric design. Wellesley: A K Peters; 1993. [Google Scholar]
  • 128.Hsiao GC, Wendland WL. Boundary integral equations. Berlin: Springer; 2008. [Google Scholar]
  • 129.Hughes TJR, Cottrell JA, Bazilevs Y. Isogeometric analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement. Comput Methods Appl Mech Eng. 2005;194:4135–4195. doi: 10.1016/j.cma.2004.10.008. [DOI] [Google Scholar]
  • 130.Johannessen KA, Kvamsdal T, Dokken T. Isogeometric analysis using LR B-splines. Comput Aided Geom Design. 2014;269:471–514. [Google Scholar]
  • 131.Johannessen KA, Remonato F, Kvamsdal T. On the similarities and differences between classical hierarchical, truncated hierarchical and LR B-splines. Comput Methods Appl Mech Eng. 2015;291:64–101. doi: 10.1016/j.cma.2015.02.031. [DOI] [Google Scholar]
  • 132.Kanduč T, Giannelli C, Pelosi F, Speleers H. Adaptive isogeometric analysis with hierarchical box splines. Comput Methods Appl Mech Eng. 2017;316:817–838. doi: 10.1016/j.cma.2016.09.046. [DOI] [Google Scholar]
  • 133.Kapl M, Sangalli G, Takacs T. Construction of analysis-suitable G1 planar multi-patch parameterizations. Comput Aided Design. 2018;97:41–55. doi: 10.1016/j.cad.2017.12.002. [DOI] [Google Scholar]
  • 134.Kapl M, Sangalli G, Takacs T. An isogeometric C1 subspace on unstructured multi-patch planar domains. Comput Aided Geom Design. 2019;69:55–75. doi: 10.1016/j.cagd.2019.01.002. [DOI] [Google Scholar]
  • 135.Karkulik M (2012) Zur Konvergenz und Quasioptimalität adaptiver Randelementmethoden. Ph.D. thesis, TU Wien
  • 136.Kiendl J, Hsu MC, Wu MCH, Reali A. Isogeometric Kirchhoff-Love shell formulations for general hyperelastic materials. Comput Methods Appl Mech Eng. 2015;291:280–303. doi: 10.1016/j.cma.2015.03.010. [DOI] [Google Scholar]
  • 137.Kiss G, Giannelli C, Jüttler B, et al. Algorithms and data structures for truncated hierarchical B-splines. In: Floater M, et al., editors. Mathematical methods for curves and surfaces. Berliln: Springer; 2014. pp. 304–323. [Google Scholar]
  • 138.Kiss G, Giannelli C, Zore U, Jüttler B, Großmann D, Barner J. Adaptive CAD model (re-)construction with THB-splines. Graph Models. 2014;76:273–288. doi: 10.1016/j.gmod.2014.03.017. [DOI] [Google Scholar]
  • 139.Kleiss SK, Pechstein C, Jüttler B, Tomar S. IETI—isogeometric tearing and interconnecting. Comput Methods Appl Mech Eng. 2012;247–248:201–215. doi: 10.1016/j.cma.2012.08.007. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 140.Kostas KV, Ginnis AI, Politis CG, Kaklis PD. Ship-hull shape optimization with a T-spline based BEM-isogeometric solver. Comput Methods Appl Mech Eng. 2015;284:611–622. doi: 10.1016/j.cma.2014.10.030. [DOI] [Google Scholar]
  • 141.Kostas KV, Ginnis AI, Politis CG, Kaklis PD. Shape-optimization of 2D hydrofoils using an isogeometric BEM solver. Comput Aided Design. 2017;82:79–87. doi: 10.1016/j.cad.2016.07.002. [DOI] [Google Scholar]
  • 142.Kraft R. Adaptive and linearly independent multilevel B-splines. In: Le Méhauté A, Rabut C, Schumaker LL, editors. Surface fitting and multiresolution methods. Nashville: Vanderbilt University Press; 1997. pp. 209–218. [Google Scholar]
  • 143.Kraft R (1998) Adaptive und linear unabhängige multilevel B–splines und ihre Anwendungen. Ph.D. thesis, Universität Stuttgart
  • 144.Krysl P, Grinspun E, Schröder P. Natural hierarchical refinement for finite element methods. Int J Numer Methods Eng. 2003;56(8):1109–1124. doi: 10.1002/nme.601. [DOI] [Google Scholar]
  • 145.Kumar M, Kvamsdal T, Johannessen KA. Simple a posteriori error estimators in adaptive isogeometric analysis. Comput Methods Appl Mech Eng. 2015;70:1555–1582. [Google Scholar]
  • 146.Kumar M, Kvamsdal T, Johannessen KA. Superconvergent patch recovery and a posteriori error estimation technique in adaptive isogeometric analysis. Comput Methods Appl Mech Eng. 2017;316:1086–1156. doi: 10.1016/j.cma.2016.11.014. [DOI] [Google Scholar]
  • 147.Li X. Some properties for analysis-suitable T-splines. J Comput Math. 2015;33(4):428–442. doi: 10.4208/jcm.1504-m4493. [DOI] [Google Scholar]
  • 148.Li X, Chen F, Kang H, Deng J. A survey on the local refinable splines. Sci China Math. 2016;59(4):617–644. doi: 10.1007/s11425-015-5063-8. [DOI] [Google Scholar]
  • 149.Li X, Deng J, Chen F. Polynomial splines over general T-meshes. Vis Comput. 2010;26(4):277–286. doi: 10.1007/s00371-009-0410-9. [DOI] [Google Scholar]
  • 150.Li X, Scott MA. Analysis-suitable T-splines: characterization, refineability, and approximation. Math Models Methods Appl Sci. 2014;24(06):1141–1164. doi: 10.1142/S0218202513500796. [DOI] [Google Scholar]
  • 151.Li X, Zhang J. AS++ T-splines: linear independence and approximation. Comput Methods Appl Mech Eng. 2018;333:462–474. doi: 10.1016/j.cma.2018.01.041. [DOI] [Google Scholar]
  • 152.Li X, Zheng J, Sederberg TW, Hughes TJR, Scott MA. On linear independence of T-spline blending functions. Comput Aided Geom Design. 2012;29:63–76. doi: 10.1016/j.cagd.2011.08.005. [DOI] [Google Scholar]
  • 153.Liu L, Zhang YJ, Wei X. Weighted T-splines with application in reparameterizing trimmed NURBS surfaces. Comput Methods Appl Mech Eng. 2015;295:108–126. doi: 10.1016/j.cma.2015.06.020. [DOI] [Google Scholar]
  • 154.Majeed M, Cirak F. Isogeometric analysis using manifold-based smooth basis functions. Comput Methods Appl Mech Eng. 2017;316:547–567. doi: 10.1016/j.cma.2016.08.013. [DOI] [Google Scholar]
  • 155.Marussig B, Hughes T. A review of trimming in isogeometric analysis: challenges, data exchange and simulation aspects. Arch Comput Methods Eng. 2018;25:1059–1127. doi: 10.1007/s11831-017-9220-9. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 156.Marussig B, Zechner J, Beer G, Fries TP. Fast isogeometric boundary element method based on independent field approximation. Comput Methods Appl Mech Eng. 2015;284:458–488. doi: 10.1016/j.cma.2014.09.035. [DOI] [Google Scholar]
  • 157.Massarwi F, Elber G. A B-spline based framework for volumetric object modeling. Comput Aided Design. 2016;78:36–47. doi: 10.1016/j.cad.2016.05.003. [DOI] [Google Scholar]
  • 158.May S, Vignollet J, de Borst R. The role of the Bézier extraction operator for T-splines of arbitrary degree: linear dependencies, partition of unity property, nesting behaviour and local refinement. Int J Numer Methods Eng. 2015;103(8):547–581. doi: 10.1002/nme.4902. [DOI] [Google Scholar]
  • 159.McLean W. Strongly elliptic systems and boundary integral equations. Cambridge: Cambridge University Press; 2000. [Google Scholar]
  • 160.Mitscha-Eibl G (2014) Adaptive BEM und FEM-BEM-Kopplung für die Lamé-Gleichung. Master’s thesis, TU Wien
  • 161.Mokriš D, Jüttler B. TDHB-splines: the truncated decoupled basis of hierarchical tensor-product splines. Comput Aided Geom Design. 2014;31:531–544. doi: 10.1016/j.cagd.2014.05.004. [DOI] [Google Scholar]
  • 162.Mokriš D, Jüttler B, Giannelli C. On the completeness of hierarchical tensor-product B-splines. J Comput Appl Math. 2014;271:53–70. doi: 10.1016/j.cam.2014.04.001. [DOI] [Google Scholar]
  • 163.Morgenstern P. Globally structured three-dimensional analysis-suitable T-splines: definition, linear independence and m-graded local refinement. SIAM J Numer Anal. 2016;54(4):2163–2186. doi: 10.1137/15M102229X. [DOI] [Google Scholar]
  • 164.Morgenstern P (2017) Mesh refinement strategies for the adaptive isogeometric method. Ph.D. thesis, University of Bonn
  • 165.Morgenstern P, Peterseim D. Analysis-suitable adaptive T-mesh refinement with linear complexity. Comput Aided Geom Design. 2015;34:50–66. doi: 10.1016/j.cagd.2015.02.003. [DOI] [Google Scholar]
  • 166.Morin P, Nochetto RH, Siebert KG. Data oscillation and convergence of adaptive FEM. SIAM J Numer Anal. 2000;38(2):466–488. doi: 10.1137/S0036142999360044. [DOI] [Google Scholar]
  • 167.Morin P, Siebert KG, Veeser A. A basic convergence result for conforming adaptive finite elements. Math Models Methods Appl Sci. 2008;18(5):707–737. doi: 10.1142/S0218202508002838. [DOI] [Google Scholar]
  • 168.Nguyen BH, Zhuang X, Wriggers P, Rabczuk T, Mear ME, Tran HD. Isogeometric symmetric Galerkin boundary element method for three-dimensional elasticity problems. Comput Methods Appl Mech Eng. 2017;323:132–150. doi: 10.1016/j.cma.2017.05.011. [DOI] [Google Scholar]
  • 169.Nguyen T, Karčiauskas K, Peters J. C1 finite elements on non-tensor-product 2d and 3d manifolds. Appl Math Comput. 2016;272:148–158. doi: 10.1016/j.amc.2015.06.103. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 170.Nguyen T, Peters J. Refinable C1 spline elements for irregular quad layout. Comput Aided Geom Design. 2016;43:123–130. doi: 10.1016/j.cagd.2016.02.009. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 171.Nguyen-Thanh N, Nguyen-Xuan H, Bordas SPA, Rabczuk T. Isogeometric analysis using polynomial splines over hierarchical T-meshes for two-dimensional elastic solids. Comput Methods Appl Mech Eng. 2011;200(21–22):1892–1908. doi: 10.1016/j.cma.2011.01.018. [DOI] [Google Scholar]
  • 172.Nochetto RH, Veeser A. Multiscale and adaptivity: modeling, numerics and applications. Berlin: Springer; 2011. Primer of adaptive finite element methods; pp. 125–225. [Google Scholar]
  • 173.Pan M, Chen F, Tong W. Volumetric spline parameterization for isogeometric analysis. Comput Methods Appl Mech Eng. 2020;359:112769. doi: 10.1016/j.cma.2019.112769. [DOI] [Google Scholar]
  • 174.Pan M, Jüttler B, Mantzaflaris A. Efficient matrix assembly in isogeometric analysis with hierarchical B-splines. J Comput Appl Math. 2021;390:113278. doi: 10.1016/j.cam.2020.113278. [DOI] [Google Scholar]
  • 175.Patrizi F, Manni C, Pelosi F, Speleers H. Adaptive refinement with locally linearly independent LR B-splines: theory and applications. Comput Methods Appl Mech Eng. 2020;369:113230. doi: 10.1016/j.cma.2020.113230. [DOI] [Google Scholar]
  • 176.Pfeiler CM, Praetorius D. Dörfler marking with minimal cardinality is a linear complexity problem. Math Comp. 2020;89(326):2735–2752. doi: 10.1090/mcom/3553. [DOI] [Google Scholar]
  • 177.Piegl L, Tiller W. The NURBS book. New York: Springer; 1997. [Google Scholar]
  • 178.Politis C, Ginnis AI, Kaklis PD, Belibassakis K, Feurer C (2009) An isogeometric BEM for exterior potential-flow problems in the plane. In: 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling, pp. 349–354
  • 179.de Prenter F, Verhoosel CV, van Brummelen EH, Evans JA, Messe C, Benzaken J, Maute K. Multigrid solvers for immersed finite element methods and immersed isogeometric analysis. Comput Mech. 2020;65(3):807–838. doi: 10.1007/s00466-019-01796-y. [DOI] [Google Scholar]
  • 180.Primbs M. New stable biorthogonal spline-wavelets on the interval. Results Math. 2010;57(1):121–162. doi: 10.1007/s00025-009-0008-6. [DOI] [Google Scholar]
  • 181.Qarariyah A, Yang T, Deng J. Solving higher order PDEs with isogeometric analysis on implicit domains using weighted extended THB-splines. Comput Aided Geom Design. 2019;71:202–219. doi: 10.1016/j.cagd.2019.04.001. [DOI] [Google Scholar]
  • 182.Sabin M. Adaptivity with B-spline elements. In: Floater M, Lyche T, Mazure ML, Mørken K, Schumaker LL, editors. Mathematical methods for curves and surfaces. Cham: Springer; 2017. pp. 218–232. [Google Scholar]
  • 183.Sablonnière P. Recent progress on univariate and multivariate polynomial and spline quasi-interpolants. In: Mache DH, Szabados J, de Bruin MG, editors. Trends and applications in constructive approximation. Basel: Birkhäuser Basel; 2005. pp. 229–245. [Google Scholar]
  • 184.Sande E, Manni C, Speleers H. Explicit error estimates for spline approximation of arbitrary smoothness in isogeometric analysis. Numer Math. 2020;144(4):889–929. doi: 10.1007/s00211-019-01097-9. [DOI] [Google Scholar]
  • 185.Sauter SA, Schwab C. Boundary element methods. Berlin: Springer; 2011. [Google Scholar]
  • 186.Schillinger D, Dedé L, Scott M, Evans J, Borden M, Rank E, Hughes T. An isogeometric design-through-analysis methodology based on adaptive hierarchical refinement of NURBS, immersed boundary methods, and T-spline CAD surfaces. Comput Methods Appl Mech Eng. 2012;249–252:116–150. doi: 10.1016/j.cma.2012.03.017. [DOI] [Google Scholar]
  • 187.Schumaker L. Spline functions: basic theory. Cambridge: Cambridge University Press; 2007. [Google Scholar]
  • 188.Scott MA, Borden MJ, Verhoosel CV, Sederberg TW, Hughes TJR. Isogeometric finite element data structures based on Bézier extraction of T-splines. Int J Numer Methods Eng. 2011;88(2):126–156. doi: 10.1002/nme.3167. [DOI] [Google Scholar]
  • 189.Scott MA, Li X, Sederberg TW, Hughes TJR. Local refinement of analysis-suitable T-splines. Comput Methods Appl Mech Eng. 2012;213:206–222. doi: 10.1016/j.cma.2011.11.022. [DOI] [Google Scholar]
  • 190.Scott MA, Simpson RN, Evans JA, Lipton S, Bordas SPA, Hughes TJR, Sederberg TW. Isogeometric boundary element analysis using unstructured T-splines. Comput Methods Appl Mech Eng. 2013;254:197–221. doi: 10.1016/j.cma.2012.11.001. [DOI] [Google Scholar]
  • 191.Scott MA, Thomas DC, Evans EJ. Isogeometric spline forests. Comput Methods Appl Mech Eng. 2014;269:222–264. doi: 10.1016/j.cma.2013.10.024. [DOI] [Google Scholar]
  • 192.Sederberg TW, Cardon DL, Finnigan GT, North NS, Zheng J, Lyche T. T-spline simplification and local refinement. ACM Trans Graphics. 2004;23:276–283. doi: 10.1145/1015706.1015715. [DOI] [Google Scholar]
  • 193.Sederberg TW, Zheng J, Bakenov A, Nasri A. T-splines and T-NURCCS. ACM Trans Graphics. 2003;22:477–484. doi: 10.1145/882262.882295. [DOI] [Google Scholar]
  • 194.Siebert KG. A convergence proof for adaptive finite elements without lower bound. IMA J Numer Anal. 2011;31(3):947–970. doi: 10.1093/imanum/drq001. [DOI] [Google Scholar]
  • 195.Simpson RN, Liu Z, Vázquez R, Evans JA. An isogeometric boundary element method for electromagnetic scattering with compatible B-spline discretizations. J Comput Phys. 2018;362:264–289. doi: 10.1016/j.jcp.2018.01.025. [DOI] [Google Scholar]
  • 196.Simpson RN, Scott MA, Taus M, Thomas DC, Lian H. Acoustic isogeometric boundary element analysis. Comput Methods Appl Mech Eng. 2014;269:265–290. doi: 10.1016/j.cma.2013.10.026. [DOI] [Google Scholar]
  • 197.Speleers H. Hierarchical spline spaces: quasi-interpolants and local approximation estimates. Adv Comput Math. 2017;43:235–255. doi: 10.1007/s10444-016-9483-y. [DOI] [Google Scholar]
  • 198.Speleers H, Manni C. Effortless quasi-interpolation in hierarchical spaces. Numer Math. 2016;132(1):155–184. doi: 10.1007/s00211-015-0711-z. [DOI] [Google Scholar]
  • 199.Steinbach O. Numerical approximation methods for elliptic boundary value problems: finite and boundary elements. New York: Springer; 2008. [Google Scholar]
  • 200.Stevenson R. Optimality of a standard adaptive finite element method. Found Comput Math. 2007;7(2):245–269. doi: 10.1007/s10208-005-0183-0. [DOI] [Google Scholar]
  • 201.Stevenson R. The completion of locally refined simplicial partitions created by bisection. Math Comp. 2008;77(261):227–241. doi: 10.1090/S0025-5718-07-01959-X. [DOI] [Google Scholar]
  • 202.Thomas DC, Scott MA, Evans JA, Tew K, Evans EJ. Bèzier projection: a unified approach for local projection and quadrature-free refinement and coarsening of NURBS and T-splines with particular application to isogeometric design and analysis. Comput Methods Appl Mech Eng. 2015;284:55–105. doi: 10.1016/j.cma.2014.07.014. [DOI] [Google Scholar]
  • 203.Toshniwal D, Speleers H, Hughes TJR. Smooth cubic spline spaces on unstructured quadrilateral meshes with particular emphasis on extraordinary points: Geometric design and isogeometric analysis considerations. Comput Methods Appl Mech Eng. 2017;327:411–458. doi: 10.1016/j.cma.2017.06.008. [DOI] [Google Scholar]
  • 204.Vázquez R, Buffa A, Di Rienzo L. NURBS-based BEM implementation of high-order surface impedance boundary conditions. IEEE Trans Magn. 2012;48(12):4757–4766. doi: 10.1109/TMAG.2012.2204897. [DOI] [Google Scholar]
  • 205.Venås JV, Kvamsdal T. Isogeometric boundary element method for acoustic scattering by a submarine. Comput Methods Appl Mech Eng. 2020;359:112670. doi: 10.1016/j.cma.2019.112670. [DOI] [Google Scholar]
  • 206.Verfürth R. A posteriori error estimation techniques for finite element methods. Oxford: Oxford University Press; 2013. [Google Scholar]
  • 207.Vuong AV, Giannelli C, Jüttler B, Simeon B. A hierarchical approach to adaptive local refinement in isogeometric analysis. Comput Methods Appl Mech Eng. 2011;200(49):3554–3567. doi: 10.1016/j.cma.2011.09.004. [DOI] [Google Scholar]
  • 208.Wang P, Xu J, Deng J, Chen F. Adaptive isogeometric analysis using rational PHT-splines. Comput Aided Design. 2011;43(11):1438–1448. doi: 10.1016/j.cad.2011.08.026. [DOI] [Google Scholar]
  • 209.Wei X, Zhang Y, Hughes TJR, Scott M. Truncated hierarchical Catmull–Clark subdivision with local refinement. Comput Methods Appl Mech Eng. 2015;291:1–20. doi: 10.1016/j.cma.2015.03.019. [DOI] [Google Scholar]
  • 210.Wei X, Zhang Y, Hughes TJR, Scott M. Extended truncated hierarchical Catmull–Clark subdivision. Comput Methods Appl Mech Eng. 2016;299:316–336. doi: 10.1016/j.cma.2015.10.024. [DOI] [Google Scholar]
  • 211.Wei X, Zhang Y, Liu L, Hughes TJR. Truncated T-splines: fundamentals and methods. Comput Methods Appl Mech Eng. 2017;316:349–372. doi: 10.1016/j.cma.2016.07.020. [DOI] [Google Scholar]
  • 212.Wei X, Zhang YJ, Toshniwal D, Speleers H, Li X, Manni C, Evans JA, Hughes TJR. Blended B-spline construction on unstructured quadrilateral and hexahedral meshes with optimal convergence rates in isogeometric analysis. Comput Methods Appl Mech Eng. 2018;341:609–639. doi: 10.1016/j.cma.2018.07.013. [DOI] [Google Scholar]
  • 213.Zhang J, Li X. Local refinement for analysis-suitable++ T-splines. Comput Methods Appl Mech Eng. 2018;342:32–45. doi: 10.1016/j.cma.2018.07.024. [DOI] [Google Scholar]
  • 214.Zhang Y, Wang W, Hughes TJ. Solid T-spline construction from boundary representations for genus-zero geometry. Comput Methods Appl Mech Eng. 2012;249–252:185–197. doi: 10.1016/j.cma.2012.01.014. [DOI] [Google Scholar]
  • 215.Zore U, Jüttler B. Adaptively refined multilevel spline spaces from generating systems. Comput Aided Geom Design. 2014;31:545–566. doi: 10.1016/j.cagd.2014.04.003. [DOI] [Google Scholar]

Articles from Archives of Computational Methods in Engineering are provided here courtesy of Springer

RESOURCES