arXiv subjects
Publications and source records attributed to Walter Bergweiler.
The escaping set of an entire function consists of the points in the complex plane that tend to infinity under iteration. This set plays a central role in the dynamics of transcendental entire functions. The goal of this survey is to explain this role, to summarise some of the main results in the area, and to identify a number of open questions.
Let $f$ be a transcendental entire function of finite order which has an attracting periodic point $z_0$ of period at least $2$. Suppose that the set of singularities of the inverse of $f$ is finite and contained in the component $U$ of the Fatou set that contains $z_0$. Under an additional hypothesis we show that the intersection of $\partial U$ with the escaping set of $f$ has Hausdorff dimension $1$. The additional hypothesis is satisfied for example if $f$ has the form $f(z)=\int_0^z p(t)e^{q(t)}dt+c$ with polynomials $p$ and $q$ and a constant $c$. This generalizes a result of Bara\'nski, Karpi\'nska and Zdunik dealing with the case $f(z)=\lambda e^z$.
We discuss to what extent certain results about totally ramified values of entire and meromorphic functions remain valid if one relaxes the hypothesis that some value is totally ramified by assuming only that all islands over some Jordan domain are multiple. In particular, we prove a result suggested by Bloch which says that an entire function of order less than $1$ has a simple island over at least one of two given Jordan domains with disjoint closures.
We prove three theorems about solutions of $Δu + e^{2u} = 0$ in the plane. The first two describe explicitly all concave and quasiconcave solutions. The third theorem says that the diameter of the plane with respect to the metric with line element $e^{u}|dz|$ is at least $4π/3$, except for two explicitly described families of solutions u.
We show that a linear differential equation whose coefficients are entire functions of completely regular growth may have an entire solution of finite order which is not of completely regular growth. This answers a question of Gol'dberg and Ostrovskii.
Bergweiler and Kotus gave sharp upper bounds for the Hausdorff dimension of the escaping set of a meromorphic function in the Eremenko-Lyubich class, in terms of the order of the function and the maximal multiplicity of the poles. We show that these bounds are also sharp in the Speiser class. We apply this method also to construct meromorphic functions in the Speiser class with preassigned dimensions of the Julia set and the escaping set.
It is shown that the Hausdorff dimension of the fast escaping set of a quasiregular self-map of ${\mathbb R}^3$ can take any value in the interval $[1,3]$. The Hausdorff dimension of the Julia set of such a map is estimated under some growth condition.
Let $A$ be a transcendental entire function of finite order. We show that if the differential equation $w''+Aw=0$ has two linearly independent solutions with only real zeros, then the order of $A$ must be an odd integer or one half of an odd integer. Moreover, $A$ has completely regular growth in the sense of Levin and Pfluger. These results follow from a more general geometric theorem, which classifies symmetric local homeomorphisms from the plane to the sphere for which all zeros and poles lie on the real axis, and which have only finitely many singularities over finite non-zero values.
We show that for each $d\in (0,2]$ there exists a meromorphic function $f$ such that the inverse function of $f$ has three singularities and the Julia set of $f$ has Hausdorff dimension $d$.
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 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.
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 functions of finite order for which the zeros and $1$-points are in disjoint sectors. Under suitable hypotheses on the sizes of these sectors we show that such functions must have a specific form, or that such functions do not exist at all.
We consider the family of all functions holomorphic in the unit disk for which the zeros lie on one ray while the 1-points lie on two different rays. We prove that for certain configurations of the rays this family is normal outside the origin.
We study entire functions whose zeros and one-points lie on distinct finite systems of rays. General restrictions on these rays are obtained. Non-trivial examples of entire functions with zeros and one-points on different rays are constructed, using the Stokes phenomenon for second order linear differential equations.
Let $L_0$ and $L_1$ be two distinct rays emanating from the origin and let ${\mathcal F}$ be the family of all functions holomorphic in the unit disk ${\mathbb D}$ for which all zeros lie on $L_0$ while all $1$-points lie on $L_1$. It is shown that ${\mathcal F}$ is normal in ${\mathbb D}\backslash\{0\}$. The case where $L_0$ is the positive real axis and $L_1$ is the negative real axis is studied in more detail.
We give upper and lower bounds for the number of solutions of the equation $p(z)\log|z|+q(z)=0$ with polynomials $p$ and $q$.
We give a lower bound for the multipliers of repelling periodic points of entire functions. The bound is deduced from a bound for the multipliers of fixed points of composite entire functions.