For any $ δ>0$ we construct an entire function $f$ with three singular values whose Julia set has Hausdorff dimension at most $1=δ$. Stallard proved that the dimension must be strictly larger than 1 whenever $f$ has a bounded singular set, but no examples with finite singular set and dimension strictly less than 2 were previously known.
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$.
In this paper, we prove that a rational map with a Cantor Julia set carries no invariant line fields on its Julia set. It follows that a structurally stable rational map with a Cantor Julia set is hyperbolic.
We build measurable holomorphic motions for Julia sets of holomorphic families of endomorphisms of CP(k) under various equivalent notions of stability.
We give criteria for the escaping set and the Julia set of an entire function to have positive measure. The results are applied to Poincaré functions of semihyperbolic polynomials and to the Weierstraß $σ$-function.
The goal of this article is to study a rigidity property of Julia sets of certain classes of automorphisms in $\mathbb{C}^k$, $k \ge 3.$ First, we study the relation between two polynomial shift-like maps in $\mathbb{C}^k$, $k \ge 3$, that share the same backward and forward Julia sets (or non-escaping sets). Secondly, we study the relationship between any pair of skew products of Hénon maps in $\mathbb{C}^3$ having the same forward and backward Julia sets.
This article deals with the question of local connectivity of the Julia set of polynomials and rational maps. It essentially presents conjectures and questions.
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$.
It was known that the Sierpiński carpets can appear as the Julia sets in the families of some rational maps. In this article we present a criterion that guarantees the existence of the carpet Julia sets in some rational maps having exactly one fixed (super-) attracting or parabolic basin. We show that this criterion can be applied to some well known rational maps, such as McMullen maps and Morosawa-Pilgrim family. Moreover, we give also some special examples whose Julia sets are Sierpiński carpets.
We survey the definition of the radial Julia set of a meromorphic function (in fact, more generally, any "Ahlfors islands map"), and give a simple proof that the Hausdorff dimension of the reduced Julia set always coincides with the hyperbolic dimension.
We study the possible Hausdorff limits of the Julia sets and filled Julia sets of subsequences of the sequence of dual Chebyshev polynomials of a non-polar compact set K in C and compare such limits to K. Moreover, we prove that the measures of maximal entropy for the sequence of dual Chebyshev polynomials of K converges weak* to the equilibrium measure on K.
We construct a family of transcendental entire functions whose Julia sets have packing dimension in $(1,2)$. These are the first examples where the computed packing dimension is not $1$ or $2$. Our construction will allow us further show that the set of packing dimensions attained is dense in the interval $(1,2)$, and that the Hausdorff dimension of the Julia sets can be made arbitrarily close to the corresponding packing dimension.
In this paper, we study the large scaled geometric structure of Julia sets of entire and meromorphic functions. Roughly speaking, the structure gives us some asymptotic information about the Julia set near the essential singularity. We will show that part of this structure are determined by the transcendental directions coming from function theoretic point of view.
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 three families of parabolic rational maps and show that every Cantor set of circles as the Julia set of a non-hyperbolic rational map must be quasisymmetrically equivalent to the Julia set of one map in these families for suitable parameters. Combining a result obtained before, we give a complete classification of the Cantor circles Julia sets in the sense of quasisymmetric equivalence. Moreover, we study the regularity of the components of the Cantor circles Julia sets and establish a sufficient and necessary condition when a component of a Cantor circles Julia set is a quasicircle.
For Cantor circle Julia sets of hyperbolic rational maps, we prove that they are quasisymmetrically equivalent to standard Cantor circles (i.e., connected components are round circles). This gives a quasisymmetric uniformization of all Cantor circle Julia sets of hyperbolic rational maps. By analyzing the combinatorial information of the rational maps whose Julia sets are Cantor circles, we give a computational formula of the number of the Cantor circle hyperbolic components in the moduli space of rational maps for any fixed degree. We calculate the Hausdorff dimensions of the Julia sets which…
Let G be a semigroup of rational functions of degree at least two, under composition of functions. Suppose that G contains two polynomials with non-equal Julia sets. We prove that the smallest closed subset of the Riemann sphere which contains at least three points and is completely invariant under each element of G, is the sphere itself.
We prove that a nonempty, proper subset $S$ of the complex plane can be approximated in a strong sense by polynomial filled Julia sets if and only if $S$ is bounded and $\hat{\mathbb{C}} \setminus \textrm{int}(S)$ is connected. The proof that such a set is approximable by filled Julia sets is constructive and relies on Fekete polynomials. Illustrative examples are presented. We also prove an estimate for the rate of approximation in terms of geometric and potential theoretic quantities.
We show that the Hausdorff dimension of the set of points of bounded orbit in the Julia set of a meromorphic map with a simply connected direct tract and a certain restriction on the singular values is strictly greater than one. This result is obtained by proving new results related to Wiman-Valiron theory.
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.
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.
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.
It is well-known that the Julia set J(f) of a rational map is uniformly perfect; that is, every ring domain which separates J(f) has bounded modulus, with the bound depending only on f. In this article we prove that an analogous result is true in higher dimensions; namely, that the Julia set J(f) of a uniformly quasiregular mapping f in R^n is uniformly perfect. In particular, this implies that the Julia set of a uniformly quasiregular mapping has positive Hausdorff dimension.
The asymptotic behaviour of the solutions of Poincaré's functional equation $f(λz)=p(f(z))$ ($λ>1$) for $p$ a real polynomial of degree $\geq2$ is studied in angular regions of the complex plain. The constancy of an occurring periodic function is characterised in terms of geometric properties of the Julia set of $p$. For real Julia sets we give inequalities for multipliers of Pommerenke-Levin-Yoccoz type. The distribution of zeros of $f$ is related to the harmonic measure on the Julia set of $p$.
We show that, if the Julia set of a transcendental entire function is locally connected, then it takes the form of a spider's web in the sense defined by Rippon and Stallard. In the opposite direction, we prove that a spider's web Julia set is always locally connected at a dense subset of buried points. We also show that the set of buried points (the residual Julia set) can be a spider's web.
In this paper, the main focus is on the Sierpinski carpet Julia sets of the rational maps with non-recurrent critical points. We study the uniform quasicircle property of the peripheral circles, the relatively separated property of the peripheral circles and the locally porous property of these carpets. We also establish some quasisymmetric rigidities of these carpets, which generalizes the main results of Bonk-Lyubich-Merenkov to the postcritically infinite case. In the end we give a strategy to construct a class of postcritically infinite rational maps whose Julia sets are quasisymetrically …
It is well-known that the Julia set of a hyperbolic rational map is quasisymmetrically equivalent to the standard Cantor set. Using the uniformization theorem of David and Semmes, this result comes down to the fact that such a Julia set is both uniformly perfect and uniformly disconnected. We study the analogous question for Julia sets of UQR maps in $\mathbb{S}^n$, for $n\geq 2$. Introducing hyperbolic UQR maps, we show that the Julia set of such a map is uniformly disconnected if it is totally disconnected. Moreover, we show that if $E$ is a compact, uniformly perfect and uniformly disconnec…
We explore the connected/disconnected dichotomy for the Julia set of polynomial automorphisms of C^2. We develop several aspects of the question, which was first studied by Bedford-Smillie. We introduce a new sufficient condition for the connectivity of the Julia set, that carries over for certain H{é}non-like and birational maps. We study the structure of disconnected Julia sets and the associated invariant currents. This provides a simple approach to some results of Bedford-Smillie, as well as some new corollaries --the connectedness locus is closed, construction of external rays in the gene…
In this article we address the following question, whose interest was recently renewed by problems arising in arithmetic dynamics: under which conditions does there exist a local biholomorphism between the Julia sets of two given one-dimensional rational maps? In particular we find criteria ensuring that such a local isomorphism is induced by an algebraic correspondence. This extends and unifies classical results due to Baker, Beardon, Eremenko, Levin, Przytycki and others. The proof involves entire curves and positive currents.
Let $g(z)=\int_0^zp(t)\exp(q(t))\,dt+c$ where $p,q$ are polynomials and $c\in\mathbb{C}$, and let $f$ be the function from Newton's method for $g$. We show that under suitable assumptions the Julia set of $f$ has Lebesgue measure zero. Together with a theorem by Bergweiler, our result implies that $f^n(z)$ converges to zeros of $g$ almost everywhere in $\mathbb{C}$ if this is the case for each zero of $g''$. In order to prove our result, we establish general conditions ensuring that Julia sets have Lebesgue measure zero.
We prove P. Alexandersson's conjecture that for every complex polynomial $p$ of degree $d \geq 2$ the convex hull $H_p$ of the Julia set $J_p$ of $p$ satisfies $p^{-1}(H_p) \subset H_p$. We further prove that the equality $p^{-1}(H_p) = H_p$ is achieved only if $p$ is affinely conjugated to the Chebyshev polynomial $T_d$ of degree $d$, to $-T_d$ or a monomial $c z^d$ with $|c|=1$.
If the preimage of a four-point set under a meromorphic function belongs to the real line, then the image of the real line is contained in a circle in the Riemann sphere. We include an application of this result to holomorphic dynamics: if the Julia set of a rational function is contained in a smooth curve then it is contained in a circle.
Sun Daochun and Yang Lo have shown that many results of the Fatou-Julia iteration theory of rational functions extend to quasiregular self-maps of the Riemann sphere for which the degree exceeds the dilatation. We show that in this context, in contrast to the case of rational functions, the Julia set may have Hausdorff dimension zero. On the other hand, we exhibit a gauge function depending on the degree and the dilatation such that the Hausdorff measure with respect to this gauge function is always positive, but may be finite.
This article gives a precise description of the Fatou sets and Julia sets of matrix-valued polynomials in $\mathcal{M}(2,\mathbb{C})$ in terms of the corresponding polynomials in $\mathbb{C}$. Further, we construct Green functions and Böttcher-type functions for these matrix-valued polynomials.
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.
We study the quasisymmetric geometry of the Julia sets of McMullen maps $f_λ(z)=z^m+λ/z^\ell$, where $\ell$, $m\geq 2$ are integers satisfying $1/\ell+1/m<1$ and $λ\in\mathbb{C}\setminus\{0\}$. If the free critical points of $f_λ$ are escaped to the infinity, we prove that the Julia set $J_λ$ of $f_λ$ is quasisymmetrically equivalent to either a standard Cantor set, a standard Cantor set of circles or a round Sierpiński carpet (which is also standard in some sense). If the free critical points are not escaped, we give a sufficient condition on $λ$ such that $J_λ$ is a Sierpiński carpet and pro…
In this article, we introduce the concept of normal families of bicomplex holomorphic functions to obtain a bicomplex Montel theorem. Moreover, we give a general definition of Fatou and Julia sets for bicomplex polynomials and we obtain a characterization of bicomplex Fatou and Julia sets in terms of Fatou set, Julia set and filled-in Julia set of one complex variable. Some 3D visual examples of bicomplex Julia sets are also given for the specific slice $\bold{j}=0$.
We prove that the Julia set of a Henon type automorphism on C^2 is very rigid: it supports a unique positive ddc-closed current of mass 1. A similar property holds for the cohomology class of the Green current associated with an automorphism of positive entropy on a compact Kaehler surface. Relations between this phenomenon, several quantitative equidistribution properties and the theory of value distribution will be discussed. We also survey some rigidity properties of Henon type maps on C^k and of automorphisms of compact Kaehler manifolds.
The Julia set of the exponential family $E_κ:z\mapstoκe^z$, $κ>0$ was shown to be the entire complex plane when $κ>1/e$ essentially by Misiurewicz. Later, Devaney and Krych showed that for $0<κ\leq1/e$ the Julia set is an uncountable union of pairwise disjoint simple curves tending to infinity. Bergweiler generalized the result of Devaney and Krych for a three dimensional analogue of the exponential map called the Zorich map. We show that the Julia set of certain Zorich maps with symmetry is the entire $\mathbb{R}^3$ generalizing Misiurewicz's result. Moreover, we show that the periodic points…
We prove some new continuity results for the Julia sets $J$ and $J^{+}$ of the complex Hénon map $H_{c,a}(x,y)=(x^{2}+c+ay, ax)$, where $a$ and $c$ are complex parameters. We look at the parameter space of dissipative Hénon maps which have a fixed point with one eigenvalue $(1+t)λ$, where $λ$ is a root of unity and $t$ is real and small in absolute value. These maps have a semi-parabolic fixed point when $t$ is $0$, and we use the techniques that we have developed in [RT] for the semi-parabolic case to describe nearby perturbations. We show that for small nonzero $|t|$, the Hénon map is hyperb…
We study transcendental meromorphic functions having two prepole asymptotic values and no critical values. We prove that these functions acting on their Julia sets are non-ergodic, which illustrates the antithesis of the Keen-Kotus result in [KK2] on the ergodicity of another subfamily of functions with two asymptotic values and no critical values.
We discuss the dynamic and structural properties of polynomial semigroups, a natural extension of iteration theory to random (walk) dynamics, where the semigroup $G$ of complex polynomials (under the operation of composition of functions) is such that there exists a bounded set in the plane which contains any finite critical value of any map $g \in G$. In general, the Julia set of such a semigroup $G$ may be disconnected, and each Fatou component of such $G$ is either simply connected or doubly connected (\cite{Su01,Su9}). In this paper, we show that for any two distinct Fatou components of ce…
For a family of holomorphic functions on an arbitrary domain, we introduce Fatou and Julia like sets, and establish some of their interesting properties.
Zorich maps are higher dimensional analogues of the complex exponential map. For the exponential family $λe^z$, $λ>0$, it is known that for small values of $λ$ the Julia set is an uncountable collection of disjoint curves. The same was shown to hold for Zorich maps by Bergweiler and Nicks. In this paper we introduce a topological model for the Julia sets of certain Zorich maps, similar to the so called \textit{straight brush} of Aarts and Oversteegen. As a corollary we show that $\infty$ is an \textit{explosion point} for the set of endpoints of the Julia sets. Moreover we introduce an object …