Next Article in Journal
Hyers Stability and Multi-Fuzzy Banach Algebra
Next Article in Special Issue
Sharp Bounds of Hankel Determinant on Logarithmic Coefficients for Functions of Bounded Turning Associated with Petal-Shaped Domain
Previous Article in Journal
Queueing-Inventory with One Essential and m Optional Items with Environment Change Process Forming Correlated Renewal Process (MEP)
Previous Article in Special Issue
The Study of the New Classes of m-Fold Symmetric bi-Univalent Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Convolution Properties of Certain Classes of Analytic Functions Defined by Jackson q-Derivative

by
Abdel Moneim Y. Lashin
1,2,
Badriah Maeed Algethami
1,* and
Abeer O. Badghaish
1
1
Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
2
Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(1), 105; https://doi.org/10.3390/math10010105
Submission received: 8 December 2021 / Revised: 23 December 2021 / Accepted: 27 December 2021 / Published: 29 December 2021
(This article belongs to the Special Issue Advances on Complex Analysis)

Abstract

:
In this paper, the Jackson q-derivative is used to investigate two classes of analytic functions in the open unit disc. The coefficient conditions and inclusion properties of the functions in these classes are established by convolution methods.
MSC:
30C45; 30C50; 30C55; 30C80

1. Introduction

Let B be the class of functions that are analytic and of the form:
f ( z ) = z + k = 2 a k z k , ( z E : = { z C : z < 1 } ) .
The Hadamard product (or convolution) of two functions f , g B , denoted by f g , is defined by
( f g ) ( z ) = f ( z ) g ( z ) = z + k = 2 a k b k z k ,
where f is given by (1) and g ( z ) = z + k = 2 b k z k . In 1978, Silverman et al. [1] obtained characterizations of convex, starlike and spiral-like functions in terms of convolutions. For each of these classes χ , they determined a function g that depends on χ , such that 1 z ( f g ) 0 . both fundamental and adequate for f to be in χ . As a result of the work by Silverman et al. [1], many important properties of certain subclasses of analytic functions were studied by various authors (for related works, one may refer to [2,3,4,5,6,7,8]). For q ( 0 , 1 ) , the Jackson q-derivative of a function f B is given by (see [9,10])
D q f ( z ) = f ( q z )     f ( z ) ( q 1 ) z ( z 0 ) , f ( 0 ) ( z = 0 ) .
Thus, from (2), we have
D q f ( z ) = 1 + k = 2 k q a k z k 1 ,
where
n q = 1 q n 1 q ,
and, as q 1 , n q n . Here we used
D q ( z n ) = q n 1 q 1 z n 1 = n q z n 1 ( n N : = { 1 , 2 , 3 , } ) ,
and
lim q 1 D q ( z n ) = n z n 1 = d d z z n .
Moreover, we have the following q-derivative rules
D q f ( z ) g ( z ) = g ( z ) D q f ( z ) + f ( q z ) D q g ( z )
and
D q f ( z ) g ( z ) = g ( z ) D q f ( z ) f ( z ) D q g ( z ) g ( z ) g ( q z ) .
We recall a known differential operator Ω q n ( z ) , which was introduced by Govindaraj and Sivasubramanian (see [11]), and is also known as the Salagean q-differential operator, defined recursively on n N 0 : = N { 0 } as follows: For f B and q ( 0 , 1 ) ,
Ω q 0 f ( z ) : = f ( z ) , Ω q 1 f ( z ) : = z D q f ( z ) , . . . , Ω q n f ( z ) : = z D q Ω q n 1 f ( z ) .
Then, we find that
Ω q n f ( z ) = ( f G q n ) ( z ) ( n N 0 , f B ) ,
where
G q n ( z ) : = z + k = 2 k q n z k ( n N 0 , z E ) .
Definition 1.
A function f B is said to be in the class S λ , q * ( A , B ) if and only if
( 1 λ ) f ( z ) z + λ D q f ( z ) 1 + A z 1 + B z z E ,
where q∈ ( 0 , 1 ) , 0 λ 1 , 1 B < A 1 , D q is the Jackson q-derivative and ≺ denotes the usual subordination (see [12,13,14] ).
Definition 2.
A function f B is said to be in the class C λ , q ( A , B ) if and only if
D q f ( z ) + λ q z D q D q f ( z ) 1 + A z 1 + B z z E ,
where q ( 0 , 1 ) , 0 λ 1 , 1 B < A 1 and D q is the Jackson q-derivative.
With the help of the Salagean q-differential operator Ω q n given by (5), we have the following definition.
Definition 3.
A function f B is said to be in the class S λ , q * ( n , A , B ) if and only if
( 1 λ ) Ω q n f ( z ) z + λ Ω q n + 1 f ( z ) z 1 + A z 1 + B z z E ,
where q∈ ( 0 , 1 ) , 1 B < A 1 , 0 λ 1 and n N 0 = { 0 , 1 , 2 , } .
In this paper, we use a technique similar to that given by Silverman et al. [1] in order to obtain certain convolution properties of the two classes S λ , q * ( A , B ) and C λ , q ( A , B ) . Furthermore, the coefficient conditions and inclusion properties of the functions in these classes are established.

2. Convolution Conditions

Theorem 1.
Let f ( z ) be a function of the form (1). Then f ( z ) S λ , q * ( A , B ) if and only if
1 z f ( z ) 1 λ z C z 2 1 z + λ z ( q C + ( 1 q z ) C ) z 2 1 z 1 q z 0 z E
where C = C θ = e i θ + A A B , and 0 θ < 2 π .
Proof. 
Let function f be in the class S λ , q * ( A , B ) if and only if
( 1 λ ) f ( z ) z + λ D q f ( z ) = 1 + A ω ( z ) 1 + B ω ( z ) ,
which is equivalent to
( 1 λ ) f ( z ) z + λ D q f ( z ) 1 + A e i θ 1 + B e i θ , ( z E , θ 0 , 2 π )
which simplifies to
( 1 λ ) f ( z ) + λ z D q f ( z ) 1 + B e i θ     z 1 + A e i θ     0 .
Since
f ( z ) = f ( z ) z 1 z ,
and
D q f ( z ) = 1 1 z ( 1 q z ) .
This implies that
( 1 λ ) f ( z ) + λ z D q f ( z ) = f ( z ) z 1 λ q z 2 1 z ( 1 q z ) .
Using (9) and (11), we get
1 z f ( z ) z 1 λ q z 2 1 + B e i θ z 1 z 1 q z 1 + A e i θ 1 z ( 1 q z ) 0
that is, that
1 z f ( z ) [ 1 λ 1 q z A B z e i θ z 2 1 + A e i θ λ A B z e i θ q 1 + A e i θ   +   1 q z 1 + A e i θ z 2 ] 1 z ( 1 q z ) 0
or, equivalently,
1 z f ( z ) 1 λ z e i θ + A A B z 2 1 z λ z q e i θ + A A B + 1 q z e i θ + A A B z 2 1 z ( 1 q z ) 0 .
Then, (12) can be rewritten as the following
1 z f ( z ) 1 λ z C z 2 1 z + λ z ( q C + ( 1 q z ) C ) z 2 1 z 1 q z 0 z E .
Hence, the first part of Theorem 1 was proven.
Conversely, since assumption (8) holds for C = 0 , it follows that
1 λ f ( z ) + λ z D q f ( z ) 0 for all z E ,
hence the function φ ( z ) = 1 λ f ( z ) + λ z D q f ( z ) is analytic in E (i.e., it is regular in z 0 = 0 , with φ ( 0 ) = 1 ).
We obtain from the first part that
( 1 λ ) f ( z ) z + λ D q f ( z ) 1 + A e i θ 1 + B e i θ , ( z E , 0 θ < 2 π ) .
If we denote
Ψ ( z ) = 1 + A z 1 + B z , ( z E ) ,
relation (14) shows that φ ( E ) Ψ ( E ) = ϕ . Thus, the simply connected domain φ ( E ) is included in a connected component of C Ψ ( E ) . From here, using the fact that φ ( 0 ) = Ψ ( 0 ) together with the univalent of the function Ψ , it follows that φ ( z ) Ψ ( z ) ; that is f ( z ) S λ , q * ( A , B ) . Thus, the second part of Theorem 1 was proven. □
Taking λ = 1 in Theorem 1, we get the following corollary.
Corollary 1.
Let the function f be of the form (1). Then
D q f ( z ) 1 + A z 1 + B z ( 0 < q < 1 , 1 B < A 1 ) ,
if and only if
1 z f ( z ) z ( q C + ( 1 q z ) C ) z 2 1 z 1 q z 0 z E
where C = C θ = e i θ + A A B , and 0 θ < 2 π .
Letting q 1 in Theorem 1, we acquire the following corollary.
Corollary 2.
Let the function f be of the form (1). Then,
( 1 λ ) f ( z ) z + λ f ( z ) 1 + A z 1 + B z ( 1 B < A 1 ) ,
if and only if
1 z f ( z ) 1 λ z C z 2 1 z + λ z ( C + ( 1 z ) C ) z 2 ) 1 z 2 0 z E
where C = C θ = e i θ + A A B and 0 θ < 2 π .
Theorem 2.
A function f ( z ) of the form (1) is in the class S λ , q * ( n , A , B ) if and only if
1 k = 2 k q n e i θ + B A B 1 λ + λ k q a k z k 1 0
for all 0 θ < 2 π and z E .
Proof. 
Note that
f S λ , q * ( n , A , B ) Ω q n f ( z ) S λ , q * ( A , B ) .
From Theorem 1, we have f S λ , q * ( n , A , B ) if and only if
1 z Ω q n f ( z ) 1 λ z C z 2 1 z + λ z ( q C + ( 1 q z ) C ) z 2 1 z 1 q z 0 z E
where C = C θ = e i θ + A A B , and 0 θ < 2 π . Now we can easily deduce that
1 z Ω q n f ( z ) 1 λ z C z 2 1 z   +   λ z ( q C + ( 1 q z ) C ) ) z 2 1 z 1 q z = 1 z Ω q n f ( z ) 1 λ C z + z ( 1 C ) 1 z   +   λ C z + z ( 1 C ) 1 z 1 q z .
Using
z 1 z = z + k = 2 z k , z 1 z 1 q z = z + k = 2 k q z k ,
and
Ω q n f ( z ) = z + k = 2 k q n a k z k ,
(17) may be written as
1 + k = 2 k q n 1 C 1 λ + λ k q a k z k 1
since C = e i θ + A A B , then (18) gives
1 k = 2 k q n e i θ + B A B 1 λ + λ k q a k z k 1
therefore, (16) becomes
1 k = 2 k q n e i θ + B A B 1 λ + λ k q a k z k 1 0 .
This finishes the proof of Theorem 2. □
Theorem 3.
If f ( z ) B satisfies the inequality
k = 2 1 + B 1 λ + λ k q k q n a k A B
then f ( z ) S λ , q * ( n , A , B ) .
Proof. 
Since
e i θ + B A B e i θ + B A B = 1 + B A B
then,
1 k = 2 k q n e i θ + B A B 1 λ + λ k q a k z k 1 1 k = 2 k q n e i θ + B A B 1 λ + λ k q a k z k 1 1 k = 2 k q n 1 + B A B 1 λ + λ k q a k > 0 . z E
Thus, from Theorem 2, we have f ( z ) S λ , q * ( n , A , B ) , which ends the proof. □
Theorem 4.
S λ , q * ( n + 1 , A , B ) S λ , q * ( n , A , B ) .
Proof. 
Since f ( z ) S λ , q * ( n + 1 , A , B ) , we see from Theorem 2 that
1 k = 2 k q n + 1 e i θ + B A B 1 λ + λ k q a k z k 1 0 .
we can write (20) as
1 + k = 2 k q z k 1 1 k = 2 k q n e i θ + B A B 1 λ + λ k q a k z k 1 0 .
Since,
1 + k = 2 k q z k 1 1 + k = 2 1 k q z k 1 = 1 + k = 2 z k 1 = 1 1 z .
By utilizing the property, if f 0 and g h 0 , then f ( g h ) 0 , (21) can be written as
1 k = 2 k q n e i θ + B A B 1 λ + λ k q a k z k 1 0
which means that f ( z ) S λ , q * ( n , A , B ) . This finishes the proof of Theorem 4. □
Theorem 5.
Let the function f be of the form (1). Then f C λ , q ( A , B ) if and only if
1 z f ( z ) C z + 1 λ z ( 1 C ) 1 z ( 1 q z ) + λ z 1 C 1 + q z 1 z 1 q z 1 q 2 z 0
where z E , C = C θ = e i θ + A A B and 0 θ < 2 π .
Proof. 
Note that
f C λ , q ( A , B ) z D q f ( z ) S λ , q * ( A , B ) .
Theorem 1 gives
1 z z D q f ( z ) 1 λ C z + z ( 1 C ) 1 z + λ C z + z ( 1 C ) 1 z 1 q z 0 ,
where z E , C = C θ = e i θ + A A B and 0 θ < 2 π . Since
z D q f g = f ( z ) z D q g ( z ) ,
then, (25) can be written as
1 z f ( z ) 1 λ z ( 1 C ) 1 z ( 1 q z ) + C z   + λ   z 1 C 1 + q z 1 z 1 q z 1 q 2 z + C z 0 .
This finishes the proof of Theorem 5. □
Taking λ = 1 in Theorem 5, we get the following corollary.
Corollary 3.
Let the function f be of the form (1). Then
D q f ( z ) + q z D q D q f ( z ) 1 + A z 1 + B z ( 0 < q < 1 , 1 B < A 1 ) ,
if and only if
1 z f ( z ) z 1 C 1 + q z 1 z 1 q z 1 q 2 z + C z 0 z E
where C = C θ = e i θ + A A B and 0 θ < 2 π .
Letting q 1 in Corollary( 3), we acquire the following corollary.
Corollary 4.
Let the function f be of the form in (1). Then
f ( z ) + z f ( z ) 1 + A z 1 + B z ( 1 B < A 1 ) ,
if and only if
1 z f ( z ) z 1 C 1 + z 1 z 3 + C z 0 z E
where C = C θ = e i θ + A A B and 0 θ < 2 π .

