Next Article in Journal
DIA-TSK: A Dynamic Incremental Adaptive Takagi–Sugeno–Kang Fuzzy Classifier
Previous Article in Journal
Consumer and Corporate Debt in a 3D Macroeconomic Model
Previous Article in Special Issue
Starlikeness Associated with the Van Der Pol Numbers
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Results on Linear Operators Associated with Pascal Distribution Series for a Certain Class of Normalized Analytic Functions

by
Saiful R. Mondal
1,*,†,
Manas Kumar Giri
2,† and
Raghavendar Kondooru
2,†
1
Department of Mathematics and Statistics, College of Science, King Faisal University, Al-Hasa 31982, Saudi Arabia
2
Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology Vellore, Vellore 632014, India
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2025, 13(7), 1053; https://doi.org/10.3390/math13071053
Submission received: 21 January 2025 / Revised: 27 February 2025 / Accepted: 22 March 2025 / Published: 24 March 2025
(This article belongs to the Special Issue Advances on Complex Analysis, 2nd Edition)

Abstract

:
In this study, we establish sufficient conditions for determining when linear operators related to the Pascal distribution series belong to various subclasses of univalent functions. Our findings are based on applying a coefficient bound from a specific class of analytic functions, providing valuable insights into the behavior of these functions under transformation.

1. Introduction

The Pascal distribution series [1], a fundamental component of probability theory, is extensively employed in statistics to construct generating functions that effectively model various probability and counting processes. This series is not only pivotal in these areas but also significantly contributes to the study of analytic functions, particularly in exploring essential properties such as univalence, starlikeness, and convexity.
Moreover, the Pascal distribution series serves as a foundation for deriving linear operators within geometric function theory, which enhances our understanding of the geometric behavior of functions. For instance, El-Deeb et al. [1] formulated a power series that links its coefficients to the Pascal distribution, allowing researchers to investigate the influence of these coefficients on the geometrical properties of univalent functions. This connection not only deepens our insight into the characteristics of such functions but also fosters further exploration in the field of geometric function theory. The Pascal distribution is described as follows to give additional context:
A variable y is said to follow a Pascal distribution [1] if it assumes values 0 , 1 , 2 , 3 , with specific associated probabilities,
( 1 s ) d , s d ( 1 s ) d 1 ! , s 2 d ( d + 1 ) ( 1 s ) d 2 ! , s 3 d ( d + 1 ) ( d + 2 ) ( 1 s ) d 3 ! ,
respectively, here s and d are termed as the parameters. So, then
P ( y = j ) = j + d 1 d 1 s j ( 1 s ) d , j = 0 , 1 , 2 , .
In [1], the Pascal distribution series derived as
P s d ( z ) = z + j = 2 j + d 2 d 1 s j 1 ( 1 s ) d z j ,
where d 1 and 0 s 1 .
In complex analysis, researchers have applied the Pascal distribution (refer to [1,2,3,4] and reference therein) series to define subclasses of univalent functions, establishing sufficient conditions for these functions to be starlike or convex. This field is still evolving, with ongoing research focused on deriving new bounds. Its use deepens insights into transformation properties, conformal mappings, and harmonic structures, making it an essential tool for exploring complex structures in geometric contexts. Starlike and convex functions, which have applications in conformal mappings and geometric function theory, often have constraints on their series coefficients. By using the Pascal distribution series in generating the linear operators, researchers can derive necessary and sufficient conditions for different subclasses of univalent functions.
Let consider a function Ψ ( z ) defined as
Ψ ( z ) = z + j = 2 α j z j ,
and A represent the class of all functions Ψ ( z ) given in (1), that are analytic in the open unit disk D , where D = { z : | z | < 1 } . Moreover, the classes S , S * , and C (as described in [5]) represent the classes of univalent, starlike, and convex functions, respectively, and the analytic characterizations for these classes are given as follows:
S : = Ψ A : Ψ is univalent in D , S * : = Ψ S : Ψ is starlike in D , C : = Ψ S : Ψ is convex in D .
Let Ψ A is said to be starlike of order σ ( 0 σ < 1 ) if it satisfies the following condition:
z Ψ Ψ > σ , z D ,
and convex of order σ if it satisfies the following condition:
1 + z Ψ Ψ > σ , z D .
For σ = 0 the classes S * ( 0 ) = S * and C ( 0 ) = C .
A function Ψ S * is said to be uniformly starlike in the unit disk D if for every circular arc γ , with center z 0 contained in D then Ψ ( γ ) is also starlike with respect to Ψ ( z 0 ) in D . We denote the class of uniformly starlike functions with U S T .
A function Ψ C is said to be uniformly convex in D if for every circular arc γ with center z 0 in D then Ψ ( γ ) is also convex in D . We use UCV to denote the class of uniformly convex functions.
Additionally, consider a class of k uniformly convex of order σ , denoted as k UCV ( σ ) , which is defined in [6] as follows.
Definition 1
([6]). Let Ψ A , with 0 k < and 0 σ < 1 , then
Ψ k UCV ( σ ) 1 + z Ψ Ψ k z Ψ Ψ + σ .
Note that, if σ = 0 then k UCV ( σ ) k UCV , and if k = 1 then 1 UCV UCV , known as classes of uniformly convex functions (see [7,8,9]).
A related class, denoted by k S p ( σ ) , is defined using the Alexander transform. Specifically, Ψ belongs to k UCV ( σ ) z Ψ k S p ( σ ) . If σ = 0 , then k S p ( σ ) k ST (see [10]).
Definition 2
([11]). Let Ψ A and 0 < α < , then
Ψ CP ( α ) 1 + z Ψ Ψ + α z Ψ Ψ + 1 α .
Definition 3
([12]). When λ > 0 , the classes S λ * and C λ are defined in the following manner
S λ * = Ψ A : z Ψ Ψ 1 < λ ,
and
C λ = Ψ A : z Ψ Ψ < λ .
Definition 4
([13]). A function Ψ A is in k ST [ X , Y ]
( Y 1 ) z Ψ Ψ ( X 1 ) ( Y + 1 ) z Ψ Ψ ( X + 1 ) > k ( Y 1 ) z Ψ Ψ ( X 1 ) ( Y + 1 ) z Ψ Ψ ( X + 1 ) 1 ,
further, Ψ A is in k UCV [ X , Y ]
( Y 1 ) ( z Ψ ) Ψ ( X 1 ) ( Y + 1 ) ( z Ψ ) Ψ ( X + 1 ) > k ( Y 1 ) ( z Ψ ) Ψ ( X 1 ) ( Y + 1 ) ( z Ψ ) Ψ ( X + 1 ) 1 ,
where k 0 , 1 Y < X 1 .
The subclasses k ST [ X , Y ] and k UCV [ X , Y ] extend various other subclasses of univalent functions by appropriately modifying the parameters. This leads us to observe that
i.  
k ST [ 1 2 σ , 1 ] k S p ( σ ) and k UCV [ 1 2 σ , 1 ] k UCV ( σ ) , ( 0 σ < 1 ) (see [6]).
ii. 
k ST [ 1 , 1 ] k ST and k UCV [ 1 , 1 ] k UCV . (see [10,14]).
iii.
0 ST [ 1 2 σ , 1 ] S * ( σ ) and 0 UCV [ 1 2 σ , 1 ] C ( σ ) . (see [15]).
iv.
0 ST [ X , Y ] S * [ X , Y ] and 0 UCV [ X , Y ] C [ X , Y ] . (see [16]).
Definition 5
([17]). A function Ψ S is considered spirallike if there exists an angle ϑ such that | ϑ | < π 2 and the following condition holds for all z D
e i ϑ z Ψ Ψ > 0 .
Definition 6
([18,19]). For | ϑ | < π 2 , 0 ν < 1 and 0 ϱ < 1 , the classes S ( ϑ , ν , ϱ ) and K ( ϑ , ν , ϱ ) are defined accordingly:
S ( ϑ , ν , ϱ ) : = Ψ S : e i ϑ z Ψ ( 1 ϱ ) Ψ + ϱ z Ψ > ν cos ϑ , z D .
K ( ϑ , ν , ϱ ) : = h S : e i ϑ z Ψ + Ψ Ψ + ϱ z Ψ > ν cos ϑ , z D .
If ϱ = 0 , then (see [20])
S ( ϑ , ν , 0 ) SP ( ϑ , ν ) , and K ( ϑ , ν , 0 ) KP ( ϑ , ν ) .
Definition 7
([21]). For 0 δ < 1 and σ 1 , UCSP ( σ , δ ) and SP p ( σ , δ ) are defined as follows:
UCSP ( σ , δ ) = Ψ A : e i σ 1 + z Ψ Ψ z Ψ Ψ + δ
and
SP p ( σ , δ ) = Ψ A : e i σ z Ψ Ψ z Ψ Ψ 1 + δ .
If δ = 0 then UCSP ( σ , 0 ) UCSP ( σ ) and SP p ( σ , 0 ) SP p ( σ ) (see [22]).
Definition 8
([23,24]). Let Ψ A , if 0 λ < 1 and 0 β < 1 then z D
  • Ψ S ( λ , β ) z Ψ + λ z 2 Ψ Ψ > β ,
  • Ψ C ( λ , β ) z [ z Ψ + λ z 2 Ψ ] z Ψ > β .
Next, we are considering a subclass of A , denoted by M ζ , χ η ( ω ) which was introduced and studied in [25].
Definition 9
([25]). Let Ψ A , with η C { 0 } and ω < 1 , if 0 ζ < 1 and 0 χ < 1 then
Ψ M ζ , χ η ( ω ) | Ψ + χ z Ψ + ζ z 2 Ψ 1 2 η ( 1 ω ) + Ψ + χ z Ψ + ζ z 2 Ψ 1 | < 1 , z D .
The coefficient bound for the function Ψ M ζ , χ η ( ω ) is:
| α j | 2 | η | ( 1 ω ) j + j ( 2 ζ χ ) + j 2 ( χ 3 ζ ) + j 3 ζ , j = 2 , 3 , .
Since,
j + j ( 2 ζ χ ) + j 2 ( χ 3 ζ ) + j 3 ζ = j ( 1 χ ) + j ζ ( 2 + j 2 ) + j 2 ( χ 3 ζ ) j 2 ( χ 3 ζ ) ,
then the inequality (3) can be written as (see [25]):
| α j | 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) .
Similarly, if
j + j ( 2 ζ χ ) + j 2 ( χ 3 ζ ) + j 3 ζ = j ( 1 χ ) + j ζ ( 2 + j 2 ) + j 2 χ 3 j 2 ζ = j ( 1 χ ) + j ζ ( 2 + j 2 ) + j 2 χ + 3 j ζ 3 j ( j + 1 ) ζ j ( j + 1 ) 3 ζ ,
then
| α j | 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ .
If Ψ , ψ A , then the Hadamard product [5] of Ψ and ψ be defined as
( Ψ ψ ) ( z ) = z + j = 2 α j β j z j ,
where Ψ ( z ) = z + j = 2 α j z j and ψ ( z ) = z + j = 2 β j z j .
Now, let us define the convolution operator P s d ( Ψ , z ) using Hadamard product as
P s d ( Ψ , z ) = P s d ( z ) Ψ ( z ) = z + j = 2 j + d 2 d 1 s j 1 ( 1 s ) d α j z j , z D .
Recall the notion of the Pochhammer symbol, which is defined as
( a ) j : = a ( a + 1 ) j 1 , ( a ) 0 = 1 , j N .
Using the Pochhammer symbol, the operator P s d ( Ψ , z ) in (6) can be rewritten as
P s d ( Ψ , z ) = z + j = 2 X j z j ,
where
X j = ( d ) j 1 ( 1 ) j 1 s j 1 ( 1 s ) d α j
The study of special functions like hypergeometric functions (refer to [25,26,27,28,29]), confluent hypergeometric functions (refer to [30,31]), Wright’s function (refer to [32]), and generalized Bessel functions (refer to [33,34]), has garnered significant interest in Geometric Function Theory. Porwal ([3]) introduced the Poisson distribution series and demonstrated its intriguing applications within univalent functions. Following this, researchers expanded on this work by introducing series based on other distributions, such as the hypergeometric distribution (refer to [35]), confluent hypergeometric distribution (refer to [36]), Binomial distribution (refer to [37]), generalized distribution (refer to [4]) and Pascal distribution (refer to [1,2,19]). These studies established necessary and sufficient conditions for specific univalent function classes.
Motivated by previous research on the connections between distinct subclasses of analytic univalent functions and hypergeometric, Poisson, and binomial distribution series, we employ the convolution operator P s d ( Ψ , z ) and the integral operator T s d ( Ψ , z ) to ascertain specific inclusion relations between M ζ , χ η ( ω ) and with different subclasses of analytic univalent functions. This is how the remainder of the article is organized: We present some preliminary findings related to the several subclasses mentioned above in Section 2. The inclusion properties of the linear operators P s d ( Ψ , z ) and T s d ( Ψ , z ) associated with the Pascal distribution series function from the class M ζ , χ η ( ω ) are discussed in Section 3. Our primary focus is on finding sufficient conditions for the operators P s d ( Ψ , z ) and T s d ( Ψ , z ) . All of the findings are presented with proof in Section 3. As corollaries, several particular cases of the conclusions derived in Section 3 are described in Section 4. Section 5 contains the work’s conclusion and potential next directions.

2. Preliminary Results

Lemma 1
([18]). Let Ψ A has the form specified in (1), a sufficient condition for Ψ to be in S ( ϑ , ν , ϱ ) is stated as follows
j = 2 ( ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ) j + ( 1 ϱ ) ( 1 ν sec ϑ ) | α j | 1 ν ,
where | ϑ | < π 2 , 0 ν < 1 and 0 ϱ < 1 .
Lemma 2
([19]). Let Ψ A has the form specified in (1), a sufficient condition for Ψ to be in K ( ϑ , ν , ϱ ) is stated as follows
j = 2 j ( ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ) j + ( 1 ϱ ) ( 1 ν sec ϑ ) | α j | 1 ν ,
where | ϑ | < π 2 , 0 ν < 1 and 0 ϱ < 1 .
Lemma 3
([21]). Assume Ψ A has the form specified in (1), then Ψ will be in SP p ( σ , δ ) if the following inequality holds
j = 2 2 j cos σ δ | α j | cos σ δ ,
where σ 1 , 0 δ < 1 .
Lemma 4
([21]). Assume Ψ A has the form specified in (1), then Ψ will be in UCSP ( σ , δ ) if the following inequality holds
j = 2 j 2 j cos σ δ | α j | cos σ δ , z D
where σ 1 , 0 δ < 1 .
Lemma 5
([13]). Let Ψ A has the form specified in (1), a sufficient condition for Ψ to be in k ST [ X , Y ] is stated as follows
j = 2 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | | α j | | Y X | ,
where 1 Y < X 1 and k 0 .
Lemma 6
([13]). Let Ψ A has the form specified in (1), a sufficient condition for Ψ to be in k UCV [ X , Y ] is stated as follows
j = 2 j 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | | α j | | Y X | ,
where 1 Y < X 1 and k 0 .
Lemma 7
([11]). Assume Ψ A has the form specified in (1), then Ψ will be in CP ( α ) if the following inequality holds
j = 2 j + 2 ( α 1 ) j | α j | 2 α 1 ,
where 0 < α < .
Lemma 8
([12]). Assume Ψ A has the form specified in (1), then Ψ will be in S λ * if the following inequality holds for λ > 0
j = 2 ( λ + j 1 ) | α j | λ .
Lemma 9
([12]). Assume Ψ A has the form specified in (1), then Ψ will be in C λ if the following inequality holds for λ > 0
j = 2 j ( λ + j 1 ) | α j | λ .
Lemma 10
([23]). Let Ψ A has the form specified in (1), a sufficient condition for Ψ to be in S ( λ , β ) is stated as follows
j = 2 j + λ j ( j 1 ) β | α j | 1 β ,
where 0 λ < 1 , 0 β < 1 .
Lemma 11
([24]). Let Ψ A has the form specified in (1), a sufficient condition for Ψ to be in C ( λ , β ) is stated as follows
j = 2 j j + λ j ( j 1 ) β | α j | 1 β ,
where 0 λ < 1 , 0 β < 1 .

3. Main Results

This section presents the main findings of our study. We derived conditions for the linear operators such that they would be in different subclasses of univalent functions. The results are analyzed in terms of accuracy which provides valuable insights into their theoretical and practical implications.

3.1. Results on Convolution Operator

In this subsection, we derived inclusion results for the linear operator P s d ( Ψ , z ) .
Theorem 1.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
[ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( 1 s ) ( χ 3 ζ ) s ( d 1 ) + ( 1 ϱ ) ( 1 ν sec ϑ ) ( 1 s ) 2 3 ζ s 2 ( d 2 ) 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( 1 + s ( d 1 ) ) ( χ 3 ζ ) s ( d 1 ) ( 1 s ) d ( 1 ϱ ) ( 1 ν sec ϑ ) 2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 6 ζ s 2 ( d 2 ) 2 ( 1 s ) d ( 1 ν ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) S ( ϑ , ν , ϱ ) .
Proof. 
Applying Equation (8) to the sufficient condition for the class S ( ϑ , ν , ϱ ) as presented in Lemma 1, which gives
j = 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | 1 ν .
Next, we substitute (4) into the first sum and (5) into the second sum of (18)
j = 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) + j = 2 ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d ( [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) + ( 1 ϱ ) ( 1 ν sec ϑ ) 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 s ( j + 1 ) ) = 2 | η | ( 1 ω ) ( 1 s ) d ( [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) + ( 1 ϱ ) ( 1 ν sec ϑ ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) .
Using the expression (19) and substituting it back into (18), we obtain
[ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( 1 s ) ( χ 3 ζ ) s ( d 1 ) + ( 1 ϱ ) ( 1 ν sec ϑ ) ( 1 s ) 2 3 ζ s 2 ( d 2 ) 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( 1 + s ( d 1 ) ) ( χ 3 ζ ) s ( d 1 ) ( 1 s ) d ( 1 ϱ ) ( 1 ν sec ϑ ) 3 ζ s 2 ( d 2 ) 2 2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d ( 1 ν ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (20) completes the proof. □
Theorem 2.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
[ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] s ( d 1 ) + ( 1 ϱ ) ( 1 ν sec ϑ ) ( 1 s ) [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] s ( d 1 ) + ( 1 ϱ ) ( 1 ν sec ϑ ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( 1 ν ) s ( d 1 ) ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) K ( ϑ , ν , ϱ ) .
Proof. 
Applying Equation (8) to the sufficient condition for the class K ( ϑ , ν , ϱ ) in Lemma 2, which gives
j = 2 j ( ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ) j + ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | 1 ν .
Using (4) on the left side of (21), we obtain
j = 2 j ( ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ) j + ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j [ ( ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ) j + ( 1 ϱ ) ( 1 ν sec ϑ ) ] ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d j = 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( d ) j 1 ( 1 ) j 1 s ( j 1 ) + 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d j = 2 ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j s ( j 1 ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d ( [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( 1 s ) d 1 + ( 1 ϱ ) ( 1 ν sec ϑ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ) .
Using the expression (22) and substituting it back into (21), we obtain
( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ( 1 ϱ ) ( 1 ν sec ϑ ) ( 1 + s ( d 1 ) ) s ( d 1 ) ( 1 s ) d ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ( 1 s ) d + ( 1 ϱ ) ( 1 ν sec ϑ ) ( 1 s ) s ( d 1 ) ( 1 ν ) ( χ 3 ζ ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (23) completes the proof. □
Theorem 3.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
2 ( 1 s ) ( χ 3 ζ ) ( cos σ + δ ) ( 1 s ) 2 3 ζ s ( d 2 ) 2 ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) + ( cos σ + δ ) 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d s ( d 1 ) ( cos σ δ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , the operator P s d ( Ψ , z ) SP p ( σ , δ ) .
Proof. 
Applying Equation (8) in Lemma 3, which gives
j = 2 2 j cos σ δ ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | cos σ δ .
Next, we substitute (4) and (5) into the left side of (24)
j = 2 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 ( cos σ + δ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) j = 2 ( cos σ + δ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d 2 ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) ( cos σ + δ ) 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 s ( j + 1 ) = 2 | η | ( 1 ω ) ( 1 s ) d ( 2 ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ( cos σ + δ ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) .
Using the expression (25) and substituting it back into (24), we obtain
( cos σ + δ ) 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d 2 ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) s ( d 1 ) + 2 ( 1 s ) ( χ 3 ζ ) s ( d 1 ) ( cos σ + δ ) ( 1 s ) 2 3 ζ s 2 ( d 2 ) 2 ( cos σ δ ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (26) completes the proof. □
Theorem 4.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
2 s ( d 1 ) ( cos σ + δ ) ( 1 s ) 2 s ( d 1 ) ( cos σ + δ ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( cos σ δ ) s ( d 1 ) ( υ 3 ) 2 | τ | ( 1 γ ) ,
then for d > 0 and 0 s 1 , the operator P s d ( Ψ , z ) UCSP ( σ , δ ) .
Proof. 
Applying Equation (8) in Lemma 4, which gives
j = 2 j 2 j cos σ δ ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | cos σ δ .
Using (4) on the left side of (27), we obtain
j = 2 j 2 j cos σ δ ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j 2 j cos σ δ ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d j = 2 2 j cos σ δ ( d ) j 1 ( 1 ) j s ( j 1 ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d 2 j = 1 ( d ) j ( 1 ) j s ( j ) ( cos σ + δ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j d ( j ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d 2 ( ( 1 s ) d 1 ) ( cos σ + δ ) s ( d 1 ) [ ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ] .
Using the expression (28) and substituting it back into (27), we obtain
2 ( 1 ( 1 s ) d ) ( cos σ + δ ) s ( d 1 ) ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) ( cos σ δ ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (29) completes the proof. □
Theorem 5.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 ( 1 s ) 2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) ( 1 + s ( d 1 ) ) ( 1 s ) d 1 + 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d 1 | Y X | 2 | η | ( 1 ω ) ( 1 s ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) k ST [ X , Y ] .
Proof. 
Applying Equation (8) to the sufficient condition for the class k ST [ X , Y ] in Lemma 5, which gives
j = 2 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | | A j | | Y X | .
Using (8) in the left side of (30), we obtain
j = 2 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) + | Y + 1 | j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) | X + 1 | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | .
Next, we substitute (4) into the first sum and (5) into the second sum of (31)
j = 2 2 ( k + 1 ) + | Y + 1 | j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) | X + 1 | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) + | Y + 1 | j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) j = 2 2 ( k + 1 ) | X + 1 | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 s ( j + 1 ) ) ( 1 s ) d = 2 | η | ( 1 ω ) ( 2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) ( 1 s ) d .
Using the expression (32) and substituting it back into (30), we obtain
2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d ( 1 s ) 2 + 2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d | Y X | 2 | η | ( 1 ω ) .
We attain the desired outcome by employing Equation (33) together with the theorem’s hypothesis. □
Theorem 6.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
( 2 ( k + 1 ) + | Y + 1 | ) ( 2 ( k + 1 ) | X + 1 | ) s ( d 1 ) ( 1 s ) ( 2 ( k + 1 ) + | Y + 1 | ) ( 1 s ) d + ( 2 ( k + 1 ) | X + 1 | ) s ( d 1 ) ( 1 + s ( d 1 ) ) ( 1 s ) d | Y X | ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) k UCV [ X , Y ] .
Proof. 
Applying Equation (8) to the sufficient condition for the class k UCV [ X , Y ] in Lemma 6, which gives
j = 2 j 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | | Y X | .
Using (4) on the left side of (34), we obtain
j = 2 j 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j 2 ( 2 ( k + 1 ) + | Y + 1 | ) j ( 2 ( k + 1 ) | X + 1 | ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 2 ( k + 1 ) + | Y + 1 | ) j = 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 2 ( k + 1 ) | X + 1 | ) j = 2 ( d ) j 1 ( 1 ) j s ( j 1 ) ( 1 s ) d = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( ( 2 ( k + 1 ) + | Y + 1 | ) ( 1 ( 1 s ) d ) ( 2 ( k + 1 ) | X + 1 | ) s ( d 1 ) [ ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ] ) .
Using the expression (35) and substituting it back into (34), we obtain
( 2 ( k + 1 ) + | Y + 1 | ) ( 1 ( 1 s ) d ) ( 2 ( k + 1 ) | X + 1 | ) s ( d 1 ) [ ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ] | Y X | ( χ 3 ζ ) 2 | η | ( 1 ω ) .
We attain the desired outcome by employing Equation (36) together with the theorem’s hypothesis. □
Theorem 7.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
s ( d 1 ) + 2 ( α 1 ) ( 1 s ) s ( d 1 ) + 2 ( α 1 ) ( 1 + s ( d 1 ) ) ( 1 s ) d s ( d 1 ) ( 2 α 1 ) ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 it follows that P s d ( Ψ , z ) CP ( α ) .
Proof. 
Applying Equation (8) to the sufficient condition for the class CP ( α ) in Lemma 7, which gives
j = 2 j + 2 ( α 1 ) j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | 2 α 1 .
Using (4) on the left side of (37), we obtain
j = 2 j + 2 ( α 1 ) j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j + 2 ( α 1 ) j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d j = 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) + 2 ( α 1 ) j = 2 ( d ) j 1 ( 1 ) j s ( j 1 ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 ( 1 s ) d ) + 2 ( α 1 ) s ( d 1 ) [ ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ] .
Using the expression (38) and substituting it back into (37), we obtain
1 + 2 ( α 1 ) ( 1 s ) s ( d 1 ) 1 + 2 ( α 1 ) s ( d 1 ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( 2 α 1 ) ( χ 3 ζ ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (39) completes the proof. □
Theorem 8.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
1 s χ 3 ζ + ( λ 1 ) ( 1 s ) 2 3 ζ s ( d 2 ) 1 + s ( d 1 ) χ 3 ζ + λ 1 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d s ( d 1 ) λ 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 it follows that P s d ( Ψ , z ) S λ * .
Proof. 
Applying Equation (8) to the sufficient condition for the class S λ * in Lemma 8, which gives
j = 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( λ 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | λ .
Next, we substitute (4) into the first sum and (5) into the second sum of (40)
j = 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( λ 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) + j = 2 ( λ 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d 1 ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) + ( λ 1 ) 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 s ( j + 1 ) = 2 | η | ( 1 ω ) ( 1 s ) d ( 1 ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) + ( λ 1 ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) = 2 | η | ( 1 ω ) ( 1 ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d + ( λ 1 ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d ) .
Using the expression (41) and substituting it back into (40), we obtain
2 | η | ( 1 ω ) [ ( 1 s ) ( χ 3 ζ ) s ( d 1 ) + ( λ 1 ) ( 1 s ) 2 3 ζ s 2 ( d 2 ) 2 ( 1 + s ( d 1 ) ) ( χ 3 ζ ) s ( d 1 ) + ( λ 1 ) 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d ] λ .
Using the hypothesis of the theorem along with Equation (42) completes the proof. □
Theorem 9.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
s ( d 1 ) + ( λ 1 ) ( 1 s ) s ( d 1 ) + ( λ 1 ) ( 1 + s ( d 1 ) ) ( 1 s ) d λ s ( d 1 ) ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) C λ .
Proof. 
Applying Equation (8) in Lemma 9, which gives
j = 2 j ( λ + j 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | λ .
Using (4) on the left side of (43), we obtain
j = 2 j ( λ + j 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j ( λ + j 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d j = 2 ( λ + j 1 ) ( d ) j 1 ( 1 ) j s ( j 1 ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d j = 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) + ( λ 1 ) j = 2 ( d ) j 1 ( 1 ) j s ( j 1 ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d ( ( 1 s ) d 1 ) + ( λ 1 ) s ( d 1 ) [ ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ] .
Using the expression (44) and substituting it back into (43), we obtain
s ( d 1 ) + ( λ 1 ) ( 1 s ) s ( d 1 ) s ( d 1 ) + ( λ 1 ) ( 1 + s ( d 1 ) ) s ( d 1 ) ( 1 s ) d λ ( χ 3 ζ ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (45) completes the proof. □
Theorem 10.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
λ s d ( 1 s ) 1 ( 1 s ) d + 1 β ( d 1 ) s [ ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ] ( 1 β ) ( υ 3 ) 2 | τ | ( 1 γ ) ,
then, for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) S ( λ , β ) .
Proof. 
Applying Equation (8) to the sufficient condition for the class S ( λ , β ) in Lemma 10, which gives
j = 2 λ j 2 + j ( 1 λ ) β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | 1 β .
Substitute (4) and (5) in (46), we have
j = 2 λ j 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 j ( 1 λ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 λ j 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) + j = 2 j ( 1 λ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) j = 2 β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d ( λ ( χ 3 ζ ) j = 1 ( d ) j ( 1 ) j s ( j ) + ( 1 λ ) ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) β 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 t ( j + 1 ) ) = 2 | η | ( 1 ω ) ( 1 s ) d ( λ ( χ 3 ζ ) ( ( 1 s ) d 1 ) + ( 1 λ ) ( χ 3 ζ ) t ( d 1 ) [ ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ] β 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) .
Using the expression (47) and substituting it back into (46), we obtain
β ( 1 s ) d 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 λ ) ( 1 s ) d ( χ 3 ζ ) s ( d 1 ) ( 1 + s ( d 1 ) ) + λ ( χ 3 ζ ) + ( 1 λ ) ( 1 s ) ( χ 3 ζ ) s ( d 1 ) β ( 1 s ) 2 3 ζ s 2 ( d 2 ) 2 λ ( χ 3 ζ ) ( 1 s ) d ( 1 β ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (48) completes the proof. □
Theorem 11.
Let Ψ A has the form specified in (1). Suppose Ψ also in M ζ , χ η ( ω ) and satisfies the following condition
λ s d ( 1 s ) 1 + 1 β ( 1 s ) s ( d 1 ) s ( d 1 ) β ( 1 + s ( d 1 ) ) s ( d 1 ) ( 1 s ) d ( 1 β ) ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) C ( λ , β ) .
Proof. 
Applying Equation (8) in Lemma 11, which gives
j = 2 j j + λ j ( j 1 ) β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | 1 β .
Using (4) on the left side of (49), we obtain
j = 2 j j + λ j ( j 1 ) β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j j + λ j ( j 1 ) β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( 1 s ) d j = 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) + j = 2 λ ( d ) j 1 ( 1 ) j 2 s ( j 1 ) j = 2 β ( d ) j 1 ( 1 ) j s ( j 1 ) = 2 | η | ( 1 ω ) ( χ 3 ζ ) ( ( ( 1 s ) d 1 ) + λ s d ( 1 s ) ( d + 1 ) β s ( d 1 ) [ ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ] ) ( 1 s ) d .
Using the expression (50) and substituting it back into (49), we obtain
( 1 ( 1 s ) d ) + λ s d ( 1 s ) 1 β s ( d 1 ) ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( 1 β ) ( χ 3 ζ ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (51) completes the proof. □
Remark 1.
Note that in Theorem 1 if ϑ = 0 , ν = 0 and ϱ = 0 with the condition 2 + s ( d 2 ) ( χ 3 ζ ) s ( d 1 ) 2 | η | ( 1 ω ) ( 1 s ) d then the linear operator P s d ( Ψ , z ) is starlike function.

3.2. Results on Integral Operator

Let us consider a integral operator T s d ( z ) defined as
T s d ( z ) = 0 z P s d ( θ ) θ d θ = 0 z θ + j = 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d θ θ j d θ = 0 z 1 + j = 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d θ j 1 d θ .
T s d ( z ) = z + j = 2 ( d ) j 1 ( 1 ) j s ( j 1 ) ( 1 s ) d z j .
Let Ψ A then
T s d ( Ψ , z ) = z + j = 2 ( d ) j 1 ( 1 ) j s ( j 1 ) ( 1 s ) d α j z j = z + j = 2 Y j z j ,
here
Y j = ( d ) j 1 ( 1 ) j s ( j 1 ) ( 1 s ) d α j .
In this subsection, we derived the conditions for the integral operator T s d ( Ψ , z ) such that it would be in convex subclasses of univalent functions.
Theorem 12.
Let Ψ ( z ) A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
[ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( 1 s ) ( χ 3 ζ ) + ( 1 ϱ ) ( 1 ν sec ϑ ) ( 1 s ) 2 3 ζ s ( d 2 ) [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( 1 + s ( d 1 ) ) ( χ 3 ζ ) ( 1 s ) d + ( 1 ϱ ) ( 1 ν sec ϑ ) 6 ζ s ( d 2 ) 2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 ( 1 s ) d s ( d 1 ) ( 1 ν ) 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) K ( ϑ , ν , ϱ ) .
Proof. 
Applying Equation (52) to the sufficient condition for the class K ( ϑ , ν , ϱ ) in Lemma 2, which gives
j = 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | 1 ν .
Next, we substitute (4) into the first sum and (5) into the second sum of (53)
j = 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) + j = 2 ( 1 ϱ ) ( 1 ν sec ϑ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d ( [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) + ( 1 ϱ ) ( 1 ν sec ϑ ) 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 s ( j + 1 ) ) = 2 | η | ( 1 ω ) ( 1 s ) d ( [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) + ( 1 ϱ ) ( 1 ν sec ϑ ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) .
Using the expression (54) and substituting it back into (53), we obtain
( 1 ϱ ) ( 1 ν sec ϑ ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d + [ ( 1 ϱ ) sec ϑ + ϱ ( 1 ν ) ] ( χ 3 ζ ) s ( d 1 ) 1 s ( 1 + s ( d 1 ) ) ( 1 s ) d ( 1 ν ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (55) completes the proof. □
Theorem 13.
Let Ψ ( z ) A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
2 ( 1 s ) ( χ 3 ζ ) ( cos σ + δ ) ( 1 s ) 2 3 ζ s ( d 2 ) 2 ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) + ( cos σ + δ ) 6 ζ s ( d 2 ) 2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 ( 1 s ) d s ( d 1 ) ( cos σ δ ) 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) UCSP ( σ , δ ) .
Proof. 
Applying Equation (52) in Lemma 4, which gives
j = 2 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 ( cos σ + δ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | cos σ δ .
Next, we substitute (4) into the first sum and (5) into the second sum of (56)
j = 2 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 ( cos σ + δ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) j = 2 ( cos σ + δ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d 2 ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) ( cos σ + δ ) 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 s ( j + 1 ) = 2 | η | ( 1 ω ) ( 1 s ) d ( 2 ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ( cos σ + δ ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) .
Using the expression (57) and substituting it back into (56), we obtain
2 ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) s ( d 1 ) ( cos σ + δ ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d ( cos σ δ ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (58) completes the proof. □
Theorem 14.
Let Ψ ( z ) A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 ( 1 s ) 2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) ( 1 + s ( d 1 ) ) ( 1 s ) d 1 + 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d 1 | Y X | 2 | η | ( 1 ω ) ( 1 s ) ,
then, for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) k UCV [ X , Y ] .
Proof. 
The sufficient condition for the class k UCV [ X , Y ] in Lemma 6 gives
j = 2 j 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | | B j | | Y X | .
Using (52) on the left side of (59), we obtain
j = 2 2 ( k + 1 ) ( j 1 ) + | j ( Y + 1 ) ( X + 1 ) | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) + | Y + 1 | j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) | X + 1 | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | .
Next, we substitute (4) into the first sum and (5) into the second sum of (60)
j = 2 2 ( k + 1 ) + | Y + 1 | j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) | X + 1 | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 2 ( k + 1 ) + | Y + 1 | j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) j = 2 2 ( k + 1 ) | X + 1 | ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) j = 2 ( d ) j 1 ( 1 ) j s ( j 1 ) 2 ( k + 1 ) | X + 1 | 3 ζ j = 2 ( d ) j 1 ( 1 ) j + 1 s ( j 1 ) ) ( 1 s ) d = 2 | η | ( 1 ω ) ( 2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) ( 1 s ) d .
Using the expression (61) and substituting it back into (59), we obtain
2 ( k + 1 ) + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d 2 ( k + 1 ) | X + 1 | 3 ζ s 2 ( d 2 ) 2 ( 1 s ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d | Y X | 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (62) completes the proof. □
Theorem 15.
Let Ψ ( z ) A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
1 s χ 3 ζ + ( λ 1 ) ( 1 s ) 2 3 ζ s ( d 2 ) 1 + s ( d 1 ) χ 3 ζ + λ 1 6 ζ s ( d 2 ) 2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 ( 1 s ) d s ( d 1 ) λ 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) C λ .
Proof. 
Applying Equation (52) to the sufficient condition for the class C λ in Lemma 9, which gives
j = 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( λ 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | λ .
Next, we substitute (4) into the first sum and (5) into the second sum of (63)
j = 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 ( λ 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 j ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) + j = 2 ( λ 1 ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d 1 ( χ 3 ζ ) s ( d 1 ) j = 2 ( d 1 ) j ( 1 ) j s ( j ) + ( λ 1 ) 3 ζ s 2 ( d 2 ) 2 j = 2 ( d 2 ) j + 1 ( 1 ) j + 1 s ( j + 1 ) = 2 | η | ( 1 ω ) ( 1 s ) d ( 1 ( χ 3 ζ ) s ( d 1 ) ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) + ( λ 1 ) 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) .
Using the expression (64) and substituting it back into (63), we obtain
1 s χ 3 ζ + ( λ 1 ) ( 1 s ) 2 3 ζ s ( d 2 ) 1 + s ( d 1 ) χ 3 ζ + λ 1 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d s ( d 1 ) λ 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (65) completes the proof. □
Theorem 16.
Let Ψ ( z ) A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 6 ζ s ( d 2 ) β λ s ( d 1 ) ( χ 3 ζ ) + ( 1 λ ) ( χ 3 ζ ) ( 1 + s ( d 1 ) ) ( 1 s ) d + λ s ( d 1 ) ( χ 3 ζ ) + ( 1 λ ) ( 1 s ) ( χ 3 ζ ) β ( 1 s ) 2 3 ζ s ( d 2 ) s ( d 1 ) ( 1 β ) 2 | η | ( 1 ω ) ,
then, for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) C ( λ , β ) .
Proof. 
Applying Equation (52) in Lemma 11, which gives
j = 2 j + λ j ( j 1 ) β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | 1 β .
Next, we substitute (4) into the first sum and (5) into the second sum of (66)
j = 2 λ j 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | + j = 2 j ( 1 λ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d | α j | j = 2 λ j 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) + j = 2 j ( 1 λ ) ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j 2 ( χ 3 ζ ) j = 2 β ( d ) j 1 ( 1 ) j 1 s ( j 1 ) ( 1 s ) d 2 | η | ( 1 ω ) j ( j + 1 ) 3 ζ = 2 | η | ( 1 ω ) ( 1 s ) d ( λ ( χ 3 ζ ) j = 2 ( d ) j 1 ( 1 ) j 1 s ( j 1 ) + ( 1 λ ) ( χ 3 ζ ) j = 2 ( d ) j 1 ( 1 ) j s ( j 1 ) β 3 ζ j = 2 ( d ) j 1 ( 1 ) j + 1 s ( j 1 ) ) = 2 | η | ( 1 ω ) ( 1 s ) d ( + ( 1 λ ) ( χ 3 ζ ) s ( d 1 ) [ ( 1 s ) ( d 1 ) ( 1 + s ( d 1 ) ) ] + λ ( ( 1 s ) d 1 ) ( χ 3 ζ ) β 3 ζ s 2 ( d 2 ) 2 ( 1 s ) ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ) .
Using the expression (67) and substituting it back into (66), we obtain
λ ( χ 3 ζ ) ( 1 ( 1 s ) d ) + ( 1 λ ) ( χ 3 ζ ) s ( d 1 ) [ ( 1 s ) ( 1 + s ( d 1 ) ) ( 1 s ) d ] β 3 ζ s 2 ( d 2 ) 2 ( 1 s ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d ( 1 β ) 2 | η | ( 1 ω ) .
Using the hypothesis of the theorem along with Equation (68) completes the proof. □
Remark 2.
Observe that the sufficient conditions for the integral operator T s d ( Ψ , z ) , as outlined in Theorem 12, 13, 14, 15 and 16, align perfectly with those specified in Theorem 1, 3, 5, 8 and 10, respectively, thus ensuring the corresponding validity of the convolution operator P s d ( Ψ , z ) .

4. Special Cases

In this section, we present some corollaries, which are derived directly from the theorems in Section 3.

4.1. Corollaries for Convolution Operator

In this subsection we derived corollaries for the linear operator P s d ( Ψ , z ) .
If we take ϱ = 0 in Theorem 1 and Theorem 2, we obtain the following results directly.
Corollary 1.
Let Ψ A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 1 s ) sec ϑ ( χ 3 ζ ) s ( d 1 ) + ( 1 ν sec ϑ ) ( 1 s ) 2 3 ζ s 2 ( d 2 ) 2 ( 1 + s ( d 1 ) ) ( 1 s ) d sec ϑ ( χ 3 ζ ) s ( d 1 ) ( 1 ν sec ϑ ) 2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 6 ζ s 2 ( d 2 ) 2 ( 1 s ) d ( 1 ν ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) SP ( ϑ , ν ) .
Corollary 2.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
s ( d 1 ) sec ϑ + ( 1 ν sec ϑ ) ( 1 s ) s ( d 1 ) ( 1 s ) d sec ϑ ( 1 ν sec ϑ ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( 1 ν ) s ( d 1 ) ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) KP ( ϑ , ν ) .
Corollary 3.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
2 ( 1 s ) ( χ 3 ζ ) ( 1 s ) 2 cos σ 3 ζ s ( d 2 ) 2 ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) + cos σ 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d s ( d 1 ) cos σ 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) SP p ( σ ) .
Corollary 4.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
2 s ( d 1 ) cos σ ( 1 s ) 2 s ( d 1 ) ( 1 s ) d + cos σ ( 1 + s ( d 1 ) ) ( 1 s ) d cos σ s ( d 1 ) ( χ 3 ζ ) 2 | τ | ( 1 γ ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) UCSP ( σ ) .
Corollary 5.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 1 + k ) ( 1 s ) ( χ 3 ζ ) ( k + σ ) ( 1 s ) 2 3 ζ s ( d 2 ) ( 1 + k ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) + ( k + σ ) 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d s ( d 1 ) ( 1 σ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) k S p ( σ ) .
Corollary 6.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
s ( 1 + k ) ( d 1 ) s ( 1 + k ) ( d 1 ) ( 1 s ) d ( k + σ ) ( 1 s ) + ( k + σ ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( 1 σ ) s ( d 1 ) ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) k UCV ( σ ) .
Corollary 7.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 1 + k ) ( 1 s ) ( χ 3 ζ ) ( 1 + k ) ( 1 + s ( d 1 ) ) ( χ 3 ζ ) ( 1 s ) d + k ( 1 s ) d 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 k ( 1 s ) 2 3 ζ s ( d 2 ) s ( d 1 ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) k ST .
Corollary 8.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
k ( 1 + s ( d 1 ) ) s ( 1 + k ) ( d 1 ) ( 1 s ) d + s ( 1 + k ) ( d 1 ) k ( 1 s ) s ( d 1 ) ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) k UCV .
Corollary 9.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 2 | X + 1 | ) ( 1 s ) d 1 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 2 | X + 1 | ) ( 1 s ) 3 ζ s 2 ( d 2 ) 2 + 2 + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) 2 + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) ( 1 + s ( d 1 ) ) ( 1 s ) d 1 | Y X | 2 | η | ( 1 ω ) ( 1 s ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) S * [ X , Y ] .
Corollary 10.
Let Ψ ( z ) A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 2 | X + 1 | ) ( 1 s ) d s ( d 1 ) ( 1 + s ( d 1 ) ) + 2 + | Y + 1 | ( 2 | X + 1 | ) s ( d 1 ) ( 1 s ) ( 2 + | Y + 1 | ) ( 1 s ) d | Y X | ( χ 3 ζ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that P s d ( Ψ , z ) C [ X , Y ] .

4.2. Corollaries for Integral Operator

In this subsection we derived corollaries for the linear operator T s d ( Ψ , z ) .
If we take ϱ = 0 in Theorem 12, we obtain the following result directly.
Corollary 11.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 1 s ) sec ϑ ( χ 3 ζ ) s ( d 1 ) + ( 1 ν sec ϑ ) ( 1 s ) 2 3 ζ s 2 ( d 2 ) 2 ( 1 + s ( d 1 ) ) ( 1 s ) d sec ϑ ( χ 3 ζ ) s ( d 1 ) ( 1 ν sec ϑ ) 2 + 2 s ( d 2 ) + s 2 ( d 2 ) 2 6 ζ s 2 ( d 2 ) 2 ( 1 s ) d ( 1 ν ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) KP ( ϑ , ν ) .
Corollary 12.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
2 ( 1 s ) ( χ 3 ζ ) ( 1 s ) 2 cos σ 3 ζ s ( d 2 ) 2 ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) + cos σ 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d s ( d 1 ) cos σ 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) UCSP ( σ ) .
Corollary 13.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 1 + k ) ( 1 s ) ( χ 3 ζ ) + ( k + σ ) 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 1 s ) d ( 1 + k ) ( 1 + s ( d 1 ) ) ( 1 s ) d ( χ 3 ζ ) ( k + σ ) ( 1 s ) 2 3 ζ s ( d 2 ) s ( d 1 ) ( 1 σ ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) k UCV ( σ ) .
Corollary 14.
Let Ψ A has the form specified in (1) and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
( 1 + k ) ( 1 s ) ( χ 3 ζ ) ( 1 + k ) ( 1 + s ( d 1 ) ) ( χ 3 ζ ) ( 1 s ) d + k ( 1 s ) d 3 ζ s ( d 2 ) 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 k ( 1 s ) 2 3 ζ s ( d 2 ) s ( d 1 ) 2 | η | ( 1 ω ) ,
then for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) k UCV .
Corollary 15.
Let Ψ ( z ) A with the form (1), and assume it also belongs to the class M ζ , χ η ( ω ) . Suppose the following inequality holds
2 + | Y + 1 | ( χ 3 ζ ) s ( d 1 ) + ( 2 | X + 1 | ) ( 1 s ) d 1 3 ζ s 2 ( d 2 ) 2 1 + s ( d 2 ) + s 2 ( d 2 ) 2 2 ( 2 | X + 1 | ) ( 1 s ) 3 ζ s 2 ( d 2 ) 2 ( 2 + | Y + 1 | ) ( 1 s ) d 1 ( χ 3 ζ ) s ( d 1 ) ( 1 + s ( d 1 ) ) | Y X | 2 | η | ( 1 ω ) ( 1 s ) ,
then for d > 0 and 0 s 1 , it follows that T s d ( Ψ , z ) C [ X , Y ] .
Remark 3.
Observe that the conditions for the linear operator T s d ( Ψ , z ) , as outlined in Corollary 11, 12, 13, 14 and 15, align perfectly with those specified in Corollary 1, 3, 5, 7 and 9, respectively, thus ensuring the corresponding validity of the linear operator P s d ( Ψ , z ) .

5. Conclusions

This study presents significant results on the inclusion properties of P s d ( Ψ , z ) and T s d ( Ψ , z ) for a certain class of normalized analytic functions. Using the coefficient bounds of the functions in the class M ζ , χ η ( ω ) , we determined the sufficient conditions for the linear operators. These findings help to determine the geometric properties of linear operators generated by functions from subclasses of analytic functions, which play a significant role in geometric function theory.
Future research is on finding sharp conditions for these results and exploring different linear operators generated by special functions and functions from subclasses of analytic functions. This study is the foundation for further studies that offer new possibilities for theoretical and practical applications.
Problem 1.
Determine sufficient conditions for the integral operator T s d ( Ψ , z ) to belong to the classes S ( ϑ , ν , ϱ ) , SP p ( σ , δ ) , k ST [ X , Y ] , S λ * and S ( λ , β ) .

Author Contributions

Conceptualization, S.R.M., M.K.G. and R.K.; methodology, S.R.M., M.K.G. and R.K.; validation, S.R.M. and R.K.; formal analysis, M.K.G.; writing—original draft preparation, M.K.G.; writing—review and editing, S.R.M. and R.K.; supervision, R.K.; funding acquisition, S.R.M. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia [Grant No. KFU250159].

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. El-Deeb, S.M.; Bulboaca, T.; Dziok, J. Pascal distribution series connected with certain subclasses of univalent functions. Kyungpook Math. J. 2019, 59, 301–314. [Google Scholar] [CrossRef]
  2. Lashin, A.M.Y.; Badghaish, A.O.; Algethami, B.M. Inclusion relations for some classes of analytic functions involving Pascal distribution series. J. Inequal. Appl. 2022, 2022, 161. [Google Scholar] [CrossRef]
  3. Porwal, S. An application of a Poisson distribution series on certain analytic functions. J. Complex Anal. 2014, 2014, 984135. [Google Scholar]
  4. Porwal, S. Mapping properties of certain subclasses of analytic functions associated with generalized distribution series. Appl. Math. E-Notes 2020, 20, 39–45. [Google Scholar]
  5. Duren, P.L. Univalent Functions; Springer: New York, NY, USA, 1983. [Google Scholar]
  6. Wani, L.A.; Swaminathan, A. Inclusion properties of hypergeometric type functions and related integral transforms. Stud. Univ. Babes-Bolyai Math. 2020, 65, 211–227. [Google Scholar] [CrossRef]
  7. Goodman, A.W. On uniformly starlike functions. J. Math. Anal. Appl. 1991, 155, 364–370. [Google Scholar] [CrossRef]
  8. Goodman, A.W. On uniformly convex functions. Ann. Polon. Math. 1991, 56, 87–92. [Google Scholar] [CrossRef]
  9. Ronning, F. Uniformly convex functions and a corresponding class of starlike functions. Proc. Am. Math. Soc. 1993, 118, 189–196. [Google Scholar] [CrossRef]
  10. Kanas, S.; Wisinowaska, A. Conic domains and starlike functions. Rev. Roumaine Math. Pures Appl. 2000, 45, 647–658. [Google Scholar]
  11. Bharati, R.; Parvatham, R.; Swaminathan, A. On subclasses of uniformly convex functions and corresponding class of starlike functions. Tamkang J. Math. 1997, 28, 17–32. [Google Scholar] [CrossRef]
  12. Gangadharan, A.; Shanmugam, T.N.; Srivastava, H.M. Generalized hypergeometric functions associated with K-uniformly convex functions. Comput. Math. Appl. 2002, 44, 1515–1526. [Google Scholar] [CrossRef]
  13. Noor, K.I.; Malik, S.N. On coefficient inequalities of functions associated with conic domains. Comput. Math. Appl. 2011, 62, 2209–2217. [Google Scholar] [CrossRef]
  14. Kanas, S.; Wisinowaska, A. Conic regions and k-uniform convexity. J. Comput. Appl. Math. 1999, 105, 327–336. [Google Scholar] [CrossRef]
  15. Silverman, H. Univalent functions with negative coefficients. Proc. Am. Math. Soc. 1975, 51, 109–116. [Google Scholar] [CrossRef]
  16. Janowski, W. Some extremal problems for certain families of analytic functions. Ann. Pol. Math. 1973, 28, 297–326. [Google Scholar] [CrossRef]
  17. Spacek, L. Contribution à la theorie des fonctions univalents. Cas. Pro Pest. Mat. Fys. 1932, 62, 12–19. [Google Scholar]
  18. Murugusundaramoorthy, G. Subordination results for spiral-like functions associated with the Srivastava-Attiya operator. Integral Transform. Spec. Funct. 2012, 23, 97–103. [Google Scholar] [CrossRef]
  19. Murugusundaramoorthy, G. Certain subclasses of Spiral-like univalent functions related with Pascal distribution series. Moroc. J. Pure Appl. Anal. 2021, 7, 312–323. [Google Scholar] [CrossRef]
  20. Libera, R.J. Univalent α-Spiral Functions. Canadian J. Math. 1967, 19, 449–456. [Google Scholar] [CrossRef]
  21. Selvaraj, C.; Geetha, R. On subclasses of uniformly convex spirallike functions and corresponding class of spirallike functions. Int. J. Contemp. Math. Sci. 2010, 5, 1845–1854. [Google Scholar]
  22. Ravichandran, V.; Selvaraj, C.; Rajalakshmi, R. On uniformly convex spiral functions and uniformly spirallike functions. Soochow J. Math. 2003, 29, 393–406. [Google Scholar]
  23. Thulasiram, T.; Suchithra, K.; Sudharsan, T.V.; Murugusundaramoorthy, G. Some inclusion results associated with certain subclass of analytic functions involving Hohlov operator. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 2014, 108, 711–720. [Google Scholar] [CrossRef]
  24. Murugusundaramoorthy, G.; Viyaja, K.; Porwal, S. Some inclusion results of certain subclass of analytic functions associated with Poisson distribution series. Hacet. J. Math. Stat. 2016, 45, 1101–1107. [Google Scholar] [CrossRef]
  25. Giri, M.K.; Raghavendar, K. Inclusion results on hypergeometric functions in a class of analytic functions associated with linear operators. Contemp. Math. 2024, 5, 1738–1757. [Google Scholar] [CrossRef]
  26. Carleson, B.C.; Sha§er, D.B. Starlike and prestarlike hypergeometric functions. SIAM J. Math. Anal. 1984, 15, 737–745. [Google Scholar] [CrossRef]
  27. Mostafa, A.O. A study on starlike and convex properties for hypergeometric functions. J. Inequal. Pure Appl. Math. 2009, 10, 1–16. [Google Scholar]
  28. Swaminathan, A. Certain sufficiency conditions on Gaussian hypergeometric functions. J. Inequal. Pure Appl. Math. 2004, 5, 1–10. [Google Scholar]
  29. Raghavendar, K.; Swaminathan, A. Integral transforms of functions to be in certain class defined by the combination of starlike and convex functions. Comput. Math. Appl. 2012, 63, 1296–1304. [Google Scholar] [CrossRef]
  30. Bohra, N.; Ravichandran, V. On confluent hypergeometric functions and generalized Bessel functions. Anal. Math. 2017, 43, 533–545. [Google Scholar] [CrossRef]
  31. Miller, S.; Mocanu, P.T. Univalence of Gaussian and confluent hypergeometric functions. Proc. Am. Math. Soc. 1990, 110, 333–342. [Google Scholar] [CrossRef]
  32. Raina, R.K. On univalent and starlike Wright’s hypergeometric functions. Rend. Sem. Mat. Univ. Padova 1996, 95, 11–22. [Google Scholar]
  33. Baricz, Á. Generalized Bessel Functions of the First Kind; Lecture Notes in Mathematics; Springer: Berlin/Heidelberg, Germany, 2010; Volume 1994, pp. 23–69. [Google Scholar] [CrossRef]
  34. Mondal, S.R.; Giri, M.K.; Kondooru, R. Sufficient conditions for linear operators related to confluent hypergeometric function and generalized Bessel function of the first kind to belong to a certain class of analytic functions. Symmetry 2024, 16, 662. [Google Scholar] [CrossRef]
  35. Porwal, S.; Gupta, A. Some properties of convolution for hypergeometric distribution type series on certain analytic univalent functions. Acta Univ. Apulensis Math. Inform. 2018, 56, 69–80. [Google Scholar] [CrossRef]
  36. Porwal, S.; Kumar, S. Confluent hypergeometric distribution and its applications on certain classes of univalent functions. Afr. Mat. 2017, 28, 1–8. [Google Scholar] [CrossRef]
  37. Nazeer, W.; Mehmood, Q.; Kang, S.M.; Haq, A.U. An application of a Binomial distribution series on certain analytic functions. J. Comput. Anal. Appl. 2019, 26, 11–17. Available online: https://eudoxuspress.com/index.php/pub/issue/view/29/28 (accessed on 30 January 2025).
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Mondal, S.R.; Giri, M.K.; Kondooru, R. Results on Linear Operators Associated with Pascal Distribution Series for a Certain Class of Normalized Analytic Functions. Mathematics 2025, 13, 1053. https://doi.org/10.3390/math13071053

AMA Style

Mondal SR, Giri MK, Kondooru R. Results on Linear Operators Associated with Pascal Distribution Series for a Certain Class of Normalized Analytic Functions. Mathematics. 2025; 13(7):1053. https://doi.org/10.3390/math13071053

Chicago/Turabian Style

Mondal, Saiful R., Manas Kumar Giri, and Raghavendar Kondooru. 2025. "Results on Linear Operators Associated with Pascal Distribution Series for a Certain Class of Normalized Analytic Functions" Mathematics 13, no. 7: 1053. https://doi.org/10.3390/math13071053

APA Style

Mondal, S. R., Giri, M. K., & Kondooru, R. (2025). Results on Linear Operators Associated with Pascal Distribution Series for a Certain Class of Normalized Analytic Functions. Mathematics, 13(7), 1053. https://doi.org/10.3390/math13071053

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop