A Family of Even-Point Ternary Approximating Schemes

We presented a general formula to generate the family of even-point ternary approximating subdivision schemes with a shape parameter for describing curves. Some sufficient conditions for C0 to C7 continuity and approximation order for certain ranges of parameter are discussed. The proposed even-point ternary schemes compare remarkably with existing even-point ternary schemes because they are able to generate limit functions with higher smoothness and approximation order. In addition, we measured curvature and torsion that assist the quality of subdivided curves.


Introduction and Preliminaries
There are numbers of binary subdivision schemes in the literature.The interest in investigating arities higher than two has been started by Hassan et al. 1,2 .Nowadays, we have numbers of ternary schemes introduced by 3-7 and so forth, But the research communities are still gaining interest in introducing schemes higher than three arities i.e., quaternary, quinary, senary,. .., n-ary .Mustafa and Khan 8 introduced a new 4-point C 3 quaternary approximating subdivision scheme.Lian 9, 10 introduced 3-, 4-, 5-, and 6-point a-ary schemes.Lian 11 also offered 2m-point and 2m 1 -point interpolating a-ary schemes for curve design.
The 2-, 3-,. .., 6-point binary and ternary schemes are very common in the literature.The schemes involving convex combination of more or less than six points at coarse refinement level to insert a new point at next refinement level is introduced by Ko et al. 7 .They introduced 2n 2 -and 2n 4 -point binary schemes.Zheng et al. 12 investigated ternary interpolatory schemes with an odd number of control points, namely, 2n − 1 -point ternary interpolatory subdivision scheme.They also investigated ternary even symmetric ISRN Applied Mathematics 2n-point 13 and p-ary 14 approximating subdivision scheme and presented the general ternary even symmetric 2n-point approximating subdivision rule and design alternative smooth ternary subdivision scheme of higher order.Mustafa and Rehman 15 presented general formulae for the mask of 2b 4 -point n-ary approximating as well as interpolating subdivision schemes for any integers b ≥ 0 and n ≥ 2.
This motivates us to present the family of even-point ternary schemes with high smoothness and more degree of freedom for curve design.Proposed schemes not only provide the mask of even-point schemes but also generalize and unify several well-known schemes.Moreover, we measured curvature and torsion that can be used to describe the quality of curve.Also we compared plot of curvature and torsion, obtained by proposed schemes with the other existing schemes.
A general compact form of univariate ternary subdivision scheme S, which maps polygon where the set a {a i : i ∈ Z} of coefficients is called the mask at k-th level of refinement.A necessary condition for the uniform convergence of subdivision scheme 1.1 is that A subdivision scheme is uniformly convergent if for any initial data f 0 {f 0 i : i ∈ Z}, there exists a continuous function f such that for any closed interval of the mask a {a i : i ∈ Z} which plays an efficient role to analyze the convergence and smoothness of subdivision scheme.From 1.2 and 1.4 the Laurent polynomial of convergent subdivision scheme satisfies a e 2iπ/3 a e 4iπ/3 0, a 1 3.

1.5
This condition guarantees existence of a related subdivision scheme for the divided difference of the original control points and the existence of associated Laurent polynomial a 1 z a 1 z 3z 2 1 z z 2 a z . 1.6 The subdivision scheme S 1 with Laurent polynomial a 1 z is related to scheme S with Laurent polynomial a z by the following theorem.
Theorem 1.1 see 1 .Let S denote a subdivision scheme with Laurent polynomial a z satisfying 1.5 .Then there exists a subdivision scheme S 1 with the property where Furthermore, S is a uniformly convergent if and only if 1/3 S 1 converges uniformly to zero function for all initial data f 0 , in the sense that A scheme S 1 satisfying 1.8 for all initial data f 0 is termed "contractive."The above theorem indicates that for any given scheme S, with mask "a" satisfying 1.2 , we can prove the uniform convergence of S by deriving the mask of 1/3 S 1 and computing 1/3 S 1 i ∞ for i 1, 2, 3..., L, where L is the first integer for which If such an L exists, then S converges uniformly.Since there are three rules for computing the values at next refinement level, so we define the norm as follows: The paper is organized as follows: the family of even-point ternary approximating scheme and analysis of two even-point ternary schemes are presented in Section 2. Basic properties of even-point ternary schemes are discussed in Section 3. Comparison with existing even-point ternary schemes is shown in Section 4. A few remarks and future work constitute Section 5.

The Even-Point Ternary Approximating Schemes
Here we offer a general formula for even-point ternary approximating subdivision schemes with one parameter in the form of Laurent polynomial where ω is shape parameter, λ 2n 1, n 0 and depends on n.
Despite the fact that we can generate λ 1 -point ternary approximating schemes from 2.1 for any λ 2n 1, n 0, however for straightforwardness, we generated and discussed the smoothness of 4-and 6-point ternary schemes.The general proof regarding the support of even-point ternary schemes has been presented in this paper.

4-Point Ternary Scheme
From 2.1 for n 1, we get the following: Laurent polynomial for a 4-point ternary scheme

2.2
From the above polynomial, we suggest the following 4-point ternary approximating scheme:

ISRN Applied Mathematics
For m 5 and L 1, we have ∞ < 1 and the scheme is C 4 .

6-Point Ternary Scheme
From 2.1 for n 2, we get the following 6-point ternary approximating scheme:

2.9
The continuity of this scheme can be computed in a similar way as we did for the 4-point ternary scheme.
From above discussion, we reach the conclusion shown in Table 1.

Basic Properties of the Schemes
In this section, we discuss approximation order and support of basic limit function of evenpoint ternary approximating schemes.

Approximation Order
Here we only find the approximation order of proposed 4-point ternary scheme.The approximation order of other even-point ternary schemes can be computed in a similar fashion.
Proof.We carry out this result by taking our origin the middle of an original span with ordinate . . ., −5 n , −3 n , −1 n , 1 n , 3 n , 5 n , . ... If y x n , then we have

Support of Basic Limit Function
The basic limit functions, ϕ λ 1 S λ 1 ∞ f 0 i of proposed λ 1 -point ternary approximating schemes, for λ 2n 1, n 1, 2 are presented in Figures 1 a and 1 b .The following theorem is related to the support of basic limit functions of even point ternary schemes.Proof.The support width "s" of the basic limit functions can be determined by computing how for the effect of the nonzero vertex f 0 0 will propagate along by.As the mask of λ 1 scheme is 3 λ 1 -long sequence by centering it on that vertex, the distances to the last of its left and right nonzero coefficients are equal to λ n 2 and λ n 1, respectively.At the first subdivision step we see that the vertices on the left and right sides of f 1 0 at λ n 2 /3 and λ n 1 /3 are the furthest nonzero new vertices.At each refinement, the distances on both sides are reduced by the factor 1/3.At the next step of the scheme this will propagate along by λ n 2 /3 ×1/3 on the left and λ n 1 /3 ×1/3 on the right.Hence after k subdivision steps the furthest nonzero vertex on the left will be at λ n k−1 j 0 1/3 j and on the right will be at λ n

Comparison and Application
In order to show the performance of the proposed schemes, we compare continuity, support, approximation order, and shape of limit curves.We also discuss curvature and torsion.Comparison of various 4-and 6-point ternary schemes are given in Tables 2 and 3. Figure 2 shows visual comparison of 4-and 6-point ternary interpolating and approximating schemes with the proposed ternary approximating schemes.

Curvature and Torsion
The quality of subdivided curves can be assessed quantitatively by measuring curvature and torsion, as functions of cumulative chord length.Curvature is the amount by which a geometric object deviates from being flat, or straight in the case of a line, while in the elementary geometry of space curves, torsion measures the rate at which a twisted curve tends to depart from its osculating plane.When the torsion is zero, osculating plane never changes, and we have a plane curve.We used the method described in 16 to determine the curvature and torsion.The appearance of curvature and torsion obtained by our schemes   is measured and compared with the plot or appearance generated by other schemes.The examples in Figure 3 show the results of curvature and torsion, together with their control polygon.The appearance of curvature of the schemes 2, 3, 5, 9 is quite similar and plot of curvature of the schemes 4, 7, 14 is different.Figure 4 shows detailed view of space curve, curvature and torsion generated by existing schemes 2-5, 7, 9 and proposed schemes.Overall one can observe that the plot of space curve, curvature, and torsion of proposed schemes are more smoothing than other existing schemes.

Conclusion
The family of even-point approximating schemes for curve design has been established.The 4-and 6-point ternary schemes introduced by Zheng et al. 13, 14 are special cases of our proposed even-point approximating schemes.Smoothness and approximation order of proposed 4-and 6-point ternary schemes have been discussed.Support of family of even-point ternary schemes has been computed in general.It has been shown that proposed schemes are much better than existing ternary schemes in the sense of smoothness, approximation order, curvature, and torsion.The family of odd-point ternary approximating schemes will be studied in detail in the forthcoming paper.

Figure 2 :
Figure 2: Comparison: bold solid continuous curves are generated by proposed 4-point and 6-point ternary approximating schemes a Ko et al. 7 and proposed 4-point ternary schemes b 5, 9 and proposed 4point ternary scheme c Hassan and Dodgson 1 and proposed 4-point ternary schemes d 5, 9 and proposed 6-point ternary scheme e Khan and mustafa 6 and proposed 6-point ternary schemes.

Figure 3 :
Figure 3: Comparison of existing and proposed 4-point schemes sampled from control polygon by using the 5th iteration.The results are shown on the left together with their corresponding curvature on the right.

Table 1 :
The order of continuity of proposed 4-point and 6-point ternary schemes for certain ranges of parameter.