Next Article in Journal
An Integrated Model for Demand Forecasting and Train Stop Planning for High-Speed Rail
Next Article in Special Issue
Sufficiency Criterion for A Subfamily of Meromorphic Multivalent Functions of Reciprocal Order with Respect to Symmetric Points
Previous Article in Journal
A Power Control Algorithm Based on Chicken Game Theory in Multi-Hop Networks
Previous Article in Special Issue
Existence of Solution for Non-Linear Functional Integral Equations of Two Variables in Banach Algebra
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Geometric Properties of Certain Classes of Analytic Functions Associated with a q-Integral Operator

1
Department of Mechanical Engineering, Sarhad University of Science & Information Technology, Ring Road, Peshawar 25000, Pakistan
2
Mathematics Section, Women’s College, Aligarh Muslim University, Aligarh 202001, Uttar Pradesh, India
3
Department of Mathematics, Aligarh Muslim University, Aligarh 202001, Uttar Pradesh, India
4
Department of Mathematics and Computer Science, Brandon University, 270 18th Street, Brandon, MB R7A 6A9, Canada
5
Research Center for Interneural Computing, China Medical University, Taichung 40402, Taiwan, Republic of China
6
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
7
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan, Republic of China
8
Department of Mathematics, COMSATS University Islamabad, Wah Campus 47040, Pakistan
*
Author to whom correspondence should be addressed.
Symmetry 2019, 11(5), 719; https://doi.org/10.3390/sym11050719
Submission received: 18 April 2019 / Revised: 8 May 2019 / Accepted: 23 May 2019 / Published: 27 May 2019
(This article belongs to the Special Issue Integral Transformations, Operational Calculus and Their Applications)

Abstract

:
This article presents certain families of analytic functions regarding q-starlikeness and q-convexity of complex order γ ( γ C \ 0 ) . This introduced a q-integral operator and certain subclasses of the newly introduced classes are defined by using this q-integral operator. Coefficient bounds for these subclasses are obtained. Furthermore, the ( δ , q ) -neighborhood of analytic functions are introduced and the inclusion relations between the ( δ , q ) -neighborhood and these subclasses of analytic functions are established. Moreover, the generalized hyper-Bessel function is defined, and application of main results are discussed.

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:
D q f ( z ) = f ( z ) f ( q z ) ( 1 q ) z ( z 0 ; 0 < q < 1 ) .
We note that D q f ( z ) f ( z ) as q 1 and D q f ( 0 ) = f ( 0 ) , where f is the ordinary derivative of f.
In particular, q-derivative of h ( z ) = z n is as follows:
D q h ( z ) = [ n ] q z n 1 ,
where [ n ] q denotes q-number which is given as:
[ n ] q = 1 q n 1 q ( 0 < q < 1 ) .
Since we see that [ n ] q n as q 1 , therefore, in view of Equation (1), D q h ( z ) h ( z ) as q 1 , where h represents ordinary derivative of h.
The q-gamma function Γ q is defined as:
Γ q ( t ) = ( 1 q ) 1 t n = 0 1 q n + 1 1 q n + t ( t > 0 ; 0 < q < 1 ) ,
which has the following properties:
Γ q ( t + 1 ) = [ t ] q Γ q ( t )
and
Γ q ( t + 1 ) = [ t ] q ! ,
where t N and [ . ] q ! denotes the q-factorial and defined as:
[ t ] q ! = [ t ] q [ t 1 ] q [ 2 ] q [ 1 ] q , t = 1 , 2 , 3 , ; 1 , t = 0 .
Also, the q-beta function B q is defined as:
B q ( t , s ) = 0 1 x t 1 ( 1 q x ) q s 1 d q x ( t , s > 0 ; 0 < q < 1 ) ,
which has the following property:
B q ( t , s ) = Γ q ( s ) Γ q ( t ) Γ q ( s + t ) ,
where Γ q is given by Equation (3).
Furthermore, q-binomial coefficients are defined as [17]:
n k q = [ n ] q ! [ k ] n ! [ n k ] q ! ,
where [ . ] q ! is given by Equation (6).
We consider the class A comprising the functions that are analytic in open unit disc U = z C : | z | < 1 and are of the form given as:
f ( z ) = z + n = 2 a n z n .
Using Equation (1), the q-derivative of f, defined by Equation (10) is as follows:
D q f ( z ) = 1 + n = 2 [ n ] q a n z n 1 ( z U ; 0 < q < 1 ) ,
where [ n ] q is given by Equation (2).
The two important subsets of the class A are the families S * consisting of those functions that are starlike with reference to origin and C which is the collection of convex functions. A function f is from S * if for each point x f ( U ) the linear segment between 0 and x is contained in f ( U ) . Also, a function f C if the image f ( U ) is a convex subset of complex plane C , i.e., f ( U ) 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 γ ( γ C \ 0 ) , denoted by S * ( γ ) and Wiatrowski [19] gave the class of similar type convex functions i.e., of complex order γ ( γ C \ 0 ) , denoted by C ( γ ) as:
S * ( γ ) = f A : 1 + 1 γ z f ( z ) f ( z ) 1 > 0 ( z U ; γ C \ 0 )
and
C ( γ ) = f A : 1 + 1 γ z f ( z ) f ( z ) > 0 ( z U ; γ C \ 0 ) ,
respectively.
From Equations (12) and (13), it is clear that S * ( γ ) and C ( γ ) are subclasses of the class A .
The class denoted by S q * ( μ ) of such q-starlike functions that are of order μ is defined as:
S q * ( μ ) = f A : z D q f ( z ) f ( z ) > μ ( z U ; 0 μ < 1 ) .
Also, the class C q ( μ ) of q-convex functions of order μ is defined as:
C q ( μ ) = f A : D q ( z D q f ( z ) ) D q f ( z ) > μ ( z U ; 0 μ < 1 ) .
For more detail, see [20]. From Equations (14) and (15), it is clear that S q * ( μ ) and C q ( μ ) are subclasses of the class A .
Next, we recall that the δ -neighborhood of the function f ( z ) A is defined as [21]:
N δ ( f ) = g ( z ) = z + n = 2 b n z n | n = 2 n a n b n δ ( δ 0 ) .
In particular, the δ -neighborhood of the identity function p ( z ) = z is defined as [21]:
N δ ( p ) = g ( z ) = z + n = 2 b n z n | n = 2 n b n δ ( δ 0 ) .
Finally, we recall that the Jung-Kim-Srivastava integral operator Q β α : A A are defined as [22]:
Q β α f ( z ) = α + β β α z β 0 z t β 1 1 t z α 1 f ( t ) d t = z + Γ ( α + β + 1 ) Γ ( β + 1 ) n = 2 Γ ( β + n ) Γ ( α + β + n ) a n z n ( β > 1 ; α > 0 ; f A ) .
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 w ν , b , d ( z ) are defined as [24]:
w ν , b , d ( z ) = n = 0 ( d ) n n ! Γ ν + n + b + 1 2 z 2 2 n + ν ,
where ν , b , d , z C .
Orhan, Deniz and Srivastava [25] defined the function φ ν , b , d ( z ) : U C as:
φ ν , b , d ( z ) = 2 ν Γ ν + b + 1 2 z ν 2 w ν , b , d ( z ) ,
by using the Generalized Bessel function w ν , b , d ( z ) , given by Equation (12).
The power series representation for the function φ ν , b , d ( z ) is as follows [25]:
φ ν , b , d ( z ) = n = 0 ( d / 4 ) n ( c ) n n ! z n ,
where c = ν + b + 1 2 > 0 , ν , b , d R and z U = z C : | z | < 1 .
The hyper-Bessel function is defined as [26]:
J α d ( z ) = n = 0 ( z / d + 1 ) α 1 + α d Γ ( α 1 + 1 ) Γ ( α d + 1 ) 0 F d , ( α d + 1 ) ; z d + 1 d + 1 ,
where the hypergeometric function p F q is defined by:
p F q ( β p ) ; ( η q ) ; x = n = 0 ( β 1 ) n ( β 2 ) n ( β p ) n ( α 1 ) n ( α 2 ) n ( α q ) n x n n ! ,
using above Equation (23) in Equation (22), then the function J α d ( z ) has the following power series:
J α d ( z ) = n = 0 ( 1 ) n n ! Γ α 1 + n + 1 Γ α 2 + n + 1 Γ α d + n + 1 z d + 1 n ( d + 1 ) + α 1 + α d ,
By choosing d = 1 and putting α 1 = ν , we get the classical Bessel function
J ν ( z ) = n = 0 ( 1 ) n n ! Γ ν + n + 1 z 2 n + ν .
In the next section, we introduce the classes of q-starlike functions that are of complex order γ ( γ C \ 0 ) and similarly, q-convex functions that are of complex order γ ( γ C \ 0 ) , which are denoted by S q * ( γ ) and C q ( γ ) , respectively. Also, we define a q-integral operator and define the subclasses S q ( α , β , γ ) and C q ( α , β , γ ) of the class A 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 γ ( γ C \ 0 ) , denoted by S q * ( γ ) and the q-convex function of complex order γ ( γ C \ 0 ) , denoted by C q ( γ ) by taking the q-derivative in place of ordinary derivatives in Equations (12) and (13), respectively.
The respective definitions of the classes S q * ( γ ) and C q ( γ ) are as follows:
Definition 1.
The function f A will belong to the class S q * ( γ ) if it satisfies the following inequality:
1 + 1 γ z D q f ( z ) f ( z ) 1 > 0 ( γ C \ 0 , 0 < q < 1 ) .
Definition 2.
The function f A will belong to the class C q ( γ ) if it satisfies the following inequality:
1 + 1 γ D q z D q f ( z ) D q f ( z ) > 0 ( γ C \ 0 , 0 < q < 1 ) .
Remark 1.
(i) If γ R and γ = 1 μ ( 0 μ < 1 ) , then the subclasses S q * ( γ ) and C q ( γ ) give the sub classes S q * ( μ ) and C q ( μ ) , respectively.
(ii) Using the fact that lim q 1 D q f ( z ) = f ( z ) , we get that lim q 1 S q * ( γ ) = S * ( γ ) and lim q 1 C q ( γ ) = C ( γ ) .
Now, we introduce the q-integral operator χ β , q α as:
χ β , q α f ( z ) = α + β β q [ α ] q z β 0 z t β 1 1 q t z q α 1 f ( t ) d q t ( α > 0 ; β > 1 ; 0 < q < 1 ; | z | < 1 ; f A ) .
It is clear that χ β , q α f ( z ) is analytic in open disc U .
Using Equations (4), (5) and (7)–(9), we get the following power series for the function χ β , q α f in U :
χ β , q α f ( z ) = z + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) a n z n ( α > 0 ; β > 1 ; 0 < q < 1 ; f A ) .
Remark 2.
For q 1 , Equation (29), gives the Jung-Kim-Srivastava integral operator Q β α , given by Equation (18).
Remark 3.
Taking α = 1 in Equation (28) and using Equations (4), (5) and (9), we get the q-Bernardi integral operator, defined as [27]:
F ( z ) = [ 1 + β ] q z β 0 z t β 1 f ( t ) d q t β = 1 , 2 , 3 ,
Next, in view of the Definitions 1 and 2 and the fact that ( z ) < | z | , we introduce the subclasses S q ( α , β , γ ) and C q ( α , β , γ ) of the classes S q * ( γ ) and C q ( γ ) , respectively, by using the operator χ β , q α , as:
Definition 3.
The function f A will belong to S q ( α , β , γ ) if it satisfies the following inequality:
z D q ( χ β , q α f ( z ) ) χ β , q α f ( z ) 1 < | γ | ,
where α > 0 ; β > 1 ; 0 < q < 1 ; γ C \ 0 .
Definition 4.
The function f A will belong to C q ( α , β , γ ) if it satisfies the following inequality:
D q z D q χ β , q α f ( z ) D q χ β , q α f ( z ) < | γ | ,
where α > 0 ; β > 1 ; 0 < q < 1 ; γ C \ 0 .
Now, we establish the following result, which gives the coefficient bound for the subclass S q ( α , β , γ ) :
Lemma 1.
If f is an analytic function such that it belongs to the class S q ( α , β , γ ) , then
n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q | γ | 1 a n < | γ | ( α > 0 ; β > 1 ; 0 < q < 1 ; γ C \ 0 ) ,
where Γ q and [ n ] q are given by Equations (3) and (2), respectively.
Proof. 
Let f A , then using Equations (11) and (29), we have
z D q ( χ β , q α f ( z ) ) χ β , q α f ( z ) 1 = z + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q a n z n z + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) a n z n 1 .
If f S q ( α , β , γ ) , then in view of Definition 3 and Equation (33), we have
z + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q a n z n z + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) a n z n 1 < | γ | ,
which, on simplifying, gives
n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q 1 a n z n 1 1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) a n z n 1 < | γ | .
Now, using the fact that ( z ) < | z | in the Inequality (34), we get
n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q 1 a n z n 1 1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) a n z n 1 < | γ | .
Since χ β , q α f ( z ) is analytic in U , therefore taking limit z 1 —through real axis, Inequality (35), gives the Assertion (32).  □
Also, we establish the following result, which gives the coefficient bound for the subclass C q ( α , β , γ ) :
Lemma 2.
If f is an analytic function such that it belongs to the class C q ( α , β , γ ) and | γ | 1 then
n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) ( [ n ] q [ n ] q | γ | ) a n < | γ | 1 ( α > 0 ; β > 1 ; 0 < q < 1 ; γ C \ 0 ) ,
where Γ q and [ n ] q are given by Equations (3) and (2), respectively.
Proof. 
Let f A , then using Equations (11) and (29), we get
D q z D q χ β , q α f ( z ) D q χ β , q α f ( z ) = 1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) ( [ n ] q ) 2 a n z n 1 1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q a n z n 1 .
If f C q ( α , β , γ ) , then in view of Definition 4 and Equation (37), we have
1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) ( [ n ] q ) 2 a n z n 1 1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q a n z n 1 < | γ |
Now, using the fact that ( z ) < | z | in Inequality (38), we get
1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) ( [ n ] q ) 2 a n z n 1 1 + n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q a n z n 1 < | γ |
Since χ β , q α f ( z ) is analytic in U , therefore taking limit z 1 through real axis, Inequality (39) gives the Assertion (36). □
In the next section, we define ( δ , q ) -neighborhood of the function f A and establish the inclusion relations of the subclasses S q ( α , β , γ ) and C q ( α , β , γ ) with the ( δ , q ) -neighborhood of the identity function p ( z ) = z .

2. The Classes N δ , q ( f ) and N δ , q ( p )

In view of Equation (16), we define the ( δ , q ) -neighborhood of the function f A as:
N δ , q ( f ) = g ( z ) = z + n = 2 b n z n | n = 2 [ n ] q a n b n δ ( δ 0 , 0 < q < 1 ) ,
where [ n ] q is given by Equation (2).
In particular, the ( δ , q ) -neighborhood of the identity function p ( z ) = z , defined as:
N δ , q ( p ) = g ( z ) = z + n = 2 b n z n | n = 2 [ n ] q b n δ ( δ 0 , 0 < q < 1 ) .
Since [ n ] q approaches n as q approaches 1 , therefore, from Equations (16) and (40), we note that lim q 1 N δ , q ( f ) = N δ ( f ) , where N δ ( f ) is defined by Equation (16). In particular, lim q 1 N δ , q ( p ) = N δ ( p ) .
Now, we establish the following inclusion relation between the class S q ( α , β , γ ) and ( δ , q ) -neighborhood N δ , q ( p ) of identity function p for the specified range of values of δ:
Theorem 1.
If 1 < β 0 , | γ | [ n ] q 1 ( n = 2 , 3 , ) and
δ | γ | [ 2 ] q Γ q ( α + β + 2 ) Γ q ( β + 1 ) ( [ 2 ] q | γ | 1 ) Γ q ( β + 2 ) Γ q ( α + β + 1 ) ,
then
S q ( α , β , γ ) N δ , q ( p ) ( γ C \ 0 ; α > 0 ; 0 < q < 1 ) .
Proof. 
Let f S q ( α , β , γ ) , then, in view of Lemma 1, Inequality (32) holds. Since for α > 0 , 1 < β 0 , the sequence Γ q ( β + n ) Γ q ( α + β + n ) n = 2 is non-decreasing, therefore, we have
Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q | γ | 1 n = 2 a n n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) [ n ] q | γ | 1 a n ,
which in view of Inequality (32), gives
Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q | γ | 1 n = 2 a n < | γ | ,
or, equivalently,
n = 2 a n < | γ | Γ q ( α + β + 2 ) Γ q ( β + 1 ) Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q | γ | 1 .
Again, using the fact that the sequence Γ q ( β + n ) Γ q ( α + β + n ) n = 2 is non-decreasing for α > 0 and 1 < β 0 , Inequality (32), gives
Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) n = 2 ( [ n ] q | γ | 1 ) a n < | γ | ,
or, equivalently,
Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) n = 2 [ n ] q a n < | γ | + ( 1 + | γ | ) Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) n = 2 a n ,
which on using the Inequality (45), gives
Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) n = 2 [ n ] q a n < | γ | + ( 1 + | γ | ) | γ | [ 2 ] q | γ | 1 ,
or, equivalently,
n = 2 [ n ] q a n < | γ | [ 2 ] q Γ q ( α + β + 2 ) Γ q ( β + 1 ) ( [ 2 ] q | γ | 1 ) Γ q ( β + 2 ) Γ q ( α + β + 1 ) .
Now, if we take δ | γ | [ 2 ] q Γ q ( α + β + 2 ) Γ q ( β + 1 ) ( [ 2 ] q | γ | 1 ) Γ q ( β + 2 ) Γ q ( α + β + 1 ) , then in view of Equation (41) and Inequality (47), we obtain that f ( z ) N δ , q ( p ) , which proves the inclusion Relation (43). □
Next, we establish the following inclusion relation between the class C q ( α , β , γ ) and ( δ , q ) -neighborhood N δ , q ( p ) of identity function p for the specified range of values of δ:
Theorem 2.
If 1 < β 0 , | γ | 1 and
δ ( | γ | 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) ,
then
C q ( α , β , γ ) N δ , q ( p ) ( α > 0 ; γ C \ 0 ; 0 < q < 1 ) .
Proof. 
Let f C q ( α , β , γ ) , then, in view of Lemma 2, Inequality (36) holds. Since for α > 0 , 1 < β 0 , the sequence Γ q ( β + n ) Γ q ( α + β + n ) n = 2 is non-decreasing, therefore we have
Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q | γ | n = 2 [ n ] q a n n = 2 Γ q ( β + n ) Γ q ( α + β + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) ( [ n ] q [ n ] q | γ | ) a n ,
which, in view of Inequality (36), gives
Γ q ( β + 2 ) Γ q ( α + β + 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q | γ | n = 2 [ n ] q a n < | γ | 1 ,
or, equivalently
n = 2 [ n ] q a n < ( | γ | 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) .
Now, if we take δ ( | γ | 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) , then in view of Equation (41) and Inequality (51), we obtain that f ( z ) N δ , q ( p ) , which proves the inclusion Relation (49). □

3. The Classes S q ( η ) ( α , β , γ ) and C q ( η ) ( α , β , γ )

In this section, the classes S q ( η ) ( α , β , γ ) and C q ( η ) ( α , β , γ ) are defined. Then, we establish the inclusion relations between the neighborhood of a function belonging to S q ( α , β , γ ) and C q ( α , β , γ ) with S q ( η ) ( α , β , γ ) and C q ( η ) ( α , β , γ ) , respectively.
First, we define the class S q ( η ) ( α , β , γ ) as follows.
Definition 5.
The function f A , belongs to S q ( η ) ( α , β , γ ) ( α > 0 ; 1 < β ; γ C \ 0 ; 0 < q < 1 ; 0 η < 1 ) if there exists a function g ( z ) S q ( α , β , γ ) that satisfies
f ( z ) g ( z ) 1 < 1 η ,
where
g ( z ) = z + n = 2 b n z n .
Similarly, we define the class S q ( η ) ( α , β , γ ) as:
Definition 6.
The function f A , belongs to C q ( η ) ( α , β , γ ) ( α > 0 ; 1 < β ; γ C \ 0 ; 0 < q < 1 ; 0 η < 1 ) if there exists a function g, given by Equation (53), in the class C q ( α , β , γ ) , satisfying the Inequality (52).
Now, we establish the following inclusion relation between a neighborhood N δ , q ( g ) of any function g S q ( α , β , γ ) and the class S q ( η ) ( α , β , γ ) for the specified range of values of η:
Theorem 3.
Let the function g, given by Equation (53), belongs to the class S q ( α , β , γ ) and
η < 1 δ Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q | γ | 1 [ 2 ] q [ 2 ] q | γ | 1 Γ q ( β + 2 ) Γ q ( α + β + 1 ) | γ | Γ q ( α + β + 2 ) Γ q ( β + 1 ) ,
then
N δ , q ( g ) S q ( η ) ( α , β , γ ) ,
where α > 0 ; 1 < β 0 ; γ C \ 0 ; δ 0 ; 0 < q < 1 ; 0 η < 1 .
Proof. 
We assume that f N δ , q ( g ) , then in view of Relation (40), we have
n = 2 [ n ] q a n b n δ .
Since [ n ] q n = 2 is non-decreasing sequence, therefore
n = 2 [ 2 ] q a n b n n = 2 [ n ] q a n b n ,
This implies that
[ 2 ] q n = 2 a n b n n = 2 [ n ] q a n b n ,
which in view of Inequality (56) gives
[ 2 ] q n = 2 a n b n δ ,
or, equivalently
n = 2 a n b n δ [ 2 ] q ( 0 < q < 1 ; δ 0 ) .
Since 1 < β 0 , therefore, for the function g, given by Equation (53), in the class S q ( α , β , γ ) , using Inequality (45), we get
n = 2 b n | γ | Γ q ( α + β + 2 ) Γ q ( β + 1 ) Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q + | γ | 1 .
Using Equations (10), (53) and the fact that | z | < 1 , we get
f ( z ) g ( z ) 1 = n = 2 a n b n z n 1 1 + n = 2 b n z n 1 n = 2 a n b n 1 n = 2 | b n | n = 2 a n b n 1 n = 2 b n ,
Now, using Inequalities (57) and (58) in Inequality (59), we get
f ( z ) g ( z ) 1 δ Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q | γ | 1 [ 2 ] q [ 2 ] q | γ | 1 Γ q ( β + 2 ) Γ q ( α + β + 1 ) | γ | Γ q ( α + β + 2 ) Γ q ( β + 1 ) .
If we take η < 1 δ Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q | γ | 1 [ 2 ] q [ 2 ] q | γ | 1 Γ q ( β + 2 ) Γ q ( α + β + 1 ) | γ | Γ q ( α + β + 2 ) Γ q ( β + 1 ) , then in view of Definition 5 and Inequality (60), we obtain that f S q ( η ) ( α , β , γ ) , which proves the inclusion Relation (55). □
Next, we establish the following inclusion relation between a neighborhood N δ , q ( g ) of any function g C q ( α , β , γ ) and the class C q ( η ) ( α , β , γ ) for the specified range of values of η:
Theorem 4.
Let the function g, given by Equation (53), belongs to the class C q ( α , β , γ ) and
η < 1 δ [ 2 ] q [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q [ 2 ] q [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) ( | γ | 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) ,
then
N δ , q ( g ) C q ( η ) ( α , β , γ ) ,
where | γ | > 1 , α > 0 ; 1 < β 0 ; γ C \ 0 ; 0 < q < 1 ; δ 0 ; 0 η < 1 .
Proof. 
If we take any f N δ , q ( g ) , then Inequality (57) holds.
Now, since 1 < β 0 , therefore, for any function g, given by Equation (53), in the class C q ( α , β , γ ) , using Inequality (51) and the fact that the sequence [ n ] q n = 2 is non-decreasing, we get
n = 2 b n < ( | γ | 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) [ 2 ] q [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) .
Using Inequalities (57) and (63) in Inequality (59), we get
f ( z ) g ( z ) 1 δ [ 2 ] q [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q [ 2 ] q [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) ( | γ | 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) .
If we take η < 1 δ [ 2 ] q [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) [ 2 ] q [ 2 ] q [ 2 ] q | γ | Γ q ( β + 2 ) Γ q ( α + β + 1 ) ( | γ | 1 ) Γ q ( α + β + 2 ) Γ q ( β + 1 ) , then in view of Definition 6 and Inequality (64), we obtain that f C q ( η ) ( α , β , γ ) , which proves the Assertion (61). □

4. Application

First, we define the generalized hyper-Bessel function w c , b , α d ( z ) as:
w c , b , α d ( z ) = n = 0 ( c ) n n ! i = 1 d Γ α i + n + b + 1 2 z d + 1 n ( d + 1 ) + i = 1 d α i
where ν , b , d , z C .
Second, we define the function φ α d , b , c ( z ) : U C as:
φ α d , b , c ( z ) = ( d + 1 ) i = 1 d α i i = 1 d Γ α i + b + 1 2 z 1 i = 1 d α i d + 1 w α d , b , c ( z 1 / d + 1 ) ,
by using Equation (65) in Equation (66), we get
φ c , b , α d ( z ) = n = 0 ( c ) n n ! i = 1 d α i + b + 1 2 n ( d + 1 ) n ( d + 1 ) z n + 1 = z + n = 2 ( c ) n 1 ( n 1 ) ! i = 1 d α i + b + 1 2 n 1 ( d + 1 ) ( n 1 ) ( d + 1 ) z n
by choosing d = 1 and α 1 = ν , then the functions w c , b , α d ( z ) and φ α d , b , c ( z ) are reduce to w ν , b , d ( z ) and ϕ ν , b , d ( z ) , respectively.
Third, we applying the introduced function φ c , b , α d ( z ) , given by Equation (67) in the results of Lemma 1 and Lemma 2, we get the conditions for that function φ c , b , α d ( z ) to be in the classes S q ( α , β , γ ) and C q ( α , β , γ ) in the following corollaries, respectively:
Corollary 1.
If φ c , b , α d ( z ) is an analytic function such that it belongs to the class S q ( α , β , γ ) , then
n = 2 ( c ) n 1 Γ q ( β + n ) Γ q ( α + β + 1 ) ( n 1 ) ! i = 1 d α i + b + 1 2 n 1 ( d + 1 ) ( n 1 ) ( d + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) × [ n ] q | γ | 1 < | γ | ( α > 0 ; β > 1 ; 0 < q < 1 ; γ C \ 0 ) ,
where Γ q and [ n ] q are given by Equations (2) and (3), respectively.
Corollary 2.
If φ c , b , α d ( z ) is an analytic function such that it belongs to the class C q ( α , β , γ ) and | γ | 1 then
n = 2 ( c ) n 1 Γ q ( β + n ) Γ q ( α + β + 1 ) ( n 1 ) ! i = 1 d α i + b + 1 2 n 1 ( d + 1 ) ( n 1 ) ( d + 1 ) Γ q ( α + β + n ) Γ q ( β + 1 ) × ( [ n ] q [ n ] q | γ | ) a n < | γ | 1 ( α > 0 ; β > 1 ; 0 < q < 1 ; γ C \ 0 ) ,
where Γ q and [ n ] q are given by Equations (2) and (3), respectively.

5. Discussion of Results and Future Work

The concept of q-derivatives has so far been applied in many areas of not only mathematics but also physics, including fractional calculus and quantum physics. However, research on q-calculus is in connection with function theory and especially geometric properties of analytic functions such as starlikeness and convexity, which is fairly familiar on this topic. Finding sharp coefficient bounds for analytic functions belonging to Classes of starlikeness and convexity defined by q-calculus operators is of particular importance since any information can shed light on the study of the geometric properties of such functions. Our results are applicable by using any analytic functions.

6. Conclusions

In this paper, we have used q-calculus to introduce a new q-integral operator which is a generalization of the known Jung-Kim-Srivastava integral operator. Also, a new subclass involving the q-integral operator introduced has been defined. Some interesting coefficient bounds for these subclasses of analytic functions have been studied. Furthermore, the ( δ , q ) -neighborhood of analytic functions and the inclusion relation between the ( δ , q ) -neighborhood and the subclasses involving the q-integral operator have been derived. The ideas of this paper may stimulate further research in this field.

Author Contributions

Conceptualization, H.M.S. and E.S.A.A.; Formal analysis, H.M.S. and S.M.; Funding acquisition, S.M. and G.S.; Investigation, E.S.A.A. and S.M..; Methodology, E.S.A.A. and S.M.; Supervision, H.M.S. and N.R.; Validation, S.N.M. and S.M.; Visualization, G.S.;Writing—original draft, E.S.A.A. and G.S.; Writing—review & editing, E.S.A.A., G.S. and S.N.M.

Funding

This work is supported by “Brandon University, 270 18th Street, Brandon, MB R7A 6A9, Canada” and “Sarhad University of Science & Information Technology, Ring Road, Peshawar 25000, Pakistan”.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Gauchman, H. Integral inequalities in q-calculus. Comput. Math. Appl. 2004, 47, 281–300. [Google Scholar] [CrossRef]
  2. Tang, Y.; Tie, Z. A remark on the q-fractional order differential equations. Appl. Math. Comput. 2019, 350, 198–208. [Google Scholar] [CrossRef]
  3. Jackson, F.H. On q-definite integrals. Quart. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  4. Purohit, S.D. A new class of multivalently analytic functions associated with fractional q-calculus operators. Fract. Differ. Calc. 2012, 2, 129–138. [Google Scholar] [CrossRef]
  5. Mohammed, A.; Darus, M. A generalized operator involving the q-hypergeometric function. Mat. Vesnik 2013, 65, 454–465. [Google Scholar]
  6. Srivastava, H.M. Univalent functions, fractional calculus and associated generalizes hypergeometric functions. In Univalent Functions, Fractional Calculus, and Their Applications; Srivastava, H.M., Owa, S., Eds.; John Wiley and Sons: New York, NY, USA; Chichester, UK; Brisbane, Australia; Toronto, ON, Canada, 1989; pp. 329–354. [Google Scholar]
  7. Srivastava, H.M.; Bansal, D. Close-to-convexity of a certain family of q-Mittag-Leffler functions. J. Nonlinear Var. Anal. 2017, 1, 61–69. [Google Scholar]
  8. Ismail, M.E.H. A generalization of starlike functions. Complex Var. Theory Appl. Int. J. 1990, 14, 77–84. [Google Scholar] [CrossRef]
  9. Sahoo, S.K.; Sharma, N.L. On a generalization of close-to-convex functions. arXiv 2014, arXiv:1404.3268. [Google Scholar] [CrossRef]
  10. Mahmood, S.; Jabeen, M.; Malik, S.N.; Srivastava, H.M.; Manzoor, R.; Riaz, S.M.J. Some coefficient inequalities of q-starlike functions associated with conic domain defined by q-derivative. J. Funct. Spaces 2018, 2018, 8492072. [Google Scholar] [CrossRef]
  11. Mahmood, S.; Srivastava, H.M.; Khan, N.; Ahmed, Q.Z.; Khan, B.; Ali, I. Upper Bound of the Third Hankel Determinant for a Subclass of q-starlike Functions. Symmetry 2019, 11, 347. [Google Scholar] [CrossRef]
  12. Srivastava, H.M.; Tahir, M.; Khan, B.; Ahmed, Q.Z.; Khan, N. Some general classes of q-starlike functions associated with the Janowski functions. Symmetry 2019, 11, 292. [Google Scholar] [CrossRef]
  13. Uçar, H.E.Ö. Coefficient inequality for q-starlike functions. Appl. Math. Comput. 2016, 276, 122–126. [Google Scholar]
  14. Ezeafulukwe, U.A.; Darus, M. A Note on q-Calculus. Fasc. Math. 2015, 55, 53–63. [Google Scholar] [CrossRef]
  15. Ezeafulukwe, U.A.; Darus, M. Certain properties of q-hypergeometric functions. Int. J. Math. Math. Sci. 2015, 2015, 489218. [Google Scholar] [CrossRef]
  16. Jackson, F.H. q-difference equations. Am. J. Math. 1910, 32, 305–314. [Google Scholar] [CrossRef]
  17. Corcino, R.B. On P,Q-Binomial Coefficients. Integers 2008, 8, A29. [Google Scholar]
  18. Nasr, M.A.; Aouf, M.K. Starlike function of complex order. J. Natur. Sci. Math. 1985, 25, 1–12. [Google Scholar]
  19. Wiatrowski, P. The coefficients of a certain family of hololorphic functions. Zeszyt Nauk. Univ. Lodz. Nauki Mat. Przyrod. Ser. II Zeszyt 1971, 39, 75–85. [Google Scholar]
  20. Seoudy, T.M.; Aouf, M.K. Coefficient estimates of new classes of q-starlike and q-convex functions of complex order. J. Math. Inequal 2016, 10, 135–145. [Google Scholar] [CrossRef]
  21. Ruscheweyh, S. Neighborhoods of univalent functions. Proc. Am. Math. Soc. 1981, 81, 521–527. [Google Scholar] [CrossRef]
  22. Jung, I.B.; Kim, Y.C.; Srivastava, H.M. The Hardy space of analytic functions associated with certain one-parameter families of integral operators. J. Math. Anal. Appl. 1993, 176, 138–147. [Google Scholar] [CrossRef]
  23. Rainville, E.D. Special Functions; Chelsea: New York, NY, USA, 1971. [Google Scholar]
  24. Baricz, Á. Generalized Bessel Functions of the Frst Kind; Springer: Berlin, Germany, 2010. [Google Scholar]
  25. Deniz, E.; Orhan, H.; Srivastava, H. Some sufficient conditions for univalence of certain families of integral operators involving generalized Bessel functions. Taiwan. J. Math. 2011, 15, 883–917. [Google Scholar]
  26. Chaggara, H.; Romdhane, N.B. On the zeros of the hyper-Bessel function. Integral Transforms Spec. Funct. 2015, 2, 26. [Google Scholar] [CrossRef]
  27. Noor, K.I.; Riaz, S.; Noor, M.A. On q-Bernardi integral Operator. TWMS J. Pure Appl. Math. 2017, 8, 3–11. [Google Scholar]

Share and Cite

MDPI and ACS Style

Mahmood, S.; Raza, N.; AbuJarad, E.S.A.; Srivastava, G.; Srivastava, H.M.; Malik, S.N. Geometric Properties of Certain Classes of Analytic Functions Associated with a q-Integral Operator. Symmetry 2019, 11, 719. https://doi.org/10.3390/sym11050719

AMA Style

Mahmood S, Raza N, AbuJarad ESA, Srivastava G, Srivastava HM, Malik SN. Geometric Properties of Certain Classes of Analytic Functions Associated with a q-Integral Operator. Symmetry. 2019; 11(5):719. https://doi.org/10.3390/sym11050719

Chicago/Turabian Style

Mahmood, Shahid, Nusrat Raza, Eman S. A. AbuJarad, Gautam Srivastava, H. M. Srivastava, and Sarfraz Nawaz Malik. 2019. "Geometric Properties of Certain Classes of Analytic Functions Associated with a q-Integral Operator" Symmetry 11, no. 5: 719. https://doi.org/10.3390/sym11050719

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop