The possibilities for limit functions on a Fatou component for the iteration of a single polynomial or rational function are well understood and quite restricted. In non-autonomous iteration, where one considers compositions of arbitrary polynomials with suitably bounded degrees and coefficients, one should observe a far greater range of behavior. We show this is indeed the case and we exhibit a bounded sequence of quadratic polynomials which has a bounded Fatou component on which one obtains as limit functions every member of the classical Schlicht family of normalized univalent functions on the unit disc. The proof is based on quasiconformal surgery and the use of high iterates of a quadratic polynomial with a Siegel disc which closely approximate the identity on compact subsets. Careful bookkeeping using the hyperbolic metric is required to control the errors in approximating the desired limit functions and ensure that these errors ultimately tend to zero.

Let A be a rational function of one complex variable of degree at least two, and $z_0$ its repelling fixed point with the multiplier $\unicode{x3bb} .$ A Poincaré function associated with $z_0$ is a function meromorphic on ${\mathbb C}$ such that , and In this paper, we study the following problem: given Poincaré functions and , find out if there is an algebraic relation between them and, if such a relation exists, describe the corresponding algebraic curve $f(x,y)=0.$ We provide a solution, which can be viewed as a refinement of the classical theorem of Ritt about commuting rational functions. We also reprove and extend previous results concerning algebraic dependencies between Böttcher functions.

We consider the existence problem of meromorphic solutions of the Fermat-type difference equation

$$ \begin{align*} f(z)^p+f(z+c)^q=h(z), \end{align*} $$

where $p,q$ are positive integers, and h has few zeros and poles in the sense that $N(r,h) + N(r,1/h) = S(r,h)$. As a particular case, we consider $h=e^g$, where g is an entire function. Additionally, we briefly discuss the case where h is small with respect to f in the standard sense $T(r,h)=S(r,f)$.

We classify the automorphic Lie algebras of equivariant maps from a complex torus to $\mathfrak{sl}_2(\mathbb{C})$. For each case, we compute a basis in a normal form. The automorphic Lie algebras correspond precisely to two disjoint families of Lie algebras parametrised by the modular curve of $\mathrm{PSL}_2({\mathbb{Z}})$, apart from four cases, which are all isomorphic to Onsager’s algebra.

The tropical analogue of the lemma on the logarithmic derivative is generalised for noncontinuous tropical meromorphic functions, that is, piecewise linear functions that may have discontinuities. In addition, two Borel type results are generalised for piecewise continuous functions. With the generalisation of the tropical analogue of the lemma on the logarithmic derivative, several tropical analogues of Clunie and Mohon’ko type results are also automatically generalised for noncontinuous tropical meromorphic functions.

Let f and g be analytic functions on the open unit disk ${\mathbb D}$ such that $|f|=|g|$ on a set A. We give an alternative proof of the result of Perez that there exists c in the unit circle ${\mathbb T}$ such that $f=cg$ when A is the union of two lines in ${\mathbb D}$ intersecting at an angle that is an irrational multiple of $\pi $, and from this, deduce a sequential generalization of the result. Similarly, the same conclusion is valid when f and g are in the Nevanlinna class and A is the union of the unit circle and an interior circle, tangential or not. We also provide sequential versions of this result and analyze the case $A=r{\mathbb T}$. Finally, we examine the most general situation when there is equality on two distinct circles in the disk, proving a result or counterexample for each possible configuration.

We study the distribution of the length of longest increasing subsequences in random permutations of n integers as n grows large and establish an asymptotic expansion in powers of $n^{-1/3}$. Whilst the limit law was already shown by Baik, Deift and Johansson to be the GUE Tracy–Widom distribution F, we find explicit analytic expressions of the first few finite-size correction terms as linear combinations of higher order derivatives of F with rational polynomial coefficients. Our proof replaces Johansson’s de-Poissonization, which is based on monotonicity as a Tauberian condition, by analytic de-Poissonization of Jacquet and Szpankowski, which is based on growth conditions in the complex plane; it is subject to a tameness hypothesis concerning complex zeros of the analytically continued Poissonized length distribution. In a preparatory step an expansion of the hard-to-soft edge transition law of LUE is studied, which is lifted to an expansion of the Poissonized length distribution for large intensities. Finally, expansions of Stirling-type approximations and of the expected value and variance of the length distribution are given.

This paper consists of two parts. The first is to study the existence of a point a at the intersection of the Julia set and the escaping set such that a goes to infinity under iterates along Julia directions or Borel directions. Additionally, we find such points that approximate all Borel directions to escape if the meromorphic functions have positive lower order. We confirm the existence of such slowly escaping points under a weaker growth condition. The second is to study the connection between the Fatou set and argument distribution. In view of the filling disks, we show nonexistence of multiply connected Fatou components if an entire function satisfies a weaker growth condition. We prove that the absence of singular directions implies the nonexistence of large annuli in the Fatou set.

We prove a difference analogue of the celebrated Tumura–Hayman–Clunie theorem. Let f be a transcendental entire function, let c be a nonzero constant and let n be a positive integer. If f and $\Delta _c^n f$ omit zero in the whole complex plane, then either $f(z)=\exp (h_1(z)+C_1 z)$, where $h_1$ is an entire function of period c and $\exp (C_1 c)\neq 1$, or $f(z)=\exp (h_2(z)+C_2 z)$, where $h_2$ is an entire function of period $2c$ and $C_2$ satisfies

$$ \begin{align*} \bigg(\frac{1+\exp(C_2c)}{1-\exp(C_2 c)}\bigg)^{2n}=1. \end{align*} $$

Beardon and Minda gave a characterization of normal families of holomorphic and meromorphic functions in terms of a locally uniform Lipschitz condition. Here, we generalize this viewpoint to families of mappings in higher dimensions that are locally uniformly continuous with respect to a given modulus of continuity. Our main application is to the normality of families of quasiregular mappings through a locally uniform Hölder condition. This provides a unified framework in which to consider families of quasiregular mappings, both recovering known results of Miniowitz, Vuorinen and others and yielding new results. In particular, normal quasimeromorphic mappings, Yosida quasiregular mappings and Bloch quasiregular mappings can be viewed as classes of quasiregular mappings which arise through consideration of various metric spaces for the domain and range. We give several characterizations of these classes and obtain upper bounds on the rate of growth in each class.

Let $f(z)=\sum\limits_{j=0}^{\infty} a_j z^j$ be a transcendental entire function and let $f_\omega(z)=\sum\limits_{j=0}^{\infty}\chi_j(\omega) a_j z^j$ be a random entire function, where $\chi_j(\omega)$ are independent and identically distributed random variables defined on a probability space $(\Omega, \mathcal{F}, \mu)$. In this paper, we first define a family of random entire functions, which includes Gaussian, Rademacher and Steinhaus entire functions. We prove that, for almost all functions in the family and for any constant C > 1, there exist a constant $r_0=r_0(\omega)$ and a set $E\subset [e, \infty)$ of finite logarithmic measure such that, for $r \gt r_0$ and $r\notin E$,

\begin{equation*}|\log M(r, f)- N(r,0, f_\omega)|\le (C/A)^{\frac1{B}}\,\log^{\frac1{B}}\,\log M(r,f) +\log\,\log M(r, f), \qquad a.s.\end{equation*}

where $A, B$ are constants, $M(r, f)$ is the maximum modulus and $N(r, 0, f)$ is the integrated zero-counting function of f. As a by-product of our main results, we prove Nevanlinna’s second main theorem for random entire functions. Thus, the characteristic function of almost all functions in the family is bounded above by an integrated counting function, rather than by two integrated counting functions as in the classical Nevanlinna theory. For instance, we show that, for almost all Gaussian entire functions fω and for any ϵ > 0, there is r0 such that, for $r \gt r_0$,

\begin{equation*}T(r, f) \le N(r,0, f_\omega)+\left(\tfrac12+\epsilon\right) \log T(r, f).\end{equation*}

Erdős [7] proved that the Continuum Hypothesis (CH) is equivalent to the existence of an uncountable family $\mathcal {F}$ of (real or complex) analytic functions, such that $\big \{ f(x) \ : \ f \in \mathcal {F} \big \}$ is countable for every x. We strengthen Erdős’ result by proving that CH is equivalent to the existence of what we call sparse analytic systems of functions. We use such systems to construct, assuming CH, an equivalence relation $\sim $ on $\mathbb {R}$ such that any ‘analytic-anonymous’ attempt to predict the map $x \mapsto [x]_\sim $ must fail almost everywhere. This provides a consistently negative answer to a question of Bajpai-Velleman [2].

Let ${\mathbb D}$ be the open unit disk, and let $\mathcal {A}(p)$ be the class of functions f that are holomorphic in ${\mathbb D}\backslash \{p\}$ with a simple pole at $z=p\in (0,1)$, and $f'(0)\neq 0$. In this article, we significantly improve lower bounds of the Bloch and the Landau constants for functions in ${\mathcal A}(p)$ which were obtained in Bhowmik and Sen (2023, Monatshefte für Mathematik, 201, 359–373) and conjecture on the exact values of such constants.

Recently, Benini et al showed that, in simply connected wandering domains of entire functions, all pairs of orbits behave in the same way relative to the hyperbolic metric, thus giving us our first insight into the general internal dynamics of such domains. The author proved in a recent paper [G. R. Ferreira. Multiply connected wandering domains of meromorphic functions: internal dynamics andconnectivity. J. Lond. Math. Soc. (2) 106 (2022), 1897–1919] that the same is not true for multiply connected wandering domains, a natural question is how inhomogeneous multiply connected wandering domains can be. We give an answer to this question, in that we show that uniform dynamics inside an open subset of the domain generalizes to the whole wandering domain. As an application of this result, we construct the first example of a meromorphic function with a semi-contracting infinitely connected wandering domain.

We obtain bounds for certain functionals defined on a class of meromorphic functions in the unit disc of the complex plane with a nonzero simple pole. These bounds are sharp in a certain sense. We also discuss possible applications of this result. Finally, we generalise the result to meromorphic functions with more than one simple pole.

We develop multisummability, in the positive real direction, for generalized power series with natural support, and we prove o-minimality of the expansion of the real field by all multisums of these series. This resulting structure expands both $\mathbb {R}_{\mathcal {G}}$ and the reduct of $\mathbb {R}_{\text {an}^*}$ generated by all convergent generalized power series with natural support; in particular, its expansion by the exponential function defines both the gamma function on $(0,\infty )$ and the zeta function on $(1,\infty )$.

In this paper, we prove that the ratio of the modulus of the iterates of two points in an escaping Fatou component could be bounded even if the orbit of the component contains a sequence of annuli whose moduli tend to infinity, and this cannot happen when the maximal modulus of the meromorphic function is uniformly large enough. In this way we extend certain related results for entire functions to meromorphic functions with infinitely many poles.

The set of points that escape to infinity under iteration of a cosine map, that is, of the form $C_{a,\,b} \colon z \mapsto ae^z+be^{-z}$ for $a,\,b\in \mathbb{C}^\ast$ , consists of a collection of injective curves, called dynamic rays. If a critical value of $C_{a,\,b}$ escapes to infinity, then some of its dynamic rays overlap pairwise and split at critical points. We consider a large subclass of cosine maps with escaping critical values, including the map $z\mapsto \cosh(z)$ . We provide an explicit topological model for their dynamics on their Julia sets. We do so by first providing a model for the dynamics near infinity of any cosine map, and then modifying it to reflect the splitting of rays for functions of the subclass we study. As an application, we give an explicit combinatorial description of the overlap occurring between the dynamic rays of $z\mapsto \cosh(z)$ , and conclude that no two of its dynamic rays land together.

We characterize zero sets for which every subset remains a zero set too in the Fock space $\mathcal {F}^p$ , $1\leq p<\infty $ . We are also interested in the study of a stability problem for some examples of uniqueness set with zero excess in Fock spaces.

Let $f(z)=\sum _{n=0}^\infty a_n z^n$ be an entire function on the complex plane, and let ${\mathcal R} f(z) = \sum _{n=0}^\infty a_n X_n z^n$ be its randomization induced by a standard sequence $(X_n)_n$ of independent Bernoulli, Steinhaus, or Gaussian random variables. In this paper, we characterize those functions $f(z)$ such that ${\mathcal R} f(z)$ is almost surely in the Fock space ${\mathcal F}_{\alpha }^p$ for any $p, \alpha \in (0,\infty )$. Then such a characterization, together with embedding theorems which are of independent interests, is used to obtain a Littlewood-type theorem, also known as regularity improvement under randomization within the scale of Fock spaces. Other results obtained in this paper include: (a) a characterization of random analytic functions in the mixed-norm space ${\mathcal F}(\infty , q, \alpha )$, an endpoint version of Fock spaces, via entropy integrals; (b) a complete description of random lacunary elements in Fock spaces; and (c) a complete description of random multipliers between different Fock spaces.