Nothing Special   »   [go: up one dir, main page]

Next Article in Journal
Bio-Inspired Machine Learning Approach to Type 2 Diabetes Detection
Next Article in Special Issue
Second Natural Connection on Riemannian Π-Manifolds
Previous Article in Journal
A New Technique to Uniquely Identify the Edges of a Graph
Previous Article in Special Issue
Properties of q-Symmetric Starlike Functions of Janowski Type
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Sharp Coefficient Bounds for a New Subclass of q-Starlike Functions Associated with q-Analogue of the Hyperbolic Tangent Function

Department of Basic Sciences, Colllege of Science and Theoretical Studies, Saudi Electronic University, Riyadh 11673, Saudi Arabia
Symmetry 2023, 15(3), 763; https://doi.org/10.3390/sym15030763
Submission received: 4 January 2023 / Revised: 13 March 2023 / Accepted: 15 March 2023 / Published: 20 March 2023
(This article belongs to the Special Issue Symmetry in Geometric Functions and Mathematical Analysis II)

Abstract

:
In this study, by making the use of q-analogous of the hyperbolic tangent function and a Sălăgean q-differential operator, a new class of q-starlike functions is introduced. The prime contribution of this study covers the derivation of sharp coefficient bounds in open unit disk U , especially the first three coefficient bounds, Fekete–Szego type functional, and upper bounds of second- and third-order Hankel determinant for the functions to this class. We also use Zalcman and generalized Zalcman conjectures to investigate the coefficient bounds of a newly defined class of functions. Furthermore, some known corollaries are highlighted based on the unique choices of the involved parameters l and q.

1. Introduction

Let an analytic function η in the open unit disk
U = z : z C and z < 1
assume to satisfy the conditions η ( 0 ) = 0 and η ( 0 ) = 1 , and all such types of functions contained in class A and every η A have the following series of the form
η ( z ) = z + n = 2 a n z n .
The set of all such types of univalent functions, which are normalized by the conditions η ( 0 ) = 0 and η ( 0 ) = 1 , is denoted by S . A function η is called a starlike function if η maps U onto the starshape domain. Moreover, the set of all univalent functions which satisfy the condition
Re z η ( z ) η ( z ) > 0 , z U
is denoted by the class S * of starlike functions.
An analytic function w along the following conditions
w ( 0 ) = 0 ,
and
w ( z ) < 1 ,
is called Schwarz function. For two functions, η and g , which are analytic in U, we say that η is subordinate to g (denoted by η g ) , if there exists a Schwarz function w, such that
η ( z ) = g ( w ( z ) ) ,
In particular, if g is univalent in U, then
η g η ( 0 ) = g ( 0 ) ,
and
η ( U ) g ( U ) .
The class P represents the class of Caratheodory functions [1], which satisfy the conditions
p ( 0 ) = 1 and Re ( p ( z ) > 0 , z U .
For every p P , there is a Taylor series expansion of the form
p ( z ) = 1 + n = 1 b n z n .
Although function theory was initiated in 1851, in 1916, Bieberbach [2] conjecture unfolded this field and gave a new direction for research. In 1985, De-Branges [3] proved Bieberbach conjecture. A number of outstanding scholars found some new sub-families of the class S of normalized univalent functions associated with different image domains, for example, starlike ( S * ) and convex ( K ) functions, respectively. These classes are primary and remarkable subclasses of the univalent class S . In 1992, Ma and Minda [4] made a very good contribution and defined the general form of the family of univalent functions as follows:
S * ( φ ) = η A : z η ( z ) η ( z ) φ ( z ) ,
where φ is an analytic function along the conditions φ ( 0 ) > 0 and Re ( φ ( z ) ) > 0 in U. If we choose φ ( z ) = 1 + z 1 z in (4), then we have a class of starlike functions which is given below:
S * = η A : z η ( z ) η ( z ) 1 + z 1 z .
Janowski [5] investigated the class of Janowski starlike functions and defined it as follows:
S * ( L , M ) = η A : z η ( z ) η ( z ) φ ( z ) = 1 + L z 1 + M z , ( 1 M < L 1 ) .
Sokól and Stankiewicz [6] chose φ ( z ) = 1 + z and defined the family of class S L * as
S L * = η A : z η ( z ) η ( z ) 1 + z .
The function φ ( z ) = 1 + z maps the region U onto the image domain, which is bounded by
w 2 1 < 1 .
Recently, Cho et al. [7] chose φ ( z ) = 1 + sin z and defined a class ( S sin * ) of starlike functions:
S sin * = η A : z η ( z ) η ( z ) 1 + sin z .
Recently, Bano and Raza [8] chose φ ( z ) = cos z , and Alotaibi et al. [9] considered φ ( z ) = cosh z ; they defined a family of new classes as follows:
S cos z * = η A : z η ( z ) η ( z ) cos z
and
S cosh z * = η A : z η ( z ) η ( z ) cosh z .
Kumar and Arora [10] considered a function φ ( z ) = 1 + sinh 1 z and used a petal-shaped domain and defined a class of starlike functions:
S sinh 1 ( z ) * = η A : z η ( z ) η ( z ) 1 + sinh 1 ( z ) .
In 2021, Barukab et al. [11] investigated a class R s and found a third Hankel determinant.
For η A , the jth Hankel determinant is defined by
H j , n ( η ) = a n a n + 1 a n + j 1 a n + 1 a n + 2 a n + j a n + j 1 a n + j 2 a n + 2 j 2 ,
where n , j N , and a 1 = 1 .
For different values of j and n, the H j , n ( η ) has the following form:
(i)
For j = 2 and n = 1 , we obtain the Fekete–Szego functional, that is,
H 2 , 1 ( η ) = a 3 a 2 2
and the generalized form of this functional is
a 3 μ a 2 2 ,
where μ is a real or complex number, (see [12]).
(ii)
Janteng [13] gave the following form of a second Hankel determinant and then a number of researchers studied it for some new classes of analytic functions
H 2 , 2 ( η ) = a 2 a 3 a 3 a 4 = a 2 a 4 a 3 2 .
(iii)
For j = 3 and n = 1 , we have the following form of the third Hankel determinant:
H 3 , 1 ( η ) = 1 a 2 a 3 a 2 a 3 a 4 a 3 a 4 a 5 = a 3 a 2 a 4 a 3 2 a 4 a 4 a 2 a 3 + a 5 a 3 a 2 2 .
In 1966, Pommerenke [14] investigated the Hankel determinants for univalent starlike functions. In 1983, Noor [15] defined a class of close-to-convex functions of higher order and investigated Hankel determinants while Ehrenborg [16] investigated the Hankel determinants associated with exponential function.
Recently, numerous researchers have started to pay more attention to finding the sharp bounds of Hankel determinants for a particular family of functions. For example, Janteng et al. [13] calculated the sharp bounds of the second Hankel determinant of the subfamily ( K , S * , R ) of univalent functions class S . Cho et al. [17] investigated classes of starlike functions of order β and strongly starlike functions of order β , and established a Hankel determinant and showed that H 2 , 2 ( η ) is bounded by 1 β 2 and β 2 . Zaprawa [18] used the new methodology and investigated the third Hankal determinant for the class of starlike ( S * ) and convex ( K ) functions:
H 3 , 1 ( η ) 1 if η S * 49 540 if η K .
In 2018, Kwon et al. [19] improved the Zaprawa’s result and proved that
H 3 , 1 ( η ) 8 9 , η S * .
Again in 2021, Zaprawa et al. [20] improved the result of Kwon et al. and proved that
H 3 , 1 ( η ) 5 9 , η S * .
Jackson [21] used the idea of basic q-calculus and defined the q-analogues of derivatives ( D q ) , and further, Ismail et al. [22] used this operator and defined a q-analogous of starlike functions. Recently, number of researchers started to use the D q and defined many new subclasses of starlike and convex functions and found sharp bounds of second- and third-order Hankal determinants. For example, in 2019, Mahmood et al. [23] defined the family of q-starlike functions and investigated the third-order Hankel determinant, and for close-to-convex functions the same work was carried out by Srivastava in [24]. Arif et al. [25] used the technique of subordination and defined a new subclass of starlike functions associated with sine function [26] and then determined the third Hankel determinant for this class. Meanwhile, Srivastava et al. [27] defined another new subclass of q-starlike functions and investigated Hankel and Toeplitz determinants related with the generalized conic domain. In 2022, Raza et al. [28] defined a new class of q-starlike functions associated with symmetric Booth Lemniscate and studied Hankel determinants. For further research, see [29,30].
The calculus without limits is called q-calculus and it can be dealt with just like classical calculus. However, in q-calculus we do not use limits. Here, we define the q-derivative operator of a function η A .
Definition 1 
([21]). For η A , the q-derivative operator or q-difference operator is defined by
D q η ( z ) = η ( z ) η ( q z ) ( 1 q ) z , z 0 , q 1 , = 1 + n = 2 [ n ] q a n z n 1 ,
where
[ t ] q = 1 q t 1 q , ( t C ) .
In particular, t = n N ,
[ n ] q = 1 q n 1 q = v = 0 n 1 q v .
Definition 2 
([31]). The Sălăgean q-differential operator for η is defined by
S q 0 η ( z ) = η ( z ) , S q 1 η ( z ) = z D q η ( z ) = η ( q z ) η ( z ) ( q 1 ) , , S q l η ( z ) = z D q S q l 1 η ( z ) = η ( z ) * z + n = 2 [ n ] q l z n , = z + n = 2 [ n ] q l a n z n ,
where l N .
Remark 1. 
For q 1 in (6), then we have a familiar Sălăgean derivative introduced in [32].
By using the definition of subordination, we introduce a new class S s * ( l , q ) of q-starlike functions associated with the Sălăgean q-differential operator and connected with the q-analogue of the hyperbolic tangent function.
Definition 3. 
A function η S is said to be in the class S s * ( l , q ) if it satisfies the following condition
S q l η ( z ) η ( z ) φ ( z ) , z U .
That is,
S s * ( l , q ) = η S : S q l η ( z ) η ( z ) φ ( z ) ,
where
φ ( z ) = 1 + tanh ( q z ) .
Remark 2. 
For l = 1 and φ ( z ) = 1 + sin ( q z ) , then S s * ( l , q ) reduces to the class S q s * studied by Taj et al. [33].
Remark 3. 
For l = 1 and q 1 , then S s * ( l , q ) reduces to the class S q s * studied by Ullah et al. [34].

2. A Set of Lemmas

We need the following lemmas to investigate the sharp coefficient problems for the class S s * ( l , q ) .
Lemma 1 
([35]). Let the function p ( z ) be of the form (3), then
b n 2 , n N .
Additionally,
b n μ b i b n i 2 , n > i , μ 0 , 1 .
The equality holds for
η ( z ) = 1 + z 1 z 1 .
Lemma 2 
([25]). Let the function p P be given by (3), then
b 3 2 B b 1 b 2 + D b 1 3 2 ,
if
0 B 1 , and B ( 2 B 1 ) D B .
Lemma 3 
([35]). Let an analytic function p ( z ) be of the form (3), then
2 b 2 = b 1 2 + x ( 4 b 1 2 )
and
4 b 3 = b 1 3 + 2 ( 4 b 1 2 ) b 1 x ( 4 b 1 2 ) b 1 x 2 + 2 ( 4 b 1 2 ) ( 1 x 2 ) z ,
where x , z C , with z 1 and x 1 .
Lemma 4 
([36]). Consider the function p P of the form (3), 0 < a < 1 , 0 < α < 1 and
8 a ( 1 a ) α β 2 λ 2 + α a + α β 2 + α 1 α β 2 a α 2 4 α 2 a 1 α 2 ( 1 a ) .
Then,
λ b 1 4 + a b 2 2 + 2 α b 1 b 3 3 2 β b 1 2 b 2 b 4 2 .

3. Main Results

Bound of H 3 , 1 η for the class S s * ( l , q ) .
Theorem 1. 
If η S s * ( q , l ) is of the form (1), then
a 2 q 1 + q l 1 , 0 < q < 1 , a 3 q 1 + q + q 2 l 1 , 0 < q < 1 , a 4 q 1 + q + q 2 + q 3 l 1 , 0 < q < 1 , a 5 q 1 + q + q 2 + q 3 + q 4 l 1 , 0 < q < 0.8651682397 .
All bounds of Theorem 1 are sharp for the functions given in (29)–(32).
Proof. 
Let η S s * ( q , l ) , then η satisfies (7), we have
S q l η ( z ) η ( z ) 1 + tanh ( q z ) .
By using (2), we have
S q l η ( z ) η ( z ) = 1 + tanh ( q ( w ( z ) ) .
Let
w z = p ( z ) 1 p ( z ) + 1 = b 1 z + b 2 z 2 + b 3 z 3 + 2 + b 1 z + b 2 z 2 + = 1 2 b 1 z + 1 2 b 2 1 2 b 1 2 z 2 + 1 2 b 3 b 1 b 2 + 1 4 b 1 3 z 3 + .
In view of (13) and (14), we have
1 + tanh ( q w z ) = 1 + q 2 b 1 z + q 1 2 b 2 1 4 b 1 2 z 2 + q 1 2 b 3 1 2 b 1 b 2 + 3 2 q 2 24 b 1 3 z 3 + + 24 q 1 2 b 4 1 2 b 1 b 3 q 4 b 1 2 + B ( q ) b 1 2 b 2 + B ( q ) b 1 4 z 4 + ,
where
B ( q ) = 3 q 8 q 2 256 × 24 + 8 q 3 256 × 3 , C ( q ) = q 16 + q 2 256 × 24 + q 3 256 .
Similarly,
S q l η ( z ) η ( z ) = 1 + 2 q l 1 a 2 z + 3 q l 1 a 3 2 q l 1 a 2 2 z 2 + 4 q l 1 a 4 2 q l + 3 q l 2 a 2 a 3 + 2 q l 1 a 2 3 z 3 + + 5 q l 1 a 4 2 q l + 4 q l 2 a 2 a 4 3 q l 1 a 3 2 + 2 2 q l + 3 q l 3 a 3 a 2 2 2 q l 1 a 2 4 z 4 .
Equating the corresponding coefficients of (15) and (16), we have
a 2 = q b 1 2 2 q l 1 ,
a 3 = q 2 3 q l 1 b 2 1 2 2 q l q 1 2 q l 1 b 1 2 ,
a 4 = q 2 4 q l 1 b 3 B l , q b 1 b 2 D l , q b 1 3 ,
a 5 = q 2 5 q l 1 λ b 1 4 + a b 2 2 + 2 α b 1 b 3 3 2 β b 1 2 b 2 b 4 ,
where
B l , q = 1 2 q l + 3 q l 2 q 2 2 q l 1 3 q l 1 ,
D l , q = q 2 q l + 3 q l 2 2 q l q 1 4 2 q l 1 2 3 q l 1 + q 2 4 2 q l 1 2 3 2 q 3 12 ,
λ = 2 q C ( q ) q 3 8 2 q l 1 3 2 q D ( l , q ) q 2 q l q 1 8 2 q l 1 3 q l 1 q 2 2 2 q l + 3 q l 3 2 q l q 1 8 2 q l 1 3 3 q l 1 ,
α = 1 2 q 2 q l + 4 q l 2 4 2 q l 1 4 q l 1 ,
β = 4 3 q B ( q ) 4 3 q B l , q + q 2 q l q 1 3 2 q l 1 2 q l 1 q 2 2 2 q l + 3 q l 3 6 2 q l 1 2 3 q l 1 ,
a = 1 2 + q 2 3 q l 1 .
Applying the Lemma 1 on (17), we have
a 2 q 2 q l 1 = q 1 + q l 1 .
Applying the Lemma 1 on (18), we have
a 3 q 3 q l 1 , = q 1 + q + q 2 l 1 .
Now consider (19), we obtain
a 4 = q 2 4 q l 1 b 3 B l , q b 1 b 2 + D l , q b 1 3 ,
where B l , q and D l , q are given by (21) and (22). Assuming the value, B = B l , q and D = D l , q , which satisfy B ( 2 B 1 ) D B , when q 0 , 1 , by the applications of Lemma 2, we obtain
a 4 q 1 + q + q 2 + q 3 l 1 .
Now, from (20), we consider
a 5 = q 2 5 q l 1 λ b 1 4 + a b 2 2 + 2 α b 1 b 3 3 2 β b 1 2 b 2 b 4 ,
we see that 0 < a < 1 , 0 < α < 1 , q 0 , 1 . Now, we take
8 a ( 1 a ) α β 2 λ 2 + α a + α β 2 + α 1 α β 2 a α 2 4 α 2 a 1 α 2 ( 1 a ) .
Using (23)–(26) in (27), we obtain
8 a ( 1 a ) α β 2 λ 2 + α a + α β 2 + α 1 α β 2 a α 2 4 α 2 a 1 α 2 ( 1 a ) = 2 1 q 2 3 q l 1 2 Φ 1 l , q + Φ 2 l , q + Φ 3 l , q Φ 4 l , q 2 = Ψ ( q , a , α , β ) ,
where
Φ 1 l , q = 1 2 q T 1 ( q ) 4 3 q C ( q ) B ( l , q ) + q T 2 ( q ) q 2 T 3 ( q ) 4 q C ( q ) D ( l , q ) + q 3 4 3 q l 1 3 + 3 q 8 T 2 ( q ) + 3 2 q 2 2 q l ( q + 1 ) 2 q l 1 T 3 ( q ) 2 ,
Φ 2 l , q = 1 2 q T 1 ( q ) 1 + q 2 3 q l 1 q T 1 ( q ) 4 3 q C ( q ) B ( l , q ) q T 2 ( q ) + q 2 T 3 ( q ) 2 ,
Φ 3 l , q = 1 4 q 2 T 1 ( q ) 2 4 3 q C ( q ) B ( l , q ) + q T 2 ( q ) q 2 T 3 ( q ) 1 + q 3 q l 1 1 2 q T 1 ( q ) 2 ,
Φ 4 l , q = 1 4 q 2 T 1 ( q ) 2 1 q 2 3 q l 1 2 ,
and
T 1 ( q ) = 2 q l + 4 q l 2 4 2 q l 1 4 q l 1 , T 2 ( q ) = 2 q l ( q + 1 ) 3 2 q l 1 3 q l 1 , T 3 ( q ) = 2 2 q l + 3 q l 3 6 2 q l 1 2 3 q l 1 .
Therefore, we have Ψ ( q , a , α , β ) 0 , when 0 < q < 0.8651682397 .
Now, by using Lemma 4, we have
a 5 q 1 + q + q 2 + q 3 + q 4 l 1 .
For sharpness, consider the function η n : U C , defined by
S q l η n ( z ) η n ( z ) = 1 + tanh ( q z n ) , n = 2 , 3 , 4 , 5 .
The following functions show that the result is sharp.
η 2 ( z ) = z + q 2 q l 1 z 2 + ,
η 3 ( z ) = z + q 3 q l 1 z 3 + q 2 3 q l 1 5 q l 1 z 5 + ,
η 4 ( z ) = z + q 4 q l 1 z 4 + ,
η 5 ( z ) = z + q 5 q l 1 z 5 + .
Considering l = 1 , in Theorem 2, we obtain the result which is proved in [33].
Corollary 1. 
If η S s * ( q ) is of the form (1), then
a 2 1 , 0 < q < 1 , a 3 1 1 + q , 0 < q < 1 , a 4 1 1 + q + q 2 , 0 < q < 1 , a 5 1 1 + q + q 2 + q 3 , 0 < q < 0.8651682397 .
Let l = 1 and q 1 , in Theorem 1, we obtain the following corollary proved in [37]:
Corollary 2. 
If η S s * has the series as given in (1), then
a 2 1 , a 3 1 2 , a 4 1 3 .
These bounds are sharp for the following functions:
η 2 ( z ) = z + z 2 + , η 3 ( z ) = z + 1 2 z 3 + , η 4 ( z ) = z + 1 3 z 4 + .
Let l = 1 and q 1 in Theorem 1, we obtain the following corollary proved in [30]:
Corollary 3. 
If η S s * has the series as given in (1), then
a n 1 n 1 , n = 2 , 3 , 4 .
Zalcman and Generalized Zalcman Conjecture
In 1960, Zalcman defined the conjecture for univalent functions. He stated that every η S of the form (1) satisfies the following inequality:
a n 2 a 2 n 1 n 1 2 , n 2 .
In 1999, Ma [38] proved a generalized version of Zalcman conjecture and stated that every univalent function η S satisfies the following inequality:
a n a i a n + i 1 n 1 i 1 , i , n N , n 2 , i 2 .
In [39,40], authors discussed the Fekete–Szego functional, the second-order Hankel determinant, and Zalcman conjecture, and these results are shown to be sharp. Furthermore, we have estimated the bounds of the third-order Hankel determinant for this class S s * ( l , q ) for different values of n and i. For n = 2 , the inequality (33) has the form
a 2 2 a 3 1 .
Theorem 2. 
If η S s * ( l , q ) is of the form (1), then
a 2 2 a 3 q ( 1 + q + q 2 ) l 1 .
The inequality (35) is sharp for the function η 3 given in (29).
Proof. 
From (17) and (18), consider
a 3 a 2 2 = q 2 3 q l 1 b 2 1 2 2 q l q 1 2 q l 1 b 1 2 q 2 b 1 2 4 2 q l 1 2 = q 2 3 q l 1 b 2 1 2 2 q l q 1 2 q l 1 + q 3 q l 1 2 q l 1 2 b 1 2 = q 2 ( 1 + q + q 2 ) l 1 b 2 v b 1 2 ,
where
v = 1 2 2 q l q 1 2 q l 1 + q 3 q l 1 2 q l 1 2 .
Since, 0 < q < 1 , therefore v 0 , 1 . Now, using Lemma 9, for n = 2 , i = 1 , we obtain (35).
For sharpness, consider the function η 3 such that
η 3 ( z ) = z + q 3 q l 1 z 3 + .
Now,
a 2 = 0 , and a 3 = q ( 1 + q + q 2 ) l 1 .
Considering l = 1 in Theorem 2, we obtain the result which is proved in [33].
Corollary 4. 
If η S s * ( q ) is of the form (1), then
a 2 2 a 3 1 1 + q .
Considering l = 1 and q 1 in Theorem 2, we have the following known corollary proved in [37]:
Corollary 5. 
If η S s * is of the form (1), then
a 2 2 a 3 1 2 .
Take n = 3 , i = 2 , in the inequality (34), then we have a 4 a 2 a 3 2 . Now we discuss it as follows:
Theorem 3. 
If η S s * ( l , q ) is the form (1), then
a 4 a 2 a 3 q ( 1 + q + q 2 + q 3 ) l 1 , 0 < q < 0.8651682 .
The inequality is sharp for the function η 4 given in (31).
Proof. 
From (17)–(19), consider
a 4 a 2 a 3 = q 2 4 q l 1 b 3 B ( l , q ) + q 4 q l 1 2 2 q l 1 3 q l 1 b 1 b 2 D ( l , q ) q 4 q l 1 2 q l q 1 4 2 q l 1 2 3 q l 1 b 1 3 .
Assuming the values
B = 1 q 1 + q l 1 1 + q l 1 + q + q 2 l 2 + q 1 + q + q 2 + q 3 l 1 2 1 + q l 1 1 + q + q 2 l 1 , D = D ( l , q ) q 4 q l 1 2 q l q 1 4 2 q l 1 2 3 q l 1 , = q 1 + q l 1 + q l + 1 + q + q 2 l 2 1 + q + q 2 + q 3 l 1 4 1 + q l 1 2 1 + q + q 2 l 1 + q 2 4 1 + q l 1 2 + 3 2 q 2 12 .
We see that,
B 2 B 1 D < 0 , when 0 < q < 0.8651682 ,
which shows that
B 2 B 1 D B .
Thus, using Lemma 2, we obtain
a 4 a 2 a 3 = q ( 1 + q + q 2 + q 3 ) l 1 .
The equality holds for the extremal function
η 4 ( z ) = z + q 4 q l 1 z 4 + .
Considering l = 1 in Theorem 3, we obtain the following known corollary, proved in [33]:
Corollary 6. 
If η S s * ( q ) , has the series of the form as given in (1), then
a 4 a 2 a 3 1 1 + q + q 2 .
Considering l = 1 and q 1 in Theorem 3, we obtain the following known corollary, proved in [37]:
Corollary 7. 
If η S s * has the series of the form as given in (1), then
a 4 a 2 a 3 1 3 .
In the following result, we prove the second Hankel determinant H 2 , 2 ( η ) .
Theorem 4. 
If η S s * ( l , q ) is of the form (1), then
a 2 a 4 a 3 2 q 2 1 + q + q 2 l 1 2 .
Proof. 
Making use of (17)–(19), we obtain
a 2 a 4 a 3 2 = Q 1 b 1 4 Q 2 Q 1 b 1 2 b 2 + Q 3 Q 1 b 1 b 3 Q 4 Q 1 b 2 2 ,
where
Q 1 = Q 3 D ( l , q ) q [ 2 ] q l q 1 4 3 q l 1 2 q l 1 2 ,
Q 2 = Q 3 B ( l , q ) q 2 [ 2 ] q l q 1 4 3 q l 1 2 2 q l 1 ,
Q 3 = q 2 4 2 q l 1 4 q l 1 ,
Q 4 = q 2 4 3 q l 1 2 .
By using Lemma 3, we assume that b = b 1 , 0 b 2 , so that
a 2 a 4 a 3 2 = Q 1 α 1 b 4 α 2 4 b 2 b 2 x 2 α 3 4 b 2 2 x 2 + α 4 4 b 2 b δ 1 x 2 + α 5 4 b 2 b 2 x ,
where
α 1 = 1 Q 2 2 Q 1 + α 2 α 3 , α 2 = Q 3 4 Q 1 , α 3 = Q 4 4 Q 1 , α 4 = 2 α 2 , α 5 = 2 α 2 Q 2 2 Q 1 2 Q 4 Q 1 .
Using δ 1 and x 1 , and applying the triangle inequality, if we take b 0 , 2 , we obtain
a 2 a 4 a 3 2 Q 1 α 1 b 4 + α 2 4 b 2 b 2 x 2 + α 3 4 b 2 2 x 2 + α 4 ( 4 b 2 ) b 1 x 2 + α 5 4 b 2 b 2 x = Q ( b , x ) .
Now, trivially we have Q ( b , x ) > 0 on [ 0 , 1 ] . Therefore, Q ( b , x ) is an increasing function in the interval [ 0 , 1 ] . The maximum value occurs at x = 1 ,
max Q ( b , 1 ) = Q ( b ) .
Hence,
Q ( b ) = Q 1 α 1 b 4 + α 2 4 b 2 b 2 + α 3 4 b 2 2 + α 5 4 b 2 b 2 .
As
Q ( b ) 0 ,
then Q ( b ) is a decreasing function of b , so that it gives the maximum value at b = 0 :
a 2 a 4 a 3 2 16 Q 1 α 3 = q 2 1 + q + q 2 l 1 2 .
The result is sharp for the function η 3 given in (28). □
Considering l = 1 in Theorem 4, we obtain the result which is proved in [33].
Corollary 8. 
If η S s * ( q ) has the series of the form as given in (1), then
a 2 a 4 a 3 2 1 1 + q 2 .
Considering, l = 1 and q 1 , in Theorem 4, we get the result which is proved in [37].
Corollary 9. 
If η S s * has the series of the form as given in (1), then
a 2 a 4 a 3 2 1 4 .
Theorem 5. 
If η S s * ( l , q ) is of the form (1), and 0 < q < 0.8651682 , then
H 3 , 1 η q 1 + q + q 2 + q 3 + q 4 l 1 q 1 + q + q 2 l 1 + q 1 + q + q 2 + q 3 l 1 q 1 + q + q 2 + q 3 l 1 + q 1 + q + q 2 l 1 q 2 1 + q + q 2 + q 3 l 1 2 .
Proof. 
We know that
H 3 , 1 η a 5 a 3 a 2 2 + a 4 a 4 a 2 a 3 + a 3 a 2 a 4 a 3 2 .
Using Theorems 1–4, we have the required result when 0 < q < 0.8651682 . □
Considering l = 1 in Theorem 5, we obtain the result which is proved in [33].
Corollary 10. 
If η S s * ( l , q ) is of the form (1), and 0 < q < 0.8651682 , then
H 3 , 1 η 1 1 + q + q 2 + q 3 1 1 + q + 1 1 + q + q 2 1 1 + q + q 2 + 1 1 + q 1 1 + q + q 2 2 .

4. Conclusions

In this work, we introduced a new subclass S ( l , q ) of q-starlike functions related to the q-analogue of the hyperbolic tangent function through subordination relation. This class generalized a number of known subclasses of starlike functions. For this class, we have investigated the Fekete–Szego type functional, and estimates of the second- and third-order Hankel determinant. We also considered Zalcman and generalized Zalcman inequalities and found sharp estimates. We have shown that all the results of this article are sharp.
Moreover, for future work, the class S ( l , q ) can be further investigated for finding the upper bounds of higher-order Hankel and Toeplitz determinants.

Funding

This research received no external funding.

Data Availability Statement

No data were used to support this study.

Conflicts of Interest

The author declares that they have no competing interest.

References

  1. Miller, S.S. Differential inequalities and Carathéodory functions. Bull. Am. Math. Soc. 1975, 81, 79–81. [Google Scholar] [CrossRef] [Green Version]
  2. Bieberbach, L. Über die koeffizienten derjenigen potenzreihen, welche eine schlichte Abbildung des Einheitskreises vermitteln. Sitz. Ber. Preuss. Akad. Wiss. 1916, 138, 940–955. [Google Scholar]
  3. De Branges, L. A proof of the Bieberbach conjecture. Acta Math. 1985, 154, 137–152. [Google Scholar] [CrossRef]
  4. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis, Tianjin, China, 19–22 June 1992; Li, Z., Ren, F., Yang, L., Zhang, S., Eds.; Conference Proceedings and Lecture Notes in Analysis. International Press: Cambridge, UK, 1994; Volume I, pp. 157–169. [Google Scholar]
  5. Janowski, W. Extremal problems for a family of functions with positive real part and for some related families. Ann. Pol. Math. 1970, 23, 159–177. [Google Scholar] [CrossRef] [Green Version]
  6. Sokół, J.; Stankiewicz, J. Radius of convexity of some subclasses of strongly starlike functions. Zesz. Nauk. Politech. Rzesz. Mat. Fiz. 1996, 19, 101–105. [Google Scholar]
  7. Cho, N.E.; Kumar, V.; Kumar, S.S.; Ravichandran, V. Radius problems for starlike functions associated with the sine function. Bull. Iran. Math. Soc. 2019, 45, 213–232. [Google Scholar] [CrossRef]
  8. Bano, K.; Raza, M. Starlike functions associated with cosine function. Bull. Iran. Math. Soc. 2021, 47, 1513–1532. [Google Scholar] [CrossRef]
  9. Alotaibi, A.; Arif, M.; Alghamdi, M.A.; Hussain, S. Starlikness associated with cosine hyperbolic function. Mathematics 2020, 8, 1118. [Google Scholar] [CrossRef]
  10. Kumar, S.S.; Arora, K. Starlike functions associated with a petal shaped domain. Bull. Korean Math. Soc. 2022, 59, 993–1010. [Google Scholar]
  11. Barukab, O.; Arif, M.; Abbas, M.; Khan, S.K. Sharp bounds of the coefficient results for the family of bounded turning functions associated with petal shaped domain. J. Funct. Spaces 2021, 2021, 5535629. [Google Scholar] [CrossRef]
  12. Karthikeyan, K.R.; Murugusundaramoorthy, G.; Purohit, S.D.; Suthar, D.L. Certain class of analytic functions with respect to symmetric points defined by q-calculus. J. Math. 2021, 2021, 8298848. [Google Scholar] [CrossRef]
  13. Janteng, A.; Halim, A.S.; Darus, M. Hankel determinant for starlike and convex functions. Int. J. Math. 2007, 1, 619–625. [Google Scholar]
  14. Pommerenke, C. On starlike and close-to-convex functions. Proc. Lond. Math. Soc. 1963, 3, 290–304. [Google Scholar] [CrossRef]
  15. Noor, K.I. On subclasses of close-to-convex functionsof higher order. Int. J. Math. Math. Sci. 1983, 6, 327–334. [Google Scholar] [CrossRef]
  16. Ehrenborg, R. The Hankel determinant of exponential polynomials. Am. Math. Mon. 2000, 107, 557–560. [Google Scholar] [CrossRef]
  17. 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. 2018, 41, 523–535. [Google Scholar] [CrossRef]
  18. Zaprawa, P. Third Hankel determinants for subclasses of univalent functions. Mediterr. J. Math. 2017, 14, 19. [Google Scholar] [CrossRef] [Green Version]
  19. 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. 2019, 42, 767–780. [Google Scholar] [CrossRef] [Green Version]
  20. Zaprawa, P.; Obradovic, M.; Tuneski, N. Third Hankel determinant for univalent starlike functions. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. 2021, 115, 9. [Google Scholar] [CrossRef]
  21. Jackson, F.H. On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 1908, 46, 253–281. [Google Scholar] [CrossRef]
  22. Ismail, M.E.H.; Merkes, E.; Styer, D. A generalization of starlike functions. Complex Var. Theory Appl. 1990, 14, 77–84. [Google Scholar] [CrossRef]
  23. Mahmood, S.; Srivastava, H.M.; Khan, N.; Ahmad, Q.Z.; Khan, B.; Ali, I. Upper bound of the third Hankel determinant for a subclass of q-starlike functions. Symmetry 2019, 11, 347. [Google Scholar] [CrossRef] [Green Version]
  24. Srivastava, H.M.V.; Ahmad, Q.Z.; Darus, M.; Khan, N.; Khan, B.; Zaman, N.; Shah, H.H. Upper bound of the third Hankel determinant for a subclass of close-to-convex functions associated with the Lemniscate of Bernoulli. Mathematics 2019, 7, 848. [Google Scholar] [CrossRef] [Green Version]
  25. Arif, M.; Raza, M.; Tang, H.; Hussain, S.; Khan, H. Hankel determinant of order three for familiar subsets of analytic functions related with sine function. Open Math. 2019, 17, 1615–1630. [Google Scholar] [CrossRef]
  26. Zhang, H.Y.; Tang, H. A study of fourth-order Hankel determinants for starlike functions connected with the sine function. J. Funct. Spaces 2021, 2021, 9991460. [Google Scholar] [CrossRef]
  27. Srivastava, H.M.; Ahmad, Q.Z.; Khan, N.; Khan, N.; Khan, B. Hankel and Toeplitz determinants for a subclass of q-starlike functions associated with a generalized conic Domain. Mathematics 2019, 7, 181. [Google Scholar] [CrossRef] [Green Version]
  28. Raza, M.; Riaz, A.; Xin, Q.; Malik, S.N. Hankel determinants and coefficient estimates for starlike functions related to symmetric booth lemniscate. Symmetry 2022, 14, 1366. [Google Scholar] [CrossRef]
  29. Shi, L.; Srivastava, H.M.; Arif, M.; Hussain, S.; Khan, H. An investigation of the third Hankel determinant problem forcertain subfamilies of univalent functions involving the exponential function. Symmetry 2019, 11, 598. [Google Scholar] [CrossRef] [Green Version]
  30. Zhang, H.Y.; Srivastava, R.; Tang, H. Third-order Hankel and Toeplitz determinants for starlike functions connected with the sine function. Mathematics 2019, 7, 404. [Google Scholar] [CrossRef] [Green Version]
  31. Govindaraj, M.; Sivasubramanian, S. On a class of analytic functions related to conic domains involving q-calculus. Anal. Math. 2017, 43, 475–487. [Google Scholar] [CrossRef]
  32. Sãlaãgean, G.S. Subclasses of univalent functions. In Complex Analysis, Fifth Romanian—Finnish Seminar, Part 1 (Bucharest, 1981); Lecture Notes in Mathematics, 1013; Springer: Berlin, Germany, 1983; pp. 362–372. [Google Scholar]
  33. Taj, Y.; Zainab, S.; Xin, Q.; Tawfiq, M.O.; Raza, M.; Malik, S.N. Certain coefficient problems for q-starlike functions associated with q-analogue of sine function. Symmetry 2022, 14, 2200. [Google Scholar] [CrossRef]
  34. Ullah, K.; Zainab, S.; Arif, M.; Darus, M.; Shutaywi, M. Radius problems for starlike functions associated with the tan hyperbolic function. J. Funct. Spaces 2021, 2021, 9967640. [Google Scholar] [CrossRef]
  35. Duren, P.L. Univalent Functions. In Grundlehren der Mathematischen Wissenschaften; Springer: New York, NY, USA; Berlin/Heidelberg, Germany; Tokyo, Iapan, 1983; Volume 259. [Google Scholar]
  36. Ravichandran, V.; Verma, S. Bound for the fifth coefficient of certain starlike functions. Comptes Rendus Math. Acad. Sci. 2015, 353, 505–510. [Google Scholar] [CrossRef]
  37. Ullah, K.; Srivastava, H.M.; Rafiq, A.; Arif, M.; Arjika, S. A study of sharp coefficient bounds for a new subfamily of starlike functions. J. Inequalities Appl. 2021, 2021, 194. [Google Scholar] [CrossRef]
  38. Ma, W. Generalized Zalcman conjecture for starlike and typically real functions. J. Math. Anal. Appl. 1999, 234, 328–339. [Google Scholar] [CrossRef] [Green Version]
  39. Murugusundaramoorthy, G. Fekete–Szego inequalities for certain subclasses of analytic functions related with nephroid domain. J. Contemp. Math. Anal. 2022, 57, 56–69. [Google Scholar] [CrossRef]
  40. Murugusundaramoorthy, G.; Khan, M.G.; Ahmad, B.; Ahmad, B.; Abdeljawad, T.; Salleh, Z. Coefficient functionals for a class of bounded turning functions connected to three leaf function. J. Math. Comput. Sci. 2022, 28, 213–223. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Swarup, C. Sharp Coefficient Bounds for a New Subclass of q-Starlike Functions Associated with q-Analogue of the Hyperbolic Tangent Function. Symmetry 2023, 15, 763. https://doi.org/10.3390/sym15030763

AMA Style

Swarup C. Sharp Coefficient Bounds for a New Subclass of q-Starlike Functions Associated with q-Analogue of the Hyperbolic Tangent Function. Symmetry. 2023; 15(3):763. https://doi.org/10.3390/sym15030763

Chicago/Turabian Style

Swarup, Chetan. 2023. "Sharp Coefficient Bounds for a New Subclass of q-Starlike Functions Associated with q-Analogue of the Hyperbolic Tangent Function" Symmetry 15, no. 3: 763. https://doi.org/10.3390/sym15030763

APA Style

Swarup, C. (2023). Sharp Coefficient Bounds for a New Subclass of q-Starlike Functions Associated with q-Analogue of the Hyperbolic Tangent Function. Symmetry, 15(3), 763. https://doi.org/10.3390/sym15030763

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop