KYUNGPOOK Math. J. 2019; 59(2): 215-224  
Coefficient Bounds for Several Subclasses of Analytic and Biunivalent Functions
Samira Rahrovi and Hossein Piri, Janusz SokÓŁ
Department of Mathematics, Basic Science Faculty, University of Bonab, Bonab, Iran
e-mail : and

Faculty of Mathematics and Natural Sciences, University of Rzeszów, Prof. Pigonia street 1, 35-310 Rzeszów, Poland
e-mail :
* Corresponding Author.
Received: December 17, 2016; Revised: March 20, 2019; Accepted: April 23, 2109; Published online: June 23, 2019.
© Kyungpook Mathematical Journal. All rights reserved.

This is an Open Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License ( which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.

In the present paper, some generalizations of analytic functions have been considered and the bounds of the coefficients of these classes of bi-univalent functions have been investigated.

Keywords: bi-univalent function, starlike function of order α, strongly starlike functions, strongly convex functions of order α, subordination.
1. Introduction and Preliminaries

Let denote the class of functions of the form


which are analytic in the open unit disk U = {z ∈ ℂ: |z| < 1}. Also let S denote the subclass of consisting of univalent functions in U. A function f in S is said to be starlike of order α (0 ≤ α < 1) in U if Re(zf′(z)/f(z)) > α. We denote by S*(α), the class of all such functions. A function f in S is said to be convex of order α (0 ≤ α < 1) in U if Re (1 + zf″(z)/f′(z)) > α. Let K(α) denote the class of all those functions which are convex of order α in U. Mocanu [10] studied linear combinations of the representations of convex and starlike functions and defined the class of α-convex functions. In [9], it was shown that if

Re{(1-α)zf(z)f(z)+α(1+zf(z)f(z))}>0,         zU

then f is in the class of starlike functions S*(0) for α real and is in the class of convex functions K(0) for α ≥ 1.

A function f(z) ∈ S is said to be in the class of strongly starlike functions of order α, denoted by Ss*(α), 0 ≤ α < 1, if it satisfies the following inequality

|arg(zf(z)f(z))|απ2,         zU,

and is said to be in the class of strongly convex functions of order α, 0 ≤ α < 1, denoted by Kc(α), if it satisfies the following inequality

|arg(1+zf(z)f(z))|απ2,         zU.

For two functions f and g, analytic in U, we say that the function f is subordinate to g, and write f(z) ≺ g(z), if there exists an analytic function ϕ(z) defined in U with ϕ(0) = 0 and |ϕ(z)| < 1 such that f(z) = g(ϕ(z)).

For each fS, the Koebe one-quarter theorem [5] ensures the image of U under f contains a disk of radius 1/4. Thus every univalent function fS has an inverse f−1 satisfying

f-1(f(z))=z,         zU


f(f-1(w))=w,         w<r0(f),         r0(f)14.

A function is said to be bi-univalent in U if both f and f−1 are univalent in U. If f given by (1.1) is bi-univalent, then a simple computation shows that g = f−1 has the expansion


Let ∑ denote the class of all bi-univalent functions defined in the unit disk U.

Lewin [8] considered the class of bi-univalent functions ∑ and obtained the following bound for the second coefficient in the Tylor-Maclaurin expansion as follows


for function f(z)=z+n=2anznΣ. After that, Brannan and Clunie [3] conjectured that a22 for f ∈ ∑. Netanyahu [11] showed that max |a2| = 4/3 if f ∈ ∑. Brannan and Taha [4] studied some subclasses of bi-univalent functions, similar to the familiar subclasses of univalent functions consisting of strongly starlike, starlike and convex functions. They introduced the class of bi-starlike functions and bi-convex functions and investigated estimates on the two initial coefficients. Until now, the coefficient estimate problem for each of the following Taylor-Maclaurin coefficients

an,         n\{1,2},={1,2,},

is presumably still an open problem. The bi-univalent functions was actually revived in the recent years by the pioneering work by Srivastava et al. [15]. In [15], two new subclasses of the function class ∑ has been introduced and the estimates on the coefficients |a2| and |a3| for functions in these new subclasses of the function class ∑ has been considered. After that, many authors investigated bounds for various subclasses of bi-univalent functions [1, 6, 12, 15, 16].

We notice that the class ∑ is not empty. For example, the following functions are members of ∑:


However, the Koebe function is not a member of ∑.

In the next section, motivated essentially by the recent work of Srivastava et al. [15], Frasin and Aouf [6], Xu et al. [16] and other authors, we investigte interesting subclasses of analytic and bi-univalent functions in the open unit dick U. So we estimate the first two Tylor-Maclaurin coefficients |a2| and |a3| for these classes.

2. Coefficient Estimates

In the sequel, it is assumed that ϕ is an analytic function with positive real part in the unit disk U, satisfying ϕ(0) = 1, ϕ′(0) > 0 and ϕ(U) is symmetric with respect to the real axis. Assume also that

ϕ(z)=1+B1z+B2z+B3z+,         B1>0.

Suppose that u(z) and v(z) are analytic in the unit disk U with u(0) = v(0) = 0, |u(z)| < 1, |v(z)| < 1 and suppose that

u(z)=b1z+n=2bnzn,         v(z)=c1z+n=2cnzn,         z<1.

It is well known that

b11,         b21-b12,         c11,         c21-c12.

By a simple calculation, we have


Definition 2.1

A function f given by (1.1) is said to be in the class H(α, β, ϕ), 0 ≤ α ≤ 1, β ≥ 0, if f ∈ ∑ and satisfies the following conditions is said to be in the class




where g(w) = f−1(w) is given by (1.2).

For special choices for the number α, β and function ϕ, we can obtain several important classes of analytic functions. For example, HΣ(0,0,1+(1-2α)z1-z)is the class S*(α), HΣ(1,0,1+(1-2α)z1-z) is the class K(α), HΣ(0,0,(1+z1-z)α) is the class Ss*(α) and HΣ(1,0,(1+z1-z)α) is the class Kc(α). These classes of analytic functions were well investigated by many authors [2, 7, 9, 10, 13, 14].

For proving our results we used the subordination concept which have been used by many authors (for example see [1]).

Theorem 2.2

If fH(α, β, ϕ) is in, then




Let fH(α, β, ϕ) and g = f−1. Then there exist two functions u and v; analytic in U; with |u(z)| < 1, |v(w)| < 1, u(0) = v(0) = 0, z, wU, given by (2.2), such that








it follows from (2.4), (2.5), (2.8) and (2.9) that


From (2.10) and (2.12) we get




By adding the relation (2.11) with the relation (2.13) and use (2.15) we can get


Now, in view of (2.3), (2.10) and (2.14) we have


Then, we get


Next, from (2.11) and (2.13), we have


Then in view of (2.3) and (2.14), we have


It follows from (2.10) that


Now from (2.16) we have


This completes the proof.

Remark 2.3


ϕ(z)=(1+z1-z)γ=1+2γz+2γ2z2+,         0<γ1

then inequalities (2.6) and (2.7) become




Definition 2.4

A function f given by (1.1) is said to be in the class C(λ, ϕ), 0 ≤ λ < 1, if f ∈ ∑ and satisfies the following conditions




where g(w) = f−1(w) is given by (1.2).

Theorem 2.5

If fC(λ, ϕ) is in, then




Let fC(λ, ϕ) and g = f−1. Then there are analytic functions u, v: UU given by (2.2) such that








it follows from (2.4), (2.5), (2.19) and (2.20) that


From (2.21) and (2.23) we get




By adding the relation (2.22) with the relation (2.24) and use (2.26) we have


Now, in view of (2.3), (2.21) and (2.25) we have


Then, we get


Next, from (2.22) and (2.24), we have


Then in view of (2.3) and (2.25), we have


It follows from (2.21) that


Now from (2.27) we have


This completes the proof.

Remark 2.6

If let

ϕ(z)=(1+z1-z)α=1+2αz+2α2z2+,         0<γ1

in theorem 2.5, then inequalities (2.17) and (2.18) become



  1. RM. Ali, SK. Lee, V. Ravichandran, and Sh. Supramaniam. Coefficient estimates for bi-univalent Ma-Minda starlike and convex functions. Appl Math Lett., 25(2012), 344-351.
  2. MK. Aouf, J. Dziok, and J. Sokół. On a subclass of strongly starlike functions. Appl Math Lett., 24(2011), 27-32.
  3. DA. Brannan, and JG. Clunie. Aspects of Contemporary Complex Analysis, Proceedings of the NATO Advanced Study Instute, July 1–20, 1979, the University of Durham, Durham, Academic Press, New York, 1980.
  4. DA. Brannan, and TS. Taha. On some classes of bi-univalent functions. Studia Univ Babes-Bolyai Math., 31(2)(1986), 70-77.
  5. PL. Duren. Univalent Functions, , Springer-Verlag, New York, 1983.
  6. BA. Frasin, and MK. Aouf. New subclasses of bi-univalent functions. Appl Math Lett., 24(2011), 1569-1573.
  7. Z. Lewandowski, SS. Miller, and E. Zlotkiewicz. Gamma-starlike functions. Ann Univ Mariae Curie-Skłódowska Sect A., 28(1974), 53-58.
  8. M. Lewin. On a coefficient problem for bi-univalent functions. Proc Amer Math Soc., 18(1967), 63-68.
  9. SS. Miller, PT. Mocanu, and MO. Reade. All α-convex functions are univalent and starlike. Proc Amer Math Soc., 37(1973), 553-554.
  10. PT. Mocanu. Une propriete de convexite generalisee dans la theorie de la representation conforme. Mathematica (Cluj)., 11(1969), 127-133.
  11. E. Netanyahu. The minimal distance of the image boundary from the origin and the second coefficient of a univalent function in |z| < 1. Arch Rational Mech Anal., 32(1969), 100-112.
  12. S. Rahrovi, and H. Piri. . Certain subclasses of bi-univalent functions associated with the Komatu operator., Submmited paper.
  13. J. Sokół. On a condition for α-starlikeness. J Math Anal Appl., 352(2009), 696-701.
  14. J. Sokół. A certain class of starlike functions. Comput Math Appl., 62(2011), 611-619.
  15. HM. Srivastava, AK. Mishra, and P. Gochhayat. Certain subclasses of analytic and bi-univalent functions. Appl Math Lett., 23(2010), 1188-1192.
  16. QH. Xu, YC. Gui, and HM. Srivastava. Coefficient estimates for a certain subclass of analytic and bi-univalent functions. Appl Math Lett., 25(2012), 990-994.

This Article

Social Network Service



Indexed/Covered by