We show that there exists an entire function without finite asymptotic values for which the associated Newton function tends to infinity in some invariant domain. The question whether such a function exists had been raised by Douady.
We show that there exists an entire function f without zeros for which the associated Newton function N(z)=z-f(z)/f'(z) is a transcendental meromorphic functions without Baker domains. We also show that there exists an entire function f with exactly one zero for which the complement of the immediate attracting basin has at least two components and contains no invariant Baker domains of N. The second result answers a question of J. Rueckert and D. Schleicher while the first one gives a partial answer to a question of X. Buff.
We construct entire functions with hyperbolic and simply parabolic Baker domains on which the functions are not univalent. The Riemann maps from the unit disk to these Baker domains extend continuously to certain arcs on the unit circle. The results answer questions posed by Fagella and Henriksen, Baker and Dominguez, and others.
Let $f$ be a transcendental entire function and let $U$ be a univalent Baker domain of $f$. We prove a new result about the boundary behaviour of conformal maps and use this to show that the non-escaping boundary points of $U$ form a set of harmonic measure zero with respect to $U$. This leads to a new sufficient condition for the escaping set of $f$ to be connected, and also a new general result on Eremenko's conjecture.
Newton's root finding method applied to a (transcendental) entire function f:C->C is the iteration of a meromorphic function N. It is well known that if for some starting value z, Newton's method converges to a point x in C, then f has a root at x. We show that in many cases, if an orbit converges to infinity for Newton's method, then f has a `virtual root' at infinity. More precisely, we show that if N has an invariant Baker domain that satisfies some mild assumptions, then 0 is an asymptotic value for f. Conversely, we show that if f has an asymptotic value of logarithmic type at 0, then the…
Let X be a Riemann surface of genus at most 1, i.e. X is the Riemann sphere or a torus. We construct a variety of examples of analytic functions g:W->X, where W is an arbitrary subdomain of X, that satisfy Epstein's "Ahlfors islands condition". In particular, we show that the accumulation set of any curve tending to the boundary of W can be realized as the omega-limit set of a Baker domain of such a function. As a corollary of our construction, we show that there are entire functions with Baker domains in which the iterates converge to infinity arbitrarily slowly. We also construct Ahlfors isl…
In this note, we demonstrate the existence of a Baker domain of a transcendental skew-product by constructing a domain that is shown to be absorbing using plurisubharmonic method.
We show that there exists an entire function which has neither fixed points nor invariant Baker domains. The question whether such a function exists was raised by Buff.
For $f$ an entire transcendental map with a univalent Baker domain $U$ of hyperbolic type I, we study pinching deformations in $U$, the support of this deformation being certain laminations in the grand orbit of $U$. We show that pinching along a lamination that contains the geodesic $λ_{\infty}$ (See Section 3.1) does not converges. However, pinching at a lamination that does not contains such $λ_{\infty}$, converges and converges to a unique map $F$ if: the Julia set of $f$, $J(f)$ is connected, the postcritical set of $f$ is a positive (plane) distance away from $J(f)$, and it is thin at $\…
A Baker omitted value, in short \textit{bov} of a transcendental meromorphic function $f$ is an omitted value such that there is a disk $D$ centered at the bov for which each component of the boundary of $f^{-1}(D)$ is bounded. Assuming all the iterates $f^n$ are analytic in a neighborhood of its bov, this article proves that the number of Herman rings of a particular period is finite and every Julia component intersects the boundaries of at most finitely many Herman rings. Further, if the bov is the only limit point of the critical values then it is shown that $f$ has infinitely many repellin…
We consider the dynamics of transcendental self-maps of the punctured plane, $\mathbb{C}^*=\mathbb{C}\setminus \{0\}$. We prove that the escaping set $I(f)$ is either connected, or has infinitely many components. We also show that $I(f)\cup \{0,\infty\}$ is either connected, or has exactly two components, one containing $0$ and the other $\infty$. This gives a trichotomy regarding the connectivity of the sets $I(f)$ and $I(f)\cup \{0,\infty\}$, and we give examples of functions for which each case arises. Finally, whereas Baker domains of transcendental entire functions are simply connected, w…
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…
Let $f$ be a transcendental entire function, and let $U,V\subset\mathbb{C}$ be disjoint simply-connected domains. Must one of $f^{-1}(U)$ and $f^{-1}(V)$ be disconnected? In 1970, Baker implicitly gave a positive answer to this question, in order to prove that a transcendental entire function cannot have two disjoint completely invariant domains. (A domain $U\subset \mathbb{C}$ is completely invariant under $f$ if $f^{-1}(U)=U$.) It was recently observed by Julien Duval that there is a flaw in Baker's argument (which has also been used in later generalisations and extensions of Baker's result)…
Baker's conjecture states that a transcendental entire function of order less than $1/2$ has no unbounded Fatou components. It is known that, for such functions, there are no unbounded periodic Fatou components and so it remains to show that they can also have no unbounded wandering domains. Here we introduce completely new techniques to show that the conjecture holds in the case that the transcendental entire function is real with only real zeros, and we prove the much stronger result that such a function has no orbits of unbounded wandering domains whenever the order is less than 1. This rai…
Indian Institute of Information Technology, Design and Manufacturing, Kancheepuram(印度信息技术设计与制造学院(坎切普拉姆));Indian Institute of Technology Bhubaneswar(印度理工学院布巴内斯瓦尔分校)
We introduce a new approximation technique into the context of complex dynamics that allows us to construct examples of transcendental entire functions with unbounded wandering domains. We provide examples of entire functions with an orbit of unbounded fast escaping wandering domains, answering a long-standing question of Rippon and Stallard. Moreover, these examples cover all possible types of simply connected wandering domains in terms of convergence to the boundary. In relation to a conjecture of Baker, it was unknown whether functions of order less than one could have unbounded wandering d…
We describe conditions under which a multiply connected wandering domain of a transcendental meromorphic function with a finite number of poles must be a Baker wandering domain, and we discuss the possible eventual connectivity of Fatou components of transcendental meromorphic functions. We also show that if $f$ is meromorphic, $U$ is a bounded component of $F(f)$ and $V$ is the component of $F(f)$ such that $f(U)\subset V$, then $f$ maps each component of $\partial U$ onto a component of the boundary of $V$ in $\hat{\C}$. We give examples which show that our results are sharp; for example, we…
Let f be a real entire function whose set S(f) of singular values is real and bounded. We show that, if f satisfies a certain function-theoretic condition (the "sector condition"), then $f$ has no wandering domains. Our result includes all maps of the form f(z)=λsinh(z)/z + a, where a is a real constant and λ is positive. We also show the absence of wandering domains for certain non-real entire functions for which S(f) is bounded and the iterates of f tend to infinity uniformly on S(f). As a special case of our theorem, we give a short, elementary and non-technical proof that the Julia set of …
The purpose of this paper is to investigate order of contact on real hypersurfaces in ${\mathbb C}^n$ by using Newton polyhedra which are important notion in the study of singularity theory. To be more precise, an equivalence condition for the equality of regular type and singular type is given by using the Newton polyhedron of a defining function for the respective hypersurface. Furthermore, a sufficient condition for this condition, which is more useful, is also given. This sufficient condition is satisfied by many earlier known cases (convex domains, pseudoconvex Reinhardt domains and pseud…
In this paper we prove the infinitesimal uniqueness theorem for the Newton potential of non simply connected bodies using the singularity theory approach. We consider the Newtonian potentials of the domains in ${\bf R}^n$ boundaries of which are the vanishing cycles on the level hypersurface of a holomorphic function with isolated singularity at 0. These domains don't have to be convex, connected or simply connected, we also don't have any dimensional restrictions. We consider multiparametric families of such domains in the miniversal deformation of the original function. We show that in the p…