arxiv: v3 [math.na] 1 Dec 2015

Transcription

1 arxiv: v3 [math.na] Dec 5 Constrained approximation of rational triangular Bézier surfaces by polynomial triangular Bézier surfaces Stanisław Lewanowicz a,, Paweł Keller b, Paweł Woźny a a Institute of Computer Science, University of Wrocław, ul. Joliot-Curie 5, Wrocław, Poland b Faculty of Mathematics and Information Science, Warsaw University of Technology, ul. Koszyowa 75, -66 Warszawa, Poland Abstract. We propose a novel approach to the problem of polynomial approximation of rational Bézier triangular patches with prescribed boundary control points. The method is very efficient thans to using recursive properties of the bivariate dual Bernstein polynomials and applying a smart algorithm for evaluating a collection of two-dimensional integrals. Some illustrative examples are given. Key words: Rational triangular Bézier surface; Polynomial approximation; Bivariate dual Bernstein basis; Two-dimensional integral; Adaptive quadrature. Introduction and preliminaries Rational triangular Bézier surfaces are an important tool in computer graphics. However, they may be sometimes inconvenient in practical applications. The reason is that evaluation of integrals or derivatives of rational expressions is cumbersome. Also, it happens that a rational surface produced in one CAD system is to be imported into another system which can handle only polynomial surfaces. In order to solve the two problems above, different algorithms for approximating the rational surface by polynomial surface are proposed [3, 8, 7, ]. The spectrum of methods contains hybrid algorithm [], progressive iteration approximation [3, 8], least squares approximation and linear programming [7], and approximation by Bézier surfaces with control points obtained by successive degree elevation of the rational Bézier surface [, ]. As a rule, no geometric constraints are imposed, which means a serious drawbac: if we start with a patchwor of smoothly connected rational Bézier triangles and approximate each patch separately, we do not obtain a smooth composite surface. In this paper, we propose a method for solving the problem of the constrained least squares approximation of a rational triangular Bézier patch by a polynomial triangular Bézier patch; see Problem. below. The method is based on the idea of using constrained dual bivariate Bernstein polynomials. Using a fast recursive scheme of evaluation of Bézier form coefficients of the bivariate dual Bernstein polynomials, and applying a swift adaptive scheme of numerical computation of a collection of double integrals involving rational functions resulted in high efficiency of the method. Corresponding author addresses: Stanislaw.Lewanowicz@ii.uni.wroc.pl (Stanisław Lewanowicz), Pawel.Keller@mini.pw.edu.pl (Paweł Keller), Pawel.Wozny@ii.uni.wroc.pl (Paweł Woźny)

2 The outline of the paper is as follows. Section brings a complete solution to the approximation problem. Some comments on the algorithmic implementation of the method are given in Section 3; some technical details of the implementation are presented in Appendix A. In Section 4, several examples are given to show the efficiency of the method. In Appendix B, some basic information on the Hahn orthogonal polynomials is recalled. We end this section by introducing some notation. For y := (y,y,...,y d ) R d, we denote y := y +y +...+y d, and y := ( y +y +...+y d For n N and c := (c, c, c 3 ) N 3 such that c < n, we define the following sets (cf. Figure ): Θ n := { = (, ) N : n}, Ω c n := { = (, ) N : c, c, n c 3 }, (.) Γ c n := Θ n \Ω c n. ) c = (,,) c = (,,) c = (,,3) Figure : Examples of sets (.) (n = ). Points of the set Ω c n are mared by white discs, while the points of the set Γ c n by blac discs. Obviously, Θ n = Ω c n Γ c n. Throughout this paper, the symbolπ n denotes the space of all polynomials of two variables, of total degree at most n. Let T be the standard triangle in R, T := {(x, x ) : x, x, x +x }. (.) For n N, and := (, ) Θ n, we denote, ( ) n n! :=!!(n )!. The shifted factorial is defined for any a C by (a) := ; (a) := a(a+) (a+ ),. The Bernstein polynomial basis in Π n, n N, is given by (see, e.g., [5], or [6, 7.3]), ( ) n B n (x) := x x ( x )n, := (, ) Θ n, x := (x,x ). (.3)

