# (2n-1)-Point Ternary Approximating and Interpolating Subdivision Schemes

Authors: Muhammad Aslam; Ghulam Mustafa; Abdul Ghaffar
Journal: Journal of Applied Mathematics
 (2011)

---

## Abstract

We present an explicit formula which unifies the mask of(2n-1)-point ternary interpolating as well as approximating subdivision schemes. We observe that the odd point ternary interpolating and approximating schemes introduced by Lian (2009), Siddiqi and Rehan (2010, 2009) and Hassan and Dodgson (2003) are special cases of our proposed masks/schemes. Moreover, schemes introduced by Zheng et al. (2009) can easily be generated by our proposed masks. It is also proved from comparison that (2n-1)-point schemes are better than 2n-scheme in the sense of computational cost, support and error bounds.


---

## Body

## 1. Introduction

Subdivision is an algorithmic technique to generate smooth curves and surfaces as a sequence of successively refined control polygons. 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 [1–8]. They introduced odd and even points ternary schemes. Zheng et al. [9] constructed (2n-1)-point ternary interpolatory subdivision schemes by using variation of constants. They also introduced ternary even symmetric 2n-point subdivision schemes [10]. Mustafa and Khan [11] presented a new 4-point C3 quaternary approximating subdivision scheme. Lian [12] generalized 3-point and 5-point interpolatory schemes into an a-ary subdivision scheme for curve design. Later on, he further generalized his work into 2m-point and (2m+1)-point interpolating a-ary schemes for curve design [13]. Mustafa and Najma [14] generalized and unified even-point n-ary interpolating and approximating subdivision schemes for any n⩾2. In this paper, we introduce an explicit formula which generalizes and unifies existing odd-point ternary interpolating and approximating subdivision schemes. A general formula which unifies odd-point and even-point n-ary interpolating and approximating schemes is still under investigation.


## 2. Preliminaries

Letℤ be the set of integers and α={aj,bj,j=-(n-1),…,(n-1),n≥2} be the set of constants. A general form of (2n-1)-point ternary subdivision scheme S which relates a set of control points fk={fik}i∈ℤ to refined set of control points fk+1={fik+1}i∈ℤ is defined by(2.1)f3i-1k+1=∑j=-(n-1)n-1ajfi+jk,f3ik+1=∑j=-(n-1)n-1bjfi+jk,f3i+1k+1=∑j=-(n-1)n-1a-jfi+jk.
Which is formally denoted by fk+1=Sfk. The set α of constants is called mask of the scheme S. A necessary condition for the uniform convergence of the subdivision scheme (2.1) given by [3] is(2.2)∑j=-(n-1)n-1aj=∑j=-(n-1)n-1bj=∑j=-(n-1)n-1a-j=1.
The Laurent polynomial(2.3)α(z)=∑i∈Zαizi,αi∈α,
corresponding to the mask of convergent subdivision scheme (2.1) satisfies(2.4)α(e2iπ/3)=α(e4iπ/3)=0,α(1)=3.
For the given n, we define Lagrange fundamental polynomials of degree 2n-2, at the points -(n-1),-(n-2),…,(n-1), by(2.5)Lj2n-2(x)=∏k=-(n-1),k≠jn-1x-kj-k,j=-(n-1),-(n-2),…,(n-1),
and Lagrange fundamental polynomials of degree 2n-3 at the points -(n-2),-(n-3),…,(n-1), by(2.6)Lj2n-3(x)=∏k=-(n-2),k≠jn-1x-kj-k,j=-(n-2),-(n-3),…,(n-1).


## 3.(2n-1)-Point Ternary Approximating and Interpolating Schemes

Here, first we present some preliminary identities then we will offer masks of(2n-1)-point ternary approximating and interpolating schemes.Lemma 3.1.
IfLj2n-2(-1/3) is Lagrange fundamental polynomial of degree 2n-2 corresponding to nodes {t}-(n-1)n-1 defined by (2.5), then
(3.1)Lj2n-2(-13)=(-1)n+j-1∏k=-n+2n(3k-2)32n-2(1+3j)(n+j-1)!(n-j-1)!,
where j=-(n-1),…,(n-1).Proof.
Consider(3.2)∏k=-(n-1)n-1(-13-k)=(-13+n-1)(-13+n-2)(-13+n-3)⋯(-13+1)(-13)(-13-1)⋯(-13-n+3)(-13-n+2)(-13-n+1).
This implies
(3.3)∏k=-(n-1)n-1(-13-k)=(3n-43)(3n-73)(3n-103)⋯(23)(-13)(-43)⋯(-3n+83)(-3n+53)(-3n+23).
This further implies
(3.4)∏k=-(n-1)n-1(-13-k)=(-13)2n-1{(-3n+4)(-3n+7)(-3n+10)⋯(-2)(1)(4)⋯(3n-8)(3n-5)(3n-2)}.
This can be written as
(3.5)∏k=-(n-1),k≠jn-1(-13-k)=(-1)2n-232n-2(11+3j)∏k=-n+2n(3k-2),
where j=-(n-1)⋯(n-1). It is easy to verify that
(3.6)∏k=-(n-1),k≠jn-1(j-k)=(-1)n-j-1(n+j-1)!(n-j-1)!.
Now by substituting (3.5), (3.6), and x=-1/3 in (2.5), we get (3.1).
This completes the proof.Similarly, we can prove the following lemma.Lemma 3.2.
IfLj2n-3(-1/3) is Lagrange fundamental polynomial of degree 2n-3 corresponding to nodes {t}-(n-2)n-1 defined by (2.6)  then
(3.7)βj=Lj2n-3(-13)=(-1)n+j-2∏k=-n+3n(3k-2)32n-3(1+3j)(n+j-2)!(n-j-1)!,
where j=-(n-2),…,(n-1).Lemma 3.3.
IfLj2n-2(-1/3) and Lj2n-3(-1/3) are Lagrange polynomials defined by (2.5) and (3.1), then
(3.8)χj=Lj2n-2(-1/3)-Lj2n-3(-1/3)L-(n-1)2n-2(-1/3)=(-1)n+j-1(2n-2)!(n+j-1)!(n-j-1)!,
where j=-(n-2),…,(n-1).Proof.
By (3.1), for j=-(n-1), we get
(3.9)β=L-(n-1)2n-2(-13)=∏k=-n+2n(3k-2)32n-2(4-3n)(2n-2)!.
Using (3.1), (3.7), and (3.9), we get (3.8). This completes the proof.Remark 3.4.
In the setting of primal parametrization, each ternary refinement of coarse polygon of scheme (2.1) replaces the old data fik by new data f3i-1k+1 and f3ik+1, one to the left, the other to the right, and both at one-third the distance to the neighbours fi-1k and fi+1k. In other words, ternary refinement (2.1) defines a scheme whereby f3ik+1 replaces the value fik at the mesh point t3ik+1=tik and f3i+1k+1 and f3i+2k+1 are inserted at the new mesh point t3i+1k+1=(1/3)(2tik+ti+1k) and t3i+2k+1=(1/3)(tik+2ti+1k), respectively.
Therefore, we can select the value ofx either 1/3 or 2/3 to prove the Lemmas 3.1–3.3. In this paper, x=1/3 has been selected. One can select x=2/3 to proof the above lemmas. The results of the above lemmas at x=±1/3 are same but the final mask of the scheme obtained in reverse order. Negative values give a proper order of the mask, that have why negative values have been selected to prove the above lemmas.Now here we present the masks of(2n-1)-point ternary approximating and interpolating schemes.Theorem 3.5.
An explicit formula for the mask of(2n-1)-point ternary scheme (2.1) is defined by
(3.10)a-(n-1)=u,aj=(u)χj+βj,j=-(n-2),-(n-3),…,(n-1),bj=b-j=χj{u-β},j=1,2,…,(n-1),b0=1-2∑j=1n-1bj,
where u is free parameter while βj, χj, and β are defined by (3.7), (3.8), and (3.9) respectively.


### 3.1. 3-, 5-, 7-Point Ternary Approximating Schemes

Here, we present three special cases of approximating schemes generated by (3.10) with free parameter.(i)
Ifn=2 then by (2.1) and (3.10), we get the following 3-point ternary approximating scheme:(3.11)f3i-1k+1=ufi-1k+(43-2u)fik+(u-13)fi+1k,f3ik+1=(u-29)fi-1k+(139-2u)fik+(u-29)fi+1k,f3i+1k+1=(u-13)fi-1k+(43-2u)fik+ufi+1k.(ii)
Ifn=3 then by (2.1) and (3.10), we get the following 5-point ternary approximating scheme:(3.12)f3i-1k+1=ufi-2k+(1481-4u)fi-1k+(2827+6u)fik+(-727-4u)fi+1k+(481+u)fi+2k,f3ik+1=(7243+u)fi-2k+(-28243-4u)fi-1k+(9581+6u)fik+(-28243-4u)fi+1k+(7243+u)fi+2k,f3i+1k+1=(481+u)fi-2k+(-727-4u)fi-1k+(2827+6u)fik+(1481-4u)fi+1k+ufi+2k.(iii)
Ifn=4 then by (3.10), we get the following mask of 7-point ternary approximating scheme:
(3.13)α={a3,b3,a-3,a2,b2,a-2,a1,b1,a-1,a0,b0,a0,a-1,b1,a1,a-2,b2,a2,a-3,b3,a3},
where
(3.14)a3=u-736,a2=-6u+5036,a1=15u-17536,a0=-20u+70036,a-1=15u+17536,a-2=-6u-1436,a-3=u,b3=b-3=u-3538,b2=b-2=-6u+21038,b1=b-1=15u-52538,b0=-20u+726138.


