Processing math: 100%
Research article Special Issues

Univalence and convexity conditions for certain integral operators associated with the Lommel function of the first kind

  • A useful family of integral operators and special functions plays a crucial role on the study of mathematical and applied sciences. The purpose of the present paper is to give sufficient conditions for the families of integral operators, which involve the normalized forms of the generalized Lommel functions of the first kind to be univalent in the open unit disk. Furthermore, we determine the order of the convexity of the families of integral operators. In order to prove main results, we use differential inequalities for the Lommel functions of the first kind together with some known properties in connection with the integral operators which we have considered in this paper. We also indicate the connections of the results presented here with those in several earlier works on the subject of our investigation. Moreover, some graphical illustrations are provided in support of the results proved in this paper.

    Citation: Ji Hyang Park, Hari Mohan Srivastava, Nak Eun Cho. Univalence and convexity conditions for certain integral operators associated with the Lommel function of the first kind[J]. AIMS Mathematics, 2021, 6(10): 11380-11402. doi: 10.3934/math.2021660

    Related Papers:

    [1] Georgia Irina Oros, Gheorghe Oros, Daniela Andrada Bardac-Vlada . Certain geometric properties of the fractional integral of the Bessel function of the first kind. AIMS Mathematics, 2024, 9(3): 7095-7110. doi: 10.3934/math.2024346
    [2] Bilal Khan, H. M. Srivastava, Muhammad Tahir, Maslina Darus, Qazi Zahoor Ahmad, Nazar Khan . Applications of a certain q-integral operator to the subclasses of analytic and bi-univalent functions. AIMS Mathematics, 2021, 6(1): 1024-1039. doi: 10.3934/math.2021061
    [3] Shuhai Li, Lina Ma, Huo Tang . Meromorphic harmonic univalent functions related with generalized (p, q)-post quantum calculus operators. AIMS Mathematics, 2021, 6(1): 223-234. doi: 10.3934/math.2021015
    [4] Shujaat Ali Shah, Ekram Elsayed Ali, Adriana Cătaș, Abeer M. Albalahi . On fuzzy differential subordination associated with q-difference operator. AIMS Mathematics, 2023, 8(3): 6642-6650. doi: 10.3934/math.2023336
    [5] Caihuan Zhang, Shahid Khan, Aftab Hussain, Nazar Khan, Saqib Hussain, Nasir Khan . Applications of q-difference symmetric operator in harmonic univalent functions. AIMS Mathematics, 2022, 7(1): 667-680. doi: 10.3934/math.2022042
    [6] Tariq Al-Hawary, Ala Amourah, Abdullah Alsoboh, Osama Ogilat, Irianto Harny, Maslina Darus . Applications of qUltraspherical polynomials to bi-univalent functions defined by qSaigo's fractional integral operators. AIMS Mathematics, 2024, 9(7): 17063-17075. doi: 10.3934/math.2024828
    [7] Ebrahim Amini, Mojtaba Fardi, Shrideh Al-Omari, Rania Saadeh . Certain differential subordination results for univalent functions associated with q-Salagean operators. AIMS Mathematics, 2023, 8(7): 15892-15906. doi: 10.3934/math.2023811
    [8] Ekram E. Ali, Miguel Vivas-Cortez, Rabha M. El-Ashwah . New results about fuzzy γ-convex functions connected with the q-analogue multiplier-Noor integral operator. AIMS Mathematics, 2024, 9(3): 5451-5465. doi: 10.3934/math.2024263
    [9] Luminiţa-Ioana Cotîrlǎ . New classes of analytic and bi-univalent functions. AIMS Mathematics, 2021, 6(10): 10642-10651. doi: 10.3934/math.2021618
    [10] Lina Ma, Shuhai Li, Huo Tang . Geometric properties of harmonic functions associated with the symmetric conjecture points and exponential function. AIMS Mathematics, 2020, 5(6): 6800-6816. doi: 10.3934/math.2020437
  • A useful family of integral operators and special functions plays a crucial role on the study of mathematical and applied sciences. The purpose of the present paper is to give sufficient conditions for the families of integral operators, which involve the normalized forms of the generalized Lommel functions of the first kind to be univalent in the open unit disk. Furthermore, we determine the order of the convexity of the families of integral operators. In order to prove main results, we use differential inequalities for the Lommel functions of the first kind together with some known properties in connection with the integral operators which we have considered in this paper. We also indicate the connections of the results presented here with those in several earlier works on the subject of our investigation. Moreover, some graphical illustrations are provided in support of the results proved in this paper.



    Let A denote the family of functions f of the form:

    f(z)=z+n=2anzn

    which are analytic in the open unit disk D and satisfy the usual normalization condition:

    f(0)=f(0)1=0.

    We denote by S the subclass of the normalized analytic function class A consisting of functions which are also univalent in D. A function fS is said to be convex of order δ (0δ<1) if it satisfies

    R(1+zf(z)f(z))>δ(zD).

    Let nN:={1,2,3,} and

    An={(f1,f2,,fn):fjA(j=1,2,,n)}.

    For the functions fjA (j=1, 2, , n), the parameters αj, βjC (j=1, 2, , n) and γC, we define the following three integral operators:

    Jα1,α2,,αn;β1,β2,,βn;n;γ,
    Kα1,α2,,αn;n

    and

    Lα1,α2,,αn;β1,β2,,βn;n;γ:AnA

    by

    Jα1,α2,,αn;β1,β2,,βn;n;γ  [f1,f2,,fn](z):=[γz0tγ1nj=1(fj(t))αj(fj(t)t)βjdt]1/γ, (1.1)
    Kα1,α2,,αn;n[f1,f2,,fn](z)=[(1+nj=1αj)z0nj=1(fj(t)efj(t))αjdt]1/(1+nj=1αj) (1.2)

    and

    Lα1,α2,,αn;β1,β2,,βn;n;γ  [f1,f2,,fn](z):=[γz0tγ1nj=1(fj(t))αj(efj(t))βjdt]1/γ. (1.3)

    We note that, for some special parameters, the integral operators defined above have been extensively studied by many authors as follows (see also a recent investigation by Srivastava et al. [40] on the univalence of integral operators):

    (1) J0,0,,0;β1,β2,,βn;n;γ  [f1,f2,,fn]F1/β1,1/β2,,1/βn,γ

    (Seenivasagan and Breaz [35]; see also [4,37]);

    (2) Jα1,α2,,αn;0,0,,0;n;γ  [f1,f2,,fn]Lα1,α2,,αn;0,0,,0;n;γ  [f1,f2,,fn]Hα1,α2,,αn,γ

    (Breaz and Breaz [10]);

    (3) Jα1,α2,,αn;0,0,,0;n;1  [f1,f2,,fn]Lα1,α2,,αn;0,0,,0;n;1  [f1,f2,,fn]Hα1,α2,,αn

    (Breaz et al. [13]);

    (4) Jα;0;1;1  [f]Hα (Pfaltzgraff [32]; see also Kim and Merkes [20]);

    (5) L0;β;1;γ  [f]Qβ (Pescar [31]);

    (6) Kα,α,,α;n[f1,f2,,fn]Gn,α[f1ef1,f2ef2,,fnefn]

    (Breaz and Breaz [11]; see also [12]);

    (7) Kα;1  [f]G1,α[fef] (Moldoveanu and Pascu [24]).

    Moreover, Deniz et al. [17] introduced certain integral operators by using an obvious parametric variation of the classical Bessel function Jν(z) of the first kind and of order ν and studied the univalence criteria of the corresponding integral operators. On the other hand, Deniz [18] and Raza et al. [33] discussed the convexity, starlikeness and uniform convexity of integral operators involving these equivalent forms of the classical Bessel function Jν(z). Recently, Al-Khrasani et al. [2] investigated some sufficient conditions for univalence of some linear fractional derivative operators involving the normalized forms of the same obvious parametric variation of the classical Bessel function Jν(z) of the first kind and of order ν. Additionally, the theory of integrals and derivatives of an arbitrary real or complex order (see, for details, [42]; see also [36]) has been applied not only in geometric function theory of complex analysis, but has also emerged as a potentially useful direction in the mathematical modeling and analysis of real-world problems in applied sciences (see, for example, [39]).

    Motivated by the works mentioned above, in this paper, we will investigate some mapping and geometric properties for the integral operators defined by (1.1), (1.2) and (1.3), associated with the Lommel function of the first kind which is defined as follows:

    The Lommel function sμ,ν of the first kind, which is expressed here in terms of a hypergeometric series as follows:

    sμ,ν(z)=zμ+1(μν+1)(μ+ν+1) 1F2(1;μν+32,μ+ν+32;z24),

    where μ±ν is not a negative odd integer, is a particular solution of the following inhomogeneous Bessel differential equation (see [23]):

    z2w(z)+zw(z)+(z2ν2)w(z)=zμ+1.

    It is easily observed that the function sμ,ν does not belong to the class A. Recently, Yağmur [45] and Baricz et al. [3] considered the function hμ,ν defined by

    hμ,ν(z)=(μν+1)(μ+ν+1)z(1μ)/2sμ,ν(z)

    and they obtained some geometric properties of the function hμ,ν. For other interesting properties of the Lommel function, we refer the reader to [5,6].

    The above function hμ,ν belongs to the normalized analytic function class A and is expressed by

    hμ,ν(z)=n=1(14)n1(μν+32)n1(μ+ν+32)n1zn=z+n=1(14)n(K)n(F)nzn+1, (1.4)

    where K=(μν+3)/2N, F=(μ+ν+3)/2N, (λ)n being the Pochhammer symbol which is defined in terms of Euler's gamma function such that

    (λ)0=0and(λ)n=Γ(λ+n)Γ(λ)=λ(λ+1)(λ+n1)(nN).

    We remark that, by choosing special values for μ and ν, we obtain the following functions:

    h1/2,1/2(z)=2(1cosz),h3/2,1/2(z)=6(1sinzz) (1.5)

    and

    h5/2,1/2(z)=12(z+2cosz2z). (1.6)

    Let j=1, 2, , n and let μj and νj be real numbers such that μj±νj are not negative odd integers. Consider the functions hμj,νj (j=1,2,,n) defined by

    hμj,νj(z)=(μjνj+1)(μj+νj+1)z(1μj)/2sμj,νj(z).

    Using these functions hμj,νj and the integral operators defined by (1.1), (1.2) and (1.3), we define the functions Jμ1,μ2,,μn; ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ, Kμ1,μ2,,μn; ν1,ν2,,νnα1,α2,,αn;n and Lμ1,μ2,,μn; ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ:DC as follows:

    Jμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ(z):=Jα1,α2,,αn;β1,β2,,βn;n;γ[hμ1,ν1,hμ2,ν2,,hμn,νn](z)=[γz0tγ1nj=1(hμj,νj(t))αj(hμj,νj(t)t)βjdt]1/γ, (1.7)
    Kμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;n(z):=Kα1,α2,,αn;n[hμ1,ν1,hμ2,ν2,,hμn,νn](z)=[(1+nj=1αj)z0nj=1(hμj,νj(t)ehμj,νj(t))αjdt]1/(1+nj=1αj) (1.8)

    and

    Lμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ(z):=Lα1,α2,,αn;β1,β2,,βn;n;γ[hμ1,ν1,hμ2,ν2,,hμn,νn](z)=[γz0tγ1nj=1(hμj,νj(t))αj(ehμj,νj(t))βjdt]1/γ. (1.9)

    In this paper, we derive some sufficient conditions for the following operators:

    Jμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ,
    Kμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;n

    and

    Lμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ,

    defined by (1.7), (1.8) and (1.9), respectively, to be univalent in D. We also determine the order of convexity of the functions defined by using the above-mentioned integral operators (1.7), (1.8) and (1.9).

    Some potentially useful developments on the class of analytic and univalent functions can be found in the earlier works (see, for example, [1,7,8]; see also [9,21]. For studies using a number of derivative, integral and convolution operators, based upon various special functions including the Kummer, the Gauss and the generalized hypergeometric functions, we refer the interested reader to such more recent works as (for example) [14,15,16,22,25,26,27,28,34,38,41,42,43,44], as well as to many references therein to the related earlier investigations on the usages of many families of the derivative, integral and convolution operators in Geometric Function Theory of Complex Analysis.

    The following lemmas will be required in our present investigations.

    Lemma 1. (see Pescar [30]) Let ηC and cC be such that

    R(η)>0and|c|1 (c1).

    If fA satisfies the following inequality:

    |c|z|2η+(1|z|2η)zf(z)ηf(z)|1(zD),

    then the function Fη defined by

    Fη(z)=(ηz0tη1f(t)dt)1/η

    is in the normalized univalent function class S.

    Lemma 2. (see Pascu [29]) Let αC be such that R(α)>0. If fA satisfies the following inequality:

    (1|z|2R(α)R(α))|zf(z)f(z)|1(zD),

    then, for all βC such that

    R(β)R(α),

    the function Fβ defined by

    Fβ(z)=[βz0tβ1f(t)dt]1/β

    is in the normalized univalent function class S.

    Lemma 3. (see Yağmur [45]) Let μ,νR, where μ±ν is not a negative odd integer,

    M=4(K+1)(F+1)=(μ+5)2ν2

    and

    N=4KF=(μ+3)2ν2.

    Then, for all zD, the function hμ,ν defined by (1.4) satisfies the following inequalities:

    |hμ,ν(z)hμ,ν(z)z|MN(M2)(M>2), (2.1)
    |zhμ,ν(z)hμ,ν(z)1|M(M1)(M2)(MNMN)(M>2) (2.2)

    and

    |zhμ,ν(z)hμ,ν(z)|2M(2M3)(M3)(2MN4M3N)(M>3). (2.3)

    Lemma 4. Under the conditions in Lemma 3, the following inequality is satisfied for the function hμ,ν defined by (1.4):

    |zhμ,ν(z)|2MN3N+4MN(2M3)(M>32). (2.4)

    Proof. By using the well-known triangle inequality and the following equalities:

    (3/2)n1n+12(nN; K+1>0; F+1>0)

    and

    (K+1)n1(F+1)n1(K+1)n1(F+1)n1(nN; K+1>0; F+1>0),

    we have

    |zhμ,ν(z)|=|z+n=1(n+1)(1/4)n(K)n(F)nzn+1|1+n=1n+14n(K)n(F)n=1+12KFn=1(n+1)/24n1(K+1)n1(F+1)n1=1+12KFn=1(n+1)/2(3/2)n1(8/3)n1(K+1)n1(F+1)n11+12KFn=1(38(K+1)(F+1))n1=1+2Nn=1(32M)n1=2MN3N+4MN(2M3)(M>3/2).

    Firstly, we consider the integral operator defined by (1.7).

    Theorem 1. Let j=1,2,,n and let μj,, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>3

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let γ, c, αj and βj be in C such that

    R(γ)>0,|c|1 (c1),αj,βj0.

    Suppose that these numbers satisfy the following inequality:

    |c|+1|γ|(2M(2M3)(M3)(2MN4M3N)nj=1|αj|+M(M1)(M2)(MNMN)nj=1|βj|)1, (3.1)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Jμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ,

    defined by (1.7), is in the normalized univalent function class S.

    Proof. Let us define the function φ by

    φ(z):=Jμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;1(z)=z0nj=1(hμj,νj(t))αj(hμj,νj(t)t)βjdt. (3.2)

    First of all, we observe that hμj,νj(0)=hμj,νj(0)1=0, since hμj,νjA for all j=1,2,,n. Therefore, clearly, φ(z)A, that is, φ(0)=φ(0)1=0. On the other hand, we have

    φ(z)=nj=1(hμj,νj(z))αj(hμj,νj(z)z)βj. (3.3)

    Differentiating both sides of (3.3), we obtain

    zφ(z)φ(z)=nj=1αjzhμj,νj(z)hμj,νj(z)+nj=1βj(zhμj,νj(z)hμj,νj(z)1) (3.4)

    and, from (2.2) and (2.3), we have

    |zφ(z)φ(z)|nj=1(|αj||zhμj,νj(z)hμj,νj(z)|+|βj||zhμj,νj(z)hμj,νj(z)1|)nj=1(|αj|2Mj(2Mj3)(Mj3)(2MjNj4Mj3Nj)+|βj|Mj(Mj1)(Mj2)(MjNjMjNj))nj=1(|αj|2M(2M3)(M3)(2MN4M3N)+|βj|M(M1)(M2)(MNMN)). (3.5)

    Therefore, we get

    |c|z|2γ+(1|z|2γ)zφ(z)γφ(z)||c|+1|γ|(2M(2M3)(M3)(2MN4M3N)nj=1|αj|+M(M1)(M2)(MNMN)nj=1|βj|)1. (3.6)

    By Lemma 1, the inequalities in (3.6) imply that the function φS.

    Theorem 2. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>3

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let γ, αj and βj be in C such that

    R(γ)>0andαj,βj0.

    Suppose that these numbers satisfy the following inequality:

    R{γ}nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|M(M1)(M2)(MNMN), (3.7)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Jμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ,

    defined by (1.7), is in the normalized univalent function class S.

    Proof. Let us define the function φ as in (3.2). Then we have (3.3) and (3.4). By using similar method as in our detivation of (3.5), we obtain

    1|z|2R(γ)R(γ)|zφ(z)φ(z)|1|z|2R(γ)R(γ){nj=1|αj|2Mj(2Mj3)(Mj3)(2MjNj4Mj3Nj)+nj=1|βj|Mj(Mj1)(Mj2)(MjNjMjNj)}1R(γ){nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|M(M1)(M2)(MNMN)}1. (3.8)

    By Lemma 2, the inequalities in (3.8) imply that the function φS.

    Theorem 3. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>3

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let γ, αj and βj be in C such that

    R(γ)>0andαj,βj0.

    Suppose that these numbers satisfy the following inequality:

    0<nj=1{|αj|2M(2M3)(M3)(2MN4M3N)+|βj|M(M1)(M2)(MNMN)}1, (3.9)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Jμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;1,

    defined by (1.7) with γ=1, is convex of order δ given by

    δ=1nj=1{|αj|2M(2M3)(M3)(2MN4M3N)+|βj|M(M1)(M2)(MNMN)}. (3.10)

    Proof. Let us define the function φ by (3.2). Then we readily have (3.3) and (3.4). By using similar method as in the derivation of (3.5), we obtain

    |zφ(z)φ(z)|nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|M(M1)(M2)(MNMN)=1δ. (3.11)

    Therefore, the function φ is convex of order

    δ=1nj=1{|αj|2M(2M3)(M3)(2MN4M3N)+|βj|M(M1)(M2)(MNMN)}. (3.12)

    From Theorem 1 with n=1, μ1=1/2 and ν1=1/2, we can obtain the following result.

    Corollary 1. Let γ, c, α and β be in C such that R(γ)>0, |c|1(c1), α0 and β0. If these numbers satisfy the following inequality:

    |c|+1|γ|(95423|α|+1451484|β|)1,

    then the function:

    [γz0t12αβ+γ1(sint)α(22cost)βdt]1/γ

    is in the normalized univalent function class S.

    Example 1. From Corollary 1, we can easily get the following consequence (see Figure 1 below):

    f1(z):=z0t32sint(22cost)dtS.
    Figure 1.  The image of f1 on D.

    From Theorem 1 with n=1, μ1=3/2 and ν1=1/2, we can obtain the following result.

    Corollary 2. Let γ, c, α and β be in C such that R(γ)>0, |c|1(c1), α0 and β0. If these numbers satisfy the following inequality:

    |c|+1|γ|(1891573|α|+86115560|β|)1,

    then the integral operator:

    [3α+β2βγz0t32αβ+γ1(sinttcost)α(tsint)βdt]1/γ

    is in the normalized univalent function class S.

    From Theorem 3 with n=1, μ1=1/2 and ν1=1/2, we can obtain the following result.

    Corollary 3. Let α and β be nonzero complex numbers such that

    0<95423|α|+1451484|β|1.

    Then the function:

    z0t12αβ(sint)α(22cost)βdt

    is convex of order δ given by

    δ=195423|α|1451484|β|.

    From Theorem 3 with n=1, μ1=3/2 and ν1=1/2, we can obtain the following result.

    Corollary 4. Let α and β be nonzero complex numbers such that

    0<1891573|α|+86115560|β|1.

    Then the function:

    3α+β2βz0t32αβ(sinttcost)α(tsint)βdt

    is convex of order δ given by

    δ=11891573|α|86115560|β|.

    In this section, we investigate univalence and convexity conditions for the integral operator defined by (1.8).

    Theorem 4. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj, and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>2

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let c and αj be in C such that

    |c|1 (c1)andR(1+nj=1αj)>0.

    Suppose that these numbers satisfy the following inequality:

    |c|+nj=1|αj||1+nj=1αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3))1, (4.1)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Kμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;n,

    defined by (1.8), is in the normalized univalent function class S.

    Proof. Let us define the functions ψ by

    ψ(z)=z0nj=1(hμj,νj(t)ehμj,νj(t)t)αjdt. (4.2)

    Then ψ(0)=ψ(0)1=0. Differentiating both sides of (4.2) logarithmically, we obtain

    zψ(z)ψ(z)=nj=1αj(zhμj,νj(z)hμj,νj(z)+zhμj,νj(z)1) (4.3)

    and, from (2.2) in Lemma 3 and Lemma 4, we have

    |zψ(z)ψ(z)|nj=1|αj|{|zhμj,νj(z)hμj,νj(z)1|+|zhμj,νj(z)|}nj=1|αj|{Mj(Mj1)(Mj2)(MjNjMjNj)+2MjNj3Nj+4MjNj(2Mj3)}nj=1|αj|{M(M1)(M2)(MNMN)+2MN3N+4MN(2M3)}. (4.4)

    Therefore, we get

    |c|z|2(1+nj=1αj)+(1|z|2(1+nj=1αj))zψ(z)(1+nj=1αj)ψ(z)||c|+|zψ(z)(1+nj=1αj)ψ(z)||c|+nj=1|αj||1+nj=1αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3))1. (4.5)

    By Lemma 1 with

    η=1+nj=1αj,

    the inequalities in (4.5) imply that the function ψS.

    Theorem 5. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>2

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let αj be in C such that R(αj)0. Suppose that these numbers satisfy the following inequality:

    nj=1|αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3))1, (4.6)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Kμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;n,

    defined by (1.8), is in the normalized univalent function class S.

    Proof. Let us define the function ψ as in (4.2). By using similar methods in the proof of Theorem 4.1, we obtain (4.4). Therefore, we have

    (1|z|2)|zψ(z)ψ(z)|nj=1|αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3))1. (4.7)

    By Lemma 2 with α=1 and β=1+nj=1αj, the inequalities in (4.7) imply that the function ψS.

    Theorem 6. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>2

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let αj be in C such that

    R(1+nj=1αj)>0.

    Suppose that these numbers satisfy the following inequality:

    0<nj=1|αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3))1. (4.8)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Kμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;n,

    defined by (1.8), is convex of order δ given by

    δ=1nj=1|αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3)). (4.9)

    Proof. Let us define the function ψ as given by (4.2). Using similar methods in the proof of Theorem 4, we obtain

    |zψ(z)ψ(z)|nj=1|αj|(|zhμj,νj(z)hμj,νj(z)1|+|zhμj,νj(z)|)nj=1|αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3))=1δ. (4.10)

    Therefore, the function ψ is convex of order

    δ=1nj=1|αj|(M(M1)(M2)(MNMN)+2MN3N+4MN(2M3)).

    From Theorem 4 with n=1, μ1=1/2 and ν1=1/2, we can obtain the following result.

    Corollary 5. Let α and c be in C such that R(1+α)>0 and |c|1(c1). If these numbers satisfy the following inequality:

    |c|+10769384588|α||1+α|1,

    then the function:

    [2α(1+α)z0(1cost)αe2α(1cost)dt]1/(1+α) (4.11)

    is in the normalized univalent function class S.

    Example 2. From Corollary 5 with α=1, we can easily get the following consequence:

    f2(z):=2z0[(1cost)e2(1cost)dt]1/2S.

    In fact, by a simple computation, we obtain

    zf2(z)f2(z)+1+zf2(z)f2(z)=1+zsinz2(1cosz)+zsinz=:g(z).

    It also holds true that R(g(z))>0 for all zD (see Figure 2). Therefore, f2 is a 1/2-convex function [19,Vol. I,p. 142] . Thus it follows from [19,Vol. I,p. 142] that f2 belongs to the class S.

    Figure 2.  The image of g on D.

    From Theorem 4 with n=1, μ1=3/2 and ν1=1/2, we can obtain the following result.

    Corollary 6. Let α and c be in C such that R(1+α)>0 and |c|1(c1). If these numbers satisfy the following inequality:

    |c|+9738784024|α||1+α|1,

    then the function:

    [6α(1+α)z0(1sintt)αe6α(1sintt)dt]1/(1+α) (4.12)

    is in the normalized univalent function class S.

    From Theorem 6 with n=1, μ1=1/2 and ν1=1/2, we can obtain the following result.

    Corollary 7. Let α be a complex number such that

    R(1+α)>0and0<10769384588|α|1.

    Then the function defined by (4.11) is convex of order δ given by

    δ=110769384588|α|.

    From Theorem 6 with n=1, μ1=3/2 and ν1=1/2, we can obtain the following result.

    Corollary 8. Let α be a complex number such that

    R(1+α)>0and0<9738784024|α|1.

    Then the function defined by (4.12) is convex of order δ given by

    δ=19738784024|α|.

    Here, in this section, we derive univalence and convexity conditions for the integral operator defined by (1.9).

    Theorem 7. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>3

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let γ, c, αj and βj be in C such that

    R(γ)>0,|c|1 (c1)andαj,βj0.

    Suppose that these numbers satisfy the following inequality:

    |c|+1|γ|{nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|2MN3N+4MN(2M3)}1, (5.1)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Lμ1,μ2,,μn; ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ,

    defined by (1.9), is in the normalized univalent function class S.

    Proof. Let us define the function ϕ by

    ϕ(z):=Lμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;1(z)=z0nj=1(hμj,νj(t))αj(ehμj,νj(t))βjdt, (5.2)

    so that

    ϕ(z)=nj=1(hμj,νj(z))αj(ehμj,νj(z))βj. (5.3)

    We observe that

    hμj,νj(0)=hμj,νj(0)1=0(j=1,2,,n),

    since hμj,νjA for all j=1,2,,n. Therefore, clearly, ϕ(z)A, that is, ϕ(0)=ϕ(0)1=0.

    Now, upon differentiating both sides of (5.3) logarithmically, we obtain

    zϕ(z)ϕ(z)=nj=1αjzhμj,νj(z)hμj,νj(z)+nj=1βjzhμj,νj(z). (5.4)

    Furthermore, by (2.3) and (2.4), we have

    |zϕ(z)ϕ(z)|nj=1|αj||zhμj,νj(z)hμj,νj(z)|+nj=1|βj||zhμj,νj(z)|nj=1|αj|(2Mj(2Mj3)(Mj3)(2MjNj4Mj3Nj))+nj=1|βj|(2MjNj3Nj+4MjNj(2Mj3))nj=1|αj|(2M(2M3)(M3)(2MN4M3N))+nj=1|βj|(2MN3N+4MN(2M3)). (5.5)

    Therefore, we have

    |c|z|2γ+(1|z|2γ)zϕ(z)γϕ(z)||c|+|zϕ(z)ϕ(z)||c|+1|γ|{nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|2MN3N+4MN(2M3)}1. (5.6)

    By Lemma 1, the inequalities in (5.6) imply that the function ϕS.

    Theorem 8. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>3

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    Also let γ, αj and βj be in C such that R(γ)>0 and αj,βj0. Suppose that these numbers satisfy the following inequality:

    R{γ}nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|2MN3N+4MN(2M3), (5.7)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Lμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;γ,

    defined by (1.9), is in the normalized univalent function class S.

    Proof. Let us define the function ϕ as in (5.2). By using similar methods in (5.5), we obtain

    1|z|2R(γ)R(γ)|zϕ(z)ϕ(z)|1|z|R(γ)R(γ){nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|2MN3N+4MN(2M3)}1R(γ){nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|2MN3N+4MN(2M3)}1. (5.8)

    By Lemma 2, the inequalities in (5.8) imply that the integral operator ϕS.

    Theorem 9. Let j=1,2,,n and let μj, νj, Mj, Nj, Fj and KjR be such that μj±νj is not a negative odd integer,

    Mj=4(Fj+1)(Kj+1)=(μj+5)2ν2j>3

    and

    Nj=4KjFj=(μj+3)2ν2j>0.

    And let γ, αj and βj be in C such that R(γ)>0 and αj,βj0. Suppose that these numbers satisfy the following inequality:

    0<nj=1{|αj|2M(2M3)(M3)(2MN4M3N)+|βj|2MN3N+4MN(2M3)}1, (5.9)

    where

    M=min{M1,M2,,Mn}andN=min{N1,N2,,Nn}.

    Then the function:

    Lμ1,μ2,,μn;ν1,ν2,,νnα1,α2,,αn;β1,β2,,βn;n;1,

    defined by (1.9) with γ=1, is convex of order δ given by

    δ=1nj=1{|αj|2M(2M3)(M3)(2MN4M3N)+|βj|2MN3N+4MN(2M3)}. (5.10)

    Proof. Let us define the function ϕ by (5.2). Then, by using similar methods as above in deriving (5.5), we obtain

    |zϕ(z)ϕ(z)|nj=1|αj|2M(2M3)(M3)(2MN4M3N)+nj=1|βj|2MN3N+4MN(2M3)=1δ.

    Therefore, the function ϕ is convex of order δ.

    From Theorem 7 with n=1, μ1=1/2 and ν1=1/2, we can obtain the following result.

    Corollary 9. Let γ, c, α and β be in C such that R(γ)>0 and |c|1(c1). If these numbers satisfy the following inequality:

    |c|+1|γ|(95423|α|+6757|β|)1,

    then the function:

    [γz0t12α+γ1(sint)αe2β(1cost)dt]1/γ

    is in the normalized univalent function class S.

    Example 3. From Corollary 9 with c=0, α=γ=1 and β=1/2, we can easily get the following consequence (see Figure 3 below):

    Figure 3.  The image of f3 on D.
    f3(z):=z0t12sinte1costdtS.

    From Theorem 7 with n=1, μ1=3/2 and ν1=1/2, we can obtain the following result.

    Corollary 10. Let γ, c, α and β be in C such that R(γ)>0 and c1. If these numbers satisfy the following inequality:

    |c|+1|γ|(1891573|α|+149135|β|)1,

    then the function:

    [3αγz0t32α+γ1(sinttcost)αe6β(1sintt)dt]1/γ

    is in the normalized univalent function class S.

    From Theorem 9 with n=1, μ1=1/2 and ν1=1/2, we can obtain the following result.

    Corollary 11. Let α and β be nonzero complex numbers such that

    0<95423|α|+6757|β|1.

    Then the function:

    z0t12α(sint)αe2β(1cost)dt

    is convex of order δ given by

    δ=195423|α|6757|β|.

    From Theorem 9 with n=1, μ1=3/2 and ν1=1/2, we can obtain the following result.

    Corollary 12. Let α and β be nonzero complex numbers such that

    0<1891573|α|+149135|β|1.

    Then the function:

    3αz0t32α(sinttcost)αe6β(1sintt)dt

    is convex of order δ given by

    δ=11891573|α|149135|β|.

    In the present investigation, we have first introduced a family of integral operators and the Lommel functions of the first kind which, in particular, plays a very important role in the study of pure and applied mathematical sciences. We have then successfully obtained various interesting mapping and geometric properties, such as univalence and convexity conditions, for the integral operators, introduced in the paper and associated with the Lommel function of the first kind, by using the known techniques which were used in the literature. Finally, we have highlighted a number of corollaries and examples together with the associated graphical illustrations that are potentially useful for motivating further researches in this subject and on other related topics.

    Usages of the quantum (or q-) calculus happens to provide another popular direction for researches in geometric function theory of complex analysis. This is evidenced by the recently-published survey-cum-expository review article by Srivastava [36]. As a matter of fact, in this survey article, two function classes, using a fractional q-calculus operator, are introduced and one can find the associated coefficient estimates, radii of close-to-convexity, starlikeness and convexity, extreme points and growth and distortion theorems for each of these function classes which play a very crucial role in the study of the geometric function theory. Furthermore, as already demonstrated by Srivastava [36,p. 340], whereas the quantum (or q-) extensions of the results, which we have presented in this paper, are worthy of investigation, the so-called (p,q)-variations of these suggested q-results would be trivially inconsequential, because the additional parameter p is obviously redundant or superfluous.

    The third-named author was supported by the Basic Science Research Program through the National Research Foundation of the Republic of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant No. 2019R1I1A3A01050861).

    The authors declare that they have no conflicts of interest.



    [1] L. V. Ahlfors, Sufficient conditions for quasiconformal extension, Ann. Math. Stud., 79 (1974), 23-29.
    [2] H. A. Al-Kharsani, A. M. Al-Zahrani, S. S. Al-Hajri, T. K. Pogány, Univalence criteria for linear fractional differential operators associated with a generalized Bessel function, Math. Commun. 21 (2016), 171-188.
    [3] Á. Baricz, D. K. Dimitrov, H. Orhan, N. Yağmur, Radii of starlikeness of some special functions, Proc. Amer. Math. Soc., 144 (2016), 3355-3367. doi: 10.1090/proc/13120
    [4] Á. Baricz, B. A. Frasin, Univalence of integral operators involving Bessel functions, Appl. Math. Lett., 23 (2010), 371-376. doi: 10.1016/j.aml.2009.10.013
    [5] Á. Baricz, S. Koumandos, Turán type inequalities for some Lommel function of the first kind, Proc. Edinburgh Math. Soc., 59 (2016), 569-579. doi: 10.1017/S0013091515000413
    [6] Á. Baricz, R. Szász, Close-to-convexity of some special functions and their derivatives, Bull. Malays. Math. Sci. Soc., 39 (2016), 427-437. doi: 10.1007/s40840-015-0180-7
    [7] J. Becker, Löwnersche Differentialgleichung und quasikonform fortsetzbare schlichte funktionen, J. Reine Angew. Math., 255 (1972), 23-43.
    [8] J. Becker, Löwnersche Differentialgleichung und Schlichtheitskriterien, Math. Ann., 202 (1973), 321-335. doi: 10.1007/BF01433462
    [9] S. D. Bernardi, Convex and starlike univalent functions, Trans. Amer. Math. Soc., 35 (1969), 429-446.
    [10] D. Breaz, N. Breaz, Univalence conditions for certain integral operators, Stud. Univ. Babeş-Bolyai Math., 47 (2002), 9-15.
    [11] D. Breaz, N. Breaz, Univalence of an integral operator, Mathematica (Cluj), 47 (2005), 35-38.
    [12] D. Breaz, N. Breaz, H. M. Srivastava, An extension of the univalent condition for a family of integral operators, Appl. Math. Lett., 22 (2009), 41-44. doi: 10.1016/j.aml.2007.11.008
    [13] D. Breaz, S. Owa, N. Breaz, A new integral univalent operator, Acta Univ. Apulensis Math. Inform., 16 (2008), 11-16.
    [14] B. C. Carlson, D. B. Shaffer, Starlike and prestarlike hypergeometric functions, SIAM J. Math. Anal., 159 (1984), 737-745.
    [15] N. E. Cho, O. S. Kwon, H. M. Srivastava, Inclusion relationships and argument properties for certain subclasses of multivalent functions associated with a family of linear operators, J. Math. Anal. Appl., 292 (2004), 470-483. doi: 10.1016/j.jmaa.2003.12.026
    [16] J. H. Choi, M. Saigo, H. M. Srivastava, Some inclusion properties of a certain family of integral operators, J. Math. Anal. Appl., 276 (2002), 432-445. doi: 10.1016/S0022-247X(02)00500-0
    [17] E. Deniz, H. Orhan, H. M. Srivastava, Some sufficient conditions for univalence of certain families of integral operators involving generalized Bessel functions, Taiwanese J. Math., 15 (2011), 883-917.
    [18] E. Deniz, Convexity of integral operators involving generalized Bessel functions, Integral Transforms Spec. Funct., 24 (2013), 201-216. doi: 10.1080/10652469.2012.685938
    [19] A. W. Goodman, Univalent Functions, Mariner Publishing Company Incorporated, Tampa, FL, 1983.
    [20] Y. J. Kim, E. P. Merkes, On an integral of powers of a spirallike function, Kyungpook Math. J., 12 (1972), 249-252.
    [21] R. J. Libera, Some classes of regular univalent functions, Proc. Amer. Math. Soc., 16 (1965), 755-758. doi: 10.1090/S0002-9939-1965-0178131-2
    [22] J. L. Liu, The Noor integral and strongly starlike functions, J. Math. Anal. Appl., 261 (2001), 441-447. doi: 10.1006/jmaa.2001.7489
    [23] E. Lommel, Über eine mit den Bessel'schen Functionen verwandte Function, Math. Ann., 9 (1875), 425-444. doi: 10.1007/BF01443342
    [24] S. Moldoveanu, N. N. Pascu, Integral operators which preserve the univalence, Mathematica (Cluj), 32 (1990), 159-166.
    [25] K. I. Noor, On new classes of integral operators, J. Natur. Geom., 16 (1999), 71-80.
    [26] K. I. Noor, H. A. Alkhorasani, Properties of close-to-convexity preserved by some integral operators, J. Math. Anal. Appl., 112 (1985), 509-516. doi: 10.1016/0022-247X(85)90260-4
    [27] S. Owa, H. M. Srivastava, Univalent and starlike generalized hypergeometric functions, Canad. J. Math., 39 (1987), 1057-1077. doi: 10.4153/CJM-1987-054-3
    [28] J. H. Park, Coefficient Estimates and Univalancy of Certain Analytic Functions, Ph. D. Thesis, Pukyong National University, Busan, 2018.
    [29] N. N. Pascu, An improvement of Becker's univalence criterion, In: Proceedings of the Commemorative Session: Simon Stoilow (Brasov, 1987), 43-48.
    [30] V. Pescar, A new generalization of Ahlfors and Becker's critetion of univalence, Bull. Malays. Math. Sci. Soc., 19 (1996), 53-54.
    [31] V. Pescar, Univalence of certain integral operators, Acta Univ. Apulensis Math. Inform., 12 (2006), 43-48.
    [32] J. A. Pfaltzgraff, Univalence of the integral of (f(z))λ, Bull. London Math. Soc., 7 (1975), 254-256.
    [33] R. Raza, S. Noreen, S. N. Malik, Geometric properties of integral operators defined by Bessel functions, J. Inequal. Spec. Funct., 7 (2016), 34-48.
    [34] S. Ruscheweyh, New criteria for univalent functions, Proc. Amer. Math. Soc., 49 (1975), 109-115. doi: 10.1090/S0002-9939-1975-0367176-1
    [35] N. Seenivasagan, D. Breaz, Certain sufficient conditions for univalence, Gen. Math., 15 (2007), 7-15.
    [36] 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. doi: 10.1007/s40995-019-00815-0
    [37] H. M. Srivastava, E. Deniz, H. Orhan, Some general univalence criteria for a family of integral operators, Appl. Math. Comput., 215 (2010), 3696-3701.
    [38] H. M. Srivastava, B. A. Frasin, V. Pescar, Univalence of integral operators involving Mittag-Leffler functions, Appl. Math. Inform. Sci., 11 (2017), 635-641. doi: 10.18576/amis/110301
    [39] H. M. Srivastava, R. Jan, A. Jan, W. Deebai, M. Shutaywi, Fractional-calculus analysis of the transmission dynamics of the dengue infection, Chaos, 31 (2021), Article ID 53130, 1-18.
    [40] H. M. Srivastava, A. R. S. Juma, H. M. Zayed, Univalence conditions for an integral operator defined by a generalization of the Srivastava-Attiya operator, Filomat, 32 (2018), 2101-2114. doi: 10.2298/FIL1806101S
    [41] H. M. Srivastava, S. Owa, Some characterization and distortion theorems involving fractional calculus, generalized hypergeometric functions, Hadamard products, linear operators, and certain subclasses of analytic functions, Nagoya Math. J., 106 (1987), 1-28. doi: 10.1017/S0027763000000854
    [42] H. M. Srivastava, S. Owa, Univalent Functions, Fractional Calculus, and Their Applications, Halsted Press (Ellis Horwood Limited, Chichester), John Wiley and Sons, New York, Chichester, Brisbane, and Toronto, 1989.
    [43] H. M. Srivastava, J. K. Prajapat, G. I. Oros, R. Şendruţiu, Geometric properties of a certain family of integral operators, Filomat, 28 (2014), 745-754. doi: 10.2298/FIL1404745S
    [44] L. F. Stanciu, D. Breaz, H. M. Srivastava, Some criteria for univalence of a certain integral operator, Novi Sad J. Math., 43 (2013), 51-57.
    [45] N. Yağmur, Hardy space of Lommel functions, Bull. Korean Math. Soc., 52 (2015), 1035-1046. doi: 10.4134/BKMS.2015.52.3.1035
  • This article has been cited by:

    1. Alina Alb Lupaş, Loriana Andrei, Certain Integral Operators of Analytic Functions, 2021, 9, 2227-7390, 2586, 10.3390/math9202586
    2. Mohsan Raza, Sarfraz Nawaz Malik, Qin Xin, Muhey U. Din, Luminiţa-Ioana Cotîrlă, On Kudriasov Conditions for Univalence of Integral Operators Defined by Generalized Bessel Functions, 2022, 10, 2227-7390, 1361, 10.3390/math10091361
    3. Suha B. Al-Shaikh, Ahmad A. Abubaker, Khaled Matarneh, Mohammad Faisal Khan, Some New Applications of the q-Analogous of Differential and Integral Operators for New Subclasses of q-Starlike and q-Convex Functions, 2023, 7, 2504-3110, 411, 10.3390/fractalfract7050411
    4. Sercan Kazımoğlu, Hemen Dutta, Erhan Deniz, 2024, Chapter 9, 978-981-97-3237-1, 183, 10.1007/978-981-97-3238-8_9
    5. Sarfraz Nawaz Malik, Nazar Khan, Ferdous M. O. Tawfiq, Mohammad Faisal Khan, Qazi Zahoor Ahmad, Qin Xin, Fuzzy Differential Subordination Associated with a General Linear Transformation, 2023, 11, 2227-7390, 4582, 10.3390/math11224582
    6. Sercan Kazımoğlu, Erhan Deniz, Luminita-Ioana Cotirla, Geometric Properties of Generalized Integral Operators Related to The Miller–Ross Function, 2023, 12, 2075-1680, 563, 10.3390/axioms12060563
  • Reader Comments
  • © 2021 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(2734) PDF downloads(168) Cited by(6)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog