Coefficient Inequalities of Second Hankel Determinants for Some Classes of Bi-Univalent Functions

Article Coefficient Inequalities of Second Hankel Determinants for Some Classes of Bi-Univalent Functions Rayaprolu Bharavi Sharma 1 and Kalikota Rajya Laxmi 2,* 1 Department of Mathematics, Kakatiya University, Warangal, Telangana-506009, India; rbsharma005@gmail.com 2 Department of Mathematics, SRIIT, Hyderabad, Telangana-501301, India * Correspondence: rajyalaxmi2206@gmail.com; Tel.: +91-770-2676-584. Academic Editor: Hari M. Srivastava Received: 17 December 2015; Accepted: 2 February 2016; Published: 25 February 2016 Abstract: In this paper, we investigate two sub-classes S ̊ pθ, βq and K ̊ pθ, βq of bi-univalent functions in the open unit disc ∆ that are subordinate to certain analytic functions. For functions belonging to these classes, we obtain an upper bound for the second Hankel determinant H2 p2q.


Introduction
Let A be the class of the functions of the form which are analytic in the open unit disc ∆ " tz : |z| ă 1u.Further, by S we shall denote the class of all functions in A that are univalent in ∆.
Let P denote the family of functions p pzq, which are analytic in ∆ such that p p0q " 1, and p pzq ą 0 pz P ∆q of the form For two functions f and g, analytic in ∆, we say that the function f is subordinate to g in ∆, and we write it as f pzq ă g pzq if there exists a Schwarz function ω, which is analytic in ∆ with ω p0q " 0, |ω pzq | ă 1 pz P ∆q such that f pzq " g pω pzqq .
(3) Indeed, it is known that f pzq ă g pzq ñ f p0q " g p0q and f p∆q Ă g p∆q .
Every function f P S has an inverse f ´1, which is defined by f ´1 p f pzqq " z, pz P ∆q and f ´f ´1 pwq ¯" w , ˆ|w| ă r 0 p f q ; r 0 p f q ě 1 4 ˙.
In fact, the inverse function is given by f ´1 pwq " w ´a2 w 2 `´2a In 1976, Noonan and Thomas [6] defined q th Hankel determinant of f for q ě 1 and n ě 1, which is stated by ˇˇˇˇˇˇˇˇˇ.
These determinants are useful, for example, in showing that a function of bounded characteristic in ∆, i.e., a function that is a ratio of two bounded analytic functions with its Laurent series around the origin having integral coefficient is rational.
Later, Hayman [11] proved that H 2 pnq ă An 1 2 pn " 1, 2, ...; A an absolute constantq for areally mean univalent functions.The estimates for the Hankel determinant of areally mean p-valent functions have been investigated [12][13][14].Elhosh [15,16] obtained bounds for Hankel determinants of univalent functions with a positive Hayman index α and k-fold symmetric and close to convex functions.Noor [9] determined the rate of growth of H q pnq as n Ñ 8 for the functions in S with bounded boundary.
Ehrenborg [17] studied the Hankel determinant of exponential polynomials.The Hankel transform of an integer sequence and some of its properties were discussed by Layman [18].
One can easily observe that the Fekete-Szego functional ˇˇa 3 ´a2 2 ˇˇ" H 2 p1q.This function was further generalized with µ real as well as complex.Fekete-Szego gave a sharp estimate of ˇˇa 3 ´µa 2 2 ˇfor µ real.The well-known results due to them is On the other hand, Zaprawa [19,20] extended the study on Fekete-Szego problem to some classes of bi-univalent functions.Ali [21] found sharp bounds on the first four coefficients and a sharp estimate for the Fekete-Szego functional ˇˇγ 3 ´tγ 2 2 ˇˇ, where t is real, for the inverse function of f defined as γ k w k to the class of strongly starlike functions of order α p0 ă α ď 1q .
Recently S.K. Lee et al. [22] obtained the second Hankel determinant H 2 p2q " a 2 a 4 ´a2 3 for functions belonging to subclasses of Ma-Minda starlike and convex functions.T. Ram Reddy [23] obtained the Hankel determinants for starlike and convex functions with respect to symmetric points.T. Ram Reddy et al. [24,25] also obtained the second Hankel determinant for subclasses of p-valent functions and p-valent starlike and convex function of order α.
Janteng [26] has obtained sharp estimates for the second Hankel determinant for functions whose derivative has a positive real part.Afaf Abubaker [27] studied sharp upper bound of the second Hankel determinant of subclasses of analytic functions involving a generalized linear differential operator.In 2015, the second Hankel determinant for bi-starlike and bi-convex function of order β was obtained by Erhan Deniz [28].

Preliminaries
Motivated by above work, in this paper, we introduce certain subclasses of bi-univalent functions and obtained an upper bound to the coefficient functional a 2 a 4 ´a2 3 for the function f in these classes defined as follows: Definition 2.1.:A function f P A is said to be in the class S ˚pθ, βq if it satisfies the following conditions: " e iθ " wg 1 pwq g pwq ** ą βcosθ p@w P ∆q (7) where g is an extension of f ´1 to ∆. Note: 1.For θ " 0, the class S ˚pθ, βq reduces to the class S σ pβq, and, for this class, coefficient inequalities of the second Hankel determinant were studied by Deniz et al [28].
2. For θ " 0 and β " 0, the class S ˚pθ, βq reduces to the class S σ , and, for this class, coefficient inequalities of the second Hankel determinant were studied by Deniz et al [28].
Definition 2.2.: A function f P A is said to be in the class K ˚pθ, βq if it satisfies the following conditions: where g is an extension of f ´1 in ∆.
2. For θ " 0 and β " 0 the class K ˚pθ, βq reduces to the class K σ , and, for this class, coefficient inequalities ofthe second Hankel determinantwere studied by Deniz et al [28].
To prove our results, we require the following Lemmas: Lemma 2.1.[14] Let the function p P P be given by the following series: Then the sharp estimate is given by .Lemma 2.2.[29] The power series for the function p P P is given (10) converges in the unit disc ∆ to a function in P if and only if Toeplitz determinants and c ´k " c k are all non-negative.These are strictly positive except for p pzq " ρ k ą 0, t k real and t k ‰ t j for k ‰ j, where P 0 pzq "

ˆ1
`z 1 ´z ˙; in this case, D n ą 0 for n ă pm ´1q and D n " 0 for n ě m.
This necessary and sufficient condition found in the literature [29] is due to Caratheodary and Toeplitz.We may assume without any restriction that c 1 ą 0. On using Lemma (2.2) for n " 2 and n " 3 respectively, we get It is equivalent to Then D 3 ě 0 is equivalent to From the relations (2.6) and (2.7), after simplifying, we get for some x, z with |x| ď 1and |z| ď 1. (13)

Main Results
We now prove our main result for the function f in the class S ˚pθ, βq.
According to Lemma (2.2) and Equation ( 22), we get and Differentiating F pµq, we get Using elementary calculus, one can show that F 1 pµq ą 0 for µ ą 0. This implies that F is an increasing function, and it therefore cannot have a maximum value at any point in the interior of the closed region r0, 2s ˆr0, 1s.Further, the upper bound for F pµq corresponds to µ " 1, in which case F pµq ď F p1q Setting G 1 pcq " 0, the real critical points are c 01 " 0, c 02 " After some calculations we obtain the following cases:  , we observe that c 02 ě 2, that is c 02 , is out of the interval p0, 2q.Therefore, the maximum value of G pcq occurs at c 01 " 0 or c " c 02 , which contradicts our assumption of having a maximum value at the interior point of c P r0, 2s.Since G is an increasing function, the maximum point of G must be on the boundary of c P r0, 2s, that is c " 2. Thus, we have max 0ďcď2 G pcq " G p2q " 16 p1 ´βq 4 cos 4 θ 3 `4 3 p1 ´βq 2 cos 2 θ.
Case 2: When β P ˆ1 ´1 2 ?2cosθ , 1 ˙, we observe that c 02 ă 2, that is c 02 , is interior of the interval r0, 2s.Since G 2 pc 02 q ă 0, the maximum value of G pcq occurs at c " c 02 .Thus, we have This completes the proof of the theorem.Corollary 1: Let f given by (1.1) be in the class S σ pβq.Then Corollary 2: Let f given by (1.1) be in the class S σ .Then These two corollaries coincide with the results of Deniz et al. [28].Remark 3.1: It is observed that for θ " 0, we get the Hankel determinant ˇˇa 2 a 4 ´a2 3 ˇˇfor the class S σ pβq and the Hankel determinant of this class was studied by Deniz et al. [28]. 1 96 e ´3iθ pc 2 ´d2 q p1 ´βq 3 cos 3 θc 1 48 e ´2iθ pc 3 ´d3 q p1 ´βq 3 cos 3 θ ´e´2iθ pc 2 ´d2 q 2 p1 ´βq

Hankel Determinants for the Class of Functions
Setting G 1 pcq " 0, the real critical points are c 01 " 0, c 02 " After some calculations we obtain the following cases: These two corollaries coincide with the results of Deniz et al. [28].

Conclusion
For specific values of α and β, the results obtained in this paper will generalize and unify the results of the earlier researchers in this direction.
Interested researchers can work upon finding an upper bound for ˇˇa 2 a 4 ´µa 2 3 ˇˇand |a n | for a real or complex µ.

Case 1 :Case 2 :p1 ´βq 2 cos 2 θ 8 " 2 1 :Corollary 2 :
When β P " 0, 1 ´1 ?2cosθ  , we observe that c 02 ě 2, that is c 02 , is out of the interval p0, 2q.Therefore, the maximum value of G pcq occurs at c 01 " 0 or c " c 02 , which contradicts our assumption of having the maximum value at the interior point of c P r0, 2s.Since G is an increasing function, the maximum point of G must be on the boundary of c P r0, 2s, that is c " 2. Thus, When β P ˆ1 ´1 ?2cosθ , 1 ˙, we observe that c 02 ă 2, that is c 02 , is interior of the interval r0, 2s.Since G 2 pc 02 q ă 0, the maximum value of G pcq occurs at c " c 02 .Thus, we have max 0ďcď2G pcq " G pc 02 q " ´p1 ´βq 2 cos 2 θ ı .This completes the proof of the theorem.Corollary Let f given by (1) be in the class K σ pβq.Then ˇˇa Let f given by (1) be in the class K σ .Then ˇˇa P A is said to be bi-univalent in ∆ if both f and f ´1 are univalent in ∆.Let ř denote the class of bi-univalent functions defined in the unit disc ∆.
[5]a 2 | "4 3.In 1985, Kedzierawski[4]proved Brannan and Clunie's conjecture for bi-starlike functions.In 1985, Tan[5]obtained that |a 2 | ă 1.485, which is the best known estimate for bi-univalent functions.Since then, various subclasses of the bi-univalent function classes ř were introduced, and non-sharp estimates on the first two coefficients |a 2 | and |a 3 | in the Taylor Maclaurin's series expansion were found in several investigations.The coefficient estimate problem for each of |a n | pn P N t2, 3uq is still an open problem.
Since p P P, |c 1 | ď 2. Letting c 1 " c, we may assume without any restriction that c P r0, 2s.Thus, applying the triangle inequality on the right-hand side of Equation (4.16), with µ " |x| ď 1, Using elementary calculus, one can show that F 1 pµq ą 0 for µ ą 0. It implies that F is an increasing function and it hence cannot have a maximum value at any point in the interior of the closed region r0, 2s ˆr0, 1s.Further, the upper bound for F pµq corresponds to µ " 1, in which case