Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 22 https://internationalpubls.com Some Applications of Fractional Derivative Operator B.D. Karande1, Arun B. Damkondwar2 1Department of Mathematics, Udaygiri Mahavidyalaya, Udgir, Dis: Latur, M.S, India. e-mail : bdkarande2@gmail.com 2 Department of Mathematics, Government Polytechnic, Hingoli - 431 513, Maharashtra, India. e-mail : arundigras@gmail.com Coresponding Author : Arun B. Damkondwar Article History: Received: 18-01-2024 Revised: 30-03-2024 Accepted: 22-04-2024 Abstract: Introduction: The aim of this paper is to introduce a new subclass TS(Ο‰, Οƒ, Ο‚, Ο‘) of univalent functions with negative coefficients related to fractional derivative operator in the unit disk π•Œ = {z ∈ β„‚: |z| < 1}. We obtain basic properties like coefficient inequality, distortion and covering theorem, radii of starlikeness, convexity and close-to-convexity, extreme points, Hadamard product, and closure theorems for functions belonging to our class Keywords: Univalent , derivative opertator , Starlike, Extreme points, Hadamard product. 1. Introduction Let 𝐴 signify the class of all functions 𝑒(𝑧) of the type 𝑒(𝑧) = 𝑧 + βˆ‘ π‘Žπ‘› ∞ 𝑛=2 𝑧𝑛 (1.1) in the open unit disc π•Œ = {𝑧 ∈ β„‚: |𝑧| < 1}. Let 𝑆 be the subclass of 𝐴 consisting of univalent functions and satisfy the following usual normalization condition 𝑒(0) = 𝑒′(0) βˆ’ 1 = 0. We denote by 𝑆 the subclass of 𝐴 consisting of functions 𝑒(𝑧) which are all univalent in π•Œ. A function 𝑒 ∈ 𝐴 is a starlike function of the order π‘š, 0 ≀ π‘š < 1, if it satisfy β„œ { 𝑧𝑒′(𝑧) 𝑒(𝑧) } > π‘š, 𝑧 ∈ π•Œ. (1.2) We denote this class with π‘†βˆ—(π‘š) . A function 𝑒 ∈ 𝐴 is a convex function of the order π‘š, 0 ≀ π‘š < 1, if it fulfil β„œ {1 + 𝑧𝑒″(𝑧) 𝑒′(𝑧) } > π‘š, 𝑧 ∈ π•Œ. (1.3) We denote this class with 𝐾(π‘š). Note that π‘†βˆ—(0) = π‘†βˆ— and 𝐾(0) = 𝐾 are the usual classes of starlike and convex functions in π•Œ respectively. Let 𝑇 denote the class of functions analytic in π•Œ that are of the form Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 23 https://internationalpubls.com 𝑒(𝑧) = 𝑧 βˆ’ βˆ‘ π‘Žπ‘› ∞ 𝑛=2 𝑧𝑛, π‘Žπ‘› β‰₯ 0 𝑧 ∈ π•Œ (1.4) and let π‘‡βˆ—(π‘š) = 𝑇 ∩ π‘†βˆ—(π‘š), 𝐢(π‘š) = 𝑇 ∩ 𝐾(π‘š). The class π‘‡βˆ—(π‘š) and allied classes possess some interesting properties and have been extensively studied by Silverman [14]. Many basically equivalent definitions of fractional computation have been given in literature ((cf.)e.g.,[13] and ([15], p. 45) ). We state the following definitions due to Owa and Srivastava [9] which have been used rather frequently in the theory of analytic functions (see also [4] ). Definition 1.1. The fractional integral of order Ο‘ is defined, for a function u(z) , by Dz βˆ’Ο‘u(z) = 1 Ο‰(Ο‘) ∫ f(ΞΆ) (zβˆ’ΞΆ)1βˆ’Ο‘ z 0 dΞΆ, (Ο‘ > 0) (1.5) and the fractional derivative of order Ο‚ is defined, for a function u(z) , by Dz Ο‘u(z) = 1 Ο‰(1βˆ’Ο‘) d dz ∫ f(ΞΆ) (zβˆ’ΞΆ)Ο‘ z 0 dΞΆ, (0 ≀ Ο‘ < 1) (1.6) where u(z) is an analytic function in a simply-connected region of the z-plane containing the origin, and the multiplicity of (z βˆ’ ΞΆ)Ο‘βˆ’1 involved in (1.5) (and that of (z βˆ’ ΞΆ)βˆ’Ο‘ involved in (1.6) is removed by requiring log(z βˆ’ ΞΆ) to be real when (z βˆ’ ΞΆ) > 0. Definition 1.2. Under the hypotheses of Definition1.1, the fractional derivative of order n + Ο‘ is defined by Dz n+Ο‘u(z) = dn dzn Dz Ο‘u(z), (0 ≀ Ο‘ < 1; n ∈ N0 = N βˆͺ {0}). (1.7) With the aid of the above definitions, Owa and Srivastava [9] defined the fractional operator ℐz Ο‘ by π’₯𝑧 πœ—π‘’(𝑧) = πœ”(2 βˆ’ πœ—)π‘§πœ—π·π‘§ πœ—π‘’(𝑧), (πœ— β‰  2,3,4, β‹― ) π’₯𝑧 πœ—π‘’(𝑧) = 𝑧 + βˆ‘ 𝛩 ∞ 𝑛=2 (πœ—, 𝑛)π‘Žπ‘›π‘§π‘› (1.8) where 𝛩(πœ—, 𝑛) = πœ”(𝑛 + 1)πœ”(2 βˆ’ πœ—) πœ”(𝑛 βˆ’ πœ— + 1) and 𝛩(πœ—, 2) = 2 (2 βˆ’ πœ—) . Now, by making use of the linear operator π’₯𝑧 πœ—π‘’, we define a new subclass of functions belonging to the class 𝐴. Definition 1.3. For 0 ≀ Ο‰ < 1,0 ≀ Οƒ < 1,0 < Ο‚ < 1, and 0 ≀ Ο‘ < 1, we let TS(Ο‰, Οƒ, Ο‚, Ο‘) be the subclass of u consisting of functions of the form (1.4) and its geometrical condition satisfy | πœ”((π’₯𝑧 πœ—π‘’(𝑧))β€²βˆ’ π’₯𝑧 πœ—π‘’(𝑧) 𝑧 ) 𝜎(π’₯𝑧 πœ—π‘’(𝑧))β€²+(1βˆ’πœ”) π’₯𝑧 πœ—π‘’(𝑧) 𝑧 | < Ο‚, 𝑧 ∈ π•Œ where π’₯𝑧 πœ— , is given by (1.8). Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 24 https://internationalpubls.com 2. Coefficient Inequality In the following theorem, we obtain a necessary and sufficient condition for function to be in the class 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Theorem 2.1. Let the function u be defined by (1.4). Then u ∈ TS(Ο‰, Οƒ, Ο‚, Ο‘) if and only if βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]∞ 𝑛=2 𝛩(𝑛, πœ—)π‘Žπ‘› ≀ Ο‚(𝜎 + (1 βˆ’ πœ”)), (2.1) where 0 < Ο‚ < 1,0 ≀ πœ” < 1,0 ≀ 𝜎 < 1, and 0 ≀ πœ— < 1. The result (2.1) is sharp for the function 𝑒(𝑧) = 𝑧 βˆ’ Ο‚(𝜎+(1βˆ’πœ”)) [πœ”(π‘›βˆ’1)+Ο‚(π‘›πœŽ+1βˆ’πœ”)]𝛩(𝑛,πœ—) 𝑧𝑛, 𝑛 β‰₯ 2. Proof. Suppose that the inequality (2.1) holds true and |𝑧| = 1. Then we obtain |πœ” ((π’₯𝑧 πœ—π‘’(𝑧)) β€² βˆ’ π’₯𝑧 πœ—π‘’(𝑧) 𝑧 )| βˆ’ Ο‚ |𝜎 (π’₯𝑧 πœ—π‘’(𝑧))β€² + (1 βˆ’ πœ”) π’₯𝑧 πœ—π‘’(𝑧) 𝑧 )| = |βˆ’πœ” βˆ‘(𝑛 βˆ’ 1) ∞ 𝑛=2 𝛩(𝑛, πœ—)π‘Žπ‘›π‘§π‘›βˆ’1| βˆ’Ο‚ |𝜎 + (1 βˆ’ πœ”) βˆ’ βˆ‘(π‘›πœŽ + 1 βˆ’ πœ”) ∞ 𝑛=2 𝛩(𝑛, πœ—)π‘Žπ‘›π‘§π‘›βˆ’1| ≀ βˆ‘[πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)] ∞ 𝑛=2 𝛩(𝑛, πœ—)π‘Žπ‘› βˆ’ Ο‚(𝜎 + (1 βˆ’ πœ”)) ≀ 0. Hence, by maximum modulus principle,𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Now assume that 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—) so that | | πœ” ((π’₯𝑧 πœ—π‘’(𝑧)) β€² βˆ’ π’₯𝑧 πœ—π‘’(𝑧) 𝑧 ) 𝜎(π’₯𝑧 πœ—π‘’(𝑧))β€² + (1 βˆ’ πœ”) π’₯𝑧 πœ—π‘’(𝑧) 𝑧 | | < Ο‚, 𝑧 ∈ π•Œ Hence |πœ” ((π’₯𝑧 πœ—π‘’(𝑧)) β€² βˆ’ π’₯𝑧 πœ—π‘’(𝑧) 𝑧 )| < Ο‚ |𝜎 (π’₯𝑧 πœ—π‘’(𝑧))β€² + (1 βˆ’ πœ”) π’₯𝑧 πœ—π‘’(𝑧) 𝑧 )|. Therefore, we get Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 25 https://internationalpubls.com |βˆ’ βˆ‘ πœ” ∞ 𝑛=2 (𝑛 βˆ’ 1)𝛩(𝑛, πœ—)π‘Žπ‘›π‘§π‘›βˆ’1| < Ο‚ |𝜎 + (1 βˆ’ πœ”) βˆ’ βˆ‘(π‘›πœŽ + 1 βˆ’ πœ”) ∞ 𝑛=2 𝛩(𝑛, πœ—)π‘Žπ‘›π‘§π‘›βˆ’1| . Thus βˆ‘[πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)] ∞ 𝑛=2 𝛩(𝑛, πœ—)π‘Žπ‘› ≀ Ο‚(𝜎 + (1 βˆ’ πœ”)) and this completes the proof. Corollary 2.1. Let the function 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—).Then π‘Žπ‘› ≀ Ο‚(𝜎+(1βˆ’πœ”)) [πœ”(π‘›βˆ’1)+Ο‚(π‘›πœŽ+1βˆ’πœ”)]𝛩(𝑛,πœ—) 𝑧𝑛, 𝑛 β‰₯ 2. 3. Distortion and Covering Theorem We introduce the growth and distortion theorems for the functions in the class 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—) Theorem 3.1. Let the function 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Then |𝑧| βˆ’ Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] |𝑧|2 ≀ |𝑒(𝑧)| ≀ |𝑧| + Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] |𝑧|2. The result is sharp and attained 𝑒(𝑧) = 𝑧 βˆ’ Ο‚(𝜎+(1βˆ’πœ”)) 𝛩(2,πœ—)[πœ”+Ο‚(2𝜎+1βˆ’πœ”)] 𝑧2. Proof. |𝑒(𝑧)| = |𝑧 βˆ’ βˆ‘ π‘Žπ‘› ∞ 𝑛=2 𝑧𝑛| ≀ |𝑧| + βˆ‘ π‘Žπ‘› ∞ 𝑛=2 |𝑧|𝑛 ≀ |𝑧| + |𝑧|2 βˆ‘ π‘Žπ‘› ∞ 𝑛=2 . By Theorem 2.1, we get βˆ‘ π‘Žπ‘› ∞ 𝑛=2 ≀ Ο‚(𝜎 + (1 βˆ’ πœ”)) [πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) (3.1). Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 26 https://internationalpubls.com Thus |𝑒(𝑧)| ≀ |𝑧| + Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] |𝑧|2. Also |𝑒(𝑧)| β‰₯ |𝑧| βˆ’ βˆ‘ π‘Žπ‘› ∞ 𝑛=2 |𝑧|𝑛 β‰₯ |𝑧| βˆ’ |𝑧|2 βˆ‘ π‘Žπ‘› ∞ 𝑛=2 β‰₯ |𝑧| βˆ’ Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] |𝑧|2. Theorem 3.2. Let 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Then 1 βˆ’ 2Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] |𝑧| ≀ |𝑒′(𝑧)| ≀ 1 + 2Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] |𝑧| with equality for 𝑒(𝑧) = 𝑧 βˆ’ 2Ο‚(𝜎+(1βˆ’πœ”)) 𝛩(2,πœ—)[πœ”+Ο‚(2𝜎+1βˆ’πœ”)] 𝑧2. Proof. Notice that 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘› ≀ βˆ‘ 𝑛 ∞ 𝑛=2 [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—)π‘Žπ‘› ≀ Ο‚(𝜎 + (1 βˆ’ πœ”)), (3.2) from Theorem 2.1. Thus |𝑒′(𝑧)| = |1 βˆ’ βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘›π‘§π‘›βˆ’1| ≀ 1 + βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1 ≀ 1 + |𝑧| βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘› ≀ 1 + |𝑧| 2Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] . (3.3) Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 27 https://internationalpubls.com On the other hand |𝑒′(𝑧)| = |1 βˆ’ βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘›π‘§π‘›βˆ’1| β‰₯ 1 βˆ’ βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1 β‰₯ 1 βˆ’ |𝑧| βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘› β‰₯ 1 βˆ’ |𝑧| 2Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝛩(2, πœ—)[πœ” + Ο‚(2𝜎 + 1 βˆ’ πœ”)] (3.4). Combining (3.3) and (3.4), we get the result. 4. Radii of Starlikeness, Convexity and Close-to-Convexity In the following theorems, we obtain the radii of starlikeness, convexity and close-to-convexity for the class 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Theorem 4.1. Let 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Then 𝑒 is starlike in |𝑧| < 𝑅1 of order 𝛿, 0 ≀ 𝛿 < 1, where 𝑅1 = inf 𝑛 { (1βˆ’π›Ώ)(πœ”(π‘›βˆ’1)+Ο‚(π‘›πœŽ+1βˆ’πœ”))𝛩(𝑛,πœ—) (π‘›βˆ’π›Ώ)Ο‚(𝜎+(1βˆ’πœ”)) } 1 π‘›βˆ’1 , 𝑛 β‰₯ 2 (4.1). Proof. 𝑒 is starlike of order 𝛿, 0 ≀ 𝛿 < 1 if β„œ { 𝑧𝑒′(𝑧) 𝑒(𝑧) } > 𝛿. Thus it is enough to show that | 𝑧𝑒′(𝑧) 𝑒(𝑧) βˆ’ 1| = | βˆ’ βˆ‘ (𝑛 βˆ’ 1)∞ 𝑛=2 π‘Žπ‘›π‘§π‘›βˆ’1 1 βˆ’ βˆ‘ π‘Žπ‘› ∞ 𝑛=2 π‘§π‘›βˆ’1 | ≀ βˆ‘ (𝑛 βˆ’ 1)∞ 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1 1 βˆ’ βˆ‘ π‘Žπ‘› ∞ 𝑛=2 |𝑧|π‘›βˆ’1 . (4.2) Thus | 𝑧𝑒′(𝑧) 𝑒(𝑧) βˆ’ 1| ≀ 1 βˆ’ 𝛿 𝑖𝑓 βˆ‘ (𝑛 βˆ’ 𝛿) (1 βˆ’ 𝛿) ∞ 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1 ≀ 1. Hence by Theorem 2.1, (4.2) will be true if 𝑛 βˆ’ 𝛿 1 βˆ’ 𝛿 |𝑧|π‘›βˆ’1 ≀ (πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”) Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 28 https://internationalpubls.com or if |𝑧| ≀ [ (1 βˆ’ 𝛿)(πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) (𝑛 βˆ’ 𝛿)Ο‚(𝜎 + (1 βˆ’ πœ”)) ] 1 π‘›βˆ’1 , 𝑛 β‰₯ 2. The theorem is proved. Theorem 4.2. Let 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Then u is convex in |z| < R2 of order Ξ΄, 0 ≀ Ξ΄ < 1, where 𝑅2 = inf 𝑛 { (1βˆ’π›Ώ)(πœ”(π‘›βˆ’1)+Ο‚(π‘›πœŽ+1βˆ’πœ”))𝛩(𝑛,πœ—) 𝑛(π‘›βˆ’π›Ώ)Ο‚(𝜎+(1βˆ’πœ”)) } 1 π‘›βˆ’1 , 𝑛 β‰₯ 2. (4.3) Proof. 𝑒 is convex of order 𝛿, 0 ≀ 𝛿 < 1 if β„œ {1 + 𝑧𝑒″(𝑧) 𝑒′(𝑧) } > 𝛿. Thus it is enough to show that | 𝑧𝑒″(𝑧) 𝑒′(𝑧) | = | βˆ’ βˆ‘ π‘›βˆž 𝑛=2 (𝑛 βˆ’ 1)π‘Žπ‘›π‘§π‘›βˆ’1 1 βˆ’ βˆ‘ π‘›βˆž 𝑛=2 π‘Žπ‘›π‘§π‘›βˆ’1 | ≀ βˆ‘ π‘›βˆž 𝑛=2 (𝑛 βˆ’ 1)π‘Žπ‘›|𝑧|π‘›βˆ’1 1 βˆ’ βˆ‘ π‘›βˆž 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1 . (4.4) Thus | 𝑧𝑒″(𝑧) 𝑒′(𝑧) | ≀ 1 βˆ’ 𝛿 𝑖𝑓 βˆ‘ 𝑛(𝑛 βˆ’ 𝛿) (1 βˆ’ 𝛿) ∞ 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1 ≀ 1. Hence by Theorem 2.1, (4.4)will be true if 𝑛(𝑛 βˆ’ 𝛿) 1 βˆ’ 𝛿 |𝑧|π‘›βˆ’1 ≀ (πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”) or if |𝑧| ≀ [ (1 βˆ’ 𝛿)(πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) 𝑛(𝑛 βˆ’ 𝛿)Ο‚(𝜎 + (1 βˆ’ πœ”)) ] 1 π‘›βˆ’1 , 𝑛 β‰₯ 2. The theorem proved. Theorem 4.3. Let 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Then u is close-to-convex in |z| < R3 of order Ξ΄, 0 ≀ Ξ΄ < 1, where 𝑅3 = inf 𝑛 { (1βˆ’π›Ώ)(πœ”(π‘›βˆ’1)+Ο‚(π‘›πœŽ+1βˆ’πœ”))𝛩(𝑛,πœ—) 𝑛ς(𝜎+(1βˆ’πœ”)) } 1 π‘›βˆ’1 , 𝑛 β‰₯ 2. (4.5) Proof. 𝑒 is close-to-convex of order 𝛿, 0 ≀ 𝛿 < 1 if β„œ{𝑒′(𝑧)} > 𝛿. Thus it is enough to show that Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 29 https://internationalpubls.com |𝑒′(𝑧) βˆ’ 1| = |βˆ’ βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘›π‘§π‘›βˆ’1| ≀ βˆ‘ 𝑛 ∞ 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1. Thus |𝑒′(𝑧) βˆ’ 1| ≀ 1 βˆ’ 𝛿 𝑖𝑓 βˆ‘ 𝑛 (1 βˆ’ 𝛿) ∞ 𝑛=2 π‘Žπ‘›|𝑧|π‘›βˆ’1 ≀ 1. (4.6) Hence by Theorem 2.1, (4.6) will be true if 𝑛 1 βˆ’ 𝛿 |𝑧|π‘›βˆ’1 ≀ (πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”) or if |𝑧| ≀ [ (1 βˆ’ 𝛿)(πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) 𝑛ς(𝜎 + (1 βˆ’ πœ”)) ] 1 π‘›βˆ’1 , 𝑛 β‰₯ 2. The theorem follows. 5. Extreme Points In the following theorem, we obtain extreme points for the class 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Theorem 5.1. Let 𝑒1(𝑧) = 𝑧 and 𝑒𝑛(𝑧) = 𝑧 βˆ’ 𝜍(𝜎+(1βˆ’πœ”)) [πœ”(π‘›βˆ’1)+𝜍(π‘›πœŽ+1βˆ’πœ”)]𝛩(𝑛,πœ—) 𝑧𝑛, for 𝑛 = 2,3, β‹―. Then 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, 𝜍, πœ—) if and only if it can be expressed in the form 𝑒(𝑧) = βˆ‘ πœƒπ‘› ∞ 𝑛=1 𝑒𝑛(𝑧), π‘€β„Žπ‘’π‘Ÿπ‘’ πœƒπ‘› β‰₯ 0 π‘Žπ‘›π‘‘ βˆ‘ πœƒπ‘› ∞ 𝑛=1 = 1. Proof. Assume that 𝑒(𝑧) = βˆ‘ πœƒπ‘› ∞ 𝑛=1 𝑒𝑛(𝑧), hence we get 𝑒(𝑧) = 𝑧 βˆ’ βˆ‘ Ο‚(𝜎 + (1 βˆ’ πœ”))πœƒπ‘› [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) ∞ 𝑛=2 𝑧𝑛. Now, 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—), since βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 Γ— Ο‚(𝜎 + (1 βˆ’ πœ”))πœƒπ‘› [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) = βˆ‘ πœƒπ‘› ∞ 𝑛=2 = 1 βˆ’ πœƒ1 ≀ 1. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 30 https://internationalpubls.com Conversely, suppose 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Then we show that 𝑒 can be written in the form βˆ‘ πœƒπ‘› ∞ 𝑛=1 𝑒𝑛(𝑧). Now 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—) implies from Theorem 2.1, π‘Žπ‘› ≀ Ο‚(𝜎 + (1 βˆ’ πœ”)) [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) . Setting πœƒπ‘› = [πœ”(π‘›βˆ’1)+Ο‚(π‘›πœŽ+1βˆ’πœ”)]𝛩(𝑛,πœ—) Ο‚(𝜎+(1βˆ’πœ”)) π‘Žπ‘›, 𝑛 = 2,3, β‹― and πœƒ1 = 1 βˆ’ βˆ‘ πœƒπ‘› ∞ 𝑛=2 , we obtain 𝑒(𝑧) = βˆ‘ πœƒπ‘› ∞ 𝑛=1 𝑒𝑛(𝑧). 6. Hadamard product In the following theorem, we obtain the convolution result for functions belongs to the class 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Theorem 6.1. Let 𝑒, 𝑔 ∈ 𝑇𝑆(πœ”, 𝜎, 𝜍, πœ—). Then 𝑒 βˆ— 𝑔 ∈ 𝑇𝑆(πœ”, 𝜎, 𝜁, πœ—) for 𝑒(𝑧) = 𝑧 βˆ’ βˆ‘ π‘Žπ‘› ∞ 𝑛=2 𝑧𝑛, 𝑔(𝑧) = 𝑧 βˆ’ βˆ‘ 𝑏𝑛 ∞ 𝑛=2 𝑧𝑛 and (𝑒 βˆ— 𝑔)(𝑧) = 𝑧 βˆ’ βˆ‘ π‘Žπ‘› ∞ 𝑛=2 𝑏𝑛𝑧𝑛, where 𝜁 β‰₯ 𝜍2(𝜎 + (1 βˆ’ πœ”))πœ”(𝑛 βˆ’ 1) [πœ”(𝑛 βˆ’ 1) + 𝜍(π‘›πœŽ + 1 βˆ’ πœ”)]2𝛩(𝑛, πœ—) βˆ’ 𝜍2(𝜎 + (1 βˆ’ πœ”))(π‘›πœŽ + 1 βˆ’ πœ”) . Proof. 𝑒 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—) and so βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 π‘Žπ‘› ≀ 1, and βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 𝑏𝑛 ≀ 1. We have to find the smallest number 𝜁 such that βˆ‘ [πœ”(𝑛 βˆ’ 1) + 𝜁(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) 𝜁(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 π‘Žπ‘›π‘π‘› ≀ 1. By Cauchy-Schwarz inequality βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 βˆšπ‘Žπ‘›π‘π‘› ≀ 1. (6.1) Therefore it is enough to show that Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 31 https://internationalpubls.com [πœ”(𝑛 βˆ’ 1) + 𝜁(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) 𝜁(𝜎 + (1 βˆ’ πœ”)) π‘Žπ‘›π‘π‘› ≀ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) βˆšπ‘Žπ‘›π‘π‘›. That is βˆšπ‘Žπ‘›π‘π‘› ≀ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝜁 [πœ”(𝑛 βˆ’ 1) + 𝜁(π‘›πœŽ + 1 βˆ’ πœ”)]Ο‚ . From (6.1) βˆšπ‘Žπ‘›π‘π‘› ≀ Ο‚(𝜎 + (1 βˆ’ πœ”)) [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) . Thus it is enough to show that Ο‚(𝜎 + (1 βˆ’ πœ”)) [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) ≀ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝜁 [πœ”(𝑛 βˆ’ 1) + 𝜁(π‘›πœŽ + 1 βˆ’ πœ”)]Ο‚ , which simplifies to 𝜁 β‰₯ Ο‚2(𝜎 + (1 βˆ’ πœ”))πœ”(𝑛 βˆ’ 1) [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]2𝛩(𝑛, πœ—) βˆ’ Ο‚2(𝜎 + (1 βˆ’ πœ”))(π‘›πœŽ + 1 βˆ’ πœ”) . 7. Closure Theorems We shall prove the following closure theorems for the class 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Theorem 7.1. Let 𝑒𝑗 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—).), j=1,2,… Then 𝑔(𝑧) = βˆ‘ 𝑐𝑗 𝑠 𝑗=1 𝑒𝑗(𝑧) ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). For 𝑒𝑗(𝑧) = 𝑧 βˆ’ βˆ‘ π‘Žπ‘›,𝑗 ∞ 𝑛=2 𝑧𝑛, where βˆ‘ 𝑐𝑗 𝑠 𝑗=1 = 1. Proof. 𝑔(𝑧) = βˆ‘ 𝑐𝑗 𝑠 𝑗=1 𝑒𝑗(𝑧) = 𝑧 βˆ’ βˆ‘ βˆ‘ 𝑐𝑗 𝑠 𝑗=1 ∞ 𝑛=2 π‘Žπ‘›,𝑗𝑧𝑛 = 𝑧 βˆ’ βˆ‘ 𝑒𝑛 ∞ 𝑛=2 𝑧𝑛, where 𝑒𝑛 = βˆ‘ 𝑐𝑗 𝑠 𝑗=1 π‘Žπ‘›,𝑗. Thus 𝑔(𝑧) ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—) if Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 32 https://internationalpubls.com βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 𝑒𝑛 ≀ 1, that is, if βˆ‘ βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝑠 𝑗=1 ∞ 𝑛=2 π‘π‘—π‘Žπ‘›,𝑗 = βˆ‘ 𝑐𝑗 𝑠 𝑗=1 βˆ‘ [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 π‘Žπ‘›,𝑗 ≀ βˆ‘ 𝑐𝑗 𝑠 𝑗=1 = 1. Theorem 14. Let 𝑒, 𝑔 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—). Then β„Ž(𝑧) = 𝑧 βˆ’ βˆ‘ (π‘Žπ‘› 2 + 𝑏𝑛 2)∞ 𝑛=2 𝑧𝑛 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—), π‘€β„Žπ‘’π‘Ÿπ‘’ 𝜁 β‰₯ 2πœ”(𝑛 βˆ’ 1)Ο‚2(𝜎 + (1 βˆ’ πœ”)) [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]2𝛩(𝑛, πœ—) βˆ’ 2Ο‚2(𝜎 + (1 βˆ’ πœ”))(π‘›πœŽ + 1 βˆ’ πœ”) . Proof. Since 𝑒, 𝑔 ∈ 𝑇𝑆(πœ”, 𝜎, Ο‚, πœ—), so Theorem 2.1, yields βˆ‘ [ (πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) π‘Žπ‘›] 2∞ 𝑛=2 ≀ 1 and βˆ‘ [ (πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) 𝑏𝑛] 2∞ 𝑛=2 ≀ 1. We obtain from the last two inequalities βˆ‘ 1 2 ∞ 𝑛=2 [ (πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ] 2 (π‘Žπ‘› 2 + 𝑏𝑛 2) ≀ 1. (7.1) But β„Ž(𝑧) ∈ 𝑇𝑆(πœ”, 𝜎, 𝜁, π‘ž, π‘š), if and only if βˆ‘ [πœ”(𝑛 βˆ’ 1) + 𝜁(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) 𝜁(𝜎 + (1 βˆ’ πœ”)) ∞ 𝑛=2 (π‘Žπ‘› 2 + 𝑏𝑛 2) ≀ 1, (7.2) where 0 < 𝜁 < 1, however (7.1) implies (7.2) if Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 31 No. 2 (2024) 33 https://internationalpubls.com [πœ”(𝑛 βˆ’ 1) + 𝜁(π‘›πœŽ + 1 βˆ’ πœ”)]𝛩(𝑛, πœ—) 𝜁(𝜎 + (1 βˆ’ πœ”)) ≀ 1 2 [ (πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”))𝛩(𝑛, πœ—) Ο‚(𝜎 + (1 βˆ’ πœ”)) ] 2 . Simplifying, we get 𝜁 β‰₯ 2πœ”(𝑛 βˆ’ 1)Ο‚2(𝜎 + (1 βˆ’ πœ”)) [πœ”(𝑛 βˆ’ 1) + Ο‚(π‘›πœŽ + 1 βˆ’ πœ”)]2𝛩(𝑛, πœ—) βˆ’ 2Ο‚2(𝜎 + (1 βˆ’ πœ”))(π‘›πœŽ + 1 βˆ’ πœ”) . Refrences [1] Cho, N. E., Woo, S. Y. and Owa, S., Uniform convexity properties for hypergeometric functions, Fract. Calc. Appl. Anal., 5(3) (2002), 303 - 313. [2] De Branges, L., A proof of the Bieberbach conjecture, Acta Math., 154(1-2) (1985), 137 - 152. [3] El-Deeb, S. M., Bulboaca, T. and Dziok, J., Pascal distribution series connected with certain subclasses of univalent functions, Kyungpook Math. J., 59 (2) (2019), 301 - 314. [4] Kim, Y.C. and Srivastava, H.M., Fractional integral and other linear operators asso ciated with the Gaussian hypergeometric function, Complex Variables Theory Appl. 34, (1997), 293 – 312. [5] Merkes, E. P. and Scott, W. T., Starlike hypergeometric functions, Proc. Amer. Math. Soc., 12 (1961), 885 - 888. [6] Mostafa, A. O., A study on starlike and convex properties for hypergeometric functions, JIPAM. J. Inequal. Pure Appl. Math., 10(3) (2009), Article 87, 8 pp. [7] Murugusundaramoorthy,G., Subclasses of starlike and convex functions involving Poisson distribution series, Afr. Mat. 28 no. 7-8, (2017), 1357 - 1366. [8] Murugusundaramoorthy,G., Vijaya,K., and Porwal,S., Some inclusion results of certain subclass of analytic functions associated with Poisson distribution series, Hacet. J. Math. Stat. 45 no. 4, (2016), 1101–1107. [9] Owa, S. and Srivastava, H.M., Univalent and starlike generalized hypergeometric functions, Can. J. Math. 39, , (1987), 1057-1077. [10] Silverman, H., Starlike and convexity properties for hypergeometric functions, J. Math. Anal. Appl. 172 (2)(1993), 574 - 581. [11] Srivastava, H. M., Murugusundaramoorthy, G. and Sivasubramanian, S., Hypergeometric functions in the parabolic starlike and uniformly convex domains, Integral Transforms Spec. Funct. 18(7-8) (2007), 511 - 520. [12] Pommerenke, C., Univalent Functions, Vandenhoeck and Ruprecht, Gottingen, (1975). [13] Samko, S.G., Kilbas, A. A. and Marichev, O.I., Fractional Integral and Derivatives, Theory and Applications, Gordon and Breach, New York, Philadelphia, London, Paris, Montreux, Toronto and Melbourne, 1993. [14] Silverman, H., Univalent functions with negative coefficients, Proc. Amer. Math. Soc., 51,(1975), 109-116. [15] Srivastava, H.M. and Buschman, R.G., Theory and Applications of Convolution Integral Equations, Kluwer Academic Publishers, dordrecht, Boston and London, 1992.