ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

2024 International Conference on Science, Engineering and Business for Driving Sustainable Development Goals (SEB4SDG) | 979-8-3503-5815-5/24/$31.00 ©2024 IEEE | DOI: 10.1109/SEB4SDG60871.2024.10629691

Utilizing the q -Shaba Differential Operator on a

Specific Category of Analytic Functions
1st , 2nd Timilehin Gideon Shaba 1st Serkan Araci 1st Babatunde Olufemi Adebesin
st st
1 1 1st
Department of Physical Sciences Department of Basic Sciences Department of Physical Sciences
Landmark University, Hasan Kalyoncu University Landmark University,
Omu-Aran 251103, Nigeria Gaziantep 27010, Türkiye Omu-Aran 251103, Nigeria
[email protected] [email protected] [email protected]
2nd Landmark University SDG 11
Sustainable Cities and Communities
Omu-Aran, Kwara State, Nigeria

Abstract—The current investigation introduces a fresh category providing a distinctive generalization of several well-known
of analytic functions by utilizing the differential operator referred operators.
to as the q-Shaba operator. Termed as the q-Shaba differential
This paper’s investigation centers on a specific class of
operator throughout this study, it plays a crucial role in defining
this innovative subset of functions. Moreover, the research ex- analytic functions, characterized by their expression through
pands and builds upon prior findings by employing the q-Shaba the Maclaurin-Taylor series representation denoted as A. This
differential operator on various previously defined subsets and representation is given by the equation:
their associated outcomes. The primary objectives of this research
include computing the coefficients, along with the second and ∞
X
third Hankel determinants and Fekete-Szego estimates, for the f (ξ) = ξ + dr ξ r , (1.1)
recently established group of functions. Additionally, the study r=j+1
seeks to examine the upper limits of the coefficients |dk | required
for the functions f (ξ) to fall within this newly introduced where the variable j is a member of the set of natural numbers
classification. (N), and ξ ∈ U represents a set of complex numbers such
Index Terms—Hankel determinant; q-Shaba differential oper- that the absolute value of ξ is less than 1. Additionally, N0
ator; Fekete-Szego estimates; bounded turning function.
is defined as the set of non-negative integers (0, 1, 2, . . .),
equivalent to the set of natural numbers extended by the
1. I NTRODUCTION
inclusion of 0.
Quantum calculus, commonly denoted as q-calculus, is a Another captivating and extensively explored facet of the
mathematical framework resembling traditional calculus (in- coefficient issues associated with functions in equation (1.1)
volving differentiation and integration). However, it distin- pertains to the examination of the Fekete-Szego coefficient
guishes itself by deriving q-analogous results without the need functional ψϕ (f ) = |d3 − ϕd22 | for estimation purposes (where
for limit considerations. Originally introduced by Jackson [1], ϕ ∈ R). In the context of the lth Root Transformation, let’s
q-calculus has garnered significant attention from researchers consider the square-root transformation defined as:
in both Pure and Applied Mathematics. The advent of q-
∞
functions by Jackson [1] and q-calculus by Jackson [2] has X
∆2 (ξ) = ξ + d3 z 3 + d5 z 5 + · · · = z + d2r+1 ξ 2r+1 .
laid the foundation for various aspects of q-analysis. In the
r=1
realm of Calculus, q-differentiation, q-integration, linear and
nonlinear q-differential equations, and q-fractional calculus are It is apparent that ∆2 (ξ) is an odd univalent function due to
subjects of study within the framework of q-analysis. the property ∆2 (−ξ) = −∆2 (ξ). Littlewood and Parley [4]
q-analysis holds significance not only in mathematical con- asserted that each |d2r+1 | ≤ 14 for r ∈ N1 , accompanied by a
texts but also extends its influence across diverse fields. Within noteworthy footnote in their paper declaring, ”Without doubt,
Physics, it plays a crucial role in areas like q-deformation, the correct bound is 1.” This particular footnote is famously
quantum mechanics, and electronics. Probability and Statistics known as the Littlewood-Parley conjecture. The Fekete-Szego
benefit from the exploration of Gaussian q-distribution and q- coefficient functional holds significance as a well-established
exponential distribution. In the realm of Economics, its impact tool for determining the precise upper limit for functions f ∈
is evident in pricing models, as discussed by Haven [3]. S within the domain of geometric function theory. Numerous
Furthermore, q-operators have made noteworthy contributions intriguing research papers, such as [5]–[8], present notable
to Geometric Function Theory, particularly by offering a investigations related to the Fekete-Szego problem in recent
dynamic approach to defining classes of analytic functions and studies.

979-8-3503-5883-4/23/$31.00 ©2023 IEEE

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.
 ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

A Hankel matrix, named after Herman Hankel, is a type domain of Geometric Function Theory (GFT). This operator
of square-symmetric matrix characterized by equal elements enhances the capabilities of pre-existing operators. In our
along each diagonal. Since its inception, researchers have current investigation, we will denote this operator as the q-
extensively investigated the properties and determinants of Shaba differential operator. Our aim is to incorporate it for
Hankel matrices across various branches of mathematical the establishment of a novel subclass of analytic functions
analysis. Pommerenke [9] highlights a significant applica- and apply it to broaden the scope of several existing subclasses
tion involving the study of singularities and mathematical along with their corresponding outcomes. The definition of the
expressions with integral coefficients that describe analytic operator is outlined as follows:
functions. Junod [10] explores their utility in solving problems
Definition 2.1. [6] For f (ξ) ∈ A, c ∈ N, ω ∈ [0, b], γ ≥ 0,
related to orthogonal polynomials, while Layman [11] outlines
m ∈ N0 , q ∈ (0, 1), ξ ∈ U, the q-Shaba differential operator
recent advancements and properties of Hankel matrices and
is defined by:
determinants. For a more thorough exploration of Hankel !
determinants (HD) applications, Lasode and Opoola [12] offer m,ω,b,c m−1,ω,b,c
additional insights and references in their research. Sγ,q f (ξ) = Dq Sγ,q f (ξ)
∞
2. P RELIMINARIES X
=z+ [Φr (γ, ω, b, c)]m r
q dr ξ , (2.2)
The q-derivative, as outlined in Jackson’s research [1], [2], r=2
is an mathematical operation applicable to functions f ∈ A
where
with the constraint 0 < q < 1. This derivative, represented as
Dq f (ξ), is formally defined by the equation: Φr (γ, ω, b, c) = 1 + (r + b − ω − 1)Lcs (γ)

∞
and c  
f (ξ) − f (ξq) X X c
Dq f (ξ) = =1+ [r]q dr ξ r−1 (ξ ∈ U). Φr (γ, ω, b, c) = (−1)s+1 γ r .
ξ(1 − q) s
r=1 s=1
(2.1)
Several exceptional operators are also derived (refer to the
To begin with, Alexander [13] initially introduced a category
example and the works [22]–[26]). We can have the following
labeled as B, comprising functions f (ξ) ∈ A where the real P∞ 
m,ω,b,c
part of the derivative of f (ξ) is positive for ξ ∈ U. Referred Dq (Sγ,q f (ξ)) = 1 + r=2 [r]q [Φr (γ, ω, b, c)]m
q dr ξ
r−1

to as the class of bounded turning functions, Alexander [13] P∞ .
established the univalence of functions within B. Subsequently, m,ω,b,c
ξD2q (Sγ,q f (ξ)) = m
r=2 [r]q [r − 1]q [Φr (γ, ω, b, c)]q dr ξ
r−1 
Noshiro [14] and Warschawski [15] independently demon- (2.3)
strated that a prerequisite for a function f to be univalent Inspired by the recent research conducted by Lasode and
is its membership in B. MacGregor [16] further delved into Opoola (Lasode and Opoola [21], 2023), this study utilizes
the characteristics of the B class, yielding insightful findings. the q-Shaba differential operator to introduce a novel category
In 1976, Lewandowski et al. [17] extended and examined the of analytic functions, extending and building upon existing
class previously studied by Alexander [13] as an exemplifica- findings. The focus of this investigation includes establishing
tion of a proven lemma. Ponnusamy [18], in 1992, investigated the coefficients estimates, the Fekete-Szego estimates, and the
a class that extended the work of Lewandowski et al. [17] second and third HD for this newly defined class of functions.
and provided numerous differential subordination conditions Additionally, the study aims to explore the upper bounds of
for starlikeness of functions. Subsequently, in 1994, Silverman the coefficients |dr | necessary for the functions f (ξ) to belong
[19] studied the class defined as follows: to the aforementioned new class.

H(ζ) = [f (ξ) ∈ A : ℜ(f ′ (ξ) + ξf ′′ (ξ)) > ζ, ζ < 1] Definition 2.2. Suppose −π < υ < π, ρ < 1, and σ belongs
to the interval [0, 1), while Dq f (ξ) is defined as stated in
and obtained noteworthy results. Furthermore, Mahzoon and equation (2.1). In that case, a function f belonging to the
Kargar [20] expanded on Silverman’s [19] work in 1994 and class A is considered a member of the class BΛγ,υ,ρ,σ m,ω,b,c (q) if
derived some interesting results. Most recently, Lasode and it meets the condition of q-differential subordination.
Opoola [21] investigated the class introduced by Mahzoon m,ω,b,c
!
and Kargar [20] and were able to define a new family of 2Dq (Sγ,q f (ξ)) + (1 + eiυ )zD2q (Sγ,q
m,ω,b,c
) − 2ρ
ℜ > σ.
analytic and univalent functions with positive real parts in 2(1 − ρ)
the unit disk U. They utilized q-derivative to establish the (2.4)
definition of the class studied in their research. In their recent Different subclasses of BΛγ,υ,ρ,σ
m,ω,b,c (q) are examined by modify-
work, Lasode and Opoola [21] obtained the second HD, ing the parameters in (2.4) in the following manner.
Fekete-Szego estimates, and coefficient estimates for the class (a) In 1977, Chichra [27] investigated a specific class
discussed in their research paper. denoted as R, which is characterized by the expression
In the year 2023, Shaba and colleagues (Shaba et al., 2023) limq−→1 BΛ1,0,0,0
0,b,b,1 (q). This expression is equivalent to
introduced an innovative q-differential operator within the BΛ = R as shown in equation (2.4).

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.
 ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

(b) In equation (2.4), limq−→1 BΛ1,0,0,σ as tan υ = ux . Consequently,

0,b,b,1 (q). This limit is we can determine
υ by taking
the arctangent of ux , denoted as υ = tan−1 ux .


equivalent to the class BΛσ . The class BΛσ = L(σ)
was introduced and investigated by Silverman [28] in
tan−1 ux


for u, x > 0
1994.



(c) In equation (2.4), limq−→1 BΛ1,υ,0,0

0,b,b,1 (q). This limit is

 π + tan−1 ux


for u < 0, x > 0

equivalent to the class BΛυ . The class BΛυ was in-

υ = arg ξ =
troduced and investigated by Silverman and Silvia [19] −1 x


 −π + tan for u, x < 0


in 1999.

 u

(d) In 2008, Babalola and Opoola [29] investigated a


tan−1 ux


for u > 0, x < 0.

specific class denoted as B, which is characterized by
the expression limq−→1 BΛ1,π,0,00,b,b,1 (q). This expression is
3. R ESULTS
equivalent to BΛ = B as shown in equation (2.4). The outcomes that have been firmly established are as
(e) In 2015, Krishna [30] investigated a specific class de- follows.
noted as B(σ), which is characterized by the expression
limq−→1 BΛ1,π,0,σ Theorem 3.1. Let −π < υ < π, ρ < 1, and σ belongs to the
0,b,b,1 (q). This expression is equivalent to
BΛσ = B(σ) as shown in equation (2.4). interval [0, 1), then function
(f) In 2020, Mahzoon and Kargar [20] studied a particular m,ω,b,c γ,υ,ρ,σ
Sγ,q f (ξ) = ξ + [Φr (γ, ω, b, c)]m r
q dr ξ ∈ BΛm,ω,b,c (q)
class denoted as R(υ, σ), which is described by the (3.1)
equation limq−→1 BΛ1,υ,0,σ
0,b,b,1 (q) = BΛ
υ,σ
. if
(g) In 2021, Lasode and Opoola [21] studied a particular 2(1 − ρ)
|dr | ≤ (3.2)
class denoted as Aq (υ, σ), which is described by the K
1,υ,0,σ
equation BΛ0,b,b,1 (q) = BΛυ,σ q . where the value of θ0 reaches its lowest point:
(h) In 2023, Joshua et. al. [31] studied a particular class !
denoted as BT (ρ, m), which is described by the equa- −1 − sin υ[r − 1]q
θ0 = tan + π, (3.3)
tion limq−→1 BΛ1,π,ρ,0
m,b,b,1 (q) = BΛm .
ρ 2 + [r − 1]q (1 + cos υ)
The lemmas mentioned below are important for proving
K = [Φr (γ, ω, b, c)]m
q [r]q (|Dr | − [cos υ([r − 1]q + 2)
some of our results. We define a family of functions called
P, which can be represented as follows: + cos(υ + θ0 )[r − 1]q ])
∞
X and
ar ξ r (ξ ∈ U, a(0) = 1 and ℜa(z) > 0). Dr = (1 + eiυ )[r − 1]q + 2

a(z) = 1 + 
r=1 .
(2.5) p
|Dr | = 2{2 + (2 + [r − 1]q )(1 + cos υ)[r − 1]q }

This family, denoted as P, corresponds to the well-known
(3.4)
Caratheodory functions [32]. Now, for any function a belong-
ing to P, the following lemmas are valid. Proof. First, when the q-derivative (2.1) is utilized on (3.1),
the resulting expression is obtained:
Lemma 2.3. [33] |ar | ≤ 2 (r ∈ N). 
m,ω,b,c
Dq Sγ,q f (ξ) = 1 + [r]q [Φr (γ, ω, b, c)]m
q dr ξ
r−1

Lemma 2.4. [34] |a2 −ϕa21 | ≤ 2 max{1, |2ϕ−1|} (ϕ ∈ C). .
Lemma 2.5. [35] ξD2q Sγ,q
m,ω,b,c
f (ξ) = [r]q [r − 1]q [Φr (γ, ω, b, c)]m
q d r ξ r−1 

(3.5)
1 1 To simplify the analysis, it is enough to examine the require-
a2 = (4 − a21 )s + a21 , ment that when |z| = 1,
2 2
1 4 1
a2 = a1 + (4 − a21 )a21 s + (4 − a21 )2 s2 ,
2 m,ω,b,c
2Dq (Sγ,q f (ξ)) + (1 + eiυ )zD2q (Sγ,q
m,ω,b,c
) − 2ρ
4 2 −1 <
1 3 1 1 2(1 − ρ)
a3 = a1 + (4 − a21 )a1 s − (4 − a21 )a1 s2 ( )
4 2 4 m,ω,b,c
2Dq (Sγ,q f (ξ)) + (1 + eiυ )zD2q (Sγ,q
m,ω,b,c
) − 2ρ
1 2 2 ℜ .
+ (4 − a1 )(1 − |s| )ξ 2(1 − ρ)
2
(3.6)
for certain values of s and ξ within the range of -1 to 1,
By inserting (3.5) into (3.6), the intended outcome is attained.
satisfying the condition of their magnitudes being less than or
By assigning the absolute value of dr to t and representing
equal to 1.
dr ξ r−1 as teiθ , followed by the application of equation (3.4),
Lemma 2.6. [36] Assume z = u + ix, where u and x are we obtain the subsequent result. Discerning the particular
real numbers. We can express the tangent of the principal value of θ for which equation (3.6) reaches its minimum
argument υ of ξ as the ratio of x to u, which can be written signifies that:

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.
 ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

2(1 − ρ)(1 − σ)ar−1

|dr | = .
2 sin θ + [r − 1]q [sin θ + sin(υ + θ)] = 0. [2 + (1 + eiυ )[r − 1]q ][r]q [Φr (γ, ω, b, c)]m
q

Applying the principle of double angles formula, we have

Through the utilization of Lemma 2.3, we can mathematically
2 sin θ + [r − 1]q [sin θ + sin υ cos θ + cos υ sin θ] = 0, reach the following result:
after dividing both sides of the equation by cos θ and perform- 4(1 − σ)(1 − ρ)
ing additional simplification steps, we obtain the following |dr | ≤ (r ∈ N2 ).
|Dr |[r]q [Φr (γ, ω, b, c)]m
q
result:
− sin υ[r − 1]q
tan θ = .
2 + [r − 1]q (1 + cos υ)
According to Lemma 2.6, the minimum value of θ is obtained Corollary 3.5. Suppose there exists a function f (ξ) belonging
in (3.3). to a class denoted as BΛγ,υ,ρ,σ
m,ω,b,c (q). Then, for a certain positive
integer r, the equation (3.8) can be expressed as follows:
Setting γ = 1, ρ = 0, w = b, m = 0, υ = π in Theorem
3.1, we have the following corollary. 2(1 − ρ)(1 − σ)a1 2(1 − ρ)(1 − σ)a2
d2 = m
, d3 = ,
Corollary 3.2. Let f (ξ) = ξ + dr z r ∈ Bq (π, σ) and r = D2 [2]q [Φ2 (γ, ω, b, c)]q D3 [3]q [Φ3 (γ, ω, b, c)]m
q
{2, 3, · · · }, then 2(1 − ρ)(1 − σ)a3 2(1 − ρ)(1 − σ)a4
1 d4 = m
d5 = .
|dr | ≤ D4 [4]q [Φ4 (γ, ω, b, c)]q D5 [5]q [Φ5 (γ, ω, b, c)]m
q
2[r]q
and suppose q −→ 1, then The expression Dr refers to the quantity defined in equation
(3.4).
1
|dr | ≤
. Corollary 3.6. Suppose there exists a function f (ξ) belonging
2r
Remark 3.3. If γ = 1, ρ = 0, w = b, m = 0 and q −→ 1, to the class BΛγ,υ,ρ,σ
m,ω,b,c (q). According to Theorem 3.4, there
then Theorem 3.1 becomes the result of Trojnar- Spelina [37]. exists a positive integer r greater than or equal to 2 such that
this condition holds.
Theorem 3.4. Let −π < υ < π, ρ < 1, and σ belongs to the
interval [0, 1). Suppose f (ξ) ∈ BΛγ,υ,ρ,σ 4(1 − ρ)(1 − σ) 4(1 − ρ)(1 − σ)
m,ω,b,c (q). Then |d2 | ≤ , |d3 | ≤ ,
m
|D2 |[2]q [Φ2 (γ, ω, b, c)]q |D3 |[3]q [Φ3 (γ, ω, b, c)]m
q
4(1 − σ)(1 − ρ)
|dr | ≤ (r ∈ N2 ) 4(1 − ρ)(1 − σ) 4(1 − ρ)(1 − σ)
|Dr |[r]q [Φr (γ, ω, b, c)]m
q |d4 | ≤ m
, |d5 | ≤ .
|D4 |[4]q [Φ4 (γ, ω, b, c)]q |D5 |[5]q [Φ5 (γ, ω, b, c)]m
q
where |Dr | is defined by (3.4).
The expression |Dr | refers to the quantity defined in equation
Proof. Assume that there exists a function f (ξ) belonging to
(3.4).
a certain class of functions, denoted as BΛγ,υ,ρ,σ
m,ω,b,c (q). This
allows us to represent the equation (2.4) in terms of the Setting γ = 1, ρ = 0, w = b, m = 0, υ = π, σ = 0 and
relationship given by equation (2.5). q −→ 1 in Corollary 3.6, we have the following corollary.
m,ω,b,c
2Dq (Sγ,q f (ξ)) + (1 + eiυ )zD2q (Sγ,q
m,ω,b,c
) − 2ρ Corollary 3.7. Suppose f (ξ) ∈ B. Then
= 2(1 − ρ)[σ + (1 − σ)a(z)] (3.7)
2 1 2
|d2 | ≤ 1, |d3 | ≤ , |d4 | ≤ , |d5 | ≤ .
by substituting equation (2.5) and equation (2.3) into equation 3 2 5
(3.7), the resulting equation becomes:
Ali at al. [39] conducted a study that delved into the Fekete-
∞
" #
X Szego problem associated with the lth -root transformation
2(1 − ρ) + 2 + (1 + eiυ )[r − 1]q [r]q [Φr (γ, ω, b, c)]m
q applied to specific subfamilies within S. The lth -root trans-
k=2
∞ formation, as described in Goodman’s work [33], is applied
to functions f (ξ) ∈ S in the form of (1.1).
X
r−1 r−1
dr ξ = 2(1 − ρ) + 2(1 − ρ)(1 − σ)ar−1 ξ
r=2  
1 1 l − 1 2 2l+1
q
l l l+1
which yields: F(ξ) = f (ξ ) = ξ + d2 ξ + d3 − d ξ + ···
" # l l 2l2 2
2 + (1 + eiυ )[r − 1]q [r]q [Φr (γ, ω, b, c)]m q (3.9)
dr = (1 − σ)ar−1 . ∞
(1 − ρ) 2 X
≡ξ+ yrl+1 ξ rl+1 (l ∈ N). (3.10)
Applying the equation (3.4) and conducting additional simpli- r=1
fication yields
Consequently, our theorem can be derived from the above
2(1 − ρ)(1 − σ)ar−1
dr = , (3.8) statement.
[2 + (1 + eiυ )[r − 1]q ][r]q [Φr (γ, ω, b, c)]m
q

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.
 ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

Theorem 3.8. Let f (ξ) ∈ BΛγ,υ,ρ,σ

m,ω,b,c (q). Suppose −π < υ < Proof. Applying (3.9), we have
π, ρ < 1 and ϕ ∈ R, then (
2 2(1 − ρ)(1 − σ)
 8(1−ρ)(1−σ) |y2l+1 − βyl+1 | =
 l[3]q [Φ3 (γ,ω,b,c)]m ϕ≤S l|D3 |[3]q [Φ3 (γ, ω, b, c)]m
q
q |D3 |

2
y2l+1 − ϕyl+1 ≤
)
(2ϕ + l − 1)(1 − ρ)(1 − σ)[3]q D3 [Φ3 (γ, ω, b, c)]m
q 2
 16(1−ρ)2 (1−σ)2 (2ϕ+y−1) ϕ ≥ S,
 a2 − a1
y 2 [2]2q |D22 |([Φ2 (γ,ω,b,c)]m
q )
2 lD22 [2]2q ([Φ2 (γ, ω, b, c)]m
q )2

2(1 − ρ)(1 − σ)
where ≤ |a2 − λa21 |,
! l|D3 |[3]q [Φ3 (γ, ω, b, c)]m
q
1 yD22 [2]2q ([Φ2 (γ, ω, b, c)]m
q )
2
S= −y+1 where
2 (1 − ρ)(1 − σ)D3 [3]q [Φ3 (γ, ω, b, c)]mq
(2ϕ + l − 1)(1 − ρ)(1 − σ)[3]q D3 [Φ3 (γ, ω, b, c)]m
q
λ= .
l belong to the set of natural numbers, yrl+1 refers to the lD22 [2]2q ([Φ2 (γ, ω, b, c)]m
q )
2

definition given in equation (3.9), and |Dr | corresponds to

Using Lemma (2.4) allows us to conclude the demonstration
the definition given in equation (3.4).
for Theorem 3.10.
Proof. By utilizing Corollary 3.5 and inserting the values of
d2 and d3 into equation (3.9), we obtain the following result. Remark 3.11. If γ = 1, ρ = 0, w = b, m = 0 and q −→ 1,
then Theorem 3.10 becomes the result of Lasode and Opoola
2(2ϕ + l − 1)(1 − ρ)2 (1 − σ)2 2 [21].
2
|y2l+1 − ϕyl+1 |≤2 a1
l2 D22 [2]2q ([Φ2 (γ, ω, b, c)]m
q )
2
Theorem 3.12. Let f (ξ) ∈ BΛγ,υ,ρ,σ
m,ω,b,c (q). Suppose −π < υ <
π, ρ < 1 and ϕ ∈ C, then
2(1 − ρ)(1 − σ)
if a2 8(1 − ρ)(1 − σ)
lD3 [3]q [Φ3 (γ, ω, b, c)]m
q |H2,1 (ξ)| = |d3 − d22 | ≤
[3]q [Φ3 (γ, ω, b, c)]m
q |D3 |
2(2ϕ + l − 1)(1 − ρ)2 (1 − σ)2 2
≤ a1 . (3.11) where |Dr | corresponds to the definition given in equation
l2 D22 [2]2q ([Φ2 (γ, ω, b, c)]m
q )
2
(3.4).
Subsequently, utilizing Lemma (2.3) and equation (3.11), we Setting γ = 1, ρ = 0, w = b, m = 0, υ = π, σ = 0 and
can deduce that q −→ 1 in Theorem 3.12, we have the following corollary.
2 16(2ϕ + l − 1)(1 − ρ)2 (1 − σ)2 Corollary 3.13. Suppose f (ξ) ∈ B. Then
|y2l+1 − ϕyl+1 |≤ for
l2 D22 [2]2q ([Φ2 (γ, ω, b, c)]m
q )
2
4
|H2,1 (ξ)| = |d3 − d22 | ≤
!
1 yD22 [2]2q ([Φ2 (γ, ω, b, c)]m
q )
2 .
ϕ≥ −y+1 . 3
2 (1 − ρ)(1 − σ)D3 [3]q [Φ3 (γ, ω, b, c)]m
q
Theorem 3.14. Let f (ξ) ∈ BΛγ,υ,ρ,σ
m,ω,b,c (q). Suppose −π < υ <
π and ρ < 1, then
Hence, by assembling the outcomes, we finalize the verifica-
tion of Theorem 3.8. 16(1 − ρ)2 (1 − σ)2 18(1 − ρ)2 (1 − σ)2
|H2,2 (ξ)| = |d2 d4 −d23 | ≤ +
G N
Remark 3.9. If γ = 1, ρ = 0, w = b, m = 0 and q −→ 1, where
then Theorem 3.8 becomes the result of Lasode and Opoola 
[21]. G = |D2 ||D4 |[2]q [4]q [Φ2 (γ, ω, b, c)]m m
q [Φ4 (γ, ω, b, c)]q > 0 

Theorem 3.10. Let f (ξ) ∈ BΛγ,υ,ρ,σ

m,ω,b,c (q). Suppose −π < υ < N = |D3 |2 [3]2q ([Φ3 (γ, ω, b, c)]m 2
q ) >0

π, ρ < 1 and ϕ ∈ C, then (3.12)
( ) and |Dr | corresponds to the definition given in equation (3.4).
2 4(1 − ρ)(1 − σ)
|y2l+1 − βyl+1 |≤ max 1, G − 1 . Proof. From Corollary 3.5,
l|D3 |[3]q [Φ3 (γ, ω, b, c)]m
q
d2 d4 − d23
where   
2(1 − ρ)(1 − σ) 2(1 − ρ)(1 − σ)
= a1 a 3
2(2ϕ + l − 1)(1 − ρ)(1 − σ)[3]q D3 [Φ3 (γ, ω, b, c)]m
q D2 [2]q [Φ2 (γ, ω, b, c)]m
q D4 [4]q [Φ4 (γ, ω, b, c)]m q
G=
lD22 [2]2q ([Φ2 (γ, ω, b, c)]m
q ) 2 
2(1 − ρ)(1 − σ)
2
4(1 − ρ)2 (1 − σ)2
− a 2 − a2 .
2 2
and l belong to the set of natural numbers, yrl+1 refers to the D3 [3]q [Φ3 (γ, ω, b, c)]m
q D32 [3]2q ([Φ3 (γ, ω, b, c)]m
q )

definition given in equation (3.9), and |Dr | corresponds to the 4(1 − ρ)2 (1 − σ)2 a1 a3
=
definition given in equation (3.4). D2 D4 [2]q [4]q [Φ2 (γ, ω, b, c)]m
q [Φ4 (γ, ω, b, c)]q
m

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.
 ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

The application of Lemma 2.5 leads to a simplified form and Corollary 3.16. Suppose f (ξ) ∈ B. Then
making use of maximum pronciple in the interval [0, 2], which
can be expressed as follows: |H2,2 (ξ)| = |d2 d4 − d23 | ≤ 1.

max J1 (ζ, a) = J1 (1, a) The theorem mentioned here, which we present without
ζ∈[0,1] providing its proof, follows as a result of Theorem 3.14.
(1 − ρ)2 (1 − σ)2 a4 (1 − ρ)2 (1 − σ)2 a4
≤ + Theorem 3.17. Let f (ξ) ∈ BΛγ,υ,ρ,σ
m,ω,b,c (q). Suppose −π < υ <
G N
π and ρ < 1, then
2(1 − ρ)2 (1 − σ)2 (4 − a2 )a2 2(1 − ρ)2 (1 − σ)2 (4 − a2 )a2
+ +
G N 8(1 − ρ)(1 − σ)[3X + 2Y (1 − ρ)(1 − σ)]
|d2 d3 − d4 | ≤
(1 − ρ)2 (1 − σ)2 (4 − a2 )a2 (1 − ρ)2 (1 − σ)2 (4 − a2 )2 3XY
+ + . r
G G 6X + 4Y (1 − ρ)(1 − σ)
.
The process of elaborating and simplifying the variables with 3X
respect to the parameter a results in the following: where
16(1 − ρ)2 (1 − σ)2 12(1 − ρ)2 (1 − σ)2 2

J1 (1, a) ≤ + a X = |D2 ||D3 |[2]q [3]q [Φ2 (γ, ω, b, c)]m m
q [Φ3 (γ, ω, b, c)]q > 0 
G N
2(1 − ρ)2 (1 − σ)2 4 Y = 2|D4 |[4]q [Φ4 (γ, ω, b, c)]m
q >0

− a = J2 (a) (3.13)
N (3.15)
so that and |Dr | corresponds to the definition given in equation (3.4).
24(1 − ρ)2 (1 − σ)2 8(1 − ρ)2 (1 − σ)2 3 Theorem 3.18. Let f (ξ) ∈ BΛγ,υ,ρ,σ
m,ω,b,c (q). Suppose −π < υ <
J2′ (a) = a− a . π and ρ < 1, then
N N
(3.14) (
4(1 − ρ)2 (1 − σ)2 9(1 − ρ)(1 − σ)
At the critical points, when J2′ (a) = 0, it suggests that |H3,1 (ξ)| ≤ m
|D3 |[3]q [Φ3 (γ, ω, b, c)]q 4G
24(1 − ρ)2 (1 − σ)2 8(1 − ρ)2 (1 − σ)2 3 2(1 − ρ)(1 − σ) 1
a− a + +
( N N ) N D5 [5]q [Φ5 (γ, ω, b, c)]m
q
24(1 − ρ)2 (1 − σ)2 8(1 − ρ)2 (1 − σ)2 [3]q [Φ3 (γ, ω, b, c)]m
= − a a = 0. q [3X + 2Y (1 − ρ)(1 − σ)]
N N +
3XY D4 [4]q [4]q [Φ4 (γ, ω, b, c)]m q
r )
This√implies that the values assigned to a0 and a1 are 0 6X + 4Y (1 − ρ)(1 − σ)
and 3, respectively. As a consequence, we can deduce from .
3X
equation (3.14), that
Proof. Applying Corollary 3.6, Theorems 3.14, 3.17 and 3.12
24(1 − ρ)2 (1 − σ)2
J2′′ (a0 ) = > 0 and in
N
2 2
48(1 − ρ) (1 − σ) |H3,1 (ξ)| ≤ |d3 ||H2,2 (ξ)| + |d4 ||d2 d3 − d4 | + |d5 ||H2,1 (ξ)|
J2′′ (a1 ) = − < 0.
N
futher simplification gives the theorem.
The maximum value of (3.13) is achieved at:
√ 16(1 − ρ)2 (1 − σ)2 36(1 − ρ)2 (1 − σ)2 4. D ISCUSSION
J2 (a) = J2 ( 3) = +
G N This study represents a significant breakthrough in the
18(1 − ρ)2 (1 − σ)2 realm of analytic functions through the integration of the q-
−
N Shaba differential operator, resulting in the establishment of a
then we have novel subclass. The comprehensive exploration of coefficients,
2 2 2 2 Hankel determinants, and Fekete-Szego estimates within the
16(1 − ρ) (1 − σ) 18(1 − ρ) (1 − σ)
|d2 d4 − d23 | ≤ + . research has not only unveiled intrinsic properties but has also
G N contributed substantially to the advancement of mathematical
The proof for Theorem 3.14 is thoroughly finished, demon- understanding in this domain. The meticulous determination
strating its validity. of upper bounds for coefficients not only adds rigor to the
analysis but also opens up new avenues for the exploration and
Remark 3.15. If γ = 1, ρ = 0, w = b, m = 0 and q −→ 1,
practical application of the q-Shaba operator. Importantly, the
then Theorem 3.14 becomes the result of Lasode and Opoola
implications of these findings extend beyond the current study,
[21].
providing a solid foundation for future research endeavors
Setting γ = 1, ρ = 0, w = b, m = 0, υ = π, σ = 0 and with broad-reaching significance across diverse mathematical
q −→ 1 in Theorem 3.14, we have the following corollary. domains.

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.
 ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

5. C ONCLUSION [18] Ponnusamy, S. Differential subordination and starlike functions. Com-

plex Variables, Theory and Application: An International Journal, 1992,
In summary, this study revolutionizes analytic functions 19, 3, 185– 194. doi:10.1080/17476939208814571
by incorporating the q-Shaba differential operator, leading [19] Silverman, H. A class of bounded starlike functions. International Jour-
to the creation of a novel function subclass. The research nal of Mathematics and Mathematical Sciences, 1994, 17, 2, 249–252.
doi:10.1155/S0161171294000360
accomplishes its goals by thoroughly investigating coefficients, [20] Mahzoon, H.; Kargar, R. Further results for two certain subclasses
Hankel determinants, and Fekete-Szego estimates, revealing of close-to-convex functions. Asian-European Journal of Mathematics,
intrinsic properties and advancing mathematical understand- 2020, Article ID 2150045, 12 pages. doi:10.1142/S1793557121500455
[21] Lasode, A.O. ; Opoola, T.O. Fekete-Szegö estimates and second Hankel
ing. The rigorous determination of upper bounds for coeffi- determinant for a generalized subfamily of analytic functions defined by
cients provides new opportunities for exploring and applying q-differential operator, Gulf J. Math. 2021, 11, 36–43. https://gjom.org/
the q-Shaba operator. These findings lay the groundwork index.php/gjom/article/view/583.
for future research, offering insights with broad implications [22] Frasin, B.A. A new differential operator of analytic functions involving
binomial series. Bol. Soc. Paran. Mat. 2020, 38, 205–213.
across various mathematical domains. [23] Opoola, T. O. On a subclass of univalent functions defined by a
generalised differential operator, Intern. J. Math. Anal. 11, 2017, 869–
R EFERENCES 876.
[24] Al-Oboudi, F.M. On univalent functions defined by a generalized
[1] Jackson, F.H. On q -functions and a certain difference operator. Earth Salagean operator. Int. J. Math. Math. Sci. 2009, 27, 1429–1436.
Environ. Sci. Trans. R. Soc. Edinb. 1909, 46, 253–281.
[25] Govindaraj, M.; Sivasubramanian, S. On a class of analytic functions
[2] Jackson, F.H. On q-definite integrals. Q. J. Pure Appl. Math. 1910, 41,
related to conic domains involving q-calculus. Anal. Math. 2017, 43,
193–203.
475–487.
[3] Haven, E. Quantum Calculus (q-Calculus) and Option Pricing: A
Brief Introduction. Proceedings of the 3rd International Symposium [26] Salagean, G.S. Subclass of univalent functions. Lect. Note Math. 1983,
on Quantum Interaction March 2009, 308–314. Springer-Verlag Berlin. 1013, 362–372.
doi:10.1007/978-3-642-00834-426 [27] Chichra, P.N. New subclasses of the class of close-to-convex functions.
[4] Littlewood, J.E. On inequalities in the theory of functions. Proceedings Proceedings of the American Mathematical Society, 1977, 62, 1, 37–43.
of the London Mathematical Society, 1925, 23, 1, 481–519. doi:10.1112/ doi:10.1090/S0002-9939-1977-0425097-1
plms/s2-23.1.481 [28] Silverman, H. Generalized sequence for functions of positive real part.
[5] Lasode, A.O.; Opoola, T.O. Coefficient problems of a class of q-starlike Houston Journal of Mathematics, 1993, 19, 3, 421–428.
functions associated with q-analogue of Al-Oboudi-Al-Qahtani integral [29] Babalola, K.O.; Opoola, T.O. On the coefficients of a certain class of
operator and nephroid domain. Journal of Classical Analysis, 2022, 20, analytic functions. In Advances in Inequalities for Series, 2008, (1–13).
1, 35–47. doi:10.7153/jca-2022-20-04 S.S. Dragomir; A. Sofo (Eds.). Hauppauge, New York: Nova Science
[6] Shaba, T. G.; Araci, S.; Adebesin, B. O.; Tchier, F.; Zainab, S.; Khan. Publishers, Inc.
B. Sharp Bounds of the Fekete–Szego Problem and Second Hankel [30] Krishna, D.V.; RamReddy, T. Coefficient inequality for a function whose
Determinant for Certain Bi-Univalent Functions Defined by a Novel derivative has a positive real part of order α. Mathematica Bohemica,
q-Differential Operator Associated with q-Lima con Domain. Fractal 2015, 140, 1, 43–52. doi:10.21136/MB.2015.144178
Fract. 2023, 7, 506. https://doi.org/10.3390/fractalfract7070506. [31] Hussaini, J.; Adeniji, A.O.; Mogbonju, M.M.; Hameed M. I. Second
[7] Srivastava, H. M.; Shaba, T. G.; Murugusundaramoorthy, G.; Wanas, A. order hankel determinant for class of bounded turning functions defined
K.; Oros, G. I. The fekete-Szego functional and the Hankel determinant by salagean differential operator, Electronic Journal of Mathematical
for a certain class of analytic functions involving the Hohlov operator, Analysis and Applications, 2023, 11, 2, 1–16.
AIMS Mathematics, 2022, 8, 1, 340–360. [32] Fadipe-Joseph, O.A., Afolabi, Y.O., Moses, B.O. Coefficient inequalities
[8] Srivastava, H.M.; Murugusundaramoorthy, G; Bulboaca, T. The second for a class of harmonic univalent functions, Gulf Journal of Mathematics
Hankel determinant for subclasses of bi-univalent functions associated 3(4) (2015), 85-97.
with a nephroid domain, Rev. Real Acad. Cienc. Exactas Fis. Natur. Ser. [33] Goodman, A.W., Univalent Functions Vol 1, Mariner Publishing Com-
A Mat. (RACSAM) 2022 116, 145 pany Inc, Tampa, Florida, 1983.
[9] Pommerenke, C. On the coefficients and Hankel determinants of univa- [34] Srivastava, H.M., Raducanu, D., Zaprawa, P., A certain subclass of an-
lent functions. Proceedings of the London Mathematical Society, 1966, alytic functions defined by means of differential subordination, Faculty
41, 1, 111–122. doi:10.1112/jlms/s1-41.1.111 of Sciences and Mathematics, University of Nis, Serbia 30(14) (2016),
[10] Junod, A. Hankel determinants and orthogonal polynomials. Expo- 3743-3757.
sitiones Mathematicae, 2003, 21, 63–74. doi:10.1016/S0723-0869(03) [35] Libera, R.J., Zlotkiewicz, E.J. Early coefficients of the inverse of a
80010-5 regular convex function, Proceedings of the American Mathematical
[11] Layman, J.W. The Hankel transform and some of its properties. Journal Society 85(2) (1982), 225-230.
of Integer Sequences, 2001, 4, 1-11.
[36] Ahlfors, L.V., Complex Analysis. 3rd Edn. New York: McGraw-Hill,
[12] Lasode, A. O.; Opoola, T. O. Some investigations on a class of analytic
Inc, 1979.
and univalent functions involving q-differentiation, Eur. J. Math. Anal.
2022, 2, 12, 1–9. [37] Trojnar-Spelina, L. Characterizations of subclasses of univalent func-
[13] Alexander, J.W. Functions which map the interior of the unit circle tions. Demonstratio Mathematica, 2005, 38, 1, 35–42. doi:10.1515/
upon simple regions. Annals of Mathematics, Second Series, 1915, 17, dema-2005-0106
1, 12–22. doi:10.2307/2007212 [38] Silverman, H.; Silvia, E.M. Characterizations for subclasses of univalent
[14] Noshiro, K. On the theory of schlicht functions. Journal of the Faculty functions. Scientiae Mathematicae Japonicae, 1999, 50, 1, 103–109.
of Science, Hokkaido University, Japan, 1935, 2, 1, 129–155. doi:10. [39] Ali, R.M., Lee, S.K., Ravichandran, V.; Supramanian, S. The Fekete-
14492/hokmj/1531209828 Szego coefficient functional for transforms of analytic functions. Bulletin
[15] Warschawski, S.E. On the higher derivatives at the boundary in con- of the Iranian Mathematical Society, 2009, 35, 2, 119–142.
formal mapping. Transactions of the American Mathematical Society, [40] Khan, B.; Liu, Z.; Shaba, T.G.; Araci, S.; Khan, N.; Khan, M.G.
1935, 38, 2, 310– 340. doi:10.1090/S0002-9947-1935-1501813-X Applications of q-derivative operator to the subclass of bi-univalent
[16] MacGregor, T.H. Functions whose derivative has positive real part. functions involving q-Chebyshev polynomials, J. Math. 2022, 8162182.
Transactions of the American Mathematical Society, 1962, 104, 3, [41] Al-Shbeil, I.; Shaba, T.G.; Cătaş, A. Second Hankel determinant for the
532–537. doi:10.1090/S0002-9947-1962-0140674-7 subclass of bi-univalent functions using q-Chebyshev polynomial and
[17] Lewandowski, Z.; Miller, S.; Zlotkiewicz, E. Generating functions Hohlov operator, Fractal Fract. 2022, 6, 186.
for some classes of univalent functions. Proceedings of the Amer- [42] Orhan, H.; Shaba, T.G.; Çağlar, M. (P, Q)-Lucas polynomial coefficient
ican Mathematical Society, 1976, 56, 1, 111–117. doi:10.1090/ relations of bi-univalent functions defined by the combination of Opoola
S0002-9939-1976-0399438-7 and Babalola differential operators, Afr. Mat. 2022, 33, 11.

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.
 ENGINEERING AND BUSINESS FOR DRIVING SUSTAINABLE DEVELOPMENT GOALS (SEB4SDG2024)

[43] Wang, Z.G.; Raza, M.; Arif, M.; Ahmad, K. On the third and fourth
Hankel determinants for a subclass of analytic functions. Bull. Malays.
Math. Sci. Soc. 2022, 45, 323–359.
[44] Arif, M.; Rani, L.; Raza, M.; Zaprawa, P. Fourth Hankel determinant
for the family of functions with bounded turning. Bull. Korean Math.
Soc. 2018, 55, 6, 1703–1711.
[45] Arif, M.; Ullah, I.; Raza, M.; Zaprawa, P. Investigation of the fifth
Hankel determinant for a family of functions with bounded turnings.
Mathematica Slovaca, 2020, 70, 2, 319-328.

Authorized licensed use limited to: Hasan Kalyoncu Universitesi. Downloaded on August 20,2024 at 07:17:44 UTC from IEEE Xplore. Restrictions apply.