We investigate Carlson–Griffiths’ equidistribution theory of meormorphic mappings from a complete Kähler manifold into a complex projective algebraic manifold. By using a technique of Brownian motions developed by Atsuji, we obtain a second main theorem in Nevanlinna theory provided that the source manifold is of nonpositive sectional curvature. In particular, a defect relation follows if some growth condition is imposed.

We consider meromorphic solutions of functional-differential equations

\[ f^{(k)}(z)=a(f^{n}\circ g)(z)+bf(z)+c, \]

$n,\,~k$

$f$

$g$

$f$

$a(\neq 0)$

$b$

$c$

$g$

$f$

$a(\neq 0)$

$b$

$c$

$\mathbb {C}$

Although detailed descriptions of the possible types of behaviour inside periodic Fatou components have been known for over 100 years, a classification of wandering domains has only recently been given. Recently, simply connected wandering domains were classified into nine possible types and examples of escaping wandering domains of each of these types were constructed. Here we consider the case of oscillating wandering domains, for which only six of these types are possible. We use a new technique based on approximation theory to construct examples of all six types of oscillating simply connected wandering domains. This requires delicate arguments since oscillating wandering domains return infinitely often to a bounded part of the plane. Our technique is inspired by that used by Eremenko and Lyubich to construct the first example of an oscillating wandering domain, but with considerable refinements which enable us to show that the wandering domains are bounded, to specify the degree of the mappings between wandering domains and to give precise descriptions of the dynamical behaviour of these mappings.

A function which is transcendental and meromorphic in the plane has at least two singular values. On the one hand, if a meromorphic function has exactly two singular values, it is known that the Hausdorff dimension of the escaping set can only be either $2$ or $1/2$. On the other hand, the Hausdorff dimension of escaping sets of Speiser functions can attain every number in $[0,2]$ (cf. [M. Aspenberg and W. Cui. Hausdorff dimension of escaping sets of meromorphic functions. Trans. Amer. Math. Soc. 374(9) (2021), 6145–6178]). In this paper, we show that number of singular values which is needed to attain every Hausdorff dimension of escaping sets is not more than $4$.

We investigate the behaviour of families of meromorphic functions in the neighbourhood of points of non-normality and prove certain covering properties that complement Montel’s Theorem. In particular, we also obtain characterisations of non-normality in terms of such properties.

In this paper, we give a generalization and improvement of the Pavlović result on the characterization of continuously differentiable functions in the Bloch space on the unit ball in $\mathbb {R}^{m}$. Then, we derive a Holland–Walsh type theorem for analytic normal mappings on the unit disk.

We prove several results on unavoidable families of meromorphic functions. For instance, we give new examples of families of cardinality 3 that are unavoidable with respect to the set of meromorphic functions on $\mathbb C$. We further obtain families consisting of less than three functions that are unavoidable with respect to certain subsets of meromorphic functions. In the other direction, we show that for every meromorphic function f, there exists an entire function that avoids f on $\mathbb C$.

The Julia set of the exponential family $E_{\kappa }:z\mapsto \kappa e^z$, $\kappa>0$ was shown to be the entire complex plane when $\kappa>1/e$ essentially by Misiurewicz. Later, Devaney and Krych showed that for $0<\kappa \leq 1/e$ the Julia set is an uncountable union of pairwise disjoint simple curves tending to infinity. Bergweiler generalized the result of Devaney and Krych for a three-dimensional analogue of the exponential map called the Zorich map. We show that the Julia set of certain Zorich maps with symmetry is the whole of $\mathbb {R}^3$, generalizing Misiurewicz’s result. Moreover, we show that the periodic points of the Zorich map are dense in $\mathbb {R}^3$ and that its escaping set is connected, generalizing a result of Rempe. We also generalize a theorem of Ghys, Sullivan and Goldberg on the measurable dynamics of the exponential.

This paper is part of a program to understand the parameter spaces of dynamical systems generated by meromorphic functions with finitely many singular values. We give a full description of the parameter space for a specific family based on the exponential function that has precisely two finite asymptotic values and one attracting fixed point. It represents a step beyond the previous work by Goldberg and Keen [The mapping class group of a generic quadratic rational map and automorphisms of the 2-shift. Invent. Math. 101(2) (1990), 335–372] on degree two rational functions with analogous constraints: two critical values and an attracting fixed point. What is interesting and promising for pushing the general program even further is that, despite the presence of the essential singularity, our new functions exhibit a dynamic structure as similar as one could hope to the rational case, and that the philosophy of the techniques used in the rational case could be adapted.

Complex linear differential equations with entire coefficients are studied in the situation where one of the coefficients is an exponential polynomial and dominates the growth of all the other coefficients. If such an equation has an exponential polynomial solution $f$, then the order of $f$ and of the dominant coefficient are equal, and the two functions possess a certain duality property. The results presented in this paper improve earlier results by some of the present authors, and the paper adjoins with two open problems.

Let f and g be two quasiregular maps in $\mathbb{R}^d$ that are of transcendental type and also satisfy $f\circ g =g \circ f$. We show that if the fast escaping sets of those functions are contained in their respective Julia sets then those two functions must have the same Julia set. We also obtain the same conclusion about commuting quasimeromorphic functions with infinite backward orbit of infinity. Furthermore we show that permutable quasiregular functions of the form f and $g = \phi \circ f$, where $\phi$ is a quasiconformal map, have the same Julia sets and that polynomial type quasiregular maps cannot commute with transcendental type ones unless their degree is less than or equal to their dilatation.

