Coefficient bounds for certain two subclasses of bi-univalent functions

Ebrahim Analouei Adegani1, Nak Eun Cho2,*, Davood Alimohammadi3 and Ahmad Motamednezhad1 1 Faculty of Mathematical Sciences, Shahrood University of Technology, P.O.Box 316-36155, Shahrood, Iran 2 Department of Applied Mathematics, College of Natural Sciences, Pukyong National University, Busan 608-737, Republic of Korea 3 Department of Mathematics, Faculty of Science, Arak University, Arak 38156-8-8349, Iran


Introduction and Preliminaries
Suppose that A is the category of functions of the form f (z) = z + ∞ n=2 a n z n (1.1) that are analytic in the open unit disk U := {z ∈ C : |z| < 1} and assume that S is the subset of A consisting of all univalent functions in U.
It is known that the image of U under every function f ∈ S contains a disk of radius 1/4. Therefore, every function f ∈ S has an inverse f −1 , which is defined by f −1 ( f (z)) = z (z ∈ U) and f f −1 (w) = w (|w| < r 0 ( f ); r 0 ( f ) ≥ 1/4) where f −1 (w) = w − a 2 w 2 + (2a 2 2 − a 3 )w 3 − (5a 3 2 − 5a 2 a 3 + a 4 )w 4 + . . . =: w + ∞ n=2 c n w n . (1. 2) A function f ∈ A is said to be bi-univalent in U if both f and f −1 are univalent in U. Let Σ denote the family of bi-univalent functions in U. Lewin [20] studied the bi-univalent function family Σ and obtained the bound for the second Taylor-Maclaurin coefficient |a 2 |. A brief summery of functions in the family Σ can be found in the study of Srivastava et al. [30], which is a basic research on the biunivalent function family Σ and in the references cited therein. In a number of sequels to [30], bounds for the first two coefficients |a 2 | and |a 3 | of different subclasses of bi-univalent functions were given, for example, see [6,15,24,28,35]. However, determination of extremal functions for bi-univalent functions remains a challenge. In fact, the study of analytic and bi-univalent functions was successfully revived by the pioneering research of Srivastava et al. [30] in recent years regarding the numerous papers on the subject. There are also several papers dealing with bi univalent functions defined by subordination, for example, see [3,10,36].
In addition, in a survey-cum-expository article [23] by Srivastava, it was indicated that the recent and future applications and importance of the classical q-calculus and the fractional q-calculus in geometric function theory of complex analysis motivate researchers to study many of these and other related subjects in this filed. It is notable, the fact that the so-called (p, q)-results are no more general than the corresponding q-results because the additional parameter p is obviously redundant (see [23]). For example, in [19] researchers defined a generalized subclass of analytic and bi-univalent functions associated with a certain q-integral operator in the open unit disk U and estimated bounds on the initial Taylor-Maclaurin coefficients |a 2 | and |a 3 | for the functions belonging to this subclass.
Obtaining the upper bound for coefficients have been one of the main research areas in geometric function theory as it renders several meaningful features of functions. Individually, bound for the second coefficient renders growth and distortion theorems for functions in the family S. According to [30], many authors put effort to review and study various subclasses of the class Σ of bi-univalent functions in recent years, for example, see [15,24,27,28,32,35]. In the literature, several researchers applied the Faber polynomial expansions to determine the general coefficient bounds of |a n | for the analytic bi-univalent functions [4, 7, 9, 16, 17, 26, 29, 31-34, 38, 39]. It is remarkable that Faber polynomials play an important role in geometric function theory, introduced by Faber [14].
In this paper, let ϑ is an analytic function, which is characterized by positive real part in U and ϑ(U) is symmetric with respect to the real axis, satisfying ϑ(0) = 1, ϑ (0) > 0 such that it has series expansion of the form A function ω : U → C is said Schwarz function if ω is a analytic function in U with conditions ω(0) = 0 and |ω(z)| < 1 for all z ∈ U. The family of all Schwarz functions on U is denoted by Ω. Clearly, a Schwarz function ω has the form ω(z) = w 1 z + w 2 z 2 + . . . .
Recently, Srivastava and Bansal [25] (see, also [11]) introduced a subclass of analytic bi-univalent functions and obtained non-sharp estimates of the first two coefficients of functions in this class as follows: . A function f ∈ Σ is said to be in the subclass Σ(ς, ρ, ϑ) if each of the next conditions holds true: where g = f −1 is given by (1.2).
Deniz et al. [12], by a class of functions defined in [11], introduced the next comprehensive family of analytic functions As particular cases of the family S (ν, ρ; ϑ) we have S (0, 1; ϑ) = S * (ϑ) and S (1, 1; ϑ) = C(ϑ) that these categories are called Ma-Minda starlike and convex, respectively [21]. A function f ∈ A is said to be generalized bi-subordinate of complex order ρ and type ν if both f and g = f −1 are in S (ν, ρ; ϑ).
If both functions f and g = f −1 are given by (1.1) and (1.2), respectively, be in S (ν, ρ; ϑ) and a k = 0 for 2 ≤ k ≤ n − 1, then The present paper is motivated essentially by the recent works [5,8,12] and the aim of this paper is to study the coefficient estimates of two subclasses Σ(ς, ρ, ϑ) and S (ν, ρ; ϑ) of bi-univalent functions. We apply the Faber polynomial expansions to get bounds for the coefficients |a n | for the functions of the general classes that our results improve some of the previously ones.

Coefficient bounds
In this section, we obtain a smaller upper bound with precise estimation of coefficients |a n | of analytic bi-univalent functions in the subclasses Σ(ς, ρ, ϑ) and S (ν, ρ; ϑ). To establish the outcomes, we need the following lemmas: Let f ∈ S be given by (1.1). Then the coefficients of its inverse map g = f −1 are given in terms of the Faber polynomials of f with is a homogeneous polynomial in the variables a 2 , a 3 , . . . , a n , and the expressions such as (for example) (−m)! are to be interpreted symbolically by We note that the first three terms of K −n n−1 are given by Generally, for every integer number p the expansion of K p n is given below (see for details, [1]; see also [2, p. 349 where D p n = D p n (a 2 , a 3 , . . . , a n+1 ) (see for details [37]). We also have where the sum is taken over all nonnegative integers µ 1 , . . . , µ n holding the conditions µ 1 + µ 2 + . . . + µ n = m µ 1 + 2µ 2 + . . . + nµ n = n.
Proof. Let f (z) = z + ∞ k=n a k z k ∈ Σ(ς, ρ, ϑ); (n ≥ 2). Then by the definition of subordination there are two functions u, v ∈ Ω with u(z) = ∞ k=1 p k z k and v(z) = ∞ k=1 q k z k , respectively, such that
This completes the proof.
In special cases, we get the next corollaries. .
Now, taking the absolute values of the above equalities with |p n−1 | ≤ 1, |q n−1 | ≤ 1, we have and . (2.10) By a similar argument in Theorem 1 Also, in view of Lemma 5 and using the inequality (2.11), we obtain . (2.12) From (2.9) and (2.12), we conclude that the inequality (2.8) holds. In addition, by (2.11) and applying Lemma 4, we get This completes the proof.
For different values of ν and ρ and well-known ϑ, the above theorem yields the following interesting corollaries.
Corollary 4. Let f (z) = z + ∞ k=n a k z k ; (n ≥ 2) and its inverse map g = f −1 be in Proof. For in Theorem 4, it gives the required result.
Corollary 5. Let f (z) = z + ∞ k=n a k z k ; (n ≥ 2) and its inverse map g = f −1 be in (ii) From Corollary 5, the bound for |a n | is smaller than the estimate obtained by Hamidi and Jahangiri in [13, Theorem 2.1].
(iii) From Corollary 3, the bound for |a n | is smaller than the result obtained in [12,Corolary 2.4].

Conclusions
In our present study, we have applied the Faber polynomial expansion method to estimate the coefficient bounds of analytic and bi-univalent functions in the certain two subclasses, which are defined by subordination. Also, we have obtained some corollaries and consequences of the main results. Moreover, the given bounds improve and generalize some of the pervious results.