Applications of the q -Derivative Operator to New Families of Bi-Univalent Functions Related to the Legendre Polynomials

: By using the q -derivative operator and the Legendre polynomials, some new subclasses of q -starlike functions and bi-univalent functions are introduced. Several coefﬁcient estimates and Fekete–Szegö-type inequalities for functions in each of these subclasses are obtained. The results derived in this article are shown to extend and generalize those in some earlier works.


Introduction
In the development of the Geometric Function Theory of Complex Analysis, the qderivative is an important research tool. The application of q-calculus was first considered by Jackson (see [1][2][3][4]). Recently, many scholars have defined new subclasses of analytic functions by combining the q-derivative operator with the principle of differential subordination and studied their geometric properties (see [5][6][7][8][9][10][11][12][13][14][15]). In this article, we investigate two new subclasses I q A [A, B, λ, β] and I q Σ [φ, λ, β] of the class of q-starlike functions and bi-univalent functions associated with the q-derivative operator and the Legendre polynomials. For each of these subclasses, we obtain certain coefficient estimates and Fekete-Szegö-type inequalities. The results obtained in this article are also shown to extend and generalize those in some earlier works. For motivation and incentive for further researches, the reader's attention is drawn toward some of the related recent developments in [12,[16][17][18][19] dealing with the coefficient inequalities and coefficient estimates of various subclasses of analytic, univalent, and bi-univalent functions involving the second, third, and fourth Hankel determinants and the Fekete-Szegö functional.
Let A be the class of analytic functions in the open unit disk U = {z : z ∈ C and |z| < 1}, which have the following normalized form: f (z) = z + ∞ ∑ n=2 a n z n .
Also, let S ⊂ A be the class of functions that are univalent in U. Obviously, each function f ∈ S has an inverse f −1 , so that and A function f ∈ A is said to be bi-univalent in U if both f and f −1 are univalent in U. We denote this class using Σ. We remark that the study of the normalized class Σ of analytic and bi-univalent functions in U was revived in recent years by a pioneering article on the subject by Srivastava et al. [20], which has flooded the literature on the Geometric Function Theory of Complex Analysis with a large number of sequels to [20].
For a function f ∈ A, given by (1), and a function g ∈ A, given by the Hadamard product (or convolution) of f and g is defined by Let P be the class of Carathéodory functions h that are analytic in U and that satisfy For two analytic functions f and g, we say that f is subordinate to g and it is written as f ≺ g or f (z) ≺ g(z), if there is a Schwarz function w such that f (z) = g w(z) . Further, if g is univalent in U, then Let q ∈ (0, 1) and define the q-number [λ] q as follows: Especially, we note that [0] q = 0. Let q ∈ (0, 1) and define the q-factorial [n] q ! by Now, we recall here the q-derivative (or the q-difference) operator D q (0 < q < 1) of a function f ∈ A as follows: The Legendre polynomials P n (x) are the particular solutions to the Legendre differential equation: (1 − x 2 )y − 2xy + n(n + 1)y = 0 (n ∈ N 0 ).
The Legendre polynomials P n (x) are defined by for arbitrary real or complex values of the variable x. The Legendre polynomials P n (x) are generated by (see, for details, [21]) where (1 − 2xt + t 2 ) − 1 2 is taken to be 1 when t → 0. The first few Legendre polynomials are given by The function φ(z) given by belongs to the class P for every real number α (see [22]). By using (3), it is easy to see that where l n = P n (cos α) − P n−1 (cos α).
For more details, one can see the earlier work [23].
For f ∈ A, the q-Ruscheweyh operator R q,λ is defined as follows (see [24]): Let f ∈ A. The q-integral operator R −1 q,λ is defined by (see [5] and [25]) Further, we have When q → 1−1, the q-integral operator R −1 q,λ reduces to an integral operator studied by Noor [26].
For f ∈ A, the q-integral operator I λ q is defined by (see [5]) where ψ n−1 is given by (5). Clearly, one can see that Next, we will define the analytic function class I or equivalently, where the class S * q [A, B] was introduced by Srivastava et al. [27]. (ii) For λ = 1, β = 0, and q → 1 − , we get where the class S * [A, B] was considered by Janowski [28].
where the functions g and φ are given by (2) and (4), respectively.
To derive our main results, we need the following lemmas.

Main Results
In this section, we derive certain coefficient estimates and the Fekete-Szegö-type inequalities for functions in the classes I q A [A, B, λ, β] and I q Σ [φ, λ, β], which are defined above (see Definition 1 and Definition 2). Many special cases and consequences of our main findings are pointed out.
where 1 + Az Since ν(z) = 1 + ∑ ∞ n=1 ν n z n , we get from Lemma 2 that From (12), we have Comparing the coefficients of z n on both sides of the equation (14), we get where a 1 = 1, ν 1 = 1 and ψ 0 = 1. The above equation gives Thus, we get This proves Theorem 1.
For λ = 1 and β = 0 in Theorem 1, we obtain a result of the class S * q [A, B], which was considered by Srivastava et al. [27].

Corollary 1.
Let a function f ∈ S * q [A, B] be of the form given by (1). Then,

Theorem 3.
Let a function f ∈ I q A [A, B, λ, β] be of the form given by (1). Then, where µ is real and Proof. Let f ∈ I q A [A, B, λ, β]. Using the Taylor series formula, we have From (7), we know that there exists a Schwarz function h such that We now define a function w ∈ P by This implies that Also, we have Therefore, we obtain Now, we can find that where Applying Lemma 1 in (35), we get the desired results. The proof of Theorem 3 is completed.

Corollary 2.
Let a function f ∈ S * [A, B] be of the form given by (1). Then,

Conclusions
In our present investigation, we have used the q-derivative (or the q-difference) operator D q , as well as the Legendre polynomials P n (x) to introduce and study two new subclasses of the class of q-starlike functions and the class of analytic and bi-univalent functions. For each of these subclasses, we have derived a number of coefficient estimates and Fekete-Szegö-type inequalities. The results derived in this article are also shown to extend and generalize those in some earlier works. For motivation and incentive for further research, the reader's attention is drawn toward some of the related recent developments in [16][17][18][19] dealing with the coefficient inequalities and coefficient estimates of various subclasses of analytic, univalent, and bi-univalent functions involving the second, third, and fourth Hankel determinants, and the Fekete-Szegö functional.
In concluding this article, we choose to discourage the current trend of some amateurishtype publications in which there are falsely-claimed "generalizations" of known q-theory and known q-results by forcing-in an obviously superfluous (or redundant) parameter p. In this connection, the reader should refer to [32] (p. 340) and [33] (pp. 1511-1512) for a detailed exposition and demonstration, where it is stated clearly that the current trend of trivially and inconsequentially translating known q-results into the corresponding (p, q)-results leads to no more than a straightforward and shallow publication involving an additional forced-in parameter p that is obviously redundant (or superfluous).