Bernstein Constraint Complexes for Multivariate Splines on Triangulated Surfaces

Abstract

We introduce Bernstein constraint complexes, a representation of finite element differential complexes in which every triangle of a triangulation keeps its own Bernstein--Bézier coefficients and global continuity is imposed only through smoothness functionals attached to edges and vertices. Continuity of scalar splines, tangential continuity of spline vector fields, normal continuity of spline vector fields, and higher smoothness differ only in the edge functionals. No global basis is constructed. The structural result is a coefficient-level commuting identity: on every edge the smoothness functionals of a Bernstein derivative are explicit combinations of the smoothness functionals of its argument, through univariate Bernstein difference matrices. This gives a local proof that the kernels of the smoothness matrices form a subcomplex, for the de Rham traces and for componentwise $C^r$ spline profiles, and a computable row-space test for candidate smooth profiles. We realize the lowest-order Powell--Sabin exact sequence in this form and confirm its exactness by ranks. The constrained Galerkin problem is solved in the broken coefficients with exact smoothness equations; we prove equivalence with the conforming method, treat semidefinite element operators through a pseudoinverse interface system, and give a singular pencil whose finite spectrum is the constrained Maxwell spectrum. Under the covariant and contravariant surface Piola maps the reference functionals of the de Rham sequence transfer unchanged to conforming curved triangulations. Experiments compare the null-space method, the augmented Lagrangian iteration of Awanou, Lai and Wenston, and direct solution of the saddle system on the same problems, and cover planar source and eigenvalue problems, a $C^1$ biharmonic solve, the exact sphere, and an embedded hyperboloid.