Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1872 https://internationalpubls.com A New Subclass of Meromorphic Functions Associated with SΔƒlΔƒgean Operator Debasmita Dash 1, Saumya Singh 2* 1, 2 Department of Mathematics, O. P. Jindal University, Raigarh, 496109 India; * Correspondence should be addressed to Saumya Singh; email- saumya.singh@opju.ac.in Article History: Received: 12-01-2025 Revised: 15-02-2025 Accepted: 01-03-2025 Abstract: In this paper, we propose a novel subclass of meromorphic functions within the class π’œπ‘ βˆ— which includes functions of the form 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ π‘Žπ‘—π‘§π‘—βˆž 𝑗=𝑝 , where 𝑧 ∈ β–³βˆ— and 𝑝 ∈ β„•. The study specifically focuses on using the SΔƒlΔƒgean operator 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) to established this new subclass denoted as β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝) which is defined by the parameters 0 ≀ 𝛼 < 1, 0 ≀ 𝛽 < 1 , 0 ≀ 𝛾 < 1, π‘˜ β‰₯ 0, 0 < πœ† ≀ 1 and 𝑛 ∈ β„•0. 𝑅𝑒 ( 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²βˆ’(𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) 𝛼𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²+(1βˆ’π‘Ÿ)(𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) ) > π‘˜ | 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²βˆ’(𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) 𝛼𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²+(1βˆ’π‘Ÿ)(𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) βˆ’ 1| + 𝛽 by the given condition for this class we will next to prove this class of univalent function then we derive the related results. The mathematical formulation of 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) , where the operator influences the series expansion of the meromorphic functions, is also elaborated in the study. Keywords: Meromorphic functions, Function class π’œπ‘ βˆ— , SΔƒlΔƒgean operator, Starlikeness, Convexity, Subclass of meromorphic functions, Series expansion, Analytic function properties. 1. Introduction The study of meromorphic functions has been a significant area of interest in complex analysis, particularly in the context of geometric function theory. These functions, which are analytic except for isolated poles, play a crucial role in various applied & mathematical fields. Within the class of meromorphic functions, researchers have explored different subclasses defined by specific function properties and operator-induced transformations. One such transformation involves differential and integral operators that influence the function's behaviour in the punctured unit disk. The role of multiplier transformations in defining new function classes has been studied extensively. For some basic concepts like Univalent functions, which are holomorphic and injective, are fundamental in geometric function theory for a comprehensive study, (see [7], [8]). Alharayzeh and Ghanim (2022) recently introduced a k-uniformly univalent subclass with negative coefficients (see also [1]), proving key coefficient estimates and geometric properties. Building upon their findings, this paper introduces a new subclass incorporating additional parameters, leading to broader applications in function theory. In (2016), Amourah and Darus defined a new class of univalent functions by applying a generalized differential operator that includes negative coefficients, highlighting its geometric and analytic properties in paper [3]. Recent advancements in geometric function theory have led to the development of new subclasses of analytic functions. In (2024), Carroll discusses key techniques in paper [4], for analyzing these classes, which are the foundation of our investigation. In (2010), Ali and Ravichandran defined a subclass of meromorphic functions based on 𝛼- convexity and examined its analytic and mailto:saumya.singh@opju.ac.in Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1873 https://internationalpubls.com geometric properties in paper [2]. Darus et al. established univalence criteria in paper [5], for analytic functions using a generalized differential operator. Building on their findings, this paper explores new subclasses by extending the operator’s properties of generalized SΔƒlΔƒgean operator and derived new results. For computational purposes we refer to paper [6], which is based on the convexity criterion established by Deniz and Erhan in (2013). For further study on univalence criteria, we refer also papers [11] and [12]. In (2009), Lee et al. established coefficient bounds in paper [9] for such functions, providing key insights into their structure and meromorphic properties. Definition: Let the class π’œp βˆ— consists of all analytic functions in the punctured unit disk β–³βˆ— , of the form 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ π‘Žπ‘—π‘§π‘—βˆž 𝑗=𝑝 , 𝑧 βˆˆβ–³βˆ— and 𝑝 ∈ β„• . For the function 𝑓 ∈ π’œp βˆ— , here we introduced a new subclass for 0 ≀ 𝛼 < 1, 0 ≀ 𝛽 < 1 , 0 ≀ 𝛾 < 1, π‘˜ β‰₯ 0, 0 < πœ† ≀ 1, 𝑝 ∈ β„• , 𝑛 ∈ β„•0 = {0,1,2, … }, By using the operator 𝐷𝑝,πœ† 𝑛 by 𝐷𝑝,πœ† 0 = 𝑓(𝑧) which is introduced in paper [1] Let β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝) 𝑅𝑒 ( 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² βˆ’ (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) 𝛼𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² + (1 βˆ’ π‘Ÿ)(𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) ) > π‘˜ | 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² βˆ’ (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) 𝛼𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² + (1 βˆ’ π‘Ÿ)(𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) βˆ’ 1| + 𝛽 (1) Where, 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—} 𝑛 , 𝑧 βˆˆβ–³βˆ— π‘Žπ‘›π‘‘ π‘Žπ‘— > 0 ∞ 𝑗=𝑝 Here 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) be the SΔƒlΔƒgean operator. 2. Objectives The primary objective of this study is to investigate and analyze various newly defined subclasses of analytic functions within the unit disc. In this study we introduced a new subclass of meromorphic functions β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝), which lies within the class π’œπ‘ βˆ— and consists of functions of the form 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ π‘Žπ‘—π‘§π‘—βˆž 𝑗=𝑝 , where 𝑧 ∈ β–³βˆ— and 𝑝 ∈ β„•. This study specifically focuses on using the SΔƒlΔƒgean operator 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) to established the foundational properties of this class, proving its univalence, and analyzing the influence of the operator on the function’s geometric behavior. The mathematical formulation of 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) , where the operator influences on the series expansion of the meromorphic functions, is also elaborated in the study. 3. Methods In this paper, we introduced the subclass β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝) of meromorphic functions defined in the punctured unit disk β–³βˆ— , associated with the generalized SΔƒlΔƒgean operator 𝐷𝑝,πœ† 𝑛 which is defined as 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—} 𝑛 ∞ 𝑗=𝑝 where π‘Žπ‘— > 0. Coefficient estimates are obtained by applying a differential subordination condition for function belongs to the subclass β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝). Convexity of 𝑓(𝑧) is established under the condition 𝑅𝑒 (1 + 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²β€² (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² ) > 0, Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1874 https://internationalpubls.com and Univalence criteria is ensured by the condition | 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²β€² (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² | < 1 . These methods provide conditions on the coefficients and geometric criteria for functions defined in the above subclass. 4. Results We begin by proving several theorems based on the operator classification. Theorem: 1 Let 0 ≀ 𝛼 < 1, 0 ≀ 𝛽 < 1 , 0 ≀ 𝛾 < 1, π‘˜ β‰₯ 0, 0 < πœ† ≀ 1, 𝑝 ∈ β„• , 𝑛 ∈ β„•0 = {0,1,2, … }. A function 𝑓 given by 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ π‘Žπ‘—π‘§π‘—βˆž 𝑗=𝑝 be an analytic function belonging to the class β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝), then 𝑓 satisfies the condition: 𝑅𝑒 ( 𝑧 (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) β€² βˆ’ (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) 𝛼𝑧 (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) β€² + (1 βˆ’ π‘Ÿ) (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) ) > π‘˜ | 𝑧 (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) β€² βˆ’ (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) 𝛼𝑧 (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) β€² + (1 βˆ’ π‘Ÿ) (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) βˆ’ 1| + 𝛽 where, 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—} 𝑛 , 𝑧 βˆˆβ–³βˆ— π‘Žπ‘›π‘‘ π‘Žπ‘— > 0 ∞ 𝑗=𝑝 Then the coefficients π‘Žπ‘— of the Taylor series expansion satisfy the inequality π‘Žπ‘— ≀ (1 βˆ’ 𝛽)(𝛼𝑗 + 1 βˆ’ π‘Ÿ) (π‘˜ + 1)|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)|(1 + 𝑗) , π‘“π‘œπ‘Ÿ π‘Žπ‘™π‘™ 𝑗 β‰₯ 2 This result establishes an upper bound on the growth of the coefficients of functions in this subclass β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝). Proof: Given that β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝) if and only if the condition (1) is satisfied, Let πœ” = 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² βˆ’ (𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) 𝛼𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² + (1 βˆ’ π‘Ÿ)(𝐷𝑝,πœ† 𝑛 𝑓(𝑧)) Subject to the condition that, 𝑅𝑒(πœ”) β‰₯ π‘˜|πœ” βˆ’ 1| + 𝛽 if and only if (π‘˜ + 1)|πœ” βˆ’ 1| ≀ 1 βˆ’ 𝛽 Now (π‘˜ + 1)|πœ” βˆ’ 1| = (π‘˜ + 1) | (1 βˆ’ 𝑝)π‘§βˆ’π‘ + βˆ‘ {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—βˆž 𝑗=2 (1 βˆ’ π‘Ÿ βˆ’ 𝛼𝑝)π‘§βˆ’π‘ + βˆ‘ (𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 π‘Žπ‘—π‘§π‘—βˆž 𝑗=2 βˆ’ 1| ≀ 1 βˆ’ 𝛽 is equivalent to (π‘˜ + 1) | (1 βˆ’ 𝑝)π‘§βˆ’π‘ + βˆ‘ {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—βˆž 𝑗=2 (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)π‘§βˆ’π‘ βˆ’ βˆ‘ (𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 π‘Žπ‘—π‘§π‘—βˆž 𝑗=2 βˆ’ 1| ≀ 1 βˆ’ 𝛽 Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1875 https://internationalpubls.com So (π‘˜ + 1) | (1 βˆ’ 𝑝)π‘§βˆ’π‘ + βˆ‘ |2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘— βˆ’ (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)π‘§βˆ’π‘βˆž 𝑗=2 (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)π‘§βˆ’π‘ βˆ’ βˆ‘ (𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 π‘Žπ‘—π‘§π‘—βˆž 𝑗=2 | ≀ 1 βˆ’ 𝛽 Further the above inequality (π‘˜ + 1) | (𝛼𝑝 + π‘Ÿ βˆ’ 𝑝)π‘§βˆ’π‘ + βˆ‘ |2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—βˆž 𝑗=2 (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)π‘§βˆ’π‘ βˆ’ βˆ‘ (𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 π‘Žπ‘—π‘§π‘—βˆž 𝑗=2 | ≀ 1 βˆ’ 𝛽 By factoring out the term π‘§βˆ’π‘ (π‘˜ + 1) | | π‘§βˆ’π‘ ((𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + βˆ‘ |2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—+π‘βˆž 𝑗=2 ) π‘§βˆ’π‘ ((1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ) βˆ’ βˆ‘ (𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 π‘Žπ‘—π‘§π‘—+π‘βˆž 𝑗=2 ) | | ≀ 1 βˆ’ 𝛽 cancel π‘§βˆ’π‘ from both numerator and denominator (π‘˜ + 1) | | ((𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + βˆ‘ |2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—+π‘βˆž 𝑗=2 ) ((1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ) βˆ’ βˆ‘ (𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝)} 𝑛 π‘Žπ‘—π‘§π‘—+π‘βˆž 𝑗=2 ) | | ≀ 1 βˆ’ 𝛽 Then, (π‘˜ + 1) [(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + βˆ‘ |2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—+π‘βˆž 𝑗=2 ] ≀ (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)(1 βˆ’ 𝛽) βˆ’ (1 βˆ’ 𝛽) (βˆ‘(𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 π‘Žπ‘—π‘§π‘—+𝑝 ∞ 𝑗=2 ) Now expand the terms of left-hand side (LHS) (π‘˜ + 1) [(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + βˆ‘|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—+𝑝 ∞ 𝑗=2 ] The LHS consists of a constant term (π‘˜ + 1)(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) and a series denoted by 𝑆1, where 𝑆1 = βˆ‘|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 (1 + 𝑗)π‘Žπ‘—π‘§π‘—+𝑝 ∞ 𝑗=2 So, the LHS becomes (π‘˜ + 1)(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + (π‘˜ + 1)𝑆1 Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1876 https://internationalpubls.com Right-hand side (RHS) (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)(1 βˆ’ 𝛽) βˆ’ (1 βˆ’ 𝛽) (βˆ‘(𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 π‘Žπ‘—π‘§π‘—+𝑝 ∞ 𝑗=2 ) The RHS also has a constant term (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)(1 βˆ’ 𝛽) and a series denoted by 𝑆2, where 𝑆2 = βˆ‘(𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 π‘Žπ‘—π‘§π‘—+𝑝 ∞ 𝑗=2 So, the RHS becomes (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)(1 βˆ’ 𝛽) βˆ’ (1 βˆ’ 𝛽)𝑆2 Then using the expressions for LHS & RHS (π‘˜ + 1)(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + (π‘˜ + 1)𝑆1 ≀ (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)(1 βˆ’ 𝛽) βˆ’ (1 βˆ’ 𝛽)𝑆2 Rearranging terms (π‘˜ + 1)(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) βˆ’ (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)(1 βˆ’ 𝛽) ≀ βˆ’(π‘˜ + 1)𝑆1 βˆ’ (1 βˆ’ 𝛽)𝑆2 Then expand and simplify the constants (π‘˜ + 1)(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) βˆ’ (1 βˆ’ 𝛼𝑝 βˆ’ π‘Ÿ)(1 βˆ’ 𝛽) Distribute (1 βˆ’ 𝛽) in the second term (π‘˜ + 1)(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) βˆ’ (1 βˆ’ 𝛽)(1) + (1 βˆ’ 𝛽)(𝛼𝑝 + π‘Ÿ) Combine like terms: π‘˜(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + (𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) βˆ’ (1 βˆ’ 𝛽) + (1 βˆ’ 𝛽)(𝛼𝑝 + π‘Ÿ) Simplify further, then we get (𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + π‘˜(𝛼𝑝 + π‘Ÿ βˆ’ 𝑝) + (1 βˆ’ 𝛽)(𝛼𝑝 + π‘Ÿ βˆ’ 1) For the series 𝑆1 and 𝑆2,the terms of 𝑧𝑗+𝑝. Since 𝑧𝑗+𝑝 terms are independent of the constant parts, we can combine the inequalities to solve for the coefficients π‘Žπ‘— , given the following condition must hold: (π‘˜ + 1)|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 (1 + 𝑗)π‘Žπ‘— ≀ (1 βˆ’ 𝛽)(𝛼𝑗 + 1 βˆ’ π‘Ÿ) {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 π‘Žπ‘— Then dividing both sides by {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 )} 𝑛 , we get (π‘˜ + 1)|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)|(1 + 𝑗)π‘Žπ‘— ≀ (1 βˆ’ 𝛽)(𝛼𝑗 + 1 βˆ’ π‘Ÿ)π‘Žπ‘— For non- zero π‘Žπ‘— , divide through by π‘Žπ‘— (π‘˜ + 1)|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)|(1 + 𝑗) ≀ (1 βˆ’ 𝛽)(𝛼𝑗 + 1 βˆ’ π‘Ÿ) Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1877 https://internationalpubls.com Then expand and simplify (π‘˜ + 1)|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)| ≀ (1 βˆ’ 𝛽) (𝛼𝑗 + 1 βˆ’ π‘Ÿ) (1 + 𝑗) This gives a bound for the coefficients π‘Žπ‘— Then the solution depends on analysing the coefficients π‘Žπ‘— satisfying: π‘Žπ‘— ≀ (1 βˆ’ 𝛽)(𝛼𝑗 + 1 βˆ’ π‘Ÿ) (π‘˜ + 1)|2 βˆ’ 𝛾 βˆ’ 𝑛(1 βˆ’ 𝛼)|(1 + 𝑗) The result is bounded by the choice of parameters 𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑝 and 𝑛. Corollary: (Boundedness of Coefficients for Special Cases) If we take 𝛼 = 0, 𝛽 = 0, 𝛾 = 0 and π‘˜ = 0 then the bound on the coefficients simplifies to: π‘Žπ‘— ≀ 1 |2 βˆ’ 𝑛|(1 + 𝑗) For all 𝑗 β‰₯ 2. This shows that in this special case, the coefficients decay inversely with respect to (1 + 𝑗), ensuring the function remains in a bounded subclass of analytic functions. Theorem: 2 (Convexity Condition) Let 𝑓(𝑧) ∈ β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝). If 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) satisfies the following condition: 𝑅𝑒 (1 + 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²β€² (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² ) > 0, Then 𝑓(𝑧) is convex in β–³βˆ— . Proof: Here the operator 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) is defined as 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) = π‘§βˆ’π‘ + βˆ‘ {(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—} 𝑛 , 𝑧 ∈ β–³βˆ— π‘Žπ‘›π‘‘ π‘Žπ‘— > 0 ∞ 𝑗=𝑝 For simplicity, Let 𝑔(𝑧) = 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) Compute the 1st and 2nd derivative of 𝑔(𝑧), as follows then we get 𝑔′(𝑧) = βˆ’π‘π‘§βˆ’π‘βˆ’1 + βˆ‘ 𝑛 ∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—βˆ’1] (1 + 𝑗 𝑝 ) 𝑔′′(𝑧) = 𝑝(𝑝 + 1)π‘§βˆ’π‘βˆ’2 + βˆ‘ 𝑛 (𝑛 βˆ’ 1) ∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—βˆ’2] (1 + 𝑗 𝑝 ) 2 Substitute these derivatives into the condition from 𝑅𝑒 (1 + 𝑧𝑔′′(𝑧) 𝑔′(𝑧) ) > 0 Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1878 https://internationalpubls.com β‡’ 𝑅𝑒 (1 + 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²β€² (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² ) > 0 β‡’ 𝑅𝑒 (1 + 𝑧 {𝑝(𝑝 + 1)π‘§βˆ’π‘βˆ’2 + βˆ‘ 𝑛 (𝑛 βˆ’ 1)∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—βˆ’2] (1 + 𝑗 𝑝) 2 } βˆ’π‘π‘§βˆ’π‘βˆ’1 + βˆ‘ π‘›βˆž 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—βˆ’1] (1 + 𝑗 𝑝) ) > 0 In the punctured unit disk β–³βˆ— , |𝑧| < 1, so higher-order terms 𝑧𝑗 ,becomes negligible as |𝑧| β†’ 0 for leading order terms, then the condition will be 𝑅𝑒 (1 + 𝑧[𝑝(𝑝 + 1)π‘§βˆ’π‘βˆ’2] βˆ’π‘π‘§βˆ’π‘βˆ’1 ) > 0 β‡’ 𝑅𝑒 (1 + 𝑝(𝑝 + 1)π‘§βˆ’π‘βˆ’1 βˆ’π‘π‘§βˆ’π‘βˆ’1 ) > 0 β‡’ 𝑅𝑒 (1 + ( 𝑝(𝑝 + 1) βˆ’π‘ )) > 0 β‡’ 𝑅𝑒(1 βˆ’ (𝑝 + 1)) > 0 β‡’ 𝑅𝑒(1 βˆ’ 𝑝 βˆ’ 1) > 0 β‡’ 𝑅𝑒(βˆ’π‘) > 0 This means the real part of βˆ’π‘, must be greater than 0. Let 𝑝 = π‘Ž + 𝑏𝑖, where π‘Ž and 𝑏 be the real part and 𝑖 be the imaginary part of this complex number, then βˆ’π‘ = βˆ’π‘Ž βˆ’ 𝑏𝑖 Thus, the real part of βˆ’π‘ is βˆ’π‘Ž, the inequality becomes βˆ’π‘Ž > 0 π‘Ž < 0 Therefore, 𝑅𝑒 (1 + 𝑧𝑔′′(𝑧) 𝑔′(𝑧) ) > 0 This inequality holds when the real part of 𝑝 is negative. Theorem: 3 (Univalence Criterion) Let 𝑓(𝑧) ∈ β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝), If the following inequality holds: | 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²β€² (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² | < 1, Then 𝑓(𝑧) is univalent in β–³βˆ— . Proof: Given the form of 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) , here the 1st derivative of this operator will be Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1879 https://internationalpubls.com (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² = βˆ’π‘π‘§βˆ’π‘βˆ’1 + βˆ‘ 𝑛 ∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—βˆ’1] (1 + 𝑗 𝑝 ) 2nd derivative will be (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²β€² = 𝑝(𝑝 + 1)π‘§βˆ’π‘βˆ’2 + βˆ‘ 𝑛 (𝑛 βˆ’ 1) ∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—βˆ’2] (1 + 𝑗 𝑝 ) 2 Substitute these derivatives in to the conditions we get, | 𝑧(𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€²β€² (𝐷𝑝,πœ† 𝑛 𝑓(𝑧))β€² | < 1, = || 𝑧 𝑝(𝑝 + 1)π‘§βˆ’π‘βˆ’2 + βˆ‘ 𝑛 (𝑛 βˆ’ 1)∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—βˆ’1] (1 + 𝑗 𝑝) 2 βˆ’π‘π‘§βˆ’π‘βˆ’1 + βˆ‘ π‘›βˆž 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—βˆ’1] (1 + 𝑗 𝑝) || < 1, = || 𝑝(𝑝 + 1)π‘§βˆ’π‘βˆ’1 + βˆ‘ 𝑛 (𝑛 βˆ’ 1)∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—βˆ’2] (1 + 𝑗 𝑝) 2 βˆ’π‘π‘§βˆ’π‘βˆ’1 + βˆ‘ π‘›βˆž 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—βˆ’1] (1 + 𝑗 𝑝 ) || < 1, = || π‘§βˆ’π‘βˆ’1 {𝑝(𝑝 + 1) + βˆ‘ 𝑛 (𝑛 βˆ’ 1)∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—+𝑝+1] (1 + 𝑗 𝑝) 2 } π‘§βˆ’π‘βˆ’1 {βˆ’π‘ + βˆ‘ π‘›βˆž 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—+𝑝+1] (1 + 𝑗 𝑝)} || < 1, After factoring π‘§βˆ’π‘βˆ’1 out the fraction simplifies to, = || {𝑝(𝑝 + 1) + βˆ‘ 𝑛 (𝑛 βˆ’ 1)∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—+𝑝+1] (1 + 𝑗 𝑝) 2 } {βˆ’π‘ + βˆ‘ π‘›βˆž 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝) π‘Žπ‘—π‘§π‘—+𝑝+1] (1 + 𝑗 𝑝)} || < 1, 𝑝(𝑝 + 1) + βˆ‘ 𝑛 (𝑛 βˆ’ 1) ∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—+𝑝+1] (1 + 𝑗 𝑝 ) 2 Here the leading term is 𝑝(𝑝 + 1) and the remaining part is a series that depends on 𝑧. βˆ’π‘ + βˆ‘ 𝑛 ∞ 𝑗=𝑝 [(1 βˆ’ πœ†) (1 + 𝑗 𝑝 ) π‘Žπ‘—π‘§π‘—+𝑝+1] (1 + 𝑗 𝑝 ) Here the leading term is βˆ’π‘, with the remaining part as a series. To evaluate the modulus At 𝒛 β†’ 𝟎, Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1880 https://internationalpubls.com The series terms involving 𝑧𝑗+𝑝+1 will reduce, making the leading terms 𝑝(𝑝 + 1) in the numerator and βˆ’π‘ in the denominator dominant. The expression becomes approximately | 𝑝(𝑝 + 1) βˆ’π‘ | = |βˆ’(𝑝 + 1)| = (𝑝 + 1) < 1 This needs to be less than 1, so for small 𝑧 this inequality holds only if (𝑝 + 1) < 1, which suggests 𝑝 < 0. At 𝒛 β†’ ∞, The series terms involving higher powers of 𝑧 will dominate, and we need to analyse the growth rate of the series terms relative to each other. For large 𝑧, we compare the asymptotic behaviour of the series in both the numerator and denominator. 5. Discussion In this work, a new subclass β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝) of meromorphic functions defined in the punctured unit disk β–³βˆ— = {𝑧 ∈ β„‚ ∢ 0 < |𝑧| < 1} is introduced using a generalized SΔƒlΔƒgean-type differential operator 𝐷𝑝,πœ† 𝑛 . The functions in this class are characterized by satisfying a specific real-part inequality involving the parameters 𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝 which controls their geometric behaviour. A sharp upper bound is derived for the coefficients π‘Žπ‘— of functions in this class. This bound depends on the involved parameters and effectively restricts the growth of the series coefficients. Such bounds are crucial for understanding the geometric structure and distortion properties of the functions. If the SΔƒlΔƒgean operator 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) satisfies a specific positivity condition involving its logarithmic derivative, then the function 𝑓 is convex in β–³βˆ— . This result connects analytic properties of the differential operator to the geometric shape (convexity) of the function image. Theorem 3 provides a sufficient condition for univalence: if the modulus of the logarithmic derivative of 𝐷𝑝,πœ† 𝑛 𝑓(𝑧) remains less than one, then the function 𝑓 is univalent (injective) in β–³βˆ— .This ensures that the function preserves distinctness of points under mapping, a foundational property in geometric function theory. Overall, these theorems collectively establish important structural properties coefficient bounds, convexity, and univalence of the functions in the class β„³(𝛼, 𝛽, 𝛾, π‘˜, πœ†, 𝑛, 𝑝), highlighting the impact of the SΔƒlΔƒgean operator on the analytic and geometric behaviour of meromorphic functions. References [1] Alharayzeh, Ma’moun IY, and Firas Ghanim. "New Subclass of K‐Uniformly Univalent Analytic Functions with Negative Coefficients Defined by Multiplier Transformation." In Abstract and Applied Analysis, vol. no. 1 (2022), p. 4593799. Hindawi. [2] Ali, Rosihan M., and V. Ravichandran. β€œClasses of meromorphic Ξ±-convex functions.” Taiwanese Journal of Mathematics 14, no. 4 (2010): 1479-1490. [3] Amourah, A., and Maslina Darus. β€œSome properties of a new class of univalent functions involving a new generalized differential operator with negative coefficients.” Indian Journal of Science and Technology 9, no. 36 (2016): 1-7. Communications on Applied Nonlinear Analysis ISSN: 1074-133X Vol 32 No. 10s (2025) 1881 https://internationalpubls.com [4] Carroll, Tom. Geometric Function Theory. Springer Nature, (2024). [5] Darus, Maslina, and Rabha W. Ibrahim. β€œOn univalence criteria for analytic functions defined by a generalized differential operator.” Acta Universitatis Apulensis 23 (2010): 195-200. [6] Deniz, Erhan. β€œConvexity of integral operators involving generalized Bessel functions.” Integral transforms and special functions 24, no. 3 (2013): 201-216. [7] Duren, Peter L. Univalent functions. Vol. 259. Springer Science & Business Media, (2001). [8] Goodman, Adolph W. β€œUnivalent functions and nonanalytic curves.” Proceedings of the American Mathematical Society 8, no. 3 (1957): 598-601. [9] Lee, See Keong, V. Ravichandran, and Supramaniam Shamani. "Coefficient bounds for meromorphic starlike and convex functions." JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only] 10, no. 3 (2009): Paper-No. [10] Li, Ming-Liang, Lei Shi, and Zhi-Gang Wang. β€œOn a Subclass of Meromorphic Close‐to [11] Convex Functions.” The Scientific World Journal 2014, no. 1 (2014): 806168. [12] Park, Ji Hyang, Hari Mohan Srivastava, and Nak Eun Cho. β€œUnivalence and convexity [13] conditions for certain integral operators associated with the Lommel function of the first [14] kind." AIMS Math 6, no. 10 (2021): 11380-11402. [15] Silverman, Herb. "Univalent functions with negative coefficients." Proceedings of the [16] American mathematical society 51, no. 1 (1975): 109-116.