Faber Polynomial Coefﬁcient Estimates for Bi-Univalent Functions Deﬁned by Using Differential Subordination and a Certain Fractional Derivative Operator

: In this article, we introduce a general family of analytic and bi-univalent functions in the open unit disk, which is deﬁned by applying the principle of differential subordination between analytic functions and the Tremblay fractional derivative operator. The upper bounds for the general coefﬁcients | a n | of functions in this subclass are found by using the Faber polynomial expansion. We have thereby generalized and improved some of the previously published results.


Introduction, Definitions and Preliminaries
Let A be a class of functions of the following (normalized) form: which are assumed to be analytic in the open unit disk U = {z : z ∈ C and |z| < 1}.
Further, let S denote the subclass of functions contained in the class A of normalized analytic functions in U, which are univalent in U.
Given a function f ∈ A, we say that f bi-univalent in U if both f and f −1 are univalent in U. We denote by Σ the class of functions f ∈ A, which are bi-univalent in U and have the Taylor-Maclaurin series expansion given by (1). In the year 1967, Lewin [1] studied the bi-univalent function class Σ and derived the bound for the second Taylor-Maclaurin coefficient |a 2 | in (1).
The interested reader can find a brief historical overview of functions in the class Σ in the work of Srivastava et al. [2], which actually revised the study of the bi-univalent function class Σ, as well as in the references cited therein. Bounds for the first two Taylor-Maclaurin coefficients |a 2 | and |a 3 | of various subclasses of bi-univalent functions were obtained in a number of sequels to [2] including (among others) [3][4][5][6][7][8][9][10][11][12]. As a matter of fact, considering the remarkably huge amount of papers on the subject, the pioneering work by Srivastava et al. [2] appears to have successfully revived the study of analytic and bi-univalent functions in recent years.
The coefficient estimate problem for each of the Taylor-Maclaurin coefficients |a n | (n 4) is presumably still an open problem for a number of subclasses of the bi-univalent function class Σ. Nevertheless, in some specific subclasses of the bi-univalent function class Σ, such general coefficient estimate problems were considered by several authors by employing the Faber polynomial expansions under certain conditions (see, for example, ). Here, in our present investigation of general coefficient expansion problems, we begin by recalling several definitions, lemmas and other preliminaries which are needed in this paper.
We also have where the sum is taken over all nonnegative integers µ 1 , · · · , µ n satisfying the following conditions: It is clear that D n n (a 2 , a 3 , · · · , a n+1 ) = a n 2 .

Definition 1.
(see [41]) For two functions f and g, which are analytic in U, we say that the function f is subordinate to g in U and write if there exists a Schwarz function ω(z) which, by definition, is analytic in U with In particular, if the function g is univalent in U, then Ma and Minda [42] unified various subclasses of starlike and convex functions for which either of the quantities is subordinate by a general superordinate function. For this purpose, they considered an analytic function with positive real part in the unit disk U for which ϕ(0) = 1 and ϕ (0) > 0 and which maps U onto a region starlike with respect to 1 and symmetric with respect to the real axis.

Definition 2.
(see [43,44]) For a function f , the fractional integral of order γ is defined by where f (z) is an analytic function in a simply-connected region of the complex z-plane containing the origin and the multiplicity of (z − ξ) γ−1 is removed by requiring log(z − ξ) to be real when z − ξ > 0.

Definition 3.
(see [43,44]) For a function f , the fractional derivative of order γ is defined by where the function f (z) is constrained, and the multiplicity of (z − ξ) −γ is removed, as in Definition 2.

Definition 4.
(see [43,44]) Under the hypotheses of Definition 3, the fractional derivative of order n + γ is defined by As consequences of Definitions 2-4, we note that
The purpose of our study is to make use of the Faber polynomial expansion in order to obtain the upper bounds for the general Taylor-Maclaurin coefficients |a n | of functions in a new subclass of Σ, which is defined by the principle of differential subordination between analytic functions in the open unit disk U. We also show that our main results and their corollaries and consequences would generalize and improve some of the previously published results. Moreover, with a view to potentially motivate the interested reader, we choose to include a citation of a very recent survey-cum-expository article [46], which also provides a review of many other related recent works in Geometric Function Theory of Complex Analysis.

A Set of Main Results
We begin this section by assuming that ϕ is an analytic function with positive real part in the unit disk U, which satisfies the following conditions: and is so constrained that ϕ (U) is symmetric with respect to the real axis. Such a function has series expansion of the form: We now introduce the general subclass A Σ (λ, γ, µ, ϕ).
Since |p n−1 | 1 and |q n−1 | 1, by taking the absolute values of either of the above two equations, we obtain (6). This completes the proof of Theorem 1.
Thus, by using Lemma 2, we obtain Therefore, we have Equation (23) in conjunction with (24) would readily yield (17). We next solve (20) for a 3 , take the absolute values and apply Lemma 2. We thus obtain .
Hence we obtain the desired estimate on |a 3 | given in (18). This completes the proof of Theorem 2.

Concluding Remarks and Observations
In this concluding section, we give several remarks and observations which related to the developments resented in this paper.

Remark 1.
By letting µ = γ = λ = 1 in Theorem 1, we obtain estimates on the general coefficients |a n | (n 3) for subclass defined by Ali et al. [47] (Theorem 2.1), which are not obtained until now.

Remark 2. By setting
in Theorem 1, we get the results which were obtained by Srivastava et al. [44] (Theorem 1).

Remark 3. By taking
in Theorem 1, we get an upper bound for the coefficients |a n | of functions in a subclass which is defined by argument in the following corollary, which is presumably new.

Remark 4. By setting
in Theorem 2, we get the results which were obtained by Srivastava et al. [44] (Theorem 2).

Remark 5. By taking
in Theorem 2, we can improve the estimates which were given by Frasin and Aouf [4] (Theorem 2.2). Also, by setting in Theorem 2, we can improve the estimates which were given by Frasin and Aouf [4] (Theorem 3.2).

Remark 6. By setting
in Theorem 2, we obtain an improvement of the estimates which were given by Srivastava et al. [2] (Theorem 1). Moreover, by setting in Theorem 2, we obtain an improvement of the estimates which were given by Srivastava et al. [2] (Theorem 2).
We conclude our present investigation by observing that the interested reader will find several related recent developments concerning Geometric Function Theory of Complex Analysis (see, for example, [46,[49][50][51]) to be potentially useful for motivating further researches in this subject and on other related topics. Funding: This research received no external funding.

Conflicts of Interest:
The authors declare no conflict of interest.