Applications of q-difference symmetric operator in harmonic univalent functions

In this paper, for the first time, we apply symmetric q-calculus operator theory to define symmetric Salagean q-differential operator. We introduce a new class H̃m q (α) of harmonic univalent functions f associated with newly defined symmetric Salagean q-differential operator for complex harmonic functions. A sufficient coefficient condition for the functions f to be sense preserving and univalent and in the same class is obtained. It is proved that this coefficient condition is necessary for the functions in its subclass H̃m q (α) and obtain sharp coefficient bounds, distortion theorems and covering results. Furthermore, we also highlight some known consequence of our main results.


Introduction, definitions and motivation
Let A denote the class of functions that are analytic in the open unit disc U = {z ∈ C : |z| < 1} and let A 0 be the subclass of A consisting of functions h with the normalization h(0) = h (0) − 1 = 0 and has the following series expansion, h(z) = z + ∞ n=2 a n z n . (1.1) A continuous function f = u + iv is a complex valued harmonic function defined in U, where u and v are real harmonic functions in U. We can write f (z) = h + g where h and g are analytic in U (see [2]). We call h the analytic part and g the co-analytic part of f , where h ∈ A 0 is given by (1.1) and g ∈ A has the following power series expansion (see, for details, [4,5,10]): b n z n , |b 1 | < 1. (

1.2)
A necessary and sufficient condition for f to be locally univalent and sense preserving in U is that h (z) > g (z) in U.
We denote by S * H the class of functions f = h+g, that are harmonic univalent and sense preserving in U and satisfies the normalization conditions. For f = h + g ∈ S * H, where h(z) and g(z) are given in (1.1) and (1.2). Note that S * H reduces to S * , the class of normalized analytic univalent functions if the co-analytic part of f = h + g is identically zero. Also, SH is the subclass of S * H consisting of functions f that map U = {z : |z| < 1} onto starlike domain (see [27]) .
The fractional q-calculus is the q-extension of the ordinary fractional calculus and dates back to early 20th century. The theory of q-calculus operators are used in various areas of science such as ordinary fractional calculus, optimal control, q-difference and q-integral equations, and also in the Geometric Function Theory of complex analysis. Initially in 1908, Jackson [7] defined the q-analogue of derivative and integral operator as well as provided some of their applications. Further in [6] Ismail et al. gave the idea of q-extension of class of q-starlike functions after that Srivastava [28] studied q-calculus in the context of univalent functions theory. Kanas and Raducanu [14] introduced the q-analogue of Ruscheweyh differential operator and Srivastava in [30] studied q-starlike functions related with generalized conic domain. By using the concept of convolution Srivastava et al. [31] introduced q-analogue of Noor integral operator and studied some of its applications, also Srivastava et al. also published a set of articles in which they concentrated class of q-starlike functions from different aspects (see [32,33,35,36]). Additionally, a recently published survey-cum-expository review article by Srivastava [29] is potentially useful for researchers and scholars working on these topics. For some more recent investigation about q-calculus we may refer to [20,22,23,[37][38][39].
The theory of symmetric q-calculus has been applied to many areas of mathematics and physics such as fractional calculus and quantum physics. The symmetric q-calculus has proven to be valuable in a few areas, specially in quantum mechanics [3,24]. Recently in [13] Kanas et al. defined a symmetric operator of q-derivative and introduced a new family of univalent functions. Furthermore Shahid et al. [21] used the concepts of symmetric q-calculus operator theory and defined symmetric conic domains. But research on symmetric q-calculus in connection with Geometric Function Theory and especially harmonic univalent functions is fairly new and not much is published on this topic. Jahangiri in [9] applied certain q-calculus operators to complex harmonic functions, while Porwal and Gupta discussed applications of q-calculus to harmonic univalent functions in [25]. Srivastava [34] defined the q-analogue of derivative operator as well as provided some of its applications to complex harmonic functions. In this article, first time we apply symmetric q-calculus theory in order to define symmetric Salagean q-differential operator to complex harmonic functions and introduce a new class of harmonic univalent functions.
For better understanding of the article, we recall some concept details and definitions of the symmetric q-difference calculus. We suppose throughout in this paper that 0 < q < 1 and that Definition 1.1. For n ∈ N, the symmetric q-number is defined by: We note that the symmetric q-number do not reduce to the q-number, and frequently occurs in the study of q-deformed quantum mechanical simple harmonic oscillator (see [1]). Definition 1.2. For any n ∈ Z + ∪ {0} , the symmetric q-number shift factorial is defined by: Note That lim q→1− [n] q ! = n!.
Definition 1.3. The symmetric q-derivative (q-difference) operator of symmetric q-calculus operated on the function h ( [12]) is defined by [n] q a n z n−1 , (z 0, q 1) , [n] q a n z n−1 .
We can observe that lim A successive application of the symmetric q-derivative (q-difference) operator of symmetric q-calculus as defined in (1.3) leads to symmetric Salagean q-differential operator which is define as: Definition 1.4. The symmetric Salagean q-differential operator of h is defined by m q a n z n , where m is a positive integer and the operator * stands for the Hadamard product or convolution of two analytic power series. The operator D m q h(z) is called symmetric Salagean q-differential operator. Note that n m a n z n , which is the famous Salagean operator defined in [26]. It is the aim of this article to define the symmetric q-derivative (q-difference) operator by using symmetric q-calculus on the complex functions that are harmonic in U and obtain sharp coefficient bounds, distortion theorems and covering results. Definition 1.5. We define the symmetric Salagean q-differential operator for harmonic function f = h + g as follows: D m q a n z n , Remark 1.6. It is easy to see that, for q → 1−, we obtain symmetric Salagean differential operator for harmonic functions f = h + g.
where D m q f (z) is given by (1.4). Further, denote by H m q (α) the subclass of H m q (α) consisting of harmonic functions f = h + g so that h and g are of the form h(z) = z − ∞ n=2 a n z n , and g(z) = ∞ n=1 b n z n , |b 1 | < 1. (1.6) where a n , b n ≥ 0.

Main results
In the following theorem we shall determine coefficient bounds for harmonic functions belonging to the classes H m q (α) and H m q (α).
where h and g are respectively given by (1.1) and (1.2). Then if and only if the inequality (2.1) holds. The equality in (2.1) occurs for harmonic function Proof. For part (i): First we need to show that f = h + g is locally univalent and orientation-preserving in U. It suffices to show that the second complex dilatation w of f satisfies |w| = g /h < 1 in U. This is the case since for z = re iθ ∈ U. We have [n] q |b n | r n−1 ≥ ∂ q g(z) in U which implies as q → 1 − that h (z) > g (z) in U that is the function f is locally univalent and sense-preserving in U.
To show that f = h + g is univalent in U we use an argument that is due to author [8]. Suppose z 1 and z 2 are in U so that z 1 z 2 . Since U is simply connected and convex, we have z(t) = (1 − t) z 1 + tz 2 ∈ U for 0 ≤ t ≤ 1. Then for z 1 − z 2 0, we can write On the other hand, we observe that Therefore, f = h + g is univalent in U. It remains to show that the inequality (1.5) holds if the coefficients of the univalent harmonic function f = h + g satisfy the condition (2.1). In other words, for 0 ≤ α < 1, we need to show that Using the fact that (w) ≥ α if and only if |1 − α + w| ≥ |1 + α − w| , it suffices to show that Substituting for [n] m+1 q a n z n + (−1) m+1 ∞ n=1 [n] m+1 q b n z n .
In the left hand side of the inequality (2.2), we obtain This last expression is non-negative by (2.1), and this completes the proof.
For part (ii): Since H m q (α) is subset of H m q (α), we only need to prove the "only if" part of the theorem. Let f ∈ H m q (α). Then by the required condition (1.5), we have contradicts the required condition that f ∈ H m q (α) and so the proof is complete.
Example 2.2. The function f = h + g given by The closed convex hull of H m q (α) denoted by clco H m q (α), is the smallest closed set containing H m q (α), it is the intersection of all closed convex sets containg H m q (α), In the next theorem we determine the extreme points of the closed convex hull of H m q (α) . (X n + Y n ) = 1, X n ≥ 0, Y n ≥ 0. (2.5) In particular, the extreme points of H m q (α) are h n and g n . Proof. For the functions of the form (2.5), we have

This yields
and so f = h + g ∈ clco H m q (α) . Conversely, let f = h + g ∈ clco H m q (α) . Then by setting We obtain the functions of the form (2.5) as required.
Finally, we give the following distortion bounds which yields a covering result for H m q (α).
Theorem 2.6. If f = h + g ∈ H m q (α), then for |z| = r < 1, we have the distortion bounds The bounds given in ( show that the bounds given in Theorem 2.6 are sharp. Proof. We will only prove the inequality (2.7) of the Theorem 2.6. The arguments for the inequality (2.6) is similar and so we omit it. Let f ∈ H m q (α). Taking the absolute value of f (z), we obtain The following covering result follows the inequality (2.7) in Theorem (2.6).
Theorem 2.7. If f ∈ H m q (α), then for |z| = r < 1, we have Proof. Using the inequality (2.6) of Theorem 2.6 and letting r → 1, it follows that

Conclusions
Research on symmetric q-calculus in connection with Geometric Function Theory and especially harmonic univalent functions is fairly new and not much is published on this topic. In this paper we have made use of the symmetric quantum (or q-) calculus to defined and investigated new classes of harmonic univalent functions by using newly defined symmetric Salagean q-differential operator for complex harmonic functions and obtained sharp coefficient bounds, distortion theorems and covering results. Furthermore, we also highlighted some known consequence of our main results.
Basic (or q-) series and basic (or q-) polynomials, especially the basic (or q-) hypergeometric functions and basic (or q-) hypergeometric polynomials, are applicable particularly in several diverse areas (see, for example, [28, p.351-352] and [29, p.328]). Moreover, in this recently-published survey-cum-expository review article by Srivastava [29], the so-called (p, q)-calculus was exposed to be a rather trivial and inconsequential variation of the classical q-calculus, the additional parameter p being redundant (see, for details, [29, p.340], see also [15][16][17][18][19]). This observation by Srivastava [29] will indeed apply also to any attempt to produce the rather straightforward (p, q)-variations of the results which we have presented in this paper.