Related papers: Hyperbolic geodesics, Krzyz's conjecture and beyon…

The goal of this paper is to prove the conjecture of Krzyz posed in 1968 that for nonvanishing holomorphic functions $f(z) = c_0 + c_1 z + ...$ in the unit disk with $|f(z)| \le 1$, we have the sharp bound $|c_n| \le 2/e$ for all $n \ge 1$,…

The Krzy\.z conjecture concerns the largest values of the Taylor coefficients of a non-vanishing analytic function bounded by one in modulus in the unit disk. It has been open since 1968 even though information on the structure of extremal…

The well-known Zalcman conjecture, which implies the Bieberbach conjecture, states that the coefficients of univalent functions $f(z) = z + \sum\limits_2^{\infty} a_n z^n$ on the unit disk satisfy $|a_n^2 - a_{2n-1}| \le (n-1)^2$ for all $n…

At the end of 1960's, Lawrence Zalcman posed a conjecture that the coefficients of univalent functions $f(z) = z + \sum\limits_2^\infty a_n z^n$ on the unit disk satisfy the sharp inequality $|a_n^2 - a_{2n-1}| \le (n-1)^2$, with equality…

Recently the author has presented a new approach to solving extremal problems of geometric function theory. It involves the Bers isomorphism theorem for Teichmuller spaces of punctured Riemann surfaces. We show here that this approach,…

We show, using the Kobayashi and Caratheodory metrics on special holomorphic disks in the universal Teichmuller space, that a wide class of holomorphic functionals on the space of univalent functions in the disk is maximized by the Koebe…

Let $\mathcal{S}$ denote the class of analytic and univalent ({\it i.e.}, one-to-one) functions $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$ in the unit disk $\mathbb{D}=\{z\in \mathbb{C}:|z|<1\}$. For $f\in \mathcal{S}$, Ma proposed the…

Let $\mathcal{S}$ denote the class of analytic and univalent ({\it i.e.}, one-to-one) functions $ f(z)= z+\sum_{n=2}^{\infty}a_n z^n$ in the unit disk $\mathbb{D}=\{z\in \mathbb{C}:|z|<1\}$. For $f\in \mathcal{S}$, In 1999, Ma proposed the…

We give sharp bounds for the hyperbolic curvature of the level curve $|z|=|f(z)|$, when $f:\mathbb{D}\to\mathbb{D}$ is holomorphic on the unit disc $\mathbb{D}$ and $f(0)\neq0$, as well as for other related level curves. As a consequence,…

We consider the family B-tilde of bounded nonvanishing analytic functions f(z) = a_0 + a_1 z + a_2 z^2 + ... in the unit disk. The coefficient problem had been extensively investigated, and it is known that |a_n| <= 2/e for n=1,2,3, and 4.…

It is one of the main properties of uniformly hyperbolic dynamics that points of two distinct trajectories cannot be uniformly close one to another. This characteristics of hyperbolic dynamics is called expansivity. Hirsch, Pugh and Shub,…

For functions $p(z) = 1 + \sum_{n=1}^\infty p_n z^n$ holomorphic in the unit disk, satisfying $ {\rm Re}\, p(z) > 0$, we generalize two inequalities proved by Livingston in 1969 and 1985, and simplify their proofs. One of our results states…

We prove a conjecture concerning the third Hankel determinant, proposed in ``Anal. Math. Phys., https://doi.org/10.1007/s13324-021-00483-7", which states that $|H_3(1)|\leq 1/9$ is sharp for the class $\mathcal{S}_{\wp}^{*}=\{zf'(z)/f(z)…

We prove that the sublevel set $\big\{z\in\mathbb D\colon k_{\mathbb D}\big(z,z_0\big)-k_{\mathbb D}\big(f(z),w_0\big)<\mu\big\}$, ${\mu\in\mathbb R}$, is geodesically convex with respect to the Poincar\'e distance $k_{\mathbb D}$ in the…

In this paper we prove the conjecture posed by Kl\'en et al. in \cite{kvz}, and give optimal inequalities for generalized trigonometric and hyperbolic functions.

Extremal functions for the $n$th coefficient in the Krzy\.z conjecture are atomic singular inner functions with at most $n$ atoms. This paper gives a lower bound on the number of atoms $N$ of the form $N\geq cn$, marking progress toward…

For an analytic and univalent function $f$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$, the logarithmic coefficients $\gamma_n$ are defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty}…

In this paper, we prove Huang et al.'s conjecture stated that if $f$ is a holomorphic function on $\Delta^+:=\{z\in \mathbb C \colon |z|<1,~\mathrm{Im}(z)>0\}$ with $\mathcal{C}^\infty$-smooth extension up to $(-1,1)$ such that $f$ maps…

Let $\mathcal{S}_H^0$ denote the class of all functions $f(z)=h(z)+\overline{g(z)}=z+\sum^\infty_{n=2} a_nz^n +\overline{\sum^\infty_{n=2} b_nz^n}$ that are sense-preserving, harmonic and univalent in the open unit disk $|z|<1$. The…

We explore two properties of backward orbits under semigroups of holomorphic self-maps in the unit disk. First, we prove that regular backward orbits are quasi-geodesics for the hyperbolic distance of the unit disk. Then, we show that…