10- Fractals Generated via Numerical Iteration Method
10- Fractals Generated via Numerical Iteration Method
Article
Fractals Generated via Numerical Iteration Method
Wadia Faid Hassan Al-shameri * and Mohamed El Sayed
Department of Mathematics, College of Science and Arts, Najran University, Najran 55461, Saudi Arabia;
mebadria@nu.edu.sa
* Correspondence: wfalshameri@nu.edu.sa
Abstract: In this research article, a modified algorithm for the generation of a fractal pattern resulting
from the iteration of an algebraic function using the numerical iteration method is presented. This
fractal pattern shows the dynamical behavior of the numerical iterations. A nonstandard convergence
test of the displayable fractal pattern was applied.
1. Introduction
Benoit B. Mandelbrot [1] studied and extended the theory and graphic representations
of iterated functions over the complex plane C.
Let f (z) be a complex-valued function. For a value of an initial complex number z0
(usually 0) in the complex plane, C, the function f (z) is iterated using the iteration formula
zk = f (zk−1 ), k = 1, 2, 3, . . .
Determine the dynamical behavior of f (z) [2]. The sequence z0 , z1 , z2 , . . . may converge
Citation: Al-shameri, W.F.H.; El
or diverge depending on the coordinates of z0 [3,4].
Sayed, M. Fractals Generated via
Numerical Iteration Method. Fractal
If quadratic complex valued-function f (z) has zero-valued α1 and α2 in C and L is the
Fract. 2022, 6, 196. https://doi.org/
perpendicular bisector of the line segment from α1 to α2 , then when the Newton–Raphson
10.3390/fractalfract6040196
method is applied to f (z), the half-planes into which L divides the complex plane are B(α1 )
and B(α2 ), the basins of attraction to α1 and α2 [2,3]. The basins are formed from the chaotic
Academic Editors: Song Zheng, fractal pattern; this is the dynamical behavior of the Newton–Raphson method.
Yangquan Chen, Emad E. Mahmoud
For each complex valued-function f (z), Newton’s method defines a dynamical system
and Maria Rosaria Lancia
on the complex plane C. In [3], Gilbert discusses the basins of attraction of the roots and
Received: 20 February 2022 gives an overview of the complex dynamics of Newton’s method for a rational function
f (z)
Accepted: 28 March 2022 such as f 0 (z) .
Published: 31 March 2022
Chaos and fractals are interesting fields of scientific research in mathematics, physics,
Publisher’s Note: MDPI stays neutral engineering, and many other disciplines. They provide us with powerful mathematical
with regard to jurisdictional claims in tools to analyze and understand the irregularity and complexity of physical and non-
published maps and institutional affil- physical phenomena. Fractal geometry is older than chaos theory; however, the mathemati-
iations. cal terms “chaos” and “fractal” are twins. The word “chaos” in 1975 describes an irregular
behavior of certain types of dynamical systems, whereas the term “fractal,” which was
coined by Benoit Mandelbrot [1,2] in the same year, refers to certain geometrical structures
or fractal patterns.
Copyright: © 2022 by the authors.
We investigated the basin of attraction of the roots of standard Newton’s iteration
Licensee MDPI, Basel, Switzerland.
method. Additionally, we analyzed the method’s speed of convergence and explored the
This article is an open access article
basins of attraction [3,4]. We give a complete description for Newton’s iteration method to
distributed under the terms and
track the dynamical behavior in order to arrive at roots for a better approximation, which
conditions of the Creative Commons
identifies the fractal pattern as the basins of attraction of these roots.
Attribution (CC BY) license (https://
A way to analyze the behavior of iterative complex-valued functions is through the
creativecommons.org/licenses/by/
4.0/).
study of the dynamics of these algebraic functions in the Riemann sphere Ĉ = C ∪ {∞}.
Some related works can be observed in [2]. The definitions of orbit, fixed points, attracting
fixed point, periodic orbits, and super attractive, among others, can be found in [1–5].
The purposes of this research article are to describe an algorithm that approximates the
roots of the function of a complex variable and pose the problem of determining the basins
of attraction of the different roots as a displayable fractal pattern, which is the dynamical
behavior of the Newton–Raphson method. A non-standard convergence test was applied
for generating the fractal pattern (See Appendix A).
This research paper is organized as follows: Section 1 is an introduction to the topic.
Section 2 introduces mathematical foundations and describes an algorithm that shows the
dynamical behavior of the numerical iteration method. Simulation results for rendering
fractals that show the dynamical behavior of the numerical iteration method are given in
Section 4. Finally, Section 5 is the conclusion, which briefly summarizes the results.
zk+1 = F (zk ), k = 1, 2, 3, . . .
For each initial point z0 , the sequence z0 , z1 , z2 , . . . may converge or diverge depending
on the coordinates of z0 . Newton’s method is a numerical iterative method that is used as a
discrete dynamical system [5] to derive the roots of a higher-order nonlinear function at a
given point on the curve, which can be used to obtain a better approximation of the root
with another round of iteration.
Let f : C → C be a complex-valued function with a continuous derivative. The
standard Newtonian iteration method in the complex plane [2,4] can be defined as:
N : C ∪ {∞} → C ∪ {∞} , and z0 moves from some initial guess (seed) to an approx-
imation of the root through the maximum number of iterations. That is, if z0 is the seed,
then N (n) (z0 ) will converge on the root of f (z) [2], where n is the maximum number of
iterations. The complex derivative of the rational function N (z) is given by
2
N 0 (z) = f (z) f 00 (z) f 0 (z)
We know that the root of f (z) is the fixed point of N (z), which is given by f (z) f 0 (z) = 0 .
Let w = f (z) f 0 (z) be the root of f (z), so if w is simple, then f (w) = 0, but f 0 (z) 6= 0, and
| N 0 (z)| = 0; thus, the root w of
n f isoa super-attractive fixed point (every seed converges
toward the same point—i.e., f (k) converges normally toward w) of N (z) [3,6]. This
shows that the rate of convergence is quadratic in some open regions, which contains the
fixed-point w of N (z). Now, if w is a root of multiplicity m, then | N 0 (w)| = (m − 1)/m,
and if m > 1 then 0 ≤ | N 0 (w)| ≤ 1. This means that w is also an attractive fixed point
for N (z), and the convergence is linear (since | N 0 (w)| lies between 0 and 1). This shows
that N (z) is unsatisfactory if the root is not a simple root. If z in an absolute value is large;
N (z) ≈ 1/n.(nz − z), where n is the degree of f (z), N 0 (z) = 1/n.(n − 1)), and | N 0 (z)| =
(n–1)/n; this says that the point w = ∞ is a repelling fixed point.
2.2. Algorithm for Generating a Fractal Pattern Using a Numerical Iterative Method
The fractal pattern for the function f (z) is a type of mathematical/geometric shape
that has the property of self-similarity and was computed using an algorithm named “the
escape time algorithm.” This algorithm is based on the definition that identifies the escape
time fractal pattern, which is different from the fractal pattern generated by a deterministic
algorithm [7–9] or a random iteration algorithm [8–10]. It is generated by a numerical
iteration method, as the boundaries of the points are attracted to infinity, and the points
Fractal Fract. 2022, 6, 196 3 of 8
n o
B(0) = z ∈ C : f (n) (z) → 0, |z| < 1
n o
B(0) = z ∈ C : lim f (n) (z), |z| > 1
n→∞
Therefore, the fractal pattern, S f , is the unit circle, which is the boundary of both B(0)
and B(∞) [2,12]. Note that if |z|= 1 , then the points with f (n) (z), ∀n, remain on S f .
The escape-time algorithm is represented as follows [13]: If |zn | > bound (i.e., fixed
bound), the value will always escape towards infinity: then, iteration can be stopped for
this point. |zn | is the square root of xn2 + y2n and is named the modulus of the complex
number zn . Fixed bound is the bailout value for the fractal pattern S f . When using a large
number of iterations (the maximum number of iterations), it can be assumed that almost
all the points with |zn | < fixed bound pertain to the fractal pattern.
In order to track the dynamical behavior [14] of the points that are attracted to infinity
and the points that are converted to an attracted k-cycle of f (z), an appropriate coloring
scheme is used as follows:
We know that the escape-time algorithm consists of evaluating each point in a grid as
a portion of the complex plane. Then, if a point iterates to infinity, the corresponding pixel
on the computer screen is given one color, and if a point ends up in an attractive k-cycle
of f (z), the pixel is given another color. The boundary between two colors is the fractal
pattern of f (z) [8].
Now, consider the function f c (z) = z2 + c, and then, the escape time algorithm deter-
mines a sequence of complex numbers and plots the basins of attraction for the roots of
f c (z) in a region of the complex plane by fixing the complex parameter c and varying z. The
escape time algorithm is coded as a pseudo-code, so that readers may easily understand it.
3. Results
We have utilized Newton’s method to find the roots of a complex-valued
complex-valued function.
function.
Through the aid of MATLAB, the complex basins of attraction for several complex-valued
functions can be viewed and the following
following fractal
fractal patterns
patterns (Figures –4) can
(Figures 11–4) can be
be obtained.
obtained.
fractalpatterns
These fractal patternsarearecalled
called Newton
Newton fractals
fractals [2,3,6,11].
[2,3,6,11]. TheyThey
are aare a fractal
fractal basedbased on
on using
Newton’s
using method
Newton’s in order
method into find to
order roots
findforroots
a particular complex-valued
for a particular functionfunction
complex-valued starting
from points
starting fromlaid out on
points laida out
region
on (the two-dimensional
a region grid of points)
(the two-dimensional inpoints)
grid of the complex
in the plane
com-
C. Weplane
plex ran Newton’s
. We ran method,
Newton’sstarting from starting
method, each gridfrom
point, andgrid
each we point,
determined
and weto which
deter-
one of the
mined roots itone
to which wasofconverging
the roots it for
wasthis grid point.
converging for this grid point.
3 3− z.
Figure 1.
Figure Newton basins
1. Newton for zz
basins for −z.
Fractal Fract. 2022, 6, 196 5 of 8
3
Figure 1. Newton basins for z −z.
Figure 2.
Figure 2. Detailed of a bulb from
from Figure
Figure 1.
1.
3
Figure 3. Newton
Newton basins
basins for 33−−1.1.
for zz
Figure 3. Newton basins for z −1.
Figure 3.
Figure 3 is an example that shows a part of the basins for Newton’s method applied to
the cubic complex-valued function z3 − 1. B(1) is in yellow, and the other two basins are in
the other two colors.
Figure 4 shows the basin of attraction of the roots when Newton’s method is applied
to z5 − z2 = z2 (z3 − 1). Since 0 is a double root of f (z), and | N 0 (0)|= 1 , this means that
the double root 0 is an indifferent (may be attracting, repelling, or neither) fixed point
for N (z), and any neighborhood of such fixed point contains points that are in the basin
of attraction of that indifferent fixed point and points that are not in that basin, because
Newton’s method converges only linearly at the double root.
Finally, in Figures 1, 3 and 4 we use a square grid (−r ≤ x ≤ r, –r ≤ y ≤ r ), where
r ∈ R is mesh grid or region. To speed up the convergence rate, we avoided conditional
instructions of the prior escape time algorithm and used a maximum of 10 iterations
to reach a fractal pattern when iterating Newton’s method via modified escape time
algorithm. This conclusively shows that the results are superior in terms of performance
and algorithmic efficiency.
5. Conclusions
The mathematical foundations behind generating a fractal pattern of an algebraic
function using the numerical iteration method have been introduced. For constructing a
fractal pattern, we first introduced the numerical iterative method for the complex plane
and described a modified algorithm that shows the dynamical behavior of the numerical
iteration method (see the result in Section 3).
This algorithm is based on the fact that it identifies the fractal pattern generated by
the numerical iteration method as the boundary of the points that are attracted to infinity
and the points that are attracted to an attracted k–cycle of the algebraic function.
This algorithm speeds up the convergence rate by avoiding conditional instructions
and minimizing the number of iterations needed to obtain the fractal pattern to 10 iterations.
This algorithm is a variation of the escape time algorithm, which changes the interior
structure of the fractal pattern of the numerical iteration method applied to the algebraic
function for accelerating the fractal pattern generation.
The most used iteration method is Newtons’ iteration formula, but other famous
iteration methods could be introduced for future works—e.g., Chun-Hui He’s iteration
method, the variational iteration method, and the homotopy perturbation method. The
values of the fractal dimensions of the fractal pattern could be approximated in future
studies. The two-scale fractal dimensions (see [17–19]) could be used for this purpose.
This article presented a novel tool making use of the modified escape time algorithm.
To accelerate convergence, we removed conditional instructions in the prior algorithm
and employed a maximum of 10 iterations to reach a fractal pattern by iterating Newton’s
method using the modified escape time algorithm. Our results are superior to both old
and recent results in terms of the performance and efficiency of the modified escape
time algorithm, and superior results came about in the nonstandard convergence test
when Newton’s method was iterated by the modified escape time algorithm, which is a
mathematical insight gained in this article. The results give notably new insights into the
treatment of fractal pattern generation, which is one of the study’s strengths.
Data Availability Statement: This article is about mathematics and the authors of the article express
their satisfaction that the use of its data is in accordance with the policies of the journal. The data are
available from the corresponding author.
Acknowledgments: The authors are thankful to the Deanship of Scientific Research at Najran University
Fractal Fract. 2022, 6, x FOR PEER REVIEW 8 of 9
for funding this work under the General Research Funding program grant code (NU/SERC/10/602).
Conflicts of Interest: The authors declare that they have no conflicts of interest.
AppendixAA
Appendix
FigureA1.
Figure A1.MATLAB
MATLABprogram
programfor
forgenerating
generatingthe
thefractal
fractalpattern
patternofofNewton-Raphson
Newton-Raphsonmethod.
method
References
References
1.1. Mandelbrot, B.B.The
Mandelbrot,B.B. TheFractal
FractalGeometry
GeometryofofNature;
Nature;W.H.
W.H.Freeman
Freeman&&Company:
Company:New NewYork,
York,NY,NY,USA,
USA, 1999.
1999.
2.2. Falconer, Fractal Geometry-Mathematical Foundations and Applications;
Falconer, K. Fractal Geometry-Mathematical Foundations and Applications; John Wiley & Sons Ltd.: Hoboken,NJ,
K. John Wiley & Sons Ltd.: Hoboken, NJ,USA,
USA,1999.
1999.
3.3. Gilbert,
Gilbert,W.J.
W.J.Newton’s
Newton’smethod
methodfor formultiple roots.J.J.Comput.
multipleroots. Comput.Graph. 1994,18,
Graph.1994, 18,227–229.
227–229.[CrossRef]
4.4. Mathews,
Mathews,J.H.;
J.H.;Fink, K.D.Numerical
Fink,K.D. NumericalMethods
MethodsUsing
UsingMatlab;
Matlab;Prentice-Hall:
Prentice-Hall:Hoboken,
Hoboken,NJ, NJ,USA,
USA,1999.
1999.
5.5. Al-shameri,
Al-shameri,W.F.H.
W.F.H.Approximating
ApproximatingLyapunov
Lyapunovexponents
exponentsofofaadiscrete
discretedynamical system.Nanosci.
dynamicalsystem. Nanosci.Nanotechnol.
Nanotechnol. Lett. 2019, 11,
Lett. 2019, 11,
1612–1615.
1612–1615.[CrossRef]
6.6. Al-shameri,
Al-shameri,W.F.H.
W.F.H.AArevised
revisedalgorithm
algorithmthatthatgenerates
generatesJulia
Juliasets
setsusing
usingNewton’s method.SUJST
Newton’smethod. 2004,1,1,55–63.
SUJST2004, 55–63.
7.7. Al-shameri, W.F.H. Deterministic algorithm for constructing fractal attractors of iterated function systems.Eur.
Al-shameri, W.F.H. Deterministic algorithm for constructing fractal attractors of iterated function systems. Eur.J.J.Sci.
Sci.Res.
Res. 2015,
2015,
134, 121–131.
134, 121–131.
8.8. Al-shameri,
Al-shameri,W.F.H.
W.F.H.On OnNonlinear
NonlinearIterated
IteratedFunction
FunctionSystems.
Systems.Ph.D.
Ph.D.Thesis,
Thesis,University
Universityof ofAl-Mustansiriyah,
Al-Mustansiriyah,Baghdad,
Baghdad,Iraq,Iraq, 2001.
2001.
9.9. Barnsley, M.F. Fractals Everywhere,
Barnsley, M.F. Fractals Everywhere; 2nd ed.; revised with the assistance of and a foreword by Hawley Rising, III; Academic Press:
2nd ed.; revised with the assistance of and a foreword by Hawley Rising, III; Academic Press:
Boston,
Boston,MA,
MA,USA, 1993.
USA,1993.
10.
10. Al-shameri,
Al-shameri, W.F.H.Existence
W.F.H. Existenceofofthetheattractor
attractorofofa arecurrent
recurrentiterated
iteratedfunction system.J. J.Eng.
functionsystem. Eng.Appl.
Appl.Sci. 2019,14,
Sci.2019, 14,182–187.
182–187.
11.
11. Devaney, R.L.Introduction
Devaney,R.L. IntroductiontotoChaotic
ChaoticDynamical
DynamicalSystems;
Systems;Addison-Wesley:
Addison-Wesley:Menlo MenloPark,
Park,CA,CA,USA,
USA,1989.
1989.
12.
12. Gulick, D.Encounters
Gulick,D. Encounterswith
withChaos;
Chaos;McGraw-Hill:
McGraw-Hill:New NewYork,
York,NY,
NY,USA,
USA,1992.
1992.
13.
13. Norton, A. The Julia sets in the quarternions. Comp. Graph. 1989,13,
Norton, A. The Julia sets in the quarternions. Comp. Graph. 1989, 13,267–287.
267–287. [CrossRef]
14.
14. Scheinerman,
Scheinerman,R.E.R.E.Invitation toto
Invitation a Dynamical
a Dynamical System;
System; Department
Department of Mathematical
of MathematicalSciences, the Johos
Sciences, Hopkins
the Johos University:
Hopkins Baltimore,
University: Balti-
MD, USA, 2000.
more, MD, USA, 2000.
15. Sprott, J.C.; Pickover, C.A. Automatic generation of general quadratic map basins. J. Comput. Graph. 1995, 19, 309–313.
16. Hahn, B.D.; Valentine, D.T. Essential Matlab for Engineers and Scientists; Elsevier Ltd.: Amsterdam, The Netherlands, 2019.
17. He, C.-H.; Liu, C. A modified frequency-amplitude formulation for fractal vibration systems. Fractals 2021, 25, 463.
https://doi.org/10.1142/S0218348X22500463.
18. Zuo, Y.-T.; Liu, H.-J. Fractal approach to mechanical and electrical properties of graphene/sic composites. Facta Univ.-Ser. Mech.
Fractal Fract. 2022, 6, 196 8 of 8
15. Sprott, J.C.; Pickover, C.A. Automatic generation of general quadratic map basins. J. Comput. Graph. 1995, 19, 309–313. [CrossRef]
16. Hahn, B.D.; Valentine, D.T. Essential Matlab for Engineers and Scientists; Elsevier Ltd.: Amsterdam, The Netherlands, 2019.
17. He, C.-H.; Liu, C. A modified frequency-amplitude formulation for fractal vibration systems. Fractals 2021, 25, 463. [CrossRef]
18. Zuo, Y.-T.; Liu, H.-J. Fractal approach to mechanical and electrical properties of graphene/sic composites. Facta Univ.-Ser. Mech.
Eng. 2021, 19, 271–284. [CrossRef]
19. Liu, F.; Zhang, T.; He, C.-H.; Tian, D. Thermal oscillation arising in a heat shock of a porous hierarchy and its application. Facta
Univ. Ser. Mech. Eng. 2021, 19, 4. Available online: http://casopisi.junis.ni.ac.rs/index.php/FUMechEng/article/view/7573
(accessed on 20 January 2022). [CrossRef]