Faber polynomial coe¢ cients of classes of meromorphic bi-starlike functions Jay M. Jahangiri1 and Samaneh G. Hamidi2 1 Department of Mathematical Sciences, Kent State University, Burton, Ohio 44021-9500, U.S.A. 2 Institute of Mathematical Sciences, University of Malaya, 50603 Kuala Lumpur, Malaysia. Correspondence should be addressed to Jay M. Jahangiri: [email protected] Applying the Faber polynomial coe¢ cient expansions to certain classes of meromorphic bi-starlike functions, we demonstrate the unpredictability of their early coe¢ cients and also obtain general coe¢ cient estimates for such functions subject to a given gap series condition. Our results improve some of the coe¢ cient bounds published earlier. Let be the family of functions g of the form (1) g(z) = 1 X 1 + b0 + bn z n ; z n=1 that are univalent in the punctured unit disk D := fz : 0 < jzj < 1g : For the real constants A and B (0 B 1; B A < B) let (A; B) consist of functions g 2 so that zg 0 (z) 1 + A'(z) = g(z) 1 + B'(z) P1 n where '(z) = n=1 cn z is a Schwarz function, that is, '(z) is analytic in the open unit disk jzj < 1 and j'(z)j jzj < 1: Note that jcn j 1 (Duren [8]) and the functions in (A; B) are meromorphic starlike in the punctured unit disk D (e.g. see Clunie [7] and Karunakaran [12]). It has been proved by Libera and Livingston [15] and Karunakaran [12] that jbn j Bn+1A for g 2 [A; B]: The coe¢ cients of h = g 1 , the inverse map of g; are given by the Faber polynomial expansion (e.g. see Airault and Bouali [3] or Airault and Ren [4, p. 349]) h(w) = g 1 (w) = 1 1 X 1 + Bn wn = w w X1 K n (b0 ; b1 ; : : : ; bn )wn ; n n+1 b0 n=0 n 1 where w 2 D, n Kn+1 (b0 ; b1 ; : : : ; bn ) = nbn0 + n(n 1 1)bn0 b1 + n(n 1)(n 2)(n 3! 2 3) 1 b2 + n(n 2 bn0 4 1)(n (b4 + 3b1 b2 ) + 2)bn0 X bn0 3 (b3 + b21 ) j Vj j 5 and Vj is a homogeneous polynomial of degree j in the variables b1 ; b2 ; ; bn . In 1923, Lowner [16] proved that the inverse of the Koebe function k(z) = z=(1 z)2 provides the best upper bounds for the coe¢ cients of the inverses of analytic univalent functions. Although the estimates for the coe¢ cients of the inverses of analytic univalent functions have been obtained in a surprisingly straightforward way (e.g. see [13, page 104]), but the case turns out to be a challenge when the bi-univalency condition is imposed on these functions. A function is said to be bi-univalent in a 1 Jahangiri and Hamidi 2 given domain if both the function and its inverse are univalent there. By the same token, a function is said to be bi-starlike in a given domain if both the function and its inverse are starlike there. Finding bounds for the coe¢ cients of classes of bi-univalent functions dates back to 1967 (see Lewin [14]). The interest on the bounds for the coe¢ cients of subclasses of bi-univalent functions picked up by the publications [6], [17], [9], [1] and [10] where the estimates for the …rst two coe¢ cients of certain classes of bi-univalent functions were provided. Not much is known about the higher coe¢ cients of subclasses bi-univalent functions as Ali, Lee, Ravichandran and Supramaniam [1] also declared …nding the bounds for jan j; n 4 an open problem. In this paper, we use the Faber polynomial expansions of the functions g and h = g 1 in (A; B) to obtain bounds for their general coe¢ cients jan j as well as providing estimates for the early coe¢ cients of these types of functions. We shall need the following well-known two lemmas, the …rst of which can be found in [11] (also see Duren [8]). P 1 n Lemma 1. Let p(z) = 1 + 1 n=1 pn z be so that Re(p(z)) > 0 for jzj < 1: If 2 then p2 + p21 (2) 2 + jp1 j2 : Consequently, we have the following lemma, which we shall provide a short proof for the sake of completeness. Lemma 2. Consider the Schwarz function '(z) = then c2 + c21 (3) P1 n=1 cn z 1+( n where j'(z)j < 1 for jzj < 1: If 0 1)jc1 j2 : Proof. Write p(z) = [1 + '(z)]=[1 '(z)] where p(z) = 1 + n=1 pn is so that Re(p(z)) > 0 for jzj < 1. Comparing the corresponding coe¢ cients of powers of z in p(z) = [1 + '(z)]=[1 '(z)] shows that p1 = 2c1 and p2 = 2(c2 + c21 ). By substituting for p1 = 2c1 and p2 = 2(c2 + c21 ) in (2) we obtain P1 zn 2(c2 + c21 ) + (2c1 )2 or 2 + j2c1 j2 c2 + (1 + 2 )c21 1 + 2 jc1 j2 : Now (3) follows upon substation of = 1 + 2 0 in the above inequality. In the following theorem we shall observe the unpredictability of the early coe¢ cients of the functions g and its inverse map h = g 1 in [A; B] as well as providing an estimate for the general coe¢ cients of such functions. Theorem 1. For 0 B [A; B]. Then 8 B A < p2B A ; (i): jb0 j : B A; 8 B A 1 A < 2 2(B (ii): jb1 j : B A 2 ; (iii): b1 (iv): jbn j 1 and B A < B let the function g and its inverse map h = g if 2B A 1; otherwise: 2B 2 A) jb0 j ; B A 2B A 2 b ; 2(B A) 0 2 B A ; if bk = 0 for 0 k n+1 if 0 A otherwise: n 1: 1 2B; 1 be in Meromorphic bi-starlike functions 3 Proof. Consider the function g 2 given by (1).Therefore (see [3] and [4].) zg 0 (z) = g(z) (4) 1 X 1 Fn+1 (b0 ; b1 ; b2 ; ; bn )z n+1 n=0 where Fn+1 (b0 ; b1 ; b2 ; ; bn ) is a Faber polynomial of degree n + 1. We note that F1 = b0 , F2 = b20 2b1 , F3 = b30 + 3b1 b0 3b2 , F4 = b40 4b20 b1 + 4b0 b2 + 2b21 4b3 and F5 = b50 + 5b30 b1 5b20 b2 5b0 b21 + 5b1 b2 + 5b0 b3 5b4 : In general (Bouali [5], p.52) Fn+1 (b0 ; b1 ; X ; bn ) = ; in+1 ) bi01 bi12 A(i1 ; i2 ; binn+1 i1 +2i2 + +(n+1)in+1 =n+1 where A(i1 ; i2 ; Similarly, for the inverse map h = g wh0 (w) = h(w) (5) where Fn+1 (B0 ; B1 ; B2 ; Fn+1 = +(n+2)in+1 (i1 ; in+1 ) := ( 1)(n+1)+2i1 + 1 1 + i2 + + in+1 1)!(n + 1) : (i1 !)(i2 !) (in+1 !) we have 1 X Fn+1 (B0 ; B1 ; B2 ; ; Bn )wn+1 ; n=1 ; Bn ) is a Faber polynomial of degree n + 1 given by n(n (n + 1))! n n(n (n + 1))! B0 B n 2 B1 n!(n 2n)! (n 2)!(n (2n 1))! 0 n(n (n + 1))! B n 3 B2 (n 3)!(n (2n 2))! 0 X n n(n (n + 1))! n (2n 3) 2 B0n 4 B3 + B1 B0 (n 4)!(n (2n 3))! 2 j Kj ; j 5 Kj is a homogeneous polynomial of degree j in the variables B1 ; B2 ; (6) B0 = b0 ; and Bn = ; Bn 1 and 1 n K (b0 ; b1 ; : : : ; bn ): n n+1 Since, both g and its inverse map hP= g 1 are in [A; B], P by the de…nition of subordination, there 1 n and (w) = n exist two Schwarz functions '(z) = 1 c z n=1 n n=1 dn w so that (7) zg 0 (z) = g(z) 1 + A'(z) = 1 + B'(z) 1+ wh0 (w) = h(w) 1 + A (w) = 1 + B (w) 1+ 1 X (A B)Kn 1 (c1 ; c2 ; ; cn ; B)z n B)Kn 1 (d1 ; d2 ; ; dn ; B)wn : n=1 and (8) 1 X (A n=1 In general (see Airault [2] or Airault and Bouali [3]), the coe¢ cients Knp (k1 ; k2 ; ; kn ; B) are given Jahangiri and Hamidi 4 by Knp (k1 ; k2 ; ; kn ; B) = (p + (p + (p + (p X + p! p! k1n B n 1 + k n 2 k2 B n 2 n)!n! (p n + 1)!(n 2)! 1 p! k n 3 k3 B n 3 n + 2)!(n 3)! 1 p! p n+3 2 k n 4 k4 B n 4 + k3 B n + 3)!(n 4)! 1 2 p! k n 5 k5 B n 5 + (p n + 4)k3 k4 B n + 4)!(n 5)! 1 k1n j Xj ; j 6 where Xj is a homogeneous polynomial of degree j in the variables k2 ; k3 ; Comparing the corresponding coe¢ cients of (4) and (7) implies (9) Fn+1 (b0 ; b1 ; b2 ; ; bn ) = (A 1 B)Kn+1 (c1 ; c2 ; ; kn . ; cn+1 ; B): Similarly, comparing the corresponding coe¢ cients of (5) and (8) gives (10) Fn+1 (B0 ; B1 ; B2 ; 1 B)Kn+1 (d1 ; d2 ; ; Bn ) = (A ; dn+1 ; B): Substituting n = 0, n = 1, and n = 2 in equations (6), (9) and (10), respectively, yield b0 = (A B)c1 ; b0 = (A B)d1 ; (11) and 2b1 b20 = (B 2b1 + b20 = (A (12) A)(c21 B B)(d21 B c2 ); d2 ): Taking the absolute values of either of the equation in (11), we obtain jb0 j B A: Obviously, from the equations (11) we note that c1 = d1 . Solving the equations in (12) for b20 and then adding them gives 2b20 = (B A) c2 + d2 Bc21 Bd21 : Now in light of equations (11), we conclude that 2b20 = (B A) c2 + d2 2B b2 : (B A)2 0 Once again, solving for b20 and taking square root of both sides we obtain s (B A)2 (c2 + d2 ) B A p jb0 j : 2(2B A) 2B A Now the …rst part of Theorem 1 follows since for 2B A > 1 it is easy to see that B A p < B A: 2B A Adding the equations in (12) and using the fact that c1 = 4b1 = (B A) (d2 c2 ) (d21 d1 we obtain c21 )B = (B Dividing by 4 and taking the absolute values of both sides yield B A jb1 j : 2 A)(d2 c2 ): Meromorphic bi-starlike functions 5 On the other hand, from the second equations in (11) and (12) we obtain 2b1 = (B A)(d2 + Ad21 2Bd21 ): Taking the absolute values of both sides and applying Lemma 2 it follows 1 jb1 j (B A) d2 + Ad21 + 2Bjd1 j2 2 1 (B A) 1 + (A 1)jd1 j2 + 2Bjd1 j2 2 B A 1 A 2B = jb0 j2 : 2 2(B A) This concludes the second part of Theorem 1 since for 0 < A < 1 2B we have B A 1 A 2B B A jb0 j2 < : 2 2(B A) 2 Substituting the equations (11) in the equations (12) we obtain 8 B < 2b1 b2 = (B A) b2 c2 ; 0 (B A)2 0 (13) B : 2b1 + b2 = (A B) b2 d 2 : 0 (A B 2 0 Following a simple algebraic manipulation we obtain the coe¢ cient body b1 Finally, for bk = 0; 0 k n (14) 2B 2(B A 2 b A) 0 B A 2 : 1 the equation (9) yields (n + 1)bn = (A B)cn+1 : Solving for bn and taking the absolute values of both sides we obtain B A jbn j : n+1 Remark 1. The estimate jb0 j Theorem 2(i)). pB A 2B A given by Theorem 1(i) is better than that given in ([10], Remark 2. In ( [12], Theorem 1) the bound jbn j Bn+1A was declared to be sharp for the coe¢ cients B A 1 A 2B 2 pB A and jb1 j of the function g 2 [A; B]. The coe¢ cient estimates jb0 j 2 2(B A) jb0 j 2B A given by our Theorem 1 show that the coe¢ cient bound jbn j Bn+1A is not sharp for the meromorphic bi-starlike functions, that is, if both g and its inverse map g 1 are in [A; B]. Finding sharp coe¢ cient bound for meromorphic bi-starlike functions remains an open problem. References [1] R. M. Ali, S. K. Lee, V. Ravichandran and S. Supramaniam, Coe¢ cient estimates for bi-univalent Ma-Minda starlike and convex functions, Appl. Math. Lett. 25(3) (2012), 344–351. MR2855984 (2012h:30105) [2] H. Airault, "Remarks on Faber polynomials", Int. Math. Forum, 3 (2008), no. 9-12, 449–456. MR2386197 (2009a:30037) [3] H. Airault and A. Bouali, "Di¤erential calculus on the Faber polynomials", Bull. Sci. Math. 130(3) (2006), 179–222. MR2215663 (2007e:30002) [4] H. Airault and J. Ren, "An algebra of di¤erential operators and generating functions on the set of univalent functions", Bull. Sci. Math. 126 (5)(2002), 343–367. MR1914725 (2004c:17048) 6 Jahangiri and Hamidi [5] A. Bouali, "Faber polynomials, Cayley-Hamilton equation and Newton symmetric functions", Bull. Sci. Math. 130 (2006), 49-70. MR2197180 (2006k:33045) [6] D. A. Brannan and T. S. Taha, "On some classes of bi-univalent functions", Studia Univ. Babe¸ s-Bolyai Math. 31(2) (1986), 70–77. MR0911858 (88k:30012) [7] J. Clunie, "On meromorphic schlicht functions", J. London Math. Soc. 34 (1959), 215-216. MR0107009 (21 #5737) [8] P. L. Duren, "Univalent functions", Grundlehren der Mathematischen Wissenschaften, 259, Springer, New York, 1983. MR0708494 (85j:30034) [9] B. A. Frasin and M. K. Aouf, "New subclasses of bi-univalent functions", Appl. Math. Letters, 24 (9)(2011), 15691573. MR2803711 (2012j:30027) [10] S. G. Hamidi, S. A. Halim and J. M. Jahangiri, "Faber polynomial coe¢ cient estimates for meromorphic bi-starlike functions", Internat. J. Math. Math. Sci. Volume 2013, Article ID 498159, 4 pages. [11] M. Jahangiri, On the coe¢ cients of powers of a class of Bazilevic functions, Indian J. Pure Appl. Math. 17 (1986), no. 9, 1140–1144. MR0864155 (88a:30038) [12] V. Karunakaran, "On a class of meromorphic starlike functions in the unit disc", Math. Chronicle 4(1976), 112-121. MR0402020 (53 #5843) [13] J. G. Krzyz·, R. J. Libera and E. Z÷otkiewicz, "Coe¢ cients of inverses of regular starlike functions", Ann. Univ. Mariae Curie-Sk÷odowska Sect. A 33 (1979), 103–110 (1981). MR0689590 (84d:30027) [14] M. Lewin, "On a coe¢ cient problem for bi-univalent functions", Proc. Amer. Math. Soc. 18 (1967), 63–68. MR0206255 (34 #6074) [15] R. J. Libera and A. E. Livingston, " Bounded functions with positive real part", Czech. Math. J. 22(1972), 195-209. MR0297987 (45 #7039) [16] K. Lowner, "Untersuchungen über schlichte konforme Abbildungen des Einheitskreises. I", Math. Ann. 89 (1923), no. 1-2, 103–121. MR1512136 [17] H. M. Srivastava, A. K. Mishra and P. Gochhayat, "Certain subclasses of analytic and bi-univalent functions", Appl. Math. Lett. 23(10) (2010), 1188–1192. MR2665593 (2011e:30055)
© Copyright 2024