-
Parallelization in time by diagonalization
Authors:
Andrea Bressan,
Alen Kushova,
Gabriele Loli,
Monica Montardini,
Giancarlo Sangalli,
Mattia Tani
Abstract:
This is a review of preconditioning techniques based on fast-diagonalization methods for space-time isogeometric discretization of the heat equation. Three formulation are considered: the Galerkin approach, a discrete least-square and a continuous least square. For each formulation the heat differential operator is written as a sum of terms that are kronecker products of uni-variate operators. The…
▽ More
This is a review of preconditioning techniques based on fast-diagonalization methods for space-time isogeometric discretization of the heat equation. Three formulation are considered: the Galerkin approach, a discrete least-square and a continuous least square. For each formulation the heat differential operator is written as a sum of terms that are kronecker products of uni-variate operators. These are used to speed-up the application of the operator in iterative solvers and to construct a suitable preconditioner. Contrary to the fast-diagonalization technique for the Laplace equation where all uni-variate operators acting on the same direction can be simultaneously diagonalized in the case of the heat equation this is not possible. Luckily this can be done up to an additional term that has low rank allowing for the utilization of arrow-head like factorization or inversion by Sherman-Morrison formula. The proposed preconditioners work extremely well on the parametric domain and, when the domain is parametrized or when the equation coefficients are not constant, they can be adapted and retain good performance characteristics.
△ Less
Submitted 30 November, 2023;
originally announced March 2024.
-
A low-rank solver for conforming multipatch Isogeometric Analysis
Authors:
Monica Montardini,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In this paper we present a low-rank method for conforming multipatch discretizations of compressible linear elasticity problems using Isogeometric Analysis. The proposed technique is a non-trivial extension of [M. Montardini, G. Sangalli, and M. Tani. A low-rank isogeometric solver based on Tucker tensors. Comput. Methods Appl. Mech. Engrg., page 116472, 2023.] to multipatch geometries. We tackle…
▽ More
In this paper we present a low-rank method for conforming multipatch discretizations of compressible linear elasticity problems using Isogeometric Analysis. The proposed technique is a non-trivial extension of [M. Montardini, G. Sangalli, and M. Tani. A low-rank isogeometric solver based on Tucker tensors. Comput. Methods Appl. Mech. Engrg., page 116472, 2023.] to multipatch geometries. We tackle the model problem using an overlap** Schwarz method, where the subdomains can be defined as unions of neighbouring patches. Then on each subdomain we approximate the blocks of the linear system matrix and of the right-hand side vector using Tucker matrices and Tucker vectors, respectively. We use the Truncated Preconditioned Conjugate Gradient as a linear solver, coupled with a suited preconditioner. The numerical experiments show the advantages of this approach in terms of memory storage. Moreover, the number of iterations is robust with respect to the relevant parameters.
△ Less
Submitted 11 January, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
Space-time least squares approximation for Schrödinger equation and efficient solver
Authors:
Andrea Bressan,
Alen Kushova,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In this work we present a space-time least squares isogeometric discretization of the Schrödinger equation and propose a preconditioner for the arising linear system in the parametric domain. Exploiting the tensor product structure of the basis functions, the preconditioner is written as the sum of Kronecker products of matrices. Thanks to an extension to the classical Fast Diagonalization method,…
▽ More
In this work we present a space-time least squares isogeometric discretization of the Schrödinger equation and propose a preconditioner for the arising linear system in the parametric domain. Exploiting the tensor product structure of the basis functions, the preconditioner is written as the sum of Kronecker products of matrices. Thanks to an extension to the classical Fast Diagonalization method, the application of the preconditioner is efficient and robust w.r.t. the polynomial degree of the spline space. The time required for the application is almost proportional to the number of degrees-of-freedom, for a serial execution.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Spline Upwind for space--time Isogeometric Analysis of cardiac electrophysiology
Authors:
P. F. Antonietti,
L. Dedè,
G. Loli,
G. Sangalli,
P. Tesini
Abstract:
We present an elaboration and application of Spline Upwind (SU) stabilization method, designed in space--time Isogeometric Analysis framework, in order to make this stabilization as suitable as possible in the context of cardiac electrophysiology. Our aim is to propose a formulation as simple and efficient as possible, effectual in preventing spurious oscillations present in plain Galerkin method…
▽ More
We present an elaboration and application of Spline Upwind (SU) stabilization method, designed in space--time Isogeometric Analysis framework, in order to make this stabilization as suitable as possible in the context of cardiac electrophysiology. Our aim is to propose a formulation as simple and efficient as possible, effectual in preventing spurious oscillations present in plain Galerkin method and also reasonable from the computational cost point of view. For these reasons we validate the method's capability with numerical experiments, focusing on accuracy and computational aspects.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
A low-rank isogeometric solver based on Tucker tensors
Authors:
Monica Montardini,
Giancarlo Sangalli,
Mattia Tani
Abstract:
We propose an isogeometric solver for Poisson problems that combines i)low-rank tensor techniques to approximate the unknown solution and the system matrix, as a sum of a few terms having Kronecker product structure, ii) a Truncated Preconditioned Conjugate Gradient solver to keep the rank of the iterates low, and iii) a novel low-rank preconditioner, based on the Fast Diagonalization method where…
▽ More
We propose an isogeometric solver for Poisson problems that combines i)low-rank tensor techniques to approximate the unknown solution and the system matrix, as a sum of a few terms having Kronecker product structure, ii) a Truncated Preconditioned Conjugate Gradient solver to keep the rank of the iterates low, and iii) a novel low-rank preconditioner, based on the Fast Diagonalization method where the eigenvector multiplication is approximated by the Fast Fourier Transform. Although the proposed strategy is written in arbitrary dimension, we focus on the three-dimensional case and adopt the Tucker format for low-rank tensor representation, which is well suited in low dimension. We show by numerical tests that this choice guarantees significant memory saving compared to the full tensor representation. We also extend and test the proposed strategy to linear elasticity problems.
△ Less
Submitted 28 September, 2023; v1 submitted 1 June, 2023;
originally announced June 2023.
-
An unconditionally stable space-time isogeometric method for the acoustic wave equation
Authors:
Sara Fraschini,
Gabriele Loli,
Andrea Moiola,
Giancarlo Sangalli
Abstract:
We study space--time isogeometric discretizations of the linear acoustic wave equation that use splines of arbitrary degree p, both in space and time. We propose a space--time variational formulation that is obtained by adding a non-consistent penalty term of order 2p+2 to the bilinear form coming from integration by parts. This formulation, when discretized with tensor-product spline spaces with…
▽ More
We study space--time isogeometric discretizations of the linear acoustic wave equation that use splines of arbitrary degree p, both in space and time. We propose a space--time variational formulation that is obtained by adding a non-consistent penalty term of order 2p+2 to the bilinear form coming from integration by parts. This formulation, when discretized with tensor-product spline spaces with maximal regularity in time, is unconditionally stable: the mesh size in time is not constrained by the mesh size in space. We give extensive numerical evidence for the good stability, approximation, dissipation and dispersion properties of the stabilized isogeometric formulation, comparing against stabilized finite element schemes, for a range of wave propagation problems with constant and variable wave speed.
△ Less
Submitted 21 June, 2024; v1 submitted 13 March, 2023;
originally announced March 2023.
-
Isogeometric multi-patch $C^1$-mortar coupling for the biharmonic equation
Authors:
Andrea Benvenuti,
Gabriele Loli,
Giancarlo Sangalli,
Thomas Takacs
Abstract:
We propose an isogeometric mortar method to fourth order elliptic problems. In particular we are interested in the discretization of the biharmonic equation on $C^0$-conforming multi-patch domains and we exploit the mortar technique to weakly enforce $C^1$-continuity across interfaces. In order to obtain discrete inf-sup stability, a particular choice for the Lagrange multiplier space is needed. A…
▽ More
We propose an isogeometric mortar method to fourth order elliptic problems. In particular we are interested in the discretization of the biharmonic equation on $C^0$-conforming multi-patch domains and we exploit the mortar technique to weakly enforce $C^1$-continuity across interfaces. In order to obtain discrete inf-sup stability, a particular choice for the Lagrange multiplier space is needed. Actually, we use as multipliers splines of degree reduced by two, w.r.t. the primal spline space, and with merged elements in the neighbourhood of the corners. In this framework, we are able to show optimal a priori error estimates. We also perform numerical tests that reflect theoretical results.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
High-Order Spline Upwind for Space-Time Isogeometric Analysis
Authors:
Gabriele Loli,
Giancarlo Sangalli,
Paolo Tesini
Abstract:
We propose an innovative isogeometric space-time method for the heat equation, with smooth splines approximation in both space and time. To enhance the stability of the method we add a stabilizing term, based on a linear combination of high-order artificial diffusions. This term is designed in order to make the linear system lower block-triangular, that is, lower triangular with respect to time. I…
▽ More
We propose an innovative isogeometric space-time method for the heat equation, with smooth splines approximation in both space and time. To enhance the stability of the method we add a stabilizing term, based on a linear combination of high-order artificial diffusions. This term is designed in order to make the linear system lower block-triangular, that is, lower triangular with respect to time. In order to keep optimal accuracy, the stabilization terms are further weighted in terms of the residual. Through a series of numerical experiments, we validate the method's capability, showcasing its stability and accuracy.
△ Less
Submitted 29 August, 2023; v1 submitted 4 November, 2022;
originally announced November 2022.
-
A IETI-DP method for discontinuous Galerkin discretizations in Isogeometric Analysis with inexact local solvers
Authors:
Monica Montardini,
Giancarlo Sangalli,
Rainer Schneckenleitner,
Stefan Takacs,
Mattia Tani
Abstract:
We construct solvers for an isogeometric multi-patch discretization, where the patches are coupled via a discontinuous Galerkin approach, which allows the consideration of discretizations that do not match on the interfaces. We solve the resulting linear system using a Dual-Primal IsogEometric Tearing and Interconnecting (IETI-DP) method. We are interested in solving the arising patch-local proble…
▽ More
We construct solvers for an isogeometric multi-patch discretization, where the patches are coupled via a discontinuous Galerkin approach, which allows the consideration of discretizations that do not match on the interfaces. We solve the resulting linear system using a Dual-Primal IsogEometric Tearing and Interconnecting (IETI-DP) method. We are interested in solving the arising patch-local problems using iterative solvers since this allows the reduction of the memory footprint. We solve the patch-local problems approximately using the Fast Diagonalization method, which is known to be robust in the grid size and the spline degree. To obtain the tensor structure needed for the application of the Fast Diagonalization method, we introduce an orthogonal splitting of the local function spaces. We present a convergence theory that confirms that the condition number of the preconditioned system only grows poly-logarithmically with the grid size. The numerical experiments confirm this finding. Moreover, they show that the convergence of the overall solver only mildly depends on the spline degree. We observe a mild reduction of the computational times and a significant reduction of the memory requirements in comparison to standard IETI-DP solvers using sparse direct solvers for the local subproblems. Furthermore, the experiments indicate good scaling behavior on distributed memory machines.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Weighted quadrature for hierarchical B-splines
Authors:
Carlotta Giannelli,
Tadej Kanduc,
Massimiliano Martinelli,
Giancarlo Sangalli,
Mattia Tani
Abstract:
We present weighted quadrature for hierarchical B-splines to address the fast formation of system matrices arising from adaptive isogeometric Galerkin methods with suitably graded hierarchical meshes. By exploiting a local tensor-product structure, we extend the construction of weighted rules from the tensor-product to the hierarchical spline setting. The proposed algorithm has a computational cos…
▽ More
We present weighted quadrature for hierarchical B-splines to address the fast formation of system matrices arising from adaptive isogeometric Galerkin methods with suitably graded hierarchical meshes. By exploiting a local tensor-product structure, we extend the construction of weighted rules from the tensor-product to the hierarchical spline setting. The proposed algorithm has a computational cost proportional to the number of degrees of freedom and advantageous properties with increasing spline degree. To illustrate the performance of the method and confirm the theoretical estimates, a selection of 2D and 3D numerical tests is provided.
△ Less
Submitted 26 September, 2021;
originally announced September 2021.
-
Explicit high-order generalized-$α$ methods for isogeometric analysis of structural dynamics
Authors:
Pouria Behnoudfar,
Gabriele Loli,
Alessandro Reali,
Giancarlo Sangalli,
Victor M. Calo
Abstract:
We propose a new family of high-order explicit generalized-$α$ methods for hyperbolic problems with the feature of dissipation control. Our approach delivers $2k,\, \left(k \in \mathbb{N}\right)$ accuracy order in time by solving $k$ matrix systems explicitly and updating the other $2k$ variables at each time-step. The user can control the numerical dissipation in the discrete spectrum's high-freq…
▽ More
We propose a new family of high-order explicit generalized-$α$ methods for hyperbolic problems with the feature of dissipation control. Our approach delivers $2k,\, \left(k \in \mathbb{N}\right)$ accuracy order in time by solving $k$ matrix systems explicitly and updating the other $2k$ variables at each time-step. The user can control the numerical dissipation in the discrete spectrum's high-frequency regions by adjusting the method's coefficients. We study the method's spectrum behaviour and show that the CFL condition is independent of the accuracy order. The stability region remains invariant while we increase the accuracy order. Next, we exploit efficient preconditioners for the isogeometric matrix to minimize the computational cost. These preconditioners use a diagonal-scaled Kronecker product of univariate parametric mass matrices; they have a robust performance with respect to the spline degree and the mesh size, and their decomposition structure implies that their application is faster than a matrix-vector product involving the fully-assembled mass matrix. Our high-order schemes require simple modifications of the available implementations of the generalized-$α$ method. Finally, we present numerical examples demonstrating the methodology's performance regarding single- and multi-patch IGA discretizations.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
Easy and Efficient preconditioning of the Isogeometric Mass Matrix
Authors:
Gabriele Loli,
Giancarlo Sangalli,
Mattia Tani
Abstract:
This paper deals with the fast solution of linear systems associated with the mass matrix, in the context of isogeometric analysis. We propose a preconditioner that is both efficient and easy to implement, based on a diagonal-scaled Kronecker product of univariate parametric mass matrices. Its application is faster than a matrix-vector product involving the mass matrix itself. We prove that the co…
▽ More
This paper deals with the fast solution of linear systems associated with the mass matrix, in the context of isogeometric analysis. We propose a preconditioner that is both efficient and easy to implement, based on a diagonal-scaled Kronecker product of univariate parametric mass matrices. Its application is faster than a matrix-vector product involving the mass matrix itself. We prove that the condition number of the preconditioned matrix converges to 1 as the mesh size is reduced, that is, the preconditioner is asymptotically equivalent to the exact inverse. Moreover, we give numerical evidence of its good behaviour with respect to the spline degree and the (possibly singular) geometry parametrization. We also extend the preconditioner to the multipatch case through an Additive Schwarz method.
△ Less
Submitted 26 November, 2020; v1 submitted 3 June, 2020;
originally announced June 2020.
-
A family of $C^1$ quadrilateral finite elements
Authors:
Mario Kapl,
Giancarlo Sangalli,
Thomas Takacs
Abstract:
We present a novel family of $C^1$ quadrilateral finite elements, which define global $C^1$ spaces over a general quadrilateral mesh with vertices of arbitrary valency. The elements extend the construction by (Brenner and Sung, J. Sci. Comput., 2005), which is based on polynomial elements of tensor-product degree $p\geq 6$, to all degrees $p \geq 3$. Thus, we call the family of $C^1$ finite elemen…
▽ More
We present a novel family of $C^1$ quadrilateral finite elements, which define global $C^1$ spaces over a general quadrilateral mesh with vertices of arbitrary valency. The elements extend the construction by (Brenner and Sung, J. Sci. Comput., 2005), which is based on polynomial elements of tensor-product degree $p\geq 6$, to all degrees $p \geq 3$. Thus, we call the family of $C^1$ finite elements Brenner-Sung quadrilaterals. The proposed $C^1$ quadrilateral can be seen as a special case of the Argyris isogeometric element of (Kapl, Sangalli and Takacs, CAGD, 2019). The quadrilateral elements possess similar degrees of freedom as the classical Argyris triangles. Just as for the Argyris triangle, we additionally impose $C^2$ continuity at the vertices. In this paper we focus on the lower degree cases, that may be desirable for their lower computational cost and better conditioning of the basis: We consider indeed the polynomial quadrilateral of (bi-)degree~$5$, and the polynomial degrees $p=3$ and $p=4$ by employing a splitting into $3\times3$ or $2\times2$ polynomial pieces, respectively.
The proposed elements reproduce polynomials of total degree $p$. We show that the space provides optimal approximation order. Due to the interpolation properties, the error bounds are local on each element. In addition, we describe the construction of a simple, local basis and give for $p\in\{3,4,5\}$ explicit formulas for the Bézier or B-spline coefficients of the basis functions. Numerical experiments by solving the biharmonic equation demonstrate the potential of the proposed $C^1$ quadrilateral finite element for the numerical analysis of fourth order problems, also indicating that (for $p=5$) the proposed element performs comparable or in general even better than the Argyris triangle with respect to the number of degrees of freedom.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
A domain decomposition method for Isogeometric multi-patch problems with inexact local solvers
Authors:
Michal Bosy,
Monica Montardini,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In Isogeometric Analysis, the computational domain is often described as multi-patch, where each patch is given by a tensor product spline/NURBS parametrization. In this work we propose a FETI-like solver where local inexact solvers exploit the tensor product structure at the patch level. To this purpose, we extend to the isogeometric framework the so-called All-Floating variant of FETI, that allo…
▽ More
In Isogeometric Analysis, the computational domain is often described as multi-patch, where each patch is given by a tensor product spline/NURBS parametrization. In this work we propose a FETI-like solver where local inexact solvers exploit the tensor product structure at the patch level. To this purpose, we extend to the isogeometric framework the so-called All-Floating variant of FETI, that allows us to use the Fast Diagonalization method at the patch level. We construct then a preconditioner for the whole system and prove its robustness with respect to the local mesh-size $h$ and patch-size $H$ (i.e., we have scalability). Our numerical tests confirm the theory and also show a favourable dependence of the computational cost of the method from the spline degree $p$.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
An efficient solver for space-time isogeometric Galerkin methods for parabolic problems
Authors:
Gabriele Loli,
Monica Montardini,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In this work we focus on the preconditioning of a Galerkin space-time isogeometric discretization of the heat equation. Exploiting the tensor product structure of the basis functions in the parametric domain, we propose a preconditioner that is the sum of Kronecker products of matrices and that can be efficiently applied thanks to an extension of the classical Fast Diagonalization method. The prec…
▽ More
In this work we focus on the preconditioning of a Galerkin space-time isogeometric discretization of the heat equation. Exploiting the tensor product structure of the basis functions in the parametric domain, we propose a preconditioner that is the sum of Kronecker products of matrices and that can be efficiently applied thanks to an extension of the classical Fast Diagonalization method. The preconditioner is robust w.r.t. the polynomial degree of the spline space and the time required for the application is almost proportional to the number of degrees-of-freedom, for a serial execution. By incorporating some information on the geometry parametrization and on the equation coefficients, we keep high efficiency with non-trivial domains and variable thermal conductivity and heat capacity coefficients.
△ Less
Submitted 2 November, 2020; v1 submitted 16 September, 2019;
originally announced September 2019.
-
Isogeometric analysis with $C^1$ functions on unstructured quadrilateral meshes
Authors:
Mario Kapl,
Giancarlo Sangalli,
Thomas Takacs
Abstract:
In the context of isogeometric analysis, globally $C^1$ isogeometric spaces over unstructured quadrilateral meshes allow the direct solution of fourth order partial differential equations on complex geometries via their Galerkin discretization. The design of such smooth spaces has been intensively studied in the last five years, in particular for the case of planar domains, and is still task of cu…
▽ More
In the context of isogeometric analysis, globally $C^1$ isogeometric spaces over unstructured quadrilateral meshes allow the direct solution of fourth order partial differential equations on complex geometries via their Galerkin discretization. The design of such smooth spaces has been intensively studied in the last five years, in particular for the case of planar domains, and is still task of current research. In this paper, we first give a short survey of the developed methods and especially focus on the approach [26]. There, the construction of a specific $C^1$ isogeometric spline space for the class of so-called analysis-suitable $G^1$ multi-patch parametrizations is presented. This particular class of parameterizations comprises exactly those multi-patch geometries, which ensure the design of $C^1$ spaces with optimal approximation properties, and allows the representation of complex planar multi-patch domains. We present known results in a coherent framework, and also extend the construction to parametrizations that are not analysis-suitable $G^1$ by allowing higher-degree splines in the neighborhood of the extraordinary vertices and edges. Finally, we present numerical tests that illustrate the behavior of the proposed method on representative examples.
△ Less
Submitted 21 December, 2018;
originally announced December 2018.
-
Space-time least-squares isogeometric method and efficient solver for parabolic problems
Authors:
Monica Montardini,
Matteo Negri,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In this paper, we propose a space-time least-squares isogeometric method to solve parabolic evolution problems, well suited for high-degree smooth splines in the space-time domain. We focus on the linear solver and its computational efficiency: thanks to the proposed formulation and to the tensor-product construction of space-time splines, we can design a preconditioner whose application requires…
▽ More
In this paper, we propose a space-time least-squares isogeometric method to solve parabolic evolution problems, well suited for high-degree smooth splines in the space-time domain. We focus on the linear solver and its computational efficiency: thanks to the proposed formulation and to the tensor-product construction of space-time splines, we can design a preconditioner whose application requires the solution of a Sylvester-like equation, which is performed efficiently by the fast diagonalization method. The preconditioner is robust w.r.t. spline degree and mesh size. The computational time required for its application, for a serial execution, is almost proportional to the number of degrees-of-freedom and independent of the polynomial degree. The proposed approach is also well-suited for parallelization.
△ Less
Submitted 16 September, 2019; v1 submitted 26 September, 2018;
originally announced September 2018.
-
Isogeometric Methods for Free Boundary Problems
Authors:
Monica Montardini,
Filippo Remonato,
Giancarlo Sangalli
Abstract:
We present in detail three different quasi-Newton isogeometric algorithms for the treatment of free boundary problems. Two algorithms are based on standard Galerkin formulations, while the third is a fully-collocated scheme. With respect to standard approaches, isogeometric analysis enables the accurate description of curved geometries, and is thus particularly suitable for free boundary numerical…
▽ More
We present in detail three different quasi-Newton isogeometric algorithms for the treatment of free boundary problems. Two algorithms are based on standard Galerkin formulations, while the third is a fully-collocated scheme. With respect to standard approaches, isogeometric analysis enables the accurate description of curved geometries, and is thus particularly suitable for free boundary numerical simulation. We apply the algorithms and compare their performances to several benchmark tests, considering both Dirichlet and periodic boundary conditions. In this context, iogeometric collocation turns out to be robust and computationally more efficient than Galerkin. Our results constitute a starting point of an in-depth analysis of the Euler equations for incompressible fluids.
△ Less
Submitted 13 March, 2018;
originally announced March 2018.
-
Matrix-free weighted quadrature for a computationally efficient isogeometric $k$-method
Authors:
Giancarlo Sangalli,
Mattia Tani
Abstract:
The $k$-method is the isogeometric method based on splines (or NURBS, etc.) with maximum regularity. When implemented following the paradigms of classical finite element methods, the computational resources required by the $k-$method are prohibitive even for moderate degree. In order to address this issue, we propose a matrix-free strategy combined with weighted quadrature, which is an ad-hoc stra…
▽ More
The $k$-method is the isogeometric method based on splines (or NURBS, etc.) with maximum regularity. When implemented following the paradigms of classical finite element methods, the computational resources required by the $k-$method are prohibitive even for moderate degree. In order to address this issue, we propose a matrix-free strategy combined with weighted quadrature, which is an ad-hoc strategy to compute the integrals of the Galerkin system. Matrix-free weighted quadrature (MF-WQ) speeds up matrix operations, and, perhaps even more important, greatly reduces memory consumption. Our strategy also requires an efficient preconditioner for the linear system iterative solver. In this work we deal with an elliptic model problem, and adopt a preconditioner based on the Fast Diagonalization method, an old idea to solve Sylvester-like equations. Our numerical tests show that the isogeometric solver based on MF-WQ is faster than standard approaches (where the main cost is the matrix formation by standard Gaussian quadrature) even for low degree. But the main achievement is that, with MF-WQ, the $k$-method gets orders of magnitude faster by increasing the degree, given a target accuracy. Therefore, we are able to show the superiority, in terms of computational efficiency, of the high-degree $k$-method with respect to low-degree isogeometric discretizations. What we present here is applicable to more complex and realistic differential problems, but its effectiveness will depend on the preconditioner stage, which is as always problem-dependent. This situation is typical of modern high-order methods: the overall performance is mainly related to the quality of the preconditioner.
△ Less
Submitted 16 April, 2018; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Robust isogeometric preconditioners for the Stokes system based on the Fast Diagonalization method
Authors:
Monica Montardini,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In this paper we propose a new class of preconditioners for the isogeometric discretization of the Stokes system. Their application involves the solution of a Sylvester-like equation, which can be done efficiently thanks to the Fast Diagonalization method. These preconditioners are robust with respect to both the spline degree and mesh size. By incorporating information on the geometry parametriza…
▽ More
In this paper we propose a new class of preconditioners for the isogeometric discretization of the Stokes system. Their application involves the solution of a Sylvester-like equation, which can be done efficiently thanks to the Fast Diagonalization method. These preconditioners are robust with respect to both the spline degree and mesh size. By incorporating information on the geometry parametrization and equation coefficients, we maintain efficiency on non-trivial computational domains and for variable kinematic viscosity. In our numerical tests we compare to a standard approach, showing that the overall iterative solver based on our preconditioners is significantly faster.
△ Less
Submitted 10 April, 2018; v1 submitted 1 December, 2017;
originally announced December 2017.
-
The Argyris isogeometric space on unstructured multi-patch planar domains
Authors:
Mario Kapl,
Giancarlo Sangalli,
Thomas Takacs
Abstract:
Multi-patch spline parametrizations are used in geometric design and isogeometric analysis to represent complex domains. We deal with a particular class of $C^0$ planar multi-patch spline parametrizations called analysis-suitable $G^1$ (AS-$G^{1}$) multi-patch parametrizations (Collin, Sangalli, Takacs; CAGD, 2016). This class of parametrizations has to satisfy specific geometric continuity constr…
▽ More
Multi-patch spline parametrizations are used in geometric design and isogeometric analysis to represent complex domains. We deal with a particular class of $C^0$ planar multi-patch spline parametrizations called analysis-suitable $G^1$ (AS-$G^{1}$) multi-patch parametrizations (Collin, Sangalli, Takacs; CAGD, 2016). This class of parametrizations has to satisfy specific geometric continuity constraints, and is of importance since it allows to construct, on the multi-patch domain, $C^1$ isogeometric spaces with optimal approximation properties. It was demonstrated in (Kapl, Sangalli, Takacs; CAD, 2018) that AS-$G^1$ multi-patch parametrizations are suitable for modeling complex planar multi-patch domains.
In this work, we construct a basis, and an associated dual basis, for a specific $C^1$ isogeometric spline space $\mathcal{W}$ over a given AS-$G^1$ multi-patch parametrization. We call the space $\mathcal{W}$ the Argyris isogeometric space, since it is $C^1$ across interfaces and $C^2$ at all vertices and generalizes the idea of Argyris finite elements to tensor-product splines. The considered space $\mathcal{W}$ is a subspace of the entire $C^1$ isogeometric space $\mathcal{V}^{1}$, which maintains the reproduction properties of traces and normal derivatives along the interfaces. Moreover, it reproduces all derivatives up to second order at the vertices. In contrast to $\mathcal{V}^{1}$, the dimension of $\mathcal{W}$ does not depend on the domain parametrization, and $\mathcal{W}$ admits a basis and dual basis which possess a simple explicit representation and local support.
We conclude the paper with some numerical experiments, which exhibit the optimal approximation order of the Argyris isogeometric space $\mathcal{W}$ and demonstrate the applicability of our approach for isogeometric analysis.
△ Less
Submitted 30 April, 2018; v1 submitted 14 November, 2017;
originally announced November 2017.
-
A sparse-grid isogeometric solver
Authors:
Joakim Beck,
Giancarlo Sangalli,
Lorenzo Tamellini
Abstract:
Isogeometric Analysis (IGA) typically adopts tensor-product splines and NURBS as a basis for the approximation of the solution of PDEs. In this work, we investigate to which extent IGA solvers can benefit from the so-called sparse-grids construction in its combination technique form, which was first introduced in the early 90s in the context of the approximation of high-dimensional PDEs. The tests…
▽ More
Isogeometric Analysis (IGA) typically adopts tensor-product splines and NURBS as a basis for the approximation of the solution of PDEs. In this work, we investigate to which extent IGA solvers can benefit from the so-called sparse-grids construction in its combination technique form, which was first introduced in the early 90s in the context of the approximation of high-dimensional PDEs. The tests that we report show that, in accordance to the literature, a sparse-grid construction can indeed be useful if the solution of the PDE at hand is sufficiently smooth. Sparse grids can also be useful in the case of non-smooth solutions when some a-priori knowledge on the location of the singularities of the solution can be exploited to devise suitable non-equispaced meshes. Finally, we remark that sparse grids can be seen as a simple way to parallelize pre-existing serial IGA solvers in a straightforward fashion, which can be beneficial in many practical situations.
△ Less
Submitted 17 February, 2018; v1 submitted 30 July, 2017;
originally announced July 2017.
-
Construction of analysis-suitable $G^1$ planar multi-patch parameterizations
Authors:
Mario Kapl,
Giancarlo Sangalli,
Thomas Takacs
Abstract:
Isogeometric analysis allows to define shape functions of global $C^{1}$ continuity (or of higher continuity) over multi-patch geometries. The construction of such $C^{1}$-smooth isogeometric functions is a non-trivial task and requires particular multi-patch parameterizations, so-called analysis-suitable $G^{1}$ (in short, AS-$G^{1}$) parameterizations, to ensure that the resulting $C^{1}$ isogeo…
▽ More
Isogeometric analysis allows to define shape functions of global $C^{1}$ continuity (or of higher continuity) over multi-patch geometries. The construction of such $C^{1}$-smooth isogeometric functions is a non-trivial task and requires particular multi-patch parameterizations, so-called analysis-suitable $G^{1}$ (in short, AS-$G^{1}$) parameterizations, to ensure that the resulting $C^{1}$ isogeometric spaces possess optimal approximation properties, cf. [7]. In this work, we show through examples that it is possible to construct AS-$G^{1}$ multi-patch parameterizations of planar domains, given their boundary. More precisely, given a generic multi-patch geometry, we generate an AS-$G^{1}$ multi-patch parameterization possessing the same boundary, the same vertices and the same first derivatives at the vertices, and which is as close as possible to this initial geometry. Our algorithm is based on a quadratic optimization problem with linear side constraints. Numerical tests also confirm that $C^{1}$ isogeometric spaces over AS-$G^{1}$ multi-patch parameterized domains converge optimally under mesh refinement, while for generic parameterizations the convergence order is severely reduced.
△ Less
Submitted 10 June, 2017;
originally announced June 2017.
-
A cost-effective isogeometric approach for composite plates based on a stress recovery procedure
Authors:
John-Eric Dufour,
Pablo Antolin,
Giancarlo Sangalli,
Ferdinando Auricchio,
Alessandro Reali
Abstract:
This paper introduces a cost-effective strategy to simulate the behavior of laminated plates by means of isogeometric 3D solid elements. Exploiting the high continuity of spline functions and their properties, a proper out-of-plane stress state is recovered from a coarse displacement solution using a post-processing step based on the enforcement of equilibrium in strong form. Appealing results are…
▽ More
This paper introduces a cost-effective strategy to simulate the behavior of laminated plates by means of isogeometric 3D solid elements. Exploiting the high continuity of spline functions and their properties, a proper out-of-plane stress state is recovered from a coarse displacement solution using a post-processing step based on the enforcement of equilibrium in strong form. Appealing results are obtained and the method is shown to be particularly Peffective on slender composite stacks with a large number of layers.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
Efficient assembly based on B-spline tailored quadrature rules for the IgA-SGBEM
Authors:
A. Aimi,
F. Calabrò,
M. Diligenti,
M. L. Sampoli,
G. Sangalli,
A. Sestini
Abstract:
This paper deals with the discrete counterpart of 2D elliptic model problems rewritten in terms of Boundary Integral Equations. The study is done within the framework of Isogeometric Analysis based on B-splines. In such a context, the problem of constructing appropriate, accurate and efficient quadrature rules for the Symmetric Galerkin Boundary Element Method is here investigated. The new integra…
▽ More
This paper deals with the discrete counterpart of 2D elliptic model problems rewritten in terms of Boundary Integral Equations. The study is done within the framework of Isogeometric Analysis based on B-splines. In such a context, the problem of constructing appropriate, accurate and efficient quadrature rules for the Symmetric Galerkin Boundary Element Method is here investigated. The new integration schemes, together with row assembly and sum factorization, are used to build a more efficient strategy to derive the final linear system of equations. Key ingredients are weighted quadrature rules tailored for B--splines, that are constructed to be exact in the whole test space, also with respect to the singular kernel. Several simulations are presented and discussed, showing accurate evaluation of the involved integrals and outlining the superiority of the new approach in terms of computational cost and elapsed time with respect to the standard element-by-element assembly.
△ Less
Submitted 13 July, 2017; v1 submitted 29 March, 2017;
originally announced March 2017.
-
Dimension and basis construction for analysis-suitable $G^1$ two-patch parameterizations
Authors:
Mario Kapl,
Giancarlo Sangalli,
Thomas Takacs
Abstract:
We study the dimension and construct a basis for $C^1$-smooth isogeometric function spaces over two-patch domains. In this context, an isogeometric function is a function defined on a B-spline domain, whose graph surface also has a B-spline representation. We consider constructions along one interface between two patches. We restrict ourselves to a special case of planar B-spline patches of bidegr…
▽ More
We study the dimension and construct a basis for $C^1$-smooth isogeometric function spaces over two-patch domains. In this context, an isogeometric function is a function defined on a B-spline domain, whose graph surface also has a B-spline representation. We consider constructions along one interface between two patches. We restrict ourselves to a special case of planar B-spline patches of bidegree (p,p) with $p \geq 3$, so-called analysis-suitable $G^1$ geometries, which are derived from a specific geometric continuity condition. This class of two-patch geometries is exactly the one which allows, under certain additional assumptions, $C^1$ isogeometric spaces with optimal approximation properties (Collin et al., 2016).
Such spaces are of interest when solving numerically fourth-order PDE problems, such as the biharmonic equation, using the isogeometric method. In particular, we analyze the dimension of the $C^1$-smooth isogeometric space and present an explicit representation for a basis of this space. Both the dimension of the space and the basis functions along the common interface depend on the considered two-patch parameterization. Such an explicit, geometry dependent basis construction is important for an efficient implementation of the isogeometric method. The stability of the constructed basis is numerically confirmed for an example configuration.
△ Less
Submitted 23 January, 2017;
originally announced January 2017.
-
Optimal-order isogeometric collocation at Galerkin superconvergent points
Authors:
Monica Montardini,
Giancarlo Sangalli,
Lorenzo Tamellini
Abstract:
In this paper we investigate numerically the order of convergence of an isogeometric collocation method that builds upon the least-squares collocation method presented in [1] and the variational collocation method presented in [2]. The focus is on smoothest B-splines/NURBS approximations, i.e, having global $C^{p-1}$ continuity for polynomial degree $p$. Within the framework of [2], we select as c…
▽ More
In this paper we investigate numerically the order of convergence of an isogeometric collocation method that builds upon the least-squares collocation method presented in [1] and the variational collocation method presented in [2]. The focus is on smoothest B-splines/NURBS approximations, i.e, having global $C^{p-1}$ continuity for polynomial degree $p$. Within the framework of [2], we select as collocation points a subset of those considered in [1], which are related to the Galerkin superconvergence theory. With our choice, that features local symmetry of the collocation stencil, we improve the convergence behaviour with respect to [2], achieving optimal $L^2$-convergence for odd degree B-splines/NURBS approximations. The same optimal order of convergence is seen in [1], where, however a least-squares formulation is adopted. Further careful study is needed, since the robustness of the method and its mathematical foundation are still unclear.
△ Less
Submitted 23 September, 2016; v1 submitted 7 September, 2016;
originally announced September 2016.
-
Fast formation of isogeometric Galerkin matrices by weighted quadrature
Authors:
Francesco Calabrò,
Giancarlo Sangalli,
Mattia Tani
Abstract:
In this paper we propose an algorithm for the formation of matrices of isogeometric Galerkin methods. The algorithm is based on three ideas. The first is that we perform the external loop over the rows of the matrix. The second is that we calculate the row entries by weighted quadrature. The third is that we exploit the (local) tensor product structure of the basis functions. While all ingredients…
▽ More
In this paper we propose an algorithm for the formation of matrices of isogeometric Galerkin methods. The algorithm is based on three ideas. The first is that we perform the external loop over the rows of the matrix. The second is that we calculate the row entries by weighted quadrature. The third is that we exploit the (local) tensor product structure of the basis functions. While all ingredients have a fundamental role for computational efficiency, the major conceptual change of paradigm with respect to the standard implementation is the idea of using weighted quadrature: the test function is incorporated in the integration weight while the trial function, the geometry parametrization and the PDEs coefficients form the integrand function. This approach is very effective in reducing the computational cost, while maintaining the optimal order of approximation of the method. Analysis of the cost is confirmed by numerical testing, where we show that, for $p$ large enough, the time required by the floating point operations is less than the time spent in unavoidable memory operations (the sparse matrix allocation and memory write). The proposed algorithm allows significant time saving when assembling isogeometric Galerkin matrices for all the degrees of the test spline space and paves the way for a use of high-degree $k$-refinement in isogeometric analysis.
△ Less
Submitted 20 September, 2016; v1 submitted 4 May, 2016;
originally announced May 2016.
-
Isogeometric preconditioners based on fast solvers for the Sylvester equation
Authors:
Giancarlo Sangalli,
Mattia Tani
Abstract:
We consider large linear systems arising from the isogeometric discretization of the Poisson problem on a single-patch domain. The numerical solution of such systems is considered a challenging task, particularly when the degree of the splines employed as basis functions is high. We consider a preconditioning strategy which is based on the solution of a Sylvester-like equation at each step of an i…
▽ More
We consider large linear systems arising from the isogeometric discretization of the Poisson problem on a single-patch domain. The numerical solution of such systems is considered a challenging task, particularly when the degree of the splines employed as basis functions is high. We consider a preconditioning strategy which is based on the solution of a Sylvester-like equation at each step of an iterative solver. We show that this strategy, which fully exploits the tensor structure that underlies isogeometric problems, is robust with respect to both mesh size and spline degree, although it may suffer from the presence of complicated geometry or coefficients. We consider two popular solvers for the Sylvester equation, a direct one and an iterative one, and we discuss in detail their implementation and efficiency for 2D and 3D problems on single-patch or conforming multi-patch NURBS geometries. Numerical experiments for problems with different domain geometries are presented, which demonstrate the potential of this approach.
△ Less
Submitted 21 July, 2016; v1 submitted 4 February, 2016;
originally announced February 2016.
-
Analysis-suitable $G^1$ multi-patch parametrizations for $C^1$ isogeometric spaces
Authors:
Annabelle Collin,
Giancarlo Sangalli,
Thomas Takacs
Abstract:
One key feature of isogeometric analysis is that it allows smooth shape functions. Indeed, when isogeometric spaces are constructed from $p$-degree splines (and extensions, such as NURBS), they enjoy up to $C^{p-1}$ continuity within each patch. However, global continuity beyond $C^0$ on so-called multi-patch geometries poses some significant difficulties. In this work, we consider planar multi-pa…
▽ More
One key feature of isogeometric analysis is that it allows smooth shape functions. Indeed, when isogeometric spaces are constructed from $p$-degree splines (and extensions, such as NURBS), they enjoy up to $C^{p-1}$ continuity within each patch. However, global continuity beyond $C^0$ on so-called multi-patch geometries poses some significant difficulties. In this work, we consider planar multi-patch domains that have a parametrization which is only $C^0$ at the patch interface. On such domains we study the $h$-refinement of $C^1$-continuous isogeometric spaces. These spaces in general do not have optimal approximation properties. The reason is that the $C^1$-continuity condition easily over-constrains the solution which is, in the worst cases, fully locked to linears at the patch interface. However, recent studies by Kapl et al. have given numerical evidence that optimal convergence occurs for bilinear two-patch geometries and cubic (or higher degree) $C^1$ splines. This is the starting point of our study. We introduce the class of analysis-suitable $G^1$ geometry parametrizations, which includes piecewise bilinear parametrizations. We then analyze the structure of $C^1$ isogeometric spaces over analysis-suitable $G^1$ parametrizations and, by theoretical results and numerical testing, discuss their approximation properties. We also consider examples of geometry parametrizations that are not analysis-suitable, showing that in this case optimal convergence of $C^1$ isogeometric spaces is prevented.
△ Less
Submitted 9 May, 2016; v1 submitted 25 September, 2015;
originally announced September 2015.
-
Unstructured spline spaces for isogeometric analysis based on spline manifolds
Authors:
Giancarlo Sangalli,
Thomas Takacs,
Rafael Vázquez
Abstract:
Based on spline manifolds we introduce and study a mathematical framework for analysis-suitable unstructured B-spline spaces. In this setting the parameter domain has a manifold structure, which allows for the definition of function spaces that have a tensor-product structure locally, but not globally. This includes configurations such as B-splines over multi-patch domains with extraordinary point…
▽ More
Based on spline manifolds we introduce and study a mathematical framework for analysis-suitable unstructured B-spline spaces. In this setting the parameter domain has a manifold structure, which allows for the definition of function spaces that have a tensor-product structure locally, but not globally. This includes configurations such as B-splines over multi-patch domains with extraordinary points, analysis-suitable unstructured T-splines, or more general constructions. Within this framework, we generalize the concept of dual-compatible B-splines, which was originally developed for structured T-splines. This allows us to prove the key properties that are needed for isogeometric analysis, such as linear independence and optimal approximation properties for $h$-refined meshes.
△ Less
Submitted 30 July, 2015;
originally announced July 2015.
-
Isogeometric Methods for Computational Electromagnetics: B-spline and T-spline discretizations
Authors:
A. Buffa,
G. Sangalli,
R. Vazquez
Abstract:
In this paper we introduce methods for electromagnetic wave propagation, based on splines and on T-splines. We define spline spaces which form a De Rham complex and, following the isogeometric paradigm, we map them on domains which are (piecewise) spline or NURBS geometries. We analyse their geometric structure, as related to the connectivity of the underlying mesh, and we give a physical interpre…
▽ More
In this paper we introduce methods for electromagnetic wave propagation, based on splines and on T-splines. We define spline spaces which form a De Rham complex and, following the isogeometric paradigm, we map them on domains which are (piecewise) spline or NURBS geometries. We analyse their geometric structure, as related to the connectivity of the underlying mesh, and we give a physical interpretation of the fields degrees-of-freedom through the concept of control fields. The theory is then extended to the case of meshes with T-junctions, leveraging on the recent theory of T-splines. The use of T-splines enhance our spline methods with local refinement capability and numerical tests show the efficiency and the accuracy of the techniques we propose.
△ Less
Submitted 10 September, 2012;
originally announced September 2012.
-
An isogeometric method for the Reissner-Mindlin plate bending problem
Authors:
L. Beirão da Veiga,
A. Buffa,
C. Lovadina,
M. Martinelli,
G. Sangalli
Abstract:
We present a new isogeometric method for the discretization of the Reissner-Mindlin plate bending problem. The proposed scheme follows a recent theoretical framework that makes possible to construct a space of smooth discrete deflections $W_h$ and a space of smooth discrete rotations $\Rots_h$ such that the Kirchhoff contstraint is exactly satisfied at the limit. Therefore we obtain a formulation…
▽ More
We present a new isogeometric method for the discretization of the Reissner-Mindlin plate bending problem. The proposed scheme follows a recent theoretical framework that makes possible to construct a space of smooth discrete deflections $W_h$ and a space of smooth discrete rotations $\Rots_h$ such that the Kirchhoff contstraint is exactly satisfied at the limit. Therefore we obtain a formulation which is natural from the theoretical/mechanical viewpoint and locking free by construction.
△ Less
Submitted 22 June, 2011;
originally announced June 2011.