New Applications of Faber Polynomials and q -Fractional Calculus for a New Subclass of m -Fold Symmetric bi-Close-to-Convex Functions

: Using the concepts of q -fractional calculus operator theory, we first define a ( λ , q ) -differintegral operator, and we then use m -fold symmetric functions to discover a new family of bi-close-to-convex functions. First, we estimate the general Taylor–Maclaurin coefficient bounds for a newly established class using the Faber polynomial expansion method. In addition, the Faber polynomial method is used to examine the Fekete–Szegö problem and the unpredictable behavior of the initial coefficient bounds of the functions that belong to the newly established class of m -fold symmetric bi-close-to-convex functions. Our key results are both novel and consistent with prior research, so we highlight a few of their important corollaries for a comparison.


Introduction
Let A stand for the family of analytic functions in E = {z ∈ C : |z| < 1} that are normalized when η(0) = 0 and η (0) = 1 and express every η ∈ A that has the following series in the form shown below: In addition, S is a subclass of A, and members of S are univalent in E. The function η ∈ S is called a starlike (S * ) function in E (see [1]) if Re zη (z) η(z) > 0, z ∈ E and the function η ∈ S is called a convex (C) function in E (see [2]) if The function η ∈ S is called a close-to-convex (K) function in E (see [3]) if and only if g ∈ S * , such that Re zη (z) g(z) > 0.
For more details, see [5]. Let 0 ≤ α < 1; the function η ∈ S is said to be in the class of quasi-close-to-convex (Q(α)) functions if and only if g ∈ K exists, such that
We present the well-known class P (see [6]) of analytic functions p in E, which satisfy the following conditions: Re(p(z)) > 0 and p(0) = 1.
The series of the inverse function is given by An analytic function η is called bi-univalent in E if η and η −1 are univalent in E, and Σ stands for the class of all bi-univalent functions. Here, we give some examples of bi-univalent functions below: The famous Koebe function is not in class Σ. Lewin [10] introduced the concept of class Σ and established |a 2 | < 1.51 for every η ∈ Σ. Following that, Brannan and Clunie [11] demonstrated that |a 2 | ≤ √ 2. Subsequently, Netanyahu [12] showed that max|a 2 | = 4 3 , and Styer and Wright [13] showed the existence of η ∈ Σ, for which |a 2 | < 4 3 . Furthermore, Tan [14] demonstrated that, for functions in Σ, |a 2 | < 1.485. Since class Σ was first introduced, many scholars have attempted to establish the connection between the geometric features of the functions inside it and the coefficient bounds. As a matter of fact, authors Lewin [10], Brannan and Taha [11], Srivastava et al. [15], and others [16][17][18][19][20] built a solid framework for the study of bi-univalent functions. In these more recent publications, the initial coefficients were only estimated using non-sharp methods, and the coefficient estimates for the general class of analytic bi-univalent functions were also discovered in [21]; however, Atshan [22] utilized the quasi-subordination characteristics and obtained some results for new bi-univalent function subclasses. A new subclass of m-fold bi-univalent functions was defined by Oros and Cotirla [23], who also found the coefficient estimates of the Fekete-Szegö problem. More recently, the integral operator based on the Lucas polynomial was used to estimate coefficients for general subclasses of analytic bi-univalent functions [24]. Numerous authors looked into the bounds for various m-fold bi-univalent function subclasses [25][26][27][28][29][30]. The sharp coefficient bound for |a m |, (m = 3, 4, 5, . . . ) is still an unsolved problem.
Gong [31] discussed the uses and significance of the Faber polynomial methods that Faber [32] introduced. The coefficient bounds |a j | for j ≥ 3 were recently determined by Hamidi and Jahangiri [33,34] using the Faber polynomial expansion method. The Faber polynomial expansion approach has been used to introduce and study a number of new bi-univalent function subclasses. Bult introduced a few new subclasses of bi-univalent functions in References [35][36][37], and she implemented the Faber polynomial method to discover the general coefficient bounds |a j | for j ≥ 3. She also discussed how the initial coefficient bounds have unpredictable behavior. In [38,39], new subclasses of meromorphic bi-univalent functions were studied using the Faber polynomial. Recently, the subordination features and the method of generating Faber polynomials were also used to derive the general coefficient bounds |a j | for j ≥ 3 of analytic bi-univalent functions [40]. Altinkaya and Yalcin [41] addressed the unusual behavior of coefficient bounds for novel subclasses of bi-univalent functions using a similar methodology. Additionally, numerous authors used the Faber polynomial technique and obtained some intriguing findings for bi-univalent functions (see [42][43][44][45][46][47] for additional information).
Let m ∈ N. If a rotation of a domain E with an angle of 2π/m at its origin maps that domain onto itself, then the domain is said to be m-fold symmetric.
Following that, it is demonstrated that an analytic η in E, being m-fold symmetric, satisfies the following requirement: and S m in E represents m-fold symmetric univalent functions. The function η ∈ S m has the following form: Srivastava et al. [48,49] gave an additional boost to the study of the family Σ m , which has led to a large number of works on subclasses of Σ m . Then, for a new subclass of Σ m , Srivastava et al. [50] explored the initial coefficient bounds. Note that Σ 1 = Σ. Sakar and Tasar [51] developed further subclasses of m-fold bi-univalent functions and derived the initial coefficient bounds for the functions belonging to these families. In [52], coefficient bounds were established for new subclasses of analytic and m-fold symmetric bi-univalent functions. Recently, Swamy et al. [29] defined a new family of m-fold symmetric bi-univalent functions by ensuring that they satisfied the subordination requirement. References [53][54][55][56][57][58] presented interesting results on the initial coefficient bounds and the Fekete-Szegö functional problem for some subfamilies of Σ m .
Recent work by Srivastava et al. [59] shows the series expansion for η −1 to be as follows: where For m = 1, Equation (3) and their inverse functions are Many new classes of analytic functions have been built and studied by scholars in the field of Geometric Function Theory (GFT) using q-calculus and fractional q-calculus. In 1909, Jackson [60] developed the q-calculus (D q ) operator, and in [61], Ismail et al. utilized this operator for the first time to build a class of q-starlike functions in E. See [62][63][64][65] for more reading on q-calculus and analytic functions.
The Faber polynomial is one such subject, and it has become more important in mathematics and other sciences in recent years. This article is divided into three parts. In Section 1, we quickly review some elementary concepts from the theory of geometric functions since they are essential to our primary discovery. These elements are all standard fare, and we appropriately reference them. In Section 2, we introduce the Faber polynomial method, give a few illustrations, define some key terms, and present some preliminary lemmas. In Section 3, we present the new (λ, q)-differintegral operator for m-fold symmetric functions, and, considering this operator, we define a new class of close-to-convex functions and investigate the main results. Section 4 offers some final remarks.

Preliminaries
Addressing the basic definitions and notions of q-fractional calculus is now necessary in order to construct some new subclasses of m-fold symmetric bi-univalent functions.

Definition 3 ([66]
). (γ, q) j in (4) can be precise in terms of the q-Gamma function as follows: For analytic functions, Jackson [60] presented the q-difference operator as follows: ). For η ∈ A, the q-difference operator is defined as Note that [j] q a j z j−1 .

Definition 5.
Pochhammer's generalized symbol for q is denoted by

Definition 6 ([67]
). For λ > 0, the fractional q-integral operator is defined by where the definition of the q-binomial function The series 1 Φ 0 is given by This final equivalence is known as the q-binomial theorem (for reference, see [68]). For more details, see [67,69].
Definition 7 ([68,70]). For an analytic function η, the fractional q-derivative operator D λ q is defined by Definition 8 ([67,68]). For k to be the smallest integer, the extended fractional q-derivative D λ q of order λ is defined by We find from (8) that Note that D λ q represents the fractional q-integral of order λ when −∞ < λ < 0 and the fractional q-derivative of order λ when 0 ≤ λ < 2.
Consider the following: Definition 10. For k to be the smallest integer, the extended fractional q-derivative D λ,m q of order λ is defined for m-fold symmetric functions as follows: we find from (9) that

