Argument Estimates of Multivalent Functions Involving a Certain Fractional Derivative Operator ()
1. Introduction
Let denote the class of functions of the form
(1.1)
which are analytic in the open unit disk. Also let denote the class of all analytic functions with which are defined on.
Let a, b and c be complex numbers with. Then the Gaussian hypergeometric function is defined by
(1.2)
where is the Pochhammer symbol defined, in terms of the Gamma function, by
The hypergeometric function is analytic in and if a or b is a negative integer, then it reduces to a polynomial.
There are a number of definitions for fractional calculus operators in the literature (cf., e.g., [1] and [2] ). We use here the Saigo type fractional derivative operator defined as follows ([3] ; see also [4] ):
Definition 1. Let and. Then the generalized fractional derivative operator of a function is defined by
(1.3)
The function is an analytic function in a simply-connected region of the z-plane containing the origin, with the order
for, and the multiplicity of is removed by requiring that to be real when.
Definition 2. Under the hypotheses of Definition 1, the fractional derivative operator of a function is defined by
(1.4)
With the aid of the above definitions, we define a modification of the fractional derivative operator by
(1.5)
for and. Then it is observed that also maps onto itself as follows:
(1.6)
It is easily verified from (1.6) that
(1.7)
Note that, and, where is the fractional derivative operator defined by Srivastava and Aouf [5] .
In this manuscript, we drive interesting argument results of multivalent functions defined by fractional derivative operator.
2. Main Results
In order to establish our results, we require the following lemma due to Lashin [6] .
Lemma 1 [6] . Let be analytic in, with and . Further suppose that and
(2.1)
then
(2.2)
We begin by proving the following result.
Theorem 1. Let, and, and let. Suppose that satisfies the condition
(2.3)
then
(2.4)
Proof. If we define the function by
(2.5)
then is analytic in, with and. Making use of the logarithmic differentiation on both sides of (2.5), we have
(2.6)
By applying the identity (1.7) in (2.6), we observe that
Hence, by using Lemma 1, we conclude that
which completes the proof of Theorem 1.
Remark 1. Putting, and in Theorem 1, we obtain the result due to Lashin ([6] , Theorem 2.2).
Taking and in Theorem 1, we have the following corollary.
Corollary 1. Let, and. Suppose that satisfies the condition
then
Theorem 2. Let, , and. Suppose that satisfies the condition
(2.7)
then
(2.8)
Proof. If we set
(2.9)
then is analytic in, with and. By using the logarithmic differentiation on both sides of (2.9), we obtain
Thus, in view of Lemma 1, we have
which evidently proves Theorem 2.
Remark 2. Setting and in Theorem 2, we get the result obtained by Goyal and Goswami ([7] , Corollary 3.6).
Putting in Theorem 2, we obtain the following result.
Corollary 2. Let. Suppose that satisfies the condition
then
Finally, we consider the generalized Bernardi-Libera-Livingston integral operator defined by (cf. [8] [9] and [10] )
(2.10)
Theorem 3. Let, , and, and let. Suppose that satisfies the condition
(2.11)
then
(2.12)
Proof. From (2.10) we observe that
(2.13)
If we let
(2.14)
then is analytic in, with and. Differentiating both sides of (2.14) logarithmically, it follows that
(2.15)
Hence, by applying the same arguments as in the proof of Theorem 1 with (2.13) and (2.15), we obtain
which proves Theorem 3.
Acknowledgements
This work was supported by Daegu National University of Education Research Grant in 2014.