arXiv subjects

Mario Kapl

Publications and source records attributed to Mario Kapl.

At least 19 recordsLinked to original sources

arXiv2026

An adaptive Dual-Primal Isogeometric Tearing and Interconnecting (IETI-DP) method for solving the biharmonic equation over planar multi-patch geometries

We present a novel adaptive isogeometric method for solving the biharmonic equation over planar multi-patch domains with possibly extraordinary vertices, parametrized by analysis-suitable G^1 multi-patch geometries. The proposed technique relies on the concept of Dual-Primal Isogeometric Tearing and Interconnecting (IETI-DP), which enforces the required C^1-smoothness of the solution across a common edge of two neighboring patches by imposing appropriate continuity conditions by means of Lagrange multipliers. The resulting saddle point problem is solved using a dual-primal formulation, first by a small linear problem for the Lagrange multipliers and then by local, parallelizable linear problems on the individual patches for the coefficients of the numerical solution. While for the local problems on the single patches standard diagonally scaling is used as preconditioner, a suitable preconditioner for the problem of finding the Lagrange multipliers is introduced. To perform adaptive refinement, the solution of the biharmonic equation on the single patches of the multi-patch domain is discretized by employing (truncated) hierarchical B-splines, and an appropriate refinement strategy of the underlying mesh is presented. Finally, the potential of the developed adaptive IETI-DP method for solving the biharmonic equation over planar multi-patch geometries is numerically tested on the basis of several numerical examples. Thereby, the numerical results show on the one hand optimal convergence behavior with respect to adaptive refinement, and on the other hand a good performance of the proposed preconditioner for the linear problem of determining the Lagrange multipliers.

math.NA↗

arXiv2026

Polynomial interpolation of partial functions in finite algebras with a Mal'cev term

We provide polynomial completeness results for finite algebras in congruence permutable varieties. In 2001, Idziak and S{\l}omczy{\'n}ska introduced the completeness concept of being \emph{polynomially rich}: a finite algebra is polynomially rich if every function preserving congruences and the Tame Congruence Theory labelling of prime quotients in the congruence lattice is a polynomial function of the algebra. We call a finite algebra \emph{strictly polynomially rich} if every partial congruence and type preserving function is a polynomial function, and we describe strictly polynomially rich algebras in congruence permutable varieties.

math.RA↗

arXiv2025

An Isogeometric Tearing and Interconnecting (IETI) method for solving high order partial differential equations over planar multi-patch geometries

We present a novel method for solving high-order partial differential equations (PDEs) over planar multi-patch geometries demonstrated on the basis of the polyharmonic equation of order $m$, $m \geq 1$, which is a particular linear elliptic PDE of order $2m$. Our approach is based on the concept of Isogeometric Tearing and Interconnecting (IETI) [43] and allows to couple the numerical solution of the PDE with $C^s$-smoothness, $s \geq m-1$, across the edges of the multi-patch geometry. The proposed technique relies on the use of a particular class of multi-patch geometries, called bilinear-like $G^s$ multi-patch parameterizations [37], to represent the multi-patch domain. The coupling between the neighboring patches is done via the use of Lagrange multipliers and leads to a saddle point problem, which can be solved efficiently first by a small dual problem for a subset of the Lagrange multipliers followed by local, parallelizable problems on the single patches for the coefficients of the numerical solution. Several numerical examples of solving the polyharmonic equation of order $m=2$ and $m=3$, i.e. the biharmonic and triharmonic equation, respectively, over different multi-patch geometries are shown to demonstrate the potential of our IETI method for high-order problems.

math.NA↗

arXiv2024

Isogeometric collocation with smooth mixed degree splines over planar multi-patch domains

We present a novel isogeometric collocation method for solving the Poisson's and the biharmonic equation over planar bilinearly parameterized multi-patch geometries. The proposed approach relies on the use of a modified construction of the C^s-smooth mixed degree isogeometric spline space [20] for s=2 and s=4 in case of the Poisson's and the biharmonic equation, respectively. The adapted spline space possesses the minimal possible degree p=s+1 everywhere on the multi-patch domain except in a small neighborhood of the inner edges and of the vertices of patch valency greater than one where a degree p=2s+1 is required. This allows to solve the PDEs with a much lower number of degrees of freedom compared to employing the C^s-smooth spline space [29] with the same high degree p=2s+1 everywhere. To perform isogeometric collocation with the smooth mixed degree spline functions, we introduce and study two different sets of collocation points, namely first a generalization of the standard Greville points to the set of mixed degree Greville points and second the so-called mixed degree superconvergent points. The collocation method is further extended to the class of bilinear-like G^s multi-patch parameterizations [26], which enables the modeling of multi-patch domains with curved boundaries, and is finally tested on the basis of several numerical examples.

math.NA↗

arXiv2024

A C^s-smooth mixed degree and regularity isogeometric spline space over planar multi-patch domains

We construct over a given bilinear multi-patch domain a novel $C^s$-smooth mixed degree and regularity isogeometric spline space, which possesses the degree $p=2s+1$ and regularity $r=s$ in a small neighborhood around the edges and vertices, and the degree $\widetilde{p} \leq p$ with regularity $\widetilde{r} = \widetilde{p}-1 \geq r$ in all other parts of the domain. Our proposed approach relies on the technique [35], which requires for the $C^s$-smooth isogeometric spline space a degree at least $p=2s+1$ on the entire multi-patch domain. Similar to [35], the $C^s$-smooth mixed degree and regularity spline space is generated as the span of basis functions that correspond to the individual patches, edges and vertices of the domain. The reduction of degrees of freedom for the functions in the interior of the patches is achieved by introducing an appropriate mixed degree and regularity underlying spline space over $[0,1]^2$ to define the functions on the single patches. We further extend our construction with a few examples to the class of bilinear-like $G^s$ multi-patch parameterizations [33,35], which enables the design of multi-patch domains having curved boundaries and interfaces. Finally, the great potential of the $C^s$-smooth mixed degree and regularity isogeometric spline space for performing isogeometric analysis is demonstrated by several numerical examples of solving two particular high order partial differential equations, namely the biharmonic and triharmonic equation, via the isogeometric Galerkin method.

math.NA↗

arXiv2023

Isogeometric collocation for solving the biharmonic equation over planar multi-patch domains

We present an isogeometric collocation method for solving the biharmonic equation over planar bilinearly parameterized multi-patch domains. The developed approach is based on the use of the globally $C^4$-smooth isogeometric spline space [34] to approximate the solution of the considered partial differential equation, and proposes as collocation points two different choices, namely on the one hand the Greville points and on the other hand the so-called superconvergent points. Several examples demonstrate the potential of our collocation method for solving the biharmonic equation over planar multi-patch domains, and numerically study the convergence behavior of the two types of collocation points with respect to the $L^2$-norm as well as to equivalents of the $H^s$-seminorms for $1 \leq s \leq 4$. In the studied case of spline degree $p=9$, the numerical results indicate in case of the Greville points a convergence of order $\mathcal{O}(h^{p-3})$ independent of the considered (semi)norm, and show in case of the superconvergent points an improved convergence of order $\mathcal{O}(h^{p-2})$ for all (semi)norms except for the equivalent of the $H^4$-seminorm, where the order $\mathcal{O}(h^{p-3})$ is anyway optimal.

math.NA↗

arXiv2023

A locally based construction of analysis-suitable $G^1$ multi-patch spline surfaces

Analysis-suitable $G^1$ (AS-$G^1$) multi-patch spline surfaces [4] are particular $G^1$-smooth multi-patch spline surfaces, which are needed to ensure the construction of $C^1$-smooth multi-patch spline spaces with optimal polynomial reproduction properties [16]. We present a novel local approach for the design of AS-$G^1$ multi-patch spline surfaces, which is based on the use of Lagrange multipliers. The presented method is simple and generates an AS-$G^1$ multi-patch spline surface by approximating a given $G^1$-smooth but non-AS-$G^1$ multi-patch surface. Several numerical examples demonstrate the potential of the proposed technique for the construction of AS-$G^1$ multi-patch spline surfaces and show that these surfaces are especially suited for applications in isogeometric analysis by solving the biharmonic problem, a particular fourth order partial differential equation, with optimal rates of convergence over them.

math.NA↗

arXiv2023

$C^1$-smooth isogeometric spline functions of general degree over planar mixed meshes: The case of two quadratic mesh elements

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 mappings. 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.

math.NA↗

arXiv2022

Isogeometric analysis for multi-patch structured Kirchhoff-Love shells

We present an isogeometric method for Kirchhoff-Love shell analysis of shell structures with geometries composed of multiple patches and which possibly possess extraordinary vertices, i.e. vertices with a valency different to four. The proposed isogeometric shell discretisation is based on the one hand on the approximation of the mid-surface by a particular class of multi-patch surfaces, called analysis-suitable~$G^1$ [1], and on the other hand on the use of the globally $C^1$-smooth isogeometric multi-patch spline space [2]. We use our developed technique within an isogeometric Kirchhoff-Love shell formulation [3] to study linear and non-linear shell problems on multi-patch structures. Thereby, the numerical results show the great potential of our method for efficient shell analysis of geometrically complex multi-patch structures which cannot be modeled without the use of extraordinary vertices.

math.NA↗

arXiv2022

Adaptive isogeometric methods with $C^1$ (truncated) hierarchical splines on planar multi-patch domains

Isogeometric analysis is a powerful paradigm which exploits the high smoothness of splines for the numerical solution of high order partial differential equations. However, the tensor-product structure of standard multivariate B-spline models is not well suited for the representation of complex geometries, and to maintain high continuity on general domains special constructions on multi-patch geometries must be used. In this paper we focus on adaptive isogeometric methods with hierarchical splines, and extend the construction of $C^1$ isogeometric spline spaces on multi-patch planar domains to the hierarchical setting. We introduce a new abstract framework for the definition of hierarchical splines, which replaces the hypothesis of local linear independence for the basis of each level by a weaker assumption. We also develop a refinement algorithm that guarantees that the assumption is fulfilled by $C^1$ splines on certain suitably graded hierarchical multi-patch mesh configurations, and prove that it has linear complexity. The performance of the adaptive method is tested by solving the Poisson and the biharmonic problems.

math.NA↗

arXiv2021

$C^1$ isogeometric spline space for trilinearly parameterized multi-patch volumes

We study the space of $C^1$ isogeometric spline functions defined on trilinearly parameterized multi-patch volumes. Amongst others, we present a general framework for the design of the $C^1$ isogeometric spline space and of an associated basis, which is based on the two-patch construction [7], and which works uniformly for any possible multi-patch configuration. The presented method is demonstrated in more detail on the basis of a particular subclass of trilinear multi-patch volumes, namely for the class of trilinearly parameterized multi-patch volumes with exactly one inner edge. For this specific subclass of trivariate multi-patch parameterizations, we further numerically compute the dimension of the resulting $C^1$ isogeometric spline space and use the constructed $C^1$ isogeometric basis functions to numerically explore the approximation properties of the $C^1$ spline space by performing $L^2$ approximation.

math.NA↗

arXiv2020

A super-smooth $C^1$ spline space over planar mixed triangle and quadrilateral meshes

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 mappings 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$.

math.NA↗

arXiv2020

$C^s$-smooth isogeometric spline spaces over planar multi-patch parameterizations

The design of globally $C^s$-smooth ($s \geq 1$) isogeometric spline spaces over multi-patch geometries is a current and challenging topic of research in the framework of isogeometric analysis. In this work, we extend the recent methods [25,28] and [31-33] for the construction of $C^1$-smooth and $C^2$-smooth isogeometric spline spaces over particular planar multi-patch geometries to the case of $C^s$-smooth isogeometric multi-patch spline spaces of an arbitrary selected smoothness $s \geq 1$. More precisely, for any $s \geq 1$, we study the space of $C^s$-smooth isogeometric spline functions defined on planar, bilinearly parameterized multi-patch domains, and generate a particular $C^s$-smooth subspace of the entire $C^s$-smooth isogeometric multi-patch spline space. We further present the construction of a basis for this $C^s$-smooth subspace, which consists of simple and locally supported functions. Moreover, we use the $C^s$-smooth spline functions to perform $L^2$ approximation on bilinearly parameterized multi-patch domains, where the obtained numerical results indicate an optimal approximation power of the constructed $C^s$-smooth subspace.

math.NA↗

arXiv2020

A family of $C^1$ quadrilateral finite elements

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.

math.NA↗

arXiv2019

Isogeometric collocation on planar multi-patch domains

We present an isogeometric framework based on collocation to construct a $C^2$-smooth approximation of the solution of the Poisson's equation over planar bilinearly parameterized multi-patch domains. The construction of the used globally $C^2$-smooth discretization space for the partial differential equation is simple and works uniformly for all possible multi-patch configurations. The basis of the $C^2$-smooth space can be described as the span of three different types of locally supported functions corresponding to the single patches, edges and vertices of the multi-patch domain. For the selection of the collocation points, which is important for the stability and convergence of the collocation problem, two different choices are numerically investigated. The first approach employs the tensor-product Greville abscissae as collocation points, and shows for the multi-patch case the same convergence behavior as for the one-patch case [2], which is suboptimal in particular for odd spline degree. The second approach generalizes the concept of superconvergent points from the one-patch case (cf. [1, 15, 32]) to the multi-patch case. Again, these points possess better convergence properties than Greville abscissae in case of odd spline degree.

math.NA↗

arXiv2019

Isogeometric analysis with $C^1$ hierarchical functions on planar two-patch geometries

Adaptive isogeometric methods for the solution of partial differential equations rely on the construction of locally refinable spline spaces. A simple and efficient way to obtain these spaces is to apply the multi-level construction of hierarchical splines, that can be used on single-patch domains or in multi-patch domains with $C^0$ continuity across the patch interfaces. Due to the benefits of higher continuity in isogeometric methods, recent works investigated the construction of spline spaces with global $C^1$ continuity on two or more patches. In this paper, we show how these approaches can be combined with the hierarchical construction to obtain global $C^1$ continuous hierarchical splines on two-patch domains. A selection of numerical examples is presented to highlight the features and effectivity of the construction.

math.NA↗

arXiv2018

Isogeometric analysis with $C^1$ functions on unstructured quadrilateral meshes

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.

math.NA↗

arXiv2018

Solving the triharmonic equation over multi-patch domains using isogeometric analysis

We present a framework for solving the triharmonic equation over bilinearly parameterized planar multi-patch domains by means of isogeometric analysis. Our approach is based on the construction of a globally $C^2$-smooth isogeometric spline space which is used as discretization space. The generated $C^2$-smooth space consists of three different types of isogeometric functions called patch, edge and vertex functions. All functions are entirely local with a small support, and numerical examples indicate that they are well-conditioned. The construction of the functions is simple and works uniformly for all multi-patch configurations. While the patch and edge functions are given by a closed form representation, the vertex functions are obtained by computing the null space of a small system of linear equations. Several examples demonstrate the potential of our approach for solving the triharmonic equation.

math.NA↗