The sharp bound of the second Hankel determinant of logarithmic coefficients of inverse functions of strongly starlike functions is computed.

Let $\mathcal {S}$ denote the class of univalent functions in the open unit disc $\mathbb {D}:=\{z\in \mathbb {C}:\, |z|<1\}$ with the form $f(z)= z+\sum _{n=2}^{\infty }a_n z^n$. The logarithmic coefficients $\gamma _{n}$ of $f\in \mathcal {S}$ are defined by $F_{f}(z):= \log (f(z)/z)=2\sum _{n=1}^{\infty }\gamma _{n}z^{n}$. The second Hankel determinant for logarithmic coefficients is defined by

$$ \begin{align*} H_{2,2}(F_f/2) = \begin{vmatrix} \gamma_2 & \gamma_3 \\ \gamma_3 & \gamma_4 \end{vmatrix} =\gamma_2\gamma_4 -\gamma_3^2. \end{align*} $$

We obtain sharp upper bounds of the second Hankel determinant of logarithmic coefficients for starlike and convex functions.

Given a Gromov hyperbolic domain $G\subsetneq \mathbb{R}^n$ with uniformly perfect Gromov boundary, Zhou and Rasila recently proved that for all quasiconformal homeomorphisms $\psi\colon G\to G$ with identity value on the Gromov boundary, the quasihyperbolic displacement $k_G(x,\psi(x))$ for all $x\in G$ is bounded above. In this paper, we generalize this result and establish Teichmüller displacement theorem for quasi-isometries of Gromov hyperbolic spaces in a quantitative way. As applications, we obtain its connections to bilipschitz extensions of certain Gromov hyperbolic spaces.

We prove an effective estimate with a power saving error term for the number of square-tiled surfaces in a connected component of a stratum of quadratic differentials whose vertical and horizontal foliations belong to prescribed mapping class group orbits and which have at most L squares. This result strengthens asymptotic counting formulas in the work of Delecroix, Goujard, Zograf, Zorich, and the author.

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.

We define balanced self-similar quasi-round carpets and compare the carpet moduli of some path families relating to such a carpet. Then, using some known results on quasiconformal geometry of carpets, we prove that the group of quasisymmetric self-homeomorphisms of every balanced self-similar quasi-round carpet is finite. Furthermore, we prove that some balanced self-similar carpets in the unit square with strong geometric symmetry are quasisymmetrically rigid by using the quasisymmetry of weak tangents of carpets.

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 give a new proof of a theorem of Bell and Coons [‘Transcendence tests for Mahler functions’, Proc. Amer. Math. Soc. 145(3) (2017), 1061–1070] on the leading order radial asymptotics of Mahler functions that are the generating functions of regular sequences. Our method allows us to provide a description of the oscillations whose existence was shown by Bell and Coons. This extends very recent results of Poulet and Rivoal [‘Radial behavior of Mahler functions’, Int. J. Number Theory, to appear].

Motivated by new examples of functional Banach spaces over the unit disk, arising as the symbol spaces in the study of random analytic functions, for which the monomials $\{z^n\}_{n\geq 0}$ exhibit features of an unconditional basis yet they often don’t even form a Schauder basis, we introduce a notion called solid basis for Banach spaces and p-Banach spaces and study its properties. Besides justifying the rich existence of solid bases, we study their relationship with unconditional bases, the weak-star convergence of Taylor polynomials, the problem of a solid span and the curious roles played by c0. The two features of this work are as follows: (1) during the process, we are led to revisit the axioms satisfied by a typical Banach space of analytic functions over the unit disk, leading to a notion of $\mathcal{X}^\mathrm{max}$ (and $\mathcal{X}^\mathrm{min}$), as well as a number of related functorial constructions, which are of independent interests; (2) the main interests of solid basis lie in the case of non-separable (p-)Banach spaces, such as BMOA and the Bloch space instead of VMOA and the little Bloch space.

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)$.

The local invariants of a meromorphic quadratic differential on a compact Riemann surface are the orders of zeros and poles, and the residues at the poles of even orders. The main result of this paper is that with few exceptions, every pattern of local invariants can be obtained by a quadratic differential on some Riemann surface. The exceptions are completely classified and only occur in genera zero and one. Moreover, in the case of a nonconnected stratum, we show that, with three exceptions in genus one, each configuration of invariants can be realized in each non-hyperelliptic connected component of the stratum. In the hyperelliptic components with two poles the residues at both poles coincide. These results are obtained using the flat metric induced by the differentials. We give an application by bounding the number of disjoint cylinders on a primitive quadratic differential.

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.

In this paper, we study the $(s, C(s))$-Harnack inequality in a domain $G\subset \mathbb {R}^n$ for $s\in (0,1)$ and $C(s)\geq 1$ and present a series of inequalities related to $(s, C(s))$-Harnack functions and the Harnack metric. We also investigate the behavior of the Harnack metric under K-quasiconformal and K-quasiregular mappings, where $K\geq 1$. Finally, we provide a type of harmonic Schwarz lemma and improve the Schwarz–Pick estimate for a real-valued harmonic function.

We are interested in the optimal growth in terms of Lp-averages of hypercyclic and $\mathcal{U}$-frequently hypercyclic functions for some weighted Taylor shift operators acting on the space of analytic functions on the unit disc. We unify the results obtained by considering intermediate notions of upper frequent hypercyclicity between $\mathcal{U}$-frequent hypercyclicity and hypercyclicity.

We investigate different geometrical properties, related to Carleson measures and pseudo-hyperbolic separation, of inhomogeneous Poisson point processes on the unit disk. In particular, we give conditions so that these random sequences are almost surely interpolating for the Hardy, Bloch or weighted Dirichlet spaces.

Let $\mathcal {R}f$ be the randomization of an analytic function over the unit disk in the complex plane

$$ \begin{align*}\mathcal{R} f(z) =\sum_{n=0}^\infty a_n X_n z^n \in H({\mathbb D}), \end{align*} $$

$f(z)=\sum _{n=0}^\infty a_n z^n \in H({\mathbb D})$

$(X_n)_{n \geq 0}$

$f \in H({\mathbb D})$

${\mathcal R} f$

We obtain sharp bounds for the second Hankel determinant of logarithmic inverse coefficients for starlike and convex functions.

In a recent breakthrough, Dimitrov [Dim] solved the Schinzel–Zassenhaus conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form $T^p+c$, where p is a prime number and where the orbit of $0$ is finite. For example, if $p=2$ and $0$ is periodic under $T^2+c$ with $c\in \mathbb {R}$, we prove a lower bound for the local canonical height of a wandering algebraic integer that is inversely proportional to the field degree. From this, we are able to deduce a lower bound for the canonical height of a wandering point that decays like the inverse square of the field degree. For these f, our method has application to the irreducibility of polynomials. Indeed, say y is preperiodic under f but not periodic. Then any iteration of f minus y is irreducible in $\mathbb {Q}(y)[T]$.