Peter Alfeld, --- Department of Mathematics, --- College of Science --- University of Utah

Multivariate Splines and the 4 Color Map Problem


Removing a set of triangles from a triangulation may leave a set of triangles that no longer forms a triangulation because it violates the requirement that the union of the remaining triangles be homeomorphic to the unit square. For example, removing the star of an interior vertex may leave a polygonal hole.

This fact requires that we expand our dimension statement for S14 to an equivalent statement on subtriangulations.

The boxed equation gives the appropriate generalization: the degrees of freedom of S14 on a subtriangulation are obtained as follows:

The whole idea can be summarized as follows: Think of S14 as a subspace of the space of continuous piecewise quartic functions that are differentiable at every vertex. The subspace is defined by the two additional differentiability conditions across each interior edge, and the crux of the matter is to prove that these conditions are linearly independent.

To see that the boxed equation is equivalent to the last equation when the triangles do form a triangulation recall the combinatorics of a triangulation:

N = VB + 2VI - 2,   
EI = VB + 3VI - 3,  
V = VB + VI, 
E = EB + EI.

3V + 3N + E - 2EI =   3(VB + VI) 
                    + 3(VB + 2VI - 2) 
                    + 2VB + 3VI - 3 
                    - 2(VB + 3VI - 3)
                  =   6(VB+VI) - 3.