BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Walter Bergweiler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We consider transcendental meromorphic functions for which the zeros, 1-points and poles are distributed on three distinct rays. We show that such functions exist if and only if the rays are equally spaced. We also obtain a normal family analogue of this result.
We extend results about the dimension of the radial Julia set of certain exponential functions to quasiregular Zorich maps in higher dimensions. Our results improve on previous estimates of the dimension also in the special case of exponential functions.
We consider transcendental entire solutions of linear $q$-difference equations with polynomial coefficients and determine the asymptotic behavior of their Taylor coefficients. We use this to show that under a suitable hypothesis on the associated Newton-Puiseux diagram their zeros are asymptotic to finitely many geometric progressions. We also sharpen previous results on the growth rate of entire solutions.
Devaney and Krych showed that for $0<λ<1/e$ the Julia set of $λe^z$ consists of pairwise disjoint curves, called hairs, which connect finite points, called the endpoints of the hairs, with $\infty$. McMullen showed that the Julia set has Hausdorff dimension $2$ and Karpińska showed that the set of hairs without endpoints has Hausdorff dimension $1$. We study for which gauge functions the Hausdorff measure of the set of hairs without endpoints is finite.
We show that an invariant Fatou component of a hyperbolic transcendental entire function is a bounded Jordan domain (in fact, a quasidisc) if and only if it contains only finitely many critical points and no asymptotic curves. We use this theorem to prove criteria for the boundedness of Fatou components and local connectivity of Julia sets for hyperbolic entire functions, and give examples that demonstrate that our results are optimal. A particularly strong dichotomy is obtained in the case of a function with precisely two critical values.
We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially transcendental over the ring of convergent power series.
The fast escaping set of a transcendental entire function is the set of all points which tend to infinity under iteration as fast as compatible with the growth of the function. We study the analogous set for quasiregular mappings in higher dimensions and show, among other things, that various equivalent definitions of the fast escaping set for transcendental entire functions in the plane also coincide for quasiregular mappings. We also exhibit a class of quasiregular mappings for which the fast escaping set has the structure of a spider's web.
It is shown that for quasiregular maps of positive lower order the Julia set coincides with the boundary of the fast escaping set.
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.
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.
The escaping set of an entire function is the set of points that tend to infinity under iteration. We consider subsets of the escaping set defined in terms of escape rates and obtain upper and lower bounds for the Hausdorff measure of these sets with respect to certain gauge functions.
The Fatou-Julia iteration theory of rational functions has been extended to quasiregular mappings in higher dimension by various authors. The purpose of this paper is an analogous extension of the iteration theory of transcendental entire functions. Here the Julia set is defined as the set of all points such that complement of the forward orbit of any neighbourhood has capacity zero. It is shown that for maps which are not of polynomial type the Julia set is non-empty and has many properties of the classical Julia set of transcendental entire functions.
We prove that the derivative of a non-linear entire function is unbounded on the preimage of an unbounded set.
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.
The dynamical behaviour of a transcendental entire function in any periodic component of the Fatou set is well understood. Here we study the dynamical behaviour of a transcendental entire function $f$ in any multiply connected wandering domain $U$ of $f$. By introducing a certain positive harmonic function $h$ in $U$, related to harmonic measure, we are able to give the first detailed description of this dynamical behaviour. Using this new technique, we show that, for sufficiently large $n$, the image domains $U_n=f^n(U)$ contain large annuli, $C_n$, and that the union of these annuli acts as an absorbing set for the iterates of $f$ in $U$. Moreover, $f$ behaves like a monomial within each of these annuli and the orbits of points in $U$ settle in the long term at particular `levels' within the annuli, determined by the function $h$. We also discuss the proximity of $\partial U_n$ and $\partial C_n$ for large $n$, and the connectivity properties of the components of $U_n \setminus \bar{C_n}$. These properties are deduced from new results about the behaviour of an entire function which omits certain values in an annulus.
We show that for large classes of entire functions the Julia set and the escaping set have packing dimension two. For example, this is the case for entire functions which are bounded on a curve tending to infinity. More generally, we show that the result holds under suitable growth conditions involving the minimum and maximum modulus.
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.
We introduce a higher dimensional quasiregular map analogous to the trigonometric functions and we use the dynamics of this map to define, for d>1, a partition of d-dimensional Euclidean space into curves tending to infinity such that two curves may intersect only in their endpoints and such that the union of the curves without their endpoints has Hausdorff dimension one.
Let F be a family of holomorphic functions and let K be a constant less than 4. Suppose that for all f in F the second iterate of f does not have fixed points for which the modulus of the multiplier is greater than K. We show that then F is normal. This is deduced from a result about the multipliers of iterated polynomials.
We show that for a transcendental entire function the set of points whose orbit under iteration is bounded can have arbitrarily small positive Hausdorff dimension.
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 sharpened form of an estimate of Tsuji related to the Denjoy-Carleman-Ahlfors theorem.
The escaping set I(f) of a transcendental meromorphic function f consists of all points which tend to infinity under iteration. The Eremenko-Lyubich class B consists of all transcendental meromorphic functions for which the set of finite critical and asymptotic values of f is bounded. It is shown that if f is in B and of finite order of growth, if infinity is not an asymptotic value of f and if the multiplicities of the poles of f are uniformly bounded, then the Hausdorff dimension of I(f) is strictly smaller than 2. In fact, we give a sharp bound for the Hausdorff dimension of I(f) in terms of the order of f and the bound for the multiplicities of the poles. If f satisfies the above hypotheses but is of infinite order, then the area of I(f) is zero. This result does not hold without a restriction on the multiplicities of the poles.
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.
Wiman-Valiron theory and results of Macintyre about "flat regions" describe the asymptotic behavior of entire functions in certain disks around points of maximum modulus. We estimate the size of these disks for Macintyre's theory from above and below.
Let f be a transcendental entire function in the Eremenko-Lyubich class B. We give a lower bound for the Hausdorff dimension of the Julia set of f that depends on the growth of f. This estimate is best possible and is obtained by proving a more general result concerning the size of the escaping set of a function with a logarithmic tract.
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.
Let f be a function transcendental and meromorphic in the plane, and define g(z) by g(z) = f(z+1) - f(z). A number of results are proved concerning the existence of zeros of g(z) or g(z)/f(z), in terms of the growth and the poles of f.