Persuing M.Sc.Mathematics with Data Science, Institute of Mathematics & Application, Bhubaneswar, Odisha
Pierre Fatou and Gaston Julia independently explored the iteration of functions in the complex plane.
Introduced the concepts of Julia sets and Fatou sets to describe regions of stability and chaos in dynamical systems.
Focused on understanding stability and chaotic behavior through iterations.
In the 1970s, Benoit Mandelbrot popularized fractals, bringing attention to the work of Fatou and Julia.
Introduced fractal geometry, highlighting the self-similar and infinitely complex structures from iterative processes.
Mandelbrot set became a visual and mathematical example of fractal geometry.
Suppose ( z_0 ) is a fixed point of an analytic function ( f ), that is, \(f(z_0) = z_0\) . The number \(\lambda = f'(z_0)\) is called the multiplier of \(f\) at \(z_0\) . We classify the fixed point according to \(\lambda\) as follows:
It will be convenient to denote the iterates of a function \(f\) by \(f^1 = f\) and \(f^n = f^{n-1} \circ f\) .
The Julia set of a complex function \(f(z)\) is the closure of the set of repelling periodic points of \(f.\) Formally, it is defined as:
\[ J(f) = \{ z \in \mathbb{C} \ | \ \text{the behavior of } f^n(z) \text{ is highly sensitive to initial conditions} \}. \]
The Julia set \(J(f)\) is the boundary of the set of points that remain bounded under iteration of \(f\). It is the set of points where the iterates of \(f\) exhibit chaotic behavior, meaning that small perturbations in the initial conditions result in drastically different long-term outcomes.
The Julia set \(J(f)\) is closed and non-empty.
If \(f\) is a rational map of degree \(d \geq 2\), then \(J(f)\) is a perfect set, meaning it is closed and has no isolated points.
The Julia set is the set of points where the function’s behavior is neither stable nor periodic, often leading to fractal structures.
Interactive Visualization
Consider a polynomial map \(f : \mathbb{C} \rightarrow \mathbb{C}\), such as \(f(z) = z^2 - 1\). What are the dynamics of such a map?Certainly, many orbits under this map diverge to infinity:
\[ p_1 = 2, p_2 = 3, p_3 = 8, p_4 = 63, p_5 = 3968, \ldots \]
On the other hand, some orbits manage to remain bounded:
\[ p_1 = 0.5, p_2 = -0.75, p_3 = -0.4375, p_4 \approx -0.8086, \ldots \]
Let \(f : \mathbb{C} \rightarrow \mathbb{C}\) be a polynomial map, and let \(\{p_1, p_2, p_3, \ldots\}\) be an orbit under \(f\).
We say that the orbit is bounded if all the points are contained in some disk of finite radius centered at the origin. That is, the orbit is bounded if there exists a constant ( \(R > 0\) ) so that ( \(|p_n| \leq R\) ) for all \(n \in \mathbb{N}\) .
We say that the orbit escapes to infinity if (\(|p_n| \to \infty\)) as (\(n \to \infty\)).
This leads to the question: for what initial points ( \(p_1\) ) will the orbit under ( \(f\) ) remain bounded, and for what initial points will the orbit escape to infinity?
Let \(f : \mathbb{C} \rightarrow \mathbb{C}\) be a polynomial map.
\[ {p_1 \in \mathbb{C} | \text{the orbit of } p_1 \text{ is bounded}}. \]
The basin of infinity for ( \(f\) ) is the set:
\[ {p_1 \in \mathbb{C} | \text{the orbit of } p_1 \text{ escapes to infinity}}. \]
Let \(f : \mathbb{C} \rightarrow \mathbb{C}\) be a polynomial function. Let \(B\) be the basin of infinity for \(f\) , and let \(J\) be the filled Julia set for \(f\). Then:
\(B\) and \(J\) are disjoint, and \(B \cup J = \mathbb{C}\).
Both \(B\) and \(J\) are invariant under \(f,\) i.e., \(f(B) = B\) and \(f(J) = J\).
Filled Julia sets can be divided into two categories. Sets are connected so that you can draw a line from one point to another without lifting your pen. Sets where points look like scattered pieces of dust are disconnected.
The Mandelbrot set \(M\) is defined in the complex plane as follows:
\[ M = \{ c \in \mathbb{C} \ | \ \text{the sequence defined by } z_{n+1} = z_n^2 + c \text{ with } z_0 = 0 \text{ is bounded} \} \]
Connectedness: The set is connected and exhibits intricate fractal structures.
Boundary: The boundary of the Mandelbrot set is infinitely complex and is where most of the interesting dynamics occur.
The behavior of this sequence determines whether \(c\) is part of the Mandelbrot set:
If the sequence remains bounded, meaning the absolute value of \(z_n\) does not grow beyond a certain limit (typically \(|z| < 2\)), then \(c\) belongs to the Mandelbrot set.
If the sequence diverges, meaning \(z_n\) grows without bound, then \(c\) is not part of the Mandelbrot set.
For example, with \(c = 1\) , the sequence grows rapidly:
\[ z_1 = 1, \quad z_2 = 2, \quad z_3 = 5, \quad z_4 = 26, \ldots \]
showing divergence. However, for \(c = -2\):
\[ z_1 = -2, \quad z_2 = 2, \quad z_3 = 2, \ldots \]
the sequence stabilizes, indicating that \(-2\) is on the boundary of the Mandelbrot set.
The set’s boundary, particularly for real values, lies between \(-2\) and \(\frac{1}{4}\), where points like \(c = -2\) remain bounded, but just beyond \(c = -2.1\), the sequence diverges. This iterative process is key to understanding the fractal structure and complexity of the Mandelbrot set.
The Mandelbrot set has many intriguing features, but the biggest mysteries lie in its complex fractal boundary. Zooming into different boundary regions reveals some astounding features. A valley of seahorses, parades of elephants and a miniature version of the set itself.
Structure of Julia Sets: If the Mandelbrot set is locally connected, it implies that the Julia sets for parameters \(c\) near points in \(M\) are also locally connected, leading to clearer geometric interpretations of their structures.
Understanding Dynamics: Local connectedness provides insights into how the dynamics change as we move through the parameter space of \(c\).
Ongoing research on the Mandelbrot locally connected conjecture involves various approaches, including:
Complex Analysis and Topology: Techniques from these fields are utilized to investigate the properties of the Mandelbrot set and its local behavior.
Parameter Space Analysis: Researchers study the behavior of the Mandelbrot set in relation to its parameter space and how small changes in \(c\) affect the connectivity of the set.
Computational Approaches: Numerical experiments and visualizations provide insights and help test the conjecture. Researchers often use high-resolution computer graphics to analyze the boundaries of the Mandelbrot set.
New Theorems and Techniques: The development of new mathematical tools, such as teichmüller theory, has been instrumental in advancing the understanding of the Mandelbrot set’s structure.
Some key results related to the Mandelbrot locally connected conjecture include:
The conjecture has been shown to hold true for many specific regions of the Mandelbrot set, particularly in the so-called hyperbolic components.
Research has demonstrated that if the conjecture holds for all parameters in a connected region, it may extend to the entire set, although this remains a point of contention and investigation.
Fractals Everywhere, Boston, MA: Academic Press, 1993, ISBN 0-12-079062-9
The Quest to Decode the Mandelbrot Set, Math’s Famed Fractal
Lesmoir-Gordon, Nigel (2004). The Colours of Infinity: The Beauty, The Power and the Sense of Fractals. Clear Press. ISBN 1-904555-05-5.
Peitgen, Heinz-Otto; Jürgens, Hartmut; Saupe, Dietmar (2004) [1992]. Chaos and Fractals: New Frontiers of Science. New York: Springer. ISBN 0-387-20229-3.
Devaney, Robert L. (7 January 2019). “Illuminating the Mandelbrot set” (PDF).
Douady, A.; Hubbard, J (1982). “Iteration des Polynomials Quadratiques Complexes” (PDF).
Complex Dynamics by Lennart Carleson and Theodore Gamelin
Dynamics in One Complex Variable: (AM-160) - Third Edition by John Milnor
https://abhirup-moitra-mathstat.netlify.app/