Let $D\subset \mathbb{C}$ be a domain with $0\in D$. For $R>0$, let $\widehat{\unicode[STIX]{x1D714}}_{D}(R)$ denote the harmonic measure of $D\cap \{|z|=R\}$ at $0$ with respect to the domain $D\cap \{|z|<R\}$ and let $\unicode[STIX]{x1D714}_{D}(R)$ denote the harmonic measure of $\unicode[STIX]{x2202}D\cap \{|z|\geqslant R\}$ at $0$ with respect to $D$. The behavior of the functions $\unicode[STIX]{x1D714}_{D}$ and $\widehat{\unicode[STIX]{x1D714}}_{D}$ near $\infty$ determines (in some sense) how large $D$ is. However, it is not known whether the functions $\unicode[STIX]{x1D714}_{D}$ and $\widehat{\unicode[STIX]{x1D714}}_{D}$ always have the same behavior when $R$ tends to $\infty$. Obviously, $\unicode[STIX]{x1D714}_{D}(R)\leqslant \widehat{\unicode[STIX]{x1D714}}_{D}(R)$ for every $R>0$. Thus, the arising question, first posed by Betsakos, is the following: Does there exist a positive constant $C$ such that for all simply connected domains $D$ with $0\in D$ and all $R>0$,

$$\begin{eqnarray}\unicode[STIX]{x1D714}_{D}(R)\geqslant C\widehat{\unicode[STIX]{x1D714}}_{D}(R)?\end{eqnarray}$$

$D$

The relationship between the distribution of zeros of an infinite Blaschke product $B$ and the inclusion in weighted Bergman spaces $A_{\unicode[STIX]{x1D6FC}}^{p}$ of the derivative of $B$ or the derivative of functions in its model space $H^{2}\ominus \mathit{BH}^{2}$ is investigated.

J.-C. Yoccoz proposed a natural extension of Selberg’s eigenvalue conjecture to moduli spaces of abelian differentials. We prove an approximation to this conjecture. This gives a qualitative generalization of Selberg’s $\frac{3}{16}$ theorem to moduli spaces of abelian differentials on surfaces of genus ${\geqslant}2$.

We give a partial answer to a question attributed to Chris Miller on algebraic values of certain transcendental functions of order less than one. We obtain $C(\log H)^{\unicode[STIX]{x1D702}}$ bounds for the number of algebraic points of height at most $H$ on certain subsets of the graphs of such functions. The constant $C$ and exponent $\unicode[STIX]{x1D702}$ depend on data associated with the functions and can be effectively computed from them.

We prove that all transcendental entire functions have infinite topological entropy.

We consider expansions of o-minimal structures on the real field by collections of restrictions to the positive real line of the canonical Weierstrass products associated with sequences such as $(-n^{s})_{n>0}$ (for $s>0$) and $(-s^{n})_{n>0}$ (for $s>1$), and also expansions by associated functions such as logarithmic derivatives. There are only three possible outcomes known so far: (i) the expansion is o-minimal (that is, definable sets have only finitely many connected components); (ii) every Borel subset of each $\mathbb{R}^{n}$ is definable; (iii) the expansion is interdefinable with a structure of the form $(\mathfrak{R}^{\prime },\unicode[STIX]{x1D6FC}^{\mathbb{Z}})$ where $\unicode[STIX]{x1D6FC}>1$, $\unicode[STIX]{x1D6FC}^{\mathbb{Z}}$ is the set of all integer powers of $\unicode[STIX]{x1D6FC}$, and $\mathfrak{R}^{\prime }$ is o-minimal and defines no irrational power functions.

We establish a boundary Schwarz lemma for solutions to nonhomogeneous biharmonic equations.

Let $p:\mathbb{C}\rightarrow \mathbb{C}$ be a polynomial. The Gauss–Lucas theorem states that its critical points, $p^{\prime }(z)=0$, are contained in the convex hull of its roots. We prove a stability version whose simplest form is as follows: suppose that $p$ has $n+m$ roots, where $n$ are inside the unit disk,

$$\begin{eqnarray}\max _{1\leq i\leq n}|a_{i}|\leq 1~\text{and}~m~\text{are outside}~\min _{n+1\leq i\leq n+m}|a_{i}|\geq d>1+\frac{2m}{n};\end{eqnarray}$$

$p^{\prime }$

$n-1$

$m$

$(dn-m)/(n+m)>1$

$n$

$m$

${\sim}n^{-1}$

Steady two-dimensional fluid flow over an obstacle is solved using complex variable methods. We consider the cases of rectangular obstacles, such as large boulders, submerged in a potential flow. These may arise in geophysics, marine and civil engineering. Our models are applicable to initiation of motion that may result in subsequent transport. The local flow depends on the obstacle shape, slowing down in confining corners and speeding up in expanding corners. The flow generates hydrodynamic forces, drag and lift, and their associated moments, which differ around each face. Our model replaces the need for ill-defined drag and lift coefficients with geometry-dependent functions. We predict smaller flow velocities to initiate motion. We show how a joint-bound boulder can be transported against gravity, and analyse the influence of a wake region behind an isolated boulder.

We obtain an asymptotic formula for the persistence probability in the positive real line of a random polynomial arising from evolutionary game theory. It corresponds to the probability that a multi-player two-strategy random evolutionary game has no internal equilibria. The key ingredient is to approximate the sequence of random polynomials indexed by their degrees by an appropriate centered stationary Gaussian process.

