Next Article in Journal
Auto-Probabilistic Mining Method for Siamese Neural Network Training
Previous Article in Journal
Dynamical Analysis of an Economic-Environment Model with Unilateral and Bilateral Control
Previous Article in Special Issue
Certain Extremal Problems on a Classical Family of Univalent Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Third Hankel Determinant of a Certain Subclass of Bi-Univalent Functions Defined by (p,q)-Derivative Operator

by
Mohammad El-Ityan
1,*,†,
Qasim Ali Shakir
2,†,
Tariq Al-Hawary
3,†,
Rafid Buti
4,†,
Daniel Breaz
5,† and
Luminita-Ioana Cotîrlă
6,*,†
1
Department of Mathematics, Faculty of Science, Al-Balqa Applied University, Al-Salt 19117, Jordan
2
Department of Mathematics, College of Computer Science and Information Technology, University of Al-Qadisiyah, Diwaniyah 58006, Iraq
3
Department of Applied Science, Ajloun College, Al Balqa Applied University, Ajloun 26816, Jordan
4
Department of Mathematics, College of Education for Pure Science, Al Muthanna University, Al Muthanna 66002, Iraq
5
Department of Mathematics, University of Alba Iulia, 510009 Alba Iulia, Romania
6
Department of Mathematics, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania
*
Authors to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2025, 13(8), 1269; https://doi.org/10.3390/math13081269
Submission received: 5 March 2025 / Revised: 6 April 2025 / Accepted: 10 April 2025 / Published: 11 April 2025

Abstract

:
In this study, the generalized ( p , q ) -derivative operator is used to define a novel class of bi-univalent functions. For this class, we define constraints on the coefficients up to | 5 | . The functions are analyzed using a suitable operational method, which enables us to derive new bounds for the Fekete–Szegö functional, as well as explicit estimates for important coefficients like | 2 | and | 3 | . In addition, we establish the upper bounds of the second and third Hankel determinants, providing insights into the geometrical and analytical properties of this class of functions.

1. Introduction

In geometric function theory, univalent functions form a subclass of bi-univalent functions, defined by their univalence in both the unit disk and its inverse domain. The Fekete–Szegö functional plays a significant role in providing coefficient bounds for analyzing geometric properties. Additionally, the Hankel determinant is widely applied to study coefficient growth and structural stability, offering insights into the analytic and geometric behavior of bi-univalent functions.
Let A represent the class of analytic functions within the open unit disk U = { z C : | z | < 1 } , which can be expressed in the following form:
T ( z ) = z   +   ɩ = 2 ɩ z ɩ ,
A function T A is called univalent in U if it is one-to-one. The set of all univalent functions within A is denoted by S . A fundamental result in geometric function theory is the Koebe One-Quarter Theorem [1,2], which guarantees that the image of U under any function in S contains a disk of radius 1 / 4 . Consequently, every such function has an inverse T 1 satisfying the following:
T 1 ( T ( z ) ) = z ( z U ) ,
where there is an explicit series representation given by the following:
T 1 ( w ) = w 2 w 2   +   2 2 2 3 w 3 5 3 2 5 2 3   +   4 w 4   +   .
If T A is univalent in U and its inverse T 1 is likewise univalent in U, then the function is bi-univalent. The notation Σ represents the set of all such functions.
The study of bi-univalent functions has gained attention, following the work of Srivastava et al. [3]. Some well-known examples in Σ include the following:
z 1 z , log ( 1 z ) , 1 2 log 1   +   z 1 z
However, the Koebe function and certain other classical univalent functions, such as z z 2 2 and z 1 z 2 , do not belong to Σ ; see [3].
Lewin [4] established an upper bound of 1.51 for | 2 | , while Brannan and Clunie [5] conjectured that | 2 |     2 . Later, Netanyahu [6] proved that the sharp bound is | 2 |     4 / 3 . Further studies introduced bi-starlike and bi-convex subclasses of Σ [3,7,8], leading to various coefficient bounds [1,2,9,10].
Another significant functional in geometric function theory is the Fekete–Szegö functional, given by | 3 M 2 2 | , where M C . Originally introduced to address a conjecture by Littlewood and Paley, it has since been widely studied for different function classes [1,2,11,12].
In 1976, Noonan and Thomas [13] introduced the concept of the q-th Hankel determinant for the function T given in (1).
H q ( ɩ ) = ɩ ɩ   +   1 ɩ   +   q 1 ɩ   +   1 ɩ   +   2 ɩ   +   q ɩ   +   q 1 ɩ   +   q ɩ   +   2 q 2 ( ɩ , q N ; 1 = 1 )
The determinant H q ( ɩ ) has been studied by various researchers. Some studies [14,15] explored the growth rate of H q ( ɩ ) as ɩ for functions T defined by Equation (1) with a bounded boundary. Notably, other recent works [16,17,18] derived sharp upper bounds for H 2 ( 2 ) within different classes of functions. The following equations are especially notable:
H 2 ( 1 ) = 1 2 2 3 = 3 2 2 ,
and
H 2 ( 2 ) = 2 3 3 4 = 2 4 3 2 .
The determinant H 2 ( 1 ) = 3 2 2 is commonly recognized as the Fekete–Szegö functional. Recently, Shakir et al. [17] investigated the upper bounds of H 2 ( 2 ) for certain classes of analytic functions; see also [14,16,17,19].
In this paper, we focus on the Hankel determinant for the case q = 3 and ɩ   = 1 , represented as H 3 ( 1 ) , which is defined as follows:
H 3 ( 1 ) = 1 2 3 2 3 4 3 4 5 .
For T A , we have 1 = 1 , resulting in the following:
H 3 ( 1 ) = 3 ( 2 4 3 2 ) 4 ( 4 2 3 )   +   5 ( 3 2 2 ) .
Using the triangle inequality, we can derive the following:
| H 3 ( 1 ) |     | 3 | | 2 4 3 2 |   +   | 4 | | 4 2 3 |   +   | 5 | | 3 2 2 | .
Quantum calculus provides a framework that extends classical calculus by introducing deformation parameters p and q, which are useful in studying various mathematical models, particularly in quantum mechanics and special function theory. One of its key concepts is the ( p , q ) -derivative, which generalizes the classical derivative.
Before proceeding, we will revisit some notations from ( p , q ) -calculus. The ( p , q ) -twin-basic number, represented as [ ɩ ] p , q , is defined as follows:
[ ɩ ] p , q = p ɩ q ɩ p q , ( 0 < q < p     1 , ɩ   = 0 , 1 , 2 , ) .
The ( p , q ) -derivative operator of a function T is given by the following:
( D p , q T ) ( z ) = T ( p z ) T ( q z ) ( p q ) z , ( z 0 ) ,
and
D p , q T ( 0 ) = T ( 0 ) .
Given that the function T is differentiable at z = 0 (refer to [20]), we can directly deduce the following for a function T expressed as in Equation (1):
D p , q T ( z ) = 1   +   ɩ = 2 [ ɩ ] p , q ɩ z ɩ 1 .
As mentioned in [21,22,23,24], the ( p , q ) -derivative operator simplifies to the Jackson q -derivative when p = 1 . This can be found using the following formula:
D q T ( z ) = T ( z ) T ( q z ) ( 1 q ) z , ( z 0 ) .
Additionally, for p = 1 , the q-bracket [ ɩ ] q is defined as follows:
[ ɩ ] q = 1 q ɩ 1 q , ( ɩ = 0 , 1 , 2 , ) .
In this paper, we employ the ( p , q ) -derivative, since it is a natural generalization of the q-derivative, and it reduces to the q-derivative when p = 1 .
Definition 1. 
A function T Σ belongs to the class A Σ ( p , q , ) if it holds the following conditions:
D p , q T ( z ) > , ( 0     < 1 ; z U ) ,
and
D p , q g ( w ) > , ( 0     < 1 ; w U ) ,
where g ( w ) = T 1 .
We provide an upper bound for the functional H 2 ( 2 ) = 2 4 3 2 in this paper, and we establish the following:
| H 3 ( 1 ) |       | 3 | | 2 4 3 2 |   +   | 4 | | 4 2 3 |   +   | 5 | | 3 2 2 | .
Additionally, we investigate the upper bounds for the following quantities:
| 3 2 2 | , | 3 | , | 4 | and | 5 | .

2. A Set of Lemmas

The set of a positive real functions E ( z ) is denoted by E . All analytic functions L : U C that meet the following criteria are included in this class:
E ( 0 ) = 1 and ( E ( z ) ) > 0 .
Lemma 1 
(see [14]). If L E is given by
L ( z ) = 1   +   L 1 z   +   L 2 z 2   +   L 3 z 3   +   ,
then
| L ɩ |       2 , ( ɩ N ) .
Lemma 2 
(see [17]). If L E is given by
L ( z ) = 1   +   L 1 z   +   L 2 z 2   +   L 3 z 3   +   ,
then
2 L 2 = L 1 2   +   ( 4 L 1 2 ) ,
and
4 L 3 = L 1 3   +   2 ( 4 L 1 2 ) L 1 L 1 ( 4 L 1 2 ) 2   +   2 ( 4 L 1 2 ) ( 1 | | 2 ) z ,
for some ℷ and z with | |       1 and | z |       1 .

3. | H 2 ( 2 ) | Upper Bound for the Second Hankel Determinant

In this section, we focus on finding upper bounds for the functional H 2 ( 2 ) = 2 4 3 2 in the class A Σ ( p , q , ) . Our objective is to ascertain its upper bounds and examine the related limitations. Further research on this subject may be found at [7,15,17,19].
Theorem 1. 
Let T belong to the class A Σ ( p , q , ) and be defined by (1).
2 4 3 2     4 ( 1 ) 2 ( 4 ( 1 ) 2 [ 2 ] p , q 4   +   1 [ 2 ] p , q [ 4 ] p , q ) , if ( 0         1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q 2 [ 4 ] p , q 2 32 [ 2 ] p , q [ 3 ] p , q [ 4 ] p , q 16 [ 3 ] p , q [ 4 ] p , q ) 4 ( 1 ) 2 [ 3 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 )   +   3 [ 2 ] p , q [ 3 ] p , q 2 2 [ 2 ] p , q 2 [ 4 ] p , q 2 ( 1 ) 2 [ 3 ] p , q 2 [ 4 ] p , q ( 4 [ 3 ] p , q 2 [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 3 [ 3 ] p , q 2   +   [ 2 ] p , q 4 [ 4 ] p , q ) , if ( 1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q 2 [ 4 ] p , q 2 32 [ 2 ] p , q [ 3 ] p , q [ 4 ] p , q 16 [ 3 ] p , q [ 4 ] p , q < < 1 ) .
Proof. 
Suppose that T A Σ ( p , q , ) . Then, by referring to Definition (1), we obtain the following:
D p , q f ( z ) =   +   ( 1 ) v ( z ) ,
and
D p , q g ( w ) =   +   ( 1 ) d ( w ) .
where v ( z ) and d ( w ) are in the class E of functions that are provided by
v ( z ) = 1   +   v 1 z   +   v 2 z 2   +   v 3 z 3   +   ,
and
d ( w ) = 1   +   d 1 w   +   d 2 w 2   +   d 3 w 3   +   .
It follows from (20) and (21), together with (3) and (9), that
[ 2 ] p , q 2 = ( 1 ) v 1 ,
[ 3 ] p , q 3 = ( 1 ) v 2 ,
[ 4 ] p , q 4 = ( 1 ) v 3 ,
[ 5 ] p , q 5 = ( 1 ) v 4 ,
and
[ 2 ] p , q 2 = ( 1 ) d 1 ,
[ 3 ] p , q 2 2 2 3 = ( 1 ) d 2 ,
[ 4 ] p , q 4   +   5 3 2 5 2 3 = ( 1 ) d 3 .
[ 5 ] p , q ( 14 2 4 21 2 2 3   +   3 3 2   +   6 2 4 5 ) = ( 1 ) d 4 .
From (24) and (28), we obtain the following:
v 1 = d 1 ,
and
2 = 1 [ 2 ] p , q v 1 .
Upon subtracting (25) from (29), we have the following:
3 = ( 1 ) 2 [ 2 ] p , q 2 v 1 2   +   1 2 [ 3 ] p , q ( v 2 d 2 ) .
Also, if we subtract (26) from (30), we achieve the following:
4 = 5 ( 1 ) 2 4 [ 2 ] p , q [ 3 ] p , q v 1 ( v 2 d 2 )   +   1 2 [ 4 ] p , q ( v 3 d 3 ) .
Thus, by applying (33)–(35), we conclude that
2 4 3 2 = ( 1 ) 4 [ 2 ] p , q 4 v 1 4   +   ( 1 ) 3 4 [ 2 ] p , q 2 [ 3 ] p , q v 1 2 ( v 2 d 2 )
  +   ( 1 ) 2 2 [ 2 ] p , q [ 4 ] p , q v 1 ( v 3 d 3 ) ( 1 ) 2 4 [ 3 ] p , q 2 ( v 2 d 2 ) 2 .
Next, by applying Lemma 2 along with Equation (32), we obtain the following:
2 v 2 = v 1 2   +   4 v 1 2 , 2 d 2 = d 1 2   +   ζ 4 d 1 2
v 2 d 2 = 4 v 1 2 2 ( ζ )
and
4 v 3 = v 1 3   +   2 4 v 1 2 v 1 v 1 4 v 1 2 2   +   2 4 v 1 2 1 | | 2 z ,
4 d 3 = d 1 3   +   2 4 d 1 2 d 1 ζ d 1 4 d 1 2 ζ 2   +   2 4 d 1 2 1 | ζ | 2 w ,
and
v 3 d 3 = v 1 3 2   +   1 2 v 1 4 v 1 2   +   ζ 1 4 v 1 4 v 1 2 2   +   ζ 2   +   4 v 1 2 2 1 | | 2 z 1 | ζ | 2 w .
Then, by using (37), (38), (39) and (36) in (40), we can achieve the following equation:
| 2 4 3 2 | = |   ( 1 ) 4 [ 2 ] p , q 4 v 1 4   +   ( 1 ) 3 4 [ 2 ] p , q 2 [ 3 ] p , q v 1 2 4 v 1 2 2 ( ζ )   +   ( 1 ) 2 4 [ 2 ] p , q [ 3 ] p , q v 1 4 +   ( 1 ) 2 2 [ 2 ] p , q [ 4 ] p , q v 1 2 4 v 1 2 2 (   +   ζ ) ( 1 ) 2 2 [ 2 ] p , q [ 4 ] p , q v 1 2 4 v 1 2 4 ( 2   +   ζ 2 ) +   ( 1 ) 2 2 [ 2 ] p , q [ 4 ] p , q v 1 2 4 v 1 2 2 1 | | 2 z 1 | ζ | 2 w ( 1 ) 2 4 [ 3 ] p , q 4 v 1 2 2 4 ( ζ ) 2 | .
Since v ( z ) E , it follows from Lemma (1) that | v 1 |     2 . Thus, by setting | v 1 |   =   v , we can consider that, 0     v     2 . Based on Equation (41), we can obtain the following:
| 2 4 3 2 |     ( 1 ) 4 [ 2 ] p , q 4 v 4   +   ( 1 ) 2 4 [ 2 ] p , q 2 [ 4 ] p , q v 4   +   ( 1 ) 2 2 [ 2 ] p , q [ 4 ] p , q v ( 4 v 2 ) +   ( 1 ) 3 4 [ 2 ] p , q 2 [ 3 ] p , q v 2 4 v 2 2   +   ( 1 ) 2 2 [ 2 ] p , q [ 4 ] p , q v 2 4 v 1 2 2 (   +   ζ ) +   ( 1 ) 2 2 [ 2 ] p , q [ 3 ] p , q v 2 4 v 2 4 ( 1 ) 2 2 [ 2 ] p , q [ 4 ] , q v 4 v 2 2 ( | | 2   +   | ζ | 2 ) +   ( 1 ) 2 4 [ 3 ] p , q 4 v 2 2 4 ( | |   +   | ζ | ) 2 .
Moreover, for k = | |     1 and ϱ = | y |     1 , Equation (42) can be rewritten as follows:
| 2 4 3 2 |       1   +   ( k   +   ϱ ) 2   +   ( k 2   +   ϱ 2 ) 3   +   ( k   +   ϱ ) 2 4 = : G ( k , ϱ ) ,
where
1 = 1 ( v ) : =
( 1 ) 2 4 4 ( 1 ) 2 [ 2 ] p , q 4   +   1 [ 2 ] p , q [ 4 ] p , q v 4   +   8 v 2 v 3 [ 2 ] p , q [ 4 ] p , q 0 ,
2 = 2 ( v ) : = ( 1 ) 2 8 v 2 ( 4 v 2 ) ( 1 ) [ 2 ] p , q 2 [ 3 ] p , q   +   2 [ 2 ] p , q [ 4 ] p , q 0 ,
3 = 3 ( v ) : = ( 1 ) 2 8 [ 2 ] p , q [ 4 ] p , q v ( 4 v 2 ) ( v 2 )     0 ,
and
4 = 4 ( v ) : = ( 1 ) 2 16 [ 3 ] p , q 2 ( 4 v 2 ) 2 0 .
Our goal is to determine the maximum value of G ( k , ϱ ) , as given in Equation (43) within the closed square [ 0 , 1 ] × [ 0 , 1 ] . To accomplish this, we examine its behavior under the conditions v ( 0 , 2 ) , v = 0 , and v = 2 , while also considering the sign of the subsequent phrase, as follows:
G k , ϱ : = G ( k , k ) · G ( ϱ , ϱ ) [ G ( k , ϱ ) ] 2 .
First, let us consider the case when v ( 0 , 2 ) . Since 3 < 0 and 3   +   2 4 > 0 for v ( 0 , 2 ) , it follows that
G k , ϱ = G ( k , k ) · G ( ϱ , ϱ ) [ G ( k , ϱ ) ] 2 < 0 .
This shows that G ( k , ϱ ) does not reach a local maximum inside the square [ 0 , 1 ] × [ 0 , 1 ] .
We now look at its maximum along the domain’s edge. Specifically, for k = 0 with 0     ϱ     1 (and similarly for ϱ = 0 with 0     k     1 ), we obtain the following result:
G ( 0 , ϱ ) = H ( ϱ ) = ( 3   +   4 ) ϱ 2   +   2 ϱ   +   1 .
(i) When 3   +   4 = 0 : In this case, for 0 < ϱ < 1 and any fixed v with 0 < v < 2 , we clearly have the following:
H ( ϱ ) = 2 ( 3   +   4 ) ϱ   +   2 > 0 .
This indicates that the function H ( ϱ ) is rising. Consequently, the highest value of H ( ϱ ) for fixed v ( 0 , 2 ) occurs at ϱ = 1 and
max { H ( ϱ ) } = H ( 1 ) = 1   +   2   +   3   +   4 .
(ii) When 3   +   4 < 0 : Since 2   +   2 ( 3   +   4 ) 0 for 0 < ϱ < 1 and any fixed v with 0 < v < 2 , we observe the following:
2   +   2 ( 3   +   4 ) < 2 ( 3   +   4 ) ϱ   +   2 < 2 ,
which implies that H ( ϱ ) > 0 . Thus, the maximum value of H ( ϱ ) for fixed v ( 0 , 2 ) , occurs at ϱ = 1 .
For k = 1 and 0     ϱ     1 (and similarly for ϱ = 1 and 0     k     1 ), we obtain
G ( 1 , ϱ ) = F ( ϱ ) = ( 3   +   4 ) ϱ 2   +   ( 2   +   2 4 ) ϱ   +   1   +   2   +   3   +   4 .
The identical method used in the earlier instances with 3   +   4 , yields
max { F ( ϱ ) } = F ( 1 ) = 1   +   2 2   +   2 3   +   4 4 .
Since H ( 1 )     F ( 1 ) for v ( 0 , 2 ) , we conclude the following:
max { G ( k , ϱ ) } = G ( 1 , 1 ) .
The function G ( k , ϱ ) reaches its maximum value on the boundary of the square [ 0 , 1 ] × [ 0 , 1 ] at k = 1 and ϱ = 1 , inside the closed region [ 0 , 1 ] × [ 0 , 1 ] .
Let the function K : ( 0 , 2 ) R be defined as follows:
K ( v ) : = max { G ( k , ϱ ) } = G ( 1 , 1 ) = 1   +   2 2   +   2 3   +   4 4 .
By substituting the expressions for 1 , 2 , 3 , and 4 into K ( v ) from Equation (57), we obtain the following:
K ( v ) = ( 1 ) 2 ( 1 ) 2 [ 2 ] p , q 4 ( 1 ) 4 [ 2 ] p , q 2 [ 3 ] p , q 1 2 [ 2 ] p , q [ 4 ] p , q   +   1 4 [ 3 ] p , q 2 v 4   +   ( 1 ) [ 2 ] p , q 2 [ 3 ] p , q   +   3 [ 2 ] p , q [ 4 ] p , q 2 [ 3 ] p , q 2 v 2   +   4 [ 3 ] p , q 2 .
Assuming that K ( v ) reaches its maximum at some interior point v ( 0 , 2 ) , differentiating Equation (58) results in the following:
K ( v ) = ( 1 ) 2 4 ( 1 ) 2 [ 2 ] p , q 4 ( 1 ) [ 2 ] p , q 2 [ 3 ] p , q 2 [ 2 ] p , q [ 4 ] p , q   +   1 [ 3 ] p , q 2 v 3   +   2 ( 1 ) [ 2 ] p , q 2 [ 3 ] p , q   +   6 [ 2 ] p , q [ 4 ] p , q 4 [ 3 ] p , q 2 v .
Case 1. Consider the following condition:
4 ( 1 ) 2 [ 2 ] p , q 4 ( 1 ) [ 2 ] p , q 2 [ 3 ] p , q 2 [ 2 ] p , q [ 4 ] p , q   +   1 [ 3 ] p , q 2 0 .
Thus, we obtain
0         1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q [ 4 ] p , q ( 32 [ 3 ] p , q 2 15 [ 2 ] p , q [ 4 ] p , q ) 8 [ 3 ] p , q [ 4 ] p , q ,
which ensures that K ( v ) > 0 for v ( 0 , 2 ) . Since K ( v ) is increasing within ( 0 , 2 ) , it does not attain a maximum in this interval.
Case 2. Assume the following:
4 ( 1 ) 2 [ 2 ] p , q 4 ( 1 ) [ 2 ] p , q 2 [ 3 ] p , q 2 [ 2 ] p , q [ 4 ] p , q   +   1 [ 3 ] p , q 2 < 0 .
Then, it follows that
1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q [ 4 ] p , q ( 32 [ 3 ] p , q 2 15 [ 2 ] p , q [ 4 ] p , q ) 8 [ 3 ] p , q [ 4 ] p , q < < 1 .
Under these circumstances, solving K ( v ) = 0 gives the real critical point v = v 0 ( 1 ) , where
v 0 ( 1 ) = 2 [ 2 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 )   +   3 [ 2 ] p , q [ 3 ] p , q 2 2 [ 2 ] p , q 2 [ 4 ] p , q 4 [ 3 ] p , q 2 [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 3 [ 3 ] p , q 2   +   [ 2 ] p , q 4 [ 4 ] p , q .
If the parameter ⋉ is limited as follows:
1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q [ 4 ] p , q ( 32 [ 3 ] p , q 2 15 [ 2 ] p , q [ 4 ] p , q ) 8 [ 3 ] p , q [ 4 ] p , q <   1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q 2 [ 4 ] p , q 2   +   32 [ 2 ] p , q [ 3 ] p , q 2 [ 4 ] p , q 16 [ 3 ] p , q [ 4 ] p , q .
It is evident that v 0 ( 1 ) 2 , implying that v 0 ( 1 ) lies outside the interval ( 0 , 2 ) . Conversely, when the parameter ⋉ is restricted by the following:
1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q 2 [ 4 ] p , q 2   +   32 [ 2 ] p , q [ 3 ] p , q 2 [ 4 ] p , q 16 [ 3 ] p , q [ 4 ] p , q < < 1 .
It is observed that v 0 ( 1 ) < 2 , meaning that v 0 ( 2 ) lies within the interior of the closed interval [ 0 , 2 ] . Since K ( v 0 ( 2 ) ) < 0 , it follows that the function K ( v ) reaches its maximum at v = v 0 ( 2 ) . Thus, we have the following:
K ( v 0 ( 2 ) ) = ( 1 ) 2 · 4 [ 3 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 )   +   3 [ 2 ] p , q [ 3 ] p , q 2 2 [ 2 ] p , q 2 [ 4 ] p , q 2 [ 3 ] p , q 2 [ 4 ] p , q 4 [ 3 ] p , q 2 [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 3 [ 3 ] p , q 2   +   [ 2 ] p , q 4 [ 4 ] p , q .
Secondly, in the case when v = 2 , we obtain the following:
G ( k , ϱ ) = 4 ( 1 ) 2 · 4 ( 1 ) 2 [ 2 ] p , q 4   +   1 [ 2 ] p , q [ 4 ] p , q .
Finally, in the case when v = 0 , we find that
G ( k , ϱ ) = ( 1 ) 2 · ( κ   +   ϱ ) 2 [ 3 ] p , q 2 .
It is clear that the function G ( k , ϱ ) attains its maximum value when both k = 1 and ϱ = 1 , as follows:
max { G ( k , ϱ ) } = G ( 1 , 1 ) = 4 ( 1 ) 2 [ 3 ] p , q 2 .
We thus find the following from (67)–(69):
4 ( 1 ) 2 [ 3 ] p , q 2 < 16 ( 1 ) 4 [ 2 ] p , q 4   +   4 ( 1 ) 2 [ 2 ] p , q [ 4 ] p , q < 4 ( 1 ) 2 [ 3 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 )   +   3 [ 2 ] p , q [ 3 ] p , q 2 2 [ 2 ] p , q 2 [ 4 ] p , q 2 ( 1 ) 2 [ 3 ] p , q 2 [ 4 ] p , q 4 [ 3 ] p , q 2 [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 3 [ 3 ] p , q 2   +   [ 2 ] p , q 4 [ 4 ] p , q .
For the parameter ⋉ constrained by the following:
1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q 2 [ 4 ] p , q 2   +   32 q [ 2 ] p , q [ 3 ] p , q 2 [ 4 ] p , q 16 [ 3 ] p , q [ 4 ] p , q < < 1 ,
which leads us to the second inequality of (19).
Alternatively, considering the left-hand side of inequality (71), we obtain the following:
4 ( 1 ) 2 [ 3 ] p , q 2 < 16 ( 1 ) 4 [ 2 ] p , q 4   +   4 ( 1 ) 2 [ 2 ] p , q [ 4 ] p , q ,
which leads to the first inequality in (19), with the parameter α being restricted by the following:
0         1 [ 2 ] p , q 2 [ 4 ] p , q   +   [ 2 ] p , q [ 2 ] p , q 2 [ 4 ] p , q 2   +   32 q [ 2 ] p , q [ 3 ] p , q 2 [ 4 ] p , q 16 [ 3 ] p , q [ 4 ] p , q .

4. Some Results on Third Hankel Determinants and Their Upper Bounds

In this section, we investigate the upper bounds for several important coefficients. We focus on proving a key inequality involving the third Hankel determinant | H 3 ( 1 ) | , and we also discuss the estimation of the upper bounds for | 4 | and | 5 | . It is worth mentioning that the coefficients | 2 | and | 3 | are essential when studying the Fekete–Szegö inequality. As for | 4 | and | 5 | , their estimation can become highly complicated for some subclasses of bi-univalent functions. In fact, many researchers have classified these cases as open problems.
Theorem 2. 
Let T ( z ) be defined by (1) and belong to the class A Σ ( p , q , ) .
| 2 3 4 |       8 ( 1 ) ( 1 ) 2 [ 2 ] p , q 3   +   1 4 [ 4 ] p , q , ɩ     v     2 , 2 ( 1 ) [ 4 ] p , q , 0     v     ɩ .
where
ɩ   = M 3 ± M 3 2 12 M 2 ( M 1 M 2 ) 3 ( M 1 M 2 ) ,
with
M 1 = ( 1 ) ( 1 ) 2 [ 2 ] p , q 3   +   1 4 [ 4 ] p , q ,
M 2 = ( 1 ) 3 ( 1 ) 4 [ 2 ] p , q [ 3 ] p , q   +   3 4 [ 4 ] p , q ,
M 3 = ( 1 ) 2 [ 4 ] p , q .
Proof. 
From Equations (33)–(35), we obtain the following:
| 2 3 4 |   = ( 1 ) 3 v 1 3 [ 2 ] p , q 3 3 ( 1 ) 2 v 1 ( v 2 d 2 ) 4 [ 2 ] p , q [ 3 ] p , q ( 1 ) ( v 3 d 3 ) 2 [ 4 ] p , q .
Using Lemma 2 and assuming v [ 0 , 2 ] , with v 1 = v , we define the following:
| 2 3 4 |       Q 1   +   Q 2 ( δ   +   γ )   +   Q 3 ( δ 2   +   γ 2 ) : = Q ( δ , γ ) ,
where δ = | x |     1 and γ = | y |     1 , and
Q 1 ( , v ) = ( 1 ) v 3 ( 1 ) 2 [ 2 ] p , q 3   +   1 4 [ 4 ] p , q 0 , Q 2 ( α , v ) = ( 1 ) ( 4 v 2 ) v 3 ( 1 ) 8 [ 2 ] p , q [ 3 ] p , q   +   1 4 [ 4 ] p , q 0 , Q 3 ( α , v ) = ( 1 ) ( 4 v 2 ) v   +   2 8 [ 4 ] p , q 0 .
By the method of Theorem 1, the maximum at δ = 1 and γ = 1 within the closed interval [ 0 , 2 ] . We define the following:
ψ ( v ) = max ( Q ( δ , γ ) ) = Q 1   +   2 Q 2   +   2 Q 3 .
Substituting the values of Q 1 , Q 2 , and Q 3 in ψ ( c ) , we obtain the following:
ψ ( v ) = M 1 v 3   +   M 2 v ( 4 v 2 )   +   M 3 ( 4 v 2 ) ,
where M 1 , M 2 , and M 3 are as defined earlier.
Using the derivative,
ψ ( v ) = 3 ( M 1 M 2 ) v 2 2 M 3 v   +   4 M 2 , ψ ( v ) = 6 ( M 1 M 2 ) v 2 M 3 .
Also, ψ ( v ) > 0 indicates that ψ ( v ) is an increasing function on [ 0 , 2 ] , reaching its maximum at v = 2 , if M 1 M 2 > 0 :
| 2 3 4 |       ψ ( 2 ) = 8 ( 1 ) ( 1 ) 2 [ 2 ] p , q 3   +   1 4 [ 4 ] p , q .
If M 1 M 2 < 0 , solving ψ ( v ) = 0 gives v = n . For n < v     2 , ψ ( v ) > 0 , so ψ ( v ) is decreasing on [ 0 , 2 ] and reaches its maximum at v = 0 :
| 2 3 4 |       ψ ( 0 ) = 2 ( 1 ) [ 4 ] p , q .
Then, the proof is complete. □
Theorem 3. 
Let T ( z ) given by (1) be in the class A Σ ( , q , ) .
| 3 2 2 |       2 ( 1 ) [ 3 ] p , q ,
| 3 |       4 ( 1 ) 2 [ 2 ] p , q 2   +   2 ( 1 ) [ 3 ] p , q .
Proof. 
By using Lemma 1 and (34) and, we obtain (87). The Fekete–Szegö functional for M C and A Σ ( p , q , ) is as follows:
3 M 2 2 = ( 1 ) 2 v 1 2 [ 2 ] p , q 2 ( 1 M )   +   ( 1 ) ( v 2 d 2 ) 2 [ 3 ] p , q .
By Lemma 1, we obtain the following:
| 3 M 2 2 |       4 ( 1 ) 2 [ 2 ] p , q 2 ( 1 M )   +   ( 1 ) [ 3 ] p , q .
For M = 1 , we obtain (86). □
Theorem 4. 
Let T ( z ) given by (1) be in the class A Σ ( p , q , ) .
| 4 |       10 ( 1 ) 2 [ 2 ] p , q [ 3 ] p , q   +   2 ( 1 ) [ 4 ] p , q ,
| 5 |       2 ( 1 ) 2 100 ( 1 ) 2 [ 2 ] p , q 4   +   24 ( 1 ) [ 2 ] p , q 2 [ 3 ] p , q   +   3 [ 3 ] p , q 2   +   6 [ 2 ] p , q [ 4 ] p , q   +   2 ( 1 ) [ 5 ] p , q .
Proof. 
By subtracting (31) from (27), we achieve the following:
2 [ 5 ] p , q 5 = [ 5 ] p , q ( 14 2 4 21 2 2 3   +   3 3 2   +   6 2 4 )   +   ( 1 ) ( v 4 d 4 ) .
By substituting properly (33)–(35), we have the following:
5 = 25 ( 1 ) 4 2 [ 2 ] p , q 4 v 1 4 12 ( 1 ) 3 4 [ 2 ] p , q 2 [ 3 ] p , q v 1 2 ( v 2 d 2 )   +   3 ( 1 ) 2 8 [ 3 ] p , q 2 ( v 2 d 2 ) 2
  +   3 ( 1 ) 2 2 [ 2 ] p , q [ 4 ] p , q v 1 ( v 3 d 3 )   +   ( 1 ) 2 [ 5 ] p , q ( v 4 d 4 ) .
By Lemma 1, we obtain (89). □
Theorem 5. 
Let T ( z ) A Σ ( , q , ) , 0 <     1 to obtain
| H 3 ( 1 ) |     R 1 X   +   R 2 8 ( 1 ) ( 1 ) 2 [ 2 ] p , q 3   +   1 4 [ 4 ] p , q   +   R 3 R 4 , ɩ       v     2 , R 1 Y   +   R 2 2 ( 1 ) [ 4 ] p , q   +   R 3 R 4 , 0     v     ɩ .
where
X = 4 ( 1 ) 2 ( 4 ( 1 ) 2 [ 2 ] p , q 4   +   1 [ 2 ] p , q [ 4 ] p , q ) ,
Y = 4 ( 1 ) 2 [ 3 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 )   +   3 [ 2 ] p , q [ 3 ] p , q 2 2 [ 2 ] p , q 2 [ 4 ] p , q 2 ( 1 ) 2 [ 3 ] p , q 2 [ 4 ] p , q ( 4 [ 3 ] p , q 2 [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 2 [ 3 ] p , q [ 4 ] p , q ( 1 ) 2 [ 2 ] p , q 3 [ 3 ] p , q 2   +   [ 2 ] p , q 4 [ 4 ] p , q ) .
and R 1 , R 2 , R 3 , and R 4 are given by (87), (88), (90), and (86), respectively.
Proof. 
Since we start from the equation
H 3 ( 1 ) = 3 ( 2 4 3 2 ) 4 ( 4 2 3 )   +   5 ( 3 2 2 ) ,
by applying the triangle inequality, we have (13). After collecting the Equations (87), (88), (90) and (86) in (13), we obtain (92). This allows us to obtain the third Hankel determinant | H 3 ( 1 ) | . □

5. Conclusions

In this paper, we explored some mathematical properties related to analytic functions, focusing on the use of the ( p , q ) -derivative operator to determine coefficient estimates and Hankel determinants. The results obtained contribute to deepening the understanding of specific classes of bi-univalent functions. We provided coefficient estimates up to | 5 | , as well as calculations for the Hankel determinants. These findings are significant in advancing the study of bi-univalent functions and paving the way for further research in this area. Additionally, researchers can extend or generalize similar classes of functions using the ( p , q ) -derivative operator. They can also compute coefficient estimates and Hankel determinants within these classes, possibly incorporating differential or integral operators to gain deeper insights into their structures.

Author Contributions

M.E.-I. and Q.A.S.; Methodology, M.E.-I.; Software, M.E.-I.; Validation, Q.A.S., T.A.-H. and R.B.; Formal Analysis, D.B.; Investigation, R.B.; Resources, R.B.; Data Curation, T.A.-H.; Writing—Original Draft Preparation, T.A.-H.; Writing—Review & Editing, Q.A.S.; Visualization, D.B.; Supervision, L.-I.C. and D.B.; Project Administration, L.-I.C.; Funding Acquisition, D.B. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

  1. Amourah, A.; Frasin, B.A.; Salah, J.; Al-Hawary, T. Fibonacci Numbers Related to Some Subclasses of Bi-Univalent Functions. Int. J. Math. Math. Sci. 2024, 2024, 8169496. [Google Scholar] [CrossRef]
  2. Altinkaya, Ş.; Tokgöz, S.Y. Construction of the Second Hankel Determinant for a New Subclass of Bi-Univalent Functions. Turk. J. Math. 2018, 42, 2876–2884. [Google Scholar] [CrossRef]
  3. Srivastava, H.M.; Mishra, A.K.; Gochhayat, P. Certain Subclasses of Analytic and Bi-Univalent Functions. Appl. Math. Lett. 2010, 23, 1188–1192. [Google Scholar] [CrossRef]
  4. Lewin, M. On a Coefficient Problem for Bi-Univalent Functions. Proc. Am. Math. Soc. 1967, 18, 63–68. [Google Scholar] [CrossRef]
  5. Brannan, D.A.; Clunie, J.G. (Eds.) Aspects of Contemporary Complex Analysis; Academic Press: New York, NY, USA; London, UK, 1980. [Google Scholar]
  6. Netanyahu, E. The Minimal Distance of the Image Boundary from the Origin and the Second Coefficient of a Univalent Function in |z| < 1. Arch. Ration. Mech. Anal. 1969, 32, 100–112. [Google Scholar]
  7. Hammad, S.J.; Juma, A.R.S.; Ebrahim, H.H. Third-Order Differential Subordination for Generalized Struve Function Associated with Meromorphic Functions. Baghdad Sci. J. 2024, 21, 3214. [Google Scholar] [CrossRef]
  8. Brannan, D.A.; Taha, T.S. On Some Classes of Bi-Univalent Functions. In Mathematical Analysis and Its Applications; Mazhar, S.M., Hamoui, A., Faour, N.S., Eds.; KFAS Proceedings Series, Volume 3; Pergamon Press: Oxford, UK, 1988; pp. 53–60. [Google Scholar]
  9. Al-Hawary, T.; Amourah, A.; Almutairi, H.; Frasin, B. Coefficient Inequalities and Fekete–Szegö-Type Problems for Family of Bi-Univalent Functions. Symmetry 2023, 15, 1747. [Google Scholar] [CrossRef]
  10. Al-Refai, O.; Amourah, A.; Al-Hawary, T.; Frasin, B.A. A New Method for Estimating General Coefficients to Classes of Bi-Univalent Functions. J. Funct. Spaces 2024, 2024, 9889253. [Google Scholar] [CrossRef]
  11. Fekete, M.; Szegö, G. Eine Bemerkung Über Ungerade Schlichte Funktionen. J. Lond. Math. Soc. 1933, 8, 85–89. [Google Scholar] [CrossRef]
  12. Haji, N.H.; Buti, R.H.; Darwish, H.E. On a Class of Analytic Univalent Functions Associated with (HR) Fractional Derivative. Muthanna J. Pure Sci. 2024, 11. [Google Scholar] [CrossRef]
  13. Noonan, J.W.; Thomas, D.K. On the Second Hankel Determinant of Areally Mean p-Valent Functions. Trans. Am. Math. Soc. 1976, 223, 337–346. [Google Scholar] [CrossRef]
  14. Darweesh, A.M.; Atshan, W.G.; Battor, A.H.; Mahdi, M.S. On the Third Hankel Determinant of Certain Subclass of Bi-Univalent Functions. Math. Model. Eng. Probl. 2023, 10, 1087–1095. [Google Scholar] [CrossRef]
  15. Illafe, M.; Mohd, M.H.; Yousef, F.; Supramaniam, S. Bounds for the Second Hankel Determinant of a General Subclass of Bi-Univalent Functions. Int. J. Math. Eng. Manag. Sci. 2024, 9, 1226. [Google Scholar] [CrossRef]
  16. Shakir, Q.A.; Atshan, W.G. On Third Hankel Determinant for Certain Subclass of Bi-Univalent Functions. Symmetry 2024, 16, 239. [Google Scholar] [CrossRef]
  17. Shakir, Q.A.; Tayyah, A.S.; Breaz, D.; Cotîrlă, L.I.; Rapeanu, E.; Sakar, F.M. Upper Bounds of the Third Hankel Determinant for Bi-Univalent Functions in Crescent-Shaped Domains. Symmetry 2024, 16, 1281. [Google Scholar] [CrossRef]
  18. Srivastava, H.M.; Altınkaya, Ş.; Yalçın, S. Hankel Determinant for a Subclass of Bi-Univalent Functions Defined by Using a Symmetric q-Derivative Operator. Filomat 2018, 32, 503–516. [Google Scholar] [CrossRef]
  19. Habib Buti, R.; Khlaif Sachit, A. On Subclass of Analytic Univalent Functions Defined by Fractional Differ-Integral Operator I. Int. J. Nonlinear Anal. Appl. 2021, 12, 63–69. [Google Scholar]
  20. Al-Hawary, T.; Yousef, F.; Frasin, B.A. Subclasses of Analytic Functions of Complex Order Involving Jackson’s (p, q)-Derivative. In Proceedings of International Conference on Fractional Differentiation and its Applications (ICFDA); Springer Nature: Berlin, Germany, 2018. [Google Scholar]
  21. Araci, S.; Duran, U.; Acikgoz, M.; Srivastava, H.M. A Certain (p, q)-Derivative Operator and Associated Divided Differences. J. Inequal. Appl. 2016, 2016, 1–8. [Google Scholar] [CrossRef]
  22. Bulut, S. Certain Subclasses of Analytic and Bi-Univalent Functions Involving the q-Derivative Operator. Commun. Fac. Sci. Univ. Ankara Ser. A1 Math. Stat. 2017, 66, 108–114. [Google Scholar]
  23. Jackson, F. On q-Functions and a Certain Difference Operator. Trans. R. Soc. Edinb. 1908, 46, 64–72. [Google Scholar] [CrossRef]
  24. Annaby, M.H.; Mansour, Z.S. q-Fractional Calculus and Equations; Springer: Berlin, Germany, 2012. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

El-Ityan, M.; Shakir, Q.A.; Al-Hawary, T.; Buti, R.; Breaz, D.; Cotîrlă, L.-I. On the Third Hankel Determinant of a Certain Subclass of Bi-Univalent Functions Defined by (p,q)-Derivative Operator. Mathematics 2025, 13, 1269. https://doi.org/10.3390/math13081269

AMA Style

El-Ityan M, Shakir QA, Al-Hawary T, Buti R, Breaz D, Cotîrlă L-I. On the Third Hankel Determinant of a Certain Subclass of Bi-Univalent Functions Defined by (p,q)-Derivative Operator. Mathematics. 2025; 13(8):1269. https://doi.org/10.3390/math13081269

Chicago/Turabian Style

El-Ityan, Mohammad, Qasim Ali Shakir, Tariq Al-Hawary, Rafid Buti, Daniel Breaz, and Luminita-Ioana Cotîrlă. 2025. "On the Third Hankel Determinant of a Certain Subclass of Bi-Univalent Functions Defined by (p,q)-Derivative Operator" Mathematics 13, no. 8: 1269. https://doi.org/10.3390/math13081269

APA Style

El-Ityan, M., Shakir, Q. A., Al-Hawary, T., Buti, R., Breaz, D., & Cotîrlă, L.-I. (2025). On the Third Hankel Determinant of a Certain Subclass of Bi-Univalent Functions Defined by (p,q)-Derivative Operator. Mathematics, 13(8), 1269. https://doi.org/10.3390/math13081269

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