On Starlike Functions Using the Generalized Salagean Differential Operator ()
1. Introduction
Let denote the class of functions:
(1)
which are analytic in the unit disk. Denote by the class of normalized univalent functions in U.
Let. We say that is subordinate to (written as) if there is a function w analytic in U, with, for all. If g is univalent, then if and only if and [1] .
Definition 1 ( [2] ). Let and. The operator is defined by
(2)
Remark 1. If and, then .
Remark 2. For in (2), we obtain the Salagean differential operator.
From (2), the following relations holds:
(3)
and from which, we get
(4)
Definition 2 ( [3] ). Let, and. Then
with.
This operator is a particular case of the operator defined in [3] and it is easy to see that for any,.
Next, we define the new subclasses of.
Definition 3. A function belongs to the class if and only if
(5)
Remark 3..
Remark 4. if and only if.
Definition 4. Let, and, the set of functions satisfying:
i) is continuous in a domain of,
ii) and,
iii) when and for.
Several examples of members of the set have been mentioned in [4] [5] and ( [6] , p. 27).
2. Preliminary Lemmas
Let P denote the class of functions which are analytic in U and satisfy.
Lemma 1 ( [5] [7] ) Let with corresponding domain. If is defined as the set of functions given as which are regular in U and satisfy:
i)
ii) when.Then in U.
More general concepts were discussed in [4] - [6] .
Lemma 2 ( [8] ). Let and be complex constants and a convex univalent function in U satisfying, and. Suppose satisfies the differential subordination:
(6)
If the differential subordination:
(7)
has univalent solution in U. Then and is the best dominant in (6).
The formal solution of (6) is given as
(8)
where
and
see [9] [10] .
Lemma 3 ( [9] ). Let and be complex constants and regular in U with, then the solution of (7) given by (8) is univalent in U if (i) Re
, (ii) (iii).
3 Main Results
Theorem 1. Let and a convex univalent function in U satisfying
, and,. Let. If, then.
Proof. From (4), we have
If we suppose, we need to show that. Using the above equation and (4) and Remark 4, it suffices to show that if, then.
Now, let
Then
By (2) and (3) we have
(9)
Applying Lemma 2 with and, the proof is complete.W
Theorem 2. Let and a convex univalent function in U satisfying, and. Let. If, then
where
is the best dominant.
Proof. Let, then by Remark 4,
By (9), we have
where
To show that, by Remark 4, it suffices to show that
Now, considering the differential equation
whose solution is obtained from (8). If we proof that is univalent in U, our re-
sult follows trivially from Lemma 2. Setting and in Lemma 3, we have
i),
ii)
where, so that by logarithmic differentiation, we have
Therefore, ,
iii)
so that
Hence, is univalent in U since it satisfies all the conditions of Lemma 3. This completes the proof.W
Theorem 3..
Proof. Let. By Remark 4
From (9), let with for. Conditions (i) and (ii) of Lemma 1 are clearly satisfied by. Next, Then if. Hence, Using Remark 4, which complete the proof.W
Corollary 1. All functions in are starlike univalent in U.
Proof. The proof follows directly from Theorem 3 and Remark 4.W
Corollary 2. The class “clone” the analytic representation of convex functions.
Proof. The proof is obvious from the above corollary and Definition 4.W
The functions and are examples of functions in.
Theorem 4. The class is preserve under the Bernardi integral transformation:
(10)
Proof. let, then by Remark 4. From (10) we get
(11)
Applying on (10) and noting from Remark 1 that, we have
Let and noting that, we get
Let for. Then satisfies all the conditions of Lemma 1 and so Þ By Remark 4.W
Theorem 5. Let. Then f has integral representation:
for some.
Proof. Let. Then by Remark 4, and so for some
But, so that
Applying the operator in Definition 2, we have the result.W
With, we have the extremal function for this new subclass of which is
Theorem 6. Let. Then
The function given by (13) shows that the result is sharp.
Proof. Let, then by Remark 4,. Since it is well known that for any, , then from Remark 1 we get the result.W
Theorem 7. Let. Then
and
where
Proof. Let. Then by Theorem 6, we have
and
for.
Also, upon differentiating, we get
and
for. This complete the proof.W
Acknowledgements
The authors appreciates the immense role of Dr. K.O. Babalola (a senior lecturer at University of Ilorin, Ilorin, Nigeria) in their academic development.