Relations of a planar domains bounded by hyperbolas with families of holomorphic functions

Abstract

We consider a family of analytic and normalized functions with the property that $zf'(z)/f(z)$ (or $1+zf''(z)/f'(z)$) lies in a domain bounded by a right branch of a hyperbola $\rho =\rho (s)= ( 2 \cos \frac{\varphi }{s} )^{-s}$, where $0< s\le 1$ and $|\varphi |<(\pi s)/2$. A comprehensive characteristic of that families and relations with the well known families of univalent functions are presented. Some relevant examples are indicated.

1 Introduction and motivation

Let $\mathcal{H}$ denote the class of functions f holomorphic in the open unit disc $\mathbb{D}= \{z\in \mathbb{C}: |z|<1 \}$ of the complex plane $\mathbb{C}$, and with the power series

$$ f(z)=z+\sum_{n=2}^{\infty }a_{n}z^{n} \quad (z \in \mathbb{D} ). $$

By $\mathcal{S}$ we denote the subclass of $\mathcal{H}$ consisting of univalent functions, and by $\mathcal{ST}$, $\mathcal{CV}$ the best known subclasses of $\mathcal{S}$ containing functions starlike with respect to the origin and convex, respectively. Their geometric properties and various applications have caused rapid development of research in these directions. Many its subclasses have been introduced and investigated. The main feature of the new definitions is usually fact that either $zf'(z)/f(z)$ or $1+ zf''(z)/f'(z)$ is located in a some region contained in a right halfplane. A uniform approach to such definitions was proposed by Ma and Minda [7]. They introduced a special class of functions φ that map the unit disk onto the domains $\varphi (\mathbb{D})$ symmetric with respect to the real axis, starlike with respect to $\varphi (0)=1$, and with $\varphi '(0)>0$. A family $\mathcal{P}(\varphi )$ that consists of holomorphic functions p such that $p(0)=1$ and $p(\mathbb{D})\subset \varphi (\mathbb{D})$ (or in terms of subordination as $p\prec \varphi$) have also been defined in [7] (in connection with the function φ). The Carathéodory class $\mathcal{P}=\{p(z)=1+p_{1}z+p_{2} z^{2} + \cdots , \Re p(z)>0, z\in \mathbb{D}\}$ is simply the class $\mathcal{P}((1+z)/(1-z))$. The class of starlike univalent functions $\mathcal{ST}$ (and convex functions $\mathcal{CV}$, resp.) can be described as $zf'/f\in \mathcal{P}((1+z)/(1-z))$ (or $1+zf''/f'\in \mathcal{P}((1+z)/(1-z))$, resp.). It is seen that if φ varies, $\mathcal{P}(\varphi )$ generates a number of well known subclasses of the Carathéodory class. In a such way, various similar subclasses of $\mathcal{P}$ were defined and studied through a years. Leading examples of $\mathcal{P}$ are $\mathcal{P}(\alpha )=\mathcal{P}(\varphi _{\alpha }(z))=\mathcal{P}((1+(1-2\alpha )z)/(1-z))$, $\mathcal{P}_{\gamma }=\mathcal{P}(\varphi ^{\gamma }(z))=\mathcal{P}( ((1+z)/(1-z) )^{\gamma })$, $\mathcal{P}(A,B)= \mathcal{P}(\varphi _{A,B}(z))=\mathcal{P}((1+Az)/(1+Bz))$, etc. Related families of starlike and convex functions of order α ($0\le \alpha <1$) (strongly starlike and convex of order γ ($0<\gamma \le 1$), resp.) were defined as follows:

$$\begin{aligned}& \mathcal{ST}(\alpha )= \bigl\{ f\in \mathcal{H}: zf'/f\prec \varphi _{\alpha }\mbox{ in }\mathbb{D} \bigr\} = \biggl\{ f\in \mathcal{H}: \Re \frac{zf'(z)}{f(z)} >\alpha , z\in \mathbb{D} \biggr\} , \\& \mathcal{ST}_{\gamma }= \bigl\{ f\in \mathcal{H}: zf'/f \prec \varphi ^{\gamma }\mbox{ in }\mathbb{D} \bigr\} = \biggl\{ f\in \mathcal{H}: \biggl\vert \operatorname{Arg}\biggl\{ \frac{zf'(z)}{f(z)} \biggr\} \biggr\vert < \frac{\gamma \pi }{2}, z\in \mathbb{D} \biggr\} , \end{aligned}$$

and also the corresponding subclasses $\mathcal{CV}(\alpha )$, $\mathcal{CV}_{\gamma }$ of convex functions, for which $1+zf''/f' \prec \varphi _{\alpha }$ or $1+zf''/f'\prec \varphi ^{\gamma }(z)$, respectively (see, for example [1, 9, 11]). We note that $\mathcal{ST}=\mathcal{ST}(0)=\mathcal{ST}_{1}$ and $\mathcal{CV}= \mathcal{CV}(0)=\mathcal{CV}_{1}$.

An interesting families of the domains that are bounded by a conic sections were introduced and studied in [5, 6]. Such domains are related to k-starlike functions $k\mbox{-} \mathcal{ST}$, and k-uniformly convex function, denoted $k\mbox{-}\mathcal{UCV}$. A univalent function $f\in k\mbox{-} \mathcal{ST}$ if the expression $zf'/f$ satisfies

$$ \Re \frac{zf'(z)}{f(z)}>k \biggl\vert \frac{zf'(z)}{f(z)}-1 \biggr\vert \quad (z\in \mathbb{D} ), $$

and $f\in k\mbox{-}\mathcal{UCV}$ if $\Re (1+zf''(z)/f'(z)) > k|zf''(z)/f'(z)|$ for $z\in \mathbb{D}$. Equivalently, these families may be geometrically described by the fact that the expression $p(z)=zf'(z)/f(z)$ (or $p(z)=1+zf''(z)/f'(z)$, resp.) lies in a domain $\varOmega _{k}$ for $z\in \mathbb{D}$, where

$$ \varOmega _{k}= \bigl\{ u+\mathrm {i}v: u^{2}>k^{2}(u-1)^{2}+k^{2}v^{2} \bigr\} . $$

We note that $\varOmega _{k}$ is bounded by the conic sections of a shape depending on a parameter k and contained in a right halfplane. $\partial \varOmega _{k}$ reduces to the imaginary axis for $k=0$, a hyperbola for $0< k<1$, parabola for $k=1$, and finally to an ellipse, when $1< k<\infty$. It was observed in [5, 6] that each $\varOmega _{k}$ is symmetric with respect to the real axis and starlike with respect to the point 1. Additionally the functions $p_{k}$, constructed in [6], see also [4], that map the unit disk onto $\varOmega _{k}$ satisfy $p_{k}(0)=1$, $p_{k}'(0)>0$, for $0\le k< \infty$, therefore fulfill the Ma and Minda assertions.

We also recall that the hyperbola considered in [5, 6] is given by

$$ \partial \varOmega _{k}=\bigl\{ u+\mathrm {i}v: u^{2}=k^{2} (u-1 )^{2}+k^{2}v^{2}, u >0\bigr\} , $$

and corresponds to the parameter $0< k<1$. Moreover, the points of intersection of $\partial \varOmega _{k}$ with the real axis is $(u,0)=(k/(k+1),0)$ and the slope angle of asymptotes of $\partial \varOmega _{k}$ to the real axis equals $\arctan (1/k)$.

This work is intended as an attempt at defining a new subfamily of $\mathcal{P}$ related to the domains bounded by a right branch of a hyperbolas $H(s)$ for $0< s\le 1$, where

$$ H(s)= \biggl\{ \rho \mathrm {e}^{\mathrm {i}\varphi }:\rho =\frac{1}{ (2 \cos \frac{\varphi }{s} )^{s}}, - \frac{ \pi s}{2}< \varphi < \frac{\pi s}{2} \biggr\} . $$

It is easy to observe that the intersection point of $H(s)$ and real axis is $(u,0)=(1/2^{s},0)$ and the slope angle to the real axis is equal $(\pi s)/2$. Taking into account these facts, we want to emphasize then the fact that none hyperbola $\partial \varOmega _{k}$ reduces to $H(s)$ and conversely. Indeed, considering a location of common points of the hyperbola $H(s)$, hyperbola $\partial \varOmega _{k}$ with the real axis and, we obtain the relation $k/(k+1)=1/2^{s}$ that holds for $k=1/(2^{s}-1)>1$. But when $k>1$ the $\partial \varOmega _{k}$ is the ellipse.

It is of interest to study the common relations between $H(s)$ and $\partial \varOmega _{k}$ for any $0\le k<\infty$ and $0< s\le 1$. The detailed investigation of geometric behavior of $\partial \varOmega _{k}$ and $H(s)$ provides a following relations:

$$\begin{aligned}& H(s)\cap \partial \varOmega _{k}= \emptyset\quad \text{for } 0\le k\le 1/2^{s} \text{ and } k> 1/ \bigl(2^{s}-1\bigr), 0< s\le 1, \end{aligned}$$

(1.1)

$$\begin{aligned}& H(s)\cap \partial \varOmega _{k}=\{M\}\quad \text{for } k= 1/\bigl(2^{s}-1\bigr), 0< s \le 1, \text{where } M= \bigl(1/2^{s},0\bigr), \end{aligned}$$

(1.2)

$$\begin{aligned}& H(s)\cap \partial \varOmega _{k} = \{M_{1}, M_{2}\} \quad \text{for } 1/2^{s}< k< 1/ \bigl(2^{s}-1\bigr), 0< s\le 1, \end{aligned}$$

(1.3)

where

$$ M_{1,2}= \biggl(\frac{k2^{s-1}}{k2^{s}-1},\pm \frac{\sqrt{ (1-k^{2} )4^{s-1}+k2^{s}-1}}{k2^{s}-1} \biggr). $$

For the case $0\le k\le 1/2^{s}$ a domain bounded by $H(s)$ is contained in a domain bounded by $\partial \varOmega _{k}$, and for $k\ge 1/(2^{s}-1)$ conversely, the ellipse bounded by $\partial \varOmega _{k}$ is contained in a domain bounded by a hyperbola $H(s)$. Let us denote by $\mathbb{H}(s)$ a domain bounded by hyperbola $H(s)$. Thus, we have the following inclusion:

$$ \begin{aligned} &\mathbb{H}(s)\subset \varOmega _{k} \quad \text{for } 0 \le k\le 1/2^{s}, 0< s \le 1 \\ &\varOmega _{k}\subset \mathbb{H}(s)\quad \text{for } k\ge 1/(2^{s}-1), 0< s \le 1. \end{aligned} $$

(1.4)

In the remaining cases of k the considered domains have nonempty intersection set (see Fig. 1). These observation will have significant consequences for the further relations between corresponding classes of analytic functions, but also means that the domains bounded by hyperbolas $H(s)$ ($0< s\le 1$) are completely different from the similar domains bounded by the hyperbola $\partial \varOmega _{k}$.

Figure 1

The mutual location of a hyperbola $H(s)$ (for $s=1/2$) and $\partial \varOmega _{k}$

We also note the obvious difference between $\mathbb{H}(s)$ and other domains contained in a right halfplane: disks, halfplanes and angular domains, that have appeared in the investigations of various subclasses of analytic functions.

From the above reasons we wish to find an analytic function that map the unit disk onto a domain bounded by the hyperbola $H(s)$, define and investigate a subfamily of $\mathcal{P}$ related to those domains. As a natural extension of that investigation we will define a subfamily $\mathcal{ST}_{\mathrm{hpl}}(s)$ of the starlike functions for which $zf'/f$ is contained in a domain bounded by the hyperbola $H(s)$ (and related class $\mathcal{CV}_{\mathrm{hpl}}(s)$ of convex functions). It is also natural to try to give a sufficient condition for the function $f\in \mathcal{H}$ to be a member of the class $\mathcal{ST}_{\mathrm{hpl}}(s)$ (or $\mathcal{CV}_{\mathrm{hpl}}(s)$, resp.) and solve several extremal problems.

In order to achieve our aim we recall some definitions and preliminary results from the geometric theory of analytic functions. By $\mathcal{B}$ we denote the class of analytic self-mappings of the unit disk that send the origin onto the origin, i.e.

$$ \mathcal{B}= \bigl\{ \omega (z)\in \mathcal{H}, \omega (0)=0, \bigl\vert \omega (z) \bigr\vert < 1, z\in \mathbb{D} \bigr\} . $$

The class $\mathcal{B}$ is known as the class of Schwarz functions.

We say that f is subordinate to F in $\mathbb{D}$, written $f(z)\prec F(z)$ (or $f\prec F$), if there exists a function $\omega \in \mathcal{B}$ such that $f(z)=F(\omega (z))$ ($z\in \mathbb{D}$) see, for example [2, 3]. From that definition it is easy to show that if F is univalent in $\mathbb{D}$ then $f\prec F$ holds if and only, if $f(0)=F(0)$, and $f(\mathbb{D}) \subset F(\mathbb{D})$.

Let us denote by $\mathcal{Q}$ the class of functions f that are analytic and injective on $\overline{\mathbb{D}}\setminus E(f)$, where

$$ E (f ) = \Bigl\{ \zeta \colon \zeta \in \partial \mathbb{D} \text{ and } \lim _{z\to \zeta }f(z)=\infty \Bigr\} , $$

and that are such that

$$ f'(\zeta )\neq 0\quad \text{for } \zeta \in \partial \mathbb{D} \setminus E(f). $$

Lemma 1.1

([8])

Let $q\in \mathcal{Q}$ with $q(0)=1$ and let $p(z)=1+p_{1}z+\cdots$ be analytic in $\mathbb{D}$ with $p(z)\neq 1$. If $p\nprec q$ in $\mathbb{D}$ then there exist points $z_{0}\in \mathbb{D}$ and $\zeta \in \partial \mathbb{D}\setminus E(q)$ and there exist a real number $m\geq 1$ for which

$$ p\bigl( \vert z \vert < \vert z_{0} \vert \bigr)\subset q( \mathbb{D}), \qquad p(z_{0})=q(\zeta ), \qquad z_{0}p'(z_{0}) =m \zeta q'(\zeta ). $$

2 The class $\mathcal{P}(\mathfrak {q}_{s})$ and its properties

This section provides a detailed exposition of an analytic function that maps the unit disk onto a domain bounded by a hyperbola $H(s)$ and contained in a right halfplane. Let

$$ \mathfrak {q}_{s}(z):=\frac{1}{ (1-z ) ^{s}}= \mathrm {e}^{-s\log (1-z)} \quad (0< s\le 1, z\in \mathbb{D} ), $$

where the branch of the logarithm is determined by $\mathfrak {q}_{s}(0)=1$. It is easy to check that

$$\begin{aligned} \mathfrak {q}_{s}(z) &=1+\sum_{n=1}^{\infty }q_{n}z^{n}=1+ \sum_{n=1}^{\infty }\frac{s (s+1 )\cdots (s+n-1 )}{n!} z^{n} \\ &=1+s z+ \frac{s (s+1 )}{2} z^{2}+\frac{s (s+1 ) (s+2 )}{6}z^{3}+ \cdots \quad (z \in \mathbb{D} ). \end{aligned}$$

The function $\mathfrak {q}_{s}$ maps the unit disk onto a domain bounded by a right branch of a hyperbola

$$ H(s)= \biggl\{ \rho \mathrm {e}^{\mathrm {i}\varphi }:\rho =\frac{1}{ (2 \cos \frac{\varphi }{2} )^{s}}, - \frac{ \pi s}{2}< \varphi < \frac{\pi s}{2} \biggr\} . $$

Indeed, setting $z=\mathrm {e}^{\mathrm {i}\theta }$ ($\theta \in (0,2 \pi )$) we obtain

$$ \rho \mathrm {e}^{\mathrm {i}\varphi }=\mathfrak {q}_{s}\bigl(\mathrm {e}^{\mathrm {i}\theta } \bigr)= \frac{1}{ (1-\mathrm {e}^{\mathrm {i}\theta } )^{s}}=\mathrm {e}^{-s\log \vert 1-\mathrm {e}^{\mathrm {i}\theta } \vert -s \operatorname{Arg}(1-\mathrm {e}^{\mathrm {i}\theta } )}=\frac{\mathrm {e}^{\mathrm {i}\frac{\pi -\theta }{2}s}}{ (2\sin \frac{\theta }{2} )^{s}}. $$

Thus, we have

$$\begin{aligned}& \Re {\mathfrak {q}_{s}\bigl(\mathrm {e}^{\mathrm {i}\theta } \bigr)}=\frac{ \cos (\frac{\pi -\theta }{2}s )}{ (2\sin \frac{\theta }{2} ) ^{s}},\qquad \Im {\mathfrak {q}_{s}\bigl( \mathrm {e}^{\mathrm {i}\theta } \bigr)}= \frac{\sin (\frac{ \pi -\theta }{2}s )}{ (2 \sin \frac{\theta }{2} )^{s}}, \\& \rho =\frac{1}{ (2\sin \frac{\theta }{2} )^{s}},\quad \text{with } \varphi =\frac{\pi -\theta }{2}s. \end{aligned}$$

Setting $\varphi =(\theta - \pi )s/2$, after simple computation, we obtain

$$ \rho =\frac{1}{ (2\cos \frac{\varphi }{s} )^{s}} \quad \text{with } \biggl(- \frac{\pi s}{2}< \varphi < \frac{\pi s}{2} \biggr). $$

(2.1)

The function

$$ g(\theta )=\Re {\mathfrak {q}_{s}\bigl(\mathrm {e}^{\mathrm {i}\theta } \bigr)}=\frac{\cos (\frac{ \pi -\theta }{2}s )}{ (2 \sin \frac{\theta }{2} )^{s}} $$

attains its minimal value when $\theta =\pi$, i.e., we have

$$ \Re {\mathfrak {q}_{s}\bigl(\mathrm {e}^{\mathrm {i}\theta } \bigr)}\ge \frac{1}{2^{s}}\quad (0< \theta < 2 \pi ). $$

Also, we note that $\Re {\mathfrak {q}_{s}(\mathrm {e}^{\mathrm {i}\theta } )}\to \infty$ for $\theta \to 0$. From (2.1) we obtain that the boundary $\mathfrak {q}_{s}(\mathrm {e}^{\mathrm {i}\theta } )$ satisfies the equality $1/\rho = (2\sin \frac{\theta }{2} )^{s}= (2\cos \frac{ \varphi }{s} )^{s}$. Additionally, we have $\mathfrak {q}_{s}(0)=1$, therefore a right branch of a hyperbola

$$ H(s)= \biggl\{ \rho \mathrm {e}^{\mathrm {i}\varphi }\in \mathbb{C}: \rho = \frac{1}{ (2\cos \frac{\theta }{s} ) ^{s}}, \vert \varphi \vert < \frac{\pi s}{2} \biggr\} $$

is a boundary of a domain $\mathfrak {q}_{s}(\mathbb{D})$, which we denote by $\mathbb{H}(s)$. The domain $\mathbb{H}(s)$ is symmetric about the real axis, starlike with respect to the point $\mathfrak {q}_{s}(0)=1$, and it satisfies $\mathfrak {q}_{s}'(0)= s >0$. Also, the hyperbola ${H}(s)=\partial \mathbb{H}(s)$ has a vertex at $(2^{-s}, 0)$ and the slant asymptotes $v=\pm \tan ( \pi s/2)u$ (see Fig. 2).

Figure 2

The image of $\mathfrak {q}_{s}(z)=\frac{1}{ (1-z )^{s}}$ ($s=1/2$)

A special and interesting case of $H(s)$ is that for $s=1/2$. We then obtain $\mathfrak{q}_{1/2}(z)=\frac{1}{\sqrt{1-z}}$, and the hyperbola reduces to that given by the relation

$$ H(1/2)= \bigl\{ u+\mathrm {i}v: u^{2}-v^{2}=1/2, u>0\bigr\} . $$

Lemma 2.1

The function $\mathfrak {q}_{s}$ is convex univalent in $\mathbb{D}$, moreover $g(z)=(\mathfrak {q}_{s}(z)-1)/s\in \mathcal{CV}((1-s)/2)$. Also, if $|z|=r<1$, then

$$ \min_{ \vert z \vert =r} \bigl\vert \mathfrak {q}_{s}(z) \bigr\vert =\mathfrak {q}_{s}(-r)=\frac{1}{ (1+r )^{s}}\quad \textit{and} \quad \max_{ \vert z \vert =r} \bigl\vert \mathfrak {q}_{s}(z) \bigr\vert =\mathfrak {q}_{s}(r)=\frac{1}{ (1-r )^{s}}. $$

(2.2)

Proof

We first observe that $\mathfrak {q}_{s}$ is convex by a convexity property of a set $\mathfrak {q}_{s}(\mathbb{D})$. To deduce the univalence, we use the results on univalence of some integrals from [10]. In order to prove (2.2) we consider the function $Q(\theta )$ for $\theta \in [0,2\pi )$, where

$$ Q(\theta )= \bigl\vert \mathfrak {q}_{s}\bigl(r\mathrm {e}^{\mathrm {i}\theta }\bigr) \bigr\vert = \frac{1}{ \vert 1-r \mathrm {e}^{\mathrm {i}\theta } \vert ^{s}}=\frac{1}{ (1+r^{2}-2 r\cos \theta ) ^{s/2}} \quad (0< r< 1 ). $$

Since $Q(\theta )$ attains its minimum at $\theta =\pi$ and maximum at $\theta =0$, (2.2) follows.

Let us consider $g(z)= (\mathfrak {q}_{s}(z)-1)/s$ ($z\in \mathbb{D}$). Then we have

$$ \Re \biggl(1+\frac{zg''(z)}{g'(z)} \biggr)=\Re \biggl(\frac{1+sz}{1-z} \biggr)> \frac{1-s}{2}, $$

so that $g\in \mathcal{CV}((1-s)/2)$, as asserted. □

Definition 2.2

By $\mathcal{P}(\mathfrak {q}_{s})$ we denote a class of all analytic functions p such that $p(0)=1$ and $p(z)\prec \mathfrak {q}_{s}(z)$, $z\in \mathbb{D}$, that is,

$$ \mathcal{P}(\mathfrak {q}_{s})=\bigl\{ p(z) = 1+p_{1}z+p_{2} z^{2} +\cdots , p(z)\prec \mathfrak {q}_{s}(z), z\in \mathbb{D}\bigr\} \subset \mathcal{P}. $$

Theorem 2.3

If $p\in \mathcal{P}(\mathfrak {q}_{s})$, then

$$ \Re {p(z)}>\frac{1}{2^{s}}, \qquad \bigl\vert \operatorname{Arg}\bigl\{ p(z) \bigr\} \bigr\vert < \frac{ \pi }{2}s\quad (z\in \mathbb{D} ), $$

(2.3)

and

$$ \bigl\vert p^{1/s}(z)-1 \bigr\vert < \bigl\vert p(z) \bigr\vert ^{1/s} \quad (z\in \mathbb{D} ), $$

(2.4)

or

$$ \bigl\vert p^{1/(2s)}(z)+1 \bigr\vert - \bigl\vert p^{1/(2s)}(z)-1 \bigr\vert > \sqrt{2} \quad \textit{and}\quad \Re {p^{1/s}(z)}>\frac{1}{2}\quad (z\in \mathbb{D}). $$

(2.5)

Conversely, if p is analytic with $p(0)=1$, $\vert \operatorname{Arg}\{ p(z) \} \vert <(\pi s)/2$ and p satisfies (2.4) (or one of the conditions of (2.5)), then $p\prec \mathfrak {q}_{s}$ in $\mathbb{D}$.

Proof

The subordination $p\prec \mathfrak {q}_{s}$ with $p(0)=\mathfrak {q}_{s}(0)$, and the geometric properties of $\mathfrak {q}_{s}(\mathbb{D})$ from Sect. 1, yield (2.3). We next claim that (2.4) is satisfied. Repeated application of the properties of subordination $p\prec \mathfrak {q}_{s}$ shows that there exists $\omega \in \mathcal{B}$, such that

$$ p(z)=\frac{1}{ (1-\omega (z) ) ^{s}} \quad \mbox{or}\quad p^{1/s}(z)=\frac{1}{1-\omega (z)} \quad (z \in \mathbb{D} ), $$

which is equivalent to

$$ \omega (z)=\frac{p^{1/s}(z)-1}{p^{1/s}(z)},\qquad \bigl\vert \omega (z) \bigr\vert < 1 \quad (z \in \mathbb{D} ), $$

and the assertion (2.4) now follows. Squaring (2.4) we may rewrite it as

$$ \bigl(p^{1/s}(z)-1 \bigr) \bigl(\overline{p^{1/s}(z)}-1 \bigr) < \bigl\vert p^{1/s}(z) \bigr\vert ^{2}, $$

or

$$ \bigl\vert p^{1/s}(z) \bigr\vert ^{2}- p^{1/s}(z)-\overline{p^{1/s}(z)}+1 < \bigl\vert p^{1/s}(z) \bigr\vert ^{2}, $$

which is nothing but the second relation of (2.5). For the proof of the first relation of (2.5) we rewrite (2.4) as

$$ 2+2 \bigl\vert p^{1/s}(z) \bigr\vert -2 \bigl\vert p^{1/s}(z)-1 \bigr\vert >2, $$

or equivalently

$$ \bigl\vert p^{1/(2s)}(z)+1 \bigr\vert ^{2}+ \bigl\vert p^{1/(2s)}(z)-1 \bigr\vert ^{2}-2 \bigl\vert p^{\frac{1}{s}}(z)-1 \bigr\vert >2, $$

which immediately becomes

$$ \bigl( \bigl\vert p^{1/(2s)}(z)+1 \bigr\vert - \bigl\vert p ^{1/(2s)}(z)-1 \bigr\vert \bigr)^{2}>2, $$

and, from this, the desired conclusion follows.

Conversely, if for p is analytic in $\mathbb{D}$ with $p(0)=1$ and the condition (2.4) (or one of the conditions of (2.5)) is satisfied, then we easily show that $p=\rho \mathrm {e}^{\mathrm {i}\theta }$ lies in a domain $\mathbb{H}(s)=\mathfrak {q}_{s}(\mathbb{D})$, which completes the proof. □

Theorem 2.4

If $p\in \mathcal{P}$ satisfies

$$ \Re \biggl\{ \frac{zp'(z)}{p(z)} \biggr\} >- \frac{s}{2} \quad (z\in \mathbb{D} ), $$

(2.6)

then

$$ p(z)\prec \mathfrak {q}_{s}(z)\quad (z\in \mathbb{D} ). $$

Proof

Suppose, on the contrary, that $p(z)\nprec \mathfrak {q}_{s}(z)$ on $\mathbb{D}$. Then, by $p(0)=\mathfrak {q}_{s}(0)=1$, and by Lemma 1.1, there exist $z_{0}\in \mathbb{D}$ and $\zeta _{0} \in \partial \mathbb{D}$ ($\zeta _{0}\neq 1$) such that

$$ p(z_{0})=\mathfrak {q}_{s}(\zeta _{0}),\qquad z_{0}p'(z_{0})= m \zeta _{0} \mathfrak {q}_{s}'(\zeta _{0})\quad \mbox{with } m \geq 1. $$

Hence

$$ \Re \biggl\{ \frac{z_{0}p'(z_{0})}{p(z_{0})} \biggr\} =\Re \biggl\{ \frac{m \zeta _{0}\mathfrak {q}_{s}'(\zeta _{0})}{\mathfrak {q}_{s}(\zeta _{0})} \biggr\} =ms\Re \biggl\{ \frac{ \zeta _{0}}{1-\zeta _{0}} \biggr\} =-\frac{ms}{2}\le - \frac{s}{2}, $$

which contradicts the assumption (2.6), and therefore $p\prec \mathfrak {q}_{s}$ on $\mathbb{D}$. □

3 The classes $\mathcal{ST}_{\mathrm{hpl}}(s)$, $\mathcal{CV}_{\mathrm{hpl}}(s)$

In this section we introduce and examine the notion of starlikeness and convexity related to the domains bounded by the hyperbolas $H(s)$. We indicate how the properties of the domains $\mathbb{H}(s)$ and class $\mathcal{P}(\mathfrak {q}_{s})$ influence on the properties of a newly introduced classes.

Definition 3.1

Let $\mathcal{ST}_{\mathrm{hpl}}(s)$ denote the subfamily of $\mathcal{S}$ consisting of the functions f satisfying the condition

$$ \frac{zf'(z)}{f(z)}\prec \mathfrak {q}_{s}(z)\quad (z\in \mathbb{D} ), $$

(3.1)

and let $\mathcal{CV}_{\mathrm{hpl}}(s)$ be a class of analytic functions f such that

$$ 1+\frac{zf''(z)}{f'(z)}\prec \mathfrak {q}_{s}(z) \quad (z\in \mathbb{D} ). $$

(3.2)

Geometrically, the condition (3.1) and (3.2) means that the expression $zf'(z)/f(z)$ (or $1+zf''(z)/f'(z)$, resp.) lies in a domain $\mathbb{H}(s)$. Since $\mathbb{H}(s)=\mathfrak {q}_{s}(\mathbb{D})$ is contained in a right halfplane, we deduce that $\mathcal{ST}_{\mathrm{hpl}}(s)$ is a proper subset of a class of a starlike functions $\mathcal{ST}$ (and $\mathcal{CV}_{\mathrm{hpl}}(s)\subset \mathcal{CV}$, resp.). Furthermore, the properties of $\mathbb{H}(s)$ considered in Sect. 1, yield

$$\begin{aligned}& \mathcal{ST}_{\mathrm{hpl}}(s)\subset \mathcal{ST}(\alpha ) \quad \text{and}\quad \mathcal{CV}_{\mathrm{hpl}}(s)\subset \mathcal{CV}(\alpha ) \quad \text{for } 0 \le \alpha \leq 2^{-s}, 0< s\le 1, \\& \mathcal{ST}_{\mathrm{hpl}}(s)\subset \mathcal{ST}_{\gamma }\quad \text{and} \quad \mathcal{CV}_{\mathrm{hpl}}(s)\subset \mathcal{CV}_{\gamma } \quad \text{for } 0< s \le \gamma \le 1. \end{aligned}$$

The above inclusions additionally give

$$ \mathcal{ST}_{\mathrm{hpl}}(s) \subset \mathcal{ST}_{s} \cap \mathcal{ST} \bigl(1/2^{s} \bigr),\qquad \mathcal{CV}_{\mathrm{hpl}}(s) \subset \mathcal{CV}_{s} \cap \mathcal{CV} \bigl(1/2^{s} \bigr),\quad 0< s\le 1. $$

Also, geometric properties of $\varOmega _{k}$ and $\mathbb{H}(s)$ given by (1.1), (1.2), (1.3) and also (1.4) imply

$$\begin{aligned}& \mathcal{ST}_{\mathrm{hpl}}(s)\subset k\mbox{-}\mathcal{ST}\quad \text{and}\quad \mathcal{CV}_{\mathrm{hpl}}(s)\subset k\mbox{-}\mathcal{CV} \quad \text{for } 0 \le k \le 2^{-s}, 0< s\le 1, \\& k\mbox{-}\mathcal{ST}\subset \mathcal{ST}_{\mathrm{hpl}}(s) \quad \text{and}\quad k \mbox{-}\mathcal{CV}\subset \mathcal{CV}_{\mathrm{hpl}}(s) \quad \text{for } k \ge 2^{s}-1, 0< s\le 1, \\& k\mbox{-}\mathcal{ST}\cap \mathcal{ST}_{\mathrm{hpl}}(s) \neq \emptyset \quad \text{and}\quad k\mbox{-}\mathcal{CV}\cap \mathcal{CV}_{\mathrm{hpl}}(s) \neq \emptyset \quad \text{for } 2^{-s}< k < 2^{s}-1, 0< s\le 1. \end{aligned}$$

Moreover

$$ k\mbox{-}\mathcal{ST}\not \subset \mathcal{ST}_{\mathrm{hpl}}(s)\quad \text{and}\quad \mathcal{ST}_{\mathrm{hpl}}(s)\not \subset k\mbox{-} \mathcal{ST} \quad \text{for } 2^{-s}< k < 2^{s}-1, 0< s\le 1, $$

and

$$ k\mbox{-}\mathcal{CV}\not \subset \mathcal{CV}_{\mathrm{hpl}}(s) \quad \text{and}\quad \mathcal{CV}_{\mathrm{hpl}}(s)\not \subset k\mbox{-} \mathcal{CV}\quad \text{for } 2^{-s}< k < 2^{s}-1, 0< s\le 1. $$

Since $\mathfrak {q}_{s}$ is the extremal function in $\mathcal{P}(\mathfrak {q}_{s})$, the obvious integral representation of $\mathcal{ST}_{\mathrm{hpl}}(s)$ and $\mathcal{CV} _{\mathrm{hpl}}(s)$ immediately follows.

Theorem 3.2

A function f is in the class $\mathcal{ST}_{\mathrm{hpl}}(s)$ if, and only if there exists p such that $p\prec \mathfrak {q}_{s}$, and

$$ f(z)=z\exp \biggl( \int _{0}^{z} \frac{p(t)-1}{t} \,\mathrm{d}t \biggr). $$

Theorem 3.3

A function f is in the class $\mathcal{CV}_{\mathrm{hpl}}(s)$ if, and only if there exists p such that $p\prec \mathfrak {q}_{s}$, and

$$ f(z)= \int _{0}^{z} \exp \biggl( \int _{0}^{x} \frac{p(t)-1}{t} \,\mathrm{d}t \biggr) \,\mathrm{d}x. $$

Suppose that $\varPhi _{s,n}\in \mathcal{ST}_{\mathrm{hpl}}(s)$ is such that

$$ \frac{z\varPhi '_{s,n}(z)}{\varPhi _{s,n}(z)} = \frac{1}{ (1-z ^{n} )^{s}}\quad (z \in \mathbb{D}, n=1, 2, \ldots ). $$

(3.3)

Then the functions $\varPhi _{s,n}(z)$ are of the form

$$\begin{aligned} \varPhi _{s,n}(z) =&z\exp \biggl( \int _{0}^{z} \frac{ \mathfrak{q}_{s}(t^{n})-1}{t} \,\mathrm{d}t \biggr)=z+ \frac{s}{n}z^{n+1}+ \frac{(n+2)s^{2}+ns}{4n^{2}} z^{2n+1} \\ &{} + \frac{4n^{2}s+(9n+6n^{2})s^{2}+(2n^{2}+9n+6)s^{3}}{36n ^{3}} z^{3n+1}\cdots , \end{aligned}$$

(3.4)

and these are extremal functions for different problems in the class $\mathcal{ST}_{\mathrm{hpl}}(s)$. For instance

$$\begin{aligned} \varPhi _{s}(z) =& \varPhi _{s,1}(z)=z \exp \biggl( \int _{0}^{z} \frac{\mathfrak {q}_{s}(t)-1}{t} \,\mathrm{d}t \biggr) \\ =&z+s z^{2}+ \frac{3s^{2}+s}{4} z^{3}+\frac{17s^{3}+15s ^{2}+4s}{36} z^{4} \cdots \quad (z\in \mathbb{D} ). \end{aligned}$$

(3.5)

The special case $s=1/2$ gives

$$\begin{aligned} \varPhi _{1/2,n}(z) &=z\exp \biggl( \int _{0}^{z} \frac{ \mathfrak{q}_{1/2}(t^{n})-1}{t} \,\mathrm{d}t \biggr)=z \biggl(\frac{4}{ (1+\sqrt{1-z^{n}} )^{2}} \biggr)^{1/n}, \\ &=z+\frac{1}{2n}z^{n+1}+ \frac{7-2n}{16n^{2}} z^{2n+1}+\cdots \end{aligned}$$

and

$$\begin{aligned} \varPhi _{1/2}(z)&=\varPhi _{1/2,1}(z) =z\exp \biggl( \int _{0}^{z} \frac{ \mathfrak{q}_{1/2}(t)-1}{t} \,\mathrm{d}t \biggr)=\frac{4z}{ (1+\sqrt{1-z} )^{2}} \\ &=z+\frac{1}{2} z^{2}+\frac{5}{16}z^{3}+ \cdots \quad (z\in \mathbb{D} ). \end{aligned}$$

Also, suppose that $K_{s,n}\in \mathcal{CV}_{\mathrm{hpl}}(s)$ is such that

$$ 1+\frac{zK''_{s,n}(z)}{K'_{s,n}(z)} = \frac{1}{ (1-z ^{n} )^{s}}\quad (z \in \mathbb{D}, n=1, 2, \ldots ). $$

(3.6)

Then the functions $K_{s,n}(z)$ are of the form

$$\begin{aligned} K_{s,n}(z) &= \int _{0}^{z} \exp \biggl( \int _{0}^{w} \frac{\mathfrak{q}_{s}(t^{n})-1}{t} \,\mathrm{d}t \biggr) \,\mathrm{d}w \\ &= z+\frac{s}{n(n+1)}z^{n+1} + \frac{(n+2)s^{2}+ns}{4n ^{2}(2n+1)} z^{2n+1} \\ &\quad {} + \frac{4n^{2}s+(9n+6n^{2})s^{2}+(2n^{2}+9n+6)s ^{3}}{36n^{3}(3n+1)} z^{3n+1}\cdots , \end{aligned}$$

and the $K_{s,n}$ are extremal functions for various problems in the class $\mathcal{CV}_{\mathrm{hpl}}(s)$. The most interesting special cases are for $n=1$

$$\begin{aligned} K_{s}(z) &=K_{s,1}(z)= \int _{0}^{z} \exp \biggl( \int _{0}^{w} \frac{\mathfrak{q}_{s}(t)-1}{t} \,\mathrm{d}t \biggr) \,\mathrm{d}w= \int _{0}^{z} \frac{ \varPhi _{s}(w)}{w} \,\mathrm{d}w \\ &=z+\frac{s}{2} z^{2}+ \frac{3s^{2}+s}{12} z^{3}+ \frac{17s^{3}+15s ^{2}+4s}{144} z^{4} \cdots \quad (z\in \mathbb{D} ) \end{aligned}$$

(3.7)

and for $s=1/2$, $n=1$

$$\begin{aligned} K_{1/2}(z)=K_{1/2,1}(z) &= \int _{0}^{z}\frac{\varPhi _{1/2}(w)}{w} \,\mathrm{d} w \\ &=8\log \biggl(\frac{2}{1+\sqrt{1-z}} \biggr)+4 \biggl(\frac{\sqrt{1-z}-1}{ \sqrt{1-z}+1} \biggr) \\ &=z+\frac{1}{4} z^{2}+\frac{5}{48}z^{3}+ \frac{7}{128}z^{4}+ \frac{21}{640}z^{5}+ \cdots (z\in \mathbb{D} ). \end{aligned}$$

From Theorems 3.2 and 3.3 we obtain the following corollary.

Corollary 3.4

If $f\in \mathcal{CV}(1-s/2)$, then $f'\prec \mathfrak {q}_{s}$ in $\mathbb{D}$. Thus f is univalent in $\mathbb{D}$. The functions H and G defined by

$$ H(z)=z\exp \biggl( \int _{0}^{z}\frac{f'(t)-1}{t} \,\mathrm{d}t \biggr),\qquad G(z)= \int _{0}^{z} \exp \biggl( \int _{0}^{x} \frac{f'(t)-1}{t} \,\mathrm{d}t \biggr) \,\mathrm{d}x, $$

belong to $\mathcal{ST}_{\mathrm{hpl}}(s)$ and $\mathcal{CV}_{\mathrm{hpl}}(s)$, respectively.

Examples

Defined classes $\mathcal{ST}_{\mathrm{hpl}}(s)$ and $\mathcal{CV}_{\mathrm{hpl}}(s)$ are nonempty. The integral representation given in Theorems 3.2 and 3.3 provides various examples of functions of those classes. For example, if $q_{1}(z) = 1+B_{1}z$ with $0< B_{1}<1-2^{-s}$, then $q_{1}\prec \mathfrak {q}_{s}$. Hence $f_{1}(z) = z\exp (B_{1}z) \in \mathcal{ST}_{\mathrm{hpl}}(s)$, and $g_{1}(z) = (e^{B_{1}z}-1)/B_{1} \in \mathcal{CV}_{\mathrm{hpl}}(s)$ (for $0< B_{1}<1-2^{-s}$), respectively. Since

$$ f_{2}(z)=\frac{z}{1-B_{2}z},\qquad f_{3}(z)= \frac{z}{ (1-B _{3}z )^{2}}, $$

for $0<|B_{2}|\le s/(2-s)$, $0<|B_{3}|\le s/(4-s)$ are starlike of order $(1-s/2)$, applying Corollary 3.4 we see that the appropriate functions

$$ H_{2}(z)= \frac{z}{1-B_{2}z}, \qquad H_{3}(z)= \frac{z}{1-B_{3}z}\exp \biggl(\frac{B_{3}z}{1-B_{3}z} \biggr) $$

belong to the class $\mathcal{ST}_{\mathrm{hpl}}(s)$, and the corresponding functions will be elements of $\mathcal{CV}_{\mathrm{hpl}}(s)$.

Theorem 3.5

The function $\varPhi _{s,n}(z)$, defined by (3.4), is normalized, univalent and convex in one direction in $\mathbb{D}$ for $n=1,2, \ldots , \lfloor {(2^{1-s}+1)/s\rfloor }$, and convex for $n=1,2, \ldots , \lfloor {2^{1-s}/s}\rfloor$, where $\lfloor {\cdot }\rfloor$ is the floor function.

Proof

It is a simple matter to check that $\varPhi _{s,n}(z)$ is normalized by $\varPhi _{s,n}(0)=\varPhi '_{s,n}(0)-1=0$. By a definition (3.3) of $\varPhi _{s,n}(z)$, we have

$$ \frac{\varPhi '_{s,n}(z)}{\varPhi _{s,n}(z)}=\frac{1}{z (1-z ^{n} )^{s}}. $$

Hence

$$ \Re \biggl(1+\frac{z\varPhi ''_{s,n}(z)}{\varPhi '_{s,n}(z)} \biggr)=\Re \biggl(ns\frac{z^{n}}{1-z^{n}}+ \frac{1}{(1-z^{n})^{s}} \biggr), $$

and from the above we see that

$$ \Re \biggl(1+\frac{z\varPhi ''_{s,n}(z)}{\varPhi '_{s,n}(z)} \biggr)> 2^{-s}-\frac{ns}{2}. $$

In order to get univalence, it is convenient to use the result by Umezawa [12], with the requirement $\Re (1+zh''(z)/h'(z) ) > -1/2$ for univalence of h in $\mathbb{D}$. That condition holds if

$$ 2^{-s}-\frac{ns}{2}\ge -\frac{1}{2}, $$

which is satisfied for $n=1,2, \ldots , \lfloor {(2^{1-s}+1)/s \rfloor }$. We recall that the same condition gives the convexity in one direction. Furthermore, $\varPhi _{s,n}(z)$ is convex in $\mathbb{D}$ if $\Re (1+z\varPhi _{s,n}''(z)/\varPhi _{s,n}'(z) ) >0$ holds for $n\le 2^{1-s}/s$, i.e. for $n=1,2, \ldots , \lfloor {2^{1-s}/s} \rfloor$. □

We have the following from the results in [7], and Lemma 2.1.

Corollary 3.6

If $f\in \mathcal{ST}_{\mathrm{hpl}}(s)$ and $|z|=r<1$, then

$$\begin{aligned}& -\varPhi _{s}(-r)\leq \bigl\vert f(z) \bigr\vert \leq \varPhi _{s}(r), \\& \varPhi '_{s}(-r)\leq \bigl\vert f'(z) \bigr\vert \leq \varPhi '_{s}(r), \\& \bigl\vert \operatorname{Arg}\bigl\{ {f(z)}/{z} \bigr\} \bigr\vert \leq \max _{ \vert z \vert =r}\operatorname{Arg}\bigl\{ {\varPhi _{s}(z)}/{z} \bigr\} , \\& {f(z)}/{z}\prec {\varPhi _{s}(z)}/{z}\quad (z\in \mathbb{D} ). \end{aligned}$$

Equality holds for some $z_{0}\neq 0$ if and only if f is a rotation of $\varPhi _{s}$, where $\varPhi _{s}$ is given by (3.5).

Also, if $f\in \mathcal{ST}_{\mathrm{hpl}}(s)$, then either f is a rotation of $\varPhi _{s}$ or

$$ \bigl\{ w\in \mathbb{C} : \vert w \vert \leq -\varPhi _{s}(-1) \bigr\} \subset f(\mathbb{D}). $$

Here $-\varPhi _{s}(-1)$ is understood to be the limit of $-\varPhi _{s}(-r)$ as r tends to 1.

Similar results hold for functions of $\mathcal{CV}_{\mathrm{hpl}}(s)$.

Corollary 3.7

If $f\in \mathcal{CV}_{\mathrm{hpl}}(s)$ and $|z|=r<1$, then

$$\begin{aligned}& -K_{s}(-r)\leq \bigl\vert f(z) \bigr\vert \leq K_{s}(r), \\& K'_{s}(-r)\leq \bigl\vert f'(z) \bigr\vert \leq K'_{s}(r), \\& \bigl\vert \operatorname{Arg}\bigl\{ f'(z) \bigr\} \bigr\vert \leq \max _{ \vert z \vert =r} \operatorname{Arg}\bigl\{ K'_{s}(z) \bigr\} , \\& f'(z)\prec K'_{s}(z) \quad (z\in \mathbb{D} ). \end{aligned}$$

Equality holds for some $z_{0}\neq 0$ if and only if f is a rotation of $K_{s}$, where $K_{s}$ is given by (3.7).

Also, if $f\in \mathcal{CV}_{\mathrm{hpl}}(s)$, then either f is a rotation of $K_{s}$ or

$$ \bigl\{ w\in \mathbb{C} : \vert w \vert \leq -K_{s}(-1) \bigr\} \subset f(\mathbb{D}). $$

Here $-K_{s}(-1)$ is understood to be the limit of $-K_{s}(-r)$ as r tends to 1.

Theorem 3.8

Let $r_{0}$ denote the positive root of the equation

$$ \frac{1}{ (1+r )^{s}}= \frac{rs}{1-r}\quad (0\le r< 1 ). $$

(3.8)

If $f\in \mathcal{ST}_{\mathrm{hpl}}(s)$, then f is convex in the disk $|z|< r_{0}$.

Proof

Let $f\in \mathcal{ST}_{\mathrm{hpl}}(s)$. Then from Definition 3.1 we obtain

$$ \frac{zf'(z)}{f(z)}=\frac{1}{ (1-w(z) )^{s}}\quad (z\in \mathbb{D} ), $$

where $w\in \mathcal{B}$. Application of Lemma 2.1 and the well-known inequality for Schwarz functions $|w'(z)|\le (1-|w(z)|^{2})/(1-|z|^{2})$ gives

$$\begin{aligned} \Re \biggl(1+\frac{zf''(z)}{f'(z)} \biggr) &\geq \Re { \frac{1}{ (1-w(z) ) ^{s}}}-s \vert z \vert \frac{1- \vert w(z) \vert ^{2}}{ [1- \vert w(z) \vert ] [1- \vert z \vert ^{2} ]} \\ &\geq \frac{1}{ (1+ \vert z \vert ) ^{s}}-\frac{s \vert z \vert }{1- \vert z \vert }. \end{aligned}$$

The function $\psi (r)= \frac{1}{ (1+r )^{s}}-\frac{rs}{1-r}$, where $r=|z| \in [0,1)$ is decreasing in $[0,1)$ with $\psi (0)=1$ and $\psi (1^{-})=- \infty$. Thus, there exists a unique $r_{0}\in (0,1)$ such that $\psi (r_{0})=0$, and for $0\le r< r_{0}$ we have $0< \psi (r)\le 1$. This inequality is equivalent to

$$ \frac{1}{ (1+r )^{s}}> \frac{rs}{1-r}\quad \bigl(r\in [0,1)\bigr), $$

which is satisfied for $|z|< r_{0}$, where $r_{0}$ is the only real positive root of (3.8). □

Theorem 3.9

If $f\in \mathcal{ST}_{\mathrm{hpl}}(s)$, then there exists $\alpha >1$ such that

$$ \Re \biggl\{ 1+\frac{zf''(z)}{f'(z)} \biggr\} < \alpha \quad \bigl( \vert z \vert =r < 1 \bigr). $$

Proof

Let $f\in \mathcal{ST}_{\mathrm{hpl}}(s)$. Then, from Definition 3.1, we obtain

$$ \frac{zf'(z)}{f(z)}=\frac{1}{ (1-w(z) )^{s}} \quad (z\in \mathbb{D} ), $$

where $w\in \mathcal{B}$. By Lemma 2.1 and the inequality for Schwarz functions it follows that

$$\begin{aligned} \Re \biggl(1+\frac{zf''(z)}{f'(z)} \biggr) &\le \Re { \frac{1}{ (1-w(z) ) ^{s}}}+s \vert z \vert \frac{1- \vert w(z) \vert ^{2}}{ [1- \vert w(z) \vert ] [1- \vert z \vert ^{2} ]} \\ &\le \frac{1}{ (1- \vert z \vert ) ^{s}}+\frac{s \vert z \vert }{1- \vert z \vert }. \end{aligned}$$

The function $g(r)= \frac{1}{ (1-r )^{s}}+\frac{rs}{1-r}$, where $r=|z| \in (0,1)$, is increasing in $(0,1)$ and $g(0)=1$. Thus for $z\in \mathbb{D}$ we have $g(|z|)>1$. □