Properties of Functions Involving Struve Function

: Let f ( z ) = z + ∑ ∞ n = 2 a n z n and g p , b , c ( z ) = z + ∑ ∞ n = 2 ( − 4 ) ( 32 ) n − 1 ( k ) n − 1 z n with p , b , c ∈ C , k = p + b + 22 (cid:54) = 0, − 1, − 2, . . . be two analytic functions in the unit disk U = { z : | z | < 1 } . This paper gives conditions so that the function T p , b , c ( z ) = ( f ∗ g )( z ) , a function associated with the Struve function, is univalent, starlike, or convex in the unit disk.


Introduction
In light of Louis de Brange using a special function, namely the generalized hypergeometric function, in proving the Bieberbach Conjecture, renewed interest was sparked among the mathematics community in special functions. Following this, many articles were presented in dealing with the geometric properties of different types of special functions including but not limited to generalized hypergeometric function, Gaussian, Kummer hypergeometric functions, Bessel functions, and, most recently, Struve functions [1][2][3][4][5][6][7][8][9]. Sufficient conditions on the parameters of these special functions were also determined by many authors for them to belong to a certain class of univalent functions [10][11][12][13][14][15][16][17][18][19][20].
Let A denote the class of analytic functions in the unit disk U = {z : |z| < 1} of the following form: and normalized by f (0) = f (0) − 1 = 0. Denote S to be the subclass of A consisting of univalent functions. Subsequently, denote S * and C to be subclasses of function S which are starlike and convex, respectively, in the unit disk U with the following definitions: Definition 1. A set D in the plane is said to be starlike with respect to w 0 an interior point of D if each ray with initial point w 0 intersects the interior of D in a set that is either a line segment or a ray. If a function f (z) maps U onto a domain that is starlike with respect to w 0 , then we say that f (z) is starlike with respect to w 0 . In the special case that w 0 = 0, we say that f (z) is a starlike function.

Definition 2.
A set D in the plane is called convex if, for every pair of points w 1 and w 2 in the interior of D, the line segment joining w 1 and w 2 is also in the interior of D. If a function f (z) maps U onto a convex domain, then f (z) is called a convex function.
The analytical definition for the classes of starlike and convex functions are as follows, where denotes the real part of a complex function: Proposition 2. Let f ∈ A, then f ∈ C if and only if For more insights on these classes, refer to References [21,22]. According to the Alexander theorem [23], every function f is convex in the unit disk if and only if z f is starlike in the unit disk, i.e., f ∈ C ⇔ z f ∈ S * .
Given any analytic functions, f (z) = ∑ ∞ n=0 a n z n and g(z) = ∑ ∞ n=0 b n z n , define the convolution function of f and g, denoted by f * g, as ( f * g)(z) = ∞ ∑ n=0 a n b n z n .
Trivially, f * g is analytic and it is sometimes referred to as the Hadamard product of f and g in honour of J. Hadamard, where Hadamard used an alternative representation, to illustrate the convolution. Firstly, consider the following differential equation [24]: where p ∈ R and a particular solution for Equation (2) is The function H p (z) is known as the Struve function of order p. Next, consider the following differential equation which only differs in the coefficient of w: and a particular solution for Equation (3) is where L p (z) is known as the modified Struve function of order p. Refer to Reference [25] for a more in-depth discussion on the Struve function. Now, consider the differential equation where b, c, p ∈ C. Note that if b = 1 and c = 1, then Equation (4) reduces to Equation (2), and if b = 1 and c = −1, then Equation (4) reduces to Equation (3). A particular solution for Equation (4), denoted by w p,b,c (z), is Similarly to before, if b = 1 and c = 1, then w p,1,1 (z) = H p (z), and if b = 1 and c = −1, then w p,1,−1 (z) = L p (z). This generalization allows the study of H p (z) and L p (z) together. Thus, w p,b,c (z) is identified as the generalized Struve function of order p. Although the series representation of w p,b,c (z) is convergent everywhere in C, the function is univalent generally in U [26]. Now, consider the function u p,b,c (z) defined as follows: Utilizing the Pochhammer symbol, (γ) n = Γ(γ+n) Γ(γ) = γ(γ + 1) . . . (γ + n − 1), the following form of u p,b,c (z) can be written: for n ≥ 0. The function u p,b,c is analytic in C, and satisfies the condition u p,b,c (0) = 1, as well as the differential equation For more discussion on generalized Struve function, refer to References [26][27][28].
where p, b, c ∈ C and k = p + b+2 2 . In Reference [26], Orhan and Yagmur investigated the geometric properties for the function g p,b,c (z), and this prompts the motivation to seek similar properties for the function T p,b,c (z). The function T p,b,c was first introduced by Raza and Yagmur [29]. As such, this paper studies univalency, starlikeness, and convexity properties of the function T p,b,c .

Preliminaries
The following preliminary results are needed to prove the results in the next section. These results can be found in References [30][31][32][33] respectively except for Lemma 3 which can be found in Reference [16].
Theorem 1. If f ∈ S, then |a n | ≤ n for n ≥ 2.
where M is the solution of the equation Lemma 2. If f ∈ A and { f (z)} > 0, then f is univalent.

Proposition 3.
Consider for x ∈ R, the quartic function P(x) of the form where r, s, t, u, v ∈ R. Solutions of P(x) = 0 are given as follows: where a and d are the coefficients of the second and of the first degree, respectively, in the associated depressed quartic a = 8rt − 3s 2 8r 2 , and where

Results
Sufficient conditions for T p,b,c to be univalent, starlike, and convex are shown in the theorems below, respectively.
Theorem 2. Let f ∈ A and T p,b,c (z) be defined by Equation (5). If p, b, c, ∈ C, k 1 = p + b+2 2 and where M is the solution the equation cos(M) = M and with then T p,b,c (z) > 0 for all z ∈ U.
Proof. Suppose f ∈ A. Using |z 1 + z 2 | ≤ |z 1 | + |z 2 |, the inequalities 3 2 n ≥ 3 2 n and (k) n ≥ k n (n ∈ N) for |z| < 1, n−1 (as |a n | ≤ n for n ≥ 2 by Theorem 1) Obviously, the restriction on k is k > |c| 4 . On the other hand, using |z 1 − z 2 | ≥ ||z 1 | − |z 2 ||, the inequalities 3 2 n ≥ 3 2 n and (k) n ≥ k n (n ∈ N) for |z| < 1, where the restriction on k is k > |c| . Combining Equations (8) and (9) gives Next, to determine the values of k 1 such that it satisfies where M is the solution of the equation cos(M) = M, the inequality can be written as Using Proposition 3 to find F(x), Putting |c| where β is (6), and since cos(M) = M gives M ≈ 0.7390851332, the zeros of F are The real roots x 3,4 are given by |c|, which upon simplification, results in the following approximation: Thus, it can be concluded that F(k 1 ) > 0 for k 1 < x 3 or k 1 > x 4 . Since k > |c| is the range of values of k 1 that satisfies Equation (11). As T p,b,c is an analytic function, then, by

Remark 1.
Obviously from Lemma 2, with c and k satisfying the constraints given in Theorem 2, the function T p,b,c is univalent in U.
Theorem 3. Let f ∈ A and T p,b,c (z) be defined by Equation (5). If p, b, c, ∈ C, k 2 = p + b+2 2 and then T p,b,c is starlike in U.
Proof. Suppose f ∈ A. Similar to the previous result, the aim is to seek constraints on k 2 such that T p,b,c is starlike in U. Hence, replacing k 1 with k 2 and M with 1 in Equation (11) gives the following: Once again, using Proposition 3 to find the zeros of G(y), the zeros of G are The real roots y 3,4 are given by which, upon simplification, results in the following approximation: |c| ≈ 0.00958649|c|, Thus, it can be concluded that G(k 2 ) > 0 for k 2 < y 3 or k 2 > y 4 . Since k > |c| is the range of values of k 2 that satisfies Equation (14) which, in turn, implies that T p,b,c is starlike in U by Lemma 3 when α = β = 0.
Theorem 4. Let f ∈ A and T p,b,c (z) defined by Equation (5). If p, b, c ∈ C, k 3 = p + b+2 2 and k 3 > Proof. Suppose f ∈ A. Using |z 1 + z 2 | ≤ |z 1 | + |z 2 |, the inequalities 3 2 n > n(n+1) 2 and (k) n ≥ k n (n ∈ N) for |z| < 1, n(n − 1)a n z n−1 n−1 (as |a n | ≤ n for n ≥ 2 by Theorem 1) Obviously, the restriction on k is k > |c| 4 . Using |z 1 − z 2 | ≥ ||z 1 | − |z 2 ||, the inequalities 3 2 n > 3(n+1) 4 and (k) n ≥ k n (n ∈ N) for |z| < 1, where the restriction on k is k > 7+2 √ 7 12 |c|. Comparing Equations (16) and (17) gives the following: zT p,b,c (z) T p,b,c (z) = zT p,b,c (z) 1 T p,b,c (z) < 48k|c| − 6|c| 2 48k 2 − 56k|c| + 7|c| 2 . function T p,b,c are in agreement since k 2 < k 3 and all convex functions are starlike. Secondly, the same goes for the function to be univalent and convex since k 1 < k 3 and all convex functions are univalent for z ∈ U. However, since the bounds obtained in k 1 and k 2 are not necessarily sharp, the relationship between k 1 and k 2 does not imply the outcome that all starlike functions are univalent in the unit disk. This is probably due to the fact that the approach in establishing Theorem 3 used Lemma 3 (a necessary condition) as opposed to using Proposition 1 (necessary and sufficient). This allows for further research to explore better methods, such as using Proposition 1, to achieve better bounds. Nevertheless, the results attained in this paper are in adherence with the results in Reference [26]. Conducting further research in the future will hopefully produce a sharper result.