 Research
 Open access
 Published:
Multidegree reduction of disk Bézier curves with \(G^{0}\) and \(G^{1}\)continuity
Journal of Inequalities and Applications volume 2015, Article number: 307 (2015)
Abstract
In this paper, we propose methods to find a \(G^{k}\)multidegree reduction of disk Bézier curves for \(k=0,1\). The methods are based on degree reducing the center and radius curves using \(G^{k}\)continuity and minimizing the corresponding errors. Some examples and comparisons are given to illustrate the efficiency and simplicity of the proposed methods. The examples show that by using our proposed methods, we get \(G^{0}\), and \(G^{1}\)degree reductions, while having less errors than existing methods, which are without any continuity conditions.
1 Introduction and preliminaries
Lack of robustness is a fundamental issue in computer aided design and solid modeling. Taking disks in the plane as control points of Bézier curves is an appropriate approach toward solving this issue because it gives a Bézier curve with tolerance; see [1]. The degree reduction of curves is an important issue; in \(G^{k}\)degree reduction, we approximate a disk Bézier curve of degree n by a disk Bézier curve of degree m, \(m< n\), under the satisfaction of boundary conditions and minimum error requirement. The issue of degree reduction of Bézier curves has been tackled by many researchers; see [2–9]. Unlikely, degree reduction of disk Bézier curves has not been tackled by many researchers.
We end this section by addressing related preliminaries like defining the disk Bézier curves, the Gram matrix, and the delta operator.
Let \(\mathbb{R}\) be the set of real numbers and \(\mathbb{R}^{+}\) be the set of nonnegative real numbers. A disk centered at \(p=(x_{0},y_{0})\in\mathbb{R}^{2}\) with radius \(r_{0}\in \mathbb{R}^{+}\) is given by
For any two disks \((p)=(x_{0},y_{0})_{r_{0}}\) and \((q)=(x_{1},y_{1})_{r_{1}}\), addition and scalar multiplication are defined as follows:
where \(s\) is the absolute value of s.
For constants \(s_{i}\) and disks \((x_{i},y_{i})_{r_{i}}\), the last definition can be generalized as
A disk Bézier curve is defined as follows.
Definition 1
(Disk Bézier curves)
A disk Bézier curve of degree n corresponding to \(n+1\) disks \((p_{i})=(x_{i},y_{i})_{r_{i}}\), \(i=0,1,\ldots,n\), is defined as follows:
where
are the Bernstein polynomials of degree n.
See Figure 1 for an example of a cubic disk Bézier curve. For more on Bernstein polynomials and Bézier curves, see [10–12].
The disk Bézier curve \((P_{n})(t)\) can also be written as \((P_{n})(t):=(p(t))_{r(t)}\), where
are the center and the radius curves of \((P_{n})(t)\) with control points \(p_{i}=(x_{i},y_{i})\), \(i=0,1,\ldots,n\), and \(r_{i}\), \(i=0,1,\ldots ,n\), respectively.
The Gram matrix \(G_{m,n}\) is the \((m + 1) \times(n + 1)\)matrix, whose elements are
For \(n=m\), the matrix \(G_{m,m}\) is real, symmetric, and positive definite [13].
In the sections on \(G^{0}\), and \(G^{1}\)continuity, the submatrices of the Gram matrix \(G_{m,n}\) are defined. Each section uses the same notation for these submatrices, but with different dimensions. It should be clear that the form used within a section is the one defined within that section.
The delta operator Δ on the disks \((p_{i})\) is defined as follows: \(\Delta^{0} (p_{i}) = (p_{i})\), \(\Delta^{k} (p_{i}) = \Delta^{k1}(p_{i+1})  \Delta^{k1}(p_{i})\), \(k \geq1\), \(i=0,1 , \ldots,nk\).
For more on the disk and interval Bézier curves, see [14–20].
2 Geometric continuity of disk Bézier curves
Geometric continuity of two disk Bézier curves is independent of their parametrization and denoted by \(G^{k}\); it produces additional free parameters; see [21–23]. The definition of \(G^{k}\)continuity of Bézier curves is generalized to the case of disk Bézier curves. Thus, the disk Bézier curves \((P_{n})(t)\) and \((Q_{m})(t)\) are said to be \(G^{k}\)continuous at \(t=0,1\) if there exists a strictly increasing parametrization \(s(t): [0,1] \rightarrow[0,1]\) with \(s(0)=0\), \(s(1)=1\), and
\(G^{k}\)continuity furnishes the shape of the approximating curve with additional design parameters that are used in \(G^{k}\)degree reduction as additional parameters to reduce the error.
3 Degree reduction of disk Bézier curves
Given a disk Bézier curve \((P_{n})(t)\) of degree n, a disk Bézier curve \((Q_{m})(t)\) of degree m, \(m< n\), has to be found such that \((Q_{m})(t)\) bounds \((P_{n})(t)\) as tight as possible. Chen and Yang proposed in [15] an algorithm to degree reduce disk Bézier curves; they consider two cases, constrained degree reduction and nonconstrained degree reduction. Hu and Wang presented in [16] a method of degree reduction without any boundary conditions based on quadratic programming. Jiang and Tan considered in [17] degree reduction methods of disk SaidBall curves with and without interpolation of the endpoints. In this paper, geometric continuity conditions between the adjacent disk Bézier curves are considered; this means that \((Q_{m})(t)\) has to satisfy the following three conditions:

(1)
\((P_{n})(t)\) and \((Q_{m})(t)\) are \(G^{k}\)continuous at the end disks, \(t=0,1\), for \(k=0,1\),

(2)
the \(L_{2}\)error between \((P_{n})(t)\) and \((Q_{m})(t)\) is minimum, and

(3)
\((P_{n})(t) \subseteq(Q_{m} )(t)\), \(0 \leq t \leq1\).
The curves \((P_{n})(t)\) and \((Q_{m})(t)\) can be written in matrix form as
where \(B_{n}=(B^{n}_{0}(t),B^{n}_{1}(t),\ldots, B^{n}_{n}(t))\) and \((P_{n})=((p_{0}),\ldots,(p_{n}))^{t}\) are a row vector formed by Bernstein polynomials and a column vector formed by the Bézier disks, respectively. Similarly, \(B_{m}\) and \((Q_{m})\) are defined. We have to note the mixed use of the notations. For example \((Q_{m})\) denotes a disk, a disk Bézier curve, or a column vector, as should be clear from the context.
We degree reduce the disk Bézier curve by first applying geometric continuity conditions at the end disks, i.e. under the satisfaction of one of the conditions: \(G^{0}\)continuity or \(G^{1}\)continuity at the boundaries. To minimize
we use the \(L_{2}\)norm to measure and minimize the distances between the center Bézier curves p and q, and the radius Bézier curves r and r̃. To ensure that \((P_{n})(t) \subseteq(Q_{m} )(t)\), we can add terms like \(d_{1}(t) = \ p(t)q(t)\_{2}\) and \(d_{2}(t) =  \tilde{r}(t) r(t)_{2}\) or both to the radius curve of \((Q_{m} )(t)\) if needed.
In the following sections, we investigate, in particular, the cases of \(G^{0}\), and \(G^{1}\)continuity with degree reduction of disk Bézier curves.
4 \(G^{0}\)Degree reduction
\(G^{0}\)continuity of \((Q_{m})(t)\) and \((P_{n})(t)\) at the disks corresponding to \(t=0,1\), requires the satisfaction of the following two conditions:
This means that the two curves have to have common end disks, i.e.
The disks \((q_{0})\) and \((q_{m}) \) are determined by \(G^{0}\)continuity conditions at the boundaries. The elements of \((Q_{m})\) are decomposed into two parts. The part of constrained control disks \((Q_{m})^{c}= [ (q_{0}),(q_{m}) ]^{t}\) and the part of free control disks \((Q_{m})^{f}= (Q_{m}) \backslash(Q_{m})^{c}= [ (q_{1}), \ldots ,(q_{m1})]^{t}\). Similarly, \(B_{m}\) is decomposed. Accordingly, the error term between \((Q_{m})(t)\) and \((P_{n})(t)\) becomes
In the last equation, the vector \((Q_{m})^{f}\) is unknown and thus ε attains its minimum when the partial derivatives of ε are zeros. Differentiating with respect to the unknown control disks \((Q_{m})^{f}\), we get
Evaluating the integrals and equating to zero gives
where
and \(G_{m,n}( \ldots; \ldots)\) is the submatrix of \(G_{m,n}\) formed by the indicated rows and columns.
The system in (11) consists of both points and univariate variables. The center curve of the disk Bézier curve is expanded into x and y components together with their radius curve. Therefore, our system of equations has \(\tilde{x}_{k}\), \(\tilde {y}_{k}\), \(\tilde{r}_{k}\) as variables for \(k=1, \ldots, m1\). The following vectors are defined to express the linear system in explicit form:
Let ⊕ be the direct sum and define the matrices
The matrix \(G^{F}_{m,m}\) inherits the properties of the Gram matrix \(G^{f}_{m,m}\). The coordinate form of the expansion of (11) becomes
The last step converts the system (11) that contains disks into a linear system of coordinates of the disks, namely the x, y, and radius r coordinates. Since the matrix \(G^{F}_{m,m}\) is not singular; it is real, symmetric, and positive definite; therefore, the solution of the system always exists and has the form
5 \(G^{1}\)Degree reduction
\(G^{1}\)continuity of \((Q_{m})(t)\) and \((P_{n})(t)\) at the disks corresponding to \(t=0,1\), requires the two curves \((P_{n})(t)\) and \((Q_{m})(t)\) to be \(G^{0}\)continuous and satisfy further the following conditions:
This means that the direction of the tangents at the two end disks of \((Q_{m})\) and \((P_{n})\) should coincide, but they need not to be of equal lengths. As in [9], \(s'(i)=\delta_{i}\), \(i=0,1\), are used. This substitution gives
We can solve (9) and (16) for the two control disks at either end of the curve:
The disks \((q_{0})\), \((q_{1})\), \((q_{m1})\), and \((q_{m}) \) are determined by \(G^{1}\)continuity conditions at the boundaries; accordingly, the elements of \((Q_{m})\) are decomposed into two parts. The part of constrained control disks \((Q_{m})^{c}= [ (q_{0}), (q_{1}), (q_{m1}), (q_{m}) ]^{t}\) and the part of free control disks \((Q_{m})^{f}= (Q_{m}) \backslash(Q_{m})^{c}= [ (q_{2}), \ldots, (q_{m2})]^{t}\). Similarly, \(B_{m}\) is decomposed. Thus, the error term becomes
The error \(\varepsilon:=\varepsilon((Q_{m})^{f}, \delta_{0}, \delta_{1})\) is a function of \((Q_{m})^{f}\), \(\delta_{0}\), and \(\delta_{1}\). Differentiating with respect to the unknown control disks \((Q_{m})^{f}\) we get
Evaluating the integral and equating to zero gives
where
and \(G_{m,n}( \ldots; \ldots)\) is the submatrix of \(G_{m,n}\) formed by the indicated rows and columns.
Differentiating (17) with respect to \(\delta_{i}\), \(i=0,1\) and equating to zero gives
where, for \(j=1,m1\),
The center curve of the disk Bézier curve is expanded into x and y components together with the radius curve. Therefore, the variables of our system of equations are \(\tilde {x}_{k}\), \(\tilde{y}_{k}\), \(\tilde{r}_{k}\), \(k=2, \ldots, m2\), \(\delta_{0}\), and \(\delta_{1}\). To express the system in a clear form, we have to decompose each of \(q_{1}\) and \(q_{m1}\) into a constant part and a part involving \(\delta_{0}\) and \(\delta_{1}\), respectively. Let \(v_{1}\) and \({v}_{m1}\) be the constant parts of \(q_{1}\) and \(q_{m1}\), respectively. Similarly \(\tilde{r}_{1}\) and \(\tilde{r}_{m1}\) are decomposed. Let \(s_{1}\) and \({s}_{m1}\) be the constant parts of \(\tilde{r}_{1}\) and \(\tilde{r}_{m1}\), respectively. Hence
The following vectors are defined to express the linear system in explicit form:
Define the matrices A, B, \(L_{m,n}^{c}\), \(L_{m,m}^{cc}\), \(L_{m,m}^{fc}\), \(L_{m,n}^{r}\), \(L_{m,m}^{cr}\), \(L_{m,m}^{fr}\) as follows:
Let ⊕ be the direct sum. Define the matrices
Further define \(L_{m,n}^{+}\), \(L_{m,m}^{c+}\), \(L_{m,m}^{f+}\) as
After some mathematical operations the coordinate form of the expansion of (18) together with (19) and (20) becomes
where
The square matrix \(G^{F}_{m,m}\) is a block matrix formed by \(G^{f++}_{m,m}\), \((L_{m,m}^{f+})^{t}\), \(L_{m,m}^{f+}\), and \({A \oplus B}\). The matrix \(G^{f++}_{m,m}\) is positive definite, and the matrix \({A \oplus B}\), excluding the \(\Delta c_{0}\) and \(\Delta c_{n1}\) parts, is also positive definite. Therefore the matrix \(G^{F}_{m,m}\) is nonsingular; consequently, the unknowns in (24) are given by
In the following section, this method is used to illustrate some examples.
6 Examples and comparisons
In this section, we illustrate four examples to demonstrate the effectiveness of the proposed methods. The first two examples are from [15], the third example is from [17], and the last example used is from [16]. Regarding the error functions, throughout this paper different kinds of lines are used to represent the cases as follows:

longdashed: WBdegree reduction without any boundary condition,

shortdashed: \(G^{0}\)degree reduction,

dotted: \(G^{1}\)degree reduction.
Example 1
(see [15])
Consider the disk Bézier curve \((P_{n})(t)\) of degree nine with control disks:
We use WB, \(G^{0}\) and \(G^{1}\)degree reduction methods to reduce the degree of \((P_{n})(t)\) to degree eight disk Bézier curve. Figure 2 depicts the original curve and the \(G^{1}\)degree reduced curve. The corresponding \(G^{0}\) and WBdegree reduced disk Bézier curves are depicted in Figure 3. The error functions for the three methods are shown in Figure 4.
The methods in [15] of linear programming (LP1, LPM) and constrained linear programming (CLP1, CLPM) degree reductions give errors of 0.14, 0.25, 0.15, 0.18, respectively, while the proposed methods of WB, \(G^{0}\), and \(G^{1}\)degree reductions have errors of 0.04, 0.025, 0.029, respectively. This example shows that the methods proposed in this paper give better results than existing methods besides satisfying additional boundary conditions.
Example 2
(see [15])
Given the disk Bézier curve \((P_{n})(t)\) of degree six with control disks:
\((P_{n})(t)\) is reduced to a disk Bézier curve \((Q_{m})(t)\) of degree five using WB, \(G^{0}\), and \(G^{1}\)degree reduction methods. The error functions for the proposed three methods are shown in Figure 5.
The methods in [15] are based on linear programming (LP1, LPM) and constrained linear programming (CLP1, CLPM) degree reduction methods and give errors of 6.2, 6.2, 12.6, 11.6, respectively. They also approached the problem by making each control point of the degree reducing disk Bézier curve bound the original one and got an error of 70. The proposed methods in this paper with WB, \(G^{0}\), and \(G^{1}\)degree reductions have errors of 7, 5.1, 4.9, respectively.
Example 3
(see [17])
Consider the disk Bézier curve \((P_{n})(t)\) of degree seven with control disks:
\((P_{n})(t)\) is reduced to degree six. The methods in [17] without interpolation (WIDR) and with interpolation (IDR) degree reductions of SaidBall curves give errors of 3, 4, respectively.
The proposed methods of WB, \(G^{0}\) and \(G^{1}\)degree reductions give errors of 4, 2.6, 2.5, respectively. The error functions for the three methods are shown in Figure 6.
Example 4
(see [16])
Consider the disk Bézier curve \((P_{n})(t)\) of degree eight with control disks:
We use WB, \(G^{0}\), \(G^{1}\)methods to reduce the degree of \((P_{n})(t)\) to a degree five disk Bézier curve. The error functions for the three methods are shown in Figure 7 with maximum errors of 5, 4.5, 14, respectively. Hu and Wang used in [16] a degree reduction method based on quadratic programming without any boundary condition and got an error of 9.4.
Examples 14 show that the proposed WB, \(G^{0}\), \(G^{1}\)degree reduction methods in this paper give errors that are less than existing methods with and without continuity conditions; moreover, our methods are the first methods of this kind that consider geometric continuity with degree reductions.
Imposing boundary conditions consumes free parameters that can be used to minimize the error. That is, using the same method of degree reduction without boundary conditions gives less error than with boundary conditions.
Although it is not fair to compare the numerical results of a method with boundary conditions to a method without boundary conditions, our proposed methods of degree reduction give errors that are smaller than existing methods. The numerical results are summarized in Table 1.
7 Conclusions
In this paper, we presented WB, \(G^{0}\), and \(G^{1}\)multidegree reduction methods of disk Bézier curves. The significance of our work is quite interesting, since the center curve and the radius of disk Bézier curve are degree reduced simultaneously, unlike other methods. This reduces the computational expenses. The examples show the effectiveness of the proposed methods; they tightly bound the original disk Bézier curve very effectively. Our proposed \(G^{0}\) and \(G^{1}\)degree reduction methods are better than the existing methods; see the examples and comparisons with examples in [15–17]. The benefits and features of the proposed methods can be summarized as follows:

Continuity conditions are considered, while most existing methods do not consider any boundary conditions.

Geometric conditions are considered with the method of degree reduction for the first time, which makes the methods novel and new.

The degree reduction is done for the center Bézier curve and the radius curve simultaneously, which minimizes the computational cost of degree reducing disk Bézier curves.

The numerical results show that our proposed methods have error less than existing methods besides the advantages mentioned above.

Existing methods are impractical because disk Bézier curves do not exist alone; they are pieces of splines and degree reducing them without boundary conditions gives a spline that is not continuous.
It worth noting that the proposed methods in this paper are the first to consider geometric continuity with degree reductions.
References
Lin, Q, Rokne, J: Disk Bézier curves. Comput. Aided Geom. Des. 15, 721737 (1998)
Bogacki, P, Weinstein, SE, Xu, Y: Degree reduction of Bézier curves by uniform approximation with endpoint interpolation. Comput. Aided Des. 27(9), 651661 (1995)
Brunnett, G, Schreiber, T, Braun, J: The geometry of optimal degree reduction of Bézier curves. Comput. Aided Geom. Des. 13, 773788 (1996)
Eck, M: Least squares degree reduction of Bézier curves. Comput. Aided Des. 27(11), 845853 (1995)
Lachance, MA: Chebyshev economization for parametric surfaces. Comput. Aided Geom. Des. 5(3), 195205 (1988)
Rababah, A, Lee, BG, Yoo, J: A simple matrix form for degree reduction of Bézier curves using ChebyshevBernstein basis transformations. Appl. Math. Comput. 181, 310318 (2006)
Rababah, A, Lee, BG, Yoo, J: Multiple degree reduction and elevation of Bézier curves using JacobiBernstein basis transformations. Numer. Funct. Anal. Optim. 28(910), 11791196 (2007)
Rababah, A, Mann, S: Iterative process for \(G^{2}\)multidegree reduction of Bézier curves. Appl. Math. Comput. 217(20), 81268133 (2011)
Rababah, A, Mann, S: Linear methods for \(G^{1}\), \(G^{2}\), and \(G^{3}\)multidegree reduction of Bézier curves. Comput. Aided Des. 45, 405414 (2013)
Farin, G: Curves and Surfaces for Computer Aided Geometric Design. Academic Press, Boston (1993)
Farouki, RT: The Bernstein polynomial basis: a centennial retrospective. Comput. Aided Geom. Des. 29, 379419 (2012)
Farouki, RT, Goodman, TNT: On the optimal stability of the Bernstein basis. Math. Comput. 65, 15531566 (1996)
Rababah, A: Distance for degree raising and reduction of triangular Bézier surfaces. J. Comput. Appl. Math. 158, 233241 (2003)
Chen, F, Lou, W: Degree reduction of interval Bézier curves. Comput. Aided Des. 32(6), 571582 (2000)
Chen, F, Yang, W: Degree reduction of disk Bézier curves. Comput. Aided Geom. Des. 21, 263280 (2004)
Hu, Q, Wang, G: Multidegree reduction of disk Bézier curves in \(L_{2}\) norm. J. Inf. Comput. Sci. 7(5), 10451057 (2010)
Jiang, P, Tan, J: Degree reduction of disk SaidBall curves. J. Comput. Inf. Syst. 1(3), 389398 (2005)
Mudur, SP, Koparkar, PA: Interval methods for processing geometric objects. IEEE Comput. Graph. Appl. 4(2), 717 (1984)
Patrikalakis, NM: Robustness issues in geometric and solid modeling. Comput. Aided Des. 32, 629689 (2000)
Sederberg, TW, Farouki, RT: Approximation by interval Bézier curves. IEEE Comput. Graph. Appl. 15(2), 8795 (1992)
Rababah, A: Taylor theorem for planer curves. Proc. Am. Math. Soc. 119(3), 803810 (1993)
Rababah, A: High order approximation method for curves. Comput. Aided Geom. Des. 12, 89102 (1995)
Rababah, A: High accuracy Hermite approximation for space curves in \(\mathbb{R}^{d}\). J. Math. Anal. Appl. 325, 920931 (2007)
Acknowledgements
The authors would like to thank the referees for valuable comments that lead to improve this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Rababah, A., Hamza, Y.F. Multidegree reduction of disk Bézier curves with \(G^{0}\) and \(G^{1}\)continuity. J Inequal Appl 2015, 307 (2015). https://doi.org/10.1186/s136600150833y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136600150833y