### 3.2. 3-, 5-Point Ternary Interpolating Schemes

Here, we present two special cases of approximating schemes generated by (3.10) with free parameters.(i)
By settingn=2 and u=β, we get the following 3-point ternary interpolating scheme:(3.15)f3i-1k+1=ufi-1k+(43-2u)fik+(-13+u)fi+1k,f3ik+1=fik,f3i+1k+1=(-13+u)fi-1k+(43-2u)fik+ufi+1k.(ii)
Ifn=3 and u=β, then by (2.1) and (3.10), we get the following 5-point ternary interpolating scheme:(3.16)f3i-1k+1=ufi-2k+(1481-4u)fi-1k+(2827+6u)fik+(-727-4u)fi+1k+(481+u)fi+2k,f3ik+1=fik,f3i+1k+1=(481+u)fi-2k+(-727-4u)fi-1k+(2827+6u)fik+(1481-4u)fi+1k+ufi+2k.


### 3.3. Comparison with Existing Ternary Schemes

In this section, we will show that the popular existing odd-point ternary schemes are special cases of our proposed family of scheme. Here we will also compare the error bounds between limit curve and control polygon afterk-fold subdivision of odd-point and even-point schemes.


#### 3.3.1. Special Cases

Here we see that the most of the existing odd-point ternary subdivision schemes are either special cases or can be obtain by setting free parameter in our proposed masks.(i)
By lettingu=β in (3.10), Zheng et al. (2n-1)-point interpolating scheme [9] becomes special case of our scheme.(ii)
By substitutingu=2/9, and u=-7/243 in (3.15) and (3.16), we get 3-point and 5-point ternary interpolating schemes of Lian [12] respectively.(iii)
By substitutingu=35/6561 in (3.13), we get 7-point ternary interpolating scheme of Lian [13]. Similarly, from (3.10), we can generate (2m+1)-point ternary interpolating schemes of [13].(iv)
Forn=2, and parameter u=μ+25/72 in our proposed mask (3.13), 3-point ternary approximating scheme given in [7] becomes special case of our scheme.(v)
Forn=2, and u=10/27 in (3.11), we get 3-point approximating scheme of Hassan and Dodgson [4].(vi)
Forn=2, b=u=2/9 and a=u-1/3 in (3.11), we get 3-point interpolating scheme of Hassan and Dodgson [4].


#### 3.3.2. Error Bounds

In Tables1 and 2 by using [15], with χ=0.1, we have computed error bounds between limit curve and control polygon after k-fold subdivision of odd-point and even-point ternary approximating and interpolating schemes. It is clear from Tables 1 and 2 that error bounds of 3-point ternary schemes (3.11) and (3.15) at each subdivision level k are less than the error bounds of 4-point ternary schemes [3, 10] at each level. Similarly error bounds of 5-point scheme (3.12) and (3.16) are less than the error bounds of 6-point schemes [10, 16]. Similar results can be obtained by comparing other odd-point and even-point schemes. Graphical representation of error bounds is shown in Figure 1.Table 1
Error bounds of odd-point and even-point ternary interpolating schemes.
k1234563-point0.0333330.0111110.0037040.0012350.0004120.0001374-point [10]0.0828210.0349690.1047650.0062340.0026320.0011115-point0.1362050.0588540.0254310.0109890.0047480.0020526-point [10]0.1991590.0949080.0452280.0215530.0102710.004895Table 2
Error bounds of odd-point and even-point ternary approximating schemes.
k1234563-point0.1333330.0888890.0592590.0395060.263370.0175584-point [3]0.2036720.1294950.0823330.0523480.332830.0211615-point0.2892360.1749700.1058460.0640300.387340.0234326-point [16]0.4292830.2852910.1895980.1260020.837380.055650Comparison: error bounds betweenkth level control polygon and limit curves of different subdivision schemes.
(a)(b)Moreover, support and computational cost of(2n-1)-point schemes are less than 2n-point schemes. Therefore, we conclude that (2n-1)-point schemes are better than 2n-point schemes in the sense of support, computational cost, and error bounds.


### 3.4. Effects of Parameters in Proposed Schemes

We will discuss three major effects/upshots of parameter in schemes (3.11)–(3.16). Effect of parameters in other schemes can be discuss analogously.


#### 3.4.1. Continuity

The effect/upshots of parameteru in schemes (3.11)–(3.16) on order of continuity is shown in Tables 3 and 4. One can easily find the order of continuity over parametric intervals by using approach of [4].Table 3
The order of continuity of proposed 3-, 5-, and 7-point ternary approximating schemes for certain ranges of parameter.
SchemeParameterContinuity1/6<u<2/3C03-point2/9<u<5/9C11/3<u<4/9C25-point-11/81<u<-7/648C0-103/972<u<-11/486C1-2/27<u<-49/972C2-1/18<u<-38/729C37-point7/23328<u<23/729C0157/52488<u<2501/104976C11043/104976<u<67/4374C253/8748<u<187/17496C3Table 4
The order of continuity of proposed 3- and 5-point ternary interpolating schemes for certain ranges of parameter.
SchemeParameterContinuity3-point1/6<u<2/3C02/9<u<1/3C1-11/81<u<-7/648C05-point-17/324<u<-2/81C1-5/108<u<-7/162C2


#### 3.4.2. Shapes of Limit Curves

In Figure2, the effect of parameter in (3.11)–(3.16) on graph and continuity of limit curve is shown. These figures are exposed to show the role of free parameter when 3- and 5-point approximating and interpolating schemes (3.11)–(3.16) applied on discrete data points. From these figures, we see that the behavior of the limiting curve acts as tightness/looseness when the values of free parameter vary.Comparison: initial polygon and different curves generated by schemes (3.11)–(3.16) are shown. The significant upshots of parameters are also publicized.
(a)(b)(c)(d)(e)(f)(g)(h)(i)


#### 3.4.3. Error Bounds

The effects of parameter on error bounds at each subdivision level betweenkth level control polygon and limit curves are shown in Figure 3, Tables 5 and 6. From these tables and figures, we conclude that in case of 3-point approximating scheme continuity is maximum over 1/3<u<4/9 and error bound is minimum over 1/3≤u≤1/2. On each side of interval 1/3<u<4/9 continuity decreases while error bounds increases on each side of interval 1/3≤u≤1/2. In case of 5-, 7-point approximating scheme continuity is maximum over -1/18<u<-38/729 and 53/8748<u<187/17496, while error bound is minimum at u=-13/243 and u=95/8748, respectively.Table 5
Error bounds for 3-, 5- and 7-point ternary approximating subdivision schemes.
SchemeParameterk=1k=2k=3k=4k=5k=6u=1/20.0333330.0111110.0037030.0012340.0004110.0001373-pointu=5/90.0833330.0462960.0257200.0142890.0079380.004410u=7/120.1333330.0888890.0592590.0395060.0263370.017558u=-13/2430.1349530.0583130.0251970.0108880.0047040.0020335-pointu=-103/9720.2387750.1336360.0747920.0418590.0234270.013112u=-1/90.2892360.1749700.1058460.0640300.0387340.023432u=95/87480.2700220.1322330.0647560.0317120.0155300.0076057-pointu=1465/2012040.3575670.1978090.1094300.0605380.0334900.018527u=187/87480.4573530.2791800.1704180.1040280.0635010.038763Table 6
Error bounds for 3- and 5-point ternary interpolating subdivision schemes.
SchemeParameterk=1k=2k=3k=4k=5k=6u=1/30.0333330.0111110.0037030.0012340.0004110.0001373-pointu=7/180.0533330.0237040.0105350.0046820.0020810.000925u=5/180.0972220.0540120.0300070.0166700.0092610.005145u=-2/410.1362050.0588540.0254310.0109890.0047480.0020525-pointu=-7/1620.1696650.0816910.0393320.0189380.0091180.004390u=-1/270.2576980.1495280.0867630.0503440.0292120.016950Comparison: error bounds betweenkth level control polygon and limit curves generated by approximating and interpolating schemes (3.11)–(3.16), respectively.
(a)(b)(c)(d)(e)While in case of 3- and 5-point interpolating scheme continuity is maximum over2/9<u<1/3 and -5/108<u<-7/162, while error bound is minimum at u=1/3 and u=-2/41, respectively.


### 3.5. Conclusion

In this paper, we offered an explicit general formula for the generation of mask of(2n-1)-point ternary interpolating as well as approximating schemes. We have concluded from figures and tables that the (2n-1)-point schemes are better than 2n-point schemes for n≥2 in the sense of computational cost, support and error bounds. Moreover, odd-point ternary schemes of Hassan and Dodgson [4], Lian [12, 13], Zheng et al. [9], and Siddiqi and Rehan [7, 8] are special cases of our proposed masks.


## 3.1. 3-, 5-, 7-Point Ternary Approximating Schemes

Here, we present three special cases of approximating schemes generated by (3.10) with free parameter.(i)
Ifn=2 then by (2.1) and (3.10), we get the following 3-point ternary approximating scheme:(3.11)f3i-1k+1=ufi-1k+(43-2u)fik+(u-13)fi+1k,f3ik+1=(u-29)fi-1k+(139-2u)fik+(u-29)fi+1k,f3i+1k+1=(u-13)fi-1k+(43-2u)fik+ufi+1k.(ii)
Ifn=3 then by (2.1) and (3.10), we get the following 5-point ternary approximating scheme:(3.12)f3i-1k+1=ufi-2k+(1481-4u)fi-1k+(2827+6u)fik+(-727-4u)fi+1k+(481+u)fi+2k,f3ik+1=(7243+u)fi-2k+(-28243-4u)fi-1k+(9581+6u)fik+(-28243-4u)fi+1k+(7243+u)fi+2k,f3i+1k+1=(481+u)fi-2k+(-727-4u)fi-1k+(2827+6u)fik+(1481-4u)fi+1k+ufi+2k.(iii)
Ifn=4 then by (3.10), we get the following mask of 7-point ternary approximating scheme:
(3.13)α={a3,b3,a-3,a2,b2,a-2,a1,b1,a-1,a0,b0,a0,a-1,b1,a1,a-2,b2,a2,a-3,b3,a3},
where
(3.14)a3=u-736,a2=-6u+5036,a1=15u-17536,a0=-20u+70036,a-1=15u+17536,a-2=-6u-1436,a-3=u,b3=b-3=u-3538,b2=b-2=-6u+21038,b1=b-1=15u-52538,b0=-20u+726138.


## 3.2. 3-, 5-Point Ternary Interpolating Schemes

Here, we present two special cases of approximating schemes generated by (3.10) with free parameters.(i)
By settingn=2 and u=β, we get the following 3-point ternary interpolating scheme:(3.15)f3i-1k+1=ufi-1k+(43-2u)fik+(-13+u)fi+1k,f3ik+1=fik,f3i+1k+1=(-13+u)fi-1k+(43-2u)fik+ufi+1k.(ii)
Ifn=3 and u=β, then by (2.1) and (3.10), we get the following 5-point ternary interpolating scheme:(3.16)f3i-1k+1=ufi-2k+(1481-4u)fi-1k+(2827+6u)fik+(-727-4u)fi+1k+(481+u)fi+2k,f3ik+1=fik,f3i+1k+1=(481+u)fi-2k+(-727-4u)fi-1k+(2827+6u)fik+(1481-4u)fi+1k+ufi+2k.


## 3.3. Comparison with Existing Ternary Schemes

In this section, we will show that the popular existing odd-point ternary schemes are special cases of our proposed family of scheme. Here we will also compare the error bounds between limit curve and control polygon afterk-fold subdivision of odd-point and even-point schemes.


### 3.3.1. Special Cases

Here we see that the most of the existing odd-point ternary subdivision schemes are either special cases or can be obtain by setting free parameter in our proposed masks.(i)
By lettingu=β in (3.10), Zheng et al. (2n-1)-point interpolating scheme [9] becomes special case of our scheme.(ii)
By substitutingu=2/9, and u=-7/243 in (3.15) and (3.16), we get 3-point and 5-point ternary interpolating schemes of Lian [12] respectively.(iii)
By substitutingu=35/6561 in (3.13), we get 7-point ternary interpolating scheme of Lian [13]. Similarly, from (3.10), we can generate (2m+1)-point ternary interpolating schemes of [13].(iv)
Forn=2, and parameter u=μ+25/72 in our proposed mask (3.13), 3-point ternary approximating scheme given in [7] becomes special case of our scheme.(v)
Forn=2, and u=10/27 in (3.11), we get 3-point approximating scheme of Hassan and Dodgson [4].(vi)
Forn=2, b=u=2/9 and a=u-1/3 in (3.11), we get 3-point interpolating scheme of Hassan and Dodgson [4].


### 3.3.2. Error Bounds

In Tables1 and 2 by using [15], with χ=0.1, we have computed error bounds between limit curve and control polygon after k-fold subdivision of odd-point and even-point ternary approximating and interpolating schemes. It is clear from Tables 1 and 2 that error bounds of 3-point ternary schemes (3.11) and (3.15) at each subdivision level k are less than the error bounds of 4-point ternary schemes [3, 10] at each level. Similarly error bounds of 5-point scheme (3.12) and (3.16) are less than the error bounds of 6-point schemes [10, 16]. Similar results can be obtained by comparing other odd-point and even-point schemes. Graphical representation of error bounds is shown in Figure 1.Table 1
Error bounds of odd-point and even-point ternary interpolating schemes.
k1234563-point0.0333330.0111110.0037040.0012350.0004120.0001374-point [10]0.0828210.0349690.1047650.0062340.0026320.0011115-point0.1362050.0588540.0254310.0109890.0047480.0020526-point [10]0.1991590.0949080.0452280.0215530.0102710.004895Table 2
Error bounds of odd-point and even-point ternary approximating schemes.
k1234563-point0.1333330.0888890.0592590.0395060.263370.0175584-point [3]0.2036720.1294950.0823330.0523480.332830.0211615-point0.2892360.1749700.1058460.0640300.387340.0234326-point [16]0.4292830.2852910.1895980.1260020.837380.055650Comparison: error bounds betweenkth level control polygon and limit curves of different subdivision schemes.
(a)(b)Moreover, support and computational cost of(2n-1)-point schemes are less than 2n-point schemes. Therefore, we conclude that (2n-1)-point schemes are better than 2n-point schemes in the sense of support, computational cost, and error bounds.


## 3.3.1. Special Cases

Here we see that the most of the existing odd-point ternary subdivision schemes are either special cases or can be obtain by setting free parameter in our proposed masks.(i)
By lettingu=β in (3.10), Zheng et al. (2n-1)-point interpolating scheme [9] becomes special case of our scheme.(ii)
By substitutingu=2/9, and u=-7/243 in (3.15) and (3.16), we get 3-point and 5-point ternary interpolating schemes of Lian [12] respectively.(iii)
By substitutingu=35/6561 in (3.13), we get 7-point ternary interpolating scheme of Lian [13]. Similarly, from (3.10), we can generate (2m+1)-point ternary interpolating schemes of [13].(iv)
Forn=2, and parameter u=μ+25/72 in our proposed mask (3.13), 3-point ternary approximating scheme given in [7] becomes special case of our scheme.(v)
Forn=2, and u=10/27 in (3.11), we get 3-point approximating scheme of Hassan and Dodgson [4].(vi)
Forn=2, b=u=2/9 and a=u-1/3 in (3.11), we get 3-point interpolating scheme of Hassan and Dodgson [4].


## 3.3.2. Error Bounds

In Tables1 and 2 by using [15], with χ=0.1, we have computed error bounds between limit curve and control polygon after k-fold subdivision of odd-point and even-point ternary approximating and interpolating schemes. It is clear from Tables 1 and 2 that error bounds of 3-point ternary schemes (3.11) and (3.15) at each subdivision level k are less than the error bounds of 4-point ternary schemes [3, 10] at each level. Similarly error bounds of 5-point scheme (3.12) and (3.16) are less than the error bounds of 6-point schemes [10, 16]. Similar results can be obtained by comparing other odd-point and even-point schemes. Graphical representation of error bounds is shown in Figure 1.Table 1
Error bounds of odd-point and even-point ternary interpolating schemes.
k1234563-point0.0333330.0111110.0037040.0012350.0004120.0001374-point [10]0.0828210.0349690.1047650.0062340.0026320.0011115-point0.1362050.0588540.0254310.0109890.0047480.0020526-point [10]0.1991590.0949080.0452280.0215530.0102710.004895Table 2
Error bounds of odd-point and even-point ternary approximating schemes.
k1234563-point0.1333330.0888890.0592590.0395060.263370.0175584-point [3]0.2036720.1294950.0823330.0523480.332830.0211615-point0.2892360.1749700.1058460.0640300.387340.0234326-point [16]0.4292830.2852910.1895980.1260020.837380.055650Comparison: error bounds betweenkth level control polygon and limit curves of different subdivision schemes.
(a)(b)Moreover, support and computational cost of(2n-1)-point schemes are less than 2n-point schemes. Therefore, we conclude that (2n-1)-point schemes are better than 2n-point schemes in the sense of support, computational cost, and error bounds.


## 3.4. Effects of Parameters in Proposed Schemes

We will discuss three major effects/upshots of parameter in schemes (3.11)–(3.16). Effect of parameters in other schemes can be discuss analogously.


### 3.4.1. Continuity

The effect/upshots of parameteru in schemes (3.11)–(3.16) on order of continuity is shown in Tables 3 and 4. One can easily find the order of continuity over parametric intervals by using approach of [4].Table 3
The order of continuity of proposed 3-, 5-, and 7-point ternary approximating schemes for certain ranges of parameter.
SchemeParameterContinuity1/6<u<2/3C03-point2/9<u<5/9C11/3<u<4/9C25-point-11/81<u<-7/648C0-103/972<u<-11/486C1-2/27<u<-49/972C2-1/18<u<-38/729C37-point7/23328<u<23/729C0157/52488<u<2501/104976C11043/104976<u<67/4374C253/8748<u<187/17496C3Table 4
The order of continuity of proposed 3- and 5-point ternary interpolating schemes for certain ranges of parameter.
SchemeParameterContinuity3-point1/6<u<2/3C02/9<u<1/3C1-11/81<u<-7/648C05-point-17/324<u<-2/81C1-5/108<u<-7/162C2


### 3.4.2. Shapes of Limit Curves

In Figure2, the effect of parameter in (3.11)–(3.16) on graph and continuity of limit curve is shown. These figures are exposed to show the role of free parameter when 3- and 5-point approximating and interpolating schemes (3.11)–(3.16) applied on discrete data points. From these figures, we see that the behavior of the limiting curve acts as tightness/looseness when the values of free parameter vary.Comparison: initial polygon and different curves generated by schemes (3.11)–(3.16) are shown. The significant upshots of parameters are also publicized.
(a)(b)(c)(d)(e)(f)(g)(h)(i)


### 3.4.3. Error Bounds

The effects of parameter on error bounds at each subdivision level betweenkth level control polygon and limit curves are shown in Figure 3, Tables 5 and 6. From these tables and figures, we conclude that in case of 3-point approximating scheme continuity is maximum over 1/3<u<4/9 and error bound is minimum over 1/3≤u≤1/2. On each side of interval 1/3<u<4/9 continuity decreases while error bounds increases on each side of interval 1/3≤u≤1/2. In case of 5-, 7-point approximating scheme continuity is maximum over -1/18<u<-38/729 and 53/8748<u<187/17496, while error bound is minimum at u=-13/243 and u=95/8748, respectively.Table 5
Error bounds for 3-, 5- and 7-point ternary approximating subdivision schemes.
SchemeParameterk=1k=2k=3k=4k=5k=6u=1/20.0333330.0111110.0037030.0012340.0004110.0001373-pointu=5/90.0833330.0462960.0257200.0142890.0079380.004410u=7/120.1333330.0888890.0592590.0395060.0263370.017558u=-13/2430.1349530.0583130.0251970.0108880.0047040.0020335-pointu=-103/9720.2387750.1336360.0747920.0418590.0234270.013112u=-1/90.2892360.1749700.1058460.0640300.0387340.023432u=95/87480.2700220.1322330.0647560.0317120.0155300.0076057-pointu=1465/2012040.3575670.1978090.1094300.0605380.0334900.018527u=187/87480.4573530.2791800.1704180.1040280.0635010.038763Table 6
Error bounds for 3- and 5-point ternary interpolating subdivision schemes.
SchemeParameterk=1k=2k=3k=4k=5k=6u=1/30.0333330.0111110.0037030.0012340.0004110.0001373-pointu=7/180.0533330.0237040.0105350.0046820.0020810.000925u=5/180.0972220.0540120.0300070.0166700.0092610.005145u=-2/410.1362050.0588540.0254310.0109890.0047480.0020525-pointu=-7/1620.1696650.0816910.0393320.0189380.0091180.004390u=-1/270.2576980.1495280.0867630.0503440.0292120.016950Comparison: error bounds betweenkth level control polygon and limit curves generated by approximating and interpolating schemes (3.11)–(3.16), respectively.
(a)(b)(c)(d)(e)While in case of 3- and 5-point interpolating scheme continuity is maximum over2/9<u<1/3 and -5/108<u<-7/162, while error bound is minimum at u=1/3 and u=-2/41, respectively.


## 3.4.1. Continuity

The effect/upshots of parameteru in schemes (3.11)–(3.16) on order of continuity is shown in Tables 3 and 4. One can easily find the order of continuity over parametric intervals by using approach of [4].Table 3
The order of continuity of proposed 3-, 5-, and 7-point ternary approximating schemes for certain ranges of parameter.
SchemeParameterContinuity1/6<u<2/3C03-point2/9<u<5/9C11/3<u<4/9C25-point-11/81<u<-7/648C0-103/972<u<-11/486C1-2/27<u<-49/972C2-1/18<u<-38/729C37-point7/23328<u<23/729C0157/52488<u<2501/104976C11043/104976<u<67/4374C253/8748<u<187/17496C3Table 4
The order of continuity of proposed 3- and 5-point ternary interpolating schemes for certain ranges of parameter.
SchemeParameterContinuity3-point1/6<u<2/3C02/9<u<1/3C1-11/81<u<-7/648C05-point-17/324<u<-2/81C1-5/108<u<-7/162C2


## 3.4.2. Shapes of Limit Curves

In Figure2, the effect of parameter in (3.11)–(3.16) on graph and continuity of limit curve is shown. These figures are exposed to show the role of free parameter when 3- and 5-point approximating and interpolating schemes (3.11)–(3.16) applied on discrete data points. From these figures, we see that the behavior of the limiting curve acts as tightness/looseness when the values of free parameter vary.Comparison: initial polygon and different curves generated by schemes (3.11)–(3.16) are shown. The significant upshots of parameters are also publicized.
(a)(b)(c)(d)(e)(f)(g)(h)(i)


## 3.4.3. Error Bounds

The effects of parameter on error bounds at each subdivision level betweenkth level control polygon and limit curves are shown in Figure 3, Tables 5 and 6. From these tables and figures, we conclude that in case of 3-point approximating scheme continuity is maximum over 1/3<u<4/9 and error bound is minimum over 1/3≤u≤1/2. On each side of interval 1/3<u<4/9 continuity decreases while error bounds increases on each side of interval 1/3≤u≤1/2. In case of 5-, 7-point approximating scheme continuity is maximum over -1/18<u<-38/729 and 53/8748<u<187/17496, while error bound is minimum at u=-13/243 and u=95/8748, respectively.Table 5
Error bounds for 3-, 5- and 7-point ternary approximating subdivision schemes.
SchemeParameterk=1k=2k=3k=4k=5k=6u=1/20.0333330.0111110.0037030.0012340.0004110.0001373-pointu=5/90.0833330.0462960.0257200.0142890.0079380.004410u=7/120.1333330.0888890.0592590.0395060.0263370.017558u=-13/2430.1349530.0583130.0251970.0108880.0047040.0020335-pointu=-103/9720.2387750.1336360.0747920.0418590.0234270.013112u=-1/90.2892360.1749700.1058460.0640300.0387340.023432u=95/87480.2700220.1322330.0647560.0317120.0155300.0076057-pointu=1465/2012040.3575670.1978090.1094300.0605380.0334900.018527u=187/87480.4573530.2791800.1704180.1040280.0635010.038763Table 6
Error bounds for 3- and 5-point ternary interpolating subdivision schemes.
SchemeParameterk=1k=2k=3k=4k=5k=6u=1/30.0333330.0111110.0037030.0012340.0004110.0001373-pointu=7/180.0533330.0237040.0105350.0046820.0020810.000925u=5/180.0972220.0540120.0300070.0166700.0092610.005145u=-2/410.1362050.0588540.0254310.0109890.0047480.0020525-pointu=-7/1620.1696650.0816910.0393320.0189380.0091180.004390u=-1/270.2576980.1495280.0867630.0503440.0292120.016950Comparison: error bounds betweenkth level control polygon and limit curves generated by approximating and interpolating schemes (3.11)–(3.16), respectively.
(a)(b)(c)(d)(e)While in case of 3- and 5-point interpolating scheme continuity is maximum over2/9<u<1/3 and -5/108<u<-7/162, while error bound is minimum at u=1/3 and u=-2/41, respectively.


## 3.5. Conclusion

In this paper, we offered an explicit general formula for the generation of mask of(2n-1)-point ternary interpolating as well as approximating schemes. We have concluded from figures and tables that the (2n-1)-point schemes are better than 2n-point schemes for n≥2 in the sense of computational cost, support and error bounds. Moreover, odd-point ternary schemes of Hassan and Dodgson [4], Lian [12, 13], Zheng et al. [9], and Siddiqi and Rehan [7, 8] are special cases of our proposed masks.



---

*Source: 832630-2011-12-19.xml*