Rational Bezier curves are typically defined as projections of polynomial Bezier curves of one higher dimension. Here we introduce an alternative notion of rational Bezier curves defined in terms of rational Bernstein blending functions. These negative degree Bernstein bases share many properties with their polynomial kin: they are linearly independent, form a partition of unity, satisfy Descartes' Law of Signs, obey the standard recurrence relation, and have simple two term formulas for differentiation and degree elevation. But whereas the Bernstein bases of positive degree can represent only polynomial functions, Bernstein bases of negative degree can exactly represent arbitrary functions analytic in a neighborhood of zero. Moreover, whereas the Bernstein bases of positive degree can uniformly approximate arbitrary continuous functions on a compact interval, the Bernstein bases of negative degree can uniformly approximate all continuous functions that vanish at minus infinity. Nevertheless, despite these differences, most of the standard algorithms for Bezier curves, such as reparametrization, trimming, and conversion to and from monomial form extend quite naturally to their rational Bezier brethren. Bezier curves are closely associated with blossoming. The blossom of a degree n polynomial P( x) is the unique, symmetric, multiaffine function p( u 1,…, u n ) that reduces to P( x) along the diagonal. The kth Bezier control point of P( x) is given by the blossom value p(1,…,1,0,…,0), where the blossom parameters consist of k ones and ( n− k) zeros. Thus the blossom provides the dual functionals for standard Bezier curves. Here we introduce a new kind of blossom associated with rational Bernstein bases and with arbitrary analytic functions. The degree − n blossom of an analytic function F( x) is a function in two sets of parameters ( u 1,…, u k ) and ( v 1,…, v k+ n ). This new blossom of F( x) is the unique function f( u 1,…, u k / v 1,…, v k+ n ) that is bisymmetric, multiaffine in the u parameters, satisfies a cancellation property, and reduces to F( x) along the diagonal. The kth Bezier control point of an analytic function F( x) relative to the degree − n Bernstein basis is given by the blossom value f(1,…,1/0,…,0), where the blossom parameters consist of k ones and ( n+ k) zeros. The purpose of this paper is to explore some of the properties of these new rational Bezier curves and their associated multirational blossoms.
Read full abstract