Searcharxiv⌕ Search

arXiv subjects

Jan Grošelj

Publications and source records attributed to Jan Grošelj.

7 recordsLinked to original sources

A representation and comparison of three cubic macro-elements

The paper is concerned with three types of cubic splines over a triangulation that are characterized by three degrees of freedom associated with each vertex of the triangulation. The splines differ in computational complexity, polynomial reproduction properties, and smoothness. With the aim to make them a versatile tool for numerical analysis, a unified representation in terms of locally supported basis functions is established. The construction of these functions is based on geometric concepts and is expressed in the Bernstein--Bézier form. They are readily applicable in a range of standard approximation methods, which is demonstrated by a number of numerical experiments.

math.NA↗

Isogeometric analysis with $C^1$ cubic Powell-Sabin splines

In this paper, we consider $C^1$ cubic Powell-Sabin splines for the numerical solution of boundary value problems on planar and spatial surface domains. We first review the construction and basic properties of polynomial and rational $C^1$ cubic Powell-Sabin spline representations on unstructured triangulations. Then, we discuss how these flexible representations can be exploited to create geometry mappings suited for a precise description of (classes of) surface domains. This is illustrated with several examples. Finally, the obtained domain descriptions are utilized in the isogeometric analysis framework for solving various Poisson and biharmonic problems. It is demonstrated that $C^1$ cubic Powell-Sabin splines form a powerful alternative to $C^0$ cubic Lagrange elements and bicubic NURBS.

math.NA↗

Using Geometric Symmetries to Achieve Super-Smoothness for Cubic Powell-Sabin Splines

In this paper, we investigate $C^2$ super-smoothness of the full $C^1$ cubic spline space on a Powell-Sabin refined triangulation, for which a B-spline basis can be constructed. Blossoming is used to identify the $C^2$ smoothness conditions between the functionals of the dual basis. Some of these conditions can be enforced without difficulty on general triangulations. Others are more involved but greatly simplify if the triangulation and its corresponding Powell-Sabin refinement possess certain symmetries. Furthermore, it is shown how the $C^2$ smoothness constraints can be integrated into the spline representation by reducing the set of basis functions. As an application of the super-smooth basis functions, a reduced spline space is introduced that maintains the cubic precision of the full $C^1$ spline space.

math.NA↗

$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↗

Extraction and application of super-smooth cubic B-splines over triangulations

The space of $C^1$ cubic Clough-Tocher splines is a classical finite element approximation space over triangulations for solving partial differential equations. However, for such a space there is no B-spline basis available, which is a preferred choice in computer aided geometric design and isogeometric analysis. A B-spline basis is a locally supported basis that forms a convex partition of unity. In this paper, we explore several alternative $C^1$ cubic spline spaces over triangulations equipped with a B-spline basis. They are defined over a Powell-Sabin refined triangulation and present different types of $C^2$ super-smoothness. The super-smooth B-splines are obtained through an extraction process, i.e., they are expressed in terms of less smooth basis functions. These alternative spline spaces maintain the same optimal approximation power as Clough-Tocher splines. This is illustrated with a selection of numerical examples in the context of least squares approximation and finite element approximation for second and fourth order boundary value problems.

math.NA↗

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↗

Splittable and unsplittable graphs and configurations

We prove that there exist infinitely many splittable and also infinitely many unsplittable cyclic $(n_3)$ configurations. We also present a complete study of trivalent cyclic Haar graphs on at most 60 vertices with respect to splittability. Finally, we show that all cyclic flag-transitive configurations with the exception of the Fano plane and the Möbius-Kantor configuration are splittable.

math.CO↗