Coefficient inequalities for certain subclasses of multivalent functions associated with conic domain

A number of families of q-extensions of analytic functions in the open unit disk U\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathbb{U}$\end{document} have been defined by means of basic (or q-)calculus and considered from many distinctive prospectives and viewpoints. In this paper, we generalize and study certain subclasses of analytic functions involving higher-order q-derivative operators. We settle characteristic equations for these presumably new classes and also study numerous coefficient inequalities. For the results obtained in this presentation, we also carry out appropriate connections with those in multiple other concerning works on this subject.


Introduction and definitions
For two analytic functions f j , j = 1, 2, in U, a function f 1 is said to be subordinate to the function f 2 and write as if in U, we can find an analytic Schwarz function w with w(0) = 0 and w(z) < 1 such that Further, if the function f 2 is univalent in U then following equivalence relation holds true The noteworthy class of Carathéodory functions P consists of all analytic functions ψ in U normalized by ψ(z) = 1 + ∞ n=1 ψ n z n (1.2) and satisfying ψ(z) > 0 (∀z ∈ U).
For a convex function f , it is always true that the image of f under U and all circles lying within U centered at the origin are convex arcs. But justification is required whether the characteristic still holds for circles with center at any other point, say ξ . Goodman [4,5] answered negatively and defined uniformly convex and starlike functions that have this nice characteristic. Analytically, he defined uniformly convex and starlike functions, respectively, as We denote the former by UCV and the later by US * T . It is natural to ask whether classical Alexander's result holds for these two classes, but there are counterexamples [4], which show that the relation is not true for these classes. Rønning [24], using UCV, introduced the class S * T = f ∈ A : f (z) = zg (z), g(z) ∈ UCV and succeeded in proving that neither S * T ⊂ US * T nor US * T ⊂ S * T . Ultimately, Rønning [23] and Ma and Minda [14] introduced the following one-variable characterization of these classes. .
This led to the basis for conic domains introduced by Kanas and Wiśniowska [10,11] as These domains represent the right half-plane, a parabola, a hyperbola, and an ellipse for k = 0, k = 1, 0 < k < 1, and k > 1, respectively. The role of an extremal function is done by the function p k (z) given by and κ ∈ (0, 1) is chosen so that where K(κ) denotes the first-kind Legendre complete elliptic integral, and its derivative is given by and called the complementary integral of K(t). If we set the function p k (z) = 1 + δ k z + · · · , subsequently, by [9] it is obvious that from (1.4) we have (1.5) Subjected to the above-mentioned conic domain, we define some elementary classes.
Definition 3 Let f be a function from the functional class A.

Definition 4 A normalized analytic function f belongs to the class k-S
Definition 5 Let f be a function from the functional class A. Then f ∈ k-UQ if there exists a function g ∈ k-UCV such that (∀z ∈ U and k ≥ 0).

Definition 6
A normalize analytic function f belongs to the class k-UK if there exists a function g ∈ k-S * T such that -1 (∀z ∈ U and k ≥ 0). Now we recall some firm footing concept details and definitions of the q-difference calculus, which play a vital role in our presentation. Unless otherwise notified, we presume that 0 < q < 1 and p ∈ N = {1, 2, 3, . . .}. For a nonnegative number λ, the q-number [λ] q is defined by Definition 7 (See [7] and [8]) For a function f from class A, the q-derivative (or qdifference) operator D q in a subset of complex numbers C is defined by provided that f (0) exists.
We observe from Definition 7 that lim q→1- for a differentiable function f in a subset of C. Further, by (1.1) and (1.6) we obtain Recently, the studies of q-calculus have inspired an intense interest of researchers because of its advantages in many areas of mathematics and physics. The significance of the operator D q is quite obvious by its applications in the study of several subclasses of analytic functions. Initially, in 1990, Ismail et al. [6] gave the idea of q-extension of the class of starlike functions; nevertheless, a foothold usage of the q-calculus in the context of geometric function theory was effectively invoked by Srivastava [26]. After that, wonderful studies have been done by numerous mathematicians offering a momentous part in the advancement of geometric function theory. In particular, the study the q-Mittag-Leffler functions for close-to-convex functions was done by Srivastava and Bansal [30] (see also [21]). In [32], they also considered the functional class of q-starlike functions related to conic region σ k , where the estimate of the third Hankel determinant has been settled in [17] (see also [28]). Recently, Srivastava et al. (see, e.g., [15,31,34,35] published a set of papers, in which they concentrated on the class of q-starlike functions related to the Janowski functions from different aspects. For some more recent investigations on q-calculus, we refer to [13,16,27,29,33]. In this paper, we mainly generalize the work presented in Srivastava et al. [32].
In view of the last inequality, it is obvious that, in the limiting case q → 1-, the above closed disk is merely the right-half plane, and the class S * q of q-starlike functions turns into the prominent class S * . Analogously, by the principle of subordination we may express relations (1.10) and (1.11) as follows (see [36]): The notation S * q was first used by Sahoo et al. [25].
Remark 1 In defining the class C q of q-convex functions, the most important Alexander theorem [3] for functions f ∈ A was used by Baricz and Swaminathan [2] as The generalization of P(p k ) to k-P q presented in Definition 9 is due to Srivastava et al. [32]. He used the conic domain and the earlier discussed q-calculus as follows.
Definition 9 A function ψ ∈ P belongs to the class k-P q if the following relation holds: with the function p k (z) given in equation (1.4).
It is interesting that in geometric characteristics the function ψ ∈ k-P q takes all values from the domain Ω k,q , k ≥ 0, analytically given by which represent q-analogues of generalized conic regions. Note the following easily observable facts about the class k-P q .
Remark 2 Firstly, we see that ] is the famous class of functions with real parts greater than 2k 2k+1+q . Secondly, we have where P(p k ) is the familiar class given by Wisniowska and Kanas [10]. Thirdly, by taking the limit we obtain where P is the class of functions given by (1.2).
Using the q-differential operator, various new classes have been defined. Hence it is natural to give the following definition.
Remark 3 First of all, it is straightforward to see that where the functional class S * q was considered and analyzed by Ismail et al. [6]. Secondly, we easily observe that where the class k-S * T was presented and studied by Kanas and Wiśniowska [11]. Thirdly, where the function class k-S * q was initially considered and studied by Srivastava et al. [32]. Finally, where S * is the essential class of starlike functions.

Definition 11
Just as in Remark 1, by the Alexander theorem [3] the class k-C q can be defined by the following relation: Definition 12 Any function f ∈ A(p) is said to belong to the class k-K q (p) if ∈ k-P q for some g ∈ k-S * q (p).

Definition 13
In similar manner as in Remark 1, by using the idea of Alexander's relation [3] we define the class k-C * q (p) by the following relation: Remark 4 First of all, we can see that where K q (p) is the function class defined and examined by Raghavendar et al. [20]. Secondly, in the limit case, we have where k-UK(p) and k-UQ(p) are the function classes introduced and studied by Acu [1]. Thirdly, we have where C * and K are the function classes of quasi-convex and close-to-convex functions; for details, see [12,19].

A set of lemmas
Each of the lemmas given further will be helpful in demonstrating our main results. Similarly, we deduce the following result:

Lemma 1 ([22]) Let ψ be a function of the form
This completes the proof of Lemma 2.

Main results
In this section, we prove our main results. We assume that k ≥ 0 and q ∈ (0, 1).

the upper bound of the relation given by (3.3) is unity if
where Λ 3 is given by (3.2). Consequently, proof is completed.
If in Theorem 3, we put p = 1 and q − → 1-, then we get the following result.

Theorem 2 A function f ∈ A(p) of the form (1.1) belongs to the function class k-
where Λ 3 is defined in (3.2).
Proof We omit the details of the proof, since it easily follows by applying Theorem 1 in conjunction with Definition 11.

4)
where (3.5) and Proof Assuming that (3.4) holds, it suffices to check that (3.7) The last expression in (3.7) is bounded above by 1 if where Λ 1 and Λ 2 are given by (3.5) and (3.6), respectively, which completes the proof.

Theorem 4 A function f from the class A(p) having series expansion (1.1) belongs to the class k-C
where Λ 1 and Λ 2 are respectively presented in (3.5) and (3.6).
Proof The proof of Theorem 4 follows easily by using Theorem 3 and Definition 13.
Theorem 5 Let f ∈ k-S * q (p) be of the form (1.1). Then . (3.10) If p k (z) = 1 + δ k z + · · · , then after some appropriate computations, condition (3.10) can be written as and if [n + pl] q ! [n + 1l] q ! a n+p-l c l , a p = 1. Equivalently, Moreover, by (3.13) we have |a p+l |, a p = 1. (3.14) Now, using Lemma 2, we have Specifically, for instance, setting p = 1 and letting q − → 1-, we obtain the estimate on the nth coefficient of the class k-S * T , settled by Wisniowska and Kanas as follows.
Corollary 2 (See [11]) For an analytic function f ∈ k-S * T , we have Theorem 6 Let f ∈ k-C q (p) be of the form (1.1). Then Proof The proof of Theorem 6 follows easily by using Definition 11 and Theorem 5.
Theorem 7 Let f ∈ k-K * q be of the form (1.1). Then Proof By definition, for a function f belonging to k-K q (p), we have that where and that . (3.18) If p k (z) = 1 + δ k z + · · · , then after some convenient computations, condition (3.18) can be written as and if Thus we have proved the statement of Theorem 7.
Putting p = 1 and letting q − → 1-in Theorem 7, we obtain the estimates of the nth coefficients of the functions from the class k-UK, given by Noor et al.  Proof Using Theorem 7 and Definition 13 immediately yields the proof.