The Faber Polynomial Expansion Method and Its Applications
The coefficients of the inverse map F may be expressed using the Faber polynomial method applied to the analytic functions (see [72,73]).
The usual form of the expansion of Q r j for r ∈ Z (Z := 0, ±1, ±2, . . . and j ≥ 2 is where V r j = V r j (a 2 , a 3 . . . .) and according to [72], we have The sum takes over all non-negative integers µ 1 , . . . , µ j , which satisfies In this section, we define the (λ, q)-differintegral operator for m-fold symmetric functions, consider this operator, and define a new class of close-to-convex functions. Then, we obtain our main results by using the technique of Faber polynomial expansion.

Main Results
By using the same technique as Selvakumaran et al. [71], we define the (λ, q)-differintegral operator for m-fold symmetric functions as follows: Definition 11. For m ∈ N, the (λ, q)-differintegral operator for m-fold symmetric functions Ω λ,m q : S m → S m is defined as follows: where 0 ≤ λ < 2, and 0 < q < 1.
Taking motivation from [33] and considering the (λ, q)-differintegral operator, we define a new class of close-to-convex bi-univalent functions of class Σ m .
The Faber polynomial method is applied to Definition 12 in order to derive the j th coefficient bounds, a mj+1 , and the initial coefficient bounds, |a m+1 |, |a 2m+1 |, as well as the Feketo-Szegö problem a 2m+1 − µa 2 m+1 .
Proof. Since η ∈ C λ,q Σ (α, m), then, by definition and using the Faber polynomial, where For the inverse map F = η −1 and G = g −1 , we obtain where As opposed to that, Re D q (Ω λ q η(z)) g(z) > α in E, and Similarly, Re D q (Ω λ q F(w)) G(w) > α in E, and there exists the function Evaluating the coefficients of Equations (10) and (12), for any j ≥ 2, yields Evaluating the coefficients of Equations (11) and (13), for any j ≥ 2, yields For the special case j = 1, from Equations (14) and (15), we obtain By utilizing Lemma 1 and solving a m+1 in absolute values, we achieve However, under this assumption, a mk+1 = 0 and 1 ≤ k ≤ j − 1 both yield Therefore, and By solving Equations (16) and (17) for a j and determining the absolute values, and by using Lemma 1, we obtain upon noticing that b mj+1 ≤ mj + 1 and B mj+1 ≤ mj + 1.
Proof. In the proof of Theorem 1, we obtain a mj = −b mj for the function g(z) = Ω λ q η(z). For j = 1, (14) and (15) respectively yield Any one of these two equations, when taken at its absolute value, gives .
For j = 2, Equations (14) and (15) respectively yield Combining the two equations and solving |a m+1 | yield By applying Carathéodory's Lemma 1, we obtain As a result, we obtain the estimate By substituting in (4), we obtain Using the modulus and Carathéodory's Lemma 1, we may prove the following: and Lastly, by subtracting Equation (4) from Equation (5), we obtain .

Conclusions
In this paper, we introduced the (λ, q)-differintegral operator for m-fold symmetric functions given in (11) and discussed its applications for a class of m-fold symmetric bi-close-to-convex functions that is defined in (12). We applied the Faber polynomial technique and investigated the jth coefficient bounds, the initial coefficients, and the Fekete-Szegö functional for this newly defined class of m-fold symmetric functions. This research also shows how current discoveries and other improvements may be made via careful parameter specialization.
This article has three parts. Since the basics of geometric function theory are necessary to understand our major discovery, we briefly cover them in Section 1. These elements are all well recognized, and we appropriately reference them. The Faber polynomial method, several related applications, and some preliminary lemmas are presented in Section 2. In Section 3, we discuss our results. Researchers may create many other classes of m-fold symmetric bi-univalent functions by using different extended q-operators in place of the (λ, q)-differintegral operator in their future investigations. Researchers may also explore the behavior of coefficient estimations for newly defined subclasses of m-fold symmetric bi-univalent functions using the Faber polynomial approach.