Abstract
In this article, the ideas of post-quantum calculus and meromorphic multivalent functions are combined and some applications of these functions are discussed. We introduce a new subclass of meromorphic multivalent functions in association with Janowski domain. We investigate and study some useful geometric properties of this class of functions such as sufficiency criteria, distortion problem, growth theorem, radii of starlikeness and convexity, convex combination, and coefficient estimates for this class.
1. Introduction and Definitions
In this article, we introduce a new subclass of meromorphic multivalent functions in parameter , in post-quantum analogue. The quantum calculus (-calculus) is the generalization of classical calculus by replacing the notion of limits with a parameter . In the field of geometric function theory (GFT), the -generalization of different classes of analytic and meromorphic functions is the current focus of various prominent researchers. Many generalizations have been made and various properties are discussed for these generalizations. This motivation in the recent past is due to its numerous mathematical and physical applications. Jackson started this area of mathematics with the generalization of derivative and integral in -analogue, which are known as -derivative and -integral [1, 2]. The latest advancements in this field can be traced to Srivastava, who along with Bansal [3], investigated a certain family of -Mittag-Leffer functions. Aldawish and Darus [4] gave results on starlikeness of -generalized functions. Some results such as coefficient estimates for -starlike and -convex functions were evaluated by Seody and Aouf [5]. Similar results for some other subclasses of -starlike functions were evaluated by Fan et al. in [6]. Mahmood and Sokół in [7] introduced a class in conical domain associated with Ruscheweyh -differential operator and investigated its various properties. Shi et al. [8] used a generalized operator in the introduction and study of a class of analytic functions. Wang et al. [9] gave a useful generalization of Choi–Saigo–Srivastava operator in -analogue. For other interesting results, the reader is referred to the work published in [10, 11]. Similarly, the trend was carried to meromorphic functions by various researchers. Ahmad et al. [12] gave the investigation of -analogue of meromorphic multivalent functions in lemniscate of Bernoulli domain and obtained some interesting results. Arif and Ahmad [13] introduced and studied -analogue of a meromorphic multivalent operator and presented some interested results. The convex generalization of meromorphic multivalent functions in -analogue can be seen in [14]. Further work by Ahmad and Arif [15] generalized a subclass of meromorphic multivalent close to convex functions via a -operator.
We extend the idea from -calculus to post-quantum calculus (-calculus) for the meromorphic multivalent functions. In -calculus, there is -number with two independent variables and . This was first considered by Jagannathan and Chakrabarti [16]. They defined the -number and generalized several forms of -oscillator algebras, which are known in the field of physics. In the -analogue of mathematical concepts, the work of White and Wachs [17] is of most importance. They obtain the generating function of the joint distribution of pairs of statistics known as -Stirling number. In the field of GFT, the recent research work on generalizing various classes in -analogue can be seen in [18, 19]. Hence, various applied and theoretical problems have led the way to the creation of -calculus. Since 1991, many researchers in the fields of mathematics and physics have contributed to the development of -calculus.
Motivated from the above discussed work, in which many ideas have been generalized to post-quantum analogue, we introduce a new class of meromorphic multivalent functions associated with Janowski domain. To better understand this class, we characterize with some results relating to bounds of its coefficients in its power series. Furthermore, we give well-known results of distortion and growth for these functions. In the next section, the region in the open unit disc is evaluated where these functions would behave like starlike and convex functions. After that, an important result of convex combinations is presented. In Section 7, we discuss conclusion and potential future work of this research.
We give few basic concepts of -calculus in the following which are closely related to our work.
Any -number can be defined mathematically aswhere and .
To make things a bit simpler, we will use the following notation throughout this article:
Some elementary properties of the -numbers are discussed in the following lines and can be verified easily:(i).(ii).(iii)The -factorial is defined by for while .(iv)Similarly, -derivative is defined mathematically as with and .(v)With simple calculations, one can easily deduce the following identity:
For the special value, when , this derivative becomes the well-known -derivative in -calculus.
In this article, we introduce a new class . The class is a subclass of meromorphic multivalent functions in -analogue in Janowski domain which generalizes some important classes both in classical and in -analogue of this field. Then, we investigate some important properties of this class .
Let denote the class of all meromorphic multivalent functions that are analytic in the punctured disc , and it is represented by
Next, we recall the definition of subordination, and for two functions , we say is subordinated to and is symbolically written asif there exist an analytic function with the propertysuch that
Furthermore, if , then the above condition becomes
Definition 1. Let , and . Then, the function will be in the class if it satisfies the condition
Equivalently, a function will be in the class if and only if the following inequality holds true
We note that, for various specific values of , and , we get the following well-known subclasses.(1)If , and , we get the class of meromorphic -starlike functions associated with Janowski functions studied by Mahmood et al. [20](2)For , and , our class generalizes the class of meromorphic -convex functions introduced by Ali and Ravichandran [21](3)Putting , , and , we get , the class of meromorphic -valent starlike functions investigated by Royster [22](4)For , and , we get the class of meromorphic starlike functions studied by Pommerenke [23]
For our main results, we will need the following lemma
Lemma 1 (see [24]). For a function , if analytic in and is represented by the following,and is analytic and convex in withand , thenwhere .
Now, we give some properties for class .
2. Sufficiency Criteria
In this section, we derive the condition under which functions will belong to this class .
Theorem 1. If belongs to , represented by (6), then the function will be in if and only if the following inequality holds:
Proof. Let us suppose that the first inequality (16) holds. Then, to show that is in the class , we will prove inequality (12). For this, considerNow, with the help of (4)–(6), we get, after some simplification and using the notations,for simplicity; then, (17) is equal toAs , hence, the above iswhere we use inequality (16), and this completes the direct part.
Conversely, let be given by (6). Then, from (12), for , considerSince , we haveNow, choose values of on the real axis so thatis real. Upon clearing the denominator in (23) and letting through real values, we obtain (16).
3. Coefficient Estimates
In this section, we estimate the upper bounds of the coefficients of the functions in their series representation for this class.
Theorem 2. Let belong to and be of form (6). Then,where is defined in (18).
Proof. For , it will belong to if the following holds true:Now, ifthenand it will be of the formHowever,Then, by Lemma 1, we obtainFrom (27), we can easily obtainNow, putting the series expansions of and in this and simplifying and comparing the coefficients of on both sides of the above equation, thenwhich implies thatTaking absolute on both sides,Using the triangle inequality,Now, using (31), we obtainwhich implies thatNow, by putting , and 3 and using notation (18) for simplicity, we get the required result.
4. Distortion and Growth-Type Inequalities
Here, we discuss distortion-type inequality first. As in -analogue, we use -derivative in the distortion result instead of simple derivative. Furthermore, we prove the growth theorem for this class.
Theorem 3. If and is of form (6), then, for ,where
Proof. From (6) with the help of (4) and (5), we can writeSince , so , and hence,Similarly,Since we know from (16) thatandhence, by transitivity, we obtainwhich implies thatNow, we put this inequality in (42) and (43),Similarly,from which we obtain the required result.
In the next result, we discuss the growth theorem for this class.
Theorem 4. Let and is of form (6). Then, for ,where
Proof. ConsiderAs , so andSimilarly,Since we know from (16) thatandhencewhich givesNow, by putting this value in (53) and (54),Similarly,and from this, we get the required result.
5. Radii of Convexity and Starlikeness
In this section, we find the region where these functions will behave like convex and starlike functions of some order .
Theorem 5. Let ; then, will be in the class for , where
Proof. Let . To prove , we only need to showUsing (6) along with some simple computation yieldsFrom (16), we can easily obtain thatNow, inequality (63) will be true if the following holdswhich implies thatsofrom which we obtainand thus the required condition.
Theorem 6. Let ; then, will be in the class for , where
Proof. We know that belongs to if and only ifUsing (6) and upon simplification yieldNow, from (16), we can easily obtainFor inequality (71) to be true, it will be enough ifHowever, this implies thatwhich givesand hence,Thus, the required result is proved.
6. Convex Combination
Theorem 7. The class is closed under convex combination.
Proof. Let us consider that we have two functions,to prove our result, and we will show thatis in the class .
Asif we considerby using Theorem 1 for both and , we haveand hence, by Theorem 1, .
7. Conclusion and Future Study
In this article, the concepts of post-quantum calculus are used to define a subfamily of meromorphic multivalent functions in association with Janowski functions. Some interesting results relating to geometry of these functions are proved for this class. This class not only generalizes some well-known classes in classical GFT but also covers many classes in -analogue. This combination of post-quantum Calculus and GFT is an innovative concept and will of course lead to many new ideas and applications in the fields of mathematics. Various classes in the field of GFT such as analytic functions and harmonic functions can be generalized using the ideas and methods presented in this article.
Data Availability
Data used to support the findings of this study are included within the article.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Authors’ Contributions
All authors jointly worked on the results, and they have read and approved the final manuscript.
Acknowledgments
The third author was supported by UKM (Grant GUP-2019-032).