Some Geometric Properties of a Family of Analytic Functions Involving a Generalized q -Operator

: In analysis, the introduction of q -calculus has been a revelation. It has a deep impact on various concepts and applications of pure and applied sciences. In this article we investigate certain geometric properties relating to convolution of functions of a newly deﬁned class of analytic functions. The important region of the lemniscate of Bernoulli is considered. Here we utilize concepts of q -calculus which enhances and generalizes the vitality of this research work. In the same context we study the Fekete–Szegö problem.


Introduction and Definitions
The generalization of calculus to q-calculus has impacted several branches of mathematics and physics due to its applications to various concepts. One such example would be its utilization in optimal control problems. Other areas such as ordinary fractional calculus, quantum physics and operator theory are important in this regard. For more details, see, e.g., [1,2]. This idea was first introduced by Jackson [3,4] by giving some applications of this field and introduced the q-derivative and q-integral. The work of Srivastava and Bansal [5], p. 62, which in the introduction contains a description of the q-analogue of derivative in the field of Geometric function theory is worth mentioning. They defined the family S * q which is the q-analogue of starlike functions and studied some of their useful geometric properties. For more details see [6] (p. 347 et seq.). Later on, the q-analogue of starlike functions was further generalized by Agrawal and Sahoo in [7] by introducing the family S * q (γ) with order γ (0 ≤ γ < 1) . In 2014, Kanas and Rȃducanu [8] defined q-analogue of Ruscheweyh differential operator using the ideas of convolution and then studied some of its properties. Another source of information is [9]. In the same way many mathematicians explored this field and wrote some valuable articles which played important role in developing the field of Geometric function theory, for instance see the references [10][11][12][13][14]. The current article introduces a class of analytic functions with help of a generalized integral operator and discusses some useful convolution properties for this family in the lemniscate of Bernoulli domain. We start by giving some preliminaries for a better understanding of the research work to follow.
Let A represent the family of functions f that are analytic in the open unit disc D = {z ∈ C : |z| < 1} and which have the following normalization f (z) = z + ∞ ∑ n=2 a n z n , (z ∈ D) . (1) where ϕ (z) = 1 + z 1 − z and ≺ refers to subordination.
These classes were introduced and studied by Ma and Minda [15]. They also obtained the Fekete-Szegö inequality for the class C (ϕ) . Using the Alexander relation i.e., f ∈ C (ϕ) if and only if z f ∈ S * (ϕ), they evaluated the Fekete-Szegö inequality for functions in the class S * (ϕ) . The Fekete-Szegö problem for different classes is studied by Ravichandran et al.,[16][17][18] and by Shanmugam et al.,in [19,20]. For a brief discussion of the Fekete-Szegö problem for the class of starlike, convex and close-to-convex functions see Srivastava and Owa [21].
Let P denote the class of analytic function q (z) normalized by such that q (z) > 0.
For two functions f and g that are analytic in D and have the form in Equation (1). Of course, f (z) has the coefficients a n and g(z) has the coefficients b n , for n ≥ 2, the convolution of these functions is defined as One interesting subclass of analytic functions f (z) , which is defined as known to be the functions in domain of the lemniscate of Bernoulli. The geometrical representation of such functions is that they lie in the region bounded by the right-half of the lemniscate of Bernoulli. Such functions satisfies the inequality The class SL * for analytic functions is defined as was defined and studied by Sokol and Stankiewicz [22]. Further improved work in this field were done by different authors in [23][24][25]. The Coefficient estimates of this class were evaluated in [26]. For 0 < q < 1, the q-derivative of a function f is defined by It can easily be seen that for n ∈ N := {1, 2, 3, . . .} and z ∈ D ∂ q ∞ ∑ n=1 a n z n = ∞ ∑ n=1 [n, q] a n z n−1 , For any non-negative integer n the q-number shift factorial is defined by Also the q-generalized Pochhammer symbol for x > 0 is given by and for x > 0, let q-gamma function is defined as where the function F q,µ+1 (z) is given by Clearly, the series defined by Equation (3) is absolutely convergent in D. Using the notion of q-derivative along with the idea of convolution we now define the q-integral operator I µ q : A → A by the equality ψ n−1 a n z n , (z ∈ D) (4) where f ∈ A and ψ n−1 is given by From Equation (4) the following identity is easily achieved We note that By taking q → 1 − , the operator defined in Equation (4) reduces to the familiar differential operator introduced in [27], see also [28]. For more details on the q-analogue of differential and integral operator see work in [29][30][31].
Motivated by the work studied in [8,29,31,32], we now define a subfamily SL * (µ, q) of A by using the operator I µ q as follows. Definition 1. Let q ∈ (0, 1), then a function f ∈ A belongs to the class SL * (µ, q) if it satisfies where the notion " ≺ " denotes subordination.

Auxiliary Lemmas
In this section we give two important lemmas proved by Ma and Minda, see [15] for details. These results are used in our main results in the next sections.
When ν < 0 or ν > 0, equality holds if and only if q (z) is (1 + z)/(1 − z) or one of its rotations. If 0 < ν < 1, then equality holds if and only if q (z) is (1 + z 2 )/(1 − z 2 ) or one of its rotations. If ν = 0, equality holds if and only if or one of its rotations. While for ν = 1, equality holds if and only if q (z) is the reciprocal of one of the functions such that equality holds in the case of ν = 0. Although the above upper bound is sharp, it can be improved as follows when 0 < ν < 1;

Lemma 2.
If q (z) ∈ P is of the form in Equation (2), then and the result is sharp for the functions given by

Main Results
In this section we investigate this newly defined class by evaluating some of its nice properties like convolution property, sufficiency condition and integral representation.
Theorem 1. Let f ∈ A be given by Equation (1) . Then the function f belongs to the class SL * (µ, q) if and only if where for 0 ≤ θ ≤ 2π and also for L = M = 1.
Proof. Since f ∈ SL * (µ, q) is analytic in D, it follows that 1 z I µ q f (z) = 0 for all z in D * = D − {0} and is equivalent to Equation (7) for L = M = 1. According to the definition of subordination and by using Equation (5), there exists a Schwartz function w (z) with w(0) = 0 and |w(z)| < 1, such that Now using the following basic convolution properties in Equation (9) I µ q f (z) * where M = 1 − √ 1 + e iθ and L = √ 1 + e iθ . Thus the necessary condition follows. Conversely, suppose that the condition in Equation z + ∑ ∞ n=2 ψ n−1 [n, q] a n z n z + ∑ ∞ n=2 ψ n−1 a n z n , q] a n z n−1 1 + ∑ ∞ n=2 ψ n−1 a n z n−1 z=0 = 1, Suppose that H (z) = √ 1 + z, z ∈ D.  (1). Then a necessary and sufficient condition for f ∈ SL * (µ, q) is that

Theorem 2. Let f ∈ A be given by Equation
where L and M are defined by Equation (8) above.
Proof. From the above Theorem 1, f is in the class SL * (µ, q) if and only if which is equivalent to By using convolution properties we have and so from Equation (11) we deduce ψ n−1 a n z n and z∂ q I µ q f (z) = z + ∞ ∑ n=2 ψ n−1 [n, q]a n z n , ψ n−1 [n, q]a n z n − L z + ∞ ∑ n=2 ψ n−1 [n, q]a n z n − z − ∞ ∑ n=2 ψ n−1 a n z n = 0, − L} a n z n = 0.
After some simplifications it is easily seen that the latter condition is equivalent to and hence the result follows.
Thus we can rewrite and further by simple computation of integration, the proof is completed.

Fekete-Szegö Problem
Fekete-Szegö inequality, for the class P has already been discussed earlier in the second section, has a key role in determining the the third Hankel determinant for the coefficients of functions belonging to various important classes e.g., see [14]. For many subclasses this problem has been investigated by various authors. Ma and Minda obtained the Fekete-Szegö inequality for the class C (ϕ) [15]. The work of Ravichandran and Shanmugam et al. [16][17][18][19][20] is worth mentioning in this regard. While a brief discussion of Fekete-Szegö problem for class of starlike, convex and close-to-convex functions were carried out by Srivastava and Owa [21]. In this section we evaluate the Fekete-Szegö inequality for our newly defined class.
Theorem 5. Let f (z) ∈ SL * (µ, q) be of the form in Equation (1). Then where v is the complex number given by Proof. Using Equations (13) and (14), we have Using Lemma 2, we get where v is given above.

Conclusions
Keeping in view the numerous applications of quantum and fractional calculus in the fields of mathematics and physics, we introduced a new class of analytic functions by using a q−operator in domain of lemniscate of Bernoulli. Various properties of this class were investigated via some analytical methods. These means and methods can be utilized along with this new class to investigate and connect functions in other domains like cardoid, the domain of sine function, the domain of exponential functions, etc. Also the operator can generalized to multivalent analytic and meromorphic functions, etc, which will contribute to the development of various fields of mathematics immensely.

Conflicts of Interest:
The authors declare that they have no competing interests.