3. Conclusions

In this paper, we introduced and studied two new subclasses of analytic functions in the open unit disc using the Jackson q-derivative. A similar technique to that given by Silverman et al. [1] was used to obtain certain convolution properties for these two classes. In addition, the coefficient conditions and inclusion properties of these classes are established. Several special cases have been examined as applications of our main results.

Author Contributions

Conceptualization, A.M.Y.L.; Funding acquisition, B.M.A.; Investigation, B.M.A.; Project administration, A.O.B.; Supervision, A.M.Y.L. and A.O.B.; Writing (original draft), B.M.A.; Writing (review and editing), A.M.Y.L. and A.O.B. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, Saudi Arabia(FP-212-43).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Acknowledgments

The authors would like to express their thanks to the referees for their helpful comments and suggestions that improved the presentation of the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Silverman, H.; Silvia, E.M.; Telage, D. Convolution conditions for convexity, starlikeness and spiral-likeness. Math. Zeitschr. 1978, 162, 125–130. [Google Scholar] [CrossRef]
  2. Seoudy, T.M.; Aouf, M.K. Convolution properties for certain classes of analytic functions defined by q-derivative operator. Abstr. Appl. Anal. 2014, 2014, 846719. [Google Scholar] [CrossRef] [Green Version]
  3. Aouf, M.K.; Seoudy, T.M. Convolution properties for classes of bounded analytic functions with complex order defined by q-derivative operator. Rev. Real Acad. Cienc. Exactas Ser. A Mat. 2019, 113, 1279–1288. [Google Scholar] [CrossRef]
  4. Lashin, A.Y. Convolution conditions for bounded α-starlike functions of complex order. Ann. Univ. Marie Curie-Sklodowska Sect. A 2017, 71, 65–72. [Google Scholar] [CrossRef]
  5. Khan, M.G.; Ahmad, B.; Khan, R.; Zubair, M.; Salleh, Z. On q-analogue of Janowski-type starlike functions with respect to symmetric points. Demonstr. Math. 2021, 54, 37–46. [Google Scholar] [CrossRef]
  6. Piejko, K.; Sokół, J. On convolution and q-calculus. Bol. Soc. Mat. Mex. 2020, 26, 349–359. [Google Scholar] [CrossRef] [Green Version]
  7. Piejko, K.; Sokół, J.; Trabka-Wieclaw, K. On q-Calculus and Starlike Functions. Iran J. Sci. Technol. Trans. Sci. 2019, 43, 2879–2883. [Google Scholar] [CrossRef] [Green Version]
  8. Srivastava, H.M.; Arif, M.; Raza, M. Convolution properties of meromorphically harmonic functions defined by a generalized convolution q-derivative operator. AIMS Math. 2021, 6, 5869–5885. [Google Scholar] [CrossRef]
  9. Jackson, F.H. On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 1908, 46, 253–281. [Google Scholar] [CrossRef]
  10. Jackson, F.H. On q-definite integrals. Q. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  11. Govindaraj, M.; Sivasubramanian, S. On a class of analytic functions related to conic domains involving q-calculus. Anal. Math. 2017, 43, 475–487. [Google Scholar] [CrossRef]
  12. Miller, S.S.; Mocanu, P.T. Differential Subordination: Theory and Applications; Series on Monographs and Textbooks in Pure and Applied Mathematics; Marcel Dekker Inc.: New York, NY, USA; Basel, Switzerland, 2000; Volume 255. [Google Scholar]
  13. Aouf, M.K.; Mostafa, A.O.; Seoudy, T.M. Subordination and Superordination Results for Analytic Functions Involving Certain Operators; Lambert Academic Publishing: Chisinau, Republic of Moldova, 2014. [Google Scholar]
  14. Bulboacã, T. Differential Suborinations and Superordinations, Recent Results; House of Scientific Book Publishing: Cluj-Napoca, Romania, 2005. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Lashin, A.M.Y.; Algethami, B.M.; Badghaish, A.O. Convolution Properties of Certain Classes of Analytic Functions Defined by Jackson q-Derivative. Mathematics 2022, 10, 105. https://doi.org/10.3390/math10010105

AMA Style

Lashin AMY, Algethami BM, Badghaish AO. Convolution Properties of Certain Classes of Analytic Functions Defined by Jackson q-Derivative. Mathematics. 2022; 10(1):105. https://doi.org/10.3390/math10010105

Chicago/Turabian Style

Lashin, Abdel Moneim Y., Badriah Maeed Algethami, and Abeer O. Badghaish. 2022. "Convolution Properties of Certain Classes of Analytic Functions Defined by Jackson q-Derivative" Mathematics 10, no. 1: 105. https://doi.org/10.3390/math10010105

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