Next Article in Journal
L1 Scheme for Semilinear Stochastic Subdiffusion with Integrated Fractional Gaussian Noise
Previous Article in Journal
Multi-Objective Optimization of a Fractional-Order Lorenz System
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Coefficient Bounds for Alpha-Convex Functions Involving the Linear q-Derivative Operator Connected with the Cardioid Domain

by
Sudhansu Palei
1,
Madan Mohan Soren
1,* and
Luminiţa-Ioana Cotîrlǎ
2,*
1
Department of Mathematics, Berhampur University, Berhampur 760007, Odisha, India
2
Department of Mathematics, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania
*
Authors to whom correspondence should be addressed.
Fractal Fract. 2025, 9(3), 172; https://doi.org/10.3390/fractalfract9030172
Submission received: 28 January 2025 / Revised: 7 March 2025 / Accepted: 10 March 2025 / Published: 12 March 2025
(This article belongs to the Section General Mathematics, Analysis)

Abstract

Scholars from several disciplines have recently expressed interest in the field of fractional q-calculus based on fractional integrals and derivative operators. This article mathematically applies the fractional q-differential and q-integral operators in geometric function theory. The linear q-derivative operator S μ , δ , q n , m and subordination are used in this study to define and construct new classes of α -convex functions associated with the cardioid domain. Additionally, this paper explores acute inequality problems for newly defined classes R q α ( a , c , m , L , P ) , of α -convex functions in the open unit disc U s , such as initial coefficient bounds, coefficient inequalities, Fekete–Szegö problems, the second Hankel determinants, and logarithmic coefficients. The results presented in this paper are simple to comprehend and demonstrate how current research relates to earlier research. We found all of the estimates, and they are sharp.

1. Introduction and Preliminaries

The mathematical field explored in this paper is called quantum calculus, or q-calculus, which integrates quantum mechanics concepts into classical calculus by introducing a new parameter, q. Euler introduced the concept, and later, Jackson [1] generalized it into q-integrals and q-derivatives. Moreover, numerous researchers have studied geometric function theory by exploring new subclasses based on the q approach due to its applications in many quantitative fields, which piqued their interest and motivation.
An extension of conventional fractional calculus, fractional q-calculus finds use in a variety of fields, including q-difference, q-integral equations, ordinary fractional calculus, and optimal control problems. Refer to published work [2] and recent literature, which may contain references such as [3], to learn more. Fractional calculus operators are widely employed to address problems in the applied sciences and geometric functions [4,5]. Srivastava [6] presented the concept of q-calculus in a review article regarding the applications of a q-calculus operator. For more details on q-calculus and its application, see [7,8,9].
In geometric function theory, estimating the coefficient bounds for functions belonging to different classes is an essential problem, since it helps us to find the geometric properties of functions associated with the class. Recently, Srivastava et al. [10] considered the class of multivalent functions associated with the cardioid domain and determined the coefficient bounds for the first two coefficients. Khan and AbaOud [11] studied the fractional q -calculus operator for subclasses of q -starlike functions related to the cardioid domain. Also, Al-Shaikh [12] introduced certain classes of q-starlike and q-convex functions and estimated the bounds for the first and second coefficients.
The class of the holomorphic functions f ( z ) normalized in the open unit disk U s = z C : | z | < 1 is represented by A . Its form is
f ( z ) : = z + j = 2 a j z j .
The family of univalent functions in A are represented by S . We also consider S * and K , the classes of starlike and convex functions (see [13]) by
S * = f : f A and R e z f ( z ) f ( z ) > 0 ,
and
K = f : f A and R e 1 + z f ( z ) f ( z ) > 0 .
Mocanu [14] introduced the classes of α -convex functions N α , which are defined on A with f ( 0 ) = 0 and f ( 0 ) 0 , if it satisfies
R e ( 1 α ) z f ( z ) f ( z ) + α z f ( z ) f ( z ) + 1 > 0 , ( α R ; z U s ) .
Note that N 0 = S * and N 1 = K . We say that f is subordinate to g if, given two functions f and g U s , there exists a Schwarz function κ such that f ( z ) = g ( κ ( z ) ) for z U s . It can be written as f g . Whenever g is univalent in U s , a necessary and sufficient condition for f ( z ) g ( z ) is that f ( 0 ) = g ( 0 ) and f ( U s ) g ( U s ) (see [15]).
Let S * ( ϕ ) be the class of starlike functions defined as
S * ( ϕ ) = f A : z f ( z ) f ( z ) ϕ ( z ) ,
where ϕ ( z ) is analytic in U s . Assume that P is the Carathéodory class of all analytic functions p in U s with R e ( p ( z ) ) > 0 and that
p ( z ) = 1 + k = 1 c k z k ( z U s ) .
Paprocki and Sokól [16] considered a subclass of S * ( ϕ ) , that is the class S L of shell-like functions:
S L = f A : z f ( z ) f ( z ) J ( z ) ,
where
J ( z ) = 1 + ν 2 z 2 1 ν z ν 2 z 2 , ν = 1 5 2 0.618 .
Remark 1. 
J ( z ) is univalent in | z | < ν 2 ( 0.38 ) and R e ( J ( z ) ) < 0 , z U s . The functions J ( e i t ) in the class S L form a shell-like curve with { t [ o , 2 π ) { π } } .
Further, the coefficients of shell-like function J ( z ) are expressed in terms of Fibonacci numbers
J ( z ) = 1 + n = 1 ( u n 1 + u n + 1 ) ν n z n ,
where
u n = ( 1 ν ) n ( ν ) n 5 .
We notice that the function J ( z ) maps the unit circle to a curve, denoted by the conchoid of Maclaurin, which is
J ( e ı ϕ ) = 5 2 ( 3 2 cos ϕ ) + ı sin ϕ ( 4 cos ϕ 1 ) 2 ( 3 2 cos ϕ ) ( 1 + cos ϕ ) ( 0 ϕ < 2 π ) .
Various notable subclasses on the subordination of analytic function have been extensively studied by many authors based upon their image domain (see [17,18,19,20]).
Goodman [21] shows that J ( U s ) consisting of functions J ( z ) = 1 + z 1 z lies in the right half plane and for J ( U s ) , which consists of functions J ( z ) = 1 + ( 1 2 α ) z 1 z lying to the right of line R e ( w ) = α ( 0 α < 1 ) . Janowski [22] introduced the class of functions J ( z ) = 1 + A z 1 + B z ( 1 A < B 1 ) , such that their image domain lies in the circular disk. Noor and Malik [23] considered the analytic functions J ( z ) = A + 1 J j ( z ) ( A 1 ) B + 1 J j ( z ) ( B 1 ) ( 1 A < B 1 ) in the unit disk U s that maps to oval and petal-type regions. Paprocki and Sokól [16] showed that the functions J ( z ) = 1 + z 1 + 1 β β z 1 α in the disk U s map onto a leaf-like domain. For more details, (see [24,25,26]).
Definition 1. 
The function J ( z ) belongs to the class T L P , if it satisfies
J ( z ) J ˜ ( L , P , z ) ( 1 < P < L 1 ) ,
where
J ˜ ( L , P , z ) = 2 L 2 ν 2 z 2 + ( L 1 ) ν z + 2 2 P ν 2 z 2 + ( P 1 ) ν z + 2 , ν = 1 5 2 , z U s .
We observed that the function J ˜ ( z ) maps the unit circle to the cardioid-like curve C L , P with the parametric equation
u = 4 + ( L 1 ) ( P 1 ) ν 2 + 4 L P ν 4 + 2 η c o s θ + 4 ( L + p ) ν 2 c o s 2 θ 4 ( P 1 ) ( ν + P ν 3 ) c o s θ + 8 P ν 2 c o s 2 θ + 4 + ( P 1 ) 2 ν 2 + 4 P 2 ν 4 ,
v = ( L P ) ( ν ν 3 ) s i n θ + 2 ν 2 s i n 2 θ 4 ( P 1 ) ( ν + P ν 3 ) c o s θ + 8 P ν 2 c o s 2 θ + 4 + ( P 1 ) 2 ν 2 + 4 P 2 ν 4 ,
where
η = ( L + P 2 ) τ + ( 2 L P L P ) ν 3 .
Recently, Malik et al. [27] considered the subclass of an analytic function J ( z ) with a positive real part in U s , which maps onto the cardioid domain. For 1 < P < L 1 , they defined a class C P [ A , B ] concerning the geometrical interpretation of the function as cardioid, like the curve on their image domain. In addition, they also obtain Fekete–Szegö inequalities for functions belonging to this class (see [28,29,30]).
The class S has long been a subject of interest for mathematicians, particularly with regard to coefficient estimates. A seminal moment in this area came in 1916, when Bieberbach [31] proposed the famous coefficient conjecture. Nearly seven decades later, De Branges [32] finally settled the conjecture, proving that a n n for all n = 2 , 3 , . . . , with equality holding only for rotations of the Koebe function. This conjecture and related coefficient problems have been the focus of numerous research papers.
The kth Hankel determinant Z k , d ( f ) with d 1 and k 1 is composed of the coefficients of the Maclaurin expansion of f ( z ) , a concept presented by Pommerenke [33,34] which can be defined as follows:
Z k , d ( f ) = l d l d + 1 l d + k 1 l d + 1 l d + 2 l d + 1 l d + 2 l d + 3 l d + k + 1 l d + k 1 l d + k l d + 2 ( k 1 ) .
When k = 2 and d = 1 , we can see that Z 2 , 1 ( f ) equals l 3 l 2 2 . The second Hankel determinant Z 2 , 2 ( f ) , which is equal to l 2 l 4 l 3 2 , is commonly used to present a certain class in this area of research [35,36,37]. Fekete–Szegö [38] analyzed the Hankel determinant of the function f ( z ) to obtain
| Z 2 , 1 ( f ) | = l 1 l 2 l 2 l 3 = l 1 l 3 l 2 2 .
They built upon previous research on estimates of | l 3 I 2 2 | , with the condition l 1 = 1 and I R . They also introduced the concept of maximizing the non-linear functional | a 3 T a 2 2 | for the class of univalent functions, popularly known as the Fekete–Szegö problem:
| l 3 T l 2 2 | 3 4 T if T 0 , 1 + 2 e 2 T 1 T if 0 T 1 , 4 T 3 if T 1 .
The above problem is sharp for the function in the class with each “ T ”.
We now recall some essential definitions and concepts of the basic or q-calculus. Throughout this article, we suppose that 0 < q < 1 .
Definition 2 
([1,7]). The q -derivative (or q -difference) operator D q of a function f ( z ) is defined as follows:
D q f ( z ) : = f ( z ) f ( q z ) ( 1 q ) z if q ( 0 , 1 ) ; z 0 , f ( 0 ) if z = 0 ; q 1 , f ( z ) if z 0 ; q 1 .
It readily follows from the hypothesis of the above definition that
D q z n = [ n ] q z n 1 , D q j = 2 a j z j = j = 2 [ j ] q a j z j 1 ( z U s ) ,
where [ λ ] q is the so-called q-number, which is defined in [39] by
[ λ ] q : = 1 q λ 1 q ( λ C ) , j = 0 n 1 q j = 1 + q + q 2 + + q n 1 ( λ = n N : = 1 , 2 , ) .
For two functions f and g A is defined by the Hadamard product (or convolution)
( f g ) ( z ) = z + n = 2 a n b n z n = ( g f ) ( z ) .
Recently, for a function belonging to the class A with μ > 1 , n > 0 , Raina and Sharma [40] considered the following integral operator:
I n , μ f ( z ) = μ + 1 n z 1 μ + 1 n 0 z t μ + 1 n 2 f ( t ) d t .
which is the generalization of a linear integral operator studied in [41].
By using simple calculations on the above integration, we get
I n , μ f ( z ) = z + j = 2 μ + 1 μ + 1 + n ( j 1 ) a j z j .
We generalized this operator as follows:
H μ , δ m f ( z ) = z + j = 2 μ + δ μ + δ + n ( j 1 ) m a j z j ( n 0 , μ + δ > 0 ) .
Now, we define the operator S μ , δ n , m f ( z ) : A A as
S μ , δ n , m f ( z ) = H μ , δ m f ( z ) Φ ( b , τ , z ) = z + j = 2 μ + δ μ + δ + n ( j 1 ) m ( b ) j 1 ( τ ) j 1 a j z j ,
where
Φ ( b , τ , z ) = j = 1 ( b ) j 1 ( τ ) j 1 z j ( τ 0 , 1 , 2 , ; z U s )
and ( x ) k is the Pochhammer symbol defined by
( x ) j : = 1 j = 0 , x ( x + 1 ) ( x + 2 ) ( x + j 1 ) j N : = 1 , 2 , .
Definition 3. 
For f ( z ) A , the extended q-derivative operator S μ , δ , q n , m f ( z ) : A A is defined as follows
S μ , δ , q n , m f ( z ) = H μ , δ , q m f ( z ) Φ q ( b , τ , z ) = z + j = 2 γ q ( j ) a j z j ,
where
γ q ( j ) : = [ μ + δ ] q [ μ + δ + n ( j 1 ) ] q m [ b ] j 1 , q [ τ ] j 1 , q
and
[ x ] j , q : = 1 j = 0 , [ x ] q [ x + 1 ] q [ x + 2 ] q [ x + j 1 ] q j N : = 1 , 2 , .
Numerous researchers have investigated various coefficient problems in the literature, including estimating coefficients of functions, inverse functions, Fekete–Szegö problems, Hankel determinants, and logarithmic coefficients. As mentioned earlier, the research on the cardioid domain in the image plane motivated us to define a new subclass of analytic functions involving the linear q-derivative operator S μ , δ , q n , m and find a bound for the coefficient of this class.
Now, we define a new subclass of analytic functions associated with the region bounded by the cardioid domain as follows:
Definition 4. 
The function f ( z ) of the form (1) is said to be in the class R q α ( b , τ , m , L , P ) , if it satisfies
α 1 + z ( D q D q S μ , δ , q n , m f ( z ) ) D q S μ , δ , q n , m f ( z ) + ( 1 α ) z ( D q S μ , δ , q n , m f ( z ) ) S μ , δ , q n , m f ( z ) J ˜ ( L , P , z ) ,
where J ˜ ( L , P , z ) is given by (2) and 1 < P < L 1 , 0 α 1 and m N 0 .
Remark 2. 
If we set the parameters α , m , b , τ , and q 1 in (4), we obtain several novel subclasses of the class R q α ( b , τ , m , L , P ) :
(i) 
For α = 0 , m = 0 , b = τ , we have R q α ( b , τ , 0 , L , P ) = C S * [ L , P ] ([42]).
(ii) 
For α = 0 , m = 0 , b = τ , L = 1 , P = 1 , we have R q α ( b , τ , 0 , 1 , 1 ) = S L ([16]).
(iii) 
For α = 1 , m = 0 , b = τ , we obtain R q α ( b , τ , 0 , L , P ) , the class of convex functions connected with the cardioid domain.
(iv) 
For α = 1 , m = 0 , b = τ , L = 1 , P = 1 , we have R q α ( b , τ , 0 , 1 , 1 ) = K S L , the class of convex shell-like functions connected with the Fibonacci numbers ([18]).
(v) 
For m = 0 , b = τ , L = 1 , P = 1 , we have R q α ( b , τ , 0 , 1 , 1 ) = S L M α ([17]).
The lemmas provided below effectively demonstrate the theorems in primary results.
Lemma 1 
([27]). Consider the function J ˜ ( L , P ; z ) is defined by (2). Then
(i) 
The function J ˜ ( L , P ; z ) is univalent in the disk | z | < ν 2 .
(ii) 
If J ( z ) J ˜ ( L , P , z ) , then R e ( J ( z ) ) > ξ , where
ξ = 2 ( L + P 2 ) ν + 2 ( 2 L P L P ) ν 3 + 16 ( L + P ) ν 2 ς 4 ( P 1 ) ( ν + P ν 3 ) + 32 P ν 2 ς
and
ς = 4 + ν 2 P 2 ν 2 4 P 2 ν 4 ( 1 P ν 2 ) ϑ ( P ) 4 ν ( 1 + P 2 ν 2 )
with
ϑ ( P ) = 5 ( 2 P ν 2 + 2 ( P 1 ) ν ) ( 2 + 2 P ν 2 + ( P 1 ) ν ) ,
1 < P 1 and ν = 1 5 2 .
(iii) 
If J ˜ ( L , P ; z ) = z + j = 1 J ˜ j z j , then
J ˜ j : = ( L P ) ν 2 f o r j = 1 , ( L P ) ( 5 P ) ν 2 2 2 f o r j = 2 , 1 P 2 ν J ˜ k 1 P ν 2 J ˜ k 2 f o r k = 3 , 4 ,
where 1 < P < L 1 .
(iv) 
Let J ( z ) J ˜ ( L , P ; z ) and J ( z ) = 1 + j = 1 J j z j . Then,
| J 2 v J 1 2 | ν ( L P ) 2 max 1 , ν 2 ( P 5 + v ( L P ) ) ( v C ) .
Lemma 2 
([43]). Let p P and
p ( z ) = 1 + j = 1 c j z j .
Then,
c 2 v 2 c 1 2 max { 2 , 2 | v 1 | } = 2 i f 0 v 2 , 2 | v 1 | e l s e w h e r e
and
| c j | 2 ( j 1 ) .
Lemma 3 
([44]). Let p P be represented as in (5) and if K [ 0 , 1 ] with K ( 2 K 1 ) Q K , then
| c 3 2 K c 1 c 2 + Q c 1 3 | 2 .
Lemma 4 
([45]). Let p P be represented as in (5) with c 1 0 , then,
2 c 2 = c 1 2 + ( 4 c 1 2 ) r , 4 c 3 = c 1 3 + 2 ( 4 c 1 2 ) r c 1 ( 4 c 1 2 ) r 2 c 1 + 2 ( 4 c 1 2 ) ( 1 | r | 2 ) δ ,
for some r , δ U s ¯ = U s { 1 } .
Lemma 5 
([46]). For any real number G 1 , G 2 and G 3 , let
Ψ ( G 1 , G 2 , G 3 ) = max { G 1 + G 2 r + G 3 r 2 + 1 | r | 2 } .
If G 1 G 3 0 , then
Ψ ( G 1 , G 2 , G 3 ) = | G 1 | + | G 2 | + | G 3 | , | G 2 | 2 ( 1 | G 3 | ) , 1 + | G 1 | + G 2 2 4 ( 1 | G 3 | ) , | G 2 | < 2 ( 1 | G 3 | ) .
In this paper, we investigate some geometrical aspects of analytic functions in the class R q α ( b , τ , m , L , P ) connected with the cardioid domain defined in (4). Moreover, we estimate that the coefficients of functions, the inverse function, Fekete–Szegö problems, Hankel determinants, and logarithmic coefficients belong to the class R q α ( b , τ , m , L , P ) .
The authors organize this paper in the following way. In Section 1, we extend the linear operator into the q-derivative operator, define the class, and introduce the paper with some basic definitions and lemmas. The coefficients of functions to the class R q α ( b , τ , m , L , P ) , Fekete–Szegö problems, and Hankel determinants are estimated in Section 2. In addition to determining the Fekete–Szegö problems, the coefficients of the inverse function that belongs to the class R q α ( b , τ , m , L , P ) are also determined in Section 3. Section 4 calculates the logarithmic coefficients of f for the class, and the paper presents the concluding sections in Section 5.

2. Coefficient Estimates for the Class R q α ( b , τ , m , L , P )

In this section, we determine some coefficient bounds, Fekete–Szegö problems, and Hankel determinants for functions belonging to the class R q α ( b , τ , m , L , P ) . Throughout the paper, unless otherwise mentioned, we suppose that for β ( n ) = [ n ] q + α 1 , n N .
Theorem 1. 
If f ( z ) R q α ( b , τ , m , L , P ) and 1 P < L 1 , then
| a 2 | ( L P ) | ν | 2 β ( 2 ) γ q ( 2 ) ,
| a 3 | ( L P ) | ν | 2 4 γ q ( 3 ) A 1 ( L P ) σ β ( 2 ) 2 + 5 P
and
| a 4 | ( L P ) | ν | 2 γ q ( 4 ) A 2 ,
where A 1 = β ( 3 ) + α ( [ 3 ] q [ 2 ] q [ 3 ] q ) , A 2 = β ( 4 ) + α ( [ 4 ] q [ 3 ] q [ 4 ] q ) , σ = β ( 2 ) + α ( [ 2 ] q 2 [ 2 ] q ) and γ q ( j ) is given in (3). The result is sharp for the function given in (20).
Proof. 
Let f R q α ( b , τ , m , L , P ) . Then, by the subordination principle, there exists an analytic function κ ( z ) with κ ( 0 ) = 0 and | κ ( z ) | < 1 such that
α 1 + z ( D q D q S μ , δ , q n , m f ( z ) ) D q S μ , δ , q n , m f ( z ) + ( 1 α ) z ( D q S μ , δ , q n , m f ( z ) ) S μ , δ , q n , m f ( z ) = J ˜ ( L , P , κ ( z ) ) .
We define the function κ ( z ) that
κ ( z ) = ( J ( z ) 1 ) ( J ( z ) + 1 ) 1 = 1 2 c 1 z + 1 2 ( c 2 1 2 c 1 2 ) z 2 + 1 2 ( c 3 c 1 c 2 + 1 4 c 1 3 ) z 3 + ,
where J ( z ) is given in (5).
Equation (2) can be written as
J ˜ ( L , P , z ) = 2 L ν 2 z 2 + ( L 1 ) ν z + 2 2 P ν 2 z 2 + ( P 1 ) ν z + 2 = 1 + 1 2 ( L P ) ν z + 1 4 ( L P ) ( 5 P ) ν 2 z 2 + 1 8 ( L P ) ( P 2 10 P + 5 ) ν 3 z 3 + .
Then, by simple calculations, we obtain
J ˜ ( L , P , κ ( z ) ) = 1 + 1 4 ( L P ) ν c 1 z + 1 4 ( L P ) ν c 2 ( L P ) ( 2 ( 5 P ) ) ν 2 16 c 1 2 z 2 + ν ( L P ) 4 c 3 + ν ( L P ) 8 ( 2 + ( 5 P ) ν ) c 1 c 2 + ( L P ) 64 4 ν 4 ( 5 P ) ν 2 + ( P 2 10 P + 5 ) ν 3 c 1 3 z 3 + .
Now
α 1 + z ( D q D q S μ , δ , q n , m f ( z ) ) D q S μ , δ , q n , m f ( z ) + ( 1 α ) z ( D q S μ , δ , q n , m f ( z ) ) S μ , δ , q n , m f ( z ) = 1 + γ q ( 2 ) β ( 2 ) a 2 z + γ q ( 3 ) ( β ( 3 ) + α ( [ 3 ] q [ 2 ] q [ 3 ] q ) ) a 3 γ q ( 2 ) 2 ( β ( 2 ) + α ( [ 2 ] q 2 [ 2 ] q ) ) a 2 2 z 2 + γ q ( 4 ) ( β ( 4 ) + α ( [ 3 ] q [ 4 ] q [ 4 ] q ) ) a 4 + γ q ( 2 ) γ q ( 3 ) ( α ( [ 2 ] q + [ 3 ] q [ 2 ] q [ 3 ] q [ 2 ] q 2 [ 3 ] q ) β ( 3 ) β ( 2 ) ) a 2 a 3 + γ q ( 2 ) 3 ( β ( 2 ) + α ( [ 2 ] q 3 [ 2 ] q ) ) a 2 3 z 3 + .
Comparing the coefficients from (12) and (13) with (9), we get
a 2 = ( L P ) ν c 1 4 β ( 2 ) γ q ( 2 )
and
a 3 = ( L P ) ν 4 γ q ( 3 ) A 1 c 2 1 2 ρ c 1 2 ,
where
ρ = 1 ν ( L P ) ( β ( 2 ) + α ( [ 2 ] q 2 [ 2 ] q ) ) 2 β ( 2 ) 2 + 5 P 2
and
a 4 = ( L P ) ν 4 γ q ( 4 ) A 2 c 3 c 1 c 2 B ( α , q ) c 1 3 D ( α , q )
where,
B ( α , q ) = 1 ( 5 P ) ν 2 ( L P ) ν 4 β ( 2 ) A 1 β ( 3 ) + β ( 2 ) + α ( [ 2 ] q [ 3 ] q ( 1 + [ 2 ] q ) [ 3 ] q [ 2 ] q ) ,
D ( α , q ) = ( L P ) ν ρ 8 β ( 2 ) A 1 β ( 3 ) + β ( 2 ) + α ( [ 2 ] q [ 3 ] q ( 1 + [ 2 ] q ) [ 3 ] q [ 2 ] q ) + ( ( L P ) ν ) 2 16 β ( 2 ) 3 ( β ( 2 ) + α ( [ 2 ] q 3 [ 2 ] q ) ) + ( L P ) ν 1 4 ν 16 ( L P ) ( P 2 10 P + 5 ) .
If P < L , then ρ > 2 . Therefore, taking Lemma 2 into account, we reach the required conclusion of (6) and (7).
Let
K = B ( α , q ) 2 and Q = D ( α , q ) .
It is clear that
K Q = 1 2 ( 5 P ) ν 4 ( L P ) ν 8 β ( 2 ) A 1 ( β ( 3 ) + β ( 2 ) + α ( [ 2 ] q [ 3 ] q ( 1 + [ 2 ] q ) [ 3 ] q [ 2 ] q ) ) ( 1 ρ ) + ( ( L P ) ν ) 2 16 ( β ( 2 ) ) 3 ( β ( 2 ) + α ( [ 2 ] q 3 [ 2 ] q ) ) + ( L P ) ν 1 4 ν ( P 2 10 P + 5 ) 16 ( L P ) 0 ,
and
Q K ( 2 K 1 ) 0 .
Thus, by using the Lemma 3, we have
a 4 ( L P ) | ν | 2 γ q ( 4 ) A 2 .
If we consider the function f ˜ 1 : U C as
f ˜ 1 ( z ) = z + ( L P ) ν 2 β ( 2 ) γ q ( 2 ) z 2 + ( L P ) ν 2 γ q ( 3 ) A 1 1 ρ z 3 + .
Then, we obtain the following result with normalized conditions on f ˜ 1 R q α ( b , τ , m , L , P )
α 1 + z ( D q D q S μ , δ , q n , m f ( z ) ) D q S μ , δ , q n , m f ( z ) + ( 1 α ) z ( D q S μ , δ , q n , m f ( z ) ) S μ , δ , q n , m f ( z ) = J ˜ ( L , P , z ) .
This shows that the result is sharp for the function f ˜ 1 given in (20). □
Remark 3. 
The normalized extremal function f t yields the equalities, which are defined by
α 1 + z ( D q D q S μ , δ , q n , m f t ( z ) ) D q S μ , δ , q n , m f t ( z ) + ( 1 α ) z ( D q S μ , δ , q n , m f t ( z ) ) S μ , δ , q n , m f t ( z ) = J ˜ ( L , P , z t ) for t = 1 , 2 , 3 .
In other words, normalized extremal functions are supplied by
J ˜ ( L , P , z ) = 1 + ( L P ) ν 2 β ( 2 ) γ q ( 2 ) z + ( L P ) ν 2 γ q ( 3 ) A 1 1 ρ z 2 + ,
J ˜ ( L , P , z 2 ) = 1 + ( L P ) ν 2 β ( 2 ) γ q ( 2 ) z 2 + ( L P ) ν 2 γ q ( 3 ) A 1 1 ρ z 4 + ,
J ˜ ( L , P , z 3 ) = 1 + ( L P ) ν 2 β ( 2 ) γ q ( 2 ) z 3 + ( L P ) ν 2 γ q ( 3 ) A 1 1 ρ z 6 + .
By comparing the coefficients of the series in (13) with the coefficients of the series in (21) and using Definition 4, we can demonstrate that the function described by (21) is the extremal function of the sharpness of (6), as follows:
a 2 = ( L P ) ν c 1 4 β ( 2 ) γ q ( 2 ) .
Therefore, below, we present the normalized extremal function defined by (21) as follows:
f ˜ 1 ( z ) = z + ( L P ) ν 2 β ( 2 ) γ q ( 2 ) z 2 + ( L P ) ν 2 γ q ( 3 ) A 1 1 ρ z 3 + .
The extremal functions denoted by (22) and (23) can also be obtained in this way as follows:
f ˜ 2 ( z ) = z + ( L P ) ν 2 β ( 2 ) γ q ( 2 ) z 3 + .
f ˜ 3 ( z ) = z + ( L P ) ν 2 β ( 2 ) γ q ( 2 ) z 4 + .
Example 1. 
Let L = 0.5 , P = 0.25 , m = 1 , α = 1 , k = 1 , μ + δ = 1 , b = τ and q = 1 2 and using the definition of q-number, we get
[ 2 ] 0.5 = 1.5 , [ 3 ] 0.5 = 1.75 and [ 4 ] 0.5 = 1.875 .
Hence, Theorem 1 yields
| a 2 | 0.07803 , | a 3 | 0.0795 , and | a 4 | 0.04443 ,
where
γ q ( 2 ) = 0.66 , γ q ( 3 ) = 0.57 , and γ q ( 4 ) = 0.53 .
If we set α = 0 in Theorem 1, then we deduce the following result.
Corollary 1. 
If f ( z ) R q 0 ( b , τ , m , L , P ) and 1 P < L 1 , then
| a 2 | ( L P ) | ν | 2 ( [ 2 ] q 1 ) γ q ( 2 ) ,
| a 3 | ( L P ) | ν | 2 4 γ q ( 3 ) ( [ 3 ] q 1 ) ( L P ) [ 2 ] q 1 + 5 P
and
| a 4 | ( L P ) | ν | 2 γ q ( 4 ) ( [ 4 ] q 1 ) .
By taking q 1 , m = 0 , b = τ in Corollary 1, we deduce the result of [28] for a 2 , a 3 and the coefficient a 4 is fresh.
Corollary 2. 
If f ( z ) R q α ( τ , τ , 0 , L , P ) and 1 P < L 1 , then
| a 2 | ( L P ) | ν | 2 , | a 3 | ( L P ) | ν | 2 8 ( L 2 P + 5 )
and
| a 4 | ( L P ) | ν | 6 .
Theorem 2. 
If f ( z ) R q α ( b , τ , m , L , P ) and 1 P < L 1 , then
| a 3 M a 2 2 | ( L P ) | ν | 4 γ q ( 3 ) A 1 max 2 , ν β ( 2 ) 2 ( P 5 ) ( L P ) σ β ( 2 ) 2 + M ( L P ) A 1 γ q ( 3 ) β ( 2 ) 2 γ q ( 2 ) 2 .
This result is sharp for the function in (24).
Proof. 
Let f R q α ( b , τ , m , L , P ) . We note from (9) that
α 1 + z ( D q D q S μ , δ , q n , m f ( z ) ) D q S μ , δ , q n , m f ( z ) + ( 1 α ) z ( D q S μ , δ , q n , m f ( z ) ) S μ , δ , q n , m f ( z ) = J ˜ ( L , P , κ ( z ) ) .
Therefore,
1 + γ q ( 2 ) β ( 2 ) a 2 z + γ q ( 3 ) A 1 a 3 γ q ( 2 ) 2 σ a 2 2 z 2 + = 1 + h 1 z + h 2 z 2 + h 3 z 3 + .
By making use of a comparison on coefficient in (26), we deduce that
a 2 = h 1 β ( 2 ) γ q ( 2 ) a 3 = 1 γ q ( 3 ) A 1 h 2 + σ h 1 2 β ( 2 ) 2 .
Consequently, using basic computations, we get
| a 3 M a 2 2 | = 1 γ q ( 3 ) A 1 | h 2 ρ 1 h 1 2 | ,
where
ρ 1 = 1 β ( 2 ) 2 σ + M γ q ( 3 ) A 1 γ q ( 2 ) 2 .
The result follows according to Lemma 1. The equality
| a 3 M a 2 2 | = ( L P ) | ν | 2 4 γ q ( 3 ) A 1 ( L P ) σ β ( 2 ) 2 + ( 5 P ) M ( L P ) γ q ( 3 ) A 1 β 2 2 γ q ( 2 ) 2 .
holds for the function f ˜ 2 which is defined by (24). We have f ˜ 2 ( 0 ) = 0 , f ˜ 2 ( 0 ) = 1 and
α 1 + z ( D q D q S μ , δ , q n , m f ˜ ( z ) ) D q S μ , δ , q n , m f ˜ ( z ) + ( 1 α ) z ( D q S μ , δ , q n , m f ˜ ( z ) ) S μ , δ , q n , m f ˜ ( z ) = J ˜ ( L , P , z 2 ) .
Therefore, f ˜ 2 R q α ( b , τ , m , L , P ) . This shows that the result is sharp for the function f ˜ 2 given in (24). □
If we set α = 0 in Theorem 2, then we deduce the following result.
Corollary 3. 
If f ( z ) R q 0 ( b , τ , m , L , P ) and 1 P < L 1 , then
| a 3 M a 2 2 | ( L P ) | ν | 4 γ q ( 3 ) ( [ 3 ] q 1 ) × max 2 , ν ( [ 2 ] q 1 ) ( P 5 ) ( L P ) [ 2 ] q 1 + M ( L P ) ( [ 3 ] q 1 ) γ q ( 3 ) ( [ 2 ] q 1 ) 2 γ q ( 2 ) 2 .
By taking q 1 , m = 0 , b = τ , in Corollary 3, we deduce the following corollary.
Corollary 4 
([28]). If f ( z ) R q α ( τ , τ , 0 , L , P ) and 1 P < L 1 , then
| a 3 M a 2 2 | ( L P ) | ν | 8 max 2 , | ν ( ( L 2 P + 5 ) + 2 ( L P ) M ) | .
Theorem 3. 
If f ( z ) R q α ( b , τ , m , L , P ) and 1 P < L 1 , then
| a 3 a 2 2 | ( L P ) | ν | 4 A 1 γ q ( 3 ) max 2 , 2 ρ ( L P ) ν A 1 γ q ( 3 ) 2 β ( 2 ) 2 γ q ( 2 ) 2 1 .
This result is the best result possible. The function given in (24) holds equality.
Proof. 
Applying (14) and (15), we arrived at
a 3 a 2 2 = ( L P ) ν 4 A 1 γ q ( 3 ) c 2 c 1 2 2 ρ ( L P ) ν A 1 γ q ( 3 ) 2 β ( 2 ) 2 γ q ( 2 ) 2 .
Then, by utilizing the modulus in the resulting equation, we obtain
| a 3 a 2 2 | = ( L P ) ν 4 A 1 γ q ( 3 ) c 2 c 1 2 2 ρ 2 ,
where
ρ 2 = ρ ( L P ) ν A 1 γ q ( 3 ) 2 β ( 2 ) 2 γ q ( 2 ) 2 .
Hence, by Lemma 1, we obtain
| a 3 a 2 2 | ( L P ) | ν | 4 A 1 γ q ( 3 ) m a x 2 , 2 ρ ( L P ) ν A 1 γ q ( 3 ) 2 β ( 2 ) 2 γ q ( 2 ) 2 1 .
 □