3 The (unconstrained) bivariate dual Bernstein basis polynomials [], are defined so that D n ( ;α) Π n, Θ n, (.4) D n, Bn l α = δ,l,,l Θ n. Here δ,l equals if = l, and otherwise, while the inner product is defined by f,g α := w α (x)f(x)g(x)dx, (.5) where the weight function w α is given by T w α (x) := A α x α xα ( x )α 3, α := (α, α, α 3 ), α i >, (.6) with A α := Γ( α +3)/[Γ(α +)Γ(α +)Γ(α 3 +)]. For n N and c := (c, c, c 3 ) N 3 such that c < n, define the constrained bivariate polynomial space Π c, n := { } P Π n : P(x) = xc xc ( x )c3 Q(x), where Q Π n c. It can be easily seen that the constrained set {B n} Ω c of degree n bivariate Bernstein polynomials forms a basis in this space. We define constrained dual bivariate Bernstein basis n polynomials, D (n,c) ( ;α) Πn c,, Ω c n, (.7) so that D (n,c), B n l α = δ,l for, l Ω c n, (.8) where the notation of (.5) is used. For c = (,,), basis (.7) reduces to the unconstrained basis (.4) in Π n. Notice that the solution of the least squares approximation problem in the space Π n (c,) result. can be given in terms of the polynomials D (n,c). Namely, we have the following Lemma. Let F be a function defined on the standard triangle T (cf. (.)). The polynomial S n Π n (c,), which gives the minimum value of the norm F S n L := F S n,f S n α, is given by S n = Ω c n F,D (n,c) α Bn. (.9) Proof. Π n (c,) : Obviously, S n has the following representation in the Bernstein basis of the space S n = Ω c n S n,d (n,c) α Bn. 3

4 On the other hand, a classical characterization of the best approximation polynomial S n is that F S n,q α = holds for any polynomial Q Π n (c,) (see, e.g. [4, Thm 4.5.]). In particular, for Q = D (n,c), we obtain F,D (n,c) α = S n,d (n,c), α Ωc n. Hence, the formula (.9) follows. The coefficients El (α,c,n) in the Bézier form of the dual Bernstein polynomials, D (n,c) (x;α) = El (α,c,n)bn l (x), Ωc n, (.) l Ω c n play important role in the proposed method. Using the duality property (.8), we obtain the following expression for the coefficients of the above expansion: El (α,c,n) = D (n,c),d (n,c) l. (.) α In a recent paper [], an efficient algorithm was obtained for evaluating all these coefficients for, l Ω c n, with the computational complexity O(n 4 ), i.e., proportional to the total number of these coefficients. See Section 3. for details. Polynomial approximation of Bézier triangular surfaces with constraints In this paper, we consider the following approximation problem. Problem. Let R n be a rational triangular Bézier surface of degree n, ω r B R n (x) := Q n (x) n(x) ω(x) = Θ n ω B n (x), x T, Θ n with the control points r R 3 and positive weights ω R, Θ n. Find a Bézier triangular surface of degree m, P m (x) := p B m (x), x T, Θ m with the control points p R 3, satisfying the conditions p = g for Γ c m, (.) g R 3 being prescribed control points, and c := (c,c,c 3 ) N 3 being a given parameter vector with c < m, such that the distance between the surfaces R n and P m, d(r n,p m ) := w α (x) R n (x) P m (x) dx, (.) reaches the minimum. T 4

5 Remar. Remember that continuity conditions for any two adjacent triangular Bézier patches are given in terms of several rows of the control net "parallel" to the control polygon of their common boundary (see, e.g., [6, Section 7]). Therefore, constraints (.) are natural, in a sense (cf. Fig. ). In Section 4, we give several examples of practical usage of this approach. Clearly, the Bézier triangular patch being the solution of Problem. can be obtained in a componentwise way. Hence it is sufficient to give a method for solving the above problem in the case where R n and P m are scalar functions, and g are numbers. All the details of the proposed method are given in the following theorem. Theorem.3 Given the coefficients r and positive weights ω, Θ n, of the rational function ω r B R n (x) := Q n (x) n(x) ω(x) = Θ n ω B n (x), (.3) Θ n the coefficients p of the degree m polynomial minimising the error with the constraints are given by where p = P m (x) := p B m (x), (.4) Θ m R n P m L := R n P m,r n P m α, (.5) l Ω c m h Θ n p = g for Γ c m, (.6) ( ) m El l (α,c,m)( ) u l v l, Ω c m, (.7) u l := ( )( ) n n+m ω h r h I h+l, h h+l v l := ( α +3) m with h 3 := m h, l 3 := m l, and I j := T h Γ c m The symbol El (α,c,m) has the meaning given in (.). ( ) ( m 3 (α i +) hi +l h i )g h, i= w α (x) Bn+m j (x) dx, j Ω c n+m ω(x). (.8) 5