For a nondecreasing function $K: [0, \infty)\rightarrow [0, \infty)$ and $0<s<\infty $, we introduce a Morrey type space of functions analytic in the unit disk $\mathbb {D}$, denoted by $\mathcal {D}^s_K$. Some characterizations of $\mathcal {D}^s_K$ are obtained in terms of K-Carleson measures. A relationship between two spaces $\mathcal {D}^{s_1}_K$ and $\mathcal {D}^{s_2}_K$ is given by fractional order derivatives. As an extension of some known results, for a positive Borel measure $\mu $ on $\mathbb {D}$, we find sufficient or necessary condition for the embedding map $I: \mathcal {D}^{s}_{K}\mapsto \mathcal {T}^s_{K}(\mu)$ to be bounded.

We prove a number of results concerning the Hausdorff and packing dimension of sets of points which escape (at least in average) to infinity at a given rate under non-autonomous iteration of exponential maps. In particular, we generalize the results proved by Sixsmith in 2016 and answer his question on annular itineraries for exponential maps.

Many authors have studied the dynamics of hyperbolic transcendental entire functions; these are functions for which the postsingular set is a compact subset of the Fatou set. Equivalently, they are characterized as being expanding. Mihaljević-Brandt studied a more general class of maps for which finitely many of their postsingular points can be in their Julia set, and showed that these maps are also expanding with respect to a certain orbifold metric. In this paper we generalize these ideas further, and consider a class of maps for which the postsingular set is not even bounded. We are able to prove that these maps are also expanding with respect to a suitable orbifold metric, and use this expansion to draw conclusions on the topology and dynamics of the maps. In particular, we generalize existing results for hyperbolic functions, giving criteria for the boundedness of Fatou components and local connectivity of Julia sets. As part of this study, we develop some novel results on hyperbolic orbifold metrics. These are of independent interest, and may have future applications in holomorphic dynamics.

We give conditions ensuring that the Fatou set and the complement of the fast escaping set of an exponential polynomial f both have finite Lebesgue measure. Essentially, these conditions are designed such that $|f(z)|\ge \exp (|z|^\alpha )$ for some $\alpha>0$ and all z outside a set of finite Lebesgue measure.

We prove that if f and g are holomorphic functions on an open connected domain, with the same moduli on two intersecting segments, then $f=g$ up to the multiplication of a unimodular constant, provided the segments make an angle that is an irrational multiple of $\pi $. We also prove that if f and g are functions in the Nevanlinna class, and if $|f|=|g|$ on the unit circle and on a circle inside the unit disc, then $f=g$ up to the multiplication of a unimodular constant.

A classical theorem of Frei states that if $A_p$ is the last transcendental function in the sequence$A_0,\ldots ,A_{n-1}$ of entire functions, then each solution base of the differential equation $f^{(n)}+A_{n-1}f^{(n-1)}+\cdots +A_{1}f'+A_{0}f=0$ contains at least $n-p$ entire functions of infinite order. Here, the transcendental coefficient $A_p$ dominates the growth of the polynomial coefficients $A_{p+1},\ldots ,A_{n-1}$. By expressing the dominance of $A_p$ in different ways and allowing the coefficients $A_{p+1},\ldots ,A_{n-1}$ to be transcendental, we show that the conclusion of Frei’s theorem still holds along with an additional estimation on the asymptotic lower bound for the growth of solutions. At times, these new refined results give a larger number of linearly independent solutions of infinite order than the original theorem of Frei. For such solutions, we show that $0$ is the only possible finite deficient value. Previously, this property has been known to hold for so-called admissible solutions and is commonly cited as Wittich’s theorem. Analogous results are discussed for linear differential equations in the unit disc, as well as for complex difference and complex q-difference equations.

Let $M$ be a closed, oriented, and connected Riemannian $n$-manifold, for $n\geq 2$, which is not a rational homology sphere. We show that, for a non-constant and non-injective uniformly quasiregular self-map $f:M\rightarrow M$, the topological entropy $h(f)$ is $\log \deg f$. This proves Shub’s entropy conjecture in this case.

The Fermat type functional equations $(*)\, f_1^n+f_2^n+\cdots +f_k^n=1$, where n and k are positive integers, are considered in the complex plane. Our focus is on equations of the form (*) where it is not known whether there exist non-constant solutions in one or more of the following four classes of functions: meromorphic functions, rational functions, entire functions, polynomials. For such equations, we obtain estimates on Nevanlinna functions that transcendental solutions of (*) would have to satisfy, as well as analogous estimates for non-constant rational solutions. As an application, it is shown that transcendental entire solutions of (*) when n = k(k − 1) with k ≥ 3, would have to satisfy a certain differential equation, which is a generalization of the known result when k = 3. Alternative proofs for the known non-existence theorems for entire and polynomial solutions of (*) are given. Moreover, some restrictions on degrees of polynomial solutions are discussed.

The aim of this paper is twofold. The first aim is to describe the entire solutions of the partial differential equation (PDE) $u_{z_1}^2+2Bu_{z_1}u_{z_2}+u_{z_2}^2=e^g$, where B is a constant and g is a polynomial or an entire function in $\mathbb {C}^2$. The second aim is to consider the entire solutions of another PDE, which is a generalization of the well-known PDE of tubular surfaces.