Research Article | Open Access

Paweł Zaprawa, "Estimates of Initial Coefficients for Bi-Univalent Functions", *Abstract and Applied Analysis*, vol. 2014, Article ID 357480, 6 pages, 2014. https://doi.org/10.1155/2014/357480

# Estimates of Initial Coefficients for Bi-Univalent Functions

**Academic Editor:**Claudia Timofte

#### Abstract

We consider the Fekete-Szegö inequalities for classes which were defined by Murugusundaramoorthy et al. (2013). These inequalities will result in bounds of the third coefficient which are better than these obtained by Murugusundaramoorthy et al. (2013). Moreover, we discuss two other classes of bi-univalent functions. The estimates of initial coefficients in these classes are obtained.

#### 1. Introduction

Let denote the class of all functions of the form

analytic in the unit disk , and let denote the class of these functions in which are univalent. It is known that if then there exists the inverse function . Because of the normalization , is defined in some neighbourhood of the origin. In some cases, can be defined in the whole . Clearly, is also univalent. For this reason, the class is defined as follows.

A function is called bi-univalent in if both and are univalent in . The set of all bi-univalent functions is usually denoted by (or, following Lewin, by ).

It is easy to check that a bi-univalent function given by (1) has the inverse with the Taylor series of the form

The research into was started by Lewin ([1], 1967). It focused on problems connected with coefficients. Many papers concerning bi-univalent functions have been published recently. We owe the revival of these topics to Srivastava et al. ([2], 2010). The investigations in this direction have also been carried out, among others, by Ali et al. [3], Frasin and Aouf [4], and Xu et al. [5]. Hamidi and Jahangiri (e.g., [6]) have revealed the importance of the Faber polynomials in general studies on the coefficients of bi-univalent functions.

In fact, little is known about exact bounds of the initial coefficients of . For the most general families of functions given by (1) we know that for bi-univalent functions (Lewin, [1]), for bi-starlike functions (Kędzierawski, [7]), and for bi-convex functions (Brannan and Taha, [8]). Only the last estimate is sharp; equality holds only for and its rotations.

In the papers [1–15], the authors present some estimates for and , while is taken from various subclasses of . In 2013 Murugusundaramoorthy et al. (see [16]) obtained some coefficient bounds in two classes: and . For a function and its inverse function , let and be defined as below: where , , and .

The definitions of and are the following.

*Definition 1. *A function is said to be in the class if the functions and , defined by (3), corresponding to and , satisfy

*Definition 2. *A function is said to be in the class if the functions and , defined by (3), corresponding to and , satisfy

In particular, for , the classes and become the class of strongly bi-starlike functions of order and the class of bi-starlike functions of order , respectively. If additionally or , these two classes reduce to the class of bi-starlike functions.

Conditions (4) and (5) in the above definitions can be rewritten as follows:

respectively, where and are functions in and have the form

Throughout the paper, stands for the set of all analytic functions such that and for .

In [11] the authors proved the following theorems.

Theorem 3. *If , , and , then
*

Theorem 4. *If , , and , then
*

The above results can be improved. In order to do this, we consider the Fekete-Szegö inequalities for the discussed classes. This type of problems has been considered by many authors. The results concerning this problem are given, for example, in [17–20]. Moreover, it seems to be interesting to discuss two other classes defined in a similar way to and . The results presented in the paper are not sharp, but, unfortunately, no method which gives sharp results with regard to these problems is known.

In the proofs of the main theorems we need two lemmas.

Lemma 5. *If then for all positive integers .*

Lemma 6. *Let and . If and then
*

The proof of Lemma 6 is easy. It is enough to observe that and to discuss three cases with respect to .

From Lemma 6 we immediately obtain the following.

Lemma 7. *Let and . If and then
*

#### 2. Results for and

Now, we will formulate two theorems concerning the Fekete-Szegö inequalities for and .

Theorem 8. *If , , , and , then
*

Theorem 9. *If , , , and , then
*

*Proof of Theorem 8. *Let given by (1) be in and let , , and . From Definition 1 and from (6) we know that
where and are functions in which have the form (8).

Comparing the coefficients in each equality in (16), it follows that

From (17) and (19), there is . Summing and subtracting (18) and (20), we have two equalities
Applying (17) and (19) we dispose of and in (21). Hence
where is nonnegative. From Lemmas 5 and 7 we conclude

The proof of Theorem 9 is similar to that of Theorem 8 and can be omitted. From Theorems 8 and 9 we get the following corollaries.

Corollary 10. *If , , and , then
*

Corollary 11. *If , , and , then
*

The result in Corollary 10 improves the corresponding result in Theorem 3. Similarly, for the bound in Corollary 11 is better that the one obtained in Theorem 4.

If we get the bounds for and which are better than these obtained in [3, 11]. It is worth mentioning that recently Hamidi and Jahangiri ([6]) and Srivastava et al. ([13]) have provided an improvement of the result from Corollaries 10 and 11.

If additionally , we obtain that for the class of bi-starlike functions (see [3, 6, 13]).

#### 3. Results for and

To begin with, we can observe that the operators which were used by Murugusundaramoorthy et al. in the definitions of and can be written as the weighted harmonic mean of two expressions: and 1; that is, where .

Let us define two new classes. In definitions of and we consider the weighted harmonic mean of and ; namely, where , , and . In fact, in the above functions the range of can be extended to the set .

Now, we can define the classes and .

*Definition 12. *A function is said to be in the class if the functions and , defined by (28), corresponding to and , satisfy

*Definition 13. *A function is said to be in the class if the functions and , defined by (28), corresponding to and , satisfy

The idea of considering the weighted mean of and first appeared in the paper by Miller et al. (see [16]). They did their research into the class of so-called -convex functions defined as the arithmetic weighted mean of the expressions mentioned above.

Now we are ready to establish the main theorems of this section.

Theorem 14. *If , , , and , then *(1)*(2)*

Theorem 15. *If , , , and , then *(1)*(2)*

*Proof of Theorem 14. *Assume that , , and . From Definition 12 it follows that if then
where and are functions in and have the form (8).

Hence, comparing the coefficients in each equality in (35), we can write

From (36) and (38), it yields that . Putting (36) into (37) and (38) into (39), we obtain

Now, summing and subtracting (40) we have two equalities

Substituting in (41) and taken from (36) and (38), we get

By Lemma 5, the first part of our assertion follows.

From (41) and (42),

Applying Lemmas 5 and 7 completes the second part of the assertion.

Theorem 14 gives the following corollaries.

Corollary 16. *If , , and , then
*

For we obtain the bounds for . For , the class reduces to the class of strongly bi-convex functions of order . Hence we have the following.

Corollary 17. *If and , then*(1)*(2)*

This result improves the result given in [3].

*Proof of Theorem 15. *Let with and . From Definition 13 we obtain
where .

Hence,

Applying the same method as in the proof of Theorem 15 we get

Observe that the estimate for obtained from (53), that is, , is not always better than the estimate which follows directly from (49), that is, . The comparison of these two bounds completes the first part of the proof.

which results in the second part of the assertion.

From Theorem 15 we get the following corollaries.

Corollary 18. *If , , and , then .*

For we obtain the bounds for . For , the set is the class of bi-convex functions of order . Hence we have the following.

Corollary 19. *If and , then *(1)*(2)*

This bound is better than the one proved in [3].

#### Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

#### References

- M. Lewin, “On a coefficient problem for bi-univalent functions,”
*Proceedings of the American Mathematical Society*, vol. 18, pp. 63–68, 1967. View at: Google Scholar - H. M. Srivastava, A. K. Mishra, and P. Gochhayat, “Certain subclasses of analytic and bi-univalent functions,”
*Applied Mathematics Letters*, vol. 23, no. 10, pp. 1188–1192, 2010. View at: Publisher Site | Google Scholar - R. M. Ali, S. K. Lee, V. Ravichandran, and S. Supramaniam, “Coefficient estimates for bi-univalent Ma-Minda starlike and convex functions,”
*Applied Mathematics Letters*, vol. 25, no. 3, pp. 344–351, 2012. View at: Publisher Site | Google Scholar - B. A. Frasin and M. K. Aouf, “New subclasses of bi-univalent functions,”
*Applied Mathematics Letters*, vol. 24, no. 9, pp. 1569–1573, 2011. View at: Publisher Site | Google Scholar - Q.-H. Xu, H.-G. Xiao, and H. M. Srivastava, “A certain general subclass of analytic and bi-univalent functions and associated coefficient estimate problems,”
*Applied Mathematics and Computation*, vol. 218, pp. 11461–11465, 2012. View at: Google Scholar - S. G. Hamidi and J. M. Jahangiri, “Faber polynomial coefficient estimates for analytic bi-close-to-convex functions,”
*Comptes Rendus de l'Académie des Sciences: Series I*, vol. 352, pp. 17–20, 2014. View at: Google Scholar - A. W. Kędzierawski, “Some remarks on bi-univalent functions,”
*nnales Universitatis Mariae Curie-Skłodowska. Sectio A*, vol. 39, pp. 77–81, 1985. View at: Google Scholar - D. A. Brannan and T. S. Taha, “On some classes of bi-univalent functions,” in
*Mathematical Analysis and Its Applications, Kuwait, February 1985*, S. M. Mazhar, A. Hamoui, and N. S. Faour, Eds., vol. 3 of*KFAS Proceedings Series*, pp. 53–60, Pergamon Press, Elsevier Science, Oxford, UK, 1988. View at: Google Scholar - M. Çağlar, H. Orhan, and N. Yağmur, “Coefficient bounds for new subclasses of bi-univalent functions,”
*Filomat*, vol. 27, pp. 1165–1171, 2013. View at: Google Scholar - S. S. Kumar, V. Kumar, and V. Ravichandran, “Estimates for the initial coefficients of bi-univalent functions,”
*Tamsui Oxford Journal of Information and Mathematical Science*. In press. View at: Google Scholar - G. Murugusundaramoorthy, N. Magesh, and V. Prameela, “Coefficient bounds for certain subclasses of bi-univalent function,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 573017, 3 pages, 2013. View at: Publisher Site | Google Scholar - H. M. Srivastava, “Some inequalities and other results associated with certain subclasses of univalent and bi-univalent analytic functions,” in
*Nonlinear Analysis: Stability, Approximation, and Inequalities*, P. M. Pardalos, P. G. Georgiev, and H. M. Srivastava, Eds., vol. 68 of*Springer Series on Optimization and Its Applications*, pp. 607–630, Springer, Berlin, Germany, 2012. View at: Google Scholar - H. M. Srivastava, S. Bulut, M. Çağlar, and N. Yağmur, “Coefficient estimates for a general subclass of analytic and bi-univalent functions,”
*Filomat*, vol. 27, pp. 831–842, 2013. View at: Google Scholar - D. Styer and D. J. Wright, “Results on bi-univalent functions,”
*Proceedings of the American Mathematical Society*, vol. 82, pp. 243–248, 1981. View at: Google Scholar - Q.-H. Xu, Y.-C. Gui, and H. M. Srivastava, “Coefficient estimates for a certain subclass of analytic and bi-univalent functions,”
*Applied Mathematics Letters*, vol. 25, no. 6, pp. 990–994, 2012. View at: Publisher Site | Google Scholar - S. S. Miller, P. Mocanu, and M. O. Reade, “All
*α*-convex functions are univalent and starlike,”*Proceedings of the American Mathematical Society*, vol. 37, pp. 553–554, 1973. View at: Google Scholar - R. R. London, “Fekete-Szegö inequalities for close-to-convex functions,”
*Proceedings of the American Mathematical Society*, vol. 117, no. 4, pp. 947–950, 1993. View at: Google Scholar - H. M. Srivastava, A. K. Mishra, and M. K. Das, “The Fekete-Szegö problem for a subclass of close-to-convex functions,”
*Complex Variables, Theory and Application*, vol. 44, pp. 145–163, 2001. View at: Google Scholar - J. H. Choi, Y. C. Kim, and T. Sugawa, “A general approach to the Fekete-Szegö problem,”
*Journal of the Mathematical Society of Japan*, vol. 59, no. 3, pp. 707–727, 2007. View at: Publisher Site | Google Scholar - S. Kanas, “An unified approach to the Fekete-Szegö problem,”
*Applied Mathematics and Computation*, vol. 218, no. 17, pp. 8453–8461, 2012. View at: Publisher Site | Google Scholar

#### Copyright

Copyright © 2014 Paweł Zaprawa. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.