×

Piecewise algebraic surface patches. (English) Zbl 0578.65147

The author presents tools for modelling with free form algebraic surfaces. An algebraic surface may consist of one or more sheets of infinite extent. It will only be concerned with the part of an algebraic surface within an arbitrary tetrahedron. It will refer to such a surface region as an algebraic surface patch (asp).
Consider the scalar function defined by the polynomial equation \(w=f(s,t,u,v)\). We adopt the notation \(S=(s,t,u,v)\), so \(f(s,t,u,v)=f(S)\). This function assigns a unique value \(w=f(S)\) to each point S. A contour surface of the function is comprised of all points S for which f(S) is a constant. We define an asp as the contour \(f(S)=0\) clipped by the tetrahedron. A degree n asp can be defined using Bernstein-Bézier-Farin polynomials as follows. We assign a weight \(w_{ijkl}\) to each control point, and the function \(w=f(S)\) is defined \[ (1)\quad f(s,t,u,v)=w_{ijkl}\frac{n!}{i!j!k!l!}s^ it^ ju^ kv^ l,\quad i+j+k+l=n;\quad s+t+u+v=1. \] This scheme facilitates the design of a free form asp. The value of f(S) at any of the 4 tetrahedral vertices is the value of the weight of that vertex. This means that the algebraic surface f(S), can be forced to interpolate a corner vertex by setting the weight of that vertex to zero. If all the weights of all \(n+1\) control points along an edge are zero, the entire edge interpolates the surface \(f(S)=0\). This is also easily verified from (1).
The contribution of a particular control point’s weight to the function f(S) in (1) can be shown to be maximum at the control point. The value of the function f(S) along any of the 6 tetrahedral edges can be expressed as a univariate Bernstein polynomial whose coefficients are the \(n+1\) control point weights along the edge. A crucial property of this asp formulation is that it inherits most of the tools of Bernstein-Bézier- Farin curves and surfaces: we can subdivide the surface by subdiving the tetrahedron.
A promising application for algebraic surface patches is in modelling solids, since the implicit surface equation defines the half-spaces f(S)\(\leq 0\) and f(S)\(\geq 0\). Algebraic surfaces patches could be ray traced very efficiently, since the ray intersection equation is a univariate polynomial whose degree is the degree of the surface.
Reviewer: A.López-Carmona

MSC:

65S05 Graphical methods in numerical analysis
65D07 Numerical computation using splines
41A10 Approximation by polynomials
41A63 Multidimensional problems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alfeld, P., A trivariate Clough-Tocher scheme for tetrahedral data, (MRC Technical Summary Report #2702 (1984), Mathematics Research Center, University of Wisconsin-Madison) · Zbl 0566.65003
[2] Barnhill, R. E.; Little, F. F., Three- and four-dimensional surfaces, Rocky Mountain J. Math., 14, 77-102 (1984) · Zbl 0552.65008
[3] Barr, A., Superquadratics and angle-preserving transformations, IEEE Computer Graphics Appl., 1, 11-23 (1981)
[4] Blinn, J., A generalization of algebraic surface drawing, ACM Trans. Graphics, 1, 235-256 (1982)
[5] Bohm, W.; Farin, G.; Kahmann, J., A survey of curve and surface methods in CAGD, Computer Aided Geometric Design, 1, 1-60 (1984) · Zbl 0604.65005
[6] Ricci, A., A constructive geometry for computer graphics, Computer J., 16, 157-160 (1973) · Zbl 0251.68053
[7] Sabin, M. A., The use of potential surfaces for numerical geometry, B.A.C. Weybridge (1968), VTO/MS/153
[8] Sederberg, T. W.; Anderson, D. C.; Goldman, R. N., Implicit representation of parametric curves and surfaces, Computer Vision, Graphics, and Image Processing, 28, 72-84 (1984) · Zbl 0601.65008
[9] Sederberg, T. W., Planar piecewise algebraic curves, Computer Aided Geometric Design (1984), to appear in · Zbl 0576.65135
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.