1. Introduction
Recently, many researchers have focused on the study of
q-calculus keeping in view its wide applications in many areas of mathematics, e.g., in the
q-fractional calculus,
q-integral calculus,
q-transform analysis and others (see, for example, [
1,
2]). Jackson [
3] was the first to introduce and develop the
q-derivative and
q-integral. Purohit [
4] was the first one to introduce and analyze a class in open unit disk and he used a certain operator of fractional
q-derivative. His remarkable contribution was to give
q-extension of a number of results that were already known in analytic function theory. Later, the
q-operator was studied by Mohammed and Darus regarding its geometric properties on certain analytic functions, see [
5]. A very significant usage of the
q-calculus in the context of Geometric Function Theory was basically furnished and the basic (or
q-) hypergeometric functions were first used in Geometric Function Theory in a book chapter by Srivastava (see, for details, [
6] pp. 347 et seq.; see also [
7]). Earlier, a class of
q-starlike functions were introduced by Ismail et al. [
8]. These are the generalized form of the known starlike functions by using the
q-derivatives. Sahoo and Sharma [
9] obtained many results of
q-close-to-convex functions. Also, some recent results and investigations associated with the
q-derivatives operator have been in [
6,
10,
11,
12,
13].
It is worth mentioning here that the ordinary calculus is a limiting case of the quantum calculus. Now, we recall some basic concepts and definitions related to
q-derivative, to be used in this work. For more details, see References [
3,
14,
15,
16].
The quantum derivative (named as
q-derivative) of function
f is defined as:
We note that as and , where is the ordinary derivative of f.
In particular,
q-derivative of
is as follows:
where
denotes
q-number which is given as:
Since we see that
as
, therefore, in view of Equation (
1),
as
, where
represents ordinary derivative of
h.
The
q-gamma function
is defined as:
which has the following properties:
and
where
and
denotes the
q-factorial and defined as:
Also, the
q-beta function
is defined as:
which has the following property:
where
is given by Equation (
3).
Furthermore,
q-binomial coefficients are defined as [
17]:
where
is given by Equation (
6).
We consider the class
comprising the functions that are analytic in open unit disc
and are of the form given as:
Using Equation (
1), the
q-derivative of
f, defined by Equation (
10) is as follows:
where
is given by Equation (
2).
The two important subsets of the class are the families consisting of those functions that are starlike with reference to origin and which is the collection of convex functions. A function f is from if for each point the linear segment between 0 and x is contained in . Also, a function if the image is a convex subset of complex plane , i.e., must have every line segment that joins its any two points.
Nasr and Aouf [
18] defined the class of those functions which are starlike and are of complex order
, denoted by
and Wiatrowski [
19] gave the class of similar type convex functions i.e., of complex order
, denoted by
as:
and
respectively.
From Equations (
12) and (
13), it is clear that
and
are subclasses of the class
.
The class denoted by
of such
q-starlike functions that are of order
is defined as:
Also, the class
of
q-convex functions of order
is defined as:
For more detail, see [
20]. From Equations (
14) and (
15), it is clear that
and
are subclasses of the class
.
Next, we recall that the
-neighborhood of the function
is defined as [
21]:
In particular, the
-neighborhood of the identity function
is defined as [
21]:
Finally, we recall that the Jung-Kim-Srivastava integral operator
are defined as [
22]:
The Bessel functions are associated with a wide range of problems in important areas of mathematical physics and Engineering. These functions appear in the solutions of heat transfer and other problems in cylindrical and spherical coordinates. Rainville [
23] discussed the properties of the Bessel function.
The generalized Bessel functions
are defined as [
24]:
where
.
Orhan, Deniz and Srivastava [
25] defined the function
as:
by using the Generalized Bessel function
, given by Equation (
12).
The power series representation for the function
is as follows [
25]:
where
,
and
.
The hyper-Bessel function is defined as [
26]:
where the hypergeometric function
is defined by:
using above Equation (
23) in Equation (
22), then the function
has the following power series:
By choosing
and putting
, we get the classical Bessel function
In the next section, we introduce the classes of q-starlike functions that are of complex order and similarly, q-convex functions that are of complex order , which are denoted by and , respectively. Also, we define a q-integral operator and define the subclasses and of the class by using this q-integral operator. Then, we find the coefficient bounds for these subclasses.
First, we define the
q-starlike function of complex order
, denoted by
and the
q-convex function of complex order
, denoted by
by taking the
q-derivative in place of ordinary derivatives in Equations (
12) and (
13), respectively.
The respective definitions of the classes and are as follows:
Definition 1. The function will belong to the class if it satisfies the following inequality: Definition 2. The function will belong to the class if it satisfies the following inequality: Remark 1. (i) If and , then the subclasses and give the sub classes and , respectively.
(ii) Using the fact that , we get that and .
Now, we introduce the
q-integral operator
as:
It is clear that is analytic in open disc .
Using Equations (
4), (
5) and (
7)–(
9), we get the following power series for the function
in
:
Remark 2. For , Equation (29), gives the Jung-Kim-Srivastava integral operator , given by Equation (18). Remark 3. Taking in Equation (28) and using Equations (4), (5) and (9), we get the q-Bernardi integral operator, defined as [27]: Next, in view of the Definitions 1 and 2 and the fact that , we introduce the subclasses and of the classes and , respectively, by using the operator , as:
Definition 3. The function will belong to if it satisfies the following inequality:where . Definition 4. The function will belong to if it satisfies the following inequality:where . Now, we establish the following result, which gives the coefficient bound for the subclass :
Lemma 1. If f is an analytic function such that it belongs to the class , thenwhere and are given by Equations (3) and (2), respectively. Proof. Let
, then using Equations (
11) and (
29), we have
If
, then in view of Definition 3 and Equation (
33), we have
which, on simplifying, gives
Now, using the fact that
in the Inequality (
34), we get
Since
is analytic in
, therefore taking limit
—through real axis, Inequality (
35), gives the Assertion (
32). □
Also, we establish the following result, which gives the coefficient bound for the subclass :
Lemma 2. If f is an analytic function such that it belongs to the class and thenwhere and are given by Equations (3) and (2), respectively. Proof. Let
, then using Equations (
11) and (
29), we get
If
, then in view of Definition 4 and Equation (
37), we have
Now, using the fact that
in Inequality (
38), we get
Since
is analytic in
, therefore taking limit
through real axis, Inequality (
39) gives the Assertion (
36). □
In the next section, we define -neighborhood of the function and establish the inclusion relations of the subclasses and with the -neighborhood of the identity function .
3. The Classes and
In this section, the classes and are defined. Then, we establish the inclusion relations between the neighborhood of a function belonging to and with and , respectively.
First, we define the class as follows.
Definition 5. The function , belongs to if there exists a function that satisfieswhere Similarly, we define the class as:
Definition 6. The function , belongs to if there exists a function g, given by Equation (53), in the class , satisfying the Inequality (52). Now, we establish the following inclusion relation between a neighborhood of any function and the class for the specified range of values of η:
Theorem 3. Let the function g, given by Equation (53), belongs to the class andthenwhere . Proof. We assume that
, then in view of Relation (
40), we have
Since
is non-decreasing sequence, therefore
This implies that
which in view of Inequality (
56) gives
or, equivalently
Since
, therefore, for the function g, given by Equation (
53), in the class
, using Inequality (
45), we get
Using Equations (
10), (
53) and the fact that
, we get
Now, using Inequalities (
57) and (
58) in Inequality (
59), we get
If we take
, then in view of Definition 5 and Inequality (
60), we obtain that
, which proves the inclusion Relation (
55). □
Next, we establish the following inclusion relation between a neighborhood of any function and the class for the specified range of values of η:
Theorem 4. Let the function g, given by Equation (53), belongs to the class andthenwhere , . Proof. If we take any
, then Inequality (
57) holds.
Now, since
, therefore, for any function g, given by Equation (
53), in the class
, using Inequality (
51) and the fact that the sequence
is non-decreasing, we get
Using Inequalities (
57) and (
63) in Inequality (
59), we get
If we take
, then in view of Definition 6 and Inequality (
64), we obtain that
, which proves the Assertion (
61). □