
arXiv: 2305.09096
Geometrically continuous splines are piecewise polynomial functions defined on a collection of patches which are stitched together through transition maps. They are called G r G^{r} -splines if, after composition with the transition maps, they are continuously differentiable functions to order r r on each pair of patches with stitched boundaries. This type of spline has been used to represent smooth shapes with complex topology for which (parametric) spline functions on fixed partitions are not sufficient. In this article, we develop new algebraic tools to analyze G r G^r -spline spaces. We define G r G^{r} -domains and transition maps using an algebraic approach, and establish an algebraic criterion to determine whether a piecewise function is G r G^r -continuous on the given domain. In the proposed framework, we construct a chain complex whose top homology is isomorphic to the G r G^{r} -spline space. This complex generalizes Billera-Schenck-Stillman homological complex used to study parametric splines. Additionally, we show how previous constructions of G r G^r -splines fit into this new algebraic framework, and present an algorithm to construct a basis for G r G^r -spline spaces. We illustrate how our algebraic approach works with concrete examples and prove a dimension formula for the G r G^r -spline space in terms of invariants to the chain complex. In some special cases, explicit dimension formulas in terms of the degree of splines are also given.
41A15(Primary) 13D02, 65D07(Secondary), [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), Mathematics - Commutative Algebra, Commutative Algebra (math.AC)
41A15(Primary) 13D02, 65D07(Secondary), [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), Mathematics - Commutative Algebra, Commutative Algebra (math.AC)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
