Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 954513, 6 pages http://dx.doi.org/10.1155/2013/954513 Research Article Starlikeness and Convexity of Generalized Struve Functions Nihat Yagmur1 and Halit Orhan2 1 2 Department of Mathematics, Faculty of Science and Art, Erzincan University, 24000 Erzincan, Turkey Department of Mathematics, Faculty of Science, Ataturk University, 25240 Erzurum, Turkey Correspondence should be addressed to Nihat Yagmur; nhtyagmur@gmail.com Received 3 December 2012; Accepted 14 January 2013 Academic Editor: Mustafa Bayram Copyright © 2013 N. Yagmur and H. Orhan. 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. We give sufficient conditions for the parameters of the normalized form of the generalized Struve functions to be convex and starlike in the open unit disk. 1. Introduction and Preliminary Results It is well known that the special functions (series) play an important role in geometric function theory, especially in the solution by de Branges of the famous Bieberbach conjecture. The surprising use of special functions (hypergeometric functions) has prompted renewed interest in function theory in the last few decades. There is an extensive literature dealing with geometric properties of different types of special functions, especially for the generalized, Gaussian, and Kummer hypergeometric functions and the Bessel functions. Many authors have determined sufficient conditions on the parameters of these functions for belonging to a certain class of univalent functions, such as convex, starlike, and close-to-convex functions. More information about geometric properties of special functions can be found in [1–9]. In the present investigation our goal is to determine conditions of starlikeness and convexity of the generalized Struve functions. In order to achieve our goal in this section, we recall some basic facts and preliminary results. Let A denote the class of functions π normalized by π (π§) = π§ + ∑ ππ π§π , π≥2 (1) which are analytic in the open unit disk U = {π§ : |π§| < 1}. Let S denote the subclass of A which are univalent in U. Also let S∗ (πΌ) and C(πΌ) denote the subclasses of A consisting of functions which are, respectively, starlike and convex of order πΌ in U (0 ≤ πΌ < 1). Thus, we have (see, for details, [10]), S∗ (πΌ) = {π : π ∈ A and R ( π§πσΈ (π§) ) > πΌ, π (π§) (π§ ∈ U; 0 ≤ πΌ < 1) } , π§πσΈ σΈ (π§) C (πΌ) = {π : π ∈ A and R (1 + σΈ ) > πΌ, π (π§) (2) (π§ ∈ U; 0 ≤ πΌ < 1) } , where, for convenience, S∗ (0) = S∗ , C (0) = C. (3) We remark that, according to the Alexander duality theorem [11], the function π : U → C is convex of order πΌ, where 0 ≤ πΌ < 1 if and only if π§ → π§πσΈ (π§) is starlike of order πΌ. We note that every starlike (and hence convex) function of the form (1) is univalent. For more details we refer to the papers in [10, 12, 13] and the references therein. Denote by S∗1 (πΌ), where πΌ ∈ [0, 1), the subclass of S∗ (πΌ) consisting of functions π for which σ΅¨σ΅¨ σΈ σ΅¨σ΅¨ σ΅¨σ΅¨ π§π (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ < 1 − πΌ, − 1 σ΅¨σ΅¨ π (π§) σ΅¨σ΅¨σ΅¨ σ΅¨ (4) 2 Abstract and Applied Analysis for all π§ ∈ U. A function π is said to be in C1 (πΌ) if π§πσΈ ∈ S∗1 (πΌ). Lemma 1 (see [4]). If π ∈ A and σ΅¨σ΅¨ σΈ π½ σ΅¨σ΅¨σ΅¨1−π½ σ΅¨σ΅¨σ΅¨ π§πσΈ σΈ (π§) σ΅¨σ΅¨σ΅¨π½ σ΅¨σ΅¨ π§π (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ < (1 − πΌ)1−2π½ (1 − 3πΌ + πΌ2 ) , σ΅¨σ΅¨ − 1 σ΅¨ σ΅¨ σ΅¨ σΈ σ΅¨σ΅¨ σ΅¨σ΅¨ π (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ π (π§) 2 σ΅¨ σ΅¨ σ΅¨ σ΅¨ (5) which differs from (8) only in the coefficient of π€. The particular solution of (10) is called the modified Struve function of order π and is defined by the formula [15, page 353] πΏ π (π§) = −ππ−πππ/2 π»π (ππ§) 1 π§ 2π+π+1 , ( ) π≥0 Γ (π + 3/2) Γ (π + π + 3/2) 2 =∑ for some fixed πΌ ∈ [0, 1/2] and π½ ≥ 0, and for all π§ ∈ U, then π is in the class S∗ (πΌ). Lemma 2 (see [14]). Let πΌ ∈ [0, 1). A sufficient condition for π(π§) = π§ + ∑π≥2 ππ π§π to be in S∗1 (πΌ) and C1 (πΌ), respectively, is that σ΅¨ σ΅¨ ∑ (π − πΌ) σ΅¨σ΅¨σ΅¨ππ σ΅¨σ΅¨σ΅¨ ≤ 1 − πΌ, π≥2 (6) σ΅¨ σ΅¨ ∑ π (π − πΌ) σ΅¨σ΅¨σ΅¨ππ σ΅¨σ΅¨σ΅¨ ≤ 1 − πΌ, π≥2 respectively. Lemma 3 (see [14]). Let πΌ ∈ [0, 1). Suppose that π(π§) = π§ − ∑π≥2 ππ π§π , ππ ≥ 0. Then a necessary and sufficient condition for π to be in S∗1 (πΌ) and C1 (πΌ), respectively, is that σ΅¨ σ΅¨ ∑ (π − πΌ) σ΅¨σ΅¨σ΅¨ππ σ΅¨σ΅¨σ΅¨ ≤ 1 − πΌ, π≥2 (7) σ΅¨ σ΅¨ ∑ π (π − πΌ) σ΅¨σ΅¨σ΅¨ππ σ΅¨σ΅¨σ΅¨ ≤ 1 − πΌ, S∗1 (πΌ) ∗ ∗ respectively. In addition π ∈ ⇔ π ∈ S (πΌ), π ∈ C1 (πΌ) ⇔ π ∈ C(πΌ), and π ∈ S ⇔ π ∈ S. Let us consider the second-order inhomogeneous differential equation [15, page 341] 4(π§/2)π+1 √πΓ (π + 1/2) (8) whose homogeneous part is Bessel’s equation, where π is an unrestricted real (or complex) number. The function π»π , which is called the Struve function of order π, is defined as a particular solution of (8). This function has the form π§ 2π+π+1 (−1)π , ( ) π»π (π§) = ∑ π≥0 Γ (π + 3/2) Γ (π + π + 3/2) 2 ∀π§ ∈ C. (9) The differential equation π§2 π€σΈ σΈ (π§) + π§π€σΈ (π§) − (π§2 + π2 ) π€ (π§) = Now, let us consider the second-order inhomogeneous linear differential equation [16], π§2 π€σΈ σΈ (π§) + ππ§π€σΈ (π§) + [ππ§2 − π2 + (1 − π) π] π€ (π§) = (12) 4(π§/2)π+1 , √πΓ (π + π/2) where π, π, π ∈ C. If we choose π = 1 and π = 1, then we get (8), and if we choose π = 1 and π = −1, then we get (10). So this generalizes (8) and (10). Moreover, this permits to study the Struve and modified Struve functions together. A particular solution of the differential equation (12), which is denoted by π€π,π,π (π§), is called the generalized Struve function [16] of order π. In fact we have the following series representation for the function π€π,π,π (π§): π€π,π,π (π§) π§ 2π+π+1 (−1)π ππ , ( ) π≥0Γ (π+3/2) Γ (π+π+(π+2) /2) 2 ∀π§ ∈ C. (13) Although the series defined in (13) is convergent everywhere, the function π€π,π,π (π§) is generally not univalent in U. Now, consider the function π’π,π,π (π§) defined by the transformation 2. Starlikeness and Convexity of Generalized Struve Functions π§2 π€σΈ σΈ (π§) + π§π€σΈ (π§) + (π§2 − π2 ) π€ (π§) = (11) =∑ π≥2 ∀π§ ∈ C. π’π,π,π (π§) = 2π √πΓ (π + π + 2 (−π−1)/2 π€π,π,π (√π§) . (14) )π§ 2 By using the Pochhammer (or Appell) symbol, defined in terms of Euler’s gamma functions, by (π)π = Γ(π + π)/Γ(π) = π(π + 1) ⋅ ⋅ ⋅ (π + π − 1), we obtain for the function π’π,π,π (π§) the following form: (−π/4)π π π§ π≥0 (3/2)π (π )π π’π,π,π (π§) = ∑ 2 (15) π = π0 + π1 π§ + π2 π§ + ⋅ ⋅ ⋅ + ππ π§ + ⋅ ⋅ ⋅ , where π = π + (π + 2)/2 =ΜΈ 0, −1, −2, . . .. This function is analytic on C and satisfies the second-order inhomogeneous differential equation 4π§2 π’σΈ σΈ (π§) + 2 (2π + π + 3) π§π’σΈ (π§) 4(π§/2)π+1 , √πΓ (π + 1/2) (10) + (ππ§ + 2π + π) π’ (π§) = 2π + π. (16) Μ Orhan and Yagmur [16] have determined various sufficient Abstract and Applied Analysis 3 conditions for the parameters π, π, and π such that the functions π’π,π,π (π§) or π§ → π§π’π,π,π (π§) to be univalent, starlike, convex, and close to convex in the open unit disk. In this section, our aim is to complete the above-mentioned results. For convenience, we use the notations: π€π,π,π (π§) = π€π (π§) and π’π,π,π (π§) = π’π (π§). Proposition 4 (see [16]). If π, π, π ∈ C, π = π + (π + 2)/2 =ΜΈ 1, 0, −1, −2, . . ., and π§ ∈ C, then for the generalized Struve function of order π the following recursive relations hold: (i) π§π€π−1 (π§) + ππ§π€π+1 (π§) 2(π§/2)π+1 /√πΓ(π ); = (2π − 3)π€π (π§) + Theorem 7. If for πΌ ∈ [0, 1/2] and π =ΜΈ 0 one has σ΅¨σ΅¨ π§π’σΈ (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π+1 σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π’ (π§) σ΅¨σ΅¨σ΅¨ < 1 − πΌ, σ΅¨σ΅¨ σ΅¨σ΅¨ π+1 for all π§ ∈ U, then π’π + 2π§π’πσΈ is starlike of order πΌ with respect to 1. Proof. Theorem 5 implies that π§π’π+1 ∈ S∗ (πΌ). On the other hand, the part (v) of Proposition 4 yields π’π (π§) + 2π§π’πσΈ (π§) = (ii) π§π€πσΈ (π§) + (π + π − 1)π€π (π§) = π§π€π−1 (π§); (iii) π§π€πσΈ (π§) + ππ§π€π+1 (π§) = ππ€π (π§) + 2(π§/2)π+1 /√πΓ(π ); σΈ (iv) [π§−π π€π (π§)] = −ππ§−π π€π+1 (π§) + 1/2π √πΓ(π ); (v) π’π (π§) + 2π§π’πσΈ (π§) + (ππ§/2π )π’π+1 (π§) = 1. (21) −π π§π’ (π§) + 1. 2π π+1 (22) Since the addition of any constant and the multiplication by a nonzero quantity do not disturb the starlikeness. This completes the proof. Theorem 5. If the function π’π , defined by (15), satisfies the condition Lemma 8. If π, π ∈ R, π ∈ C, and π = π + (π + 2)/2 such that π > |π|/2, then the function π’π : U → C satisfies the following inequalities: σ΅¨σ΅¨ π§π’σΈ (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ < 1 − πΌ, σ΅¨σ΅¨σ΅¨ π’π (π§) σ΅¨σ΅¨σ΅¨ σ΅¨ σ΅¨ 6π 6π − 2 |π| σ΅¨σ΅¨ σ΅¨ ≤ σ΅¨σ΅¨σ΅¨π’π (π§)σ΅¨σ΅¨σ΅¨σ΅¨ ≤ , 6π − |π| 6π − |π| (23) 2 |π| σ΅¨ |π| (2π − |π|) σ΅¨σ΅¨ σΈ ≤ σ΅¨σ΅¨σ΅¨π’π (π§)σ΅¨σ΅¨σ΅¨σ΅¨ ≤ , 3π (4π − |π|) 3 (4π − |π|) (24) σ΅¨σ΅¨ σΈ σΈ σ΅¨σ΅¨ |π|2 σ΅¨σ΅¨π§π’π (π§)σ΅¨σ΅¨ ≤ σ΅¨ 4π (4π − |π|) . σ΅¨ (25) (17) where πΌ ∈ [0, 1/2] and π§ ∈ U, then π§π’π ∈ S∗ (πΌ). Proof. If we define the function π : U → C by π(π§) = π§π’π (π§) for π§ ∈ U. The given condition becomes σ΅¨σ΅¨ σ΅¨σ΅¨ σΈ σ΅¨σ΅¨ σ΅¨σ΅¨ π§π (π§) σ΅¨σ΅¨ < 1 − πΌ, σ΅¨σ΅¨ − 1 σ΅¨σ΅¨ σ΅¨σ΅¨ π (π§) σ΅¨ σ΅¨ (18) where π§ ∈ U. By taking π½ = 0 in Lemma 1, we thus conclude from the previous inequality that π ∈ S∗ (πΌ), which proves Theorem 5. Proof. We first prove the assertion (23) of Lemma 8. Indeed, by using the well-known triangle inequality: σ΅¨σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨σ΅¨π§1 + π§2 σ΅¨σ΅¨σ΅¨ ≤ σ΅¨σ΅¨σ΅¨π§1 σ΅¨σ΅¨σ΅¨ + σ΅¨σ΅¨σ΅¨π§2 σ΅¨σ΅¨σ΅¨ , (26) Theorem 6. If the function π’π , defined by (15), satisfies the condition and the inequalities (3/2)π ≥ (3/2)π , (π )π ≥ π π (π ∈ N), we have σ΅¨σ΅¨ π§π’σΈ σΈ (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨σ΅¨ 1 − 3πΌ/2 + πΌ2 σ΅¨σ΅¨ σ΅¨σ΅¨ < , σ΅¨σ΅¨σ΅¨ π’πσΈ (π§) σ΅¨σ΅¨σ΅¨ 1−πΌ σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ (−π/4)π π σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨π’π (π§)σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅¨σ΅¨1 + ∑ π§ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ π≥1 (3/2)π (π )π σ΅¨ σ΅¨ (19) where πΌ ∈ [0, 1/2] and π§ ∈ U, then it is starlike of order πΌ with respect to 1. Proof. Define the function β : U → C by β(π§) = [π’π (π§) − π0 ]/π1 . Then β ∈ A and σ΅¨ σ΅¨σ΅¨ σΈ σΈ σ΅¨ σ΅¨ σΈ σΈ σ΅¨σ΅¨ π§β (π§) σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨σ΅¨σ΅¨ π§π’π (π§) σ΅¨σ΅¨σ΅¨σ΅¨ 1 − 3πΌ/2 + πΌ2 σ΅¨σ΅¨ σΈ σ΅¨σ΅¨ = σ΅¨σ΅¨ σΈ , σ΅¨σ΅¨ β (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ π’ (π§) σ΅¨σ΅¨σ΅¨σ΅¨ < 1−πΌ σ΅¨ σ΅¨ σ΅¨ π σ΅¨ (20) where πΌ ∈ [0, 1/2] and π§ ∈ U. By taking π½ = 1 in Lemma 1, we deduce that β ∈ S∗ (πΌ); that is, β is starlike of order πΌ with respect to the origin for πΌ ∈ [0, 1/2]. So, Theorem 6 follows from the definition of the function β, because π0 = 1. ≤ 1 + ∑( π≥1 π |−π/4| ) (3/2) π |π| |π| π−1 =1+ ∑( ) 6π π≥1 6π = 6π , 6π − |π| (π > (27) |π| ). 6 Similarly, by using reverse triangle inequality: σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨π§1 − π§2 σ΅¨σ΅¨σ΅¨ ≥ σ΅¨σ΅¨σ΅¨σ΅¨σ΅¨σ΅¨π§1 σ΅¨σ΅¨σ΅¨ − σ΅¨σ΅¨σ΅¨π§2 σ΅¨σ΅¨σ΅¨σ΅¨σ΅¨σ΅¨ , (28) 4 Abstract and Applied Analysis and the inequalities (3/2)π ≥ (3/2)π , (π )π ≥ π π (π ∈ N), then we get σ΅¨ σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ (−π/4)π π σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨π’π (π§)σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅¨σ΅¨1 + ∑ π§ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ π≥1 (3/2)π (π )π σ΅¨ σ΅¨ ≥ 1 − ∑( π≥1 =1− = |−π/4| ) (3/2) π π (29) π−1 |π| |π| ∑( ) 6π π≥1 6π 6π − 2 |π| , 6π − |π| (π > which is positive if π > |π|/3. In order to prove assertion (24) of Lemma 8, we make use of the well-known triangle inequality and the inequalities (3/2)π ≥ (3/2)π, (π )π ≥ π π (π ∈ N), and we obtain σ΅¨ σ΅¨ π(−π/4)π π−1 σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σΈ σ΅¨σ΅¨ σ΅¨σ΅¨σ΅¨ π§ σ΅¨σ΅¨ σ΅¨σ΅¨σ΅¨π’π (π§)σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅¨σ΅¨ ∑ σ΅¨σ΅¨ σ΅¨σ΅¨π≥1 (3/2)π (π )π σ΅¨ = = 2 |π| |π| ∑( ) 3 4π π≥1 4π (30) π−1 2 |π| , 3 (4π − |π|) (π > Similarly, by using the reverse triangle inequality and the inequalities (3/2)π ≥ (3/2)π, (π )π ≥ π π (π ∈ N), we have σ΅¨ σ΅¨ π(−π/4)π π−1 σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨ σΈ σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨π’π (π§)σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨σ΅¨σ΅¨ ∑ σ΅¨ σ΅¨ σ΅¨σ΅¨ (3/2)π (π )π π§ σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨π≥1 σ΅¨ = |π| (2π − |π|) , 3π (4π − |π|) (π > |π|2 , 4π (4π − |π|) (32) (π > |π| ). 4 Thus, the proof of Lemma 8 is completed. σ΅¨σ΅¨ π§π’σΈ σΈ (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π 3 |π| σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π’σΈ (π§) σ΅¨σ΅¨σ΅¨ ≤ 4 (2π − |π|) . σ΅¨σ΅¨ σ΅¨σ΅¨ π (33) 7 So, for π > ( ) |π|, we have 8 σ΅¨σ΅¨ π§π’σΈ σΈ (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π’σΈ (π§) σ΅¨σ΅¨σ΅¨ < 1. σ΅¨σ΅¨ σ΅¨σ΅¨ π (34) This shows π’π (π§) is convex in U. (ii) If we let π(π§) = π§π’π (π§) and β(π§) = π§π’π (π§2 ), then π (π§2 ) π§ = 2π √πΓ (π ) π§−π π€π,π,π (π§) , π§2 π’πσΈ (π§2 ) π§2 πσΈ (π§2 ) π§βσΈ (π§) − 1 = 2[ − 1] = 2 , β (π§) π (π§2 ) π’π (π§2 ) (35) so that σ΅¨σ΅¨ σΈ σ΅¨σ΅¨ σ΅¨σ΅¨ π§β (π§) σ΅¨σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ < 1, − 1 σ΅¨σ΅¨ β (π§) σ΅¨σ΅¨σ΅¨ σ΅¨ ∀π§ ∈ U, (36) σ΅¨σ΅¨ 2 σΈ 2 σ΅¨σ΅¨ σ΅¨σ΅¨ π§ π’π (π§ ) σ΅¨σ΅¨ 1 σ΅¨σ΅¨ σ΅¨σ΅¨ < , σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ π’π (π§2 ) σ΅¨σ΅¨σ΅¨ 2 σ΅¨ σ΅¨ ∀π§ ∈ U. (37) if and only if which is positive if π > |π|/2. We now prove assertion (25) of Lemma 8 by using again the triangle inequality and the inequalities (3/2)π ≥ π(π − 1), (π )π ≥ π π (π ∈ N), and we arrive at the following: σ΅¨ σ΅¨ σ΅¨σ΅¨ σΈ σΈ σ΅¨σ΅¨ σ΅¨σ΅¨σ΅¨σ΅¨ π (π − 1) (−π/4)π π−1 σ΅¨σ΅¨σ΅¨σ΅¨ σ΅¨σ΅¨π§π’π (π§)σ΅¨σ΅¨ = σ΅¨σ΅¨ ∑ π§ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨ σ΅¨σ΅¨ σ΅¨π≥2 (3/2)π (π )π σ΅¨ = (iii) If π > ((11 + √41)/24)|π| − 1, then the function π§ → π’π (π§) + 2π§π’πσΈ (π§) is starlike of order 1/2 with respect to 1 for all π§ ∈ U. (31) |π| ), 4 |π| |π| π−1 ≤ ∑( ) 4π π≥2 4π (ii) If π > ((11 + √41)/24)|π|, then π§π’π (π§) is starlike of order 1/2 in U, and consequently the function π§ → π§−π π€π (π§) is starlike in U. β (π§) = |π| ). 4 |π| 2 |π| 2 |π| π−1 ≥ − ( ) ∑( ) 6π 3 4π π≥2 4π (i) If π > (7/8)|π|, then π’π (π§) is convex in U. Proof. (i) By combining the inequalities (24) with (25), we immediately see that |π| ), 6 2 |π| π ≤ ∑( ) 3 π≥1 4π Theorem 9. If π, π ∈ R, π ∈ C and π = π + (π + 2)/2, then the following assertions are true. It follows that π§π’π (π§) is starlike of order 1/2 if (37) holds. From (24) and (23), we have 2 |π| σ΅¨σ΅¨ 2 σΈ 2 σ΅¨σ΅¨ σ΅¨σ΅¨π§ π’π (π§ )σ΅¨σ΅¨ ≤ σ΅¨ 3 (4π − |π|) , σ΅¨ 6π − 2 |π| σ΅¨σ΅¨ σ΅¨ ≤ σ΅¨σ΅¨σ΅¨π’π (π§2 )σ΅¨σ΅¨σ΅¨σ΅¨ , 6π − |π| (π > (π > |π| ), 4 |π| ), 3 (38) (39) respectively. By combining the inequalities (38) with (39), we see that σ΅¨σ΅¨ 2 σΈ 2 σ΅¨σ΅¨ σ΅¨σ΅¨ π§ π’π (π§ ) σ΅¨σ΅¨ |π| (6π − |π|) σ΅¨σ΅¨ ≤ σ΅¨σ΅¨ , σ΅¨ σ΅¨σ΅¨ σ΅¨σ΅¨ π’π (π§2 ) σ΅¨σ΅¨σ΅¨ 3 (3π − |π|) (4π − |π|) σ΅¨ σ΅¨ (40) Abstract and Applied Analysis 5 where π > |π|/3, and the above bound is less than or equal to 1/2 if and only if π > ((11 + √41)/24)|π|. It follows that π§π’π is starlike of order 1/2 in U and π§−π π€π,π,π is starlike in U. (iii) The part (ii) of Theorem 9 implies that for π > ((11 + √41)/24)|π|−1, the function π§ → π§π’π+1 (π§) is starlike of order 1/2 in U. On the other hand, the part (v) of Proposition 4 yields π’π (π§) + 2π§π’πσΈ (π§) = −π π§π’ (π§) + 1. 2π π+1 with (plots): π§: = cos(π‘) + πΌ ∗ sin(π‘): Complexplot ([sin(π§)], π‘ = 0..2 ∗ π) ; 1 0.5 (41) So the function π§ → π’π (π§) + 2π§π’πσΈ (π§) is starlike of order 1/2 with respect to 1 for all π§ ∈ U. This completes the proof. −0.8 −0.6 −0.4 (iii) If π > (−49 + √41)/24, then the function π§ → Hπ (π§1/2 ) + 2π§HσΈ π (π§1/2 ) is starlike of order 1/2 with respect to 1 for all π§ ∈ U. Modified Struve Functions. Choosing π = 1 and π = −1, we obtain the differential equation (10) and the modified Struve function of order π, defined by (11). For the function Lπ : U → C defined by Lπ (π§) = 2π √πΓ(π + 3/2)π§−π−1 πΏ π (π§) = π’π,1,−1 (π§2 ), where πΏ π stands for the modified Struve function of order π. The properties are same like for function Hπ , because we have |π| = 1. More precisely, we have the following results. Corollary 11. The following assertions are true. 0.4 U. We have the image domain of π(π§) = sin π§ illustrated by Figure 1. Theorem 13. If πΌ ∈ [0, 1), π < 0, and π > 0, then a sufficient condition for π§π’π to be in S∗1 (πΌ) is π’πσΈ (1) (42) ≤ 2. 1−πΌ Moreover, (42) is necessary and sufficient for π(π§) = π§[2 − π’π (π§)] to be in S∗1 (πΌ). π’π (1) + Proof. Since π§π’π (π§) = π§+∑π≥2 ππ−1 π§π , according to Lemma 2, we need only show that ∑ (π − πΌ) ππ−1 ≤ 1 − πΌ. π≥2 (43) We notice that ∑ (π − πΌ) ππ−1 = ∑ (π − 1) ππ−1 + ∑ (1 − πΌ) ππ−1 π≥2 π≥2 π≥2 (π − 1) (−π/4)π−1 + (1 − πΌ) [π’π (1) − 1] π≥2 (3/2)π−1 (π )π−1 =∑ (ii) If π > (−25 + √41)/24, then π§Lπ (π§1/2 ) is starlike of order 1/2 in U, and consequently the function π§ → π§−π πΏ π (π§) is starlike in U. = π’πσΈ (1) + (1 − πΌ) [π’π (1) − 1] . Example 12. If we take π = −1/2, then from part (ii) of Corollary 10, the function π§ → π§1/2 π»−1/2 (π§) = √2/π sin π§ is starlike in U. So the function π(π§) = sin π§ is also starlike in 0.8 Figure 1: π(π§) = sin π§. (i) If π > −5/8, then Lπ (π§1/2 ) is convex in U. (iii) If π > (−49 + √41)/24, then the function π§ → Lπ (π§1/2 ) + 2π§LσΈ π (π§1/2 ) is starlike of order 1/2 with respect to 1 for all π§ ∈ U. 0.6 −1 Corollary 10. Let Hπ : U → C be defined by Hπ (π§) = 2π √πΓ(π + 3/2)π§−π−1 π»π (π§) = π’π,1,1 (π§2 ), where π»π stands for the Struve function of order π. Then the following assertions are true. (ii) If π > (−25 + √41)/24, then π§Hπ (π§1/2 ) is starlike of order 1/2 in U, and consequently the function π§ → π§−π π»π (π§) is starlike in U. 0.2 −0.5 Struve Functions. Choosing π = π = 1, we obtain the differential equation (8) and the Struve function of order π, defined by (9), satisfies this equation. In particular, the results of Theorem 9 are as follows. (i) If π > −5/8, then Hπ (π§1/2 ) is convex in U. 0 −0.2 (44) This sum is bounded above by 1 − πΌ if and only if (42) holds. Since π§ [2 − π’π (π§)] = π§ − ∑ ππ−1 π§π , π≥2 (45) the necessity of (42) for π to be in S∗1 (πΌ) follows from Lemma 3. 6 Abstract and Applied Analysis Corollary 14. If π < 0 and π > 0, then a sufficient condition for π§π’π to be in S∗1 (1/2) is 2π (46) π’π+1 (1) ≤ − . π Moreover, (46) is necessary and sufficient for π(π§) = π§[2 − π’π (π§)] to be in S∗1 (1/2). Proof. For πΌ = 1/2, the condition (42) becomes π’π (1) + 2π’πσΈ (1) ≤ 2. From the part (v) of Proposition 4 we get π’π (1) + 2π§π’πσΈ (1) = 1 − π π’ (1) . 2π π+1 (47) So, π’π (1) + 2π’πσΈ (1) ≤ 2 if and only if 1 − (π/2π )π’π+1 (1) ≤ 2. Thus, we obtain the condition (46). Furthermore, from the proof of Theorem 13, we have necessary and sufficient condition for π(π§) = π§[2 − π’π (π§)] to be in S∗1 (1/2). Theorem 15. If πΌ ∈ [0, 1), π < 0 and π > 0, then a sufficient condition for π§π’π to be in C1 (πΌ) is π’πσΈ σΈ (1) + (3 − πΌ) π’πσΈ (1) + (1 − πΌ) π’π (1) − 2πΌ ≤ 2. (48) Moreover, (48) is necessary and sufficient for π(π§) = π§[2 − π’π (π§)] to be in C1 (πΌ). Proof. In view of Lemma 2, we need only to show that ∑ π (π − πΌ) ππ−1 ≤ 1 − πΌ. π≥2 (49) If we let π(π§) = π§π’π (π§), we notice that ∑ π (π − πΌ) ππ−1 π≥2 = ∑ π (π − 1) ππ−1 + (1 − πΌ) ∑ πππ−1 π≥2 π≥2 = πσΈ σΈ (1) + (1 − πΌ) [πσΈ (1) − 1] = π’πσΈ σΈ (1) + (3 − πΌ) π’πσΈ (1) + (1 − πΌ) π’π (1) − 1 + πΌ. (50) This sum is bounded above by 1 − πΌ if and only if (48) holds. Lemma 3 implies that (48) is also necessary for π to be in C1 (πΌ). Theorem 16. If π < 0, π > 0, and π’π (1) ≤ 2, then π§ ∫0 π’π (π‘)ππ‘ ∈ S∗ . Proof. Since π§ π ππ π+1 π§ = π§ + ∑ π−1 π§π , π + 1 π≥0 π≥2 π ∫ π’π (π‘) ππ‘ = ∑ 0 (51) we note that ∑π π≥2 ππ−1 = ∑ ππ−1 = π’π (1) − 1 ≤ 1, π π≥2 if and only if π’π (1) ≤ 2. (52) Acknowledgment The present paper was supported by Ataturk University Rectorship under The Scientific and Research Project of Ataturk University, Project no: 2012/173. References [1] A. Baricz, “Geometric properties of generalized Bessel functions,” Publicationes Mathematicae Debrecen, vol. 73, no. 1-2, pp. 155–178, 2008. [2] E. Deniz, H. Orhan, and H. M. Srivastava, “Some sufficient conditions for univalence of certain families of integral operators involving generalized Bessel functions,” Taiwanese Journal of Mathematics, vol. 15, no. 2, pp. 883–917, 2011. [3] E. Deniz, “Convexity of integral operators involving generalized Bessel functions,” Integral Transforms and Special Functions, vol. 1, pp. 1–16, 2012. [4] S. Owa and H. M. Srivastava, “Univalent and starlike generalized hypergeometric functions,” Canadian Journal of Mathematics, vol. 39, no. 5, pp. 1057–1077, 1987. [5] V. Selinger, “Geometric properties of normalized Bessel functions,” Pure Mathematics and Applications, vol. 6, no. 2-3, pp. 273–277, 1995. [6] H. M. Srivastava, D.-G. Yang, and N.-E. Xu, “Subordinations for multivalent analytic functions associated with the DziokSrivastava operator,” Integral Transforms and Special Functions, vol. 20, no. 7-8, pp. 581–606, 2009. [7] H. M. Srivastava, “Generalized hypergeometric functions and associated families of π-uniformly convex and π-starlike functions,” General Mathematics, vol. 15, no. 3, pp. 201–226, 2007. [8] H. M. Srivastava, G. Murugusundaramoorthy, and S. Sivasubramanian, “Hypergeometric functions in the parabolic starlike and uniformly convex domains,” Integral Transforms and Special Functions, vol. 18, no. 7-8, pp. 511–520, 2007. [9] D. RaΜducanu and H. M. Srivastava, “A new class of analytic functions defined by means of a convolution operator involving the Hurwitz-Lerch zeta function,” Integral Transforms and Special Functions, vol. 18, no. 11-12, pp. 933–943, 2007. [10] P. L. Duren, Univalent Functions, vol. 259 of Fundamental Principles of Mathematical Sciences, Springer, New York, NY, USA, 1983. [11] J. W. Alexander, “Functions which map the interior of the unit circle upon simple regions,” Annals of Mathematics, vol. 17, no. 1, pp. 12–22, 1915. [12] W. Kaplan, “Close-to-convex schlicht functions,” The Michigan Mathematical Journal, vol. 1, p. 169–185 (1953), 1952. [13] S. Ozaki, “On the theory of multivalent functions,” Science Reports of the Tokyo Bunrika Daigaku, vol. 2, pp. 167–188, 1935. [14] H. Silverman, “Univalent functions with negative coefficients,” Proceedings of the American Mathematical Society, vol. 51, pp. 109–116, 1975. [15] S. Zhang and J. Jin, Computation of Special Functions, A WileyInterscience Publication, John Wiley & Sons, New York, NY, USA, 1996. [16] H. Orhan and N. YagΜmur, “Geometric properties of generalized Struve functions,” in The International Congress in Honour of Professor Hari M. Srivastava, Bursa, Turkey, August, 2012. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014