Next Article in Journal
Fuzzy Differential Inequalities for Convolution Product of Ruscheweyh Derivative and Multiplier Transformation
Next Article in Special Issue
Plurisubharmonic Interpolation and Plurisubharmonic Geodesics
Previous Article in Journal
Selection of a Forklift for a Cargo Company with Fuzzy BWM and Fuzzy MCRAT Methods
Previous Article in Special Issue
Logarithmic Coefficients for Some Classes Defined by Subordination
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Radius of Uniformly Convex γ-Spirallikeness of Combination of Derivatives of Bessel Functions

by
Stanislawa Kanas
1,* and
Kamaljeet Gangania
2,3
1
Department of Mathematical Analysis, Rzeszow University, Al. Rejtana 16c, 35-959 Rzeszów, Poland
2
Department of Applied Mathematics, Delhi Technological University, Delhi 110042, India
3
Department of Mathematics, Bhagwan Parshuram Institue of Technology, Delhi 110089, India
*
Author to whom correspondence should be addressed.
Axioms 2023, 12(5), 468; https://doi.org/10.3390/axioms12050468
Submission received: 5 April 2023 / Revised: 2 May 2023 / Accepted: 4 May 2023 / Published: 12 May 2023

Abstract

:
We find the sharp radius of uniformly convex γ -spirallikeness for N ν ( z ) = a z 2 J ν ( z ) + b z J ν ( z ) + c J ν ( z ) (here J ν ( z ) is the Bessel function of the first kind of order ν ) with three different kinds of normalizations of the function N ν ( z ) . As an application, we derive sufficient conditions on the parameters for the functions to be uniformly convex γ -spirallikeness and, consequently, generate examples of uniform convex γ -spirallike via N ν ( z ) . Results are well-supported by the relevant graphs and tables.

1. Introduction

Let A be the class of analytic functions normalized by the condition f ( 0 ) = 0 = f ( 0 ) 1 in the unit disk D : = D 1 , where D r : = { z C : | z | < r } . Now let Γ w be the image of an arc Γ z : z = z ( t ) , ( a t b ) under the function w = f ( z ) , and let w 0 be a point not on Γ w . Let γ π 2 , π 2 . The arc Γ w is γ -spirallike with respect to w 0 if
arg z ( t ) f ( t ) f ( z ) w 0
lies between γ and γ + π . Further, an arc Γ w is convex γ -spirallike if
arg z ( t ) z ( t ) + z ( t ) f ( z ) f ( z )
lies between γ and γ + π . In the form of one variable, equivalently, we say that a function f A is γ -spirallike of order α if and only if
Re e i γ z f ( z ) f ( z ) > α cos γ ,
where γ π 2 , π 2 and 0 α < 1 . We denote the class of such functions by S p γ ( α ) . In view of the well-known Alexander’s relation, let CS p γ ( α ) be the class of convex γ -spirallike functions of order α , which is defined below:
Re e i γ 1 + z f ( z ) f ( z ) > α cos γ .
Spacek [1] introduced and studied the class S p γ ( 0 ) . Each function in S p γ ( α ) is univalent in D , but they are not necessarily starlike. Further, it is worth mentioning that, for general values of γ ( | γ | < π / 2 ) , a function in CS p γ ( 0 ) need not be univalent in D . For example, f ( z ) = i ( 1 z ) i i CS p π / 4 ( 0 ) , but this is not univalent. In this context, see Figure 1. Indeed, f CS p γ ( 0 ) is univalent if 0 < cos γ < 1 / 2 ; see Robertson [2] and Pfaltzgraff [3]. Note that, for γ = 0 , the classes S p γ ( α ) and CS p γ ( α ) reduce to the classes of starlike and convex functions of order α , given by
Re z f ( z ) f ( z ) > α and Re 1 + z f ( z ) f ( z ) > α ,
which we denote by S * ( α ) and C ( α ) , respectively.
In the above context and using the idea of uniformly starlike and uniformly convex functions introduced and studied in [4,5,6,7,8], Ravichandran et al. [9] introduced the concept of uniformly γ -spiral functions as described below:
Definition 1.
([9]). The function f is a uniformly convex γ-spiral function if the image of every circular arc Γ z with center at ζ lying in D is a convex γ-spiral.
We denote the class of such functions by UCSP ( γ ) . These functions have an analytic characterization (see [9]) as follows:
f UCSP ( γ ) Re e i γ 1 + ( z ζ ) f ( z ) f ( z ) 0 , z ζ , z , ζ D .
Indeed, authors in [9] obtained the one-variable characterization as:
f UCSP ( γ ) Re e i γ 1 + z f ( z ) f ( z ) > z f ( z ) f ( z ) .
Special functions and their geometric properties frequently appear in univalent function theory. In the recent past, normalized function properties have been explored in terms of radius problems [10,11,12,13]. In particular, for a normalized special function f, we define
S * ( α ) r a d i u s : = sup r R + : Re z f ( z ) f ( z ) > α , z D r
and, similarly, one may define the C ( α ) -radius. In this direction, the S * ( α ) -radius of Bessel functions was obtained in [10], and Ramanujan-type entire functions were dealt with in [11]. A unified treatment of the radius of Ma–Minda classes [14] and more for some special functions was studied in [13,15,16].
However, to the best of our knowledge, the UCSP ( γ ) -radius has not been studied to date for the above-mentioned special functions. Therefore, we define the UCSP ( γ ) -radius here:
Definition 2.
Let f in A be a special function. Then, the radius of a uniformly convex γ-spirallike is found as:
R u c s ( γ ; f ) = sup r R + : Re e i γ 1 + z f ( z ) f ( z ) > z f ( z ) f ( z ) , z D r .
In the present investigation, we consider our special normalized functions to be the derivatives of Bessel functions. Recall that the Bessel function of the first kind of order ν is defined by ([17], p. 217):
J ν ( z ) = n = 0 1 n n ! Γ ( n + ν + 1 ) z 2 2 n + ν z C .
We know that all its zeros are real for ν > 1 . Here we consider the general function
N ν ( z ) = a z 2 J ν ( z ) + b z J ν ( z ) + c J ν ( z ) ,
which was studied by Mercer [18]. Here, as mentioned in [18], we take q = b a and c = 0 and q 0 or c > 0 and q > 0 . From (1), we now have the power series representation
N ν ( z ) = n = 0 Q ( 2 n + ν ) 1 n n ! Γ ( n + ν + 1 ) z 2 2 n + ν z C ,
where Q ( ν ) = a ν ( ν 1 ) + b ν + c   a , b , c R . There are three important reference works dealing with the function N ν . Firstly, in Mercer’s paper [18], it is proved that the k t h positive zero of N ν increases with ν in ν > 0 . Secondly, Ismail and Muldoon [19], under the conditions a , b , c R such that c = 0 and b a or c > 0 and b > a , showed the following behavior of roots:
(i)
For ν > 0 , the zeros of N ν ( z ) are either real or purely imaginary.
(ii)
For ν max { 0 , ν 0 } , where ν 0 is the largest real root of the quadratic Q ( ν ) = a ν ( ν 1 ) + b ν + c , the the zeros of N ν ( z ) are real.
(iii)
If ν > 0 , a ν 2 + ( b a ) ν + c ( b a ) > 0 and a ( b a ) < 0 , the zeros of N ν ( z ) are all real, except for a single pair that is conjugate and purely imaginary.
In 2016, Baricz et al. [20] obtained the sufficient and necessary conditions for the starlikeness of a normalized form of N ν by using the results of Mercer [18], Ismail and Muldoon [19], and Shah and Trimble [21].
Since the function N ν does not belong to A , to prove our results, we consider the following normalizations of the function N ν as given by:
f ν ( z ) = 2 ν Γ ( ν + 1 ) Q ( ν ) N ν ( z ) 1 ν ,
g ν ( z ) = 2 ν Γ ( ν + 1 ) z 1 ν Q ( ν ) N ν ( z ) ,
h ν ( z ) = 2 ν Γ ( ν + 1 ) z 1 ν 2 Q ( ν ) N ν ( z ) .
In the rest of this paper, for the quadratic Q ( ν ) = a ν ( ν 1 ) + b ν + c , we will always assume that a , b , c R   c = 0 and a b or c > 0 and a < b . Moreover, ν 0 is the largest real root of the quadratic Q ( ν ) defined according to the above conditions.
Since the functions N ν ( z ) and N ν ( z ) are entire functions of order zero, then they have infinitely many zeros. According to the Hadamard factorization theorem [22], we may write
N ν ( z ) = Q ( ν ) z ν 2 ν Γ ( ν + 1 ) n 1 1 z 2 λ ν , n 2
and
N ν ( z ) = Q ( ν ) z ν 1 ν 2 ν Γ ( ν + 1 ) n 1 1 z 2 λ ν , n 2 ,
where λ ν , n and λ ν , n denote the n t h positive zero of N ν ( z ) and N ν ( z ) , respectively. For recent updates on the geometric properties of Bessel functions, readers are urged to see [20,23,24,25,26,27,28] and references therein.
In this paper, we find the radius of uniformly convex γ -spirallike for the functions f ν ( z ) , g ν ( z ) , and h ν ( z ) to be defined by (3)–(5) when ν max { 0 , ν 0 } . The key tools in their proofs are special properties of the zeros of the function N ν and their derivatives.

