arxiv: v2 [math.cv] 24 Nov 2009

Transcription

1 On strongly starlike and convex functions of orderαand typeβ IKKEI HOTTA Division of Mathematics, Graduate School of Information Sciences, Tohoku University, Aramaki-Aza-Aoba, Aoba-ku, Sendai, Miyagi , Japan Telephone number ; arxiv:09.354v [math.cv] 4 Nov 009 Abstract MAMORU NUNOKAWA Gunma University, Hoshikuki 798-8, Chuou-Ward, Chiba , Japan In this note we investigate the inclusion relationship between the class of strongly starlike functions of orderαand typeβ,α 0, ] andβ [0, ), which satisfy } z f arg z) f z) β < π α and the class of strongly convex functions of orderαand typeβwhich satisfy arg + z } f z) f z) β < π α in the unit disk, where f is an analytic function defined on the unit disk and satisfies f 0) = f 0) =. Some applications of our main result are also presented which contains various classical results for the typical subclasses of starlike and convex functions. Key words: univalent function, strongly starlike function, strongly convex function 000 MSC: primary; 30C45. Introduction LetAdenote the set of functions f z)=z+ n= a n z n which are analytic in the unit disk D=z C: z <}. Letαbe a real number withα 0, ]. A function f A is called strongly starlike of orderα if it satisfies arg z f z) f z) } < π α addresses: ikkeihotta@ims.is.tohoku.ac.jp IKKEI HOTTA), mamoru nuno@doctor.nifty.jp MAMORU NUNOKAWA) Corresponding author. Preprint submitted to Elsevier November, 08

2 for all z Dand strongly convex of orderαif arg + z } f z) < π f z) α for all z D. Let us denote bys α) the class of functions strongly starlike of orderα, and by Kα) the class of functions strongly convex of orderα. The classs α) was introduced first by Stankiewicz [3] and by Brannan and Kirwan [], independently. It is clear from the definitions thats α ) S α ) andkα ) Kα ) for 0<α <α. The case whenα=, i.e., S ) andk) correspond to well known classes of starlike and convex functions respectively, and therefore all the functions which belong tos α) orkα) are univalent ind. We denote bys andk the classes of starlike and convex functions. For the general reference of classes of starlike and convex functions, see, for instance [3]. Mocanu [9] obtained the following result see also []). Here, set ) +α α ) α ρα)=tan α +α α ) α + α +α ) +α [ π ] sin α) [ π ] cos α) ) and γα)=α+ π ρα). Theorem A.Kγα)) S α) for eachα 0, ]. We remark that the functionγα) is continuous and strictly increases from 0 to whenαmoves from 0 to. Further investigations for the above theorem can be found in [5]. Now we shall introduce the class of functionss α,β) andkα,β),α 0, ] andβ [0, ), whose members satisfy the conditions } z f arg z) f z) β < π α and arg + z } f z) f z) β < π α for all z D, respectively. We call a function f S α,β) strongly starlike of orderαand typeβ. In the same way, a function f Kα,β) is strongly convex of orderαand typeβ. It is obvious that S α, 0)=S α) andkα, 0)=Kα). Also the following relations are true from the definitions; i) S α,β) S α,β), ii) Kα,β) Kα,β), iii) S α,β ) S α,β ), iv) Kα,β ) Kα,β ), )

