IJMMS 28:1 (2001) 51–55 PII. S0161171201006202 http://ijmms.hindawi.com © Hindawi Publishing Corp. ON THE STRONGLY STARLIKENESS OF MULTIVALENTLY CONVEX FUNCTIONS OF ORDER α MAMORU NUNOKAWA, SHIGEYOSHI OWA, and AKIRA IKEDA (Received 16 November 2000) Abstract. The object of the present paper is to derive some sufficient conditions for strongly starlikeness of multivalently convex functions of order α in the open unit disc. 2000 Mathematics Subject Classification. 30C45. ∞ 1. Introduction. Let Ꮽ(p) denote the class of the functions f (z) = zp + n=p+1 anzn which are analytic in the open unit disc Ᏹ = {z : |z| < 1}. A function f (z) ∈ Ꮽ(p) is called p-valently starlike if and only if the inequality Re zf (z) f (z) >0 (1.1) holds for z ∈ Ᏹ. A function f (z) ∈ Ꮽ(p) is called p-valently convex of order α (0 ≤ α < p) if and only if the inequality 1 + Re zf (z) f (z) >α (1.2) holds for z ∈ Ᏹ. We denote by Ꮿ(p, α) the family of such functions. A function f (z) ∈ Ꮽ(p) is said to be strongly starlike of order α (0 < α ≤ 1) if and only if the inequality arg zf (z) < π α f (z) 2 (1.3) holds for z ∈ Ᏹ. We also denote by STS(p, α) the family of functions which satisfy the above inequality for the argument. From the definition, it follows that if f (z) ∈ STS(p, α), then we have Re zf (z) f (z) >0 in Ᏹ (1.4) or f (z) is p-valently starlike in Ᏹ and therefore f (z) is p-valent in Ᏹ (see [1, Lemma 7]). Nunokawa [2, 3] proved the following theorems. Theorem 1.1 (see [2]). If f (z) ∈ Ꮽ(p) satisfies 1 + Re zf (z) f (z) where 0 < α ≤ 1, then f (z) ∈ STS(p, α). < p+ α , 2 (1.5) 52 MAMORU NUNOKAWA ET AL. Theorem 1.2 (see [3]). If f (z) ∈ Ꮽ(1) satisfies arg 1 + zf (z) < π α(β) in Ᏹ, f (z) 2 (1.6) then arg zf (z) < π β f (z) 2 in Ᏹ, (1.7) where α(β) = β + βq(β) sin(π /2)(1 − β) 2 tan−1 , π p(β) + βq(β) cos(π /2)(1 − β) p(β) = (1 + β)(1+β)/2 , (1.8) q(β) = (1 − β)(β−1)/2 . It is the purpose of the present paper to prove that if f (z) ∈ Ꮿ(1, 1 − (α/2)), then f (z) ∈ STS(1, α). In this paper, we need the following lemma. Lemma 1.3. Let f (z) ∈ Ꮽ(1) be starlike with respect to the origin in Ᏹ. Let C(r , θ) = {f (teiθ ) : 0 ≤ t ≤ r < 1} and T (r , θ) be the total variation of arg f (teiθ ) on C(r , θ), so that r ∂ arg f teiθ dt. T (r , θ) = (1.9) ∂t 0 Then T (r , θ) < π . (1.10) We owe this lemma to Sheil-Small [6, Theorem 1]. 2. Main theorem. Our main theorem for the starlikeness of multivalently convex functions of order α is the following. Theorem 2.1. Let f (z) ∈ Ꮽ(1) and 1 + Re zf (z) f (z) > 1− α 2 in Ᏹ, (2.1) where 0 < α ≤ 1. Then arg zf (z) < π α f (z) 2 in Ᏹ, (2.2) or f (z) is strongly starlike of order α in Ᏹ. Proof. We put zf (z) α zg (z) 2 1+ −1+ = , α f (z) 2 g(z) (2.3) ON THE STRONGLY STARLIKENESS . . . where g(z) = z + ∞ n=2 bn z n 53 . From assumption (2.1), we have Re zg (z) g(z) >0 in Ᏹ. (2.4) This shows that g(z) is starlike and univalent in Ᏹ. With an easy calculation (cf. [4]), (2.3) gives us that f (z) = g(z) z α/2 . (2.5) Since f (z) ≠ 0, 0 < |z| < 1, (2.6) we easily have f (z) = zf (z) 1 0 f (tz) dt = f (z) 1 t −α/2 0 α/2 g tr eiθ dt, g r eiθ (2.7) where z = r eiθ and 0 < r < 1. Since g(z) is starlike in Ᏹ, from Lemma 1.3, we have (2.8) −π < arg g tr eiθ − arg g r eiθ < π for 0 < t ≤ 1. Putting ξ= g tr eiθ α/2 , g r eiθ (2.9) we have arg s = g tr eiθ α . arg 2 g r eiθ From (2.8) and (2.10), s lies in the convex sector π s : | arg s| ≤ α 2 (2.10) (2.11) and the same is true of its integral mean of (2.7), (cf. [5, Lemma 1]). Therefore, we have arg f (z) < π α in Ᏹ (2.12) zf (z) 2 or arg zf (z) < π α f (z) 2 in Ᏹ. (2.13) This shows that Re zf (z) f (z) >0 which completes the proof of our main theorem. in Ᏹ, (2.14) 54 MAMORU NUNOKAWA ET AL. Remark 2.2. This result is sharp for the case α → 0 and α = 1. (a) For the case α → 0, put f (z) = z, then f (z) is a convex function of order 1 − (α/2) → 1 and f (z) then f (z) is a strongly starlike function of order α → 0. (b) For the case α = 1, put zf (z) 1 = . f (z) 1−z 1+ (2.15) Then we have 1 + Re zf (z) f (z) > 1 2 in Ᏹ, (2.16) and therefore f (z) is a convex function of order 1/2. From (2.10), we easily have 1 1 f (z) = , f (z) = log . (2.17) 1−z 1−z Putting |z| = 1, z = eiθ , 0 ≤ θ < 2π , then it follows that z 1 cos (θ/2) = − +i , 1−z 2 2 sin (θ/2) 1 1 cos(θ/2) + i arg 1 + i cos(θ/2) . log = log +i 1−z 2 2 sin(θ/2) 2 2 sin(θ/2) zf (z) z/(1 − z) lim arg = lim arg f (z) log(1/(1 − z)) θ→+0 θ→+0 (2.18) cos(θ/2) 1 = lim arg − + i 2 2 sin(θ/2) θ→+0 1 cos(θ/2) + i arg 1 + i cos(θ/2) − lim arg log +i 2 2 sin(θ/2) 2 2 sin(θ/2) θ→+0 = π . 2 The above shows that the main theorem is sharp for the case α → 0 and α = 1. Applying the same method as above and [2], we can obtain the following result. Theorem 2.3. If f (z) ∈ A(p) and satisfies p− α zf (z) < 1 + Re 2 f (z) in Ᏹ, (2.19) where 0 < α ≤ 1, then f (z) ∈ STS(p, α). References [1] [2] [3] M. Nunokawa, On the theory of multivalent functions, Tsukuba J. Math. 11 (1987), no. 2, 273–286. MR 89d:30013. Zbl 639.30014. , On certain multivalently starlike functions, Tsukuba J. Math. 14 (1990), no. 2, 275– 277. MR 92b:30016. Zbl 728.30014. , On the order of strongly starlikeness of strongly convex functions, Proc. Japan Acad. Ser. A Math. Sci. 69 (1993), no. 7, 234–237. MR 95f:30019. Zbl 793.30007. ON THE STRONGLY STARLIKENESS . . . [4] [5] [6] 55 M. Nunokawa and S. Owa, On certain subclass of analytic functions, Indian J. Pure Appl. Math. 19 (1988), no. 1, 51–54. MR 89c:30029. Zbl 646.30020. C. Pommerenke, On close-to-convex analytic functions, Trans. Amer. Math. Soc. 114 (1965), 176–186. MR 30#4920. Zbl 132.30204. T. Sheil-Small, Some conformal mapping inequalities for starlike and convex functions, J. London Math. Soc. (2) 1 (1969), 577–587. MR 40#2842. Zbl 201.40803. Mamoru Nunokawa: Department of Mathematics, University of Gunma, Aramaki Maebashi Gunma, 371-8510, Japan E-mail address: nunokawa@edu.gunma-u.ac.jp Shigeyoshi Owa: Department of Mathematics, Kinki University, Higashi-Osaka, Osaka 577-8502, Japan E-mail address: owa@math.kindai.ac.jp Akira Ikeda: Department of Applied Mathematics, Fukuoka University, Nanakuma Jonan-ku Fukuoka, 814-0180, Japan E-mail address: aikeda@sf.sm.fukuoka-u.ac.jp