COEFFICIENTS OF BI-UNIVALENT FUNCTIONS INVOLVING PSEUDO-STARLIKENESS ASSOCIATED WITH CHEBYSHEV POLYNOMIALS

Transcription

1 Khayyam J. Math. 5 (2019), no. 1, DOI: /kjm COEFFICIENTS OF BI-UNIVALENT FUNCTIONS INVOLVING PSEUDO-STARLIKENESS ASSOCIATED WITH CHEBYSHEV POLYNOMIALS IBRAHIM T. AWOLERE 1, ABIODUN T. OLADIPO 2 Communicated by A.K. Mirmostafaee Abstract. In the present paper, a new subclass of analytic and bi-univalent functions by means of pseudo starlike function, activation function and Chebyshev polynomials are introduced. Coefficient bounds for functions belonging to the said subclass are obtained. Relevance connection of our class to second Hankel determinants is established. 1. Introduction and preliminaries Let A denote the class of analytic functions in the open unit disk E = {z : z < 1} and let H denote the subclass of A, which satisfies the normalization condition f(0) = f (0) = 1 and has the series form f(z) = z a k z k. (1.1) k=2 A function f is said to be univalent on the domain E if it is injective on E. The normalized analytic function defined by (1.1) is said to be starlike, convex, and close-to-convex with the provision that the geometric quantities zf (z) f(z), 1 zf (z) f (z), f (z), Date: Received: 11 June 2018; Revised: 1 October 2018; Accepted 16 December Corresponding author Mathematics Subject Classification. Primary 0C45; Secondary 0C650, 0C80. Key words and phrases. Univalent functions, Chebyshev polynomials, pseudo starlike function, Hankel determinant. 140

2 COEFFICIENTS OF BI-UNIVALENT FUNCTIONS 141 respectively, belong to the class P (Caratheodory functions), the class of functions p(z) of the form p(z) = 1 p k z k, k=1 where p(0) = 0 and Re(p(z)) > 0 (that is functions with positive real part). The well-known Koebe one-quarter theorem established that the image of E under every univalent function f A contains a disk of radius 1. Thus every univalent 4 function f has an inverse f 1 satisfying where f 1 (f(z)) = z (z E) ( f(f 1 (w)) = w w < r 0 (f), r 0 (f) 1 ), 4 g(w) = f 1 (w) = w a 2 w 2 (2a 2 2 a )w (5a 2 5a 2 a a 4 )w 4. (1.2) A function f A is said to be bi-univalent in E if both f and f 1 are univalent in E. Let Σ denote the class of bi-univalent functions in E given by (1.1). In 1967 Lewin [14] introduced the concept of bi-univalent analytic functions and proved that the second coefficient satisfies a 2 < Later, Brannan and Clunie [6] asserted a 2 < 2 while Netanyahu [17] showed max f Σ a 2 = 4. The coefficient problem for each of the following Taylor Maclaurin coefficients a n n, n N \ {1, 2}, N = {1, 2,,...}, is still an open problem (see, [6, 7, 14, 17] for details). Recently, many authors [1, 2, 11, 12, 15, 16, 18, 19] introduced and investigated several interesting subclasses of bi-univalent functions. Moreover, they have obtained nonsharp estimates on the first two Taylor Maclaurin coefficients a 2 and a. The Chebyshev polynomials are a sequence of orthogonal polynomials which are related to the De Moires formula and which are defined recursively. Chebyshev polynomials continuously find applications both in practical and theoretical points of view [, 8, 10]. There are four kinds of Chebyshev polynomials, we shall concern ourselves with U k (t) polynomials of the second kind which is defined by sin(k 1)α U k (t) =, t [ 1, 1], sin α where k denotes the degree of the polynomial and t = cos α. Chebyshev polynomials of the second kind have the generating function of the form H(z, t) = 1 1 2tz z = 1 2 k=1 k=1 sin(k 1)α z n. sin α Note that if t = cos α, α ( π, π ), then 1 H(z, t) = 1 2 cos αz z = 1 sin(k 1)α z n. 2 sin α

