Вы находитесь на странице: 1из 13

Copyright 2012 by Modern Scientific Press Company, Florida, USA

International Journal of Modern Mathematical Sciences, 2012, 4(2): 71-83



I nternational J ournal of Modern Mathematical Sciences
Journal homepage:www.ModernScientificPress.com/Journals/ijmms.aspx
ISSN: 2166-286X
Florida, USA
Article
Coefficient Estimate for a Subclass of Close-to-convex Functions

B. S. Mehrok
1
, Gagandeep Singh
2
, Deepak Gupta


1
# 643 E, B.R.S. Nagar, Ludhiana (Punjab), India
2
Department of Mathematics, DIPS College (Co-Educational), Dhilwan(Kapurthala), Punjab, India
3
Department of Mathematics, M.M.University, Mullana-Ambala (Haryana), India

* Author to whom correspondence should be addressed; Email: kamboj.gagandeep@yahoo.in

Article history: Received 1October 2012, Received in revised form 27 October 2012, Accepted 29
October 2012, Published 30 October 2012.

Abstract: In this paper, we introduce a subclass of the Close-to-convex functions. We
derive inclusion relation, establish integral representation formula and obtain some
coefficient estimates for such functions.

Keywords: Subordination, Starlike functions, Convex functions, Close-to-convex
functions, -Close-to-convex functions.
Mathematics Subject Classification: 30C45

1. Introduction
Let U be the class of functions

( )
1
k
k
k
w z c z

=
= (1.1)
which are regular in the unit disc
{ }
: 1 E z z = < and satisfying the conditions
(0) 0 w = and ( ) 1 w z < , z E e .
Let A denote the class of functions
( )

=
+ =
2 k
k
k
z a z z f (1.2)
which are analytic in E .
Let S

be the class of functions ( ) A z f e which are regular and univalent in . E
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
72
Let
-
S

be the class of starlike functions with the condition

( )
( )
. , 0 Re E z
z f
z f z
e >
)
`

'

Let K

be the class of convex functions with the condition

( )
( )
. , 0 1 Re E z
z f
z f z
e >
)
`

'
' '
+

If f and g are analytic functions in E , then we say that f is subordinate to g , written as f g or
( ) ( ) f z g z < , if there exists a function ( ) w z U e such that ( ) ( ( )) f z g w z = . If g is univalent then
f g < if and only if ( ) ( ) 0 0 f g = and ( ) ( ) f E g E c .
A function ( ) A z f e is said to be in the class ( ) B A J , if there exists a convex function ( ) z h such that

( )
( ) Bz
Az
z h
z f z
+
+ '
1
1
, E z A B e s < s , 1 1 .
This class was introduced and studied by Mehrok and Singh[7]. Also ( ) J J 1 , 1 , the class of
close-to-convex functions introduced by Gawad and Thomas[5].
Let ( ) B A J , '
be the class of functions ( ) A z f e with the condition

( ) ( )
( ) Bz
Az
z h
z f z
+
+
'
'
'
1
1
, ( ) E z A B K z h e s < s e , 1 1 , .
By
o
C , we denote the class of functions ( ) A z f e for which
( ) ( )
0
.
=
'
z
z f z f
and
( )
( )
( )
( ) ( )
( )
( ) 0 0 1 Re > >

'
'
'
+
'
o o o
z g
z f z
z g
z f z
, where ( ) .
-
eS z g
This class was introduced by Chichra[2] and functions of this class are called -Close-to-
convex functions.
Since K

is a subclass of
-
S , we define the following subclass.
Let ( ) B A J , ; o be the class of functions ( ) A z f e for which
( ) ( )
0
.
=
'
z
z f z f
and
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
73
( )
( )
( )
( ) ( )
( )
E z A B
Bz
Az
z h
z f z
z h
z f z
e > s < s
+
+
'
'
'
+
'
, 0 , 1 1 ,
1
1
1 o o o , (1.3)
where ( )

=
e + =
2
.
k
k
k
K z b z z h (1.4)
In particular ( ) . 1 , 1 ;
o
o J J
The following observations are obvious:
(i) ( ) J J 1 , 1 ; 0 .
(ii) ( ) ( ). , , ; 0 B A J B A J
(iii) ( ) ( ). , , ; 1 B A J B A J '
In this paper we obtain sharp bounds for some coefficients of the functions belonging to
the class ( ). , ; B A J o

