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 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 . 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 , adaptive algorithms aim to improve the accuracy of a discrete solution by iterating the so-called adaptive loop
1 |
The module computes a discrete solution (indexed by some step counter ) related to the current mesh .
The module computes for all elements the local contributions of some a posteriori error estimator which, at least heuristically, provides a measure of the discretization error . The so-called refinement indicators depend usually on the computed discrete solution and the known problem or mesh data, but are independent of the unknown solution u.
Having computed all refinement indicators, the module selects elements for refinement.
Finally, the module adapts the underlying mesh and generates a new mesh 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 [8–12] 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 as the adaptive step counter 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 for a large class of PDE model problems.
Moreover, it took almost two decades to mathematically understand optimal convergence in the sense that , where is proportional to the numbers of the degrees of freedom and the algebraic convergence rate 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 [64–66, 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., [64–66, 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 to abbreviate with some generic constant , which is clear from the context. Moreover, abbreviates . Throughout, we use indices for non-generic meshes, e.g., typically denotes a refinement of some given mesh and denotes the k-th mesh generated by the adaptive algorithm. Corresponding quantities have the same index, e.g., and denote the error estimators corresponding to the meshes and , respectively. We often use for notation on the parametric domain. We employ standard notation for Sobolev spaces, e.g., 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 |
---|---|---|
Diffusion matrix | Section 3.2.1 | |
Anchors in T-mesh | Section 4.2.3 | |
Drift vector | Section 3.2.1 | |
Univariate B-spline | Section 2.1.1 | |
(Local) univariate B-spline | Section 2.1.1 | |
Multivariate B-spline | Section 2.1.1 | |
Hierarchical B-spline | Section 4.1.1 | |
T-spline blending function | Section 4.2.3 | |
Uniformly refined multivariate B-splines | Section 4.1.1 | |
Univariate B-splines | Section 2.1.1 | |
Multivariate B-splines | Section 2.1.1 | |
c | Reaction coefficient | Section 3.2.1 |
Approximation constant for estimator | Section 5.1.4 | |
Approximation constant for total error | Section 5.2.2 | |
Dimension of parametric domain | Section 2.2.1 | |
d | Dimension of physical domain | Section 2.4 |
Perturbation term of meshes | Section 5.1.3 | |
Conormal derivative | Section 3.2.3 | |
NURBS parametrization | Section 2.4 | |
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 |
Element size in parametric domain | Section 2.2.1 | |
Element size | Section 3.1 | |
Hierarchical B-splines | Section 4.1.1 | |
Quasi-interpolant for univariate splines | Section 2.1.2 | |
Quasi-interpolant for multivariate splines | Section 2.2.2 | |
Quasi-interpolant for hierarchical splines | Section 4.1.4 | |
Quasi-interpolant for T-splines | Section 4.2.4 | |
Double-layer operator | Section 3.3.2 | |
Level of elements in hierarchical/T-mesh | Section 4.1.1/4.2.2 | |
Mother B-spline of truncated hierarchical B-spline | Section 4.1.2 | |
Neighbors for T-splines in index domain | Section 4.2.4 | |
Neighbors for T-splines in parametric domain | Section 4.2.4 | |
Neighbors for volume/boundary multi-patches | Section 6.1.5/7.1 | |
Neighbors for HB-splines | Section 4.1.3 | |
Neighbors for THB-splines | Section 4.1.3 | |
Oscillations | Section 5.2.2 | |
p | Polynomial degree | Section 2.1.1 |
Polynomial degree vector | Section 2.2.1 | |
Polynomial degree vector for parametrization | Section 3.1 | |
PDE operator | Section 3.2.1 | |
Initial T-mesh of index domain | Section 4.2.2 | |
Initial hierarchical/T-mesh in parametric domain | Section 4.1.3/4.2.5 | |
Initial mesh | Section 5.1.1 | |
Mesh of parametric domain induced by knots of parametrization | Section 3.1 | |
Uniformly refined mesh of parametric domain | Section 4.1.1 | |
Mesh induced by parametrization | Section 3.1 | |
Admissible hierarchical/T-meshes | Section 4.1.3/4.2.5 | |
Admissible meshes | Section 5.1.1 | |
Admissible meshes of volume/boundary patch in parametric domain | Section 6.1.5/7.1 | |
Admissible meshes of volume/boundary patch | Section 6.1.5/7.1 | |
Support extension (for B-splines and T-splines) | Section 2.2.1/4.2.4 | |
Multilevel support extension | Section 4.1.3 | |
Modified support extension | Section 4.1.4 | |
FEM/BEM ansatz space | Section 3.2.1/3.3.2 | |
Space of univariate splines | Section 2.1.1 | |
Space of multivariate splines | Section 2.2.1 | |
Space of hierarchical splines | Section 4.1.1 | |
Space of T-splines | Section 4.2.3 | |
T | Knot vector | Section 2.1.1 |
Iinitial knot vector | Section 7.3.2 | |
Truncated hierarchical B-spline | Section 4.1.2 | |
Truncation operator | Section 4.1.2 | |
Vector of knot vectors | Section 2.2.1 | |
Initial vector of knot vectors | Section 4.2.2 | |
Vector of knot vectors for parametrization | Section 3.1 | |
Uniformly refined vector of knot vectors | Section 4.1.1 | |
Truncated hierarchical B-splines | Section 4.1.2 | |
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 |
Vertices of mesh | Section 7.3.1 | |
Vertices of geometry | Section 3.1.3 | |
Single-layer operator | Section 3.3.2 | |
Z | Breakpoints | Section 2.1.1 |
Shape-regularity constant | Section 7.3.2 | |
Parametric domain for BEM | Section 3.1 | |
Physical domain for BEM | Section 3.1 | |
Interface between NURBS patches | Section 3.1.2 | |
Error estimator for FEM/BEM | Section 3.2.3/3.3.4 | |
Univariate dual functional | Section 2.1.2 | |
Multivariate dual functional | Section 2.2.2 | |
Dual functional for hierarchical splines | Section 4.1.4 | |
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 | |
Volume/boundary element-patch | Section 5.2.1/5.3.1 | |
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 | |
Active region for definition of T-splines | Section 4.2.3 | |
Index domain for definition of T-splines | Section 4.2.2 | |
Index/parametric domain for definition of T-splines | Section 4.2.2 | |
Nested subsets of parametric domain | Section 4.1.1 | |
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 | |
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 and , we define a knot vector as an ordered vector of the form
with for all . We say that T is an open (or p-open) knot vector, if the first and last knots are repeated exactly times, i.e., and . For simplicity, we will assume that and in the following.
We also introduce the ordered set of breakpoints , which accounts for knots without repetitions. We denote by the multiplicity of the breakpoint , such that and
For , i.e., for all internal knots, the multiplicity satisfies . Later on, and in particular for FEM, we will require lower multiplicity.
From the knot vector , a set of n B-splines is defined using the Cox–de Boor recursion formula. We start defining the piecewise constant functions
For , the B-spline functions are defined by the recursion
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])
they have local support (see [187, Theorem 4.17]), in particular
2 |
they are locally linearly independent in the sense that for any open set the functions 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 continuous derivatives at the breakpoints , for each (see [28, Chapter IX, (44)]). Notice that the maximum and minimum allowed continuity at the breakpoints are and (i.e., no continuity) which correspond to multiplicity and , respectively. We denote the basis of B-splines as
and the spline space spanned by them as
It is easy to see, from the recursion formula in the definition, that the definition of the B-spline , for , depends only on the local knot vector , 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
3 |
Finally, we note that the breakpoints in generate a partition of the interval (0, 1), and we denote by the local elements for , and by their corresponding element sizes. For each element , which can be uniquely written as for a certain index , we introduce its support extension
4 |
being the union of the supports of B-splines that do not vanish on .
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 is given by the expression [187, Sect. 4.2]
Quasi-Interpolation Operators
Let be such that the following local quasi-uniformity is satisfied
5 |
for all . Clearly, for a given a knot vector , such a constant always exists and we will use it to stress certain dependencies on the ratios .
There are several ways to define quasi-interpolation and projection operators onto the space of splines . 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 associated to the B-splines. Then, the quasi-interpolant takes the form
6 |
Notice that, when , with the Kronecker symbol, the linear functionals form a dual basis, and the quasi-interpolant becomes a projector, i.e.,
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 (where dB stands for de Boor). In this case, the functionals are defined as
7 |
where stands for the k-th derivative, and , with
and
where g is the transition function defined in [187, Theorem 4.37]. Note that it is trivial to see from (7) that
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
8 |
The second operator is defined in [45, 202], to which we refer for the details. We will denote it by , since it is sometimes called Bézier projection. We start defining, for each element , the local -projection into the space of polynomials of degree p on . Since B-splines span piecewise polynomials, the local -projection can be written as in (6) considering the restriction of the functions to , namely
9 |
Then, the functionals are defined as convex combinations of the corresponding functionals of the local projection
with coefficients and for . The functionals form a dual basis. For the following results, the concrete choice of the coefficients is not relevant. Among the three suggested choices given in [45, Sect. 6], we consider the following one: for each basis function , we choose a local element such that
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 . Then, the coefficients are taken as
and the dual functionals simply become .
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 or . Then, for any interval , it holds that
where the constant depends only on the degree p and the constant .
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 be the space dimension, which will be in practical cases. Let the integers and , and let be a -open knot vector for each . We set the degree vector and . Then, multivariate B-splines are defined as products of the form
for and for each , where it is understood that is defined from the knot vector . Analogously to the univariate case, we will denote the B-spline basis as
while the spline space is the spanned space, which is denoted by
It is worth noting that , 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, , for . Analogously to the partition of the interval in the univariate case, the breakpoints form a rectilinear grid of the form
For a generic element , we define the element size as
We also define its support extension as the union of the (open) supports of basis functions that do not vanish in , and due to the tensor-product structure, this is defined from the univariate support extensions as
10 |
for . Here, 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 is defined as tensor-product
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 , we choose an element with size equivalent to the size of the support. Then, introducing a local projector in , as in (9), and with an analogous notation for the local dual basis, the dual functional associated to this basis function is given by . 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.,
where we can choose either equal to or to . 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 of the following proposition is proved in [16, Lemma 3.2]. For the second quasi-interpolant , the result is proved in [45, Theorem 2], see also [47, Sect. 3.1].
Proposition 2
Let either or . Then, for any element , it holds that
The constant depends only on the polynomial degrees 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
with positive coefficients for . Then, the set of NURBS basis functions is formed by the rational functions
Analogously, in the multivariate case, if we introduce the set of multi-indices , the weight function is defined as
11 |
and provides the multivariate NURBS basis functions
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 for a B-spline quasi-interpolant, we define the corresponding NURBS quasi-interpolant by
It can be readily seen that this operator is a projector onto the NURBS space provided that is a projector onto the spline space. Moreover, if is as in Proposition 1 or Proposition 2, satisfies the same stability and approximation properties as , where the constants depend additionally on , 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 -variate NURBS be defined as in (12) and let with be the associated control points. The parametrization of the NURBS geometry is then given by
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 will allow the exact representation of conic geometries by NURBS. Moreover, it is also worth noting that, for a NURBS geometry, each component belongs to a space of rational splines, namely
Examples of a spline curve with and , and a spline surface with and , 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].
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 be the vector of polynomial degrees, the multivariate open knot vector, with multiplicity smaller or equal to for the internal knots in the j-th direction, and let be the corresponding tensor-mesh of the parametric domain
Introducing a weight function as in (11), let be a NURBS parametrization as in (13), with control points in . We define the physical domain as
In the case of FEM, it holds that 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, and will denote the -dimensional surface measure.
The image through of the mesh in the parametric domain automatically defines a mesh in the physical domain
14 |
see an example in Fig. 3. Moreover, for any element we define the element size as
These definitions are trivially extended to any mesh in the parametric domain.
By definition of NURBS (and B-splines), it is obvious that
where denotes the closure of . 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 is a bi-Lipschitz homeomorphism1, which in particular implies that the inverse exists. Moreover, it implies that the Gram determinant is bounded from above and from below, namely there exists a constant such that
15a |
for almost all , where is the Jacobian matrix of the parametrization. Note that when the Gram determinant reduces to . When , we additionally assume that
so that -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 and its inverse. In particular, these assumptions imply the existence of with (15a) and for all ,
15b |
where and respectively denote the i-th component of and , and the second derivatives are defined elementwise.
Finally, we remark that under the assumptions on the parametrization the size of the elements in the parametric and the physical domain is comparable, i.e., for any element it holds that
and the hidden constants depend only on .
Extension to Multi-patch Domains
A single mapping 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 patches in the sense that
where each patch is defined with a NURBS parame-trization of the form
and the assumptions made in Sect. 3.1 are valid for each . Again, in the case of BEM, we will write instead of . We denote by and the degree and the knot vector associated to the parametrization of each patch, and by and the corresponding mesh and the B-spline basis, respectively. Then, defining as in (14), we can define the multi-patch mesh
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 continuity. Let us denote the interfaces by for . We assume that the two following conditions hold true for all with :
- (P1)
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 such that
there exists a unique function such that .
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 is globally unstructured, but locally structured on each patch, see Fig. 4.
A Further Assumption for BEM
In the case of BEM, we require a further assumption. Here, the boundary of some -dimensional Lipschitz domain is defined as a multi-patch geometry through NURBS parametrizations. More precisely, we have that , where each
is a NURBS parametrization. Let us denote by
the set of vertices of the geometry. For each vertex , we define the subdomain covered by its neighboring elements as
Following [103, Sect. 5.4.1], we assume that the following condition holds true:
- (P3)
- For every vertex , there exists a set that is an interval for and a polygon for and a bi-Lipschitz mapping
such that is an affine mapping for all and all with .
The assumption means that each subdomain can be flattened and that the inverse of the bi-Lipschitz mapping restricted to Q essentially coincides with the inverse of , see Fig. 5. In particular, this prevents the case . We stress that the same assumption is also made in [185, Assumption 4.3.25] for curvilinear triangulations.
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 with 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 . We consider a general second-order linear elliptic PDE with homogenous Dirichlet boundary condition
17 |
where
18 |
with and symmetric, , and .
We interpret in its weak form and define the corresponding bilinear form
The bilinear form is clearly continuous, i.e., there exists a positive constant such that
Additionally, we suppose ellipticity of on , i.e., there exists such that
Note that ellipticity is for instance satisfied if the matrix is uniformly positive definite and the vector satisfies that almost everywhere in .
According to the Lax–Milgram theorem, for arbitrary problem (17) admits a unique solution to the weak formulation
19 |
Finally, we note that the additional regularity (instead of only the natural assumption ) is only required for the well-posedness of the residual a posteriori error estimator, see Sect. 3.2.3 below.
Let be an arbitrary discrete subspace and let be the corresponding Galerkin approximation to the solution , i.e.,
20 |
We note the Galerkin orthogonality
as well as the resulting Céa type quasi-optimality
with .
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 , with a NURBS parametrization of degree constructed from the knot vector as in Sect. 3.1. We consider a discrete space of splines , 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 , and allow to use a lower degree than for the parametrization, while the mesh and the continuity given by must be respected. In particular, we assume that and , the meshes respectively associated to the discrete spaces and , are nested, in the sense that the corresponding sets of breakpoints satisfy for . We also assume that the continuity of along the knot lines of is always less or equal than the one of . Note that this is always satisfied if . Moreover, to obtain conforming spaces in we assume that the continuity across elements is not lower than .
The discrete space in the physical domain is defined by push-forward using the NURBS parametrization, namely
21 |
We can easily define a basis for this space by push-forward of the B-spline basis functions, that is
22 |
For the solution of the discrete problem (20), we define the discrete space with vanishing boundary conditions
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 is associated to a mesh in the parametric domain, which we denote by and which is a refinement of . As in (14), this mesh is mapped through to define the mesh of associated to the space .
Remark 1
The assumption on the continuity along the knot lines of is in fact a condition on the knots. Let us assume for simplicity the same degrees p and in every direction, and the same multiplicities of the internal knots, m and , referring respectively to spaces and . Then the condition reads
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 satisfy the same assumptions with respect to as in the single-patch case. By push-forward, we define the corresponding space and its local basis as in the single-patch case. Then, the multi-patch discrete space is given as
and finally the discrete space with vanishing boundary conditions is simply
Since each local space is associated to a mesh, which we denote by , we can define the multi-patch mesh analogously to (16), i.e., .
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 such that , there exists a unique function such that .
With this assumption, we can build a basis of the multi-patch space 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 , let us denote by n the dimension of . We define for each patch a mapping
in such a way that, for any and with ,
Then, we define the basis of the multi-patch basis
where each basis function is given by
The conditions described above guarantee that the basis functions are continuous at the interfaces, see an example in Fig. 6.
Once we have the basis for , a basis for 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 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 be defined as above, and let . For almost every on the interior skeleton of the mesh, there exists a unique element with and . We denote the corresponding outer normal vectors by and . With the notation
we define the normal jump as
With this definition, we employ the weighted-residual a posteriori error estimator
23a |
where, for all with element size , the local refinement indicators read
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 (instead of only ) is needed to ensure that is well-defined.
Remark 5
If , then the jump contributions in (23) vanish and consists only of the volume residual, i.e., .
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 [93–95, 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 , let 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 . Before we give the model problem and discuss its discretization, we have to introduce the involved Sobolev spaces on . For , we define the Hilbert spaces with corresponding norms as in [159, p. 99] by use of Bessel potentials on and liftings via bi-Lipschitz mappings that describe . For , this procedure yields that with equivalent norms. Therefore, we set .
For , any measurable subset , and all , we define the associated Sobolev–Slobodeckij norm
with
Here, denotes the usual (weak) surface gradient which is well-defined for almost all . It is well known that provides an equivalent norm on , see, e.g., [199, Lemma 2.19] and [159, Theorem 3.30 and p. 99] for and [160, Theorem 2.28] for .
For , is a realization of the dual space of according to [159, Theorem 3.30 and p. 99]. With the duality bracket , we define the following equivalent norm on
In [159, p. 76], it is stated that for , where the inclusion is continuous, dense, and compact. In particular, forms a Gelfand triple in the sense of [185, Sect. 2.1.2.4] for all , where is interpreted as a function in via
The spaces 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 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 -dimensional bounded Lipschitz domain with partial differential operator
where the coefficients , and now additionally supposed to be constant. Moreover, we assume that is symmetric and positive definite.
Let be a corresponding fundamental solution in the sense of [159, p. 198], i.e., a distributional solution of , where denotes the Dirac delta function. For , we define the single-layer operator as
According to [159, pp. 209 and 219–220] and [124, Corollary 3.38], this operator can be extended for arbitrary ] to a bounded linear operator
24 |
In [159, Theorem 7.6], it is stated that is always elliptic up to some compact perturbation. We assume that it is elliptic even without perturbation, i.e.,
25 |
This is particularly satisfied for the Laplace problem or for the linear elasticity problem, where the case requires an additional scaling of the geometry , see, e.g., [199, Chapter 6]. Moreover, the bilinear form is continuous due to (24), i.e., it holds with that
26 |
Given a right-hand side , we consider the weakly-singular boundary integral equation
27 |
Such equations arise from the solution of Dirichlet problems of the form in with on for some , see, e.g., [159, pp. 226–229]. The normal derivative of the weak solution u then satisfies the integral equation (27) with , i.e.,
28 |
where
29 |
denotes the double-layer operator [159, pp. 218–223]. If is piecewise smooth and if , for all where is locally smooth and g is continuous there holds the representation
see [185, Sect. 3.3.3]. Due to (25)–(26) the Lax–Milgram lemma guarantees existence and uniqueness of the solution of the equivalent variational formulation of (27)
In particular, we see that is an isomorphism.
In the Galerkin BEM, the test space is replaced by some discrete subspace . Again, the Lax–Milgram lemma applies and guarantees the existence and uniqueness of the solution of the discrete variational formulation
30 |
In fact, can be computed by solving a linear system of equations. Note that (24) even implies that for arbitrary . The additional regularity instead of is only needed to define the residual error estimator (32) below, which requires that . As for the FEM problem, we also note the Galerkin orthogonality
31 |
as well as the resulting Céa-type quasi-optimality
where . 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 (and not necessarily ) is defined as a multi-patch geometry through NURBS parametrizations. More precisely, we suppose that , where
is a NURBS parametrization and the assumptions of Sect. 3.1 are valid. In particular, each 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 with the local basis via push-forward as in the IGAFEM case (21)–(22). Then, we define the discrete isogeometric space as
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 only needs to be contained in . A basis for this space is clearly given by
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 be the mesh on , defined as above. Due to the regularity assumption , the mapping property (24), and , the residual satisfies that for all . This allows to employ the weighted-residual a posteriori error estimator
32a |
where, for all with element size , the local refinement indicators read
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
33 |
be a nested sequence of N tensor-product spline spaces , for , defined without loss of generality on the open hyper-cube .
At any level , we consider the B-spline basis of degree defined on the rectilinear grid , analogously to the one-level case described in Sect. 2.2. Any (non-empty) element of the grid is the Cartesian product of open intervals defined by consecutive breakpoints. We abbreviate its level . The knot vector in the coordinate direction i, for , is associated to the grid at level and contains non-decreasing real numbers so that each breakpoint appears in the knot vector as many times as specified by a certain multiplicity. For , an example of grids and B-spline bases of three different levels is shown in Fig. 7.
We assume open knot vectors in any direction at level 0 and multiplicities of internal knots between one and . 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 elements of level , see Figs. 7 and 8 for and , respectively. In addition, any newly inserted knot appears with multiplicity one.
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 , given by
where we assume that is the union of the closure of elements of level . By considering the set of active elements at level , for , we can define the hierarchical mesh as follows:
34 |
For , an example of domain hierarchy on three refinement levels is shown in Fig. 8.
We say that a mesh is a refinement of , and we denote it by (or ), if it is obtained from 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 , such that , , , and for .
Given a hierarchical mesh , the set of hierarchical B-splines (HB-splines) can be constructed according to the following steps:
;
- for
where
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 of HB-splines of level includes
B-splines of coarser levels whose support is not contained in ();
B-splines of level whose support is contained in ().
Note that the HB-spline basis with respect to the mesh can also be defined as
Fig. 9 shows an example of cubic hierarchical B-splines for .
The following proposition shows that is indeed a basis for the hierarchical spline space
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 satisfies the following properties:
-
(i)
The HB-splines in are nonnegative and linearly independent.
-
(ii)
The intermediate spline spaces are nested, i.e., , for .
-
(iii)
Given a mesh , it holds that .
-
(iv)
It holds the explicit characterization . In particular, hierarchical splines are polynomials of degree on each element .
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 be a spline of level expressed in terms of B-splines of level as
35 |
The truncation of with respect to level is defined as
and leads to a truncated function whose support is either equal or reduced when compared to the one of function , i.e., , for all . In particular, the contribution of B-splines of level which will be included in the hierarchical basis is removed from the expression of given by (35). For , an example of truncation applied to a quadratic univariate B-spline is shown in Fig. 10.
Analogously to the HB-spline case, given a hierarchical mesh , the set of THB-splines can be constructed according to the following steps:
;
- for
where
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 () includes
truncated B-splines of coarser levels whose support is not contained in ();
B-splines of level whose support is contained in ().
By defining the successive truncation of a B-spline of level as
and , we can also define the THB-spline basis as follows:
Any HB-spline generates a corresponding THB-spline , for and it is denoted as the mother B-spline of , namely
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 and , respectively.
The following properties hold according to [114, 115].
Proposition 4
The truncated hierarchical basis satisfies the following properties:
-
(i)
The THB-splines in are nonnegative, linearly independent, and form a partition of unity.
-
(ii)
The intermediate spline spaces are nested, namely .
-
(iii)
It holds that , for , and .
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 . 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 with respect to level k, with , is defined as
where is the support extension of (10) corresponding to the mesh .
The concept of admissible hierarchical meshes is based on the auxiliary domains
37a |
37b |
for , with . The domain represents the region of where all the active basis functions of level , namely functions in , are zero. A similar property is valid for the domain : all the basis functions of level truncated with respect to level , i.e., functions in such that their mother is in , vanish in . By definition, it holds that (see also Fig. 12).
A mesh is -admissible (respectively, -admissible) of class if it holds that
38 |
for all . By definition, it holds that , which immediately yields that any -admissible mesh of class is also -admissible of class . Admissibility of a mesh guarantees the following proposition, see [36, Definition 3].
Proposition 5
If is an -admissible (respectively -admissible) mesh of class , with , then, the basis functions in (resp. ) that take non-zero values over any element can only be of successive levels.
Remark 8
Note that Proposition 5 is not true for HB-splines on -admissible meshes (instead of -admissible meshes), see Fig. 13 for a simple example of this kind.
Remark 9
Note that in [30, 46, 47] a -admissible mesh was denoted strictly admissible. Reference [36] introduced -admissible meshes, which were there called strictly -admissible. Similarly, -admissible meshes were called strictly -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 can indeed only be of levels .
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 be an -admissible (resp. -admissible) hierarchical mesh of class . For any , let . If there exists , (resp. ), such that and , then it holds that
Proof
We proceed by contradiction. Let us assume there exist as in the hypothesis such that . We assume without loss of generality that and thus
39 |
Let be the ancestor of of level . By the assumptions on , it clearly satisfies that for (respectively ). As a consequence, we get with (39) and (34) that . We conclude from the definition in (37) that (respectively ), which contradicts the definition of -admissibility, and of -admissibility, see (38).
As an immediate consequence, we have an analogous result for adjacent elements if the interior multiplicities in all knot vectors are less or equal than so that all B-splines are at least continuous.
Corollary 1
Suppose that the interior multiplicities in all knot vectors , , , are less or equal than . Let be a hierarchical mesh which is either -admissible or -admissible of class . For any with , it holds that
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 with , its -neighborhood and its -neighborhood with respect to are defined as
respectively, when , and for . Recall that we consider open elements, whereas the support extension is a closed set. The conditions in the two sets are thus equivalent to and with , respectively. An example of -neighborhood and the -neighborhood for and is shown in Fig. 14.
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 -neighborhood (Algorithm 1) or -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 -admissible and -admissible meshes, respectively. -admissible refinements were also considered in [105, Algorithm 3.1] and [164] for and , respectively. Details for the implementation of the two refinement algorithms can be found in [36].
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 and . Note that at each refinement step, the -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 and , , after six refinement levels, see also [36, Sect. 5.1] for different values of .
The properties of the refine modules were detailed in [46, 49] and [105, 164] for - and -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 , , and be the input arguments of Algorithm 1 (respectively Algorithm 2), where is -admissible (respectively -admissible) of class . Then, the considered algorithm returns a refined hierarchical mesh, , which is -admissible (respectively -admissible) of class .
For fixed and fixed -admissible or -admissible refinement, we abbreviate as the set of meshes that can be obtained by iterative application of admissible refinement to the initial mesh . In fact, coincides with the whole set of admissible meshes that are obtained by refinement of , see [164, Propositions 3.1.8 and 4.2.3] for the -admissible and -admissible meshes, respectively. See also [105, Prop. 5.1] for the proof in the case of -admissible meshes with .
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 - and -admissible refinement algorithms, respectively. The case 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 such that for arbitrary sequences in with for some and all , it holds that
The constant C depends only on the dimension , the degrees , and the initial mesh .
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 , we consider the quasi-interpolant into the B-spline space of level
40 |
with , and each functional 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 of the same level, which is contained in (i.e., it is in ). 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 can then be defined as
where is the set of indices corresponding to active basis functions of level , namely
41 |
with . 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 , it holds that
As a simple corollary and from the definition of the dual functionals, the quasi-interpolant is also a local projector. Let us define for a modified support extension, given by
where
identifies the extended support of the THB-spline , i.e., the support when only the first level of truncation has been applied. The THB-splines on a -admissible mesh considered in the definition of vary from level to , see Remark 9.
Corollary 2
For any it holds that
Remark 10
Actually, the locality result is also valid for a set of elements smaller than , where the extended support is replaced by .
The next property can be found in [48, Theorem 4], and it implies that the number of active elements contained in is uniformly bounded.
Proposition 10
Let be a -admissible mesh of class , and let . Then, the set is connected. Moreover, for any with it holds that
where the hidden constants depend on the degrees , the admissibility class , the dimension , and the initial mesh .
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 , but works the same in our case. On -admissible meshes of class , a similar result is also given in [105].
Proposition 11
Let be either an -admissible or -admissible mesh of class . There exists a constant C such that for any element it holds that
for all . The constant C depends only on the dimension , the degrees , and the initial mesh .
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 be a hierarchical mesh, and another hierarchical mesh obtained by refinement, i.e., . We recall the definition of the sets of indices given by (41), and define analogously the sets for levels . This allows us to introduce their splitting in disjoint index sets as follows
for and , respectively, with
42 |
i.e., indices related to functions which are active in both meshes, although they may differ by truncation, and
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
44 |
Proposition 12
Let be two hierarchical meshes with . Moreover, for every , , we choose the element for the coefficients in (40) to be in . Then it holds that
Proof
Let
45 |
and
46 |
where or , be the two hierarchical quasi-interpolants expressed in terms of the truncated bases. For the operator (46), we choose for every 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
and
For any index , the definition of and our assumptions for the coefficients of the quasi-interpolants show that
For any index or , we have
Consequently, since is a projector onto the space , we obtain that
This concludes the proof.
Corollary 3
Let be two hierarchical meshes with . Then, their associated spaces of hierarchical splines coincide in , i.e., it holds that
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:
;
- for
where is defined analogously to in the HB-splines case, while is given by the sets of children
and the coefficients are defined in (35).
In [43] it is proved that, for every , the set of simplified HB-splines is contained in the set of HB-splines, namely . Indeed, with the unique nonnegative coefficients from , it even holds that . 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 [163–165]. 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 , the function anchored at the node with indices (9, 8) has local knot vectors and .
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 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 , 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 , an odd degree , the number of univariate functions , the set of indices , and the open knot vector , with and . We also assume that internal knots are not repeated, that is
Again, we abbreviate as well as .
The starting point is the Cartesian grid
which is a uniform partition of the index domain
We also introduce the index/parametric domain
In Fig. 17, is formed by white elements, while is given by all the elements of the mesh. We also define .
For any integer , we define the set of rational indices
With this, we can define for and for , the ordered knot vectors at stage k
in a recursive way: starting from , for and for any new index , we define
which is well defined because . 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 , the bisection operator in the j-th direction (compare with [163, Definition 2.5] and [62, Sect. 4.1])
47 |
where
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 “columns” of elements in the j-th direction are never bisected in this direction.
Setting the level of the elements of the starting mesh equal to zero, , we associate to each level the direction of bisection
and we also set the level of the elements obtained by bisection
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 is unchanged via bisection because its indices refer to repeated knots, see (47), we still implicitly distinguish and by equipping the latter with a different level.
A T-mesh in the index domain, or simply index T-mesh, is defined as by successively applying bisection for , in the form
with . The index T-mesh defines a partition of the index domain into disjoint hyperrectangles. Noting that bisection is applied alternating the direction of refinement, it is easy to see that any element can be written as , with and
Thus, we can define its parametric image as
where . With this definition, from the index T-mesh 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
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 its index preimage
and we can set the level of as the level of its index preimage, . Note that it always holds that .
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
and the set of anchors, sometimes also called nodes,
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 , we define its skeleton in the j-th direction, for , as
and the skeleton of a T-mesh in the j-th direction as
Then, to each anchor and to each direction , we associate the corresponding ordered global index vector
and the local index vector being the vector of consecutive indices of having as its middle entry, in the -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 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
and we remark that there exists an integer k such that is a subvector of , not necessarily with consecutive indices. Recalling the notation from (3), we can now define the T-spline blending function associated to each anchor as
49 |
Note that, in general, the restriction of a T-spline function to an element of is not a polynomial.
Following [20, Def. 7.5], we define the Bézier mesh as the collection of maximal open sets such that each function restricted to is a polynomial of degree . Note that the Bézier mesh does in general not coincide with the parametric T-mesh , as the restriction of T-splines to elements in 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,
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 and overlap if they are both sub-vectors, with consecutive indices, of the same knot vector. That is, there exists a knot vector and two integers such that
Furthermore, we say that the index T-mesh , along with the knot vectors , is a dual-compatible T-mesh if for every with , there exists a direction j such that the local knot vectors and are different and overlap, cf. [20, Def. 7.2]. We say that it is a strongly dual-compatible T-mesh if for every with , their local knot vectors overlap in directions, cf. [163, Def. 6.4]. For both conditions are equivalent, while for 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 , the dual functional
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 be dual-compatible. Then, the functions are linearly independent, and also locally linearly independent, i.e., they are linearly independent on any open set . Moreover, if the constant functions are contained in , 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 be a dual-compatible T-mesh. Then, for any Bézier element there are at most basis functions that do not vanish in .
Moreover, from the dual basis we can define the quasi-interpolant
51 |
According to [20, Proposition 7.3], this operator is a projector.
Proposition 14
Let 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
For each element of the parametric T-mesh , we define the set of anchors such that their corresponding basis functions do not vanish in , as
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 i.e.,
For a Bézier element , we define analogously and , by simply replacing by 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 be a dual-compatible T-mesh, and its associated parametric T-mesh. For any , it holds that
Moreover, we have the following stability result, which is proved in [20, Proposition 7.7].
Proposition 15
Let be a dual-compatible T-mesh, and let be the corresponding T-mesh in the parametric domain. Then, for all Bézier element and all , we have that
where depends only on the dimension , the degrees , and the coarsest knot vectors .
Now, the main issue is to define a refinement strategy that delivers dual-compatible T-splines and such that the size of any element and any Bézier element 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 in the index T-mesh with , we denote its middle point as , and define the set of its generalized neighbors
where the vector is defined differently for the two-dimensional case [165, Def. 2.4]
and for the three-dimensional case [163, Def. 2.4]
see some examples for uniform meshes in Fig. 21 and for a non-uniform mesh in Fig. 22.
Remark 12
In the two-dimensional case, for a uniform even-leveled mesh, is obtained by extending by elements to the left and right, and by elements above and below2, while for a uniform odd-leveled mesh, we have to extend by elements to the left and right, and by elements above and below, which corresponds to the gray area in Fig. 21. For non-uniform meshes, is formed by elements which intersect the same area. Similar considerations apply in the three-dimensional case.
We also define the set of neighbors
With a slight abuse of notation, we define the set of (generalized) neighbors for a parametric element as
An example of these definitions is given in Fig. 22.
Remark 13
As an immediate consequence of these definitions, and because we assume that for , for any it holds that
Remark 14
In the refinement algorithm, the neighbors will play the same role as the -neighborhood and -neighborhood of Sect. 4.1.3 for (T)HB-splines.
For any point we define its projection into the index/parametric domain as , where . Then, for any element , we define its boundary prolongation in the index T-mesh as the set of elements
and for any set of elements we will also denote
Several examples of boundary prolongations are shown in Fig. 23a.
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 , see Remark 15 below. First, given an index T-mesh and , we say that the bisection of is admissible if , 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 and a set of elements to be refined with , we apply Algorithm 3 to obtain a refined index T-mesh, which we denote by . The algorithm recursively marks all the neighbors of marked elements that are contained in . To avoid the appearance of undesired T-junctions outside , 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 to the boundary of the index domain . 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 . Then, also boundary prolongations of marked elements are marked, resulting in the bisection of elements in the gray region outside . 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.
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 , its corresponding index T-mesh , and a list of marked elements , we apply Algorithm 4 to obtain a refined parametric T-mesh, which we denote by . 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.
An example of the application of the refinement algorithm is shown in Fig. 24, starting from a uniform parametric T-mesh of elements, and marking always the element in the bottom left corner.
We define as the set of all meshes that can be obtained via iterative application of to . Moreover, denoting by the parametric image of , which is obtained as in (48), we define the set of admissible parametric T-meshes
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 and [163, Algorithm 2.9] for .
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 . 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 [163–165]. The first result states dual-compatibility of admissible meshes. It follows from [165, Theorem 3.6] for and from [163, Theorem 6.6] for , see also Remark 15.
Proposition 16
Let , and let be its corresponding admissible index T-mesh. Then, 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 and in [164] for . Note that coincides with the usual spline space 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 and , and let and be their associated index T-meshes. Then,
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 and from [163, Lemma 3.5] for , where the same result was proved for the index T-mesh.
Proposition 18
Let . For any , it holds that
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 and . Then, consists either of one Bézier element equal to , or two Bézier elements of measure .
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 and . Then, for all , we have that
where depends only on the dimension , the degrees , and the coarsest knot vectors .
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 .
Proposition 20
Let and its corresponding index T-mesh. For any , there exist at most anchors such that . Moreover, there exists depending only on the dimension and the degrees such that there exists with , , and is connected.
We conclude this section with a proposition from [165, Sect. 6] for and from [163, Sect. 7] for , 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 such that for arbitrary sequences in with for some and all , it holds that
The constant C depends only on the dimension , the degrees , and the coarsest knot vectors .
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 . Suppose by contradiction that contains more than two Bézier elements. These must appear after the bisection of an element which is finer, in terms of the level, than . On the one hand, since the bisection of affects the Bézier elements in , it must be sufficiently close to . On the other hand, since the mesh is admissible, cannot be in the neighborhood of . 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 be the associated index T-mesh, let , and let us suppose that 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 will not split it in more than two Bézier elements. Therefore, there must exist an element , with , that has been bisected in direction , such that . This element is translated with respect to only in a direction different from s, in the sense that
see a two-dimensional example in Fig. 25.
Moreover, there exists an anchor such that its local index vector depends on the bisection of , and the support of the associated function intersects . Putting it rigorously, there exists with , such that and for all .
Without loss of generality, we can assume that . Moreover, since is admissible we can also assume that the bisection of is admissible, i.e., there exists an admissible T-mesh such that
and only , and eventually , have been bisected3. Denoting by the generalized neighborhood in , since the bisection was admissible and , we know from Proposition 18 that , otherwise it would also be a neighbor. As a consequence, and must be far from each other, and in particular
52 |
Taking into account the relation between k and , and that , a careful (and tedious) computation gives that
It is readily seen that the length of an element of level k in the j-th direction is exactly . Note that consists of indices. Since we consider odd degrees, is in the middle position, which means that we only need to check indices. Using the relation between k and , the value of , the length of the elements of level k in direction s, and the number of indices, a careful check shows that for some element .
As the bisection was admissible, Proposition 18 shows that all elements in have level at least equal to k. A similar check in the direction and the fact that is in one generalized neighbor show that is built using only indices corresponding to elements in . As a consequence, the fact that 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 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
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 be a set of finite sets , 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 be a fixed refinement strategy such that, for and marked , it holds that with , i.e., at least the marked elements are refined, and . 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 , we write , if is obtained by iterative application of and we note that . Moreover, we assume that each admissible mesh can be reached via refinement starting from a fixed initial mesh , i.e., . We suppose that for all and all with . In practice, the latter property is trivially satisfied, but it has to be explicitly assumed within the abstract framework.
Adaptive Algorithm
On each mesh , we want to compute an associated quantity , 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 , i.e., a function . At least heuristically, this estimator shall estimate the difference . By abuse of notation, we also write , where for all . Based on this error estimator, we consider the adaptive Algorithm 5 of the form (53).
In the module solve and estimate, we compute the quantity and the refinement indicators of all elements Q in the current mesh , respectively. In the module mark, we determine up to a multiplicative constant a minimal set of elements that satisfies the Dörfler marking [85]
54 |
This means that for all sets with . If , this is always satisfied and allows for uniform refinement, where . We note that a naive implementation of the Dörfler marking (54) with , which gives the truly minimal set , 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 in linear complexity. Only recently, [176] showed that linear complexity can also be attained for . Based on the marked elements , the mesh is refined in the module .
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 or if is smaller than some given tolerance . Moreover, in practice and are not saved but overwritten by and , 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 , and constants , , , , and such that there hold the following estimator properties (E1)–(E3) for all and all :
- (E1)
- Stability on non-refined elements: It holds that
- (E2)
- Reduction on refined elements: It holds that
- (E3)
- Discrete reliability: There exists a set with and such that
i.e., the perturbations are essentially controlled by the estimator on the refined elements.
Moreover, with the Dörfler parameter of Algorithm 5, let and satisfy the following property (E4) for the sequence from Algorithm 5:
- (E4)
- General quasi-orthogonality: It holds that
and for all that
i.e., the sum of perturbations (minus some minor estimator terms) is controlled by the estimator.
Remark 17
Later, in a more concrete setting, will always be the error between the two Galerkin solutions and corresponding to the meshes and , respectively. If the involved bilinear form is symmetric, (E4) even with follows directly from the Pythagoras identity in the energy norm and reliability of the estimator, see also Remark 22.
Moreover, we suppose that we are given constants , such that there hold the following refinement properties (R1)–(R3):
- (R1)
- Child estimate: For all , and , it holds that
i.e., one step of refinement leads to a bounded increase of elements. - (R2)
- Closure estimate: Let be an arbitrary sequence in such that with some for all . Then, for all , it holds that
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 can be controlled by plus the number of marked elements. - (R3)
- Overlay property: For all meshes , there exists a common refinement which satisfies the overlay estimate
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 , we set
55 |
with , where denotes the estimator corresponding to . By definition, it holds that if and only if the error estimator converges as if the optimal admissible meshes are chosen. Consequently, an adaptive algorithm is called optimal if the sequence of adaptively generated meshes leads to for all with .
Theorem 1
Let , and be the input arguments of Algorithm 5, and let and be the meshes and estimators generated by Algorithm 5. Then, there hold:
-
(i)Suppose that the axioms (E1)–(E2) hold true at least for and all , and assume that . Then, for all and all , the estimator converges, i.e.,
56 -
(ii)Suppose that the axioms (E1)–(E2) hold true at least for and all and (E4) holds true as well. Then, for all and all , the estimator converges linearly, i.e., there exist constants and such that
57 -
(iii)Suppose that the axioms (E1)–(E4) as well as (R1)–(R3) hold true. Then, for all and all , the estimator converges at optimal rate, i.e., for all there exist constants such that
where the lower bound relies only on (R1).58
The constants depend only on , and on . The constant depends additionally on , and on s, while depends only on , s, and if there exists with also on .
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 in combination with Dörfler marking (54) lead to estimator reduction: There exist constants and such that
59 |
Due to the assumption , basic calculus proves (56).
Sketch of (ii). Linear convergence (57) can be equivalently reformulated as
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 . Stability (E1) plus discrete reliability (E3) elementarily yield the existence of some constant such that any refinement with satisfies the Dörfler marking
60 |
The heart of the proof is that there exists with , which additionally satisfies that
61 |
This follows from the definition of , the overlay property (R3), and quasi-monotonicity for any with . The latter is a consequence of (E1), (E2), and (E3). Since is an essentially minimal set that satisfies the Dörfler marking (54), (60) gives that
The closure estimate (R2), discrete reliability (E3), and (61) imply that
Finally, linear convergence (57) elementarily shows that . This concludes the proof.
Remark 18
The upper bound in (58) states that the estimator sequence of Algorithm 5 converges with algebraic rate s if . 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.,
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
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, is a mesh of the bounded Lipschitz domain in the following sense:
is a finite set of transformed open hyperrectangles, i.e., each element Q has the form for some from Sect. 3.1, where is an open -dimensional hyperrectangle;
for all with , the intersection is empty, i.e., ;
, i.e., is (essentially) a partition of .
Let be a set of such meshes. These are referred to as admissible. In order to ease notation, we introduce for the corresponding mesh-width function
For , we define the element-patches5 of order inductively by
62 |
The corresponding set of elements is defined as
63 |
i.e., . To abbreviate notation, we set and . For , we define and .
We suppose that there exist constants , > 0 such that all meshes satisfy the following two mesh properties (M1)–(M2):
- (M1)
- Shape-regularity: It holds that6
Since there always holds that , this implies that . - (M2)
- Local quasi-uniformity: It holds that
i.e., neighboring elements have comparable size.
Mesh refinement We suppose that we are given a refinement strategy as in Sects. 5.1.1 and 5.1.3. In particular, we suppose the existence of some initial mesh with and the refinement axioms (R1)–(R3) hold true. Moreover, we assume that for all and arbitrary marked elements with refinement , it holds that
64 |
i.e., each element Q is the union of its successors.
Finite element space With each , we associate a finite dimensional space
Let be the corresponding Galerkin approximation, defined via the variational formulation (20), to the solution of problem (19).
We suppose that there exist constants and for all a Scott–Zhang-type projector such that the following space properties (S1)–(S3) hold for all and all refinements :
- (S1)
- Nestedness: It holds that
- (S2)
- Local domain of definition: For all Q (i.e., Q is in a certain sense far away from the refined elements ) and for all , it holds that
- (S3)
- Local projection property: For all and , it holds that
Besides (S1)–(S3), which are also required in the following Sect. 5.3 on abstract adaptive BEM, we suppose the existence of constants and such that the following FEM properties (F1)–(F3) hold for all :
- (F1)
- Inverse inequality: For all with , all , and all , it holds that
- (F2)
- Local -approximation property: For all and all , it holds that
- (F3)
- Local -stability: For all and , it holds that
Data Oscillations
The definition of the data oscillations corresponding to the residual error estimator (23) requires some further notation. Let be the set of all (transformed) tensor polynomials of some fixed degree on , i.e., with the patches from Sect. 3.1.2,
For and , let be the -orthogonal projection, i.e.,
for all . For an interior edge in 2D or face in 3D, , where denotes the dimension, we define the -orthogonal projection . Finally, for , we define the corresponding oscillations
65a |
where, for all , the local oscillations read
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 , then the jump contributions in (65) vanish and consists only of the volume oscillations.
Optimal Convergence
Recall the definition (55) of the approximation constant . We say that the solution belongs to the approximation class s with respect to the estimator (23), if
Further, we say that it belongs to the approximation class s with respect to the minimal total error if
66 |
Note that both approximation classes depend on the considered ansatz spaces, the underlying meshes, and the corresponding refinement strategy.
By definition, (resp. ) implies that the error estimator (resp. the minimal total error) on the optimal meshes decays at least with rate . The following main theorem states that each possible rate 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
For piecewise polynomials on shape-regular triangulations of a polyhedral domain , optimal convergence was already proved in [57] for symmetric and in [58, 92] for non-symmetric .
Theorem 2
Let be the sequence of meshes generated by Algorithm 5 with Galerkin approximations . Then, there hold:
-
(i)Suppose that (M1)–(M2) and (F2)–(F3) hold true. Then, the residual error estimator satisfies reliability, i.e., there exists such that for all ,
67 -
(ii)Suppose that (M1)–(M2) and (F1) hold true. Then, the residual error estimator satisfies efficiency, i.e., there exists such that for all ,
68 -
(iii)
Suppose that (M1)–(M2), (S1) and (F1) hold true. Then, the axioms (E1)–(E2) as well as the convergence of the perturbations 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 , and (of Theorem 1) depend only on the assumptions made, the dimension , the coefficients of the differential operator , , and the parametrization constant from Sect. 3.1, where depend additionally on and the sequence (see also Remark 22), and depends furthermore on and s. The constant depends only on , s, and if there exists with also on and .
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 , 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 . The properties (M1)–(M2) especially imply the uniform boundedness of the number of elements within an element-patch, i.e.,
69 |
To see this, we note the elementary inequality . Then, (M1)–(M2) show that . On the one hand, we see that , i.e., . On the other hand, (M2) implies that . This concludes the proof of (69).
Moreover, it is easy to see that our assumptions on of (15) along with (M1) yield that is a reference element in the sense that for all , there exists a bi-Lipschitz mapping with uniform Lipschitz constants that depend only on and (M1). In particular, one obtains the trace inequality
70 |
and the local Poincaré estimate
71 |
for the dual norm . The constants hidden in (70)–(71) depend only on 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 such that
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 and of such elements with
However, (64) and (M2) show the existence of with , which contradicts the latter equality.
Remark 21
If the assumptions of Theorem 2 (i)–(ii) are satisfied, there holds in particular that
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 . If the bilinear form is symmetric, then (E4) follows from the Pythagoras identity in the -induced energy norm and norm equivalence
Together with reliability (67), this proves (E4) even for , and is independent of the sequence . In this case, the constants and in Theorem 2 are independent of . In the general case, a compactness argument and a priori convergence as guarantee that and exist, but their size may depend on the possibly slow convergence in the preasymptotic regime of Algorithm 5.
Remark 23
Under the assumption that as (which can be easily guaranteed by marking additional elements), one can show that , see [105, Remark 2.7]. This allows to follow the ideas of [23] and to prove Theorem 2 if the bilinear form 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 replaced by ) in the context of conforming BEM discretizations of our model problem (27), i.e.,
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
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, is a mesh of the boundary of the bounded Lipschitz domain in the following sense:
is a finite set of transformed hyperrectangles, i.e., each element Q has the form for some from Sect. 3.1, where is an open -dimensional hyperrectangle;
for all with , the intersection is empty, i.e., ;
is a partition of , i.e., .
Let be a set of such meshes. These are referred to as admissible. In order to ease notation, we introduce for the corresponding mesh-width function
For , we define the element-patches of order and the corresponding set of elements 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 as in Sect. 5.2.1. In particular, we suppose the existence of some initial mesh with 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 and arbitrary marked elements with refinement , any refined element can only be uniformly bisected in any direction, i.e., for any , the corresponding element in the parametric domain is split into elements in the parametric domain of the form
for some and . Here, is the number of (uniform) bisections in direction i. Note that (R1) yields boundedness of all . This stronger version is used to prove the auxiliary results (74)–(75) below.
Boundary element spaces With each , we associate a finite dimensional space
Let be the corresponding Galerkin approximation, defined via the variational formulation (30), to the solution 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 and all , there exists a linear operator with the following property (S3’):
- (S3’)
- Local projection property. Let from (S2). For all and with , it holds that
Clearly, (S3’) coincides with (S3) if . 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 , , and such that the following BEM properties (B1)–(B3) hold for all :
- (B1)
- Inverse inequality: For all , it holds that
- (B2)
- Local approximation of unity: For all , there exists with , and
- (B3)
- Local -stability. For all and all , it holds that
Optimal Convergence
Recall the definition (55) of the approximation constant . With the definitions from Sect. 5.1.1, we say that the solution belongs to the approximation class s with respect to the estimator (32) if
By definition, implies that the error estimator decays at least with rate on the optimal meshes . The following main theorem from [106, Theorem 3.4] states that each possible rate 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
Such an optimality result was first proved in [96] for the Laplace operator 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 be the sequence of meshes generated by Algorithm 5 with the corresponding Galerkin approximations . Then, there hold:
-
(i)Suppose that (M1)–(M2), (R1), and (B2) hold true. Then, the residual error estimator satisfies reliability, i.e., there exists such that for all ,
73 -
(ii)
Suppose that (M1)–(M2), (R1), (S1) and (B1) hold true. Then, the axioms (E1)–(E2) and convergence of the perturbations 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 , and (of Theorem 1) depend only on the assumptions made and the dimension , the coefficients of the differential operator , the boundary , and the parametrization constants from Sect. 3.1, while depend additionally on and the sequence (see also Remark 25), and depends furthermore on , and . The constant depends only on , s, and if there exists with , then also on and .
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 . 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
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 and the following Poincaré-type inequality
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 with piecewise constant ansatz functions. Moreover, additional (regularity) assumptions on the right-hand side f are required. More precisely, it then holds that
with some higher order oscillation term .
We also mention that [6] proves a so-called weak efficiency of the weighted-residual estimator, which states that
provided that the sought solution has additional regularity .
Remark 25
As in Remark 22, we mention that only general quasi-orthogonality (E4) depends on the sequence . Along the same lines, one sees that this dependence vanishes if the bilinear form is symmetric.
Remark 26
Let be an open subset of and let denote the extension operator that extends a function defined on by zero to a function on . We define the space of restrictions endowed with the quotient norm and its dual space . According to [6, Sect. 2.1], can be extended to an isometric operator . Then, one can consider the integral equation
76 |
where . 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 contains all constant functions, i.e.,
Then, under the assumption that as (which can be easily guaranteed by marking additional elements), one can show that , 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 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 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 , i.e., a d-dimensional domain .
Adaptive IGAFEM with Hierarchical Splines
For the IGAFEM setting with hierarchical B-splines, we start with the single-patch domain. Let be a vector of positive polynomial degrees and be a multivariate open knot vector on with induced initial mesh . We assume that and with and from the parametrization (see Sect. 3.1) are compatible to each other as in Sect. 3.2.2. Note that , 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., -admissible or -admissible meshes, and abbreviate the set of all corresponding admissible meshes as and the corresponding refinement strategy as , see Sect. 4.1.3. For all , let 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 , i.e., the meshes are given by
and the discrete space associated to is defined as
In the following lemma, we give two bases in terms of (T)HB-splines for . The proof is given in [105, Corollary 3.1] and relies on the fact that HB-splines restricted to any -dimensional hyperface of the unit cube are again HB-splines. Clearly, these bases can be transferred to the physical domain via the parametrization . 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 be a hierarchical (not necessarily admissible) mesh in the parametric domain. Then, the hierarchical B-splines and the truncated hierarchical B-splines are both bases of .
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 -admissible meshes, the proof of this result is implicitly given in [46, 47]. Independently, the theorem has been proved for -admissible meshes of class 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 -admissible or -admissible meshes are considered nor on the admissibility parameter . For its formulation, we set for
with
where . Here, we say that is a hierarchical mesh if the corresponding set defined via is a hierarchical mesh in the parametric domain obtained by arbitrary bisections of the initial mesh . We also note that as well as 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 , the parametrization constant of Sect. 3.1, the degree , the initial knot vector , 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 , there exists depending only on from (R2) (and thus in particular on ) and s such that
77 |
The proof of Theorem 4 is split over Sect. 6.1.1–6.1.4, and it relies mostly on the properties that we have already introduced in Sect. 4.1. Sections 6.1.1–6.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 of the space . An interesting question arises: does the approximation class depend on the continuity of the splines in ? In [25] it is proved that the approximation classes are equivalent for 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 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 , 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 -admissible meshes) and [164, Sect. 3.1.4] (in the case of -admissible), the overlay
of two admissible meshes in the parametric domain is again admissible (of the same class). Obviously, this property immediately transfers to the physical domain. For -admissible meshes of class , this result is also found in [105, Sect. 5.5]. Clearly, the resulting mesh 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 on each mesh element, see Proposition 3 (iv). Due to the regularity of the parametrization 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 , and let be such that . Then, .
Proof
By contradiction, let us assume that there exists such that . By the definition of element-patches, it is clear that . Moreover, for any , it holds that , and therefore , which contradicts the hypothesis.
It suffices to prove (S2) in the parametric domain. Let and , and let us recall from (43) the set of indices associated to new functions of level as well as the related sets , and from (44). We now introduce the subdomain formed by the support of their mother functions, namely
with .
We first show that there exists depending on the degree and the admissibility class such that : Note that any function as in the definition of was activated during refinement, hence the support of its mother function must intersect an element in the refined region with level . Then, any element with has obviously level . The fact that and Proposition 6 yield that . We conclude that all elements in intersecting have comparable level, which gives the desired result.
This implies that for any , 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 and . In fact, we see from Lemma 4 that property (S2) holds for any given , with .
Scott–Zhang-type operator Due to the regularity of the parametrization of Sect. 3.1, it is sufficient to provide for all an operator with the properties (S3), (F2)–(F3) in the parametric domain. We define this operator similarly as of Sect. 4.1.4, but now have to take into account the homogeneous boundary conditions
78 |
where
is the mother B-spline of the THB-spline (see (36)), and is the corresponding dual functional from Sect. 2.2.2.
We have seen in Proposition 10 that is connected and the number of contained elements is uniformly bounded. In particular, this yields the existence of a uniform constant such that for any element of level ,
79 |
With Corollary 2, this immediately gives (S3).
Moreover, the local -stability of Proposition 11 is also valid for , 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 and that
see [48] or [105, Sect. 5.10] for details. We conclude (F2)–(F3) with .
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 and hence , we only have to prove the second inequality in (77). For any given mesh , we abbreviate the considered error quantity
Clearly, it holds that
Let be arbitrary and with . The mesh results from the initial mesh via bisecting a sequence of marked elements . We define a sequence of associated admissible meshes via for , and we define , usually called the admissible closure of . Indeed, is finer than and hence . The closure estimate (R2) shows that
For , this implies that and thus for some uniform constant . It holds that
Finally, elementary estimation yields for arbitrary and that
Taking the supremum over all , 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 , let be a vector of positive polynomial degrees and be a multivariate open knot vector on with induced initial mesh . We assume that and with and from the parametrization (see Sect. 3.1.2) are compatible to each other as in Sect. 3.2.2. Note that . Moreover, we assume that and 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., -admissible or -admissible meshes, and abbreviate for each the set of all corresponding admissible meshes as , see Sect. 4.1.3. Moreover, we abbreviate with . We define the set of all admissible meshes as the set of all
such that there are no hanging nodes on any interface with , see also (P1) of Sect. 3.1.2.
For , the associated ansatz space is defined as
where the multi-patch space without boundary conditions is
with the space of hierarchical splines on each patch
To obtain bases of the space , we first define
The reference [105, Proposition 3.1] shows that HB-splines restricted to any -dimensional hyperface of the unit cube are again HB-splines. Hence, the assumption (P2’) is also satisfied if the sets and are replaced by the sets and . 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 and . This allows to construct a basis of 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 .
To obtain admissible meshes starting from the initial one, we adapt the single-patch refinement strategies from Sect. 4.1.3. For arbitrary and with corresponding element in the parametric domain, let either denote the corresponding -neighborhood in the case of -admissible meshes or the -neighborhood in the case of -admissible meshes, see Sect. 4.1.3. We define the neighbors of Q as
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 even coincides with , see [103, Proposition 5.4.3] in the case of -admissible meshes of class .
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 -admissible meshes of class . 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 , 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 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 is the identity matrix, and 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 . The continuity within a patch is taken to be 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 -admissible (resp. -admissible) is uniformly bounded, while in general this is not the case for HB-splines on -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 -admissible meshes or non-admissible ones, and the smallest ones in -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 , with 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 -admissible meshes of class .
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 . 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 -admissible (resp. -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 (- or -admissible) should be in accordance with the chosen basis. Recall that any -admissible mesh is also -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 , in such a way that the parametrization 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
which is singular at the edges and . In fact, it can be shown that , with , for every . Hence, the expected convergence rate for uniform refinement is with respect to the mesh size h and to the number of degrees of freedom , respectively.
For the simulation, we consider spaces of hierarchical B-splines with degree . The initial mesh consists of elements, and Algorithm 5 is run using the residual a posteriori estimator (23). For marking we use Dörfler’s strategy (54) with parameter and the constant . For refinement, we use Algorithm 2 for -admissible meshes, with a value of the admissibility class .
Some meshes for the four different degrees at iteration are displayed in Fig. 26. It is evident that the adaptive algorithm satisfactorily refines near the edges, specially for high degree.
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.
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 and , 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 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
where is the convergence rate in case of uniform refinement. In this particular test, its value is , and in fact the convergence rate that we observe in Fig. 28 is twice this value.
Finally, we compare the behavior of the refinement Algorithms 1 and 2, that is, for -admissible and -admissible meshes, respectively. We set the degree , and the admissibility class . 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.
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
with polar coordinates , by setting 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.
We consider discrete spaces of degree , with continuity inside each patch, and continuity across the interfaces. For the Dörfler marking (54), we choose the parameter and = 1. To understand the role of the admissibility class, we consider both -admissible meshes as in Algorithm 1, and -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 with uniform refinement and with adaptive refinement for -admissible meshes of class . 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.
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, -admissible meshes and higher values of require less degrees of freedom than -admissible ones and lower values of , respectively, to attain the same error. We note, however, that except for degree 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, -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].
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 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 -admissible meshes than for -admissible meshes, and also for lower values of the admissibility class than for higher ones.
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 , we set homogeneous Dirichlet boundary conditions, and the right-hand side is chosen such that, for parameters , the exact solution is given by
The solution is smooth everywhere except at the vertical lines and , where it is only and it has edge singularities. To understand how the approximation class depends on the continuity, we run the adaptive algorithm starting from a mesh of elements, with the Dörfler marking (54) with parameters and , for fixed degree and -admissibility with , and we change the continuity using , , and hierarchical splines. We run two different tests: in the first one we choose and , in such a way that the singularity lines coincide with lines of the mesh; in the second test we set and , 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 , while uniform refinement (not displayed) leads to . Instead, for splines we obtain the convergence rate , 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 for splines, while it only belongs to the approximation class for and splines. This differs from the result in [25], which states that the approximation classes for piecewise polynomials and discontinuous Galerkin methods are identical. The corresponding proof exploits that the solution 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.
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 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 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 and impose homogeneous Dirichlet conditions everywhere, except on the upper boundary where we impose the Neumann condition . 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.
For this numerical test, and due to the presence of a Neumann condition on , the weighted residual error estimator (23) is replaced by
see, e.g., [53, Sect. 11]. For the Dörfler marking (54), we use the values and . Starting from an initial mesh of one single element, we run numerical tests for THB-splines of degree , and with -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 , is only reached for degree . 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
where again is the convergence rate for uniform refinement, which in this particular case is . 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.
Adaptive IGAFEM with T-Splines
We now apply the adaptive IGAFEM setting to T-splines on a single-patch domain. Let be a vector of positive polynomial degrees and be a multivariate open knot vector on with induced initial index T-mesh (see Sect. 4.2.2). We assume that and with and from the parametrization (see Sect. 4.1.1) are compatible to each other as in Sect. 3.2.2. Note that , i.e., the initial space corresponds to tensor-product B-splines. We choose the refinement strategy of Sect. 4.2.5, which induces the set of all admissible meshes . For all with corresponding index T-mesh (see Remark 16), let 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 , i.e.,
and the discrete space on mesh is given by
In the following lemma, we give a basis in terms of T-spline blending functions for . 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 , T-spline blending functions restricted to any -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 .
Lemma 5
Given , the T-spline blending functions provide a basis of . Here, the functions 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.1–6.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 , the parametrization constant of Sect. 3.1, the degree , and the initial knot vector . 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 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 , 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 , [165, Sect. 5] shows that the overlay
of two admissible meshes in the parametric domain is again admissible. The proof also extends to the three-dimensional case . Obviously, this property immediately transfers to the physical domain. Clearly, the resulting mesh 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 on each element of the Bézier mesh. Due to the regularity of the parametrization 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 of Sect. 3.1, it is sufficient to provide for all an operator satisfying the properties (S3) and (F2)–(F3) in the parametric domain. We define this operator similarly as of Sect. 4.2.4, but now have to take into account the homogeneous boundary conditions
where is defined as in (50).
The second property of Proposition 20 particularly implies the existence of a uniform constant such that for all ,
With Corollary 4, this immediately gives (S3). Moreover, the local -stability of Proposition 19 is also valid for 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 and that
see [107, Sect. 3.3] for details. We conclude (F2)–(F3) with .
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 -admissible meshes, and leveraging on [46, 47], we extend them to -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 , , can be defined similarly as in the IGAFEM setting in Sect. 6.1.5: for each , let be a vector of positive polynomial degrees and be a multivariate open knot vector on , , with induced initial mesh . We assume that and with and from the parametrization (see Sect. 3.1.2) are compatible to each other as in Sect. 3.2.2. Note that the coarsest spaces are , i.e., they correspond to tensor-product B-splines on each patch. Moreover, we assume for the initial mesh with that there are no hanging nodes between patch interfaces with , 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., -admissible or -admissible meshes, and abbreviate for each the set of all corresponding admissible meshes as , see Sect. 4.1.3. Moreover, we abbreviate with . We define the set of all admissible meshes as the set of all
such that there are no hanging nodes on any interface with .
For , the associated ansatz space is defined as
where
To obtain bases of the space , we first define
Since the ansatz functions do not have to be continuous across interfaces, a basis of is given by
80 |
where we extend the involved (T)HB-splines, which actually only live on , 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 and 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 and with corresponding element in the parametric domain, let either denote the corresponding -neighborhood in the case of -admissible meshes or the -neighborhood in the case of -admissible meshes, see Sect. 4.1.3. We define the neighbors of Q as
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 even coincides with , see [103, Proposition 5.4.3] in the case of -admissible meshes of class .
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 -admissible meshes of class . However, building on [46, 47], where IGAFEM on -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 , the parametrization constants of Sect. 3.1, , , 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 -admissible meshes of class , 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 whose elements are non-negative, local in the sense that for all there exists and a uniform constant such that , and form a partition of unity. According to Proposition 4 (i) and (79), these assumptions are fulfilled for THB-splines
Scott–Zhang type operator Since the ansatz functions do not have to be continuous at interfaces and due to the regularity of the parametrization of Sect. 3.1, it is sufficient to provide for each patch and an operator
which satisfies (S3’) and (B3). We define this operator similarly as of Sect. 4.1.4, but now have to take into account that the output should only live on by discarding all THB-splines that have support entirely outside of this set. Then the local projection property (S3’) as well as the local -stability (B3) for the operator can be shown as in Sect. 6.1.3. Details for hierarchical splines on -admissible meshes of class 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 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
and the resulting single-layer operator is elliptic, see Sect. 3.3.2. Throughout, we use -admissible hierarchical meshes of class 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 in the estimator (32) is replaced by the equivalent term with the corresponding element in the parametric domain.
Quasi-singularity on thick ring For given Dirichlet data , we consider the interior Laplace–Dirichlet problem
81 |
on the (quarter of a) thick ring
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.
Then, (81) can be equivalently rewritten as an integral equation in the form of (28). In particular, the normal derivative of the weak solution u of (81) satisfies . We prescribe the exact solution of (81) as the shifted fundamental solution
with . Although u is smooth in , it is nearly singular at the midpoint of the front surface. The normal derivative of u is given by
We consider polynomial degrees . For the initial ansatz space with spline degree for all , we choose one single element on each patch as initial mesh, and when refining we consider the maximum continuity within each patch. We choose the parameters of Algorithm 5 as and . In the lowest-order case , we modify the refinement strategy of Algorithm 7 by setting for all ,
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., for all . 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 be the Galerkin approximation of the k-th step with the corresponding coefficient vector , and let be the Galerkin matrix. With Galerkin orthogonality (31), which yields that , and the energy norm obtained (as, e.g., in [55]) by Aitken’s -extrapolation, we can compute the energy error as
83 |
In Figs. 40 and 41, we plot the approximated energy error and the error estimator against the number of elements . 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 , see [185, Corollary 4.1.34]. However, is nearly singular at , which is why adaptivity yields a much better multiplicative constant.
Exterior problem on cube We consider the exterior Laplace–Dirichlet problem
84a |
for given Dirichlet data , together with the far field radiation condition
84b |
in the cube . 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 of the weak solution u of (27) satisfies (27) with , i.e.,
where denotes again the double-layer operator (29).
We choose . Since the constant function 1 satisfies the Laplace problem, (28) implies that , and thus simplifies to . We expect singularities at the non-convex edges of , i.e., at all edges of the cube .
The boundary of the cube is trivially represented by six bilinear patches. Again, we consider and discrete spaces of splines of degree for all with one single element per patch as initial mesh, and when refining we consider the maximum continuity across the elements within the patch. We choose the parameters of Algorithm 5 as and , where we use again (82) in the lowest-order case . For comparison, we also consider uniform refinement, where we mark all elements at each step, i.e., for all . 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 (see (83)) and the error estimator against the number of elements . 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 due to the edge singularities. Independently on the chosen polynomial degree p, the adaptive approach leads approximately to the rate . For smooth solutions , one would expect the rate , 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 and in Sect. 6.1.6 in case of IGAFEM. [97] additionally considers anisotropic refinement, which recovers the optimal rate .
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 , let be a vector of positive polynomial degrees and be a multivariate open knot vector on , , with induced initial index T-mesh . We assume that and with and from the parametrization (see Sect. 3.1.2) are compatible to each other as in Sect. 3.2.2. Note that . Moreover, we assume for the initial mesh with that there are no hanging nodes between patch interfaces with , see also (P1) of Sect. 3.1.2. For each , we abbreviate the set of all corresponding admissible meshes as , see Sect. 4.2.5. Moreover, we abbreviate with . The index T-mesh corresponding to is denoted by , see Remark 16. We define the set of all admissible meshes as the set of all
such that whenever with and .
For , the associated ansatz space is defined as
where
To obtain a basis of the space , we first define
for all anchors , where is defined as in (49). Since the ansatz functions do not have to be continuous across interfaces, a basis of is given via
where we extend the involved T-spline blending functions, which actually only live on , 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 and let us denote by and the corresponding elements in the parametric domain and in the index domain, respectively, and let denote the corresponding neighborhood, see Sect. 4.2.5. Recall that each element in lies in the index/parametric domain. We define the neighbors of Q as
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 coincides with . Such a result is proved in [103, Proposition 5.4.3] for the analogous case of HB-splines on -admissible meshes of class . 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 , the parametrization constants of Sect. 3.1, the degree , and the initial knot vector . 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 -admissible meshes of class , 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 whose elements are non-negative, local in the sense that for all there exists and a uniform constant such that , 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
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 of Sect. 3.1, it is sufficient to provide for each patch and an operator
satisfying (S3’) and (B3). We define this operator similarly as in Sect. 4.2.4, but now have to take into account that the output should only live on 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 -stability (B3) for the operator can be shown as in Sect. 6.2.3. A detailed analogous proof is given for hierarchical splines on -admissible meshes of class 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 [93–95, 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 be a Lipschitz domain with connected boundary . We consider boundary integral equations as in Sect. 3.3.2. We assume that there exists a global NURBS parametrization (see Sect. 2.4) such that is bijective with . Moreover, we denote the knot vector associated to by , and its induced mesh on [0, 1] by , and further assume that is bi-Lipschitz for all . Let be a fixed polynomial degree. We consider p-open knot vectors on [0, 1] (see Sect. 2.1.1) with , where and respectively denote the set of vertices corresponding to and , which are defined as the images of all breakpoints (see 2.1.1) under . We define the space of all splines on [0, 1] and as
Note that the functions in are allowed to be discontinuous at the initial vertex . We consider B-splines, transformed via , as the basis of the space .
Refinement of Knot Vectors
Let be a fixed initial p-open knot vector with . With the corresponding mesh in [0, 1], define the initial shape-regularity constant
where and . We recall that, for meshes on corresponding to and for an element , the element-patch 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.
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 , we denote by the vertex right to with respect to the orientation of . We denote by the corresponding breakpoints, and with some abuse of notation, by 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 ) the multiplicity is increased if it is less than , otherwise the neighboring elements are marked. Clearly, is finer than , in the sense that is a subsequence of and thus . For any p-open knot vector , we define as the set of all p-open knot vectors that can be obtained by iterative application of . We define the set of all admissible p-open knot vectors
It is easy to see that coincides with the set of all p-open knot vectors which are obtained via iterative bisections in the parametric domain and arbitrary knot multiplicity increases such that
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.
Adaptive Algorithm
Let with vertices . We consider a vertex-based version of the weighted-residual a posteriori error estimator (32)
85a |
where, for all , the local refinement indicators read, with ,
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.
Optimal Convergence for One-Dimensional Splines
As in Sect. 5.3.2, we say that the solution lies in the approximation class s with respect to the estimator (85) if
with and is the sum of all knot multiplicities in . In the notation of Sect. 2.1, it holds that . By definition, implies that the error estimator decays at least with rate on the optimal knot vectors . The following theorem, which mainly stems from [94, Theorem 3.2], states that each possible rate 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 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 such that
-
(ii)For arbitrary and , the residual error estimator converges linearly, i.e., there exist constants and such that
-
(iii)There exists a constant such that for all and , the estimator converges at optimal rate, i.e., for all there exist constants such that
All involved constants , and depend only on the coefficients of the differential operator , the parametrization , the polynomial order p, and the initial knot vector , while depend additionally on and the sequence , and depends furthermore on and .
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 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 for all , where 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
86 |
for given Dirichlet data , where the additional regularity instead of 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
with , see Fig. 45. A parametrization of its boundary in terms of rational splines of degree is given, e.g., in [95, Sect. 5.3]. We prescribe the exact solution of (86) in polar coordinates by
The fundamental solution of is given by
Since , the corresponding single-layer operator is elliptic, see Sect. 3.3.2. As in Sect. 3.3.2, (86) can be equivalently rewritten as integral equation (28), i.e., , where the unique solution is the normal derivative of the weak solution u of (86). For our problem, has a singularity at and jumps at and .
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 in the error indicators by the equivalent term , where, denotes the mesh-width function with for all . The error in the energy norm is computed again via Aitken’s -extrapolation and (83).
We choose the parameters of the modified Algorithm 10 as and . For comparison, we also consider uniform refinement, where we mark all vertices at each step, i.e., for all . Note that this leads to uniform bisection (without knot multiplicity increase) of all elements. Given the knot vector defining the parametrization ,
we consider splines of degree such that at the breakpoints the initial space is (if possible) as smooth as the space used to construct the parametrization. That is, the space is for , with the knots repeated exactly p times, and for . Note that is continuous but not necessarily differentiable at the breakpoints.
In Figs. 46 and 47, we plot the approximated energy error and the error estimator against the number of degrees of freedom. Since the solution lacks regularity, uniform refinement leads to the suboptimal rate for the energy error, whereas adaptive refinement leads to the optimal rate , 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.
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 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 . While the first assumption can probably be removed without major issues, as we explained in Remark 30, the construction of hierarchical splines with 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 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
For and , a mapping is bi-Lipschitz if it is bijective and as well as its inverse are Lipschitz continuous.
This is respectively the length of edge and face extensions of T-junctions, see [152] or [20, Sect. 7.3].
If this was not the case, we would consider as the mesh obtained after refining all the elements in the neighborhood of , but not itself.
Do not confuse the element-patches with the patches of Sect. 3.1.2 that are used to describe the geometry.
Recall the definition of the diameter of an arbitrary non-empty set .
Recall the definition of the diameter of an arbitrary non-empty set , and the definition of the distance of two arbitrary non-empty sets , . We use the convention .
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 -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 -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 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 -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 -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 -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 G 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 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 -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. 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 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]