6 Proof. Observe that R n P m L = W S m L where W := R n T m, T m := g B m, S m := p B m, Γ c m Ω c m the notation being that of (.). Thus, we want S m to be the best approximation polynomial for the function W in the space Π c, m. Its Bézier coefficients are given by p = α = ) El ( R (α,c,m) n,bl m α T m,bl m α, Ω c m, W,D (m,c) l Ω c m where we have used Lemma.. We obtain R n, Bl m α = B n ω h r h h ω, Bm l h Θ n α = ( )( )( ) n m n+m ω h r h h l h+l ω, Bn+m h+l h Θ n = ( )( )( ) n m n+m ω h r h I h+l, h l h+l h Θ n where we use the notation (.8). Further, using equations (.3) and (.5), we obtain T m,bl m α = g h Bh m,bm l α h Γ c m = h Γ c m g h ( m h )( ) m (α +) h +l (α +) h +l (α 3 +) m h l. l ( α +3) m α Hence, the formula (.7) follows. Remar.4 In general, the integrals (.8) cannot be evaluated exactly. In Section 3., we show that they can be efficiently computed numerically up to high precision using an extension of the method of [9]. In the special case where all the weights ω i, i Θ n, are equal, the rational function (.3) reduces to a polynomial of degree n, so that the problem is actually the constrained polynomial degree reduction problem (see, e.g., [8]). Evaluation of the integrals is then a simple tas. 3 Implementation of the method In this section, we discuss some computational details of the polynomial approximation of the rational Bézier function, described in Section (see Theorem.3). 6

7 3. Computing the coefficients E l (α,c,m) We have to compute all the coefficients El (α,c,m) with, l Ωc m. It has been shown [] that they can be given in terms of e l (µ,m) := DM,DM l µ,,l Θ M, with M := m c and µ := α + c, where D M DM ( ;µ) are the unconstrained dual Bernstein polynomial of total degree M (cf. (.4)). See Eq. (3.) for details. Obviously, e l (µ,m) = el (µ,m). The following algoritm is based on the recurrence relations satisfied by e l e l (µ,m), obtained in the paper cited above. Algorithm 3. (Computing the coefficients E l (α,c,m)) Step Let M := m c, µ := α+c. Step For l =,,...,M, l =,,...,M l, compute and e l := ( )l ( µ +3) M M!(µ +) l M l i= C i h i (l ;µ,µ 3,M l ), (3.) where = (,), l = (l,l ), h i (t;a,b,n) are the Hahn polynomials (cf. (B.)), Ci := (µ +) M ( µ µ +) M l, i =, ( ) i(i+ µ µ +)(µ +) M i ( µ +M +3) i, i ; i!(µ 3 +) i ( µ µ +i+) M l + next put e l := e l. Step 3 For =,,...,M, o for =,,...,M, l =, +,...,M, l =,,...,M l, compute e +v l := ( [σ () σ (l)]e l σ ()e v l +σ (l)e l+v +σ (l)e l v )/σ (), where = (, ), l = (l,l ), v := (,), and where for t := (t,t ) we define σ (t) := ( t M)(t +µ +), σ (t) := t ( t µ 3 M ), σ (t) := σ (t)+σ (t), next put e l +v := e +v l ; o for l = +, +,...,M, l =,,...,M l, compute e +v l := ( [τ () τ (l)]e l τ ()e v l +τ (l)e l+v +τ (l)e l v )/τ (), 7

8 where = (,), l = (l,l ), v := (,), and for t := (t,t ) the coefficients τ j (t) are given by τ (t) := ( t M)(t +µ +), τ (t) := t ( t µ 3 M ), τ (t) := τ (t)+τ (t); next put e l +v := e +v l. Step 4 For, l Ω c m, compute where c := (c,c ), and E l (α,c,m) := U V V l e c l c, (3.) 3 U := ( α +3) c (α i +) c i, V h := i= ( m c h c )( m h As noticed in Remar B., the sum in (3.) can be evaluated efficiently using the Clenshaw s algorithm, at the cost of O(M l ) operations. ). 3. Computing the integrals I j The most computationally expensive part of the proposed method is the evaluation of the collection of integrals (.8). For example, for n + m =, if c = (,,), there are 76 two-dimensional integrals to be computed. It is obvious that using any standard quadrature would completely ruin the efficiency of the algorithm. Moreover, if any of the parameters α i (i =,,3) in (.6) is smaller than and the corresponding constrain parameter c i equals zero, then the integrands in (.8) are singular functions, and standard quadratures may fail to deliver any approximations to the integrals. Therefore, for evaluating the complete set of integrals (.8), we introduce a special scheme which is based on the general method [9] for approximating singular integrals. The proposed numerical quadrature is of the automatic type, which means that the required number of nodes is adaptively selected, depending on the complexity of the rational Bézier function, so that the requested accuracy of the approximation is always achieved. Most importantly, the algorithm is extremely effective in the considered application. In the example given at the beginning of this subsection (n+m = ), the time required to compute the whole collection of 76 integrals is only twice longer than the time needed to approximate a single separate integral of a similar type. First, we shall write the integral (.8) in a different form which is better suited for fast numerical evaluation. Observe that bivariate Bernstein polynomials (.3) can be expressed in terms of univariate Bernstein polynomials. Namely, we have Bj N (x) = BN j (x )B N j j (x /( x )), j := (j,j ), x := (x,x ), where Bi M (t) := ( M) i t i ( t) M i, i M, are univariate Bernstein polynomials. Further, the bivariate weight function w α (see (.6)) can be expressed as w α (x) = A α v α +α 3,α (x )v α3,α (x /( x )), Based on the Maple implementation of the algorithm. If the collection consists of 99 integrals (n+m = 4), the computation time increases by only 5% (compared to the case of 76 integrals). The detailed report from the efficiency test can be found at the end of Appendix B. 8

9 where v α,β (t) := ( t) α t β is the univariate Jacobi weight function. Hence, the integral (.8) can be written as x I j = w α (x) BN j (x) ω(x) dx dx ( = A α v α +α 3 +,α (s)bj N (s) = A α ( N j ) where we denoted N := n+m, and ( v a,b (t) ) v α3,α (t) BN j j (t) ω (s,t) dt ds ) v c,d (s) ω (s,t) ds dt, (3.3) a a(j) := α 3 +N j, b b(j ) := α +j, c c(j ) := α +α 3 +N j +, d d(j ) := α +j, ω (s,t) := ω(s,( s)t) = i= j= } (3.4) n n i w i (t)bi n (s), w i (t) = ω i,j Bj n i (t). (3.5) Note that the computation of values of the integrand is now much more effective, because the coefficients w i of the function ω ( i n) in (3.5) do not depend of the inner integration variable s. The main idea is, however, to compute the values of ω only once (at a properly selected set of quadrature nodes), and obtain a tool for fast computation of the integrals (3.3) for different values of a, b, c, and d, i.e. for different values of j. For arbitrary fixed t [,], define the function It is easy to see that we can write with where we use the notation ψ t (s) := ω (s,t). (3.6) I j = A α ( N j J(α,β,f) := ) J(a,b,Φ), Φ(t) := J(c,d,ψ t ), (3.7) ( x) α x β f(x)dx. The functions ψ t and Φ are analytic in a closed complex region containing the interval [,] (it is proved in Appendix B). This implies that (cf. [6, Chapter 3]) they can be accurately and efficiently approximated by polynomials given in terms of the (shifted) Chebyshev polynomials of the first ind, M t ψ t (s) S Mt (s) := γ [t] i T i (s ), Φ(t) ŜM(t) := i= M ˆγ l T i (t ), l= s,t, (3.8) 9

10 where M may depend on j, and the prime denotes a sum with the first term halved. Once the above expansions are computed (this can be done in a time proportional to M t log(m t ) and M log(m)), the integrals J(,, ) can be easily evaluated using the following algorithm that was proved in [4]. Algorithm 3. (Computing the integral J(α,β;S), S being a polynomial) Given numbers α, β >, let r := β α, u := α+β+. Let S M be a polynomial defined by S M (x) = M γ i T i (x ). i= Compute the sequence d i, i M+, by d M+ = d M :=, d i := rd i +(i u)d i+ γ i, i = M,M,...,. i+u Output: J(α,β;S M ) = B ( γ rd +ud ), where B := Γ(α+)Γ(β +)/Γ(α+β +). By the repeated use of the above very fast scheme, we may efficiently approximate the whole set of integrals I j for j Ω c n+m. The remaining technical details of the adaptive implementation of the proposed quadrature and the complete formulation of the integration algorithm are presented in Appendix A. 3.3 Main algorithm The method presented in this paper is summarized in the following algorithm. Algorithm 3.3 (Polynomial approximation of the rational Bézier triangular surface) Given the coefficients r and positive weights ω, Θ n, of the rational function (.3), the coefficients p of the degree m polynomial (.4), minimising the error (.5), with the constraints (.6), can be computed in the following way. Step Compute the table {El (α,c,m)},l Ω c by Algorithm 3.. m Step Compute the table {I j } j Ω c n+m by Algorithm A.. Step 3 For Γ c m, put p := g. Step 4 For Ω c m, compute p by (.7). Output: Set of the coefficients p, Θ m. 4 Examples In this section, we present some examples of approximation of rational triangular Bézier patches by triangular Bézier patches. No theoretical justification is nown for the best choice of the vector parameter α in the distance functional (.) if we use the error function (x) := R n (x) P m (x) (4.)

