On the dimension of spline spaces on planar T-meshes

Mourrain, Bernard

doi:10.1090/S0025-5718-2013-02738-X

On the dimension of spline spaces on planar T-meshes
HTML articles powered by AMS MathViewer

by Bernard Mourrain PDF

Math. Comp. 83 (2014), 847-871 Request permission

Abstract:

We analyze the space $\mathcal {S}_{m, m’}^{\mathbf {r}} (\mathcal {T})$ of bivariate functions that are piecewise polynomial of bi-degree $\leqslant (m, m’)$ and of smoothness $\mathbf {r}$ along the interior edges of a planar T-mesh $\mathcal {T}$. We give new combinatorial lower and upper bounds for the dimension of this space by exploiting homological techniques. We relate this dimension to the weight of the maximal interior segments of the T-mesh, defined for an ordering of these maximal interior segments. We show that the lower and upper bounds coincide, for high enough degrees or for hierarchical T-meshes which are regular enough. We give a rule of subdivision to construct hierarchical T-meshes for which these lower and upper bounds coincide. Finally, we illustrate these results by analyzing spline spaces of small degrees and smoothness.

References

Dmitry Berdinsky, Min-jae Oh, Tae-wan Kim, and Bernard Mourrain. On the problem of instability in the dimension of a spline space over a T-mesh. Comput. Graph., 36(5):507–513, 2012.
Louis J. Billera, Homology of smooth splines: generic triangulations and a conjecture of Strang, Trans. Amer. Math. Soc. 310 (1988), no. 1, 325–340. MR 965757, DOI 10.1090/S0002-9947-1988-0965757-9
A. Buffa, D. Cho, and G. Sangalli, Linear independence of the T-spline blending functions associated with some particular T-meshes, Comput. Methods Appl. Mech. Engrg. 199 (2010), no. 23-24, 1437–1445. MR 2630153, DOI 10.1016/j.cma.2009.12.004
Henri Cartan and Samuel Eilenberg, Homological algebra, Princeton Landmarks in Mathematics, Princeton University Press, Princeton, NJ, 1999. With an appendix by David A. Buchsbaum; Reprint of the 1956 original. MR 1731415
Carl de Boor, A practical guide to splines, Revised edition, Applied Mathematical Sciences, vol. 27, Springer-Verlag, New York, 2001. MR 1900298
Jiansong Deng, Falai Chen, and Yuyu Feng, Dimensions of spline spaces over $T$-meshes, J. Comput. Appl. Math. 194 (2006), no. 2, 267–283. MR 2239393, DOI 10.1016/j.cam.2005.07.009
Jiansong Deng, Falai Chen, and Liangbing Jin, Dimensions of biquadratic spline spaces over T-meshes, J. Comput. Appl. Math. 238 (2013), 68–94. MR 2972590, DOI 10.1016/j.cam.2012.08.020
Jiansong Deng, Falai Chen, Xin Li, Changqi Hu, Weihua Tong, Zhouwang Yang, and Yuyu Feng. Polynomial splines over hierarchical T-meshes. Graph. Models, 70(4):76–86, 2008.
Tor Dokken, Tom Lyche, and Kjell Fredrik Pettersen, Polynomial splines over locally refined box-partitions, Comput. Aided Geom. Design 30 (2013), no. 3, 331–356. MR 3019748, DOI 10.1016/j.cagd.2012.12.005
Richard Ehrenborg and Gian-Carlo Rota, Apolarity and canonical forms for homogeneous polynomials, European J. Combin. 14 (1993), no. 3, 157–181. MR 1215329, DOI 10.1006/eujc.1993.1022
Gerald Farin. Curves and Surfaces for Computer Aided Geometric Design: A Practical Guide, 5th Edition. Morgan Kaufmann, San Mateo, CA, 2001.
Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR 1867354
Zhang-jin Huang, Jian-song Deng, Yu-yu Feng, and Fa-lai Chen, New proof of dimension formula of spline spaces over T-meshes via smoothing cofactors, J. Comput. Math. 24 (2006), no. 4, 501–514. MR 2243118
T. J. R. Hughes, J. A. Cottrell, and Y. Bazilevs, Isogeometric analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement, Comput. Methods Appl. Mech. Engrg. 194 (2005), no. 39-41, 4135–4195. MR 2152382, DOI 10.1016/j.cma.2004.10.008
Joseph P. S. Kung and Gian-Carlo Rota, The invariant theory of binary forms, Bull. Amer. Math. Soc. (N.S.) 10 (1984), no. 1, 27–85. MR 722856, DOI 10.1090/S0273-0979-1984-15188-7
Chong-Jun Li, Ren-Hong Wang, and Feng Zhang. Improvement on the dimensions of spline spaces on T-mesh. Journal of Information & Computational Science, 3(2):235–244, 2006.
Xin Li and Falai Chen, On the instability in the dimension of splines spaces over T-meshes, Comput. Aided Geom. Design 28 (2011), no. 7, 420–426. MR 2836487, DOI 10.1016/j.cagd.2011.08.001
G. Salmon. Modern Higher Algebra. G.E. Stechert and Co., New York, 1885. Reprinted 1924.
Hal Schenck and Mike Stillman, Local cohomology of bivariate splines, J. Pure Appl. Algebra 117/118 (1997), 535–548. Algorithms for algebra (Eindhoven, 1996). MR 1457854, DOI 10.1016/S0022-4049(97)00026-1
Thomas W. Sederberg, David L. Cardon, G. Thomas Finnigan, Nicholas S. North, Jianmin Zheng, and Tom Lyche. T-spline simplification and local refinement. ACM Trans. Graph., 23(3):276–283, 2004.
Thomas W. Sederberg, Jianmin Zheng, Almaz Bakenov, and Ahmad Nasri. T-splines and T-nurccs. ACM Trans. Graph., 22(3):477–484, 2003.
Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112
Ren-Hong Wang, Multivariate spline functions and their applications, Mathematics and its Applications, vol. 529, Kluwer Academic Publishers, Dordrecht; Science Press Beijing, Beijing, 2001. Translated from the 1994 Chinese original by Shao-Ming Wang and revised by the author. MR 1891792, DOI 10.1007/978-94-017-2378-7