Bounds for Hermitian Toeplitz and Hankel Determinants for a Certain Subclass of Analytic Functions Related to the Sine Function

Abstract

This study of Hankel and Hermitian Toeplitz determinants is one of the major areas of interest in Geometric function theory and has wide applications in the areas of signal processing and Applied Mathematics. In our present investigations, we define a new subclass of normalized analytic functions $\mathfrak{H}\left(\lambda \right)$$(\lambda \ge 0)$, defined using a subordination relation with the sine function $\mathcal{K}\left(z\right)=1+sinz$. For the class $\mathfrak{H}\left(\lambda \right)$, coefficient estimates, upper and lower bounds for the Hermitian Toeplitz determinants of second and third order are found. In addition, estimates are provided for the second and third-order Hankel determinants for the class $\mathfrak{H}\left(\lambda \right)$.

1. Introduction

Let the class of normalized analytic functions of the form

$$\begin{array}{c}\hfill f\left(z\right)=z+\sum _{n=2}^{\infty }{a}_n{z}^n\end{array}$$

(1)

defined on the open unit disk $\mathbb{D}:=\{z\in \mathbb{C}:|z|<1\}$ be denoted by A and let S be the subclass of A consisting of univalent functions.

The class of Caratheodory functions denoted by P consists of analytic functions $p\left(z\right)$ given by

$$\begin{array}{c}\hfill p\left(z\right)=1+p_{1}z+p_2{z}^2+p_3{z}^3+\cdots ,\end{array}$$

(2)

where Re$\left(p\right(z\left)\right)>0$ for $z\in \mathbb{D}$ and $p\left(0\right)=1$.

An analytic function f is subordinate to another analytic function g, denoted by $f\prec g$, if there exists an analytic function $\omega$ with $\left|\omega \right(z\left)\right|<\left|z\right|$ and $\omega \left(0\right)=0$ such that $f\left(z\right)=g\left(\omega \right(z\left)\right)$. If g is univalent then $f\left(z\right)\prec g\left(z\right)$⇔$f\left(0\right)=g\left(0\right)$ and $f\left(\mathbb{D}\right)\subset g\left(\mathbb{D}\right)$.

Let $\varphi \left(z\right)$ be an analytic function with a positive real part on $\mathbb{D}$ with $\varphi \left(0\right)=1$, ${\varphi }^{\prime }\left(0\right)>0$, which maps the unit disk $\mathbb{D}$ onto a starlike region with respect to 1 and is symmetric with respect to the real axis. In 1992, Ma and Minda [1] defined the classes

$$S_{\varphi }^{\ast }=\left\{f\in A:{\displaystyle \frac{z{f}^{\prime }\left(z\right)}{f\left(z\right)}}\prec \varphi \left(z\right)(z\in \mathbb{D})\right\}$$

and

$$C_{\varphi }=\left\{f\in A:1+{\displaystyle \frac{z{f}^{\prime \prime }\left(z\right)}{f^{\prime }\left(z\right)}}\prec \varphi \left(z\right)(z\in \mathbb{D})\right\}.$$

The above functions are called as functions of Ma and Minda type. It is noted that $S^{\ast }\left({\displaystyle \frac{1+z}{1-z}}\right)=S^{\ast }$ and $C\left({\displaystyle \frac{1+z}{1-z}}\right)=C,$ i.e., the well-known classes of starlike and convex functions.

The class $M_{\lambda }\left(\varphi \right)$ of normalized analytic functions $f\left(z\right)$ satisfying

$${\displaystyle \frac{z{f}^{\prime }\left(z\right)}{f\left(z\right)}}+\lambda {\displaystyle \frac{z^2{f}^{\prime \prime }\left(z\right)}{f\left(z\right)}}\prec \varphi \left(z\right)(\lambda \ge 0)$$

was considered by Darus et al. [2], who investigated the bounds of the Feketo–Szegö functional $|a_3-\mu a_2^2|$, where $\mu$, is real.

For a function $f\in$ A given by (1), Noonan and Thomas [3] defined the qth Hankel determinant as

$$\begin{array}{c}\hfill H_q^n\left(f\right)=\left|\begin{array}{cccc}{a}_n& a_{n+1}& \cdots & a_{n+q-1}\\ a_{n+1}& a_{n+2}& \cdots & a_{n+q}\\ ⋮& ⋮& \cdots & ⋮\\ a_{n+q-1}& a_{n+q}& \cdots & a_{n+2q-2}\end{array}\right|\end{array}$$

(3)

where $a_1=1,q,n\in \mathbb{N}:=\{1,2,3\cdots \}$.

In particular,

$$\begin{array}{cc}\hfill H_2^1\left(f\right)& =\left|\begin{array}{cc}1& a_2\\ a_2& a_3\end{array}\right|=a_3-a_2^2,\hfill \\ \hfill H_2^2\left(f\right)& =\left|\begin{array}{cc}{a}_2& a_3\\ a_3& a_4\end{array}\right|=a_2{a}_4-a_3^2\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill H_3^1\left(f\right)& =\left|\begin{array}{ccc}1& a_2& a_3\\ a_2& a_3& a_4\\ a_3& a_4& a_5\end{array}\right|\hfill \\ \hfill & =a_3(a_2{a}_4-a_3^2)-a_4(a_4-a_2{a}_3)+a_5(a_3-a_2^2).\hfill \end{array}$$

The study of coefficient problems is indispensable in the area of univalent function theory. In 1960, Pommerenke [4] started researching Hankel determinants for functions that are starlike and univalent. The optimal bound for $|H_2^n\left(f\right)|$ of areally mean p-valent functions was computed by Hayman in [5]. Janteng et al. [6] determined the precise upper limit for the second Hankel determinant for classes of starlike and convex functions. Subsequently, for the class of convex functions C, the authors of [7] estimated the bound for the third Hankel determinant as $|H_3^1\left(f\right)|\le {\displaystyle \frac{4}{135}}$ and established the sharpness of the bound by providing an extremal function $f\left(z\right)=arctanz$ for which the equality holds, and Arif [8] obtained a non-sharp bound for the fourth Hankel determinant for functions with bounded turning. The authors of [9] used the concept of subordination to improve an existing bound of the third Hankel determinant for f, satisfying ${\displaystyle \frac{z{f}^{\prime }\left(z\right)}{f\left(z\right)}}\prec \sqrt{1+z}$. Further, Vijayalakshmi et al. [10] investigated the bounds of the third-order Hankel determinant for a generalized class of analytic functions, which reduces to a class of functions with bounded turning. Furthermore, Cho and Kumar determined the bound for $|a_5|$ and computed a non-sharp bound on the third and fourth Hankel determinants for starlike functions associated with a lune-shaped region in [11]. Recently, Breaz et al. [12] have obtained the upper bound for the third Hankel determinant for functions f involving the quantities ${\displaystyle \frac{z{f}^{\prime }\left(z\right)}{f\left(z\right)}}$, $\left|log{\displaystyle \frac{z{f}^{\prime }\left(z\right)}{f\left(z\right)}}\right|$ and ${\displaystyle \frac{{\left(z{f}^{\prime }\left(z\right)\right)}^{\prime }}{f^{\prime }\left(z\right)}}$ associated with the exponential function $e^z$.

The Hermitian Toeplitz determinant, a special case of the Hankel determinant defined by the coefficients ${\left\{a_k\right\}}_{k\ge 2}$ of the function $f\in A$ given by (1) is described by Hartman and Winter [13] as follows:

$$\begin{array}{c}\hfill det\left(T_{m,n}\left(f\right)\right)=\left|\begin{array}{cccc}{a}_n& a_{n+1}& \cdots & a_{n+m-1}\\ \overline{a_{n+1}}& a_n& \cdots & a_{n+m-2}\\ ⋮& ⋮& \cdots & ⋮\\ \overline{a_{n+m-1}}& \overline{a_{n+m-2}}& \cdots & a_n\end{array}\right|\end{array}$$

(4)

where $a_1=1,m,n\in \mathbb{N}.$

In particular,

$$det{T}_{2,1}\left(f\right)=\left|\begin{array}{cc}1& a_2\\ \overline{a_2}& 1\end{array}\right|=1-{\left|a_2\right|}^2,$$

and

$$det\left(T_{3,1}\left(f\right)\right)=\left|\begin{array}{ccc}1& a_2& a_3\\ \overline{a_2}& 1& a_2\\ \overline{a_3}& \overline{a_2}& 1\end{array}\right|=2Re\left(a_2^2\overline{a_3}\right)-2|a_2{|}^2-{\left|a_3\right|}^2+1.$$

Hermitian Toeplitz matrices and their determinants find extensive applications in various fields. In signal processing, Hermitian Toeplitz matrices serve as autocorrelation matrices and their determinants are useful to study statistical properties like power spectra and the presence of periodic components [14], and they are used in linear prediction theory to model signals and estimate their parameters. Furthermore, Hermitian Toeplitz and Hankel matrices are used for efficient data transmission and reception in aircraft communication [15].

This study of Hankel and Hermitian Toeplitz in the area of univalent function theory has gained momentum in recent years. For second and third-order Toeplitz determinants whose components are Taylor’s coefficients of functions f in S, the sharp upper bounds were estimated by Ali et al. [16] for subclasses of starlike and convex functions. Cudna et al. [17] estimated the sharp lower and upper bounds for second and third-order Hermitian Toeplitz determinants for the classes of starlike and convex functions of order $\alpha$. The bounds for $|a_n|,n=2,3,\cdots$ for the classes of starlike and convex functions related to a shell-like curve domain connected with Fibonacci numbers are estimated in [18,19]. Kumar et al. [20] obtained the bounds for $|a_n|,n=2,3,4,5$ for the classes of Janowski-type starlike functions and estimated the sharp lower and upper bounds on second and third-order Hermitian Toeplitz determinants, generalizing the results of [17]. Later, Lecko et. al [21] obtained bounds for second- and third-order Hermitian Toeplitz determinants for certain subclasses of analytic functions. Recently, by using the concept of subordination, Gurusamy et al. [22] estimated the bounds of second and third-order Hermitian Toeplitz determinants for some subclasses of analytic functions associated with exponential functions.

Consider the function $\mathcal{K}\left(z\right)=1+sinz$, which is analytic and univalent in $\mathbb{D}$. The image of the unit disc under this function is found with the aid of MATLAB R2021a as a sine curve region on the right half plane and is given in Figure 1.

Further, it is noted that the range $\mathcal{K}\left(\mathbb{D}\right)$ is symmetric with respect to the real axis and $Re\left(\mathcal{K}\right(\mathbb{D}\left)\right)>0,$ for $z\in \mathbb{D}$ with $\mathcal{K}\left(0\right)=1,{\mathcal{K}}^{\prime }\left(0\right)>0$. Moreover, the domain is starlike with respect to the point $\mathcal{K}\left(0\right)=1$.

In [23], Cho et al. introduced the class $S_s^{\ast }$ of univalent functions, which is defined such that the quantity ${\displaystyle \frac{z{f}^{\prime }\left(z\right)}{f\left(z\right)}}$ is subordinate to the function $\mathcal{K}\left(z\right)=1+sinz$, and they established the radii of starlikeness and convexity for functions in $S_s^{\ast }$. This work propelled the study on the sine curve domain and has gained interest in recent years. Briefly, Arif et al. [24] estimated the bounds of the third Hankel determinant for functions in classes $S_s^{\ast }$, $C^{\ast }:=\{f\in A:1+{\displaystyle \frac{z{f}^{\prime \prime }\left(z\right)}{f^{\prime }\left(z\right)}}\prec 1+sinz(z\in \mathbb{D})\}$ and $R_{sin}:=\{f\in A:f^{\prime }\left(z\right)\prec 1+sinz(z\in \mathbb{D})\}.$ For f in $S_s^{\ast }$, Zhang and Tang [25] obtained the bounds for the coefficients $a_k,k=2$ to 7 and established the following: $|H_2^1\left(f\right)|\le {\displaystyle \frac{1}{2}}$, $|H_2^2\left(f\right)|\le {\displaystyle \frac{1}{4}}$, $|a_2{a}_3-a_4|\le {\displaystyle \frac{1}{3}}$, $|a_2{a}_5-a_3{a}_4|\le {\displaystyle \frac{11}{56}}$, $|a_5-a_2{a}_4|\le {\displaystyle \frac{13}{32}}$, $|a_5{a}_3-a_4^2|\le {\displaystyle \frac{97}{324}}$ and $|H_4^1\left(f\right)|\le 0.81945.$ The fourth Hankel determinant for the class $C^{\ast }$ was obtained by Zulfiqar et al. [26]. For the class of starlike functions with respect to symmetric points related to the sine function, Ghaffar et al. [27] estimated the upper bounds on the third Hankel determinant. Further, Bilal Khan et al. [28] gave the bounds for the third Hankel determinant for the class $S_s^{\ast }$ using logarithmic coefficients. The third Hankel determinant for subclasses of analytic and m-fold symmetric functions involving the sine domain was given by Alahmade et al. [29]. The upper bounds for Hermitian Toeplitz determinants of second and third order for $S^{\ast }\left(\varphi \right)$ and $C\left(\varphi \right)$ were obtained by Surya Giri and Sivaprasad Kumar [30], who further deduced the results for different choices of $\varphi$. Recently, Kamali and Alina [31] obtained the bounds for the second and third-order Hankel determinants for functions in $S_s^{\ast }$ and $C^{\ast }$ that are associated with a differential operator.

Motivated by the class studied by Darus et al. [2] and the aforementioned works, in this paper, we estimate the coefficient bounds, upper and lower bounds for Hermitian Toeplitz determinants, and estimates for second and third-order Hankel determinants for a class of analytic functions related to a sine curve region, using the technique of subordination.

2. Preliminaries

In this section, we provide the definition and Lemmas that are required to establish the main results in the subsequent sections.

  Definition 1. 

For $\lambda \ge 0$, let $\mathfrak{H}\left(\lambda \right)$ denote the class of functions $f\in A$, which satisfies the subordination relation

$$\begin{array}{c}\hfill {\displaystyle \frac{z{f}^{\prime }\left(z\right)+\lambda z^2{f}^{\prime \prime }\left(z\right)}{f\left(z\right)}}\prec 1+sinz,z\in \mathbb{D}.\end{array}$$

