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

Next Article in Journal
Instruction-Fetching Attack and Practice in Collision Fault Attack on AES
Next Article in Special Issue
Editorial Conclusion for the Special Issue “Applications of Symmetric Functions Theory to Certain Fields”
Previous Article in Journal
FPGA Hardware Realization of Membrane Calculation Optimization Algorithm with Great Parallelism
Previous Article in Special Issue
Radius of k-Parabolic Starlikeness for Some Entire Functions
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

Certain Coefficient Problems for q-Starlike Functions Associated with q-Analogue of Sine Function

1
Department of Mathematics, COMSATS University Islamabad, Wah Campus, Wah Cantt 47040, Pakistan
2
School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Sector H-12, Islamabad 44000, Pakistan
3
Faculty of Science and Technology, University of the Faroe Islands, Vestarabryggja 15, FO 100 Torshavn, Faroe Islands, Denmark
4
Department of Mathematics, College of Science, King Saud University, P.O. Box 22452, Riyadh 11495, Saudi Arabia
5
Department of Mathematics, Government College University Faisalabad, Faisalabad 38000, Pakistan
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(10), 2200; https://doi.org/10.3390/sym14102200
Submission received: 11 September 2022 / Revised: 13 October 2022 / Accepted: 14 October 2022 / Published: 19 October 2022
(This article belongs to the Special Issue Applications of Symmetric Functions Theory to Certain Fields)

Abstract

:
This study introduces a subclass S q s * of starlike functions associated with the q-analogue of the sine function defined in symmetric unit disk. This article comprises the investigation of sharp coefficient bounds, and the upper bound of the third-order Hankel determinant for this class. It also includes the findings of Zalcman and generalized Zalcman conjectures for functions of this class.

1. Introduction and Preliminaries

In the study of analytic and univalent functions, coefficient problems play a vital role that helps in making many estimations about analytic functions. There is a wide range of coefficient problems that include coefficient bounds, necessary and sufficient conditions, covering results, Hankel determinants, Toeplitz determinants, and many coefficient inequalities and conjectures. The Hankel matrix was introduced by Hermann Hankel, and this matrix is a square symmetric matrix having the same entries in its skew diagonal. To relate the Hankel matrix with analytic functions, it is formed to have elements as the coefficients of certain power series of analytic functions. If an analytic function f, defined in the disk E = z C : z < 1 assumes to satisfy the conditions f 0 = 0 and f 0 = 1 , then such functions are comprised in class A and they will have the following form of their Taylor series
f z = z + n = 2 a n z n , z E .
The determinant of a matrix is an important number that helps in characterizing many properties of that matrix. Based on the coefficients of the series (1), the j th Hankel determinant for f A is given by
H j , n ( f ) = 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 , j , n N .
The main goal in studying the Hankel determinant is to find the upper bound of the determinant. With certain variations in the values of j and n , the Hankel determinant H j , n ( f ) takes the following forms
H 2 , 1 f = a 1 a 2 a 2 a 3 = a 1 a 3 a 2 2 , H 2 , 2 f = a 2 a 3 a 3 a 4 = a 2 a 4 a 3 2 .
The determinant H 2 , 1 is the renowned Fekete-Szegö functional, Ref. [1] and H 2 , 2 is the well-known and extensively studied second Hankel determinant. Also, the third-order Hankel determinant is written as
H 3 , 1 ( f ) = a 1 a 2 a 3 a 2 a 3 a 4 a 3 a 4 a 5 = a 5 ( a 3 a 2 2 ) a 4 ( a 4 a 2 a 3 ) + a 3 ( a 2 a 4 a 3 2 ) .
This implies that
H 3 , 1 ( f ) a 5 a 3 a 2 2 + a 4 a 4 a 2 a 3 + a 3 H 2 , 2 f .
Also, the fourth-order determinant is given by
H 4 , 1 ( f ) = a 1 a 2 a 3 a 4 a 2 a 3 a 4 a 5 a 3 a 4 a 5 a 6 a 4 a 5 a 6 a 7 = a 4 a 4 ( a 3 a 5 a 4 2 ) a 5 ( a 2 a 5 a 3 a 4 ) + a 6 ( a 4 a 2 a 3 ) a 5 a 3 ( a 3 a 5 a 4 2 ) a 5 ( a 5 a 2 a 4 ) + a 6 ( a 4 a 2 a 3 ) + a 6 a 3 ( a 2 a 5 a 3 a 4 ) a 4 ( a 5 a 2 a 4 ) + a 6 ( a 3 a 2 2 ) a 7 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 [2,3] studied the Hankel determinants for univalent functions, p-valent functions, and starlike functions. In 1976, Noonan and Thomas [4] analyzed the second Hankel determinants for p-valent functions. In 1983 , Noor [5] studied the Hankel determinants for close-to-convex univalent functions. Then, in 1987, Noor [6] studied the Hankel determinants for functions with bounded boundary rotations, and she studied the same for higher-order close-to-convex functions in [7]. Ehrenborg [8] studied the Hankel determinants for exponential polynomials in 2000. Following his work, in 2001, Layman [9] thoroughly studied the Hankel transform, along with its properties. In 2007, Janteng et al. [10] studied the Hankel determinants for starlike and convex functions with respect to symmetric points. Inspired by the research being performed in this area, many researchers have contributed in developing some interesting and useful results, which include some of the following recent developments.
In 2019, Mahmood et al. [11] found the third-order Hankel determinant for a family of q-starlike functions, defined by a q-Ruscheweyh derivative operator, and Srivastava et al. [12] performed the same work for close-to-convex functions associated with Lemniscate of Bernoulli. Arif et al. [13] found the bound of the third Hankel determinant for functions connected with the sine function, and Srivastava et al. [14] found the same bound of Hankel and Toeplitz determinants for q-starlike functions associated with the generalized conic domain. In 2020, Shafiq et al. [15] investigated the bound of the third Hankel determinant for q-starlike functions connected with k-Fibonacci numbers. Murugusundaramoorthy and Bulboacă [16] found the upper bound of Hankel determinants for certain analytic functions connected with the shell-shaped region. In 2021, Guney and Korfeci [17] studied the fourth-order Hankel determinant for analytic functions, which are defined by using the modified sigmoid function, Zhang and Tang [18] found the same bound for functions connected with the sine function, Srivastava et al. [19] investigated third Hankel for q-starlike functions associated with q-analogue of the exponential function, and Saliu and Noor [20] studied third Hankel for analytic functions which are defined by using the Sălăgean differential and Komatu integral operators. Recently, in 2022, Raza et al. [21] studied Hankel determinants for starlike functions connected with symmetric Booth Lemniscate, Khan et al. [22] found the bound of third-order Hankel determinants for logarithmic coefficients of starlike functions connected with Sine function, and Riaz et al. [23,24,25] studied the Hankel determinants for starlike and convex functions associated with the sigmoid function, lune, and cardioid domain.
Now, we intend to find the upper bound of the third-order Hankel determinant for a subclass of starlike univalent functions, denoted by S q s * , which is defined below. Also, certain coefficient inequalities named Zalcman and generalized Zalcman inequalities are also part of our investigations. Before introducing the class S q s * , we need to know about some preliminary concepts, which are stated as follows.
A function f is called univalent in E if there exists a one-to-one correspondence between E and f E . That is, for z 1 , z 2 E , if f z 1 = f z 2 leads to z 1 = z 2 . The class S consists of functions that are not only analytic, but univalent as well in E , and the conditions f 0 = 0 , f 0 = 1 normalize these functions. That means, S = f A : f is univalent in E . Starlikeness is a very important geometric property. To define a starlike domain, we join every point of the set with a fixed point through a straight line, and if all such straight lines lie entirely in that domain, then that domain is called starlike with respect to that fixed point to say, w 0 . Geometrically speaking, if every point of the domain is visible from that fixed point w 0 , then the domain will be starlike or star-shaped with respect to w 0 . The function that maps E onto a domain that is starlike and whose fixed point is the origin is called the starlike function. Furthermore, all those functions of the class S that satisfy the condition z f ( z ) f ( z ) > 0 , z E form the class S * of starlike univalent functions. The next important class is the class P whose elements are all those functions p, which is analytic, and the condition that normalizes these functions is p 0 = 1 , such that p z > 0 , z E . That is,
P = p : p 0 = 1 and p z > 0 , z E
and having Taylor series expansion of the form
p ( z ) = 1 + n = 1 c n z n .
Let w be an analytic function in E , and it is called the Schwarz function, if w ( 0 ) = 0 , such that w ( z ) < 1 for z E . Let f ( z ) and g ( z ) be analytic functions in E , and if a Schwarz function w exists in E such that
f ( z ) = g ( w ( z ) ) , z E ,
then f is said to subordinate g and is denoted by f g . If the function g is univalent in E and f ( 0 ) = g ( 0 ) , then f ( E ) g ( E ) . For more details, see [26,27,28]. By using the relation (5) one can write the formation of classes P and S * as follows.
P = p : p 0 = 1 and p z 1 + z 1 z , z E ,
S * = f S : z f ( z ) f ( z ) 1 + z 1 z , z E .
Quantum calculus, also known as q-calculus, is just the same as classical calculus, but with a major difference, in that unlike the classical form, we do not use limits in q-calculus. We define derivatives as differences and antiderivatives as sums. By definition, the q-derivative of a function f, which is particularly complex-valued and is defined in the domain D , is given as follows
( D q f ) ( z ) = f ( z ) f ( q z ) ( 1 q ) z , z 0 , f ( 0 ) , z = 0 ,
where 0 < q < 1 . Also, we see that
lim q 1 D q f z = lim q 1 f ( z ) f ( q z ) ( 1 q ) z = f z ,
provided that the function f is differentiable in domain D . The Maclaurin’s series representation of the function D q f given in (1) is given by
D q f ( z ) = n = 0 n q a n z n 1 ,
where
n q = 1 q n 1 q , if n C , n = 0 n 1 q n , if n N .
For more details, see [29,30]. To take a brief overview of the applications of q-calculus, we observe mainly that the q-derivative operator D q is an important tool that is used to define and to thoroughly investigate the numerous subclasses of analytic functions. Similarly, using this derivative operator, a q-extension of the class of starlike functions was firstly given in [31]. However, the development that provided a strong foundation for the application of the q-calculus in the context of Geometric Function Theory was presented by Srivastava, and he achieved this by introducing the basic (or q-) hypergeometric functions; for details, see [32]. To access the recent work on q-derivative, we refer to the following recent developments.
Mahmood et al. [33] studied the coefficient problems of q-starlike functions associated with conic domains. Mahmood et al. [34] studied the geometric properties of certain analytic functions that are defined by using the q-integral operator. Raza et al. [35] studied the q-analogue of differential subordinations by considering the Janowski functions and Lemniscate of Bernoulli. Zainab et al. [36] studied q-starlike functions defined by the q-version of the Ruscheweyh differential operator. Riaz et al. [37] studied the q-starlike functions of negative order, and Saliu et al. [38] studied q-symmetric starlike functions of Janowski type. Moreover, to access the fractional version of certain derivatives like the Caputo fractional derivative, and the conformable fractional derivative, see [39,40] and the references therein. Motivated by this referred work, we now introduce the class S q s * of q-starlike functions associated with the q-analogue of the function 1 + sin q z , as follows.
Definition 1.
A function f S is said to be in the class S q s * , if it satisfies the following condition
z D q f ( z ) f ( z ) 1 + sin ( q z ) , z E .
That is,
S q s * = f S : z D q f ( z ) f ( z ) 1 + sin ( q z ) , z E .
The class S q s * generalizes the class S s * of starlike functions associated with the function 1 + sin z and lim q 1 S q s * S s * . The class S s * was introduced and studied by Cho et al. [41].
Now, we proceed to discuss certain coefficient problems for the class S q s * , for which we need the following lemmas.
Lemma 1
([42,43]). If p ( z ) = 1 + n = 1 c n z n P , then
2 c 2 = c 1 2 + x ( 4 c 1 2 )
for some x x 1 and
4 c 3 = c 1 3 + 2 ( 4 c 1 2 ) c 1 x ( 4 c 1 2 ) c 1 x 2 + 2 ( 4 c 1 2 ) 1 x 2 z
for some z z 1 .
Lemma 2.
Let the function p P be given by (4) Then, c 3 2 B c 1 c 2 + D c 1 3 2 if 0 B 1 and B ( 2 B 1 ) D B .
Lemma 3
([43]). Let the function p P be given by (4) Then,
c n 2 n N .
and the inequality is sharp. Also,
c n μ c k c n k 2 , n > k , μ 0 , 1 .
Lemma 4
([44]). Let the function p P be given by (4), 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,
λ c 1 4 + a c 2 2 + 2 α c 1 c 3 3 2 β c 1 2 c 2 c 4 2 .
Lemma 5
([45]). Let E ¯ : = { z C : | z | 1 } , and for real numbers A, B, C, let
Y ( A , B , C ) : = max | A + B x + C x 2 | + 1 | x | 2 : x E ¯ .
If A C 0 , then
Y ( A , B , C ) = | A | + | B | + | C | , | B | 2 ( 1 | C | ) , 1 + | A | + B 2 4 ( 1 | C | ) , | B | < 2 ( 1 | C | ) .
By making use of the above lemmas, we contribute to the study of coefficient problems by investigating the following for the class S q s * .
  • First, four coefficient bounds a n , n = 2 , 3 , 4 , 5 .
  • The Zalcman inequality a n 2 a 2 n 1 n 1 2 for n = 2 .
  • The generalized Zalcman inequality a n a m a n + m 1 n 1 m 1 for certain values of m and n.
  • The upper bounds of the second Hankel H 2 , 2 f and the third Hankel determinant H 3 , 1 ( f ) .

2. Main Results

Theorem 1.
If f S q s * has the series form as given in (1), then
a n 1 j = 0 n 2 q j , 0 < q < 1 , n = 2 , 3 , 4
and
a 5 1 j = 0 3 q j , 0 < q 0.8651682397 .
The result is sharp.
Proof. 
If f S q s * , then from (5) and (8)
z D q f ( z ) f ( z ) = 1 + sin ( q w z ) , z E ,
where w ( z ) = p ( z ) 1 1 + p ( z ) . If p follows the form of (4) then
w ( z ) = c 1 z + c 2 z 2 + c 3 z 3 + 2 + c 1 z + c 2 z 2 + c 3 z 3 + .
Using this, one can have
1 + sin ( q w z ) = 1 + sin q c 1 z + c 2 z 2 + c 3 z 3 + 2 + c 1 z + c 2 z 2 + c 3 z 3 + = 1 + q c 1 2 z + q c 2 2 c 1 2 4 z 2 + q 3 c 1 3 48 + q c 1 c 2 4 + c 3 2 c 1 c 2 4 + c 1 3 8 z 3 + q c 2 2 4 + c 1 2 c 2 8 c 1 c 3 2 + c 4 2 + c 1 2 c 2 4 c 1 4 8 q 3 8 c 1 2 c 2 8 c 1 4 8 z 4 + .
Now, from (1) and (6), we consider
z D q f ( z ) f ( z ) = z z + a 2 z 2 + a 3 z 3 + . . . q z + q a 2 z 2 + q a 3 z 3 + z ( 1 q ) z + a 2 z 2 + a 3 z 3 + . . . = 1 + a 2 q z + q ( q + 1 ) a 3 q a 2 2 z 2 + q j = 0 2 q j a 4 q ( 2 + q ) a 2 a 3 + q a 2 3 z 3 + q a 5 q 3 + ( a 2 a 4 + a 5 ) q 2 + ( a 3 2 + a 3 a 2 2 a 2 a 4 + a 5 ) q + 3 a 3 a 2 2 2 a 2 a 4 a 2 4 a 3 2 + a 5 z 4 +
Thus, by using the above series, (15) takes the form
1 + a 2 q z + q ( q + 1 ) a 3 q a 2 2 z 2 + q j = 0 2 q j a 4 q ( 2 + q ) a 2 a 3 + q a 2 3 z 3 + + q a 5 q 3 + ( a 2 a 4 + a 5 ) q 2 + ( a 3 2 + a 3 a 2 2 a 2 a 4 + a 5 ) q + 3 a 3 a 2 2 2 a 2 a 4 a 2 4 a 3 2 + a 5 z 4 + = 1 + q c 1 2 z + q c 2 2 c 1 2 4 z 2 + q 3 c 1 3 48 + q c 1 c 2 4 + c 3 2 c 1 c 2 4 + c 1 3 8 z 3 + q c 2 2 4 + c 1 2 c 2 8 c 1 c 3 4 + c 4 2 + c 1 2 c 2 4 c 1 c 3 4 c 1 4 8 q 3 8 c 1 2 c 2 8 c 1 4 8 z 4 + .
The comparison of coefficients of z , z 2 , z 3 , and z 4 , together with precise computation, yields the following:
a 2 = c 1 2 ,
a 3 = c 2 2 ( q + 1 ) ,
a 4 = q 2 c 1 3 48 j = 0 2 q j + c 3 2 j = 0 2 q j q 4 q + 1 j = 0 2 q j c 1 c 2 ,
and
a 5 = 1 2 ( j = 0 3 q j ) 2 q 4 + 2 q 3 + q 2 48 j = 0 2 q j c 1 4 + q c 2 2 2 ( q + 1 ) + q ( q + 1 ) c 1 c 3 2 j = 0 2 q j q 2 ( 1 q q 2 ) c 1 2 c 2 8 j = 0 2 q j c 4 .
Applying (10) to (19) and (20), we obtain a 2 1 and a 3 1 q + 1 . Now consider,
a 4 = 1 2 j = 0 2 q j c 3 q 2 q + 1 c 1 c 2 q 2 c 1 3 24 .
Assuming the values B = q 4 q + 1 and D = q 2 24 , which satisfy B ( 2 B 1 ) D B for the application of Lemma 2, we get
a 4 1 q 2 + q + 1 = 1 j = 0 2 q j .
Now, from (22) consider,
a 5 = 1 j = 0 3 q j 2 q 4 + 2 q 3 + q 2 96 j = 0 2 q j c 1 4 q c 2 2 4 ( q + 1 ) q ( q + 1 ) c 1 c 3 4 j = 0 2 q j ( q 5 2 q 4 + q 2 ) c 1 2 c 2 8 q q + 1 j = 0 2 q j + c 4 2 = 1 2 j = 0 3 q j 2 q 4 + 2 q 3 + q 2 48 j = 0 2 q j c 1 4 + q c 2 2 2 ( q + 1 ) + q ( q + 1 ) c 1 c 3 2 j = 0 2 q j ( q 5 + 2 q 4 q 2 ) c 1 2 c 2 4 q q + 1 j = 0 2 q j c 4 = 1 2 j = 0 3 q j λ c 1 4 + a c 2 2 + 2 α c 1 c 3 3 2 β c 1 2 c 2 c 4 ,
where
λ : = 2 q 4 + 2 q 3 + q 2 48 j = 0 2 q j , a : = q 2 ( q + 1 ) , α : = q ( q + 1 ) 4 j = 0 2 q j , β : = q 2 ( 1 q q 2 ) 12 j = 0 2 q j .
We see that 0 < a < 1 , 0 < α < 1 . Now,
8 a ( 1 a ) { ( α β 2 λ ) 2 + ( α a + α β ) 2 } + α ( 1 α ) ( β 2 a α ) 2 4 α 2 a ( 1 α ) 2 ( 1 a ) = ( 53 q 11 + 318 q 10 + 589 q 9 + 2128 q 8 + 3210 q 7 + 3304 q 6 + 1867 q 5 452 q 4 2091 q 3 2118 q 2 1152 q 288 ) q 3 2304 ( q + 1 ) 2 j = 0 2 q j 4 = Ψ q
A calculation shows that the equation Ψ q 0 when 0 < q 0.8651682397 .
Hence, Ψ q 0 . Now, by using Lemma 4, we can have
a 5 1 j = 0 3 q j .
For sharpness, consider the function f n : E C , defined by
z D q f n ( z ) f n ( z ) = 1 + sin ( q z n ) , n = 2 , 3 , 4 , 5 .
Then, it is easy to see that the function f n S q s * . A simple calculations shows that
f 2 ( z ) = z + q [ 2 ] q 1 z 2 + , f 3 ( z ) = z + q [ 3 ] q 1 z 3 + q 2 [ 3 ] q + [ 5 ] q [ 3 ] q + 1 [ 5 ] q z 5 + , f 4 ( z ) = z + q [ 4 ] q 1 z 4 + , f 5 ( z ) = z + q [ 5 ] q 1 z 5 + .
Hence, by using (7) the result is sharp. □
Considering q 1 in the above result, we obtain the following improved result than the one proven in [46].
Corollary 1.
If f S s * has the series form as given in (1), then,
a n 1 n 1 , n = 2 , 3 , 4 .

3. Zalcman and Generalized Zalcman Conjecture

In 1960, Zalcman proposed a remarkable conjecture for univalent functions whose generalized version were given by Ma [47] in 1999. These conjectures are still open but have been proven for certain subclasses of univalent functions. Zalcman’s conjecture states that every f S having the form of (1) satisfies the following sharp inequality.
a n 2 a 2 n 1 n 1 2 , n 2 .
Whereas, the generalized Zalcman conjecture states that the Taylor series coefficients from (1) of univalent functions f S satisfy the following inequality.
a n a m a n + m 1 n 1 m 1 , m , n N , n 2 , m 2 .
We intend to find these inequalities for the considered class S q s * for certain values of n and m . For n = 2 , the inequality (24) takes the form a 2 2 a 3 1 .
Theorem 2.
If f S q s * has the series form as given in (1) Then,
a 3 a 2 2 1 q + 1 .
The above inequality is sharp, which can be obtained with the function f 3 , given in (23).
Proof. 
From (19) and (20), consider
a 3 a 2 2 = 1 2 ( q + 1 ) c 2 ( q + 1 ) c 1 2 2 = 1 2 ( q + 1 ) c 2 v c 1 2 ,
where v = q + 1 / 2 . Since q 0 , 1 , therefore, 0 < v < 1 . Now, by using (11) for n = 2 and k = 1 , we obtain (26). □
Upon letting q 1 , the above result reduces to the following, proven in [46].
Corollary 2.
If f S s * has the series form as given in (1), then,
a 3 a 2 2 1 2 .
For n = 3 , m = 2 , the inequality (25) reduces to a 2 a 3 a 4 2 . We discuss it as follows:
Theorem 3.
If f S q s * has the series form as given in (1) then,
a 4 a 3 a 2 1 q 2 + q + 1 , q 0 , 3 2 .
The result is sharp for the function f 4 , given in (23).
Proof. 
From (19), (20) and (21), consider
a 4 a 3 a 2 = q 2 c 1 3 48 j = 0 2 q j + c 3 2 j = 0 2 q j q 4 q + 1 j = 0 2 q j c 1 c 2 c 1 c 2 4 ( q + 1 ) , = q 2 c 1 3 48 j = 0 2 q j + c 3 2 j = 0 2 q j ( q 2 + 2 q + 1 ) 4 q + 1 j = 0 2 q j c 1 c 2 .
Taking the modulus, we get
a 4 a 3 a 2 = q 2 c 1 3 48 j = 0 2 q j + c 3 2 j = 0 2 q j ( q 2 + 2 q + 1 ) 4 q + 1 j = 0 2 q j c 1 c 2 = 1 2 j = 0 2 q j c 3 ( q 2 + 2 q + 1 ) 2 q + 1 c 1 c 2 q 2 c 1 3 24 .
Assuming the values B = ( q 2 + 2 q + 1 ) 2 q + 1 and D = q 2 24 , we see that
B ( 2 B 1 ) D = 1 24 4 q 2 3 < 0 , for q 0 , 3 2
which shows that B ( 2 B 1 ) D B . Thus, the application of Lemma 2 gives that
a 4 a 3 a 2 1 q 2 + q + 1 .
Now, the following results investigate the inequality (24) for m = n = 3 .
Theorem 4.
If f S q s * has the series form as given in (1) then,
a 3 2 a 5 1 j = 0 3 q j , q 0 , 0.3898584501 .
The result is sharp for the function f 5 , given in (23).
Proof. 
From (20) and (22), consider
a 3 2 a 5 = c 2 2 q + 1 2 1 j = 0 3 q j 2 q 4 + 2 q 3 + q 2 96 j = 0 2 q j c 1 4 q c 2 2 4 ( q + 1 ) q ( q + 1 ) c 1 c 3 4 j = 0 2 q j ( q 5 + 2 q 4 + q 2 ) c 1 2 c 2 8 q q + 1 j = 0 2 q j + c 4 2 = 1 2 j = 0 3 q j q 2 1 + 2 q + 2 q 2 48 j = 0 2 q j c 1 4 + q 2 + q + 1 2 ( q + 1 ) c 2 2 + q ( q + 1 ) 2 j = 0 2 q j c 1 c 3 + q 2 ( q 2 + q 1 ) 8 j = 0 2 q j c 1 2 c 2 c 4 = 1 2 j = 0 3 q j λ c 1 4 + a c 2 2 + 2 α c 1 c 3 3 2 β c 1 2 c 2 c 4 ,
where
λ : = q 2 1 + 2 q + 2 q 2 48 j = 0 2 q j , a : = q 2 + q + 1 2 ( q + 1 ) , α : = q ( q + 1 ) 4 j = 0 2 q j , β : = q 2 ( q 2 + q 1 ) 8 j = 0 2 q j .
We see that 0 < a < 1 , 0 < α < 1 . Now,
8 a ( 1 a ) { ( α β 2 λ ) 2 + ( α a + α β ) 2 } + α ( 1 α ) ( β 2 a α ) 2 4 α 2 a ( 1 α ) 2 ( 1 a ) = q 2 ( 770 q 3 4011 q 4 8430 q 5 11127 q 6 10282 q 7 6180 q 8 1810 q 9 + 845 q 10 + 72 + 1340 q 11 + 835 q 12 + 296 q 13 + 50 q 14 + 348 q + 416 q 2 ) 2304 ( q + 1 ) 2 j = 0 2 q j 4 = Ψ 1 q
A calculation shows that the equation Ψ 1 q 0 when 0 < q 0.3898584501 . Hence, Ψ 1 q 0 . Now by using Lemma 4, we can have
a 3 2 a 5 1 j = 0 3 q j
and 1 j = 0 3 q j , for q 0 , 0.3898584501 . This shows that the inequality (24) is satisfied for n = 3 .
The following result investigates the inequality (25) for n = 4 , m = 2 .
Theorem 5.
If the function f S q s * has the form (1) then,
a 4 a 2 a 5 1 j = 0 3 q j , q 0 , 0.1889972572 .
Proof. 
From (19), (21), and (22), consider
a 5 a 2 a 4 = 1 2 j = 0 3 q j q 2 q + 2 48 c 1 4 + q c 2 2 2 ( q + 1 ) + q + 1 c 1 c 3 2 + q ( q 2 ) c 1 2 c 2 8 c 4 = 1 2 j = 0 3 q j λ c 1 4 + a c 2 2 + 2 α c 1 c 3 3 2 β c 1 2 c 2 c 4 ,
where
λ : = q 2 q + 2 48 , a : = q 2 ( q + 1 ) , α : = q + 1 4 , β : = q ( 2 q ) 12 .
We see that 0 < a < 1 , 0 < α < 1 . Now,
8 a ( 1 a ) { ( α β 2 λ ) 2 + ( α a + α β ) 2 } + α ( 1 α ) ( β 2 a α ) 2 4 α 2 a ( 1 α ) 2 ( 1 a ) = q ( 40 q 5 146 q 4 + 82 q 6 + 751 q 3 + 17 q 7 + 1930 q 2 + 276 q 126 ) 2304 ( q + 1 ) 2 = Ψ 2 q
A calculation shows that the equation Ψ 2 q 0 when 0 < q 0.1889972572 . For the application of (12) we have
a 5 a 2 a 4 1 j = 0 3 q j ,
which completes the proof. □

4. Hankel Determinants

Theorem 6.
If f S q s * has the series form as given in (1) then,
H 2 , 2 f 1 ( q + 1 ) 2 .
The result is sharp for the function f 3 given in (23).
Proof. 
From (19), (20), and (21), consider
H 2 , 2 f = a 2 a 4 a 3 2 = q 2 c 1 4 96 j = 0 2 q j q 8 q + 1 j = 0 2 q j c 1 2 c 2 + c 1 c 3 4 j = 0 2 q j c 2 2 4 ( q + 1 ) 2 .
Since the class S q s * and the functional H 2 , 2 are rotationally invariant, we can consider that c : = c 1 [ 0 , 2 ] . Then, using Lemma 1 and after simplification, we obtain
H 2 , 2 f = 1 8 j = 0 2 q j q 2 q 2 + 2 q + 7 c 4 12 q + 1 2 + q ( 4 c 2 ) ( 1 q ) x c 2 2 q + 1 2 q c 2 + 4 j = 0 2 q j ( 4 c 2 ) x 2 2 q + 1 2 + c ( 4 c 2 ) 1 x 2 z
where x and z are such that | x | 1 , | z | 1 .
(1) Suppose first that c = 2 . Then, | H 2 , 2 f | = q 2 q 2 + 2 q + 7 6 q + 1 2 j = 0 2 q j < 1 q + 1 2 .
(2) When c = 0 ,
| H 2 , 2 f | | x | q + 1 2 1 q + 1 2 .
(3) Next, assume that c ( 0 , 2 ) and the application of the triangle inequality gives
| H 2 , 2 f | c ( 4 c 2 ) 8 j = 0 2 q j Ψ ( A , B , C ) ,
where
Ψ ( A , B , C ) : = | A + B x + C x 2 | + 1 | x | 2 , | x | 1 ,
with
A : = q 2 q 2 + 2 q + 7 c 3 12 q + 1 2 4 c 2 , B : = q ( 1 q ) c 2 q + 1 2 , C : = q c 2 + 4 j = 0 2 q j 2 c q + 1 2 .
Clearly,
A C = q 2 q c 2 + 4 j = 0 2 q j q 2 + 2 q + 7 c 2 24 q + 1 4 4 c 2 > 0 , c ( 0 , 2 ) , q 0 , 1 .
We now show that | B | 2 ( 1 | C | ) . For this, we define the function
φ c = 2 ( q + 1 ) 2 c | B | 2 ( 1 | C | ) = q ( 3 q ) c 2 4 ( q 2 + 2 q + 1 ) c + 8 j = 0 2 q j .
Now,
φ c = 2 q ( 3 q ) c 4 ( q 2 + 2 q + 1 ) , φ c = 2 q ( 3 q ) > 0 , q 0 , 1 .
This shows that the function φ is increasing and
max φ c = φ 2 = 8 q 2 + 4 q 4 < 0 , q 0 , 1 .
This implies that
φ c < 0 , c ( 0 , 2 ) , q 0 , 1 .
Hence, φ is a decreasing function and
min φ c = φ 2 = 4 q 1 q > 0 , q 0 , 1 .
We conclude that | B | 2 ( 1 | C | ) > 0 . Then, by Lemma 5,
| H 2 , 2 f | c ( 4 c 2 ) 8 j = 0 2 q j | A | + | B | + | C | = g ( c ) ,
where
g ( c ) : = 1 96 q + 1 2 j = 0 2 q j 7 q 2 2 q 3 + 6 q 1 q + 6 q q 4 c 4 + 24 q 1 q + 24 q 2 + 24 c 2 96 1 + q + q 2 .
Now,
g ( c ) = 1 96 q + 1 2 j = 0 2 q j L c 3 + M c ,
where
L = 28 q 2 8 q 3 + 24 q 1 q + 24 q 4 q 4 < 0 , q 0 , 1 , M = 48 48 q 1 q + 48 q 2 < 0 , q 0 , 1 .
We conclude that g is a decreasing function and
g ( c ) g ( 0 ) = 1 q + 1 2 , q 0 , 1 .
Hence,
| H 2 , 2 f | 1 q + 1 2 .
The result is sharp, which can be obtained with the function f 3 , given in (23) □
Upon letting q 1 , the above result reduces to the following, proven in [46].
Corollary 3.
If f S s * has the series form as given in (1), then,
a 2 a 4 a 3 2 1 4 .
Theorem 7.
If f S q s * has the series form as given in (1) then,
H 3 , 1 ( f ) 1 j = 0 3 q j ( q + 1 ) + 1 j = 0 2 q j 2 + 1 ( q + 1 ) 3 , q 0 , 0.86 .
The proof follows easily by using the inequalities of Theorem 1, Theorem 6, Theorem 3, and Theorem 2 in (3).

5. Conclusions

This work has introduced a new class S q s * of q-starlike functions linked with the q-analogue of the sine function through subordination relation. This class generalizes the class S s * of starlike functions. The investigations of certain coefficient inequalities like sharp coefficient bounds, the upper bound of the third-order Hankel determinant, Zalcman inequalities, and generalized Zalcman inequalities for the class S q s * have been included in this work. It also improves the coefficient bounds and the upper bound of the third-order Hankel determinant for the class S s * . Moreover, for future work, the defined class S q s * can be further investigated for finding the upper bounds of higher-order Hankel and Toeplitz determinants. Meanwhile, the obtained coefficient bounds may be used for studying many other unaddressed coefficient problems for this class.

Author Contributions

Conceptualization, Y.T., S.N.M. and Q.X.; methodology, Y.T., M.R. and Q.X.; software, S.Z.; validation, S.Z. and F.M.O.T.; formal analysis, M.R. and S.N.M.; investigation, Y.T., M.R. and Q.X.; resources, F.M.O.T.; data curation, F.M.O.T.; writing—original draft preparation, Y.T. and S.N.M.; writing—review and editing, S.N.M. and M.R.; visualization, F.M.O.T.; supervision, S.N.M.; project administration, S.Z.; funding acquisition, F.M.O.T. and S.Z. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

This work is supported by Researchers Supporting Project number (RSP2022R440), King Saud University, Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare that there are no conflicts of interests regarding the publication of this article.

References

  1. Fekete, M.; Szegö, G. Eine bemerkung uber ungerade schlichten funktionene. J. Lond. Math. Soc. 1993, 8, 85–89. [Google Scholar]
  2. Pommerenke, C. On the Hankel determinants of univalent functions. Mathematika 1967, 14, 108–112. [Google Scholar] [CrossRef]
  3. Pommerenke, C. On starlike and close-to-convex functions. Proc. Lond. Math. Soc. 1963, 3, 290–304. [Google Scholar] [CrossRef]
  4. Noonan, J.W.; Thomas, D.K. On the Hankel determinants of a really mean p-valent functions. Proc. Lond. Math. 1972, 3, 503–524. [Google Scholar] [CrossRef]
  5. Noor, K.I. On subclasses of close-to-convex functionsof higher order. Int. J. Math. Math. Sci. 1983, 6, 327–334. [Google Scholar] [CrossRef]
  6. Noor, K.I. On quasi-convex univalent functions and related topics. Internat. J. Math. Sci. 1987, 2, 241–258. [Google Scholar] [CrossRef]
  7. Noor, K.I. Higher order close-to-convex functions. Math Jpn. 1992, 37, 1–8. [Google Scholar]
  8. Ehrenborg, R. The Hankel determinant of exponential polynomials. Am. Math. Mon. 2000, 107, 557–560. [Google Scholar] [CrossRef]
  9. Layman, J.W. The Hankel transform and some of its properties. J. Integer Seq 2001, 4, 1–11. [Google Scholar]
  10. Janteng, A.; Suzeini, A.H.; Darus, M. Hankel determinant for starlike and convex functions. Int. J. Math. Anal. 2007, 1, 619–625. [Google Scholar]
  11. 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]
  12. Srivastava, H.M.; 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]
  13. 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]
  14. 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 General Conic Domain. Mathematics 2019, 7, 181. [Google Scholar] [CrossRef]
  15. Shafiq, M.; Srivastava, H.M.; Khan, N.; Ahmad, Q.Z.; Darus, M.; Kiran, S. An Upper Bound of the Third Hankel Determinant for a Subclass of q-Starlike Functions Associated with k-Fibonacci Numbers. Symmetry 2020, 12, 1043. [Google Scholar] [CrossRef]
  16. Murugusundaramoorthy, G.; Bulboacă, T. Hankel Determinants for New Subclasses of Analytic Functions Related to a Shell Shaped Region. Mathematics 2020, 8, 1041. [Google Scholar] [CrossRef]
  17. Guney, H.O.; Korfeci, B. Fourth Hankel Determinant for a subclass of analytic functions related to modified sigmoid functions. Int. J. Open Probl. Comput. Sci. Math. 2021, 14, 41–49. [Google Scholar]
  18. 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]
  19. Srivastava, H.M.; Khan, B.; Khan, N.; Tahir, M.; Ahmad, S.; Khan, N. Upper bound of the third Hankel determinant for a subclass of q-starlike functions associated with the q-exponential function. Bull. Sci. Math. 2021, 167, 102942. [Google Scholar] [CrossRef]
  20. Saliu, A.; Noor, K.I. On Coefficients Problems for Certain Classes of Analytic Functions. J. Math. Anal. 2021, 12, 13–22. [Google Scholar]
  21. 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]
  22. Khan, B.; Aldawish, I.; Araci, S.; Khan, M.G. Third Hankel Determinant for the Logarithmic Coefficients of Starlike Functions Associated with Sine Function. Fractal Fract. 2022, 6, 261. [Google Scholar] [CrossRef]
  23. Riaz, A.; Raza, M.; Thomas, D.K. The Third Hankel determinant for starlike functions associated with sigmoid functions. Forum Math. 2022, 34, 137–156. [Google Scholar] [CrossRef]
  24. Riaz, A.; Raza, M. Hankel determinants for starlike and convex functions associated with lune. submitted.
  25. Riaz, A.; Raza, M.; Thomas, D.K. Hankel determinants for starlike and convex functions associated with a cardioid domain. submitted.
  26. Afis, S.; Khalida, I.N. On Quantum Differential Subordination Related with Certain Family of Analytic Functions. J. Math. 2020, 2020, 6675732. [Google Scholar] [CrossRef]
  27. Saliu, A.; Jabeen, K.; Al-shbeil, I.; Oladejo, S.O.; Cătaş, A. Radius and Differential Subordination Results for Starlikeness Associated with Limaçon Class. J. Funct. Spaces 2022, 2022, 8264693. [Google Scholar] [CrossRef]
  28. Al-Shbeil, I.; Saliu, A.; Cătaş, A.; Malik, S.N.; Oladejo, S.O. Some Geometrical Results Associated with Secant Hyperbolic Functions. Mathematics 2022, 10, 2697. [Google Scholar] [CrossRef]
  29. Jackson, F.H. On q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  30. Jackson, F.H. q-difference equations. Am. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
  31. Ismail, M.E.H.; Merkes, E.; Styer, D. A generalization of starlike functions. Complex Var. 1990, 14, 77–84. [Google Scholar] [CrossRef]
  32. Srivastava, H.M. Univalent Functions, Fractional Calculus, and Associated Generalized Hypergeometric Functions. In Univalent Functions, Fractional Calculus, and Their Applications; Srivastava, H.M., Owa, S., Eds.; Halsted Press (Ellis Horwood Limited): Chichester, UK; John Wiley and Sons: New York, NY, USA, 1989; pp. 329–354. [Google Scholar]
  33. Mahmood, M.; Jabeen, M.; Malik, S.N.; Srivastava, H.M.; Manzoor, R.; Riaz, S.M.J. Some coefficient inequalities of q-starlike functions associated with conic domain defined by q-derivative. J. Funct. Spaces 2018, 2018, 8492072. [Google Scholar] [CrossRef] [Green Version]
  34. Mahmood, S.; Raza, N.; AbuJarad, E.S.A.; Srivastava, G.; Srivastava, H.M.; Malik, S.N. Geometric Properties of Certain Classes of Analytic Functions Associated with a q-Integral Operator. Symmetry 2019, 11, 719. [Google Scholar] [CrossRef] [Green Version]
  35. Raza, M.; Naz, H.; Malik, S.N.; Islam, S. On q-ANALOGUE of Differential Subordination Associated with Lemniscate of Bernoulli. J. Math. 2021, 2021, 5353372. [Google Scholar] [CrossRef]
  36. Zainab, S.; Raza, M.; Xin, Q.; Jabeen, M.; Malik, S.N.; Riaz, S. On q-Starlike Functions Defined by q-Ruscheweyh Differential Operator in Symmetric Conic Domain. Symmetry 2021, 13, 1947. [Google Scholar] [CrossRef]
  37. Riaz, S.; Nisar, U.A.; Xin, Q.; Malik, S.N.; Raheem, A. On Starlike Functions of Negative Order Defined by q-Fractional Derivative. Fractal Fract. 2022, 6, 30. [Google Scholar] [CrossRef]
  38. Saliu, A.; Al-Shbeil, I.; Gong, J.; Malik, S.N.; Aloraini, N. Properties of q-Symmetric Starlike Functions of Janowski Type. Symmetry 2022, 14, 1907. [Google Scholar] [CrossRef]
  39. Makhlouf, A.B.; Naifar, O.; Hammami, M.A.; Wu, B. FTS and FTB of Conformable Fractional Order Linear Systems. Math. Probl. Eng. 2018, 2018, 2572986. [Google Scholar] [CrossRef]
  40. Naifar, O.; Jmal, A.; Nagy, A.M.; Makhlouf, A.B. Improved Quasiuniform Stability for Fractional Order Neural Nets with Mixed Delay. Math. Probl. Eng. 2020, 2020, 8811226. [Google Scholar] [CrossRef]
  41. Cho, N.E.; Kumar, V.; Kumar, S.S. Radius Problems for Starlike Functions Associated with the Sine Function. Bull. Iran. Math. Soc. 2019, 45, 213–232. [Google Scholar] [CrossRef]
  42. Libera, R.J.; Złotkiewicz, E.J. Early coefficient of the inverse of a regular convex function. Proc. Am. Math. Soc. 1982, 85, 225–230. [Google Scholar] [CrossRef]
  43. Duren, P.L. Univalent Functions, Grundlehren der Mathematischen Wissenschaften; Springer: New York, NY, USA; Berlin/Heidelberg, Germany; Tokyo, Iapan, 1983; Volume 259. [Google Scholar]
  44. 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]
  45. Choi, J.H.; Kim, Y.C.; Sugawa, T. A general approach to the Fekete-Szegö problem. J. Math. Soc. 2007, 59, 707–727. [Google Scholar] [CrossRef]
  46. 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]
  47. Ma, W. Generalized Zalcman conjecture for starlike and typically real functions. J. Math. Anal. Appl. 1999, 234, 328–339. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Taj, Y.; Zainab, S.; Xin, Q.; Tawfiq, F.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. https://doi.org/10.3390/sym14102200

AMA Style

Taj Y, Zainab S, Xin Q, Tawfiq FMO, Raza M, Malik SN. Certain Coefficient Problems for q-Starlike Functions Associated with q-Analogue of Sine Function. Symmetry. 2022; 14(10):2200. https://doi.org/10.3390/sym14102200

Chicago/Turabian Style

Taj, Yusra, Saira Zainab, Qin Xin, Ferdous M. O. Tawfiq, Mohsan Raza, and Sarfraz Nawaz Malik. 2022. "Certain Coefficient Problems for q-Starlike Functions Associated with q-Analogue of Sine Function" Symmetry 14, no. 10: 2200. https://doi.org/10.3390/sym14102200

APA Style

Taj, Y., Zainab, S., Xin, Q., Tawfiq, F. M. O., Raza, M., & Malik, S. N. (2022). Certain Coefficient Problems for q-Starlike Functions Associated with q-Analogue of Sine Function. Symmetry, 14(10), 2200. https://doi.org/10.3390/sym14102200

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