1. Introduction
Special functions are mathematical functions that lack a precise formal definition, yet they hold significant importance in various fields such as mathematical analysis, physics, functional analysis, and other branches of applied science. Despite their lack of a rigid definition, these functions are widely utilized due to their valuable properties and widespread applicability. Many elementary functions, such as exponential, trigonometric, and hyperbolic functions, are also treated as special functions. The theory of special functions has earned the attention of many researchers throughout the nineteenth century and has been involved in many emerging fields. Indeed, numerous special functions, including the generalized hypergeometric functions, have emerged as a result of solving specific differential equations. These functions have proven to be instrumental in addressing complex mathematical problems, showcasing their remarkable utility in various domains. The geometric properties such as univalence and convexity of special functions and their integral operators are important in complex analysis. Several researchers have dedicated their efforts to investigating integral operators that incorporate special functions such as the Bessel, Lommel, Struve, Wright, and Mittag–Leffler functions. These studies have focused on examining the geometric properties of these operators within various classes of univalent functions. By exploring the interplay between these integral operators and special functions, researchers have deepened our understanding of the behavior and characteristics of univalent functions in different contexts. It is noteworthy that contemporary researchers in the field are actively pursuing the development of novel theoretical methodologies and techniques that combine observational results with various practical applications. Therefore, the primary objective of this paper is to investigate the criteria for univalence and convexity of integral operators that employ Miller–Ross functions.
Let
denote the class of analytic functions
ℏ of the form
in the open unit disk
and satisfy the standard normalization condition:
We denote by
the subclass of
which are also univalent in
. A function
is convex of order
if the following condition holds:
For
, define
For
(
), the parameters
(
) and
we define the following three integral operators:
and
by
and
Here, we need to note that, many authors have studied the integral operators (
1), (
2) and (
3) for some specific parameters as follows:
- (1)
(Seenivasagan and Breaz [
1]; see also [
2,
3]);
- (2)
(Breaz and Breaz [
4]);
- (3)
(Breaz et al. [
5]);
- (4)
(Kim and Merkes [
6]; see also Pfaltzgraff [
7]);
- (5)
(Pescar [
8]);
- (6)
(Breaz and Breaz [
9]; see also [
10]);
- (7)
(Moldoveanu and Pascu [
11]).
Furthermore, the specific integral operators via an obvious parametric changes of the classical Bessel function
of order
and of the first kind by Deniz et al. [
12] were introduced and they worked on the univalence condition of the related integral operators. In addition, the starlikeness, convexity and uniform convexity of integral operators containing these equivalent forms of
were discussed by Raza et al. [
13] and Deniz [
14]. Recently, some sufficient conditions for univalence of various linear fractional derivative operators containing the normalized forms of the similar parametric variation of
were investigated by Al-Khrasani et al. [
15]. Moreover, the theory of derivatives and integrals of an arbitrary complex or real order has been utilized not only in complex analysis, but also in the mathematical analysis and modeling of real-world problems in applied sciences (see, for example, [
16,
17]).
Inspired by the studies mentioned above, in the present paper, we work on some mappings and univalence and convexity conditions for the integral operators given by (
1), (
2) and (
3), related to the following Miller–Ross function
defined by
where
is the incomplete gamma function (see [
18]).
a solution of the following ordinary differential equation
With the help of the gamma function we obtain the following series form of
:
where
The function
does not belong to the class
. The normalization form of the function
is written as
where
and
Recently, Eker and Ece [
19] and Şeker et al. [
20] studied geometric and characteristic properties of this function, respectively. Also, some problems as partial sums, coefficient inequalities, inclusion relations and neighborhoods for Miller-Ross function were studied by Kazımoğlu [
21,
22].
We note that by choosing particular values for
and
we obtain the following functions
and
where Erf
is the error function.
Let
for
and
Consider the functions
defined by
Using the functions
and the integral operators given by (
1), (
2) and (
3), we define
and
as follows:
and
An extensive literature in geometric function theory dealing with the geometric properties of the integral operators using different types of special functions can be found. In 2010, some integral operators containing Bessel functions were studied by Baricz and Frasin [
2]. They obtained some sufficient conditions for univalence of these operators. The convexity and strongly convexity of the integral operators given in [
2] were investigated by Arif and Raza [
23] and Frasin [
24]. Deniz [
14] and Deniz et al. [
12] gave convexity and univalence conditions for integral operators involving generalized Bessel Functions, respectively. Between 2018 and 2020, Mahmood et al. [
25], Mahmood and his co-authors [
26] and Din and Yalçın [
27] investigated the certain geometric properties such as univalence, convexity, strongly starlikeness and strongly convexity of integral operators involving Struve functions. Recently, Din and Yalçın [
28] obtained some sufficients condidions on starlikeness, convexity and uniformly close-to-convexity of the modified Lommel function. Park et al. [
29] investigated univalence and convexity conditions for certain integral operators involving the Lommel function. Srivastava and his co-authors [
30] studied sufficient conditions for univalence of certain integral operators involving the normalized Mittag–Leffler functions. Oros [
31] studied geometric properties of certain classes of univalent functions using the classical Bernardi and Libera integral operators and the confluent (or Kummer) hypergeometric function. Very recently, Raza et al. [
32] obtained the necessary conditions for the univalence of integral operators containing the generalized Bessel function. Studies on this subject are still ongoing.
Motivated by the these works, we obtain some sufficient conditions for the operators (
5), (
6) and (
7), in order to be univalent in
. Moreover, we determine the order of the convexity of these integral operators. By using Mathematica (version 8.0), we give some graphics that support the main results.
3. Univalence and Convexity Conditions for the
Integral Operator in (5)
Firstly, we take into account the integral operator defined by (
5).
Theorem 1. Let and Also, let and be in such that Assume that these numbers satisfy the following inequality:where Then the function defined by (5) is in the class Proof. Let us define the function
as follows:
First of all, we observe that
since
for all
However, we also have
Taking the logarithmic derivative of both sides of (
20), we get
and, from (
10) and (
13), we have
where
Here, we have also used the fact that the functions
defined by
are decreasing and, consequently, we have
and
Therefore, from hypothesis of theorem we obtain
which imply that the function
by Lemma 1. □
Theorem 2. Let the parameters and be as in Theorem 1. Suppose that and that the following inequality holds true: Then the function defined by (5) is in the class Proof. Let us consider the function
as in (
19). From (
22) and hypothesis of theorem, we get
By Lemma 2, the inequality (
24) imply that the function
□
Theorem 3. Let the parameters and be as in Theorem 1. Suppose that and that the following inequality holds true: Then the function defined by (5) with is convex of order δ given by Proof. The inequality (
22) and hypothesis of theorem show that
As a result, the function
is convex of order
□
In Theorem 1 with and we can write the following corollary.
Corollary 1. Let and ζ be in such that and If the inequalityholds true, then the functionis in the class Normally, it is almost impossible to find the geometric properties (univalent, convex, starlike, etc.) of a complex function and especially integral operators with classical methods. However, from Corollary 1 (also from
Figure 1) with
and
we can see that the function
belongs to the class
Setting and in the Theorem 1, we can get result below.
Corollary 2. Let and ζ be in such that and If the inequalityholds, then the functionis in the class From Theorem 3 with and we can get result below.
Corollary 3. Let η and ζ be complex numbers such that Then the functionis convex of order δ given by Let and in the Theorem 3, then we get following result.
Corollary 4. Let η and ζ be complex numbers such that Then the functionis convex of order δ given by 4. Univalence and Convexity Conditions for the
Integral Operator in (6)
In this section, we investigate the univalence and convexity properties for the integral operator defined by (
6).
Theorem 4. Let and Also, let and be in such that Assume that these numbers satisfy the following inequality:where Then the function defined by (6) is in the class Proof. Let us define the functions
by
Then
Differentiating both sides of (
25) logarithmically, we get
and, from (
11) and (
12) in Lemma 3, we obtain
Here, since the functions
defined by
are decreasing, the inequalities
and
holds. Thus, we have
Using Lemma 1 with
the inequality (
28) imply that the function
□
Theorem 5. Let the parameters and be as in Theorem 4. Suppose that and that the following inequality holds true: Then the function defined by (6) is in the normalized univalent function class Proof. Let us consider the function
as in (
25). Therefore, from (
26) and hypothesis of theorem we can easily see that
By Lemma 2, with
and
the inequality (
29) imply that the function
□
Theorem 6. Let and Also, let and be in such that Moreover, suppose that the following inequality holds true:where Then the function defined by (6), is convex of order δ given by Proof. By using (
26) we conclude that
This show that, the function
is convex of order
□
From Theorem 4 with and we can get the following result.
Corollary 5. Let η and ζ be in such that and If these numbers satisfy the inequality:then the functionis in the class Example 2. From Corollary 5 with and we have In reality, by a simple calculation, we get It also holds true that for all (see Figure 2). Therefore, is a convex function [[35], Vol. I, p. 142]. Thus it follows from [[35], Vol. I, p. 142] that belongs to the class From Theorem 4 with and we can get result below.
Corollary 6. Let η and ζ be in such that and If these numbers satisfy the follwing inequalitythen the functionis in the class From Theorem 6 with and we can get the following result.
Corollary 7. Let η and ζ be a complex numbers such thatThen the function defined by (30) is convex of order δ given by From Theorem 6 with and we can get the following result.
Corollary 8. Let η and ζ be a complex numbers such that Then the function defined by (31) is convex of order δ given by 5. Univalence and Convexity Conditions for the
Integral Operator in (7)
In this section, we derive the univalence and convexity results for the integral operator defined by (
7).
Theorem 7. Let and Also, let and be in such that Assume that these numbers satisfy the following inequality:where Then the function defined by (7) is in the class Proof. Let us define the function
by
so that, obviously,
and
Now we differentiate (
33) logarithmically and multiply by
, we obtain
Furthermore, by (
11), (
13), (
23) and (
27) we obtain
Hence, from (
34) we have
which, in view of Lemma 1, implies that
□
Theorem 8. Let the parameters and be as in Theorem 7. Suppose that and that the following inequality holds true: Then the function defined by (7) is in the class Proof. By using (
34) we obtain
which, in view of Lemma 2, implies that
□
Theorem 9. Let and Also, let and be in such that Assume that these numbers satisfy the following inequality:where Then the function defined by (7) with is convex of order δ given by Proof. From (
34) and hypothesis of theorem, we obtain
Therefore, the function is convex of order □
From Theorem 7 with and we can get following result.
Corollary 9. Let and ζ be in such that If these numbers satisfy the inequality:then the functionis in the normalized univalent function class Example 3. From Corollary 9 with and we obtain From Theorem 7 with and we can get result below.
Corollary 10. Let and ζ be in such that and If these numbers satisfy the inequalitythen the functionis in the normalized univalent function class From Theorem 9 with and we have following result.
Corollary 11. Let η and ζ be complex numbers such thatThen the functionis convex of order δ given by From Theorem 9 with and we have following result.
Corollary 12. Let η and ζ be complex numbers such thatThen the functionis convex of order δ given by Example 4. From Corollary 12 with and we getis convex of order 6. Conclusions
In the present investigation, we first introduced certain families of integral operators by using the Miller–Ross function which, in particular, plays a very important role in the study of pure and applied mathematical sciences. Therefore, it is important to know the geometric properties of special functions and their integral operators. For this reason, we aim to study the criteria for the univalence and convexity of these integral operators that are defined by using Miller–Ross functions. The various results, which we established in this paper, are believed to be new, and their importance is illustrated by several interesting consequences and examples together with the associated graphical illustrations.
Hopefully, the original results contained here would stimulate researchers’ imagination and inspire them, just as all the operators introduced before in studies related to functions of a complex variable have done. Other geometric properties related to them could be investigated, and also they could prove useful in introducing special classes of functions based on those properties.