Homology of smooth splines: generic triangulations and a conjecture of Strang
HTML articles powered by AMS MathViewer
- by Louis J. Billera
- Trans. Amer. Math. Soc. 310 (1988), 325-340
- DOI: https://doi.org/10.1090/S0002-9947-1988-0965757-9
- PDF | Request permission
Abstract:
For $\Delta$ a triangulated $d$-dimensional region in ${{\mathbf {R}}^d}$, let $S_m^r(\Delta )$ denote the vector space of all ${C^r}$ functions $F$ on $\Delta$ that, restricted to any simplex in $\Delta$, are given by polynomials of degree at most $m$. We consider the problem of computing the dimension of such spaces. We develop a homological approach to this problem and apply it specifically to the case of triangulated manifolds $\Delta$ in the plane, getting lower bounds on the dimension of $S{}_m^r(\Delta )$ for all $r$. For $r = 1$, we prove a conjecture of Strang concerning the generic dimension of the space of ${C^1}$ splines over a triangulated manifold in ${{\mathbf {R}}^2}$. Finally, we consider the space of continuous piecewise linear functions over nonsimplicial decompositions of a plane region.References
- P. Alfeld, On the dimension of multivariate piecewise polynomials, Numerical analysis (Dundee, 1985) Pitman Res. Notes Math. Ser., vol. 140, Longman Sci. Tech., Harlow, 1986, pp. 1–23. MR 873098
- Peter Alfeld, A case study of multivariate piecewise polynomials, Geometric modeling, SIAM, Philadelphia, PA, 1987, pp. 149–159. MR 936451
- Peter Alfeld, Bruce Piper, and L. L. Schumaker, An explicit basis for $C^1$ quartic bivariate splines, SIAM J. Numer. Anal. 24 (1987), no. 4, 891–911. MR 899711, DOI 10.1137/0724058
- Peter Alfeld, Bruce Piper, and L. L. Schumaker, Minimally supported bases for spaces of bivariate piecewise polynomials of smoothness $r$ and degree $d\geq 4r+1$, Comput. Aided Geom. Design 4 (1987), no. 1-2, 105–123. Special issue on topics in computer aided geometric design (Wolfenbüttel, 1986). MR 898027, DOI 10.1016/0167-8396(87)90028-8
- P. Alfeld, B. Piper, and L. L. Schumaker, Spaces of bivariate splines on triangulations with holes, Proceedings of China-U.S. Joint Conference on Approximation Theory (Hangzhou, 1985), 1987, pp. 1–10. MR 939177
- Peter Alfeld and L. L. Schumaker, The dimension of bivariate spline spaces of smoothness $r$ for degree $d\geq 4r+1$, Constr. Approx. 3 (1987), no. 2, 189–197. MR 889554, DOI 10.1007/BF01890563
- Richard H. Bartels, Splines in interactive computer graphics, Numerical analysis (Dundee, 1983) Lecture Notes in Math., vol. 1066, Springer, Berlin, 1984, pp. 1–29. MR 760454, DOI 10.1007/BFb0099515
- Louis J. Billera, The algebra of continuous piecewise polynomials, Adv. Math. 76 (1989), no. 2, 170–183. MR 1013666, DOI 10.1016/0001-8708(89)90047-9
- Charles K. Chui and Ren Hong Wang, On smooth multivariate spline functions, Math. Comp. 41 (1983), no. 163, 131–142. MR 701629, DOI 10.1090/S0025-5718-1983-0701629-1
- Charles K. Chui and Ren Hong Wang, Multivariate spline spaces, J. Math. Anal. Appl. 94 (1983), no. 1, 197–221. MR 701458, DOI 10.1016/0022-247X(83)90014-8
- Ph. Ciarlet, Lectures on the finite element method, Tata Institute of Fundamental Research, Bombay, 1975. Notes by S. Kesavan, Akhil Ranjan and M. Vanninathan. MR 0431746
- R. Courant, Variational methods for the solution of problems of equilibrium and vibrations, Bull. Amer. Math. Soc. 49 (1943), 1–23. MR 7838, DOI 10.1090/S0002-9904-1943-07818-4
- Henry Crapo and Juliette Ryan, Réalisations spatiales des scènes linéaires, Structural Topology 13 (1986), 33–68. Dual French-English text. MR 880673
- Wolfgang Dahmen and Charles A. Micchelli, Recent progress in multivariate splines, Approximation theory, IV (College Station, Tex., 1983) Academic Press, New York, 1983, pp. 27–121. MR 754343 R. Haas, Dimension and bases for certain classes of splines: a combinatorial and homological approach, Ph.D. thesis, Cornell Univ., August 1987.
- James R. Munkres, Elements of algebraic topology, Addison-Wesley Publishing Company, Menlo Park, CA, 1984. MR 755006
- John Morgan and Ridgway Scott, A nodal basis for $C^{1}$ piecewise polynomials of degree $n\geq 5$, Math. Comput. 29 (1975), 736–740. MR 0375740, DOI 10.1090/S0025-5718-1975-0375740-7 —, The dimension of the space of ${C^1}$ piecewise polynomials, unpublished manuscript, 1975.
- Larry L. Schumaker, On the dimension of spaces of piecewise polynomials in two variables, Multivariate approximation theory (Proc. Conf., Math. Res. Inst., Oberwolfach, 1979) Internat. Ser. Numer. Math., vol. 51, Birkhäuser, Basel-Boston, Mass., 1979, pp. 396–412. MR 560683
- Larry L. Schumaker, Bounds on the dimension of spaces of multivariate piecewise polynomials, Rocky Mountain J. Math. 14 (1984), no. 1, 251–264. Surfaces (Stanford, Calif., 1982). MR 736177, DOI 10.1216/RMJ-1984-14-1-251
- Edwin H. Spanier, Algebraic topology, Springer-Verlag, New York-Berlin, 1981. Corrected reprint. MR 666554
- Peter F. Stiller, Certain reflexive sheaves on $\textbf {P}^{n}_{\textbf {C}}$ and a problem in approximation theory, Trans. Amer. Math. Soc. 279 (1983), no. 1, 125–142. MR 704606, DOI 10.1090/S0002-9947-1983-0704606-6
- Gilbert Strang, Piecewise polynomials and the finite element method, Bull. Amer. Math. Soc. 79 (1973), 1128–1137. MR 327060, DOI 10.1090/S0002-9904-1973-13351-8
- Gilbert Strang, The dimension of piecewise polynomial spaces, and one-sided approximation, Conference on the Numerical Solution of Differential Equations (Univ. Dundee, Dundee, 1973) Lecture Notes in Math., Vol. 363, Springer, Berlin, 1974, pp. 144–152. MR 0430621
- Ren Hong Wang, Structure of multivariate splines, and interpolation, Acta Math. Sinica 18 (1975), no. 2, 91–106 (Chinese). MR 454458
- Neil L. White and Walter Whiteley, The algebraic geometry of stresses in frameworks, SIAM J. Algebraic Discrete Methods 4 (1983), no. 4, 481–511. MR 721619, DOI 10.1137/0604049
- Walter Whiteley, A matroid on hypergraphs, with applications in scene analysis and geometry, Discrete Comput. Geom. 4 (1989), no. 1, 75–95. MR 964145, DOI 10.1007/BF02187716 —, A matrix for splines, J. Approx. Theory (to appear). —, The analogy between multivariate splines and hinged panel structures, preprint, Champlain Regional College, June 1986.
- Oscar Zariski and Pierre Samuel, Commutative algebra, Volume I, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, New Jersey, 1958. With the cooperation of I. S. Cohen. MR 0090581
Bibliographic Information
- © Copyright 1988 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 310 (1988), 325-340
- MSC: Primary 41A15; Secondary 65D07
- DOI: https://doi.org/10.1090/S0002-9947-1988-0965757-9
- MathSciNet review: 965757