arXiv subjects
Publications and source records attributed to Walter Bergweiler.
We show that if the maximum modulus of a quasiregular mapping f grows sufficiently rapidly then there exists a non-empty escaping set I(f) consisting of points whose forward orbits under iteration tend to infinity. This set I(f) has an unbounded component but, in contrast to the case of entire functions on the complex plane, the closure of I(f) may have a bounded component.
We show that if a meromorphic function has a direct singularity over infinity, then the escaping set has an unbounded component and the intersection of the escaping set with the Julia set contains continua. This intersection has an unbounded component if and only if the function has no Baker wandering domains. We also give estimates of the Hausdorff dimension and the upper box dimension of the Julia set of a meromorphic function with a logarithmic singularity over infinity. The above theorems are deduced from more general results concerning functions which have "direct or logarithmic tracts", but which need not be meromorphic in the plane. These results are obtained by using a generalization of Wiman-Valiron theory. The method is also applied to complex differential equations.
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 modify a construction of Kisaka and Shishikura to show that there exists an entire function which has both a simply connected and a multiply connected wandering domain. Moreover, these domains are contained in the set of fast escaping points.
Let f be a transcendental entire function that omits a complex value a. We show that for every simply connected region D that does not contain a the full preimage of D is disconnected. We conjecture that the same holds if one only assumes that a is omitted locally. We were able to prove this conjecture under the additional assumption that f is of finite order. We include some auxilliary results on the singularities of the inverses of entire functions which are of independent interest.
We prove Polya's conjecture of 1943: For a real entire function of order greater than 2, with finitely many non-real zeros, the number of non-real zeros of the n-th derivative tends to infinity with n. We use the saddle point method and potential theory, combined with the theory of analytic functions with positive imaginary part in the upper half-plane.
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 if a meromorphic function has two completely invariant Fatou components and only finitely many critical and asymptotic values, then its Julia set is a Jordan curve. However, even if both domains are attracting basins, the Julia set need not be a quasicircle. We also show that all critical and asymptotic values are contained in the two completely invariant components. This need not be the case for functions with infinitely many critical and asymptotic values.
It is shown that if two transcendental entire functions permute, and if one of them satisfies an algebraic differential equation, then so does the other one.
A heuristic principle attributed to A. Bloch says that a family of holomorphic functions is likely to be normal if there is no nonconstant entire functions with this property. We discuss this principle and survey recent results that have been obtained in connection with it. We pay special attention to properties related to exceptional values of derivatives and existence of fixed points and periodic points, but we also discuss some other instances of the principle.
We give a new proof of the result that if f and g are transcendental entire functions, then the composite function f(g) has infinitely many fixed points. The method yields a number of generalization of this result. In particular, it extends to quasiregular maps in space.
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.
If f is a real entire function and ff" has only real zeros then f belongs to the Laguerre-Polya class, the closure of the set of real polynomials with real zeros. This result completes a long line of development originating from a conjecture of Wiman in 1914.
This paper attempts to describe some of the results obtained in the iteration theory of transcendental meromorphic functions, not excluding the case of entire functions. The reader is not expected to be familiar with the iteration theory of rational functions. On the other hand, some aspects where the transcendental case is analogous to the rational case are treated rather briefly here. For example, we introduce the different types of components of the Fatou set that occur in the iteration of rational functions but omit a detailed description of these types. Instead, we concentrate on the types of components that are special to transcendental functions (Baker domains and wandering domains).