In order to prove that class $\mathfrak{H}\left(\lambda \right)$ is non-empty, we provide the following example:

  Example 1. 

Let $f:\mathbb{D}\to \mathbb{C}$ be defined by

$$\begin{array}{cc}\hfill f\left(z\right)& =z+a{z}^2,0\le a\le {\displaystyle \frac{1}{{10}^{\lambda +1}}},\lambda \ge 0,f\in \mathfrak{H}\left(\lambda \right).\hfill \end{array}$$

Therefore, for $z\in \mathbb{D}$,

$$\begin{array}{c}\hfill {\displaystyle \frac{z{f}^{\prime }\left(z\right)+\lambda z^2{f}^{\prime \prime }\left(z\right)}{f\left(z\right)}}={\displaystyle \frac{1+2a(\lambda +1)z}{1+az}}:=g_{\lambda }\left(z\right).\end{array}$$

For $0\le a\le {\displaystyle \frac{1}{{10}^{\lambda +1}}}$, we see that $g_{\lambda }$ maps the unit disc onto the open disc that is symmetric about the real axis. The image is obtained using MATLAB R2021a SOFTWARE. The region inside the red colour curve denotes the image of unit disk $\mathbb{D}$ under the mapping $\mathcal{K}\left(z\right)=1+sinz$ and the region inside the green colour curve denotes the image of unit disk $\mathbb{D}$ under the mapping $g_{\lambda }\left(z\right)$. The images of unit disk under $\mathcal{K}\left(z\right)$ and $g_{\lambda }\left(z\right)$ for different values of $\lambda$ and a in the range specified are given in Figure 2, Figure 3 and Figure 4.

  Remark 1. 

For $\lambda =0$, the class $\mathfrak{H}\left(\lambda \right)$ reduces to the class ${\mathbb{S}}_s^{\ast }$ studied by Zhang and Tang [25].

  Lemma 1 

([32]). If $p\in P$ is of the form (2) with $Re\left(p\right(z\left)\right)>0$$(z\in \mathbb{D})$, then

• $$\begin{array}{ll}\hfill & \left(i\right)2p_2=p_1^2+(4-p_1^2)x,\hfill \end{array}$$

  (5)
• $$\begin{array}{cc}& \left(ii\right)4p_3=p_1^3+2(4-p_1^2)p_{1}x-(4-p_1^2)p_1{x}^2+2(4-p_1^2){(1-|x|}^2)z,\hfill \end{array}$$

  (6)

for some complex number $x,z$ satisfying $\left|x\right|\le 1and\left|z\right|\le 1.$

  Lemma 2 

([33]). If $p\in P$, then for all $m,n\in \mathbb{N},$

$$\begin{array}{c}\hfill |\mu p_n{p}_m-p_{m+n}|\le \left\{\begin{array}{cc}2,\hfill & 0\le \mu \le 1\hfill \\ 2|2\mu -1|,\hfill & \mathit{elsewhere}\hfill \end{array}\right..\end{array}$$

(7)

  Lemma 3 

([34]). If $p\in P$, then

$$\begin{array}{c}\hfill |p_2-{\displaystyle \frac{p_1^2}{2}}|\le 2-{\displaystyle \frac{|p_1^2|}{2}}.\end{array}$$

(8)

Finally, we recall that if $f\in A$ and $g\left(z\right)=e^{-i\theta }f\left(e^{i\theta }z\right),\theta \in \mathbb{R}$ then, $g\in A$. It can be easily seen that $\mathfrak{H}\left(\lambda \right)$ and the functionals $|a_4-a_2{a}_3|$, $det\left(T_{(2,1)}f\right)$, $det\left(T_{(3,1)}\left(f\right)\right)$, $|H_2^1\left(f\right)|$, $|H_2^2\left(f\right)|$ and $|H_3^1\left(f\right)|$ are rotationally invariant. Due to this condition, without loss of generality, we may assume that the second coefficient, namely $p_1$, is positive and $p_1\in [0,2]$ is used in all considerations.

3. Coefficient Estimates

In the following result, we find the coefficient bounds for $f\in \mathfrak{H}\left(\lambda \right)$.

  Theorem 1. 

If f of the form (1) is in $\mathfrak{H}\left(\lambda \right)$, then, for $\lambda \ge 0$,

$$\begin{array}{cc}\hfill & |a_2|\le {\displaystyle \frac{1}{1+2\lambda }},\hfill \end{array}$$

$$\begin{array}{cc}\hfill & |a_3|\le {\displaystyle \frac{1}{2(1+3\lambda )}},\hfill \end{array}$$

$$\begin{array}{c}\hfill |a_4|\le \left\{\begin{array}{cc}{\displaystyle \frac{1}{3(1+4\lambda )}}\left[1+{\displaystyle \frac{102{\lambda }^2+37\lambda +2}{18\sqrt{3}(1+2\lambda )(1+3\lambda )}}\right]\hfill & \mathit{if}\lambda \in [0,{\displaystyle \frac{5}{8}}]\hfill \\ \\ {\displaystyle \frac{1}{3(1+4\lambda )}}\left[1+{\displaystyle \frac{54{\lambda }^2+13\lambda }{6(1+2\lambda )(1+3\lambda )}}\right]\hfill & \mathit{if}\lambda >{\displaystyle \frac{5}{8}}\hfill \end{array}\right.,\end{array}$$

$$\begin{array}{cc}\hfill & |a_5|\le {\displaystyle \frac{3(1+4\lambda )}{8(1+3\lambda )(1+5\lambda )}}.\hfill \end{array}$$

The first two bounds are the best possible.

  Proof. 

Let the function $f\in \mathfrak{H}\left(\lambda \right)$. Then, for some $p\in P$, we can write

$${\displaystyle \frac{z{f}^{\prime }\left(z\right)+\lambda z^2{f}^{\prime \prime }\left(z\right)}{f\left(z\right)}}=1+sin\left({\displaystyle \frac{p\left(z\right)-1}{p\left(z\right)+1}}\right).$$

From the above equality, we have

$$\begin{array}{cc}\hfill & z+\sum _{n=2}^{\infty }(1+(n-1)\lambda )n{a}_n{z}^n\hfill \\ \hfill & =z+\left({\displaystyle \frac{p_1}{2}}+a_2\right)z^2+\left(\left({\displaystyle \frac{p_2}{2}}-{\displaystyle \frac{p_1^2}{4}}\right)+{\displaystyle \frac{p_1}{2}}{a}_2+a_3\right)z^3+(\left({\displaystyle \frac{p_3}{2}}+{\displaystyle \frac{5p_1^3}{48}}-{\displaystyle \frac{p_1{p}_2}{2}}\right)+\hfill \\ \hfill & \left({\displaystyle \frac{p_2}{2}}-{\displaystyle \frac{p_1^2}{4}}\right)a_2+{\displaystyle \frac{p_1}{2}}{a}_3+a_4)z^4+(\left({\displaystyle \frac{p_4}{2}}-{\displaystyle \frac{p_1{p}_3}{2}}+{\displaystyle \frac{5p_1^2{p}_2}{16}}-{\displaystyle \frac{p_2^2}{4}}-{\displaystyle \frac{p_1^4}{32}}\right)\hfill \\ \hfill & +\left({\displaystyle \frac{p_3}{2}}+{\displaystyle \frac{5p_1^3}{48}}-{\displaystyle \frac{p_1{p}_2}{2}}\right)a_2+\left({\displaystyle \frac{p_2}{2}}-{\displaystyle \frac{p_1^2}{4}}\right)a_3+{\displaystyle \frac{p_1}{2}}{a}_4+a_5)z^5+\cdots .\hfill \end{array}$$

Equating the coefficients of $z^n$ on both sides, we obtain

$$\begin{array}{cc}\hfill & a_2={\displaystyle \frac{p_1}{2(1+2\lambda )}},\hfill \end{array}$$

(9)

$$\begin{array}{cc}\hfill & a_3={\displaystyle \frac{1}{2(1+3\lambda )}}\left[{\displaystyle \frac{p_2}{2}}-{\displaystyle \frac{\lambda p_1^2}{2(1+2\lambda )}}\right],\hfill \end{array}$$

(10)

$$\begin{array}{cc}\hfill & a_4={\displaystyle \frac{1}{3(1+4\lambda )}}\left[{\displaystyle \frac{p_3}{2}}-{\displaystyle \frac{p_1{p}_2(24{\lambda }^2+12\lambda +1)}{8(1+2\lambda )(1+3\lambda )}}+{\displaystyle \frac{p_1^3(30{\lambda }^2+\lambda -1)}{48(1+2\lambda )(1+3\lambda )}}\right],\hfill \end{array}$$

(11)

$$\begin{array}{cc}\hfill & a_5={\displaystyle \frac{1}{4(1+5\lambda )}}[{\displaystyle \frac{p_4}{2}}-{\displaystyle \frac{p_1{p}_3(24{\lambda }^2+11\lambda +1)}{8(1+4\lambda )(1+2\lambda )}}-{\displaystyle \frac{p_2^2(1+6\lambda )}{8(1+3\lambda )}}\hfill \\ & -{\displaystyle \frac{p_1^2{p}_2(360{\lambda }^3+180{\lambda }^2+18\lambda +1)}{48(1+4\lambda )(1+2\lambda )(1+3\lambda )}}-{\displaystyle \frac{p_1^4(216{\lambda }^3-48{\lambda }^2-43\lambda -5)}{288(1+4\lambda )(1+2\lambda )(1+3\lambda )}}].\hfill \end{array}$$

(12)

Since $|p_n|\le 2$ (see [35]) from (9), we have

$$\begin{array}{cc}\hfill & |a_2|\le {\displaystyle \frac{1}{1+2\lambda }}.\hfill \end{array}$$

(13)

Applying Lemma 2 to (10), we obtain

$$\begin{array}{cc}\hfill & |a_3|\le {\displaystyle \frac{1}{2(1+3\lambda )}}.\hfill \end{array}$$

(14)

Now, by rearranging the terms and making use of triangle inequality, (11) becomes

$$\begin{array}{cc}\hfill & |a_4|\le {\displaystyle \frac{1}{3(1+4\lambda )}}\left[{\displaystyle \frac{1}{2}}\right|{\displaystyle \frac{(24{\lambda }^2+12\lambda +1)p_1{p}_2}{3(1+2\lambda )(1+3\lambda )}}-p_3|+\hfill \\ \hfill & |{\displaystyle \frac{p_1{p}_2(24{\lambda }^2+12\lambda +1)}{24(1+3\lambda )(1+2\lambda )}}+{\displaystyle \frac{p_1^3(30{\lambda }^2+\lambda -1)}{48(1+2\lambda )(1+3\lambda )}}|].\hfill \end{array}$$

In virtue of Lemma 2, the above reduces to

$$\begin{array}{cc}\hfill & |a_4|\le {\displaystyle \frac{1}{3(1+4\lambda )}}\left[1+|{\displaystyle \frac{p_1{p}_2(24{\lambda }^2+12\lambda +1)}{24(1+3\lambda )(1+2\lambda )}}+{\displaystyle \frac{p_1^3(30{\lambda }^2+\lambda -1)}{48(1+2\lambda )(1+3\lambda )}}|\right].\hfill \end{array}$$

Applying Lemma 1 and Lemma 3, and letting $p_1=p,p\in [0,2]$, we have

$$\begin{array}{cc}\hfill & |a_4|\le {\displaystyle \frac{1}{3(1+4\lambda )}}\left[1+{\displaystyle \frac{p(24{\lambda }^2+12\lambda +1)}{12(1+3\lambda )(1+2\lambda )}}+{\displaystyle \frac{p^3(30{\lambda }^2+\lambda -1)}{48(1+2\lambda )(1+3\lambda )}}\right]:=F_1(p,\lambda ).\hfill \end{array}$$

Now,

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial F_1}{\partial p}}={\displaystyle \frac{1}{3(1+4\lambda )}}\left[{\displaystyle \frac{(24{\lambda }^2+12\lambda +1)}{12(1+3\lambda )(1+2\lambda )}}+{\displaystyle \frac{p^2(30{\lambda }^2+\lambda -1)}{16(1+2\lambda )(1+3\lambda )}}\right].\end{array}$$

For $\lambda \in [0,{\displaystyle \frac{5}{8}}],$ we see that ${\displaystyle \frac{\partial F_1}{\partial p}}>0$ for $p\in [0,{\displaystyle \frac{2}{\sqrt{3}}})$ and ${\displaystyle \frac{\partial F_1}{\partial p}}<0$ for $p\in ({\displaystyle \frac{2}{\sqrt{3}}},2]$. This implies that $F_1(p,\lambda )$ increases in $[0,{\displaystyle \frac{2}{\sqrt{3}}})$, decreases in $({\displaystyle \frac{2}{\sqrt{3}}},2]$ and the maximum value of $F_1(p,\lambda )$ occurs at $p={\displaystyle \frac{2}{\sqrt{3}}}$.

Therefore,

$$\begin{array}{cc}\hfill & |a_4|\le F_1({\displaystyle \frac{2}{\sqrt{3}}},\lambda )={\displaystyle \frac{1}{3(1+4\lambda )}}\left[1+{\displaystyle \frac{102{\lambda }^2+37\lambda +2}{18\sqrt{3}(1+2\lambda )(1+3\lambda )}}\right].\hfill \end{array}$$

(15)

For $\lambda >{\displaystyle \frac{5}{8}},$ we see that ${\displaystyle \frac{\partial F_1}{\partial p}}>0$ for $p\in [0,2]$ and the maximum value of $F_1(p,\lambda )$ occurs at $p=2$.

Therefore,

$$\begin{array}{cc}\hfill & |a_4|\le F_1(2,\lambda )={\displaystyle \frac{1}{3(1+4\lambda )}}\left[1+{\displaystyle \frac{54{\lambda }^2+13\lambda }{6(1+2\lambda )(1+3\lambda )}}\right].\hfill \end{array}$$

(16)

After a suitable rearrangement of terms in (12), applying the triangle inequality followed by Lemma 2, we have

$$\begin{array}{cc}\hfill & |a_5|\le {\displaystyle \frac{1}{4(1+5\lambda )}}[1+|{\displaystyle \frac{p_1^4(216{\lambda }^3-48{\lambda }^2-43\lambda -5)}{288(1+4\lambda )(1+2\lambda )(1+3\lambda )}}-{\displaystyle \frac{p_2^2(1+6\lambda )}{8(1+3\lambda )}}\hfill \\ \hfill & -{\displaystyle \frac{p_1^2{p}_2(360{\lambda }^3+180{\lambda }^2+18\lambda +1)}{48(1+4\lambda )(1+2\lambda )(1+3\lambda )}}\left|\right].\hfill & \hfill \end{array}$$

By making use of Lemma 1 and letting $p_1=p,p\in [0,2]$, we obtain

$$\begin{array}{cc}\hfill & |a_5|\le {\displaystyle \frac{1}{4(1+5\lambda )}}[1+|{\displaystyle \frac{p^4(216{\lambda }^3-48{\lambda }^2-43\lambda -5)}{288(1+4\lambda )(1+2\lambda )(1+3\lambda )}}-{\displaystyle \frac{p^2(360{\lambda }^3+180{\lambda }^2+18\lambda +1)}{24(1+4\lambda )(1+2\lambda )(1+3\lambda )}}\hfill \\ & -{\displaystyle \frac{(1+6\lambda )}{2(1+3\lambda )}}\left|\right]:={\displaystyle \frac{1}{4(1+5\lambda )}}(1+|F_2(p,\lambda )|).\hfill & \hfill \end{array}$$

By the second derivative test, we see that $F_2(p,\lambda )$ attains the maximum at $p=0$.

Thus,

$$\begin{array}{cc}\hfill & |a_5|\le {\displaystyle \frac{3(1+4\lambda )}{8(1+3\lambda )(1+5\lambda )}}.\hfill \end{array}$$

(17)

The equality for the bounds given in (13) and (14) is obtained by taking

$${\displaystyle \frac{z{f}_n^{\prime }\left(z\right)+\lambda z^2{f}_n^{\prime \prime }\left(z\right)}{f_n\left(z\right)}}=1+sin\left({\left(\omega \left(z\right)\right)}^{n-1}\right).$$

For the given functions

$$f_2\left(z\right)=z+{\displaystyle \frac{z^2}{1+2\lambda }},n=2,$$

$$f_3\left(z\right)=z+{\displaystyle \frac{z^3}{2(1+3\lambda )}},n=3.$$

The proof of our theorem is complete. □

For the choice of $\lambda =0$, the above theorem reduces to the results of Zhang and Tang [25], as given in the following corollary.

  Corollary 1 

([25]). If f of the form (1) is in ${\mathbb{S}}_s^{\ast }$, then $|a_2|\le 1,$$|a_3|\le {\displaystyle \frac{1}{2}}, |a_4|\le 0.344, |a_5|\le {\displaystyle \frac{3}{8}}$.

4. Hermitian Toeplitz Determinant

In this section, the upper and lower bounds for $det\left(T_{(2,1)}\left(f\right)\right)$ and $det\left(T_{(3,1)}\left(f\right)\right)$ for $f\in \mathfrak{H}\left(\lambda \right)$ are estimated.

  Theorem 2. 

If f of the form (1) is in $\mathfrak{H}\left(\lambda \right)$, then, for $\lambda \ge 0,$

$$1-{\displaystyle \frac{1}{{(1+2\lambda )}^2}}\le det\left(T_{(2,1)}\left(f\right)\right)\le 1.$$

The bounds are sharp.

  Proof. 

Consider $det{T}_{2,1}\left(f\right)=1-{\left|a_2\right|}^2$.

From (9), we have

$$det{T}_{2,1}\left(f\right)=1-\left|{\displaystyle \frac{p_1^2}{4{(1+2\lambda )}^2}}\right|.$$

Since $|p_1|\le 2$ (see in [35]), it is observed that

$$\begin{array}{cc}\hfill & 1-\left|{\displaystyle \frac{p_1^2}{4{(1+2\lambda )}^2}}\right|\le 1\mathrm{and}1-\left|{\displaystyle \frac{p_1^2}{4{(1+2\lambda )}^2}}\right|\ge 1-{\displaystyle \frac{1}{{(1+2\lambda )}^2}}.\hfill \end{array}$$

Therefore,

$$\begin{array}{c}\hfill 1-{\displaystyle \frac{1}{{(1+2\lambda )}^2}}\le det{T}_{2,1}\left(f\right)\le 1,\end{array}$$

(18)

which gives the desired result.

The upper bound is sharp for $f_0\left(z\right)=z$, and the lower bound is sharp for

$f_1\left(z\right)=z+{\displaystyle \frac{1}{1+2\lambda }}{z}^2.$□

For $\lambda =0$ we have the following corollary due to Surya Giri and Sivaprasad Kumar [30].

  Corollary 2 

([30]). If f of the form (1) is in ${\mathbb{S}}_s^{\ast }$, then $0\le det\left(T_{(2,1)}\left(f\right)\right)\le 1.$

  Theorem 3. 

If f of the form (1) is in $\mathfrak{H}\left(\lambda \right)$, then, for $\lambda \ge 0,$

$${\sigma }_1\left(\lambda \right)\le det\left(T_{3,1}\left(f\right)\right)\le 1,$$

where

$$\begin{array}{cc}\hfill & {\sigma }_1\left(\lambda \right)=1-\left({\displaystyle \frac{48{\lambda }^2+30\lambda +5\lambda +5}{4{(1+2\lambda )}^3{(1+3\lambda )}^2}}\right).\hfill \end{array}$$

  Proof. 

Consider

$$\begin{array}{c}\hfill det\left(T_{3,1}\left(f\right)\right)=2Re\left(a_2^2\overline{a_3}\right)-2|a_2{|}^2-{\left|a_3\right|}^2+1.\end{array}$$

(19)

Using (9), (10), and Lemma 1,

$$\begin{array}{c}\hfill 2Re\left(a_2^2\overline{a_3}\right)={\displaystyle \frac{1}{16{(1+2\lambda )}^2(1+3\lambda )}}\left[{\displaystyle \frac{p_1^4}{1+2\lambda }}+p_1^2(4-p_1^2)Re\left(\overline{x}\right)\right].\end{array}$$

(20)

Now, from (9),

$$\begin{array}{c}\hfill 2|a_2{|}^2={\displaystyle \frac{p_1^2}{2{(1+2\lambda )}^2}}.\end{array}$$

(21)

Further, using (10) and Lemma 1,

$$\begin{array}{c}\hfill |a_3{|}^2={\displaystyle \frac{1}{16{(1+3\lambda )}^2}}[{\displaystyle \frac{p_1^4}{4{(1+2\lambda )}^2}}+{\displaystyle \frac{{(4-p_1)}^2{\left|x\right|}^2}{4}}+{\displaystyle \frac{2\left(Re\left(\overline{x}\right)\right)(4-p_1^2)p_1^2}{4}}\\ \hfill -{\displaystyle \frac{\lambda p_1^2(4-p_1^2)\left|x\right|}{(1+2\lambda )}}].\end{array}$$

(22)

Substituting (20)–(22) in (19), we obtain

$$\begin{array}{cc}\hfill det\left(T_{3,1}\left(f\right)\right)=& 1+{\displaystyle \frac{1}{16(1+2{\lambda }^2)(1+3\lambda )}}\left[{\displaystyle \frac{p_1^4}{1+2\lambda }}+p_1^2{(4-p_1)}^{2}Re\left(\overline{x}\right)\right]-{\displaystyle \frac{p_1^2}{2{(1+2\lambda )}^2}}\hfill \\ \hfill & -{\displaystyle \frac{1}{16{(1+3\lambda )}^2}}[{\displaystyle \frac{p_1^4}{4{(1+2\lambda )}^2}}+{\displaystyle \frac{{(4-p_1)}^2{\left|x\right|}^2}{4}}+{\displaystyle \frac{2\left(Re\left(\overline{x}\right)\right)(4-p_1^2)p_1^2}{4}}\hfill \\ & -{\displaystyle \frac{\lambda p_1^2(4-p_1^2)\left|x\right|}{(1+2\lambda )}}]:=F(p_1^2,\left|x\right|,Re\left(\overline{x}\right),\lambda ).\hfill \end{array}$$

(23)

Since $\left|Re\right(\overline{x}\left)\right|\le \left|x\right|$, from (22) we obtain

$$\begin{array}{cc}\hfill det\left(T_{3,1}\left(f\right)\right)& \le F(p_1^2,|x|,|x|,\lambda )\mathrm{and}\hfill \\ \hfill det\left(T_{3,1}\left(f\right)\right)& \ge F(p_1^2,|x|,-|x|,\lambda ).\hfill \end{array}$$

Letting $p_1^2:=t\in [0,4]$ and $\left|x\right|:=y\in [0,1]$, we have

$$\begin{array}{cc}\hfill det\left(T_{3,1}\left(f\right)\right)& \le 1+{\displaystyle \frac{1}{16{(1+2\lambda )}^2(1+3\lambda )}}\left[{\displaystyle \frac{t^2}{1+2\lambda }}+t(4-t)y\right]-{\displaystyle \frac{t}{2{(1+2\lambda )}^2}}\hfill \\ \hfill & -{\displaystyle \frac{1}{16{(1+3\lambda )}^2}}[{\displaystyle \frac{t^2}{4{(1+2\lambda )}^2}}+{\displaystyle \frac{{(4-t)}^2{y}^2}{4}}+{\displaystyle \frac{2yt(4-t)}{4}}\hfill \\ \hfill & -{\displaystyle \frac{\lambda t(4-t)y}{(1+2\lambda )}}]:=F(t,y,\lambda )\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill det\left(T_{3,1}\left(f\right)\right)& \ge 1+{\displaystyle \frac{1}{16{(1+2\lambda )}^2(1+3\lambda )}}\left[{\displaystyle \frac{t^2}{1+2\lambda }}-t(4-t)y\right]-{\displaystyle \frac{t}{2{(1+2\lambda )}^2}}\hfill \\ \hfill & -{\displaystyle \frac{1}{16{(1+3\lambda )}^2}}[{\displaystyle \frac{t^2}{4{(1+2\lambda )}^2}}+{\displaystyle \frac{{(4-t)}^2{y}^2}{4}}-{\displaystyle \frac{2yt(4-t)}{4}}\hfill \\ \hfill & +{\displaystyle \frac{\lambda t(4-t)y}{(1+2\lambda )}}]:=G(t,y,\lambda ).\hfill \end{array}$$

We observe that

$$\begin{array}{cc}\hfill & F(0,y,\lambda )=1-{\displaystyle \frac{y^2}{16{(1+3\lambda )}^2}}\le 1,\hfill \end{array}$$

$$\begin{array}{cc}\hfill & F(4,y,\lambda )=1-{\displaystyle \frac{48{\lambda }^2+30\lambda +5}{4{(1+2\lambda )}^3{(1+3\lambda )}^2}}\le 1,\hfill \end{array}$$

$$\begin{array}{cc}\hfill & F(t,0,\lambda )=1+{\displaystyle \frac{t^2}{16{(1+2\lambda )}^3(1+3\lambda )}}-{\displaystyle \frac{t}{4{(1+2\lambda )}^2}}-{\displaystyle \frac{t^2}{64{(1+2\lambda )}^2{(1+3\lambda )}^2}}\le 1\hfill \end{array}$$

and

$$\begin{array}{cc}\hfill F(t,1,\lambda )=& 1+{\displaystyle \frac{1}{16{(1+2\lambda )}^2(1+3\lambda )}}\left[{\displaystyle \frac{t^2}{1+2\lambda }}+t(4-t)\right]-{\displaystyle \frac{t}{2{(1+2\lambda )}^2}}\hfill \\ \hfill & -{\displaystyle \frac{1}{16{(1+3\lambda )}^2}}\left[{\displaystyle \frac{t^2}{4{(1+2\lambda )}^2}}+{\displaystyle \frac{{(4-t)}^2}{4}}+{\displaystyle \frac{2t(4-t)}{4}}-{\displaystyle \frac{\lambda t(4-t)}{(1+2\lambda )}}\right]\le 1.\hfill \end{array}$$

By the second derivative test, we see that there are no critical points for $F(t,y,\lambda )$ in the domain $(0,4)\times (0,1)$.

Therefore,

$$\begin{array}{cc}\hfill \underset{(0\le t\le 4,0\le y\le 1)}{max}F(t,y,\lambda )& =1.\hfill \end{array}$$

By a similarly proceeding, we obtain the minimum of $G(t,y,\lambda )$ as

$$\begin{array}{cc}\hfill \underset{(0\le t\le 4,0\le y\le 1)}{min}G(t,y,\lambda )& =1-\left({\displaystyle \frac{48{\lambda }^2+30\lambda +5}{4{(1+2\lambda )}^3{(1+3\lambda )}^2}}\right):={\sigma }_1\left(\lambda \right).\hfill \end{array}$$

Hence,

$$\begin{array}{c}\hfill {\sigma }_1\left(\lambda \right)\le det\left(T_{3,1}\left(f\right)\right)\le 1,\end{array}$$

(24)

which completes the proof. □

For $\lambda =0$, we have the following corollary obtained by Surya Giri and Sivaprasad Kumar [30].

  Corollary 3 

([30]). If f of the form (1) is in ${\mathbb{S}}_s^{\ast }$, then ${\displaystyle \frac{-1}{4}}\le det\left(T_{3,1}\left(f\right)\right)\le 1.$

5. Hankel Determinant

In this section, the upper bounds for the second- and third-order Hankel determinants for $f\in \mathfrak{H}\left(\lambda \right)$ are determined.

  Theorem 4. 

If f of the form (1) is in $\mathfrak{H}\left(\lambda \right)$, then, for $\lambda \ge 0$,

$$|H_2^1\left(f\right)|=|a_3-a_2^2|\le {\displaystyle \frac{1}{2(1+3\lambda )}}.$$

  Proof. 

From (9) and (10), we have

$$\begin{array}{cc}\hfill |H_2^1\left(f\right)|& =|a_3-a_2^2|\hfill \\ \hfill & =\left|{\displaystyle \frac{(2{\lambda }^2+4\lambda +1)}{4{(1+2\lambda )}^2(1+3\lambda )}}{p}_1^2-{\displaystyle \frac{p_2}{4(1+3\lambda )}}\right|\hfill \\ \hfill & \le {\displaystyle \frac{1}{4(1+3\lambda )}}\left|{\displaystyle \frac{(2{\lambda }^2+4\lambda +1)}{{(1+2\lambda )}^2}}{p}_1^2-p_2\right|.\hfill \end{array}$$

In view of Lemma 2, the above inequality becomes

$$\begin{array}{cc}\hfill |H_2^1\left(f\right)|& \le {\displaystyle \frac{1}{2(1+3\lambda )}},\hfill \end{array}$$

(25)

which gives the desired result. □

For $\lambda =0$, the above Theorem 4 reduces to the following corollary, obtained earlier by Zhang and Tang [25].

  Corollary 4 

([25]). If f of the form (1) is in ${\mathbb{S}}_s^{\ast }$, then $|H_2^1\left(f\right)|\le {\displaystyle \frac{1}{2}}$.

  Theorem 5. 

If f of the form (1) is in $\mathfrak{H}\left(\lambda \right)$, then for, $\lambda \ge 0,$

$$|H_2^2\left(f\right)|\le {\displaystyle \frac{1}{4{(1+3\lambda )}^2}}.$$

  Proof. 

Consider

$$\begin{array}{cc}\hfill & |H_2^2\left(f\right)|=|a_2{a}_4-a_3^2|.\hfill \end{array}$$

From (9)–(11), we have

$$\begin{array}{c}\hfill |a_2{a}_4-a_3^2|=|{\displaystyle \frac{p_1{p}_3}{12(1+2\lambda )(1+3\lambda )}}-{\displaystyle \frac{p_1^2{p}_2(6{\lambda }^2+6\lambda +1)}{48{(1+2\lambda )}^2{(1+3\lambda )}^2}}\\ \hfill +{\displaystyle \frac{p_1^4(30{\lambda }^2-17\lambda -1)}{48(1+2\lambda )(1+3\lambda )}}|:=\left|\mathcal{F}(p_1,p_2,p_3,\lambda )\right|.\end{array}$$

In virtue of Lemma 1, the above reduces to

$$\begin{array}{cc}\hfill \mathcal{F}(p_1,p_2,p_3,\lambda )& ={\displaystyle \frac{p_1^4+2p_1^{2}x(4-p_1^2)-(4-p_1^2)p_1^2{x}^2}{48(1+2\lambda )(1+3\lambda )}}+{\displaystyle \frac{p_1(4-p_1^2){(1-|x|}^2)z}{24(1+2\lambda )(1+3\lambda )}}\hfill \\ \hfill & -{\displaystyle \frac{(p_1^{2}x(4-p_1^2)(6{\lambda }^2+6\lambda +1)-3p_1^4(30{\lambda }^2-17\lambda -1))}{288{(1+2\lambda )}^2{(1+3\lambda )}^2}}\hfill \\ \hfill & -{\displaystyle \frac{p_1^4(6{\lambda }^2+6\lambda +1)}{96{(1+2\lambda )}^2{(1+3\lambda )}^2}}-{\displaystyle \frac{(p_1^4+x^2{(4-p_1^2)}^2}{64{(1+3\lambda )}^2}}-{\displaystyle \frac{2p_1^{2}x(4-p_1^2)}{48{(1+3\lambda )}^2}}\hfill \\ \hfill & :=\mathcal{F}(p_1,x,\lambda ).\hfill \end{array}$$

Letting $p_1=p,p\in [0,2],\left|x\right|=t,t\in [0,1],$ we have

$$\begin{array}{cc}\hfill \mathcal{F}(p_1,x,\lambda )=& {\displaystyle \frac{p^4+2p^{2}t(4-p^2)-(4-p^2)p^2{t}^2}{48(1+2\lambda )(1+3\lambda )}}+{\displaystyle \frac{p(4-p^2)(1-t^2)z}{24(1+2\lambda )(1+3\lambda )}}\hfill \\ \hfill & -{\displaystyle \frac{(p^{2}t(4-p^2)(6{\lambda }^2+6\lambda +1)-3p^4(30{\lambda }^2-17\lambda -1))}{288{(1+2\lambda )}^2{(1+3\lambda )}^2}}\hfill \\ \hfill & -{\displaystyle \frac{p^4(6{\lambda }^2+6\lambda +1)}{96{(1+2\lambda )}^2{(1+3\lambda )}^2}}-{\displaystyle \frac{(p^4+x^2{(4-p^2)}^2}{64{(1+3\lambda )}^2}}-{\displaystyle \frac{2p^{2}x(4-p^2)}{48{(1+3\lambda )}^2}}\hfill \\ \hfill & :=\mathcal{F}(p,t,\lambda ).\hfill \end{array}$$

For any $t\in (0,1)$, $p\in (0,2)$ and $\lambda \ge 0$, we have

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial \mathcal{F}}{\partial t}}={\displaystyle \frac{4t(4-p^2)}{48(1+2\lambda )(1+3\lambda )}}+{\displaystyle \frac{t{(4-p^2)}^2}{32{(1+3\lambda )}^2}}+{\displaystyle \frac{2p^2\lambda (4-p^2)}{48{(1+3\lambda )}^2(1+2\lambda )}}>0.\end{array}$$

This implies that $\mathcal{F}(p,t,\lambda )$ is an increasing function with respect to t, for $t\in [0,1]$. By the second derivative test, we see that there are no critical points for $\mathcal{F}(p,t,\lambda )$ in (0,1) and $\mathcal{F}(p,t,\lambda )$ attains a maximum at $t=1$ and

$$\begin{array}{c}\hfill \mathcal{F}(p,1,\lambda )={\displaystyle \frac{(12{\lambda }^2-22\lambda -5)p^4}{576{(1+2\lambda )}^2(1+3{\lambda }^2)}}+{\displaystyle \frac{{(4-p^2)}^2}{64{(1+3\lambda )}^2}}+{\displaystyle \frac{2p^2\lambda (4-p^2)}{48{(1+3\lambda )}^2(1+2\lambda )}}:=\mathcal{G}(p,\lambda ).\end{array}$$

Now, by applying the second derivative test, we see that $\mathcal{G}$ attains the maximum at $p=0$ and, therefore,

$$\begin{array}{c}\hfill |a_2{a}_4-a_3^2|\le \mathcal{G}(0,\lambda )={\displaystyle \frac{1}{4{(1+3\lambda )}^2}},\end{array}$$

(26)

which completes the proof. □

For $\lambda =0$, the above Theorem 5 reduces to the result of Zhang and Tang [25] given by the following corollary.

  Corollary 5 

([25]). If f of the form (1) is in ${\mathbb{S}}_s^{\ast }$, then $|a_2{a}_4-a_3^2|\le {\displaystyle \frac{1}{4}}.$

  Theorem 6. 

If f of the form (1) is in $\mathfrak{H}\left(\lambda \right)$, then, for $\lambda \ge 0$,

$$|a_4-a_2{a}_3|\le {\displaystyle \frac{1}{3(1+4\lambda )}}.$$

  Proof. 

From (9)–(11), we have

$$\begin{array}{c}\hfill |a_4-a_2{a}_3|=|{\displaystyle \frac{(24{\lambda }^2+24\lambda +4)p_1{p}_2}{24(1+2\lambda )(1+3\lambda )(1+4\lambda )}}-{\displaystyle \frac{(60{\lambda }^3+104{\lambda }^2+17\lambda -1)p_1^3}{144{(1+2\lambda )}^2(1+3\lambda )(1+4\lambda )}}-{\displaystyle \frac{p_3}{6(1+4\lambda )}}|.\end{array}$$

Using Lemma 1, we have

$$\begin{array}{cc}\hfill & |a_4-a_2{a}_3|=|{\displaystyle \frac{(24{\lambda }^2+24\lambda +4)p_1(p_1^2+x(4-p_1^2)))}{24(1+2\lambda )(1+3\lambda )(1+4\lambda )}}-{\displaystyle \frac{(60{\lambda }^3+104{\lambda }^2+17\lambda -1)p_1^3}{144{(1+2\lambda )}^2(1+3\lambda )(1+4\lambda )}}\hfill \\ \hfill & -{\displaystyle \frac{p_1^3+2p_{1}x(4-p_1^2)-(4-p_1^2)p_1{x}^2+2(4-p_1^2){(1-|x|}^2)z}{24(1+4\lambda )}}|.\hfill \end{array}$$

Letting $p_1=p,p\in [0,2]$ and $\left|x\right|=t,x\in [0,1],$ we have

$$\begin{array}{cc}\hfill & |a_4-a_2{a}_3|\le |{\displaystyle \frac{(24{\lambda }^2+24\lambda +4)p(p^2+t(4-p^2))}{24(1+2\lambda )(1+3\lambda )(1+4\lambda )}}-{\displaystyle \frac{(60{\lambda }^3+104{\lambda }^2+17\lambda -1)p^3}{144{(1+2\lambda )}^2(1+3\lambda )(1+4\lambda )}}\hfill \\ \hfill & -{\displaystyle \frac{p^3+2pt(4-p^2)-(4-p^2)p{t}^2+2(4-p^2)(1-t^2)z}{24(1+4\lambda )}}|:=\left|H(p,t,\lambda )\right|.\hfill \end{array}$$

For any $t\in (0,1)$, $p\in (0,2)$ and $\lambda \ge 0$, we have

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial H}{\partial t}}={\displaystyle \frac{(4-p^2)(p-2)t}{24(1+4\lambda )}}<0,t\in (0,1).\end{array}$$

This implies $H(p,t,\lambda )$ is a decreasing function with respect to t, and by the second derivative test, we see that there are no critical points in (0,1), and $H(p,t,\lambda )$ attains the maximum at $t=0$ and

$$\begin{array}{c}\hfill H(p,0,\lambda )={\displaystyle \frac{(12{\lambda }^3+6{\lambda }^2+37\lambda +7)P^3}{144{(1+2\lambda )}^2(1+3\lambda )(1+4\lambda )}}+{\displaystyle \frac{4-p^2}{12(1+4\lambda )}}:=K(p,\lambda ).\end{array}$$

By applying the second derivative test, we see that $K(p,\lambda )$ attains the maximum at $p=0$ and

$$\begin{array}{c}\hfill |a_4-a_2{a}_3|\le K(0,\lambda )={\displaystyle \frac{1}{3(1+4\lambda )}},\end{array}$$

(27)

which completes the proof. □

For $\lambda =0$, the above Theorem 6 reduces to the following corollary, obtained earlier by Zhang and Tang [25].

  Corollary 6 

([25]). If f of the form (1) is in ${\mathbb{S}}_s^{\ast }$, then

$$|a_4-a_2{a}_3|\le {\displaystyle \frac{1}{3}}.$$

  Remark 2. 

(i)    From (14) and (26), we have

$$\begin{array}{c}\hfill |a_3\left|\right|H_2^2\left(f\right)|\le {\displaystyle \frac{1}{8{(1+3\lambda )}^3}}:=K_1\left(\lambda \right).\end{array}$$

 (ii) 

From (15), (16), and (27), we have

$$\begin{array}{c}\hfill |a_4\left|\right|a_4-a_2{a}_3|\le \left\{\begin{array}{cc}{\displaystyle \frac{1}{9{(1+4\lambda )}^2}}\left[1+{\displaystyle \frac{102{\lambda }^2+37\lambda +2}{18\sqrt{3}(1+2\lambda )(1+3\lambda )}}\right]\hfill & \mathrm{if}\lambda \in [0,{\displaystyle \frac{5}{8}}]\hfill \\ \\ {\displaystyle \frac{1}{9{(1+4\lambda )}^2}}\left[1+{\displaystyle \frac{54{\lambda }^2+13\lambda }{6(1+2\lambda )(1+3\lambda )}}\right]\hfill & \mathrm{if}\lambda >{\displaystyle \frac{5}{8}}\hfill \end{array}\right.\\ \hfill :=K_2\left(\lambda \right).\end{array}$$

 (iii) 

From (17) and (24), we have

$$\begin{array}{c}\hfill |a_5\left|\right|H_2^1\left(f\right)|\le {\displaystyle \frac{3}{8(1+3\lambda )(1+5\lambda )}}:=K_3\left(\lambda \right).\end{array}$$

  Theorem 7. 

If f of the form (1) is in $\mathfrak{H}\left(\lambda \right)$, then, for $\lambda \ge 0,$

$|H_3^1\left(f\right)|\le K_1\left(\lambda \right)+K_2\left(\lambda \right)+K_3\left(\lambda \right)$.

  Proof. 

Consider

$$\begin{array}{cc}\hfill |H_3^1\left(f\right)|& =a_3|H_2^2\left(f\right)|-a_4(a_4-a_2{a}_3)+a_5\left|H_2^1\left(f\right)\right|\hfill \\ \hfill & \le |a_3\left|\right|H_2^2\left(f\right)|+|a_4\left|\right|a_4-a_2{a}_3|+|a_5\left|\right|H_2^1\left(f\right)|.\hfill \end{array}$$

From Remark 2, we obtain the required result. □

For $\lambda =0$ in the above theorem, we obtain the following corollary.

  Corollary 7. 

If f of the form $\left(1\right)$ is in ${\mathbb{S}}_s^{\ast }$, then

$$|H_3^1\left(f\right)|\le {\displaystyle \frac{11}{18}}+{\displaystyle \frac{\sqrt{3}}{24}}.$$

  Remark 3. 

The sharpness of the results in Theorems 3–7 are to be examined.

6. Conclusions

In the present investigation, we determined the coefficient estimates, bounds for the second and third-order Hankel determinants for a new subclass $\mathfrak{H}\left(\lambda \right)$ of analytic functions defined by subordination to a domain involving the sine function. Further, bounds for the second and third-order Hermtian Toeplitz determinants for the class $\mathfrak{H}\left(\lambda \right)$ are estimated. However, the sharpness of some of the results obtained are yet to be explored. It would be intriguing to determine the estimates of $|H_4^1\left(f\right)|$ and $det\left(T_{4,1}\left(f\right)\right)$ for the class $\mathfrak{H}\left(\lambda \right)$. Additionally, an attempt to apply these observations in areas under the broad spectra of Physics and Engineering will serve as a future scope of this study.