Certain Geometric Properties of Lommel and Hyper-Bessel Functions

In this article, we are mainly interested in finding the sufficient conditions under which Lommel functions and hyper-Bessel functions are close-to-convex with respect to the certain starlike functions. Strongly starlikeness and convexity of Lommel functions and hyper-Bessel functions are also discussed. Some applications are also the part of our investigation.


Introduction and Preliminaries
Let A denote the class of functions f of the form analytic in the open unit disc U = {z : |z| < 1} and S denote the class of all functions in A which are univalent in U .Let S * (α) , C (α), K (α) , ∼ S * (α) and ∼ C (α) denote the classes of starlike, convex, close-to-convex, strongly starlike and strongly convex functions of order α, respectively, and are defined as: 1) , 1) , and It is clear that where S * , C and K are the classes of starlike, convex and close-to-convex functions, respectively.If f and g are analytic functions, then the function f is said to be subordinate to g, written as f (z) ≺ g(z), if there exist a Schwarz function w with w(0) = 0 and |w| < 1 such that f (z) = g(w(z)).Furthermore, if the function g is univalent in U , then we have the following equivalent relation: For two functions f of the form of Equation ( 1) and g of the form that are analytic in U , we define the convolution of these functions by Consider the Lommel function of the first kind L κ,τ (z) is a particular solution of the in-homogeneous Bessel differential equation ( see for details, [1,2]): and it can be expressed in terms of hypergeometric series where κ ± τ is a non-negative odd integer.It is observed that Lommel function s κ,τ does not belongs to the class A. Thus, the normalized Lommel function of first kind is defined as: where 2 and (a) n shows the Appell symbol which defined in terms of Eulers gamma functions such that (a) n = Γ(a+n) Γ(a) = a(a + 1)...(a + n − 1).Clearly, the function L κ,τ belongs to the class A. To discuss the close-to-convexity of normalized Lommel functions with respect to the certain starlike functions, here we define modified form of the normalized Lommel functions Next, we consider the hyper-Bessel function in terms of the hypergeometric functions defined below (for details see [3]) where the notation represents the generalized Hypergeometric functions and β c represents the array of c parameters β 1 , β 2 , ..., β c .By combining Equations ( 6) and (7) , we get the following infinite representation of the hyper-Bessel functions Since the function J β c is not in class A, the normalized hyper-Bessel function J β c is defined by It is observed that the function J β c defined in Equation (9) does not belong to the class A. Here, we consider the following normalized form of the hyper-Bessel function for our own convenience.
To discuss the close-to-convexity of normalized hyper-Bessel functions with respect to the certain starlike functions, here we define modified form of the normalized hyper-Bessel functions Special functions have great importance in pure and applied mathematics.The wide use of these functions has attracted many researchers to work on the different directions.Recently, many mathematicians study the geometric properties of special functions with different aspects.For details, we refer to [4][5][6][7][8][9].Certain conditions for close-to-convexity of some special functions such as Bessel functions, q-Mittag-Leffler functions, Wright functions, and Dini functions have been determined by many mathematicians with different methods (for details, see [4,[10][11][12][13]). We need the following Lemmas to prove our results.

Lemma 2 ([15]
).Let f have the series representation of the form of f (z Then, f is close-to-convex with respect to starlike function z 1−z .

Close to Convexity of Modified Lommel Functions
In this section we discuss some conditions under which the modified Lommel functions and modified hyper-Bessel functions are assured to be close-to-convex with respect to the functions Theorem 1.Let κ, τ ∈ R + := (0, ∞) and κ ≥ τ.Then, L κ,τ defined in Equation ( 5) is close-to-convex with respect to starlike function z 1−z 2 . Proof.
For n ∈ N\ {1} , consider the following inequality Then, Equation ( 14) is equivalent to Since M > 0 and N > 0, the inequality in Equation (15) holds for all n ≥ 2. Hence, {a n } ∞ n=1 satisfies the hypothesis of Lemma 1 which completes the proof of Theorem 1.
It is enough to prove that a n satisfies the hypothesis of Lemma 2. For n ∈ N\ {1} , consider the following inequality Then, Equation ( 16) is equivalent to Since M > 0 and N > 0, the inequality in Equation ( 16) holds for all n ≥ 2. Hence, {a n } ∞ n=1 satisfies the hypothesis of Lemma 2, which completes the proof of Theorem 2.Then, H β c defined in Equation ( 11) is close-to-convex with respect to starlike function z 1−z 2 .
where η is defined in Theorem 3.Then, H β c is close-to-convex with respect to starlike function z 1−z . Proof.Let where a 1 = 1 and for n ≥ 2, To check under which conditions the above expression is positive, consider This shows that the sequence {na n } ∞ n=1 is a decreasing sequence if n 2 (c + 1) c+1 η ≥ (n + 1), ∀n ≥ 2. This condition is satisfied for (c + 1) c+1 η ≥ 3/4, ∀n ≥ 2. Thus, from Lemma 2, H β c is close-to-convex with respect to starlike function z 1−z .

Strongly Convexity and Strongly Starlikeness of Lommel Functions
In this section, we are mainly interested in finding some sufficient conditions for the normalized Lommel functions to belong to the classes of strongly convex of order α and strongly starlikeness of order α functions, respectively.
Proof.By using the well-known triangle inequality From Equation (18) , we conclude that With the help of Lemma 3, take n = 0 with F(z) = zL κ,τ (z) and M(z) = 1 + κz, and we get This implies that L κ,τ (z) By using Equations (19) and (21) , we obtain and κ = Proof.By using the well-known triangle inequality From Equation (23) , we conclude that With the help of Lemma 3, take n = 0 with F(z) = L κ,τ (z) and M(z) = 1 + κz, and we get As a result, By using Equations (24) and (25) , it implies that L κ,τ ∈ ∼ S * (α) Then,
Proof.By using the well-known triangle inequality we obtain From Equation (33) , we conclude that With the help of Lemma 3, take n = 0 with F(z) = H β c (z) and M(z) = 1 + ψz, and we get

Lemma 3 (
[16]).Let M(z) be convex and univalent in the open unit disc with condition M(0) = 1.Let F(z) be analytic in the open unit disc with condition F(0) = 1 and F ≺ M in the open unit disc.Then, ∀ n ∈ N ∪ {0}, and we obtain

Theorem 4 .
Let H β c defined in Equation (11) satisfy the following condition: