arxiv: v1 [math.cv] 1 Nov 2017

Transcription

1 arxiv:7.0074v [math.cv] Nov 07 The Fekete Szegö Coefficient Inequality For a New Class of m-fold Symmetric Bi-Univalent Functions Satisfying Subordination Condition Arzu Akgül Department of Mathematics, Faculty of Arts Science, Kocaeli University, Kocaeli, zmit, Turkey. corresponding author. akgul@kocaeli.edu.tr November 3, 07 Abstract In this paper, we investigate a new subclass S ϕ,λ Σ m of Σ m consisting of analytic m-fold symmetric bi-univalent functions satisfying subordination in the open unit disk U. We consider the Fekete-Szegö inequalities for this class. Also, we establish estimates for the coefficients for this subclas several related classes are also considered connections to earlier known results are made. Keywords: Analytic functions, m-fold symmetric bi-univalent functions, Coefficient bounds. 00, Mathematics Subject Classification: 30C45, 30C50. Introduction Definitions Let A denote the class of functions of the form fz) = z + a n z n, ) n= which are analytic in the open unit disk U = {z : z < }, let S be the subclass of A consisting of the form ) which are also univalent in U. The Koebe one-quarter theorem [7] states that the image of U under every function f from S contains a disk of radius 4. Thus every such univalent function has an inverse f which satisfies f f z)) = z z U)

2 where f f w) ) = w w < r 0 f), r 0 f) ), 4 f w) = w a w + a a 3) w 3 5a 3 5a a 3 +a 4 ) w 4 +. ) A function f A is said to be bi-univalent in U if both f f are univalent in U. Let Σ denote the class of bi-univalent functions defined in the unit disk U. For a brief history interesting examples in the class Σ, see[3]. Although, the familier Koebe function is not in the class of Σ,there are some examples of functions member of Σ, such as ) z z, log z), +z log z so on. Other common examples of functions in S for example z z z z are also not members of Σ see [3]). An analytic function f is said to be subordinate to another analytic function g, written fz) gz), 3) provided that there is an analytic function w defined on U with satisfying the following condition: w0) = 0 wz) < fz) = gwz)). Lewin [3] is the first mathematician studied the class of bi-univalent functions, obtaining the bound.5 for modulus of the second coefficient a. Subsequently, Brannan Clunie [3] conjectured that a for f Σ Netanyahu [0] showed that max a = 4 3. Brannan Taha [?] introduced certain subclasses of the bi-univalent function class Σ similar to the familiar subclasses. S β) Kβ) of starlike convex function of order β 0 β < ) in turn see [0]). The classes SΣ α) K Σα) of bi-starlike functions of order α bi-convex functions of order α, corresponding to the function classes S α) Kα), were also introduced analogously. For each of the function classes SΣ α) K Σα), they found non-sharp estimates on the initial coefficients. In fact, the beforementioned work of Srivastava et al. [3] fundamentally reviwed the investigation of diversified subclasses of the bi-univalent function class Σ in recent times. Recently, many authors searched bounds for various

3 subclasses of bi-univalent functions [], [], [8], [6], [3], [7], [30]). Not much is knownabout the bounds on the generalcoefficient a n for n 4. In the literature, the only afew worksdetermining the generalcoefficientbounds a n for the analytic bi-univalent functions [5], [9], [0]). The coefficient estimate problem for each of a n n N\{,}; N = {,,3,...}) is still an open problem. For each function f S, the function hz) = m fz m ) z U, m N) 4) is univalent maps the unit disk U into a region with m-fold symmetry. A function is said to be m-fold symmetric see [], []) if it has the following normalized form: fz) = z + a mk+ z mk+ z U, m N). 5) k= We symbolyze by S m the class of m-fold symmetric univalent functions in U, which are normalized by the series expansion 5).Indeed, the functions in the class S are one-fold symmetric. Similiar to the concept of m-fold symmetric univalent functions, here, in this work, we introduced the concept of m-fold symmetric bi-univalent functions. Each function f Σ generates an m-fold symmetric bi-univalent function for each integer m N. The normalized form of f is given by 5) the series expansion for f is given by below: gw) = w a m+ w m+ + [ m+)a m+ a )] m+ w m+ 6) [ ] m+)3m+)a3 m+ 3m+)a m+ a m+ +a 3m+ w 3m+ +. where f = g. We denote by Σ m the class of m-fold symmetric bi-univalent functions in U. Taylor Maclaurin series expansion of the inverse function of f has been recently proven by Srivastava et al. [8]. For m =, the formula 6) induces the formula ) of the class Σ. Some examples of m-fold symmetric bi-univalent functions are given here below: z m z m ) m, [ log z m )] m, [ log +z m z m In this work, the class of analytic functions of the form is ) ] m. such that pz) = +p z +p z +p 3 z 3 + holds this class is denoted by P. Rpz)) > 0 z U) 3

4 In the work of Pommerenke [], the m-fold symmetric function p in the class P is given of the form: pz) = +p m z +p m z m +p 3m z 3m + 7) Throughout this study, ϕ will be assumed as an analytic function with positive real part in the unit disk U such that ϕ0) = ϕ0) > 0. ϕu) is symmetric with respect to the real axis. The function ϕ has a series expansion of the form: ϕz) = + z +B z +B 3 z 3 + > 0). 8) Let uz) vz) be two analytic functions in the unit disk U with We observe that u0) = v0) = 0 max{ uz), vz) } <. uz) = b m z m +b m z m +b 3m z 3m + 9) vw) = c m w m +c m w m +c 3m w 3m +. 0) Also we assume that b m, b m b m, c m, c m c m ) Making some simple calculations we can notice that ϕuz)) = + b m z m + b m +B b m) z m + z < ) ) ϕvw)) = + c m w m + c m +B c m) z m + w < ). 3) In this study, derived substantially by the work of Ma Minda [5] [8], we introduce some new subclasses of m-fold symmetric bi-univalent functionsobtainboundsforthetaylor-maclaurincoefficients a m+ a m+ Fekete-Szegö functional problems for functions in these new classes. 4

5 Definition A function f Σ m is said to be in the class S λ Σ m ϕ) if the following conditions are satisfied: f Σ m, zf z) λ)fz)+λzf ϕz) 0 λ <, z U) 4) z) λg w) λ)gw)+λwg ϕw) 0 λ <, w U) 5) w) where the function g = f, given by the 6). Remark For the case of one fold symmetric functions the class S λ Σ m ϕ) reduces to the following classes:. In the case of m = in Definition, we have the class S λ Σ ϕ) = G ϕ,ϕ Σ γ) investigated by Magesh Yamini [7] defined by requiring that zf z) λ)fz)+λzf ϕz) 0 λ <, z U) z) λg w) λ)gw)+λwg ϕw) 0 λ <, w U), w) where the function g = f given by the equation ).. In the case of m = λ = 0 in Definition, then we have the class S 0 Σ ϕ) which is the class of Ma Minda starlike functions, introduced by Ma Minda [5]. This class consits of the functions zf z) fz) ϕz) 3. In thecaseofm = indefinition, forthe differentchoicesofthefunction ϕz), we obtain interesting known subclasses of analytic function class. For example, If we let ϕz) = + β)z z or ϕz) = β)z,0 β <, z U) z 5

6 then the class SΣ λ ϕ) reduces to the class SΣ 0 ϕ) = SS Σ β,λ). This class contains the functions satisfying the conditions ) arg zf z) λ)fz)+λzf < απ z) ) arg λg w) λ)gw)+λwg < απ w) 0 < α,0 λ <, z U) 0 < α,0 λ <, w U). Similarly, ıf we let ) α +z ϕz) = or ϕz) = z ) α z,0 < α,z U) +z then the class SΣ λ ϕ) reduces to the class SΣ 0 ϕ) = SS Σ α,λ). This class contains the functions satisfying the conditions zf ) z) f Σ, Re λ)fz)+λzf > β 0 β <,0 λ <, z U) z) wg ) w) Re λ)gw)+λwg w) > β 0 β <,0 λ <, w U). The classes G Σ β,λ) G Σ α,λ) were introduced studied by Murugusundaramoorthyet al. see Definition Definition in [8]). Also if we choose λ = 0, G Σ β,0) : G Σ β) G Σ α,0) : G Σ α).these classes are called bi-starlike functions of order β strongly bi-starlike functions of order α, respectively. The classes G Σ β) G Σ α) were investigated studied by Brannan Taha [?] see Definition. Definition.). If we set λ = 0 in Definition, then the class S λ Σ m ϕ) reduces to the class S ϕ Σ m defined by below: Definition 3 A function f Σ m is said to be in the class S ϕ Σ m if the following conditions are satisfied: f Σ m, zf z) fz) wg w) gw) where the function g = f given by 6). ϕz) 0 λ <, z U) ϕw) 0 λ <, w U) 6

7 Remark 4 In the case of m = in Definition 3, it is interesting that, also for α) λ = 0, the classes SΣ λ + β)z z ) SΣ λ +z z) lead the class δ α Σ β) of bi-starlike functions of order α δ Σβ) of bi-starlike functions of order β, respectively. For m f old symmetric ananlytic bi-univalent functions, Altınkaya Yalçın[] defined investigatedthe function classess Σm β,λ) S Σm α,λ) as following. A function f Σ m is said to be in the class S Σm α,λ) if the following conditions are satisfied: ) arg zf z) λ)fz)+λzf < απ 0 < α,0 λ <, z U) z) arg λg w) λ)gw)+λwg w) ) < απ 0 < α,0 λ <, w U). In the same way, the function f Σ m is said to be in the class S Σm β,λ) if the following conditions are satisfied: zf ) z) f Σ, Re λ)fz)+λzf > β 0 β <,0 λ <, z U) z) wg ) w) Re λ)gw)+λwg w) where the function g = f given by ). > β 0 β <,0 λ <, w U) Theorem 5 [] Let f given by 4) be in the class S Σm α,λ), 0 < α. Then a m+ a m+ α m λ) α+ α m λ) + m+)α m λ). Theorem 6 [] Let f given by 4) be in the class S Σm β,λ),0 β <. Then a m+ β) m λ) a m+ β) m λ) + m+)α m λ). 7

8 The Main Results Their Consequences Theorem 7 Let f given by 5) be in the class S λ Σ m ϕ). Then a m+ B m λ) B B + 6) a m+ ) m+ m λ) m λ), B 3 m λ) [+ B B ] + B m λ), m λ) m+ < m λ) m+ 7) Proof. Let f S λ Σ m ϕ). Then there are analytic functions u : U U v : U U, with u0) = v0) = 0, satisfying the following conditions: zf z) λ)fz)+λzf z) = ϕuz)) λg w) λ)gw)+λwg w) = ϕvw)). 8) Using the equalities ), 3) in 8) comparing the coefficient of 8), we have m λ)a m+ = b m, 9) m λ) [ a m+ λm+)a m+] = B b m +B b m, 0) m λ)a m+ = c m, ) m λ) [ +m λ))a m+ a m+)] = B c m +B c m. ) From 9) ) we find that Adding 0) ), we get b m = c m. 3) m λ) a m+ = b m +c m )+B b m +c m). 4) using the relation 9) 3) in 4), we have m λ) a m+ = b m +c m )+ B m λ) a m+. B 8

9 Therefore, by a simple calculation we get m λ) B B ) a m+ = B 3 b m +c m ) 5) By using the inequalities given by ) in 5) for the coefficients b m c m, we obtain m λ) B B ) a m+ B 3 b m ). 6) Also by using 9) in 6) we have a m+ B 3 m λ) B B + ) which implies the assertion 6). Next, in order to find the bound on a m+, by subtracting ) from 0), we obtain 4m λ)a m+ = mm+) λ)a m+ +b m c m ). 7) Then, in view of 9),3) 7), applying the inequalities in ) for the coefficients p m,p m q m q m,we have a m+ m+) m λ) ) B 3 m λ) [ + B B ] + m λ) which implies the assertion 7).This completes the proof of Theorem 7. For λ = 0, we can state the following corollary: Corollary 8 Let f given by 5) be in the class S Σm ϕ). Then a m+ a m+ { m+ m B ) m, B m B B + 8) B 3 m [+ B B B ] + m), m m+ < m m+ 9) For one fold symmetric functions, we obtain the following corollaries: Corollary 9 If the function f Σ is in the class of SΣ λ ϕ) = G ϕ,ϕ Σ γ), then a 3 ) λ) a B λ) B B + 30) B 3 B B + λ), for λ λ), for B. < λ 3) λ) + B 9

10 α +z For the case of one-fold symmetric functions for ϕz) = z) = +αz +α z +..., Theorem reduces to the following result: α), Corollary 0 If the function f Σ is in the class of SΣ λ +z z) then a α λ) 3) a 3 { 4α λ), for α λ 4 α λ λ), for α < 4. 33) The estimates for a a 3 asserted by Corollary? more accurate than those given by Corollary in Magesh Yamini. For the case of one-fold symmetric functions for ϕz) = + β)z z = + β)z + β)z +...,Theorem reduces to the following result: Corollary If the function f Σ is in the class of SΣ λ + β)z z ), then a β) λ) β + 34) a 3 { 4α λ), for α λ 4 α λ λ), for α < 4. 35) The estimates for a a 3 asserted by Corollary? more accurate than those given by Corollary in Magesh Yamini. Also, if we choose λ = 0 in Corollary 7, we have the following corollary: Corollary If the function f Σ is in the class of S 0 Σ ϕ) then a B B B + 36) a 3 { B ) B 3 B B +, for, for < + B. 37) For one- fold symmetric functions, if we choose the function ϕz) in different forms, then we have the following corollaries. named Corollary 3 Corollary 4: 0

11 Corollary 3 [8] Let the function fz) given by the equality ) be in the class SS Σβ,λ),0 β < 0 λ <. Then a β) λ) a 3 4 β) λ) + β) λ). Corollary 4 [8] Let the function fz) given by the equality ) be in the class SS Σ α,λ),0 < α 0 λ <. Then a α λ) +α a 3 4α λ) + α λ). For one-fold symmetric bi-univalent functions λ = 0, Theorem 5 reduces to Corollary which were proven earlier by Murugunsundaramoorthy et al. [8] Corollary 5 Let f given by 4) be in the class SΣ α) 0 < α ). Then a α α+ a 3 4α +α. Here, in this study, we will spesify the theorem concerning the Fekete- Szegö inequality for the class S λ Σ m ϕ).to improve the result, especially Theorem., we consider Fekete-Szegö inequality for the class S λ Σ m ϕ). This kind of studies has been made by many authors. The results regarding this problem are given in the works of [6], [], [4], []. The conclutions given in the study are not sharp, but, unfortunatelly, there isn t any method giving sharp results as regards these problems. Theorem 6 Let f given by 4) be in the class S λ Σ m ϕ). Then

12 { a m+ γa m+ m λ) for 0 hγ) < 4m λ) hγ) for hγ) 4m λ) 38) ) m+ γ B hγ) = m λ) B B ) Proof. From the equations 5) 7), a m+ = B 3 b m +c m ) m λ) B B ) 39) a m+ = m+ a m+ b m c m ) 4m λ) 40) By using the equalities 39) 40), we have a m+ γa m+ = [hγ)+ 4m λ) ) b m + hγ) ] )c m 4m λ) where ) m+ γ B hγ) = m λ) B B ) Due to the fact that all B i are real > 0, which holds the assertion 38), the proof of the theorem is copmleted. For m-fold symmetric functions, if we choose λ = 0 in the Theorem 6, we obtain the following corollary: Corollary 7 Let f given by 4) be in the class S Σm ϕ). Then { am+ γa m+ 4m for 0 hγ) < m hγ) for hγ) 4m 4) where ) m+ γ B hγ) = m B B ) For one-fold symmetric functions, we can state the Fekete-Szegö inequality for the class S λ Σ ϕ) as following:

13 Corollary 8 If the function f Σ is in the class of SΣ λ ϕ) = G ϕ,ϕ Σ m γ), then we get { a 3 γa 4 λ) for 0 hγ) < 4 λ) 4 hγ) for hγ) 4 λ). where hγ) = γ) B λ) B B ) If we choose λ = 0 in Corollary 5, then we have the following corollary: Corollary 9 If the function f Σ is in the class of S 0 Σ ϕ) then { a3 γa 4 for 0 hγ) < 4 4 hγ) for hγ) 4. where hγ) = γ) B B B ). Choosing γ = γ = 0 in Theorem 3, we obtain following corollary: Corollary 0 Let f given by 5) be in the class S λ Σ m ϕ). Then { am+ γa m+ 4m λ) for 0 hγ) < 4m λ) 4 hγ) for hγ) 4m λ). Choosing γ = m = in Corollary7, we have the following corollary: Corollary Let f given by 5) be in the class S ϕ,λ Σ,. Then Also, if we choose λ = 0, then we have a3 a 4 λ). Conclusion a 3 a 4. 3

14 In this study, we have composed of several new subclasses of m-fold symmetric bi-univalent analytic functions by means of subordination. For functions belonging to the clsssess introduced here, we have obtained inequalities on the Taylor Maclaurin coefficients a m+ a m+. Also, for functions contained these classes, we find Fekete-Szegö inequalities we have made some connections to some of earlier known results. Author s contributions All author worked on the results read approved the final manuscript. Competing interests The authors declare that they have no competing interests. Acknowledgement The author would like to thank the anonymous referees for their valuable suggestions which improved the presentation of the paper. References [] A. Akgül, On the coefficient estimates of analytic bi-univalent m-fold symmetric functions, Mathematica Aeterna, 7 3), 07, [] Ş. Altınkaya S. Yalçın, Coefficient Bounds for Certain Subclasses of m- Fold Symmetric Biunivalent Functions, Journal of Mathematics, Volume 05, 05), 5 pages. [3] D. A. Brannan J. Clunie, Aspects of contemporary complex analysis, Proceedings of the NATO Advanced Study Instute Held at University of Durham, New York: Academic Press, 979). [4] D. A. BrannanT. S. Taha, On someclassesofbi-univalentfunctions, in Mathematical Analysis Its ApplicationsS. M. Mazhar, A. Hamoui N. S. Faour, Editors) Kuwait; February 8, 985), KFAS Proceedings Series, Vol. 3, Pergamon Press Elsevier Science Limited), Oxford, 988, pp ; see also Studia Univ. Babeş-Bolyai Math. 3 ) 986), [5] S. Bulut, Coefficient estimates for a new subclass of analytic biunivalent functions, Annals of the Alexru Ioan Cuza University Mathematics, Tomul LXII, 06, f., vol. [6] J.H.Choi, Y. C. Kim, T. Sugawa, Ageneral approach to the Fekete- Szeg o problem, Journal of the Mathematical Society of Japan, vol. 59, no. 3, pp ,

15 [7] P. L. Duren, Univalent Functions, Grundlehren der Mathematischen Wissenschaften, Springer, New York, USA ). [8] B. A. Frasin M. K. Aouf, New subclasses of bi-univalent functions, Applied Mathematics Letters, 4 0) [9] S. G. Hamidi J. M. Jahangiri, Faber polynomial coefficient estimates for analytic bi-close-to-convex functions, C. R. Acad. Sci. Paris, Ser.I, 35 ) 04) 7 0. [0] J. M. Jahangiri S. G. Hamidi, Coefficient estimates for certain classes of bi-univalent functions, International Journal of Mathematics Mathematical Sciences, Article ID 90560, 03) 4 p. [] S. Kanas, An unified approach to the Fekete-Szeg o problem, Applied Mathematics Computation, vol. 8, no. 7, pp , 0. [] W. Koepf, Coefficient of symmetric functions of bounded boundary rotations, Proc. Amer. Math. Soc., ) [3] M. Lewin, On a coefficient problem for bi-univalent functions, Proc. Amer. Math. Soc., 8 967) [4] R. R. London, Fekete-Szeg o inequalities for close-to-convex functions, Proceedings of the American Mathematical Society, vol. 7, no. 4, pp , 993. [5] W. C. Ma D. Minda, A unified treatment of some special classes of unvalent functions, in Proceedings of the Conference on Complex Analysis Tianjin; June 9 3, 99) Zhong Li, Fuyao Ren, Lo Yang Shunyan Zhang, Editors), Conference Proceedings Lecture Notes in Analysis, Vol. I, International Press, Cambridge, Massachusetts, 994, pp [6] N. Magesh J. Yamini, Coefficient bounds for a certain subclass of bi-univalent functions, International Mathematical Forum, 8 7) 03) [7] N. Magesh J. Yamini, Coefficient Estimates for a Certain General Subclass of Analytic Bi-Univalent Functions, Applied Mathematics, 5), 04), [8] G. Murugusundaramoorty, N. Magesh V. Prameela, Coefficient bounds for certain classes of bi-univalent function, Abstract Applied Analysis, Article ID 57307, 03) 3 pp. [9] G. Murugusundaramoorty, Subclasses of Bi-Univalent Functions of Complex Order Based On Subordination Conditions Involving Wright Hypergeometric Functions, J. Math. Fund. Sci., 47, ), 05),

16 [0] E. Netanyahu, The minimal distance of the image boundary from the origin the second coefficient of a univalent function in z <, Archive for Rational Mechanics Analysis, 3 969) 00-. [] C. Pommerenke, Univalent Functions, Venhoeck & Ruprecht, Göttingen, Germany, 975. [] H. M. Srivastava, A. K. Mishra, M. K. Das, The Fekete-Szeg o problem for a subclass of close-to-convex functions, Complex Variables,Theory Application, vol. 44, pp , 00. [3] H. M. Srivastava, A. K. Mishra P. Gochhayat, Certain subclasses of analytic bi-univalent functions, Applied Mathematics Letters, 3 0) 00) [4] H.M. Srivastava, S. Sivasubramanian, R. Sivakumar, Initial coefficient bounds for a subclass of m-fold symmetric biunivalent functions, Tbilisi Mathematical Journal, vol. 7, no.,pp. 0, 04. [5] H. M. Srivastava, S. Gaboury F. Ghanim, Coefficient estimates for a general subclass of analytic bi-univalent functions of the Ma Minda type, RACSAM DOI 0.007/s [6] Q.-H.Xu,Y.-C.Gui, H.M. Srivastava, Coefficient estimates for a certain subclass of analytic bi-univalent functions, Applied Mathematics Letters, 5 6), 0) , [7] H. M. Srivastava, S. Bulut, M. Çağlar N. Yağmur, Coefficient estimates for a general subclass of analytic bi-univalent functions, Filomat 7 5) 03) [8] H. M. Srivastava, S. Sivasubramanian R. Sivakumar, Initial coefficient boundss for a subclass of m-fold symmetric bi-univalent functions, Tbilisi Math. J. 7 ) 04) -0. [9] H. M. Srivastava, S. Gaboury F. Ghanim, Coefficient estimates for a general subclass of analytic bi-univalent functions of the Ma Minda type, RACSAM DOI 0.007/s [30] Q. H. Xu, Y. C. Gui H. M. Srivastava, Coefficient estimates for a certain subclass of analytic bi-univalent functions, Applied Mathematics Letters, 5 0)