Continuity conditions for Q-Bézier curves of degree n

As a new method of representing curves, Q-Bézier curves not only exhibit the beneficial properties of Bézier curves but also allow effective shape adjustment by changing multiple shape parameters. In order to resolve the problem of not being able to construct complex curves using a single curve, we study the geometric continuity conditions for Q-Bézier curves of degree n. Following the analysis of basis functions and terminal properties of Q-Bézier curves of degree n, the continuity conditions of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathrm{G}^{1}$\end{document}G1 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathrm{G}^{2}$\end{document}G2 between two adjacent Q-Bézier curves are proposed. In addition, we discuss the specific steps of smooth continuity for Q-Bézier curves and analyze the influence rules of shape parameters for Q-Bézier curves. The modeling examples show that the proposed method is effective and easy to achieve, making it useful for constructing complex curves for engineering design.


Introduction
Parametric curves are not only an important research area in CAD/CAM, but also a powerful tool for shape design. Classical Bézier curves are constructed using Bernstein basis functions, which have a simple structure and are easy to use. The latter have already become one of the most important methods in the CAD/CAM field. However, the shapes of Bézier curves are only determined by the control points, which causes issues for engineering design. In order to overcome this shortcoming, rational Bézier curves can be used, and their shapes can be modified or adjusted by introducing weight factors without changing their control points. However, the introduction of rational fractions produces some other issues, such as complex calculations, cumbersome integrals, and repetitive differentiation [, ].
In order to maintain the advantages of the Bézier method and enhance the shape adjustability of the curves, scholars have constructed many non-rational Bézier curves with shape parameters [-]. A set of generalized Bernstein basis functions was proposed in [], constructing a type of Q-Bézier curve with multiple shape parameters. These generalized Bernstein basis functions inherited many of the beneficial properties of Bernstein basis functions, and the Q-Bézier curves also inherited many beneficial properties of Bézier curves. Moreover, the Q-Bézier curve also had flexible shape adjustability, with the shape of the curve being easily modified by changing shape parameters, thus creating complex curves with more degrees of freedom. Therefore, Q-Bézier curves can be widely used in various CAD/CAM systems.
As the Q-Bézier curve is a type of polynomial curve, it has inevitably inherited the instability that calculations of high-order polynomials suffer from. Consequently, the control of the polygon on the curve will be weakened when the degree of the Q-Bézier curve is too high; by contrast, a lower degree cannot express a complex curve any better. Based on this, in order to describe a Q-Bézier curve with more extensive applications in the CAD/CAM field, in this paper we derive the geometric continuity conditions between two adjacent Q-Bézier curves by analyzing the basis functions and terminal properties of the Q-Bézier curve. The resultant curves are flexible enough to be used in a wide variety of engineering design applications.

Generalized Bernstein basis functions
Definition  For any natural number n (n ≥ ) and n arbitrary real values of λ i (i = , , . . . , n), the following polynomial functions in t are called the generalized Bernstein basis functions of degree n, associated with the shape where are the Bernstein basis functions of degree n + . Let n i= α i b i,n (t) = , where α i ∈ R, i = , , . . . , n. Then, according to (), we can obtain where , i = , , . . . , n.

Definition and properties of Q-Bézier curve
Definition  Let points P i ∈ R d (d = , ; i = , , . . . , n), then the polynomial curve of degree n associated with shape parameters {λ i } n i= , a so-called Q-Bézier curve, can be defined as follows []: Bernstein basis functions of degree n defined by (). According to the definition and properties of the generalized Bernstein basis functions, it is easy to see that the Q-Bézier curve has inherited many of the characteristics of the Bézier curve, such as symmetry, convex hull property, geometric invariance, etc. In addition, the Q-Bézier curve has good shape adjustability, with the shape of the curve being determined by its own control points and shape parameters. Specifically, with shape parameters λ i =  (i = , , . . . , n), the Q-Bézier curve degenerates to a classical Bézier curve.

G 1 and G 2 smooth continuity conditions for Q-Bézier curves
, the continuity conditions G  and G  for Q-Bézier curves are shown by the following equations.

Smooth continuity conditions of G 1 for Q-Bézier curves
Theorem  For two adjacent Q-Bézier curves r  (t) and r  (t), the necessary and sufficient conditions of G  smooth continuity at the common joint are given by where α >  is a constant.
Proof If Q-Bézier curves r  (t) and r  (t) need to reach G  continuity, they are required to reach G  continuity at the common joint first, which means combining the end of r  (t) with the beginning of r  (t), that is, Also, they should satisfy the same tangent direction at the joint, which means According to the terminal properties () of the Q-Bézier curve, the above equation can be simplified to By combining with (), () can be expressed in the form of (), thus proving Theorem .
The geometric significance of G  continuity for two Q-Bézier curves at the joint is that the control points P n- , P n (= P *  ) and P *  should have collinear ordering when r  (t) and r  (t) combine.
Specifically, let α =  in (), then () is equal to Now, the continuity conditions of G  degrade into the corresponding C  continuity conditions.

Smooth continuity conditions of G 2 for Q-Bézier curves
Theorem  For two adjacent Q-Bézier curves r  (t) and r  (t), the necessary and sufficient conditions of G  smooth continuity at the common joint are given by where α >  is a constant, and γ is an arbitrary constant.
Proof If Q-Bézier curves r  (t) and r  (t) reach G  continuity, they are required to reach G  continuity at the common joint first, which means ⎧ ⎨ where the value of α is the same as that in (). Suppose that the vice-normal vector is D  for r  (t) at t =  and D  for r  (t), then we have Then the G  continuity required for the vice-normal vector of r  (t) and r  (t) has the same direction at the joint. Combining () with (), we obtain the four vectors r  (), r  (), r  (), and r  () which are coplanar. Thus, using () we can obtain where β >  is an arbitrary constant. If the curvatures are κ  () and κ  () for the curves of r  (t) and r  (t), respectively, we obtain As G  continuity is required, the curvatures of κ  () and κ  () have the same value at the joint, i.e., κ  () = κ  (). Substituting () and () into (), we have Using (), we can see that β = α  . Putting the value of β into (), we obtain where the value of α is equal to that in (). From the terminal properties of the Q-Bézier curve given in Theorem , we can calculate the tangent vector for r  (t) and r  (t), which substituted into () yields α m + λ *  + n + λ n P n -n(n -) + λ n- + nλ n α  (m m + λ *  ) In conclusion, if the two Q-Bézier curves satisfy () and () simultaneously, then they reach G  smooth continuity at the joint, thus proving Theorem .
In particular, let α = , γ =  in (). Then () becomes This describes the smooth continuity conditions of C  for Q-Bézier curves. Note that the C  smooth continuity conditions in [] are incorrect because of an error in the secondorder terminal properties given in []. This was because equation (.) in [] was incorrectly stated.

Steps and examples of smooth continuity for Q-Bézier curves
Using the smooth continuity conditions between Q-Bézier curves and combining with the flexible shape adjustability of these curves, we now take G  smooth continuity as an example to discuss the basic steps of smooth continuity between Q-Bézier curves.
According to the proof of Theorem , the steps for smooth continuity for two Q-Bézier curves are given by:  for any degree n, with shape parameters λ i (i = , , . . . , n) and control points P i (i = , , . . . , n) of the initial curve r  (t), then  let P n = P *  so that r  (t) and r  (t) have a common control point, which makes the curves reach G  continuity;  given the degree m and shape parameters λ * i (i = , , . . . , m) of r  (t), as well as constant α > , according to the second equation in (), calculate the second control point P *  of r  (t).  On the basis of steps  and  , given an arbitrary constant γ , using the third equation in (), calculate the third control point P *  of r  (t).  Given the remaining m - control points P * i (i = , , . . . , m) of r  (t), then we can achieve G  smooth continuity between two adjacent Q-Bézier curves.
Obviously, repeating the above smooth continuity steps can achieve G  smooth continuity between multiple Q-Bézier curves. A similar process can be used to obtain the steps for G  smooth continuity. Figure  shows G  smooth continuity of a cubic curve, a quartic curve, and a quintic curve from left to right. The first example shows the joining of a cubic curve and a quartic curve, where the shape parameters are (λ  , λ  , λ  ) = (-, , ) and (λ  , λ  , λ  , λ  ) =  (, , -, ), respectively, as well as a scale factor of α = . The second example is a quartic Q-Bézier curve spliced with a quintic Q-Bézier curve, where the shape parameters are (λ  , λ  , λ  , λ  , λ  ) = (-, -, , , ) for the quintic Q-Bézier curve, with a scale factor of α = /. The broken lines indicate the control polygons of the Q-Bézier curves; the circular points indicate control points for the curve. Figure  shows an example of 'Type ' modeling, based on the G  smooth continuity conditions between two quintic Q-Bézier curves. The shape parameters for the top and bottom curves are (λ  , λ  , λ  , λ  , λ  ) = (, -, -, , .) and (λ  , λ  , λ  , λ  , λ  ) = (, , -, ., ), respectively. The scale factors in Figures (a) and (b) are α = / and α = /, respectively. Here, the broken lines and circular points in Figure  indicate the same features as in Figure . As can be seen from Figure , the value of the scale factor α for various G  continuity conditions can alter the position of the second control point of the bottom curve, thus changing the bottom curve's shape. Figure  shows an example of a butterfly curve using the G  continuity conditions. The butterfly curve is constructed using eight quadric Q-Bézier curves and four

Shape adjustment of the smooth continuity between Q-Bézier curves
Compared to classical Bézier curves, Q-Bézier curves have multiple shape parameters, allowing adjustment of the local or global shape. However, altering the control points at the same time as the shape parameters does not affect the smoothness of the curve. In this paper, we will now examine the issue of shape adjustment of G  and G  continuity using, as an example, the smooth continuity between two Q-Bézier curves. A similar argument can be applied to multiple curves.
Proposition  In the case where the control points and G  continuity for the splicing curves are not changed, we can adjust the local and global shape of the splicing curves.
Proof From Theorem , G  continuity only needs to have the same tangent direction at the common joint between adjacent Q-Bézier curves, but modifying any shape parameters for part of curves simply impacts on the size of the tangent vector without changing the direction. Thus, Proposition  is proved.
Specifically, referring to a Q-Bézier curve with multiple shape parameters, the local shape of the splicing curves can all be modified so long as changing shape parameters. Such a property gives the Q-Bézier curves their flexible shape adjustability. Figure  shows examples of local and global shape adjustment of G  smooth continuity for the splicing curves shown in Figure (a). The solid lines represent the initial curves, with dashed lines and dotted lines showing the modified curves. The broken lines and circular points in Figure  indicate the same features as in Figure . Figure (a) shows local shape adjustment by altering one shape parameter of the second curve. It can be seen from Figure (a) that the shape of a part of one curve is affected by changing a single shape parameter. Figure (b) shows local shape adjustment through modification of the  shape parameters of the G  smooth continuity conditions. Figure (c) shows global shape adjustment by changing the shape parameters of two splicing curves. This example shows the flexible shape adjustability of G  smooth continuity of the splicing curves.

Example 
Similarly, we can prove the following proposition.
Proposition  Based on G  smooth continuity of the splicing curves, the following conclusions can be reached:  If the control points and G  continuity for all the splicing curves are not changed, we can adjust the local shape of the splicing curves by altering shape parameters.  If G  smooth continuity is unchanged, then global shape adjustment of the splicing curves can be achieved by altering shape parameters and control points. Figure  shows the shape adjustment of G  smooth continuity for the splicing curves in Figure (a). The solid lines in Figure  indicate the initial curves, with the dashed lines and dotted lines representing curves with modified shape parameters. The broken lines and circular points in Figure  indicate the same features as in Figure . The asterisks indicate the modified control points. Figure (a) shows local shape adjustment by altering one of the shape parameters of the first curve. Figure (b) shows global shape adjustment by changing two control points of the second curve and the shape parameters of two sextic Q-Bézier curves.

Conclusions
In this paper, we described the G  and G  smooth continuity conditions between two adjacent Q-Bézier curves of degree n and analyzed the influence rules of shape parameters on the shapes of splicing curves, as well as the basic steps of smooth continuity. We feel our work is significant since our proposals help to simplify the construction and computer realization of complex curves as well as extend the conclusions presented in []. The modeling examples show the effectiveness of the proposed methods: our proposed G  and G  continuity conditions for Q-Bézier curves are better than the existing continuity conditions described in []. The benefits and features of the proposed methods can be summarized as follows: • Our proposed G  and G  continuity conditions for Q-Bézier curves of degree n extend the conclusions about the continuity condition given in []. • For a piecewise generalized Q-Bézier curve with G  or G  smooth continuity, we can adjust its global and local shape by changing the shape parameters.
• The continuity conditions proposed in this paper are not only intuitive and easy to implement, but also offer more degrees of freedom for the construction of complex curves used in engineering design. It is worth noting that the proposed methods in this paper are the first to consider the G  and G  geometric continuity conditions for Q-Bézier curves.