Theorem 4. 
If f ( z ) R q α ( b , τ , m , L , P ) and 1 P < L 1 , then
| a 2 a 3 a 4 | ( L P ) | ν | 2 A 2 γ q ( 4 ) .
The above outcome is the best possible. Equality is attained for the function provided in (25).
Proof. 
After simplifying with (14), (15), and (17), we conclude that
a 2 a 3 a 4 = ( L P ) ν 4 A 2 γ q ( 4 ) ( c 3 + ( L P ) ν A 2 γ q ( 4 ) 4 A 1 β ( [ 2 ] q ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) + B ( α , q ) c 1 c 2 ρ ( L P ) ν A 2 γ q ( 4 ) 8 A 1 β ( [ 2 ] q ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) D ( α , q ) c 1 3 ) .
By making use of the modulus in the resulting equation, we have
| a 2 a 3 a 4 | = ( L P ) ν 4 A 2 γ q ( 4 ) | c 3 ( L P ) ν A 2 γ q ( 4 ) 4 A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) + B ( α , q ) c 1 c 2 + ρ ( L P ) ν A 2 γ q ( 4 ) 8 A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) D ( α , q ) c 1 3 | .
Let
K = ( L P ) ν A 2 γ q ( 4 ) + 4 B ( α , q ) A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) 8 A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) )
and
Q = ρ ( L P ) ν A 2 γ q ( 4 ) 8 D ( α , q ) A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) 8 A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) .
It is clear that
K Q = ( L P ) ν A 2 γ q ( 4 ) ( 1 ρ ) + 4 A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) ( B ( α , q ) 2 D ( α , q ) 8 A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) 0 ,
and
Q K ( 2 K 1 ) = 1 32 ( A 1 β ( [ 2 ] q ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) 2 4 A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) [ ρ ( L P ) ν A 2 γ q ( 4 ) 8 D ( α , q ) A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) + ( L P ) ν A 2 γ q ( 4 ) + 4 B ( α , q ) A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) ] ( ( L P ) ν A 2 γ q ( 4 ) + 4 B ( α , q ) A 1 β ( 2 ) ( γ q ( 2 ) ) ( γ q ( 3 ) ) ) 2 .
Since Q K ( 2 K 1 ) 0 . Hence, using the Lemma 3, we have
| a 2 a 3 a 4 | ( L P ) | ν | 2 A 2 γ q ( 4 ) .
 □
Theorem 5. 
If f ( z ) R q α ( b , τ , m , L , P ) and 1 P < L 1 , then
| H 2 , 2 ( f ) | ( L P ) ν 2 A 1 γ q ( 3 ) 2 .
Proof. 
For the functions f R q α ( b , τ , m , L , P ) , we obtain the second Hankel determinant
H 2 , 2 ( f ) = a 2 a 4 a 3 2 .
As a result, by applying (14), (15), and (17), we get
H 2 , 2 ( f ) = ( L P ) ν 4 2 ( 4 D ( α , q ) A 1 2 ( γ q ( 3 ) ) 2 + ρ 2 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) 4 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 1 2 ( γ q ( 3 ) ) 2 c 1 4 B ( α , q ) A 1 2 ( γ q ( 3 ) ) 2 ρ A 1 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 1 2 ( γ q ( 3 ) ) 2 c 1 2 c 2 1 A 1 2 ( γ q ( 3 ) ) 2 c 2 2 + 1 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) c 1 c 3 ) .
According to the rotation invariant characteristic for the family R q α ( b , τ , m , L , P ) and determinant H 2 , 2 ( f ) , c 1 = c [ 0 , 2 ] is assumed to be feasible. Using Lemma 4, the coefficients c 2 and c 3 can be represented in terms of c 1 . After that, the modulus is used in the resultant Equation (27) to give
| H 2 , 2 ( f ) | = ( L P ) ν 4 2 | A 1 2 ( γ q ( 3 ) ) 2 ( 4 D ( α , q ) + 2 B ( α , q ) 1 ) ( ρ 2 A 2 + 2 ρ A 1 A 2 ) β ( 2 ) γ q ( 2 ) γ q ( 4 ) 4 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 1 2 ( γ q ( 3 ) ) 2 c 4 ( 4 c 2 ) 4 A 2 γ q ( 2 ) A 2 γ q ( 4 ) β ( 2 ) r 2 c 2 ( 4 c 2 ) 2 4 A 1 2 ( γ q ( 3 ) ) 2 r 2 + ( 4 c 2 ) ( 1 | r | 2 ) 2 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) c δ + ( 4 c 2 ) 2 A 1 2 ( γ q ( 3 ) ) 2 ( 1 B ( α , q ) ) + β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ρ A 1 A 2 ) A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 1 2 ( γ q ( 3 ) ) 2 r c 2 | .
For c = 0 , it is clear that | H 2 , 2 ( f ) | ( L P ) ν 2 A 1 ( γ q ( 3 ) ) 2 and for c = 2 ,
| H 2 , 2 ( f ) | = ( L P ) ν 2 2 A 1 2 ( γ q ( 3 ) ) 2 ( 4 D ( α , q ) + 2 B ( α , q ) 1 ) ( ρ 2 A 2 + 2 ρ A 1 A 2 ) β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 1 2 ( γ q ( 3 ) ) 2 .
With the case c ( 0 , 2 ) , | δ | 1 , then
| H 2 , 2 ( f ) | ( ( L P ) ν ) 2 ( 4 c 2 ) c 32 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( | A 1 2 ( γ q ( 3 ) ) 2 ( 4 D ( α , q ) + 2 B ( α , q ) 1 ) ( ρ 2 A 2 + 2 ρ A 1 A 2 ) β ( 2 ) γ q ( 2 ) γ q ( 4 ) 2 ( 4 c 2 ) A 1 2 ( γ q ( 3 ) ) 2 c 3 + A 1 2 ( γ q ( 3 ) ) 2 ( 1 B ( α , q ) ) + β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ρ A 1 A 2 ) A 1 2 ( γ q ( 3 ) ) 2 r c c 2 ( A 1 2 ( γ q ( 3 ) ) 2 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) ) + 4 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) 2 c A 1 2 ( γ q ( 3 ) ) 2 r 2 | + 1 | r | 2 ) .
We can express the aforementioned inequality in terms of G 1 , G 2 and G 3 , in light of Lemma 5 as
| H 2 , 2 ( f ) | ( ( L P ) ν ) 2 ( 4 c 2 ) c 32 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) Ψ ( G 1 , G 2 , G 3 ) ,
where
Ψ ( G 1 , G 2 , G 3 ) = | G 1 + G 2 r + G 3 r 2 | + 1 | r | 2 ,
with
G 1 = A 1 2 ( γ q ( 3 ) ) 2 ( 4 D ( α , q ) + 2 B ( α , q ) 1 ) ( ρ 2 A 2 + 2 ρ A 1 A 2 ) β ( 2 ) γ q ( 2 ) γ q ( 4 ) 2 ( 4 c 2 ) A 1 2 ( γ q ( 3 ) ) 2 c 3 , G 2 = A 1 2 ( γ q ( 3 ) ) 2 ( 1 B ( α , q ) ) + β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ρ A 1 A 2 ) A 1 2 ( γ q ( 3 ) ) 2 c , G 3 = c 2 ( A 1 2 ( γ q ( 3 ) ) 2 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) ) + 4 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) 2 c A 1 2 ( γ q ( 3 ) ) 2 .
It is evident that the maximum of Ψ can be found and G 1 G 3 0 by using Lemma 5. Note that | G 2 | 2 ( 1 | G 3 | ) is equal to
( c , α ) = ( A 1 2 ( γ q ( 3 ) ) 2 ( 2 B ( α , q ) ) + β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ρ A 1 2 A 2 ) ) c 2 A 1 2 ( γ q ( 3 ) ) 2 c 2 A 1 2 ( γ q ( 3 ) ) 2 c 4 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 A 1 2 ( γ q ( 3 ) ) 2 c 0 .
To prove that ( c , α ) 2 , we must show that the minima of ( c , α ) is positive for every c [ 0 , 2 ] and 0 α 1 . We can quickly ascertain using simple math
min ( c , α ) = ( 2 , α ) = 2 [ A 1 2 ( γ q ( 3 ) ) 2 ( 1 B ( α , q ) ) + β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ρ A 1 A 2 ) ] A 1 2 ( γ q ( 3 ) ) 2 > 0 .
Thus, using Lemma 5, we have
Ψ ( G 1 , G 2 , G 3 ) = ( | G 1 | + | G 2 | + | G 3 | ) ,
and
| H 2 , 2 ( f ) | ( ( L P ) ν ) 2 ( 4 c 2 ) c 32 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) | G 1 | + | G 2 | + | G 3 | = ( L P ) ν 4 2 [ ( A 1 2 ( γ q ( 3 ) ) 2 ( 4 D ( α , q ) + 2 B ( α , q ) 1 ) β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ( ρ 2 1 ) A 2 + 2 ρ A 1 ) A 1 2 ( γ q ( 3 ) ) 2 4 A 1 2 ( γ q ( 3 ) ) 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 2 [ A 1 2 ( γ q ( 3 ) ) 2 ( 1 B ( α , q ) ) + β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ρ A 1 A 2 ) ] + A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) 4 A 1 2 ( γ q ( 3 ) ) 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 ) c 4 + 2 [ A 1 2 ( γ q ( 3 ) ) 2 B ( α , q ) + β ( 2 ) γ q ( 2 ) γ q ( 4 ) ( ρ A 1 A 2 ) A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) ] + A 1 2 ( γ q ( 3 ) ) 2 A 1 2 ( γ q ( 3 ) ) 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 c 2 + 16 A 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) 4 A 1 2 ( γ q ( 3 ) ) 2 β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 ] = ϰ ( c ) .
The maxima of ϰ can be easily found from ( L P ) ν 2 A 1 γ q ( 3 ) 2 at c = 0 , then
| H 2 , 2 ( f ) | ( L P ) ν 2 A 1 γ q ( 3 ) 2 .
Thus, the desired inequality is established. □
Example 2. 
Let L = 0.5 , P = 0.25 , m = 1 , α = 1 , k = 1 , μ + δ = 1 , b = τ and q = 0.5 and using the definition of q-number, we have
[ 2 ] 0.5 = 1.5 , [ 3 ] 0.5 = 1.75 and [ 4 ] 0.5 = 1.875 .
Therefore, using the above Theorem 5, we obtain
| H 2 , 2 ( f ) | 0.00267 .

3. Inverse Coefficients for the Class R q α ( b , τ , m , L , P )

A univalent function f ( z ) given in (1) defined based on U has an inverse at least on a disc of with a radius of 1 4 if it satisfies
f ( f 1 ( w ) ) = w
and of the form
f 1 ( w ) = w + D 2 w 2 + D 3 w 3 + D 4 w 4 + | w | < 1 4 .
According to a simple calculation, we have
D 2 = a 2 ,
D 3 = 2 a 2 2 a 3 ,
D 4 = 5 a 2 3 + 5 a 2 a 3 a 4 ,
and so on.
Theorem 6. 
If f ( z ) R q , α ( b , τ , m , L , P ) and 1 P < L 1 , then
| D 2 | ( L P ) | ν | 2 β ( 2 ) γ q ( 2 )
and
| D 3 | ( L P ) | ν | 4 A 1 γ q ( 3 ) max 2 , ν ( L P ) σ β ( 2 ) 2 + ( 5 P ) 2 ( L P ) A 1 γ q ( 3 ) β ( 2 ) 2 γ q ( 2 ) 2 .
| D 4 | ( L P ) | ν | 2 A 2 γ q ( 4 )
Proof. 
Let f R q α ( b , τ , m , L , P ) . In light of (29), we can deduce from (14) that
D 2 = ( L P ) ν c 1 4 β ( 2 ) γ q ( 2 ) ,
and by using the modulus to get
| D 2 | ( L P ) | ν | 2 β ( 2 ) γ q ( 2 ) .
Similarly, in light of (30), we can deduce from (14) and (15) that
D 3 = ( L P ) ν 4 A 1 γ q ( 3 ) c 2 c 1 2 2 ( L P ) ν 2 c 1 2 16 γ q ( 3 ) A 1 ( 5 P ) + ( L P ) σ ( β ( 2 ) ) 2 2 ( L P ) γ q ( 3 ) A 1 β ( 2 ) 2 ( γ q ( 2 ) ) 2 .
Thus, by using the modulus, we get
| D 3 | = ( L P ) ν 4 A 1 γ q ( 3 ) c 2 c 1 2 2 ρ 3 ,
where
ρ 3 = 1 ν 2 ( 5 P ) + ( L P ) σ β ( 2 ) 2 2 ( L P ) A 1 γ q ( 3 ) β ( 2 ) 2 ( γ q ( 2 ) ) 2 .
The following results are due to Lemma 2; that is,
| D 3 | ( L P ) ν 4 A 1 γ q ( 3 ) max 2 , ν ( 5 P ) + ( L P ) σ β ( 2 ) 2 2 ( L P ) γ q ( 3 ) A 1 β ( 2 ) 2 ( γ q ( 2 ) ) 2 .
From (34), after simplification, we have
D 4 = ( L P ) ν 4 A 2 γ q ( 4 ) O 1 c 1 3 + O 2 c 1 c 2 c 3 ,
where
O 1 = 5 ( ( L P ) ν ) 2 A 1 A 2 γ q ( 3 ) γ q ( 4 ) 10 ( L P ) ν ρ γ q ( 4 ) ( γ q ( 2 ) β ( 2 ) 2 A 2 16 A 1 ( γ q ( 2 ) β ( 2 ) 3 γ q ( 3 ) + D ( α , q ) γ q ( 3 ) , O 2 = 5 ( L P ) ν γ q ( 4 ) A 2 + 4 B ( α , q ) A 1 γ q ( 2 ) β ( 2 ) γ q ( 3 ) γ q ( 3 ) γ q ( 2 ) β ( 2 ) A 1 .
Taking K = O 2 / 2 and Q = O 1 , it is clear that K Q 0 and Q K ( 2 K 1 ) 0 . Hence, using Lemma 3, we get
| D 4 | ( L P ) | ν | 2 A 3 γ q ( 4 ) .
 □
By taking q 1 , m = 0 , b = τ , in Theorem 6, we deduce the following corollary.
Corollary 5 
([28]). If f ( z ) R q α ( b , τ , 0 , L , P ) and 1 P < L 1 , then
| D 2 | ( L P ) | ν | 2
and
| D 3 | ( L P ) | ν | 8 max 2 , ν | 3 L 2 P 5 | .
Theorem 7. 
If f ( z ) R q α ( b , τ , m , L , P ) and 1 P < L 1 with f 1 given in (28), then
| D 3 M D 2 2 | ( L P ) | ν | 4 γ q ( 3 ) A 1 max 2 , ν P 5 + ( 2 M ) γ q ( 3 ) A 1 ( L P ) β ( 2 ) 2 γ q ( 2 ) 2 ( L P ) σ β ( 2 ) 2 .
Proof. 
Let f R q α ( b , τ , m , L , P ) . Thus, in view of (26), we have
a 2 = h 1 β ( 2 ) γ q ( 2 ) and a 3 = 1 γ q ( 3 ) A 1 h 2 + σ h 1 2 β ( 2 ) 2 .
From (29) and (30), we find the Fekete–Szegö inequality that
| D 3 M D 2 2 | = 1 γ q ( 3 ) A 1 | h 2 ρ 4 h 1 2 | ,
where
ρ 4 = 1 β ( 2 ) 2 ( 2 M ) γ q ( 3 ) A 1 γ q ( 2 ) 2 σ .
Thus, the result follows according to Lemma 1
| D 3 M D 2 2 | ( L P ) | ν | 4 γ q ( 3 ) A 1 max 2 , ν P 5 + ( 2 M ) ( L P ) γ q ( 3 ) A 1 β ( 2 ) 2 γ q ( 2 ) 2 ( L P ) σ β ( 2 ) 2 .
This shows the result is sharp. □
By taking q 1 , m = 0 , b = τ , in Theorem 7, we deduce the following corollary.
Corollary 6 
([28]). If f ( z ) R q α ( b , τ , 0 , L , P ) and 1 P < L 1 with f 1 given in (28), then
| D 3 M D 2 2 | ( L P ) | ν | 8 max 2 , ν 3 L 2 P 5 2 M ( L P ) .
Theorem 8. 
If f ( z ) R q α ( b , τ , m , L , P ) , then
| D 1 D 3 D 2 2 | max 2 , 2 ( L P ) ν A 1 γ q ( 3 ) + 2 β ( 2 ) 2 γ q ( 2 ) 2 ( ρ 1 ) 2 β ( 2 ) 2 γ q ( 2 ) 2 .
Proof. 
By using (29) and (30), we obtain
D 1 D 3 D 2 2 = ( L P ) ν 4 A 1 γ q ( 3 ) c 2 c 1 2 2 ρ 5 ,
where
ρ 5 = ( L P ) ν A 1 γ q ( 3 ) + 2 ρ β ( 2 ) 2 γ q ( 2 ) 2 2 β ( 2 ) 2 γ q ( 2 ) 2 .
By applying Lemma 2 and the modulus to the above Equation (35), we get
| D 1 D 3 D 2 2 | max 2 , 2 ( L P ) ν A 1 γ q ( 3 ) + 2 β ( 2 ) 2 γ q ( 2 ) 2 ( ρ 1 ) 2 β ( 2 ) 2 γ q ( 2 ) 2 .
 □
Theorem 9. 
If f ( z ) R q α ( b , τ , m , L , P ) , then
| D 2 D 3 D 4 | ( L P ) | ν | 2 A 2 γ q ( 4 ) .
Proof. 
Using (29), (30) and (31), we have
D 2 D 3 D 4 = ( L P ) ν 4 A 2 γ q ( 4 ) c 3 + G 1 c 1 c 2 + G 2 c 1 3 ,
where
G 1 = 5 ( L P ) ν γ q ( 4 ) A 2 + 16 B ( α , q ) A 1 γ q ( 2 ) γ q ( 3 ) β ( 2 ) ( L P ) ν γ q ( 4 ) A 1 A 2 β ( 2 ) 16 γ q ( 2 ) γ q ( 3 ) A 1 , G 2 = 5 ( ( L P ) ν ) 2 A 1 A 2 γ q ( 3 ) γ q ( 4 ) 10 ( L P ) ν A 2 γ q ( 4 ) ( γ q ( 2 ) β ( 2 ) ) 2 16 ( γ q ( 2 ) β ( 2 ) 3 γ q ( 3 ) A 1 + 16 A 1 ( γ q ( 2 ) β ( [ 2 ] q ) ) 3 γ q ( 3 ) D ( α , q ) + 2 ( L P ) ν ρ A 2 ( γ q ( 2 ) β ( 2 ) ) 2 γ q ( 4 ) 16 ( γ q ( 2 ) β ( 2 ) 3 γ q ( 3 ) A 1 .
By making use of modulus in the resulting equation (36), we obtain
| D 2 D 3 D 4 | ( L P ) | ν | 2 A 2 γ q ( 4 ) c 3 G 1 c 1 c 2 G 2 c 1 3 .
Taking K = G 1 / 2 and Q = G 2 . It is clear that K Q 0 and Q K ( 2 K 1 ) 0 . Hence, using Lemma 3, we get
| D 2 D 3 D 4 | ( L P ) | ν | 2 A 2 γ q ( 4 ) .
 □

4. Logarithmic Coefficients for the Class R q α ( b , τ , m , L , P )

For f S , the logarithmic coefficient t r is defined as
1 2 log f ( z ) z = r = 1 t r z r ,
t r represents the logarithmic coefficients of f, which are crucial for researching univalent functions. Logarithmic coefficient inputs for the Hankel determinant are a logical consideration. The Hankel determinant was first introduced by Kowalczyk et al. in [47,48] using logarithmic coefficients and deriving
Y k , r ( F f / 2 ) : = t r t r + 1 t r + k 1 t r + 1 t r + 2 t r + k t r + 2 t r + 3 t r + k + 1 t r + k 1 t r + k t r + 2 ( k 1 ) .
In particular, it is mentioned that
Y 2 , 1 ( F f / 2 ) = t 1 t 2 t 2 t 3 = t 1 t 3 t 2 2 .
For other findings about the logarithmic coefficients, see [49,50,51].
Note that (1) provides the logarithmic coefficients of f, which are given in the following form
t 1 = 1 2 a 2 ,
t 2 = 1 2 a 3 1 2 a 2 2 ,
t 3 = 1 2 a 4 a 2 a 3 + 1 3 a 2 3 .
We state and prove the following theorems.
Theorem 10. 
If f ( z ) R q α ( b , τ , m , L , P ) , then
| t 1 | ( L P ) | ν | 4 β ( 2 ) γ q ( 2 ) ,
| t 2 | ( L P ) | ν | 64 γ q ( 3 ) A 1 max 2 , 2 ( 4 ( β ( 2 ) γ q ( 2 ) ) 2 ρ + ( L P ) γ q ( 3 ) A 1 ν ) 4 ( β ( 2 ) γ q ( 2 ) ) 2 1 ,
| t 3 | ( L P ) ν β ( 2 ) γ q ( 2 ) 4 A 2 .
Proof. 
By using (14), (15) and (16) in (38), (39) and (40), we have
t 1 = ( L P ) ν c 1 8 β ( 2 ) γ q ( 2 ) ,
t 2 = ( L P ) ν 64 γ q ( 3 ) A 1 c 2 ( 4 ( β ( 2 ) γ q ( 2 ) ) 2 ρ + ( L P ) γ q ( 3 ) A 1 ν ) 8 ( β ( 2 ) γ q ( 2 ) ) 2 c 1 2 ,
t 3 = ( L P ) ν β ( 2 ) γ q ( 2 ) 8 A 2 c 3 M 2 c 1 c 2 4 γ q ( 3 ) γ q ( 4 ) γ q ( 2 ) β ( 2 ) A 1 + M 1 c 1 3 48 ( β ( 2 ) γ q ( 2 ) ) 3 γ q ( 3 ) γ q ( 4 ) A 1 ,
where M 1 and M 2 are given by
M 1 = ( ( L P ) ν ) 3 A 1 A 2 γ q ( 3 ) γ q ( 4 ) + 6 ( ( L P ) ν ) 2 ρ A 2 γ q ( 4 ) ( β ( 2 ) γ q ( 2 ) ) 2 48 ( L P ) ν D ( α , q ) A 1 A 2 γ q ( 2 ) γ q ( 3 ) γ q ( 4 ) β ( 2 ) 3 , M 2 = 4 ( L P ) ν B ( α , q ) A 1 γ q ( 2 ) γ q ( 3 ) β ( 2 ) + ( ( L P ) ν ) 2 A 2 γ q ( 4 ) .
By applying Lemma 2 and modulus in (41), we get
| t 1 | ( L P ) | ν | 4 β ( 2 ) γ q ( 2 ) .
From (42), this can be written as
t 2 = ( L P ) ν 64 γ q ( 3 ) A 1 c 2 c 1 2 2 ρ 6 ,
where
ρ 6 = ( 4 ( β ( 2 ) γ q ( 2 ) ) 2 ρ + ( L P ) γ q ( 3 ) A 1 ν ) 4 ( β ( 2 ) γ q ( 2 ) ) 2
and, taking the modulus, we have
| t 2 | ( L P ) | ν | 64 γ q ( 3 ) A 1 max 2 , 2 ( 4 ( β ( 2 ) γ q ( 2 ) ) 2 ρ + ( L P ) γ q ( 3 ) A 1 ν ) 4 ( β ( 2 ) γ q ( 2 ) ) 2 1 .
Again, from (43), taking K = M 2 8 γ q ( 3 ) γ q ( 4 ) γ q ( 2 ) β ( 2 ) A 1 and Q = M 1 48 ( β ( 2 ) γ q ( 2 ) ) 3 γ q ( 3 ) γ q ( 4 ) A 1 . It is clear that K Q 0 and Q K ( 2 K 1 ) 0 . Hence, by Lemma 3, we get
| t 3 | ( L P ) ν β ( 2 ) γ q ( 2 ) 4 A 2 .
 □
Theorem 11. 
If f ( z ) R q α ( b , τ , m , L , P ) , then
| t 2 t 1 2 | ( L P ) | ν | 8 max 2 , 2 ρ 1 + 5 ( L P ) A 1 γ q ( 3 ) ν 4 ( β ( 2 ) γ q ( 2 ) ) 2 .
Proof. 
By using (41) and (42), we get
t 2 t 1 2 = ( L P ) ν 8 c 2 c 1 2 2 ρ 7 ,
where
ρ 7 = ρ + 5 ( L P ) A 1 γ q ( 3 ) ν 4 ( β ( 2 ) γ q ( 2 ) ) 2 .
By applying Lemma 2 and modulus to the above equation (44), we obtain
| t 2 t 1 2 | ( L P ) | ν | 8 max 2 , 2 ρ 1 + 5 ( L P ) A 1 γ q ( 3 ) ν 4 ( β ( 2 ) γ q ( 2 ) ) 2 .
 □
Theorem 12. 
If f ( z ) R q α ( b , τ , m , L , P ) , then
| t 3 t 1 t 2 | ( L P ) ν β ( 2 ) γ q ( 2 ) 4 A 2 .
Proof. 
By using (41), (42) and (43), we obtain
t 3 t 1 t 2 = ( L P ) ν β ( 2 ) γ q ( 2 ) 8 A 2 c 3 F 1 c 1 c 2 + F 2 c 1 3 ,
where
F 1 = 12 M 2 β ( 2 ) γ q ( 2 ) + 6 ( L P ) ν A 2 γ q ( 4 ) 48 A 2 γ q ( 3 ) γ q ( 4 ) ( β ( 2 ) γ q ( 2 ) ) 2 , F 2 = M 1 ( β ( 2 ) γ q ( 2 ) ) + ( L P ) ν γ q ( 4 ) A 2 [ 3 ( β ( 2 ) γ q ( 2 ) ) 2 ρ + ( L P ) A 1 γ q ( 3 ) ν ] 48 A 1 γ q ( 3 ) γ q ( 4 ) ( β ( 2 ) γ q ( 2 ) ) 4 .
Taking the modulus in above Equation (45), we get
| t 3 t 1 t 2 | ( L P ) ν β ( 2 ) γ q ( 2 ) 8 A 2 | c 3 F 1 c 1 c 2 + F 2 c 1 3 | .
Taking K = F 1 / 2 and Q = F 2 , it is clear that K Q 0 and Q K ( 2 K 1 ) 0 . Hence, by Lemma 3, we get
| t 3 t 1 t 2 | ( L P ) ν β ( 2 ) γ q ( 2 ) 4 A 2 .
 □
Theorem 13. 
If f ( z ) R q α ( b , τ , m , L , P ) , then
| t 1 t 3 t 2 2 | ( L P ) ν F 4 16 .
Proof. 
By using (41), (42) and (43), we obtain the second Hankel determinant
Y 2 , 1 ( F f / 2 ) = t 1 t 3 t 2 2 .
That is,
t 1 t 3 t 2 2 = ( L P ) ν 3072 ( F 3 c 1 4 48 F 4 c 2 2 12 F 5 c 1 2 c 2 + 48 F 6 c 1 c 3 ) ,
where,
F 3 = M 1 3 4 ( ( L P ) ν β ( 2 ) γ q ( 2 ) γ q ( 4 ) A 2 ) ( 4 ( β ( 2 ) γ q ( 2 ) ) 2 ρ + ( L P ) ν γ q ( 3 ) A 1 ) 2 ( β ( 2 ) γ q ( 2 ) ) 3 γ q ( 3 ) γ q ( 4 ) A 1 A 2 , F 4 = ( ( L P ) ν β ( 2 ) γ q ( 2 ) ) 2 A 1 γ q ( 3 ) , F 5 = ( L P ) ν M 2 ( L P ) ν A 2 γ q ( 2 ) γ q ( 4 ) ( β ( 2 ) ) ( 4 β ( 2 ) ( γ q ( 2 ) ) 2 ρ + ( L P ) ν A 1 γ q ( 3 ) ) A 1 A 2 γ q ( 2 ) γ q ( 3 ) γ q ( 4 ) β ( 2 ) , F 6 = ( L P ) ν A 2 .
Assuming that c 1 = c [ 0 , 2 ] is feasible because of the rotation-invariant characteristic for the family R q α ( b , τ , m , L , P ) and determinant Y 2 , 1 ( F f / 2 ) , the resulting Equation (46) is then solved by applying the modulus. Lemma 4 allows us to express the coefficients c 2 and c 3 in terms of c 1 ; thus, we have
| Y 2 , 1 ( F f / 2 ) | = ( L P ) | ν | 3072 | ( 6 F 5 + 12 F 4 12 F 6 F 3 ) c 4 ( 12 ( 4 c 2 ) F 6 ) r 2 c 2 ( 12 ( 4 c 2 ) 2 F 4 ) r 2 + ( 6 F 5 ( 4 c 2 ) 24 F 4 ( 4 c 2 ) + 24 F 6 ( 4 c 2 ) ) r c 2 + 24 F 6 ( 4 c 2 ) ( 1 | r | 2 ) c δ | .
For c = 0 , it is clear that | Y 2 , 1 ( F f / 2 ) | ( L P ) | ν | 16 , and for c = 2 ,
| Y 2 , 1 ( F f / 2 ) | ( L P ) | ν | 192 | 6 F 5 + 12 F 4 12 F 6 F 3 | .
Utilizing | δ | 1 for the case c ( 0 , 2 ) , then
| Y 2 , 1 ( F f / 2 ) | F 6 ( 4 c 2 ) ( L P ) ν c 128 ( | 6 F 5 + 12 F 4 12 F 6 F 3 24 F 6 ( 4 c 2 ) c 3 + F 5 4 F 4 + 4 F 6 4 F 6 c r F 6 c 2 + F 4 ( 4 c 2 ) 2 F 6 c r 2 | + 1 | r | 2 ) .
The above inequality can now be rewritten in terms of G 1 , G 2 and G 3 , in order to apply Lemma 5
| Y 2 , 1 ( F f / 2 ) | F 6 ( 4 c 2 ) ( L P ) ν c 128 Ψ ( G 1 , G 2 , G 3 ) ,
where
Ψ ( G 1 , G 2 , G 3 ) = | G 1 + G 2 r + G 3 r 2 | + 1 | r | 2 ,
with
G 1 = 6 F 5 + 12 F 4 12 F 6 F 3 24 F 6 ( 4 c 2 ) c 3 , G 2 = F 5 4 F 4 + 4 F 6 4 F 6 c , G 3 = F 6 c 2 + F 4 ( 4 c 2 ) 2 F 6 c .
It is evident that the maximum of Ψ and G 1 G 3 0 can be determined by employing Lemma 5. Note that | G 2 | 2 ( 1 | G 3 | ) is equal to
( c , α ) = ( F 5 4 F 4 + 4 F 6 ) c 2 4 ( 2 F 6 c F 6 c 2 F 4 ( 4 c 2 ) ) 4 F 6 c 0 .
To prove that ( c , α ) 2 , we must show that the minima of ( c , α ) is positive for every c [ 0 , 2 ] and 0 α 1 . We can quickly ascertain using simple math that
min ( c , α ) = ( 2 , α ) = F 5 4 F 4 + 4 F 6 2 F 6 > 0 .
Using Lemma 5, we get
Ψ ( G 1 , G 2 , G 3 ) = ( | G 1 | + | G 2 | + | G 3 | ) ,
and thus
| Y 2 , 1 ( F f / 2 ) | F 6 ( 4 c 2 ) ( L P ) ν c 128 ( | G 1 | + | G 2 | + | G 3 | ) = ( L P ) ν 128 48 F 4 48 F 6 F 3 3072 c 4 + F 5 8 F 4 + 6 F 6 128 c 2 + F 4 16 = ϰ ( c ) .
The maxima value of ϰ is easily found from ( L P ) ν F 4 16 at c = 0 , then
| Y 2 , 1 ( F f / 2 ) | ( L P ) ν F 4 16 .
Thus, the desired inequality is established. □

5. Conclusions

In this investigation, using convolution, we have defined a new q-analog of the generalized integral operator. We also have defined q-analogs of the generalized integral operator of the α -convex subclass of univalent functions in the open unit disk U s which are associated with the cardioid domain. Further, we have determined upper bounds for the coefficient a 2 , a 3 and a 4 of functions in the class R q α ( b , τ , m , L , P ) , and used them to find the maximum value of the Fekete–Szegö inequality and second Hankel determinants for this class. Additionally, our findings set the upper bounds for the inverse function f 1 and logarithmic functions for the newly defined subclass R q α ( b , τ , m , L , P ) , including geometric aspects like the coefficient bounds, inequalities, and second Hankel determinants. Interested researchers can use ( p , q ) quantum calculus operators to generalize the main results of this investigation, paving the way for applications to growth and distortion results.

Author Contributions

Conceptualization, S.P. and M.M.S.; methodology, S.P. and M.M.S.; validation, S.P., M.M.S. and L.-I.C.; formal analysis, M.M.S. and L.-I.C.; investigation, S.P., M.M.S. and L.-I.C.; writing—original draft preparation, S.P. and M.M.S.; writing—review and editing, S.P., M.M.S. and L.-I.C.; visualization, S.P., M.M.S. and L.-I.C.; supervision, M.M.S. and L.-I.C.; funding acquisition, L.-I.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research was not funded externally.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors wish to thank this article’s editor and the anonymous referees for their constructive comments and helpful suggestions.

Conflicts of Interest

There are no conflicts of interest disclosed by the authors.

References

  1. Jackson, F.H. On q-functions and a certain difference operator. Trans. R. Soc. Edinburgb. 1909, 46, 253–281. [Google Scholar] [CrossRef]
  2. Podlubny, I. Fractional Differential Equations, to methods of their solution and some of their applications. Math. Scand. 2011, 340, 55–70. [Google Scholar]
  3. Agarwal, R.P. Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. 1969, 66, 365–370. [Google Scholar] [CrossRef]
  4. Purohit, S.D.; Raina, R.K. Certain subclasses of analytic functions associated with fractional q-calculus operators. Math. Scand. 1998, 340, 55–70. [Google Scholar] [CrossRef]
  5. Kanas, S.; Răducanu, D. Some class of analytic functions related to conic domains. Math. Slovaca 2014, 64, 1183–1196. [Google Scholar] [CrossRef]
  6. Srivastava, H.M. Operators of basic (or q-) calculus and fractional q-calculus and their applications in geometric function theory of complex analysis. Iran. J. Sci. Technol. Trans. A Sci. 2020, 44, 327–344. [Google Scholar] [CrossRef]
  7. Jackson, F.H. q-Difference Equations. Amer. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
  8. Srivastava, H.M.; Arjika, S.; Kelil, A.S. Some homogeneous q-difference operators and the associated generalized Hahn polynomials. Appl. Set-Valued Anal. Optim. 2019, 1, 187–201. [Google Scholar]
  9. Srivastava, H.M.; Arjika, S. A general family of q-hypergeometric polynomials and associated generating functions. Mathematics 2021, 9, 1161. [Google Scholar] [CrossRef]
  10. Srivastava, H.M.; Breaz, D.; Khan, S.; Tchier, F. Certain New applications of symmetric q-calculus for new subclasses of multivalent functions associated with the cardioid domain. Axioms 2024, 13, 366. [Google Scholar] [CrossRef]
  11. Khan, M.F.; AbaOud, M. New applications of fractional q-calculus operator for a new subclasses of q-starlike functions related with the cardioid domain. Fractal Frac. 2024, 8, 71. [Google Scholar] [CrossRef]
  12. Al-Shaikh, S.B. New Applications of the Sălăgean Quantum Differential Operator for New Subclasses of q-Starlike and q-Convex Functions Associated with the Cardioid Domain. Symmetry 2023, 15, 1185. [Google Scholar] [CrossRef]
  13. Duren, P.L. Univalent Functions; Springer: New York, NY, USA, 1983. [Google Scholar]
  14. Mocanu, P.T. Une propriété de conexité generalisée dans la théorie de la representation conforme. Mathematica 1969, 34, 127–133. [Google Scholar]
  15. Miller, S.S.; Mocanu, P.T. Differential Subordination; Theory and Applications, Series on monographs and Textbooks in Pure and Applied Mathematics; Marcel Dekker Inc.: New York, NY, USA; Basel, Switzerland, 2000; Volume 225. [Google Scholar]
  16. Paprocki, E.; Sokól, J. The extremal problems in some subclass of strongly starlike functions. Folia Scient. Univ. Tech. Resoviensis 1996, 157, 89–94. [Google Scholar]
  17. Dziok, J.; Raina, R.K.; Sokól, J. On α-convex functions related to shell-like functions connected with Fibonacci numbers. Appl. Math. Comput. 2011, 218, 996–1002. [Google Scholar] [CrossRef]
  18. Dziok, J.; Raina, R.K.; Sokól, J. Certain results for a class of convex functions related to a shell-like curve connected with Fibonacci numbers. Comp. Math. Appl. 2011, 61, 2605–2613. [Google Scholar] [CrossRef]
  19. Dziok, J.; Raina, R.K.; Sokól, J. On a class of starlike functions related to a shell-like curve connected with Fibonacci numbers. Math. Comput. Model. 2013, 57, 1203–1211. [Google Scholar] [CrossRef]
  20. Sharma, K.; Jain, N.K.; Ravichandran, V. Starlike functions associated with a cardioid. Afr. Mat. 2015, 27, 923–939. [Google Scholar] [CrossRef]
  21. Goodman, A.W. Univalent Function; Mariner Publishing Company Inc.: Boston, MA, USA, 1983. [Google Scholar]
  22. Janowski, W. Some extremal problems for certain families of analytic functions. Ann. Pol. Math. 1973, 28, 297–326. [Google Scholar] [CrossRef]
  23. Noor, K.I.; Malik, S.N. On coefficient inequalities of functions associated with conic domains. Comput. Math. Appl. 2011, 62, 2209–2217. [Google Scholar] [CrossRef]
  24. Kanas, S.; Winiowska, A. Conic regions and k-uniform convexity. J. Comput. Appl. Math. 1999, 105, 327–336. [Google Scholar] [CrossRef]
  25. Kanas, S.; Winiowska, A. Conic domains and starlike functions. Rev. Roum. Math. Pures Appl. 2000, 45, 647–657. [Google Scholar]
  26. Noor, K.I.; Malik, S.N. On a new class of analytic functions associated with conic domain. Comput. Math. Appl. 2011, 62, 367–375. [Google Scholar] [CrossRef]
  27. Malik, S.N.; Raza, M.; Sokól, J.; Zainab, S. Analytic functions associated with cardioid domain. Turk. J. Math. 2020, 44, 1127–1136. [Google Scholar] [CrossRef]
  28. Raza, M.; Mushtaq, S.; Malik, S.N.; Sokól, J. Coefficient inequalities for analytic functions associated with cardioid domains. Hacet. J. Math. Stat. 2020, 49, 2017–2027. [Google Scholar] [CrossRef]
  29. Soren, M.M.; Barik, S.; Mishra, A.K. Fekete-Szegö problem for some subclasses of bi-univalent functions. J. Anal. 2021, 29, 147–162. [Google Scholar] [CrossRef]
  30. Marimuthu, K.; Jayaraman, U.; Bulboacă, T. Fekete-Szegö and Zalcman functional estimates for subclasses of alpha-convex functions related to trigonometric functions. Mathematics 2024, 12, 234. [Google Scholar] [CrossRef]
  31. Bieberbach, L. Über die Koeffizienten derjenigen Potenzreihen welche eine schlichte Abbidung des Einbeiskreises vermitteln. Sitzungsber. Preuss. Akad. Wiss. Phys. Math. 1916, 138, 940–955. [Google Scholar]
  32. De Branges, L. A proof of the Bieberbach conjecture. Acta Math. 1985, 154, 137–152. [Google Scholar] [CrossRef]
  33. Pommerenke, C. On the coefficients and Hankel determinants of univalent functions. J. Lond. Math. Soc. 1966, 1, 111–122. [Google Scholar] [CrossRef]
  34. Pommerenke, C. On the Hankel determinants of univalent functions. Mathematika 1967, 14, 108–112. [Google Scholar] [CrossRef]
  35. Janteng, A.; Halim, S.A.; Darus, M. Coefficient inequality for function whose derivative has a positive real part. J. Inequal. Pureand Appl. Math. 2006, 7, 50. [Google Scholar]
  36. Janteng, A.; Halim, S.A.; Darus, M. Hankel determinant for starlike and convex functions. Int. J. Math. Anal. 2007, 1, 619–625. [Google Scholar]
  37. Lee, S.K.; Ravichandran, V.; Supramaniam, S. Bounds for the second Hankel determinant of certain univalent functions. J. Inequal. Appl. 2013, 2013, 281. [Google Scholar] [CrossRef]
  38. Fekete, M.; Szegö, G. Eine bemerkung uber ungerade schlichte funktionen. J. Lond. Math. Soc. 1933, 8, 85–89. [Google Scholar] [CrossRef]
  39. Gasper, G.; Rahman, M. Encyclopedia of Mathematics and Its Applications; Basic Hypergeometric Series; Cambridge University Press: Cambridge, UK, 1990; Volume 35. [Google Scholar]
  40. Raina, R.K.; Sharma, P. Subordination Properties of univalent functions involving a new class of operators. Electron. J. Math. Anal. Appl. 2014, 2, 37–52. [Google Scholar]
  41. Bernardi, S.D. Convex and starlike univalent functions. Trans. Amer. Math. Soc. 1969, 135, 429–446. [Google Scholar] [CrossRef]
  42. Zainab, S.; Raza, M.; Sokól, J.; Malik, S.N. On starlike functions associated with cardioid domain. Publ. Institut Math. 2021, 109, 95–107. [Google Scholar] [CrossRef]
  43. Netanyahu, E. The minimal distance of the image boundary from the origin and the second coefficient of a univalent function in z < 1. Arch. Ration. March. Anal. 1967, 32, 100–112. [Google Scholar]
  44. Libera, R.J.; Zlotkiewicz, E.J. Coefficient bounds for the inverse of a function with derivative in P . Proc. Am. Math. Soc. 1983, 87, 251–257. [Google Scholar] [CrossRef]
  45. Kwon, O.S.; Lecko, A.; Sim, Y.J. On the fourthcoefficient of functions in the Caratheodory class. Comput. Methods Funct. Theory 2018, 18, 307–314. [Google Scholar] [CrossRef]
  46. Choi, J.H.; Kim, Y.C.; Sugawa, T. A general approach to the Fekete-Szegö problem. J. Math. Soc. Jpn. 2007, 59, 707–727. [Google Scholar] [CrossRef]
  47. Kowalczyk, B.; Lecko, A. Second Hankel determinant of logarithmic coefficients of convex and starlike functions. Bull. Aust. Math. Soc. 2022, 105, 458–467. [Google Scholar] [CrossRef]
  48. Kowalczyk, B.; Lecko, A. Second Hankel determinant of logarithmic coefficients of convex and starlike functions of order alpha. Bull. Malays. Math. Sci. Soc. 2022, 45, 727–740. [Google Scholar] [CrossRef]
  49. Sunthrayuth, P.; Aldawish, I.; Arif, M.; Abbas, M.; El-Deeb, S. Estimation of the second-order Hankel determinant of logarithmic coefficients for two subclasses of starlike functions. Symmetry 2022, 14, 2039. [Google Scholar] [CrossRef]
  50. Srivastava, H.M.; Eker, S.S.; ¸Seker, B.; Çekiç, B. Second Hankel determinant of the logarithmic coefficients for a subclass of univalent functions. Miskolc Math. Notes 2024, 25, 479–488. [Google Scholar] [CrossRef]
  51. Guo, D.; Tang, H.; Zhang, J.; Xu, Q.; Li, Z. Hankel determinants for the logarithmic coefficients of a subclass of close-to-convex functions. J. Math. 2024, 1, 1315252. [Google Scholar]
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

Palei, S.; Soren, M.M.; Cotîrlǎ, L.-I. Coefficient Bounds for Alpha-Convex Functions Involving the Linear q-Derivative Operator Connected with the Cardioid Domain. Fractal Fract. 2025, 9, 172. https://doi.org/10.3390/fractalfract9030172

AMA Style

Palei S, Soren MM, Cotîrlǎ L-I. Coefficient Bounds for Alpha-Convex Functions Involving the Linear q-Derivative Operator Connected with the Cardioid Domain. Fractal and Fractional. 2025; 9(3):172. https://doi.org/10.3390/fractalfract9030172

Chicago/Turabian Style

Palei, Sudhansu, Madan Mohan Soren, and Luminiţa-Ioana Cotîrlǎ. 2025. "Coefficient Bounds for Alpha-Convex Functions Involving the Linear q-Derivative Operator Connected with the Cardioid Domain" Fractal and Fractional 9, no. 3: 172. https://doi.org/10.3390/fractalfract9030172

APA Style

Palei, S., Soren, M. M., & Cotîrlǎ, L.-I. (2025). Coefficient Bounds for Alpha-Convex Functions Involving the Linear q-Derivative Operator Connected with the Cardioid Domain. Fractal and Fractional, 9(3), 172. https://doi.org/10.3390/fractalfract9030172

Article Metrics

Back to TopTop