On the Fekete–Szegö Problem for Meromorphic Functions Associated with p,q-Wright Type Hypergeometric Function

Making use of a post-quantum derivative operator, we define two classes of meromorphic analytic functions. For the considered family of functions, we aim to investigate the sharp bounds’ values in the case of the Fekete–Szegö problem. The study of the well-known Fekete–Szegö functional in the post-quantum calculus case for meromorphic functions provides new outcomes for research in the field. With the extended p,q-operator, we establish certain inequalities’ relations concerning meromorphic functions. In the final part of the paper, a new p,q-analogue of the q-Wright type hypergeometric function is introduced. This function generalizes the classical and symmetrical Gauss hypergeometric function. All the obtained results are sharp.


Introduction
In many branches of mathematics and physics, an important role is played by the theory of q-analysis. We can mention here several areas, such as ordinary fractional calculus, problems of optimal control, q-integral equations, q-difference and q-transform analysis (for example, see [1][2][3][4]). The study of q-calculus has experienced accelerated development, especially after the pioneering work of M. E. H. Ismail et al. [5]. This was followed by similar works, such as those of S. Kanas and D. Raducanu [6] and S. Sivasubramanian and M. Govindaraj [7]. In the beginning, we will describe some special concepts of q-calculus. Consider the class of meromorphic functions denoted by Σ on the form: They are analytic in U * , the open punctured unit disc: We say that f ∈ Σ is a meromorphic starlike function of order β if the following inequality is satisfied: , 0 ≤ β < 1, then the class Σ * (β) is the particular case of the class Σ * (ϕ).
The notion of q-derivative (0 < q < 1) is defined by Gasper and Rahman [2] as From definition (2), we find that D q f (z) is given by [k] q a k z k−1 , z = 0, for a function f of the form (1). When q → 1 − , then [k] q → k and we deduce lim q→1 − D q f (z) = f (z).

Basic Results and Definitions
In the present section, we recall a few well-known statements and related elements in post-quantum calculus. Given the new results in the previous section, we need the required elements of the (p, q)-calculus. Lately, there have been many authors concerned with (p, q)-calculus. We recall here [11,12]. The post-quantum calculus denoted by the (p, q)-calculus is an extension of the q-calculus (see [13,14]).
The theory of post-quantum calculus ( [15]) operators is useful in the theory of geometric function and also in many areas of science. The (p, q)-number is given by [k] p,q = p k−1 + p k−2 q + p k−3 q 2 + . . . + pq k−2 + q k−1 .
which is a natural extension of the q-number: we have ( [16,17]). Moreover, the Additionally, the (p, q)-factorial is The (p, q)-Gamma function, for a complex number x, is defined by

Remark 1.
The function q-Gamma, denoted by Γ q (x), is a special case of (p, q)-Gamma function if p = 1.
Our present paper is based on geometric function theory and implies a given application in the open unit disk. We formulate two analytic function classes depending on the symmetry properties. Using a symmetric operator, we deduce many interesting properties. Lemma 1 ([18]). Consider the function p such that Rep(z) > 0 in U and p(z) = 1 + c 1 z + c 2 z 2 + . . . Then, where µ is a complex number. This is a sharp result for the functions given by Lemma 2 ([18]). Consider the function p 1 such that Rep 1 (z) > 0 in U and p 1 (z) = 1 + c 1 z + c 2 z 2 + . . .. Then, When ν < 0 or ν > 1, the equality holds if and only if p 1 (z) = 1+z 1−z or one of its rotations. If 0 < ν < 1, then the equality holds if and only if p 1 (z) = 1+z 2 1−z 2 or one of its rotations. If ν = 0, the equality holds if and only if or one of its rotations. If ν = 1, the equality holds if and only if or one of its rotations. Moreover, the above upper bounds are sharp and can be improved as follows when 0 < ν < 1 : Next, with the extended idea of the q-difference operator, we have: 12]). Let f ∈ Σ and 0 < q < p ≤ 1. Then, the p, q-derivative operator or p, q-difference operator for the function f of the form (1) is defined by By (2), we obtain [k] p,q a k z k−1 , ( z ∈ U * ).
We observe that if p = 1, and we reobtain the operator from (2).
The findings and properties proven in this work are a natural extension of those analogous in q-calculus theory and also contribute to the theory of inequalities. In this manner, the famous problem of Fekete-Szegö for meromorphic functions starts to develop within the topic of p, q-calculus. Many of the newly established inequalities are natural extensions of some already given inequalities. In the final part of this paper, interesting applications of the new results are considered. A new (p, q)-analogue of the q-Wright type hypergeometric function is introduced and some relations among properties and inequalities are developed.
In 2001, Virchenko et al. (see [26]) studied and investigated a Wright type hypergeometric function. For another special case, see [27]. In order to consider the application in the last section, we propose a new form of this function in terms of (p, q)-calculus.
Remark 2. The above-defined function is an extension of the classical Gauss hypergeometric function denoted by 2 F 1 (a, b; c; z).
We now deduce an important result of this paper.
If the function f is in the form (1) and belonging to the class ΣS * p,q [b; ϕ], then where µ is a complex number. The result is sharp.
Thus, the proof of Theorem 1 is complete.
, one obtains the next corollary.

Corollary 1. Consider f in the form (1) belonging to the class ΣS
where µ is a complex number. The result is sharp.
The following theorem is obtained by using Lemma 2. where Proof. First, let µ ≤ σ 1 , then Consider σ 1 ≤ µ ≤ σ 2 . Then, we obtain If µ ≥ σ 2 , then We define the function K ϕn in order to show that the bounds are sharp (n ≥ 2) We have also the functions F γ and G γ (0 ≤ γ ≤ 1) given by . When µ < σ 1 or µ > σ 2 , then we consider the equality if and only if f is K ϕ or one of its rotations. If σ 1 < µ < σ 2 , then we consider the equality if f is K ϕ3 or one of its rotations. When we consider µ = σ 1 , then the equality takes place if and only if f is F γ or one of its rotations. If µ = σ 2 , then the equality holds if and only if f is G γ or one of its rotations. Thus, we complete the proof of Theorem 2.
Corollary 2. Consider f in the form (1) and belonging to the subclass F * p [α] and µ is a complex number, then The result is sharp.
Applying Lemma 2, we deduce the following theorem.

Theorem 4. Consider the function ϕ(z)
If the function f is in the form (1) and belongs to the subclass F * p,q [α; ϕ], then The result is sharp. Further, let Consider σ 1 ≤ µ ≤ σ 2 . Then, we have .
We define the function K ϕn (n ≥ 2) in order to show that the bounds are sharp − 1 − α pq pqzD p,q f (z) + αpqzD p,q zD p,q f (z) 1 − α pq f (z) + αzD p,q f (z) = ϕ z n−1 , and F γ and G γ (0 ≤ γ ≤ 1) by − 1 − α pq pqzD p,q f (z) + αpqzD p,q zD p,q f (z) Obviously, K ϕn , F γ , G γ ∈ F * p,q [α; ϕ] and K ϕ = K ϕ2. When µ < σ 1 or µ > σ 2 , consider the equality if and only if f is K ϕ or one of its rotations. If σ 1 < µ < σ 2 , then consider the equality if f is K ϕ3 or one of its rotations. When µ = σ 1 , then the equality holds if and only if f is F γ or one of its rotations. When µ = σ 2 , then the equality holds if and only if f is G γ or one of its rotations. Thus, we complete the proof of Theorem 4.

Applications to Functions Defined by the p, q-Wright Type Hypergeometric Function
Considering the p, q-Wright type hypergeometric function given in definition 4, let us define L a,b,τ c (z; p, q) = 1 z · 2 R p,q 1 (a, b; c; τ; z(1 − pq)) (36) We define the linear operator denoted by L by using the Hadamard product, L : Σ → Σ, as follows: Further, we define two classes by using the operator defined in (37). With 0 < q < p ≤ 1 and α ∈ C \ (0, 1], let us consider ΣS * b,β,p,q [γ, δ; τ; ϕ] and F * β,p,q [α, γ, δ; τ; ϕ] two subclasses of Σ consisting of functions f in the form (1) and satisfying the analytic criteria, respectively: and − 1 − α pq pqzD p,q L p,q f (z) + αpqzD p,q zD p,q L p,q f (z) Using similar arguments to those in the proof of the above theorems, we obtain the following results related to the classes.

Conclusions
In the present paper, with the extended idea of a symmetric p, q-difference operator, we have introduced two subclasses of meromorphic functions. For certain values of the parameters, we reobtain some special classes studied earlier by various authors. The new results estimate the upper bound coefficients expressed in the Fekete-Szegö problem. We also deduce results that generalize and improve several previously known ones. In addition, we also provide certain applications to support our obtained results. Thus, an interesting aspect of the paper consists in defining the p, q-Wright type hypergeometric function, which is used as an application of the new form of this function in terms of (p, q)-calculus. We still intend to continue the work on the present issue. In this direction, for future research: (i) we intend to investigate new symmetric p, q-differential operators; (ii) similar results for other special classes of meromorphic functions are anticipated; (iii) new aspects of the Fekete-Szegö problem for meromorphic functions are targeted; (iv) the relationship between the results provided here and comparable outcomes in the field can be also considered.
The results of this study can be applied to post-quantum theory and symmetry. We hope that the new ideas and the new techniques given in the present paper will attract interested readers in the field of geometric function theory.