3 142 I.T. AWOLERE, A.T. OLADIPO Using [10], we state that where H(z, t) = 1 U 1 (t)z U 2 (t)z 2, (z E, t [ 1, 1]), U k 1 = sin(k arc cos t), k N 1 t 2 is the Chebyshev polynomial of the second kind. It is well known that so that U k (t) = 2tU k 1 (t) U k 2 (t), U 1 (t) = 2t, U 2 (t) = 4t 2 1, U (t) = 8t 4t. Recently, Fadipe et al. in [10] considered the function f γ (z) = z γ(s)a k z k, (1.) k=2 where γ(s) = 2 1e s is the sigmoid activation function and s 0. Functions of the form (1.) belong to the class A γ, where A 1 = A. Motivated by the recent work of Rajya et al. [1] and previous works of Babalola [5] and Awolere et al. [4], in this work, we introduce a new subclasses of Σ associated with Chebyshev Polynomials and obtain the initial Taylor coefficient a 2, a and a 4 and second Hankel determinants by means of subordination. Lemma 1.1 (See [9]). If w(z) = b 1 z b 2 z 2, b 1 0, is analytic and satisfies w(z) < 1 on the unit disk E, then for each 0 < r < 1, w (z) < 1 and w(re iθ ) < 1 unless w(z) = e iθ z for some real number θ. 2. Main results Definition 2.1. A function f Σ is said to be in the class HT γ Σ (λ, φ(z, t), γ(s)), λ 1, γ(s) = 2, s 0, t [ 1, 1], if it satisfies the following conditions: 1e s z [ f γ(z) ] λ f γ (z) w [ g γ(w) ] λ g γ (w) where g is an extension of f 1 E. φ(z, t), z E, φ(w, t), w E, Remark 2.2. If φ(z, t) = ( ) 1 β 1 2tzz, then the class HT γ 2 Σ (λ, φ(z, t), γ(s)) reduces to the class HT γ Σ (λ, β, γ(s)), 0 < β 1 and satisfies the following conditions: arg z [ f γ (z) ] λ f γ (z) < βπ 2, z E, arg w [ g γ (w) ] λ g γ (w) < βπ 2, w E,

4 where g is an extension of f 1 E. COEFFICIENTS OF BI-UNIVALENT FUNCTIONS 14 Remark 2.. If s = 0, then the class HT γ Σ (λ, φ(z, t), γ(s)) reduces to the class ST γ Σ (λ, φ(z, t)) and satisfies the following conditions: z [ f γ(z) ] φ(z, t), z E, f γ (z) w [ g γ(w) ] φ(w, t), w E, g γ (w) where g is an extension of f 1 E. Theorem 2.4. Let f HT γ Σ (λ, φ(z, t), γ(s)). Then a 2 2t 2t 4t2 (2λ 2 λ) (2λ 1) 2 (4t 2 1) γ 2 (s), a 4t 2 (2λ 1) 2 γ(s) 2t (λ 1)γ(s), a 4 4t (9 4λ 8λ ) (2λ 1) (4λ 1)γ(s) 10t (2λ 1) γ(s) 10t 2 (2λ 1)(λ 1)γ(s) 2t (4λ 1)γ(s) 8t2 2 (4λ 1)γ(s) 8t 4t (4λ 1)γ(s). Proof. Since f HT γ Σ (λ, φ(z, t), γ(s)), there exist two Chebyshev polynomials φ(z, t) and φ(w, t) such that z [ f γ(z) ] λ f γ (z) w [ g γ(w) ] λ g γ (w) Define the functions u(z) and v(w) by = φ(z, t), (2.1) = φ(w, t). (2.2) u(z) = c 1 z c 2 z 2, (2.) v(w) = d 1 w d 2 w 2, (2.4) which are analytic in D with u(0) = 0 = v(0) and u(z) < 1, v(w) < 1 for all z E. It is well known that u(z) = c1 z c 2 z 2 < 1, and v(w) = d1 w d 2 w 2 < 1, c i 1, d i 1.

5 144 I.T. AWOLERE, A.T. OLADIPO Using (2.) and (2.4) in (2.1) and (2.2), respectively, we have and z [ f γ(z) ] λ f γ (z) w [ g γ(w) ] λ g γ (w) = 1 U 1 (t)u(z) U 2 (t)u 2 (z) (2.5) = 1 U 1 (t)v(w) U 2 (t)v 2 (w). (2.6) In the light of (1.1), (1.2), (2.1), and (2.2) and from (2.5) and (2.6), we have 1 (2λ 1)γ(s)a 2z [(λ 1)γ(s)a (2λ 2 4λ 1)γ 2 (s)a 2 2]z 2 { [ 4λ(λ 1)(λ 2) (4λ 1)γ(s)a 4 (6λ 2 11λ 2)γ 2 (s)a 2a and ] } (4λ 2λ 2 1) γ a 2 z = 1 U 1(t)c 1z (c 2U 1(t) c 2 1U 2(t))z 2 (c U 1(t) 2c 1c 2U 2(t) c 1U (t))z 1 (2λ 1)γ(s)a 2w [(2λ 2 2λ 1)γ 2 (s)a 2 2 (λ 1)γ(s)a ]w 2 { [ 4λ(λ 1)(λ 2) (4λ 1)γ(s)a 4 (6λ 2 9λ )γ 2 (s)a 2a ] } 10λ 2 2λ 2 γ a 2 w = 1 U 1(t)d 1w (d 2U 1(t) d 2 1U 2(t))w 2 (d U 1(t) 2d 1d 2U 2(t) d 1U (t))w. This yields the following relations: (2λ 1)γ(s)a 2 = U 1 (t)c 1, (2.7) (λ 1)γ(s)a (2λ 2 4λ 1)γ 2 (s)a 2 2 = c 2 U 1 (t) c 2 1U 2 (t), (2.8) (4λ 1)γ(s)a 4 (6λ 2 11λ 2)γ 2 (s)a 2 a (2.9) [ ] 4λ(λ 1)(λ 2) (4λ 2λ 2 1) γ a 2 = c U 1 (t) 2c 1 c 2 U 2 (t) c 1U (t), and (2λ 1)γ(s)a 2 = U 1 (t)d 1, (2λ 2 2λ 1)γ 2 (s)a 2 2 (λ 1)γ(s)a = d 2 U 1 (t) d 2 1U 2 (t), (2.10) (4λ 1)γ(s)a 4 (6λ 2 9λ )γ 2 (s)a 2 a (2.11) [ ] 4λ(λ 1)(λ 2) 10λ 2 2λ 2 γ a 2 = d U 1 (t) 2d 1 d 2 U 2 (t) d 1U (t). From (2.7) and (2.9) c 1 = d 1, (2.12) and a 2 = U 1 (t)c 1 (2λ 1)γ(s) = U 1(t)d 1 (2λ 1)γ(s), (2.1) 2(2λ 1) 2 γ 2 (s)a 2 2 = U 2 1 (t)[c 2 1 d 2 1]. (2.14)

6 COEFFICIENTS OF BI-UNIVALENT FUNCTIONS 145 Adding (2.8) and (2.10) and making use of (2.14), we have 2λ(2λ 1)γ 2 (s) = U 1 (t)(c 2 d 2 ) U 2 (t)[c 2 1 d 2 1]. (2.15) Upon simplification (2.15), we get a 2 2 = By making use of Lemma 1.1, we have a 2 U 1 (t)(c 2 d 2 ) [U 2 1 (T )(4λ 2 2λ) (2λ 1) 2 U 2 (t)]γ 2 (s). 2t 2t 4t2 (2λ 2 λ) (2λ 1) 2 (4t 2 1) γ 2 (s). From (2.8), (2.11), (2.12), and (2.1), we observe that a = U 2 1 (t)(c 2 1 d 2 1) 2(2λ 1) 2 γ(s) U 1(t)(c 2 d 2 ) 2(λ 1)γ(s). (2.16) Applying Lemma 1.1 once again, we obtain a 4t 2 (2λ 1) 2 γ(s) 2t (λ 1)γ(s). Now from (2.9) and (2.11), it is evident that a 4 = ( 8λ 4λ 9)U 1 (t)c 1 6(2λ 1) (4λ 1)γ(s) 5U 1 (t)[c 2 1 d 2 1] 4(2λ 1) γ(s) 5U 2 1 (t)[c 1 C 2 c 1 d 2 ] 4(2λ 1)(λ 1)γ(s) (c d )U 1 (t) 2(4λ 1)γ(s) (2C 1C 2 2d 1 C 2 )U 2 (t) (c 1 d 1)U (t) 2(4λ 1)γ(s) 2(4λ 1)γ(s). On the application of Lemma 1.1, the above equation yields a 4 4t (9 4λ 8λ ) (2λ 1) (4λ 1)γ(s) 20t (2λ 1) γ(s) 10t 2 (2λ 1)(λ 1)γ(s) 2t (4λ 1)γ(s) 8t2 2 (4λ 1)γ(s) 8t 4t (4λ 1)γ(s), which completes the proof. Corollary 2.5. Let f HT γ Σ (λ, φ(z, t), γ(0)). Then a 2 2t 2t 4t2 (2λ 2 λ) (2λ 1) 2 (4t 2 1), a 4t 2 (2λ 1) 2 2t (λ 1), a 4 4t (9 4λ 8λ ) (2λ 1) (4λ 1) 20t (2λ 1) 10t 2 (2λ 1)(λ 1) 2t (4λ 1) 8t2 2 (4λ 1) 8t 4t (4λ 1).

7 146 I.T. AWOLERE, A.T. OLADIPO Corollary 2.6. Let f HT γ Σ (1, φ(z, t), γ(s)). Then a 2 2t 2t γ(s), a 4t2 γ(s) t γ(s), a 4 24t 2t 2 2t 2. γ(s) Corollary 2.7. Let f HT γ Σ (1, φ(z, t), 0). Then a 2 2t 2t, a 4t 2 t, a 4 24t 2t 2 2t 2. Corollary 2.8. Let f HT γ Σ (1, φ(z, t), γ(1)). Then a 2.718t 2t, a.718t t 5.46, a 4.718[24t 2t 2 2t 2] Theorem 2.9. Let f HT γ Σ (λ, φ(z, t), γ(s)). Then a2 a 4 a 2 ( 56λ 12λ 2 40λ )t 4 4t (8λ ) (2λ 1) 4 (4λ 1)γ 2 (s) (2λ 1) 2 (λ 1)γ 2 (s) t 2 ( 68λ 2 44λ 8) (2λ 1)(λ 1) 2 (4λ 1)γ 2 (s) 4t (2λ 1)(4λ 1)γ 2 (s). Proof. Proceed from Theorem 2.4, we have a 2 = a 4 = ( 8λ 4λ 9)U 1 (t)c 1 6(2λ 1) (4λ 1)γ(s) U 1 (t)c 1 (2λ 1)γ(s), a = U 2 1 (c 2 1 d 2 1) 2(2λ 1) 2 γ(s) U 1(t)(c 2 d 2 ) 2(λ 1)γ(s), 5U 1 (t)[c 2 1 d 2 1] 4(2λ 1) γ(s) 5U 2 1 (t)[c 1 C 2 c 1 d 2 ] 4(2λ 1)(λ 1)γ(s) (c d )U 1 (t) 2(4λ 1)γ(s) (2C 1C 2 2d 1 C 2 )U 2 (t) (c 1 d 1)U (t) 2(4λ 1)γ(s) 2(4λ 1)γ(s).

8 COEFFICIENTS OF BI-UNIVALENT FUNCTIONS 147 Upon substitution for values of a 2, a, and a 4, we have a 2 a 4 a 2 = ( 8λ 4λ 9)U1 4 (t)c 4 1 6(2λ 1) 4 (4λ 1)γ 2 (s) 5U1 (t)c 2 1(c 2 d 2 ) 4(2λ 1) 2 (λ 1)γ 2 (s) 5U 1 4 (t)c 1 (c 2 1 d 2 1) 4(2λ 1) 2 γ 2 (s) U1 2 (t)c 1 [c d ] 2(2λ 1)(4λ 1)γ 2 (s) U 1(t)U 2 (t) 1 c 1 (2c 1 c 2 2d 1 d 2 ) (2λ 1)(4λ 1)γ 2 (s) U 1(t)U (t)c 1 (C 1 d 1) 2(2λ 1)(4λ 1)γ 2 (s) u4 1(t)C 2 1[C 2 1 d 2 2] 2 4(2λ 1) 4 γ 2 (s) u2 1(t)[C 2 d 2 ] 2 4(λ 1) 2 γ 2 (s) U 1 (t)[c 2 1 d 2 1][c 2 d 2 ] 2(2λ 1) 2 (λ 1)γ 2 (s). Applying Lemma 1.1 for the coefficients c 1, d 1, c 2, d 2, c, and d yields a2 a 4 a 2 ( 56λ 12λ 2 40λ )t 4 4t (8λ ) (2λ 1) 4 (4λ 1)γ 2 (s) (2λ 1) 2 (λ 1)γ 2 (s) t 2 ( 68λ 2 44λ 8) (2λ 1)(λ 1) 2 (4λ 1)γ 2 (s) 4t (2λ 1)(4λ 1)γ 2 (s) which completes the proof. Corollary Let f HT γ Σ (λ, φ(z, t), γ(0)). Then a2 a 4 a 2 ( 56λ 12λ 2 40λ )t 4 4t (8λ ) (2λ 1) 4 (4λ 1) (2λ 1) 2 (λ 1) t 2 ( 68λ 2 44λ 8) (2λ 1)(λ 1) 2 (4λ 1) 4t (2λ 1)(4λ 1) Corollary Let f HT γ Σ (1, φ(z, t), γ(s)). Then a2 a 4 a 2 9t 4 9γ 2 (s) 10t γ 2 (s) 2t2 6γ 2 (s) Theorem Let f HT γ Σ (λ, φ(z, t), γ(s)). Then a µa 2 2 where 4t γ 2 (s) 4t, µ 1 M, (λ 1)γ(s) 16 µ 1 t, µ 1 M, 4(λ(2λ 1) (2λ 1) 2 )t 2 (2λ 1) 2 γ 2 (s) M = [λ(2λ 1) (2λ 1)2 ] (2λ 1) 2 γ(s). 16t 2 (λ 1) Proof. From (2.16) and (2.1), we get a µa 2 2 = (1 µ)u1 (t)(c 2 d 2 ) 2 [λ(2λ 1)U1 2 (t) (2λ 1) 2 U 2 (t)] γ 2 (s) U 1(t)(c 2 d 2 ) 2(λ 1)γ(s) [( ) ( h(µ) c 2 h(µ) = U 1 (t) 1 2(λ 1)γ(s) 1 2(λ 1)γ(s) ) d 2 ],

9 148 I.T. AWOLERE, A.T. OLADIPO where h(µ) = (1 µ)u 2 1 (t) 2 [λ(2λ 1)U 2 1 (t) (2λ 1) 2 U 2 (t)] γ 2 (s). References 1. Ş. Altınkaya, Application of quasi-subordination for generalized Sakaguchi type functions, J. Complex Anal (2017), Art. ID , 5 pp. 2. Ş. Altınkaya, S. Yalçın, Second Hankel determinant for a general subclass of bi-univalent functions, TWMS J. Pure Appl. Math. 7 (2016), no. 1, Ş. Altınkaya, S. Yalçın, On the Chebyshev polynomial bounds for class of univalent Functions, Khayyam J. Math. 2 (2016), no. 1, I.T. Awolere, S. Ibrahim-Tiamiyu, New classes of bi-univalent pseudo Starlike function using Alhindi-Darus generalized hypergeometric function, J. Nigerian Assoc. Math. Phys. 40 (2017) K.O. Babalola, On λ-pseudo-starlike functions, J. Class. Anal. (201), no. 2, D.A. Brannan, J.G. Clunie, W.E. Kirwan, Coefficient estimates for a class of starlike functions, Canad. J. Math. 22 (1970) D.A. Brannan, T.S. Taha, On some classes of bi-univalent functions, Stud. Univ. Babeş- Bolyai Math. 1 (1986), no. 2, S. Bulut, M. Magesh, On the sharp bounds for a comprehensive class of anlytic and univalent functions by means of Chebyshev polynomials, Khayyam J. Math. 2 (2016), no. 2, P.L. Duren, Univalent Functions Grundlehren Math. Wiss. 259, Springer, Heidelberg- Tokyo, O.A. Fadipe-Joseph, B.B. Kadir, S.E. Akinwumi, E.O. Adeniran, Polynomial bounds for a class of univalent function involving Sigmoid function, Khayyam J. Math. 4 (2018) no. 1, B.A. Frasin, M.K. Aouf, New subclasses of bi-univalent functions, Appl. Math. Lett. 24 (2011) T. Hayami, S.Owa, Coefficient bounds for bi-univalent functions, Pan Amer. Math. J. 22 (2012), no. 4, K.R. Laxmi, R.B. Sharma, Second Hankel determinant for some subclasses of bi-univalent functions associated with pseudo-starlike functions, J. Complex Anal (2017), Article ID , 9 pp. 14. M. Lewin, On the coefficient problem for bi-univalent functions, Proc. Amer. Math. Soc. 18 (1967), no. 1, G. Murugurusundaramoorthy, Subclasses of bi-univalent function of complex order based on subordination conditions involving Wright hypergeometric functions, J. Math. Fund. Sci. 47 (2015), no. 1, G. Murugurusundaramoorthy, T. Janani, Bi-starlike function of complex order associated with hypergeometric functions, Miskolc Math. Notes 16 (2015), no. 1, E. Netanyahu, The minimal distance of the Image boundary from origin and second coefficient of a univalent function in z < 1, Arch. Ration. Mech. Anal. 2 (1969), no. 2, A.T. Oladipo, New subclasses of bi-univalent Bazilevic functions of type alpha involving Salagean derivative operator, Acta Univ. Apulensis 4 (2015), H.M. Srivastava, A.K. Mishira, P. Gochhayat, Certain subclasses of analytic and biunivalent functions, Appl. Math. Lett. 2 (2010), no. 10, Department of Mathematics, Emmanuel Alayande College of Education, P. M. B. 1010, Oyo, Oyo State, Nigeria. address: awolereibrahim01@gmail.com

10 COEFFICIENTS OF BI-UNIVALENT FUNCTIONS Department of Pure and Applied Mathematics, Ladoke Akintola University of Tecchnology, Ogbomoso, Oyo State, Nigeria. address: atoladipo@lautech.ng.edu