We also find an integral representation formula and inclusion relation for the
class ( ). , ; B A J o
2. Preliminary Lemmas
Lemma 2.1[6] If ( )
( )
( )
=
+
+
=
z Bw
z Aw
z p
1
1
( )

=
e +
1
, , 1
k
k
k
U z w z p

(2.1)
then ( ) B A p
n
s , 1 n > .
The bounds are sharp, being attained for the functions

( ) . 1 , 1 ,
1
1
> =
+
+
= n
z B
z A
z P
n
n
n
o
o
o

Lemma 2.2[8] Let P be the class of analytic functions of the form

( )
( )
( )
=

+
=
z w
z w
z p
1
1
( )

=
e +
1
, , 1
k
k
k
U z w z p

which have positive real part in E, then

2 s
n
p , 1 n > .
Equality is attained for the Mobius function
( ) .
1
1
0
z
z
z L

+
=

Lemma 2.3[4] Let ( ) , P z p e then
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
74

.
2
2
2
2
1
2
1
2
p
p
p s

(2.2)
Note that the inequality (2.2) can be written as

. 1 ,
2
1
2
2
1 2
1
2
1 2
s
|
.
|

\
|
+ = c c p p p

(2.3)
Lemma 2.4 For every convex function ( ) z h and for real numbers t o , , , , e such that , 2 3
o 5 6 , ,
24 15
1 t

36 40
1 e
and
18 16 20
1 e t


are all nonnegative, we have the sharp inequalities:
s 1
3 2 4
b b b ; ,
6
5
s (2.4)
s 1
3
2 3 2 4
b b b b ; , 0 6 6 5 > (2.5)
o o s 1
3
2
2 5
b b b ; ,
15
8
s o (2.6)

e t e t s 1
2
3 4 2 5
b b b b

; . 0 25 20 12 > e t (2.7)
Proof of Lemma. Since ( ) z h is convex, there exists
( )

=
+ =
1
1
k
k
k
z p z p (2.8)
such that


( )
( )
( ). 1 z p
z h
z h z
=
'
' '
+ (2.9)
Comparing coefficients of both sides of (2.9) using (1.4) and (2.8), we see that

1 2
2
1
p b =


6 6
2
1 2
3
p p
b + =


24 8 12
2
1 1 2 3
4
p p p p
b + + =


120 40 20 15 20
4
1
2
2
2
1 2 1 3 4
5
p p p p p p p
b + + + + =

..
so that

=
3 2 4
b b b ( )
( )
( )
)
`

+ +
2 2 3
2 1 2
24
2 3
12
2
1
2
1 3
p
p
p p


(2.10)
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
75

=
3
2 3 2 4
b b b b ( )
( )
( )
)
`


+ +
2 2 3
3 2 1 2
24
2 3
12
2
1
2
1 3
p
p
p p


(2.11)

=
3
2
2 5
b b b o ( )
( )
( )
)
`

+ + + +
2 5 6
5 1 2
120
5 6
40 15 20
2
1
2
2
1
2
2 1 3 4
p
p
p p p p p
o
o
o

(2.12)
=
2
3 4 2 5
b b b b e t

.
2
18 16 20
1
36 48 120
1
2
18 16 20
1
36 40
1
24 15
1
20
2
1
2
2
1
2
2 1 3
4

|
.
|

\
|

|
.
|

\
|

+ |
.
|

\
|
+ |
.
|

\
|
+ |
.
|

\
|
+
p
p p p p p
p
e t
e t
e t e t

(2.13)

Recall that the real numbers , 2 3 o 5 6 , ,
24 15
1 t

36 40
1 e
and
18 16 20
1 e t


are nonnegative.
We eliminate
2
p in each of the terms in the curly brackets in (2.10) - (2.13) using the equality (2.3).
For instance, we have from (2.10),

( )
( )
( )
( )
.
2
2
2 2 3
6 5
2 2 3
2 1 2
2
1
2
1
2
1
2
|
|
.
|

\
|
+

+
p
p p
p c


(2.14)
Since , 0
2
2
2
1
>
p
the absolute value of (2.14) attains its maximum for 2
1
= p provided .
6
5
s

Thus (2.14) yields


( )
( )
( )
( )
,
2 3
6 5 2
2 2 3
2 1 2
2
1
2

+
p
p

(2.15)
so that, by triangle inequality and lemma 2.2, (2.10) yields the first inequality of the theorem.
Similar arguments and computation from (2.11) to (2.13), lead to the remaining inequalities
respectively.
For each of the real numbers t o , , , and e, equality is attained in each case by the function given
by
( ) .
1
0
z
z
z K

=
Lemma 2.5[3] Let 0 > o

and ( ) z D

be starlike function in E . Let ( ) z N

be analytic in E
and ( ) ( ) 0 0 0 = = D N

,

( ) ( ) 1 0 0 = ' = ' D N , then


( )
( )
0 Re >
)
`

