Next Article in Journal
Three-Dimensional Conflict Resolution Strategy Based on Network Cooperative Game
Next Article in Special Issue
Fekete–Szegö Inequalities for a New Subclass of Bi-Univalent Functions Associated with Gegenbauer Polynomials
Previous Article in Journal
Computer Simulation of the Seismic Wave Propagation in Poroelastic Medium
Previous Article in Special Issue
Some Inclusion Relations of Certain Subclasses of Strongly Starlike, Convex and Close-to-Convex Functions Associated with a Pascal Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Differential Operator Associated with q-Raina Function

1
Department of Mathematics, College of Science, University of Ha’il, Ha’il 81451, Saudi Arabia
2
Department of Mathematics Faculty of Science, Mansoura University, Mansoura 35516, Egypt
3
The Institute of Electrical and Electronics Engineers (IEEE): 94086547, Portland, OR 97005, USA
4
Department of Mathematics and Computer Science, Faculty of Science, Port Said University, Port Said 42521, Egypt
5
Faculty of Mathematics and Computer Science, Babeş-Bolyai University, 400084 Cluj-Napoca, Romania
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(8), 1518; https://doi.org/10.3390/sym14081518
Submission received: 4 July 2022 / Revised: 17 July 2022 / Accepted: 20 July 2022 / Published: 25 July 2022
(This article belongs to the Special Issue Symmetry in Geometric Function Theory)

Abstract

:
The topics studied in the geometric function theory of one variable functions are connected with the concept of Symmetry because for some special cases the analytic functions map the open unit disk onto a symmetric domain. Thus, if all the coefficients of the Taylor expansion at the origin are real numbers, then the image of the open unit disk is a symmetric domain with respect to the real axis. In this paper, we formulate the q-differential operator associated with the q-Raina function using quantum calculus, that is the so-called Jacksons’ calculus. We establish a new subclass of analytic functions in the unit disk by using this newly developed operator. The theory of differential subordination inspired our approach; therefore, we geometrically explore the most popular properties of this new operator: subordination properties, coefficient bounds, and the Fekete-Szegő problem. As special cases, we highlight certain well-known corollaries of our primary findings.

1. Introduction and Preliminaries

Quantum calculus (QC) is a subject of mathematical analysis and its applications are relevant in mathematics and physics. The functions of q-differentiation and q-integration were first defined and enhanced by Jackson [1,2]. Then, Ismail et al. [3] adopted the concept of q-calculus ( 0 < q < 1 ) into geometric function theory. Researchers are now using the QC to introduce and develop new Ma-Minda type of subclasses of functions. Based on the concept of q-derivatives, Seoudy and Aouf [4] defined one type of quantum starlike function subclass. Zainab et al. [5] used recently a unique method to introduce and develop useful q-stalikeness criteria, and Samir et al. [6] investigated many types of q-starlike functions that are dominated by 2D-Julia set.
QC is also used to generalize a variety of differential and integral operators, including special functions (see [7,8,9,10,11]). Noor and Razzaque, for example, defined a q-differential operator based on the q-Mittag-Leffler function [11]. Tang et al. studied significant properties of the q-starlike functions [12], Karthikeyan et al. [13] investigated the q-higher order derivatives, and Riaz et al. [14] formulated interesting results for the q-starlike functions of negative order.
Many other studies are introduced in the field of geometric function theory including the Mittag–Leffler function and its generalizations (see [15,16,17,18,19]).
The topics studied in the geometric function theory of one variable functions are connected with the concept of Symmetry because for some special cases, the analytic functions map the open unit disk onto a symmetric domain. Thus, if all the coefficients of the Taylor expansion at the origin are real numbers, then the image of the open unit disk is a symmetric domain with respect to the real axis. Moreover, if the function is an odd one, then the image of D is a symmetric domain with respect to the origin. In this paper, we investigate how the q-Raina’s function can be utilized to expand a differential operator in the open unit disk.
For two functions h and g analytic in D , we say that the function h is subordinate to g, written h ( z ) g ( z ) , if there exists a Schwarz function  ω , which is analytic in D with ω ( 0 ) = 0 and ω ( z ) < 1 , z D , such that h ( z ) = g ω ( z ) for all z D . In particular, if the function g is univalent in D , then we have the following equivalence relation (cf., e.g., [20], see also [21])
h ( z ) g ( z ) h ( 0 ) g ( 0 ) and h ( D ) g ( D ) .
Let us define the normalized class Λ of analytic functions as follows:
h ( z ) = z + n = 2 a n z n , z D ,
where the set D : = { z C : | z | < 1 } represents the open unit disk in the complex plane C .
The convolution (or Hadamard) product of the functions h ( z ) = z + n = 2 a n z n and v ( z ) = z + n = 2 b n z n of Λ is defined by (see [22])
( h v ) ( z ) = z + n = 2 a n b n z n , z D .
Moreover, denote by S the class of starlike functions, and by C the class of convex functions in D is normalized with the conditions given by (1), that are h ( 0 ) = h ( 0 ) 1 = 0 . Moreover, let
P : = l : l ( z ) = 1 + l 1 z + l 2 z 2 + , Re l ( z ) > 0 , z D
denote the well-known class of Carathéodory functions (see [23,24]).
Definition 1
([1]). The Jackson derivative of a function h is defined by
ð q h ( z ) : = h ( z ) h ( q z ) z ( 1 q ) , q ( 0 , 1 ) .
Therefore, since
ð q ( z k ) = 1 q k 1 q z k 1 , k N 0 : = N { 0 } ,
if the function h has the form (1) it follows that
ð q h ( z ) = 1 + n = 2 a n [ n ] q z n 1 ,
where
[ n ] q : = 1 q n 1 q .
Moreover, note that
ð q κ = 0 , lim q 1 ð q h ( z ) = h ( z ) ,
if κ C is a constant.
If t C , then the q-shifted factorial (see [1]) is given by the formula
( t ; q ) τ : = j = 0 τ 1 1 q j t , τ N : = { 1 , 2 , } , ( t ; q ) 0 = 1 .
From (2), the q-shifted gamma function could be formulated as follows:
q t ; q τ = Γ ( t + τ ) ( 1 q ) τ Γ q ( t ) , Γ q ( t ) = q ; q 1 q 1 t q ; q ,
where
Γ q ( t + 1 ) = Γ q ( t ) 1 q 1 q , q ( 0 , 1 ) ,
and
( t ; q ) = j = 0 1 q j t .
Special functions include some improper integrals and the outputs of many different types of differential equations. As a result, most integral sets include descriptions of special functions, and these special functions include the most basic integrals and the integral representation of special functions. Because differential operators are important in both physics and mathematics, the theory of special functions is tightly linked to various mathematical physics topics [25]. To begin, we’ll look at the Mittag–Leffler function, which is a well-known special function.
Definition 2
([26]). The power series that determines the Raina’s function is defined by
M F a , b ( z ) = n = 0 M ( n ) Γ ( a n + b ) z n , z D ,
where a , b C with Re a 0 , Re b > 0 , and M ( n ) n N 0 is a bounded sequence of arbitrary real or complex numbers.
Remark 1.
1. If we take M ( n ) 1 for all n 0 , then the above definition leads us to the Mittag–Leffler function
F a , b ( z ) = n = 0 z n Γ ( a n + b ) , z D ;
2. For the special case a = 1 , b = 1 , and M ( n ) = ( a ) n ( b ) n ( c ) n , where ( k ) n represents the Pochhammer symbol, the function of the Definition 2 reduces to the Gaussian hypergeometric function
2 F 1 ( a , b ; c ; z ) = n = 0 ( a ) n ( b ) n ( c ) n z n Γ ( n + 1 ) , z D .
Assuming that M ( 0 ) 0 , define the function M F a , b to be the normalized function obtained from z F a , b ( z ) by
M F a , b ( z ) : = Γ ( b ) M ( 0 ) z F a , b ( z ) = z + n = 2 M ( n 1 ) Γ ( b ) M ( 0 ) Γ ( a ( n 1 ) + b ) z n , z D .
Note that if M ( n ) = ( n + 1 ) r , r 0 , with a = 0 and b = 1 , the operator (3) is the Sălăgean integral operator of order r (see [27]).
In the present article, first we will give a generalization of the normalized function F a , b by using the q-gamma function, in order to be the q-Raina function, as follows:
q , M F a , b ( z ) : = z + n = 2 Φ n ( a , b , M , q ) z n , z D ,
where
Φ n ( a , b , M , q ) : = M ( n 1 ) Γ q ( b ) M ( 0 ) Γ q ( a ( n 1 ) + b ) ,
and Re a > 0 , Re b > 0 , M ( 0 ) 0 .
In view of the quantum operator ð q , we introduce the following q-Raina differential operator M Δ q k : Λ Λ by
M Δ q 0 ( a , b ) h ( z ) = h ( z ) q , M F a , b ( z ) , M Δ q 1 ( a , b ) h ( z ) = z ð q M Δ q 0 ( a , b ) h ( z ) , M Δ q 2 ( a , b ) h ( z ) = M Δ q 1 ( a , b ) M Δ q 1 ( a , b ) h ( z ) , M Δ q k ( a , b ) h ( z ) = M Δ q 1 ( a , b ) M Δ q k 1 ( a , b ) h ( z ) , h Λ , k N , k 2 .
Using the above definition, it follows that if h Λ has the form (1), then
M Δ q k ( a , b ) h ( z ) = z + n = 2 [ n ] q k M ( n 1 ) Γ q ( b ) M ( 0 ) Γ q ( a ( n 1 ) + b ) a n z n = z + n = 2 [ n ] q k Φ n ( a , b , M , q ) a n z n , z D ,
where Φ n ( a , b , M , q ) is given by (4) and
[ n ] q k : = [ n ] q k , k N 0 .
Note that, if a = 0 and M ( n 1 ) = 1 for all n 1 , we obtain the Sălăgean q-differential operator defined in [28]. Moreover, if M ( n 1 ) = 1 for all n 1 , we obtain the q-differential operator of [11]. With the aid of the q-differential operator defined by (5), we will define and study some new classes of analytic functions in the open unit disk.
Definition 3.
Let define by ρ j , the convex analytic function in D as follows:
ρ j , ( z ) : = 1 + z 1 z , if j = 0 , 1 ( j , ) , if j = 1 , 2 ( j , ) , if 0 < j < 1 , 3 ( j , ) , if j > 1 ,
where C { 0 } , and the following functions are defined by (see [29])
1 ( j , ) ( z ) = 1 + 2 π 2 log 1 + z 1 z 2 , 2 ( j , ) ( z ) = 1 + 2 1 j 2 sinh 2 2 π arccos ( j ) arctanh ( z ) , 3 ( j , ) ( z ) = 1 + 1 j 2 + j 2 1 sin π 2 R ( t ) 0 ( z ) / t d ζ 1 ζ 2 1 ( ζ t ) 2 .
where l ( z ) = z t 1 t z , t ( 0 , 1 ) , is chosen such that t = cosh π R ( t ) 4 R ( t ) , where R ( t ) is the Legendre’s complete elliptic integral of the first kind and R ( t ) is the complementary integral of R ( t ) , where R ( t ) 2 = 1 R ( t ) 2 .
Definition 4.
The function h Λ is called to be in the class j S q , k ( a , b ) if and only if
z ð q M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) ρ j , ( z ) ,
where (see also [29,30])
ρ j , ( z ) = 1 + ρ 1 z + ρ 2 z 2 + , z D ,
is defined in the Definition 3.
Definition 5.
The function h Λ is called in the class j S k ( a , b ) if h j S q , k ( a , b ) and q 1 .
Lemma 1
([31]). Let G ( z ) = n = 0 g n z n be a univalent convex function in D satisfying the inequality
H ( z ) = n = 0 h n z n G ( z ) .
Then, | h n | | g 1 | for all n 1 .
Lemma 2
([32]). Let P ( z ) = 1 + n = 1 p n z n be analytic in D satisfying the condition Re P ( z ) > 0 , z D . Then,
p 2 k p 1 2 2 max { 1 ; | 2 k 1 | } , k C .

2. Subordination and Coefficient Upper Bounds for the Class j S q , k ( a , b )

We start our first subordination result for the functions of the class j S q , k ( a , b ) when q 1 , as follows:
Theorem 1.
If h is in the class j S k ( a , b ) , then
M Δ q k ( a , b ) h ( z ) z exp 0 z ρ j , ( ω ( χ ) ) 1 χ d χ ,
where ω is a Schwarz function satisfying ω ( 0 ) = 0 and | ω ( z ) | < 1 , z D . Furthermore, for | z | : = ϱ < 1 we have
exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ M Δ q k ( a , b ) h ( z ) z exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ .
Proof. 
If z = 0 , the results in theorem are satisfied by defination of the subordination relation.
If z D and z 0 , since h j S k ( a , b ) , then
M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) 1 z = ρ j , ( ω ( z ) ) 1 z ,
where ω is a Schwarz function satisfying ω ( 0 ) = 0 and | ω ( z ) | < 1 , z D .
Integrating both sides of the above relation it follows that
M Δ q k ( a , b ) h ( z ) z exp 0 z ρ j , ( χ ) 1 χ d χ ,
which is equivalent to
M Δ q k ( a , b ) h ( z ) z exp 0 z ρ j , ( χ ) 1 χ d χ .
Since
ρ j , ( ϱ | z | ) Re ρ j , ( ω ( z ϱ ) ) ρ j , ( ϱ | z | ) ,
this yields
0 1 ρ j , ( ϱ | z | ) 1 ϱ d ϱ 0 1 Re ρ j , ( ω ( z ϱ ) ) 1 ϱ d ϱ 0 1 ρ j , ( ϱ | z | ) 1 ϱ d ϱ .
Combining the above inequalities we obtain
0 1 ρ j , ( ϱ | z | ) 1 ϱ d ϱ log M Δ q k ( a , b ) h ( z ) z 0 1 ρ j , ( ϱ | z | ) 1 ϱ d ϱ ,
and this leads to
exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ M Δ q k ( a , b ) h ( z ) z exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ .
 □
The previous theorem represents a generalization of some earlier results, as we can see in the next two special cases:
Corollary 1
([11], Theorem 6). If M ( n ) = 1 for all n 1 , then
Δ q k ( a , b ) h ( z ) : = 1 Δ q k ( a , b ) h ( z ) z exp 0 z ρ j , ( χ ) 1 χ d χ ,
where ω is a Schwarz function satisfying ω ( 0 ) = 0 and | ω ( z ) | < 1 , z D . Furthermore, for | z | : = ϱ < 1 we have
exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ Δ q k ( a , b ) h ( z ) z exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ .
Corollary 2
([33], Theorem 3.1). If M ( n ) = 1 for all n 1 and a = 0 , b = 1 , then
Δ q k ( 0 , 1 ) h ( z ) z exp 0 z ρ j , ( χ ) 1 χ d χ ,
where ω is a Schwarz function satisfying ω ( 0 ) = 0 and | ω ( z ) | < 1 , z D . Furthermore, for | z | : = ϱ < 1 we have
exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ Δ q k ( 0 , 1 ) h ( z ) z exp 0 1 ρ j , ( ϱ ) 1 ϱ d ϱ .
The following theorem gives us an upper bound for the Taylor coefficients of the functions from the class j S q , k ( a , b ) :
Theorem 2.
If h belongs to the class j S q , k ( a , b ) , then
| a 2 | | ρ 1 | [ 2 ] q k Φ 2 ( a , b , M , q ) [ 2 ] q 1 , | a n | | ρ 1 | [ n ] q k Φ n ( a , b , M , q ) ( [ n ] q 1 ) j = 1 n 2 1 + | ρ 1 | [ j + 1 ] q 1 , n 3 ,
where ρ 1 is defined by (6).
Proof. 
Letting
z ð q M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) = : P ( z ) , z D ,
where P ( z ) = 1 + n = 1 p n z n , this brings that
z + n = 2 [ n ] q k + 1 Φ n ( a , b , M , q ) a n z n = z + n = 2 [ n ] q k Φ n ( a , b , M , q ) a n z n 1 + n = 1 p n z n = n = 0 p n z n + 1 · n = 0 p n z n · n = 2 [ n ] q k Φ n ( a , b , M , q ) a n z n .
From the comparison of the coefficients of z n of the above equality we obtain
[ n ] q k + 1 Φ n ( a , b , M , q ) a n = [ n ] q k Φ n ( a , b , M , q ) a n + j = 1 n 1 [ j ] q k M ( j 1 ) Γ q ( b ) M ( 0 ) Γ q ( a ( j 1 ) + b ) a j p n j .
Accordingly, we obtain
[ n ] q k [ n ] q 1 Φ n ( a , b , M , q ) a n = j = 1 n 1 [ j ] q k M ( j 1 ) Γ q ( b ) M ( 0 ) Γ q ( a ( j 1 ) + b ) a j p n j ,
and a calculation implies that
a n = 1 [ n ] q k [ n ] q 1 Φ n ( a , b , M , q ) j = 1 n 1 [ j ] q k M ( j 1 ) Γ q ( b ) M ( 0 ) Γ q ( a ( j 1 ) + b ) a j p n j .
In view of Lemma 1, since | p n | | ρ 1 | , we obtain
| a n | | ρ 1 | [ n ] q k [ n ] q 1 Φ n ( a , b , M , q ) j = 1 n 1 [ j ] q k M ( j 1 ) Γ q ( b ) M ( 0 ) Γ q ( a ( j 1 ) + b ) | a j | .
For n = 2 we have
| a 2 | | ρ 1 | [ 2 ] q k [ 2 ] q 1 Φ 2 ( a , b , M , q ) j = 1 1 [ j ] q k M ( j 1 ) Γ q ( b ) M ( 0 ) Γ q ( a ( j 1 ) + b ) | a j | = | ρ 1 | [ 2 ] q k Φ 2 ( a , b , M , q ) [ 2 ] q 1 ,
while if n = 3 , then
| a 3 | | ρ 1 | [ 3 ] q k Φ 3 ( a , b , M , q ) [ 3 ] q 1 1 + [ 2 ] q k Φ 2 ( a , b , M , q ) | a 2 | .
Combining the last two inequalities we obtain
| a 3 | | ρ 1 | [ 3 ] q k Φ 3 ( a , b , M , q ) [ 3 ] q 1 1 + [ 2 ] q k Φ 2 ( a , b , M , q ) | ρ 1 | [ 2 ] q k Φ 2 ( a , b , M , q ) [ 2 ] q 1 = | ρ 1 | [ 3 ] q k Φ 3 ( a , b , M , q ) [ 3 ] q 1 1 + | ρ 1 | [ 2 ] q 1 .
Suppose that for a fixed j 2 the next inequality is valid:
| a j | | ρ 1 | [ j ] q k Φ j ( a , b , M , q ) ( [ j ] q 1 ) j = 1 j 2 1 + | ρ 1 | [ j + 1 ] q 1 , n 3 .
Hence, we have
| a j + 1 | | ρ 1 | [ j + 1 ] q k Φ j + 1 ( a , b , M , q ) ( [ j + 1 ] q 1 ) · ( 1 + | ρ 1 | [ 2 ] q 1 + | ρ 1 | [ 3 ] q 1 1 + | ρ 1 | [ 2 ] q 1 + + | ρ 1 | [ j ] q k Φ j ( a , b , M , q ) ( [ j ] q 1 ) j = 1 j 2 1 + | ρ 1 | [ j + 1 ] q 1 ) | ρ 1 | [ j ] q k Φ j ( a , b , M , q ) ( [ j ] q 1 ) j = 1 j 2 1 + | ρ 1 | [ j + 1 ] q 1 ,
which, according to the mathematical induction, completes our proof. □
Remark 2.
The results in Theorem 2, are sharp for the following functions which are belonging to the class j S q , k ( a , b ) :
f ( z ) = z + | ρ 1 | [ 2 ] q k Φ 2 ( a , b , M , q ) [ 2 ] q 1 z 2
and
f ( z ) = z + | ρ 1 | [ n ] q k Φ n ( a , b , M , q ) ( [ n ] q 1 ) j = 1 n 2 1 + | ρ 1 | [ j + 1 ] q 1 z n , n 3
where ρ 1 is defined by (6).
The next two special cases of this theorem were previously obtained by different authors:
Corollary 3
([11], Theorem 8). If M ( n ) = 1 for all n 1 , then
| a 2 | | ρ 1 | [ 2 ] q k Φ 2 ( a , b , 1 , q ) [ 2 ] q 1 , | a n | | ρ 1 | [ n ] q k Φ n ( a , b , 1 , q ) ( [ n ] q 1 ) j = 1 n 2 1 + | ρ 1 | [ j + 1 ] q 1 , n 3 ,
with ρ 1 given by (6).
Corollary 4
([33], Theorem 3.2). If M ( n ) = 1 for all n 1 and a = 0 , b = 1 , then
| a 2 | | ρ 1 | [ 2 ] q k Φ 2 ( 0 , 1 , 1 , q ) [ 2 ] q 1 , | a n | | ρ 1 | [ n ] q k Φ n ( 0 , 1 , 1 , q ) ( [ n ] q 1 ) j = 1 n 2 1 + | ρ 1 | [ j + 1 ] q 1 , n 3 ,
where ρ 1 was given by (6).

3. Fekete-Szegő Problem for the Class j S q , k ( a , b )

First, we will give an estimate for the well-known Fekete–Szegő functional for the class j S q , k ( a , b ) .
Theorem 3.
If h j S q , k ( a , b ) , then
| a 3 ψ a 2 2 | | ρ 1 | 2 [ 3 ] q k Φ 3 ( a , b , M , q ) [ 3 ] q 1 max { 1 ; | 2 Ψ 1 | } ,
where ψ C , and
Ψ : = Ψ ( a , b , M , q ) = 1 2 1 ρ 2 ρ 1 ρ 1 1 [ 2 ] q 1 ψ [ 3 ] q k [ 3 ] q 1 2 Φ 2 ( a , b , M , q ) [ 2 ] q k [ 2 ] q 1 2 ,
with ρ 1 and ρ 2 defined by (6).
Proof. 
From the condition h j S q , k ( a , b ) we have
z ð q M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) = ρ j , ( ω ( z ) ) ,
where ω is a Schwarz functions satisfies ω ( 0 ) = 0 and | ω ( z ) | < 1 , z D .
Let p P be a function defined by
p ( z ) = 1 + ω ( z ) 1 ω ( z ) = 1 + p 1 z + p 2 z 2 + , z D ,
which implies
ω ( z ) = p 1 2 z + 1 2 p 2 p 1 2 2 z 2 + , z D ,
and
ρ j , ( ω ( z ) ) = 1 + ρ 1 p 1 2 z + ρ 2 p 1 2 4 + 1 2 p 2 p 1 2 2 ρ 1 z 2 + , z D .
Therefore, we obtain
z ð q M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) = 1 + [ 2 ] q k Φ 2 ( a , b , M , q ) [ 2 ] q 1 a 2 z + [ 3 ] q k Φ 3 ( a , b , M , q ) [ 2 ] q 1 a 3 [ 2 ] q k Φ 2 ( a , b , M , q ) 2 [ 2 ] q 1 a 2 2 z 2 + , z D ,
thus the initial coefficients can be determined as follows:
a 2 = ρ 1 p 1 2 [ 2 ] q k Φ 2 ( a , b , M , q ) [ 2 ] q 1 , a 3 = 1 [ 3 ] q k Φ 3 ( a , b , M , q ) [ 3 ] q 1 ρ 1 p 2 2 + p 1 2 4 ρ 2 ρ 1 + ρ 1 2 [ 2 ] q 1 a 3 ψ a 2 2 = 1 [ 3 ] q k Φ 3 ( a , b , M , q ) [ 3 ] q 1 ρ 1 p 2 2 + p 1 2 4 ρ 2 ρ 1 + ρ 1 2 [ 2 ] q 1 , ψ ρ 1 p 1 2 [ 2 ] q k Φ 2 ( a , b , M , q ) [ 2 ] q 1 2 .
A simple computation yields
a 3 ψ a 2 2 = ρ 1 2 [ 3 ] q k Φ 3 ( a , b , M , q ) [ 3 ] q 1 ( p 2 Ψ p 1 2 ) ,
where Ψ is given by (7) and ψ C . Hence, in view of Lemma 2 we obtain the desired result. □
The above theorem generalizes some previous results, as we can observe in the next two particular cases:
Corollary 5
([11], Theorem 10). If h j S q , k ( a , b ) with M ( n ) = 1 for all n 1 , then
| a 3 ψ a 2 2 | | ρ 1 | 2 [ 3 ] q k Φ 3 ( a , b , 1 , q ) [ 3 ] q 1 max { 1 ; | 2 Ψ ^ 1 | } ,
where ψ C , and
Ψ ^ : = Ψ ( a , b , 1 , q ) = 1 2 1 ρ 2 ρ 1 ρ 1 1 [ 2 ] q 1 ψ [ 3 ] q k [ 3 ] q 1 2 Φ 2 ( a , b , 1 , q ) [ 2 ] q k [ 2 ] q 1 2 ,
with ρ 1 and ρ 2 given by (6).
Corollary 6
([33], Theorem 3.3). If h j S q , k ( 0 , 1 ) with M ( n ) = 1 for all n 1 and a = 0 , b = 1 , then
| a 3 ψ a 2 2 | | ρ 1 | 2 [ 3 ] q k Φ 3 ( 0 , 1 , 1 , q ) [ 3 ] q 1 max { 1 ; | 2 Ψ ˜ 1 | } ,
where ψ C , and
Ψ ˜ : = Ψ ( 0 , 1 , 1 , q ) = 1 2 1 ρ 2 ρ 1 ρ 1 1 [ 2 ] q 1 ψ [ 3 ] q k [ 3 ] q 1 2 Φ 2 ( 0 , 1 , 1 , q ) [ 2 ] q k [ 2 ] q 1 2 ,
with ρ 1 and ρ 2 defined by (6).
The last result deals with a sufficient condition for the coefficients of a function h Λ to be in the class j S q , k ( a , b ) .
Theorem 4.
Let h Λ be of the form (1). If
n = 2 [ n ] q 1 ( j + 1 ) + | | | Φ n ( a , b , M , q ) | [ n ] q k | a n | | | ,
then h j S q , k ( a , b ) .
Proof. 
Obviously, we have
z ð q M Δ q k ( a , b ) h ( z ) m Δ q k ( a , b ) h ( z ) 1 = z ð q m Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) m Δ q k ( a , b ) h ( z ) = n = 2 [ n ] q 1 [ n ] q k Φ n ( a , b , M , q ) a n z n z + n = 2 [ n ] q k Φ n ( a , b , M , q ) a n z n n = 2 [ n ] q 1 [ n ] q k Φ n ( a , b , M , q ) | a n | 1 n = 2 | [ n ] q k Φ n ( a , b , M , q ) | | a n | , z D ,
and from the assumption of the theorem
1 n = 2 [ n ] q k Φ n ( a , b , M , q ) | a n | > 0 .
Since
j z ð q M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) 1 Re 1 z ð q M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) 1 j | | z ð q m Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) 1 + 1 z ð q m Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) 1 = j + 1 | | z ð q m Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) 1 = j + 1 | | z ð q M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) M Δ q k ( a , b ) h ( z ) j + 1 | | n = 2 | [ n ] q 1 [ n ] q k Φ n ( a , b , M , q ) | | a n | 1 n = 2 | [ n ] q k Φ n ( a , b , M , q ) | | a n | 1 , z D ,
we obtain h j S q , k ( a , b ) . □
This theorem generalizes other previously obtained results, which we can observe in the next two special cases. Thus, taking in the above theorem M ( n ) = 1 for all n 1 , and M ( n ) = 1 for all n 1 with a = 0 , b = 1 , we obtain the next special cases, respectively:
Corollary 7
([11], Theorem 12). Let h Λ be of the form (1). If
n = 2 [ n ] q 1 ( j + 1 ) + | | | Φ n ( a , b , 1 , q ) | [ n ] q k | a n | | | ,
then
z ð q Δ q k ( a , b ) h ( z ) Δ q k ( a , b ) h ( z ) ρ j , ( z ) .
That is h j S q , k ( a , b ) , when M ( n ) = 1 for all n 1 .
Corollary 8
([33], Theorem 3.4). Let h Λ be of the form (1). If
n = 2 [ n ] q 1 ( j + 1 ) + | | | Φ n ( 0 , 1 , 1 , q ) | [ n ] q k | a n | | | ,
then
z ð q Δ q k ( 0 , 1 ) h ( z ) Δ q k ( 0 , 1 ) h ( z ) ρ j , ( z ) .
That is h j S q , k ( 0 , 1 ) , when M ( n ) = 1 for all n 1 .

4. Conclusions

In light of Jackson’s calculus, Raina’s function in D is expanded. The proposed q-differential operator was applied to the normalized subclass, and the geometric behavior of the operator is investigated using differential inequalities. For more recent efforts (see [11,33]), some generalizations are provided, and finally, Theorem 4 gives the sufficient condition for a function to belong to this class. We also gave an estimate for the Fekete–Szegő functional for these newly defined classes of functions.

Author Contributions

The authors contributed equally to the writing of this paper. All authors have read and agreed to the published version of the manuscript.

Funding

This research has been funded by Scientific Research Deanship at University of Ha’il—Saudi Arabia through project number RG-21050.

Data Availability Statement

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Jackson, F.H. XI.–On q-functions and a certain difference operator. Earth Environ. Sci. Trans. R. Soc. Edinburgh 1909, 46, 253–281. [Google Scholar] [CrossRef]
  2. Jackson, F.H. On Q-definite integrals. Quart. J. Pure Appl. Math. 1910, 41, 193–203. [Google Scholar]
  3. Ismail, M.E.H.; Merkes, E.; Styer, D. A generalization of starlike functions, A generalization of starlike functions, Complex Variables. Theory Appl. 1990, 14, 77–84. [Google Scholar] [CrossRef]
  4. 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] [Green Version]
  5. Zainab, S.; Shakeel, A.; Imran, M.; Muhammad, N.; Naz, H.; Malik, S.N.; Arif, M. Sufficiency criteria for starlike functions associated with cardioid. J. Funct. Spaces 2021, 2021, 9999213. [Google Scholar] [CrossRef]
  6. Hadid, S.B.; Ibrahim, R.W.; Shaher, M. A new measure of quantum starlike functions connected with Julia functions. J. Funct. Spaces 2022, 2022, 4865785. [Google Scholar] [CrossRef]
  7. Ibrahim, R.W. Geometric process solving a class of analytic functions using q-convolution differential operator. J. Taibah Univ. Sci. 2020, 14, 670–677. [Google Scholar] [CrossRef]
  8. Ibrahim, R.W.; Băleanu, D. On quantum hybrid fractional conformable differential and integral operators in a complex domain. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. (RACSAM) 2021, 115, 31. [Google Scholar] [CrossRef]
  9. Ibrahim, R.W.; Elobaid, R.M.; Obaiys, S.J. Geometric inequalities via a symmetric differential operator defined by quantum calculus in the open unit disk. J. Funct. Spaces 2020, 2020, 6932739. [Google Scholar] [CrossRef]
  10. Ibrahim, R.W.; Elobaid, R.M.; Obaiys, S.J. A class of quantum Briot-Bouquet differential equations with complex coefficients. Mathematics 2020, 8, 794. [Google Scholar] [CrossRef]
  11. Noor, S.; Razzaque, A. New subclass of analytic function involving Mittag-Leffler function in conic domains. J. Funct. Spaces 2022, 2022, 8796837. [Google Scholar] [CrossRef]
  12. Tang, H.; Khan, S.; Hussain, S.; Khan, N. Hankel and Toeplitz determinant for a subclass of multivalent q-starlike functions of order α. AIMS Math. 2021, 6, 5421–5439. [Google Scholar] [CrossRef]
  13. Karthikeyan, K.R.; Lakshmi, S.; Varadharajan, S.; Umadevi, D.M.E. Starlike functions of complex order with respect to symmetric points defined using higher order derivative. Fractal Fract. 2022, 6, 116. [Google Scholar] [CrossRef]
  14. Riaz, S.; Nisar, U.A.; Xin, Q.; Malik, S.N.; Raheem, A. On starlike functions of negative order defined by q-fractional derivative. Fractal Fract. 2022, 6, 30. [Google Scholar] [CrossRef]
  15. Attiya, A.A. Some applications of Mittag-Leffler function in the unit disk. Filomat 2016, 30, 2075–2081. [Google Scholar] [CrossRef] [Green Version]
  16. Haubold, H.J.; Mathai, A.M.; Saxena, R.K. Mittag-Leffler functions and their applications. J. Appl. Math. 2011, 2011, 298628. [Google Scholar] [CrossRef] [Green Version]
  17. Ryapolov, P.A.; Postnikov, E.B. Mittag-Leffler function as an approximant to the concentrated ferrofluid’s magnetization curve. Fractal Fract. 2021, 5, 147. [Google Scholar] [CrossRef]
  18. Shukla, A.K.; Prajapati, J.C. On a generalization of Mittag-Leffler function and its properties. J. Math. Anal. Appl. 2007, 336, 797–811. [Google Scholar] [CrossRef] [Green Version]
  19. Srivastava, H.M.; Kiliçman, A.; Abdulnaby, Z.E.; Ibrahim, R. Generalized convolution properties based on the modified Mittag-Leffler function. J. Nonlinear Sci. Appl. 2017, 10, 4284–4294. [Google Scholar] [CrossRef] [Green Version]
  20. Duren, P.L. Univalent Functions, Grundlehren Math; Wissenschaften, Band 259; Springer: New York, NY, USA; Berlin/Heidelberg, Germany; Tokyo, Japan, 1983. [Google Scholar]
  21. Bulboacă, T. Differential Subordinations and Superordinations; New Results; House of Scientific Book Publ.: Cluj-Napoca, Romania, 2005. [Google Scholar]
  22. Ruscheweyh, S. Convolutions in Geometric Function Theory; Les Presses de L’Université de Montréal: Montréal, QC, Canada, 1982. [Google Scholar]
  23. Carathéodory, C. Über den Variabilitätsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen. Math. Ann. 1907, 64, 95–115. [Google Scholar] [CrossRef] [Green Version]
  24. Carathéodory, C. Über den ariabilitätsbereich der fourier’schen konstanten von positiven harmonischen funktionen. Rend. Circ. Mat. Palermo 1911, 32, 193–217. [Google Scholar] [CrossRef] [Green Version]
  25. Gil, A.; Javier, S.; Nico, M.T. Numerical Methods for Special Functions; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 2007. [Google Scholar]
  26. Raina, R.K. On generalized Wright’s hypergeometric functions and fractional calculus operators. East Asian Math. J. 2005, 21, 191–203. [Google Scholar]
  27. Sălxaxgean, G.S. Subclasses of Univalent Functions, Complex Analysis-Fifth Romanian-Finnish Seminar, Part 1 (Bucharest, 1981); Lecture Notes in Mathematics; Springer: Berlin, Germany, 1983; Volume 1013, pp. 362–372. [Google Scholar]
  28. Govindaraj, M.; Sivasubramanian, S. On a class of analytic functions related to conic domains involving q-calculus. Anal. Math. 2017, 43, 475–487. [Google Scholar] [CrossRef]
  29. Kanas, S.; Altınkaya, Ş. Functions of bounded variation related to domains bounded by conic sections. Math. Slovaca 2019, 69, 833–842. [Google Scholar] [CrossRef]
  30. Kanas, S. Techniques of the differential subordination for domains bounded by conic sections. Int. J. Math. Math. Sci. 2003, 38, 2389–2400. [Google Scholar] [CrossRef] [Green Version]
  31. Rogosinski, W. On the coefficients of subordinate functions. Proc. Lond. Math. Soc. 1943, 48, 48–82. [Google Scholar] [CrossRef]
  32. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference Complex Analysis, Tianjin, China, 19–23 June 1992; Conf. Proc. Lecture Notes Anal. I. International Press: Cambridge, MA, USA, 1994; pp. 157–169. [Google Scholar]
  33. Hussain, S.; Khan, S.; Zaighum, M.A.; Darus, M. Certain subclass of analytic functions related with conic domains and associated with Sălăgean q-differential operator. AIMS Math. 2017, 2, 622–634. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Attiya, A.A.; Ibrahim, R.W.; Albalahi, A.M.; Ali, E.E.; Bulboacă, T. A Differential Operator Associated with q-Raina Function. Symmetry 2022, 14, 1518. https://doi.org/10.3390/sym14081518

AMA Style

Attiya AA, Ibrahim RW, Albalahi AM, Ali EE, Bulboacă T. A Differential Operator Associated with q-Raina Function. Symmetry. 2022; 14(8):1518. https://doi.org/10.3390/sym14081518

Chicago/Turabian Style

Attiya, Adel A., Rabha W. Ibrahim, Abeer M. Albalahi, Ekram E. Ali, and Teodor Bulboacă. 2022. "A Differential Operator Associated with q-Raina Function" Symmetry 14, no. 8: 1518. https://doi.org/10.3390/sym14081518

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