IJRET: International Journal of Research in Engineering and Technology
ISSN: 2319-1163
RELATIVE SUPERIOR MANDELBROT SETS AND RELATIVE SUPERIOR JULIA SETS FOR INTEGER AND NON-INTEGER VALUES Rajeshri Rana1, Yashwant Singh Chauhan2 1
Assistant Professor, Mathematics, 2 Assistant Professor, CSED/MCA, G. B. Pant Engineering College, Pauri-Garhwal, Uttarakhand, India, ranarajeshri@rediffmail, yashwant.s.chauhan@gmail.com
Abstract 2 The fractals generated from the self-squared function, z z c where z and c are complex quantities have been studied n extensively in the literature. This paper studies the transformation of the function z z c , n 2 and analyzed the z plane and c plane fractal images generated from the iteration of these functions using Ishikawa iteration for integer and non-integer values. Also, we explored the drastic changes that occurred in the visual characteristics of the images from n = integer value to n = non integer value.
Keywords: Complex dynamics, Relative Superior Julia set, Relative Superior Mandelbrot set. -------------------------------------------------------------------------*****-----------------------------------------------------------------1. INTRODUCTION “Fractal” is a word invented by Mandelbrot to bring together under the one heading, a large class of objects that have played an historical role in the development of pure mathematics. A great revolution of ideas separates the classical mathematics of the 19th century from the modern mathematics of the 20th. Classical mathematics had its roots in the regular geometric structures of Euclid and the continuously evolving dynamics of Newton. Modern mathematics began with Cantor‟s set theory and Piano‟s space-filling curve. Historically, the revolution was forced by the discovery of mathematical structures that did not fit the patterns of Euclid and Newton. These new structures were regarded as „pathological,‟... as a „gallery of monsters,‟ kin to the cubist painting and atonal music that were upsetting established standards of taste in the arts at about the same time. The mathematicians who created the monsters regarded them as important in showing that the world of pure mathematics contains a richness of possibilities going far beyond the simple structures that they saw in Nature. Twentieth-century mathematics flowered in the belief that it had transcended completely the limitations imposed by its natural origins. Perhaps the Mandelbrot set [12] is the most popular object in fractal theory. It is believed that it is not only the most beautiful object, which has been made visible but the most complex also. This object was given by Benoit B. Mandelbrot in 1979 and has been the subject of intense research right from its advent. It is known to us that all the complex quadratic functions are topologically conjugate to the complex quadratic function Q(z) = z2 + c. Recall that every Julia set for Q(z)= z2 + c is either connected or totally disconnected. The Mandelbrot set works as a locator for the two types of Julia
sets. Each point in the Mandelbrot set represents a c-value for which the Julia set is connected and each point in its complement represents a c-value for which the Julia set is totally disconnected [12]. The
fractals generated
from
the
self-squared function,
z z 2 c where z and c are complex quantities, have been studied extensively in the literature[5, 6, 7,8 & 11]. Recently, the generalized transformation function z z n c for positive integer values of n has been considered by K. W. Shirriff [11]. The z plane fractal images
z
z c
n for the function n1 for positive and negative, both integer and non-integer values of n have been presented by Gujar et al. along with some conjectures about their visual characteristics[6, 7]. In this paper, we have considered the transformation of the
z zn c , n 2
function and analyzed the z plane and c plane fractal images generated from the iteration of these functions using Ishikawa iteration for integer and non-integer values. Also, we explored the drastic changes that occurred in the visual characteristics of the images from n = integer value to n = non integer value[2, 3 &15].
2. PRELIMINARIES Let
{zn : n 1, 2,3, 4.........}
, denoted by
{ zn }
be a
Lim zn
sequence of complex numbers. Then, we say n if, for given M > 0, there exists N > 0, such that for all n > N, we
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
139
IJRET: International Journal of Research in Engineering and Technology
| z | M
z
must have n . Thus all the values of n , lies outside a circle of radius M, for sufficiently large values of n.
Q( z) a0 z n a1z n1 a2 z n2 ............... an1z1 an z 0 ; a0 0 be a polynomial of degree n, where n 2 . The coefficients are Let
allowed to be complex numbers. In other words, it follows that
Qc ( z ) z 2 c .
Definition 2.1[4]:Let X be a nonempty set and f : X X . x0 X , the Picard‟s orbit is defined as the set
For any point of
iterates
of
x point 0 ,
a
O( f , x0 ) {xn ; xn f ( xn1 ), n 1, 2,3.....}
that
y0 s0 f ( x0 ) (1 s0 ) x0 y1 s1 f ( x1 ) (1 s1) x1 ...
yn sn f ( xn ) (1 sn ) xn where and
0 sn 1 and sn is convergent to non zero number
x1 s0 f ( y0 ) (1 s0 ) x0 x2 s1 f ( y1 ) (1 s1 ) x1 ... xn sn1 f ( yn1 ) (1 sn1 ) xn1
is;
0 sn 1 and
where number[9].
.
In functional dynamics, we have existence of two different types of points. Points that leave the interval after a finite number are in stable set of infinity. Points that never leave the interval after any number of iterations have bounded orbits. So, an orbit is bounded if there exists a positive real number, such that the modulus of every point in the orbit is less than this number. The collection of points that are bounded, i.e. there exists M,
| Q ( z ) | M , for all n, is called as a prisoner set such that n
while the collection of points that are in the stable set of infinity is called the escape set. Hence, the boundary of the prisoner set is simultaneously the boundary of escape set and that is Mandelbrot set for Q. Definition 2.2[4]:The Mandelbrot set M for the quadratic
Qc ( z ) z c is defined as the collection of all c C for 2
ISSN: 2319-1163
Definition
3.1[2,15]:
yn constructed
sn is
convergent to non zero
The
xn and
sequences
above is called Ishikawa sequences of iterations or relative superior sequences of iterates. We denote it by
RSO( x0 , sn , sn , t ) .
Notice
RSO( x0 , sn , sn , t )
that
sn =1
with
is
RSO( x0 , sn , t ) i.e. Mann‟s orbit and if we place sn sn 1 RSO( x0 , sn , sn , t ) reduces to O ( x0 , t ) . then We
remark
that
Ishikawa
orbit
RSO( x0 , sn , sn , t ) with sn 1/ 2 is Relative Superior orbit.
Now we define Mandelbrot sets for function with respect to Ishikawa iterates. We call them as Relative Superior Mandelbrot sets.
which the orbit of the point 0 is bounded, that is
M {c C :{Qcn (0)}; n 0,1,2,......isbounded}
. An equivalent
M {c C :{Q (0) does not tend to as n } n c
formulation is . We choose the initial point 0, as 0 is the only critical point of
Qc
SUPERIOR
MANDELBROT
SETS
AND
RELATIVE SUPERIOR JULIA SETS
and
Qc ( z ) z n c , where n = 1, 2, 3, 4… is defined as the collection of c C for which the orbit of the function of the form 0 is bounded i.e.
RSM {cC : Qck (0) : k 0,1, 2...}
.
3. ISHIKAWA ITERATION FOR RELATIVE
Let
Definition 3.2[15]: Relative Superior Mandelbrot set SM for
X
be
a
subset
of
real
f : X X . For x0 X , {xn } { yn }
sequences
and
or we
complex
numbers
construct
in X in the following manner:
the
is bounded.
Definition 3.3[2]: The set of points SK whose orbits are bounded under Relative superior iteration of function Q(z) is called Relative Superior Julia sets. Relative Superior Julia set of Q is boundary of Julia set RSK. 3.4 Escape Criterion[2,15]: Fractals have been generated from z z c , n 2 and z ( z c) , n 2 using escape-time techniques, for example by Gujar etal.[6, 7] n
n
1
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
140
IJRET: International Journal of Research in Engineering and Technology
ISSN: 2319-1163
and Glynn [8]. We have used in this paper escape time criteria of Relative Superior Ishikawa iterates for both of these functions. Escape
Criterion
for
Suppose
| zn | (1 ) | z | and | z | | c | and | z | 2 / s as well
that | z | max{| c |,2 / s,2 / s } ,
| zn | as n .So,
Quadratics: n
then
as | z | 2 / s shows the escape criteria for quadratics. Escape
Criterion
for
Cubics:
| z | max{| b |,(| a | 2 / s) ,(| a | 2 / s)1/2} 1/2
Figure 2: Relative Superior Mandelbrot Set for s=0.4, s'=0.1
Suppose
| z | then n
as n . This gives an escape criterion for cubic polynomials. General
Escape
Criterion:
| z | max{| c |,(2 / s) ,(2 / s) } 1/ n
4.12 Relative Superior Mandelbrot Sets for Cubic function:
Consider
1/ n
then
| zn |
as n is the escape criterion. Note that the initial value should be infinity, since infinity is the critical point n 1 of z ( z c) . However instead of starting with
z0
z0 =
z c infinity, it is simpler to start with 1 = , which yields the
Figure 1: Relative Superior Mandelbrot Set for s=0.1, s'=0.4
same result. (A critical point of z F(z) c is a point
where F( z ) 0 ). The role of critical points is explained in [1].
4. GENERATION OF FRACTALS A) Generation Of Fractals For Integer Values: 4.1 Relative Superior Mandelbrot Sets: We generate
Figure 2: Relative Superior Mandelbrot Set fo r s=0.4, s'=0.1
Relative Superior Mandelbrot sets. We present here some Relative Superior Mandelbrot sets for quadratic, cubic and biquadratic function.
4.11
Relative
Superior
Mandelbrot
Sets
for
4.13 Relative Superior Mandelbrot Sets for Biquadratic function:
Quadratic function:
Figure 1: Relative Superior Mandelbrot Set for s=0.1, s'=0.4 Figure 1: Relative Superior Mandelbrot Set for s=0.1, s'=0.4
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
141
IJRET: International Journal of Research in Engineering and Technology
Figure 2: Relative Superior Mandelbrot Set for s=0.3, s'=0.4
4.14 Generalization of Relative Superior Mandelbrot
ISSN: 2319-1163
Figure 2: Relative Superior Julia Set for s=0.4, s'=0.1, c=2.1+5.53i
4.22 Relative Superior Julia Sets for Cubic function:
Set
Figure 1: Relative Superior Julia Set for s=0.1, s'=0.4, c = 1.6+6.7i Figure 1: Relative Superior Mandelbrot Set for s=0.1, s'=0.4, n=19
Figure 2: Relative Superior Julia Set for s=0.4, s'=0.1, c= 1+0.5i Figure 2: Relative Superior Mandelbrot Set for s=0.4, s'=0.1, n=19
4.23 Relative Superior Julia Sets for Bi-quadratic function:
4.2 Relative Superior Julia Sets: We generate Relative Superior Julia sets. We present here some Relative Superior Julia sets for quadratic, cubic and biquadratic function.
4.2.1 Relative Superior Julia Sets for Quadratic function:
Figure 1: Relative Superior Julia Set for s=0.1, s'=0.4, c=20.26+0.097i
Figure 1: Relative Superior Julia Set for s=0.1, s'=0.4, c=2.6+0.0i
Figure 2: Relative Superior Julia Set for s=0.3, s'=0.4, c= 3.6+0.0i
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
142
IJRET: International Journal of Research in Engineering and Technology B) Generation Of Fractals For Non-Integer Values:
ISSN: 2319-1163
1.33 Generalization of Relative Superior Mandelbrot Set:
4.3 Relative Superior Mandelbrot Sets: We generate Relative Superior Mandelbrot sets. We present here some Relative Superior Mandelbrot sets for quadratic, cubic and biquadratic function.
4.31 Relative Superior Mandelbrot Sets for Cubic function: Figure 1: Relative Superior Mandelbrot Set for s=0.4, sâ€&#x;=0.3, n=15.8
Figure 1: Relative Superior Mandelbrot Set for s=0.8, s'=0.3, n=3.6
Figure 2: Relative Superior Mandelbrot Set for s=0.5, sâ€&#x;=0.4, n=16.2
4.4 RELATIVE SUPERIOR JULIA SETS: Figure 2: Relative Superior Mandelbrot Set for s=0.8, s'=0.3, n=3.8
4.32 Relative Superior Mandelbrot Sets for Biquadratic function:
Figure 1: Relative Superior Mandelbrot Set for s=0.5, s'=0.4, n=4.2
Figure 2: Relative Superior Mandelbrot Set for s=0.5, s'=0.4, n=4.6
We generate Relative Superior Julia sets. We present here some Relative Superior Julia sets for quadratic, cubic and biquadratic function.
4.41 Relative Superior Julia Sets for Cubic function:
Figure 1: Relative Superior Julia Set for s=0.5, s'=0.4, n=3.6, c=0.03488180321+0.02537719055i
Figure 2: Relative Superior Julia Set for s=0.5, s'=0.4, n=3.8, c=-0.0442117701+0.03592300032i
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
143
IJRET: International Journal of Research in Engineering and Technology 4.42 Relative Superior Julia Sets for Bi-quadratic function:
Figure 1: Relative Superior Julia Set s=0.8, s'=0.2, n=4.2, c=0.04015470798+0.03592299963i
ISSN: 2319-1163
5.2 Fixed points of Cubic polynomial :
Figure 1: Orbit of F(z) for (z0= 0.14+2.25i) at s=0.4 and s'=0.1
5.3 Fixed points of biquadratic polynomial :
Figure 2: Relative Superior Julia Set for s=0.8, s'=0.2, n=4.6, c=0.003244373774+0.02010428497i
5. GRAPHS
Fig1: Orbit of F(z) for (z0= -0.118+0.021i) at s=0.4 and s'=0.1
A) Fixed points of Integer values: 5.1 Fixed points of quadratic polynomial
B).Fixed points of Non-Integer values: 5.4 Fixed points of Cubic Polynomial :
Figure 1: Orbit of F(z) for (z0=-1.077560973 -0.823761912i ) at s=0.1 and s'=0.4
Figure 1: Orbit of F(z) for s=0.8, s'=0.2, n=3.6, c=0.006067272682+0
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
144
IJRET: International Journal of Research in Engineering and Technology
z zn c ,
ISSN: 2319-1163
n 2
reveals the following changes when we move from the positive integer to a positive non integer value:
Figure 2: Orbit of F(z) for s=0.5, s'=0.4, n=3.2, c=0.03488180321-0.01680604855
5.5 Fixed points of biquadratic polynomial :
Figure 1: Orbit of F(z) for s=0.8, s'=0.2, n=4.6, c=0.003244373774+0.02010428497i
Figure 2: Orbit of F(z) for s=0.5, s'=0.4, n=4.8, c=0.1125374895-0.0520056533i
6. ANALYSIS
z
z c
n The z plane fractal images for the function n1 for positive and negative, both integer and non-integer values of n have been presented by Gujar et al. [6, 7] along with some conjectures about their visual characteristics. Z plane fractals: The geometrical analysis of Relative Superior Mandelbrot sets for the function
Relative Superior Mandelbrot Sets: The geometrical analysis of Relative Superior Mandelbrot for the function z z n c , n 2 shows that the stable points of this function in z-plane are black colored. Here the stable region is bounded by the unstable region. Also, we notice that the number of lobes in the Relative Superior Mandelbrot sets increases by (n+1) as one move from an integer to a non integer value nearby the consecutive next integer. Also, for integer values, the symmetry is maintained along real axis for even functions whereas for the odd function, the symmetry is maintained along both axes but such case does not exists for the noninteger terms. For n=2, there does not exists Relative Superior Mandelbrot for non-integer function. For odd integer (n=3), we see that there are two self similar lobes initially. As we move to n=3.2, there exists a small growth between two major lobes, on the left hand side, thus creating asymmetry along the Y axis, however the symmetry is retained for the X axis. When the value of n increases to 3.6, we predicted the emergence of a small embryonic lobe. This develops more when we move to n=3.8. The generalization (n= 15) of this result also presents the same picture of development of embryonic lobe. Thus, the Relative Superior Mandelbrot sets are symmetrical only about the real axis. For even integer (n= 4), we observe that the size of the major lobe situated on the left hand side (negative axis) is increased. In addition, the major lobe appears to be composed of the two partially overlapping lobes in the form of a composite lobe (At n=4.2). This composite lobe has two constituent lobes that are visible to us on the verge of splitting two major lobes (At n=4.6). The generalization of this result is obtained for n=16, where the growth of the embryonic lobe takes place in the same manner. Here also, the Relative Superior Mandelbrot sets are found symmetrical only about the real axis. C plane fractals: The geometrical analysis of Relative Superior Julia sets for the function z z c , n 2 reveals the following changes when we move from the positive integer to a positive non integer value: Relative Superior Julia Sets: Geometrical analysis of the Relative Superior Julia sets of inverse function for non integer values shows that the boundary of the fixed point region forms a (n + 2) hypocycloid instead of (n+1). A hypocycloid is a curve formed by rolling a smaller circle inside a larger circle and tracing a fixed point on the circumference of the smaller circle. The n
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
145
IJRET: International Journal of Research in Engineering and Technology radius of the outer fixed circle for hypocycloid can be computed
as | z | | z 1/( n 2)
condition | z | n of (n 2)n
|z
n
n /( n 2)
| yielding n
n
,
|,
where resulting
z in
satisfies a
the radius
. The radius of inner moving circle is
n /( n 2)
. The inverse function for the odd integer (n=3), shows a thin leg appearing at n=3.6, which gets broaden as self similar legs at n=3.8. So, with the change from the integer to the non integer value the symmetry about both X and Y axes, now changes to only about X axis. Further only the rotational symmetry is maintained while the reflection symmetry is loosed at non integer values. The Relative Superior Julia sets for the even integer (n= 4), we observe that the size of the major lobe situated on the left hand side (negative axis) is increased. In addition, the major lobe appears to be composed of the two partially overlapping lobes in the form of a composite lobe (At n=4.2). This composite lobe has two constituent lobes that are visible to us on the verge of splitting two major lobes (At n=4.6). Further at n=4.8, an embryonic self similar lobe develops. Thus the symmetry is maintained only along the X axis for non integer values. The generalization of the results is obtained for odd and even values of n can be observed for n=15 and n=16, where the growth of the embryonic lobe takes place in the same manner. Here the structure resembles to that of a constellation similar to planetary arrangement with central circular planet surrounded by satellite like structures. Furthermore, the size of the central planet reduces as the value of n reduces, while the satellite structures enlarge and diffuses. On the other hand, with the increase in the value of n, the central planet size increases and more satellite structures appears with very small radius. The planetary arrangement with central circular planet surrounded by satellite like structures describes reflection as well as rotational symmetry. It is also observed for the planetary arrangement with central circular planet that, the stable region is represented by light color which surrounds the constellation while the dark color regions represent the unstable areas. This situation is reverse of the situation for the fractals of the
non integer value change brought the embryonic structure in the form of lobe. On the other hand, the C plane geometrical analysis of the function z z c , n 2 represented the planetary type structure comprising of central planet with satellites. Here non integer value change showed the embryonic self similar growth in the satellite pattern. Also, this function exhibits the unstable region embedded within the stable region. n
REFERENCES
[5]
B. Branner, “The Mandelbrot Set”, Proceedings of Symposia in Applied Mathematics39 (1989), 75-105. Yashwant S Chauhan, Rajeshri Rana and Ashish Negi. “New Julia Sets of Ishikawa Iterates”, International Journal of Computer Applications 7(13):34–42, October 2010. Published By Foundation of Computer Science. ISBN: 978-93-80746-97-5. Yashwant S Chauhan, Rajeshri Rana and Ashish Negi. Article: “Complex Dynamics of Ishikawa Iterates for Non Integer Values”, International Journal of Computer Applications 9(2):9–16, November 2010. Published By Foundation of Computer Science. ISBN: 978-9380747-81-4. Robert L. Devaney, “A First Course in Chaotic Dynamical Systems: Theory and Experiment”, Addison-Wesley, 1992. MR1202237. S. Dhurandar, V. C. Bhavsar and U. G. Gujar, “Analysis
[6]
of z-plane fractal images from z z c for α < 0”, Computers and Graphics 17, 1 (1993), 89-94. U. G. Gujar and V. C. Bhavsar, “Fractals from
[1] [2]
[3]
[4]
z z c in the Complex c-Plane”, Computers and [7]
[8] [9] [10] [11]
CONCLUSIONS
[12]
In this paper, we have considered the transformation of the
[13]
function z z c , n 2 . We mathematically analyzed the visual characteristics of the fractal images in the complex z and c planes respectively. The Z plane fractal n
images for the function z z c , n 2 showed that the stable region is bounded by unstable region. Besides this, the n
Graphics 15, 3 (1991), 441-449. U. G. Gujar, V. C. Bhavsar and N. Vangala, “Fractals
function z z c , n 2 where the stable regions are bounded by unstable regions. n
ISSN: 2319-1163
[14] [15]
from z z c in the Complex z-Plane”, Computers and Graphics 16, 1 (1992), 45-49. E. F. Glynn, “The Evolution of the Gingerbread Mann”, Computers and Graphics 15,4 (1991), 579-582. S. Ishikawa, “Fixed points by a new iteration method”, Proc. Amer. Math. Soc.44 (1974), 147-150. G. Julia, “Sur 1’ iteration des functions rationnelles”, J Math Pure Appli. 8 (1918), 737-747 K. W. Shirriff, “An investigation of fractals generated by z z n c ”, Computers and Graphics 13, 4 (1993), 603-607. B. B. Mandelbrot, “The Fractal Geometry of Nature”, W. H. Freeman, New York, 1983. H. Peitgen and P. H. Richter, “The Beauty of Fractals”, Springer-Verlag, Berlin, 1986. C. Pickover, “Computers, Pattern, Chaos, and Beauty”, St. Martin‟s Press, NewYork, 1990. Rajeshri Rana, Yashwant S Chauhan and Ashish Negi. “Non Linear Dynamics of Ishikawa Iteration”, International Journal of Computer Applications
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
146
IJRET: International Journal of Research in Engineering and Technology
[16]
ISSN: 2319-1163
7(13):43–49, October 2010. Published By Foundation of Computer Science. ISBN: 978-93-80746-97-5. S. T. Welstead and T. L. Cromer, “Coloring Periodicities of Two-dimensional Mappings”, Computers and Graphics 13, 4 (1989), 539-543.
BIOGRAPHIES: Rajeshri Rana Chauhan is presently serving as Assistant Professor Mathematics in G. B. Pant Enginneeering College, Uttrakhand, India. She is the member of Indian mathematical Society. As an ardent researcher, she is working in the field of fixed point theory and its applications. She has, to her credit many publications in international and national journals and books. Yashwant Singh Chauhan is presently serving as Assistant Professor Computer Science and Engineering Department in G. B. Pant Enginneeering College, Uttrakhand, India. As an eminent researcher, he is working in the field of Fractals and its applications. He has, to his credit many publications in international journal
__________________________________________________________________________________________ Volume: 01 Issue: 02 | Oct-2012, Available @ http://www.ijret.org
147