z D
z N

for z in E , whenever

( )
( )
( )
( )
( )
. , 0 1 Re E z
z D
z N
z D
z N
e >
)
`

'
'
+ o o

Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
76
Lemma 2.6. Under the same conditions of lemma 2.5,

( )
( ) Bz
Az
z D
z N
+
+
1
1



whenever

( )
( )
( )
( )
( ) Bz
Az
z D
z N
z D
z N
+
+
'
'
+
1
1
1 o o

. , 1 1 , E z A B e s < s

Proof. By definition of subordination,

( )
( )
( )
( )
( )
( )
( )
( ) . ,
1
1
1 U z w
z Bw
z Aw
z D
z N
z D
z N
e
+
+
=
'
'
+ o o

Taking real part,

( )
( )
( )
( )
( )
( )
( )
)
`

+
+
=
)
`

'
'
+
z Bw
z Aw
z D
z N
z D
z N
1
1
Re 1 Re o o


( ) r z
Br
Ar
=

> ,
1
1


| =

>
B
A
1
1

(say)

( ). 1 0 < s |
The above result can be written as

( )
( )
( )
( )
( )
( )
0 1 Re
1
1
>
)
`

|
|
.
|

\
|

'
'
+
|
|
.
|

\
|

| o | o
| z D
z N
z D
z N
(2.16)
Setting ( )
( ) ( )
|
|

=
1
z D z N
z M

, (2.17)
(2.16) takes the form

( )
( )
( )
( )
( )
. 0 1 Re >
)
`

'
'
+
z D
z M
z D
z M
o o

So using lemma 2.5,we get

( )
( )
. 0 Re >
)
`

z D
z M

From (2.17) , it yields

( )
( )
.
1
1
Re
B
A
z D
z N

