Next Article in Journal
TIN Surface and Radial Viewshed Determination Algorithm Parallelisation on Multiple Computing Machines
Previous Article in Journal
Some Higher-Degree Lacunary Fractional Splines in the Approximation of Fractional Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Applications of the Fractional Integral on Analytic Functions

Department of Mathematics and Computer Science, University of Oradea, 1 Universitatii Street, 410087 Oradea, Romania
Symmetry 2021, 13(3), 423; https://doi.org/10.3390/sym13030423
Submission received: 24 February 2021 / Revised: 3 March 2021 / Accepted: 4 March 2021 / Published: 5 March 2021
(This article belongs to the Section Mathematics)

Abstract

:
The fractional integral is a function known for the elegant results obtained when introducing new operators; it has proved to have interesting applications. In the present paper, differential subordinations and superodinations for the fractional integral of the confluent hypergeometric function introduced in a previously published paper are presented. A sandwich-type theorem at the end of the original part of the paper connects the outcomes of the studies done using the dual theories.

1. Introduction

It is a known fact that the notion of an operator was used from the early stage of the study of complex-valued functions; many already known results can be proven easier with them, and new results are being obtained with them.
Many papers, such as [1,2], studied different operators defined by using the fractional integral of order λ also used earlier by S. Owa [3]. Despite that, we also refer to [4,5,6] for theoretical and numerical analyses from real models described by classical PDEs and related operators. The results contained in the present paper were inspired by the outstanding results previously obtained using fractional integrals, and the study was done by applying them to a confluent hypergeometric function. The definition of a fractional integral can be seen in [3] as follows:
Definition 1
([3]). The fractional integral of order α is defined by
D z α f z = 1 Γ α 0 z f ζ ζ z 1 α d ζ ,
where α is a positive real number, f z is an analytic function in a simply connected region of the z-plane containing the origin and the multiplicity of ζ z α 1 is removed by requiring ln ζ z to be real when ζ z > 0 .
In paper [7] a new operator was introduced by using a fractional integral on the confluent (Kummer) hypergeometric function. The introduction of this operator was inspired by the studies done on this function having in view many aspects, from its combination with other functions, as can be seen in papers [8,9], to its univalence in paper [10].
The confluent (Kummer) hypergeometric function of the first kind is defined in [11] as follows:
Definition 2
([11]). Let a , c C , c 0 , 1 , 2 , and consider
ϕ a , c ; z = 1 F 1 a , c ; z = 1 + a c z 1 ! + a a + 1 c c + 1 z 2 2 ! + , z U .
This function is called a confluent (Kummer) hypergeometric function, is analytic in C and satisfies Kummer’s differential equation:
z w z + c z w z a w z = 0 .
Considering
d k = Γ d + k Γ d = d d + 1 d + 2 d + k 1 with d 0 = 1 ,
the confluent (Kummer) hypergeometric function can be written as
ϕ a , c ; z = k = 0 a k c k z k k ! = Γ c Γ a k = 0 Γ a + k Γ c + k z k k ! .
The definition of the operator introduced in [7] is the following:
D z λ ϕ a , c ; z = 1 Γ λ 0 z ϕ a , c ; t z t 1 λ d t =
1 Γ λ Γ c Γ a k = 0 Γ a + k Γ c + k Γ k + 1 0 z t k z t 1 λ d t ,
where λ > 0 , a , c C , c 0 , 1 , 2 , .
The fractional integral of a confluent hypergeometric function can be written as
D z λ ϕ a , c ; z = Γ c Γ a k = 0 Γ a + k Γ c + k Γ λ + k + 1 z k + λ ,
after a simple calculation. Evidently, D z λ ϕ a , c ; z H 0 , λ .
The original results which are shown in the next part of this paper were obtained by using this operator and differential subordination and superodination theories, synthesized in the monography [12] published by Miller and Mocanu in 2000 and in paper [13], respectively. The usual notion and definitions are considered.
U = { z C : | z | < 1 } is the unit disc of the complex plane, H U the class of analytic functions in U and H [ a , n ] = { f H ( U ) : f ( z ) = a + a n z n + a n + 1 z n + 1 + , z U } , with n a positive integer and a C .
Definition 3
([12]). Let f , F H U . The function f is said to be subordinate to F if there exists a Schwarz function w , analytic in U, with w ( 0 ) = 0 and | w ( z ) | < 1 , z U , such that f ( z ) = F ( w ( z ) ) , z U . In such a case, we write f F . If F is univalent, then f F if and only if f ( 0 ) = g ( 0 ) and f ( U ) g ( U ) .
Definition 4
([12]). Let ψ : C 3 × U C and let h be univalent in U. If p is analytic and satisfies the differential subordination
ψ ( p ( z ) , z p ( z ) , z 2 p ( z ) ; z ) h ( z ) , z U ,
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 (5). A dominant q ˜ that satisfies q ˜ q for all dominants q of (5) is said to be the best dominant of (5).
The notion related to differential superordinations was introduced in [13].
Definition 5
([13]). Let φ : C 3 × U ¯ C and let h be analytic in U. If p and φ ( p ( z ) , z p ( z ) , z 2 p z ; z ) are univalent in U and satisfy the differential superordination
h ( z ) φ ( p ( z ) , z p ( z ) , z 2 p z ; z ) , z U ,
then p is called a solution of the differential superordination (6). 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 (6). A subordinant q ˜ that satisfies q q ˜ for all subordinants q of (6) is said to be the best subordinant of (6).
In the process of obtaining the original results from this paper, the following lemmas are needed:
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 = z q z ϕ q z and h z = θ q z + Q z . Suppose that Q is star-like univalent in U and R e z h z Q z > 0 , z U .
If p is analytic with p 0 = q 0 , p U D and
θ p z + z p z ϕ p z θ q z + z q z ϕ q z ,
then p z q z and q is the best dominant.
Lemma 2
([14]). 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 R e ν q z ϕ q z > 0 , z U and ψ z = z q z ϕ q z is star-like univalent in U.
If p z H q 0 , 1 Q , with p U D and ν p z + z p z ϕ p z is univalent in U and
ν q z + z q z ϕ q z ν p z + z p z ϕ p z ,
then q z p z and q is the best subordinant.

2. Main Results

Continuing the work from [7], we get:
Theorem 1.
Let q be an analytic and univalent function in U with q z 0 , ∀ z U and z D z λ ϕ a , c ; z D z λ ϕ a , c ; z H U , where λ > 0 and a, c C , c 0 , 1 , 2 , Suppose that z q z q z is star-like univalent in U. Consider
R e 2 μ β q 2 z + ξ β q z + 1 z q z q z + z q z q z > 0 , z U ,
with μ , β , ξ , α C , β 0 , and
ψ λ a , b α , β , ξ , μ ; z : = α + β + ξ β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z +
μ z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 2 + β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z .
If the following subordination is satisfied by q ,
ψ λ a , b α , β , ξ , μ ; z α + ξ q z + μ q z 2 + β z q z q z ,
then
z D z λ ϕ a , c ; z D z λ ϕ a , c ; z q z ,
and q is the best dominant.
Proof. 
Consider
p z : = z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U , z 0 .
By differentiating with respect to z, we get
p z = D z λ ϕ a , c ; z D z λ ϕ a , c ; z + z D z λ ϕ a , c ; z D z λ ϕ a , c ; z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 2 and
z p z p z = 1 z D z λ ϕ a , c ; z D z λ ϕ a , c ; z + z D z λ ϕ a , c ; z D z λ ϕ a , c ; z .
By setting
ϕ w : = β w
and
θ w : = α + ξ w + μ w 2 ,
evidently ϕ is analytic in C \ { 0 } , ϕ w 0 , w C \ { 0 } and θ is analytic in C .
Considering
Q z = z q z ϕ q z = β z q z q z
and
h z = θ q z + Q z = α + ξ q z + μ q z 2 + β z q z q z ,
which reveals that Q is a star-like univalent function in U.
By differentiating, we obtain h z = ξ q z + 2 μ q z q z + β q z q z + β z q z q z β z q z q z 2 and z h z Q z = 2 μ β q 2 z + ξ β q z + 1 z q z q z + z q z q z .
We deduce that R e z h z Q z = R e 2 μ β q 2 z + ξ β q z + 1 z q z q z + z q z q z > 0 .
By using (11), we obtain α + ξ p z + μ p z 2 + β z p z p z =
α + β + ξ β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z + μ z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 2 + β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z .
By using (9), we have α + ξ p z + μ p z 2 + β z p z p z α + ξ q z + μ q z 2 + β z q z q z .
By applying Lemma 1, we get p z q z , ∀ z U , which means z D z λ ϕ a , c ; z D z λ ϕ a , c ; z q z , ∀ z U and the function q is the best dominant.  □
Corollary 1.
Let λ > 0 , a, c , α , β , ξ , μ C , c 0 , 1 , 2 , , β 0 , and relation (7) holds for q z = 1 + A z 1 + B z , with 1 B < A 1 . If
ψ λ a , b α , β , ξ , μ ; z α + ξ 1 + A z 1 + B z + μ 1 + A z 1 + B z 2 + β A B z 1 + A z 1 + B z ,
with ψ λ a , b , which is defined in (8), then
z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + A z 1 + B z ,
and 1 + A z 1 + B z is the best dominant.
Proof. 
We get the corollary considering q z = 1 + A z 1 + B z , 1 B < A 1 in Theorem 1.  □
Corollary 2.
Let λ > 0 , a, c , α , β , ξ , μ C , c 0 , 1 , 2 , , β 0 . Assume that (7) holds for q z = 1 + z 1 z γ , 0 < γ 1 . If
ψ λ a , b α , β , ξ , μ ; z α + ξ 1 + z 1 z γ + μ 1 + z 1 z 2 γ + 2 β γ z 1 z 2 ,
with ψ λ a , b is defined in (8), then
z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + z 1 z γ ,
and 1 + z 1 z γ is the best dominant.
Proof. 
Put q z = 1 + z 1 z γ , 0 < γ 1 in Theorem 1 to obtain the corollary.  □
Theorem 2.
Let q be an analytic and univalent function in U with q z 0 , z U , such that z q z q z is a star-like univalent function in U and
R e 2 μ β q 2 z q z + ξ β q z q z > 0 , for μ , β , ξ C , β 0 .
If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and ψ λ a , b α , β , ξ , μ ; z is an univalent function in U, where ψ λ a , b α , β , ξ , μ ; z is defined by (8) and λ > 0 , a, c C , c 0 , 1 , 2 , , then
α + ξ q z + μ q z 2 + β z q z q z ψ λ a , b α , β , ξ , μ ; z
implies
q z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U ,
and function q is the best subordinant.
Proof. 
Define the function p by
p z : = z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U , z 0 .
Considering
ϕ w : = β w
and
ν w : = α + ξ w + μ w 2 ,
it is easy to show that ϕ is analytic in C \ { 0 } , ϕ w 0 , w C \ { 0 } and ν is also analytic in C .
Since ν q z ϕ q z = q z ξ + 2 μ q z q z β , it yields
R e ν q z ϕ q z = R e 2 μ β q 2 z q z + ξ β q z q z > 0 , where μ , β , α C , μ 0 .
From (11) and (13) we get
α + ξ q z + μ q z 2 + β z q z q z α + ξ p z + μ p z 2 + β z p z p z .
Applying Lemma 2, we obtain q z p z ; therefore,
q z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U ,
and the best subordinant is function q.  □
Corollary 3.
Consider λ > 0 and a, c , α , ξ , μ , β C , c 0 , 1 , 2 , , β 0 . Assume that (12) holds for q z = 1 + A z 1 + B z , 1 B < A 1 . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and
α + ξ 1 + A z 1 + B z + μ 1 + A z 1 + B z 2 + β A B z 1 + A z 1 + B z ψ λ a , b α , β , ξ , μ ; z ,
where ψ λ a , b is defined in (8), then
1 + A z 1 + B z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z ,
and the best subordinant is 1 + A z 1 + B z .
Proof. 
When 1 B < A 1 , consider q z = 1 + A z 1 + B z in Theorem 2 and obtain the corollary.  □
Corollary 4.
Let λ > 0 , a, c , α , ξ , μ , β C , c 0 , 1 , 2 , , β 0 . Assume that (12) holds for q z = 1 + z 1 z γ , 0 < γ 1 . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and
α + ξ 1 + z 1 z γ + μ 1 + z 1 z 2 γ + 2 β γ z 1 z 2 ψ λ a , b α , β , ξ , μ ; z ,
where ψ λ a , b is defined in (8), then
1 + z 1 z γ z D z λ ϕ a , c ; z D z λ ϕ a , c ; z ,
and the best subordinant is 1 + z 1 z γ .
Proof. 
Put in Theorem 2 q z = 1 + z 1 z γ , when 0 < γ 1 .  □
The sandwich theorem is obtained combining Theorems 1 and 2.
Theorem 3.
(Sandwich-type result) Consider q 1 and q 2 analytic and univalent functions in U , with q 1 z 0 and q 2 z 0 , ∀ z U , such that z q 1 z q 1 z and z q 2 z q 2 z are star-like univalent. Assume that q 1 satisfies relation (7) and q 2 satisfies relation (12). If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and ψ λ a , b α , β , ξ , μ ; z is defined by (8) and is univalent in U , λ > 0 and a, c C , c 0 , 1 , 2 , , then
α + ξ q 1 z + μ q 1 z 2 + β z q 1 z q 1 z ψ λ a , b α , β , ξ , μ ; z α + ξ q 2 z + μ q 2 z 2 + β z q 2 z q 2 z ,
for α , β , μ , ξ C , β 0 , implies
q 1 z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z q 2 z ,
and q 1 and q 2 are, respectively, the best subordinant and the best dominant.
For q 1 z = 1 + A 1 z 1 + B 1 z , q 2 z = 1 + A 2 z 1 + B 2 z , where 1 B 2 < B 1 < A 1 < A 2 1 , we have the following corollary.
Corollary 5.
Let a, c , α , ξ , μ , β C , c 0 , 1 , 2 , , β 0 and λ > 0 . Assume that (7) and (12) hold for q 1 z = 1 + A 1 z 1 + B 1 z , and q 2 z = 1 + A 2 z 1 + B 2 z , 1 B 2 B 1 < A 1 A 2 1 . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z H q 0 , 1 Q and
α + ξ 1 + A 1 z 1 + B 1 z + μ 1 + A 1 z 1 + B 1 z 2 + β A 1 B 1 z 1 + A 1 z 1 + B 1 z ψ λ a , b α , β , ξ , μ ; z
α + ξ 1 + A 2 z 1 + B 2 z + μ 1 + A 2 z 1 + B 2 z 2 + β A 2 B 2 z 1 + A 2 z 1 + B 2 z ,
with ψ λ a , b defined by (8), then
1 + A 1 z 1 + B 1 z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + A 2 z 1 + B 2 z ,
hence 1 + A 1 z 1 + B 1 z and 1 + A 2 z 1 + B 2 z are the best subordinant and the best dominant.
For q 1 z = 1 + z 1 z γ 1 , q 2 z = 1 + z 1 z γ 2 , where 0 < γ 1 < γ 2 1 , we have the following corollary.
Corollary 6.
Let λ > 0 , a, c , α , β , μ , ξ C , c 0 , 1 , 2 , , β 0 . Assume that (7) and (12) hold for q 1 z = 1 + z 1 z γ 1 , and q 2 z = 1 + z 1 z γ 2 , 0 < γ 1 < γ 2 1 . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and
α + ξ 1 + z 1 z γ 1 + μ 1 + z 1 z 2 γ 1 + 2 β γ 1 z 1 z 2 ψ λ a , b α , β , ξ , μ ; z
α + ξ 1 + z 1 z γ 2 + μ 1 + z 1 z 2 γ 2 + 2 β γ 2 z 1 z 2 ,
where ψ λ a , b is defined in (8), then
1 + z 1 z γ 1 z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + z 1 z γ 2 ,
hence 1 + z 1 z γ 1 and 1 + z 1 z γ 2 are the best subordinant and the best dominant, respectively.
By changing the functions ϕ and θ in Theorem 1, we get:
Theorem 4.
Consider λ > 0 , a, c C , c 0 , 1 , 2 , , the convex and univalent function q in U with q 0 = λ and z D z λ ϕ a , c ; z D z λ ϕ a , c ; z H U , z U . Suppose that
R e z q z q z + α β + 1 > 0 , z U ,
where α , β C , β 0 , and
ψ λ a , b α , β ; z : = α + β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 2
+ β z 2 D z λ ϕ a , c ; z D z λ ϕ a , c ; z .
If the following subordination is satisfied by q ,
ψ λ a , b α , β ; z α q z + β z q z , z U ,
then
z D z λ ϕ a , c ; z D z λ ϕ a , c ; z q z , z U ,
and the best dominant is the function q.
Proof. 
Define
p z : = z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U , z 0
with p 0 = λ , an analytic function in U. Differentiating with respect to z we get p z = D z λ ϕ a , c ; z D z λ ϕ a , c ; z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 2 + z D z λ ϕ a , c ; z D z λ ϕ a , c ; z and
z p z = z D z λ ϕ a , c ; z D z λ ϕ a , c ; z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 2 + z 2 D z λ ϕ a , c ; z D z λ ϕ a , c ; z .
Let
ϕ w : = β
be analytic in C \ { 0 } with ϕ w 0 , w C \ { 0 } and
θ w : = α w
analytic in C .
Consider
Q z = z q z ϕ q z = β z q z
star-like univalent in U and
h z = θ q z + Q z = α q z + β z q z .
We obtain R e z h z Q z = R e z q z q z + α β + 1 > 0 .
From (19), we get α p z + β z p z = α + β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z β z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 2 + β z 2 D z λ ϕ a , c ; z D z λ ϕ a , c ; z .
By using (17), we get α p z + β z p z α q z + β z q z .
Lemma 1 gives p z q z , ∀ z U , so we obtain z D z λ ϕ a , c ; z D z λ ϕ a , c ; z q z , ∀ z U , and the best dominant is function q.  □
Corollary 7.
Let 1 B < A 1 , λ > 0 , a, c , α , β C , c 0 , 1 , 2 , , β 0 , and q z = 1 + A z 1 + B z , z U , fulfilling the relation (15). If
ψ λ a , b α , β ; z β A B z 1 + B z 2 + α 1 + A z 1 + B z ,
with ψ λ a , b defined by (16), then
z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + A z 1 + B z ,
and the best dominant is 1 + A z 1 + B z .
Proof. 
In Theorem 4 consider q z = 1 + A z 1 + B z , with 1 B < A 1 .  □
Corollary 8.
Let λ > 0 , a, c , α , β C , c 0 , 1 , 2 , , β 0 and q z = 1 + z 1 z γ , 0 < γ 1 , fulfilling the relation (15). If
ψ λ a , b α , β ; z 2 β γ z 1 z 2 1 + z 1 z γ + α 1 + z 1 z γ ,
with ψ λ a , b defined by (16), then
z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + z 1 z γ ,
and 1 + z 1 z γ is the best dominant.
Proof. 
In Theorem 4 put q z = 1 + z 1 z γ , with 0 < γ 1 .  □
By changing the functions ϕ and θ in Theorem 3 to be the same as in Theorem 4, we get:
Theorem 5.
Let λ > 0 , a, c C , c 0 , 1 , 2 , and q be a convex and univalent function in U with q 0 = λ . Suppose that
R e α β q z > 0 , α , β C , β 0 .
If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and ψ λ a , b α , β ; z defined in (16) is univalent in U, then
α q z + β z q z ψ λ a , b α , β ; z
implies
q z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U ,
and the best subordinant is the function q.
Proof. 
Define the analytic function
p z : = z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U , z 0
and p 0 = λ .
Set
ϕ w : = β
to be analytic in C \ { 0 } with ϕ w 0 , ∀ w C \ { 0 } and
ν w : = α w
analytic in C .
Since ν q z ϕ q z = α β q z , from (20) we get R e ν q z ϕ q z = R e α β q z > 0 , with α , β C , β 0 .
Relation (21) gives the differential superordination
α q z + β z q z α p z + β z p z , z U ,
and by applying Lemma 2, we obtain q z p z , which means
q z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z , z U ,
and the best subordinant is the function q.  □
Corollary 9.
Assume that (20) holds for q z = 1 + A z 1 + B z , z U , with 1 B < A 1 , λ > 0 , a, c C , c 0 , 1 , 2 , . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 , and
α 1 + A z 1 + B z + β A B z 1 + B z 2 ψ λ a , b α , β ; z ,
where ψ λ a , b is defined in (16), α , β C , β 0 , then
1 + A z 1 + B z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z ,
and the best subordinant is 1 + A z 1 + B z .
Proof. 
In Theorem 5 consider q z = 1 + A z 1 + B z , with 1 B < A 1 .  □
Corollary 10.
Assume that (20) holds for q z = 1 + z 1 z γ , 0 < γ 1 , λ > 0 , a, c C , c 0 , 1 , 2 , If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and
α 1 + z 1 z γ + 2 β γ z 1 z 2 1 + z 1 z γ ψ λ a , b α , β ; z ,
where ψ λ a , b is defined in (16), α , β C and β 0 , then
1 + z 1 z γ z D z λ ϕ a , c ; z D z λ ϕ a , c ; z ,
and the best subordinant is 1 + z 1 z γ .
Proof. 
In Theorem 5 consider q z = 1 + z 1 z γ , with 0 < γ 1 .  □
The sandwich theorem is obtained combining Theorem 4 and Theorem 5.
Theorem 6.
(Sandwich-type result) Consider q 1 and q 2 convex and univalent functions in U with q 1 z 0 and q 2 z 0 , ∀ z U . Assume that relation (15) is satisfied by q 1 and relation (20) is satisfied by q 2 . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and ψ λ a , b α , β ; z is univalent in U defined by (16), λ > 0 , a, c , α , β C , c 0 , 1 , 2 , , β 0 , then
α q 1 z + β z q 1 z ψ λ a , b α , β ; z α q 2 z + β z q 2 z ,
implies
q 1 z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z q 2 z , z U ,
and the best subordinant is q 1 and the best dominant is q 2 .
Letting q 1 z = 1 + A 1 z 1 + B 1 z , q 2 z = 1 + A 2 z 1 + B 2 z , where 1 B 2 < B 1 < A 1 < A 2 1 , in Theorem 6 we get
Corollary 11.
Assume that (15) and (20) hold for q 1 z = 1 + A 1 z 1 + B 1 z and q 2 z = 1 + A 2 z 1 + B 2 z , and λ > 0 , a, c , α , β C , c 0 , 1 , 2 , , β 0 , 1 B 2 B 1 < A 1 A 2 1 . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and
α 1 + A 1 z 1 + B 1 z + β A 1 B 1 z 1 + B 1 z 2 ψ λ a , b α , β ; z
α 1 + A 2 z 1 + B 2 z + β A 2 B 2 z 1 + B 2 z 2 , z U ,
where ψ λ a , b is defined in (16), α , β C and β 0 , then
1 + A 1 z 1 + B 1 z z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + A 2 z 1 + B 2 z , z U ;
hence, the best subordinant is 1 + A 1 z 1 + B 1 z and the best dominant is 1 + A 2 z 1 + B 2 z .
By setting q 1 z = 1 + z 1 z γ 1 and q 2 z = 1 + z 1 z γ 2 , where 0 < γ 1 < γ 2 1 , in Theorem 6 we obtain
Corollary 12.
Assume that (15) and (20) hold for q 1 z = 1 + z 1 z γ 1 and q 2 z = 1 + z 1 z γ 2 , and λ > 0 , a, c , α , β C , c 0 , 1 , 2 , , β 0 , 0 < γ 1 < γ 2 1 . If z D z λ ϕ a , c ; z D z λ ϕ a , c ; z Q H q 0 , 1 and
α 1 + z 1 z γ 1 + 2 β γ 1 z 1 z 2 1 + z 1 z γ 1 ψ λ a , b α , β ; z
α 1 + z 1 z γ 2 + 2 β γ 2 z 1 z 2 1 + z 1 z γ 2 , z U ,
where ψ λ a , b is defined by (16), then
1 + z 1 z γ 1 z D z λ ϕ a , c ; z D z λ ϕ a , c ; z 1 + z 1 z γ 2 , z U ;
hence, the best subordinant is 1 + z 1 z γ 1 and the best dominant is 1 + z 1 z γ 2 .

3. Discussion

Using the previously introduced operator involving the fractional integral of confluent hypergeometric function, further study was done and new subordinations and superordinations were obtained; we also gave their best subordinants and best dominants. Interesting corollaries were stated using particular functions as best subordinants and best dominants of the subordinations and superordinations studied in the theorems stated in this paper. An investigation on this operators’ univalence is yet to be done. Additionally, other aspects related to it can still be investigated, such as introducing new classes of functions with certain properties given by the use of this operator.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

Dedicated to memory of Mitrofan Cioban.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Alb Lupaş, A. Subordination results for fractional integral associated with Dziok-Srivastava operator. An. Univ. Oradea Fasc. Math. 2020, 27, 125–131. [Google Scholar]
  2. Alb Lupaş, A.; Cioban, M. On a subclass of analytic functions defined by a fractional integral operator. In Proceedings of the International Conference on Mathematics, Informatics and Information Technologies, Bălți, Moldova, 19–21 April 2018; pp. 8–14. [Google Scholar]
  3. Owa, S. On the distortion theorems I. Kyungpook Math. J. 1978, 18, 53–59. [Google Scholar]
  4. Viglialoro, G.; Murcia, J. A singular elliptic problem related to the membrane equilibrium equations. Int. J. Comput. Math. 2013, 90, 2185–2196. [Google Scholar] [CrossRef]
  5. Li, T.; Pintus, N.; Viglialoro, G. Properties of solutions to porous medium problems with different sources and boundary conditions. Z. Angew. Math. Phys. 2019, 70, 1–18. [Google Scholar] [CrossRef] [Green Version]
  6. Li, T.; Viglialoro, G. Analysis and explicit solvability of degenerate tensorial problems. Bound. Value Probl. 2018, 2, 1–13. [Google Scholar] [CrossRef] [Green Version]
  7. Alb-Lupaş, A.; Oros, G.I. Differential subordination and superordination results using fractional integral of confluent hypergeometric function. Symmetry 2021, 13, 327. [Google Scholar] [CrossRef]
  8. Chaudhry, M.A.; Qadir, A.; Srivastava, H.M. Extended hypergeometric and confluent hypergeometric functions. Appl. Math. Comput. 2004, 159, 589–602. [Google Scholar] [CrossRef]
  9. Ghanim, F.; Al-Shaqsi, K.; Darus, M.; Al-Janaby, H.F. Subordination Properties of Meromorphic Kummer Function Correlated with Hurwitz–Lerch Zeta-Function. Mathematics 2021, 9, 192. [Google Scholar] [CrossRef]
  10. Oros, G.I. New Conditions for Univalence of Confluent Hypergeometric Function. Symmetry 2021, 13, 82. [Google Scholar] [CrossRef]
  11. Kummer, E.E. De integralibus quibusdam definitis et seriebus infinitis. J. für die reine und angewandte. Mathematik 1837, 17, 228–242. (In Latin) [Google Scholar]
  12. Miller, S.S.; Mocanu, P.T. Differential Subordinations. In Theory and Applications; Marcel Dekker Inc.: New York, NY, USA; Basel, Switzerland, 2000. [Google Scholar]
  13. Miller, S.S.; Mocanu, P.T. Subordinants of differential superordinations. Complex Var. 2003, 48, 815–826. [Google Scholar] [CrossRef]
  14. Bulboacă, T. Classes of first order differential superordinations. Demonstr. Math. 2002, 35, 287–292. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Alb Lupaş, A. New Applications of the Fractional Integral on Analytic Functions. Symmetry 2021, 13, 423. https://doi.org/10.3390/sym13030423

AMA Style

Alb Lupaş A. New Applications of the Fractional Integral on Analytic Functions. Symmetry. 2021; 13(3):423. https://doi.org/10.3390/sym13030423

Chicago/Turabian Style

Alb Lupaş, Alina. 2021. "New Applications of the Fractional Integral on Analytic Functions" Symmetry 13, no. 3: 423. https://doi.org/10.3390/sym13030423

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop