Abstract
For some subclasses of close-to-star functions the sharp upper and lower bounds of the second and third-order Hermitian Toeplitz determinants are computed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Given \(r>0,\) let \({\mathbb {D}}_r:=\{ z \in {\mathbb {C}} : |z|<r \},\) \({\mathbb {T}}_r:=\{ z \in {\mathbb {C}} : |z|=r \},\) \({\mathbb {D}}:={\mathbb {D}}_1,\) \({\mathbb {T}}:={\mathbb {T}}_1\) and \(\overline{{\mathbb {D}}}:=\{z\in {\mathbb {C}}: |z|\le 1\}.\) Let \({\mathcal {H}}\) be the class of all analytic functions in \({\mathbb {D}}\) and \({\mathcal {A}}\) be its subclass of functions f normalized by \(f(0)=0\) and \(f'(0)=1,\) i.e., of the form
Let \({\mathcal {S}}\) be the subclass of \({\mathcal {A}}\) of all univalent functions.
Given \(q,n\in {\mathbb {N}},\) the Hermitian Toeplitz determinant \(T_{q,n}(f)\) of \(f\in {\mathcal {A}}\) of the form (1) is defined by
where \({\overline{a}}_k:=\overline{a_k}.\)
Recently, Ali, Thomas and Vasudevarao [2] introduced the concept of the symmetric Toeplitz determinant \(T_q(n)\) for \(f\in {\mathcal {A}}\) in the following way:
They found estimates for \(T_2(n)\), \(T_3(1)\), \(T_3(2)\), and \(T_2(3)\) over selected subclasses of \({\mathcal {A}}\).
In recent years many papers have been devoted to the estimation of determinants whose entries are coefficients of functions in the class \({\mathcal {A}}\) or its subclasses. Hankel matrices i.e., square matrices which have constant entries along the reverse diagonal and the generalized Zalcman functional \(J_{m,n}(f):=a_{m+n-1}-a_ma_n,\ m,n\in {\mathbb {N}},\) are of particular interest (see e.g., [3, 4, 9,10,11, 18, 20, 22,23,24,25, 28, 32, 34, 35, 39]).
In [14, 21], research was instigated into the study of Hermitian Toeplitz determinants which elements are coefficients of functions in subclasses of \({\mathcal {A}},\) observing that Hermitian Toeplitz matrices play an important role in functional analysis, applied mathematics as well as in technical sciences. In this paper we continue this research by finding the sharp upper and lower bounds of the second and third-order Toeplitz determinants over subclasses of close-to-star functions.
Let \({\mathcal {F}}\) be a subclass of \({\mathcal {A}}\) such that \({\mathcal {F}}(2):=\{f\in {\mathcal {F}}: a_2=0\}\) is a nonempty subfamily and \(A_2({\mathcal {F}}):=\max \{|a_2|: f\in {\mathcal {F}}\}\) exists. Since for \(f\in {\mathcal {A}},\)
the result below is clear. Equality for the lower bound is attained by a function in \({\mathcal {F}}\) which is extremal for \(A_2({\mathcal {F}}).\) Each function from \({\mathcal {F}}(2)\) makes equality for the upper bound.
Theorem 1
Let \({\mathcal {F}}\) be a subclass of \({\mathcal {A}}\) such that \({\mathcal {F}}(2)\not =\emptyset \) and \(A_2({\mathcal {F}})\) exists. Then
Both inequalities are sharp.
Let \({\mathcal {S}}^*\) be the subclass of \({\mathcal {S}}\) of starlike functions ( [1]), i.e., \(f\in {\mathcal {S}}^*\) if \(f\in {\mathcal {A}}\) and
A function \(f\in {\mathcal {A}}\) is called close-to-star if there exist \(g\in {\mathcal {S}}^*\) and \(\beta \in {\mathbb {R}}\) such that
The class \(\mathcal {CST}\) of all close-to-star functions which was introduced by Reade [36] bear the same relation to the class of close-to-convex functions as the class of starlike functions bear to the class of convex functions ( [36, p. 61]). This relationship is called Alexander type relation ( [1]). Namely, \(f\in \mathcal {CST}\) if, and only if, a function
is close-to-convex ( [19, 16, Vol. II, p. 3]). The class of close-to-convex functions was defined by Kaplan [19], where the following geometrical interpretation was given: \(f\in {\mathcal {A}}\) is close-to-convex if, and only if, there are no sections of the curve \(f({\mathbb {T}}_r),\) for every \(r\in (0,1),\) in which tangent vector turns backward through an angle not less then \(\pi \) (cf. [16, Vol. II, p. 4]). An analogous geometrical interpretation for close-to-star functions was given by Reade, namely, \(f\in {\mathcal {A}}\) is close-to-star if, and only if, there are no sections of the curve \(f({\mathbb {T}}_r),\) for every \(r\in (0,1),\) in which radius vector to the curve \(f({\mathbb {T}}_r)\) turns backward through an angle not less then \(\pi \) ( [36, p. 61]). Recall also that Lewandowski [29, 30] showed that the class of close-to-convex functions is identical with the class of linearly accessible functions introduced by Biernacki [5].
Let us mention that the class \(\mathcal {CST}\) and its subclasses were examined by various authors (e.g., MacGregor [31], Sakaguchi [38], Causey and Merkes [8]; for further references, see [16, Vol. II, pp. 97-104]).
Given \(g\in {\mathcal {S}}^*\) and \(\beta \in {\mathbb {R}},\) let \(\mathcal {CST}_\beta (g)\) be the subclass of \(\mathcal {CST}\) of all f satisfying (2). The classes \(\mathcal {CST}_0(g_i),\ i=1,2,3,\) where
are particularly interested and were separately studied by various authors. In this paper we deal with \(\mathcal {CST}_0(g_1)=:{{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\) and \(\mathcal {CST}_0(g_2)=:{{{\mathcal {S}}}{{\mathcal {T}}}}(1)\) which elements f in view of (2) satisfy the condition
and
respectively. Let us add that every function f in \({{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\) or in \({{{\mathcal {S}}}{{\mathcal {T}}}}(1)\) which is analytic in the closed disk \({\overline{{\mathbb {D}}}}\) is starlike in one direction as defined by Robertson [37] (see also [16, Vol. I, pp. 207-208]), i.e., intersection of \(f({\mathbb {D}})\) with the real axis is a line segment. Moreover, every F given by (3) with \(f\in {{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\) maps univalently \({\mathbb {D}}\) onto a domain \(F({\mathbb {D}})\) convex in the direction of the imaginary axis as defined by Roberston [37] (e.g., [16, p. 199]). Every F given by (3) with \(f\in {{{\mathcal {S}}}{{\mathcal {T}}}}(1)\) maps univalently \({\mathbb {D}}\) onto a domain \(F({\mathbb {D}})\) called convex in the positive the direction of the real axis, i.e., \(\{w+it:t\ge 0\}\subset f({\mathbb {D}})\) for every \(w\in f({\mathbb {D}})\) ( [6, 12, 13, 15, 26, 27]). Let us remark that the condition (4) was generalized in [17] by replacing the expression \(1-z^2\) by \(1-\alpha ^2z^2\) with \(\alpha \in [0,1].\)
In this paper we compute the sharp upper and lower bounds for
for f in \({{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\) and \({{{\mathcal {S}}}{{\mathcal {T}}}}(1).\)
Let \({\mathcal {P}}\) be the class of all \(p\in {\mathcal {H}}\) of the form
which have a positive real part in \({\mathbb {D}}.\)
In the proof of the main result we will use the following lemma will which contains the Carahéodory results (8) and (9), and the well-known formula for \(c_2\) ( [7, 33, p. 166] and further remarks in [11]).
Lemma 1
If \(p \in {{\mathcal {P}}}\) is of the form (7), then
Moreover
and
for some \(\zeta _i \in \overline{{\mathbb {D}}}\), \(i \in \{ 1,2 \}\).
For \(\zeta _1 \in {\mathbb {T}}\), there is a unique function \(p \in {{\mathcal {P}}}\) with \(c_1\) as in (9), namely,
For \(\zeta _1\in {\mathbb {D}}\) and \(\zeta _2 \in {\mathbb {T}}\), there is a unique function \(p \in {{\mathcal {P}}}\) with \(c_1\) and \(c_2\) as in (9) and (10), namely,
2 The class \({{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\)
Let \(f \in {{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\) be the form (1). By (4) there exists \(p\in {{\mathcal {P}}}\) of the form (7) such that
Substituting the series (1) and (7) into (12), and equating coefficients we obtain
Hence and from (8) it follows that \(A_2({{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}}))=2\) with the Koebe function
being extremal. Since the identity function belongs to \({{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\), by Theorem 1 we deduce
Theorem 2
If \(f\in {{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\), then
Both inequalities are sharp.
We next compute the upper and lower bounds of \(T_{3,1}(f)\).
Theorem 3
If \(f \in {{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}}),\) then
The inequality is sharp.
Proof
By (13) and (8) we see that \(|a_2| \le 2\) and \(|a_3| \le 3.\) Since \({{\,\mathrm{Re}\,}}(a_2^2 {\overline{a}}_3) \le |a_2^2 a_3|,\) from (6) we obtain
where
Observe that the point (1, 1) is a unique solution in \((0,2)\times (0,3)\) of the system of equations
However
so (1, 1) is a saddle point of F.
On the boundary of \([0,2]\times [0,3]\) we have
-
1.
\(F(0,y)=1-y^2 \le 1,\quad y\in [0,3]\);
-
2.
\(F(2,y)=-7+8y-y^2 \le 8,\quad y\in [0,3]\);
-
3.
\(F(x,0)=1-2x^2 \le 1,\quad x\in [0,2]\);
-
4.
\(F(x,3)=-8+4x^2 \le 8,\quad x\in [0,2]\).
Therefore the inequality \(F(x,y) \le 8\) holds for all \((x,y)\in [0,2]\times [0,3],\) which in view of (16) shows (15).
For the Koebe function (14), \(a_2=2\) and \(a_3=3,\) which makes equality in (15). \(\square \)
Theorem 4
If \(f \in {{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}}),\) then
The inequality is sharp.
Proof
Substituting (9) and (10) into (13) we obtain
for some \(\zeta _i \in \overline{{\mathbb {D}}},i=1,2\). Therefore from (6) we have
where
and
- (A):
-
If \(\zeta _1=0,\) then
$$\begin{aligned} \varPsi _1=-\,2|\zeta _2|^2,\quad \varPsi _2=-2{{\,\mathrm{Re}\,}}(\zeta _2), \end{aligned}$$and therefore
$$\begin{aligned} T_{3,1}(f)=-\,4(|\zeta _2|^2+{{\,\mathrm{Re}\,}}(\zeta _2))\ge -8. \end{aligned}$$(19) - (B):
-
If \(\zeta _2=0,\) then
$$\begin{aligned} \varPsi _1 := -\,4|\zeta _1|^2 +6|\zeta _1|^4,\quad \varPsi _2=2{{\,\mathrm{Re}\,}}\left( \zeta _1^2\right) , \end{aligned}$$and therefore
$$\begin{aligned} T_{3,1}(f)=4\left[ 3|\zeta _1|^4-2|\zeta _1|^2+{{\,\mathrm{Re}\,}}\left( \zeta _1^2\right) \right] \ge -3. \end{aligned}$$(20) - (C):
-
Suppose that \(\zeta _1\zeta _2\not =0.\) Then \(\zeta _1 =r {\mathrm {e}}^{{\mathrm {i}}\theta }\) and \(\zeta _2 = s {\mathrm {e}}^{{\mathrm {i}}\psi },\) where \(r,s\in (0,1]\) and \(\theta ,\psi \in [0,2\pi ).\) We have
$$\begin{aligned} \begin{aligned} \varPsi _2&= 2r^2 \cos 2\theta - 2s(1-r^2)\cos \psi + 4r^2 s(1-r^2)\cos (2\theta -\psi ) \\&= 2r^2 \sin (2\theta +\alpha ) \sqrt{ 1+4s^2(1-r^2)^2 +4s(1-r^2)\cos \psi } - 2s(1-r^2)\cos \psi , \end{aligned} \end{aligned}$$where \(\alpha \in {\mathbb {R}}\) is a quantity satisfying
$$\begin{aligned} \cos \alpha = \frac{\kappa _1}{ \sqrt{\kappa _1^2 +\kappa _2^2} },\quad \sin \alpha = \frac{\kappa _2}{ \sqrt{\kappa _1^2 +\kappa _2^2} } \end{aligned}$$(21)with
$$\begin{aligned} \kappa _1 = 2s \left( 1-r^2 \right) \sin \psi ,\quad \kappa _2 = 1 + 2s \left( 1-r^2 \right) \cos \psi . \end{aligned}$$Since \(\sin (2\theta +\alpha ) \ge -1\) and \(\cos \psi \le 1,\) we have
$$\begin{aligned} \begin{aligned} -\varPsi _2&\le 2r^2 \sqrt{1+4s^2 \left( 1-r^2 \right) ^2+4s \left( 1-r^2 \right) \cos \psi } + 2s \left( 1-r^2 \right) \cos \psi \\&\le 2r^2 +2 \left( 1-r^2 \right) \left( 1+2r^2 \right) s. \end{aligned} \end{aligned}$$(22)Therefore by (18) and (22) for \((r,s)\in (0,1]^2\) we obtain
$$\begin{aligned} \frac{1}{4} T_{3,1}(f) = \frac{1}{2}(\varPsi _1 + \varPsi _2) \ge F(r,s), \end{aligned}$$(23)where
$$\begin{aligned} F(x,y):=-\,(1-x^2)\left[ 3x^2 +(1+2x^2)y +(1-x^2)y^2 \right] ,\quad (x,y)\in [0,1]^2. \end{aligned}$$Since
$$\begin{aligned} \frac{\partial F}{\partial y}= -(1-x^2) \left[ 1+2x^2 +2(1-x^2)y \right] \le 0, \quad (x,y)\in [0,1]^2, \end{aligned}$$we conclude that
$$\begin{aligned} F(x,y) \ge F(x,1) = -2-2x^2+4x^4 \ge F(1/2,1) = -9/4, \quad (x,y)\in [0,1]^2. \end{aligned}$$Summarizing, the last inequality together with (23), (19), (20) shows (17).
The function
belongs to \({{{\mathcal {S}}}{{\mathcal {T}}}}({\mathrm {i}})\) having \(a_2={\mathrm {i}}\) and \(a_3=2,\) for which equality in (17) holds. \(\square \)
3 The class \({{{\mathcal {S}}}{{\mathcal {T}}}}(1)\)
Let \(f \in {{{\mathcal {S}}}{{\mathcal {T}}}}(1)\) be the form (1). By (5) there exists \(p\in {{\mathcal {P}}}\) of the form (7) such that
Substituting (1) and (7) into (24), and equating coefficients we obtain
Hence and from (8) it follows that \(A_2({{{\mathcal {S}}}{{\mathcal {T}}}}(1))=4\) with the extremal function
Note that the function
for which \(a_2=0,\) is an element of \({{{\mathcal {S}}}{{\mathcal {T}}}}(1)\). Thus by Theorem 1 we deduce
Theorem 5
If \(f\in {{{\mathcal {S}}}{{\mathcal {T}}}}(1)\), then
Both inequalities are sharp.
We next compute the upper and lower bounds of \(T_{3,1}(f).\)
Theorem 6
If \(f \in {{{\mathcal {S}}}{{\mathcal {T}}}}(1),\) then
The inequality is sharp.
Proof
By (25) and (8) we see that \(|a_2| \le 4\) and \(|a_3| \le 9.\) As in the proof of Theorem 3, the inequality (16) holds with
It is easy to check that F has no relative maximum in \((0,4)\times (0,9).\)
On the boundary of \([0,4]\times [0,9]\) we have
-
1.
\(F(0,y)=1-y^2 \le 1,\quad y\in [0,9]\);
-
2.
\(F(4,y)= -\,31+32y-y^2 \le F(4,9) = 176,\quad y\in [0,9]\);
-
3.
\(F(x,0)=1-2x^2 \le 1,\quad x\in [0,4]\);
-
4.
\(F(x,9)= -\,80 + 16x^2 \le F(4,9) = 176,\quad x\in [0,4]\).
Therefore the inequality \(F(x,y) \le 176\) holds for all \((x,y)\in [0,4]\times [0,9]\) which in view of (16) shows (27).
For the function (26), \(a_2=4\) and \(a_3=9\), which makes equality in (27). \(\square \)
Theorem 7
If \(f \in {{{\mathcal {S}}}{{\mathcal {T}}}}(1),\) then
The inequality is sharp.
Proof
Substituting (9) and (10) into (25) we obtain
for some \(\zeta _i \in \overline{{\mathbb {D}}},\) \(i=1,2\). Therefore from (6) we have
where
and
- (A):
-
Suppose that \(\zeta _1\zeta _2\not =0.\) Thus \(\zeta _1 =r {\mathrm {e}}^{{\mathrm {i}}\theta }\) and \(\zeta _2 = s {\mathrm {e}}^{{\mathrm {i}}\psi },\) where \(r,s\in (0,1]\) and \(\theta ,\psi \in [0,2\pi ).\) Then
$$\begin{aligned} \varPsi _2 = 4(\varPsi _3+\varPsi _4), \end{aligned}$$(31)where
$$\begin{aligned} \begin{aligned} \varPsi _3&:= 10r\cos \theta +7r^2\cos 2\theta +12r^3\cos \theta \\&= -\,7r^2 +10r \cos \theta +12r^3 \cos \theta +14r^2\cos ^2\theta \end{aligned} \end{aligned}$$(32)and
$$\begin{aligned} \varPsi _4 := 4rs \left( 1-r^2 \right) \cos (\theta -\psi ) +s(1-r^2)\cos \psi +2r^2s \left( 1-r^2 \right) \cos (2\theta -\psi ). \end{aligned}$$(33)Furthermore, we have
$$\begin{aligned} \varPsi _4 =s(1-r^2) \sqrt{\kappa _1^2 +\kappa _2^2} \sin (\psi +\alpha ), \end{aligned}$$where \(\alpha \) is the quantity satisfying (21) with
$$\begin{aligned} \kappa _1 = 4r\sin \theta +2r^2\sin 2\theta ,\quad \kappa _2 = 1 + 4r\cos \theta +2r^2\cos 2\theta . \end{aligned}$$(34)Since \(\sin (\psi +\alpha ) \ge -1\) and \(s\le 1\), we have
$$\begin{aligned} \begin{aligned} \varPsi _4&\ge -(1-r^2) \sqrt{\kappa _1^2 +\kappa _2^2} \\&= -\,(1-r^2)\sqrt{1 +12r^2 +4r^4 +8r\cos \theta +16r^3\cos \theta +8r^2\cos ^2\theta }. \end{aligned} \end{aligned}$$(35)Therefore from (31), (32) and (33) we obtain
$$\begin{aligned} \begin{aligned} \frac{1}{4} \varPsi _2&= \varPsi _3+\varPsi _4 \ge 10r\cos \theta +7r^2\cos 2\theta +12r^3\cos \theta \\&\quad -(1-r^2)\sqrt{1 +12r^2 +4r^4 +8r\cos \theta +16r^3\cos \theta +8r^2\cos ^2\theta }. \end{aligned} \end{aligned}$$(36)Taking into account that \(|\zeta _2|=s\le 1,\) from (30) we have
$$\begin{aligned} \varPsi _1 \ge 4 \left( 1 +12r^2 +2r^4 \right) . \end{aligned}$$(37)Thus from (29), (36) and (37) it follows that
$$\begin{aligned} \frac{1}{4} |T_{3,1}(f)| \ge G(r,\cos \theta ), \quad r\in (0,1], \ \theta \in [0,2\pi ), \end{aligned}$$(38)where
$$\begin{aligned} G(t,x) := g_1(t,x) - \left( 1-t^2 \right) \sqrt{g_2(t,x)} \end{aligned}$$with
$$\begin{aligned} g_1(t,x) := 1+5t^2+2t^4 +10tx +12t^3x +14t^2x^2 \end{aligned}$$and
$$\begin{aligned} g_2(t,x) := 1 +12t^2 +4t^4 +8tx +16t^3x +8t^2x^2 \end{aligned}$$for \(t\in [0,1]\) and \(x\in [-1,1]\).
Let \(\varOmega :=[0,1]\times [-1,1]\) and
$$\begin{aligned} \varTheta := \frac{ -442 + 208\sqrt{3} +20\sqrt{28+10\sqrt{3}} -21\sqrt{84+30\sqrt{3}} }{ 36(-1+3\sqrt{3}) } = -1.27073\cdots \end{aligned}$$We now show that
$$\begin{aligned} \min \{ G(t,x) : (t,x) \in \varOmega \} = \varTheta . \end{aligned}$$- (A1):
-
We first find critical points of G in the interior of \(\varOmega \), i.e., in \((0,1)\times (-1,1).\) From the equation
$$\begin{aligned} 0 = \frac{\partial G}{\partial x}(t,x) = \frac{\partial g_1}{\partial x}(t,x) -\frac{1}{2}(1-t^2) (g_2(t,x))^{-1/2} \frac{\partial g_2}{\partial x}(t,x), \end{aligned}$$it follows that
$$\begin{aligned} g_2(t,x)^{1/2} = \frac{(1-t^2) \dfrac{\partial g_2}{\partial x}(t,x)}{2 \dfrac{\partial g_1}{\partial x}(t,x)} = \frac{ 2(1-t^2)(1+2t^2+2tx) }{ 5+6t^2+14tx }, \end{aligned}$$(39)or equivalently,
$$\begin{aligned} \varPhi =\varPhi (t,x) := (5+6t^2+14tx)^2 g_2(t,x) - 4(1-t^2)^2 (1+2t^2+2tx)^2=0. \end{aligned}$$(40)Furthermore, note that by (39),
$$\begin{aligned} 0\le \frac{(g_2(t,x))^{1/2}}{2(1-t^2)} = \frac{ 1+2t^2+2tx }{ 5+6t^2+14tx }. \end{aligned}$$(41)Differentiating G with respect to t yields
$$\begin{aligned} \frac{\partial G}{\partial t}(t,x) = \frac{ \partial g_1 }{ \partial t}(t,x) +2t(g_2(t,x))^{1/2} - \frac{1}{2}(1-t^2)(g_2(t,x))^{-1/2} \frac{ \partial g_2 }{ \partial t}. \end{aligned}$$(42)$$\begin{aligned} \begin{aligned} \frac{ \partial g_1 }{ \partial x} \frac{ \partial g_2 }{ \partial x} \frac{ \partial G }{ \partial t} \Big |_{(t,x)}&= \frac{ \partial g_1 }{ \partial t} \frac{ \partial g_1 }{ \partial x} \frac{ \partial g_2 }{ \partial x} +t(1-t^2) \left( \frac{ \partial g_2 }{ \partial x}\right) ^2 - \left( \frac{ \partial g_1 }{ \partial x}\right) ^2 \frac{ \partial g_2 }{ \partial t} \Big |_{(t,x)} \\&= -128r^3 H(t,x), \end{aligned} \end{aligned}$$where
$$\begin{aligned} H(t,x) := \left( 3+4t^2+8tx \right) \left( 4+5t^2+2t^4+17tx+8t^3x+14t^2x^2 \right) . \end{aligned}$$Therefore each critical point of G satisfies
$$\begin{aligned} 3+4t^2+8tx =0 \end{aligned}$$(43)or
$$\begin{aligned} 4+5t^2+2t^4+\left( 17t+8t^3 \right) x+14t^2x^2=0. \end{aligned}$$(44)- (A1.1.):
-
Assume that (43) holds. Then \( x=x(t)= -(3+4t^2)/(8t),\) and by (40) we see that
$$\begin{aligned} \varPhi \left( t,-\frac{3+4t^2}{8t}\right) = - \frac{1}{32}(1+4t^2)^2 (39-104t^2 +48t^4)=0 \end{aligned}$$occurs when \(t={\hat{t}}_1,\) where
$$\begin{aligned} {\hat{t}}_1 = \frac{1}{2} \sqrt{ \frac{1}{3}(13-2\sqrt{13}) } = 0.694556\cdots \end{aligned}$$Thus
$$\begin{aligned} x=x({\hat{t}}_1 )= {\hat{x}}_1 = - \frac{1}{78} (13+\sqrt{13}) \sqrt{39-6\sqrt{13}} = -\,0.887191\cdots . \end{aligned}$$However, it can be seen that
$$\begin{aligned} \frac{ 1+2{\hat{t}}_1^2+2{\hat{t}}_1{\hat{x}}_1 }{ 5+6{\hat{t}}_1^2+14{\hat{t}}_1{\hat{x}}_1 } <0, \end{aligned}$$which means that the inequality (41) is not satisfied for \(t={\hat{t}}_1\) and \(x={\hat{x}}_1\). Therefore G has no critical point in the interior of \(\varOmega \) in the case of (43).
- (A1.2.):
-
Suppose now that (44) is satisfied. Then the division algorithm gives \(\varPhi =0\) when \({\tilde{\varPhi }}=0\), where
$$\begin{aligned} {\tilde{\varPhi }}(t,x):= -53 +38t^2 +312t^4 +48t^6 -576t^8 + t(-150 +320t^2 +496t^4 -960t^6)x. \end{aligned}$$On the other hand, (44) as a quadratic equation of x with \(\varDelta :=65 - 8t^2 -48t^4>0,\ t\in (0,1),\) has two roots, namely,
$$\begin{aligned} x_i= x_i(t) = \frac{ -(17+8t^2) + (-1)^{i+1} \sqrt{ 65 - 8t^2 -48t^4 }}{ 28t }, \quad i=1,2. \end{aligned}$$(45)- (I):
-
Let \(x=x_1.\) Then \({\tilde{\varPhi }}(t,x_1(t))=0\) is equivalent to
$$\begin{aligned} \begin{aligned}&\left( 75 -160t^2 -248t^4 +480t^6 \right) \sqrt{ 65 -8t^2 -48t^4 }\\&\quad = 533 -1588t^2 -1128t^4 +6848t^6 -4224t^8. \end{aligned} \end{aligned}$$(46)Squaring both sides of (46) we obtain
$$\begin{aligned} 6272 \gamma _1(t)\gamma _2^2(t) = 0, \end{aligned}$$(47)where
$$\begin{aligned} \gamma _1(t) := -13 +12t^2 +72t^4,\quad t\in (0,1), \end{aligned}$$and
$$\begin{aligned} \gamma _2(t) := 1+t^2-10t^4+8t^6=\left( 1-t^2 \right) \left( 1-2t^2 \right) \left( 1+4t^2 \right) ,\quad t\in (0,1). \end{aligned}$$By finding all zeros of polynomials \(\gamma _1\) and \(\gamma _2\) we state that there are two roots \(t_1\) and \(t_2\) in (0, 1) of the Eq. (47), namely,
$$\begin{aligned} t_1:= \frac{1}{ \sqrt{2} } = 0.707\cdots ,\quad t_2:= \frac{1}{2}\sqrt{ \sqrt{3} -\frac{1}{3}} = 0.591\cdots \end{aligned}$$(48)For \(t=t_1\), by (45) we have \({\tilde{x}}_1:=x_1(t_1)=-1/\sqrt{2}.\) However, \({\tilde{\varPhi }}(t_1,{\tilde{x}}_1) = 7 \not =0\). For \(t=t_2\), by (45) we have
$$\begin{aligned} {\tilde{x}}_2:=x_1(t_2)= \frac{ -7+\sqrt{3} }{ 2 \sqrt{-3+9\sqrt{3}} }=-\,0.742378\cdots \end{aligned}$$(49)It can be verified that \({\tilde{\varPhi }}(t_2,{\tilde{x}}_2) =0\) and the inequality (41) holds for \(t=t_2\) and \(x={\tilde{x}}_2\). Therefore G has a critical point at \((t_2,{\tilde{x}}_2)\).
- II.:
-
If \(x=x_2\), then a similar method as in the case of \(x=x_1\) leads us to state that \(G(t,x_2(t))\) is not critical point of G in the interior of \(\varOmega \) for every \(t\in (0,1)\).
Therefore, by A, B1 and B2, the function G has the unique critical point at \((t_2,{\tilde{x}}_2)\). A numerical computation yields
$$\begin{aligned} \lambda _1 \lambda _3 - \lambda _2^2 = 87.8004\cdots>0 \quad \text {and}\quad \lambda _1 = 8.99071\cdots >0, \end{aligned}$$where
$$\begin{aligned} \lambda _1 := \frac{\partial ^2 G}{\partial t^2}(t_2,{\tilde{x}}_2),\quad \lambda _2 := \frac{\partial ^2 G}{\partial t \partial x}(t_2,{\tilde{x}}_2),\quad \lambda _3 = \frac{\partial ^2 G}{\partial x^2}(t_2,{\tilde{x}}_2). \end{aligned}$$Thus G has a local minimum at \((t_2,{\tilde{x}}_2).\)
- (A2.):
-
It remains to consider G on the boundary of \(\varOmega \).
- 1.:
-
On the side \(t=0\),
$$\begin{aligned} G(0,x) \equiv 0 > \varTheta ,\quad x\in [-1,1]. \end{aligned}$$ - 2.:
-
On the side \(t=1\),
$$\begin{aligned} G(1,x)=8+22x+14x^2 \ge G(1,-11/14) = -\,9/14 > \varTheta ,\quad x\in [-\,1,1]. \end{aligned}$$ - 3.:
-
On the side \(x=1\),
$$\begin{aligned} G(t,1)=2t(3+9t+8t^2+2t^3)\ge G(0,0) = 0 > \varTheta ,\quad t\in [0,1]. \end{aligned}$$ - 4..:
-
On the side \(x=-1\),
$$\begin{aligned} \varrho (t):=G(t,-1)=1 -10t +19t^2 -12t^3 +2t^4 -(1-t^2)\left| 1-4t+2t^2\right| . \end{aligned}$$For \(t \in \left[ 0,(2-\sqrt{2})/2 \right] =:I_1\) we have \(1-4t+2t^2 \ge 0\). Therefore using inequalities
$$\begin{aligned} t(1-t) \le \frac{1}{2}(-1+\sqrt{2}),\quad 3-6t+2t^2 \le 3, \quad t\in I_1, \end{aligned}$$we obtain
$$\begin{aligned} \varrho (t) = -\,2t(1-t)(3-6t+2t^2) \ge 3-3\sqrt{2} = -1.24264\cdots > \varTheta , \quad t\in I_1. \end{aligned}$$For \(t\in [(2-\sqrt{2})/2,1]=:I_2\) we have \(1-4t+2t^2 \le 0\) and \(\varrho (t) = 2-14t+20t^2-8t^3 \). Since \(\varrho '(t) = 0\) occurs only when \(t=1/2 \in I_2\) and \(\varrho ''(1/2)=16>0,\) we obtain
$$\begin{aligned} \varrho (t) \ge \varrho (1/2) = -1 > \varTheta , \quad t\in I_2. \end{aligned}$$
- (B):
-
If \(\zeta _1=0,\) then
$$\begin{aligned} \varPsi _1=8-4|\zeta _2|^2,\quad \varPsi _2=4{{\,\mathrm{Re}\,}}(\zeta _2), \end{aligned}$$and therefore
$$\begin{aligned} T_{3,1}(f)=8-4|\zeta _2|^2+4{{\,\mathrm{Re}\,}}(\zeta _2)\ge 0. \end{aligned}$$ - (C):
-
If \(\zeta _2=0\) and \(\zeta _1\not =0,\) then \(\varPsi _4=0\) in view of (33). Thus the inequality (35) is true and therefore further consideration of Part A of the proof remains valid.
Summarizing, from Parts A-C it follows that the inequality (28) holds.
Now, we discuss sharpness. From (29), (36), (37) and (38) we see that \(T_{3,1}(f) = 4\varTheta \) holds when
where \(t_2\) and \({\tilde{x}}_2\) are given by (48) and (49), and \(\alpha \) is determined by the condition (21) with \(\kappa _1\) and \(\kappa _2\) given in (34). Set \(\theta =\arccos ({\tilde{x}}_2),\) so that it satisfies the second condition in (50). Then \(\kappa _1 = 0.889045\cdots >0\) and \(\kappa _2 = -\,0.0684473\cdots <0\). Thus (21) is satisfied if we take
Thus, if we put
then \(\psi \) satisfies the fourth condition in (50). Now, consider a function \({\tilde{p}}\) which has the form (11) with \(\zeta _1 = t_2{\mathrm {e}}^{{\mathrm {i}}\theta }\) and \(\zeta _2 = {\mathrm {e}}^{{\mathrm {i}}\psi }\). Since \(\zeta _1\in {\mathbb {D}}\) and \(\zeta _2 \in {\mathbb {T}}\), in view of Lemma 1, we see that \({\tilde{p}}\) belongs to \({{\mathcal {P}}}\). Finally, define
Since \({\tilde{f}} \in {{{\mathcal {S}}}{{\mathcal {T}}}}(1)\) and \(T_{3,1}({\tilde{f}})=4\varTheta \), the proof of Theorem 7 is completed. \(\square \)
Remark 1
Let us mention that in [14] it was proved that \(-3\le T_{2,1}(f) \le 1\) and \(-3\le T_{3,1}(f)\le 8\) for \(f\in {\mathcal {S}}^*.\) Note that the result for \(T_{2,1}(f)\) in \({\mathcal {S}}^*\) is identical as for the class \(\mathcal {CST}({\mathrm {i}})\) shown in this paper. This is due to the fact that Koebe function k belongs to both classes and is extremal. The difference between these two classes is visible on \(T_{3,1}(f)\) which for the class \(\mathcal {CST}({\mathrm {i}})\) is estimated as \(-9\le T_{3,1}(f)\le 8.\) This is one reason why studying the Hermitian Toeplitz determinants seems sensible. Their lower and upper sharp bounds carry some information about the richness of the class. Classical estimates of coefficients does not necessarily include such a distinction, e.g., both in the class \({\mathcal {S}}^*\) and in \(\mathcal {CST}({\mathrm {i}})\) modulus of n-th coefficient is bounded by n with k as the extremal function (e.g., [16, Vol. I, p. 116] for the class \({\mathcal {S}}^*\); for the class \(\mathcal {CST}({\mathrm {i}})\) it is an immediate consequence of Theorem 16 of [16]).
References
Alexander, J.W.: Functions which map the interior of the unit circle upon simple regions. Ann. Math. 1(7), 12–22 (1915)
Ali, Md Firoz, Thomas, D.K., Vasudevarao, A.: Toeplitz determinants whose elements are the coefficients of analytic and univalent functions. Bull. Aust. Math. Soc. 97(2), 253–264 (2018)
Babalola, K.O.: On \(H_3(1)\) Hankel determinants for some classes of univalent functions. In: Cho, Y.J. (ed.) Inequality Theory and Applications, vol. 6, pp. 1–7. Nova Science Publishers, New York (2010)
Bansal, D., Maharana, S., Prajapat, J.K.: Third order Hankel determinant for certain univalent functions. J. Korean Math. Soc. 52(6), 1139–1148 (2015)
Biernacki, M.: Sur la représentation conforme des domaines linéairement accessibles. Prace Mat.-Fiz. 44, 293–314 (1936)
Bshouty, D., Lyzzaik, A.: Univalent Functions Starlike with Respect to a Boundary Point. Contemp. Math. 382, 83–87 (2005). [Complex Analysis and Dynamical Systems II, A Conference in Honor of Professor Lawrence Zalcman’s Sixtieth Birthday, June 9-12, 2003 Nahariya, Israel]
Carathéodory, C.: Über den Variabilitatsbereich der Koeffizienten von Potenzreihen, die gegebene werte nicht annehmen. Math. Ann. 64, 95–115 (1907)
Causey, W.M., Merkes, E.P.: Radii of starlikeness of certain classes of analytic functions. J. Math. Anal. Appl. 31, 579–586 (1970)
Cho, N.E., Kowalczyk, B., Kwon, O.S., Lecko, A., Sim, Y.J.: Some coefficient inequalities related to the Hankel determinant for strongly starlike functions of order alpha. J. Math. Inequal. 11(2), 429–439 (2017)
Cho, N.E., Kowalczyk, B., Kwon, O.S., Lecko, A., Sim, Y.J.: The bounds of some determinants for starlike functions of order alpha. Bull. Malays. Math. Sci. Soc. 41(1), 523–535 (2018)
Cho, N.E., Kowalczyk, B., Lecko, A.: Sharp bounds of some coefficient functionals over the class of functions convex in the direction of the imaginary axis. Bull. Aust. Math. Soc. 100, 86–96 (2019)
Ciozda, K.: O klasie funkcji wypukłych w ujemnym kierunku osi rzeczywistej, jej podklasach i podstawowych własnościach, Ph.D. Thesis, Lublin (1978) (in Polish)
Ciozda, K.: Sur la classe des fonctions convexes vers l’axe réel négatif. Bull. Acad. Polon. Sci. 27(3–4), 255–261 (1979)
Cudna, K., Kwon, O.S., Lecko, A., Sim, Y.J., Śmiarowska, B.: The second and third-order Hermitian Toeplitz determinants for starlike and convex functions of order \(\alpha \). Bol. Soc. Mat. Mex. 2019, 3 (2019). https://doi.org/10.1007/s40590-019-00271-1
Elin, M., Shoikhet, D.: Linearization Models for Complex Dynamical Systems. Topics in Univalent Functions, Functional Equations and Semigroup Theory. Birkhäuser, Basel (2010)
Goodman, A.W.: Univalent Functions. Mariner, Tampa (1983)
Jakubowski, Z.J., Lecko, A.: On certain classes of quasi-typically-real functions. Demonstr. Math. 27(2), 521–536 (1994)
Janteng, A., Halim, S.A., Darus, M.: Hankel determinant for starlike and convex functions. Int. J. Math. Anal. 1(13), 619–625 (2007)
Kaplan, W.: Close to convex schlicht functions. Michigan Math. J. 1, 169–185 (1952)
Kowalczyk, B., Kwon, O.S., Lecko, A., Sim, Y.J.: The bounds of some determinants for functions of bounded turning of order alpha. Bull. Soc. Sci. Lett. Łódź Sér. Rech. Déform. LXVII(1), 107–118 (2017)
Kowalczyk, B., Kwon, O.S., Lecko, A., Sim, Y.J., Śmiarowska, B.: The third-order Hermitian Toeplitz determinant for classes of functions convex in one direction. Bull. Malays. Math. Sci. Soc. 2019, 1–16 (2019). https://doi.org/10.1007/s40840-019-00859-w
Kowalczyk, B., Lecko, A., Sim, Y.J.: The sharp bound of the Hankel determinant of the third kind for convex functions. Bull. Aust. Math. Soc. 97, 435–445 (2018)
Kowalczyk, B., Lecko, A., Lecko, M., Sim, Y.J.: The sharp bound of the third Hankel determinant for some classes of analytic functions. Bull. Korean Math. Soc. 55(6), 1859–1868 (2018)
Kwon, O.S., Lecko, A., Sim, Y.J.: The bound of the Hankel determinant of the third kind for starlike functions. Bull. Malays. Math. Sci. Soc. 42, 767–780 (2019)
Lecko, A., Sim, Y.J., Śmiarowska, B.: The sharp bound of the Hankel determinant of the third kind for starlike functions of order \(1/2\). Complex Anal. Oper. Theory 13, 2231–2238 (2019)
Lecko, A.: On the class of functions convex in the negative direction of the imaginary axis. J. Aust. Math. Soc. 73, 1–10 (2002)
Lecko, A.: Some Methods in the Theory of Univalent Functions. Oficyna Wydawnicza Politechniki Rzeszowskiej, Rzeszów (2005)
Lee, S.K., Ravichandran, V., Supramanian, S.: Bound for the second Hankel determinant of certain univalent functions. J. Inequal. Appl. 2013(281), 1–17 (2013)
Lewandowski, Z.: Sur l’identiteé de certaines classes de fonctions univalentes, I, II. Ann. Univ. Mariae Curie-Skłodowska Sect. A 12, 131–146 (1958)
Lewandowski, Z.: Sur l’identiteé de certaines classes de fonctions univalentes, I, II. Ann. Univ. Mariae Curie-Skłodowska Sect. A 14, 19–46 (1960)
MacGregor, T.H.: The radius of univalence of certain analytic functions. Proc. Am. Math. Soc. 14, 514–520 (1963)
Mishra, A.K., Gochhayat, P.: Second Hankel determinat for a class of analytic functions defined by fractional derivative. Int. J. Math. Math. Sci. 2008, 1–10 (2008). (Article ID 153280)
Pommerenke, C.: Univalent Functions. Vandenhoeck & Ruprecht, Göttingen (1975)
Prajapat, J.K., Bansal, D., Singh, A., Mishra, A.K.: Bounds on third Hankel determinant for close-to-convex functions. Acta Univ. Sapientae Math. 7(2), 210–219 (2015)
Ravichandran, V., Verma, S.: Generalized Zalcman conjecture for some classes of analytic functions. J. Math. Anal. Appl. 450(1), 592–605 (2017)
Reade, M.: On close-to-convex univalent functions. Michigan Math. J. 3, 59–62 (1955)
Robertson, M.S.: Analytic functions star-like in one direction. Am. J. Math. 58, 465–472 (1936)
Sakaguchi, K.: The radius of convexity for certain class of regular functions. J. Nara Gakugei Univ. Natur. Sci. 12, 5–8 (1964)
Sudharsan, T.V., Vijayalaksmi, S.P., Sthephen, B.A.: Third Hankel determinant for a subclass of analytic functions. Malay. J. Mat. 2(4), 438–444 (2014)
Acknowledgements
We would like to express gratitude to the referees for their constructive comments that helped to improve the clarity of this manuscript. The fifth author was supported by the National Research Foundation of Korea(NRF) grant funded by the Korea government(MSIP; Ministry of Science, ICT & Future Planning) (No. NRF-2017R1C1B5076778).
Author information
Authors and Affiliations
Corresponding author
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
Jastrzȩbski, P., Kowalczyk, B., Kwon, O.S. et al. Hermitian Toeplitz determinants of the second and third-order for classes of close-to-star functions. RACSAM 114, 166 (2020). https://doi.org/10.1007/s13398-020-00895-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-020-00895-3