Next Article in Journal
Metrics for Single-Edged Graphs over a Fixed Set of Vertices
Previous Article in Journal
Time Needed to Control an Epidemic with Restricted Resources in SIR Model with Short-Term Controlled Population: A Fixed Point Method for a Free Isoperimetric Optimal Control Problem
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fractal Behavior of a Ternary 4-Point Rational Interpolation Subdivision Scheme

1
School of Mathematics, Hefei University of Technology, Hefei 230009, China
2
School of Computer and Information, Hefei University of Technology, Hefei 230009, China
*
Author to whom correspondence should be addressed.
Math. Comput. Appl. 2018, 23(4), 65; https://doi.org/10.3390/mca23040065
Submission received: 17 October 2018 / Accepted: 22 October 2018 / Published: 23 October 2018

Abstract

:
In this paper, a ternary 4-point rational interpolation subdivision scheme is presented, and the necessary and sufficient conditions of the continuity are analyzed. The generalization incorporates existing schemes as special cases: Hassan–Ivrissimtzis’s scheme, Siddiqi–Rehan’s scheme, and Siddiqi–Ahmad’s scheme. Furthermore, the fractal behavior of the scheme is investigated and analyzed, and the range of the parameter of the fractal curve is the neighborhood of the singular point of the rational scheme. When the fractal curve and surface are reconstructed, it is convenient for the selection of parameter values.

1. Introduction

Due to the use of techniques that are simple and easy to handle, the subdivision method is widely used for generating smooth curves from original data points, and this method plays an important role in computer-aided geometric design, computer-aided design, and image processing.
According to the relationship of the original points and the limit curves, the two categories we are going to divide them into are interpolation subdivision [1,2,3,4,5,6] and approximation subdivision [7,8,9,10]. The limit curve of the interpolation subdivision scheme is through all original points, which can protect the shape of the original control polygon. In 2002, Hassan et al. [2] presented a ternary 4-point interpolating subdivision scheme that generates a C 2 limiting curve for the tension parameter satisfied with 1 15 < μ < 1 9 . In 2010 and 2012, Mustafa et al. [3,4] introduced 6-point and 5-point ternary interpolating schemes with a shape parameter in succession, and proved the limit curves are C 3 or C 2 and continue for a certain range of parameter ω . In 2012 and 2013, Siddiqi and Rehan [5,6] proposed two schemes of ternary 4-point interpolating subdivision in which the limiting curve is C 1 or C 2 continuous. The above schemes have the following common characteristics: the masks in the scheme are all simple linear combinations of parameters, and when the limit curve is C 1 or C 2 continuous, the selection range of parameters is small, so it is impossible to know what will happen to the limit curves at other infinite intervals.
Compared with interpolation subdivision, the limit curve of the approximation subdivision scheme did not continue through the original points, but this scheme had less support and the limit curve had higher smoothness. In 2004, Hassan and Dodgson [7] derived a ternary 3-point approximating subdivision scheme that generates the C 2 limiting curve. In 2007, Ko et al. [8] introduced an improved ternary 4-point approximating subdivision scheme derived from cubic polynomial interpolation, and used similar methods to generalize ternary ( 2 n + 2 ) point approximating subdivision schemes. In 2012, Ghaffar and Mustafa [9] investigated a general formula to generate the family of an even-point ternary approximating subdivision scheme with a shape parameter. In 2015, Rehan and Siddiqi [10] proposed a ternary 4-point approximating subdivision scheme that generates the limiting curve of C 3 continuity. These experimental results show that when the continuity was higher, the limiting curve of the approximation scheme deviated further from the original points.
This motivated us to present a ternary interpolation scheme with high smoothness and more degrees of freedom for the curve design. The proposed scheme not only provides the mask of 4-point schemes, but also generalizes and unifies several well-known schemes.
Furthermore, the subdivision scheme is important not only in the geometric design of smooth curves, but also in the construction of irregular shapes. Zheng et al. [11,12] proved that the limit curves generated by binary 4-point and ternary 3-point interpolation subdivision schemes are fractals. Siddiqi et al. [13,14] described the fractal behavior of ternary 4-point interpolation subdivision schemes.
In this paper, the fractal behavior of the ternary 4-point rational interpolation subdivision scheme is investigated and analyzed. Through examples, it was found that when the parameter selection is close to the singular point, the limit curve pattern is more turbulent. As the parameter value becomes far from the singular point, the limit curve becomes smoother and finally reaches C 1 and C 2 continuity.

