Applications of a certain q-integral operator to the subclasses of analytic and bi-univalent functions

In the present investigation, our aim is to define a generalized subclass of analytic and biunivalent functions associated with a certain q-integral operator in the open unit disk U. We estimate bounds on the initial Taylor-Maclaurin coefficients |a2| and |a3| for normalized analytic functions f in the open unit disk by considering the function f and its inverse g = f −1. Furthermore, we derive special consequences of the results presented here, which would apply to several (known or new) subclasses of analytic and bi-univalent functions.


Introduction and definitions
By H (U) we denote the analytic function class in the open unit disk U = {z : z ∈ C and |z| < 1} , where C represents the set of complex numbers. The class A of normalized analytic functions consists of functions f ∈ H (U), which have the following Taylor-Maclaurin series expansion: and satisfy the normalization condition given by Further, a noteworthy subclass of A, which contains all univalent functions in the open unit disk U, is denoted by S. All functions f ∈ S that satisfy the following condition: are placed in the class S * of starlike functions in U.
For regular functions f and g in the unit disk U, we say that the function f is subordinate to the function g, and write f ≺ g or f (z) ≺ g (z) , if there exists a Schwarz function w of the class B, where B = {w : w ∈ A, w (0) = 0 and |w (z)| < 1 (∀ z ∈ U)} , (1.3) such that f (z) = g w (z) .
Specifically, when the given function g is regular in U, then the following equivalence holds true: and f (U) ⊂ g(U).
We next introduce the class P which consists of functions p, which are analytic in U and normalized by p (z) = 1 + ∞ n=1 p n z n , (1.4) such that p (z) > 0.
In the theory of analytic functions, the vital role of the function class P is obvious from the fact that there are many subclasses of analytic functions which are related to this class of functions denoted by P.
In connection with functions in the class S, on the account of the Koebe one-quarter theorem (see [9]), it is clear that, under every function f ∈ S, the image of U contains a disk of radius 1 4 . Consequently, every univalent function f ∈ S has an inverse f −1 given by (1.5) A function f ∈ S such that both f and its inverse function g = f −1 are univalent in U is known as biunivalent in U. The class of bi-univalent functions in U is symbolized by Σ. In their pioneering work, Srivastava et al. [46] basically resuscitated the study of the analytic and bi-univalent function class Σ in recent years. In fact, as sequels to their investigation in [46], a number of different subclasses of Σ have since then been presented and studied by many authors (see, for example, [2, 5-8, 11, 25, 26, 35, 38, 40-42, 47, 51-53, 55-57]). However, except for a few of the cited works using the Faber polynomial expansion method for finding upper bounds for the general Taylor-Maclaurin coefficients, most of these investigations are devoted to the study of non-sharp estimates on the initial coefficients |a 2 | and |a 3 | of the Taylor-Maclaurin series expansion.
Some important elementary concept details and definitions of the q-calculus which play vital role in our presentation will be recalled next. Definition 1. Let q ∈ (0, 1) and define the q-number [λ] q by Definition 2. Let q ∈ (0, 1) and define the q-factorial [n] q ! by Definition 3. The generalized q-Pochhammer symbol is defined, for t ∈ R and n ∈ N, by Also, for t > 0, let the q-gamma function be defined as follows: Definition 4. (see [13] and [14]) For a function f in the class A, the q-derivative (or q-difference) operator D q is defined, in a given subset of C, by (1.6) We note from Definition 4 that the q-derivative operator D q converges to the ordinary derivative operator as follows: for a differentiable function f in a given subset of C. Further, taking (1.1) and (1.6) into account, it is easy to observe that [n] q a n z n−1 . (1.7) Recently, the study of the q-calculus has fascinated the intensive devotion of researchers. The great concentration is because of its advantages in many areas of mathematics and physics. The significance of the q-derivative operator D q is quite obvious by its applications in the study of several subclasses of analytic functions. Initially, in the year 1990, Ismail et al. [12] gave the idea of q-starlike functions. Nevertheless, a firm foothold of the usage of the q-calculus in the context of Geometric Function Theory was effectively established, and the use of the generalized basic (or q-) hypergeometric functions in Geometric Function Theory was made by Srivastava (see, for details, [29, pp. 347 et seq.]). After that, notable studies have been made by numerous mathematicians which offer a momentous part in the advancement of Geometric Function Theory. For instance, Srivastava et al. [44] examined the family of q-starlike functions associated with conic region, and in [22] the estimate on the third Hankel determinant was settled. Recently, a set of articles were published by Srivastava et al. (see, for example, [20,43,49,50]) in which they studied various families of q-starlike functions related with the Janowski functions from different aspects. For some more recent investigations about q-calculus, we may refer the reader to [1,3,4,15,16,27,33,36,48].
We remark in passing that, in the aforementioned recently-published survey-cum-expository review article [33], the so-called (p, q)-calculus was exposed to be a rather trivial and inconsequential variation of the classical q-calculus, the additional parameter p being redundant or superfluous (see, for details, [33, p. 340]). Srivastava [33] also pointed out how the Hurwitz-Lerch Zeta function as well as its multiparameter extension, which is popularly known as the λ-generalized Hurwitz-Lerch Zeta function (see, for details, [30]), have motivated the studies of several other families of extensively-and widelyinvestigated linear convolution operators which emerge essentially from the Srivastava-Attiya operator [37] (see also [31] and [32]).
Definition 5. (see [12]) A function f in the function class A is said to belong to the function class S * Then on the account of last inequality, it is obvious that, in limit case when q → 1− the above closed disk is merely the right-half plane and the class S * q of q-starlike functions turns into the familiar class S * of starlike functions in U. Analogously, in view of the principle of subordination, one may express the relations in (1.8) and (1.9) as follows: (see [54]): In recent years, many integral and derivative operators were defined and studied from different viewpoints and different perspectives (see, for example, [10,19,23]). Motivated by the ongoing researches, Srivastava et al. [45] introduced the q-version of the Noor integral operator as follows.
Definition 6. (see [45]) Let a function f ∈ A. Then the q-integral operator is given by and Specifically, we notice that Clearly, in limit case when q → 1−, th above q-integral operator simply becomes to the Noor integral operator (see [24]). It is straightforward to verify the following identity: If q → 1−, the equality (1.11) implies that which is the known recurrence formula for the Noor integral operator (see [24]). Motivated by the works, which we have mentioned above, we now define subfamilies of the normalized univalent function class S by means of the operator I λ q and the principle of subordination between analytic functions as follows.
Definition 7. Let a function f ∈ S. Then f belongs to the function class H q (λ, p) if it satisfies the following conditions: and where the function p (z) is analytic and has positive real part in U. Moreover, p (0) = 1, p (0) > 0, and p (U) is symmetric with respect to the real axis. Consequently, it has a series expansion of the form given by p (z) = 1 + p 1 z + p 2 z 2 + p 3 z 3 + · · · ( p 1 > 0), (1.14) noticing that g(w) = f −1 (w).
In order to drive the main results in this paper, the following known lemma is needed.
Lemma 1. (see [9]) Let the function p ∈ P and let it have the form (1.4). Then |p n | 2 (n ∈ N) and the bound is sharp.

A set of main results
We begin by estimating the upper bound for the Taylor-Maclaurin coefficients of functions in the function class H q (λ, p).

Theorem 1.
If the function f ∈ H q (λ, p) has the power series given by (1.1), then and Proof. Since f ∈ H q (λ, p) and f −1 = g, by means of Definition 7 and by using the principle of subordination, there exit functions s(z), r(z) ∈ B such that = p (r(z)) and wD q I λ q g (w) I λ q g (w) = p (s(w)) .

(2.3)
We define the following two functions: Then it is clear that p j ∈ P for j = 1, 2. Equivalently, the last relations in terms of r(z) and s(z) can be restated as follows: and Therefore, by means of (2.4), (2.5) and (2.3), if we take (1.14) into account, we have Now, upon expanding the right-hand sides of both equations in (2.3), we find that and wD q I λ q g (w) I λ q g (w) Substituting from (2.6), (2.7), (2.8) and (2.9) into (2.3) and then by equating the corresponding coefficients of z, z 2 , w and w 2 , we get Addition of (2.11) and (2.14) yields Also, by using (2.14) in the last equation, we get which, in view of Lemma 1, yields the required bound on |a 2 | as asserted in (2.1). Further, in order to find the estimate on |a 3 |, we subtract (2.14) from (2.11). Further computations by using (2.13) lead us to a 3 = a 2 2 + 1 4 [λ + 1] q q(q + 1) 2 p 1 (r 2 − s 2 ). (2.16) Finally, by using (2.14) in conjunction with Lemma 1 on the coefficients of r 2 and s 2 , we are led to the assertion given in (2.2). This completes our proof of Theorem 1.
In the next result, we solve the Fekete-Szegö problem for the function class H q (λ, p) by making use of the coefficients a 2 , a 3 and a complex parameter ν.

Theorem 2.
Let the function f belong to the class H q (λ, p) and let ν ∈ C. Then Proof. On the account of (2.15) and (2.16), we have which can be written in the following equivalent form: Some suitable computations would yield where Θ(ν) is defined in (2.18). Since all p j ( j = 1, 2) are real and p 1 > 0, we obtain The proof of Theorem 2 is thus completed.

Remark 1. It follows from Theorem 2 when
If we first set λ = 1 and then apply limit as q → 1−, then we have following consequence of Theorem 2.
Corollary 1. (see [57]) Let a function f belong to the class given by and ν ∈ C. Then .

Applications of the main results
For the class of q-starlike functions of order α with 0 < α 1, the function p is given by Then Definition 7 of the bi-univalent function class H q (λ, p) yields a presumably new class H 1 q (λ, α), which is given below. Definition 8. A function f ∈ A is said to be in the class H 1 q (λ, α) if it satisfies the following conditions: and wD q I λ q g (w) Hence, upon setting in Definition 8, we are led to the following corollaries of Theorem 1 stated below.

Corollary 3.
Let the function f ∈ H 1 q (λ, α) have the form (1.1). Then In Corollary 2, we set λ = 1. Then we arrive at the following result.

Corollary 4.
Let the function f be in the class given by and have the form (1.1). Then On the other hand, for 0 < α 1, if we set then Definition 7 of the bi-univalent function class H q (λ, p) gives a new class H 3 q (λ, α), which is given below.
Definition 9. A function f ∈ A is said to belong to the class H 3 q (λ, α) if the following inequalities hold true: where the inverse function is given by f −1 (w) = g(w).
Using the parameter setting given by in Definition 9, it leads to the following consequences of Theorem 1.

Corollary 6.
Let the function f ∈ H 3 q (λ, α) be given by (1.1). Then Next, if we take The function given in (3.1) is not univalent in U. However, it is univalent in It is noteworthy that which ensures the division of the interval [0, 1] by the above-mentioned number |T | such that it fulfills the golden section. Since the equation: holds true for T , in order to attain higher powers T n as a linear function of the lower powers, this relation can be used. In fact, it can be decomposed all the way down to a linear combination of T and 1. The resulting recurrence relations yield the Fibonacci numbers u n : T n = u n T + u n−1 .
For the function p represented in (3.1), Definition 7 of the bi-univalent function class H q (λ, p) gives a new class H 4 q (λ, p), which (by using the principle of subordination) gives the following definition. Definition 10. A function f ∈ A is said to be in the class H 4 q (λ, α) if it satisfies the following subordination conditions: and wD q I λ q g (w) I λ q g (w) ≺ 1 + T 2 w 1 − T w − T 2 w 2 where g(w) = f −1 (w).
Using similar arguments as in proof of Theorem 1, we can obtain the the upper bounds on the Taylor-Maclaurin coefficients a 2 and a 3 given in Corollary 7.

Concluding remarks and observations
Here, in our present investigation, we have successfully examined the applications of a certain qintegral operator to define several new subclasses of analytic and bi-univalent functions in the open unit disk U. For each of these newly-defined analytic and bi-univalent function classes, we have settled the problem of finding the upper bounds on the coefficients |a 2 | and |a 3 | in the Taylor-Maclaurin series expansion subject to a gap series condition. By means of corollaries of our main theorems, we have also highlighted some known consequences and some applications of our main results.
Studies of the coefficient problems (including the Fekete-Szegö problems and the Hankel determinant problems) continue to motivate researchers in Geometric Function Theory of Complex Analysis. With a view to providing incentive and motivation to the interested readers, we have chosen to include several recent works (see, for example, [17,18,21,28,33,34,39]), on various bi-univalent function classes as well as the ongoing usages of the q-calculus in the study of other analytic or meromorphic univalent and multivalent function classes.