Journal of Interdisciplinary Mathematics

ISSN: 0972-0502 (Print), ISSN: 2169-012X (Online)

Vol. 26 (2023), No. 4, pp. 619–628
DOI : 10.47974/JIM-1480

Some properties of subordination differential and superordination for

Some properties of subordination differential And Superordination
univalent
Some
for functions
properties
univalent associated
associatedwith
of subordination
functions the
the convolution
differential
with operators
And Superordination
convolution operators
for univalent functions associated with the convolution operators
Bahaa A. Anter *
Abdul Rahman
Bahaa A.anter * S. Juma
†

Bahaa Rahman
Abdul A.anter
Department of *Mathematics
S.Juma †

Abdul Rahman
Department
College S.Juma †
of Mathematics
of Education for Pure Sciences
Department
College ofofAnbar
Mathematics
of Education
University for Pure Sciences
College of of
University
Ramadi Education
Anbar for Pure Sciences
University of Anbar
Ramadi
Iraq
Ramadi
Iraq
Iraq
Abstract
Abstract
Abstract
In this paper, we define the Hadamard product (or convolution) ( ([ ]))( ) of the
analytic
Infunction in theweunit
this paper, disk the Hadamard
define [ | | product] with the non-zero parameter
(or convolution) ( , satisfactory
([ ]))( ) of the
analytic
to function in the
the relationship ( unit disk
([ ]))( ) [ (| | )( with the]))(
] ([ non-zero
) (parameter
([ , satisfactory
])) ( ), to
to the relationship
derive subordination, ([ ]))( ) (and sandwich
( superordination )( ([
results ]))(
for )functions
( ])) ( (), to
of([ the form
derive
([ ]))( subordination,
) by using some superordination
properties of and sandwich and
Subordination results for functionsconcepts.
Superordination of the Our formresults
(
serve to generalize
([ ]))( ) by usingand improve
some someofprevious
properties studiesand
Subordination where the results of
Superordination this research
concepts. were
Our results
serve totogeneralize
applied and improve
linear operator 𝔅𝔅 bandsome previous studies
the multiplier operatorwhere
ℑ . theThisresults
work of
canthis research were
be generalized to
appliedlinear
other to linear operator 𝔅𝔅 band the multiplier operator ℑ . This work can be generalized to
operators.
other linear operators.
Subject Classification:Primary
Subject Classification: Primary 93A30,
93A30, Secondary
Secondary 49K15.
49K15.
Subject
Keywords:Classification: Primary
HadamardProduct
Keywords: Hadamard 93A30, Secondary
product,, Convex, Univalent 49K15.
functions, Subordination, Superordination.
Univalent Functions, Superordination .
Keywords: Hadamard Product , Convex, Univalent Functions, Subordination, Superordination .

1. Introduction
1. Introduction
Let be the class of function ( ) in the form:
Let be the class of function ( ) in the form:
( ) ∑ ( )
( ) ∑ ( )
here ( ) analytic in open unit disk [ | | ] and normalized
with ) analytic
here ((0) in open
=0 , (0)=1. unitconsider
Also, disk ] and normalized
[be |the| class of univalent function in .
with (0) =0 , (0)=1. Also, consider be the class of univalent function in .

* E-mail: bah20u2005@uonbar.edu.iq (Corresponding Author)

†
E-mail: juma@uoanbar.edu.iq

©
620 B. A. ANTER AND A. R. S. JUMA

Let ( ) ( ) and be the subclasses of such that:

{ Let ℛ ({ ) (Let
()}) and
( }) be
( the
) and
subclasses
( be theofsubclasses
such that:
) Then ofstarlike
is such function.
that:
( )
( ) ( ) ( )
{ ℛℛ {{ } ℛ } {} } } (} ( )( Then
) Then is)is
starlike
Then
convexfunction.
isfunction.
starlike function.
( ) ( ) ( )
( ) ( ) ( )
{ ℛℛ{ { }ℛ }{ } } ( } Then )(isThen is)convex
Then function.
close-to-convex function.
is convex function.
( )( ) ( )
( ) ( )
{ ℛ{ { ( )} ℛ { ( )} } Then is}close-to-convex
Then is close-to-convex
function. function.
If the functions and are analytic in . We say is subordinate to
or is said to be superordinate to in , written as or ( )
If the functions and
If the functions are analytic
and are
in analytic
. We sayin . is We subordinate
say
. So is(subordinate
to) to
( ) if there a Schwarz function 𝜐𝜐( ) analytic in , with |𝜐𝜐( )|
or is saidorto beissuperordinate
said to be superordinate
to in , to writteninas , written as or ( ) or ( )
is equal to (𝜐𝜐( )), . In particular, if the function is univalent in ,
( ) if there a( Schwarz
) if therefunction
a Schwarz 𝜐𝜐( function
) analytic𝜐𝜐(in) analytic
, with |𝜐𝜐(
in )|, with. |𝜐𝜐(
So )|( ) . So ( )
then subordination is equivalent to ( ) ( ) and ( )
is equal to is equal
( ), (see [ ](𝜐𝜐( [ ]). to
)) , . In
(𝜐𝜐( )) particular,
, . Inifparticular,
the functionif the is univalent
function isinunivalent
, in ,
then Further,
subordination
then
if subordination
( ) is equivalent
∑ is to
and equivalent
( )( ) to ∑( () )and then (( ) )weand ( )
( ), (see [ (] [ ), (see
]). [ ] [ ]).
define the Hadamard product (or convolution) by:
Further, if Further, ( ) if ∑( ) and
∑ ( ) and ∑( ) then we then we
∑
define the Hadamard
define the Hadamard
product (or convolution)
product (or convolution)
by: by:
( ) ( ) ∑ ( )( )

( ) ( )( ) ∑( ) ∑( )( () )( )
Suppose ([ ]) be the form ([ ])( ) ∑ ([ ]) where
([ ]) affected by the presence of a non-zero parameter , satisfying for
some Suppose.Then([Suppose be
([ the
]) recurrent
the formbe ([
])relationship:the])(
[form)] ([ ])( ∑ ) ([ ])∑ where ([ ]) where
([ ]) affected
([ by
]) affected
the presence
by the of presence
a non-zero of aparameter
non-zero parameter , satisfying ,for
satisfying for
some some
.Then the recurrent
.Then the relationship:
recurrent relationship:
[ ] [ ]
( ([ ]))( ) ( )( ([ ]))( ) ( ([ ])) ( )
(1.2)
( ([ ]))(
( ) ([( ]))( ))( ( ([ )( ]))( ([) ( ]))( )([ ( ])) (([) ])) ( )
(1.2) (1.2)
Recently, in [ ],a linear operator is 𝔅𝔅 known to use a generalized
BesselRecently,
functionin𝒲𝒲 [ ],a(linear
Recently, [which
) [in] operator is is
the𝔅𝔅
],a linear first sortisof𝔅𝔅
operator order q,
known to as
usedefined
known toby:
a generalized
use a generalized
Bessel function
Bessel
𝒲𝒲 function
( ) [ 𝒲𝒲] which ( )is[the] which
first sort
is the
of order
first sort
q, asofdefined
order q,by:
as defined by:
𝔅𝔅 ( ) ( ) ( ), (1.3)

𝔅𝔅 ( ) 𝔅𝔅 ( ) ( ) ,( ) ( ), (1.3) (1.3)
where ( ) ( ) ( ) 𝒲𝒲 (√ )
( )
where ∑ where
( )( ) ( )() ) , (( ) ) ( 𝒲𝒲 )(√ ) 𝒲𝒲 (√ )
(
( ) ( )
The multiplier
∑ operator
∑ ℑ , studied
, in( [ ], is (defined
) for ) ,
( ) ( ) ( ) ( )

The by:
The multiplier operator
multiplierℑ operator ℑ studied in studied
[ ], is indefined
[ ], isfor defined, for ,
by: by:
ℑ ( ) ( ), ,

ℑ ( ) ℑ ( ),( ) ( ), , ,
SOME PROPERTIES OF SUBORDINATION DIFFERENTIAL AND SUPERORDINATION621

ℑ ( ) ∫ ℑ ( ) , ,

ℑ ( ) ( ℑ ( )), .

The series expansion of ℑ ( ) is for for the

function of the form (1.1) given by:

( )
ℑ ( ) ∑ ( ) . (1.4)

Bulboaca in 2005 [5], used results of Miller and Mocanu [9],studied some
classes of first order differential superordination. Ali in 2004 and others [2], they
use results of Bulboaca to get conditions for some normalized analytic functions
( )
to satisfy ( )
,where univalent in with ( ) ( ) .
Recently, Goyal and others [7], used certain results by sandwich theorem on
some categories of analytical functions. Further,Cotˆırla and Al-khafaji
([9],[10]) they got conditions for some normalized analytic functions. We are
working on generalizing and improving these results using the concept of
convolution.The main objective of this research is to identify sufficient
conditions for the analytical function ([ ]) to obtaining and proof several
subordination, superordination results and certain results by using sandwich
theorem.

2. Preliminaries
Definition 2.1: [ ] Let Υ: , and ( ) be univalent in . If ℱ( ) is
analytic in that fulfills the second-order differential subordination:
Υ (ℱ( ) ℱ ( ) ℱ ( ) ) ( ), (2.1)
then ℱ( ) is differential dependency solving of (2.1) .

Definition 2.2: [ ] Let Υ : , and ( ) be univalent in . If ℱ( ) and

Υ (ℱ( ) ℱ ( ) ℱ ( ) ) are univalent in and ℱ( ) that fulfills the
second-order differential superordination:
( ) Υ (ℱ( ) ℱ ( ) ℱ ( ) ) (2.2)
then ℱ( ) differential superordination solving of (2.2).

Definition 2.3 [11] Let be the collections of functions which are analytic
and injective on ̅ ( ) ,when ( ) { ( ) },
and ( ) for ( )
622 B. A. ANTER AND A. R. S. JUMA

Lemma 2.4: [9] Let ( ) be univalent function in and let and be analytic
in a domain , ( ) with ( ) when ( ) .Set ( )
( ) ( ( )) and ℏ( ) ( ( ) ( ). Suppose that
() is starlike in .
ℏ ( )
( ) ℛ ( ) , .
( )

If ( ) is analytic in with ( ) ( ), ( ) and ( ( )

( ) ( ( )) ( ( ) ( ) ( ( )) then ( ) ( ).

Lemma 2.5: [11] Let ( ) be convex in and

( )
with ℛ ( ( )
) { ℛ } If ( ) is analytic in
and ( ) ( ) ( ) ( ) then ( ) ( ).

Lemma 2.6: [9] Let ( ) be convex univalent in and let and let and be
analytic in a domain , ( ) Suppose that
() ( ) ( ( ) is starlike univalent in
( ( ))
( ) ℛ (
( ))
) ,
(

If ( ) [ ( ) ] ,with ( ) , and ( ( ) ( ) ( ( ))
is univalent in , and ( ( ) ( ) ( ( )) ( ( ) ( ) ( ( ))
then ( ) ( ).

Lemma 2.7: [9] Let ( ) be convex in and ℛ ( ) If ( )

[ ( ) ] , ( ) ( ) is univalent in and ( )
( ) ( ) then ( ) ( ).

3. Subordination Results
This part introduces some subordination results for analytic function
( ([ ]))( )

Theorem 3.1: Let ( ) be convex univalent in , with ( ) ,

( )
and suppose ℛ ( ( )
) { ℛ },

If , satisfies the subordination:

( ([ ]))( ) ( ([ ]))( ) ( ([ ]))( )
( )( ) ( ) ( ([ ]))( )
)
(
( ([ ]))( )
( ) ( ) then ( ) ( ). (3.1)
SOME PROPERTIES OF SUBORDINATION DIFFERENTIAL AND SUPERORDINATION623

( ([ ]))( )
Proof: Let ( ) ( ) (3.2)
By derivation of (3.1) and using the recurrent relationship (1.2) we get
( ) ( ([ ]))( ) ( ([ ]))( ) ( ([ ]))( )
( )
( ([ ]))( )
)
(
( ([ ]))( )
( ([ ]))( )
),
(
( ) ( ([ ]))( ) ( ([ ]))( ) ( ([ ]))( )
and ( ([ ]))( )
)( ) ( )
(
by using the hypothesis (3.1) we get ( ) ( ) ( ) ( ),
apply Lemma 2.5, when and ,
( ([ ]))( )
then ( ) ( ).

Theorem 3.2: Let be convex univalent in ( ) , and ( ) for all

and suppose that satisfies:

( ) ( ) ( )
ℛ { ( ) ( )
( ) ( )
} , (3.3)

where and suppose that ( ( )) ( )

is starlike univalent in If , satisfies the subordination:

( ) ( ( ))( ( )) ( ( )) ( ), ( )

( ([ ]))( ) ( )( ([ ]))( )
where ( ) ( )
( )
( ([ ]))( ) ( )( ([ ]))( )
( )
( ([ ]))( ) ( )( ([ ]))( )
( )
[( ([ ]))( )] ( )[( ([ ]))( )]
( ([ ]))( ) ( ([ ]))( )
)
( )(
( ([ ]))( ) ( )( ([ ]))( )
then ( ) ( ),

Proof: Let ( ) ( ) and ( ) ( ) ,

when ( ) and ( ) are analytic in . Then we get
( ) ( ) ( ( )) ( ( )) ( ) and
( ) ( ( )) ( ) ( ( ( ))) ( ( )) ( ( )) ( )

Since ( ( )) ( ) starlike, then ( ) is starlike in and

624 B. A. ANTER AND A. R. S. JUMA

( )
ℛ (( ) )
ℛ ( ( ))
( )
( )) ( ) ( )
( (( )) ( )( (( )(
)) ( ))( ) ( )( )( ( ))
( )( (( ))
) ( )
( ( ))( )
( ( )) ( )
ℛℛ
( ( ) )( )(( ()())( )) ( ) ( ) ( ( ))( ( ))
( ) ( () ( )) ( (( ))) ( )
(( ( ( ))( ( ))( ) ( ) ) )
( ) ( ) ( )
ℛ { ( ( )) ( ) ( ) } (. )
ℛ { ( ) ( ( ) )
( )
( )
( )
} .
Also, consider
Also, consider
( ([ ]))( ) ( )( ([ ]))( )
( ) ( ( ([ ]))( ) ( )(
)
([ ]))( )
then
( ) ( ([ ]))( ) ( ([ ]))( )
) then
( )(
( ) ( )
( ([ ]))( ) ( )( ([ ]))( )
( ) (( ([ ])) ( ) ( )( ([ ])) ( )
)
[ ([ ]))( ) ( ([ ]))( )
].
( )(
( ([ ])) ( ) ( )( ([ ])) ( )
[ ([ ]))( ) ( ([ ]))( )
].
( )(
And

And ( ([ ]))( ) ( )( ([ ]))( )

( )
( ([ ]))( ) ( )( ([ ]))( ( ) )
(( ( ([ ]))( ) ( )( ([ ]))( ) )
)
( )
( (( )) ([ [( ( ]))(
)) () )] ( ( ( ))( (([)) ]))(
)( . )
( )
[( ([ ]))( )] ( )[( ([ ]))( )] ( )
We have ( (( ( ([)) ]))( ) ( [( ( )()) ( )]
([ ]))( ) ( ) ( ())(
)
, ( )) .
( ([ ]))( ) ( )( ([ ]))( )
That ( )
[( ([ ]))( )] ( )[( ([ ]))( )] ( )
We [(have([ (
]))( )] ([ )]))(( )] ) ,
(( ([)[( ]))( )( ([ ]))( ) ( )
( ([ ]))( ) ( ([ ]))( )
)
( )(
( ([ ]))( ) ( )( ([ ]))( )
That ( ( ( )) ( ) )
[( ([ ]))( )] ( ([ ]))( )]
From
( (3.4) we get ( ( ))( )[(( )) ( ( ))) ( )
( ([ ]))( ) ( )( ([ ]))( )
( ( ))( ( )) ( ( )) ( )
( ( )) ( )
by using ( ) and Lemma 2.4 we obtain ( ) ( )
From (3.4) we get ( ( ))( ( )) ( ( )) ( )
( ( ))( ( )) ( ( )) ( )

by using ( ) and Lemma 2.4 we obtain ( ) ( )

SOME PROPERTIES OF SUBORDINATION DIFFERENTIAL AND SUPERORDINATION625

4. Super Ordinations Results

Theorem 4.1: Let ( ) be convex in , with ( ) , ,ℛ If
( ([ ]))( )
,( ) [ ( ) ] and
( ([ ]))( ) ( ([ ]))( ) ( ([ ]))( )
( )( ) ( ) ( ([ ]))( )
)
(
be univalent in and satisfies the superordination:
( ) ( )
( ([ ]))( ) ( ([ ]))( ) ( ([ ]))( )
( )( ) ( ) ( ([ ]))( )
) , (4.1)
(
( ([ ]))( )
then ( ) ( ) .

( ([ ]))( )
Proof: Let ( ) ( )
( ([ ]))( ) [( ([ ]))( )] ( ([ ]))( )
Then ( ) ( ) ( )
( ) [( ([ ]))( )]
We have ( )
( ([ ]))( )
)
(
with the same steps of theorem (3.1) and using the hypothesis (4.1), we get
( ) ( ) ( ) ( )
( ([ ]))( )
by apply Lemma 2.7 we obtain ( ) ( )

Theorem 4.2: Let be convex univalent in ( ) , and ( )

( )
for all and suppose that satisfies: ℛ { ( ) ( ) ( )}
,
where , and ( ( )) ( ) is starlike
univalent in If , satisfies the condition :
( ([ ]))( ) ( )( ([ ]))( )
( ) [ ( ) ] and
( ) is univalent in
If ( ( ))( ( )) ( ( )) ( ) ( )( )
( ([ ]))( ) ( )( ([ ]))( )
then ( ) ( )

Proof: Let ( ) ( ) and ( ) ( ) ,

when ( ) is analytic in and ( ) is analytic in .Then we get
( ) ( ) ( ( )) ( ( )) ( )
Since ( ( )) ( ) starlike, then ( ) is starlike in and
626 B. A. ANTER AND A. R. S. JUMA

( ( )) ( ( ( )))( ( )) ( )
ℛ ( ) ℛ ( ) ℛ { ( ) ( ) ( )}
( ( )) ( ( ))
( ([ ]))( ) ( )( ([ ]))( )
Now let ( ) ( ) .
In a similar way to theorem (3.2), we get:

( ( ))( ( )) ( ( )) ( )
( ( ))( ( )) ( ( )) ( ).

by Lemma 2.6 we obtain ( ) ( )

5. Sandwich Results
By combining the above theories, we get the following two sandwich
theories.

Theorem 5.1: Let be convex univalent in , with ( ) ( )

( )
ℛ and ℛ ( ( )
) { ℛ }, where .
( ([ ]))( )
If and ( ) [ ] ,
( ([ ]))( ) ( ([ ]))( ) ( ([ ]))( )
and ( )( ) ( ) ( )
( ([ ]))( )

is univalent in satisfies ( ) ( ) ( )
( ([ ]))( ) ( ([ ]))( ) ( ([ ]))( )
( ) ( ) ( ) ( )
( ([ ]))( )
( ([ ]))( )
( ) then ( ) ( ) ( ).

Theorem 5.2: Let be convex univalent in , with ( ) ( ) ,and

let , satisfies the condition:
( ([ ]))( ) ( )( ([ ]))( )
( ) [ ] and
( ) is univalent in
If ( ( ))( ( )) ( ( )) ( ) ( )
( ( ))( ( )) ( ( )) ( )
( ([ ]))( ) ( )( ([ ]))( )
then ( ) ( ) ( ).

6. Discussion and Conclusion

This paper studies the sufficient conditions for the analytic functions of the
form ( ([ ]))( ) defined by Hadamard product (or convolution) to obtain
subordination and superordination results for those functions. Some sandwich
results were also obtained by merging subordination and superordination results.
SOME PROPERTIES OF SUBORDINATION DIFFERENTIAL AND SUPERORDINATION627

This research can be considered a generalization and improvement of some

previous studies.

Now the above theories can be applied according to certain conditions, as

follows:
(1) Let and ( ([ ]))( ) 𝔅𝔅 ( ), ,-1. Then

𝔅𝔅 ( ) ( )𝔅𝔅 ( ) (𝔅𝔅 ( )) ( ) ( )
by using (6.1). All results above mentioned, satisfying with linear operator
𝔅𝔅 ( ).
(2) Let and ( ([ ]))( ) ℑ ( ), ,-1. Then

(ℑ ( )) ( ) ( )ℑ ( ) (ℑ ( )) ( ) (6.2)

by using (6.2) all results above mentioned, satisfying with the multiplier
operator.

References
References
[1] A. Al-khafaji, Some results of differential subordination and
[1] A. Al-khafaji,
differential Some theorems
superordination results of for differential subordination
univalent functions defined and
by
ruscheweyh derivative operator. J Adv Eng Comput, 3(2) ,(2019).
differential superordination theorems for univalent functions defined
[2] by ruscheweyh
R. M.Ali, , V.Revichandran, , , M.H.
derivative operator. Khan,
J Adv & , K. G.3(2),
Eng Comput, Subromanian
(2019).
Differential sandwich theorems for certain analytic function. For East J. Math.
[2] R.87-9
15(1), M.(2004).
Ali, V. Revichandran, M. H. Khan, & K. G. Subromanian
[3] Differential
A. Baricz, sandwich theorems
E. Deniz, M. for certain
Çaglar andanalytic function.
H. Orhan, For East
Differential
J. Math. 15(1), 87-9 (2004).
subordinations involving generalized Bessel functions, Bull. Malays. Math. Sci.
Soc.
[3] 38,
A. 1255–1280
Baricz, E.(2015).
Deniz, M. Çaglar and H. Orhan, Differential
[4] subordinations
A. Baricz, Geometric
involving properties of generalized
generalized Bessel functions,
Bessel functions, Publ.
Bull. Malays.
Math. Debrecen 73(1-2), 155–178 (2008).
Math. Sci. Soc. 38, 1255–1280 (2015).
[5] E. Bulboaca, Differential subordinations and superordinations, Recent
[4] A. Baricz,
Results, House ofGeometric
Scientific properties
Book Publ.,of generalized
ClujNapoca, Bessel functions, Publ.
(2005).
[6] Math. L. I.Debrecen
Cotˆırla, ,73(1-2), 155–178
& A. Catas, (2008). sandwich theorem for analytic
a differential
functions defined by an
[5] E. Bulboaca, integral operator,(2020).‫‏‬
Differential subordinations and superordinations,
[7] S. P.Goyal, P.Goswami, & H.Silverman, Subordination and
Recent Results, House of Scientific Book Publ., ClujNapoca (2005).
superordination result for a class of analytic multivalent functions. Int. J. Math.
[6] Article
Sci. L. I. Cotˆırla, , & A. Catas,
ID 561638,1-12 a differential sandwich theorem for analytic
(2008).
[8] functions
O. N. defined
Kassar, byO.anN., & A.
integral R. S. (2020).
operator Juma, Analytic functions,
Subordination, q-Ruscheweyh derivative, Hadamard product, Univalent
[7] S. P. Goyal, P. Goswami, & H. Silverman, Subordination and
function. Iraqi Journal of Science, , 2350-2360 (2020).
[9] superordination
S. S.Miller, result& P.for a MocAnu,
class of analytic multivalent
Subordinates functions.
of Differential
Int. J. Math.
Superordinations, Sci. Article ID 561638, 1-12 (2008).
Complex Var. Theory Appl., 48(10), 815826 (2003).
628 B. A. ANTER AND A. R. S. JUMA

[8] O. N. Kassar, O. N., & A. R. S. Juma, Analytic functions, Subordination,

q-Ruscheweyh derivative, Hadamard product, Univalent function.
Iraqi Journal of Science, 2350-2360 (2020).
[9] S. S. Miller, & P. MocAnu, Subordinates of Differential
Superordinations, Complex Var. Theory Appl., 48(10), 815826 (2003).
[10] S. Poonam, & A. K. Bajpai. Certain geometric properties of analytic
functions associated with the convolutions. Kragujevac Journal of
Mathematics, 42(2), 161-175 (2018).
[11] T. N. Shanmugam, V. Ravichandran and S. Sivasubramanian,
Differential Sandwich theorems for subclasses of analytic functions,
Aust. J. Math. Anal. Appl. 3, 1-11 (2006).

Received February, 2022

Revised March, 2022