Angle distortion theorems for starlike and spirallike functions with respect to a boundary point (Q2469009)

Let \(\Delta\) be the open unit disk in the complex plane \(\mathcal{C}\). By \(\text{Hol}(\Delta ,\mathcal{C})\) it is denoted the set of all holomorphic functions in \(\Delta\). A univalent function \(h\) on \(\Delta\) is called spirallike (resp., starlike) on \(\Delta\) if for some \(\mu \in \mathcal{C}\) with \(\operatorname{Re} \mu>0\) (resp., \(\mu \in {\mathcal R}\) with \(\mu >0\)) and for each \(t\geq 0\), the element \(e^{-\mu t}h(z)\) belongs to \(h(\Delta)\) whenever \(z\in\Delta\). It is clear that \(0\in \overline{h(\Delta)}\). Moreover, (i) if \(0\in h(\Delta)\), then \(h\) is called spirallike (resp., starlike) with respect to an interior point; (ii) if \(0\) it is not in \(h(\Delta)\), then \(h\) is called spirallike (resp., starlike) with respect to a boundary point. In this case, there is a boundary point (say, \(z=1\)) such that \(h(1) :=\angle \lim_{z\to 1}h(z)=0\); by symbol \(\angle \lim\) it is denoted the angular (non-tangential) limit of a function at a boundary point of \(\Delta\). The class of spirallike (starlike) functions with respect to a boundary point normalized by the conditions \(h(1)=0\) and \(h(0)=1\) will be denoted by Spiral[1] (resp., Star[1]). It is known that for any function \(h\in \text{Spiral}[1]\), the limit \[ \angle \lim_{z\to 1} \frac{(z-1)h'(z)}{h(z)}=\mu \] exists with \(\mu\in\Omega\), where \(\Omega =\{\lambda:\lambda -1|\leq 1\), \(\lambda \neq 0\}.\) For given \(\mu\in\Omega\), the class of spirallike functions which satisfy the above relation, will be denoted by \(\text{Spiral}_\mu[1]\). If the number \(\mu\) is real, that is, \(0<\mu \leq 2\), then the function \(h\) is, in fact, starlike. In this case, we can write \(h\in \text{Star}_\mu[1]\). We can say that a univalent function \(h\) belongs to the class \(\text{Spiral}_{\mu ,\nu}[1,-1]\) if it is of the class \(\text{Spiral}_\mu[1]\) and satisfies the conditions \(\angle \lim_{z\to -1}h(z)=\infty\), \(\angle \lim_{z\to -1} \frac{h'(z) (z+1)}{h(z)}= \nu\neq 0\). It is know that if \(\mu\) is a real number (i.e. \(0<\mu\leq 2\)), then \(\nu\) is so and \(-\mu\leq\nu <0\). Since in this case \(h\) is starlike, we can write \(h\in \text{Star}_{\mu ,\nu}[1,-1]\). The authors study the angle bounds for starlike and spirallike functions with respect to a boundary point. We say that a univalent function \(h\in \text{Hol}(\Delta ,\mathcal{C})\) normalized by \(h(0)=0\) is convex in the positive direction of the real axis if for each \(z\in \Delta\) and \(t> 0\), \(h(z)+t\in h(\Delta)\), \(\lim_{t\to\infty}h^{-1}(h(z)+t)=1\). The authors find the maximal width size of the image for functions of this class using an angular limit characteristic of functions under consideration. In other words, given such a function, they find the minimal horizontal strip which contains its image. The following question is also natural but more complicated: characterize those functions convex in the positive direction of the real axis whose images contain a whole (two-sided) strip and find the size (width) of this strip. The authors solve this problem for functions having maximal horizontal strips of finite size. The problem is still open for the general case.