SUBCLASSES OF UNIVALENT FUNCTIONS SUBORDINATE TO CONVEX FUNCTIONS Department August

advertisement
243
Internat. J. Math. & Math. Sci.
VOL. 20 NO. 2 (1997) 243-248
SUBCLASSES OF UNIVALENT FUNCTIONS SUBORDINATE
TO CONVEX FUNCTIONS
YONG CHAN KIM
IL BaNG JUNG
Department of Mathematics
Department of Mathematics
eUngnam University
Kyungpook National University
Taegti*102-701, KOREA
ongsan 712-749, KOREA
(Received May 17, 1995 and in revised form August 30, 1995)
ABSTRACT. In this paper, we define a new subclass Ao(A, B) of univalent functions and investigate
several interesting characterization theorems involving a general class S" [A, B] of starlike functions
KEY WORDS AND PHRASES: Univalent function, subordination, a-convex function
1991 AMS SUBJECT CLASSIFICATION CODES: 30C45, 30D30
1.
INTRODUCTION AND DEFINITIONS
Let .A denote the class of functions normalized by
z+
f(z)
anzn,
(I I)
which are analytic in the open unit disk ( { z z E C and Izl < I }. Further, let S denote the class of
all functions in L/which are univalent in L/
A function f(z) belonging to ,.q is said to be starlike of order a (0 _< a < 1) if and only if
We denote by S* (a) the subclass of S consisting of functions which are starlike of order a
A function f(z) belonging to 8 is said to be convex of order a (0 < a < 1) if and only if
z.f."(z)
We denote by/C(a) the subclass of 8 consisting of functions which are convex of order a We note that
(14)
S*(a) C_ S* (O) _= S* (O_<o< I)
and
c() c_ c(0)
c (0 _< < 1).
()
With a view to introducing an interesting family of analytic functions, we should recall the concept of
subordination between analytic functions Given two functions f(z) and g(z), which are analytic in L,
the function f(z) is said to be subordinate to g(z) if there exists a function h(z), analytic in L/with
(0)
0 and
I()I < l,
( 6)
such that
()
We denote this subordination by
(()) ( s u).
(.7)
24/,
Y C KIM AND B JUNG
f(z) -< ().
(1 s)
In particular, if g(z) is univalent in H, the subordination (1 8) is equivalent to
g(O) and f(/,t’)C .q(U).
f(O)
(1 9)
Janowski
introduced the class 7:’[A, B] For 1 < B < A < 1, a function p, analytic in/g with
1, belongs to the class T’[A, B] ifp(z) is subordinate to (1 + Az)/(1 + Bz) Also S’[A,B] and
L:[A, B] denote the subclasses of $ consisting of all functions f(z) such that
p(0)
,y’(,)
(,f’(z))’
E 79[A,B] and
f(z)
fl(z)
79[A,B],
(1 10)
respectively. We note that S*[- 1, 1] ,5" and K:[- 1,1] K:
DEFINITION 1. Let cz be a real number. A function f(z) belonging to the class .4 with
(f(z)/z)f’(z) 0 is said to be a-convex inL/if and only if
Re
(1-a)I’()+a
f()
1+
(1 11)
>0.
f’()
Also we denote the class of a-convex functions by .Ma. Then it is easy to see that
A4a
{f
S" Re
I(1-a) zf’(z)f(z)
>0,
zL/1.
(1 12)
See Eenigenberg and Miller [5] for further information on them
We now define the class .Ado(A, B) as follows: If a is a real number, then
A4o(A,B)=(fS’((1-a)
+a 1+
zf"(z)
"]
f’(z) ]
"<
-I <_B < A <_
1
+ Az
I + Bz’
I,zLt}.
(1 13)
Clearly, we have
.Ada (1,- 1) =.Ma, M (A, B)
K:[A, B],
(1 14)
and
S’[A,B].
.Mo(A,B)
2.
(1 15)
MAIN RESULTS
Applying the method of the integral representation [2] for functions in .Mo(A, B) (a > 0), it is not
difficult to deduce
LEMMA 1. The function f(z) is in
belonging to the class S" [A, B] such that
f(z)
PROOF. Setting g(z)
JVlo(A,B),
a
> 0, if and only if there exists a function g(z)
{g(t)}l/t-ldt
,
f(z) {zf’(z)/f(z)} so that (2.1) is satisfied, we observe that
zg’(z)
zft(z) a
1+ zft’(z)h
(l-a)
g(z)
f(z) +
f’(z) )
(
Hence f e Jvlo (A,B) ifand only ifg S’[A,B].
Before stating our first theorem, we need the following definition
DEFINITION 2. Let c be a complex number such that Re c > 0, and let
(2 1)
245
SUBCLASSES OF UNIVALENT FUNCTIONS
N
[[c (1 + 2Rec)
N(c)
1/=
+
2Nz/(1- z2) and b
If h is the univalent function h(z)
(ef [3]) function Q as
Imc]/Rec.
h-l(c),
hI(z + b)/(l +-z)],
Qc(z)
-
zE
(22)
then we define the "open door"
L.
(23)
TItEOREM 1. Let f E .h4 (A, B) (a > 0), and let
l+bz
S"
PROOF. Since f
Then f
a2_(z).
(24)
.Mo (A, B) (a > 0), it follows that there exists a function g S*[A, B]
such
that
1
I(*)
{g(t)}l/’t-ldt
(25)
by using Lemma 1. By the hypothesis, we also have
1
a
zg’(z)
g(z)
-<
1
a
+ Bz
-<
(z).
(26)
Thus, by a result of Miller and Mocanu ([3], Corollary 3.1), we have
{g(t)}l/t-ldt e S’.
f(z)
LEMMA 2. (Mocanu [4]) Let 7:’ be an analytic function in/d satisfying 7 --< Qc If p is analytic in
L, p(0) I/c, and
zp’(z) + P(z)p(z)
1,
(2 7)
then Re p(z) > 0 in H
Making use of Lemma 2, we now prove
TI]EOREM 2. Let f E .M, (A, B) (a
> 0), and let
zff (z) f(z)
f(z)
Then f C S* [A, B].
PROOF. If we set p(z)
zf’(z)/f(z), then
P’()
p(z)
v(z)
(28)
f"(z)
1
f, (--;-
(29)
Hence
(I-a)
Since f
zff(z) +a 1+
f(z)
f"(z))
--p(z)+a
(2 10)
.M (A, B),
p(z) +
Setting T’(z)
p(z) + lip(z)
zff (z)
p(z)
1 + Az
1 + Bz
(2 11)
1, we obtain
v’ ()
(2 12)
246
Y C KIMAND B JUNG
and P --<
by the hypothesis (2.8)
Thus, by Lemma 2, we have
Rep(z) > 0 (z e U).
Since a
(2 13)
> O,
Re{1-P(z)}
>Oc
(zE/d).
(2 14)
Also (1 + Az)/(1 + Bz) (with
1 < B < A < 1) is a convex univalent function
appealing to a known result ([6], Theorem 7), we conclude from (2 11) and (2 14) that
p(z) -.<
l+Az
1
Therefore, by
(2 15)
+ Bz"
This evidently completes the proof of Theorem 2
As an example of ([7], Corollary 3.2, see also [9]), consider the case when a
1 < B < A < 1, and A # B. Then the differential equation
q(z) + a
zq’(z)
q(z)
1
1
+ Az
+ Bz
> 0,
(2 16)
has a univalent solution given by
if
B:0
q()
(2 17)
if B=0.
If p(z) is analytic in H and satisfies
p(z) +
zp’ (z)
p(z)
then
-
p(z) -< q(z) -<
+ Az
+ Bz
(2 18)
1 +Az
l+Bz"
(2.19)
1
1
Hence, by the equations (2.11) and (2 19), we obtain
TItEOREM 3. Let a > 0 and f E .Mo (A, B). Then
zf’ (z)
f(z)
where q(z) is given by (2.17).
TItEOREM 4. K:(o) C .Ma(1
PROOF. If we define
ho(z)
2a,
1
’< q(z) -,<
1 + az
1 + Bz
1)(0 <
< 1).
c
+ (1 2c)z (O<a<l)
1-z
(2.20)
(221)
then we can easily see that f 6/C(a) if and only if
+ zf"()
?,()
ho()
(cf 10], Equation (9)). Hence, by Theorem of 10], we have
(2 22)
SUBCLASSES OF UNIVALENT FUNCTIONS
(2 23)
f()
Therefore we conclude from [8, Lemma 2.2] that
f(z)
This completes the proof of Theorem 4
+c 1 +
2/, 7
f’(z) ]
-
ha(z).
(2 24)
ACKNOWLEDGMENT. This work was partially supported by KOSEF (project No 94-1400-02-01-3)
and TGRC-KOSEF, and by the Basic Science Research Institute Program (BSRI-95-1401)
REFERENCES
[1 JANOWSKI, W, Some extremal problems for certain families of analytic functions I, Ann. Polon.
Math. 25 (1973), 297-326
[2] MOCANU, P T., Une propri6t6 de convexit6 g6n6ralise6 darts la th6orie de la repr6sentation
conforme, Mathemattca (Cluj) 11 (34)(1969), 127-133.
[3] MILLER, S.S. and MOCANU, P.T., Classes of univalent integral operators, J. Math. Anal. Appl.
157 (1991), 147-165
[41 MOCANU, P.T., Some integral operators and starlike functions, Rev. Roumatne Math. Pures Appl.
31 (1986), 231-235.
[5] EENIGENBURG, P.J. and MILLER, S.S., The H’ classes for c-convex functions, Proc. Amer.
Math. Soc. 38 (1973), 558-562.
[6] MILLER, S.S and MOCANU, P.T., Differential subordinations and univalent functions, Mchgan
Math. ,I. 28 (1981), 157-171
[7] MILLER, S.S. and MOCANU, P T., Univalent solutions of Briot-Bouquet differential equations,
J. Dfferential Equation 56 (1985), 297-309.
[8] NOOR, K.I., On some univalent integral operators, J. Math. Anal. Appl. 128 (1987), 586-592
[9] OWA, S. and SRIVASTAVA, H.M., Analytic solutions of a class of Briot-Bouquet differential
equations, in Current Topics m Analyttc Function Theory (H.M Srivastava and S Owa, Editors),
252-259, World Science Publishing Company, Singapore, New Jersey, London, and Hong Kong,
1992.
[10] SALAGEAN, G S., Subclasses of univalent functions, Complete Analysis: Fifth Romaman-Fimsh
Seminer, Part (C Andreian Cazacu, N. Boboc, M Jurchescu, and Siciu, Editors), 362-372,
Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983
Download