-
Adaptive optimization of isogeometric multi-patch discretizations using artificial neural networks
Authors:
Dany Rios,
Felix Scholz,
Thomas Takacs
Abstract:
In isogeometric analysis, isogeometric function spaces are employed for accurately representing the solution to a partial differential equation (PDE) on a parameterized domain. They are generated from a tensor-product spline space by composing the basis functions with the inverse of the parameterization. Depending on the geometry of the domain and on the data of the PDE, the solution might not hav…
▽ More
In isogeometric analysis, isogeometric function spaces are employed for accurately representing the solution to a partial differential equation (PDE) on a parameterized domain. They are generated from a tensor-product spline space by composing the basis functions with the inverse of the parameterization. Depending on the geometry of the domain and on the data of the PDE, the solution might not have maximum Sobolev regularity, leading to a reduced convergence rate. In this case it is necessary to reduce the local mesh size close to the singularities. The classical approach is to perform adaptive h-refinement, which either leads to an unnecessarily large number of degrees of freedom or to a spline space that does not possess a tensor-product structure. Based on the concept of r-adaptivity we present a novel approach for finding a suitable isogeometric function space for a given PDE without sacrificing the tensor-product structure of the underlying spline space. In particular, we use the fact that different reparameterizations of the same computational domain lead to different isogeometric function spaces while preserving the geometry. Starting from a multi-patch domain consisting of bilinearly parameterized patches, we aim to find the biquadratic multi-patch parameterization that leads to the isogeometric function space with the smallest best approximation error of the solution. In order to estimate the location of the optimal control points, we employ a trained residual neural network that is applied to the graph surfaces of the approximated solution and its derivatives. In our experimental results, we observe that our new method results in a vast improvement of the approximation error for different PDE problems on multi-patch domains.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
IGA Using Offset-based Overlap** Domain Parameterizations
Authors:
Somayeh Kargaran,
Bert Jüttler,
Thomas Takacs
Abstract:
Isogeometric analysis (IGA) is a numerical method that connects computer-aided design (CAD) with finite element analysis (FEA). In CAD the computational domain is usually represented by B-spline or NURBS patches. Given a NURBS parameterization of the domain, an isogeometric discretization is defined on the domain using the same NURBS basis as for the domain parameterization. Ideally, such an isoge…
▽ More
Isogeometric analysis (IGA) is a numerical method that connects computer-aided design (CAD) with finite element analysis (FEA). In CAD the computational domain is usually represented by B-spline or NURBS patches. Given a NURBS parameterization of the domain, an isogeometric discretization is defined on the domain using the same NURBS basis as for the domain parameterization. Ideally, such an isogeometric discretization allows an exact representation of the underlying CAD model.
CAD models usually represent only the boundary of the object, thus, for planar domains, it is given as a collection of curves. Finding a suitable parameterization of the interior is one of the major issues in IGA, similar to the mesh generation process in FEA. The objective of this parameterization problem is to obtain a set of patches, which exactly represent the boundary of the domain and which are parameterized regularly and without self-intersections. This can be achieved by segmenting the domain into patches which are matching along interfaces, or by covering the domain with overlap** patches. In this paper we follow the second approach.
To construct from a given boundary a planar parameterization suitable for IGA, we propose an offset-based domain parameterization algorithm. Given a boundary curve, we obtain an inner curve by generalized offsetting. Those two curves define a ring-shaped patch, which has a hole that can be covered by a multi-cell domain. Consequently, the domain is represented as a union of two overlap** subdomains which are both regularly parameterized. On such a configuration, one can employ the overlap** multi-patch method introduced in (Kargaran, Jüttler, Kleiss, Mantzaflaris, Takacs; CMAME, 2019), to solve PDEs on the given domain. The performance of the proposed method is reported in several numerical examples, considering different shapes of the domain.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
Construction of Smooth Isogeometric Function Spaces on Singularly Parameterized Domains
Authors:
Thomas Takacs
Abstract:
We aim at constructing a smooth basis for isogeometric function spaces on domains of reduced geometric regularity. In this context an isogeometric function is the composition of a piecewise rational function with the inverse of a piecewise rational geometry parameterization. We consider two types of singular parameterizations, domains where a part of the boundary is mapped onto one point and domai…
▽ More
We aim at constructing a smooth basis for isogeometric function spaces on domains of reduced geometric regularity. In this context an isogeometric function is the composition of a piecewise rational function with the inverse of a piecewise rational geometry parameterization. We consider two types of singular parameterizations, domains where a part of the boundary is mapped onto one point and domains where parameter lines are mapped collinearly at the boundary.
We locally map a singular tensor-product patch of arbitrary degree onto a triangular patch, thus splitting the parameterization into a singular bilinear map** and a regular map** on a triangular domain. This construction yields an isogeometric function space of prescribed smoothness. Generalizations to higher dimensions are also possible and are briefly discussed in the final section.
△ Less
Submitted 28 September, 2023;
originally announced September 2023.
-
A comparison of smooth basis constructions for isogeometric analysis
Authors:
H. M. Verhelst,
P. Weinmüller,
A. Mantzaflaris,
T. Takacs,
D. Toshniwal
Abstract:
In order to perform isogeometric analysis with increased smoothness on complex domains, trimming, variational coupling or unstructured spline methods can be used. The latter two classes of methods require a multi-patch segmentation of the domain, and provide continuous bases along patch interfaces. In the context of shell modeling, variational methods are widely used, whereas the application of un…
▽ More
In order to perform isogeometric analysis with increased smoothness on complex domains, trimming, variational coupling or unstructured spline methods can be used. The latter two classes of methods require a multi-patch segmentation of the domain, and provide continuous bases along patch interfaces. In the context of shell modeling, variational methods are widely used, whereas the application of unstructured spline methods on shell problems is rather scarce. In this paper, we therefore provide a qualitative and a quantitative comparison of a selection of unstructured spline constructions, in particular the D-Patch, Almost-$C^1$, Analysis-Suitable $G^1$ and the Approximate $C^1$ constructions. Using this comparison, we aim to provide insight into the selection of methods for practical problems, as well as directions for future research. In the qualitative comparison, the properties of each method are evaluated and compared. In the quantitative comparison, a selection of numerical examples is used to highlight different advantages and disadvantages of each method. In the latter, comparison with weak coupling methods such as Nitsche's method or penalty methods is made as well. In brief, it is concluded that the Approximate $C^1$ and Analysis-Suitable $G^1$ converge optimally in the analysis of a bi-harmonic problem, without the need of special refinement procedures. Furthermore, these methods provide accurate stress fields. On the other hand, the Almost-$C^1$ and D-Patch provide relatively easy construction on complex geometries. The Almost-$C^1$ method does not have limitations on the valence of boundary vertices, unlike the D-Patch, but is only applicable to biquadratic local bases. Following from these conclusions, future research directions are proposed, for example towards making the Approximate $C^1$ and Analysis-Suitable $G^1$ applicable to more complex geometries.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Imposing nonlocal boundary conditions in Galerkin-type methods based on non-interpolatory functions
Authors:
Svajūnas Sajavičius,
Thomas Takacs
Abstract:
The imposition of inhomogeneous Dirichlet (essential) boundary conditions is a fundamental challenge in the application of Galerkin-type methods based on non-interpolatory functions, i.e., functions which do not possess the Kronecker delta property. Such functions typically are used in various meshfree methods, as well as methods based on the isogeometric paradigm. The present paper analyses a mod…
▽ More
The imposition of inhomogeneous Dirichlet (essential) boundary conditions is a fundamental challenge in the application of Galerkin-type methods based on non-interpolatory functions, i.e., functions which do not possess the Kronecker delta property. Such functions typically are used in various meshfree methods, as well as methods based on the isogeometric paradigm. The present paper analyses a model problem consisting of the Poisson equation subject to non-standard boundary conditions. Namely, instead of classical boundary conditions, the model problem involves Dirichlet- and Neumann-type nonlocal boundary conditions. Variational formulations with strongly and weakly imposed inhomogeneous Dirichlet-type nonlocal conditions are derived and compared within an extensive numerical study in the isogeometric framework based on non-uniform rational B-splines (NURBS). The attention in the numerical study is paid mainly to the influence of the nonlocal boundary conditions on the properties of the considered discretisation methods.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
Approximation properties over self-similar meshes of curved finite elements and applications to subdivision based isogeometric analysis
Authors:
Thomas Takacs
Abstract:
In this study we consider domains that are composed of an infinite sequence of self-similar rings and corresponding finite element spaces over those domains. The rings are parameterized using piecewise polynomial or tensor-product B-spline map**s of degree $q$ over quadrilateral meshes. We then consider finite element discretizations which, over each ring, are mapped, piecewise polynomial functi…
▽ More
In this study we consider domains that are composed of an infinite sequence of self-similar rings and corresponding finite element spaces over those domains. The rings are parameterized using piecewise polynomial or tensor-product B-spline map**s of degree $q$ over quadrilateral meshes. We then consider finite element discretizations which, over each ring, are mapped, piecewise polynomial functions of degree $p$. Such domains that are composed of self-similar rings may be created through a subdivision scheme or from a scaled boundary parameterization.
We study approximation properties over such recursively parameterized domains. The main finding is that, for generic isoparametric discretizations (i.e., where $p=q$), the approximation properties always depend only on the degree of polynomials that can be reproduced exactly in the physical domain and not on the degree $p$ of the mapped elements. Especially, in general, $L^\infty$-errors converge at most with the rate $h^2$, where $h$ is the mesh size, independent of the degree $p=q$. This has implications for subdivision based isogeometric analysis, which we will discuss in this paper.
△ Less
Submitted 19 July, 2023;
originally announced July 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.
-
$C^1$-smooth isogeometric spline functions of general degree over planar mixed meshes: The case of two quadratic mesh elements
Authors:
Jan Grošelj,
Mario Kapl,
Marjeta Knez,
Thomas Takacs,
Vito Vitrih
Abstract:
Splines over triangulations and splines over quadrangulations (tensor product splines) are two common ways to extend bivariate polynomials to splines. However, combination of both approaches leads to splines defined over mixed triangle and quadrilateral meshes using the isogeometric approach. Mixed meshes are especially useful for representing complicated geometries obtained e.g. from trimming. As…
▽ More
Splines over triangulations and splines over quadrangulations (tensor product splines) are two common ways to extend bivariate polynomials to splines. However, combination of both approaches leads to splines defined over mixed triangle and quadrilateral meshes using the isogeometric approach. Mixed meshes are especially useful for representing complicated geometries obtained e.g. from trimming. As (bi-)linearly parameterized mesh elements are not flexible enough to cover smooth domains, we focus in this work on the case of planar mixed meshes parameterized by (bi-)quadratic geometry map**s. In particular we study in detail the space of $C^1$-smooth isogeometric spline functions of general polynomial degree over two such mixed mesh elements. We present the theoretical framework to analyze the smoothness conditions over the common interface for all possible configurations of mesh elements. This comprises the investigation of the dimension as well as the construction of a basis of the corresponding $C^1$-smooth isogeometric spline space over the domain described by two elements. Several examples of interest are presented in detail.
△ Less
Submitted 27 July, 2023; v1 submitted 16 February, 2023;
originally announced February 2023.
-
Locally refined quad meshing for linear elasticity problems based on convolutional neural networks
Authors:
Chiu Ling Chan,
Felix Scholz,
Thomas Takacs
Abstract:
In this paper we propose a method to generate suitably refined finite element meshes using neural networks. As a model problem we consider a linear elasticity problem on a planar domain (possibly with holes) having a polygonal boundary. We impose boundary conditions by fixing the position of a part of the boundary and applying a force on another part of the boundary. The resulting displacement and…
▽ More
In this paper we propose a method to generate suitably refined finite element meshes using neural networks. As a model problem we consider a linear elasticity problem on a planar domain (possibly with holes) having a polygonal boundary. We impose boundary conditions by fixing the position of a part of the boundary and applying a force on another part of the boundary. The resulting displacement and distribution of stresses depend on the geometry of the domain and on the boundary conditions. When applying a standard Galerkin discretization using quadrilateral finite elements, one usually has to perform adaptive refinement to properly resolve maxima of the stress distribution. Such an adaptive scheme requires a local error estimator and a corresponding local refinement strategy. The overall costs of such a strategy are high. We propose to reduce the costs of obtaining a suitable discretization by training a neural network whose evaluation replaces this adaptive refinement procedure. We set up a single network for a large class of possible domains and boundary conditions and not on a single domain of interest. The computational domain and boundary conditions are interpreted as images, which are suitable inputs for convolution neural networks. We use the U-net architecture and we devise training strategies by dividing the possible inputs into different categories based on their overall geometric complexity. Thus, we compare different training strategies based on varying geometric complexity. One of the advantages of the proposed approach is the interpretation of input and output as images, which do not depend on the underlying discretization scheme. Another is the generalizability and geometric flexibility. The network can be applied to previously unseen geometries, even with different topology and level of detail. Thus, training can easily be extended to other classes of geometries.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
An approximate $C^1$ multi-patch space for isogeometric analysis with a comparison to Nitsche's method
Authors:
Pascal Weinmüller,
Thomas Takacs
Abstract:
We present an approximately $C^1$-smooth multi-patch spline construction which can be used in isogeometric analysis (IGA). A key property of IGA is that it is simple to achieve high order smoothness within a single patch. To represent more complex geometries one often uses a multi-patch construction. In this case, the global continuity for the basis functions is in general only $C^0$. Therefore, t…
▽ More
We present an approximately $C^1$-smooth multi-patch spline construction which can be used in isogeometric analysis (IGA). A key property of IGA is that it is simple to achieve high order smoothness within a single patch. To represent more complex geometries one often uses a multi-patch construction. In this case, the global continuity for the basis functions is in general only $C^0$. Therefore, to obtain $C^1$-smooth isogeometric functions, a special construction for the basis is needed. Such spaces are of interest when solving numerically fourth-order problems, such as the biharmonic equation or Kirchhoff-Love plate/shell formulations, using an isogeometric Galerkin method.
Isogeometric spaces that are globally $C^1$ over multi-patch domains can be constructed as in (Collin, Sangalli, Takacs; CAGD, 2016) and (Kapl, Sangalli, Takacs; CAGD, 2019). The constructions require so-called analysis-suitable $G^1$ parametrizations. To allow $C^1$ spaces over more general multi-patch parametrizations, we need to increase the polynomial degree and relax the $C^1$ conditions. We adopt the approximate $C^1$ construction for two-patch domains, as developed in (Weinmüller, Takacs; CMAME, 2021), and extend it to more general multi-patch domains.
We employ the construction for a biharmonic model problem and compare the results with Nitsche's method. We compare both methods over complex multi-patch domains with non-trivial interfaces. The numerical tests indicate that the proposed construction converges optimally under $h$-refinement, comparable to the solution using Nitsche's method. In contrast to weakly imposing coupling conditions, the approximate $C^1$ construction is explicit and no additional terms need to be introduced to stabilize the method. Thus, the new proposed method can be used more easily as no parameters need to be estimated.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
Almost-$C^1$ splines: Biquadratic splines on unstructured quadrilateral meshes and their application to fourth order problems
Authors:
Thomas Takacs,
Deepesh Toshniwal
Abstract:
Isogeometric Analysis generalizes classical finite element analysis and intends to integrate it with the field of Computer-Aided Design. A central problem in achieving this objective is the reconstruction of analysis-suitable models from Computer-Aided Design models, which is in general a non-trivial and time-consuming task. In this article, we present a novel spline construction, that enables mod…
▽ More
Isogeometric Analysis generalizes classical finite element analysis and intends to integrate it with the field of Computer-Aided Design. A central problem in achieving this objective is the reconstruction of analysis-suitable models from Computer-Aided Design models, which is in general a non-trivial and time-consuming task. In this article, we present a novel spline construction, that enables model reconstruction as well as simulation of high-order PDEs on the reconstructed models. The proposed almost-$C^1$ are biquadratic splines on fully unstructured quadrilateral meshes (without restrictions on placements or number of extraordinary vertices). They are $C^1$ smooth almost everywhere, that is, at all vertices and across most edges, and in addition almost (i.e. approximately) $C^1$ smooth across all other edges. Thus, the splines form $H^2$-nonconforming analysis-suitable discretization spaces. This is the lowest-degree unstructured spline construction that can be used to solve fourth-order problems. The associated spline basis is non-singular and has several B-spline-like properties (e.g., partition of unity, non-negativity, local support), the almost-$C^1$ splines are described in an explicit Bézier-extraction-based framework that can be easily implemented. Numerical tests suggest that the basis is well-conditioned and exhibits optimal approximation behavior.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Adaptive Refinement for Unstructured T-Splines with Linear Complexity
Authors:
Roland Maier,
Philipp Morgenstern,
Thomas Takacs
Abstract:
We present an adaptive refinement algorithm for T-splines on unstructured 2D meshes. While for structured 2D meshes, one can refine elements alternatingly in horizontal and vertical direction, such an approach cannot be generalized directly to unstructured meshes, where no two unique global mesh directions can be assigned. To resolve this issue, we introduce the concept of direction indices, i.e.,…
▽ More
We present an adaptive refinement algorithm for T-splines on unstructured 2D meshes. While for structured 2D meshes, one can refine elements alternatingly in horizontal and vertical direction, such an approach cannot be generalized directly to unstructured meshes, where no two unique global mesh directions can be assigned. To resolve this issue, we introduce the concept of direction indices, i.e., integers associated to each edge, which are inspired by theory on higher-dimensional structured T-splines. Together with refinement levels of edges, these indices essentially drive the refinement scheme. We combine these ideas with an edge subdivision routine that allows for I-nodes, yielding a very flexible refinement scheme that nicely distributes the T-nodes, preserving global linear independence, analysis-suitability (local linear independence) except in the vicinity of extraordinary nodes, sparsity of the system matrix, and shape regularity of the mesh elements. Further, we show that the refinement procedure has linear complexity in the sense of guaranteed upper bounds on a) the distance between marked and additionally refined elements, and on b) the ratio of the numbers of generated and marked mesh elements.
△ Less
Submitted 2 May, 2022; v1 submitted 1 September, 2021;
originally announced September 2021.
-
Construction of approximate $C^1$ bases for isogeometric analysis on two-patch domains
Authors:
Pascal Weinmüller,
Thomas Takacs
Abstract:
In this paper, we develop and study approximately smooth basis constructions for isogeometric analysis over two-patch domains. One key element of isogeometric analysis is that it allows high order smoothness within one patch. However, for representing complex geometries, a multi-patch construction is needed. In this case, a $C^0$-smooth basis is easy to obtain, whereas $C^1$-smooth isogeometric fu…
▽ More
In this paper, we develop and study approximately smooth basis constructions for isogeometric analysis over two-patch domains. One key element of isogeometric analysis is that it allows high order smoothness within one patch. However, for representing complex geometries, a multi-patch construction is needed. In this case, a $C^0$-smooth basis is easy to obtain, whereas $C^1$-smooth isogeometric functions require a special construction. Such spaces are of interest when solving numerically fourth-order PDE problems, such as the biharmonic equation and the Kirchhoff-Love plate or shell formulation, using an isogeometric Galerkin method.
With the construction of so-called analysis-suitable $G^1$ (in short, AS-$G^1$) parametrizations, as introduced in (Collin, Sangalli, Takacs; CAGD, 2016), it is possible to construct $C^1$ isogeometric spaces which possess optimal approximation properties. These geometries need to satisfy certain constraints along the interfaces and additionally require that the regularity $r$ and degree $p$ of the underlying spline space satisfy $1 \leq r \leq p-2$. The problem is that most complex geometries are not AS-$G^1$ geometries. Therefore, we define basis functions for isogeometric spaces by enforcing approximate $C^1$ conditions following the basis construction from (Kapl, Sangalli, Takacs; CAGD, 2017). For this reason, the defined function spaces are not exactly $C^1$ but only approximately.
We study the convergence behavior and define function spaces that converge optimally under $h$-refinement, by locally introducing functions of higher polynomial degree and lower regularity. The convergence rate is optimal in several numerical tests performed on domains with non-trivial interfaces. While an extension to more general multi-patch domains is possible, we restrict ourselves to the two-patch case and focus on the construction over a single interface.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
Transaction Costs: Economies of Scale, Optimum, Equilibrium and Efficiency
Authors:
László Kállay,
Tibor Takács,
László Trautmann
Abstract:
The aim of this article is to propose a core game theory model of transaction costs wherein it is indicated how direct costs determine the probability of loss and subsequent transaction costs. The existence of optimum is proven, and the way in which exposure influences the location of the optimum is demonstrated. The decisions are described as a two-player game and it is discussed how the transact…
▽ More
The aim of this article is to propose a core game theory model of transaction costs wherein it is indicated how direct costs determine the probability of loss and subsequent transaction costs. The existence of optimum is proven, and the way in which exposure influences the location of the optimum is demonstrated. The decisions are described as a two-player game and it is discussed how the transaction cost sharing rule determines whether the optimum point of transaction costs is the same as the equilibrium of the game. A game modelling dispute between actors regarding changing the share of transaction costs to be paid by each party is also presented. Requirements of efficient transaction cost sharing rules are defined, and it is posited that a solution exists which is not unique. Policy conclusions are also devised based on principles of design of institutions to influence the nature of transaction costs.
△ Less
Submitted 24 August, 2020;
originally announced August 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 super-smooth $C^1$ spline space over planar mixed triangle and quadrilateral meshes
Authors:
Jan Grošelj,
Mario Kapl,
Marjeta Knez,
Thomas Takacs,
Vito Vitrih
Abstract:
In this paper we introduce a $C^1$ spline space over mixed meshes composed of triangles and quadrilaterals, suitable for FEM-based or isogeometric analysis. In this context, a mesh is considered to be a partition of a planar polygonal domain into triangles and/or quadrilaterals. The proposed space combines the Argyris triangle, cf. (Argyris, Fried, Scharpf; 1968), with the $C^1$ quadrilateral elem…
▽ More
In this paper we introduce a $C^1$ spline space over mixed meshes composed of triangles and quadrilaterals, suitable for FEM-based or isogeometric analysis. In this context, a mesh is considered to be a partition of a planar polygonal domain into triangles and/or quadrilaterals. The proposed space combines the Argyris triangle, cf. (Argyris, Fried, Scharpf; 1968), with the $C^1$ quadrilateral element introduced in (Brenner, Sung; 2005) and (Kapl, Sangalli, Takacs; 2019) for polynomial degrees $p\geq 5$. The space is assumed to be $C^2$ at all vertices and $C^1$ across edges, and the splines are uniquely determined by $C^2$-data at the vertices, values and normal derivatives at chosen points on the edges, and values at some additional points in the interior of the elements.
The motivation for combining the Argyris triangle element with a recent $C^1$ quadrilateral construction, inspired by isogeometric analysis, is two-fold: on one hand, the ability to connect triangle and quadrilateral finite elements in a $C^1$ fashion is non-trivial and of theoretical interest. We provide not only approximation error bounds but also numerical tests verifying the results. On the other hand, the construction facilitates the meshing process by allowing more flexibility while remaining $C^1$ everywhere. This is for instance relevant when trimming of tensor-product B-splines is performed.
In the presented construction we assume to have (bi)linear element map**s and piecewise polynomial function spaces of arbitrary degree $p\geq 5$. The basis is simple to implement and the obtained results are optimal with respect to the mesh size for $L^\infty$, $L^2$ as well as Sobolev norms $H^1$ and $H^2$.
△ Less
Submitted 9 October, 2020; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Manifold-based B-splines on unstructured meshes
Authors:
Qiaoling Zhang,
Thomas Takacs,
Fehmi Cirak
Abstract:
We introduce new manifold-based splines that are able to exactly reproduce B-splines on unstructured surface meshes. Such splines can be used in isogeometric analysis (IGA) to represent smooth surfaces of arbitrary topology. Since prevalent computer-aided design (CAD) models are composed of tensor-product B-spline patches, any IGA suitable construction should be able to reproduce B-splines. To ach…
▽ More
We introduce new manifold-based splines that are able to exactly reproduce B-splines on unstructured surface meshes. Such splines can be used in isogeometric analysis (IGA) to represent smooth surfaces of arbitrary topology. Since prevalent computer-aided design (CAD) models are composed of tensor-product B-spline patches, any IGA suitable construction should be able to reproduce B-splines. To achieve this goal, we focus on univariate manifold-based constructions that can reproduce B-splines. The manifold-based splines are constructed by smoothly blending together polynomial interpolants defined on overlap** charts. The proposed constructions automatically reproduce B-splines in regular parts of the mesh, with no extraordinary vertices, and polynomial basis functions in the remaining parts of the mesh. We study and compare analytically and numerically the finite element convergence of several univariate constructions. The obtained results directly carry over to the tensor-product case.
△ Less
Submitted 30 January, 2019;
originally announced January 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.
-
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.
-
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 note on relationship between some bounding inequalities in stability analysis of time-delay systems
Authors:
Eva Gyurkovics,
Tibor Takacs
Abstract:
In this paper, an extension of the generalized free matrix based inequality is introduced in a unified form suitable for the estimation of integrals and sums of quadratic functions. The equivalences of several known variants are shown, including the free matrix based inequalities and its simplified form. Secondly, the relationship between the (simplified) free matrix based estimation and the combi…
▽ More
In this paper, an extension of the generalized free matrix based inequality is introduced in a unified form suitable for the estimation of integrals and sums of quadratic functions. The equivalences of several known variants are shown, including the free matrix based inequalities and its simplified form. Secondly, the relationship between the (simplified) free matrix based estimation and the combination of the Bessel-based inequality with different bounding inequalities affine in the length of the intervals are investigated.
△ Less
Submitted 17 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.
-
Multiple integral inequalities and stability analysis of time delay systems
Authors:
Eva Gyurkovics,
Tibor Takacs
Abstract:
This paper is devoted to stability analysis of continuous-time delay systems based on a set of Lyapunov-Krasovskii functionals. New multiple integral inequalities are derived that involve the famous Jensen's and Wirtinger's inequalities, as well as the recently presented Bessel-Legendre inequalities of A. Seuret and F. Gouaisbaut, (2015) and the Wirtinger-based multiple-integral inequalities of M.…
▽ More
This paper is devoted to stability analysis of continuous-time delay systems based on a set of Lyapunov-Krasovskii functionals. New multiple integral inequalities are derived that involve the famous Jensen's and Wirtinger's inequalities, as well as the recently presented Bessel-Legendre inequalities of A. Seuret and F. Gouaisbaut, (2015) and the Wirtinger-based multiple-integral inequalities of M. Park et al. (2015) and T.H. Lee et al. (2015).
The present paper aims at showing that the proposed set of sufficient stability conditions can be arranged into a bidirectional hierarchy of LMIs establishing a rigorous theoretical basis for comparison of conservatism of the investigated methods. Numerical examples illustrate the efficiency of the method.
△ Less
Submitted 25 February, 2016;
originally announced February 2016.
-
Multiple summation inequalities and their application to stability analysis of discrete-time delay systems
Authors:
Eva Gyurkovics,
Krisztina Kiss,
Ilona Nagy,
Tibor Takacs
Abstract:
This paper is devoted to stability analysis of discrete-time delay systems based on a set of Lyapunov-Krasovskii functionals. New multiple summation inequalities are derived that involve the famous discrete Jensen's and Wirtinger's inequalities, as well as the recently presented inequalities for single and double summation in P.T. Nam, H. Trinh, P.N. Pathirana, Discrete inequalities based on a mul…
▽ More
This paper is devoted to stability analysis of discrete-time delay systems based on a set of Lyapunov-Krasovskii functionals. New multiple summation inequalities are derived that involve the famous discrete Jensen's and Wirtinger's inequalities, as well as the recently presented inequalities for single and double summation in P.T. Nam, H. Trinh, P.N. Pathirana, Discrete inequalities based on a multiple auxiliary functions and their applications to stability analysis of time-delay systems, Journal of the Franklin Institute, (2015). The present paper aims at showing that the proposed set of sufficient stability conditions can be arranged into a bidirectional hierarchy of LMIs establishing a rigorous theoretical basis for comparison of conservatism of the investigated methods. Numerical examples illustrate the efficiency of the method.
△ Less
Submitted 7 December, 2015;
originally announced December 2015.
-
Convergence of Tikhonov regularization for solving ill-posed operator equations with solutions defined on surfaces
Authors:
Guozhi Dong,
Bert Juettler,
Otmar Scherzer,
Thomas Takacs
Abstract:
We study Tikhonov regularization for solving ill--posed operator equations where the solutions are functions defined on surfaces. One contribution of this paper is an error analysis of Tikhonov regularization which takes into account perturbations of the surfaces, in particular when the surfaces are approximated by spline surfaces. Another contribution is that we highlight the analysis of regulari…
▽ More
We study Tikhonov regularization for solving ill--posed operator equations where the solutions are functions defined on surfaces. One contribution of this paper is an error analysis of Tikhonov regularization which takes into account perturbations of the surfaces, in particular when the surfaces are approximated by spline surfaces. Another contribution is that we highlight the analysis of regularization for functions with range in vector bundles over surfaces. We also present some practical applications, such as an inverse problem of gravimetry and an imaging problem for denoising vector fields on surfaces, and show the numerical verification.
△ Less
Submitted 14 December, 2016; v1 submitted 22 October, 2015;
originally announced October 2015.
-
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.
-
Approximation properties of isogeometric function spaces on singularly parameterized domains
Authors:
Thomas Takacs
Abstract:
We study approximation error bounds of isogeometric function spaces on a specific type of singularly parameterized domains. In this context an isogeometric function is the composition of a piecewise rational function with the inverse of a piecewise rational geometry parameterization. We consider domains where one edge of the parameter domain is mapped onto one point in physical space. To be more p…
▽ More
We study approximation error bounds of isogeometric function spaces on a specific type of singularly parameterized domains. In this context an isogeometric function is the composition of a piecewise rational function with the inverse of a piecewise rational geometry parameterization. We consider domains where one edge of the parameter domain is mapped onto one point in physical space. To be more precise, in our configuration the singular patch is derived from a reparameterization of a regular triangular patch. On such a domain one can define an isogeometric function space fulfilling certain regularity criteria that guarantee optimal convergence. The main contribution of this paper is to prove approximation error bounds for the previously defined class of isogeometric discretizations.
△ Less
Submitted 29 July, 2015;
originally announced July 2015.
-
Approximation error estimates and inverse inequalities for B-splines of maximum smoothness
Authors:
Stefan Takacs,
Thomas Takacs
Abstract:
In this paper, we develop approximation error estimates as well as corresponding inverse inequalities for B-splines of maximum smoothness, where both the function to be approximated and the approximation error are measured in standard Sobolev norms and semi-norms. The presented approximation error estimates do not depend on the polynomial degree of the splines but only on the grid size.
We will…
▽ More
In this paper, we develop approximation error estimates as well as corresponding inverse inequalities for B-splines of maximum smoothness, where both the function to be approximated and the approximation error are measured in standard Sobolev norms and semi-norms. The presented approximation error estimates do not depend on the polynomial degree of the splines but only on the grid size.
We will see that the approximation lives in a subspace of the classical B-spline space. We show that for this subspace, there is an inverse inequality which is also independent of the polynomial degree. As the approximation error estimate and the inverse inequality show complementary behavior, the results shown in this paper can be used to construct fast iterative methods for solving problems arising from isogeometric discretizations of partial differential equations.
△ Less
Submitted 13 November, 2015; v1 submitted 12 February, 2015;
originally announced February 2015.