Some General Classes of q-Starlike Functions Associated with the Janowski Functions

By making use of the concept of basic (or q-) calculus, various families of q-extensions of starlike functions of order α in the open unit disk U were introduced and studied from many different viewpoints and perspectives. In this paper, we first investigate the relationship between various known classes of q-starlike functions that are associated with the Janowski functions. We then introduce and study a new subclass of q-starlike functions that involves the Janowski functions. We also derive several properties of such families of q-starlike functions with negative coefficients including (for example) distortion theorems.


Introduction
The basic (or q-) calculus is the ordinary classical calculus without the notion of limits, while q stands for the quantum.The application of the q-calculus was initiated by Jackson [1,2].Later, geometrical interpretation of the q-analysis was recognized through studies on quantum groups.It also suggests a relation between integrable systems and q-analysis.Aral and Gupta [3][4][5] defined and studied the q-analogue of the Baskakov-Durrmeyer operator, which is based on the q-analogue of the beta function.Some other important q-generalizations and q-extensions of complex operators are the q-Picard and the q-Gauss-Weierstrass singular-integral operators, which are discussed in [6][7][8].
In Geometric Function Theory, several subclasses of the normalized analytic function class A have already been analyzed and investigated through various perspectives.The q-calculus provides valuable tools that have been extensively used in order to examine several subclasses of the normalized analytic function class A in the open unit disk U. Ismail et al. [9] were the first to use the q-derivative operator D q in order to study a certain q-analogue of the class S * of starlike functions in U (see Definition 6 below).Mohammed and Darus [10] studied the approximation and geometric properties of these q-operators in some subclasses of analytic functions in a compact disk.These q-operators are defined by using the convolution of normalized analytic functions and q-hypergeometric functions, where several interesting results were obtained (see [11,12]).Certain basic properties of the q-close-to-convex functions were studied by Raghavendar and Swaminathan [13].Aral et al. [14] successfully studied the applications of the q-calculus in operator theory.Kanas and Raducanu [15] used the fractional q-calculus operators in investigations of certain classes of functions, which are analytic in the open unit disk U by using the idea of the canonical domain.The coefficient inequality problems for q-closed-to-convex functions with respect to Janowski starlike functions were studied recently (see, for example, [16]).In the year 2016, Wongsaijai and Sukantamala [17] published a paper, in which they generalized certain subclasses of starlike functions in a systematic way.In fact, they made a very significant usage of the q-calculus basically in the context of Geometric Function Theory.Moreover, the generalized basic (or q-) hypergeometric functions were first used in Geometric Function Theory in a book chapter by Srivastava (see, for details [18], (p.347 et seq.);see also [19]).
Motivated by the works of Wongsaijai and Sukantamala [17] and other related works cited above in this paper, we shall consider three new subfamilies of q-starlike functions with respect to Janowski functions.Several properties and characteristics, for example, sufficient conditions, inclusion results, distortion theorems, and radius problems, shall be discussed in this investigation.We shall also point out some relevant connections of our results with the existing results.
We denote by H (U) the class of functions that are analytic in the open unit disk: where C is the set of complex numbers.Let A be the subclass of functions f ∈ H (U), which are represented by the following Taylor-Maclaurin series expansion: that is, which satisfy the normalization condition given by Furthermore, let S be the class of functions in A, which are univalent in U.
The familiar class of starlike functions in U will be denoted by S * , which consists of normalized functions f ∈ S that satisfy the following conditions: For two functions f and g, which are analytic in U, we say that the function f is subordinate to g and write if there exists a Schwarz function w, which is analytic in U with In particular, if the function g is univalent in U, then we have the following equivalence (cf., e.g., [20]; see also [21]): and f (U) ⊂ g(U).
We next denote by P the class of analytic functions p in U, which are normalized by such that {p (z)} > 0.
In the next section (Section 2), we first give some basic definitions and concept details.Thereafter we will demonstrate three (presumably new) subclasses of the class S * q of q-starlike functions associated with the Janowski functions.

