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 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.
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.
We show that the Julia set of the Feigenbaum polynomial has Hausdorff dimension less than~2 (and consequently it has zero Lebesgue measure). This solves a long-standing open question.
The goal of this note is to prove the following theorem: Let $p_a(z) = z^2+a$ be a quadratic polynomial which has no irrational indifferent periodic points, and is not infinitely renormalizable. Then the Lebesgue measure of the Julia set $J(p_a)$ is equal to zero. As part of the proof we discuss a property of the critical point to be {\it persistently recurrent}, and relate our results to corresponding ones for real one dimensional maps. In particular, we show that in the persistently recurrent case the restriction $p_a|ω(0)$ is topologically minimal and has zero topological entropy. The Douad…
We give conditions ensuring that the Julia set and the escaping set of an entire function of completely regular growth have positive Lebesgue measure. The essential hypotheses are that the indicator is positive except perhaps at isolated points and that most zeros are located in neighborhoods of finitely many rays. We apply the result to solutions of linear differential equations.
We study numerically the $α$- and $ω$-limits of the Newton maps of two of the most elementary families of polynomial transformations on the plane: those with a linear component and those with both components of degree two. Our results are fully consistent with some conjectures we posed in a recent work about the dynamics of Newton maps.
We prove the existence of quadratic polynomials having a Julia set with positive Lebesgue measure in three cases: the presence of a Cremer fixed point, the presence of a Siegel disk, the presence of infinitely many (satellite) renormalizations.
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.
We study the Cebyshev-Halley methods applied to the family of polynomials $f_{n,c}(z)=z^n+c$, for $n\ge 2$ and $c\in \mathbb{C}^{*}$. We prove the existence of parameters such that the immediate basins of attraction corresponding to the roots of unity are infinitely connected. We also prove that, for $n \ge 2$, the corresponding dynamical plane contains a connected component of the Julia set, which is a quasiconformal deformation of the Julia set of the map obtained by applying Newton's method to $f_{n,-1}$.
We consider fixed points of the Feigenbaum (periodic-doubling) operator whose orders tend to infinity. It is known that the hyperbolic dimension of their Julia sets go to 2. We prove that the Lebesgue measure of these Julia sets tend to zero. An important part of the proof consists in applying martingale theory to a stochastic process with non-integrable increments.
Let f be a transcendental entire function for which the set of critical and asymptotic values is bounded. The Denjoy-Carleman-Ahlfors theorem implies that if the set of all z for which |f(z)|>R has N components for some R>0, then the order of f is at least N/2. More precisely, we have log log M(r,f) > (N/2) log r - O(1), where M(r,f) denotes the maximum modulus of f. We show that if f does not grow much faster than this, then the escaping set and the Julia set of f have positive Lebesgue measure. However, as soon as the order of f exceeds N/2, this need not be true. The proof requires a sharpe…
In this paper we shall show that there exists L_0 such that for each even integer L >= L_0 there exists $c_1 \in \rz$ for which the Julia set of $z --> z^L + c_1$ has positive Lebesgue measure. This solves an old problem. Editor's note: In 1997, it was shown by Xavier Buff that there was a serious flaw in the argument, leaving a gap in the proof. Currently (1999), the question of polynomials with a positive measure Julia sets remains open.
In this paper we give a unified proof of the fact that the Julia set of Newton's method applied to a holomorphic function of the complex plane (a polynomial of degree large than $1$ or an entire transcendental function) is connected. The result was recently completed by the authors' previous work, as a consequence of a more general theorem whose proof spreads among many papers, which consider separately a number of particular cases for rational and transcendental maps, and use a variety of techniques. In this note we present a unified, direct and reasonably self-contained proof which works for…
We study how the orbits of the singularities of the inverse of a meromorphic function prescribe the dynamics on its Julia set, at least up to a set of (Lebesgue) measure zero. We concentrate on a family of entire transcendental functions with only finitely many singularities of the inverse, counting multiplicity, all of which either escape exponentially fast or are pre-periodic. For these functions we are able to decide, whether the function is recurrent of not. In the case that the Julia set is not the entire plane we also obtain estimates for the measure of the Julia set.
We study rigidity of rational maps that come from Newton's root finding method for polynomials of arbitrary degrees. We establish dynamical rigidity of these maps: each point in the Julia set of a Newton map is either rigid (i.e. its orbit can be distinguished in combinatorial terms from all other orbits), or the orbit of this point eventually lands in the filled-in Julia set of a polynomial-like restriction of the original map. As a corollary, we show that the Julia sets of Newton maps in many non-trivial cases are locally connected; in particular, every cubic Newton map without Siegel points…
In general, little is known about the exact topological structure of Julia sets containing a Cremer point. In this paper we show that there exist quadratic Cremer Julia sets of positive area such that for a full Lebesgue measure set of angles the impressions are degenerate, the Julia set is connected im kleinen at the landing points of these rays, and these points are contained in no other impression.
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.
Contents: 1. Quasiconformal Surgery and Deformations: Ben Bielefeld, Questions in quasiconformal surgery; Curt McMullen, Rational maps and Teichmüller space; John Milnor, Thurston's algorithm without critical finiteness; Mary Rees, A possible approach to a complex renormalization problem. 2. Geometry of Julia Sets: Lennart Carleson, Geometry of Julia sets; John Milnor, Problems on local connectivity. 3. Measurable Dynamics: Mikhail Lyubich, Measure and Dimension of Julia Sets; Feliks Przytycki, On invariant measures for iterations of holomorphic maps. 4. Iterates of Entire Functions: Robert De…
We prove that every transcendental meromorphic map f with a disconnected Julia set has a weakly repelling fixed point. This implies that the Julia set of Newton's method for finding zeroes of an entire map is connected. Moreover, extending a result of Cowen for holomorphic self-maps of the disc, we show the existence of absorbing domains for holomorphic self-maps of hyperbolic regions whose iterates tend to a boundary point. In particular, the results imply that periodic Baker domains of Newton's method for entire maps are simply connected, which solves a well-known open question.
For a class of polynomial maps of one variable with a parabolic fixed points and degrees bigger than $21$, the parabolic renormalization is introduced based on Fatou coordinates and horn maps, and a type of maps which are invariant under the parabolic renormalization is also given. For the small perturbation of these kinds of maps, the near-parabolic renormalization is also introduced based on the first return maps defined on the fundamental regions. As an application, we show the existence of non-renormalizable polynomial maps with degrees bigger than $21$ such that the Julia sets have positi…
In this paper we study perturbations of rational Collet-Eckmann maps for which the Julia set is the whole sphere, and for which the critical set is allowed to be slowly recurrent. We show that any such map is a Lebesgue density point of Collet-Eckmann maps in the space of rational maps of the same degree at least $2$.
We obtain a unique, canonical one-to-one correspondence between the space of marked postcritically finite Newton maps of polynomials and the space of postcritically minimal Newton maps of entire maps that take the form $p(z) \text{exp}(q(z))$ for $p(z)$, $q(z)$ polynomials and $\text{exp}(z)$, the complex exponential function. This bijection preserves the dynamics and embedding of Julia sets and is induced by a surgery tool developed by Haïssinsky.
In this paper we explore by means of the method of Lagrangian descriptors the Julia sets arising from complex maps, and we analyze their underlying dynamics. In particular, we take a look at two classical examples: the quadratic mapping $z_{n+1} = z^2_n + c$, and the maps generated by applying Newton's method to find the roots of complex polynomials. To achieve this goal, we provide an extension of this scalar diagnostic that is capable of revealing the phase space of open maps in the complex plane, allowing us to avoid potential issues of orbits escaping to infinity at an increasing rate. The…
We consider random iteration of exponential entire functions, i.e. of the form ${\mathbb C}\ni z\mapsto f_λ(z):=λe^z\in\mathbb C$, $λ\in{\mathbb C}\setminus \{0\}$. Assuming that $λ$ is in a bounded closed interval $[A,B]$ with $A>1/e$, we deal with random iteration of the maps $f_λ$ governed by an invertible measurable map $θ:Ω\toΩ$ preserving a probability ergodic measure $m$ on $Ω$, where $Ω$ is a measurable space. The link from $Ω$ to exponential maps is then given by an arbitrary measurable function $η:Ω\longmapsto [A,B]$. We in fact work on the cylinder space $Q:={\mathbb C}/\sim$, where…
