Abstract
In this paper, we study the dimension of bivariate polynomial splines of mixed smoothness on polygonal meshes. Here, “mixed smoothness” refers to the choice of different orders of smoothness across different edges of the mesh. To study the dimension of spaces of such splines, we use tools from homological algebra. These tools were first applied to the study of splines by Billera (Trans. Am. Math. Soc. 310(1), 325–340, 1988). Using them, estimation of the spline space dimension amounts to the study of the Billera-Schenck-Stillman complex for the spline space. In particular, when the homology in positions 1 and 0 of this complex is trivial, the dimension of the spline space can be computed combinatorially. We call such spline spaces “lower-acyclic.” In this paper, starting from a spline space which is lower-acyclic, we present sufficient conditions that ensure that the same will be true for the spline space obtained after relaxing the smoothness requirements across a subset of the mesh edges. This general recipe is applied in a specific setting: meshes of arbitrary topologies. We show how our results can be used to compute the dimensions of spline spaces on triangulations, polygonal meshes, and T-meshes with holes.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Farin, G.E., Hoschek, J., Kim, M.-S.: Handbook of Computer Aided Geometric Design. Elsevier, Amsterdam (2002)
Cottrell, J.A., Hughes, T.J.R., Bazilevs, Y.: Isogeometric Analysis: Toward Integration of CAD and FEA. Wiley, Hoboken (2009)
Strang, G.: Piecewise polynomials and the finite element method. Bull. Am. Math. Soc. 79(6), 1128–1137 (1973)
Strang, G.: The dimension of piecewise polynomial spaces, and one-sided approximation. In: Conference on the Numerical Solution of Differential Equations, pp 144–152. Springer (1974)
Schumaker, L.L.: Bounds on the dimension of spaces of multivariate piecewise polynomials. Rocky Mt. J. Math. 14(1), 251–264 (1984)
Alfeld, P., Schumaker, L.L.: The dimension of bivariate spline spaces of smoothness r for degree d ≥ 4r + 1. Constr. Approx. 3(1), 189–197 (1987)
Billera, L.J.: Homology of smooth splines: Generic triangulations and a conjecture of strang. Trans. Am. Math. Soc. 310(1), 325–340 (1988)
Schenck, H., Stillman, M.: Local cohomology of bivariate splines. J. Pure Appl. Algebra 117, 535–548 (1997)
Schenck, H., Stillman, M.: A family of ideals of minimal regularity and the hilbert series of Cr(Δ). Adv. Appl. Math. 19(2), 169–182 (1997)
McDonald, T., Schenck, H.: Piecewise polynomials on polyhedral complexes. Adv. Appl. Math. 42(1), 82–93 (2009)
DiPasquale, M.: Dimension of mixed splines on polytopal cells. Math. Comput. 87(310), 905–939 (2018)
Toshniwal, D., Hughes, T.J.R.: Polynomial splines of non-uniform degree on triangulations: Combinatorial bounds on the dimension. Comput. Aided Geom. Des. 75, 101763 (2019)
Mourrain, B.: On the dimension of spline spaces on planar T-meshes. Math. Comput. 83(286), 847–871 (2014)
Toshniwal, D., Mourrain, B., Hughes, T.J.R.: Advances in Computational Mathematics (accepted). arXiv:https://doi.org/1903.05949 [math] https://doi.org/10.1007/s10444-020-09829-4 (2019)
Bracco, C., Lyche, T., Manni, C., Roman, F., Speleers, H.: Generalized spline spaces over T-meshes: Dimension formula and locally refined generalized B-splines. Appl. Math. Comput. 272, 187–198 (2016)
Zeng, C., Wu, M., Deng, F., Deng, J.: Dimensions of spline spaces over non-rectangular T-meshes. Adv. Comput. Math. 42(6), 1259–1286 (2016)
Schenck, H., Sorokina, T.: Subdivision and spline spaces. Constr. Approx. 47(2), 237–247 (2018)
Toshniwal, D., Villamizar, N.: Dimension of polynomial splines of mixed smoothness on T-meshes. Comput. Aided Geom. Des. 80, 101880 (2020)
Toshniwal, D., Speleers, H., Hughes, T.J.R.: Smooth cubic spline spaces on unstructured quadrilateral meshes with particular emphasis on extraordinary points: Geometric design and isogeometric analysis considerations. Comput. Methods Appl. Mech. Eng. 327, 411–458 (2017)
Alfeld, P., Piper, B., Schumaker, L.L.: Spaces of bivariate splines on triangulations with holes. In: Proceedings of China-U.S. Joint Conference on Approximation Theory (Hangzhou, 1985), vol. 3, pp. 1–10 (1987)
Jia, R.Q.: Lower bounds on the dimension of spaces of bivariate splines. In: Multivariate Approximation and Interpolation (Duisburg, 1989), vol. 94 of International Series of Numerical Mathematics, pp. 155–165. Birkhäuser, Basel (1990)
Chui, C.K.: Multivariate Splines, vol. 54. Siam (1988)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Alfeld, P., Schumaker, L.L.: On the dimension of bivariate spline spaces of smoothness r and degree d = 3r + 1. Numer. Math. 57(1), 651–661 (1990)
Schenck, H.: Computational Algebraic Geometry, vol. 58. Cambridge University Press, Cambridge (2003)
Hong, D.: Spaces of bivariate spline functions over triangulation. J. Approx. Theory 7(1), 56–75 (1991)
Ibrahim, A.K., Schumaker, L.L.: Super spline spaces of smoothness r and degree d ≥ 3r + 2. Constr. Approx. 7(3), 401–423 (1991)
Geramita, A., Schenck, H.K.: Fat points, inverse systems, and piecewise polynomial functions. J. Algebra 204(1), 116–128 (1998)
Mourrain, B., Villamizar, N.: Homological techniques for the analysis of the dimension of triangular spline spaces. J. Symb. Comput. 50, 564–577 (2013)
Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. Available at https://faculty.math.illinois.edu/Macaulay2/
Hughes, T.J.R., Cottrell, J.A., Bazilevs, Y.: Isogeometric Analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement. Comput. Methods Appl. Mech. Eng. 194, 4135–4195 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by: Larry L. Schumaker
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Toshniwal, D., DiPasquale, M. Counting the dimension of splines of mixed smoothness. Adv Comput Math 47, 6 (2021). https://doi.org/10.1007/s10444-020-09830-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10444-020-09830-x