A Set of Definitions
Throughout this paper, we suppose that 0 < q < 1 and that Definition 1. (See [22]) A given function h with h (0) = 1 is said to belong to the class P [A, B] if and only if The analytic function class P [A, B] was introduced by Janowski [22], who showed that h (z) ∈ P [A, B] if and only if there exists a function p ∈ P such that Definition 2. A function f ∈ S is said to belong to the class S * [A, B] if and only if there exists a function p ∈ P such that z f (z) Definition 3. Let q ∈ (0, 1), and define the q-number [λ] q by Definition 4. Let q ∈ (0, 1), and define the q-factorial [n] q ! by Definition 5. (See [1,2]) The q-derivative (or the q-difference) operator D q f of a function f is defined, in a given subset of C, by provided that f (0) exists.
We note from Definition 5 that for a function f , which is differentiable in a given subset of C. It is readily deduced from ( 1) and ( 5) that Definition 6. (See [9]) A function f ∈ S is said to belong to the class S * q of q-starlike functions in U if We readily observe that, as q → 1−, the closed disk: − q becomes the right-half complex plane, and the class S * q of q-starlike functions in U reduces to the familiar class S * of normalized starlike functions with respect to the origin (z = 0).Equivalently, by using the principle of subordination between analytic functions, we can rewrite the conditions in (7) and (8) as follows (see [16]): We now introduce three (presumably new) subclasses of the class S * q of q-starlike functions associated with the Janowski functions in the following way.
We call S * (q,1) [A, B] the class of q-starlike functions of Type 1 associated with the Janowski functions.
We call S * (q,2) [A, B] the class of q-starlike functions of Type 2 associated with the Janowski functions.
We call S * (q,3) [A, B] the class of q-starlike functions of Type 3 associated with the Janowski functions.
Each of the following special cases of the above-defined q-starlike functions: in Definition 7, we get the class S * (q,1) (α), which was introduced and studied by Wongsaijai and Sukantamala (see [17], Definition 1).

II. If we put
in Definition 8, we are led to the class S * (q,2) (α), which was introduced and studied by Wongsaijai and Sukantamala (see [17], Definition 2).

IV. If we put
in Definition 8, we obtain the class S * q (α), which was introduced and studied by Agrawal and Sahoo [23].

V. If we put
A = 1 and B = −1 in Definition 8, we get the class S * q introduced and studied by Ismail et al. [9].
VI.In Definition 8, if we let q → 1− and put A = λ and B = 0, then we will arrive at the function class, studied by Ponnusamy and Singh (see [24]).
Geometrically, for f ∈ S * (q,k) [A, B] (k = 1, 2, 3), the quotient: lies in the domains Ω j (j = 1, 2, 3) given by and In this paper, many properties and characteristics, for example sufficient conditions, inclusion results, distortion theorems, and radius problems, are discussed.We also indicate relevant connections of our results with a number of other related works on this subject.

Main Results and Their Demonstration
We first derive the inclusion results for the following generalized q-starlike functions: which are associated with the Janowski functions.
Proof.First of all, we suppose that f ∈ S * (q,3) [A, B] .Then, by Definition 9, we have (B − 1) By using the triangle inequality and Equation (10), we find that (B − 1) The last expression in (11) now implies that f ∈ S * (q,2) [A, B] , that is, that by Definition 8. Since This last equation now shows that f ∈ S * (q,1) [A, B] , that is, that which completes the proof of Theorem 1.

As a special case of Theorem 1, if we put
we get the following known result due to Wongsaijai and Sukantamala (see [17]).
Next, we present a remarkable simple characterization of functions in the class S * (q,2) [A, B] of q-starlike functions of Type 2 associated with the Janowski functions.
Proof.The proof of Theorem 2 can be easily obtained from the fact that and Definition 8 of the class S * (q,2) [A, B] of q-starlike functions of Type 2 associated with the Janowski functions.

Upon setting
A = 1 − 2α and B = −1 in Theorem 2, we get the following known result.
Corollary 2. (See [23]) Let f ∈ A. Then, f ∈ S * q (α) if and only if Our next result is directly obtained by using Theorem 1 and a known result given in [23].
Theorem 3. The classes of the generalized q-starlike functions of Type 1, Type 2, and Type 3, respectively, satisfy the following properties: and Finally, by means of a coefficient inequality, we give a sufficient condition for the class S * (q,3) [A, B] of generalized q-starlike functions of Type 3, which also provides a corresponding sufficient condition for the classes S * (q,1) [A, B] and S * (q,2) [A, B] of Type 1 and Type 2, respectively.Theorem 4. A function f ∈ A and of the form (1) is in the class S * (q,3) [A, B] if it satisfies the following coefficient inequality:

Analytic Functions with Negative Coefficients
In this section, we introduce new subclasses of q-starlike functions associated with the Janowski functions, which involve negative coefficients.Let T be a subset of A consisting of functions with a negative coefficient, that is, We also let Proof.In view of Theorem 1, it is sufficient here to show that Indeed, if we assume that f ∈ T S * (q,1) [A, B] , then we have After a simple calculation, we thus find that which can be written as follows: The last expression in (15 which satisfies (12) .By Theorem 4, the proof of Theorem 5 is completed.
In its special case, when Theorem 5 reduces to the following known result.
The assertions of Theorem 5 imply that the Type 1, Type 2, and Type 3 generalized q-starlike functions associated with the Janowski functions are exactly the same.For convenience, therefore, we state the following distortion theorem by using the notation T S * (q,k) [A, B] in which it is tacitly assumed that k = 1, 2, 3.
Proof.We note that the following inequality follows from Theorem 4: Similarly, we have We have thus completed the proof of Theorem 6.
In its special case, when if we let q −→ 1−, Theorem 6 reduces to the following known result.
Corollary 4. (See [25]) The following result (Theorem 7) can be proven by using arguments similar to those that were already presented in the proof of Theorem 6, so we choose to omit the details of our proof of Theorem 7.
In its special case, when if we let q −→ 1−, Theorem 6 reduces to the following known result.
Corollary 5. (See [25]) Remark 1.By using Theorem 4, it is easy to see that the function: where That is, f 0 (z) / ∈ S and also f 0 (z) / ∈ S * .Therefore, it is interesting to study the radius of univalency and starlikeness of class T S (q,k) [A, B] .Theorem 8. Let f ∈ T S (q,k) [A, B] (k = 1, 2, 3).Then, f is univalent and starlike in |z| < r 0 , where (18) and M 0 satisfies the following inequality: Proof.To prove Theorem 8, it is sufficient to show that In light of Theorem 4, the inequality in (19) will be true if Solving the inequality in (20) for z, we have Next, we need to find M 0 ∈ N satisfying (18) .Let f : [2, ∞) −→ R + be the function defined by Differentiating on both sides of (22) logarithmically, we have It is easy to see that the second term of ( 23) is positive.Since and sup x 2 x − 1 x = 1 then the third and the last term in ( 23) can be dominated by ln x when x is sufficiently large.This implies that f is an increasing function on [M 0 , ∞] , where Therefore, the radius of univalence can be defined by In view of (24) , the proof of our Theorem is now completed.we are led to the following known result: Corollary 6. [17] Let f ∈ T S q .Then, f is univalent and starlike in |z| < r 0 , where (25) and M 0 satisfies the following inequality: . Now, below, we give an example that validates Theorem 8. Obviously, f 0 (z) is locally univalent on U 0.9691405946 because f (z 0 ) = 0 at z 0 = 2.649140540 outside the open disk U 0.9691405946 .By applying Theorem 8, function f 0 (z) is univalent on U 0.9691405946 .

Conclusions
In our present investigation, we first defined certain new subclasses of q-starlike functions, which are associated with the Janowski function.We then discussed many properties and characteristics of each of these subclasses of q-starlike functions including, for example, sufficient conditions, inclusion results, distortion theorems, and radius problems.For the motivation and validity of our results, we have also pointed out relevant connections with those that were given in earlier works.

Definition 9 .
A function f ∈ A is said to belong to the class f ∈ S * (q,3) [A, B] if and only if If, in Theorem 8, we let B = −1 and A = (1 − 2α)