= >
)
`

|

So

( )
( )
.
1
1
Bz
Az
z D
z N
+
+




Lemma 2.7[1] Let ( ) ( ) z g z f , and ( ) z h are analytic in E and ( ) z h

is convex univalent such that
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
77

( ) ( ) z g z f

and ( ) ( ) z h z g ,
then ( ) ( ) ( ) ( ) z h z g z f + 1

for . 1 0 < <
Except the above lemmas, we shall depend on the following well known coefficient functionals for
convex functions:

; 2 , 1 > s n b
n

(2.18)


s 1
2
2 3
b b provided .
3
2
s

(2.19)
3. Integral Representation Formula
Theorem 3.1. A function ( ) z f is in ( ) B A J , ; o

if and only if there exists a convex function ( ) z h

and
a function ( ) z p which is regular and has a positive real part in E such that

( )
( ) | |
( ) | | ( ) ( )
} }
|
|
.
|

\
|
'
+
=
z t
c
c
dt du u p u h u h
t h t
c
z f
0 0
.
1
(3.1)
where . 0 , 1
1
= = o
o
c

If 0 = o

, then ( )
( )
( ) .
0
dt t p
t
t h
z f
z
}
|
.
|

\
|
= (3.2)
( powers in (3.1) are meant as principal values)
Proof. Let ( ) ( )( ), 0 , ; > e o o B A J z f then

( )
( )
( )
( ) ( )
( )
( ) z p
z h
z f z
z h
z f z
=
'
'
'
+
'
o o 1

,
where ( ) z p is a function with positive real part in E.
Dividing by o

and putting , 1
1
=
o
c we get

( )
( )
( ) ( )
( )
( ) ( ). 1 z p c
z h
z f z
z h
z f z
c + =
'
'
'
+
'
(3.3)
Multiplying (3.3) by ( ) | | ( ) z h z h
c
' , we obtain

( ) ( ) | | ( ) ( ) | | ( ) ( ) ( ) ( ) | | ( ) ( ) z p z h z h c z f z z h z h z h z f cz
c c c
' + =
'
' + ' '

1
1


which implies


( ) ( ) | | ( ) ( ) ( ) | | ( ) ( ). 1 z p z h z h c z h z f z
c c
' + =
'
'

(3.4)
Therefore on integrating (3.4) with respect to z , we obtain (3.1).
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
78
Conversely, if ( ) z f satisfies (3.1), then it is easy to see that ( ) ( ). , ; B A J z f o e
On choosing ( )
( ) z
z
z h

=
1
and ( )
Bz
Az
z P
+
+
=
1
1
in (3.1), we obtain the following function of
( ) : , ; B A J o


( ) ( ) ( )
( )
( ) ( )
} }
(

+
+
+ =
+

z t
c
c
c c
dt du
Bu u
Au u
t t c z f
0 0
2
1
1 1
1
1 1 , |
.
|

\
|
= 1
1
o
c . (3.5)


4. Coefficient Bounds
Theorem 4.1. If ( ) ( ) B A J z f , e , then

( )
,
2
) 1 ( 1 B A n
n
a
n

+ s 2 > n .
This result was proved by Mehrok and Singh in [7].

Theorem 4.2. If ( ) ( ) B A J z f , ' e , then

( )
,
2
) 1 (
1
1
(


+ s
B A n
n
a
n
2 > n . (4.1)
Proof. As ( ) ( ) B A J z f , ' e , then by definition of subordination

( ) ( )
( ) z h
z f z
'
'
' ( )
( )
=
+
+
=
z Bw
z Aw
1
1
( )

=
e +
1
. , 1
k
k
k
U z w z p

(4.2)
Using (1.2) and (1.4) in (4.2), we get
( ) ( ) ... ... 3 2 1 ... ... 9 4 1
1 2
3 2
1 2 2
3 2
+ + + + + = + + + + +
n
n
n
n
z nb z b z b z a n z a z a
. ( ) ... ... 1
1
1
2
2 1
+ + + + +

n
n
z p z p z p . (4.3)
On equating the coefficients of
1 n
z in (4.3), we have
( )
n n n n n
nb p b n p b p a n + + + + =
1 1 2 2 1
2
1 ... 2 .
So
( )
n n n n n
b n p b n p b p a n + + + + s
1 1 2 2 1
2
1 ... 2 . (4.4)
Using (2.2) and lemma 2.1 in (4.4), (4.1) can be easily obtained.
For 1 , 1 = = B A , theorem 4.2 gives the following result :
Corollary 4.3. If ( ) J z f ' e , then

. 2 , 1 > s n a
n

Theorem 4.4. If ( ) ( ) B A J z f , ; o e , then
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
79

( )
( )
,
1 2 2
1
2
o +

+ s
B A
a

(4.5)

( )
( )
,
1 3
2
3
1
3
o +

+ s
B A
a

(4.6)

( )
( )
,
1 4
3
4
1
4
o +

+ s
B A
a

(4.7)

( )
( )
,
1 5
4
5
1
5
o +

+ s
B A
a

(4.8)

( )
( )
.
1 6
5
6
1
6
o +

+ s
B A
a

(4.9)
The bounds are sharp.
Proof. Since ( ) ( ) B A J z f , ; o e , so by definition of subordination and using (2.1),

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) z h z h z p z f z z h z h z f z ' =
'
' + ' ' o o 1

(4.10)
Using (1.2),(1.4) and (2.1) in (4.10) , it yields

( )
( )
( )
)

+ + + + + +
+ + + + + +

... 6 5 4 3 2 1 .
... 6 5 4 3 2
1
5
6
4
5
3
4
2
3 2
6
6
5
5
4
4
3
3
2
2
z b z b z b z b z b
z a z a z a z a z a z
o


( )
( )
)

+ + + + + +
+ + + + + +
+
... .
... 36 25 16 9 4 1
6
6
5
5
4
4
3
3
2
2
5
6
4
5
3
4
2
3 2
z b z b z b z b z b z
z a z a z a z a z a
o


( ) ... 1
6
6
5
5
4
4
3
3
2
2 1
+ + + + + + + = z p z p z p z p z p z p

. ( )( ) ... 6 5 4 3 2 1 ...
5
6
4
5
3
4
2
3 2
6
6
5
5
4
4
3
3
2
2
+ + + + + + + + + + + + z b z b z b z b z b z b z b z b z b z b z

(4.11)
On equating the coefficients of z
2
, z
3
, z
4
, z
5
and z
6
respectively in (4.11) , we get

( ) ( ) , 1 1 2
1 2 2
p b a + + = + o o

(4.12)

( ) ( )
, 2
2
2 1 2 3 2 2 3
2 3 2 1 4 2 1 3 p b p b b b a a + + + + + = + o o

(4.13)

( ) ( ) ( ) ( )
3 2 4 4 3 2 2 3 4
5 5 4 3 6 2 3 6 3 1 4 b b b b b a b a a + + + + + = + o o o o

( ) , 3 2 4
3 2 2 1
2
2 3
p p b p b b + + + + (4.14)
( ) ( ) ( ) ( )
1 3 2 5 4 2
2
3 5 4 2 3 3 2 4 5
5 6 6 3 4 5 2 4 9 1 8 4 1 5 p b b b b b b b b a b a b a a + + + + + = + o o o o
, 3 2 2 5
4 3 2 2 3 2
2
2 1 4
p p b p b p b p b + + + + + (4.15)
( ) ( ) ( ) ( ) ( ) ( )
6 5 2 4 3 3 4 2 5 6
5 6 3 5 2 4 3 3 4 3 2 5 5 1 6 b b a b a b a b a a o o o o o o + + = +

1 5 1 4 2 1
2
3 6 2 5 3 4
6 6 3 7 7 7 p b p b b p b b b b b b + + + + + +
. 3 4 2 5 5
5 4 2 3 3 3
2
2 2 4 2 3 2
p p b p b p b p b p b b + + + + + + (4.16)
Using (4.12) in (4.13) , we get
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
80

( )( ) ( )( ) ( ) ( ) . 1 3 1 2 1 1 2 1 1 3
2 1 2 3 3
p p b b a o o o o o o + + + + + + = + +

(4.17)
Again using (4.12) and (4.13) in (4.14) , it yields
( )( )( ) ( )( )( ) ( )( )
1 3 4 4
5 1 2 1 3 1 2 1 1 3 1 2 1 1 4 p b b a o o o o o o o o + + + + + + = + + +


( )( ) ( )( ) ( ) . 1 2 1 1 5 1 1
1
2
2 3 2 2
p b p p b + + + + + + + o o o o o o (4.18)
Then using (4.12), (4.13) and (4.14) in (4.15), it gives
, 5
1
3
2 7 2
2
2 6 1 3 2 5 4 4 3 2 3 2 3 2 1 4 1 5 0 5 0
p b A p b A p b b A p A p b A p b A p b A b A a A + + + + + + + = (4.19)
where ( )( )( )( ), 4 1 3 1 2 1 1
0
o o o o + + + + = A ( )( )( ), 7 1 3 1 2 1
1
o o o + + + = A

( )( )( ), 8 1 3 1 1
2
o o o + + + = A

( )( )( ), 7 1 2 1 1
3
o o o + + + = A


( )( )( ), 3 1 2 1 1
4
o o o + + + = A

( )( ), 5 2 1 2
5
o o o + = A


( ), 1 2
2
6
= o o A

,
6 7
A A =

From (4.12) , (4.13) , (4.14) , (4.15) and (4.16), we have
1 3
2
2 8 1
2
3 7 1 2 4 6 5 5 4 2 4 3 3 3 2 4 2 1 5 1 6 0 6 0
6 p b b B p b B p b b B p B p b B p b B p b B p b B b B a B + + + + + + + + =

,
3
2
2 12 2
3
2 11 2 2 3 10 1
4
2 9
p b B p b B p b b B p b B + + + +

(4.20)
where ( )( )( )( )( ), 5 1 4 1 3 1 2 1 1
0
o o o o o + + + + + = B ( )( )( )( ), 9 1 4 1 3 1 2 1
1
o o o o + + + + = B

( )( )( )( ), 11 1 4 1 3 1 1
2
o o o o + + + + = B

( )( )( )( ), 11 1 4 1 2 1 1
3
o o o o + + + + = B

( )( )( )( ), 9 1 3 1 2 1 1
4
o o o o + + + + = B

( )( )( )( ), 4 1 3 1 2 1 1
5
o o o o + + + + = B


( )( ) , 3 1 1 6
2
6
o o o + = B

( )( )( ), 4 1 2 1 1 4
7
o o o o + + = B


( )( ), 34 45 11 1
2
8
o o o o + + = B

( )( ), 3 2 1 2
2
9
o o o + = B


( )( ), 7 2 1 4
2
10
o o o + = B

,
9 11
B B =

( )( ). 2 1 1 3
2
12
o o o + = B

From (4.12) and (4.13) , using lemma 2.1 and inequality (2.16), we can easily obtain (4.5) and (4.6).
Now from (4.14) , using lemma 2.1 and inequality (2.16), we get
( )( )( ) ( )( )( ) ( )( )( ) o o o o o o o o 2 1 1 3 1 2 1 1 4 3 1 2 1 1 4
4
+ + + + + + s + + + B A a

( )( )( ) ( )( )( )
( )
( )( )
.
5 1 2 1
1
5 1 2 1 5 1 1 2
2
2 3
b b B A B A
o o
o o
o o o o
+ +

+ + + + + + (4.21)
It is easily verified that
( )
( )( ) 3
2
5 1 2 1
1
s
+ +

o o
o o
for all . 0 > o
So using inequality (2.17) in (4.14) , we obtain (4.7).
Now for n=5, if , 1 > o we define

2
6
1
A
A
= and .
5
7
2
A
A
=
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
81
Therefore (4.19) can be written as

{ } { }, 5
2
2 2 3 1 2 5 4 4 3 2 3
2
2 1 3 2 2 1 4 1 5 0 5 0
b b p b A p A p b A b b p A p b A b A a A + + + + + = (4.22)
and for , 1 0 < s o we define

1
5
A
A
= and rewrite (4.19) as

{ } { } . 5
1
3
2 7 4 4 3 2 3
2
2 1 3 2 2 3 2 4 1 1 5 0 5 0
p b A p A p b A b b p A b b b p A b A a A + + + + + = (4.23)
We can easily verify that
3
2
,
2 1
s for all . 0 > o
So also
6
5
s , for . 1 0 < so
Using lemma 2.1, lemma 2.4, inequalities (2.16) and (2.17) in (4.22) and (4.23) , we obtain (4.8).
Now we compute the bound for .
6
a
We define

1
6
1
8
2
11
2
10
8
9
2
3
12
1
, , , , ,
B
B
B
B
B
B
B
B
B
B
B
B
= = = = = = t o and .
1
7
B
B
= e
For , 1 > o we write (4.20) as

{ } { }
5 5 4 2 4 3 3 3
3
2 3 2 4 2 2 3
2
2 5 1 1 6 0 6 0
6 p B p b B p b B b b b b p B b b b p B b B a B + + + + + = o

, `
3
2
2 12 1
4
2 9 1
2
3 7 1 2 4 6
p b B p b B p b B p b b B + + + +