11 to measure the quality of the approximation. On the base of numerical experiments, we claim that α = (,, ) usually leads to slightly better results than the ones obtained for other "natural" choices of parameters, including the usually preferred α = (,, ) (meaning w α (x) = ). The computations were performed in 6-decimal-digit arithmetic. In the implementation of Algorithm A., we have assumed ε = 5 6 in (A.3), and used the initial values M = M = Example Let R 6 be the degree 6 rational triangular Bézier patch [8, Example ], R 6 (x) := ω r B 6 (x) Θ 6 ω B 6 (x), x T, (4.) Θ 6 T being the standard triangle (.), and the control points r and the associated weights ω being listed in Table. We let α = (,, ), c = (,,), and constructed the degree 5 Table : Control points r (upper entries) and the associated weights ω (lower entries) of the surface (4.), with = (, ) Θ 6. \ (6,,) (5,,3) (4,.5,3.5) (3,.,4) (.5,.5,) (.4,.4,) (,,) (5.,,3) (4.5,,3) (3,.6,4) (,.9,3) (.,,) (.4,.8,.6) (4.5,,5) (4,.,4) (3,,3) (,.,) (.8,.5,.5) (4,3,6) (.5,.5,5) (.5,.8,4) (,,3) (3.5, 3.5, 4) (.5, 3, 5) (.5, 3.5, 3) (3,4.,) (,4,) (,5,) best approximating polynomial patch P 5 (x) := p B 5 (x), x T, Θ 5 under the restriction p = g for Γ c 5, where Γ c 5 := { = (, ) : =, or =, or = 5}, and the set of points g, Γ c 5, is obtained in the following way. As well nown, the boundary of the patch (4.) is formed by three degree 6 rational Bézier curves. The least squares degree

12 5 polynomial approximation to each of these rational curves, with the endpoints preservation, is constructed using an extension of the method of [4], described in [3] (the input data: m = 5, α = β =, = l =, notation used being that of [3]). Now, the set of points g is the appropriate collection of all control points of the three resulting Bézier curves. We have repeated the computations for α = (,,) (with α = β =, in [3]), obtaining slightly worse results. The maximum errors max x T (x) (cf. (4.)) of the obtained results (see Fig. ) are about 5% less than those reported in [8, Table ] Figure : Constrained degree 5 polynomial approximation of the degree 6 rational triangular Bézier surface, with c = (,,). Upper part: Rational surface R 6 (x) and the approximating surface P 5 (x) with α = (,, ). Lower part: The error (x) plots corresponding to α = (,,) and α = (,, ), respectively. The maximum errors are.6 and.3, respectively. Notice that the original surface and the approximating surface agree at the corner points. 4. Example Let R be the composite rational surface, R R R 5 (y), y := ( x,x x ), x T R, (x) := R Y 5 (z), z := (x x, x ), x T Y, (4.3) where for C {R,Y}, R C 5 (w) := ω C rc B5 (w) Θ 5 ω C B5 (w), w T, (4.4) Θ 5

13 T being the standard triangle (.), and T R :={x = (x,x ) : x x, x }, T Y :={x = (x,x ) : x x, x }. The control points r C and the associated weights ωc of the rational patches (4.4) can be found at the webpage pwo/programs.html. The surface (4.3) is shown in Fig. 3 (the left plot). Now, we show how to obtain the degree m polynomial approximations of the rational subpatches, which form a C -continuous composite surface. o Let P Y m be the triangular Bézier patch of degree m approximating the rational patch R Y 5 without constraints, i.e., for c = (,,). Let py be the control points of the patch PY m. o We approximate the rational patch R R 5 by the triangular Bézier patch PR m of degree m, with constraints of the type c = (,,), where the points g Γ c m are chosen so that the C -continuity is obtained (cf. [6, Section 7]): g (,i) := p Y (i,), g (,i) := p Y (i+,) +(py (i+,) py (i,) ), i =,,...,m, i =,,...,m. The results, obtained for m = 5 and m = 6, with α = (,, ), are shown in Fig. 3. It can be observed that approximation of the rational composite surface (4.3) by two jointed polynomial patches of degree m = 5 (the middle plot) resulted in some visible differences. Increasing the degree of the approximating polynomials to m = 6 (the right plot) already gave a very satisfactory result Figure 3: The composite rational Bézier surface (4.3) (left) and the C -continuous composite polynomial surfaces of degree (5,5) (middle) and (6,6) (right). 3

14 Appendix A: The adaptive algorithm for computing the integrals I j We start with proving that the functions ψ t (3.6), t [,], and Φ (3.7) are analytic in a closed complex region containing the interval [,]. The assertion is clearly true in the case ofψ t (z) = ω (z,t), as the bivariate polynomial ω has no roots in [,] [,]. Similarly, for any s [,], the function z ω (s,z) is analytic in a rectangular region [ σ,+σ] [ σ,σ], where σ > does not depend on s. Thus, if s [, ], then ω (s,z) dz = C for any closed contour C [ σ,+σ] [ σ,σ]. Consequently, if α,β >, then ( ) ( ) ( s) α s β ω (s,z) ds dz = ( s) α s β ω (s,z) dz ds =. C C Therefore, by Morera s theorem (see, e.g., [, Chapter.3]), the function Φ(z) = J(α,β,ψ z ) is also analytic in [ σ, + σ] [ σ, σ]. The polynomials S Mt and ŜM in (3.8), which approximates the functions ψ t and Φ, are determined to satisfy the interpolation conditions S M (s j ) = ω (s j,t ), j M, M, Ŝ M (t ) = J(c,d;S M ), where, for simplicity, we denote M M t, and the interpolation nodes are given by s j = + In such a case, the coefficients γ [t ] i γ [t ] i = δ i,m M ˆγ l = δ l,m M M = cos jπ M, t = + and ˆγ l in (3.8) are given by M j= cos π M. ω (s j,t ) cos ijπ M, i M, J(c,d;S M )cos lπ M, l M, (A.) (A.) where δ j, is the Kronecer delta, the double prime means that the first and the last term of the sum are to be halved. The sets of coefficients (A.) can be very efficiently computed by means of the FFT with only O ( M log(m ) ) and O ( M log(m) ) arithmetic operations (cf. [7] or [4, Section 5.]; the authors recall that the FFT is not only fast, but also resistant to round-off errors). The presented approach is very convenient from the practical point of view because if the accuracy of the approximation (3.8) is not satisfactory, then we may double the value of M (or M) and reuse the previously computed results. The expansions (3.8) are accepted if M i=m 3 γ [t ] i max {, max i 3 γ[t ] i } 6ε and 4 M i=m 3 ˆγ i max {, max i 3 ˆγ i } 56ε, (A.3)

15 where ε is the computation precision. Here is the complete algorithm for efficient approximation of the whole set of integrals I j for j Ω c n+m. The functions (parameters) a, b, c, and d are defined in (3.4). Algorithm A. (Numerical computation of the set of integrals I j, j Ω c n+m) Let M := M, where M is an arbitrary integer greater than 7. Phase I. For {,,...,M} do the following Steps 6: Step. Computet according to (A.), and compute w i (t ) in (3.5) for i {,,...,n}. Step. Let M := M, where M is an arbitrary integer greater than 7. Step 3. Compute the values ω (s j,t ) for j {,,...,M }, where s j is given by (A.). Step 4. Using the FFT, compute the coefficients γ [t ] i ( i M ) defined in (A.). Step 5. If the first condition of (A.3) is not satisfied, then set M := M, compute the additional values ω (s j,t ) for j {,3,5,...,M }, and go to Step 4. Step 6. Compute the set of quantities W[t,j ] := J (c(j ),d(j );S M ), by applying Algorithm 3., for j {c,c +,...,N c c 3 }, where N = n+m. Phase II. For j {c,c +,...,N c 3 c } perform the following Steps 7 9: Step 7. Compute the coefficients ˆγ l ( l M) defined in (A.), by means of the FFT, using the stored values W[t,j ], M, in place of J ( c(j ),d(j );S M ). Step 8. If the second condition of (A.3) is not satisfied, then set M := M, and repeat Steps 6 for {,3,5,...,M }. Step 9. For j {c,c +,...,N c 3 j }, compute the integrals ( ) N ( ) I j I (j,j ) := A α J a(j),b(j );ŜM j using Algorithm 3.. Output: Set of the integrals I j for j Ω c n+m. Remar A. In Steps 4 and 7 of the above algorithm the coefficients γ [t ] i ( i M ) or ˆγ l ( l M) are recalculated each time the value of M or M is doubled. Such a procedure is advised if we use a system (lie, e.g., Maple or Matlab) equipped with a fast built-in FFT subroutine. If we are to program the FFT summation algorithm by ourselves, it should rather be done in such a way that practically all results computed for a previous value of M or M are reused (cf., e.g., [7]). In Table we present the results of the efficiency test, where the proposed quadrature (implemented in Maple) is compared to the Maple built-in integration subroutine. We have used the Bézier surface form Example 4. (n = 6), and set the parameters m and c to several different values, to obtain collections of integrals of different sizes (equal to Ω c n+m ). The experiment was performed in the 64-bit version of Maple 6 on the computer equipped with the 3.7GHz 5

16 Table : Comparison of the computation times of the Maple library function and the proposed adaptive quadrature (Algorithm A.) in the case of several collections of integrals (.8). The number of integrals which are to be computed equals Ω c n+m. Ω c computation time (in seconds) n+m Maple library function the proposed method FAILURE.89 i7 processor. All parameters α i in (.6) were set to (the efficiency of the proposed method does not depend on α, but the Maple built-in integration subroutine wors most efficiently with this selection). We have to eep in mind that Maple is an interpretative programming language with a pretty slow code interpreter. Therefore, the 4.7 times longer computation time of our quadrature, compared to the computation time of the Maple library function, in the case of -element collection of integrals is in fact an excellent result. The last collection of 99 integrals (n+m = 4) was too difficult to be computed by the Maple built-in subroutine (in 4-decimal digit arithmetic, assumed during this test). Appendix B: Hahn orthogonal polynomials The notation ( ) a,...,a r rf s z := b,...,b s = (a ) (a r )!(b ) (b s ) z is used for the generalized hypergeometric series (see, e.g., [,.]); here r, s Z +, z, a i,b j C, and (c) is the shifted factorial. The Hahn polynomials (see, e.g., [,.5]) h l (t) h l (t;a,b,m) := (a+) l ( M) l 3 F ( l,l+a+b+, t a+, M where l =,,...,M, a, b >, and M N, satisfy the recurrence relation ), (B.) h l+ (t) = A l (t,m)h l (t)+b l (M)h l (t), l ; h (t) ; h (t), (B.) with the coefficients A l (t,m) := C l (l +s ) t D l E l, B l (M) := D l E l, (B.3) where s := a+b+, C l := (l+s+)/[(l +s)(l+s )], D l := C l l(l+m +s)(l+b), and E l := (l+a+)(m l). Remar B. A linear combination of Hahn polynomials, s N (t) := N i= γ ih i (t;a,b,m), can be summed using the following Clenshaw s algorithm (see, e.g., [4, Thm 3..]). Compute the 6

