|Peter Alfeld||Department of Mathematics||College of Science||University of Utah|
|The Bernstein Bézier Form||Home Page||Examples|
|Spline Spaces and Minimal Determining Sets||User's Guide||Residual Arithmetic|
|Triangulations||How does it work?||Bibliography|
The key ingredient of finite elements is that the interpolant is determined uniquely on each triangle by data on that triangle. There are two ways widely used to make this possible:
We illustrate both techniques.
This element is quintic on each triangle. The coefficients at the points marked with red stars are obtained by interpolating to function values and partial derivatives to second order at each vertex. The points marked green are obtained either by interpolating to a perpendicular cross boundary derivative at the midpoint of edge edge, or by the requirement that perpendicular cross-boundary derivatives (CBDs) be cubic along each edge.
The result is a scheme that's piecewise quintic, globally C 1, and that reproduces quintic (if one interpolates to CBDS) or quartic (if one enforces a cubic CBD) polynomials exactly.
An interpolant constructed like this on every triangle of a triangulation will lie in a subspace of S with r=1 and d=5.. It will only be a subspace since the interpolant is twice differentiable at every vertex of the triangulation.
This element is obtained by dividing each triangle in the triangulation about its centroid into three subtriangles called microtriangles. On each micro triangle the interpolant is cubic.
The Figure nearby shows an ordinary minimal determining set. Coefficients at the three red points at each vertex of the macrotriangle are obtained by interpolating to function values and gradients at the vertices of the triangle. The green points in the minimal determining set are obtained similarly as in the quintic element, either by interpolating to perpendicular CBDs at the centers of the edges, or by requiring that the perpendicular CBDs be linear along each edge.
The result is a schemed that's piecewise cubic, it requires only function and first order derivative values, and it reproduces quadratic or linear functions exactly.
I gained my first serious experience with the Bernstein-B ézier form when I designed this element (see item 22 on my Bibliography. ) Click on the small image to see a larger and clearer version.
The macrotriangle is split about its centroid into three subtriangles each of which is again split about its centroid, called a subcentroid, into three subtriangles, for a total of 9 microtriangles. The scheme is piecewise quintic and internally and globally twice differentiable. It is significant in the design of the scheme that the triples of vertex-centroid-subcentroid are colinear.
The development in the original paper is different, but it can be described in the terms of a minimal determining set as follows:
The result is a globally twice differentiable interpolation scheme that requires only data of the same order as the degree of smoothness, and that reproduces cubic polynomials exactly.