CHAPTER III
On New Subclass of Analytic Univalent
Functions for Operator on Hilbert Space
3.1. Introduction
Let A be the class of functions f normalized by
f(z) = z +
n=1
a
n
z
n
, (3.1)
which are analytic in the open unit disk D = {z C : |z| < 1} .
As usual, we denote by S the subclass of A, consisting of functions which are also
univalent in D. We recall here the denitions of the well-known classes of starlike
function and convex functions:
S
=
_
f A : Re
_
zf
(z)
f(z)
_
> 0, z D
_
,
S
c
=
_
f A : Re
_
1 +
zf
(z)
f
(z)
_
> 0, z D
_
,
Let w be a xed point in D and A(w) =
_
f H(D) : f(w) = f
(w) 1 = 0
_
. In
[28], Kanas and Ronning introduced the following classes
S
w
= {f A(w) : f is univalent in D}
ST
w
=
_
f A(w) : Re
_
(z w)f
(z)
f(z)
_
> 0, z D
_
, (3.2)
CV
w
=
_
f A(w) : 1 + Re
_
(z w)f
(z)
f
(z)
_
> 0, z D
_
. (3.3)
Later Acu and Owa [1] studied the classes extensively. The class S
w
is dened
by geometric property that the image of any circular arc centered at w is starlike
1
with respect to f(w) and the corresponding class S
c
w
is dened by the property
that the image of any circular arc centered at w is convex. We observe that the
denitions are somewhat similar to the ones introduced by Goodman in [23] and
[24] for uniformly starlike and convex functions, except that in this case the point
w is xed.
Let S
w
denoted the subclass of A(w) consisting of the function of the form
f(z) =
1
z w
+
n=1
a
n
(z w)
n
, a
n
0. (3.4)
The function f in S
w
is said to be starlike functions of order if and only if
Re
_
(z w)f
(z)
f(z)
_
> , z w U, (3.5)
for some (0 < 1). We denote by S
w
() the class of all starlike functions of
order . Similarly , a function f in S
w
is said to be convex of order if and only
if
Re
_
1
(z w)f
(z)
f
(z)
_
> , z w U, (3.6)
for some (0 < 1). We denote by CV
w
() the class of all convex functions of
order . We note that the class S
0
() and various other subclasses of S
w
() have
been studied rather extensively by Nehari and Netanyahu [38], Acu and Owa
[1], Clunie [11], Pommerenke([45,46]), Miller [36], Royster [47], and others (cf.,
e.g.,Bajpai [6], Goel and Sohi [21], Mogra et al [37], Uralegaddi and Ganigi [54],
Cho et al [7], Aouf [5], and Uralegaddi and Somanatha [55,56]; see also Duren
([13], pp.29 and 137), Srivastava and Owa ([52], pp.86 and 429) and Ghanim and
Darus ([19,20]).
For the function f in the class S
w
, we dene
I
0
f(z) = f(z),
2
I
1
f(z) = (z w)f
(z) +
2
z w
,
I
2
f(z) = (z w)(I
1
f(z))
+
2
z w
,
and for k = 1, 2, 3, ... we can write
I
k
f(z) = (z w)(I
k1
f(z))
+
2
z w
,
=
1
z w
+
n=1
n
k
a
n
(z w)
n
. (3.7)
The dierential operator I
k
studied extensively by Ghanim and Darus ([19,20])
and in the case w = 0 was given by Frasin and Darus [18].
With the help of the dierential operator I
k
, we dene the class S
w
(k, ) as follows:
Denition 3.1.
The function f(z) S
w
is said to be a member of the class S
w
(k, ) if it satises
(z w)(I
k
f(z))
I
k
f(z)
+ 1
<
(z w)(I
k
f(z))
I
k
f(z)
+ 2 1
(k N
0
= N 0), for some , 0 < 1 and for all z, 0 z < 1 in D.
It is easy to check that S
w
(0, ) is the class of starlike functions of order and
S
w
(0, 0) gives the starlike functions for all z D. Let us write
S
w
[k, ] = S
w
(k, ) S
w
, (3.8)
where S
w
is the class of functions of the form (3.4) that are analytic and univalent
in D.
Let H be a Hilbert space on the complex eld. Let A be an operator on H. For
a complex analytic function f on the unit disk D, we denoted f(A), the operator
on H dened by Riesz-Dunford integral [12]
f(A) =
1
2i
_
C
f(z)(zI A)
1
dz,
3
where I is the identity operator on H. C is a positively oriented simple closed
rectiable contour lying in D and containing the spectrum of A in its interior
domain [17]. The conjugate operator of A is A
.
A function f given by (3.4) is in the class S
w
[k, , H] if it is satises the condition:
||A(I
k
f(A))
+ I
k
f(A)|| < ||A(I
k
f(A))
+ (2 1)I
k
f(A)||,
for 0 < 1 and for all operator A with ||A|| < 1 and A = ( is the zero
operator on H).
In the present chapter, we obtain coecient estimates and distortion theorem for
S
w
[k, , H].
3.2. Main Results
Our rst result provides a sucient condition for a function f analytic in D to
be in S
w
[k, , H].
Theorem 3.1.
A function f given by (3.4) is in the class S
w
[k, , H] for all proper contraction
A with A = if and only if
n=1
n
k
(n + )a
n
(1 ), (3.9)
for 0 < 1.
Proof. Assume that (3.1) holds, we have
||A(I
k
f(A))
+ I
k
f(A)|| ||A(I
k
f(A))
+ (2 1)I
k
f(A)||
= ||
n=1
n
k
(n + 1)a
n
A
n
|| ||
2( 1)
A
+
n=1
n
k
(n + 2 1)a
n
A
n
||
||
n=1
n
k
(n + 1)a
n
A
n+1
|| ||2(1 )
n=1
n
k
(n + 2 1)a
n
A
n+1
||
4
n=1
2n
k
(n + )a
n
2(1 )
0.
Hence f is in the class S
w
[k, , H].
Conversely, suppose that
||A(I
k
f(A))
+ I
k
f(A)|| < ||A(I
k
f(A))
+ (2 1)I
k
f(A)||,
so that
||
n=1
n
k
(n + 1)a
n
A
n+1
|| < ||2( 1) +
n=1
n
k
(n + 2 1)a
n
A
n+1
||.
Selecting A = eI(0 < e < 1) in above inequality, we have
n=1
n
k
(n + 1)a
n
e
n+1
2(1 )
n=1
n
k
(n + 2 1)a
n
e
n+1
< 1. (3.10)
Upon clearing denominator in (3.10) and letting e 1, 0 < e < 1, we get
n=1
n
k
(n + 1)a
n
< 2(1 )
n=1
n
k
(n + 2 1)a
n
which implies that
n=1
n
k
(n + )a
n
(1 ),
for 0 < 1. This completes the proof of the theorem.
Corollary 3.1.
If f given by (3.4) is in the class S
w
[k, , H] for 0 < 1 and k N
0
then
a
n
(1 )
n
k
(n + )
, n 1. (3.11)
5
Corollary 3.2.
If f given by (3.4) is in the class S
w
[k, , H] for 0 < 1 and k N
0
then
na
n
(1 )
n
k1
(n + )
, n 1. (3.12)
Next, we consider the growth and distortion properties as the following:
Theorem 3.2.
If the function f given by (3.4) in the class S
w
[k, , H] for 0 < 1, ||A|| < 1
and ||A|| = then
1
||A||
(1 )
(1 + )
||A|| ||f(A)||
1
||A||
(1 )
(1 + )
||A||. (3.13)
The result is sharp for the function
f
1
(z) =
1
z w
+
(1 )
(1 +)
(z w).
Proof. In view of Theorem 3.1, we have
(1 +)
n=1
a
n
n=1
n
k
(n +)a
n
(1 )
which gives
n=1
a
n
(1 )
(1 + )
.
Hence we have
||f(A)||
1
||A||
||A||
n=1
a
n
1
||A||
(1 )
(1 + )
||A||,
also we have
||f(A)||
1
||A||
+||A||
n=1
a
n
1
||A||
+
(1 )
(1 + )
||A||.
Hence the theorem.
6
Theorem 3.3.
If the function f given by (3.4) in the class S
w
[k, , H] for 0 < 1, ||A|| < 1
and ||A|| = then
1
||A||
2
(1 )
(1 + )
||f
(A)||
1
||A||
2
+
(1 )
(1 + )
. (3.14)
The result is sharp for the function
f
1
(z) =
1
z w
+
(1 )
(1 + )
(z w)
n
.
Proof.
We have
f
(z) =
1
(z w)
2
+
n=1
na
n
(z w)
n1
.
Since, f S
w
[k, , H] we have
||f
(A)||
1
||A||
2
+
n=1
na
n
||A||
n1
.
In view of Theorem 3.1, we have
(1 + )
n=1
na
n
(1 ).
which gives
n=1
na
n
(1 )
(1 + )
.
Consequently, we have
||f
(A)||
1
||A||
2
+
n=1
na
n
1
||A||
2
+
(1 )
(1 + )
.
and
||f
(A)||
1
||A||
2
n=1
na
n
||A||
n1
.
7
Thus, we have
||f
(A)||
1
||A||
2
n=1
na
n
1
||A||
2
(1 )
(1 +)
.
This completes the proof of the theorem.
Theorem 3.4.
Let f
0
(z) =
1
zw
and
f
n
(z) =
1
z w
(1 )
n
k
(n + )
(z w)
n
, n = 1, 2, 3, ..., z w D.
Then f S
w
[k, , H] if and only if it can be expressed in the form
f(z) =
0
f
0
(z) +
n=1
n
f
n
(z),
where
n
0 and
0
+
n=1
n
= 1.
Proof.
Let us assume that
f(z) =
0
f
0
(z) +
n=1
n
f
n
(z)
=
1
z w
+
n=1
(1 )
n
n
k
(n + )
(z w)
n
.
Then we have
n=1
n
k
(n +)
(1 )
n
(1 )
n
k
(n + )
=
n=1
n
= 1
0
1.
Hence f S
w
[k, , H].
Conversely, we assume that f given by (3.4) is in the class S
w
[k, , H]. From
Corollary 3.2, we have
a
n
(1 )
n
k
(n +)
.
8
we may set
n
=
n
k
(n +)
(1 )
a
n
, n 1; k N
0
,
and
0
= 1
n=1
n
we have
f(z) =
0
f
0
(z) +
n=1
n
f
n
(z).
This completes the proof of the theorem.
9