Coefficient Inequalities for q -Convex Functions with Respect to q -Analogue of the Exponential Function

: In mathematical analysis, the q -analogue of a function refers to a modified version of the function that is derived from q -series expansions. This paper is focused on the q -analogue of the exponential function and investigates a class of convex functions associated with it. The main objective is to derive precise inequalities that bound the coefficients of these convex functions. In this research, the initial coefficient bounds, Fekete–Szeg˝o problem, second and third Hankel determinant have been determined. These coefficient bounds provide valuable information about the behavior and properties of the functions within the considered class.


Introduction and Preliminaries
In the area of mathematical analysis and functional inequalities, the study of q-analogues has emerged as a fascinating and powerful area of research.These q-analogues, inspired by the theory of special functions and their properties, extend the classical notions of various mathematical functions.Among the many q-analogues, the q-analogue of the exponential function holds a special place, primarily due to its widespread applications in areas such as physics, combinatorics, and number theory.
The q-analogue of the exponential function is a significant generalization of the traditional exponential function and has been intensively investigated in recent years.One of the essential aspects of this study involves exploring the properties of a class of convex functions associated with the q-exponential function.These functions not only showcase intriguing behavior but also find relevance in various mathematical contexts, making their analysis of paramount importance.The motivation behind establishing coefficient bounds for the class of q-convex functions associated with the q-analog of the exponential function lies in understanding the properties and behavior of these functions in the context of q-calculus.Some important mathematical terms related to this research article will be discussed.
Suppose that A denotes the set of functions f represented by the power series and be defined in open unit disk U = {τ : τ ∈ C and |τ| < 1}.
Clearly, f is univalent if The set of all such functions is denoted by S. The term "starlike function" refers to any function that maps a domain U with a starshaped domain, and the set of all such functions is represented by S * , that is Similarly, a function f is said to be a convex function if it maps a domain U with a convexshaped domain, and all functions of this kind belong to the set C, that is A function p, analytic in U, is said to be in the class P if it has the form and satisfies the conditions p(0) = 1 and Re{p(τ)} > 0, for details see [1].
A function w(τ) defined in an open unit disk is said to be a Schwarz function if it satisfies the following conditions: Subordination is an important tool to investigate the behavior of different subclasses of univalent functions.The concept of subordination was introduced by Lindelof [2].Further, Rogosinski [3,4] and Littlewood [5] studied it in detail.Two functions, f 1 and f 2 , which are analytic in U, where it is known that f 1 is subordinate to f 2 (denoted by f 1 ≺ f 2 ), if there exists a Schwarz function w such that In particular, In the year 1992, Ma and Minda [6] used the technique of subordination and defined the general form of the family of univalent functions as follows: and where, φ is an analytic function along with the conditions φ(0) > 0 and Re(φ(τ)) > 0 in U.
If φ(τ) = 1+τ 1−τ , in ( 5) and ( 6), then well-known classes of starlike and convex functions are obtained.In recent years, a number of sub-families of the normalized analytic functions have been studied as a special case of S * (φ) and C(φ).Recently, Cho et al. [7] chose φ(τ) = 1 + sin τ and defined a class (S * sin ) of starlike functions: Mediratta et al. [8] introduced the class of starlike functions associated with exponential function as They investigated the defined class and derived the relationship between the newly defined class and different existing subclasses of the class S. Furthermore, in [8], by using the Alexandar-type relation, the class of convex functions associated with exponential function was defined as Pommerenke [9,10] defined the Hankel determinant for f ∈ S of the form (1). The tth Hankel determinant is defined as where, n, t belongs to the set of natural numbers and a 1 = 1.
The following are three special cases of the Hankel determinant.(i) A special case of Fekete-Szegő functional: where the famous Fekete-Szegő functional is defined by where, µ is real or complex number.
Quantum calculus, also known as q-calculus, is an extension of traditional calculus that has gained significant interest in various fields of mathematics and physics, including geometric function theory.The introduction of quantum calculus in geometric function theory offers new insights into the behavior of complex functions and opens up exciting avenues for exploring the geometry of complex domains.In this context, quantum calculus allows us to investigate how q-analogues of derivative and integral operators affect the properties of complex functions, their zeros, critical points, and singularities, among other aspects.For the detail (see [20][21][22]).
Jackson [23,24] defined the q-analogue of ordinary derivative, and further this operator was utilized by Ismail et al. [25] to define a q-analogue of starlike functions.The extension of Ismail et al.'s work associated with Janowski functions were given in [20].Several new subclasses of starlike and convex functions, as well as sharp bounds for second-and third-order Hankal determinants, have been investigated recently by researchers using the q-derivative.Srivastava, for example, achieved the same work for close-to-convex functions in [26] and Mahmood et al. [27] did the same for the family of q-starlike functions and investigated the third-order Hankel determinant.Cotîrla et al. [28] investigated certain coefficient bounds for q-starlike functions based on a Ruscheweyh q-differential operator.A unique subclass of starlike functions connected to the sine function was constructed by Arif et al. [29] using the subordination technique, and the third Hankel determinant for this class was eventually discovered.Concurrently, Srivastava et al. [30] explored the Hankel and the Toeplitz determinants connected to the generalized conic domain and identified a new subclass of q-starlike functions.Zhang and Tang [31] worked on the sine function while Güney and Korfeci [32] created a new subclass of analytic functions and discovered the fourth-order Hankel determinant.By deriving bounds on the coefficients, researchers aim to gain insights into the growth and convergence properties of these functions, which can have applications in various mathematical and scientific fields.These bounds help elucidate the behavior of q-convex functions and their q-exponential analogs, contributing to a deeper understanding of their mathematical properties and potential applications.This article focuses on the q-analogue of the exponential function and investigate a class of convex functions associated with it.The main objective is to derive precise inequalities that bound the coefficients of these convex functions.This article contributes to the broader mathematical understanding of q-convex functions and their association with the q-analogue of the exponential function.
If f ∈ A, then the q-derivative or q-difference operator is defined as [23]: This study continues the numerous investigations of various authors on the estimation of Taylor-Maclaurin coefficients for a new subclass of class A of analytic functions on the unit disc U with coefficients a 0 = 0 and a 1 = 1.Among many more, just a small handful of investigations was highlighted in the aforementioned works.Using the notions of the q-difference operator D q and function subordination ≺, the new class C(q, e) of q-convex functions connected to the q-analogue of the exponential function is defined; see the definition below.The bounds for coefficients a 2 , a 3 , a 4 and a 5 of the function f ∈ C(q, e) in terms of q, give inequalities for a 2 a 3 − a 4 , a 3 − a 2 2 , a 2 a 4 − a 2 3 for the Hankel determinant.This covers the analogically known results for the class C e (as q → 1 − ).All the results obtained are new and quite interesting.Since q-calculus (quantum calculus) has wide modern applications in various fields of function theory and physics, the considered problems and results in the paper can be estimated as useful and significant, in particular, with respect to using of q-exponential function.Definition 1.A function f ∈ A belongs to the class C(q, e), if it satisfies the following subordination condition: D q τD q f (τ) Remark 1.When q → 1 − , then C(q, e) = C e , defined in [33].
Remark 2. The image domain e qU is shown in the Figure 1.A function f belongs to the class C(q, e) if and only if the function D q (τDq f (τ)) takes all values from the domain e qU .
(a) For q = 0.2 (b) For q = 0.5 (c) For q = 0.7 (d) For q = 0.99 Figure 1.The images of e qU for different values of q.Remark 3. A function f belongs to the class C(q, e) if and only if there exists an analytic function h, h ≺ e qτ such that where In particular for h = e qz , we have The function f defined in (13) plays the role of extremal function for many problems over the class C(q, e).
The following set of lemmas will be used to investigate the coefficient problems for the class C(q, e).

Lemma 1 ([34]
).Let the function p(τ) be of the form (3), then Also, The equality holds for Lemma 2 ([29]).Let the function p ∈ P, be given by ( 3), then where υ is any complex or real number.

Main Results
This article extends the class of functions defined in (7) to q-analogue of exponential function with the help of q-differential operator (11) given in (12).The coefficient bounds, Fekete-Szegő functional and second Hankel determinant are determined.Furthermore, the third Hankel determinants will be found with the help of these results.Some well-known corollaries have been proved as well.The following are some main results of this research.Theorem 1.If f ∈ C(q, e), is of the form (12), then Proof.Let f ∈ C(q, e), then by definition of C(q, e), D q τD q f (τ) By the definition of subordination where In the light of ( 20) and ( 21), the following series is obtained: By comparing the corresponding coefficients of ( 21) and ( 22), obtain Using the Lemma 1 on ( 23) and ( 24), to obtain Now taking the modulus of ( 25), By applying the triangle inequality, we reached the following result: With the help of Lemma 1, arrived at Now, from (26), where Applying triangle inequality on (27), Using values of λ, α, β, κ and applying Lemma 1, we obtain In Theorem 1, assume that q → 1 − , then the following known consequence is.

Corollary 1 ([33]
).If f ∈ C(e) has the series as given in (1), then Theorem 2. If f ∈ C(q, e) is of the form (1), then for a complex number γ Proof.From ( 23) and ( 24), consider Now, using Lemma 2, arrived at After some simplification, result obtained is In Theorem 2, assume that q → 1 − , then the following known result is.
Proof.By using ( 23)-( 26), With the help of triangle inequality, we obtain where and Using Lemma 2 on (34) and (35), we obtain Now, by applying these values on (33), we arrived at In Theorem 3, let q → 1 − , then following is the well-known result.Theorem 4. If f ∈ C(q, e) is of the form ( 12), then Proof.Using ( 23)-( 25), for Applying the triangle inequality to obtain where and Now, using Lemma 2, we obtain After some simplifications, this yields Applying the triangle inequality on (40), we obtain Using ( 41)-( 43), the result is as follows: Considering q → 1 − , in Theorem 4, to obtain the corollary, which is an improvement of the result proved in [33].
Corollary 5.If f ∈ C(e) has the series of the form as given in (1), then where T 1 (q) = 6q 14 + 37q Now, using Theorems 1-4, the result given in the statement is proved.
Considering q → 1 − , in Theorem 5, we obtain the corollary, which is an improvement of the result proved in [33].

Discussion
This section acts as an introductory segment leading to the conclusion and aims to present a comparative analysis between the existing categories and the newly introduced class.Mathematician Lei Shi collaborated with H.M. Srivastava [33] to establish a category of convex functions that incorporate the exponential function.Additionally, Srivastava et al. [35] introduced a class of q-starlike functions connected to the q-exponential function.Since the coefficient inequalities for q-convex functions with respect to q-analogues of functions, like the q-exponential, have applications in various areas of mathematics, particularly in q-analysis, combinatorics, and special functions theory.They provide insights into the behavior of q-convex functions and help establish relationships between these functions and q-analogues of classical functions.Consequently, in this research article, an essential category of convex functions linked to the q-analogue of the exponential function is introduced, and the study explores its bounds and associated properties.Also, certain specific instances of the category of convex functions linked to the exponential function have been demonstrated and validated.

Conclusions
This article provides a rigorous analysis of a class of convex functions associated with the q-analogue of the exponential function.The obtained coefficient bounds deepen our understanding of these functions and their properties, making significant contributions to the field of q-analogue theory and its applications.The Fekete-Szegő fractional and the third-order Hankel determinant constraints are defined for this class.Some known consequences of the main results were also highlighted.
It is worth mentioning that the q-analogues that have been considered in this article as well as in a remarkably large number of other earlier q-investigations on the subject for 0 < q < 1 can easily (and possibly trivially) be translated into the corresponding (p, q)-analogues (with 0 < q < p ≦ 1) by applying some straightforward parametric and argument variations, the additional parameter p being redundant (see, for example, Srivastava [36]).
This study examined a new family that may stimulate additional investigation into various topics, such as certain special families of univalent functions using the integrodifferential operator [37] and the fractional q-difference operator [38].