We show that the set of Julia limiting directions of a transcendental-type K-quasiregular mapping $f:\mathbb {R}^n\to \mathbb {R}^n$ must contain a component of a certain size, depending on the dimension n, the maximal dilatation K, and the order of growth of f. In particular, we show that if the order of growth is small enough, then every direction is a Julia limiting direction. We also show that if every component of the set of Julia limiting directions is a point, then f has infinite order. The main tool in proving these results is a new version of a Phragmén–Lindelöf principle for sub-F-extremals in sectors, where we allow for boundary growth of the form $O( \log |x| )$ instead of the previously considered $O(1)$ bound.

This paper studies quasiconformal non-equivalence of Julia sets and limit sets. We proved that any Julia set is quasiconformally different from the Apollonian gasket. We also proved that any Julia set of a quadratic rational map is quasiconformally different from the gasket limit set of a geometrically finite Kleinian group.

Let $\mathcal {H}$ be the class of all analytic self-maps of the open unit disk $\mathbb {D}$. Denote by $H^n f(z)$ the nth-order hyperbolic derivative of $f\in \mathcal H$ at $z\in \mathbb {D}$. We develop a method allowing us to calculate higher-order hyperbolic derivatives in an expeditious manner. We also generalise certain classical results for variability regions of the nth derivative of bounded analytic functions. For $z_0\in \mathbb {D}$ and $\gamma = (\gamma _0, \gamma _1 , \ldots , \gamma _{n-1}) \in {\mathbb D}^{n}$, let ${\mathcal H} (\gamma ) = \{f \in {\mathcal H} : f (z_0) = \gamma _0,H^1f (z_0) = \gamma _1,\ldots ,H^{n-1}f (z_0) = \gamma _{n-1} \}$. We determine the variability region $\{ f^{(n)}(z_0) : f \in {\mathcal H} (\gamma ) \}$ to prove a Schwarz–Pick lemma for the nth derivative. We apply this result to establish an nth-order Dieudonné lemma, which provides an explicit description of the variability region $\{h^{(n)}(z_0): h\in \mathcal {H}, h(0)=0,h(z_0) =w_0, h'(z_0)=w_1,\ldots , h^{(n-1)}(z_0)=w_{n-1}\}$ for given $z_0$, $w_0$, $w_1,\ldots ,w_{n-1}$. Moreover, we determine the form of all extremal functions.

The manuscript is devoted to the boundary behavior of mappings with bounded and finite distortion. We consider mappings of domains of the Euclidean space that satisfy weighted Poletsky inequality. Assume that, the definition domain is finitely connected on its boundary and, in addition, on the set of all points which are pre-images of the cluster set of this boundary. Then the specified mappings have a continuous boundary extension provided that the majorant in the Poletsky inequality satisfies some integral divergence condition, or has a finite mean oscillation at every boundary point.

Recently, it is proven that positive harmonic functions defined in the unit disc or the upper half-plane in $\mathbb{C}$ are contractions in hyperbolic metrics [14]. Furthermore, the same result does not hold in higher dimensions as shown by given counterexamples [16]. In this paper, we shall show that positive (or bounded) harmonic functions defined in the unit ball in $\mathbb{R}^{n}$ are Lipschitz in hyperbolic metrics. The involved method in main results allows to establish essential improvements of Schwarz type inequalities for monogenic functions in Clifford analysis [24, 25] and octonionic analysis [21] in a unified approach.

We consider the relationship between the Mahler measure $M(f)$ of a polynomial f and its separation $\operatorname {sep}(f)$. Mahler [‘An inequality for the discriminant of a polynomial’, Michigan Math. J. 11 (1964), 257–262] proved that if $f(x) \in \mathbb {Z}[x]$ is separable of degree n, then $\operatorname {sep}(f) \gg _n M(f)^{-(n-1)}$. This spurred further investigations into the implicit constant involved in that relationship and led to questions about the optimal exponent on $M(f)$. However, there has been relatively little study concerning upper bounds on $\operatorname {sep}(f)$ in terms of $M(f)$. We prove that if $f(x) \in \mathbb {C}[x]$ has degree n, then $\operatorname {sep}(f) \ll n^{-1/2}M(f)^{1/(n-1)}$. Moreover, this bound is sharp up to the implied constant factor. We further investigate the constant factor under various additional assumptions on $f(x)$; for example, if it has only real roots.

We introduce a relaxed version of the metric definition of quasiconformality that is natural also for mappings of low regularity, including $W_{\mathrm{loc}}^{1,1}({\mathbb R}^n;{\mathbb R}^n)$-mappings. Then we show on the plane that this relaxed definition can be used to prove Sobolev regularity, and that these ‘finely quasiconformal’ mappings are in fact quasiconformal.

For $r\in(0,1)$, let $\mu \left( r\right) $ be the modulus of the plane Grötzsch ring $\mathbb{B}^2\setminus[0,r]$, where $\mathbb{B}^2$ is the unit disk. In this paper, we prove that

\begin{equation*}\mu \left( r\right) =\ln \frac{4}{r}-\sum_{n=1}^{\infty }\frac{\theta _{n}}{2n}r^{2n},\end{equation*}

with $\theta _{n}\in \left( 0,1\right)$. Employing this series expansion, we obtain several absolutely monotonic and (logarithmically) completely monotonic functions involving $\mu \left( r\right) $, which yields some new results and extend certain known ones. Moreover, we give an affirmative answer to the conjecture proposed by Alzer and Richards in H. Alzer and K. Richards, On the modulus of the Grötzsch ring, J. Math. Anal. Appl. 432(1): (2015), 134–141, DOI 10.1016/j.jmaa.2015.06.057. As applications, several new sharp bounds and functional inequalities for $\mu \left( r\right) $ are established.

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.

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.

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

For $-1\leq B \lt A\leq 1$, let $\mathcal{C}(A,B)$ denote the class of normalized Janowski convex functions defined in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z| \lt 1\}$ that satisfy the subordination relation $1+zf''(z)/f'(z)\prec (1+Az)/(1+Bz)$. In the present article, we determine the sharp estimate of the Schwarzian norm for functions in the class $\mathcal{C}(A,B)$. The Dieudonné’s lemma which gives the exact region of variability for derivatives at a point of bounded functions, plays the key role in this study, and we also use this lemma to construct the extremal functions for the sharpness by a new method.

We verify a long-standing conjecture on the membership of univalent harmonic mappings in the Hardy space, whenever the functions have a “nice” analytic part. We also produce a coefficient estimate for these functions, which is in a sense best possible. The problem is then explored in a new direction, without the additional hypothesis. Interestingly, our ideas extend to certain classes of locally univalent harmonic mappings. Finally, we prove a Baernstein-type extremal result for the function $\log (h'+cg')$, when $f=h+\overline {g}$ is a close-to-convex harmonic function, and c is a constant. This leads to a sharp coefficient inequality for these functions.

We study a nonlinear Beltrami equation $f_\theta =\sigma \,|f_r|^m f_r$ in polar coordinates $(r,\theta ),$ which becomes the classical Cauchy–Riemann system under $m=0$ and $\sigma =ir.$ Using the isoperimetric technique, various lower estimates for $|f(z)|/|z|, f(0)=0,$ as $z\to 0,$ are derived under appropriate integral conditions on complex/directional dilatations. The sharpness of the above bounds is illustrated by several examples.

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 $\mathcal {K}_u$ denote the class of all analytic functions f in the unit disk $\mathbb {D}:=\{z\in \mathbb {C}:|z|<1\}$, normalised by $f(0)=f'(0)-1=0$ and satisfying $|zf'(z)/g(z)-1|<1$ in $\mathbb {D}$ for some starlike function g. Allu, Sokól and Thomas [‘On a close-to-convex analogue of certain starlike functions’, Bull. Aust. Math. Soc. 108 (2020), 268–281] obtained a partial solution for the Fekete–Szegö problem and initial coefficient estimates for functions in $\mathcal {K}_u$, and posed a conjecture in this regard. We prove this conjecture regarding the sharp estimates of coefficients and solve the Fekete–Szegö problem completely for functions in the class $\mathcal {K}_u$.