We study the dynamics of polynomials with coefficients in a non-Archimedean field $K,$ where $K$ is a field containing a dense subset of algebraic elements over a discrete valued field $k.$ We prove that every wandering Fatou component is contained in the basin of a periodic orbit. We obtain a complete description of the new Julia set points that appear when passing from $K$ to the Berkovich line over $K$. We give a dynamical characterization of polynomials having algebraic Julia sets. More precisely, we establish that a polynomial with algebraic coefficients has algebraic Julia set if every critical element is nonrecurrent.
This dissertation entitled "Fatou's No Wandering Domain Conjecture : Sullivan's Proof" contains a comprehensive study of the Dynamical Partition of the Riemann Sphere and a complementary analysis of the work done by Dennis Sullivan.
We construct polynomial automorphisms with wandering Fatou components. The four-dimensional automorphisms $H$ lie in a one-parameter family, depending on the parameter $δ\in \mathbb C \setminus \{0\}$, and as $δ\rightarrow 0$ the automorphisms degenerate to the two-dimensional polynomial map $P$ constructed in Astorg et al (Ann. of Math., 2016). Our main result states that if $P$ has a wandering domain, then $H$ does too for $δ$ sufficiently small.
We prove that there exist three transcendental entire functions that have infinite number of domains which lie in the wandering component of each of these functions and their composites. This result is a generalization of the result of Dinesh Kumar, Gopal Datt and Sanjay Kumar. In particular, they proved that there exist two transcendental entire functions that have infinite number of domains which lie in the wandering components of each of these functions and their composites.
We investigate to what extent Fatou set, Julia set and escaping set of transcendental semigroup is respectively equal to the Fatou set, Julia set and escaping set of its subsemigroup. We define partial fundamental set and fundamental set of transcendental semigroup and on the basis of this set, we prove that Fatou set and escaping set of transcendental semigroup $ S $ are non-empty.
The Fatou-Julia decomposition is significant in the study of iterations of holomorphic mappings. Such a decomposition can be also considered for foliations in a unified manner. Although the decomposition will be fundamental in the study, it is not easy to decide the decomposition. In this article, we give a sufficient condition for open sets to be contained in Fatou sets. We also discuss relations between Fatou--Julia decompositions and minimal sets.
We mainly generalize the notion of abelian transcendental semigroup to nearly abelian transcendental semigroup. We prove that Fatou set, Julia set and escaping set of nearly abelian transcendental semigroup are completely invariant. We investigate no wandering domain theorem in such a transcendental semigroup. We also obtain results on a complete generalization of the classification of periodic Fatou components.
We show a partial generalization of Sullivan's non-wandering domain theorem in complex dimension two. More precisely, we show the non-existence of wandering Fatou components for polynomial skew products of $ \mathbb{C}^2$ with an invariant attracting fiber, under the assumption that the multiplier $ λ$ is small. We actually show a stronger result, namely that every forward orbit of any vertical Fatou disk intersects a bulging Fatou component.
We will study perturbations of the polynomials $P_λ$, of the form $$Q_λ= P_λ+Q$$ in the space of centered monic polynomials, where $P_λ$ is the polynomial family defined by $$P_λ(z)=\fracλ{p}z^p+(1-\fracλ{p}) z ^{p+1}$$ with $λ\in Λ= \{z: |z-1| <1\}$, studied by Benedetto, who showed that for a dense set of parameters, the polynomials $P_λ$ have a wandering disc contained in the filled Julia set. We will show an analogous result for the family $Q_λ$, obtaining the following consequence: The polynomials $P_λ$ belong to $\bar{\mathrm{E}}_{p+1}$ where $\mathrm{E}_{p+1}$ denotes the set of polynom…
We show that there exist polynomial endomorphisms of C^2, possessing a wandering Fatou component. These mappings are polynomial skew-products, and can be chosen to extend holomorphically of P^2(C). We also find real examples with wandering domains in R^2. The proof is based on parabolic implosion techniques, and is based on an original idea of M. Lyubich.
In this paper, we prove that escaping set of transcendental semigroup is S-forward invariant. We also prove that if holomorphic semigroup is abelian, then Fatou set, Julia set and escaping set are S-completely invariant. We see certain cases and conditions that the holomorphic semigroup dynamics exhibits same dynamical behavior just like the classical complex dynamics. Frequently, we also examine certain amount of connection and contrast between classical complex dynamics and holomorphic semigroup dynamics.
We define commutator of a transcendental semigroup, and on the basis of this concept, we define conjugate semigroup. We prove that the conjugate semigroup is nearly abelian if and only if the given semigroup is nearly abelian. We also prove that image of each of escaping set, Julia set and Fatou set under commutator (affine complex conjugating maps) is equal to respectively escaping set, Julia set and Fatou set of conjugate semigroup. Finally, we prove that every element of the nearly abelian semigroup $ S $ can be written as the composition of an element from the set generated by the set of c…
Little is known about the existence of wandering Fatou components for rational maps in two complex variables. In 2003 Lilov proved the non-existence of wandering Fatou components for polynomial skew-products in the neighborhood of an invariant super-attracting fiber. In fact Lilov proved a stronger result, namely that the forward orbit of any vertical disk must intersect a fattened Fatou component of the invariant fiber. Naturally the next class of maps to study are polynomial skew-products with an invariant attracting (but not super-attracting) fiber. Here we show that Lilov's stronger result…
According to the Thurston No Wandering Triangle Theorem, a branching point in a locally connected quadratic Julia set is either preperiodic or precritical. Blokh and Oversteegen proved that this theorem does not hold for higher degree Julia sets: there exist cubic polynomials whose Julia set is a locally connected dendrite with a branching point which is neither preperiodic nor precritical. In this article, we reprove this result, constructing such cubic polynomials as limits of cubic polynomials for which one critical point eventually maps to the other critical point which eventually maps to …
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.
Many results of the Fatou-Julia iteration theory of rational functions extend to uniformly quasiregular maps in higher dimensions. We obtain results of this type for certain classes of quasiregular maps which are not uniformly quasiregular.
We prove several results concerning the relative position of points in the postsingular set $P(f)$ of a meromorphic map $f$ and the boundary of a Baker domain or the successive iterates of a wandering component. For Baker domains we answer a question of Mihaljević-Brandt and Rempe-Gillen. For wandering domains we show that if the iterates $U_n$ of such a domain have uniformly bounded diameter, then there exists a sequence of postsingular values $p_n$ such that ${\rm dist}(p_n,\partial U_n)\to 0$ as $n\to \infty$. We also prove that if $U_n \cap P(f)=\emptyset$ and the postsingular set of $f$ l…
We prove that there exists a non-trivial transcendental semigroup S such that the wandering (or pre-periodic or periodic) components of Fatou set F(S) has at least a simply connected domain D.
In 2001 E. Ghys, X. Gomez-Mont and J. Saludes defined the Fatou and Julia components of transversely holomorphic foliations on compact manifolds. It is a partition of the manifold in two saturated sets: the Fatou set which represents the non-chaotic part of the foliation and its complementary, the Julia set. Using the Brownian motion transverse to the foliation, it is proved in this paper that, if the foliation is taut and if F is a wandering component of the Fatou set, then almost every point of the topological boundary of F (almost for any harmonic measure on the boundary) is a limit point o…
Iteration of the function $f_λ(z)=λ+ z+\tan z, z \in \mathbb{C}$ is investigated in this article. It is proved that for every $λ$, the Fatou set of $f_λ$ has a completely invariant Baker domain $B$; we call it the primary Fatou component. The rest of the results deals with $f_λ$ when it is topologically hyperbolic. For all real $λ$ or $λ$ such that $ λ=πk +i λ_2$ for some integer $k$ and $0 < λ_2<1$, the only other Fatou component is shown to be another completely invariant Baker domain. It is proved that if $|2+λ^2|<1$, then the Fatou set is the union of $B$ and infinitely many invariant attr…
We investigate the existence of wandering Fatou components for polynomial skew-products in two complex variables. In 2004 the non-existence of wandering domains near a super-attracting invariant fiber was shown in [8]. In 2014 it was shown in [1] that wandering domains can exist near a parabolic invariant fiber. In [9] the geometrically-attracting case was studied, and we continue this study here. We prove the non-existence of wandering domains for subhyperbolic attracting skew products; this class contains the maps studied in [9]. Using expansion properties on the Julia set in the invariant f…
We study the iteration of transcendental self-maps of $\mathbb{C}^*:=\mathbb{C}\setminus \{0\}$, that is, holomorphic functions $f:\mathbb{C}^*\to\mathbb{C}^*$ for which both zero and infinity are essential singularities. We use approximation theory to construct functions in this class with escaping Fatou components, both wandering domains and Baker domains, that accumulate to $\{0,\infty\}$ in any possible way under iteration. We also give the first explicit examples of transcendental self-maps of $\mathbb{C}^*$ with Baker domains and with wandering domains. In doing so, we developed a suffic…
Not much is known about the dynamics outside the support of the maximal entropy measure $μ$ for holomorphic endomorphisms of $\mathbb{CP}^k$. In this article we study the structure of the dynamics on the Julia set, which is typically larger than $Supp(μ)$. The Julia set is the support of the so-called Green current $T$, so it admits a natural filtration by the supports of the exterior powers of $T$. For $1\leq q \leq k$, let $J_q= Supp(T^q)$. We show that for a generic point of $J_q\setminus J_{q+1}$ there are at least $(k-q)$ "Fatou directions" in the tangent space. We also give estimates for…
Let $P$ be a polynomial of degree $d$ with Julia set $J_P$. Let $\widetilde N$ be the number of non-repelling cycles of $P$. By the famous Fatou-Shishikura inequality $\widetilde N\le d-1$. The goal of the paper is to improve this bound. The new count includes \emph{wandering collections of non-precritical branch continua}, i.e., collections of continua or points $Q_i\subset J_P$ \emph{all} of whose images are pairwise disjoint, contain no critical points, and contain the limit sets of $\mathrm{eval}(Q_i)\ge 3$ external rays. Also, we relate individual cycles, which are either non-repelling or…
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 Euclidean ball can be realized as a Fatou component of a holomorphic automorphism of $\mathbb{C}^m$, in particular as the escaping and the oscillating wandering domain. Moreover, the same is true for a large class of bounded domains, namely for all bounded regular open sets $Ω\subset \mathbb{C}^m$ whose closure is polynomially convex. Our result gives in particular the first example of a bounded Fatou component with a smooth boundary in the category of holomorphic automorphisms.
We look at the maximal entropy (MME) measure of the boundaries of connected components of the Fatou set of a rational map of degree greater than or equal to 2. We show that if there are infinitely many Fatou components, and if either the Julia set is disconnected or the map is hyperbolic, then there can be at most one Fatou component whose boundary has positive MME measure. We also replace hyperbolicity by the more general hypothesis of geometric finiteness.
For a sequence $(λ_n)$ of positive real numbers we consider the exponential functions $f_{λ_n} (z) = λ_n e^z$ and the compositions $F_n = f_{λ_n} \circ f_{λ_{n-1}} \circ ... \circ f_{λ_1}$. For such a non-autonomous family we can define the Fatou and Julia sets analogously to the usual case of autonomous iteration. The aim of this document is to study how the Julia set depends on the sequence $(λ_n)$. Among other results, we prove the Julia set for a random sequence $\{λ_n \}$, chosen uniformly from a neighbourhood of $\frac{1}{e}$, is the whole plane with probability $1$. We also prove the Ju…
Recently Merenkov and Sabitova introduced the notion of a homogeneous planar set. Using this notion they proved a result for Sierpi${ń}$ski carpet Julia sets of hyperbolic rational maps that relates the diameters of the peripheral circles to the Hausdorff dimension of the Julia set. We extend this theorem to Julia sets (not necessarily Sierpi${ń}$ski carpets) of semi-hyperbolic rational maps, and prove a stronger version of the theorem that was conjectured by Merenkov and Sabitova.
In this paper, we prove that the ratio of the modulus of the iterates of two points in an escaping Fatou component may be bounded even if the orbit of the component contains an infinite modulus annulus sequence and this case cannot happen when the maximal modulus of the meromorphic function is large enough. Therefore, we extend the related results for entire functions to ones for meromorphic functions with infinitely many poles. And we investigate the fast escaping Fatou components of meromorphic functions defined in [44] in terms of the Nevanlinna characteristic instead of the maximal modulus…
An omitted value of a transcendental meromorphic function $f$ is called a Baker omitted value, in short \textit{bov} if there is a disk $D$ centered at the bov such that each component of the boundary of $f^{-1}(D)$ is bounded. Assuming that the bov is in the Fatou set of $f$, this article investigates the dynamics of the function. Firstly, the connectivity of all the Fatou components are determined. If $U$ is the Fatou component containing the bov then it is proved that a Fatou component $U'$ is infinitely connected if and only if it lands on $U$, i.e. $f^{k}(U') \subset U$ for some $k \geq 1…
We study the dynamics of an arbitrary semigroup of transcendental entire functions using Fatou-Julia theory. Several results of the dynamics associated with iteration of a transcendental entire function have been extended to transcendental semigroups. We provide some conditions for connectivity of the Julia set of the transcendental semigroups. We also study finitely generated transcendental semigroups, abelian transcendental semigroups and limit functions of transcendental semigroups on its invariant Fatou components.
We investigate the description of Fatou components for polynomial skew-products in two complex variables. The non-existence of wandering domains near a super-attracting invariant fiber was shown in [L], and the geometrically-attracting case was studied in [PV] and [PS]. In [ABDPR] it was proven that wandering domains can exist near a parabolic invariant fiber. In this paper we study the remaining case, namely the dynamics near an elliptic invariant fiber. We prove that the two-dimensional Fatou components near the elliptic invariant fiber correspond exactly to the Fatou components of the restr…
We study the geometry of simply connected wandering domains for entire functions and we prove that every bounded connected regular open set, whose closure has a connected complement, is a wandering domain of some entire function. In particular such domain can be realized as an escaping or an oscillating wandering domain. As a consequence we obtain that every Jordan curve is the boundary of a wandering Fatou component of some entire function.
We prove that the meandering set for $f_a(z)=e^z+a$ is homeomorphic to the space of irrational numbers whenever $a$ belongs to the Fatou set of $f_a$. This extends recent results by Vasiliki Evdoridou and Lasse Rempe. It implies that the radial Julia set of $f_a$ has topological dimension zero for all attracting and parabolic parameters, including all $a\in (-\infty,-1]$. Similar results are obtained for Fatou's function $f(z)=z+1+e^{-z}$.
We prove: If $f(z)$ is a critically finite rational map which has exactly two critical points and which is not conjugate to a polynomial, then the boundary of every Fatou component of $f$ is a Jordan curve. If $f(z)$ is a hyperbolic critically finite rational map all of whose postcritical points are periodic, then there exists a cycle of Fatou components whose boundaries are Jordan curves. We give examples of critically finite hyperbolic rational maps $f$ with the property that on the closure of a Fatou component $Ω$ satisfying $f(Ω)=Ω$, $f|_{\bdry Ω}$ is not topologically conjugate to the dyn…
This paper is devoted to establish sufficient conditions under which a transcendental meromorphic function has no unbounded Fatou components and to extend some results for entire functions to meromorphic functions. Actually, we shall mainly discuss non-existence of unbounded wandering domains of a meromorphic function. The case for a composition of finitely many meromorphic function with at least one of them being transcendental can be also investigated in the argument of this paper.
Let $f$ be a transcendental entire function and $U$ be a Fatou component of $f$. We show that if $U$ is an escaping wandering domain of $f$, then most boundary points of $U$ (in the sense of harmonic measure) are also escaping. In the other direction we show that if enough boundary points of $U$ are escaping, then $U$ is an escaping Fatou component. Some applications of these results are given; for example, if $I(f)$ is the escaping set of $f$, then $I(f)\cup\{\infty\}$ is connected.
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…
The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains. In trying to find analogues of these one dimensional results, it is not clear which higher dimensional transcendental maps to consider. In this paper we find inspiration from the extensive work on the dynamics…
In this paper, we study hyperbolic rational maps with finitely connected Fatou sets. We construct models of post-critically finite hyperbolic tree mapping schemes for such maps, generalizing post-critically finite rational maps in the case of connected Julia set. We show they are general limits of rational maps as we quasiconformally stretch the dynamics. Conversely, we use quasiconformal surgery to show any post-critically finite hyperbolic tree mapping scheme arises as such a limit. We construct abundant examples thanks to the flexibilities of the models, and use them to construct a sequence…
We consider polynomial maps of the form f(z,w) = (p(z),q(z,w)) that extend as holomorphic maps of CP^2. Mattias Jonsson introduces in (Math. Ann., 1999) a notion of connectedness for such polynomial skew products that is analogous to connectivity for the Julia set of a polynomial map in one-variable. We prove the following dichotomy: if f is an Axiom-A polynomial skew product, and f is connected, then every Fatou component of f is homeomorphic to an open ball; otherwise, some Fatou component of f has infinitely generated first homology.
The goal of this paper is to study the family of singular perturbations of Blaschke products given by $B_{a,λ}(z)=z^3\frac{z-a}{1-\overline{a}z}+\fracλ{z^2}$. We focus on the study of these rational maps for parameters $a$ in the punctured disk $\mathbb{D}^*$ and $|λ|$ small. We prove that, under certain conditions, all Fatou components of a singularly perturbed Blaschke product $B_{a,λ}$ have finite connectivity but there are components of arbitrarily large connectivity within its dynamical plane. Under the same conditions we prove that the Julia set is the union of countably many Cantor sets…
We show that wandering domains can exist in the Fatou set of a polynomial type quasiregular mapping of the plane. We also give an example of a quasiregular mapping of the plane, with an essential singularity at infinity, which has a sequence of wandering domains contained in a bounded part of the plane. This contrasts with the situation in the analytic case, where wandering domains are impossible for polynomials and, for transcendental entire functions, the existence of wandering domains in a bounded part of the plane has been an open problem for many years.
