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 (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.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
This paper aims to study and construct the C1 - smooth isogeometric spline function space defined on planar hybrid meshes (hybrid meshes composed of Bézier triangles and tensor - product Bézier quadrilaterals). Specifically, the paper focuses on:
1. **C1 - smooth conditions**: Study the C1 - smooth conditions satisfied by these spline functions on the common boundary between two elements (which can be triangles or quadrilaterals).
2. **General polynomial degrees**: Explore the properties of these spline functions on hybrid meshes with arbitrary polynomial degrees (bi - degree δ≥1).
3. **Quadratic parameterization**: Pay special attention to the cases of quadratic triangles and bi - quadratic quadrilaterals (i.e., δ = 2), and analyze in detail the structure of the corresponding C1 - smooth isogeometric spline space, including determining its dimension and constructing basis functions.
### Background and motivation
- **Application background**: Hybrid meshes of triangles and quadrilaterals are very important in practical applications, for example, for representing complex geometric shapes (such as shapes obtained by trimming). In addition, such meshes are also very useful in solving fourth - order partial differential equations (PDEs), because these problems require globally C1 - smooth functions.
- **Limitations of existing methods**: Most of the existing methods focus on a single type of mesh (such as triangles or quadrilaterals), and there is less research on hybrid meshes. In particular, there are challenges in the construction of C1 - smooth spline spaces for low - degree polynomials.
### Main contributions
- **Theoretical framework**: Propose a theoretical framework to analyze the smoothness conditions of C1 - smooth spline functions on hybrid meshes, covering all possible element configurations.
- **Specific construction**: For the cases of quadratic triangles and bi - quadratic quadrilaterals, study in detail the structure of the C1 - smooth isogeometric spline space, and provide specific dimension calculations and basis function constructions.
- **Practical value**: These results are not only of theoretical significance, but also lay the foundation for future research on the construction and numerical analysis of C1 - smooth isogeometric spline spaces on multi - element partitions, and are helpful for generating C1 - smooth isogeometric spline spaces for solving fourth - order PDEs.
### Key formulas
The key formulas involved in the paper include:
- **Smoothness conditions**:
\[
f^{(1)}(0, v)=f^{(2)}(0, v), \quad \gamma(v)\alpha_1(v)D_u f^{(2)}(0, v)-\gamma(v)\alpha_2(v)D_u f^{(1)}(0, v)+\alpha(v)D_v f^{(1)}(0, v) = 0
\]
- **Trace functions and normal derivatives**:
\[
\theta(v)=f^{(1)}(0, v)=f^{(2)}(0, v)
\]
\[
\omega(v)=\frac{1}{\alpha_\ell(v)}\left(\beta(v) D_u f^{(\ell)}(0, v)-\beta_\ell(v) D_v f^{(\ell)}(0, v)\right)
\]
These formulas ensure the C1 - smoothness of spline functions on element boundaries and are the basis for constructing and analyzing C1 - smooth isogeometric spline spaces.
Through these studies, the paper provides new tools and methods for dealing with complex geometric shapes and solving high - order partial differential equations.