We give an equality condition for a symmetrization inequality for condensers proved by F.W. Gehring regarding elliptic areas. We then use this to obtain a monotonicity result involving the elliptic area of the image of a holomorphic function f.

Let $B$ be a rational function of degree at least two that is neither a Lattès map nor conjugate to $z^{\pm n}$ or $\pm T_{n}$. We provide a method for describing the set $C_{B}$ consisting of all rational functions commuting with $B$. Specifically, we define an equivalence relation $\underset{B}{{\sim}}$ on $C_{B}$ such that the quotient $C_{B}/\underset{B}{{\sim}}$ possesses the structure of a finite group $G_{B}$, and describe generators of $G_{B}$ in terms of the fundamental group of a special graph associated with $B$.

We use the Carleson measure-embedding theorem for weighted Bergman spaces to characterize the positive Borel measures $\unicode[STIX]{x1D707}$ on the unit disc such that certain analytic function spaces of Dirichlet type are embedded (compactly embedded) in certain tent spaces associated with a measure $\unicode[STIX]{x1D707}$. We apply these results to study Volterra operators and multipliers acting on the mentioned spaces of Dirichlet type.

Let ${\mathcal{P}}_{{\mathcal{H}}}^{0}(M)$ denote the class of normalised harmonic mappings $f=h+\overline{g}$ in the unit disk $\mathbb{D}$ satisfying $\text{Re}\,(zh^{\prime \prime }(z))>-M+|zg^{\prime \prime }(z)|$, where $h^{\prime }(0)-1=0=g^{\prime }(0)$ and $M>0$. Let ${\mathcal{B}}_{{\mathcal{H}}}^{0}(M)$ denote the class of sense-preserving harmonic mappings $f=h+\overline{g}$ in the unit disk $\mathbb{D}$ satisfying $|zh^{\prime \prime }(z)|\leq M-|zg^{\prime \prime }(z)|$, where $M>0$. We discuss the coefficient bound problem, the growth theorem for functions in the class ${\mathcal{P}}_{{\mathcal{H}}}^{0}(M)$ and a two-point distortion property for functions in the class ${\mathcal{B}}_{{\mathcal{H}}}^{0}(M)$.

Using Roelcke’s formula for the Green function, we explicitly construct a basis in the kernel of the adjoint Laplacian on a compact polyhedral surface $X$ and compute the $S$-matrix of $X$ at the zero value of the spectral parameter. We apply these results to study various self-adjoint extensions of a symmetric Laplacian on a compact polyhedral surface of genus two with a single conical point. It turns out that the behaviour of the $S$-matrix at the zero value of the spectral parameter is sensitive to the geometry of the polyhedron.

Assume a point $z$ lies in the open unit disk $\mathbb{D}$ of the complex plane $\mathbb{C}$ and $f$ is an analytic self-map of $\mathbb{D}$ fixing 0. Then Schwarz’s lemma gives $|f(z)|\leq |z|$, and Dieudonné’s lemma asserts that $|f^{\prime }(z)|\leq \min \{1,(1+|z|^{2})/(4|z|(1-|z|^{2}))\}$. We prove a sharp upper bound for $|f^{\prime \prime }(z)|$ depending only on $|z|$.

We prove that a reduced and irreducible algebraic surface in $\mathbb{CP}^{3}$ containing infinitely many twistor lines cannot have odd degree. Then, exploiting the theory of quaternionic slice regularity and the normalisation map of a surface, we give constructive existence results for even degrees.

We generalize work by Bourgain and Kontorovich [On the local-global conjecture for integral Apollonian gaskets, Invent. Math. 196 (2014), 589–650] and Zhang [On the local-global principle for integral Apollonian 3-circle packings, J. Reine Angew. Math. 737, (2018), 71–110], proving an almost local-to-global property for the curvatures of certain circle packings, to a large class of Kleinian groups. Specifically, we associate in a natural way an infinite family of integral packings of circles to any Kleinian group ${\mathcal{A}}\leqslant \text{PSL}_{2}(K)$ satisfying certain conditions, where $K$ is an imaginary quadratic field, and show that the curvatures of the circles in any such packing satisfy an almost local-to-global principle. A key ingredient in the proof is that ${\mathcal{A}}$ possesses a spectral gap property, which we prove for any infinite-covolume, geometrically finite, Zariski dense Kleinian group in $\operatorname{PSL}_{2}({\mathcal{O}}_{K})$ containing a Zariski dense subgroup of $\operatorname{PSL}_{2}(\mathbb{Z})$.

In 1895, Cantor showed that between every two countable dense real sets, there is an order isomorphism. In fact, there is always such an order isomorphism that is the restriction of a universal entire function.

Motivated by Ramanujan’s continued fraction and the work of Richmond and Szekeres [‘The Taylor coefficients of certain infinite products’, Acta Sci. Math. (Szeged)40(3–4) (1978), 347–369], we investigate vanishing coefficients along arithmetic progressions in four quotients of infinite product expansions and obtain similar results. For example, $a_{1}(5n+4)=0$, where $a_{1}(n)$ is defined by

$$\begin{eqnarray}\displaystyle {\displaystyle \frac{(q,q^{4};q^{5})_{\infty }^{3}}{(q^{2},q^{3};q^{5})_{\infty }^{2}}}=\mathop{\sum }_{n=0}^{\infty }a_{1}(n)q^{n}. & & \displaystyle \nonumber\end{eqnarray}$$