Abstract
In this paper we study some properties of functions f which are analytic and normalized (i.e. \(f(0)=0=f'(0)-1\)) such that satisfy the following subordination relation
where \((p,q) \in [-1,1] \times [-1,1]\). These types of functions are starlike related to the generalized Koebe function. Some of the features are: radius of starlikeness of order \(\gamma \in [0,1)\), image of \(f\left( \{z:|z|<r\}\right) \) where \(r\in (0,1)\), radius of convexity, estimation of initial and logarithmic coefficients, and Fekete–Szegö problem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \({\mathcal {A}}\) be the class of functions f analytic in the unit disc \(\Delta =\{z\in {\mathbb {C}}:|z|<1\}\) normalized by the condition \(f(0)=0=f'(0)-1\). Each function f belonging to the class \({\mathcal {A}}\) has the following form
The subclass of \({\mathcal {A}}\) consisting of all univalent functions f in \(\Delta \) will be denoted by \({\mathcal {S}}\). A function \(f\in {\mathcal {A}}\) is subordinate to \(g\in {\mathcal {A}}\), written as \(f(z)\prec g(z)\) or \(f\prec g\), if there exists an analytic function w, known as a Schwarz function, with \(w(0)=0\) and \(|w(z)|\le |z|\), such that \(f(z)=g(w(z))\) for all \(z\in \Delta \). Moreover, if \(g\in {\mathcal {S}}\), then \(f (z)\prec g(z) \Leftrightarrow f(0)=g(0)\) and \(f(\Delta )\subset g(\Delta )\) (c.f. [25]).
For \(\gamma <1\), a function \(f\in {\mathcal {A}}\) is called starlike of order \(\gamma \) if, and only if, \(\mathrm{Re}\left\{ zf'(z)/f(z)\right\} >\gamma \) in \(\Delta \). The class of such functions will be denoted by \({\mathcal {S}}^*(\gamma )\). A function \(f\in {\mathcal {A}}\) is called convex of order \(\gamma \) if, and only if, \(zf'(z)\in {\mathcal {S}}^*(\gamma )\). Indeed, f is convex of order \(\gamma \) if, and only if,
We denote by \({\mathcal {K}}(\gamma )\) the class of convex functions of order \(\gamma \). The classes \({\mathcal {S}}^*(\gamma )\) and \({\mathcal {K}}(\gamma )\) for \(0\le \gamma <1\) are subclasses of the univalent functions (e.g., see [4]) and the function
where
is the well-known extremal function for the class \({\mathcal {S}}^*(\gamma )\). Observe that \({\mathbf {K}}_0(z)\) is the famous standard Koebe function. In particular \({\mathcal {S}}^*\equiv {\mathcal {S}}^*(0)\) and \({\mathcal {K}}\equiv {\mathcal {K}}(0)\) are the classes of starlike and convex functions in \(\Delta \), respectively. It is well-known that \({\mathcal {K}}\subset {\mathcal {S}}^*\).
Another one of the generalizations of Koebe function was proposed by Gasper [6]. Namely, he proposed some extension of the Löwner theory and de Branges’s inequality, in which the natural extension of Koebe function is
where \(-1\le q\le 1\). We now recall from [26], a two-parameter family of functions as follows:
where
or
We note that \(k_{1,1}\equiv {\mathbf {K}}_0\) and \(k_{1,q}\equiv k_{q}\), therefore we understand the function \(k_{p,q}\) as it’s generalization. We also notice that the function \(k_{p,q}\) is strictly related to the generalized Chebyshev polynomials of the second kind and maps the unit disk \(\Delta \) onto a domain symmetric with respect to real axis. Here, we recall that the generalized Chebyshev polynomials of the second kind \(U_n(p,q;e^{i\theta })\) are defined by
where \(0\le \theta \le 2\pi \) and \(-1\le p,q\le 1\). From (1.4) we have
and
For more details about another properties of the function \(k_{p,q}\) one can refer to [8, §2].
It was proved that [26, Proposition 1] for \(-1 \le p,q \le 1\) (p and q at the same time are not zero) the function \(k_{p,q}\) is starlike of order \(\gamma _1\in [0,1)\) in \(\Delta \) where
and is convex in the disk \(|z|<r(p,q)\) where
The above results are sharp if \(pq>0\). Also, the function \(k_{p,q}\) is convex of order \(\gamma _2\in [0,1)\) in \(\Delta \) (see [8, Lemma 2.4]) where
It is easy to check that each of the results cited above is true with a wider assumption \((p,q) \in [-1,1]\times [-1,1]\).
In [8] were given bounds of minimum and maximum of the real part of function \(k_{p,q}\). We quote them in the following lemma.
Lemma 1.1
Let \((p,q) \in [-1,1]\times [-1,1]\) and \(|pq|\ne 1\). The values of
are the following
In 1992, Ma and Minda (see [19]) introduced the class \({\mathcal {S}}^*(\varphi )\) as follows
where \(\varphi \) is analytic univalent function with \(\mathrm{Re}\{\varphi (z)\}>0\) \((z\in \Delta )\) and normalized by \(\varphi (0)=1\) and \(\varphi '(0)>0\). For special choices of \(\varphi \), the class \({\mathcal {S}}^*(\varphi )\) becomes the well-known subclasses of the starlike functions. The class \({\mathcal {S}}^*((1+Az)/(1+Bz))=:{\mathcal {S}}^*[A,B]\) \((-1\le B<A\le 1)\) was introduced by Janowski in [7]. If we let \(\varphi (z):=(1+(1-2\gamma )z)/(1-z)\), then the class \({\mathcal {S}}^*(\varphi )\) \((0\le \gamma <1)\) becomes the familiar class of the starlike functions of order \(\gamma \). Letting \(\varphi (z):=(1+(1-2\beta )z)/(1-z)\) \((\beta >1)\) we have the class \({\mathcal {M}}(\beta )\) which was introduced and investigated by Uralegaddi et al. [35] as follows
Table 1 shows more details about some another subclasses of the starlike functions with different choices for \(\varphi \).
We remark that all of the above special cases for \(\varphi \) are univalent in \(\Delta \). But in 2011, Dziok et al. [5] defined the class \({\mathcal {S}}^*_F\) related to the non-univalent function \({\widetilde{p}}(z)\) which includes of all functions \(f\in {\mathcal {A}}\) so that satisfy the following subordination relation
where
The function \({\widetilde{p}}(t)\) is related to the Fibonacci numbers and maps the open unit disc \(\Delta \) onto a shell-like domain in the right-half plane.
Motivated by the above defined classes, we introduce a new subclass of the starlike functions associated with the generalized Koebe function \(k_{p,q}\) which is defined in (1.2). We denote this subclass by \({\mathcal {S}}^*_k(p,q)\) which is defined as follows.
Definition 1.1
Let \(f\in {\mathcal {A}}\) and \((p,q) \in [-1,1] \times [-1,1]\). Then the function \(f\in {\mathcal {S}}^*_k(p,q)\) if and only if
where \(k_{p,q}\) is defined in (1.2).
With a simple calculation, we see that the function
belongs to the class \({\mathcal {S}}^*_k(p,q)\). Since the function \(f_{p,q}\) is not univalent in \(\Delta \) (see Fig. 1), we conclude that the members of the class \({\mathcal {S}}^*_k(p,q)\) may not be univalent in the whole disc \(\Delta \). Thus it will be interesting to find the radius of univalency of functions \(f\in {\mathcal {S}}^*_k(p,q)\).
Using the concept of subordination and univalency of the function \(k_{p,q}(z)\) and also by suitable choices for p and q, we describe some geometric properties of functions f belonging to the class \({\mathcal {S}}^*_k(p,q)\).
Remark 1.1
Let \(k_{p,q}\) be given by (1.2). Then we have:
-
(1)
Suppose that \(p=q=0\). If \(f\in {\mathcal {S}}^*_k(0,0)\), i.e. f satisfies the following subordination relation
$$\begin{aligned} \left( \frac{zf'(z)}{f(z)}-1\right) \prec z, \end{aligned}$$(1.6)then
$$\begin{aligned} 0<\mathrm{Re}\left\{ \frac{zf'(z)}{f(z)}\right\} <2\quad (z\in \Delta ). \end{aligned}$$This means that if f satisfies the above subordination relation (1.6), then it belongs to the class \({\mathcal {S}}(0,2)\), where the class \({\mathcal {S}}(\gamma ,\beta )\) \((0\le \gamma <1, \beta >1)\) was recently introduced by Kuroki and Owa [18].
-
(2)
The case \(p=q=1\) in the equation (1.2) leads to the famous standard Koebe function. It is well-known that this function maps the unit disk onto the complex plane without the slit \((-\infty ,-1/4]\) along the real axis. So if \(f\in {\mathcal {S}}^*_k(1,1)\), then it is starlike respect to 3/4.
-
(3)
Putting \(p=q=-1\) in the equation (1.2) we have the famous function \(z/(1+z)^2\) that maps the unit disk onto the complex plane without the slit \([1/4,\infty )\) along the real axis. Consequently if \(f\in {\mathcal {S}}^*_k(-1,-1)\), then is starlike respect to 5/4.
-
(4)
If we set \(p=-q\) in the equation (1.2), then we have the function \(F_q(z)=\frac{z}{1-q^2 z^2}\). The function \(F_q(z)\) was studied in [27, 28]. The function \(F_q(z)\) is a starlike univalent when \(q^2<1\). Also \(F_q(\Delta )=D(q)\), where
$$\begin{aligned} D(q):=\left\{ x+iy\in {\mathbb {C}}: ~ \left( x^2+y^2\right) ^2-\frac{x^2}{(1-q^2)^2}-\frac{y^2}{(1+q^2)^2}<0\right\} \end{aligned}$$and
$$\begin{aligned} D(1):=\left\{ x+iy\in {\mathbb {C}}: ~ \left( \forall t\in (-\infty ,-i/2]\cup [i/2,\infty )\right) [x+iy\ne it]\right\} . \end{aligned}$$It should be noted that the curve
$$\begin{aligned} \left( x^2+y^2\right) ^2-\frac{x^2}{(1-q^2)^2}-\frac{y^2}{(1+q^2)^2}=0\qquad (x, y)\ne (0, 0), \end{aligned}$$is the Booth lemniscate of elliptic type (see [27]). In the case \(|q| = 1\), the function \(F_q(z)\) becomes the function \(G(z):=z/(1-z^2)\) and thus \(G(\Delta )=D(1)\). With a simple calculation if \(f\in {\mathcal {S}}^*_k(-q,q)\), then
$$\begin{aligned} \frac{q^2}{q^2-1}<\mathrm{Re}\left\{ \frac{zf'(z)}{f(z)}\right\} <\frac{2-q^2}{1-q^2}\quad (z\in \Delta ). \end{aligned}$$The function class that satisfy the last two-sided inequality was introduced by Kargar et al. [10], and studied in [1, 12, 13].
-
(5)
If we take \(p=0\) and \(q\ne 0\) in (1.2), then we get
$$\begin{aligned} k_{p,q}\equiv k_q(z):=\frac{z}{1-qz}\quad (z\in \Delta ). \end{aligned}$$Thus by Lemma 1.1 we have
$$\begin{aligned} \frac{-1}{1+q}<\mathrm{Re}\left\{ k_q(z)\right\} <\frac{1}{1-q}\quad (z\in \Delta ). \end{aligned}$$Furthermore, if \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}^*_k(0,q)\equiv {\mathcal {S}}^*_k(q)\), then
$$\begin{aligned} \frac{q}{1+q}<\mathrm{Re}\left\{ \frac{zf'(z)}{f(z)}\right\} <\frac{2-q}{1-q}\quad (z\in \Delta ). \end{aligned}$$ -
(6)
Let \(pq<0\). If the function \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}^*_k(p,q)\), then
$$\begin{aligned} 1-\frac{1}{(1+p)(1+q)}<\mathrm{Re}\left\{ \frac{zf'(z)}{f(z)}\right\} <1+\frac{1}{(1-p)(1-q)}\quad (z\in \Delta ). \end{aligned}$$ -
(7)
Let \(p=q\). If the function \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}^*_k(p,q)\), then
$$\begin{aligned} 1-\frac{1}{(1+p)^2}<\mathrm{Re}\left\{ \frac{zf'(z)}{f(z)}\right\} <1+\frac{1}{(1-p)^2}\qquad (z\in \Delta ). \end{aligned}$$ -
(8)
Assume that \(p\ne q\) and \(0<p,q<1\). If the function \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}^*_k(p,q)\), then
$$\begin{aligned}&1+\frac{(1+pq)^2}{2(1-pq)[2\sqrt{pq(1-p^2)(1-q^2)-(p+q)(1-pq)}]}\\&\quad<\mathrm{Re}\left\{ \frac{zf'(z)}{f(z)}\right\} <1+\frac{1}{(1-p)(1-q)}. \end{aligned}$$ -
(9)
Let \(p\ne q\) and \(-1<p,q<0\). If the function \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}^*_k(p,q)\), then
$$\begin{aligned}&1-\frac{1}{(1+p)(1+q)}<\mathrm{Re}\left\{ \frac{zf'(z)}{f(z)}\right\} \\&\quad <1-\frac{(1+pq)^2}{2(1-pq)[(p+q)(1-pq)+2\sqrt{pq(1-p^2)(1-q^2)}]}. \end{aligned}$$
The structure of the paper is as follows. In Sect. 2 we obtain some radius problems for the class \({\mathcal {S}}_k^*(p,q)\). In Sect. 3 we estimate the initial coefficients and logarithmic coefficients of the function f of the form (1.1) belonging to the class \({\mathcal {S}}_k^*(p,q)\).
2 The radius of starlikeness and convexity
The first result of this section is contained in the following theorem.
Theorem 2.1
Let \((p,q)\in [-1,1]\times [-1,1]\) and \(\gamma \in [0,1).\) If \(f \in {\mathcal {S}}_k^*(p,q)\), then f is starlike of order \(\gamma \) in the disc \(|z|<r_s(p,q,\gamma )\) where
The result is sharp.
Proof
Let \(f\in {\mathcal {S}}_k^*(p,q)\) and \((p,q)\in [-1,1]\times [-1,1]\). Then from the definition of the class we have
where \(k_{p,q}(z)\) is defined by (1.2). Therefore by the subordination principle there exists a Schwarz function \(\omega :\Delta \rightarrow \Delta \) with \(\omega (0)=0\) and \(|\omega (z)|<1\) such that
and consequently:
After application of the Schwarz lemma we have
where \(r=|z|<1\). Consider now the function \(h(r):=1-\frac{r}{(1-|p|r)(1-|q|r)}\) \((r \in [0,1])\). Its derivative has a form
so under assumptions of theorem we have \(h'(r)<0 \) for \(r \in [0,1].\) From this we find that h(r) is a strictly decreasing function on the interval [0, 1] and it decreases from \(h(0)=1\) to the value \(h(1)=1-\frac{1}{(1-|p|)(1-|q|)}<0\). Therefore we conclude that there is only one root of the equation \(h(r)=\gamma \) in (0, 1). We can write this equation in the following equivalent form:
Denote the polynomial in (2.3) by Q(r). In the case when p or q are zero, the equation \(Q(r)=0\) is linear equation so it has one solution \(r=\frac{1-\gamma }{1+(1-\gamma )|q|}\) or \(r=\frac{1-\gamma }{1+(1-\gamma )|p|}\) respectively. It is easy to see that in this both cases solutions are in the interval (0, 1).
Assume now that \(pq\ne 0.\) Then Q is a quadratic polynomial with determinant of the form
and we can see that this determinant is positive for all \(p,q; \,pq \ne 0.\) In consequence, there are two roots of Q:
and
with \(r_1<r_2.\) Observe that \(Q(0)=1-\gamma >0.\) From this it follows that the roots \(r_1,r_2\) both are positive numbers. Let us recall that the equation \(h(r)=\gamma \) has strictly one solution in (0, 1) so the equation \(Q(r)=0\) has. From this it follows that this solution is \(r_1\). Therefore f is starlike of order \(\gamma \) in the disc \(|z|<r<r_s(p,q,\gamma )\) where \(r_s(p,q,\gamma )\) is given by (2.1).
For the sharpness consider the function \(f_{p,q}\) given by (1.5). It is easy to see that
With the same argument as above we get the result. Here the proof ends. \(\square \)
Putting \(\gamma =0\) in the previous theorem we obtain the following result:
Corollary 2.1
Let \((p,q)\in [-1,1]\times [-1,1]\) and \(\gamma \in [0,1).\) If \(f \in {\mathcal {S}}_k^*(p,q)\), then f is starlike univalent in the disc \(|z|<r_s(p,q)\) where
The result is sharp.
Theorem 2.2
Let the number \(r \in (0,1]\) be given and \((p,q) \in [-1,1]\times [-1,1].\) If
then each function \(f \in {\mathcal {S}}_k^*(p,q)\) maps a disc \(|z|<r\) onto a starlike domain. The result is sharp.
Proof
Let \((p,q) \in [-1,1]\times [-1,1]\) satisfy (2.4) for given \(r \in (0,1]\). After repeating the same reasoning as in the proof of Theorem 2.1 we have that for \(f \in {\mathcal {S}}_k^*(p,q)\) the following condition holds
Moreover for \(|z|<r\) we obtain
It is easy to observe that under our assumptions, the function l(p, q) has positive values. In conclusion we obtain the thesis. The function \(f_{p,q}\) shows that the result is sharp concluding the proof. \(\square \)
Now we shall find the range of parameters p, q that satisfy the assumptions of Theorem 2.2. For given \(r \in (0,1]\), let D(r) by the set of solutions of the inequality (2.4). Observe that due to the form of this inequality, D(r) must be symmetrical about both axes. Let us find its part lying in the first quadrant of the coordinate system. If \(p \ge 0\) and \(q \ge 0\) then (2.4) reduces to the condition
Note that, for the homography \(q(p)=q=\frac{rp+r-1}{r^2p-r}\) its vertical asymptote and horizontal asymptote are given by the equations \(p=\frac{1}{r}\) and \(q=\frac{1}{r}\), respectively. Moreover, zero of this homography is the point \(p=\frac{1}{r}-1<\frac{1}{r}\) and \(0<q(0)=\frac{1}{r}-1<\frac{1}{r}.\) The suitable set of the (p, q) is bounded by one of the branches of hyperbola and by p-axis and q-axis (domain \(D_1\), Fig. 2).
Therefore taking into account the symmetry of the set D(r) we conclude that it has a form as in Fig. 2.
Remark 2.1
Note that regardless of the value of \(r \in (0,1)\), the asymptotes of the hyperbolas, whose fragments are components of the boundary of D(r), do not have any common points with the square \([-1,1]\times [-1,1]\). Moreover, it is easy to observe that the domain D(r) is growing if \(r\longrightarrow 0\) and it is decreasing if \(r\longrightarrow 1\). For this reason, as the value of r changes, the location of the set D(r) relative to the square \([-1,1]\times [-1,1]\) also changes. Note that the point (1, 1) is situated on the hyperbola given by the equation \(q=\frac{rp+r-1}{r^2p-r}\) if and only if \(r=\frac{3-\sqrt{5}}{2}.\) For such r, also the other three vertices of the square are located on the boundary of the set D(r). Hence, in this case, as well as for all \(0<r<\frac{3-\sqrt{5}}{2}\), the whole square is covered by D(r).
Below we present various examples of the range of the parameters p, q that satisfy the assumptions of Theorem 2.2, i.e. the sets \(D(r)\cap [-1,1]\times [-1,1]\) for selected values of r (Figs. 3, 4, 5).
In view of Remark 2.1 we have the following result:
Corollary 2.2
Let \(0<r\le \frac{3-\sqrt{5}}{2}=0.381966\dots \) be given. Then for each function \(f \in {\mathcal {S}}_k^*(p,q)\) the set \(f(|z|<r)\) is a starlike domain.
Theorem 2.3
Let a function \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}_k^*(p,q)\). Then f is convex univalent in the disk \(|z|<\delta \) where \(\delta \) is the smallest positive root of equation
Proof
Since \(f\in {\mathcal {S}}_k^*(p,q)\), it follows that there exists a Schwarz function w such that (2.2) holds true. A logarithmic differentiation of (2.2) gives
The Schwarz-Pick lemma (see [24]) states that for a Schwarz function w the following sharp estimate holds
Also if w is a Schwarz function then \(|w(z)|\le |z|\) (cf. [4]). According to what came above and using definition of convexity, it follows from (2.5) that
It is a simple exercise that \(F(p,q,r)>0\) if and only if \(0<r\le \delta \) where \(\delta \) is the smallest positive root of
This is the end of proof. \(\square \)
Remark 2.2
Let F(p, q, r) be defined as (2.6). It is easy to check that \(F(1/2,1/2,r)=0\) has two real roots as follows
Therefore if \(f\in {\mathcal {S}}_k^*(1/2,1/2)\), then f is convex univalent in the disk \(|z|<r_2\). Also if \(f\in {\mathcal {S}}_k^*(0,0)\), then f is convex univalent in the disk \(|z|<r_3\) where \(r_3\approx 0.55496\), because F(0, 0, r) has three real roots
3 On coefficients of \(f\in {\mathcal {S}}_k^*(p,q)\)
Following, we shall estimate the initial coefficients and Fekete–Szegö problem for the function f of the form (1.1) belonging to the class \({\mathcal {S}}_k^*(p,q)\). The following lemmas will be useful.
Lemma 3.1
(Nehari [24, p. 172]) Let w be a Schwarz function of the form
Then
Lemma 3.2
(Prokhorov and Szynal [29]) If w is a Schwarz function of the form (3.1), then for any complex numbers \(\rho \) and \(\tau \) the following sharp estimate holds:
where
The extremal functions, up to rotations, are of the form
The sets \(\Omega _i\), \(i=1,2,\dots ,12\) are defined as follows:
Lemma 3.3
(Keogh and Merkes [15]) Let w be a Schwarz function of the form (3.1). Then for any complex number \(\mu \) we have
The result is sharp for the functions \(w(z)=z^2\) or \(w(z)=z\).
Theorem 3.1
Let f of the form (1.1) belong to the class \({\mathcal {S}}_k^*(p,q)\) where \((p,q)\in [-1,1]\times [-1,1]\). Then the following inequalities for the coefficients of f hold
and
with
where \(H(\rho ,\tau )\) is of the form as in Lemma 3.2. Further
All inequalities are sharp.
Proof
Let \(f\in {\mathcal {S}}_k^*(p,q)\). Then by Definition 1.1 and subordination principle, there exists a Schwarz function w of the form (3.1) with \(|w(z)|<1\) such that
where \(k_{p,q}\) is defined in (1.2). Furthermore, since f has the form (1.1), it is easy to see that
Also, using (1.2) and (3.1), we get
where
and
are defined in (1.2). Comparing (3.6) and (3.7), gives us
The inequality \(|a_2|\le 1\) follows directly from Lemma 3.1 and (3.10) with sharpness for the function \(f_{p,q}\) given by (1.5). From Lemma 3.1 we have
Therefore using (3.11) and the last estimate give that \(|a_3|\le \frac{1}{2}\left( 1+|{\mathfrak {A}}_2|\right) \). Now by (3.8) and since \((p,q)\in [-1,1]\times [-1,1]\), we get the desired inequality (3.4).
Now we shall find the estimation of the fourth coefficient. For this we first use (3.8) and (3.9) in (3.12) to obtain
By setting
and by applying Lemma 3.2, we can write
where the function H is defined in (3.2). Thus the result is established.
Now let \(\mu \) be a complex number. From (3.10) and (3.11) we get
Therefore using Lemma 3.3 we obtain
It easy to see that equalities in (3.3)–(3.4) occur for the function \(f_{p,q}\) defined by (1.5). Sharpness the third inequality (3.5) also follows as an application of Lemma 3.2. This completes the proof. \(\square \)
At the end of this paper we discuss the logarithmic coefficients \(\gamma _n:=\gamma _n(f)\) of the functions f belonging to the class \({\mathcal {S}}_k^*(p,q)\). We recall that the logarithmic coefficients \(\gamma _n\) of \(f\in {\mathcal {S}}\) are defined with the following series expansion:
The logarithmic coefficients have an important role in Geometric Function Theory. We remark that Kayumov [14] by use of these coefficients and under an additional condition solved the Brennan conjecture for conformal mappings or before de Branges by use of this concept, was able to prove the famous Bieberbach’s conjecture [2]. We recall that the logarithmic coefficients \(\gamma _n\) of every function \(f(z)=z+\sum _{n=2}^{\infty }a_n z^n\in {\mathcal {S}}\) satisfy the inequalities
and
The sharp estimate of \(|\gamma _n|\) when \(n\ge 3\) and \(f\in {\mathcal {S}}\) is still open.
In the sequel, we derive some inequalities involving the logarithmic coefficients in the class \({\mathcal {S}}_k^*(p,q)\).
Theorem 3.2
If a function \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}_k^*(p,q)\) and \(\gamma _n\) is the logarithmic coefficient of f, then the following sharp inequality holds
and
with
where \(H(\rho ,\tau )\) is of the form as in Lemma 3.2, and \({\mathfrak {A}}_2\) and \({\mathfrak {A}}_3\) are defined in (3.8) and (3.9), respectively. All inequalities are sharp.
Proof
Let the function \(f\in {\mathcal {A}}\) belong to the class \({\mathcal {S}}_k^*(p,q)\). Then by definition we have
where \(k_{p,q}\) is given by (1.2). Now, by (1.2) and (3.13), the last subordination relation implies that
where \({\mathfrak {A}}_n\) are defined in (1.3). By definition of subordination and (3.1) the last relation implies that
It follows from (3.14) that
and
By Lemma 3.1, we obtain \(2|\gamma _1|=|c_1|\le 1\) or \(|\gamma _1|\le 1/2\). Thus the first inequality holds true. To obtain the second inequality by using Lemma 3.1 and (3.8) we get
or
This proves the second inequality. To estimate the third inequality it is enough to set \(\rho =2{\mathfrak {A}}_2\) and \(\tau ={\mathfrak {A}}_3\) in Lemma 3.2.
For the sharpness we consider the function \(f_{p,q}\) defined by (1.5). A simple check gives that
Comparison of the corresponding coefficients and an application of Lemma 3.2 show the result is sharp, therefore the proof is completed. \(\square \)
For the next result we need the following theorem. By using this theorem we give the sharp inequality for sums involving logarithmic coefficients.
Theorem 3.3
Let the function \(f\in {\mathcal {A}}\) belong to the class \({\mathcal {S}}_k^*(p,q)\) and \(k_{p,q}(z)\) be defined by (1.2). Then
Moreover
is a convex univalent function.
Proof
The proof is similar to the proof of [9, Theorem 2.1], and thus we omit the details. \(\square \)
By (1.2), it is easy to see that \(K_{p,q}(z)\) has the following series expansion:
where \({\mathfrak {A}}_n\) are defined in (1.3).
Theorem 3.4
Let the \(f\in {\mathcal {A}}\) belong to the class \({\mathcal {S}}_k^*(p,q)\). Then the logarithmic coefficients of f satisfy the following sharp inequality
where \(Li_2\) is the well-known dilogarithm function.
Proof
If a function \(f\in {\mathcal {A}}\) belongs to the class \({\mathcal {S}}_k^*(p,q)\), then by the previous Theorem 3.3 we have
Replacing (3.13) and (3.16) into (3.17) we get
Applying Rogosinski’s theorem [31], we can obtain
We consider the following cases:
Case 1. Let \(q=0\ne p\). Then we have
where \(Li_2\) denotes the dilogarithm function.
Case 2. Let \(p=0\ne q\). In this case we have
Case 3. Let \(p=q\ne \pm 1\). Thus we get
For the sharpness, it is enough to consider the function
where \(K_{p,q}\) is defined by (3.15). It is easily seen that \({\widetilde{K}}_{p,q}(z)\in {\mathcal {S}}_k^*(p,q)\) and
Thus the proof is complete. \(\square \)
Remark 3.1
Since \(K_{p,q}(z)\) is convex univalent in \(\Delta \), it follows from (3.18) and Rogosinski’s theorem that \(2|\gamma _n|\le 1\) or \(|\gamma _n|\le 1/2\). This means that in Theorem 3.2 in the third inequality we have
Therefore \(H(\rho ,\tau ) \le 3/2\) and consequently \((\rho ,\tau )\not \in \Omega _1\cup \Omega _2\) where \(\rho \) and \(\tau \) are as Theorem 3.2.
References
Cho, N.E., Kumar, S., Kumar, V., Ravichandran, V.: Differential subordination and radius estimates for starlike functions associated with the Booth lemniscate. Turk. J. Math. 42, 1380–1399 (2018)
De Branges, L.: A proof of the Bieberbach conjecture. Acta Math. 154, 137–152 (1985)
Cho, N.E., Kumar, V., Kumar, S., Ravichandran, V.: Radius problems for starlike functions associated with the Sine function. Bull. Iran. Math. Soc. 45, 213–232 (2019)
Duren, P.L.: Univalent Functions. Grundlehren der Mathematischen Wissenschaften, vol. 259. Springer, New York (1983)
Dziok, J., Raina, R.K., Sokół, J.: Certain results for a class of convex functions related to a shell-like curve connected with Fibonacci numbers. Comput. Math. Appl. 61, 2605–2613 (2011)
Gasper, G.: q-Extension of Clausens formula and of the inequalities used by de Branges in his proof of the Bieberbach, Robertson and Milin conjecture. SIAM J. Math. Anal. 20, 1019–1034 (1989)
Janowski, W.: Extremal problems for a family of functions with positive real part and for some related families. Ann. Polon. Math. 23, 159–177 (1970)
Kanas, S., Tatarczak, A.: Generalized typically real functions. Filomat 30(7), 1697–1710 (2016)
Kargar, R.: On logarithmic coefficients of certain starlike functions related to the vertical strip. J. Anal. 27, 985–995 (2019)
Kargar, R., Ebadian, A., Sokół, J.: On Booth lemiscate and starlike functions. Anal. Math. Phys. 9, 143–154 (2019)
Kargar, R., Ebadian, A., Sokół, J.: Radius problems for some subclasses of analytic functions. Complex Anal. Oper. Theory 11, 1639–1649 (2017)
Kargar, R., Ebadian, A., Trojnar-Spelina, L.: Further results for starlike functions related with Booth lemniscate. Iran. J. Sci. Technol. Trans. Sci. 43, 1235–1238 (2019)
Kargar, R., Sokół, J., Ebadian, A., Trojnar-Spelina, L.: On a class of starlike functions related with Booth lemniscate. Proc. Jangjeon Math. Soc. 21, 479–486 (2018)
Kayumov, I.R.: On Brennans conjecture for a special class of functions. Math. Notes 78, 498–502 (2005)
Keogh, F.R., Merkes, E.P.: A coefficient inequality for certain classes of analytic functions. Proc. Am. Math. Soc. 20, 8–12 (1969)
Kumar, V., Cho, N.E., Ravichandran, V., Srivastava, H.M.: Sharp coefficient bounds for starlike functions associated with the Bell numbers. Math. Slovaca 65, 1053–1064 (2019)
Kumar, S., Ravichandran, V.: A subclass of starlike functions associated with a rational function. Southeast Asian Bull. Math. 40, 199–212 (2016)
Kuroki, K., Owa, S.: Notes on new class for certain analytic functions. RIMS Kokyuroku Kyoto Univ. 1772, 21–25 (2011)
Ma, W., Minda, D.: A unified treatment of some special classes of univalent functions. Proc. Conf. Comp. Anal. Tianjin China 19–23, 157–169 (1992)
Ma, W., Minda, D.: Uniformly convex functions. Ann. Polon. Math. 57, 165–175 (1992)
Mendiratta, R., Nagpal, S., Ravichandran, V.: A subclass of starlike functions associated with left-half of the lemniscate of Bernoulli. Internat. J. Math. 25, 17 (2014)
Mendiratta, R., Nagpal, S., Ravichandran, V.: On a subclass of strongly starlike functions associated with exponential function. Bull. Malays. Math. Sci. Soc. 38, 365–386 (2015)
Naraghi, H., Najmadi, P., Taherkhani, B.: New subclass of analytic functions defined by subordination. Int. J. Nonlinear Anal. Appl. 12, 847–855 (2021)
Nehari, Z.: Conformal Mapping. McGraw-Hill, New York (1952)
Miller, S.S., Mocanu, P.T.: Differential Subordinations, Theory and Applications. Series of Monographs and Textbooks in Pure and Applied Mathematics, vol. 225. Marcel Dekker Inc., New York/Basel (2000)
Naraniecka, I., Szynal, J., Tatarczak, A.: An extension of typically-real functions and associated orthogonal polynomials. Ann. UMCS Math. 65, 99–112 (2011)
Piejko, K., Sokół, J.: Hadamard product of analytic functions and some special regions and curves. J. Ineq. Appl. 2013, 420 (2013)
Piejko, K., Sokół, J.: On Booth lemniscate and Hadamard product of analytic functions. Math. Slovaca 65, 1337–1344 (2015)
Prokhorov, D.V., Szynal, J.: Inverse coefficients for \((\alpha, \beta )\)-convex functions. Ann. Univ. Mariae Curie-Sklodowska Sect. A 35, 125–143 (1981)
Raina, R.K., Sokół, J.: Some properties related to a certain class of starlike functions. C. R. Math. Acad. Sci. Paris 353, 973–978 (2015)
Rogosinski, W.: On the coefficients of subordinate functions. Proc. Lond. Math. Soc. 48, 48–82 (1943)
Sharma, K., Jain, N.K., Ravichandran, V.: Starlike functions associated with a cardioid. Afr. Mat. 27, 923–939 (2016)
Sokół, J.: A certain class of starlike functions. Comput. Math. Appl. 62, 611–619 (2011)
Sokół, J., Stankiewicz, J.: Radius of convexity of some subclasses of strongly starlike functions. Zeszyty Nauk. Politech. Rzeszowskiej Mat. 19, 101–105 (1996)
Uralegaddi, B.A., Ganigi, M.D., Sarangi, S.M.: Univalent functions with positive coefficients. Tamkang J. Math. 25, 225–230 (1994)
Acknowledgements
We would like to thank the editor and the anonymous referee for carefully reading our manuscript and for the useful observations.
Funding
Open access funding provided by University of Turku (UTU) including Turku University Central Hospital.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no conflicts of interest to declare that are relevant to the content of this article.
Author contributions
Both authors contributed to the study’s conception and design equally. They also read and approved the final manuscript.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kargar, R., Trojnar-Spelina, L. Starlike functions associated with the generalized Koebe function. Anal.Math.Phys. 11, 146 (2021). https://doi.org/10.1007/s13324-021-00579-0
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-021-00579-0
Keywords
- Starlikeness
- Convexity
- Coefficient estimates
- Fekete–Szegö problem
- Logarithmic coefficients
- Subordination
- Koebe function