New Applications of Faber Polynomial Expansion for Analytical Bi-Close-to-Convex Functions Deﬁned by Using q -Calculus

: In this investigation, the q -difference operator and the S˘al˘agean q -differential operator are utilized to establish novel subclasses of analytical bi-close-to-convex functions. We determine the general Taylor–Maclaurin coefﬁcient of the functions in this class using the Faber polynomial method. We demonstrate the unpredictable behaviour of initial coefﬁcients | a 2 | , | a 3 | and investigate the Fekete–Szeg˝o problem (cid:12)(cid:12) a 3 − a 22 (cid:12)(cid:12) for the subclasses of bi-close-to-convex functions. To highlight the connections between existing knowledge and new research, certain known and unknown corollaries are also highlighted.


Introduction and Definitions
Assume that A denotes the set of all analytical functions f (z) in the open unit disk U = {z : |z| < 1}, which are normalized by f (0) = 0 and f (0) = 1.
Thus, every function f ∈ A can be expressed in the form given in Equation (1): An analytical function f is considered univalent if We let S denote the set of all analytical functions in A that are univalent in U .
For f 1 , f 2 ∈ A, and f 1 are subordinate to f 2 in U , denoted by if we have a function u, such that u ∈ B ={u : u ∈ A, |u(z)| < 1 and u(0) = 0, z ∈ U } and f (z) = y(u(z)), z ∈ U .
For 0 ≤ α < 1, let S * (α) stand for the class of functions g ∈ S, which are star-like of the order α in U , such that Re zg (z) g(z) > α, z ∈ U .
The family of close-to-convex functions f ∈ S of the order α in U are denoted by C(α), and defined as (see [1]): where g ∈ S * (0) = S * .
The series of inverse function F is given by where Q(a) = (5a 3 2 − 5a 2 a 3 + a 4 ). An analytical function f is called bi-univalent in U if f and f −1 are univalent in U . Σ stand for the class of all normalized analytical bi-univalent functions. In 1967, Levin [4] introduced the class of analytical and bi-univalent functions in U and showed that |a 2 | < 1.51.
After this, Branan and Clunie [5] enhanced the Levin result of the following form Furthermore, for the bi-univalent functions, Netanyahu [6] proved that It is indeed essential to mention that the following functions are bi-univalent: The inverse functions that correspond to these: e w are also univalent functions. Thus, the functions f 1 , f 2 and f 3 are bi-univalent.
The interesting subclass of analytical and bi-univalent functions was proposed and investigated by Branan and Taha [7], who also obtained estimates for the coefficient of the functions in this class. Similarly to the well-known S * (α) and C(α) subclasses of star-like and convex functions of the order α (0 ≤ α < 1) introduced by Brannan et al. in [8]. The S * Σ (α) of bi-star-like functions and the C * Σ (α) of bi-convex functions of the order α were in fact introduced by Brannan and Taha [9]. Recently, the exploration of numerous subclasses of the analytical and bi-univalent function class Σ was basically revitalized by the pioneering work of Srivastava et al. [10]. A new subclass of class Σ was created by Xu et al. [11] in 2012, and they investigated coefficient estimates for the functions contained in the new subclass of class Σ. Recently, a number of authors introduced and explored a number of subclasses of class Σ (see for details [12][13][14]). Only non-sharp estimates of the initial coefficients were examined in these recent works. Two new subclasses of analytical bi-univalent functions are introduced using a Sȃlȃgean-Erdély-Kober operator in [15] and coefficient-related problems are solved regarding this class, including the Fekete-Szegő problem. Three new classes of bi-univalent functions are introduced as generalizations of previously introduced classes and estimates on the coefficients and the Fekete-Szegő problem are obtained in [16]. A new family of holomorphic and bi-univalent functions is introduced using a new operator joining Poisson distribution with a Ruscheweyh derivative operator and upper bounds for the second and third coefficients are discussed in [17]. Other similar very recent studies can be seen in [18][19][20].
Faber introduced Faber polynomials [21], and first utilized them to establish the general coefficient bounds |a j | for j ≥ 3. Gong [22] explained the role of Faber polynomials in the field of mathematics, notably in the context of geometric function theory (GFT). Hamidi and Jahangiri [23,24] discovered some new coefficient bounds for analytical bi-close-toconvex functions by taking the Faber polynomial expansion method into consideration. Additionally, numerous authors [25][26][27][28][29][30] who implemented the same methodology discovered some interesting and beneficial characteristics for analytical bi-univalent functions. Only a few works have been performed so far by utilizing Faber polynomial expansion methods, and we found very little in the literature that went beyond the bounds of the Maclaurin's series coefficient |a j | for j ≥ 4. The general coefficient bounds |a j | for j ≥ 4 were recently found by a small number of authors using the Faber polynomial expansion technique (see for detail [29,[31][32][33][34][35]).
In the area of GFT, the q-calculus and fractional q-calculus have been widely utilized by scholars who have developed and examined a number of different subclasses of analytical, univalent, and bi-univalent functions. The q-calculus operator was first proposed by Jackson [36,37] in 1909, and the q-difference operator (D q ) was first used by Ismail et al. [38] to establish a class of q-star-like functions in open unit disc U . The most significant applications of q-calculus were essentially given in GFT, and Srivastava was the first to use fundamental (or q-) hypergeometric functions in a book chapter (see for details, [39]). Very recent investigations embedding q-calculus in GFT can be seen in [40][41][42][43]. See the following articles for more work on GFT associated with q-calculus operator theory [44][45][46].
There are numerous disciplines of mathematics and physics where the q-calculus is used, also having many applications in other fields of science such as special polynomials, analytical number theory, quantum group theory, numerical analysis, fractional calculus, and other related theories. Recently, Faber polynomials and special functions have become extremely important in the fields of mathematics, physics, engineering, and other research fields.
We provide some fundamental q-calculus definitions and ideas that will be utilized to establish some new subclasses in this paper. Definition 1. The definition of the q-number [t] q for q ∈ (0, 1) is: More specifically, t = j ∈ N, and the q-factorial [j] q ! can be defined as: In particular, [0] q ! = 1.

Definition 2 ([36]
). For f ∈ A, the q-difference operator, usually referred to as the q-derivative operator, is defined by [j] q a j z j−1 .

Definition 3 ([47]
). For m ∈ N 0 = N ∪ {0}. The definition of a Sȃlȃgean q-differential operator for f ∈ A is given as: Very recent results were published involving a Sȃlȃgean q-differential operator as it can be seen in [48][49][50].
Recent papers [23,24,29,30] encouraged us to use this method to build new subclasses of bi-close-to-convex functions of class Σ associated with q-calculus operator theory. (1) is known as a close-to-convex function class

Remark 1.
For m = 1 and q → 1− in Definition (4), we have a known class C Σ (α) proven by Hamidi and Jahangiri in [23]. (1) is known as a close-to-convex function class
The quantum (q) operator theory is associated with a wide range of problems in important areas of mathematical physics and engineering and is used in the solutions of heat transfer and other problems with cylindrical and spherical coordinates. Several new subclasses of convex and star-like functions have been defined, and many of their interesting properties have been obtained, using the q-analogous of difference and the Sȃlȃgean operator. Studying certain subclasses of star-like functions and their generalizations is one of the classical area of the field of GFT. In this paper, we try to investigate new geometric properties of close-to-convex functions by using Faber polynomial methods and the wellknown q-operator.

The Faber Polynomial Expansion Method and Its Applications
Using the Faber polynomial method, the coefficients of the inverse map f −1 = F of an analytical function f can be expressed as follows ( see [27,51]): In general, for v ∈ Z (Z := 0, ±1, ±2, ... and j ≥ 2, an expansion of N v j−1 of the form: where, a 2 , a 3 ....a j ) and by [51], we have , for a 1 = 1 and y ≤ j.
The sum is taken over all non-negative integers µ 1 , ..., µ j−1 which satisfy We shall demonstrate our findings using the subsequent lemma.

Lemma 1.
The Caratheodory Lemma (see [3]). If p ∈ P and where P is the family of all analytical functions that have a positive real part and p(0) = 1.
Motivated by the recent studies involving Faber polynomial expansion [52][53][54][55], the general coefficient |a j | of bi-close-to-convex functions of class C Σ (m, α, q) are determined using the Faber polynomial expansions in this study under suitable gap series conditions. After this, we demonstrate the unpredictable behaviour of initial coefficients |a 2 |, |a 3 | and investigate the Fekete-Szegő problem a 3 − a 2 2 . We also provide an example of the bi-closeto-convex function in the class C Σ (m, α, q).

Main Results
The general Taylor-Maclaurin coefficients of functions in C Σ (m, α, q) are determined in this section using the Faber polynomial expansion method. Theorem 1. If f ∈ C Σ (m, α, q) be given by Equation (1). If a k = 0, and 2 ≤ k ≤ j − 1, then Proof. If f ∈ C Σ (m, α, q), then there exists a function g(z), so that we have the Faber polynomial expansion S m q f (z) g(z) For the inverse map F = f −1 ∈ C Σ (m, α, q), there exists a function Thus, the Faber polynomial expansion of Since f ∈ C Σ (m, α, q) is in U and there exists a positive real part function Similarly, for F ∈ C Σ (m, α, q) in U there exists a positive real part function Evaluating the coefficients of the Equations (5) and (7), for any j ≥ 2, yields Evaluating the coefficients of the Equations (6) and (8), for any j ≥ 2, yields For special cases where j = 2, from (9) and (10), we obtain Solving for a 2 and taking the absolute values and using the Lemma 1, we can obtain But under the assumption, 2 ≤ i ≤ j − 1, and a i = 0, respectively, we yield: By solving Equations (11) and (12) for a j and determining the absolute values, and by the Carathéodory Lemma 1, we obtain This completes Theorem 1.

Corollary 1 ([23]
). If f ∈ C Σ (α) is given by Equation (1), and if a i = 0, and 2 ≤ i ≤ j − 1, then The following theorem for initial coefficients |a 2 | and |a 3 |, as well as a 3 − a 2 2 for C Σ (m, α, q) is obtained as a particular case to Theorem 1.
Theorem 3. If f ∈ C Σ (m, α, q) is given by Equation (1), then Proof. In the proof of Theorem 1, considering g(z) = f (z), then we obtain a j = −b j . For j = 2 in Equations (9) and (10) we thus yield Taking the absolute values, we obtain For j = 3, in Equations (9) and (10), we have and By adding Equations (13) and (14) and find |a 2 |, we arrive at By applying the Carathéodory's Lemma 1, we have As a result, we obtain the estimate Reducing Equation (14) to its simplest form, we obtain Multiplying Equation (13) by and adding it to Equation (15), we obtain Applying the Carathéodory's Lemma 1, we obtain Substituting a 2 = c 1 (1−α) [2] m q −1 into Equation (13), we have Taking the modulus and applying the Carathéodory's Lemma 1 Lastly, subtracting Equations (13) from (14), we have Theorem 4. If f ∈ C Σ (α, q) is given by Equation (1). Then, In Theorem 3, we obtain the known corollary proven in [23] for m = 1 and q → 1−.

Corollary 2 ([23]
). Let f ∈ C Σ (α) be given by Equation (1). Then, Example 1. For j ≥ 3, we will demonstrate that f (z) = z + 1−α j−1 z j is bi-close-to-convex of the order α, 0 ≤ α < 1 in U . For the function g(z) = z − 1−α j−α z j star-like in U ; we have Since lim k→∞ X k = 0, we note that X k is a convex null sequence and Therefore, Obviously, Since its coefficients are dominated by the convex null sequence X k .

Example 2.
For j ≥ 3, we will demonstrate that f (z) = z + 1−α j−1 z j is bi-close-to-convex of the order α, 0 ≤ α < 1 in U . For the function g(z) = z − 1−α j−α z j star-like in U ; we have Therefore, Since lim k→∞ w k = 0, we note that w k is a convex null sequence and Therefore, Re which is star-like in U . As a result, we have Obviously, Since its coefficients are dominated by the convex null sequence X k .

Conclusions
In this paper, we used the q-difference operator and the Sȃlȃgean q-differential operator to systematically define subclasses of analytical bi-close-to-convex functions, which were prompted mainly by recent research in GFT. We determined the general Taylor-Maclaurin coefficient of the functions of newly defined classes by using the Faber polynomial method and investigated the unpredictable behaviour of initial coefficients |a 2 |, |a 3 | and Fekete-Szegő problem a 3 − a 2 2 of subclasses of bi-close-to-convex functions. In addition, the paper showed how the findings are improved and generalized many interesting corollaries by appropriate specialization of the parameters m and q factors, including some recently published results.
Making use of the definition of q-difference and Sȃlȃgean q-differential operators could inspire researchers to create new, different subclasses of bi-close-to-convex functions.
A number of new subclasses of bi-close-to-convex functions can be defined by using the symmetrical q-calculus operator theory, and the unpredictable behaviour of coefficient bounds can be discussed by using the Faber polynomial expansion technique.