Analytic and Harmonic Univalent FunctionsView this Special Issue
Initial Coefficients of Biunivalent Functions
An analytic function defined on the open unit disk is biunivalent if the function and its inverse are univalent in . Estimates for the initial coefficients of biunivalent functions are investigated when and , respectively, belong to some subclasses of univalent functions. Some earlier results are shown to be special cases of our results.
Let be the class of all univalent analytic functions in the open unit disk and normalized by the conditions and . For , it is well known that the th coefficient is bounded by . The bounds for the coefficients give information about the geometric properties of these functions. Indeed, the bound for the second coefficient of functions in the class gives rise to the growth, distortion and covering theorems for univalent functions. In view of the influence of the second coefficient in the geometric properties of univalent functions, it is important to know the bounds for the (initial) coefficients of functions belonging to various subclasses of univalent functions. In this paper, we investigate this coefficient problem for certain subclasses of biunivalent functions.
Recall that the Koebe one-quarter theorem  ensures that the image of under every univalent function contains a disk of radius 1/4. Thus, every univalent function has an inverse satisfying , , and A function is biunivalent in if both and are univalent in . Let denote the class of biunivalent functions defined in the unit disk . Lewin  investigated this class and obtained the bound for the second coefficient of the biunivalent functions. Several authors subsequently studied similar problems in this direction (see [3, 4]). A function is bistarlike or strongly bistarlike or biconvex of order if and are both starlike, strongly starlike, or convex of order , respectively. Brannan and Taha  obtained estimates for the initial coefficients of bistarlike, strongly bistarlike, and biconvex functions. Bounds for the initial coefficients of several classes of functions were also investigated in [6–24].
An analytic function is subordinate to an analytic function , written , if there is an analytic function with satisfying . Ma and Minda  unified various subclasses of starlike () and convex functions () by requiring that either the quantity or is subordinate to a more general superordinate function with positive real part in the unit disk , , , maps onto a region starlike with respect to and symmetric with respect to the real axis. The class of Ma-Minda starlike functions with respect to consists of functions satisfying the subordination . Similarly, the class of Ma-Minda convex functions consists of functions satisfying the subordination . Ma and Minda investigated growth and distortion properties of functions in and as well as Fekete-Szegö inequalities for and . Their proof of Fekete-Szegö inequalities requires the univalence of . Ali et al.  investigated Fekete-Szegö problems for various other classes and their proof does not require the univalence or starlikeness of . In particular, their results are valid even if one just assumes the function to have a series expansion of the form , . So, in this paper, we assume that has series expansion , , are real, and . A function is Ma-Minda bistarlike or Ma-Minda biconvex if both and are, respectively, Ma-Minda starlike or convex. Motivated by the Fekete-Szegö problem for the classes of Ma-Minda starlike and Ma-Minda convex functions , Ali et al.  recently obtained estimates of the initial coefficients for biunivalent Ma-Minda starlike and Ma-Minda convex functions.
The present work is motivated by the results of Kędzierawski  who considered functions belonging to certain subclasses of univalent functions while their inverses belong to some other subclasses of univalent functions. Among other results, he obtained the following coefficient estimates.
Theorem 1 (see ). Let with Taylor series and . Then,
Definition 2. Let be analytic and with and . For , let
In this paper, we obtain the estimates for the second and third coefficients of functions when(i) and , or , or ,(ii) and , or ,(iii) and .
2. Coefficient Estimates
In the sequel, it is assumed that and are analytic functions of the form
Theorem 3. Let and . If , and is of the form then where .
Proof. Since and , , then there exist analytic functions , with , satisfying
Define the functions and by
Then, and are analytic in with . Since , the functions and have positive real part in , and and . In view of (8) and (10), it is clear that
Using (10) together with (4), it is evident that
Since has the Maclaurin series given by (5), a computation shows that its inverse has the expansion
it follows from (11) and (12) that
It follows from (15) and (17) that
Equations (15), (16), (18), and (19) lead to
where , which, in view of and , gives us the desired estimate on as asserted in (6).
By using (16), (18), and (19), we get and this yields the estimate given in (7).
Theorem 5. Let and . If and , then where .
Proof. Let and , . Then, there exist analytic functions , with , such that
(12) and (24) yield
It follows from (26) and (28) that
Hence, (26), (27), (29), and (30) lead to
which gives us the desired estimate on as asserted in (22) when and .
Further, (27), (29), and (30) give and this yields the estimate given in (23).
Theorem 6. Let and . If and , then where .
Theorem 7. Let and . If , , then where .
The following theorems give the estimates for the second and third coefficients of functions when (i) and and (ii) and . The proofs are similar as for the theorems above; hence, they are omitted here.
Theorem 9. Let and . If and , then where .
Theorem 10. Let and . If and , then where .
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The research of the first and last authors is supported, respectively, by FRGS Grant and MyBrain MyPhD Programme of the Ministry of Higher Education, Malaysia.
P. L. Duren, Univalent Functions, vol. 259, Springer, New York, NY, USA, 1983.View at: MathSciNet
T. N. Shanmugam, C. Ramachandran, and V. Ravichandran, “Fekete-Szegő problem for subclasses of starlike functions with respect to symmetric points,” Bulletin of the Korean Mathematical Society, vol. 43, no. 3, pp. 589–598, 2006.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
H. M. Srivastava, “Some inequalities and other results associated with certain subclasses of univalent and bi-univalent analytic functions,” in Nonlinear Analysis, vol. 68 of Springer Series on Optimization and Its Applications, pp. 607–630, Springer, Berlin, Germany, 2012.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
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, no. 23, pp. 11461–11465, 2012.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S. G. Hamidi, S. A. Halim, and J. M. Jahangiri, “Coefficent estimates for bi-univalent strongly starlike and Bazilevic functions,” International Journal of Mathematics Research, vol. 5, no. 1, pp. 87–96, 2013.View at: Google Scholar
S. Bulut, “Coefficient estimates for a class of analytic and bi-univalent functions,” Novi Sad Journal of Mathematics, vol. 43, no. 2, pp. 59–65, 2013.View at: Google Scholar
H. M. Srivastava, G. Murugusundaramoorthy, and N. Magesh, “On certain subclasses of bi-univalent functions associated with Hohlov operator,” Global Journal of Mathematical Analysis, vol. 1, no. 2, pp. 67–73, 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
W. C. Ma and D. Minda, “A unified treatment of some special classes of univalent functions,” in Proceedings of the Conference on Complex Analysis (Tianjin, 1992), Conference Proceedings and Lecture Notes in Analysis, pp. 157–169, International Press, Cambridge, Mass, USA.View at: Google Scholar