Fractal Shapes Generated by Iterated Function Systems Mary Catherine Mckinley Louisiana State University and Agricultural and Mechanical College

Total Page:16

File Type:pdf, Size:1020Kb

Fractal Shapes Generated by Iterated Function Systems Mary Catherine Mckinley Louisiana State University and Agricultural and Mechanical College Louisiana State University LSU Digital Commons LSU Master's Theses Graduate School 2016 Fractal Shapes Generated by Iterated Function Systems Mary Catherine McKinley Louisiana State University and Agricultural and Mechanical College Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_theses Part of the Applied Mathematics Commons Recommended Citation McKinley, Mary Catherine, "Fractal Shapes Generated by Iterated Function Systems" (2016). LSU Master's Theses. 4571. https://digitalcommons.lsu.edu/gradschool_theses/4571 This Thesis is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Master's Theses by an authorized graduate school editor of LSU Digital Commons. For more information, please contact [email protected]. FRACTAL SHAPES GENERATED BY ITERATED FUNCTION SYSTEMS A Thesis Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Masters of Science in Mathematics by Mary Catherine McKinley BS, Spring Hill College, 2015 December 2016 Acknowledgments The author would like to thank Dr. Frank Neubrander for his support and guidance on this project; Dr. James Madden for his help with the Mathematica programs; Dr. Oliver Dasbach and Dr. James Oxley for their unending support and encouragement; James Frye for listening and believing in me; and most of all my family for being taught the beauty of fractals during this project and never complaining about it. ii Table of Contents Acknowledgments . ii List of Tables . iv List of Figures . .v Abstract .......................................................................... ix Chapter 1 Introduction . .1 2 Complete Metric Spaces . .8 3 The Contraction Mapping Principle . 22 4 The Barnsley Method . 40 5 Looking Forward . 48 References . 60 Vita .............................................................................. 61 iii List of Tables 1.1 Calculating Fractal Dimension for the British Coastline . .7 iv List of Figures 1.1 S0 Original Triangle . .2 1.2 First Iteration . .2 1.3 Second Iteration. .2 1.4 Third Iteration . .2 1.5 Fourth Iteration . .2 1.6 Fifth Iteration . .2 1.7 Euclidean Elements Exhibiting Self Similarity . .4 1.8 Measuring the British Coastline . .6 2.1 Hausdorff Distance Example . 11 2.2 A, Square................................................................... 13 2.3 A + for Square . 13 2.4 A, Triangle.................................................................. 14 2.5 A + for Triangle . 14 2.6 A, Bowtie................................................................... 15 2.7 A + for Bowtie . 15 3.1 S0 Original Triangle . 29 1 3.2 T (S0) after First Iteration . 29 2 3.3 T (S0) after Second Iteration . 29 3 3.4 T (S0) after Third Iteration . 29 4 3.5 T (S0) after Fourth Iteration . 30 5 3.6 T (S0) after Fifth Iteration . 30 6 3.7 T (S0) after Sixth Iteration . 30 7 3.8 T (S0) after Seventh Iteration . 30 3.9 S0 Original Square . 31 1 3.10 T (S0) after First Iteration . 31 v 2 3.11 T (S0) after Second Iteration . 32 3 3.12 T (S0) after Third Iteration . 32 4 3.13 T (S0) after Fourth Iteration . 32 5 3.14 T (S0)after Fifth Iteration . 32 6 3.15 T (S0) after Sixth Iteration . 33 7 3.16 T (S0)after Seventh Iteration . 33 3.17 S0, Original Circle. 34 1 3.18 T (S0) after First Iteration . 34 2 3.19 T (S0) after Second Iteration . 34 3 3.20 T (S0) after Third Iteration . 34 4 3.21 T (S0) after Fourth Iteration . 35 5 3.22 T (S0) after Fifth Iteration . 35 6 3.23 T (S0) after Sixth Iteration . 35 7 3.24 T (S0) after Seventh Iteration . 35 5 3.25 T (S0)...................................................................... 38 10 3.26 T (S0)..................................................................... 38 15 3.27 T (S0)..................................................................... 38 20 3.28 T (S0)..................................................................... 38 25 3.29 T (S0)..................................................................... 39 30 3.30 T (S0)..................................................................... 39 4.1 20 Iterations . 42 4.2 200 Iterations . 42 4.3 2,000 Iterations . 42 4.4 20,000 Iterations . 42 4.5 30,000 Iterations . 42 4.6 50,000 Iterations . 42 4.7 2,000 Iterations . 43 vi 4.8 50,000 Iterations . 43 4.9 Fern ........................................................................ 45 4.10 Mandelbrot Set . 46 4.11 Zoomed Mandelbrot Set . ..
Recommended publications
  • Fractals.Pdf
    Fractals Self Similarity and Fractal Geometry presented by Pauline Jepp 601.73 Biological Computing Overview History Initial Monsters Details Fractals in Nature Brownian Motion L-systems Fractals defined by linear algebra operators Non-linear fractals History Euclid's 5 postulates: 1. To draw a straight line from any point to any other. 2. To produce a finite straight line continuously in a straight line. 3. To describe a circle with any centre and distance. 4. That all right angles are equal to each other. 5. That, if a straight line falling on two straight lines make the interior angles on the same side less than two right angles, if produced indefinitely, meet on that side on which are the angles less than the two right angles. History Euclid ~ "formless" patterns Mandlebrot's Fractals "Pathological" "gallery of monsters" In 1875: Continuous non-differentiable functions, ie no tangent La Femme Au Miroir 1920 Leger, Fernand Initial Monsters 1878 Cantor's set 1890 Peano's space filling curves Initial Monsters 1906 Koch curve 1960 Sierpinski's triangle Details Fractals : are self similar fractal dimension A square may be broken into N^2 self-similar pieces, each with magnification factor N Details Effective dimension Mandlebrot: " ... a notion that should not be defined precisely. It is an intuitive and potent throwback to the Pythagoreans' archaic Greek geometry" How long is the coast of Britain? Steinhaus 1954, Richardson 1961 Brownian Motion Robert Brown 1827 Jean Perrin 1906 Diffusion-limited aggregation L-Systems and Fractal Growth
    [Show full text]
  • Using Fractal Dimension for Target Detection in Clutter
    KIM T. CONSTANTIKES USING FRACTAL DIMENSION FOR TARGET DETECTION IN CLUTTER The detection of targets in natural backgrounds requires that we be able to compute some characteristic of target that is distinct from background clutter. We assume that natural objects are fractals and that the irregularity or roughness of the natural objects can be characterized with fractal dimension estimates. Since man-made objects such as aircraft or ships are comparatively regular and smooth in shape, fractal dimension estimates may be used to distinguish natural from man-made objects. INTRODUCTION Image processing associated with weapons systems is fractal. Falconer1 defines fractals as objects with some or often concerned with methods to distinguish natural ob­ all of the following properties: fine structure (i.e., detail jects from man-made objects. Infrared seekers in clut­ on arbitrarily small scales) too irregular to be described tered environments need to distinguish the clutter of with Euclidean geometry; self-similar structure, with clouds or solar sea glint from the signature of the intend­ fractal dimension greater than its topological dimension; ed target of the weapon. The discrimination of target and recursively defined. This definition extends fractal from clutter falls into a category of methods generally into a more physical and intuitive domain than the orig­ called segmentation, which derives localized parameters inal Mandelbrot definition whereby a fractal was a set (e.g.,texture) from the observed image intensity in order whose "Hausdorff-Besicovitch dimension strictly exceeds to discriminate objects from background. Essentially, one its topological dimension.,,2 The fine, irregular, and self­ wants these parameters to be insensitive, or invariant, to similar structure of fractals can be experienced firsthand the kinds of variation that the objects and background by looking at the Mandelbrot set at several locations and might naturally undergo because of changes in how they magnifications.
    [Show full text]
  • Fractal (Mandelbrot and Julia) Zero-Knowledge Proof of Identity
    Journal of Computer Science 4 (5): 408-414, 2008 ISSN 1549-3636 © 2008 Science Publications Fractal (Mandelbrot and Julia) Zero-Knowledge Proof of Identity Mohammad Ahmad Alia and Azman Bin Samsudin School of Computer Sciences, University Sains Malaysia, 11800 Penang, Malaysia Abstract: We proposed a new zero-knowledge proof of identity protocol based on Mandelbrot and Julia Fractal sets. The Fractal based zero-knowledge protocol was possible because of the intrinsic connection between the Mandelbrot and Julia Fractal sets. In the proposed protocol, the private key was used as an input parameter for Mandelbrot Fractal function to generate the corresponding public key. Julia Fractal function was then used to calculate the verified value based on the existing private key and the received public key. The proposed protocol was designed to be resistant against attacks. Fractal based zero-knowledge protocol was an attractive alternative to the traditional number theory zero-knowledge protocol. Key words: Zero-knowledge, cryptography, fractal, mandelbrot fractal set and julia fractal set INTRODUCTION Zero-knowledge proof of identity system is a cryptographic protocol between two parties. Whereby, the first party wants to prove that he/she has the identity (secret word) to the second party, without revealing anything about his/her secret to the second party. Following are the three main properties of zero- knowledge proof of identity[1]: Completeness: The honest prover convinces the honest verifier that the secret statement is true. Soundness: Cheating prover can’t convince the honest verifier that a statement is true (if the statement is really false). Fig. 1: Zero-knowledge cave Zero-knowledge: Cheating verifier can’t get anything Zero-knowledge cave: Zero-Knowledge Cave is a other than prover’s public data sent from the honest well-known scenario used to describe the idea of zero- prover.
    [Show full text]
  • Iterated Function System Quasiarcs
    CONFORMAL GEOMETRY AND DYNAMICS An Electronic Journal of the American Mathematical Society Volume 21, Pages 78–100 (February 3, 2017) http://dx.doi.org/10.1090/ecgd/305 ITERATED FUNCTION SYSTEM QUASIARCS ANNINA ISELI AND KEVIN WILDRICK Abstract. We consider a class of iterated function systems (IFSs) of contract- ing similarities of Rn, introduced by Hutchinson, for which the invariant set possesses a natural H¨older continuous parameterization by the unit interval. When such an invariant set is homeomorphic to an interval, we give necessary conditions in terms of the similarities alone for it to possess a quasisymmetric (and as a corollary, bi-H¨older) parameterization. We also give a related nec- essary condition for the invariant set of such an IFS to be homeomorphic to an interval. 1. Introduction Consider an iterated function system (IFS) of contracting similarities S = n {S1,...,SN } of R , N ≥ 2, n ≥ 1. For i =1,...,N, we will denote the scal- n n ing ratio of Si : R → R by 0 <ri < 1. In a brief remark in his influential work [18], Hutchinson introduced a class of such IFSs for which the invariant set is a Peano continuum, i.e., it possesses a continuous parameterization by the unit interval. There is a natural choice for this parameterization, which we call the Hutchinson parameterization. Definition 1.1 (Hutchinson, 1981). The pair (S,γ), where γ is the invariant set of an IFS S = {S1,...,SN } with scaling ratio list {r1,...,rN } is said to be an IFS path, if there exist points a, b ∈ Rn such that (i) S1(a)=a and SN (b)=b, (ii) Si(b)=Si+1(a), for any i ∈{1,...,N − 1}.
    [Show full text]
  • An Introduction to Apophysis © Clive Haynes MMXX
    Apophysis Fractal Generator An Introduction Clive Haynes Fractal ‘Flames’ The type of fractals generated are known as ‘Flame Fractals’ and for the curious, I append a note about their structure, gleaned from the internet, at the end of this piece. Please don’t ask me to explain it! Where to download Apophysis: go to https://sourceforge.net/projects/apophysis/ Sorry Mac users but it’s only available for Windows. To see examples of fractal images I’ve generated using Apophysis, I’ve made an Issuu e-book and here’s the URL. https://issuu.com/fotopix/docs/ordering_kaos Getting Started There’s not a defined ‘follow this method workflow’ for generating interesting fractals. It’s really a matter of considerable experimentation and the accumulation of a knowledge-base about general principles: what the numerous presets tend to do and what various options allow. Infinite combinations of variables ensure there’s also a huge serendipity factor. I’ve included a few screen-grabs to help you. The screen-grabs are detailed and you may need to enlarge them for better viewing. Once Apophysis has loaded, it will provide a Random Batch of fractal patterns. Some will be appealing whilst many others will be less favourable. To generate another set, go to File > Random Batch (shortcut Ctrl+B). Screen-grab 1 Choose a fractal pattern from the batch and it will appear in the main window (Screen-grab 1). Depending upon the complexity of the fractal and the processing power of your computer, there will be a ‘wait time’ every time you change a parameter.
    [Show full text]
  • Homeomorphisms Group of Normed Vector Space: Conjugacy Problems
    HOMEOMORPHISMS GROUP OF NORMED VECTOR SPACE: CONJUGACY PROBLEMS AND THE KOOPMAN OPERATOR MICKAEL¨ D. CHEKROUN AND JEAN ROUX Abstract. This article is concerned with conjugacy problems arising in the homeomorphisms group, Hom(F ), of unbounded subsets F of normed vector spaces E. Given two homeomor- phisms f and g in Hom(F ), it is shown how the existence of a conjugacy may be related to the existence of a common generalized eigenfunction of the associated Koopman operators. This common eigenfunction serves to build a topology on Hom(F ), where the conjugacy is obtained as limit of a sequence generated by the conjugacy operator, when this limit exists. The main conjugacy theorem is presented in a class of generalized Lipeomorphisms. 1. Introduction In this article we consider the conjugacy problem in the homeomorphisms group of a finite dimensional normed vector space E. It is out of the scope of the present work to review the problem of conjugacy in general, and the reader may consult for instance [13, 16, 29, 33, 26, 42, 45, 51, 52] and references therein, to get a partial survey of the question from a dynamical point of view. The present work raises the problem of conjugacy in the group Hom(F ) consisting of homeomorphisms of an unbounded subset F of E and is intended to demonstrate how the conjugacy problem, in such a case, may be related to spectral properties of the associated Koopman operators. In this sense, this paper provides new insights on the relations between the spectral theory of dynamical systems [5, 17, 23, 36] and the topological conjugacy problem [51, 52]1.
    [Show full text]
  • Rendering Hypercomplex Fractals Anthony Atella [email protected]
    Rhode Island College Digital Commons @ RIC Honors Projects Overview Honors Projects 2018 Rendering Hypercomplex Fractals Anthony Atella [email protected] Follow this and additional works at: https://digitalcommons.ric.edu/honors_projects Part of the Computer Sciences Commons, and the Other Mathematics Commons Recommended Citation Atella, Anthony, "Rendering Hypercomplex Fractals" (2018). Honors Projects Overview. 136. https://digitalcommons.ric.edu/honors_projects/136 This Honors is brought to you for free and open access by the Honors Projects at Digital Commons @ RIC. It has been accepted for inclusion in Honors Projects Overview by an authorized administrator of Digital Commons @ RIC. For more information, please contact [email protected]. Rendering Hypercomplex Fractals by Anthony Atella An Honors Project Submitted in Partial Fulfillment of the Requirements for Honors in The Department of Mathematics and Computer Science The School of Arts and Sciences Rhode Island College 2018 Abstract Fractal mathematics and geometry are useful for applications in science, engineering, and art, but acquiring the tools to explore and graph fractals can be frustrating. Tools available online have limited fractals, rendering methods, and shaders. They often fail to abstract these concepts in a reusable way. This means that multiple programs and interfaces must be learned and used to fully explore the topic. Chaos is an abstract fractal geometry rendering program created to solve this problem. This application builds off previous work done by myself and others [1] to create an extensible, abstract solution to rendering fractals. This paper covers what fractals are, how they are rendered and colored, implementation, issues that were encountered, and finally planned future improvements.
    [Show full text]
  • Generating Fractals Using Complex Functions
    Generating Fractals Using Complex Functions Avery Wengler and Eric Wasser What is a Fractal? ● Fractals are infinitely complex patterns that are self-similar across different scales. ● Created by repeating simple processes over and over in a feedback loop. ● Often represented on the complex plane as 2-dimensional images Where do we find fractals? Fractals in Nature Lungs Neurons from the Oak Tree human cortex Regardless of scale, these patterns are all formed by repeating a simple branching process. Geometric Fractals “A rough or fragmented geometric shape that can be split into parts, each of which is (at least approximately) a reduced-size copy of the whole.” Mandelbrot (1983) The Sierpinski Triangle Algebraic Fractals ● Fractals created by repeatedly calculating a simple equation over and over. ● Were discovered later because computers were needed to explore them ● Examples: ○ Mandelbrot Set ○ Julia Set ○ Burning Ship Fractal Mandelbrot Set ● Benoit Mandelbrot discovered this set in 1980, shortly after the invention of the personal computer 2 ● zn+1=zn + c ● That is, a complex number c is part of the Mandelbrot set if, when starting with z0 = 0 and applying the iteration repeatedly, the absolute value of zn remains bounded however large n gets. Animation based on a static number of iterations per pixel. The Mandelbrot set is the complex numbers c for which the sequence ( c, c² + c, (c²+c)² + c, ((c²+c)²+c)² + c, (((c²+c)²+c)²+c)² + c, ...) does not approach infinity. Julia Set ● Closely related to the Mandelbrot fractal ● Complementary to the Fatou Set Featherino Fractal Newton’s method for the roots of a real valued function Burning Ship Fractal z2 Mandelbrot Render Generic Mandelbrot set.
    [Show full text]
  • Fractal Curves and Complexity
    Perception & Psychophysics 1987, 42 (4), 365-370 Fractal curves and complexity JAMES E. CUTI'ING and JEFFREY J. GARVIN Cornell University, Ithaca, New York Fractal curves were generated on square initiators and rated in terms of complexity by eight viewers. The stimuli differed in fractional dimension, recursion, and number of segments in their generators. Across six stimulus sets, recursion accounted for most of the variance in complexity judgments, but among stimuli with the most recursive depth, fractal dimension was a respect­ able predictor. Six variables from previous psychophysical literature known to effect complexity judgments were compared with these fractal variables: symmetry, moments of spatial distribu­ tion, angular variance, number of sides, P2/A, and Leeuwenberg codes. The latter three provided reliable predictive value and were highly correlated with recursive depth, fractal dimension, and number of segments in the generator, respectively. Thus, the measures from the previous litera­ ture and those of fractal parameters provide equal predictive value in judgments of these stimuli. Fractals are mathematicalobjectsthat have recently cap­ determine the fractional dimension by dividing the loga­ tured the imaginations of artists, computer graphics en­ rithm of the number of unit lengths in the generator by gineers, and psychologists. Synthesized and popularized the logarithm of the number of unit lengths across the ini­ by Mandelbrot (1977, 1983), with ever-widening appeal tiator. Since there are five segments in this generator and (e.g., Peitgen & Richter, 1986), fractals have many curi­ three unit lengths across the initiator, the fractionaldimen­ ous and fascinating properties. Consider four. sion is log(5)/log(3), or about 1.47.
    [Show full text]
  • Iterated Function Systems, Ruelle Operators, and Invariant Projective Measures
    MATHEMATICS OF COMPUTATION Volume 75, Number 256, October 2006, Pages 1931–1970 S 0025-5718(06)01861-8 Article electronically published on May 31, 2006 ITERATED FUNCTION SYSTEMS, RUELLE OPERATORS, AND INVARIANT PROJECTIVE MEASURES DORIN ERVIN DUTKAY AND PALLE E. T. JORGENSEN Abstract. We introduce a Fourier-based harmonic analysis for a class of dis- crete dynamical systems which arise from Iterated Function Systems. Our starting point is the following pair of special features of these systems. (1) We assume that a measurable space X comes with a finite-to-one endomorphism r : X → X which is onto but not one-to-one. (2) In the case of affine Iterated Function Systems (IFSs) in Rd, this harmonic analysis arises naturally as a spectral duality defined from a given pair of finite subsets B,L in Rd of the same cardinality which generate complex Hadamard matrices. Our harmonic analysis for these iterated function systems (IFS) (X, µ)is based on a Markov process on certain paths. The probabilities are determined by a weight function W on X. From W we define a transition operator RW acting on functions on X, and a corresponding class H of continuous RW - harmonic functions. The properties of the functions in H are analyzed, and they determine the spectral theory of L2(µ).ForaffineIFSsweestablish orthogonal bases in L2(µ). These bases are generated by paths with infinite repetition of finite words. We use this in the last section to analyze tiles in Rd. 1. Introduction One of the reasons wavelets have found so many uses and applications is that they are especially attractive from the computational point of view.
    [Show full text]
  • Recursion, Writing, Iteration. a Proposal for a Graphics Foundation of Computational Reason Luca M
    Recursion, Writing, Iteration. A Proposal for a Graphics Foundation of Computational Reason Luca M. Possati To cite this version: Luca M. Possati. Recursion, Writing, Iteration. A Proposal for a Graphics Foundation of Computa- tional Reason. 2015. hal-01321076 HAL Id: hal-01321076 https://hal.archives-ouvertes.fr/hal-01321076 Preprint submitted on 24 May 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 1/16 Recursion, Writing, Iteration A Proposal for a Graphics Foundation of Computational Reason Luca M. Possati In this paper we present a set of philosophical analyses to defend the thesis that computational reason is founded in writing; only what can be written is computable. We will focus on the relations among three main concepts: recursion, writing and iteration. The most important questions we will address are: • What does it mean to compute something? • What is a recursive structure? • Can we clarify the nature of recursion by investigating writing? • What kind of identity is presupposed by a recursive structure and by computation? Our theoretical path will lead us to a radical revision of the philosophical notion of identity. The act of iterating is rooted in an abstract space – we will try to outline a topological description of iteration.
    [Show full text]
  • Fractals and the Chaos Game
    University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-2006 Fractals and the Chaos Game Stacie Lefler University of Nebraska-Lincoln Follow this and additional works at: https://digitalcommons.unl.edu/mathmidexppap Part of the Science and Mathematics Education Commons Lefler, Stacie, "Fractals and the Chaos Game" (2006). MAT Exam Expository Papers. 24. https://digitalcommons.unl.edu/mathmidexppap/24 This Article is brought to you for free and open access by the Math in the Middle Institute Partnership at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in MAT Exam Expository Papers by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. Fractals and the Chaos Game Expository Paper Stacie Lefler In partial fulfillment of the requirements for the Master of Arts in Teaching with a Specialization in the Teaching of Middle Level Mathematics in the Department of Mathematics. David Fowler, Advisor July 2006 Lefler – MAT Expository Paper - 1 1 Fractals and the Chaos Game A. Fractal History The idea of fractals is relatively new, but their roots date back to 19 th century mathematics. A fractal is a mathematically generated pattern that is reproducible at any magnification or reduction and the reproduction looks just like the original, or at least has a similar structure. Georg Cantor (1845-1918) founded set theory and introduced the concept of infinite numbers with his discovery of cardinal numbers. He gave examples of subsets of the real line with unusual properties. These Cantor sets are now recognized as fractals, with the most famous being the Cantor Square .
    [Show full text]