It is shown that the boundary of the Mandelbrot set $M$ has Hausdorff dimension two and that for a generic $c \in \bM$, the Julia set of $z \mapsto z^2+c$ also has Hausdorff dimension two. The proof is based on the study of the bifurcation of parabolic periodic points.
In this paper we introduce the notion of dynamical systems over the class of the normed real nonassociative algebras not necessarily finite-dimensional, generalize the classical filled Julia and Mandelbrot sets over the complex numbers, investigate their orbits and make a topological analysis. Applications of the obtained results are made.
Julia and Mandelbrot sets, which characterize bounded orbits in dynamical systems over the complex numbers, are classic examples of fractal sets. We investigate the analogs of these sets for dynamical systems over the hyperbolic numbers. Hyperbolic numbers, which have the form $x+τy$ for $x,y \in \mathbb{R}$, and $τ^2 = 1$ but $τ\neq \pm 1$, are the natural number system in which to encode geometric properties of the Minkowski space $\mathbb{R}^{1,1}$. We show that the hyperbolic analog of the Mandelbrot set parameterizes connectedness of hyperbolic Julia sets. We give a wall-and-chamber decom…
Working within the polynomial quadratic family, we introduce a new point of view on bifurcations which naturally allows to see the seat of bifurcations as the projection of a Julia set of a complex dynamical system in dimension three. We expect our approach to be extendable to other holomorphic families of dynamical systems.
We will show the Mandelbrot set $M$ is locally conformally inhomogeneous: the only conformal map $f$ defined in an open set $U$ intersecting $\partial M$ and satisfying $f(U\cap\partial M)\subset \partial M$ is the identity map. The proof uses the study of local conformal symmetries of the Julia sets of polynomials: we will show in many cases, the dynamics can be recovered from the local conformal structure of the Julia sets.
We present a simple proof of Tan's theorem on asymptotic similarity between the Mandelbrot set and Julia sets at Misiurewicz parameters. Then we give a new perspective on this phenomenon in terms of Zalcman functions, that is, entire functions generated by applying Zalcman's lemma to complex dynamics. We also show asymptotic similarity between the tricorn and Julia sets at Misiurewicz parameters, which is an antiholomorphic counterpart of Tan's theorem.
We explore geometric properties of the Mandelbrot set M, and the corresponding Julia sets J_c, near the main cardioid. Namely, we establish that: a) M is locally connected at certain infinitely renormalizable parameters c of bounded satellite type, providing first examples of this kind; b) The Julia sets J_c are also locally connected and have positive area; c) M is self-similar near Siegel parameters of constant type. We approach these problems by analyzing the unstable manifold of the pacman renormalization operator constructed in [DLS] as a global transcendental family.
We continue the description of Mandelbrot and Multibrot sets and of Julia sets in terms of fibers which was begun in IMS preprints 1998/12 and 1998/13a. The question of local connectivity of these sets is discussed in terms of fibers and becomes the question of triviality of fibers. In this paper, the focus is on the behavior of fibers under renormalization and other surgery procedures. We show that triviality of fibers of Mandelbrot and Multibrot sets is preserved under tuning maps and other (partial) homeomorphisms. Similarly, we show for unicritical polynomials that triviality of fibers of …
We study asymptotic dynamics in networks of coupled quadratic nodes. While single map complex quadratic iterations have been studied over the past century, considering ensembles of such functions, organized as coupled nodes in a network, generate new questions with potentially interesting applications to the life sciences. We investigate how traditional Fatou-Julia results may generalize in the case of networks. We discuss extensions of concepts like escape radius, Julia and Mandelbrot sets (as parameter loci in $\mathbb{C}^n$, where $n$ is the size of the network). We study topological proper…
Hyperbolic numbers are a variation of complex numbers, but their dynamics is quite different. The hyperbolic Mandelbrot set for quadratic functions over hyperbolic numbers is simply a filled square, and the filled Julia set for hyperbolic parameters inside the hyperbolic Mandelbrot set is a filled rectangle. For hyperbolic parameters outside the hyperbolic Mandelbrot set, the filled Julia set has 3 possible topological descriptions, if it is not empty, in contrast to the complex case where it is always a non-empty totally disconnected set. These results were proved in [1,2,4,5,6,7] and are rev…
Let c be a real parameter in the Mandelbrot set, and f_c(z):= z^2 + c. We prove a formula relating the topological entropy of f_c to the Hausdorff dimension of the set of rays landing on the real Julia set, and to the Hausdorff dimension of the set of rays landing on the real section of the Mandelbrot set, to the right of the given parameter c. We then generalize the result by looking at the entropy of Hubbard trees: namely, we relate the Hausdorff dimension of the set of external angles which land on a certain slice of a principal vein in the Mandelbrot set to the topological entropy of the q…
We consider the Hausdorff measure of Julia sets and escaping sets of exponential maps with respect to certain gauge functions. We give conditions on the growth of the gauge function which imply that the measure is zero or infinity, respectively.
We show that the supremum for $c$ real of the Hausdorff dimension of the Julia set of the polynomial $z\mapsto z^d+c$ ($d$ is an even natural number) is greater than $2d/(d+1)$.
Let $d(c)$ denote the Hausdorff dimension of the Julia set $J_c$ of the polynomial $f_c(z)=z^2+c$. We will investigate behavior of the function $d(c)$ when real parameter $c$ tends to a parabolic parameter.
We introduce new variants of the notion of geometric pressure for rational functions on the Riemann sphere, including non-hyperbolic functions, in the hope some of them occur useful to achieve a fast approximation from below of the hyperbolic Hausdorff dimension of Julia set.
Given $p/q$ and $p'/q$ both irreducible, we construct homeomorphisms between the $p/q$ and the $p'/q$ limbs of the Mandelbrot set. This homeomorphisms are not compatible with the dynamics. Moreover, the filled Julia sets of corresponding parameter values are also homeomorphic. All the homeomorphisms above have counterparts on the combinatorial level relating corresponding external arguments, in the dynamical planes as well as in the parameter spaces. Assuming local connectivity of $M$ we may conclude that the constructed homeomorphisms between limbs are compatible with the embeddings of the li…
Let $f(z) = z^2 + c$ be a quadratic polynomial, with c in the Mandelbrot set. Assume further that both fixed points of f are repelling, and that f is not renormalizable. Then we prove that the Julia set J of f is holomorphically removable in the sense that every homeomorphism of the complex plane to itself that is conformal off of J is in fact conformal on the entire complex plane. As a corollary, we deduce that the Mandelbrot Set is locally connected at such c.
In this article, we consider hyperbolic rational maps restricted on thier Julia sets and study about the recurrence rate of typical orbits in arbitrarily small neighbourhoods around them and their relationship to the Hausdorff dimension of such small neighbourhoods.
We prove that for every polynomial of one complex variable of degree at least 2 and Julia set not being totally disconnected nor a circle, nor interval, Hausdorff dimension of this Julia set is larger than 1. Till now this was known only in the connected Julia set case. We give also an example of a polynomial with non-connected but not totally disconnected Julia set and such that all its components comprising of more than single points are analytic arcs, thus resolving a question by Christopher Bishop, who asked whether every such component must have Hausdorff dimension larger than 1.
We investigate the set of biaccessible points for connected polynomial Julia sets of arbitrary degrees $d\geq 2$. We prove that the Hausdorff dimension of the set of external angles corresponding to biaccessible points is less than 1, unless the Julia set is an interval. This strengthens theorems of Stanislav Smirnov and Anna Zdunik: they proved that the same set of external angles has zero 1-dimensional measure.
We show that if $β>1$ is a rational number and the Julia set $J$ of the holomorphic correspondence $z^β+c$ is a locally eventually onto hyperbolic repeller, then the Hausdorff dimension of $J$ is bounded from above by the zero of the associated pressure function. As a consequence, we conclude that the Julia set of the correspondence has zero Lebesgue measure for parameters close to zero, whenever $q^2<p$ and $β=p/q$ in lowest terms.
A closed interval and circle are the only smooth Julia sets in polynomial dynamics. D. Ruelle proved that the Hausdorff dimension of unicritical Julia sets close to the circle depends analytically on the parameter. Near the tip of the Mandelbrot set M, the Hausdorff dimension is generally discontinuous. Answering a question of J-C. Yoccoz in the conformal setting, we observe that the Hausdorff dimension of quadratic Julia sets depends continuously on $c$ and find explicit bounds at the tip of M for most real parameters in the the sense of 1-dimensional Lebesgue measure.
We show that the escaping sets and the Julia sets of bounded type transcendental entire functions of order $ρ$ become 'smaller' as $ρ\to\infty$. More precisely, their Hausdorff measures are infinite with respect to the gauge function $h_γ(t)=t^2g(1/t)^γ$, where $g$ is the inverse of a linearizer of some exponential map and $γ\geq(\logρ(f)+K_1)/c$, but for $ρ$ large enough, there exists a function $f_ρ$ of bounded type with order $ρ$ such that the Hausdorff measures of the escaping set and the Julia set of $f_ρ$ with respect to $h_{γ'}$ are zero whenever $γ'\leq(\logρ-K_2)/c$.
One of the main questions in the field of complex dynamics is the question whether the Mandelbrot set is locally connected, and related to this, for which maps the Julia set is locally connected. In this paper we shall prove the following Main Theorem: Let $f$ be a polynomial of the form $f(z)=z^d +c$ with $d$ an even integer and $c$ real. Then the Julia set of $f$ is either totally disconnected or locally connected. In particular, the Julia set of $z^2+c$ is locally connected if $c \in [-2,1/4]$ and totally disconnected otherwise.
Let $g$ be a polynomial automorphism of $\C^2$. We study the Hausdorff dimension and topological dimension of the Julia set of $g$. We show that when $g$ is a hyperbolic mapping, then the Hausdorff dimension of the Julia set is strictly greater than its topological dimension. Moreover, the Julia set cannot be locally connected. We also provide estimates for the dimension of the Julia sets in the general (not necessarily hyperbolic) case.
We show that the Julia set of quadratic maps with parameters in hyperbolic components of the Mandelbrot set is given by a transseries formula, rapidly convergent at any repelling periodic point. Up to conformal transformations, we obtain $J$ from a smoother curve of lower Hausdorff dimension, by replacing pieces of the more regular curve by increasingly rescaled elementary "bricks" obtained from the transseries expression. Self-similarity of $J$, up to conformal transformation, is manifest in the formulas. The Hausdorff dimension of $J$ is estimated by the transseries formula. The analysis ext…
We construct Feigenbaum quadratic polynomials whose Julia sets have positive Lebesgue measure. They provide first examples of rational maps for which the hyperbolic dimension is different from the Hausdorff dimension of the Julia set. The corresponding set of parameters has positive Hausdorff dimension.
Let $f:\bar\bold C\to\bar\bold C$ be a rational map on the Riemann sphere , such that for every $f$-critical point $c\in J$ which forward trajectory does not contain any other critical point, $|(f^n)'(f(c))|$ grows exponentially fast (Collet--Eckmann condition), there are no parabolic periodic points, and else such that Julia set is not the whole sphere. Then smooth (Riemann) measure of the Julia set is 0. For $f$ satisfying additionally Masato Tsujii's condition that the average distance of $f^n(c)$ from the set of critical points is not too small, we prove that Hausdorff dimension of Julia s…
We show that contrary to anticipation suggested by the dictionary between rational maps and Kleinian groups and by the ``hairiness phenomenon'', there exist many Feigenbaum Julia sets $J(f)$ whose Hausdorff dimension is strictly smaller than two. We also prove that for any Feigenbaum Julia set, the Poincaré critical exponent $\de_\crit$ is equal to the hyperbolic dimension $\HD_\hyp(J(f))$. Moreover, if $\area J(f)=0$ then $\HD_\hyp (J(f))=\HD(J(f))$. In the stationary case, the last statement can be reversed: if $\area J(f)> 0$ then $\HD_\hyp (J(f))< 2$. We also give a new construction of con…
Let $d(δ)$ denote the Hausdorff dimension of the Julia set of the polynomial $f_δ(z)=z^2-2+δ$. In this paper we will study the directional derivative of the function $d$ along directions landing at the parameter $0$, which corresponds to $-2$ in the case of family $p_c(z)=z^2+c$. We will consider all directions, except the one $δ\in\mathbb{R}^+$, which is inside the Mandelbrot set. We will prove asymptotic formula for the directional derivative of $d$. Moreover, we will see that the derivative is negative for all directions in the closed left half-plane. Computer calculations show that it is n…
Mandelbrot set arose from the pioneering work of French mathematician Gaston Julia in the field of complex dynamics at the beginning of the 20th century. French-American mathematician Benoit Mandelbrot used computers to calculate iterations of complex polynomials of second order and displayed intricate images of fractal geometry. While studying fundamental properties of the Mandelbrot set, little attention has been paid to study the relationship between the degree of the generating polynomials and the shape of the main body of the Mandelbrot set. This paper extends the work from generating pol…
This paper investigates the set of angles of the parameter rays which land on the real slice $[-2,1/4]$ of the Mandelbrot set. We prove that this set has zero length but Hausdorff dimension 1. We obtain the corresponding results for the tuned images of the real slice. Applications of these estimates in the study of critically non-recurrent real quadratics as well as biaccessible points of quadratic Julia sets are given.
Using parabolic enrichment, it is shown that Gronwall area formula for the filled Julia set along the boundary of the main cardioid of the Mandelbrot set cannot be well approximated by replacing it by a finite sum. A revised version of this article will appear in the Journal of the London Mathematical Society.
For an infinitely renormalizable quadratic map $f_c: z\mapsto z^2+c$ with the sequence of renormalization periods ${k_m}$ and rotation numbers ${t_m=p_m/q_m}, we prove that if $\limsup k_m^{-1}\log |p_m|>0$, then the Mandelbrot set is locally connected at $c$. We prove also that if $\limsup |t_{m+1}|^{1/q_m}<1$ and $q_m\to \infty$, then the Julia set of $f_c$ is not locally connected and the Mandelbrot set is locally connected at $c$ provided that all the renormalizations are non-primitive (satellite). This quantifies a construction of A. Douady and J. Hubbard, and weakens a condition proposed…
Local similarity between the Mandelbrot set and quadratic Julia sets manifests itself in a variety of ways. We discuss a combinatorial one, in the language of geodesic laminations. More precisely, we compare quadratic invariant laminations representing Julia sets with the so-called Quadratic Minor Lamination (QML) representing a locally connected model of the Mandelbrot set. Similarly to the construction of an invariant lamination by pullbacks of certain leaves, we describe how QML can be generated by properly understood pullbacks of certain minors. In particular, we show that the minors of al…
Let $d(\varepsilon)$ and $\mathcal D(δ)$ denote the Hausdorff dimension of the Julia sets of the polynomials $p_\varepsilon(z)=z^2+1/4+\varepsilon$ and $f_δ(z)=(1+δ)z+z^2$ respectively. In this paper we will study the directional derivative of the functions $d(\varepsilon)$ and $\mathcal D(δ)$ along directions landing at the parameter $0$, which corresponds to $1/4$ in the case of family $z^2+c$. We will consider all directions, except the one $\varepsilon\in\mathbb{R}^+$ (or two imaginary directions in the $δ$ parametrization) which is outside the Mandelbrot set and is related to the paraboli…
For a sequence of complex parameters $\{c_n\}$ we consider the compositions of functions $f_{c_n} (z) = z^2 + c_n$, which is the non-autonomous version of the classical quadratic dynamical system. The definitions of Julia and Fatou sets are naturally generalized to this setting. We answer a question posed by Brück, Büger and Reitz, whether the Julia set for such a sequence is almost always totally disconnected, if the values $c_n$ are chosen randomly from a large disk. Our proof is easily generalized to answer a lot of other related questions regarding typical connectivity of the random Julia …
We show that if the growth of a transcendental entire function f is sufficiently regular, then the Julia set and the escaping set of f have Hausdorff dimension 2.
We prove the existence of rational maps whose Julia sets are Sierpiński carpets having positive area. Such rational maps can be constructed such that they either contain a Cremer fixed point, a Siegel disk or are infinitely renormalizable. We also construct some Sierpiński carpet Julia sets with zero area but with Hausdorff dimension two. Moreover, for any given number $s\in(1,2)$, we prove the existence of Sierpiński carpet Julia sets having Hausdorff dimension exactly $s$.
We show that for each $d\in (0,2]$ there exists a meromorphic function $f$ such that the inverse function of $f$ has three singularities and the Julia set of $f$ has Hausdorff dimension $d$.
We prove the existence of Cantor Julia sets with Hausdorff dimension two. In particular, such examples can be found in cubic polynomials. The proof is based on the characterization of the parameter spaces and dynamical planes of cubic polynomials by Branner-Hubbard, and the parabolic bifurcation theory developed by Shishikura in 1990s.
We give new proofs that the Mandelbrot set is locally connected at every Misiurewicz point and at every point on the boundary of a hyperbolic component. The idea is to show ``shrinking of puzzle pieces'' without using specific puzzles. Instead, we introduce fibers of the Mandelbrot set and show that fibers of certain points are ``trivial'', i.e., they consist of single points. This implies local connectivity at these points. Locally, triviality of fibers is strictly stronger than local connectivity. Local connectivity proofs in holomorphic dynamics often actually yield that fibers are trivial,…
We give a lower bound of the hyperbolic and the Hausdorff dimension of the Julia set of meromorphic functions of finite order under very general conditions.
We study the parameter space structure of degree $d \ge 3$ one complex variable polynomials as dynamical systems acting on $\C$. We introduce and study {\it straightening maps}. These maps are a natural higher degree generalization of the ones introduced by Douady and Hubbard to prove the existence of small copies of the Mandelbrot set inside itself. We establish that straightening maps are always injective and that their image contains all the corresponding hyperbolic systems. Also, we characterize straightening maps with compact domain. Moreover, we give two classes of bijective straightenin…
We prove an extension results for the multiplier of an attracting periodic orbit of a quadratic map as a function of the parameter. This has applications to the problem of geometry of the Mandelbrot and Julia sets. In particular, we prove that the size of p/q-limb of a hyperbolic component of the Mandelbrot set of period n is O(4^n/p), and give an explicit condition on internal arguments under which the Julia set of corresponding (unique) infinitely renormalizable quadratic polynomial is not locally connected
We give examples of infinitely renormalizable quadratic polynomials $F_c: z\maps to z^2+c$ with stationary combinatorics whose Julia sets have Hausdorff dimension arbitrar y close to 1. The combinatorics of the renormalization involved is close to the Chebyshev one . The argument is based upon a new tool, a ``Recursive Quadratic Estimate'' for the Poincaré series of an infinitely re normalizable map.