(4.24)
and for , 1 0 < s o we rewrite (4.20) as

{ } { } { }
4 2 4
2
2 1 3 3 3 3 2 4 2 2
2
3 4 2 5 1 1 6 0 6 0
6 p b B b b p B b b b p B b b b b p B b B a B + + + + = e t

{ } . `
2
3
2 11
2
2 2 3 1
2
2 8 5 5
p b B b b p b B p B + + +

(4.25)
Again, it is easy to verify that for all , 0 > o the real numbers t o , , , , ,
2 1
and e defined in (4.24)
and (4.25) all satisfy (as appropriate) the conditions of lemma 2.4 and inequality (2.17).
Thus using lemma 2.1 , lemma 2.4 , inequalities (2.16) and (2.17) in (4.24) and (4.25) , we obtain
the bound for .
6
a
The extremal function is obtained by choosing ( )
( ) z
z
z g

=
1
and ( )
Bz
Az
z p
+
+
=
1
1
in the integral
representation formula proved in Theorem 3.1.
Conjecture: If ( ) ( ) B A J z f , ; o e , then

( )( )
( )
. 2 ,
1
1 1
>
+

+ s n
n
B A n
n
a
n
o



Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
82
On putting 1 , 1 = = B A in Theorem 4.4, we obtain the following result:
Corollary 4.5. If ( )
o
J z f e , then

( )
,
1 2
3
2
o
o
+
+
s a



( )
,
1 3
5
3
o
o
+
+
s a



( )
,
1 4
7
4
o
o
+
+
s a


( )
,
1 5
9
5
o
o
+
+
s a



( )
.
1 6
11
6
o
o
+
+
s a

5. Inclusion Relations
Theorem 5.1. If ( ) ( ) B A J z f , ; o e , then ( ) ( ). , B A J z f e
Proof. It is well known that
( )
Bz
Az
z f
+
+
1
1
if and only if ( ) { } .
1
1
Re
B
A
z f

>
As ( ) ( ) B A J z f , , o e , so


( )
( )
( )
( ) ( )
( )
E z
Bz
Az
z h
z f z
z h
z f z
e
+
+
'
'
'
+
'
,
1
1
1 o o , (5.1)
which implies that

( )
( )
( )
( ) ( )
( )
.
1
1
1 Re
B
A
z h
z f z
z h
z f z

>

'
'
'
+
'
o o

Also for ( )

=
+ =
2 k
k
k
z a z z f is analytic in E ,

( ) ( ) , 1 0 0 0 ' = = f f ( ) ( ) z h z D = is convex(as every
convex function is starlike) in E,

( ) ( ) , 1 0 0 0 ' = = D D

from lemma 2.5 and (5.1) , we have

( )
( )
( ), ,
1
1
Re E z
B
A
z h
z f z
e

>
)
`

'

which implies that ( ) ( ). , B A J z f e

Theorem 5.2. Let , 1 0 < s ' < o o , then
Int. J. Modern Math. Sci. 2012, 4(2): 71-83

Copyright 2012 by Modern Scientific Press Company, Florida, USA
83

( ) ( ). , ; , ; B A J B A J o o ' c

Proof. Let ( ), , ; B A J f o e then

( )
( )
( )
( ) ( )
( )
.
1
1
1
Bz
Az
z h
z f z
z h
z f z
+
+
'
'
'
+
'
o o


Also by Theorem 5.1,


( )
( )
.
1
1
Bz
Az
z h
z f z
+
+ '

As
Bz
Az
+
+
1
1

is convex univalent , so by lemma 2.7, it yields

( )
( )
( )
( )
( )
( ) ( )
( ) Bz
Az
z h
z f z
z h
z f z
z h
z f z
+
+
(
(

'
'
'
+
'

'
+
'
|
.
|

\
|
'

1
1
1 1 o o
o
o
o
o


for . 1 0 <
'
<
o
o

So

( )
( )
( )
( ) ( )
( )
,
1
1
1
Bz
Az
z h
z f z
z h
z f z
+
+
'
'
'
' +
'
' o o

which implies that ( ). , ; B A J f o' e

Hence

( ) ( ). , ; , ; B A J B A J o o ' c
References
[1] S. Bernardi, Special classes of subordinate functions, Duke Math. J., 33(1)(1993): 13-23.
[2] P. N. Chichra, New subclasses of the class of close-to-convex functions, Proc. Amer. Math. Soc.,
62(1)(1977): 37-43.
[3] Gao Chunyi and Shigeyoshi Owa, Certain class of analytic functions in the unit disc,
Kyungpook Math. Journal, 33(1)(1993): 13-23.
[4] P. L. Duren, Coefficients of univalent functions, Bull. Amer. Math. Soc., 83(1977): 891-911.
[5] H. R. Abdel-Gawad and D. K. Thomas, A subclass of close-to-convex functions, Publications De
LInstitut Mathmatique , Nouvelle srie tome, 49(63)(1991): 61-66.
[6] R. M. Goel and B. S. Mehrok, A subclass of univalent functions, Houston J.Math.,8(3)(1982):
343-357.
[7] B. S. Mehrok and Gagandeep Singh, A Subclass of close-to-convex functions, Int. Journal of
Math. Analysis, 4 (2010): 1319-1327.
[8] Ch. Pommerenke, Univalent functions. Vandenhoeck and Ruprecht, Gttingen, 1975.

Вам также может понравиться