JFS Journal of Function Spaces 2314-8888 2314-8896 Hindawi 10.1155/2019/1329462 1329462 Research Article On Subclasses of Uniformly Spiral-like Functions Associated with Generalized Bessel Functions https://orcid.org/0000-0001-8608-8063 Frasin B. A. 1 Aldawish Ibtisam 2 Urbina Wilfredo 1 Faculty of Science Department of Mathematics Al al-Bayt University Mafraq Jordan aabu.edu.jo 2 Department of Mathematics and Statistics College of Science lMSIU (Imam Mohammed Ibn Saud Islamic University) P.O. Box 90950 Riyadh 11623 Saudi Arabia imamu.edu.sa 2019 2082019 2019 10 06 2019 25 07 2019 2082019 2019 Copyright © 2019 B. A. Frasin and Ibtisam Aldawish. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

The main object of this paper is to find necessary and sufficient conditions for generalized Bessel functions of first kind zup(z) to be in the classes SPp(α,β) and UCSP(α,β) of uniformly spiral-like functions and also give necessary and sufficient conditions for z(2-up(z)) to be in the above classes. Furthermore, we give necessary and sufficient conditions for I(κ,c)f to be in UCSPT(α,β) provided that the function f is in the class Rτ(A,B). Finally, we give conditions for the integral operator G(κ,c,z)=0z(2-up(t))dt to be in the class UCSPT(α,β). Several corollaries and consequences of the main results are also considered.

1. Introduction and Definitions

Let A denote the class of the normalized functions of the form(1)fz=z+n=2anzn,which are analytic in the open unit disk U={zC:z<1}. Further, let T be a subclass of A consisting of functions of the form,(2)fz=z-n=2anzn,zU.A function fA is spiral-like if (3)Re-iαzfzfz>0,for some α with α<π/2    and for all zU. Also f(z) is convex spiral-like if zf(z) is spiral-like.

In , Selvaraj and Geetha introduced the following subclasses of uniformly spiral-like and convex spiral-like functions.

Definition 1.

A function f of the form (1) is said to be in the class SPp(α,β) if it satisfies the following condition: (4)Re-iαzfzfz>zfzfz-1+βzU;α<π2;0β<1and fUCSP(α,β) if and only if zf(z)SPp(α,β).

We write (5)SPpTα,β=SPpα,βT,UCSPTα,β=UCSPα,βT.

In particular, we note that SPp(α,0)=SPp(α) and UCSP(α,0)=UCSP(α), the classes of uniformly spiral-like and uniformly convex spiral-like were introduced by Ravichandran et al. . For α=0, the classes UCSP(α) and SPp(α), respectively, reduce to the classes UCV and SP introduced and studied by Ronning .

For more interesting developments of some related subclasses of uniformly spiral-like and uniformly convex spiral-like, the readers may be referred to the works of Frasin [4, 5], Goodman [6, 7], Tariq Al-Hawary and Frasin , Kanas and Wisniowska [9, 10] and Ronning [3, 11].

A function fA is said to be in the class Rτ(A,B),τC{0}, -1B<A1, if it satisfies the inequality (6)fz-1A-Bτ-Bfz-1<1,zU.

This class was introduced by Dixit and Pal .

The generalized Bessel function wp (see, ) is defined as a particular solution of the linear differential equation (7)zwz+bzwz+cz2-p2+1-bpwz=0,where b,p,cC. The analytic function wp has the form (8)wpz=n=0-1ncnn!Γp+n+b+1/2.z22n+p,zC.Now, the generalized and normalized Bessel function up is defined with the transformation (9)upz=2pΓp+n+b+12z-p/2wpz1/2=n=0-c/4nκnn!zn,where κ=p+(b+1)/20,-1,-2, and (a)n is the well-known Pochhammer (or Appell) symbol, defined in terms of the Euler Gamma function for a0,-1,-2, by(10)an=Γa+nΓa=1,ifn=0aa+1a+2a+n-1,ifnN.The function up is analytic on C and satisfies the second-order linear differential equation (11)4z2uz+22p+b+1zuz+czuz=0.Using the Hadamard product, we now considered a linear operator I(κ,c):AA defined by (12)Iκ,cf=zupzfz=z+n=2-c/4n-1κn-1n-1!anzn,where denote the convolution or Hadamard product of two series.

The study of the generalized Bessel function is a recent interesting topic in geometric function theory. We refer, in this connection, to the works of  and others.

Motivated by results on connections between various subclasses of analytic univalent functions by using hypergeometric functions (see, for example, )), and the work done in , we determine necessary and sufficient conditions for zup(z) to be in SPp(α,β) and UCSP(α,β) and also give necessary and sufficient conditions for z(2-up(z)) to be in the function classes SPpT(α,β) and UCSPT(α,β). Furthermore, we give necessary and sufficient conditions for I(κ,c)f to be in UCSPT(α,β) provided that the function f is in the class Rτ(A,B). Finally, we give conditions for the integral operator G(κ,c,z)=0z(2-up(t))dt to be in the class UCSPT(α,β).

To establish our main results, we need the following Lemmas.

Lemma 2 (see [<xref ref-type="bibr" rid="B22">1</xref>]).

(i) A sufficient condition for a function f of the form (1) to be in the class SPp(α,β) is that(13)n=22n-cosα-βancosα-βα<π/2;0β<1and a necessary and sufficient condition for a function f of the form (2) to be in the class SPpT(α,β) is that condition (13) is satisfied. In particular, when β=0, we obtain a sufficient condition for a function f of the form (1) to be in the class SPp(α) is that(14)n=22n-cosαancosαα<π2and a necessary and sufficient condition for a function f of the form (2) to be in the class SPpT(α) is that condition (14) is satisfied.

(ii) A sufficient condition for a function f of the form (1) to be in the class UCSP(α,β) is that(15)n=2n2n-cosα-βancosα-βα<π2;0β<1and a necessary and sufficient condition for a function f of the form (2) to be in the class UCSPT(α,β) is that condition (15) is satisfied. In particular, when β=0, we obtain a sufficient condition for a function f of the form (1) to be in the class UCSP(α) is that(16)n=2n2n-cosαancosαα<π2and a necessary and sufficient condition for a function f of the form (2) to be in the class UCSPT(α) is that condition (16) is satisfied.

Lemma 3 (see [<xref ref-type="bibr" rid="B5">12</xref>]).

If fRτ(A,B) is of the form (1), then (17)anA-Bτn,nN-1.

The result is sharp for the function (18)fz=0z1+A-Bτtn-11+Btn-1dt,zU;nN-1.

Lemma 4 (see [<xref ref-type="bibr" rid="B3">15</xref>]).

If b,p,cC and     κ0,-1,-2,, then the function up satisfies the recursive relations (19)upz=-c/4κup+1z,upz=-c/42κκ+1up+2z,for all zC.

2. The Necessary and Sufficient Conditions

Unless otherwise mentioned, we shall assume in this paper that α<π/2 and 0β<1.

First we obtain the necessary condition for zup to be in SPp(α,β).

Theorem 5.

If c<0, κ>0(κ0,-1,-2,), then zup is in SPp(α,β) if(20)2up1+2-cosα-βup1-1cosα-β.

Proof.

Since(21)zuPz=z+n=2-c/4n-1κn-1n-1!zn,according to (13), we must show that(22)n=22n-cosα-β-c/4n-1κn-1n-1!cosα-β.Writing(23)n=n-1+1,we have(24)n=22n-cosα-β-c/4n-1κn-1n-1!=2n=2n-1-c/4n-1κn-1n-1!+n=22-cosα-β-c/4n-1κn-1n-1!=2n=2-c/4n-1κn-1n-2!+n=22-cosα-β-c/4n-1κn-1n-1!=2n=0-c/4n+1κn+1n!+2-cosα-βn=0-c/4n+1κn+1n+1!=2-c/4κn=0-c/4nκ+1nn!+2-cosα-βn=0-c/4n+1κn+1n+1!=2-c/4κup+11+2-cosα-βup1-1=2up1+2-cosα-βup1-1.But this last expression is bounded above by cosα-β if (20) holds.

Corollary 6.

If c<0, κ>0(κ0,-1,-2,), then z(2-up(z)) is in SPpT(α,β) if and only if the condition (20) is satisfied.

Proof.

Since(25)z2-upz=z-n=2-c/4n-1κn-1n-1!zn.

By using the same techniques given in the proof of Theorem 5, we have Corollary 6.

Theorem 7.

If c<0, κ>0(κ0,-1,-2,), then zup is in SPp(α,β) if(26)e-c/4κ-c2κ+2-cosα-β1-ec/4κcosα-β.

Proof.

We note that (κ)n-1=κ(κ+1)(κ+2)(κ+n-2)κ(κ+1)n-2κn-1,(nN). From (24), we get (27)n=22n-cosα-β-c/4n-1κn-1n-1!2n=2n-1-c4κn-1n-1!+2-cosα-βn=2-c/4κn-1n-1!=-c2κe-c/4κ+2-cosα-βe-c/4κ-1.

Therefore, we see that the last expression is bounded above by cosα-β if (26) is satisfied.

Corollary 8.

If c<0, κ>0(κ0,-1,-2,), then z(2-up(z)) is in SPpT(α,β) if and only if the condition (26) is satisfied.

Theorem 9.

If c<0, κ>0(κ0,-1,-2,), then zup(z) is in UCSP(α,β) if(28)2up1+6-cosα-βup1+2-cosα-βup1-1cosα-β.

Proof.

In view of (15), we must show that(29)n=2n2n-cosα-β-c/4n-1κn-1n-1!cosα-β.

Writing(30)n=n-1+1,n2=n-1n-2+3n-1+1.Thus, we have (31)n=2n2n-cosα-β-c/4n-1κn-1n-1!=2n=2n-1n-2-c/4n-1κn-1n-1!+6-cosα-βn=2n-1-c/4n-1κn-1n-1!+2-cosα-βn=2-c/4n-1κn-1n-1!.=2n=3-c/4n-1κn-1n-3!+6-cosα-βn=2-c/4n-1κn-1n-2!+2-cosα-βn=2-c/4n-1κn-1n-1!.=2-c/42κκ+1n=0-c/4nκ+2nn!+6-cosα-β-c/4κn=0-c/4nκ+1nn!+2-cosα-βn=0-c/4n+1κn+1n+1!=2up1+6-cosα-βup1+2-cosα-βup1-1.But this last expression is bounded above by cosα-β if (28) holds.

By using a similar method as in the proof of Corollary 6, we have the following result.

Corollary 10.

If c<0, κ>0(κ0,-1,-2,), then z(2-up(z)) is in UCSPT(α,β) if and only if the condition (28) is satisfied.

The proof of Theorem 11 (below) is much akin to that of Theorem 7, and so the details may be omitted.

Theorem 11.

If c<0, κ>0(κ0,-1,-2,), then z(2-up(z)) is in UCSPT(α,β) if and only if(32)e-c/4κc28κ+6-cosα-β-c4κ+2-cosα-β1-ec/4κcosα-β.

3. Inclusion Properties

Making use of Lemma 3, we will study the action of the Bessel function on the class UCSPT(α,β).

Theorem 12.

Let c<0, κ>0(κ0,-1,-2,). If     fRτ(A,B),  then I(κ,c)f is in UCSPT(α,β) if and only if(33)A-Bτ2up1+2-cosα-βup1-1cosα-β.

Proof.

In view of (15), it suffices to show that (34)n=2n2n-cosα-β-c/4n-1κn-1n-1!ancosα-β.

Since fRτ(A,B), then by Lemma 3, we get(35)anA-Bτn.

Thus, we must show that (36)n=2n2n-cosα-β-c/4n-1κn-1n-1!anA-Bτn=22n-cosα-β-c/4n-1κn-1n-1!.

The remaining part of the proof of Theorem 12 is similar to that of Theorem 5, and so we omit the details.

4. An Integral Operator

In this section, we obtain the necessary and sufficient conditions for the integral operator G(κ,c,z) defined by(37)Gκ,c,z=0z2-uptdtto be in UCSPT(α,β).

Theorem 13.

If <0, κ>0(κ0,-1,-2,), then the integral operator G(κ,c,z) is in UCSPT(α,β) if and only if the condition (20) is satisfied.

Proof.

Since(38)Gκ,c,z=z-n=2-c/4n-1κn-1znn!then, in view of (15), we need only to show that (39)n=2n2n-cosα-β-c/4n-1κn-1n!cosα-β

or equivalently (40)n=22n-cosα-β-c/4n-1κn-1n-1!cosα-β.

The remaining part of the proof is similar to that of Theorem 5, and so we omit the details.

The proofs of Theorems 14 and 15 are much akin to that of Theorem 7, and so the details may be omitted.

Theorem 14.

Let c<0, κ>0(κ0,-1,-2,). If     fRτ(A,B),  then I(κ,c)f is in UCSPT(α,β) if and only if(41)A-Bτe-c/4κ-c2κ+2-cosα-β1-ec/4κcosα-β.

Theorem 15.

If <0, κ>0(κ0,-1,-2,), then the integral operator G(κ,c,z) is in UCSPT(α,β) if and only if the condition (32) is satisfied.

5. Corollaries and Consequences

In this section, we apply our main results in order to deduce each of the following corollaries and consequences.

Corollary 16.

If c<0, κ>0(κ0,-1,-2,),then zup is in SPp(α) if(42)2up1+2-cosαup1-1cosα.

Corollary 17.

If c<0, κ>0(κ0,-1,-2,), then z(2-up(z)) is in SPpT(α) if and only if the condition (42) is satisfied.

Corollary 18.

If c<0, κ>0(κ0,-1,-2,), then zup is in SPp(α) if(43)e-c/4κ-c2κ+2-cosα1-ec/4κcosα.

Corollary 19.

If c<0, κ>0(κ0,-1,-2,), then z(2-up(z)) is in SPpT(α) if and only if the condition (43) is satisfied.

Corollary 20.

If c<0, κ>0(κ0,-1,-2,), then zup(z) is in UCSP(α) if(44)2up1+6-cosαup1+2-cosαup1-1cosα.

Corollary 21.

If c<0, κ>0(κ0,-1,-2,), then z(2-up(z)) is in UCSPT(α) if and only if(45)e-c/4κc28κ+6-cosα-c4κ+2-cosα1-ec/4κcosα.

Corollary 22.

Let c<0, κ>0(κ0,-1,-2,). If     fRτ(A,B),  then I(κ,c)f is in UCSPT(α) if and only if (46)A-Bτ2up1+2-cosαup1-1cosα.

Corollary 23.

If <0, κ>0(κ0,-1,-2,), then the integral operator G(κ,c,z) is in UCSPT(α) if and only if the condition (42) is satisfied.

Corollary 24.

Let c<0, κ>0(κ0,-1,-2,). If     fRτ(A,B),  then I(κ,c)f is in UCSPT(α) if and only if(47)A-Bτe-c/4κ-c2κ+2-cosα1-ec/4κcosα.

Corollary 25.

If <0, κ>0(κ0,-1,-2,), then the integral operator G(κ,c,z) is in UCSPT(α) if and only if the condition (45) is satisfied.

Remark 26.

If we put α=0 in Corollary 6, we obtain Theorem 5 in  for λ=1 and β=1.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Selvaraj C. Geetha R. On subclasses of uniformly convex spirallike functions and corresponding class of spirallike functions International Journal of Contemporary Mathematical Sciences 2010 5 37 40 MR2733653 Ravichandran V. Selvaraj C. Rajagopal R. On uniformly convex spiral functions and uniformly spirallike functions Soochow Journal of Mathematics 2003 29 4 393 405 MR2021539 Ronning F. Uniformly convex functions and a corresponding class of starlike functions Proceedings of the American Mathematical Society 1993 118 1 189 196 10.2307/2160026 MR1128729 Frasin B. A. Quasi-Hadamard product of certain classes of uniformly analytic functions General Mathematics 2007 16 2 29 35 MR2439231 Frasin B. A. Comprehensive family of uniformly analytic functions Tamkang Journal of Mathematics 2005 36 3 243 254 10.5556/j.tkjm.36.2005.117 Zbl1086.30012 Goodman A. W. On uniformly convex functions Annales Polonici Mathematici 1991 56 1 87 92 10.4064/ap-56-1-87-92 Zbl0744.30010 Goodman A. W. On uniformly starlike functions Journal of Mathematical Analysis and Applications 1991 155 2 364 370 10.1016/0022-247X(91)90006-L MR1097287 Zbl0726.30013 2-s2.0-0001561856 Al-Hawary T. Frasin B. A. Uniformly analytic functions with varying arguments Analele Universitatii Oradea Fasc. Matematica, Tom XXIII 2016 23 1 37 44 MR3496011 Kanas S. Wisniowska A. Conic regions and k-uniform convexity Journal of Computational and Applied Mathematics 1999 105 1-2 327 336 10.1016/S0377-0427(99)00018-7 MR1690599 Kanas S. A. Wisniowska A. Conic domains and starlike functions Revue Roumaine de Mathématique Pures et Appliquées 2000 45 4 647 657 MR1836295 Ronning F. On starlike functions associated with parabolic regions Annales Universitatis Mariae Curie-Sklodowska, Section A 1991 45 14 117 122 MR1322145 Dixit K. K. Pal S. K. On a class of univalent functions related to complex order Indian Journal of Pure and Applied Mathematics 1995 26 9 889 896 MR1347537 Baricz A. Geometric properties of generalized Bessel functions Publicationes Mathematicae 2008 73 1-2 155 178 MR2429033 Baricz A. Geometric properties of generalized Bessel functions of complex order The Mathematica Journal 2006 48(71) 1 13 18 MR2245764 Baricz A. Generalized Bessel Functions of the First Kind 2010 1994 Berlin, Germany Springer Lecture Notes in Mathematics 10.1007/978-3-642-12230-9 MR2656410 Cho N. E. Woo S. Y. Owa S. Uniform convexity properties for hypergeometric functions Fractional Calculus & Applied Analysis. An International Journal for Theory and Applications 2002 5 3 303 313 MR1922272 Frasin B. A. Al-Hawary T. Yousef F. Necessary and sufficient conditions for hypergeometric functions to be in a subclass of analytic functions Afrika Matematika 2019 30 1-2 223 230 10.1007/s13370-018-0638-5 Zbl07085429 Merkes E. P. Scott W. T. Starlike hypergeometric functions Proceedings of the American Mathematical Society 1961 12 6 885 888 10.2307/2034382 Zbl0102.06502 Silverman H. Starlike and convexity properties for hypergeometric functions Journal of Mathematical Analysis and Applications 1993 172 2 574 581 10.1006/jmaa.1993.1044 MR1201006 Srivastava H. M. Murugusundaramoorthy G. Sivasubramanian S. Hypergeometric functions in the parabolic starlike and uniformly convex domains Integral Transforms and Special Functions 2007 18 7 511 520 10.1080/10652460701391324 Zbl1198.30013 Al-Hawary T. Frasin B. A. Yousef F. Application of generalized Bessel functions to classes of analytic functions, submitted Murugusundaramoorthy G. Janani T. An application of generalized bessel functions on certain subclasses of analytic functions Turkish Journal of Analysis and Number Theory 2015 3 1 1 6 10.12691/tjant-3-1-1 Murugusundaramoorthy G. Vijaya K. Kasthuri M. A note on subclasses of starlike and convex functions associated with bessel functions Journal of Nonlinear Functional Analysis 2014 2014, article 11 Porwal S. Dixit K. K. An application of generalized Bessel functions on certain analytic functions Acta Universitatis Matthiae Belii series Mathematics 2013 2013 51 57 MR3105595