Showing 1–50 of 67 results for author: Bergweiler, W

On the boundary of an immediate attracting basin of a hyperbolic entire function

Authors: Walter Bergweiler, Jie Ding

Abstract: 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 dimensio… ▽ More 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ński, Karpińska and Zdunik dealing with the case $f(z)=λe^z$. △ Less

Submitted 6 December, 2024; v1 submitted 29 July, 2024; originally announced July 2024.

Comments: 30 pages, 3 figures; some explanations added, some general revision of v1

MSC Class: 37F35; 37F10; 30D05

On Bloch's "Principle of topological continuity''

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: 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 lea… ▽ More 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. △ Less

Submitted 26 September, 2023; originally announced September 2023.

Comments: 32 pages

MSC Class: 30D30; 30D35; 30D45

Journal ref: Comput. Methods Funct. Theory 24 (2024), 605-630

The Hausdorff dimension of escaping sets of meromorphic functions in the Speiser class

Authors: Walter Bergweiler, Weiwei Cui

Abstract: 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 dimensi… ▽ More 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. △ Less

Submitted 29 June, 2023; v1 submitted 13 September, 2022; originally announced September 2022.

Comments: 26 pages; minor revision of v1

MSC Class: 37F10; 30D05

Journal ref: Int. Math. Res. Not. IMRN 2024, no. 9, 7281-7306

On conformal metrics of constant positive curvature in the plane

Authors: Walter Bergweiler, Alexandre Eremenko, James Langley

Abstract: 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 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. △ Less

Submitted 28 November, 2022; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: 18 pages, 2 figures

MSC Class: 35B99; 35G20; 30D15

Journal ref: J. Math. Phys. Anal. Geom. 19 (2023), no. 1, 59-73

A question of Gol'dberg and Ostrovskii concerning linear differential equations with coefficients of completely regular growth

Authors: Walter Bergweiler

Abstract: 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. 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. △ Less

Submitted 20 October, 2022; v1 submitted 17 June, 2022; originally announced June 2022.

Comments: 5 pages; minor revision of v1

MSC Class: 34M10; 34M05; 34M03; 30D15

Journal ref: Proc. Amer. Math. Soc. 151 (2023), 2097-2101

Hausdorff dimension in quasiregular dynamics

Authors: Walter Bergweiler, Athanasios Tsantaris

Abstract: 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. 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. △ Less

Submitted 7 May, 2022; originally announced May 2022.

Comments: 26 pages

MSC Class: Primary 37F35; Secondary 30C65; 30D05; 37F10

Second order linear differential equations with a basis of solutions having only real zeros

Authors: Walter Bergweiler, Alexandre Eremenko, Lasse Rempe

Abstract: 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 clas… ▽ More 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. △ Less

Submitted 6 June, 2022; v1 submitted 19 April, 2022; originally announced April 2022.

Comments: 46 pages, 5 figures. V2: some overall revision of v1

MSC Class: 34M10 (Primary) 34M05; 30D15 (Secondary)

Journal ref: J. Anal. Math. 152 (2024), no. 1, 53-108

The Hausdorff dimension of Julia sets of meromorphic functions in the Speiser class

Authors: Walter Bergweiler, Weiwei Cui

Abstract: 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 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$. △ Less

Submitted 3 May, 2021; originally announced May 2021.

Comments: 19 pages

MSC Class: 37F10; 30D05

Journal ref: Math. Z. 302 (2022), 2193-2205

Meromorphic functions with three radially distributed values

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: 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 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. △ Less

Submitted 15 March, 2021; v1 submitted 11 November, 2020; originally announced November 2020.

Comments: 31 pages; minor revision of v2

MSC Class: 30D30 (Primary) 30D35; 30D45 (Secondary)

Journal ref: Comput. Methods Funct. Theory 21 (2021), 671-696

Entire functions with separated zeros and $1$-points

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: 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 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. △ Less

Submitted 2 February, 2020; originally announced February 2020.

Comments: 19 pages

MSC Class: 30D20; 30D35

Journal ref: Comp. Methods and Function Theory, 20 (3) (2020) 729-746

Zeros, growth and Taylor coefficients of entire solutions of linear $q$-difference equations

Authors: Walter Bergweiler

Abstract: 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… ▽ More 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. △ Less

Submitted 14 April, 2020; v1 submitted 20 December, 2019; originally announced December 2019.

Comments: 38 pages; some details and explanations added to v1

MSC Class: 39A13; 39A45; 39A06; 30D05; 30D15

Journal ref: Ann. Fenn. Math. 46 (2021), 249-277

Non-escaping points of Zorich maps

Authors: Walter Bergweiler, Jie Ding

Abstract: 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 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. △ Less

Submitted 6 April, 2020; v1 submitted 29 October, 2019; originally announced October 2019.

Comments: 18 pages; slight improvement of lower bound in Theorem 1.1; some overall revision

MSC Class: 37F10; 30D05

Journal ref: Israel J. Math. 243 (2021), 27-43

Radially distributed values and normal families, II

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: 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 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. △ Less

Submitted 2 January, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: 15 pages, 1 figure; minor revision of v1

MSC Class: 30D45

Journal ref: J. d'Analyse, 141 (2020) 99-111

Radially distributed values and normal families

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: 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… ▽ More 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. △ Less

Submitted 3 January, 2018; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: 24 pages

MSC Class: 30D45; 30D20; 30D35

Journal ref: Int. Math. Res. Not. IMRN 2019, no. 23, 7356-7378

Lebesgue measure of Julia sets and escaping sets of certain entire functions

Authors: Walter Bergweiler

Abstract: We give criteria for the escaping set and the Julia set of an entire function to have positive measure. The results are applied to Poincaré functions of semihyperbolic polynomials and to the Weierstraß $σ$-function. We give criteria for the escaping set and the Julia set of an entire function to have positive measure. The results are applied to Poincaré functions of semihyperbolic polynomials and to the Weierstraß $σ$-function. △ Less

Submitted 9 November, 2017; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: 26 pages, 1 figure

MSC Class: 37F10; 30D05

Journal ref: Fund. Math. 242 (2018), 281-301

On the number of solutions of some transcendental equations

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: 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 upper and lower bounds for the number of solutions of the equation $p(z)\log|z|+q(z)=0$ with polynomials $p$ and $q$. △ Less

Submitted 1 December, 2017; v1 submitted 21 February, 2017; originally announced February 2017.

Comments: 14 pages; some details added in v2

MSC Class: 30C15; 37F10

Journal ref: Anal. Math. Phys. 8 (2018), 185-196

On the multipliers of repelling periodic points of entire functions

Authors: Walter Bergweiler, Dan Liu

Abstract: 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. 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. △ Less

Submitted 1 December, 2017; v1 submitted 24 January, 2017; originally announced January 2017.

Comments: 19 pages; minor revision of v1

MSC Class: 37F10; 30D05

Journal ref: Ann. Acad. Sci. Fenn. Math. 43 (2018), 279-291

Lyapunov exponents and related concepts for entire functions

Authors: Walter Bergweiler, Xiao Yao, Jianhua Zheng

Abstract: Let $f$ be an entire function and denote by $f^\#$ be the spherical derivative of $f$ and by $f^n$ the $n$-th iterate of $f$. For an open set $U$ intersecting the Julia set $J(f)$, we consider how fast $\sup_{z\in U} (f^n)^\#(z)$ and $\int_U (f^n)^\#(z)^2 dx\:dy$ tend to $\infty$. We also study the growth rate of the sequence $(f^n)^\#(z)$ for $z\in J(f)$. Let $f$ be an entire function and denote by $f^\#$ be the spherical derivative of $f$ and by $f^n$ the $n$-th iterate of $f$. For an open set $U$ intersecting the Julia set $J(f)$, we consider how fast $\sup_{z\in U} (f^n)^\#(z)$ and $\int_U (f^n)^\#(z)^2 dx\:dy$ tend to $\infty$. We also study the growth rate of the sequence $(f^n)^\#(z)$ for $z\in J(f)$. △ Less

Submitted 5 July, 2016; originally announced July 2016.

Comments: 20 pages

Journal ref: Math. Z. 288 (2018), 855-873

On postsingularly finite exponential maps

Authors: Walter Bergweiler

Abstract: We consider parameters $λ$ for which $0$ is preperiodic under the map $z\mapstoλe^z$. Given $k$ and $l$, let $n(r)$ be the number of $λ$ satisfying $0<|λ|\leq r$ such that $0$ is mapped after $k$ iterations to a periodic point of period $l$. We determine the asymptotic behavior of $n(r)$ as $r$ tends to $\infty$. We consider parameters $λ$ for which $0$ is preperiodic under the map $z\mapstoλe^z$. Given $k$ and $l$, let $n(r)$ be the number of $λ$ satisfying $0<|λ|\leq r$ such that $0$ is mapped after $k$ iterations to a periodic point of period $l$. We determine the asymptotic behavior of $n(r)$ as $r$ tends to $\infty$. △ Less

Submitted 26 November, 2015; originally announced November 2015.

Comments: 16 pages

MSC Class: 37F10; 37F45; 30D05

Journal ref: Arnold Math. J. 3 (2017), 83-95

Quasiconformal surgery and linear differential equations

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: We describe a new method of constructing transcendental entire functions $A$ such that the differential equation $w"+Aw=0$ has two linearly independent solutions with relatively few zeros. In particular, we solve a problem of Bank and Laine by showing that there exist entire functions $A$ of any prescribed order greater than $1/2$ such that the differential equation has two linearly independent so… ▽ More We describe a new method of constructing transcendental entire functions $A$ such that the differential equation $w"+Aw=0$ has two linearly independent solutions with relatively few zeros. In particular, we solve a problem of Bank and Laine by showing that there exist entire functions $A$ of any prescribed order greater than $1/2$ such that the differential equation has two linearly independent solutions whose zeros have finite exponent of convergence. We show that partial results by Bank, Laine, Langley, Rossi and Shen related to this problem are in fact best possible. We also improve a result of Toda and show that the resulting estimate is best possible. Our method is based on gluing solutions of the Schwarzian differential equation $S(F)=2A$ for infinitely many coefficients $A$. △ Less

Submitted 6 October, 2016; v1 submitted 19 October, 2015; originally announced October 2015.

Comments: 72 pages, 6 figures; some corrections made, one figure and several explanations added to v2

MSC Class: 34M10; 34M05; 30D15

Journal ref: J. Anal. Math. 137 (2019), 751-812

Lebesgue measure of escaping sets of entire functions of completely regular growth

Authors: Walter Bergweiler, Igor Chyzhykov

Abstract: We give conditions ensuring that the Julia set and the escaping set of an entire function of completely regular growth have positive Lebesgue measure. The essential hypotheses are that the indicator is positive except perhaps at isolated points and that most zeros are located in neighborhoods of finitely many rays. We apply the result to solutions of linear differential equations. We give conditions ensuring that the Julia set and the escaping set of an entire function of completely regular growth have positive Lebesgue measure. The essential hypotheses are that the indicator is positive except perhaps at isolated points and that most zeros are located in neighborhoods of finitely many rays. We apply the result to solutions of linear differential equations. △ Less

Submitted 16 June, 2016; v1 submitted 13 October, 2015; originally announced October 2015.

Comments: 27 pages; Theorem 1.5 and its proof revised; some overall revision

MSC Class: 37F10; 30D05; 30D15

Journal ref: J. London Math. Soc. 94 (2016), 639-661

Entire functions with two radially distributed values

Authors: Walter Bergweiler, Alexandre Eremenko, Aimo Hinkkanen

Abstract: 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. 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. △ Less

Submitted 9 January, 2018; v1 submitted 10 September, 2015; originally announced September 2015.

Comments: 24 pages; correction of one example added in v3

MSC Class: 30D20; 30D35; 34M40; 30D05

Journal ref: Math. Proc. Cambridge Philos. Soc. 165 (2018), 93-108

Green's function and anti-holomorphic dynamics on a torus

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: We give a new, simple proof of the fact recently discovered by C.-S. Lin and C.-L. Wang that the Green function of a torus has either three or five critical points, depending on the modulus of the torus. The proof uses anti-holomorphic dynamics. As a byproduct we find a one-parametric family of anti-holomorphic dynamical systems for which the parameter space consists only of hyperbolic components… ▽ More We give a new, simple proof of the fact recently discovered by C.-S. Lin and C.-L. Wang that the Green function of a torus has either three or five critical points, depending on the modulus of the torus. The proof uses anti-holomorphic dynamics. As a byproduct we find a one-parametric family of anti-holomorphic dynamical systems for which the parameter space consists only of hyperbolic components and analytic curves separating them. △ Less

Submitted 12 November, 2015; v1 submitted 7 July, 2015; originally announced July 2015.

Comments: 17 pages, 3 figures (some details added, some overall revision)

MSC Class: 31A05; 33E05; 37F10

Journal ref: Proc. Amer. Math. Soc. 144 (2016), 2911-2922

Hausdorff measure of hairs without endpoints in the exponential family

Authors: Walter Bergweiler, Jun Wang

Abstract: 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… ▽ More 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. △ Less

Submitted 6 February, 2015; originally announced February 2015.

Comments: 18 pages

MSC Class: 37F10; 30D05

Journal ref: Math. Z. 281 (2015), 931-947

Distribution of zeros of polynomials with positive coefficients

Authors: Alexandre Eremenko, Walter Bergweiler

Abstract: We describe the limit zero distributions of sequences of polynomials with positive coefficients. We describe the limit zero distributions of sequences of polynomials with positive coefficients. △ Less

Submitted 16 September, 2014; originally announced September 2014.

Comments: 12 pages

MSC Class: 30C15; 26C10; 31A05

Journal ref: Ann. Acad. Sci. Fenn. Math. 40 (2015) 375-383

On the Bank-Laine conjecture

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: We resolve a question of Bank and Laine on the zeros of solutions of $w'' + Aw = 0$ where $A$ is an entire function of finite order. We resolve a question of Bank and Laine on the zeros of solutions of $w'' + Aw = 0$ where $A$ is an entire function of finite order. △ Less

Submitted 11 August, 2014; originally announced August 2014.

Comments: 13 pages

MSC Class: 34A20; 30D15

Journal ref: J. Eur. Math. Soc. (JEMS) 19 (2017), 1899-1909

Hyperbolic entire functions with bounded Fatou components

Authors: Walter Bergweiler, Núria Fagella, Lasse Rempe-Gillen

Abstract: 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 de… ▽ More 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. △ Less

Submitted 19 May, 2015; v1 submitted 3 April, 2014; originally announced April 2014.

Comments: 27 pages, 5 figures. To appear in Commentarii Mathematici Helvetici. V2: Final accepted manuscript (general revision from V1 throughout)

Journal ref: Comment. Math. Helv. 90 (2015), 799-829

The Julia set and the fast escaping set of a quasiregular mapping

Authors: Walter Bergweiler, Alastair Fletcher, Daniel A. Nicks

Abstract: It is shown that for quasiregular maps of positive lower order the Julia set coincides with the boundary of the fast escaping set. It is shown that for quasiregular maps of positive lower order the Julia set coincides with the boundary of the fast escaping set. △ Less

Submitted 18 September, 2013; originally announced September 2013.

Comments: 10 pages

MSC Class: 37F10 (Primary) 30C65; 30D05 (Secondary)

Journal ref: Comput. Methods Funct. Theory 14 (2014), 209-218

The fast escaping set for quasiregular mappings

Authors: Walter Bergweiler, David Drasin, Alastair Fletcher

Abstract: 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 coin… ▽ More 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. △ Less

Submitted 13 August, 2013; originally announced August 2013.

Comments: 13 pages

Journal ref: Anal. Math. Phys. 4 (2014), 83-98

Julia's equation and differential transcendence

Authors: Matthias Aschenbrenner, Walter Bergweiler

Abstract: 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. 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. △ Less

Submitted 8 October, 2015; v1 submitted 24 July, 2013; originally announced July 2013.

Comments: 17 pages

MSC Class: 39B12; 30D05; 34M25; 13F25

Journal ref: Illinois J. Math. 59 (2015), 277-294

The size of Julia sets of quasiregular maps

Authors: Walter Bergweiler

Abstract: 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… ▽ More 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. △ Less

Submitted 28 March, 2013; originally announced March 2013.

Comments: 13 pages

MSC Class: 37F10; 30C65; 30D05

Journal ref: Ann. Univ. Buchar. Math. Ser. 5 (LXIII) (2014), 33-48

An entire function with no fixed points and no invariant Baker domains

Authors: Walter Bergweiler

Abstract: 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. 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. △ Less

Submitted 18 October, 2012; originally announced October 2012.

Comments: 6 pages

MSC Class: 37F10; 30D05; 49M15; 65H05

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 197-202

Foundations for an iteration theory of entire quasiregular maps

Authors: Walter Bergweiler, Daniel A. Nicks

Abstract: 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 t… ▽ More 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. △ Less

Submitted 15 October, 2012; originally announced October 2012.

Comments: 31 pages

MSC Class: 37F10 (Primary) 30C65; 30D05 (Secondary)

Journal ref: Israel J. Math. 201 (2014), 147-184

Escape rate and Hausdorff measure for entire functions

Authors: Walter Bergweiler, Jörn Peter

Abstract: 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 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. △ Less

Submitted 19 October, 2012; v1 submitted 1 March, 2012; originally announced March 2012.

Comments: 24 pages; some errors corrected, proof of Theorem 2 shortened

MSC Class: 30D05; 37F10; 30D15

Journal ref: Math. Z. 274 (2013), 551-572

Goldberg's constants

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: We study two extremal problems of geometric function theory introduced by A. A. Goldberg in 1973. For one problem we find the exact solution, and for the second one we obtain partial results. In the process we study the lengths of hyperbolic geodesics in the twice punctured plane, prove several results about them and make a conjecture. Goldberg's problems have important applications to control the… ▽ More We study two extremal problems of geometric function theory introduced by A. A. Goldberg in 1973. For one problem we find the exact solution, and for the second one we obtain partial results. In the process we study the lengths of hyperbolic geodesics in the twice punctured plane, prove several results about them and make a conjecture. Goldberg's problems have important applications to control theory. △ Less

Submitted 9 November, 2011; originally announced November 2011.

Comments: 32 pages, 4 figures

MSC Class: 30C75; 30C30; 20H05; 34H15; 93D15

Journal ref: Journal d'Analyse Math., 119 (2013) 1, 365-402

Some examples of Baker domains

Authors: Walter Bergweiler, Jian-Hua Zheng

Abstract: 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 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. △ Less

Submitted 6 October, 2011; originally announced October 2011.

Comments: 13 pages

MSC Class: 37F10; 30D05

Journal ref: Nonlinearity 25 (2012), 1033-1044

Multiply connected wandering domains of entire functions

Authors: Walter Bergweiler, Philip J. Rippon, Gwyneth M. Stallard

Abstract: 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… ▽ More 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. △ Less

Submitted 8 September, 2011; originally announced September 2011.

Journal ref: Proc. London Math. Soc. 107 (2013), 1261-1301

A property of the derivative of an entire function

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: We prove that the derivative of a non-linear entire function is unbounded on the preimage of an unbounded set. We prove that the derivative of a non-linear entire function is unbounded on the preimage of an unbounded set. △ Less

Submitted 21 July, 2011; originally announced July 2011.

Comments: 10 pages

MSC Class: 30D30

Journal ref: Ann. Acad. Sci. Fenn. Math. 37 (2012), 301-307

Fatou-Julia theory for non-uniformly quasiregular maps

Authors: Walter Bergweiler

Abstract: 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. 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. △ Less

Submitted 9 February, 2011; originally announced February 2011.

Comments: 24 pages

MSC Class: 37F10; 30C65; 30D05

Journal ref: Ergodic Theory Dynam. Systems 33 (2013), 1-23

On the packing dimension of the Julia set and the escaping set of an entire function

Authors: Walter Bergweiler

Abstract: 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 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. △ Less

Submitted 18 January, 2011; originally announced January 2011.

Comments: 19 pages

MSC Class: 37F10; 30D05; 30D15; 37F35

Journal ref: Israel J. Math. 192 (2012), 449-472

On the set where the iterates of an entire function are bounded

Authors: Walter Bergweiler

Abstract: 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. 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. △ Less

Submitted 6 December, 2010; originally announced December 2010.

Comments: 7 pages

MSC Class: 37F10; 30D05; 37F35

Journal ref: Proc. Amer. Math. Soc. 140 (2012), 847-853

On the uniform perfectness of the boundary of multiply connected wandering domains

Authors: Walter Bergweiler, Jian-Hua Zheng

Abstract: We investigate in which cases the boundary of a multiply connected wandering domain of an entire function is uniformly perfect. We give a general criterion implying that it is not uniformly perfect. This criterion applies in particular to examples of multiply connected wandering domains given by Baker. We also provide examples of infinitely connected wandering domains whose boundary is uniformly p… ▽ More We investigate in which cases the boundary of a multiply connected wandering domain of an entire function is uniformly perfect. We give a general criterion implying that it is not uniformly perfect. This criterion applies in particular to examples of multiply connected wandering domains given by Baker. We also provide examples of infinitely connected wandering domains whose boundary is uniformly perfect. △ Less

Submitted 24 November, 2010; originally announced November 2010.

Comments: 19 pages

MSC Class: 37F10; 30D05

Journal ref: J. Australian Math. Soc. 91 (2011), 289-311

Dynamics of a higher dimensional analog of the trigonometric functions

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: 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. 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. △ Less

Submitted 22 February, 2010; originally announced February 2010.

Comments: 12 pages

MSC Class: 37F35; 37F10; 30C65; 30D10

Journal ref: Ann. Acad. Sci. Fenn. Math. 36 (2011), 165-175

Normal families and fixed points of iterates

Authors: Walter Bergweiler

Abstract: 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. 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. △ Less

Submitted 25 January, 2010; originally announced January 2010.

Comments: 5 pages

MSC Class: 30D45; 30D05; 37F10

Journal ref: Sci. China Math. 53 (2010), 593-596

On the Hausdorff dimension of the Julia set of a regularly growing entire function

Authors: Walter Bergweiler, Bogusława Karpińska

Abstract: 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. 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. △ Less

Submitted 22 September, 2009; originally announced September 2009.

Comments: 21 pages

MSC Class: 37F10; 30D05; 30D15

Journal ref: Math. Proc. Cambridge Philos. Soc. 148 (2010), 531-551

On the number of solutions of a transcendental equation arising in the theory of gravitational lensing

Authors: Walter Bergweiler, Alexandre Eremenko

Abstract: The equation in the title describes the number of bright images of a point source under lensing by an elliptic object with isothermal density. We prove that this equation has at most 6 solutions. Any number of solutions from 1 to 6 can actually occur. The equation in the title describes the number of bright images of a point source under lensing by an elliptic object with isothermal density. We prove that this equation has at most 6 solutions. Any number of solutions from 1 to 6 can actually occur. △ Less

Submitted 25 January, 2010; v1 submitted 31 August, 2009; originally announced August 2009.

Comments: 26 pages, 12 figures

MSC Class: 30E99; 85A99

Journal ref: Comput. Methods Funct. Theory 10 (2010), 303-324

Entire functions with Julia sets of positive measure

Authors: Magnus Aspenberg, Walter Bergweiler

Abstract: 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 g… ▽ More 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. △ Less

Submitted 8 April, 2009; originally announced April 2009.

Comments: 17 pages

MSC Class: 37F10; 30D05; 30D15

Journal ref: Math. Ann. 352 (2012), 27-54

Karpińska's paradox in dimension three

Authors: Walter Bergweiler

Abstract: For 0 < c < 1/e the Julia set of f(z) = c exp(z) is an uncountable union of pairwise disjoint simple curves tending to infinity [Devaney and Krych 1984], the Hausdorff dimension of this set is two [McMullen 1987], but the set of curves without endpoints has Hausdorff dimension one [Karpinska 1999]. We show that these results have three-dimensional analogues when the exponential function is repla… ▽ More For 0 < c < 1/e the Julia set of f(z) = c exp(z) is an uncountable union of pairwise disjoint simple curves tending to infinity [Devaney and Krych 1984], the Hausdorff dimension of this set is two [McMullen 1987], but the set of curves without endpoints has Hausdorff dimension one [Karpinska 1999]. We show that these results have three-dimensional analogues when the exponential function is replaced by a quasiregular self-map of three-space introduced by Zorich. △ Less

Submitted 16 February, 2009; originally announced February 2009.

Comments: 21 pages

MSC Class: 37F35; 30C65; 30D10; 37F10

Journal ref: Duke Math. J. 154, no. 3 (2010), 599-630

On the Hausdorff dimension of the escaping set of certain meromorphic functions

Authors: Walter Bergweiler, Janina Kotus

Abstract: 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… ▽ More 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. △ Less

Submitted 20 January, 2009; originally announced January 2009.

Comments: 23 pages

MSC Class: 37F10; 30D05; 30D15

Journal ref: Trans. Amer. Math. Soc. 364 (2012), 5369-5394

The size of Wiman-Valiron disks

Authors: Walter Bergweiler

Abstract: 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. 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. △ Less

Submitted 18 January, 2009; originally announced January 2009.

Comments: 20 pages

MSC Class: 30D10; 30D20; 30B10; 34M05

Journal ref: Complex Var. Elliptic Equ. 56 (2011), 13-33