17 sequence V,V,...,V n+ from V i := γ i +A i (t;m)v i+ +B i+ (M)V i+, i = N,N,...,, with V N+ = V N+ =, where the coefficients A i (t;m) and B i (M) are defined by (B.3). Then s N (t) = V. References [] L.V. Ahlfors, Complex Analysis, 3rd Ed., McGraw-Hill, 979. [] G.E. Andrews, R. Asey, R. Roy, Special Functions, Cambridge Univ. Press, Cambridge, 999. [3] J. Chen, G.J. Wang, Progressive-iterative approximation for triangular Bézier surfaces, Comp. Aided-Design 43 () [4] G. Dahlquist, A. Björc, Numerical Methods in Scientific Computing, vol. I, SIAM, Philadelphia, 8. [5] G. Farin, Triangular Bernstein-Bézier patches, Comput. Aided Geom. Design 3 (986) [6] G. Farin, Curves and Surfaces for Computer-Aided Geometric Design. A Practical Guide, 5th ed., Academic Press, Boston,. [7] W.M. Gentleman, Implementing Clenshaw-Curtis quadrature II. Computing the cosine transformation, Comm. ACM 5 (97) [8] Q.Q. Hu, An iterative algorithm for polynomial approximation of rational triangular Bézier surfaces, Appl. Math. Comput. 9 (3) [9] P. Keller, A method for indefinite integration of oscillatory and singular functions, Numer. Algor. 46 (7) 9 5. [] R. Koeoe, R.F. Swarttouw, The Asey scheme of hypergeometric orthogonal polynomials and its q-analogue, Rep. 98-7, Fac. Techn. Math. Informatics, Delft Univ. of Technology, Delft, 998. [] S. Lewanowicz, P. Keller, P. Woźny, Bézier form of dual bivariate Bernstein polynomials, arxiv:5.846 [math.na] (5). [] S. Lewanowicz, P. Woźny, Connections between two-variable Bernstein and Jacobi polynomials on the triangle, J. Comput. Appl. Math. 97 (6) [3] S. Lewanowicz, P. Woźny, P. Keller, Weighted polynomial approximation of rational Bézier curves, arxiv: [math.na] (5). [4] S. Lewanowicz, P. Woźny, P. Keller, Polynomial approximation of rational Bézier curves with constraints, Numer. Algor. 59 () [5] A. Rababah, Distances with rational triangular Bézier surfaces, Appl. Math. Comp. 6 (5) [6] T.J. Rivlin, Chebyshev Polynomials: From Approximation Theory to Algebra and Number Theory, nd ed., Wiley, New Yor, 99. [7] R. Sharma, Conversion of a rational polynomial in triangular Bernstein-Bézier form to polynomial in triangular Bernstein-Bézier form, Internat. J. Comput. Appl. Math. 8 (3) [8] P. Woźny, S. Lewanowicz, Constrained multi-degree reduction of triangular Bézier surfaces using dual Bernstein polynomials, J. Comput. Appl. Math. 35 () [9] P. Woźny, S. Lewanowicz, Multi-degree reduction of Bézier curves with constraints, using dual Bernstein basis polynomials, Comput. Aided Geom. Design 6 (9) [] H.X. Xu, G.J. Wang, Approximating rational triangular Bézier surfaces by polynomial triangular Bézier surfaces, J. Comput. Appl. Math. 8 (9) [] H.X. Xu, G.J. Wang, New algorithm of polynomial triangular B-B surfaces approximation to rational triangular B-B surfaces, J. Inform. Comput. Sci. 7 () [] L. Zhang, G.J. Wang, An effective algorithm to approximate rational triangular B-B surfaces using polynomial forms, Chinese J. Computers 9 (6) 5 6 (in Chinese). 7