Next Article in Journal
High-Order Nonlinear Functional Differential Equations: New Monotonic Properties and Their Applications
Next Article in Special Issue
Fekete–Szegö Problem and Second Hankel Determinant for a Class of Bi-Univalent Functions Involving Euler Polynomials
Previous Article in Journal
Quantum Weighted Fractional-Order Transform
Previous Article in Special Issue
Some New Versions of Fractional Inequalities for Exponential Trigonometric Convex Mappings via Ordered Relation on Interval-Valued Settings
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some New Applications of the Faber Polynomial Expansion Method for Generalized Bi-Subordinate Functions of Complex Order γ Defined by q-Calculus

by
Mohammad Faisal Khan
1,* and
Mohammed AbaOud
2
1
Department of Basic Sciences, College of Science and Theoretical Studies, Saudi Electronic University, Riyadh 11673, Saudi Arabia
2
Department of Mathematics and Statistics, Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh 11564, Saudi Arabia
*
Author to whom correspondence should be addressed.
Fractal Fract. 2023, 7(3), 270; https://doi.org/10.3390/fractalfract7030270
Submission received: 21 February 2023 / Revised: 13 March 2023 / Accepted: 17 March 2023 / Published: 18 March 2023
(This article belongs to the Special Issue Fractional Calculus and Hypergeometric Functions in Complex Analysis)

Abstract

:
This work examines a new subclass of generalized bi-subordinate functions of complex order γ connected to the q-difference operator. We obtain the upper bounds ρ m for generalized bi-subordinate functions of complex order γ using the Faber polynomial expansion technique. Additionally, we find coefficient bounds ρ 2 and Feke–Sezgo problems ρ 3 ρ 2 2 for the functions in the newly defined class, subject to gap series conditions. Using the Faber polynomial expansion method, we show some results that illustrate diverse uses of the Ruschewey q differential operator. The findings in this paper generalize those from previous efforts by a number of prior researchers.

1. Introduction and Definitions

The set of all analytic functions h ( z ) in the open unit disc E = { z : z < 1 } is denoted by the symbol A and every h A is normalized by
h 0 = 0 and h 0 = 1 .
Thus, every function h A can be expressed in the following form:
h ( z ) = z + m = 2 a m z m .
Furthermore, S A and every h S is univalent in E. For h 1 , h 2 A , and h 1 subordinate to h 2 in E, denoted by
h 1 ( z ) h 2 ( z ) , z E ,
if there exists a function w 0 , such that w 0 A , with w 0 ( 0 ) = 0 , and w 0 ( z ) < 1 , satisfying
h 1 ( z ) = h 2 ( w 0 ( z ) ) , z E .
Let S represent the class of starlike functions and every h S , if
Re z h ( z ) h ( z ) > 0 , z E
and C represents the class of convex functions and every h C , if
1 + Re z h ( z ) h ( z ) > 0 , z E .
In terms of subordination, these conditions are equivalent as follows:
S = h A : z h ( z ) h ( z ) 1 + z 1 z
and
C = h A : 1 + z h ( z ) h ( z ) 1 + z 1 z .
Ma and Minda [1] stated that the aforementioned two classes can be generalized as follows:
S φ = h A : z h ( z ) h ( z ) φ z
and
C φ = h A : 1 + z h ( z ) h ( z ) φ z .
where φ z is a positive real part function and is normalized by the condition
φ ( 0 ) = 1 , φ ( 0 ) > 0
and φ maps E onto a region that is starlike with respect to 1 and symmetric with respect to the real axis. Ravichandran et al. [2] gave the extension of above two classes in the following way:
S γ , φ = h A : 1 + 1 γ z h ( z ) h ( z ) 1 φ z ; γ C \ { 0 }
and
C γ , φ = h A : 1 + 1 γ z h ( z ) h ( z ) φ z ; γ C \ { 0 } .
These types of functions are referred to as Ma–Minda starlike and convex functions of γ , γ C \ { 0 } , respectively.
The Koebe one-quarter theorem (see [3]) states that the image of E under every h S contains a disk of radius one-quarter centered at the origin. Thus, every function h S has an inverse h 1 = g ,
g ( h ( z ) ) = z , z E
and
h ( g ( w ) ) = w , w < r 0 ( h ) , r 0 ( h ) 1 4 .
The series of the inverse function g is given by
g ( w ) = w a 2 w 2 + ( 2 a 2 2 a 3 ) w 3 ( 5 a 2 3 5 a 2 a 3 + a 4 ) w 4 + .
A function h A is called bi-univalent in E if both h and h 1 are univalent in E and we denote the class of all bi-univalent functions by Σ.
Lewin [4] developed the idea of class Σ and established that a 2 < 1.51 for every h Σ . Styer and Wright [5] demonstrated the existence of h Σ for which a 2 > 4 3 . Since the creation of the class Σ , several researchers have been trying to determine how the geometric properties of the functions in the class and the coefficient bounds are related. Indeed, a strong foundation for the study of bi-univalent functions was laid by authors such as Lewin [4], Brannan and Taha [6], and Srivastava et al. [7]. Only non-sharp estimates of the initial coefficients were produced in these recent works. Coefficient estimates for general subclasses of analytic bi-univalent functions were also obtained in [8]. More recently, in [9], coefficient estimates for general subclasses of analytic bi-univalent functions were also obtained using the integral operator based upon Lucas polynomials, while Oros and Cotirla [10] defined a new subclass of v-fold bi-univalent functions and obtained coefficient estimates and the Fekete–Szego problem. However, the problem of a sharp coefficient bound for | a m | , ( m = 3 , 4 , 5 , ) is still open.
Recently, Hamidi and Jahangiri [11,12] started to apply the Faber polynomial expansion method to find coefficient bounds | a m | for m 3 . The Faber polynomial method was introduced by Faber in [13] and its importance was discussed by Gong [14]. A number of new subclasses of bi-univalent functions have been introduced and studied by considering and involving the Faber polynomial expansion method. In the following article [15] Bult defined some new subclasses of bi-univalent functions and used the Faber polynomial technique to find general coefficient bounds | a m | for m 3 , and also discussed the unpredictable behavior of initial coefficient bounds. The general coefficient bounds | a m |   m 3 of analytic bi-univalent functions were also obtained recently, by using the subordination properties and Faber polynomial expansion method [16], and also using the same technique that Altinkaya and Yalcin [17] discussed concerning the interesting behavior of coefficient bounds for new subclasses of bi-univalent functions. Furthermore, many authors have applied the technique of Faber polynomials and determined some interesting results for bi-univalent functions.
Jackson [18] presented the idea of the q-calculus operator and defined D q , while Ismail et al. [19] were the first to use the q-difference operator ( D q ) to define a class of q-starlike functions. After that, many researchers introduced several subclasses of analytic functions related to q-calculus, (see, for details, [20,21,22]). The following articles on differential operators shall be used for the study of the applications of operators: [23,24,25,26].
In order to create some new subclasses of analytic and bi-univalent functions, the core definitions and ideas of q-calculus need to be discussed.
Definition 1.
For η , q C , the q-shifted factorial ( η , q ) m is defined by
( η , q ) m = 1 if m = 0 , 1 η 1 η q 1 η q n 1 if m N .
If η q l , l N 0 , then it can be written as:
( η , q ) = m = 0 1 η q m , η C and q < 1 ,
when η 0 and q 1 , ( η , q ) diverges. Therefore, whenever we use ( η , q ) then | q | < 1 will be assumed.
Remark 1.
It is noted that when q 1 in ( η , q ) m , then (19) reduces to the Pochhammer symbol ( η ) m defined by
( η ) m = η ( η + 1 ) ( η + m 1 ) if m N .
If m = 0 , then ( η ) m = 1 .
Definition 2.
The ( η , q ) m in (19) is precise with respect to the q-Gamma function, which is given below
ϝ q ( η ) = 1 q 1 η ( q , q ) ( q η , q ) , 0 < q < 1 ,
or
( q η , q ) m = 1 q m ϝ q ( η + m ) ϝ q ( η ) , m N
and q-factorial [ m ] q ! is defined by:
[ m ] q ! = k = 1 m [ k ] q , if ( m N ) = 1 if m = 0 .
It is important to note that ordinary calculus is a limiting case of quantum calculus. It is expected that a study of quantum difference operators will be crucial to the growth of q-function theory, which is essential for combinatory analysis. In addition, the differential and integral operators are widely used in geometric function theory. The most significant feature of our study is that we are investigating the properties of new class of analytic bi-univalent functions under a certain q-derivative operator. Geometric-function-theory-related research on this topic has still not been performed extensively.
In this paper, we first define the q-derivative (q-difference) operator and then consider this operator to define a new class of analytic bi-univalent functions of class Σ .
Definition 3
([18]). For h A , the q-difference operator is defined as:
D q h ( z ) = h ( q z ) h ( z ) z ( q 1 ) , z E .
Note that, for m N and z E and
D q ( z m ) = [ m ] q z m 1 , D q m = 1 a m z m = m = 1 [ m ] q a m z m 1 ,
where ( 0 < q < 1 ) , is defined by
[ m ] q = 1 q m 1 q , and [ 0 ] q = 0
and the q-number shift factorial is given by
[ m ] q ! = [ 1 ] q [ 2 ] q [ 3 ] q [ m ] q , [ 0 ] q ! = 1 .
The q-generalized Pochhammer symbol is defined by
[ x ] q , m = ϝ q ( x + m ) ϝ q ( x ) , m N , x C .
Remark 2.
For q 1 , then [ x ] q , m reduces to x m = Γ ( x + m ) Γ ( x ) .
Suppose that φ is an analytic function with a positive real part in the unit disk E satisfying
φ 0 = 1 and φ 0 > 0
and φ E is symmetric with respect to the real axis and has the series
φ z = 1 + B 1 z + B 2 z 2 + B 3 z 3 + and ( B 1 > 0 ) .
The q-calculus operator theory is used to solve a wide range of problems in heat transfer and other areas of mathematical physics and engineering that include cylindrical and spherical coordinates. Several remarkable characteristics of new subclasses of analytic functions have been found using q-differential operators, including new subclasses of convex and starlike functions. One of the classic areas of geometric function theory is the study of particular subclasses of starlike functions and its generalization. Therefore, by means of the q-difference operator ( D q ) defined in Definition 3 and inspired by the work introduced in [27], a new class of analytic bi-univalent functions of class Σ is introduced. The original results will be proved in the following section using the Faber polynomial approach and two lemmas.
Definition 4.
Let h be the form (1) and h J λ , γ , q ; φ if
1 + 1 γ z D q h ( z ) + λ z 2 D q 2 h ( z ) 1 λ h ( z ) + λ z D q h ( z ) 1 φ ( z )
and
1 + 1 γ w D q g ( w ) + λ w 2 D q 2 g ( w ) 1 λ g ( w ) + λ w D q g ( w ) 1 φ ( w ) ,
where, 0 λ 1 , γ C \ 0 , z , w E and g = h 1 .
Note: If both h and its inverse map g = h 1 are in J λ , γ , q ; φ , then h is called a generalized bi-subordinate function of complex order γ .
Remark 3.
For λ = 0 , then we have J λ , γ , q ; φ = J 0 , γ , q ; φ and for λ = 1 , then we have J λ , γ , q ; φ = J 1 , γ , q ; φ .
Remark 4.
For q 1 , then J λ , γ , q ; φ = J λ , γ ; φ , and introduced by Deniz in [28].

2. The Faber Polynomial Expansion Method and Its Applications

For the function h A , Airault and Bouali ([29], page 184) used Faber polynomials to show that
z h ( z ) h ( z ) = 1 m = 2 R m 1 ( a 2 , a 3 , a m ) z m 1 ,
where
R m 1 ( a 2 , a 3 , a m ) = i 1 + 2 i 2 + m 1 i m 1 = m 1 A i 1 , i 2 , i 3 , , i m 1 a 2 i 1 a 3 i 2 a m i m 1
and
A i 1 , i 2 , i 3 , , i m 1 = 1 m 1 + 2 i 1 + + m i m 1 × i 1 + i 2 + i 3 , + i m 1 1 ! m 1 i 1 ! i 2 ! i 3 ! , i m 1 ! .
The first terms of the Faber polynomial R m 1 , m 2 , are given by (e.g., see ([30], page 52))
R 1 = a 2 , R 2 = a 2 2 2 a 3 , R 3 = a 2 3 + 3 a 2 a 3 3 a 4 ) , R 3 = a 2 4 4 a 2 2 a 3 + 4 a 2 a 4 + 2 a 3 2 4 a 5 ) .
Using the Faber polynomial technique for the analytic functions h , then the coefficients of its inverse map g can be written as follows (see ([29], page 185)):
g ( w ) = h 1 ( w ) = w + m = 2 1 m R m 1 m ( a 2 , a 3 , , a m ) w m ,
where the coefficients of the m parametric function are
R 1 p = p a 2 , R 2 p = p p 1 2 a 2 2 + p a 3 , R 3 p = p ( p 1 ) a 2 a 3 + p a 4 + p p 1 p 2 3 ! a 2 3 , R 4 p = p ( p 1 ) a 2 a 4 + p a 5 + p p 1 2 a 3 2 + p p 1 p 2 2 a 2 2 a 3 + p ! ( p 4 ) ! 4 ! a 2 4 ,
R m 1 p = p ! ( p m ) ! m ! a 2 m + p ! ( p m + 1 ) ! ( m 2 ) ! a 2 m 2 a 3 + p ! ( p n + 2 ) ! ( m 3 ) ! a 2 m 3 a 4 + p ! ( p n + 3 ) ! ( m 4 ) ! a 2 m 4 a 5 + p n + 3 2 a 3 2 + p ! ( p n + 4 ) ! ( m 5 ) ! a 2 m 4 a 6 + ( p m + 3 ) a 3 a 4 + i 6 a 2 m i Q i ,
and Q i is a homogeneous polynomial in the variables a 2 , a 3 , , a m , for 6 i m ; see [31], page 349, and [29], pages 183 and 205. Particularly, the first three terms of R m 1 p are
1 2 R 1 1 = a 2 , 1 3 R 2 3 = 2 a 2 2 a 3 , 1 4 R 3 3 = ( 5 a 2 3 5 a 2 a 3 + a 4 ) .
In general, for r Z ( Z : = 0 , ± 1 , ± 2 , and m 2 , there is an expansion of R m r of the form:
R m r = r a m + r ( r 1 ) 2 V m 2 + r ! ( r 3 ) ! 3 ! V m 3 + + r ! ( r m ) ! ( m ) ! V m m ,
where,
V m r = V m r ( a 2 , a 3 . ) ,
and by [32], we have
V m v ( a 2 , , a m ) = m = 1 v ! ( a 2 ) μ 1 ( a m ) μ m μ 1 ! , , μ m ! , for a 1 = 1 and v m .
The sum is taken over all nonnegative integers μ 1 , , μ m , which satisfy
μ 1 + μ 2 + + μ m = v , μ 1 + 2 μ 2 + + m μ m = m .
Clearly,
V m m ( a 1 , , a m ) = V 1 m ,
and the first and last polynomials are
V m m = a 1 m , and V m 1 = a m .
Geometric function theory has always placed a great deal of importance on establishing bounds for the coefficients. The size of the coefficients can determine a number of properties of analytic functions, including univalency, rate of growth, and distortion. Several scholars have employed a variety of techniques to resolve the aforementioned problems. Similar to univalent functions, the bounds of bi-univalent function coefficients have recently attracted a lot of attention. As a result of the significance of studying the coefficient problems described above, in this section, we consider the q-difference operator and Faber polynomial technique to obtain coefficient estimates ρ m of bi-univalent functions in the family J λ , γ , q ; φ and discuss the unpredictable behavior of initial coefficient bounds ρ 2 and Feke–Sezgo problems ρ 3 ρ 2 2 in this family, subject to gap series conditions.
Using the Ruscheweyh differential operator, and Ruscheweyh q-differential operator, many scholars have defined new classes of convex and starlike functions. In this study, we also use the Ruscheweyh q-differential operator along with the Faber polynomial method and discuss the applications of our main results. We also investigate the Feketo–Sezego problem and some known consequences of our main results.

Set of Lemmas

The following well-known lemmas are required to prove our main theorems:
Lemma 1 
([3]). Let the function p ( z ) = 1 + m = 1 p m z m and Re ( p ( z ) ) > 0 for z E , then for < α <
p 2 α p 1 2 2 α p 1 2 if α < 1 2 2 1 α p 1 2 if α 1 2 .
Lemma 2  
([28]). Let the function ϕ ( z ) = m = 1 ϕ m z m so that ϕ ( z ) < 1 for z E , then
ϕ 2 + β ϕ 1 2 1 1 δ β 2 if β > 0 1 1 + δ β 2 if β 0 .
This paper uses the q-difference operator for ξ A , and the new class J λ , γ , q ; φ of generalized bi-subordinate functions of complex order γ is defined. Next, in Theorem 1, upper bounds ρ m for generalized bi-subordinate functions of complex order γ are proved and in Theorem 2 the initial coefficient bound ρ 2 and Feke–Sezgo problems ρ 3 ρ 2 2 are investigated by putting the special value of parameters in the class J λ , γ , q ; φ , and we obtain some new and known results. In Section 4, we use the Ruscheweyh q-differential operator and investigate some new characteristics of the class of generalized bi-subordinate functions of complex order γ in the form of some new results. In Section 5, we give concluding remarks.

3. Main Results

Theorem 1.
Let 0 λ 1 , γ C \ 0 . If both function h ( z ) = z + m = 2 ρ m z m and its inverse map g = h 1 are in J λ , γ , q ; φ and ρ k = 0 , 2 k m 1 , then
ρ m γ B 1 [ m ] q 1 1 + λ m q 1 , B 1 > 0 .
Proof. 
If we write
Λ h ( z ) = 1 λ h ( z ) + λ z D q h ( z ) ,
then
h J λ , γ , q ; φ 1 + 1 γ z D q Λ h ( z ) Λ h ( z ) 1 φ ( z )
and
g = h 1 J λ , γ , q ; φ 1 + 1 γ w D q Λ g ( w ) Λ g ( w ) 1 φ ( w ) .
We notice that
a m = 1 + λ m q 1 ρ n
for
Λ h ( z ) = z + m = 2 a m z m .
Now, using the Faber polynomial expansion (8) for the power series J λ , γ , q ; φ yields:
1 + 1 γ z D q Λ h ( z ) Λ h ( z ) 1 = 1 1 γ m = 2 R m 1 ( a 2 , a 3 , a m ) z m 1 ,
and for the inverse map g = h 1 , obviously, we have
1 + 1 γ w D q Λ h ( w ) Λ h ( w ) 1 = 1 1 γ m = 2 R m 1 ( b 2 , b 3 , b m ) w m 1
where
b m = 1 + λ m q 1 τ n = 1 m R m 1 m ( a 2 , a 3 , , a m ) .
By the definition of subordination, there exist two Schwarz functions
u ( z ) = m = 1 c m z m
and
v ( w ) = m = 1 d m w m ,
Additionally, we have
φ u ( z ) = 1 B 1 m = 1 R m 1 ( c 1 , c 2 , 1 m + 1 c m , B 1 , B 2 , B m ) z m
and
φ v ( w ) = 1 B 1 m = 1 R m 1 ( d 1 , d 2 , , 1 m + 1 d m , B 1 , B 2 , B m ) w m .
In general (e.g., see [28]), the coefficients R m p = R m p k 1 , k 2 , , k m , B 1 , B 2 , B m are given by
R m p = p ! ( p m ) ! ( m ) ! k 1 m B m B 1 + p ! p m + 1 ! ( m 2 ) ! k 1 m 2 k 2 B m 1 B 1 + p ! p m + 2 ! ( m 4 ) ! k 1 m 3 k 3 B m 2 B 1 + p ! ( p m + 3 ) ! ( m 4 ) ! k 1 m 4 k 4 B m 3 B 1 + p m + 3 2 k 2 2 B m 2 B 1 + p ! ( p m + 4 ) ! ( m 5 ) ! k 1 m 5 k 5 B m 4 B 1 + p m + 4 k 2 k 3 B m 3 B 1 + j 6 k 1 m j Q j ,
where Q j in the variables k 2 , k 3 , k m is a homogeneous polynomial of degree j .
Evaluating the coefficients of Equations of (10) and (12) yields
1 γ R m 1 ( a 2 , a 3 , a m ) = B 1 R m 1 ( c 1 , c 2 , 1 m c m , B 1 , B 2 , B m ) .
However, using the facts c m 1 and d m 1 (e.g., see [3]), and under the assumption 2 k m 1 and a k = 0 , respectively, we have
1 γ m q 1 a m = 1 γ m q 1 1 + λ m q 1 ρ m = B 1 c m 1 .
Evaluating the coefficients of Equations (11) and (13) yields
1 γ R m 1 ( b 2 , b 3 , b m ) = B 1 R m 1 ( d 1 , d 2 , 1 m d m , B 1 , B 2 , B m ) ,
which by the hypothesis, we obtain
1 γ m q 1 b m = B 1 d m 1 .
Note that, for, 2 k m 1 , b m = a m and a k = 0 ; therefore
1 γ m q 1 a m = 1 γ m q 1 1 + λ m q 1 ρ m = B 1 d m 1 .
Taking the absolute values of either of Equations (15) or (17) we obtain the required bound.
This completes Theorem 1. □
For λ = 0 , in Theorem 1, we obtain a new corollary, which is given below.
Corollary 1.
Let γ C \ 0 . If both function h ( z ) and its inverse map g = h 1 are in J 0 , γ , q ; φ and ρ k = 0 , 2 k m 1 , then
ρ m γ B 1 [ m ] q 1 , B 1 > 0 .
For λ = 1 , in Theorem 1, we obtain a new corollary, which is given below.
Corollary 2.
Let γ C \ 0 . If both function h ( z ) and its inverse map g = h 1 are in J 1 , γ , q ; φ and ρ k = 0 , 2 k m 1 , then
ρ m γ B 1 m q m q 1 , B 1 > 0 .
For q 1 in Theorem 1, we obtain a known corollary that was proven in [28].
Corollary 3 
([28]). Let 0 λ 1 , γ C \ 0 . If both function h ( z ) and its inverse map g = h 1 are in J λ , γ ; φ and ρ k = 0 , 2 k m 1 , then
ρ m γ B 1 m 1 1 + λ m 1 , B 1 > 0 .
For λ = 0 , and q 1 in Theorem 1, we obtain a known corollary that was proven in [28].
Corollary 4 
([28]). Let 0 λ 1 , γ C \ 0 . If both function h ( z ) and its inverse map g = h 1 are in J γ ; φ and ρ k = 0 , 2 k m 1 , then
ρ m γ B 1 m 1 , B 1 > 0 .
Theorem 2.
Let 0 λ 1 , γ C \ 0 . If both function h ( z ) = z + m = 2 ρ m z m and its inverse map g = h 1 are in J λ , γ , q ; φ , then
ρ 2 γ B 1 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 if B 1 B 2 γ B 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 if B 1 < B 2
and
ρ 3 ρ 2 2 γ B 1 3 q 1 1 + λ 3 q 1 if B 1 B 2 γ B 2 3 q 1 1 + λ 3 q 1 if B 1 < B 2 .
Proof. 
For m = 2 , Equations (14) and (16), respectively, yield
ρ 2 = γ B 1 c 1 2 q 1 1 + λ 2 q 1 and ρ 2 = γ B 1 d 1 . 2 q 1 1 + λ 2 q 1 .
If we take the absolute values of any of these two equations, and apply | c m | 1 and | d m | 1 (e.g., see Duren [3]), we obtain
ρ 2 γ B 1 2 q 1 1 + λ 2 q 1 .
For m = 3 , Equations (14) and (16), respectively, yield
1 γ 3 q 1 1 + λ 3 q 1 ρ 3 2 q 1 1 + λ 2 q 1 2 ρ 2 2 = B 1 c 2 + B 2 c 1 2
and
1 γ 3 q 1 1 + λ 3 q 1 ρ 3 + 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 ρ 2 2 = B 1 d 2 + B 2 d 1 2 .
By combining the two equations mentioned above and finding ρ 2 , we arrive at
ρ 2 2 = γ B 1 c 2 + B 2 c 1 2 + B 1 d 2 + B 2 d 1 2 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
Or
ρ 2 2 γ B 1 c 2 + B 2 B 1 c 1 2 + d 2 + B 2 B 1 d 1 2 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
If B 2 0 , and δ = B 2 B 1 , then by using Lemma 2 for (21), we obtain
ρ 2 2 γ B 1 1 B 1 + B 2 B 1 c 1 2 + 1 B 1 + B 2 B 1 d 1 2 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
If B 1 + B 2 > 0 , then (22) yields
ρ 2 γ B 1 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
If B 1 + B 2 < 0 , then for the maximum values of c 1 = d 1
ρ 2 2 2 γ B 1 1 B 1 + B 2 B 1 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 = γ B 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
If B 2 > 0 , and δ = B 2 B 1 , then by using Lemma 2 on (21), we obtain
ρ 2 2 γ B 1 1 B 1 B 2 B 1 c 1 2 + 1 B 1 B 2 B 1 d 1 2 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
If B 1 B 2 > 0 , then (23) yields
ρ 2 γ B 1 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
If B 1 B 2 < 0 , then for the maximum values of c 1 = d 1 , we have
ρ 2 2 2 γ B 1 1 B 1 + B 2 B 1 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 = γ B 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
Therefore
ρ 2 γ B 2 3 q 1 1 + λ 3 q 1 2 q 1 1 + λ 2 q 1 2 .
Now we subtract (19) and (20), and B 1 > 0 , we have
ρ 3 ρ 2 2 = γ B 1 2 3 q 1 1 + λ 3 q 1 c 2 + B 2 B 1 c 1 2 d 2 + B 2 B 1 d 1 2 .
If we take the absolute values of the two sides of (24), we obtain
ρ 3 ρ 2 2 γ B 1 c 2 + B 2 B 1 c 1 2 + d 2 + B 2 B 1 d 1 2 2 3 q 1 1 + λ 3 q 1 .
If B 2 0 , and δ = B 2 B 1 , then by using Lemma 2 on (25), we obtain
ρ 3 ρ 2 2 γ B 1 1 B 1 + B 2 B 1 c 1 2 + 1 B 1 + B 2 B 1 d 1 2 2 3 q 1 1 + λ 3 q 1 .
If B 1 + B 2 > 0 , then (26) yields
ρ 3 ρ 2 2 γ B 1 3 q 1 1 + λ 3 q 1 .
If B 1 + B 2 < 0 , then for the maximum values of c 1 = d 1 , inequality (26) yields
ρ 3 ρ 2 2 2 γ B 1 1 B 1 + B 2 B 1 2 3 q 1 1 + λ 3 q 1 = γ B 2 3 q 1 1 + λ 3 q 1 .
If B 2 > 0 , and δ = B 2 B 1 , then by using Lemma 2 for (25) we obtain
ρ 3 ρ 2 2 γ B 1 1 B 1 B 2 B 1 c 1 2 + 1 B 1 B 2 B 1 d 1 2 2 3 q 1 1 + λ 3 q 1 .
If B 1 B 2 > 0 , then (27) yields
ρ 3 ρ 2 2 γ B 1 3 q 1 1 + λ 3 q 1 .
If B 1 B 2 < 0 , then for the maximum values of c 1 = d 1 , the inequality (27) yields
ρ 3 ρ 2 2 2 γ B 1 1 B 1 + B 2 B 1 2 3 q 1 1 + λ 3 q 1 = γ B 2 3 q 1 1 + λ 3 q 1 .
This concludes the proof of Theorem 2. □
Taking λ = 0 in Theorem 2, we obtain a new corollary.
Corollary 5.
Let 0 λ 1 , γ C \ 0 . If both function h ( z ) = z + m = 2 ρ m z m and its inverse map g = h 1 are in J γ , q ; φ , then
ρ 2 γ B 1 3 q 2 q if B 1 B 2 γ B 2 3 q 2 q if B 1 < B 2
and
ρ 3 ρ 2 2 γ B 1 3 q 1 if B 1 B 2 γ B 2 3 q 1 if B 1 < B 2 .
Taking λ = 1 in Theorem 2, we obtain the following new corollary.
Corollary 6.
Let 0 λ 1 , γ C \ 0 . If both function h ( z ) = z + m = 2 ρ m z m and its inverse map g = h 1 are in J 1 , γ , q ; φ , then
ρ 2 γ B 1 3 q 1 3 q 2 q 1 2 q 2 if B 1 B 2 γ B 2 3 q 3 q 1 2 q 1 2 q 2 if B 1 < B 2
and
ρ 3 ρ 2 2 γ B 1 3 q 3 q 1 if B 1 B 2 γ B 2 3 q 3 q 1 if B 1 < B 2 .
Taking q 1 in Theorem 2, we obtain the known corollary proved in [28].
Corollary 7.
Let 0 λ 1 , γ C \ 0 . If both function h ( z ) = z + m = 2 ρ m z m and its inverse map g = h 1 are in J λ , γ ; φ , then
ρ 3 γ B 1 2 1 + 2 λ 1 + λ 2 if B 1 B 2 γ B 2 2 1 + 2 λ 1 + λ 2 if B 1 < B 2
and
ρ 3 ρ 2 2 γ B 1 2 1 + 2 λ if B 1 B 2 | γ | B 2 2 1 + 2 λ if B 1 < B 2 .

4. Applications

Kanas and Raducanu [21] defined the Ruscheweyh q-differential operator as follows:
For f A ,
R q δ h ( z ) = h ( z ) F q , δ + 1 ( z ) ( δ > 1 , z E )
where
F q , δ + 1 ( z ) = z + m = 2 ϝ q ( m + δ ) [ m 1 ] ! Γ q ( 1 + δ ) z m = z + m = 2 [ δ + 1 ] m 1 [ m 1 ] ! z m .
We note that
lim q 1 F q , δ + 1 ( z ) = z ( 1 z ) δ + 1 , lim q 1 R q δ h ( z ) = h ( z ) z ( 1 z ) δ + 1 .
Making use of (28) and (29), we have
R q δ h ( z ) = z + m = 2 ϝ q ( m + δ ) [ m 1 ] ! Γ q ( 1 + δ ) a m z m = z + m = 2 ψ m a m z m ( z E ) ,
where ϝ q is the q-generalized Pochhammer symbol defined in (6) and
ψ m = ϝ q ( m + δ ) [ m 1 ] q ! Γ q ( 1 + δ ) .
From (30), we note that
R q 0 h ( z ) = h ( z ) , R q 1 h ( z ) = z D q h ( z ) , R q δ h ( z ) = z D q δ ( z δ 1 h ( z ) ) [ δ ] q ! δ N .
We also have
D q ( R q δ h ( z ) ) = 1 + m = 2 [ m ] q ψ m a m z m 1 .
Remark 5.
When q 1 , then the Ruscheweyh q-differential operator reduces to the differential operator defined by Ruscheweyh [33].
Definition 5.
Let h be of the form (1) and h J λ , γ , ψ , q ; φ if
1 + 1 γ z D q R q δ h ( z ) + λ z 2 D q 2 R q δ h ( z ) 1 λ R q δ h ( z ) + λ z D q R q δ h ( z ) 1 φ ( z )
and
1 + 1 γ z D q R q δ g ( z ) + λ w 2 D q 2 R q δ g ( w ) 1 λ R q δ g ( w ) + λ w D q R q δ g ( w ) 1 φ ( w ) ,
where 0 λ 1 , γ C \ 0 , z , w E and g = h 1 .
Theorem 3.
Let 0 λ 1 , γ C \ 0 . If both function h ( z ) = z + m = 2 ρ m z m and its inverse map g = h 1 are in J λ , γ , ψ , q ; φ and ρ k = 0 , 2 k m 1 , then
ρ m γ B 1 ψ m [ m ] q 1 1 + λ m q 1 .
Proof. 
If we write
Λ h ( z ) = 1 λ R q δ h ( z ) + λ z D q R q δ h ( z ) ,
then
h J λ , γ , ψ , q ; φ 1 + 1 γ z D q Λ R q δ h ( z ) Λ R q δ h ( z ) 1 φ ( z )
and
g = h 1 J λ , γ , ψ , q ; φ 1 + 1 γ w D q Λ R q δ g ( w ) Λ g ( w ) 1 φ ( w ) .
We see that
a m = ψ m 1 + λ m q 1
for
Λ h ( z ) = z + m = 2 a m z m .
Now, an application of Faber polynomial expansion to the power series J λ , γ , ψ , q ; φ yields:
1 + 1 γ z D q Λ h ( z ) Λ h ( z ) 1 = 1 1 γ m = 2 R m 1 ( a 2 , a 3 , a m ) z m 1 ,
After that, by using the similar method of Theorem 1, we can obtain Theorem 3. □
Theorem 4.
Let 0 λ 1 , γ C \ 0 . If both function h ( z ) = z + m = 2 ρ m z m and its inverse map g = h 1 are in J λ , γ , ψ , q ; φ , then
ρ 2 γ B 1 3 q 1 1 + λ 3 q 1 ψ 3 2 q 1 1 + λ 2 q 1 2 ψ 2 2 if B 1 B 2 γ B 2 3 q 1 1 + λ 3 q 1 ψ 3 2 q 1 1 + λ 2 q 1 2 ψ 2 2 if B 1 < B 2
and
ρ 3 ρ 2 2 γ B 1 3 q 1 1 + λ 3 q 1 ψ 3 if B 1 B 2 γ B 2 3 q 1 1 + λ 3 q 1 v if B 1 < B 2 .
Proof. 
For m = 2 , Equations (14) and (16), respectively, yield
ρ 2 = γ B 1 c 1 ψ 2 2 q 1 1 + λ 2 q 1 and ρ 2 = B 1 d 1 . ψ 2 2 q 1 1 + λ 2 q 1 .
If we take the absolute values of any of these two equations, and apply | c m | 1 and | d m | 1 (e.g., see Duren [3]), we obtain
ρ 2 γ B 1 ψ 2 2 q 1 1 + λ 2 q 1 .
For m = 3 , Equations (14) and (16), respectively, yield
1 γ 3 q 1 1 + λ 3 q 1 ψ 3 ρ 3 2 q 1 1 + λ 2 q 1 2 ψ 2 2 ρ 2 2 = B 1 c 2 + B 2 c 1 2
and
1 γ 3 q 1 1 + λ 3 q 1 ψ 3 ρ 3 + 2 3 q 1 1 + λ 3 q 1 ψ 3 2 q 1 1 + λ 2 q 1 2 ψ 2 2 ρ 2 2 = B 1 d 2 + B 2 d 1 2 .
By using the similar method of Theorem 2, we can obtain the required result of Theorem 4. □

5. Conclusions

In order to introduce a new class of generalized bi-subordinate functions of complex order γ in the open unit disk E, we used the idea of convolution and q-calculus in the current work. We produced estimates for the general coefficients in their Taylor–Maclaurin series expansions in the open unit disk E for functions that belong to the class of analytic and bi-univalent functions. Our approach is mostly based on the Faber polynomial expansion technique. In addition, we listed some corollaries and applications of our primary findings.
The application of the idea of subordination and the Faber polynomial technique for producing findings involving the newly defined operators can be identified when additional research proposals are produced. Additionally, the method that has been presented in this paper might also apply to define a number of new subclasses of meromorphic, multivalent, and harmonic functions and can be investigated for a number of new properties of these classes. The only innovation in the types of studies that can be conducted in these classes will come from the researchers themselves and how the findings presented here motivate them.

Author Contributions

Both authors contributed equally to the writing of this paper. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University for funding this work through Research Group no. RG-21-09-19.

Data Availability Statement

No data were used to support this study.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis, Tianjin, China, 1 October 1992; International Press: Tianjin, China, 1992; pp. 157–169. [Google Scholar]
  2. Ravichandran, V.; Polatoglu, Y.; Bolcal, M.; En, A.S. Certain subclasses of starlike and convex functions of complex order. Hacet. J. Math. Stat. 2005, 34, 9–15. [Google Scholar]
  3. Duren, P.L. Univalent functions. In Grundlehren der Mathematischen Wissenschaften; Springer: New York, NY, USA, 1983; Volume 259. [Google Scholar]
  4. Lewin, M. On a coefficient problem for bi-univalent functions. Proc. Am. Math. Soc. 1967, 18, 63–68. [Google Scholar] [CrossRef]
  5. Styer, D.; Wright, D.J. Results on bi-univalent functions. Proc. Am. Math. Soc. 1981, 82, 243–248. [Google Scholar] [CrossRef]
  6. Brannan, D.A.; Cluni, J. Aspects of contemporary complex analysis. In Deterministic and Stochastic Scheduling, Proceedings of the NATO Advanced Study and Research Institute on Theoretical Approaches to Scheduling Problems, Durham, UK, 6–17 July 1981; Academic Press: New York, NY, USA, 1981. [Google Scholar]
  7. Srivastava, H.M.; Mishra, A.K.; Gochhayat, P. Certain subclasses of analytic and bi-univalent functions. Appl. Math. Lett. 2010, 23, 1188–1192. [Google Scholar] [CrossRef] [Green Version]
  8. Srivastava, H.M.; Gaboury, S.; Ghanim, F. Coefficient estimates for some general subclasses of analytic and bi-univalent functions. Afr. Mat. 2017, 28, 693–706. [Google Scholar] [CrossRef]
  9. Alb Lupas, A.; El-Deeb, S.M. Subclasses of bi-univalent functions connected with Integral operator based upon Lucas polynomial. Symmetry 2022, 14, 622. [Google Scholar] [CrossRef]
  10. Oros, G.I.; Cotirla, L.I. Coefficient estimates and the Fekete-Szego problem for new classes of m-fold symmetric bi-univalentfunctions. Mathematics 2022, 10, 129. [Google Scholar] [CrossRef]
  11. Hamidi, S.G.; Jahangiri, J.M. Faber polynomials coefficient estimates for analytic bi-close-to-convex functions. C. R. Acad. Sci. Paris Ser. I 2014, 352, 17–20. [Google Scholar] [CrossRef]
  12. Hamidi, S.G.; Jahangiri, J.M. Faber polynomial coefficient estimates for bi-univalent functions defined by subordinations. Bull. Iran. Math. Soc. 2015, 41, 1103–1119. [Google Scholar]
  13. Faber, G. Uber polynomische Entwickelungen. Math. Ann. 1903, 57, 1569–1573. [Google Scholar] [CrossRef] [Green Version]
  14. Gong, S. The Bieberbach Conjecture; Translated from the 1989 Chinese Original and Revised by the Author, AMS/IP Studies in Advanced Mathematics, 12, MR1699322 (2000, 30029); American Mathematical Society: Providence, RI, USA, 1999. [Google Scholar]
  15. Bulut, S. Faber polynomial coefficient estimates for certain subclasses of meromorphic bi-univalent functions. C. R. Acad. Sci. Paris Ser. I 2015, 353, 113–116. [Google Scholar] [CrossRef]
  16. Hamidi, S.G.; Jahangiri, J.M. Faber polynomial coefficients of bi-subordinate functions. C. R. Acad. Sci. Paris Ser. I 2016, 354, 365–370. [Google Scholar] [CrossRef]
  17. Altinkaya, S.; Yalcin, S. Faber polynomial coefficient bounds for a subclass of bi-univalent functions. C. R. Acad. Sci. Paris Ser. I 2015, 353, 1075–1080. [Google Scholar] [CrossRef]
  18. Jackson, F.H. On q-functions and a certain difference operator. Earth Environ. Sci. Trans. R. Soc. Edinb. 1909, 46, 253–281. [Google Scholar] [CrossRef]
  19. Ismail, M.E.H.; Merkes, E.; Styer, D. A generalization of starlike functions. Complex Var. Theory Appl. 1990, 14, 77–84. [Google Scholar] [CrossRef]
  20. Aldweby, H.; Darus, M. Some subordination results on q-analogue of Ruscheweyh differential operator. Abst. Appl. Anal. 2014, 2014, 958563. [Google Scholar] [CrossRef] [Green Version]
  21. Kanas, S.; Raducanu, D. Some class of analytic functions related to conic domains. Math. Slovaca 2014, 64, 1183–1196. [Google Scholar] [CrossRef]
  22. Mahmood, S.; Sokol, J. New subclass of analytic functions in conical domain associated with ruscheweyh q-differential operator. Results Math. 2017, 71, 1–13. [Google Scholar] [CrossRef]
  23. Huang, C.; Wang, J.; Chen, X.; Cao, J. Bifurcations in a fractional-order BAM neural network with four different delays. Neural Netw. 2021, 141, 344–354. [Google Scholar] [CrossRef]
  24. Xu, C.; Mu, D.; Liu, Z.; Pang, Y.; Liao, M.; Aouiti, C. New insight into bifurcation of fractional-order 4D neural networks incorporating two different time delays. Commun. Nonlinear Sci. Numer. Simul. 2023, 118, 107043. [Google Scholar] [CrossRef]
  25. Huang, C.; Liu, H.; Shi, X.; Chen, X.; Xiao, M.; Wang, Z.; Cao, J. Bifurcations in a fractional-order neural network with multiple leakage delays. Neural Netw. 2020, 131, 115–126. [Google Scholar] [CrossRef] [PubMed]
  26. Xua, C.; Rahmanc, M.U.; Baleanu, D. On fractional-order symmetric oscillator with offset-boosting control. Nonlinear Anal. Model Control 2022, 27, 994–1008. [Google Scholar] [CrossRef]
  27. Deniz, E. Certain subclasses of bi-univalent functions satisfying subordinate conditions. J. Class. Anal. 2013, 2, 49–60. [Google Scholar] [CrossRef]
  28. Deniz, E.; Jahangiri, J.M.; Hamidi, S.G.; Kina, S.K. Faber polynomial coefficients for generalized bi-subordinate functions of complex order. J. Math. Inequal. 2018, 12, 645–653. [Google Scholar] [CrossRef] [Green Version]
  29. Airault, H.; Bouali, H. Differential calculus on the Faber polynomials. Bull. Sci. Math. 2006, 130, 179–222. [Google Scholar] [CrossRef] [Green Version]
  30. Bouali, A. Faber polynomials. Cayley-Hamilton equation and Newton symmetric functions. Bull. Sci. Math. 2006, 130, 49–70. [Google Scholar] [CrossRef] [Green Version]
  31. Airault, H.; Ren, J. An algebra of differential operators and generating functions on the set of univalent functions. Bull. Sci. Math. 2002, 126, 343–367. [Google Scholar] [CrossRef] [Green Version]
  32. Airault, H. Symmetric sums associated to the factorizations of Grunsky coefficients. In Groups and Symmetries: From Neolithic Scots to John McKay; CRM Proceedings and Lecture Notes; American Mathematical Society: Providence, RI, USA, 2009. [Google Scholar]
  33. Ruscheweyh, S.T. New criteria for univalent functions. Proc. Am. Math. Soc. 1975, 49, 109–115. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Khan, M.F.; AbaOud, M. Some New Applications of the Faber Polynomial Expansion Method for Generalized Bi-Subordinate Functions of Complex Order γ Defined by q-Calculus. Fractal Fract. 2023, 7, 270. https://doi.org/10.3390/fractalfract7030270

AMA Style

Khan MF, AbaOud M. Some New Applications of the Faber Polynomial Expansion Method for Generalized Bi-Subordinate Functions of Complex Order γ Defined by q-Calculus. Fractal and Fractional. 2023; 7(3):270. https://doi.org/10.3390/fractalfract7030270

Chicago/Turabian Style

Khan, Mohammad Faisal, and Mohammed AbaOud. 2023. "Some New Applications of the Faber Polynomial Expansion Method for Generalized Bi-Subordinate Functions of Complex Order γ Defined by q-Calculus" Fractal and Fractional 7, no. 3: 270. https://doi.org/10.3390/fractalfract7030270

APA Style

Khan, M. F., & AbaOud, M. (2023). Some New Applications of the Faber Polynomial Expansion Method for Generalized Bi-Subordinate Functions of Complex Order γ Defined by q-Calculus. Fractal and Fractional, 7(3), 270. https://doi.org/10.3390/fractalfract7030270

Article Metrics

Back to TopTop