{"id":465,"date":"2007-07-11T10:18:52","date_gmt":"2007-07-11T10:18:52","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2007\/07\/11\/the-mandelbrot-set\/"},"modified":"2018-11-27T20:17:00","modified_gmt":"2018-11-28T01:17:00","slug":"the-mandelbrot-set","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2007\/07\/11\/the-mandelbrot-set\/","title":{"rendered":"The Mandelbrot Set"},"content":{"rendered":"<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"800px-Mandelbrot_set_with_coloured_environment.png\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_186.png?resize=200%2C150\" width=\"200\" height=\"150\" class=\"inset right\" \/><\/p>\n<p> The most well-known of the fractals is the infamous Mandelbrot set. It&#8217;s one of the first things that was really studied <em>as a fractal<\/em>. It was discovered by Benoit Mandelbrot during his early study of fractals in the context of the complex dynamics of quadratic polynomials the 1980s, and studied in greater detail by Douady and Hubbard in the early to mid-80s.<\/p>\n<p> It&#8217;s a beautiful example of what makes fractals so attractive to us: it&#8217;s got an extremely simple definition; an incredibly complex structure; and it&#8217;s a rich source of amazing, beautiful images. It&#8217;s also been glommed onto by an amazing number of woo-meisters, who babble on about how it represents <a href=\"http:\/\/www.fractalart.ca\/\">&#8220;fractal energies&#8221;<\/a> &#8211; &#8220;fractal&#8221; has become a woo-term almost as prevalent as &#8220;quantum&#8221;, and every woo-site that babbles about fractals invariably uses an image of the Mandelbrot set. It&#8217;s also become a magnet for artists &#8211; the beauty of its structure, coming from a simple bit of math captures the interest of quite a lot of folks. Two musical examples are <a href=\"http:\/\/www.jonathancoulton.com\/store\/downloads\">Jonathon Coulton<\/a> and the post-rock band <a href=\"http:\/\/mandelbrotset.co.uk\/\">&#8220;Mandelbrot Set&#8221;<\/a>.  (If you like post-rock, I definitely recommend checking out MS; and a player for brilliant Mandelbrot set song is embedded below.) <\/p>\n<p>So what is the Mandelbrot set?<\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"overall-mandelbrot.gif\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_187.gif?resize=300%2C272\" width=\"300\" height=\"272\" class=\"inset right\" \/><\/p>\n<p>Take the set of functions<br \/>\n<img src='http:\/\/l.wordpress.com\/latex.php?latex=f_C%28x%29%20%3D%20x%5E2%20%2B%20C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='f_C(x) = x^2 + C' style='vertical-align:1%' class='tex' alt='f_C(x) = x^2 + C' \/> where for each <img src='http:\/\/l.wordpress.com\/latex.php?latex=f_C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='f_C' style='vertical-align:1%' class='tex' alt='f_C' \/>, <img src='http:\/\/l.wordpress.com\/latex.php?latex=C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='C' style='vertical-align:1%' class='tex' alt='C' \/> is a complex constant.  That gives an infinite set of simple functions over the complex numbers. For each possible complex number <img src='http:\/\/l.wordpress.com\/latex.php?latex=C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='C' style='vertical-align:1%' class='tex' alt='C' \/>, you look at the recurrence relation generated by repeatedly applying <img src='http:\/\/l.wordpress.com\/latex.php?latex=f&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='f' style='vertical-align:1%' class='tex' alt='f' \/>, starting with <img src='http:\/\/l.wordpress.com\/latex.php?latex=x%3D0&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='x=0' style='vertical-align:1%' class='tex' alt='x=0' \/>:<\/p>\n<ol>\n<li> <img src='http:\/\/l.wordpress.com\/latex.php?latex=m%280%2CC%29%3Df_C%280%29&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='m(0,C)=f_C(0)' style='vertical-align:1%' class='tex' alt='m(0,C)=f_C(0)' \/> <\/li>\n<li> <img src='http:\/\/l.wordpress.com\/latex.php?latex=m%28i%2B1%2CC%29%3Df_C%28m%28i%2C%20C%29%29&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='m(i+1,C)=f_C(m(i, C))' style='vertical-align:1%' class='tex' alt='m(i+1,C)=f_C(m(i, C))' \/><\/li>\n<\/ol>\n<p>If <img src='http:\/\/l.wordpress.com\/latex.php?latex=m%28i%2CC%29&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='m(i,C)' style='vertical-align:1%' class='tex' alt='m(i,C)' \/> doesn&#8217;t diverge (escape) towards infinity as <img src='http:\/\/l.wordpress.com\/latex.php?latex=i&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='i' style='vertical-align:1%' class='tex' alt='i' \/> gets larger, then the complex number <img src='http:\/\/l.wordpress.com\/latex.php?latex=C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='C' style='vertical-align:1%' class='tex' alt='C' \/> is a member of the Mandelbrot set. That&#8217;s it &#8211; that simple definition &#8211; repeatedly apply <img src='http:\/\/l.wordpress.com\/latex.php?latex=f%28x%29%3Dx%5E2%20%2B%20C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='f(x)=x^2 + C' style='vertical-align:1%' class='tex' alt='f(x)=x^2 + C' \/> for complex numbers &#8211; produces the astonishing complexity of the Mandelbrot set.<\/p>\n<p> If we use that definition of the Mandelbrot set, and draw the members of the set in black, we get an image like the one above. That&#8217;s nice, but it&#8217;s probably not what you expected. We&#8217;re all used to the beautiful colored bands and auras around that basic pointy black blob. Those colored regions are <em>not<\/em> really part of the set.<\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"Mandelbrot1.png\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_188.png?resize=300%2C300\" width=\"300\" height=\"300\" class=\"inset right\" \/><\/p>\n<p> The way we get the colored bands is by considering *how long* it takes for the points to start to diverge. Each color band is an <em>escape interval<\/em> &#8211; that is, some measure of how many iterations it takes for the repeated application of <img src='http:\/\/l.wordpress.com\/latex.php?latex=f%28x%29&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='f(x)' style='vertical-align:1%' class='tex' alt='f(x)' \/> to diverge. Images like the ones to the right and below are generated using various variants of escape-interval colorings.<\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"images-1.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_189.jpg?resize=150%2C113\" width=\"150\" height=\"113\" class=\"inset\" \/><\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"images-2.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_190.jpg?resize=150%2C113\" width=\"150\" height=\"113\" \/><\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"images.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_191.jpg?resize=137%2C103\" width=\"137\" height=\"103\" \/><\/p>\n<p> My personal favorite rendering of the Mandelbrot set is an image called the Buddhabrot. In the Buddhabrot, what you do is look at values of <img src='http:\/\/l.wordpress.com\/latex.php?latex=C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='C' style='vertical-align:1%' class='tex' alt='C' \/> which *aren&#8217;t* in the mandebrot set.  For each point <img src='http:\/\/l.wordpress.com\/latex.php?latex=m%28i%2CC%29&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='m(i,C)' style='vertical-align:1%' class='tex' alt='m(i,C)' \/> before it escapes, plot a point. That gives you the <em>escape path<\/em> for the value <img src='http:\/\/l.wordpress.com\/latex.php?latex=C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='C' style='vertical-align:1%' class='tex' alt='C' \/>. If you take a large number of escape paths for randomly selected values of <img src='http:\/\/l.wordpress.com\/latex.php?latex=C&#038;bg=FFFFFF&#038;fg=000000&#038;s=0' title='C' style='vertical-align:1%' class='tex' alt='C' \/>, and you plot them so that the brightness of a pixel is determined by the number of escape paths that cross that pixel, you get the Budddhabrot. It&#8217;s fascinating because it reveals the structure in a particularly amazing way. If you look at a simple unzoomed image of the madelbrot set, what you see is a spiky black blob; the actually complexity of the structure isn&#8217;t obvious until you spend some time looking at it. The Buddhabrot is more obvious &#8211; you can see the astonishing complexity much more easily.<\/p>\n<p><img data-recalc-dims=\"1\" loading=\"lazy\" decoding=\"async\" alt=\"600px-Buddhabrot-deep.jpg\" src=\"https:\/\/i0.wp.com\/scientopia.org\/img-archive\/goodmath\/img_192.jpg?resize=500%2C500\" width=\"500\" height=\"500\" \/><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The most well-known of the fractals is the infamous Mandelbrot set. It&#8217;s one of the first things that was really studied as a fractal. It was discovered by Benoit Mandelbrot during his early study of fractals in the context of the complex dynamics of quadratic polynomials the 1980s, and studied in greater detail by Douady [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[86],"tags":[],"class_list":["post-465","post","type-post","status-publish","format-standard","hentry","category-fractals"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-7v","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/465","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=465"}],"version-history":[{"count":2,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/465\/revisions"}],"predecessor-version":[{"id":3664,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/465\/revisions\/3664"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=465"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=465"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=465"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}