Research article Special Issues

Certain geometric properties of the fractional integral of the Bessel function of the first kind

  • 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

    Related Papers:

    [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={zC:|z|<1} is identified by H(U). The notations

    ¯U={zC:|z|1} and U={zC:|z|=1}

    are associated to the unit disc U.

    The special classes

    H[a,n]={fH(U):f(z)=a+anzn+an+1zn+1+, zU}

    and

    An={fH(U):f(z)=z+an+1zn+1+, zU}

    with A1=A are also involved in this study. Furthermore, the study requires the following prominent classes:

    S={fA:f univalent, f(0)=0, f(0)=1}, the class of univalent functions,
    S(α)={fA: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(α)={fA: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 fS(α) and fK(α) 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={pH(U):p(0)=1, Rep(z)>0, zU}

    and the class of close-to-convex functions,

    C={fH(U): φK, Ref(z)φ(z)>0, zU}.

    If φ(z)=z, the condition becomes Ref(z)>0, zU. 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 fH(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 fF, f(z)F(z), if there exists a function w analytic in U, with w(0)=0 and |w(z)|<1, zU, such that f(z)=F(w(z)). If w is univalent, then fF, 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 pH(U), such that Rep(0)>0, and let αR. Then

    Re[p(z)+αzp(z)p(z)]>0, zU,

    implies

    Rep(z)>0, zU.

    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)(zt)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 (zt)1λ is removed by requiring log(zt) to be real when zt>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 zC. 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, zC, λ>0, pN, 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)(zt)1λdt=1Γ(λ)z0(p=0(1)pt2p+ν22p+νp!Γ(ν+p+1)1(zt)1λ)dt=1Γ(λ)p=0((1)p22p+νp!Γ(ν+p+1)z0t2p+ν(zt)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:

    D1zI0(z)=zp=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 qK as:

    q(z)=1+z1z, zU.

    If

    z(DλzIν(z))DλzIν(z)1+z1z, zU, (2.4)

    then

    Rez(DλzIν(z))DλzIν(z)>0, zU.

    Proof. Since qK, q(0)=1, and q(U)={zC:Rez>0} is a convex domain, Relation (2.4) is equivalent to

    Rez(DλzIν(z))DλzIν(z)>Req(z)>0, zU. (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 (D1zI0)(0)=1, and the following corollary is obtained:

    Corollary 2.1. Let D1zI0(z) as given by (2.3) and consider qK as:

    q(z)=1+z1z, zU.

    If

    z(D1zI0(z))D1zI0(z)1+z1z, zU,

    then

    Rez(D1zI0(z))D1zI0(z)>0, zU, (2.6)

    meaning that D1zI0(z)S.

    Proof. Since D1zI0(0)=0 and (D1zI0)(0)=10, Relation (2.6) implies that D1zI0(z)S and D1zI0(z)S.

    Remark 2.3. By letting

    g(z)=z(D1zI0(z))D1zI0(z),

    we have that g(0)=1, and by using (2.6), we can write Reg(z)>0, zU; 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 qK as:

    q(z)=z1+z, zU.

    If

    z(DλzIν(z))DλzIν(z)z1+z, zU, (2.7)

    then

    Re, z(DλzIν(z))DλzIν(z)>12.

    Proof. First, it is proved that q(z)=z1+zK. For that, we get

    q(z)=1(1+z)2,q(z)=2(1+z)3

    and

    Re(zq(z)q(z)+1)=Re1z1+z>0. (2.8)

    Since q(0)=0 and q(0)=10, Relation (2.8) gives that q(z)K. It follows that

    q(U)={zC:Rez>12}

    is a convex domain and Relation (2.7) is equivalent to:

    Rez(DλzIν(z))DλzIν(z)>12, zU. (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 (D1zI0)(0)=1, and the following corollary is obtained:

    Corollary 2.2. Let D1zI0(z) as given by (2.3) and consider qK as:

    q(z)=z1+z, zU.

    If

    z(D1zI0(z))D1zI0(z)z1+z, zU,

    then

    Rez(D1zI0(z))D1zI0(z)>12, zU, (2.10)

    hence, D1zI0(z)S(12), which implies that D1zI0(z)S.

    Proof. Since (D1zI0)(0)=10, Inequality (2.10) shows that D1zI0(z)S(12). We mentioned in Remark 1.1 from the Introduction that for α[0,1), we have that S(12)S; hence, D1zI0(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 qK as:

    q(z)=z1z, zU.

    If

    z(DλzIν(z))DλzIν(z)z1z, zU, (2.11)

    then

    Rez(DλzIν(z))DλzIν(z)>12, zU.

    Proof. The proof begins by proving that q(z)=z1zK. For that, we have

    q(z)=1(1z)2,q(z)=2(1z)3

    and

    Re(zq(z)q(z)+1)=Re1+z1z>0, zU. (2.12)

    Since q(0)=10 Relation (2.12) implies that qK,

    q(U)={zC:Rez>12},

    is a convex domain and Relation (2.11) is equivalent to:

    Rez(DλzIν(z))DλzIν(z)>Rez1z>12, zU. (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 (D1zI0)(0)=10, and the following corollary is obtained:

    Corollary 2.3. Let D1zI0(z) be given by (2.3) and consider qK as:

    q(z)=z1z, zU.

    If

    z(D1zI0(z))D1zI0(z)z1z, zU,

    then

    Rez(D1zI0(z))D1zI0(z)>12, zU, (2.14)

    meaning that D1zI0(z)S(12).

    Proof. Since (D1zI0)(0)=10, Inequality (2.14) gives that D1zI0(z)S(12). According to Remark 1.1, since 12<0, S(12)S, and it is possible that D1zI0(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 qK as:

    q(z)=1z1+z, zU.

    If

    1+z(DλzIν(z))(DλzIν(z))1z1+z, zU, (2.15)

    then

    Re[1+z(DλzIν(z))(DλzIν(z))]>0, zU.

    Proof. Since q(z)=1z1+zK, q(U)={zC:Rez>0} is a convex domain and Relation (2.15) is equivalent to

    Re[1+z(DλzIν(z))(DλzIν(z))]>Re1z1+z>0, zU. (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 (D1zI0)(0)=10, and the following corollary is obtained:

    Corollary 2.4. Let D1zI0(z) be given by (2.3) and consider qK as:

    q(z)=1z1+z, zU.

    If

    1+z(D1zI0(z))(D1zI0(z))1z1+z, zU,

    then

    Re[1+z(D1zI0(z))(D1zI0(z))]>0, zU, (2.17)

    hence, D1zI0(z)K.

    Proof. Since (D1zI0)(0)=10, (2.17) implies that D1zI0(z)K and D1zI0(z)S.

    By applying the outcome of Corollary 2.4, we show that D1zI0(z)K implies D1zI0(z)S.

    Theorem 2.5. Let D1zI0(z) as given by (2.3). If D1zI0(0)=0, (D1zI0)(0)=10, and

    Re[1+z(D1zI0(z))(D1zI0(z))]>0, zU,i.e., D1zI0(z)K, (2.18)

    then

    Rez(D1zI0(z))D1zI0(z)>0, zU,meaning that  D1zI0(z)S.

    Proof. Let

    g(z)=z(D1zI0(z))D1zI0(z), zU. (2.19)

    Applying (2.3) in (2.19), we obtain that g(0)=10 and Reg(0)>0. By differentiating (2.19), after a few calculations, we get:

    g(z)+zg(z)g(z)=1+z(D1zI0(z))(D1zI0(z)), zU. (2.20)

    Using Relation (2.18) in (2.20), we obtain:

    Re(g(z)zg(z)g(z))>0, zU. (2.21)

    Considering Lemma 1.2 with α=1, Inequality (2.21) implies

    Reg(z)>0, zU. (2.22)

    Using Relation (2.19) in (2.22), we have:

    Rez(D1zI0(z))D1zI0(z)>0, zU. (2.23)

    Since D1zI0(0)=0 and (D1zI0)=10, Relation (2.23) implies that D1zI0(z)S; hence, D1zI0(z)S: a result already known from Corollary 2.1.

    Remark 2.7. Since D1zI0(0)=0, (D1zI0)(0)=1, and D1zI0(z)A, the Max-Strohhäcker theorem [21,p. 194] gives that

    Re[1+z(D1zI0(z))(D1zI0(z))]>0 implies Rez(D1zI0(z))D1zI0(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 D1zIν(z) as given by (2.1) and consider qK as:

    q(z)11z, zU.

    If

    1+z(DλzIν(z))(DλzIν(z))11z, zU, (2.24)

    then

    Re[1+z(DλzIν(z))(DλzIν(z))]>12, zU.

    Proof. First, it is shown that q(z)=11zK, then we get:

    q(z)=1(1z)2,q(z)=2(1z)3

    and

    Re[zq(z)q(z)+1]>Re1+z1z>0. (2.25)

    Since q(0)=10, Relation (2.25) gives that q(z)K,

    q(U)={zC: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, zU. (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 (D1zI0)(0)=10, and the following corollary is obtained:

    Corollary 2.5. Let D1zI0(z) as given by (2.3) and consider qK

    q(z)=11z, zU.

    If

    1+z(D1zI0(z))(D1zI0(z))11z, zU,

    then

    Re[1+z(D1zI0(z))(D1zI0(z))]>12, (2.27)

    i.e., D1zI0(z)K.

    Proof. Since (D1zI0)(0)=10, Inequality (2.27) gives that D1zI0(z)K(12). According to Remark 1.1, D1zI0(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 qK as:

    q(z)=12z1+z, zU.

    If

    1+z(DλzIν(z))(DλzIν(z))12z1+z, zU, (2.28)

    then

    Re[1+z(DλzIν(z))(DλzIν(z))]>12, zU.

    Proof. First, it is shown that the function q(z)=12z1+zK. For that, we get:

    q(z)=3(1+z)2,q(z)=6(1+z)3

    and

    Re[zq(z)q(z)+1]=Re1z1+z>0, zU. (2.29)

    Since q(0)0, Inequality (2.29) gives that q(z)K,

    q(U)={zC: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))]>Re12z1+z, zU. (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 (D1zI0(z))(0)=10, and the following corollary is obtained:

    Corollary 2.6. Let DλzI0(z) as given by (2.3) and consider qK as:

    q(z)=12z1+z, zU.

    If

    1+z(D1zI0(z))(D1zI0(z))12z1+z, zU,

    then

    Re[1+z(D1zI0(z))(D1zI0(z))]>12, (2.31)

    meaning that D1zI0(z)K(12).

    Proof. Since (D1zI0)(0)=10, Relation (2.31) implies that D1zI0(z)K(12). Since α=12<0, according to Remark 1.1, the function D1zI0(z) is not necessarily univalent.

    Using the outcome of Corollary 2.6, we next show that the function D1zI0(z) given by (2.3) is a close-to-convex function and is univalent.

    Theorem 2.8. Let D1zI0(z) as given by (2.3) satisfy:

    Re[1+z(D1zI0(z))(D1zI0(z))]>12, zU.

    Thus, D1zI0(z)C and D1zI0(z)S.

    Proof. Lemma 1.1 is applied in order to prove this theorem. We evaluate

    θ2θ1Re[1+z(D1zI0(z))(D1zI0(z))]dθ>θ2θ112dθ=12(θ2θ1)>π,

    since 0θ1<θ2<2π. Applying Lemma 1.1, we conclude that D1zI0(z)C; hence, D1zI0(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 D1zI0(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 D1zI0(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
  • This article has been cited by:

    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
  • Reader Comments
  • © 2024 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1159) PDF downloads(56) Cited by(1)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog