Journal of Inequalities in Pure and Applied Mathematics THE DZIOK-SRIVASTAVA OPERATOR AND k−UNIFORMLY STARLIKE FUNCTIONS volume 6, issue 2, article 52, 2005. R. AGHALARY AND GH. AZADI University of Urmia Urmia, Iran Received 04 January, 2005; accepted 12 April, 2005. Communicated by: H.M. Srivastava EMail: raghalary@yahoo.com EMail: azadi435@yahoo.com Abstract Contents JJ J II I Home Page Go Back Close c 2000 Victoria University ISSN (electronic): 1443-5756 003-05 Quit Abstract Inclusion relations for k−uniformly starlike functions under the Dziok-Srivastava operator are established. These results are also extended to k−uniformly convex functions, close-to-convex, and quasi-convex functions. 2000 Mathematics Subject Classification: Primary 30C45; Secondary 30C50. Key words: Starlike, Convex, Linear operators. The Dziok-Srivastava Operator and k−Uniformly Starlike Functions Contents 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Main Results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . References 3 7 R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 2 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au 1. Introduction P n Let A denote the class of functions of the form f (z) = z + ∞ n=2 an z which are analytic in the open unit disc U = {z : |z| < 1}. A function f ∈ A is said to be in U ST (k, γ), the class of k−uniformly starlike functions of order γ, 0 ≤ γ < 1, if f satisfies the condition 0 0 zf (z) zf (z) (1.1) < > k − 1 + γ, k ≥ 0. f (z) f (z) Replacing f in (1.1) by zf 0 we obtain the condition 00 zf (z) zf 00 (z) + γ, (1.2) < 1+ 0 > k 0 f (z) f (z) The Dziok-Srivastava Operator and k−Uniformly Starlike Functions k≥0 required for the function f to be in the subclass U CV (k, γ) of k−uniformaly convex functions of order γ. Uniformly starlike and convex functions were first introduced by Goodman [5] and then studied by various authors. For a wealth of references, see Ronning [13]. Setting o n p Ωk,γ = u + iv; u > k (u − 1)2 + v 2 + γ , zf 0 (z) f (z) zf 00 (z) f 0 (z) with p(z) = or p(z) = 1 + and considering the functions which map U on to the conic domain Ωk,γ , such that 1 ∈ Ωk,γ , we may rewrite the conditions (1.1) or (1.2) in the form (1.3) p(z) ≺ qk,γ (z). R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 3 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au We note that the explicit forms of function qk,γ for k = 0 and k = 1 are 1 + (1 − 2γ)z 2(1 − γ) q0,γ (z) = , and q1,γ (z) = 1 + 1−z π2 √ 2 1+ z √ . log 1− z For 0 < k < 1 we obtain 1−γ qk,γ (z) = cos 1 − k2 √ 2 1+ z k2 − γ √ (arccos k)i log − , π 1 − k2 1− z The Dziok-Srivastava Operator and k−Uniformly Starlike Functions and if k > 1, then qk,γ has the form 1−γ qk,γ (z) = 2 sin k −1 π 2K(k) Z 0 u(z) √ k p dt √ 1 − t2 1 − k 2 t2 √ z−√ k 1− kz ! k2 − γ + 2 , k −1 πK 0 (z) . 4K(z) where u(z) = and K is such that k = cosh By virtue of (1.3) and the properties of the domains Ωk,γ we have (1.4) <(p(z)) > <(qk,γ (z)) > k+γ . k+1 Define U CC(k, γ, β) to be the family of functions f ∈ A such that 0 0 zf (z) zf (z) ≥ k − 1 + γ, k≥0, 0≤γ < 1 < g(z) g(z) for some g ∈ U ST (k, β). R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 4 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au Similarly, we define U QC(k, γ, β) to be the family of functions f ∈ A such that (zf 0 (z))0 (zf 0 (z))0 < ≥ k 0 − 1 + γ, k ≥ 0, 0 ≤ γ < 1 0 g (z) g (z) for some g ∈ U CV (k, β). We note that U CC(0, γ, β) is the class of close-to-convex functions of order γ and type β and U QC(0, γ, β) is the class of quasi-convex functions of order γ and type β. The aim of this paper is to study the inclusion properties of the above mentioned classes under the following linear operator which is defined by Dziok and Srivastava [3]. For αj ∈ C (j = 1, 2, 3, . . . , l) and βj ∈ C − {0, −1, −2, . . . } (j = 1, 2, . . . m), the generalized hypergeometric function is defined by The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents ∞ X (α1 )n · · · (αl )n z n F (α , . . . , α ; β , . . . , β ) = · , l m 1 l 1 m (β ) · · · (β ) n! 1 n m n n=0 JJ J (l ≤ m + 1; l, m ∈ N0 = {0, 1, 2, . . . }), II I Go Back where (a)n is the Pochhammer symbol defined by (a)n = 1) · · · (a + n − 1) for n ∈ N = {1, 2, . . . } and 1 when n = 0. Corresponding to the function Γ(a+n) Γ(a) = a(a + Close Quit Page 5 of 15 h(α1 , . . . , αl ; β1 , . . . , βm ; z) = z l Fm (α1 , . . . , αl ; β1 , . . . , βm ) J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au l the Dziok-Srivastava operator [3], Hm (α1 , . . . , αl ; β1 , . . . , βm ) is defined by l Hm (α1 , . . . , αl ; β1 , . . . , βm )f (z) = h(α1 , . . . , αl ; β1 , . . . , βm ; z) ∗ f (z) ∞ X (α1 )n−1 · · · (αl )n−1 an z n =z+ · (β1 )n−1 · · · (βm )n−1 (n − 1)!. n=2 where “∗” stands for convolution. It is well known [3] that l (1.5) α1 Hm (α1 + 1, . . . , αl ; β1 , . . . , βm )f (z) l = z[Hm (α1 , . . . , αl ; β1 , . . . , βm ; z)f (z)]0 + (α1 − The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi l 1)Hm (α1 , . . . , αl ; β1 , . . . , βm )f (z). To make the notation simple, we write, Title Page Contents l [α1 ]f (z) Hm = l Hm (α1 , . . . , αl ; β1 , . . . , βm ; z)f (z). We note that many subclasses of analytic functions, associated with the l Dziok-Srivastava operator Hm [α1 ] and many special cases, were investigated recently by Dziok-Srivastava [3], Liu [7], Liu and Srivastava [9], [10] and others. Also we note that special cases of the Dziok-Srivastava linear operator include the Hohlov linear operator [6], the Carlson-Shaffer operator [2], the Ruscheweyh derivative operator [14], the generalized Bernardi-Libera-Livingston linear operator (cf. [1]) and the Srivastava-Owa fractional derivative operators (cf. [11], [12]). JJ J II I Go Back Close Quit Page 6 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au 2. Main Results l In this section we prove some results on the linear operator Hm [α1 ]. First is the inclusion theorem. Theorem 2.1. Let <α1 > l Hm [α1 ]f ∈ U ST (k, γ). 1−γ , k+1 l and f ∈ A. If Hm [α1 + 1]f ∈ U ST (k, γ) then In order to prove the above theorem we shall need the following lemma which is due to Eenigenburg, Miller, Mocanu, and Read [4]. Lemma A. Let β, γ be complex constants and h be univalently convex P∞ in then unit disk U with h(0) = c and <(βh(z) + γ) > 0. Let g(z) = c + n=1 pn z be analytic in U . Then g(z) + zg 0 (z) ≺ h(z) ⇒ g(z) ≺ h(z). βg(z) + γ l l Proof of Theorem 2.1. Setting p(z) = z(Hm [α1 ]f (z))0 /(Hm [α1 ]f (z)) in (1.5) we can write l l Hm [α1 + 1]f (z) z(Hm [α1 ]f (z))0 = + (α1 − 1) = p(z) + (α1 − 1). (2.1) α1 l [α ]f (z) l [α ]f (z) Hm Hm 1 1 Differentiating (2.1) yields (2.2) l z(Hm [α1 + 1]f (z))0 zp0 (z) = p(z) + . l [α + 1] Hm p(z) + (α1 − 1) 1 The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 7 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au From this and the argument given in Section 1 we may write p(z) + zp0 (z) ≺ qk,γ (z). p(z) + (α1 − 1) Therefore the theorem follows by Lemma A and the condition (1.4) since qk,γ is univalent and convex in U and <(qk,γ ) > k+γ . k+1 Theorem 2.2. Let <α1 > l Hm [α1 ]f ∈ U CV (k, γ). 1−γ , k+1 l and f ∈ A. If Hm [α1 + 1]f ∈ U CV (k, γ) then Proof. By virtue of (1.1), (1.2) and Theorem 2.1 we have 0 l l Hm [α1 + 1]f ∈ U CV (k, γ) ⇔ z Hm [α1 + 1]f ∈ U ST (k, γ) l ⇔ Hm [α1 + 1]zf 0 ∈ U ST (k, γ) ⇒ ⇔ l Hm [α1 ]zf 0 ∈ U ST (k, γ) l [α1 ]f ∈ U CV (k, γ). Hm and the proof is complete. We next prove The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back l Theorem 2.3. Let <α1 > 1−γ , and f ∈ A. If Hm [α1 + 1]f ∈ U CC(k, γ, β) k+1 l then Hm [α1 ]f ∈ U CC(k, γ, β). Close To prove the above theorem, we shall need the following lemma which is due to Miller and Mocanu [10]. Page 8 of 15 Quit J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au Lemma B. Let h be convex in the unit disk U and let E ≥ 0. Suppose B(z) is analytic in U with <B(z) ≥ E. If g is analytic in U and g(0) = h(0). Then Ez 2 g 00 (z) + B(z)zg 0 (z) + g(z) ≺ h(z) ⇒ g(z) ≺ h(z). l Proof of Theorem 2.3. Since Hm [α1 + 1]f ∈ U CC(k, γ, β), by definition, we can write l z(Hm [α1 + 1]f )0 (z) ≺ qk,γ (z) k(z) l for some k(z) ∈ U ST (k, β). For g such that Hm [α1 + 1]g(z) = k(z), we have l z(Hm [α1 + 1]f )0 (z) ≺ qk,γ (z). l [α + 1]g(z) Hm 1 (2.3) 0 l l 0 z(Hm [α1 ]g) (z) m [α1 ]f ) (z) Letting h(z) = z(H we observe that h and l [α ]g)(z) and H(z) = l [α ]g(z) (Hm Hm 1 1 l H are analytic in U and h(0) = H(0) = 1. Now, by Theorem 2.1, Hm [α1 ]g ∈ k+β U ST (k, β) and so <H(z) > k+1 . Also, note that (2.4) l l z(Hm [α1 ]f )0 (z) = (Hm [α1 ]g(z))h(z). The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Differentiating both sides of (2.4) yields l z(Hm [α1 ](zf 0 ))0 (z) l [α ]g(z) Hm 1 = l z(Hm [α1 ]g)0 (z) h(z) l [α ]g(z) Hm 1 Close + zh0 (z) = H(z)h(z) + zh0 (z). Quit Page 9 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au Now using the identity (1.5) we obtain (2.5) l z(Hm [α1 + 1]f )0 (z) l [α + 1]g(z) Hm 1 H l [α1 + 1](zf 0 )(z) = ml Hm [α1 + 1]g(z) l l z(Hm [α1 ](zf 0 ))0 (z) + (α1 − 1)Hm [α1 ](zf 0 )(z) = l [α ]g)0 (z) + (α − 1)H l [α ]g(z) z(Hm 1 1 m 1 = = l [α ](zf 0 ))0 (z) l [α ](zf 0 )(z) z(Hm 1 1 + (α1 − 1) Hm l [α ]g(z) l [α ]g(z) Hm Hm 1 1 l [α ]g)0 (z) z(Hm 1 + (α1 − 1) l [α ]g(z) Hm 1 H(z)h(z) + zh0 (z) + (α1 − 1)h(z) H(z) + (α1 − 1) 1 = h(z) + zh0 (z). H(z) + (α1 − 1) From (2.3), (2.4), and (2.5) we conclude that h(z) + 1 zh0 (z) ≺ qk,γ (z). H(z) + (α1 − 1) On letting E = 0 and B(z) = <(B(z)) = 1 , H(z)+(α1 −1) we obtain 1 <((α1 − 1) + H(z)) > 0. |(α1 − 1) + H(z)|2 The above inequality satisfies the conditions required by Lemma B. Hence h(z) ≺ qkγ (z) and so the proof is complete. The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 10 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au Using a similar argument to that in Theorem 2.2 we can prove l Theorem 2.4. Let <α1 > 1−γ , and f ∈ A. If Hm [α1 + 1]f ∈ U QC(k, γ, β), k+1 l then Hm [α1 ]f ∈ U QC(k, γ, β). Finally, we examine the closure properties of the above classes of functions under the generalized Bernardi-Libera-Livingston integral operator Lc (f ) which is defined by Z c + 1 z c−1 t f (t)dt, c > −1. Lc (f ) = zc 0 Theorem 2.5. Let c > −(k+γ) . k+1 l l If Hm [α1 ]f ∈ U ST (k, γ) so is Lc (Hm [α1 ]f ). l Proof. From definition of Lc (f ) and the linearity of operator Hm [α1 ] we have (2.6) l l l z(Hm [α1 ]Lc (f ))0 (z) = (c + 1)Hm [α1 ]f (z) − c(Hm [α1 ]Lc (f ))(z). Substituting (2.7) l [α ]L (f ))0 (z) z(Hm 1 c l [α ]L (f )(z) Hm 1 c = p(z) in (2.6) we may write p(z) = (c + 1) l Hm [α1 ]f (z) − c. l (Hm [α1 ]Lc (f ))(z) Differentiating (2.7) gives l z(Hm [α1 ]f )0 (z) zp0 (z) = p(z) + . l [α ]f )(z) (Hm p(z) + c 1 Now, the theorem follows by Lemma A, since <(qk,γ (z) + c) > 0. The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 11 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au A similar argument leads to Theorem 2.6. Let c > −(k+γ) . k+1 l l If Hm [α1 ]f ∈ U CV (k, γ) so is Lc (Hm [α1 ]f ). Theorem 2.7. Let c > −(k+γ) . k+1 l l If Hm [α1 ]f ∈ U CC(k, γ, β) so is Lc (Hm [α1 ]f ). l Proof. By definition, there exists a function k(z) = (Hm [α1 ]g)(z) ∈ U ST (k, β) such that l z(Hm [α1 ]f )0 (z) (2.8) ≺ qk,γ (z) (z ∈ U ). l [α ]g)(z) (Hm 1 Now from (2.6) we have l l l z(Hm [α1 ]f )0 (z) z(Hm [α1 ]Lc (zf 0 ))0 (z) + cHm [α1 ]Lc (zf 0 )(z) = l [α ]g)(z) l [α ]L (g(z)))0 (z) + c(H l [α ]L (g))(z) (Hm z(Hm 1 1 c m 1 c (2.9) l [α ]L (zf 0 ))0 (z) l 0 z(Hm 1 c m [α1 ]Lc (zf ))(z) + c(H l [α ]L (g))(z) l [α ]L (g))(z) (Hm (Hm 1 c 1 c = l [α ]L (g))0 (z) z(Hm 1 c l [α ]L (g))(z) + c (Hm 1 c . l l Since Hm [α1 ]g ∈ U ST (k, β), by Theorem 2.5, we have Lc (Hm [α1 ]g) ∈ U ST (k, β). l 0 z(Hm [α1 ]Lc (g)) k+β Letting H l [α1 ]Lc (g) = H(z), we note that <(H(z)) > k+1 . Now, let h be m defined by (2.10) l l z(Hm [α1 ]Lc (f ))0 = h(z)Hm [α1 ]Lc (g). Differentiating both sides of (2.10) yields (2.11) l l z(Hm [α1 ](zLc (f ))0 )0 (z) z(Hm [α1 ]Lc (g))0 (z) 0 = zh (z) + h(z) l [α ]L (g))(z) l [α ]L (g))(z) (Hm (Hm 1 c 1 c 0 = zh (z) + H(z)h(z). The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 12 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au Therefore from (2.9) and (2.11) we obtain l z(Hm [α1 ]f )0 (z) zh0 (z) + h(z)H(z) + ch(z) = . l [α ]g)(z) (Hm H(z) + c 1 This in conjunction with (2.8) leads to zh0 (z) h(z) + ≺ qk,γ (z). H(z) + c (2.12) − k+β . k+1 1 H(z)+c Letting B(z) = in (2.12) we note that <(B(z)) > 0 if c > Now for E = 0 and B as described we conclude the proof since the required conditions of Lemma B are satisfied. A similar argument yields Theorem 2.8. Let c > −(k+γ) . k+1 The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page If l Hm [α1 ]f ∈ U QC(k, γ, β) so is l Lc (Hm [α1 ]f ). Contents JJ J II I Go Back Close Quit Page 13 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au References [1] S.D. BERNARDI, Convex and starlike univalent functions, Trans. Amer. Math. Soc., 135 (1969), 429–446. [2] B.C. CARLSON AND S.B. SHAFFER, Starlike and prestarlike hypergeometric functions, SIAM J. Math. Anal., 15 (1984), 737–745. [3] J. DZIOK AND H.M. SRIVASTAVA, Certain subclasses of analytic functions associated with the generalized hypergeometric function, Integral Transform Spec.Funct., 14 (2003), 7–18. [4] P. EEINGENBURG, S.S. MILLER, P.T. MOCANU AND M.D. READE, General Inequalities, 64 (1983), (Birkhauseverlag-Basel) ISNM, 339– 348. [5] A.W. GOODMAN, On uniformly starlike functions, J. Math. Anal. Appl., 155 (1991), 364–370. [6] Yu.E. HOHLOV, Operators and operations in the class of univalent functions, Izv. Vyss. Ucebn. Zaved. Mat., 10 (1978), 83–89. [7] J.-L. LIU, Strongly starlike functions associated with the Dziok-Srivastava operator, Tamkang J. Math., 35 (2004), 37–42. [8] J.-L. LIU AND H.M. SRIVASTAVA, Classes of meromorphically multivalent functions associated with the generalized hypergeometric function, Math. Comput. Modelling, 38 (2004), 21–34. [9] J.-L. LIU AND H.M. SRIVASTAVA, Certain properties of the DziokSrivastava operator, Appl. Math. Comput., 159 (2004), 485–493. The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 14 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au [10] S.S. MILLER AND P.T. MOCANU, Differential subordination and inequalities in the complex plane, J. Differential Equations, 67 (1987), 199– 211. [11] S.OWA, On the distortion theorem I, Kyungpook Math. J., 18 (1978), 53– 58. [12] S. OWA AND H.M. SRIVASTAVA, Univalent and starlike generalized hypergeometric functions, Cand. J. Math., 39 (1987), 1057–1077. [13] F. RONNING, A survey on uniformly convex and uniformly starlike functions, Ann. Univ. Mariae Curie-Sklodowska, 47(13) (1993), 123–134. [14] St. RUSCHEWEYH, New criteria for univalent functions, Proc. Amer. Math. Soc., 49 (1975), 109–115. The Dziok-Srivastava Operator and k−Uniformly Starlike Functions R. Aghalary and Gh. Azadi Title Page Contents JJ J II I Go Back Close Quit Page 15 of 15 J. Ineq. Pure and Appl. Math. 6(2) Art. 52, 2005 http://jipam.vu.edu.au