2. Preliminaries

A general ternary subdivision scheme S with the initial values p 0 = { p i 0 } i Z recursively defines new discrete values as follows:
p i k + 1 = j Z a 3 j i p j k , i Z ,
where the set a = { a i | i Z } of coefficients is called the mask of the scheme. A necessary condition for uniform convergence of the subdivision scheme (1) is that
j Z a 3 j = j Z a 3 j + 1 = j Z a 3 j + 2 = 1 .
The Z-transform of the mask a of subdivision scheme can be given as
a ( z ) = i Z a i z i ,
which is called the symbol or Laurent polynomial.
A subdivision scheme is said to be uniformly convergent if for every initial data p 0 = { p i 0 } i Z , there is a continuous function f such that for any closed interval [ a , b ]
lim k sup i Z 3 k [ a , b ] | p i k f ( i 3 k ) | = 0 .
As a result, f is regarded as the limit function of the subdivision scheme, and is denoted f = S p 0 .
In 2002, Hassan et al. [2] provided a sufficient and necessary condition for a uniform convergent subdivision scheme. Firstly, they used matrix formalism to derive necessary conditions for a scheme to be C k based on the eigenvalues of the subdivision matrix. If the limiting curve is C 2 continuity, the eigenvalues { λ i } satisfy:
λ 0 = 1 , | λ i | > | λ i + 1 | , i = 1 , 2 , , a n d λ 1 2 = | λ 2 | > | λ 3 | .
Secondly, a subdivision scheme S is uniform convergent if and only if there is an integer L 1 , such that ( 1 3 S 1 ) L < 1 . Then, the subdivision scheme is uniform convergent.
This paper is organized as follows. In Section 3, a ternary 4-point rational interpolating subdivision scheme is presented. The continuity analyses are in Section 4. In Section 5, the fractal behavior of subdivision schemes is introduced. In Section 6, examples are considered to demonstrate the role of the parameter. Conclusions are drawn in Section 7.

3. Rational Interpolation Subdivision Scheme

A 4-point rational interpolation subdivision scheme is defined as
p 3 i k + 1 = p i k , p 3 i + 1 k + 1 = a 0 p i 1 k + a 1 p i k + a 2 p i + 1 k + a 3 p i + 2 k , p 3 i + 2 k + 1 = a 3 p i 1 k + a 2 p i k + a 1 p i + 1 k + a 0 p i + 2 k ,
where
a 0 = 2 243 α 27 ( 126 α 1 ) , a 1 = 873 α 7 9 ( 126 α 1 ) , a 2 = 129 α 1 3 ( 126 α 1 ) , a 3 = 1 135 α 27 ( 126 α 1 ) , a n d α 1 126 .
Specifically, for α = 1 108 , the mask of the subdivision scheme is:
a = { , 0 , 0 , 1 18 , 1 18 , 0 , 7 18 , 13 18 , 1 , 13 18 , 7 18 , 0 , 1 18 , 1 18 , 0 , 0 , } ,
and this is exactly the scheme which is mentioned in Hassan et al. [2].
For α = 0 , the mask of the subdivision scheme is:
a = { , 0 , 0 , 1 27 , 2 18 , 0 , 9 18 , 21 27 , 1 , 21 27 , 9 18 , 0 , 2 18 , 1 27 , 0 , 0 , } ,
then the subdivision scheme rebuilds the scheme in Siddiqi et al. [5].
For α = 1 90 , it is a ternary 4-point subdivision scheme:
a = { , 0 , 0 , 5 108 , 7 108 , 0 , 13 36 , 3 4 , 1 , 3 4 , 13 36 , 0 , 7 108 , 5 108 , 0 , 0 , } ,
then the subdivision scheme is the scheme offered by Siddiqi et al. [6].

4. Continuity Analysis

4.1. Necessary Condition

Theorem 1.
If the limiting curve of the subdivision scheme (5) is C 2 continuity, the parameter α ( , 0 ) ( 1 86 , + ) .
Proof. 
Similar to in Hassan’s paper [2], let the matrix A be the mid-point subdivision matrix and the matrix B be the vertex subdivision matrix. We have:
A = a 3 a 2 a 1 a 0 0 0 0 0 1 0 0 0 0 a 0 a 1 a 2 a 3 0 0 a 3 a 2 a 1 a 0 0 0 0 0 1 0 0 0 0 a 0 a 1 a 2 a 3 , B = a 0 a 1 a 2 a 3 0 a 3 a 2 a 1 a 0 0 0 0 1 0 0 0 a 3 a 2 a 1 a 0 0 a 0 a 1 a 2 a 3 .
  • The eigenvalues for A are 1 , 1 3 , 1 9 , 108 α 1 9 ( 126 α 1 ) , 1 135 α 27 ( 126 α 1 ) , 1 135 α 27 ( 126 α 1 ) .
  • The eigenvalues for B are 1 , 1 3 , 1 9 , 297 α 2 27 ( 126 α 1 ) , α 126 α 1 .
From the two subdivision matrices and Equation (4), we can find the bound of α which is a necessary condition of the limiting curve to be C 2 continuity.
If the eigenvalues of the mid-point subdivision matrix satisfy the necessary conditions (4), then
1 9 > 108 α 1 9 ( 126 α 1 ) > 1 135 α 27 ( 126 α 1 ) .
If the eigenvalues of vertex subdivision matrix satisfies the necessary conditions (4), then
1 9 > 297 α 2 27 ( 126 α 1 ) > α 126 α 1 .
Combining Equation (6) and Equation (7), we find that the necessary conditions for C 2 continuity are α ( , 0 ) ( 1 86 , + ) . □

4.2. Sufficient Condition

Theorem 2.
If α ( , 0 ) ( 1 86 , + ) , then the subdivision scheme of Equation (5) is C 2 continuity.
Proof. 
Considering the refinement rules of the ternary 4-point rational interpolating subdivision scheme defined in Equation (5), we calculate sufficient conditions for the continuity of C 0 , C 1 , and C 2 by the Laurent polynomial method.
The mask a of the subdivision scheme can be written as
a = 1 126 α 1 { 1 135 α 27 , 2 243 α 27 , 0 , 873 α 7 9 , 129 α 1 3 , 1 , 129 α 1 3 , 873 α 7 9
873 α 7 9 , 0 , 2 243 α 27 , 1 135 α 27 } .
Taking a m ( z ) = ( 3 z 2 1 + z + z 2 ) m a ( z ) , we have:
a 1 ( z ) = 1 9 ( 126 α 1 ) { ( 1 135 α ) z 3 + ( 243 α 2 ) z 2 + ( 1 108 α ) z 1 + ( 1026 α 8 ) + ( 1350 α 11 ) z + ( 1026 α 8 ) z 2 + ( 1 108 α ) z 3 + ( 243 α 2 ) z 4 + ( 1 135 α ) z 5 } ,
for the range α ( , 0 ) ( 1 86 , + ) ,
1 3 S 1 = 1 3 max { i Z a 3 i ( 1 ) , i Z a 3 i + 1 ( 1 ) , i Z a 3 i + 2 ( 1 ) } = 15 1521 α 27 ( 1 126 α ) < 1 .
a 2 ( z ) = 1 3 ( 126 α 1 ) { ( 1 135 α ) z 1 27 α + ( 351 α 1 ) z + ( 648 α 5 ) z 2 + ( 351 α 1 ) z 3 27 α z 4 + ( 1 135 α ) z 5 } ,
for the range α ( , 0 ) ( 1 86 , + ) ,
1 3 S 2 = 1 3 max { i Z a 3 i ( 2 ) , i Z a 3 i + 1 ( 2 ) , i Z a 3 i + 2 ( 2 ) } = 7 918 α 9 ( 1 126 α ) < 1 .
a 3 ( z ) = 1 126 α 1 { ( 1 135 α ) z + ( 162 α 1 ) z 2 + ( 324 α 3 ) z 3 + ( 162 α 1 ) z 4 + ( 1 135 α ) z 5 } ,
for the range α ( , 0 ) ( 1 86 , + ) ,
1 3 S 3 = 1 3 max { i Z a 3 i ( 3 ) , i Z a 3 i + 1 ( 3 ) , i Z a 3 i + 2 ( 3 ) } = 3 324 α 3 ( 1 126 α ) < 1 .
According to (9), (10), and (11), we know that the sufficient conditions are satisfied for this scheme to be C 0 , C 1 , and C 2 . □

5. Fractal Behavior

In this paper, the fractal behavior of a ternary 4-point interpolation subdivision scheme is developed and analyzed.
The original data points are p 0 = { p i 0 } i = 0 n . Let p k = { p i k } i = 0 3 k n + 1 be the set of control points at level k, and p k = { p i k } i = 0 3 k n + 1 satisfies the scheme (5). We need to analyze the effect of the parameter α on the sum of the length of all the small edges between two arbitrary fixed control points p i k and p j k after k subdivision steps. For simplicity, we only analyze the effect between two initial points p 0 0 and p 1 0 .
According to the subdivision scheme (5), it is known that p 0 k = p 0 0 , where k 0 and:
p 0 k + 1 = p 0 k , p 1 k + 1 = a 0 p 1 k + a 1 p 0 k + a 2 p 1 k + a 3 p 2 k , p 2 k + 1 = a 3 p 1 k + a 2 p 0 k + a 1 p 1 k + a 0 p 2 k .
We defined the three edge vectors as:
V k = p 1 k p 0 k , S k = p 2 k p 1 k , R k = p 3 k p 2 k .
Let U k = p 1 k p 1 k , W k = p 0 k p 1 k and Z k = p 2 k p 2 k , and we can get U k = V k + W k . Since U k = p 1 k p 1 k , U k can be written as:
U k + 1 = ( a 2 a 0 ) U k + a 3 Z k .
Similarly:
Z k + 1 = ( a 1 a 3 ) Z k + a 0 U k .
Equations (13) and (14) are non-homogeneous difference equations to be solved simultaneously. Since
U 0 = p 1 0 p 1 0 ,
U 1 = p 1 1 p 1 1 = a 3 p 2 0 + ( a 0 a 2 ) p 1 0 + ( a 2 a 0 ) p 1 0 + a 3 p 2 0
gives the special solution:
U k = C 1 λ 1 + C 2 λ 2 ,
where λ 1 = 1 3 , λ 2 = α 126 α 1 , and
C 1 = ( 135 α 1 ) p 2 0 ( 4806 α 38 ) p 1 0 + ( 4806 α 38 ) p 1 0 + ( 1 135 α ) p 2 0 9 1161 α ,
C 2 = ( 1026 α 8 ) p 2 0 + ( 3649 α 29 ) p 1 0 + ( 4806 α 38 ) p 1 0 + ( 1 135 α ) p 2 0 1161 α 9 .
Since V k = p 1 k p 0 k and S k = p 2 k p 1 k , it follows that
V k + 1 = ( 1 a 1 ) V k + a 3 S k a 0 U k ,
S k + 1 = ( a 0 a 3 ) S k + ( a 1 a 2 ) V k + ( a 0 a 3 ) U k ,
R k + 1 = a 0 V k + a 2 S k + a 3 U k .
Using Equations (15), (16), and (17), yields:
V k + 2 = ( 1 + a 0 a 1 a 3 ) V k + 1 + [ a 3 ( a 1 a 2 ) ( 1 a 1 ) ( a 0 a 3 ) ] V k + U k ,
or
243 ( 126 α 1 ) 108 α 1 V k + 2 = 45 ( 135 α 1 ) 108 α 1 V k + 1 + 2 197 α 108 α 1 V k + U k ,
and the corresponding characteristic equation is:
243 ( 126 α 1 ) 108 α 1 r 2 45 ( 1 135 α ) 108 α 1 r 197 α 2 108 α 1 = 0 .
When α 1 108 , the roots of (21) are r 1 = 1 9 , r 2 = 297 α 2 27 ( 126 α 1 ) , and the solution of Equation (16) is
V k = D 1 r 1 k + D 2 r 2 k + D 3 λ 1 k + D 4 λ 2 k ,
where D i , i = 1 , 2 , 3 , 4 are the linear combinations of { p i 0 } i = 2 2 .
Similarly, the solution of Equation (17) is:
S k = E 1 ρ 1 k + E 2 r 1 k + E 3 r 2 k + E 4 λ 1 k + E 5 λ 2 k ,
where ρ 1 = 108 α 1 27 ( 126 α 1 ) and E i , i = 1 , , 5 are the linear combinations of { p i 0 } i = 2 2 .
The solution of Equation (18) is:
R k = H 1 ρ 1 k + H 2 r 1 k + H 3 r 2 k + H 4 λ 1 k + H 5 λ 2 k ,
where H i , i = 1 , , 5 are the linear combinations of { p i 0 } i = 2 2 .
Theorem 3.
If α ( 11 1431 , 7 837 ) and α 1 126 , then the limit curve of the subdivision scheme (5) is a fractal curve.
Proof. 
From Equations (22), (23), and (24), it might be concluded by induction that 3 k small edge vectors between the two initial control points p i k and p j k after k subdivision steps can be expressed as
ω i k = p i k p i 1 k = μ 1 i ρ 1 k + μ 2 i r 1 k + μ 3 i r 2 k + μ 4 i λ 1 k + μ 5 i λ 2 k , i = 1 , 2 , 3 .
For α ( 11 1431 , 7 837 ) and α 1 126 , then
r 2 > 1 9 = r 1 , r 1 > ρ 1 , r 2 > 1 3 = λ 1 , r 2 > λ 2 .
Let ω i k refer to the length of a vector ω i k and ω i 0 k = min i = 1 , 2 , , 3 k ω i k . Then, we have
i = 1 3 k ω i k = 3 k μ 1 i ρ 1 k + μ 2 i r 1 k + μ 3 i r 2 k + μ 4 i λ 1 k + μ 5 i λ 2 k = 3 × 297 α 7 27 ( 126 α 1 ) k · μ 1 i ρ 1 r 2 k + μ 2 i r 1 r 2 k + μ 3 i + μ 4 i λ 1 r 2 k + μ 5 i λ 2 r 2 k ( k ) .
Hence, so far as the initial points p 0 0 and p 1 0 are concerned, the sum of the lengths of all the small edges tends to infinity as k approaches infinity. Therefore, the limit curve of ternary 4-point scheme is a fractal curve when α ( 11 1431 , 7 837 ) and α 1 126 , and this parameter is valued near the point 1 126 . □
We give the comparison of the range for continuity and fractal behavior of proposed 4-point ternary scheme with other existing ternary schemes in Table 1.

6. Example

Examples of the rational interpolation subdivision schemes with C 2 continuity are given in Figure 1.
Examples of the subdivision schemes with fractal behavior are given in Figure 2.
The change of the limit curves of the subdivision scheme is given in Figure 3.
The application of the fractal curve is given in Figure 4.
The continuous surface and the fractal surface is given in Figure 5.

7. Conclusions

In this paper, a ternary 4-point interpolating subdivision scheme is introduced which generates a family of C 2 limiting curves for the range of parameter α , 0 1 84 , + . Compared with Hassan et al. [2] and Siddiqi et al. [6], the advantage of the proposed subdivision scheme is that it generates smooth limiting curves of C 2 continuity for a wider range of the parameter. The Laurent polynomial method and matrix method are used to prove the smoothness of the proposed subdivision scheme. Furthermore, the fractal behavior of the subdivision scheme was analyzed, along with the range of parameter α ( 11 1431 , 7 837 ) .

Author Contributions

Kaijun Peng and Jieqing Tan conceived and designed the experiments; Li Zhang and Zhiming Li performed the experiments; Kaijun Peng analyzed the data; Jieqing Tan contributed materials and analysis tools; Kaijun Peng wrote the paper.

Acknowledgments

This work is supported by the National Natural Science Foundation of China under Grant Nos. 61472466 and 61070227, the NSFC-Guangdong Joint Foundation Key Project under Grant No. U1135003.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Dyn, N.; Levin, D.; Gregory, J.A. A 4-point interpolatory subdivision scheme for curve design. Comput. Aided Geometric Design 1987, 4, 257–268. [Google Scholar] [CrossRef]
  2. Hassan, M.F.; Ivrissimtzis, I.P.; Dodgson, N.A.; Sabin, M.A. An interpolating 4-point ternary stationary subdivision scheme. Comput. Aided Geometric Design 2002, 19, 1–18. [Google Scholar] [CrossRef]
  3. Mustafa, G.; Irum, J.; Bari, M. A new 6-point ternary interpolating subdivision scheme and its differentiability. J. Comput. Inf. Sci. Eng. 2010, 5, 199–210. [Google Scholar] [CrossRef]
  4. Mustafa, G.; Irum, J.; Bari, M. A new 5-point ternary interpolating subdivision scheme and its differentiability. ISRN Comput. Math. 2012, 2012, 1–10. [Google Scholar] [CrossRef]
  5. Siddiqi, S.S.; Rehan, K. Symmetric ternary interpolating subdivision scheme. Int. Math. Forum 2012, 7, 2269–2277. [Google Scholar]
  6. Siddiqi, S.S.; Ahmad, N.; Rehan, K. Ternary 4-point interpolating scheme for curve sketching. Res. J. Appl. Sci. Eng. Tech. 2013, 6, 1556–1561. [Google Scholar] [CrossRef]
  7. Hassan, M.F.; Dodgson, N.A. A Ternary and Three-point Univariate Subdivision Schemes. Available online: http://neildodgson.com/pubs/Hassan-StMalo02-paper.pdf (accessed on 22 August 2018).
  8. Ko, K.P.; Lee, B.G.; Yoon, G.J. A Ternary 4-Point Approximating Subdivision Scheme. Appl. Math. Comput. 2007, 190, 1563–1573. [Google Scholar] [CrossRef]
  9. Ghaffar, A.; Mustafa, G. The family of even-point ternary approximating schemes. ISRN Appl. Math. 2012, 1, 1–14. [Google Scholar] [CrossRef]
  10. Rehan, K.; Siddiqi, S.S. A family of ternary subdivision schemes for curves. Appl. Math. Comput. 2015, 270, 114–123. [Google Scholar] [CrossRef]
  11. Zheng, H.; Ye, Z.; Lei, Y.; Liu, X. Fractal properties of interpolatory subdivision schemes and their application in fractal generation. Chaos Solitons Fractals 2007, 32, 113–123. [Google Scholar] [CrossRef]
  12. Zheng, H.Y.; Ye, Z.; Chen, Z.; Zhao, H. Fractal range of a 3-point ternary interpolatory subdivision scheme with two parameters. Chaos Solitons Fractals 2007, 32, 1838–1845. [Google Scholar] [CrossRef]
  13. Siddiqi, S.S.; Ahmad, N. Generation of fractal curves and surfaces using ternary 4-point interpolatory subdivision scheme. Appl. Math. Comput. 2014, 246, 210–220. [Google Scholar] [CrossRef]
  14. Siddiqi, S.S.; Salam, W.U.; Butt, N.A. Fractal behavior of ternary 4-point interpolatory subdivision scheme with tension parameter. Appl. Math. Comput. 2015, 260, 148–158. [Google Scholar] [CrossRef]
Figure 1. Examples of the rational interpolation subdivision schemes with C 2 continuity. (a) Behavior of the schemes for α = 1 ; (b) Behavior of the schemes for α = 0 ; (c) Behavior of the schemes for α = 1 ; (d) Behavior of the schemes for α = 3 .
Figure 1. Examples of the rational interpolation subdivision schemes with C 2 continuity. (a) Behavior of the schemes for α = 1 ; (b) Behavior of the schemes for α = 0 ; (c) Behavior of the schemes for α = 1 ; (d) Behavior of the schemes for α = 3 .
Mca 23 00065 g001
Figure 2. Example of the subdivision schemes with fractal behavior. (a) Behavior of the schemes for α = 0.00813 ; (b) Behavior of the schemes for α = 0.00818 ; (c) Behavior of the schemes for α = 0.0078 ; (d) Behavior of the schemes for α = 0.00775 .
Figure 2. Example of the subdivision schemes with fractal behavior. (a) Behavior of the schemes for α = 0.00813 ; (b) Behavior of the schemes for α = 0.00818 ; (c) Behavior of the schemes for α = 0.0078 ; (d) Behavior of the schemes for α = 0.00775 .
Mca 23 00065 g002
Figure 3. Example of the subdivision schemes with fractal behavior. (a) Control polygon; (b) Behavior of the schemes for α = 0.00792 ; (c) Behavior of the schemes for α = 0.00812 ; (d) Behavior of the schemes for α = 0.00823 ; (e) The limit curve with C 0 of the schemes for α = 0.01 ; (f) The limit curve with C 2 of the schemes for α = 0.007 .
Figure 3. Example of the subdivision schemes with fractal behavior. (a) Control polygon; (b) Behavior of the schemes for α = 0.00792 ; (c) Behavior of the schemes for α = 0.00812 ; (d) Behavior of the schemes for α = 0.00823 ; (e) The limit curve with C 0 of the schemes for α = 0.01 ; (f) The limit curve with C 2 of the schemes for α = 0.007 .
Mca 23 00065 g003
Figure 4. The application of the fractal curve. (a) The coastline; (b) Corresponds to the data points taken from (a); (c) The coastline is constructed by applying the subdivision scheme (5) to (b) for α = 0.00814 .
Figure 4. The application of the fractal curve. (a) The coastline; (b) Corresponds to the data points taken from (a); (c) The coastline is constructed by applying the subdivision scheme (5) to (b) for α = 0.00814 .
Mca 23 00065 g004
Figure 5. The continuous surface and the fractal surface. The initial control mesh in (a) and (b) shows the obtained result with α = 3 , and the surface is C 1 continuous; (c) shows the obtained result with α = 0.008 , it is a fractal surface; (d) shows the obtained result with α = 0.00795 , it is a fractal surface.
Figure 5. The continuous surface and the fractal surface. The initial control mesh in (a) and (b) shows the obtained result with α = 3 , and the surface is C 1 continuous; (c) shows the obtained result with α = 0.008 , it is a fractal surface; (d) shows the obtained result with α = 0.00795 , it is a fractal surface.
Mca 23 00065 g005
Table 1. Comparison of existing ternary 4-point interpolation subdivision schemes.
Table 1. Comparison of existing ternary 4-point interpolation subdivision schemes.
SchemeContinuityThe Range for C k The Range for Fractal Behavior
Hassan [2] C 2 ( 1 15 , 1 9 ) ( 1 , 1 5 ) ( 3 5 , 1 ) Siddiqi [13]
Siddiqi [6] C 1 ( 1 18 , 1 9 ) ( 17 27 , 1 3 ) Siddiqi [14]
Ours C 2 ( , 0 ) ( 1 84 , + ) ( 11 1431 , 7 837 )

Share and Cite

MDPI and ACS Style

Peng, K.; Tan, J.; Li, Z.; Zhang, L. Fractal Behavior of a Ternary 4-Point Rational Interpolation Subdivision Scheme. Math. Comput. Appl. 2018, 23, 65. https://doi.org/10.3390/mca23040065

AMA Style

Peng K, Tan J, Li Z, Zhang L. Fractal Behavior of a Ternary 4-Point Rational Interpolation Subdivision Scheme. Mathematical and Computational Applications. 2018; 23(4):65. https://doi.org/10.3390/mca23040065

Chicago/Turabian Style

Peng, Kaijun, Jieqing Tan, Zhiming Li, and Li Zhang. 2018. "Fractal Behavior of a Ternary 4-Point Rational Interpolation Subdivision Scheme" Mathematical and Computational Applications 23, no. 4: 65. https://doi.org/10.3390/mca23040065

Article Metrics

Back to TopTop