2. Zeros of Hyperbolic Polynomials and the Laguerre–Pólya Class of Entire Functions

In this section, we recall some necessary information about polynomials and entire functions with real zeros. An algebraic polynomial is called hyperbolic if all its zeros are real. We formulate the following specific statement that we shall need; see [25] for more details. By definition, a real entire function ψ belongs to the Laguerre–Pólya class LP if it can be represented in the form
ψ ( x ) = c x m e a x 2 + β x k 1 1 + x x k e x x k ,
with c , β , x k R ,   a 0 ,   m N { 0 } , and x k 2 < . Similarly, ϕ is said to be of type I in the Laguerre–Pólya class, written φ LPI , if ϕ ( x ) or ϕ ( x ) can be represented as
ϕ ( x ) = c x m e σ x k 1 1 + x x k ,
with c R ,   σ 0 ,   m N { 0 } ,   x k > 0 , and x k 1 < . The class LP is the complement of the space of hyperbolic polynomials in the topology induced by the uniform convergence on the compact sets of the complex plane, while LPI is the complement of the hyperbolic polynomials whose zeros possess a preassigned constant sign. Given an entire function φ with the Maclaurin expansion
φ ( x ) = k 0 μ k x k k ! ,
its Jensen polynomials are defined by
P m ( φ ; x ) = P m ( x ) = k = 0 m m k μ k x k .
The next result of Jensen [29] is a well-known characterization of functions belonging to LP .
Lemma 1.
The function φ belongs to LP   ( LPI , respectively) if and only if all the polynomials P m ( φ ; x ) , m = 1 , 2 , , are hyperbolic (hyperbolic with zeros of equal sign). Moreover, the sequence P m ( φ ; z n ) converges locally uniformly to φ ( z ) .
The following result is a key tool in the proof of the main results.
Lemma 2.
([30]). The function z Ψ ν ( z ) = 2 ν Γ ( ν + 1 ) Q ( ν ) z ν N ν ( z ) has infinitely many zeros, and all of them are positive, if ν max { 0 , ν 0 } . Denoting by λ ν , n the n t h positive zero of Ψ ν ( z ) , under the same conditions, the Weierstrassian decomposition
Ψ ν ( z ) = n 1 1 z 2 λ ν , n 2
is valid, and this product is uniformly convergent on compact subsets of the complex plane. Moreover, if we denote by λ ν , n the nth positive zero of Φ ν ( z ) , where Φ ν ( z ) = z ν Ψ ν ( z ) , then the positive zeros of Ψ ν ( z ) are interlaced with those of Φ ν ( z ) . In other words, the zeros satisfy the chain of inequalities
λ ν , 1 < λ ν , 1 < λ ν , 2 < λ ν , 2 < λ ν , 3 < λ ν , 3 < .

3. Main Results

Our principal result establishes the radius of UCSP ( γ ) , see Table 1, and reads as follows:
Theorem 1.
Let γ π 2 , π 2 . The following statements hold:
( a )
If ν max { 0 , ν 0 } , ν 0 , then the radius of uniformly convex γ-spirallikeness of the function f ν is the smallest positive root of the equation
r N ν ( r ) N ν ( r ) + 1 ν 1 r N ν ( r ) N ν ( r ) = cos γ 2 .
( b )
If ν max { 0 , ν 0 } , then the radius of uniformly convex γ-spirallikeness of the function g ν is the smallest positive root of the equation
r 2 N ν ( r ) + ( 2 ν ) r N ν ( r ) r N ν ( r ) + ( 1 ν ) N ν ( r ) = ν cos γ 2 .
( c )
If ν max { 0 , ν 0 } , then the radius of uniformly convex γ-spirallikeness of the function h ν is the smallest positive root of the equation
r N ν ( r ) N ν ( r ) + r N ν ( r ) N ν ( r ) = 1 cos γ .
Proof. 
We first prove part ( a ) . From (3), we have
1 + z f ν ( z ) f ν ( z ) = 1 + z N ν ( z ) N ν ( z ) + 1 ν 1 z N ν ( z ) N ν ( z ) ,
and by means of (6) and (7), we obtain
1 + z f ν ( z ) f ν ( z ) = 1 1 ν 1 n 1 2 z 2 λ ν , n 2 z 2 n 1 2 z 2 λ ν , n 2 z 2 .
For 1 ν > max 0 , ν 0 , we get
Re e i γ 1 + z f ν ( z ) f ν ( z ) = Re ( e i γ ) Re e i γ n 1 2 z 2 λ ν , n 2 z 2 + 1 ν 1 n 1 2 z 2 λ ν , n 2 z 2 cos γ 1 ν 1 n 1 2 r 2 λ ν , n 2 r 2 n 1 2 r 2 λ ν , n 2 r 2 cos γ + r f ν ( r ) f ν ( r )
where z = r . Moreover, observe that if we use the inequality ([31], Lemma 2.1)
μ Re z a z Re z b z μ z a z z b z ,
where a > b > 0 ,   μ [ 0 , 1 ] and z C such that | z | < b , then we see that the inequality (8) is also valid when ν 1 . Here we have seen that the zeros of N ν and N ν are interlacing according to Lemma 1. In view of the Definition 2 and the above inequalities (8), let us define T f ν : ( 0 , λ ν , 1 ) R , which is given by
T f ν ( r ) = cos γ 2 1 ν 1 n 1 2 r 2 λ ν , n 2 r 2 + n 1 2 r 2 λ ν , n 2 r 2 .
Clearly, it can be seen that
T f ν ( 0 ) = cos γ > 0 and lim r λ ν , 1 T f ν ( r ) =
for all r ( 0 , λ ν , 1 ) . Moreover, for r ( 0 , λ ν , 1 ) using Lemma 2,
T f ν ( r ) = 2 1 ν 1 n 1 4 r λ ν , n 2 ( λ ν , n 2 r 2 ) 2 n 1 4 r λ ν , n 2 ( λ ν , n 2 r 2 ) 2 < 0 .
Now let R u c s ( γ ; f ν ) be the smallest positive root of the equation T f ν ( r ) = 0 . Hence, the inequality
Re e i γ 1 + z f ( z ) f ( z ) > z f ( z ) f ( z )
holds whenever the following inequality is valid:
cos γ + r f ν ( r ) f ν ( r ) > r f ν ( r ) f ν ( r ) .
The above inequality may be equivalently read as T f ν ( r ) > 0 , which is valid for all | z | = r < R u c s ( γ ; f ν ) . The sharpness of the radius constant R u c s ( γ ; f ν ) can be observed, in view of the maximum and minimum modulus principles by taking z = r > R u c s ( γ ; f ν ) such that the following reverse inequality holds:
min | z | = r Re e i γ 1 + z f ( z ) f ( z ) = cos γ + r f ν ( r ) f ν ( r ) < max | z | = r z f ( z ) f ( z ) = r f ν ( r ) f ν ( r ) .
This completes the proof of part ( a ) .
For the other parts, in view of Lemma 2, note that the functions g ν and h ν belong to the Laguerre–Pólya class LP , which is closed under differentiation, that their derivatives g ν and h ν also belong to LP , and that the zeros are real. Thus assuming δ ν , n and γ ν , n to be the positive zeros of g ν and h ν , respectively, we have the following representations:
g ν ( z ) = n 1 1 z 2 δ ν , n 2 and h ν ( z ) = n 1 1 z γ ν , n ,
which yield
1 + z g ν ( z ) g ν ( z ) = 1 n 1 2 z 2 δ ν , n 2 z 2 and 1 + z h ν ( z ) h ν ( z ) = 1 n 1 z γ ν , n z .
Further, reasoning along the same lines as in part ( a ) , the result follows at once. □
Table 1. Radii of uniformly convex π 3 spirallike for f 1 / 2 , g 1 / 2 , and h 1 / 2 in Theorem 1.
Table 1. Radii of uniformly convex π 3 spirallike for f 1 / 2 , g 1 / 2 , and h 1 / 2 in Theorem 1.
b = 3 and c = 0 a = 1 and c = 0 a = 1 and b = 2
a = 2 a = 3 a = 4 b = 2 b = 3 b = 4 c = 2 c = 3 c = 4
f ν 0.087 0.067 0.050 0.099 0.113 0.121 0.172 0.192 0.208
g ν 0.122 0.094 0.0703 0.138 0.157 0.169 0.241 0.269 0.292
h ν 0.040 0.024 0.013 0.052 0.068 0.078 0.162 0.204 0.240
Example 1.
For the value ν = 1 / 2 , we may express the function N ν ( z ) in terms of the elementary trigonometric functions as follows:
N 1 / 2 ( z ) = 4 b a z cos z + a 3 4 z 2 2 b + 4 c sin z 2 2 π z .
Consequently, we get
f 1 / 2 ( z ) = 4 a b z cos z + 4 a z 2 3 a + 2 b 4 c sin z 2 a 2 b 4 c 2 z ,
g 1 / 2 ( z ) = 4 a b z cos z + 4 a z 2 3 a + 2 b 4 c sin z a 2 b 4 c ,
and
h 1 / 2 ( z ) = 4 a b z cos z + 4 a z 3 a + 2 b 4 c z sin z a 2 b 4 c .
An immediate consequence of the proof of Theorem 1 is the following sufficient conditions for functions to be uniformly convex γ -spirallike. In fact, Table 2, Table 3 and Table 4 explain the sufficient conditions for uniformly convex γ -spirallikeness by giving the minimum value of the ν with respect to the given equations in Corollary 1. Also, Figure 1, Figure 2 and Figure 3 represent image domains of the unit disk in view of Corollary 1.
Corollary 1.
(Sufficient condition.) Let γ π 2 , π 2 and ν max { 0 , ν 0 } . Then, the following statements hold:
( a )
Let ν 0 . The function f ν is uniformly convex γ-spirallike if
cos γ 2 + N ν ( 1 ) N ν ( 1 ) + 1 ν 1 N ν ( 1 ) N ν ( 1 ) > 0 .
( b )
The function g ν is uniformly convex γ-spirallike if
cos γ 2 ν + N ν ( 1 ) + ( 2 ν ) N ν ( 1 ) N ν ( 1 ) + ( 1 ν ) N ν ( 1 ) > 0 .
( c )
The function h ν is uniformly convex γ-spirallike if
N ν ( 1 ) N ν ( 1 ) + N ν ( 1 ) N ν ( 1 ) > 1 cos γ .
  • In particular, γ = 0 provides sufficient conditions for functions to be uniformly convex.
Table 2. Minimum value of ν for uniformly convex γ -spirallike of f ν in Corollary 1.
Table 2. Minimum value of ν for uniformly convex γ -spirallike of f ν in Corollary 1.
b = 3 and c = 0 a = 1 and c = 0 a = 1 and b = 2
a = 2 a = 3 a = 4 b = 2 b = 3 b = 4 c = 2 c = 3 c = 4
γ = π / 3 0.8921 3.6136 1.0762 0.8229 0.7432 0.6999 0.4802 0.3938 0.3395
γ = π / 4 0.8910 3.2130 1.0770 0.8211 0.7408 0.6973 0.4748 0.3883 0.3342
γ = 0 0.8895 2.8790 1.0779 0.8188 0.7376 0.6937 0.4674 0.3806 0.3268
Figure 1. Image domains of the unit disk under f 1 with a = 2 , b = 3 , and c = 0 for γ = π / 3 , and f 0.5 with a = 1 , b = 2 , and c = 2 for γ = π / 4 using Table 2.
Figure 1. Image domains of the unit disk under f 1 with a = 2 , b = 3 , and c = 0 for γ = π / 3 , and f 0.5 with a = 1 , b = 2 , and c = 2 for γ = π / 4 using Table 2.
Axioms 12 00468 g001
Remark 1.
In light of Spacek [1], here we see that f 1 CS p π / 3 ( 0 ) for a = 2 , b = 3 , and c = 0 , and f 0.5 CS p π / 4 ( 0 ) for a = 1 , b = 2 , and c = 2 , but that these are not univalent in D , as shown in Figure 1.
Table 3. Minimum value of ν for uniformly convex γ -spirallike of g ν in Corollary 1.
Table 3. Minimum value of ν for uniformly convex γ -spirallike of g ν in Corollary 1.
b = 3 and c = 0 a = 1 and c = 0 a = 1 and b = 2
a = 2 a = 3 a = 4 b = 2 b = 3 b = 4 c = 2 c = 3 c = 4
γ = π / 3 8.6224 8.6936 8.7315 8.5568 8.4404 8.3404 8.5008 8.4730 8.4455
γ = π / 4 6.7337 6.8160 6.8604 6.6591 6.5297 6.4220 6.5785 6.5387 6.4993
γ = 0 5.3610 5.4540 5.5048 5.2783 5.1385 5.0258 5.1675 5.1128 5.0586
Figure 2. Image domains of the unit disk under the function g 9 with a = 2 , b = 3 , and c = 0 for γ = π / 3 , and the function g 7 with a = 1 , b = 2 , and c = 2 for γ = π / 4 using Table 3.
Figure 2. Image domains of the unit disk under the function g 9 with a = 2 , b = 3 , and c = 0 for γ = π / 3 , and the function g 7 with a = 1 , b = 2 , and c = 2 for γ = π / 4 using Table 3.
Axioms 12 00468 g002
Table 4. Minimum value of ν for uniformly convex γ -spirallike of h ν in Corollary 1.
Table 4. Minimum value of ν for uniformly convex γ -spirallike of h ν in Corollary 1.
b = 3 and c = 0 a = 1 and c = 0 a = 1 and b = 2
a = 2 a = 3 a = 4 b = 2 b = 3 b = 4 c = 2 c = 3 c = 4
γ = π / 3 1.0778 1.2061 1.2908 0.9895 0.8818 0.8210 0.5378 0.3990 0.3134
γ = π / 4 1.0709 1.2003 1.2856 0.9818 0.8732 0.8119 0.5177 0.3741 0.2863
γ = 0 1.0614 1.1923 1.2786 0.9713 0.8614 0.7996 0.4890 0.3377 0.2463
Figure 3. Image domains of the unit disk under function h 3.5 with a = 2 , b = 3 , and c = 0 for γ = π / 3 , and function h 1 with a = 1 , b = 2 , and c = 2 for γ = π / 4 using Table 4.
Figure 3. Image domains of the unit disk under function h 3.5 with a = 2 , b = 3 , and c = 0 for γ = π / 3 , and function h 1 with a = 1 , b = 2 , and c = 2 for γ = π / 4 using Table 4.
Axioms 12 00468 g003
Remark 2.
In Table 2, Table 3 and Table 4, the entries with the choice γ = 0 generate ample examples of uniformly convex functions via the special function N ν ( z ) = a z 2 J ν ( z ) + b z J ν ( z ) + c J ν ( z ) , studied by Mercer [18].
In Theorem 1, letting γ = 0 , we obtain the radius of uniform convexity for the functions f ν ( z ) , g ν ( z ) , and h ν ( z ) as defined by (3), (4), and (5), respectively.
Corollary 2.
(Radius of uniform convexity). Let ν max { 0 , ν 0 } . The following statements hold:
( a )
If ν 0 , then the radius of uniform convexity of the function f ν is the smallest positive root of the equation
r N ν ( r ) N ν ( r ) + 1 ν 1 r N ν ( r ) N ν ( r ) = 1 2 .
( b )
The radius of uniform convexity of the function g ν is the smallest positive root of the equation
r 2 N ν ( r ) + ( 2 ν ) r N ν ( r ) r N ν ( r ) + ( 1 ν ) N ν ( r ) = ν 1 2 .
( c )
Then the radius of uniform convexity of the function h ν is the smallest positive root of the equation
r N ν ( r ) N ν ( r ) + r N ν ( r ) N ν ( r ) = 0 .
Now, from Theorem 1, we deduce that:
Example 2.
Let ν = 1 / 2 ,   a = 1 ,   b = 2 ,   c = 0 , and γ = π / 3 , see Figure 4. The following statements are true.
( a )
The radius of uniformly convex π 3 spirallikeness of the function f 1 / 2 is the smallest positive root of the equation
1 + 48 t 4 + ( 1 + 2 t 2 192 t 4 + 32 t 6 ) cos 2 t + 2 t ( 1 16 t 2 + 80 t 4 ) sin 2 t ( 4 t cos t + sin t + 4 t 2 sin t ) ( 2 t ( 1 + 4 t 2 ) cos t + ( 1 + 20 t 2 ) sin t ) + 1 4 = 0 .
( b )
The radius of uniformly convex π 3 spirallikeness of the function g 1 / 2 is the smallest positive root of the equation
t ( 20 t cos t + ( 15 4 t 2 ) sin t ) ( 3 + 4 t 2 ) cos t + 12 t sin t + 1 4 = 0 .
( c )
The radius of uniformly convex π 3 spirallikeness of the function h 1 / 2 is the smallest positive root of the equation
( 1 + 24 t ) t cos t + ( 1 + ( 23 4 t ) t ) sin t 2 ( 7 + 4 t ) t cos t + 2 ( 1 + 16 t ) sin t + 1 4 = 0 .
Figure 4. Image domains of g 1 / 2 for | z | < 0.1386 and h 1 / 2 for | z | < 0.0524 , respectively, with a = 1 , b = 2 , and c = 0 for γ = π / 3 .
Figure 4. Image domains of g 1 / 2 for | z | < 0.1386 and h 1 / 2 for | z | < 0.0524 , respectively, with a = 1 , b = 2 , and c = 0 for γ = π / 3 .
Axioms 12 00468 g004

4. Conclusions

For the three different kinds of normalizations, namely (3), (4), and (5) of the function N ν ( z ) = a z 2 J ν ( z ) + b z J ν ( z ) + c J ν ( z ) , where J ν ( z ) is the Bessel function of the first kind of order ν , we obtained the sharp radius of uniformly γ -spirallikeness. As a byproduct, we obtained the conditions on parameters for the normalized forms to be uniform γ -spirallike functions. Thus, we created a category of examples of uniform γ -spirallike functions from special functions.

Author Contributions

All authors contributed equally. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to thank the anonymous reviewers for their insightful comments.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Spacek, L. Contribution á la thèorie des fonctions univalentes. Casop Pest. Mat.-Fys. 1933, 62, 12–19. [Google Scholar]
  2. Robertson, M.S. Univalent functions f(z) for which zf(z) is spirallike. Mich. Math. J. 1969, 16, 97–101. [Google Scholar] [CrossRef]
  3. Pfaltzgraff, J.A. Univalence of the integral of f(z)λ. Bull. Lond. Math. Soc. 1975, 7, 254–256. [Google Scholar] [CrossRef]
  4. Kanas, S.; Wiśniowska, A. Conic domains and starlike functions. Rev. Roumaine Math. Pures Appl. 2000, 45, 647–657. [Google Scholar]
  5. Kanas, S.; Wiśniowska, A. Conic regions and k-uniform convexity. J. Comput. Appl. Math. 1999, 105, 327–336. [Google Scholar] [CrossRef]
  6. Goodman, A.W. On uniformly convex functions. Ann. Pol. Math. 1991, 56, 87–92. [Google Scholar] [CrossRef]
  7. Goodman, A.W. On uniformly starlike functions. J. Math. Anal. Appl. 1991, 155, 364–370. [Google Scholar] [CrossRef]
  8. Ronning, F. Uniformly convex functions and a corresponding class of starlike functions. Proc. Am. Math. Soc. 1993, 118, 189–196. [Google Scholar] [CrossRef]
  9. Ravichandran, V.; Selvaraj, C.; Rajagopal, R. On uniformly convex spiral functions and uniformly spirallike functions. Soochow J. Math. 2003, 29, 393–405. [Google Scholar]
  10. Baricz, Á.; Kupán, P.A.; Szxaxsz, R. The radius of starlikeness of normalized Bessel functions of the first kind. Proc. Am. Math. Soc. 2014, 142, 2019–2025. [Google Scholar] [CrossRef]
  11. Deniz, E. Geometric and monotonic properties of Ramanujan type entire functions. Ramanujan J. 2020, 55, 103–130. [Google Scholar] [CrossRef]
  12. Kazımoğlu, S.; Deniz, E. The radii of starlikeness and convexity of the functions including derivatives of Bessel functions. Turk. J. Math. 2022, 46, 894–911. [Google Scholar] [CrossRef]
  13. Saliu, A.; Jabeen, K.; Al-shbeil, I.; Oladejo, S.O.; Cătaş, A. Radius and Differential Subordination Results for Starlikeness Associated with Limaçon Class. J. Funct. Spaces 2022. [Google Scholar] [CrossRef]
  14. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis, Tianjin, China, 19–23 June 1992; Conf Proc Lecture Notes Anal I; Int Press: Cambridge, MA, USA, 1992; pp. 157–169. [Google Scholar]
  15. Gangania, K.; Kumar, S.S. S*(ψ) and C(ψ)-radii for some special functions. Iran. J. Sci. Technol. Trans. A Sci. 2022, 46, 95966. [Google Scholar]
  16. Gangania, K.K.; Kumar, S.S. Certain Radii problems for S*(ψ) and Special functions. arXiv 2023, arXiv:2007.07816v2. [Google Scholar]
  17. Oliver, F.W.J.; Lozier, D.W.; Boisvert, R.F.; Clark, C.W. (Eds.) NIST Handbook of Mathematical Functions; Cambridge Univ. Press: Cambridge, UK, 2010. [Google Scholar]
  18. Mercer, A.C. The zeros of az2Jν(z)+bzJν(z)+cJν(z) as functions of order. Internat. J. Math. Math. Sci. 1992, 15, 319–322. [Google Scholar] [CrossRef]
  19. Ismail, M.E.H.; Muldoon, M.E. Bounds for the small real and purely imaginary zeros of Bessel and related functions. Meth. Appl. Anal. 1995, 2, 1–21. [Google Scholar] [CrossRef]
  20. Baricz, Á.; Çağlar, M.; Deniz, E. Starlikeness of bessel functions and their derivatives. Math. Inequal. Appl. 2016, 19, 439–449. [Google Scholar] [CrossRef]
  21. Shah, S.M.; Trimble, S.Y. Entire functions with univalent derivatives. J. Math. Anal. Appl. 1971, 33, 220–229. [Google Scholar] [CrossRef]
  22. Levin, B.Y. Lectures on Entire Functions. Am. Math. Soc. Transl. Math. Monogr. 1996, 150, 248. [Google Scholar]
  23. Baricz, Á.; Orhan, H.; Szász, R. The radius of α- convexity of normalized Bessel functions of the first kind. Comput. Method. Func. Theo. 2016, 16, 93–103. [Google Scholar] [CrossRef]
  24. Deniz, E.; Szász, R. The radius of uniform convexity of Bessel functions. J. Math. Anal. Appl. 2017, 453, 572–588. [Google Scholar] [CrossRef]
  25. Deniz, E.; Kazımoğlu, S.; Çağlar, M. Radii of Starlikeness and Convexity of Bessel Function Derivatives. Ukr. Math. J. 2022, 73, 1686–1711. [Google Scholar] [CrossRef]
  26. Szász, R. About the radius of starlikeness of Bessel functions of the first kind. Monatshefte Für Math. 2015, 176, 323–330. [Google Scholar] [CrossRef]
  27. Frasin, B.A.; Aldawish, I. On Subclasses of Uniformly Spirallike Functions Associated with Generalized Bessel Functions. J. Funct. Spaces 2019, 2019, 1329462. [Google Scholar]
  28. Kazımoğlu, S.; Gangania, K. Radius of γ-Spirallikeness of order α for some Special functions. arXiv 2022, arXiv:2211.13232. [Google Scholar]
  29. Jensen, J.L.W.V. Recherches sur la théorie des équations. Acta Math. 1913, 36, 181–195. [Google Scholar] [CrossRef]
  30. Kazımoğlu, S.; Deniz, E. Radius Problems for Functions Containing Derivatives of Bessel Functions. Comput. Method. Func. Theo. 2022, 1–26. [Google Scholar] [CrossRef]
  31. Baricz, Á.; Szász, R. The radius of convexity of normalized Bessel functions of the first kind. Anal. Appl. 2014, 12, 485–509. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Kanas, S.; Gangania, K. Radius of Uniformly Convex γ-Spirallikeness of Combination of Derivatives of Bessel Functions. Axioms 2023, 12, 468. https://doi.org/10.3390/axioms12050468

AMA Style

Kanas S, Gangania K. Radius of Uniformly Convex γ-Spirallikeness of Combination of Derivatives of Bessel Functions. Axioms. 2023; 12(5):468. https://doi.org/10.3390/axioms12050468

Chicago/Turabian Style

Kanas, Stanislawa, and Kamaljeet Gangania. 2023. "Radius of Uniformly Convex γ-Spirallikeness of Combination of Derivatives of Bessel Functions" Axioms 12, no. 5: 468. https://doi.org/10.3390/axioms12050468

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop