This paper revealed new fractional calculus applications of special functions in the geometric function theory. The aim of the study presented here was to introduce and begin the investigations on a new fractional calculus integral operator defined as the fractional integral of order λ for the Bessel function of the first kind. The focus of this research was on obtaining certain geometric properties that give necessary and sufficient univalence conditions for the new fractional calculus operator using the methods associated to differential subordination theory, also referred to as admissible functions theory, developed by Sanford S. Miller and Petru T. Mocanu. The paper discussed, in the proved theorems and corollaries, conditions that the fractional integral of the Bessel function of the first kind must comply in order to be a part of the sets of starlike functions, positive and negative order starlike functions, convex functions, positive and negative order convex functions, and close-to-convex functions, respectively. The geometric properties proved for the fractional integral of the Bessel function of the first kind recommend this function as a useful tool for future developments, both in geometric function theory in general, as well as in differential subordination and superordination theories in particular.
Citation: Georgia Irina Oros, Gheorghe Oros, Daniela Andrada Bardac-Vlada. Certain geometric properties of the fractional integral of the Bessel function of the first kind[J]. AIMS Mathematics, 2024, 9(3): 7095-7110. doi: 10.3934/math.2024346
[1] | Alina Alb Lupaş, Georgia Irina Oros . Differential sandwich theorems involving Riemann-Liouville fractional integral of $ q $-hypergeometric function. AIMS Mathematics, 2023, 8(2): 4930-4943. doi: 10.3934/math.2023246 |
[2] | Shuang-Shuang Zhou, Saima Rashid, Muhammad Aslam Noor, Khalida Inayat Noor, Farhat Safdar, Yu-Ming Chu . New Hermite-Hadamard type inequalities for exponentially convex functions and applications. AIMS Mathematics, 2020, 5(6): 6874-6901. doi: 10.3934/math.2020441 |
[3] | Sobia Rafeeq, Sabir Hussain, Jongsuk Ro . On fractional Bullen-type inequalities with applications. AIMS Mathematics, 2024, 9(9): 24590-24609. doi: 10.3934/math.20241198 |
[4] | Muhammad Tariq, Hijaz Ahmad, Soubhagya Kumar Sahoo, Artion Kashuri, Taher A. Nofal, Ching-Hsien Hsu . Inequalities of Simpson-Mercer-type including Atangana-Baleanu fractional operators and their applications. AIMS Mathematics, 2022, 7(8): 15159-15181. doi: 10.3934/math.2022831 |
[5] | Hu Ge-JiLe, Saima Rashid, Muhammad Aslam Noor, Arshiya Suhail, Yu-Ming Chu . Some unified bounds for exponentially $tgs$-convex functions governed by conformable fractional operators. AIMS Mathematics, 2020, 5(6): 6108-6123. doi: 10.3934/math.2020392 |
[6] | Iqra Nayab, Shahid Mubeen, Rana Safdar Ali, Gauhar Rahman, Abdel-Haleem Abdel-Aty, Emad E. Mahmoud, Kottakkaran Sooppy Nisar . Estimation of generalized fractional integral operators with nonsingular function as a kernel. AIMS Mathematics, 2021, 6(5): 4492-4506. doi: 10.3934/math.2021266 |
[7] | Serap Özcan, Saad Ihsan Butt, Sanja Tipurić-Spužević, Bandar Bin Mohsin . Construction of new fractional inequalities via generalized $ n $-fractional polynomial $ s $-type convexity. AIMS Mathematics, 2024, 9(9): 23924-23944. doi: 10.3934/math.20241163 |
[8] | Yue Wang, Ghulam Farid, Babar Khan Bangash, Weiwei Wang . Generalized inequalities for integral operators via several kinds of convex functions. AIMS Mathematics, 2020, 5(5): 4624-4643. doi: 10.3934/math.2020297 |
[9] | Maimoona Karim, Aliya Fahmi, Zafar Ullah, Muhammad Awais Tariq Bhatti, Ather Qayyum . On certain Ostrowski type integral inequalities for convex function via AB-fractional integral operator. AIMS Mathematics, 2023, 8(4): 9166-9184. doi: 10.3934/math.2023459 |
[10] | Muhammad Tariq, Asif Ali Shaikh, Sotiris K. Ntouyas, Jessada Tariboon . Some novel refinements of Hermite-Hadamard and Pachpatte type integral inequalities involving a generalized preinvex function pertaining to Caputo-Fabrizio fractional integral operator. AIMS Mathematics, 2023, 8(11): 25572-25610. doi: 10.3934/math.20231306 |
This paper revealed new fractional calculus applications of special functions in the geometric function theory. The aim of the study presented here was to introduce and begin the investigations on a new fractional calculus integral operator defined as the fractional integral of order λ for the Bessel function of the first kind. The focus of this research was on obtaining certain geometric properties that give necessary and sufficient univalence conditions for the new fractional calculus operator using the methods associated to differential subordination theory, also referred to as admissible functions theory, developed by Sanford S. Miller and Petru T. Mocanu. The paper discussed, in the proved theorems and corollaries, conditions that the fractional integral of the Bessel function of the first kind must comply in order to be a part of the sets of starlike functions, positive and negative order starlike functions, convex functions, positive and negative order convex functions, and close-to-convex functions, respectively. The geometric properties proved for the fractional integral of the Bessel function of the first kind recommend this function as a useful tool for future developments, both in geometric function theory in general, as well as in differential subordination and superordination theories in particular.
Fractional calculus has recently become a prominent area of mathematical analysis with regard to theoretical studies and real-life applications. It has developed into an essential tool for modeling and analysis, having a significant impact on a wide range of disciplines. Recent detailed reviews of the subject [1,2] examine its development and list numerous scientific and engineering fields in which it has been applied.
The recent review study by Srivastava [3] highlighted the advantages of adding fractional calculus to geometric function theory, and this has inspired and encouraged further research linking fractional calculus to univalent functions theory. Since Miller and Mocanu first proposed the theory of differential subordination in their publications from 1978 [4] and 1981 [5], it has received a lot of attention because it can be used to more easily obtain previously known results as well as generate remarkable results when combined with investigations involving analytic functions. A topic of study that evolved well in the differential subordination theory framework emerged when various kinds of operators were included into the study. As a recent survey report [6] demonstrates, integral operators are a crucial tool when such studies are taken into account.
The investigation addressed in this paper continues this research topic and geometric properties are established for an integral operator introduced using the fractional integral of order λ and the remarkable Bessel function of the first kind.
The classical fractional calculus operators, Riemann-Liouville fractional integral of order λ and Riemann-Liouville fractional derivative of order λ, were adapted for studies regarding analytic functions in [7]. The Riemann-Liouville fractional integral seen in [7] was combined with the generalized hypergeometric function in [8] and with the Gauss hypergeometric function in a general family of fractional integral operators that were introduced in [9]. A unified method on special functions and fractional calculus operators was introduced in [10] including a list of publications that can be read to follow the topic's evolution. Studies involving fractional operators in geometric function theory continued over the years. In recent developments on the topic, the Riemann-Liouville fractional integral was combined with the confluent hypergeometric function [11], Gauss hypergeometric function [12], Libera integral operator [13], Mittag-Leffler-Confluent hypergeometric functions [14], or with the q-hypergeometric function [15].
The present research continues the direction of study regarding the development of new fractional operators for conducting studies in geometric function theory. The methods are similar to those used in the previously cited works, but the new results embedding fractional calculus aspects are developed here using the prolific methods of the differential subordination or the admissible functions theory [16] and a well-known result due to Sakaguchi. Such combination of methods has not been used earlier for research on fractional integral operators.
Moreover, the novelty of the research is completed by the combination of the Riemann-Liouville fractional integral of order λ with the form introduced in [7] and the Bessel function of the first kind, resulting in a new fractional integral operator that has not been investigated before. As proved earlier, the Riemann-Liouville fractional integral is widely used in theoretical studies pertaining new fractional operators involving different hypergeometric functions with applications in the geometric function theory. The new application of this prolific investigation tool on the Bessel function of the first kind presented in this study is motivated by the initial studies on its geometric properties established by Baricz Á. [17,18,19] and more recent studies seen in papers [20,21,22,23].
The significant results published recently regarding an operator defined using the Atangana-Baleanu fractional integral applied to Bessel functions [24] constituted a confirmation of the hypothesis that an interesting fractional operator would be obtained by combining the fractional integral of order λ given in [7] and the Bessel function of the first kind. Further investigations conducted in this paper on the fractional integral operator introduced here involving the Bessel function of the first kind were inspired by the intriguing results recently published regarding geometric properties of integral operators defined involving the Bessel function [25,26,27].
With the topic of the study exposed and the motivation shown above, we now introduce the basic notions and denotations familiar to the geometric function theory.
The general class of holomorphic functions in the unit disc U={z∈C:|z|<1} is identified by H(U). The notations
¯U={z∈C:|z|≤1} and ∂U={z∈C:|z|=1} |
are associated to the unit disc U.
The special classes
H[a,n]={f∈H(U):f(z)=a+anzn+an+1zn+1+…, z∈U} |
and
An={f∈H(U):f(z)=z+an+1zn+1+…, z∈U} |
with A1=A are also involved in this study. Furthermore, the study requires the following prominent classes:
S={f∈A:f univalent, f(0)=0, f′(0)=1}, the class of univalent functions, |
S∗(α)={f∈A:Rezf′(z)f(z)>α}, |
with α<1, denoting the class of starlike functions of order α, obtaining the class of starlike functions S∗ when α=0, and
K(α)={f∈A:Re(zf″(z)f′(z)+1)>α}, |
with α<1, denoting the class of convex functions of order α, obtaining the class of convex functions K when α=0.
Remark 1.1. It should be mentioned that for the classes S∗(α), S∗, K(α), and K, a so-called Duality theorem was proved in [28,Th. 4.4.4,p. 76], which gives that for α∈[0,1), S∗(α)⊂S∗ and K(α)⊂K, meaning that starlike and convex functions of order α are univalent functions. However, when α<0, the functions f∈S∗(α) and f∈K(α) are called starlike and convex of negative order, respectively, and these types of functions may not always be univalent.
Finally, the study also includes reference to the class of Carathéodory functions,
P={p∈H(U):p(0)=1, Rep(z)>0, z∈U} |
and the class of close-to-convex functions,
C={f∈H(U):∃ φ∈K, Ref′(z)φ′(z)>0, z∈U}. |
If φ(z)=z, the condition becomes Ref′(z)>0, z∈U. Such a function is called close-to-convex with respect to the identical function and the condition gives that a close-to-convex function is also univalent in U.
A known result, which will be used in the following proofs, is given as:
Lemma 1.1. [28,p. 84] A necessary and sufficient condition for a function f∈H(U), f′(z)≠0, to be close-to-convex is:
∫θ2θ1Re[1+zf″(z)f′(z)]dθ>−π, z=riθ, |
whenever 0≤θ1<θ2<2π.
The basic concept of the differential subordination is known as the following:
Definition 1.1. [7,29] Let f and F be members of H(U). The function f is said to be subordinate to F, written f≺F, f(z)≺F(z), if there exists a function w analytic in U, with w(0)=0 and |w(z)|<1, z∈U, such that f(z)=F(w(z)). If w is univalent, then f≺F, if and only if, f(0)=F(0) and f(U)⊂F(U).
The remarkable result due to Sakaguchi is a notable tool for obtaining the new outcome of this study.
Lemma 1.2. [28,p. 49] Let p∈H(U), such that Rep(0)>0, and let α∈R. Then
Re[p(z)+αzp′(z)p(z)]>0, z∈U, |
implies
Rep(z)>0, z∈U. |
The essential research tools are presented next.
Definition 1.2. [7,8] The fractional integral of order λ (λ>0) is defined for a function f by the following expression:
D−λzf(z)=1Γ(λ)∫z0f(t)(z−t)1−λdt, | (1.1) |
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.
Definition 1.3. [17] Consider the second-order differential equation
z2 d2y(z)dz2+z dy(z)dz+(z2−ν2)y(z)=0, |
which is called Bessel's equation, where ν∈R or ν∈C and z∈C. The particular solutions of this equation are called Bessel functions.
The Bessel function of the first kind and order ν is given by:
Iν(z)=(z2)ν∞∑p=0(−1)p(z2)2pp!Γ(ν+p+1), ν≥0, | (1.2) |
where Γ is Euler's gamma function.
The key findings of this investigation are revealed in the next section, starting with the introduction of the new fractional integral operator defined that considers Definitions 1.2 and 1.3. The first new results established in this paper give necessary and sufficient conditions for the newly defined operator to be starlike of positive and negative order, respectively. Next, similar conditions are obtained such that the newly defined operator is convex of positive and negative order, respectively. Furthermore, it is proved that the convexity of the fractional integral of the Bessel function of the first kind and order 0 implies its starlikeness. Finally, the conditions for the fractional integral of the Bessel function of the first kind and order 0 to be a close-to-convex function are obtained.
The first new result introduced by this research shows the integral operator given as the fractional integral of the Bessel function of the first kind and order ν≥0. The definition is obtained using Definitions 1.2 and 1.3 and the properties of the functions involved.
Definition 2.1. Let ν≥0, z∈C, λ>0, p∈N, the fractional integral of order λ be given by (1.1), and the Bessel function of the first kind and order ν both be given by (1.2). The fractional integral of the Bessel function of the first kind and order ν are defined as:
D−λzIν(z)=1Γ(λ)∫z0Iν(t)(z−t)1−λdt=1Γ(λ)∫z0(∞∑p=0(−1)pt2p+ν22p+νp!Γ(ν+p+1)⋅1(z−t)1−λ)dt=1Γ(λ)∞∑p=0((−1)p22p+νp!Γ(ν+p+1)∫z0t2p+ν(z−t)1−λ)dt=∞∑p=0(−1)p22p+νp!Γ(ν+p+1)⋅Γ(2p+ν+1)Γ(2p+ν+λ+1)⋅z2p+ν+λ=zν+λ2ν∞∑p=0(−1)pΓ(2p+ν+1)22pp!Γ(ν+p+1)Γ(2p+ν+λ+1)⋅z2p. | (2.1) |
Remark 2.1. For ν=0, we obtain:
D−λzI0(z)=zλ∞∑p=0(−1)pΓ(2p+1)22p(p!)2Γ(2p+λ+1)⋅z2p. | (2.2) |
Furthermore, for λ=1, we get the following particular form, which is important for this investigation; the fractional integral of the Bessel function of the first kind and order 0:
D−1zI0(z)=z∞∑p=0(−1)pΓ(2p+1)22p(p!)2Γ(2p+2)⋅z2p. | (2.3) |
The following theorems highlight the necessary and sufficient conditions for the operator D−λzIν(z) introduced in (2.1) to be starlike and starlike of positive and negative order, respectively.
Theorem 2.1. Let D−λzIν(z) be given by (2.1) and consider q∈K as:
q(z)=1+z1−z, z∈U. |
If
z(D−λzIν(z))′D−λzIν(z)≺1+z1−z, z∈U, | (2.4) |
then
Rez(D−λzIν(z))′D−λzIν(z)>0, z∈U. |
Proof. Since q∈K, q(0)=1, and q(U)={z∈C:Rez>0} is a convex domain, Relation (2.4) is equivalent to
Rez(D−λzIν(z))′D−λzIν(z)>Req(z)>0, z∈U. | (2.5) |
Remark 2.2. Since (D−λzIν)′(0)=0, Relation (2.5) doesn't imply that D−λzIν(z)∈S∗; hence, D−λzIν(z)∉S∗. We can only conclude that D−λzIν(z)∈P.
For λ=1, ν=0, and considering Relation (2.3), we have that (D−1zI0)′(0)=1, and the following corollary is obtained:
Corollary 2.1. Let D−1zI0(z) as given by (2.3) and consider q∈K as:
q(z)=1+z1−z, z∈U. |
If
z(D−1zI0(z))′D−1zI0(z)≺1+z1−z, z∈U, |
then
Rez(D−1zI0(z))′D−1zI0(z)>0, z∈U, | (2.6) |
meaning that D−1zI0(z)∈S∗.
Proof. Since D−1zI0(0)=0 and (D−1zI0)′(0)=1≠0, Relation (2.6) implies that D−1zI0(z)∈S∗ and D−1zI0(z)∈S.
Remark 2.3. By letting
g(z)=z(D−1zI0(z))′D−1zI0(z), |
we have that g(0)=1, and by using (2.6), we can write Reg(z)>0, z∈U; hence, g(z)∈P.
The following results demonstrate the necessary and sufficient conditions for the fractional integral of the Bessel function of the first kind and order ν given by (2.1) to be starlike of positive order.
Theorem 2.2. Let D−λzIν(z) as given by (2.1) and consider q∈K as:
q(z)=z1+z, z∈U. |
If
z(D−λzIν(z))′D−λzIν(z)≺z1+z, z∈U, | (2.7) |
then
Re, z(D−λzIν(z))′D−λzIν(z)>12. |
Proof. First, it is proved that q(z)=z1+z∈K. For that, we get
q′(z)=1(1+z)2,q″(z)=−2(1+z)3 |
and
Re(zq″(z)q′(z)+1)=Re1−z1+z>0. | (2.8) |
Since q(0)=0 and q′(0)=1≠0, Relation (2.8) gives that q(z)∈K. It follows that
q(U)={z∈C:Rez>12} |
is a convex domain and Relation (2.7) is equivalent to:
Rez(D−λzIν(z))′D−λzIν(z)>12, z∈U. | (2.9) |
Remark 2.4. Since (D−λzIν)′(0)=0, Relation (2.9) doesn't imply that D−λzIν(z)∈S∗(12); hence, D−λzIν(z)∉S∗(12).
For λ=1, ν=0, and considering Relation (2.3), we have that (D−1zI0)′(0)=1, and the following corollary is obtained:
Corollary 2.2. Let D−1zI0(z) as given by (2.3) and consider q∈K as:
q(z)=z1+z, z∈U. |
If
z(D−1zI0(z))′D−1zI0(z)≺z1+z, z∈U, |
then
Rez(D−1zI0(z))′D−1zI0(z)>12, z∈U, | (2.10) |
hence, D−1zI0(z)∈S∗(12), which implies that D−1zI0(z)∈S∗.
Proof. Since (D−1zI0)′(0)=1≠0, Inequality (2.10) shows that D−1zI0(z)∈S∗(12). We mentioned in Remark 1.1 from the Introduction that for α∈[0,1), we have that S∗(12)⊂S∗; hence, D−1zI0(z)∈S.
The next results demonstrate the necessary and sufficient conditions for the fractional integral of the Bessel function of the first kind and order ν given by (2.1) to be starlike of negative order.
Theorem 2.3. Let D−λzIν(z) as given by (2.1) and consider q∈K as:
q(z)=z1−z, z∈U. |
If
z(D−λzIν(z))′D−λzIν(z)≺z1−z, z∈U, | (2.11) |
then
Rez(D−λzIν(z))′D−λzIν(z)>−12, z∈U. |
Proof. The proof begins by proving that q(z)=z1−z∈K. For that, we have
q′(z)=1(1−z)2,q″(z)=2(1−z)3 |
and
Re(zq″(z)q′(z)+1)=Re1+z1−z>0, z∈U. | (2.12) |
Since q′(0)=1≠0 Relation (2.12) implies that q∈K,
q(U)={z∈C:Rez>−12}, |
is a convex domain and Relation (2.11) is equivalent to:
Rez(D−λzIν(z))′D−λzIν(z)>Rez1−z>−12, z∈U. | (2.13) |
Remark 2.5. Since (D−λzIν)′(0)=0, Relation (2.13) doesn't imply that D−λzIν(z)∈S∗(−12).
For λ=1, ν=0, and considering Relation (2.3), we have that (D−1zI0)′(0)=1≠0, and the following corollary is obtained:
Corollary 2.3. Let D−1zI0(z) be given by (2.3) and consider q∈K as:
q(z)=z1−z, z∈U. |
If
z(D−1zI0(z))′D−1zI0(z)≺z1−z, z∈U, |
then
Rez(D−1zI0(z))′D−1zI0(z)>−12, z∈U, | (2.14) |
meaning that D−1zI0(z)∈S∗(−12).
Proof. Since (D−1zI0)′(0)=1≠0, Inequality (2.14) gives that D−1zI0(z)∈S∗(−12). According to Remark 1.1, since −12<0, S∗(−12)⊄S∗, and it is possible that D−1zI0(z) is not univalent in U.
The next results provide necessary and sufficient conditions for the fractional integral of the Bessel function of the first kind and order ν to be a convex function of positive and negative order, respectively.
Theorem 2.4. Let D−λzIν(z) as given by (2.1) and consider q∈K as:
q(z)=1−z1+z, z∈U. |
If
1+z(D−λzIν(z))″(D−λzIν(z))′≺1−z1+z, z∈U, | (2.15) |
then
Re[1+z(D−λzIν(z))″(D−λzIν(z))′]>0, z∈U. |
Proof. Since q(z)=1−z1+z∈K, q(U)={z∈C:Rez>0} is a convex domain and Relation (2.15) is equivalent to
Re[1+z(D−λzIν(z))″(D−λzIν(z))′]>Re1−z1+z>0, z∈U. | (2.16) |
Remark 2.6. Since (D−λzIν)′(0)=0, Relation (2.16) doesn't imply D−λzIν(z)∈K.
For λ=1, ν=0, and considering Relation (2.3), we get that (D−1zI0)′(0)=1≠0, and the following corollary is obtained:
Corollary 2.4. Let D−1zI0(z) be given by (2.3) and consider q∈K as:
q(z)=1−z1+z, z∈U. |
If
1+z(D−1zI0(z))″(D−1zI0(z))′≺1−z1+z, z∈U, |
then
Re[1+z(D−1zI0(z))″(D−1zI0(z))′]>0, z∈U, | (2.17) |
hence, D−1zI0(z)∈K.
Proof. Since (D−1zI0)′(0)=1≠0, (2.17) implies that D−1zI0(z)∈K and D−1zI0(z)∈S.
By applying the outcome of Corollary 2.4, we show that D−1zI0(z)∈K implies D−1zI0(z)∈S∗.
Theorem 2.5. Let D−1zI0(z) as given by (2.3). If D−1zI0(0)=0, (D−1zI0)′(0)=1≠0, and
Re[1+z(D−1zI0(z))″(D−1zI0(z))′]>0, z∈U,i.e., D−1zI0(z)∈K, | (2.18) |
then
Rez(D−1zI0(z))′D−1zI0(z)>0, z∈U,meaning that D−1zI0(z)∈S∗. |
Proof. Let
g(z)=z(D−1zI0(z))′D−1zI0(z), z∈U. | (2.19) |
Applying (2.3) in (2.19), we obtain that g(0)=1≠0 and Reg(0)>0. By differentiating (2.19), after a few calculations, we get:
g(z)+zg′(z)g(z)=1+z(D−1zI0(z))″(D−1zI0(z))′, z∈U. | (2.20) |
Using Relation (2.18) in (2.20), we obtain:
Re(g(z)zg′(z)g(z))>0, z∈U. | (2.21) |
Considering Lemma 1.2 with α=1, Inequality (2.21) implies
Reg(z)>0, z∈U. | (2.22) |
Using Relation (2.19) in (2.22), we have:
Rez(D−1zI0(z))′D−1zI0(z)>0, z∈U. | (2.23) |
Since D−1zI0(0)=0 and (D−1zI0)′=1≠0, Relation (2.23) implies that D−1zI0(z)∈S∗; hence, D−1zI0(z)∈S: a result already known from Corollary 2.1.
Remark 2.7. Since D−1zI0(0)=0, (D−1zI0)′(0)=1, and D−1zI0(z)∈A, the Max-Strohhäcker theorem [21,p. 194] gives that
Re[1+z(D−1zI0(z))″(D−1zI0(z))′]>0 implies Rez(D−1zI0(z))′D−1zI0(z)>12, |
which is already known from Corollary 2.2.
The next results state the necessary and sufficient conditions for the fractional integral of the Bessel function of the first kind and order ν given by (2.1) to be a convex function of positive order α∈[0,1).
Theorem 2.6. Let D−1zIν(z) as given by (2.1) and consider q∈K as:
q(z)11−z, z∈U. |
If
1+z(D−λzIν(z))″(D−λzIν(z))′≺11−z, z∈U, | (2.24) |
then
Re[1+z(D−λzIν(z))″(D−λzIν(z))′]>12, z∈U. |
Proof. First, it is shown that q(z)=11−z∈K, then we get:
q′(z)=1(1−z)2,q″(z)=2(1−z)3 |
and
Re[zq″(z)q′(z)+1]>Re1+z1−z>0. | (2.25) |
Since q′(0)=1≠0, Relation (2.25) gives that q(z)∈K,
q(U)={z∈C:Rez>12} |
is a convex domain and differential subordination (2.24) is equivalent to:
Re[1+z(D−λzIν(z))″(D−λzIν(z))′]>Re11+z>12, z∈U. | (2.26) |
Remark 2.8. Since (D−λzIν)′(0)=0, Relation (2.26) doesn't imply that D−λzIν(z)∈K(12).
For λ=1, ν=0, and considering Relation (2.3), we get that (D−1zI0)′(0)=1≠0, and the following corollary is obtained:
Corollary 2.5. Let D−1zI0(z) as given by (2.3) and consider q∈K
q(z)=11−z, z∈U. |
If
1+z(D−1zI0(z))″(D−1zI0(z))′≺11−z, z∈U, |
then
Re[1+z(D−1zI0(z))″(D−1zI0(z))′]>12, | (2.27) |
i.e., D−1zI0(z)∈K.
Proof. Since (D−1zI0)′(0)=1≠0, Inequality (2.27) gives that D−1zI0(z)∈K(12). According to Remark 1.1, D−1zI0(z)∈K since α=12∈[0,1).
The next results establish the necessary and sufficient conditions for the fractional integral of the Bessel function of the first kind and order ν to be convex of negative order.
Theorem 2.7. Let D−λzIν(z) as given by (2.1) and consider q∈K as:
q(z)=1−2z1+z, z∈U. |
If
1+z(D−λzIν(z))″(D−λzIν(z))′≺1−2z1+z, z∈U, | (2.28) |
then
Re[1+z(D−λzIν(z))″(D−λzIν(z))′]>−12, z∈U. |
Proof. First, it is shown that the function q(z)=1−2z1+z∈K. For that, we get:
q′(z)=−3(1+z)2,q″(z)=6(1+z)3 |
and
Re[zq″(z)q′(z)+1]=Re1−z1+z>0, z∈U. | (2.29) |
Since q′(0)≠0, Inequality (2.29) gives that q(z)∈K,
q(U)={z∈C:Rez>−12} |
is a convex domain, Req(z)>−12, and Relation (2.28) is equivalent to:
Re[1+z(D−λzIν(z))″(D−λzIν(z))′]>Re1−2z1+z, z∈U. | (2.30) |
Remark 2.9. Since (D−λzIν)′(0)=0, Relation (2.30) doesn't imply that D−λzIν(z)∈K(−12).
For λ=1, ν=0, and considering Relation (2.3), we obtain that (D−1zI0(z))′(0)=1≠0, and the following corollary is obtained:
Corollary 2.6. Let D−λzI0(z) as given by (2.3) and consider q∈K as:
q(z)=1−2z1+z, z∈U. |
If
1+z(D−1zI0(z))″(D−1zI0(z))′≺1−2z1+z, z∈U, |
then
Re[1+z(D−1zI0(z))″(D−1zI0(z))′]>−12, | (2.31) |
meaning that D−1zI0(z)∈K(−12).
Proof. Since (D−1zI0)′(0)=1≠0, Relation (2.31) implies that D−1zI0(z)∈K(−12). Since α=−12<0, according to Remark 1.1, the function D−1zI0(z) is not necessarily univalent.
Using the outcome of Corollary 2.6, we next show that the function D−1zI0(z) given by (2.3) is a close-to-convex function and is univalent.
Theorem 2.8. Let D−1zI0(z) as given by (2.3) satisfy:
Re[1+z(D−1zI0(z))″(D−1zI0(z))′]>−12, z∈U. |
Thus, D−1zI0(z)∈C and D−1zI0(z)∈S.
Proof. Lemma 1.1 is applied in order to prove this theorem. We evaluate
∫θ2θ1Re[1+z(D−1zI0(z))″(D−1zI0(z))′]dθ>∫θ2θ1−12dθ=−12(θ2−θ1)>−π, |
since 0≤θ1<θ2<2π. Applying Lemma 1.1, we conclude that D−1zI0(z)∈C; hence, D−1zI0(z)∈S.
The main goal of the study is to present a novel fractional integral operator and to start investigations on its geometric properties by utilizing the differential subordination theory's methods. The fractional integral of order λ described in Definition 1.2 given by Relation (1.1) and the Bessel function of the first kind and order ν shown in Definition 1.3 given by Relation (1.2) are used to introduce, in Definition 2.1, the fractional integral of the Bessel function of the first kind denoted by D−λzIν(z) given by Relation (2.1). In the Introduction, the relevant definitions for this study are displayed and the main tools for obtaining the new results are presented. In Section 2, 8 theorems and 6 corollaries contain new knowledge regarding the conditions for the univalence of the fractional integral of the Bessel function of the first kind. Necessary and sufficient conditions for D−λzIν(z) to be starlike of positive and negative order, respectively, are found in Theorems 2.1, 2.2, and 2.3 in association with Corollaries 2.1, 2.2, and 2.3. The next theorems and associated corollaries provide necessary and sufficient conditions for D−λzIν(z) to be convex of positive and negative order, respectively. By applying the outcome of Corollary 2.4, in Theorem 2.5 it is shown that the convexity of the particular form of the fractional integral of the Bessel function of the first kind D−1zI0(z) implies its starlikeness. Furthermore, by applying the knowledge given by Corollary 2.6, the last theorem stated in this study provides a condition for the operator D−1zI0(z) to be close-to-convex.
The results of this study are relevant to the research topic concerned with integrating fractional calculus and special functions in the geometric function theory. Future applications of the findings given here may establish new subclasses of analytical functions with particular geometric characteristics given by the properties of the operator D−λzIν(z) given by (2.1) already illustrated in this article. Research related to the extensions of differential subordination theories, known as fuzzy differential subordination and strong differential subordination, that have been introduced in recent years can also be done on the operator D−λzIν(z) defined in this paper. Recent works such as [30] and [31], which use specific fractional operators for studies involving the two different theories, respectively, could serve as an inspiration for these studies.
Studies to confirm that the Riemann-Liouville fractional derivative of order λ applied to the Bessel function of the first kind would provide notable outcome could be further conducted. Also, other fractional order differential operators might provide interesting outcome when applied to the Bessel function of the first kind.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This research was funded by the University of Oradea, Romania.
The authors declare no conflict of interest.
[1] |
D. Baleanu, R. P. Agarwal, Fractional calculus in the sky, Adv. Differ. Equ., 2021 (2021), 117. https://doi.org/10.1186/s13662-021-03270-7 doi: 10.1186/s13662-021-03270-7
![]() |
[2] | H. M. Srivastava, An introductory overview of fractional-calculus operators based upon the Fox-Wright and related higher transcendental functions, J. Adv. Eng. Comput., 5 (2021), 135–166. |
[3] |
H. M. Srivastava, Operators of basic (or q-) calculus and fractional q-calculus and their applications in geometric function theory of complex analysis, Iran. J. Sci. Technol. Trans. A Sci., 44 (2020), 327–344. https://doi.org/10.1007/s40995-019-00815-0 doi: 10.1007/s40995-019-00815-0
![]() |
[4] | S. S. Miller, P. T. Mocanu, Second order differential inequalities in the complex plane, J. Math. Anal. Appl., 65 (1978), 289–305. |
[5] | S. S. Miller, P. T. Mocanu, Differential subordinations and univalent functions, Mich. Math. J., 28 (1981), 157–172. |
[6] | O. P. Ahuja, A. Çetinkaya, A Survey on the theory of integral and related operators in geometric function theory, In: Mathematical analysis and computing, Singapore: Springer, 2021. https://doi.org/10.1007/978-981-33-4646-8_49 |
[7] | S. Owa, On the distortion theorems I, Kyungpook Math. J., 18 (1978), 53–59. |
[8] | S. Owa, H. M. Srivastava, Univalent and starlike generalized hypergeometric functions, Can. J. Math., 39 (1987), 1057–1077. |
[9] |
H. M. Srivastava, M. Saigo, S. Owa, A class of distortion theorems involving certain operators of fractional calculus, J. Math. Anal. Appl., 131 (1988), 412–420. https://doi.org/10.1016/0022-247X(88)90215-6 doi: 10.1016/0022-247X(88)90215-6
![]() |
[10] |
V. Kiryakova, The special functions of fractional calculus as generalized fractional calculus operators of some basic functions, Comput. Math. Appl., 9 (2010), 1128–1141. https://doi.org/10.1016/j.camwa.2009.05.014 doi: 10.1016/j.camwa.2009.05.014
![]() |
[11] |
M. Acu, G. Oros, A. M. Rus, Fractional integral of the confluent hypergeometric function related to fuzzy differential subordination theory, Fractal Fract., 6 (2022), 413. https://doi.org/10.3390/fractalfract6080413 doi: 10.3390/fractalfract6080413
![]() |
[12] |
G. I. Oros, S. Dzitac, Applications of subordination chains and fractional integral in fuzzy differential subordinations, Mathematics, 10 (2022), 1690. https://doi.org/10.3390/math10101690 doi: 10.3390/math10101690
![]() |
[13] |
G. I. Oros, G. Oros, S. Owa, Subordination properties of certain operators concerning fractional integral and Libera integral operator, Fractal Fract., 7 (2023), 42. https://doi.org/10.3390/fractalfract7010042 doi: 10.3390/fractalfract7010042
![]() |
[14] | F. Ghanim, S. Bendak, A. Al Hawarneh, Certain implementations in fractional calculus operators involving Mittag-Leffler-confluent hypergeometric functions, Proc. R. Soc. A, 478 (2022), 20210839. |
[15] | A. A. Lupaş, G. I. Oros, Differential sandwich theorems involving Riemann-Liouville fractional integral of q-hypergeometric function, AIMS Mathematics, 8 (2023), 4930–4943. |
[16] | S. S. Miller, P. T. Mocanu, Differential subordinations, theory and applications, New York: Marcel Dekker, 2000. |
[17] | Á. Baricz, Geometric properties of generalized Bessel functions, Publ. Math. Debrecen, 73 (2008), 155–178. |
[18] | Á. Baricz, Geometric properties of generalized Bessel functions, In: Generalized Bessel functions of the first kind, Berlin/Heidelberg: Springer, 2010. https://doi.org/10.1007/978-3-642-12230-9_2 |
[19] |
Á. Baricz, S. Ponnusamy, Starlikeness and convexity of generalized Bessel functions, Integral Transforms Spec. Funct., 21 (2010), 641–653. https://doi.org/10.1080/10652460903516736 doi: 10.1080/10652460903516736
![]() |
[20] | Á Baricz, A. P. Kupán, R. Szász, The radius of starlikeness of normalized Bessel functions of the first kind, Proc. Am. Math. Soc., 142 (2014), 2019–2025. |
[21] | Ç. Murat, E. Deniz, R. Szász, Radii of a-convexity of some normalized Bessel functions of the first kind, Results Math., 72 (2017), 2023–2035. |
[22] |
L. I. Cotîrlă, A. P. Kupán, R. Szász, New results about radius of convexity and uniform convexity of Bessel functions, Axioms, 11 (2022), 380. https://doi.org/10.3390/axioms11080380 doi: 10.3390/axioms11080380
![]() |
[23] |
H. M. Zayed, T. Bulboacă, Normalized generalized Bessel function and its geometric properties, J. Inequal. Appl., 2022 (2022), 158. https://doi.org/10.1186/s13660-022-02891-0 doi: 10.1186/s13660-022-02891-0
![]() |
[24] |
A. Cătaş, A. A. Lupaş, Some subordination results for Atangana-Baleanu fractional integral operator involving Bessel functions, Symmetry, 14 (2022), 358. https://doi.org/10.3390/sym14020358 doi: 10.3390/sym14020358
![]() |
[25] | B. A. Frasin, F. Yousef, T. Al-Hawary, I. Aldawish, Application of generalized Bessel functions to classes of analytic functions, Afr. Mat., 32 (2021), 431–439. |
[26] | T. Al-Hawary, A. Amourah, M. K. Aouf, B. A. Frasin, Certain subclasses of analytic functions with complex order associated with generalized Bessel functions, Bull. Transilv. Univ. Braşov, Ser. III, Math. Comput. Sci., 3 (2023), 27–40. https://doi.org/10.31926/but.mif.2023.3.65.1.3 |
[27] |
G. I. Oros, G. Oros, D. A. Bardac-Vlada, Study on the criteria for starlikeness in integral operators involving Bessel functions, Symmetry, 15 (2023), 1976. https://doi.org/10.3390/sym15111976 doi: 10.3390/sym15111976
![]() |
[28] | P. T. Mocanu, T. Bulboacă, S. G. Sălăgean, Geometric theory of analytic functions, Cluj-Napoca: Casa Cărţii de Ştiinţă, 1999. |
[29] | C. Pommerenke, Univalent functions, Göttingen: Vandenhoeck and Ruprecht, 1975. |
[30] |
A. A. Lupaş, Fuzzy differential subordination and superordination results for fractional integral associated with Dziok-Srivastava operator, Mathematics, 11 (2023), 3129. https://doi.org/10.3390/math11143129 doi: 10.3390/math11143129
![]() |
[31] |
A. A. Lupaş, New results on a fractional integral of extended Dziok-Srivastava operator regarding strong subordinations and superordinations, Symmetry, 15 (2023), 1544. https://doi.org/10.3390/sym15081544 doi: 10.3390/sym15081544
![]() |
1. | Ahmad A. Abubaker, Khaled Matarneh, Suha B. Al-Shaikh, Mohammad Faisal Khan, Behzad Ghanbari, Some new applications of the fractional integral and four-parameter Mittag-Leffler function, 2025, 20, 1932-6203, e0317776, 10.1371/journal.pone.0317776 |