3 for 0<α <α and 0 β <β <. That is why all functions belong tos α,β) orkα,β) are univalent ond. A sufficient condition for which f A lies ins α,β) was proved by the second author et al. []. The authors also proposed in [] the open problem about a inclusion relationship betweenkα,β) ands α,β). However, it seems that no results concerning this question have been known. Our main result is the following; Theorem.Kγα),β) S α,β) for eachα 0, ] andβ [0, ). The above theorem includes Theorem A as the case whenβ=0. We should notice the reader that this estimation is not sharp for eachα 0, ] andβ [0, ) see also [5]). We will discuss about this problem in section with the proof of Theorem. Our main theorem yields several applications which will be shown in the last section.. Proof of Theorem Our proof relies on the following lemma which was obtained by the second author [0, ]; Lemma B. Let pz) be analytic and satisfies p0)=, pz) 0 in D. Let us assume that there exists a point z 0 D such that arg pz) <πα/ for z < z 0 and arg pz 0 ) =πα/ whereα>0. Then we have z 0 p z 0 ) pz 0 ) = iαk where k a+ when arg pz0 )=πα/ and k pz 0 ) /α =±ia and a>0. The next result will be used later; Lemma. Tan α ρα) for allα 0, ], whereρis defined by ). Proof. Putφα)=/ α)) α)/+α)) +α. It is enough to prove that α αφα) sin [π α)/] +αφα) cos [π α)/] a+ when arg pz0 )= πα/, where for allα 0, ]. Sinceφα)< because ofφ0)= andφ α)<0, we obtainα>φα) and therefore It remains to show that for allα 0, ] and this is clear. α sin [π α)/] +α cos [π α)/] α > αφα) sin [π α)/] +αφα) cos [π α)/]. α sin [π α)/] +α cos [π α)/] 3

4 Proof of Theorem. Let us suppose that f satisfies the assumption of the theorem and let pz)= ) z f z) β f z) β. Then p0) =, and calculations show that + z f z) f z) β= β)pz) β)pz)+β. 3) zp z) pz) + We note that pz) 0 holds for all z D since +z f z)/ f z) β ondfrom our assumption. Now we derive a contradiction by using Lemma B. If there exists a point z 0 such that arg pz) < πα/ for z < z 0 and arg pz 0 ) = πα/, whereα 0, ], then by Lemma B, p must satisfy z 0 p z 0 )/pz 0 )=iαk where k a+ when arg pz0 )=πα/ and k a+ when arg pz 0 )= πα/, where pz 0 ) /α =±ia and a>0. At first we suppose that arg pz 0 )=πα/. Then from 3) we have arg + z } 0 f z 0 ) β f z 0 ) z0 p z0) = arg β)pz 0) + pz 0 ) β)pz 0 )+β = π α+arg + } iαk. β)pz 0 )+β We shall estimate the second term of the second line of above. Geometric observations show that the point +[iαk/ β)pz 0 )+β}] lies on the subarc C of the circle which passes through, +iαk and +[iαk/pz 0 )], where C connects +iαk and +[iαk/pz 0 )] and does not pass through. Further, we can find out that the valuearg z : z C} attains its minimum at the end points of C. Therefore we have arg + } iαk min arg+iαk}, arg + iαk }}. 4) β)pz 0 )+β pz 0 ) Here, the first value in the above minimum can be evaluated by arg+iαk} Tan α since k. For the second value, we note that a α +a α takes its minimum value at a= +α)/ α). Therefore arg + iαk } pz 0 ) = arg +e α)i α } π [a α + a α ] arg α)i α +eπ +α α ) α + +α α ) α = ρα). 4

5 By Lemma we conclude that arg + z } 0 f z 0 ) β π f z 0 ) α+min Tan α,ρα) } = π γα) and this contradicts our assumption. In the same fashion, if arg pz 0 )= πα/ then a similar argument shows that arg + z } 0 f z 0 ) β π f z 0 ) α+max Tan α), ρα) } = π γα). This also contradicts our assumption and our proof is completed. We remark that we expect this theorem to be room for improvement in our method because the inequality 4) is a rough estimation except the case whenβ=0, whereas it seems to be not easy to give a precise estimation for the left hand side of 4). 3. Applications We would like to give a further discussion to the relationship betweens α,β) andkα,β) by using Theorem. 3.. It is well known that a convex function is a starlike function, that is,k S. Furthermore, Mocanu [8] showed thatkα) S α) for allα 0, ]. Now we give the next result which includes these properties as special cases; Corollary 3.Kα,β) S α,β) for eachα 0, ] andβ [0, ). Proof. Sinceα γα) for allα 0, ],Kα,β) Kγα),β) S α,β) by ii) in ) and Theorem which is our desired inclusion. Corollary 3 yields the following property; Corollary 4. If z f z) S α,β), then f S α,β). Proof. It is obvious that g Kα,β) if and only if zg z) S α,β). Thus if zg z) S α,β) then g Kα,β) S α,β) from Corollary 3. Hence our assertion follows if we put f z)=zg z). This corollary is equivalent to the following;s α,β) is preserved by the Alexander transformation, where the Alexander transformation [] is the integral transformation defined by for f A. f z) z 0 f u) u du 5

6 3.. Ifα=, then the classs,β) andk,β) is called starlike of orderβand convex of orderβ, respectively. It is easy to see that f S,β) satisfies } z f z) Re >β f z) and f K,β) satisfies Re + z } f z) >β. f z) Marx [7] and Strohhäcker [4] showed thatk, 0) S, /). Jack [4] proposed the more general problem; What is the largest numberβ 0 which satisfiesk,β) S,β 0 )? Later MacGregor [6] and Wilken and Feng [5] answered the problem to give the exact value ofβ 0 ; Theorem C.K,β) S,δβ)) for allβ [0, ), where β δβ)= β β ), if β, log, if β=. This estimation is sharp for each β [0, ). Settingβ=0, we have the result of Marx and Strohhäcker. We can obtain a similar estimation to above that Kγα),δβ)) S α,β) for allα 0, ] andβ [0, ) by Theorem since β < δβ) for all β [0, ). However, the following problem is still open; Open Problem.Kγα),β) S α,δβ)) for eachα 0, ] andβ [0, ). This problem implies Theorem becauses α,δβ)) S α,β) for allα 0, ] andβ [0, ), and Theorem C as the case whenα=. References [] J. W. Alexander, Functions which map the interior of the unit circle upon simple regions, Ann. of Math. 7 95), no.,. [] D. A. Brannan and W. E. Kirwan, On some classes of bounded univalent functions, J. London Math. Soc. ) 969), [3] P. L. Duren, Univalent functions, Springer-Verlag, New York, 983. [4] I. S. Jack, Functions starlike and convex of orderα, J. London Math. Soc. ) 3 97), [5] S. Kanas and T. Sugawa, Strong starlikeness for a class of convex functions, J. Math. Anal. Appl ), no., [6] T. H. MacGregor, A subordination for convex functions of order α, J. London Math. Soc. ) 9 975), [7] A. Marx, Untersuchungen über schlichte abbildungen, Math. Ann ), no., [8] P. T. Mocanu, On strongly-starlike and strongly-convex functions, Studia Univ. Babeş-Bolyai Math ), no. 4, 6. [9], Alpha-convex integral operator and strongly-starlike functions, Studia Univ. Babeş-Bolyai Math ), no.,

7 [0] M. Nunokawa, On properties of non-carathéodory functions, Proc. Japan Acad. Ser. A Math. Sci ), no. 6, [], On the order of strongly starlikeness of strongly convex functions, Proc. Japan Acad. Ser. A Math. Sci ), no. 7, [] M. Nunokawa, S. Owa, H. Saitoh, A. Ikeda, and N. Koike, Some results for strongly starlike functions, J. Math. Anal. Appl. 997), no., [3] J. Stankiewicz, Quelques problèmes extrémaux dans les classes des fonctions α-angulairement étoilées, Ann. Univ. Mariae Curie-Skłodowska Sect. A 0 966), [4] E. Strohhäcker, Beiträge zur Theorie der schlichten Funktionen, Math. Z ), no., [5] D. R. Wilken and J. Feng, A remark on convex and starlike functions, J. London Math. Soc. ) 980), no.,