In approximation theory and computer aided geometric design many polynomial and piecewise polynomial curve schemes can be generated from simple triangular recursive evaluation algorithms. Most prominent are de Casteljau’s algorithm for Bezier curves , de Boor’s algorithm for B-splines , and Neville’s algorithm for Lagrange polynomials , but similar recursive evaluation algorithms are known for Catmull-Rom splines , for convolution curves , and for curves defined in terms of the normalized power basis , the Newton basis , or even the standard monomial basis .
These algorithms all have the same basic triangular structure. Points (or vectors or scalars) are placed at the base of a triangular array and combinations of adjacent points (or vectors or scalars), two points at a time, are calculated to generate the next level in the array. These algorithms continue in this fashion until a single value emerges at the apex of the triangle. This value depends linearly on the input points, which are called control points; the coefficients of the control points are called blending functions. The combinations generally depend on some scalar parameter t, and the point that emerges from the apex of the triangle is the point on the parametric curve at the parameter value t. The functions which define the combinations are linear in t, and therefore for triangles of depth N the curve which is generated is a polynomial or piecewise polynomial of degree N in t. Usually die combinations are affine, so generally these curves are affine invariant and their blending functions are partitions of unity.
We call such algorithms recursive triangles. We are going to study these recursive schemes in some detail. Many examples will be provided, and various interrelationships between these different triangular schemes will be highlighted. Connections between recursive curve schemes, discrete probability distributions, and simple stochastic models will be underscored. Change of basis algorithms based on recursive triangles will also be explored.
In Section 1 we introduce recursive triangles with two fundamental examples: Pascal’s triangle for the binomial coefficients and de Casteljau’s algorithm for Bezier curves. Pascal’s triangle for the binomial coefficients is the easiest and best known example of a recursive triangle, and de Casteljau’s algorithm for Bezier curves is the simplest and most basic recursive curve scheme in computer aided geometric design. General triangular recursive curve schemes are then presented and their common properties are recorded. The relationship between these triangular recursive schemes and simple stochastic models is reviewed with special attention given to random walks and urn models. A multiprocessor hardware for fast computation of points along these recursive curves is also briefly discussed.
The two most important general classes of recursive curve schemes are Polya polynomials and B-spline curves. In Section 2 we investigate these two general schemes and tabulate their properties. By broadening the definition of these schemes, we include the Lagrange basis, the Newton basis, the power basis, and the monomial basis. The Polya and B-spline schemes have many dual properties, and we examine this duality and it ramifications in some detail in Section 3. Dual functionals, blossoming, change of basis methods, and knot insertion techniques are our main focus here.
In Section 4 we introduce a few lesser known recursive triangular curve schemes of possible interest in computer aided geometric design by concatenating some simpler or better known schemes. In particular, this approach is used to study Catmull-Rom splines and convolution curves. In Section 5 we very briefly examine recursive surface schemes. We close in Section 6 with a summary of our main results, a few conclusions, and some open questions for possible future investigations.
KeywordsApproximation Bernstein basis Bezier curve blossoming algorithm de Boor algorithm B-spline curve de Casteljau algorithm Catmull-Rom spline convolution dual functional in-out property interpolation knot insertion algorithm Lagrange polynomial monomial basis Neville algorithm Newton basis Oslo algorithm parallel property Pascal’s triangle Polya polynomial power basis random walk recursive triangle Sablonniere algorithm subdivision algorithm tensor product surface triangular patch urn model
Unable to display preview. Download preview PDF.
- 1.Barry, P.J. (1987), Urn models, recursive curve schemes, and computer aided geometric design, Ph.D. Thesis, Dept. of Math., Univ. of Utah, Salt Lake City.Google Scholar
- 2.Barry, P.J., De Boor-Fix functionals and polar forms, to appear in Computer Aided Geometric Design.Google Scholar
- 3.Barry, P.J., DeRose, A.D., and Goldman, R.N., B-splines, Polya curves, and duality, submitted for publication.Google Scholar
- 5.Barry, P.J. and Goldman, R.N. (1989), Three examples of dual properties of Bezier curves, in Tom Lyche and Larry Schumaker (eds.), Mathematical Methods in Computer Aided Geometric Design, Academic Press, San Diego, pp. 61–69.Google Scholar
- 6.Barry, P.J. and Goldman, R.N. (1989), What is the natural generalization of a Bezier curve?, in Tom Lyche and Larry Schumaker (eds.), Mathematical Methods in Computer Aided Geometric Design, Academic Press, San Diego, pp. 71–85.Google Scholar
- 7.Barry, P.J. and Goldman, R.N., Recursive polynomial curve schemes and computer aided geometric design, to appear in Constructive Approximation.Google Scholar
- 8.Barry, P.J. and Goldman, R.N., Interpolation and approximation of curves and surfaces using Polya polynomials, submitted for publication.Google Scholar
- 9.Barry, P.J. and Goldman, R.N., Shape parameter deletion for Polya curves, submitted for publication.Google Scholar
- 10.Barry, P.J. and Goldman, R.N., Algorithms for progressive curves: Extending B-spline techniques to the monomial and power bases, submitted for publication.Google Scholar
- 11.Barry, P.J. and Goldman, R.N., A survey of urn models in computer aided geometric design, submitted for publication.Google Scholar
- 12.Barry, P.J. and Goldman, R.N., Fast knot insertion, in preparation.Google Scholar
- 16.de Boor, C. (1972), A Practical Guide to Splines, Springer-Verlag, New York.Google Scholar
- 18.de Boor, C. and Hollig, K. (1987), B-splines without divided differences, in: G. Farin (ed.), Geometric Modeling, SIAM, Philadelphia, pp. 21–27.Google Scholar
- 20.de Casteljau, P. (1985), Formes a Poles, Volume 2 of Mathematiques et CAO, Hermes Publishing, Paris.Google Scholar
- 21.Catmull, E. and Rom, R. (1974), A class of local interpolating splines, in R.E. Barnhill and R.F. Riesenfeld (eds.), Computer Aided Geometric Design, Academic Press, New York, pp. 317–326.Google Scholar
- 23.DeRose, A.D. and Holman, T.J., The triangle: A multiprocessor architecture for fast curve and surface generation, submitted for publication.Google Scholar
- 31.Goldman, R.N., Blossoming and knot insertion algorithms for B-spline curves, submitted for publication.Google Scholar
- 32.Goldman, R.N. and Barry, P.J. (1989), Algorithms in the style of Boehm and Sablonniere, Olberwolfach Conference on Curves and Surfaces in CAGD.Google Scholar
- 33.Johnson, N.L. and Kotz, S. (1977), Urn Models and Their Applications, Wiley, New York.Google Scholar
- 34.Lane, J.M. and Riesenfeld, R.F. (1980), A theoretical development for the computer generation and display of piecewise polynomial surfaces, IEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-2, 35–46.Google Scholar
- 35.Ramshaw, L. (1987), Blossoming: A Connect the Dots Approach to Splines, Digital Systems Research Center, Report 19, Palo Alto, California.Google Scholar
- 36.Ramshaw, L. (1988), Beziers and B-splines as multiaffine maps, in R.A. Earnshaw (ed.), Theoretical Foundations of Computer Graphics and CAD, NATO ASI Series F, Vol. 40, Springer-Verlag, New York, pp. 757–776.Google Scholar
- 37.Ramshaw, L. (1989), Blossoms are polar forms, Digital Equipment Corporation, Report 34, Palo Alto, California.Google Scholar
- 42.Seidel, H.P., Symmetric recursive algorithms for curves, submitted for publication.Google Scholar
- 43.Seidel, H.P., Symmetric recursive algorithms for surfaces: B-patches and the de Boor algorithm for polynomials over triangles, submitted for publication.Google Scholar
- 44.Shoemake, K. (1985), Animating rotation with quaternion curves, Proceedings Siggraph’85, 245–254.Google Scholar
- 47.Wang, Guo-Zhao (1984), The subdivision method for finding the intersection between two Bezier curves or surfaces, Zhejiang University Journal, Zhejiang University, Hangzhou, Zhejiang, Peoples Republic of China, [Special Issue on Computational Geometry (in Chinese)].Google Scholar