Differential Subordination and Superordination Results Using Fractional Integral of Conﬂuent Hypergeometric Function

: Both the theory of differential subordination and its dual, the theory of differential superordination, introduced by Professors Miller and Mocanu are based on reinterpreting certain inequalities for real-valued functions for the case of complex-valued functions. Studying subordination and superordination properties using different types of operators is a technique that is still widely used, some studies resulting in sandwich-type theorems as is the case in the present paper. The fractional integral of conﬂuent hypergeometric function is introduced in the paper and certain subordination and superordination results are stated in theorems and corollaries, the study being completed by the statement of a sandwich-type theorem connecting the results obtained by using the two theories.


Introduction
The theory of differential subordination emerged from the remark that using a realvalued function f twice continuously differentiable on an interval I = (−1, 1) and assuming that the differential operator for t ∈ I, it is obvious that such a function has the property that −1 < f (t) < 2 for t ∈ I which can be written in an equivalent form using containment relations related to intervals as Relation (1) cannot be reinterpreted using a complex-valued function instead of the real-valued function f (t), but the first containment from (2) can be stated for the complexvalued function f (z) as where U denotes the unit disc of the complex plane and Ω ⊂ C.
If a function f : U → C satisfies inclusion (3), then the problem that appears is whether there exists a "smallest" set ∆ ⊂ C such that where f is an analytic function in a simply-connected region of the z-plane containing the origin, and the multiplicity of (z − t) λ−1 is removed by requiring log(z − t) to be real, when (z − t) > 0.
Interesting results were obtained and published recently using this function as it can be seen in [5,6]. Inspired by the results obtained by applying fractional integral on different hypergeometric functions seen in papers [7][8][9], we have chosen the confluent (or Kummer) hypergeometric function to extend the study done on it in [10]. The univalence of confluent Kummer function was also studied in [11].
The confluent (Kummer) hypergeometric function of the first kind is given in the following definition: This function is called confluent (Kummer) hypergeometric function, is analytic in C and satisfies Kummer's differential equation then (4) can be written in the form The interest in the study of hypergeometric functions and their connection to the theory of univalent functions reappeared when L. de Branges used hypergeometric functions in the proof of the famous Bieberbach conjecture [13]. Confluent (Kummer) hypergeometric function was studied lately from many points of view. Conditions related to its univalence were stated in [10], its applications on certain classes of univalent functions are shown in [14] and an analytical study on Mittag-Leffler-confluent hypergeometric functions was conducted in [15] using fractional integral operator. An operator defined using fractional integral is introduced and studied using the theories of differential subordination and superordination in the next section of this paper.
In order to achieve the study, the usual definitions are used. H(U) denotes the class of analytic functions in the unit disc of the complex plane. For n a positive integer and a ∈ C, H[a, n] denotes the subclass of H(U) gathering the functions written in the form f (z) = a + a n z n + a n+1 z n+1 + . . . ..
Next, the definitions of the notions from the theories of differential subordination and superordination used in the present paper are given. Definition 3. [12] Let the functions f and g be analytic in U. We say that the function f is subordinate to g, written f ≺ g, if there exists a Schwarz function w, analytic in U, with w(0) = 0 and |w(z)| < 1, for all z ∈ U, such that f (z) = g(w(z)), for all z ∈ U. In particular, if the function g is univalent in U, the above subordination is equivalent to f (0) = g(0) and f (U) ⊂ g(U). Definition 4. [12] Let ψ : C 3 × U → C and h be a univalent function in U. If p is analytic in U and satisfies the second order differential subordination then p is called a solution of the differential subordination. The univalent function q is called a dominant of the solutions of the differential subordination, or more simply a dominant, if p ≺ q for all p satisfying (6). A dominant q that satisfies q ≺ q for all dominants q of (6) is said to be the best dominant of (6). The best dominant is unique up to a rotation of U.

Definition 5. [3]
Let ϕ : C 3 × U → C and let h be analytic in U. If p and ϕ p(z), zp (z), z 2 p (z); z are univalent in U satisfy the (second-order) differential superordination then p is called a solution of the differential superordination. An analytic function q is called a subordinant of the solutions of the differential superordination or more simply a subordinant, if q ≺ p for all p satisfying (7). A subordinant q that satisfies q ≺ q for all subordinants q of (7) is said to be the best subordinant of (7). Note that the best subordinant is unique up to a rotation of U. Two lemmas are used in the next section in the proofs of the original results. Lemma 1. [12] Let the function q be univalent in the unit disc U and θ and φ be analytic in a domain D containing q(U) with φ(w) = 0 when w ∈ q(U). Set Q(z) = zq (z)φ(q(z)) and h(z) = θ(q(z)) + Q(z). Suppose that Q is starlike univalent in U and Re zh (z) , then p(z) ≺ q(z) and q is the best dominant. Lemma 2. [16] Let the function q be convex univalent in the open unit disc U and ν and φ be analytic in a domain D containing q(U). Suppose that Re > 0 for z ∈ U and ψ(z) = zq (z)φ(q(z)) is starlike univalent in U. If p(z) ∈ H[q(0), 1] ∩ Q, with p(U) ⊆ D and ν(p(z)) + zp (z)φ(p(z)) is univalent in U and ν(q(z)) + zq (z)φ(q(z)) ≺ ν(p(z)) + zp (z)φ(p(z)), then q(z) ≺ p(z) and q is the best subordinant.
Using the definitions already known, a new operator is introduced connecting the fractional integral of order λ and the confluent (Kummer) hypergeometric function. By using this operator, the methods of the theory of differential subordination and those of the theory of differential superordination are implemented in order to conduct a study obtaining interesting new differential subordinations and superordinations for which the best dominant and the best subordinant are found, respectively. The Lemmas listed above are part of those classical methods used for obtaining original results related to operators. The most interesting part is the form that the results have due to the operator used. Combining the results of the study done using both theories, a sandwich-type theorem is stated which also generates two corollaries for particular functions involved.

Results
The new operator introduced in this paper is defined using Definitions 1 and 2.

Discussion
Having as inspiration the results obtained by applying fractional integral on certain hypergeometric functions, the confluent hypergeometric function is considered in the present study and the fractional integral of confluent hypergeometric function is introduced. Using it, a new operator is defined and the theory of differential subordination is applied in order to obtain interesting subordinations related to it for which best dominants are also given. Some nice corollaries are stated for specific well-known functions used as best dominants of the investigated subordinations. Following the theory of differential superordination, some differential superordinations are also obtained for the operator involving fractional integral of confluent hypergeometric function and the best subordinants are found. Using Theorems 1 and 2, a sandwich-type outcome connects the subordination and superordination results. Interesting corollaries follow for particular functions used as best subordinant and best dominant. The study done in the present paper can inspire the use of other hypergeometric functions connected with fractional integral. Also, with the best subordinants of the differential subordinations given, conditions for univalence of the operator introduced here could be investigated. Further studies related to introducing new classes of functions using the operator given in (8) could be conducted. Since the classes obtained using this operator should be interesting enough and different from any other classes previously obtained by using different operators, relations to other known classes could be investigated and coefficient estimates could be established. The results contained in the corollaries could inspire ideas for continuing the study done considering particular functions.

Conflicts of Interest:
The authors declare no conflict of interest.