Next Article in Journal
Additive Biderivations of Incidence Algebras
Previous Article in Journal
Oscillation Controlling in Nonlinear Motorcycle Scheme with Bifurcation Study
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On Bi-Univalent Function Classes Defined via Gregory Polynomials

by
Ibtisam Aldawish
1,†,
Mallikarjun G. Shrigan
2,*,†,
Sheza El-Deeb
3,† and
Hari M. Srivastava
4,5,†
1
Mathematics and Statistics Department, College of Science, Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh 11623, Saudi Arabia
2
Department of Mathematics, School of Computational Sciences, JSPM University, Pune 412207, India
3
Department of Mathematics, College of Science, Qassim University, Buraydah 51452, Saudi Arabia
4
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
5
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 404327, Taiwan
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2025, 13(19), 3121; https://doi.org/10.3390/math13193121
Submission received: 2 September 2025 / Revised: 19 September 2025 / Accepted: 23 September 2025 / Published: 29 September 2025
(This article belongs to the Section C4: Complex Analysis)

Abstract

In this paper, we introduce and study a new subclass of bi-univalent functions related to Mittag–Leffler functions associated with Gregory polynomials and satisfy certain subordination conditions defined in the open unit disk. We derive coefficient bounds for the Taylor–Maclaurin coefficients | γ 2 | and | γ 3 | , and also explore the Fekete–Szegö functional.

1. Introduction

Let H (Ω) denote the class of functions which are analytic in the open unit disk Ω = { ς C : | ς | < 1 } where C is the set of complex numbers and let A be the class of analytic functions having the form
l ( ς ) = ς + b = 2 γ b ς b ( ς Ω ) ,
in the open unit disk Ω, centered at origin and normalized by the conditions
l ( 0 ) = 0 and l ( 0 ) = 1 .
Furthermore, let S denote the set of functions in A that are univalent within Ω. For a function m ( ς ) = ς + b = 2 j b ς b A , the Hadamard product (the convolution) of l and m is characterized as
( l m ) ( ς ) = ς + b = 2 γ b j b ς b = ( m l ) ( ς ) .
A function l A belongs to S * ( ρ ) , where ρ [ 0 , 1 ) , as demonstrated in [1] and further examined in ([2], Vol. I, p. 138) if and only if
Re ς l ( ς ) l ( ς ) > ρ , ς Ω .
According to the well-known result obtained in [3] (see also [4], p. 42), a function l A belongs to C ( ρ ) , where ρ [ 0 , 1 ) , if and only if
Re 1 + ς l ( ς ) l ( ς ) > ρ , ς Ω .
The value ς l ( ς ) l ( ς ) or 1 + ς ł ( ς ) l ( ς ) generally defines these functions, which are restricted to a certain region in the right half-plane that is starlike concerning 1. It is well known that we have the inclusions
S * ( ρ ) S * ( 0 ) = S * , C ( ρ ) C ( 0 ) = C , and C S * S .
It is a well-established fact that
l ( ς ) C ( ρ ) ς ł ( ς ) S * ( ρ ) .
We define two functions, l and m, to be subordinate, denoted as l m , if there exists an analytic function h ( φ ) (known as a Schwarz function) defined in U such that l ( φ ) = m ( h ( φ ) ) , with the condition h ( 0 ) = 0 , and | h ( φ ) | 1 . Specifically, if the function m is univalent within U , then
l ( φ ) m ( φ ) l ( 0 ) = m ( 0 ) and l ( U ) m ( U )
(see [5]).
It is well known that every function l S has an inverse l 1 , defined by
l 1 ( l ( ς ) ) = ς , ( ς Ω )
and
l 1 ( l ( x ) ) = x , | x | < r 0 ( l ) ; r 0 ( l ) 1 4 ,
where
g ( x ) = l 1 ( x ) = x a 2 x 2 + ( 2 a 2 2 a 3 ) x 3 ( 5 a 2 3 5 a 2 a 3 + a 4 ) x 4 + .
A function l ( ς ) A is said to be bi-univalent in Ω if both l ( ς ) and l 1 ( ς ) are univalent in Ω . We denote as Σ the class of all functions l ( ς ) which are bi-univalent in Ω . The functions
ς 1 ς , log 1 1 ς , log 1 + ς 1 ς ,
belong to the class Σ . However, the well-known Koebe function is not part of Σ , while other common examples of analytic functions in Ω , such as
2 ς ς 2 2 and ς 1 ς 2 ,
are also not members of Σ . Lewin [6] examined the class Σ and determined that γ 2 < 1.51 . Subsequently, Brannan and Clunie [7] put forth a conjecture indicating that γ 2 < 2 . In comparison, Netanyahu [8] showed that the highest value of γ 2 for functions within Σ is 4 / 3 . The problem of estimating the coefficient for each Taylor–Maclaurin coefficient γ n of n N , n 3 is still considered an open problem. Kamble and Shrigan [9] (see also [10]) introduced certain new subclasses of the family Σ of bi-univalent functions by employing the framework of q-calculus, and derived bounds for the initial coefficients | γ 2 | and | γ 3 | . Subsequently, Yousef et al. [11] investigated the Fekete–Szegö functional for specific subclasses of bi-univalent functions. Recently, Srivastava et al. [12] studied the second Hankel determinant associated with various subclasses of bi-univalent functions within a nephroid domain. It is widely known that the Fekete–Szegö problem relates to the coefficients of functions in Ω . The first study of the Fekete–Szegő problem was given by Fekete–Szegö [13]. In particular, if
| a 3 μ a 2 2   | 1 + 2 e 2 μ / ( 1 σ ) , μ R .
The Mittag–Leffler function has significant applications in fractional calculus, operator theory, mathematical analysis, and various areas of science and engineering. It frequently arises in the study of integral and differential equations of fractional order and has remained a central topic of interest, motivating many researchers (see [14,15,16,17]). In 1903, Mittag–Leffler [18] (see also [19]), introduced the function E ρ ( ς ) , defined by the following power series:
E ρ ( ς ) = b = 0 ς b Γ ( ρ b + 1 ) , ( ρ ) > 0
which is the Mittag–Leffler function that converges across the entire complex plane for all ( ρ ) > 0 , whereas it diverges at all points in C { 0 } when ( ρ ) < 0 . Furthermore, as ( ρ ) = 0 , the radius of convergence is determined by
R = e π / 2 I m ( ς ) .
Additionally, the integral form of the Mittag–Leffler function can be expressed as
E ρ ( ς ) = C t ρ 1 e t t μ ς d t , ς C , ( ρ ) > 0 ,
where contour C starts and concludes at infinity, encircling the branch points and singularities of the integrand. In the year 1905, Wiman [20,21] introduced and studied the Mittag–Leffler function of two parameters, where E ρ , η ( ς ) is the generalized Mittag–Leffler function, defined by the following power series:
E ρ , η ( ς ) = b = 0 ς b Γ ( ρ b + η ) , ς C , ( ρ ) > 0 , ( η ) > 0 .
It is important to highlight that the two-parameter Mittag–Leffler function E ρ , η ( ς ) is not included in the set Ω . In 2016, Bansal and Prajapat [14] introduced the normalized Mittag–Leffler function, which is defined as follows (see also [22]):
E ρ , η ( ς ) = Γ ( η ) ς E ρ , η ( ς ) = ς + b = 2 Γ ( η ) Γ ( ρ ( b 1 ) + η ) ς b ,
where ς , ρ , η C , ( ρ ) > 0 , ( η ) > 0 . It is important to mention that the function E ρ , η encompasses various well-known functions as specific instances. For example, we have E 2 , 1 ( ς ) = ς cosh ( ς ) , E 2 , 2 ( ς ) = ς sinh ( ς ) , E 2 , 3 ( ς ) = 2 [ cosh ( ς ) 1 ] , E 2 , 4 ( ς ) = 6 sinh ( ς ) ς ς . For the positive real parameters ρ , η and E ρ , η , defined by (6), we define the linear operator M ρ , η : A A by employing the convolution, also known as the Hadamard product, M ρ , η l ( ς ) = E ρ , η ( ς ) l ( ς ) , as follows:
M ρ , η l ( ς ) = ς + b = 2 Γ ( η ) Γ ( ρ ( b 1 ) + η ) γ b ς b , ς C , ρ > 0 , η > 0 ,
where ∗ represents the convolution or Hadamard product defined by (2).
The Gregory coefficients, also referred to as reciprocal logarithmic numbers, second-type Bernoulli numbers, or first-type Cauchy numbers, constitute a sequence of rational numbers that decrease in magnitude 1 2 , 1 12 , 1 24 , 19 720 , . These coefficients are present in the Maclaurin series expansion for the function ς log ( 1 + ς ) , represented as
G ( ς ) = ς log ( 1 + ς ) = 1 + 1 2 ς 1 12 ς 2 + 1 24 ς 3 19 720 ς 4 + , ς Ω .
An image G ( U ) of the open unit disk U under the function G ( ς ) is shown in the Figure 1. These coefficients are called James Gregory coefficients, as he first introduced them in 1670 in connection with numerical integration. Ultimately, numerous mathematicians have revisited and investigated them, enhancing their significance in the works of prominent figures. Their significance continues to be recognized in modern mathematical literature.
In this paper, we explore the generating function of the Gregory coefficients, represented as G ( ς ) , which is defined as follows (see [23,24,25,26]):
G g * ( ς ) = 1 + 1 2 ς 1 12 ς 2 + 1 24 ς 3 19 720 ς 4 + 3 160 ς 5 863 60 , 480 ς 6 + .
Inspired by the aforementioned studies, we establish the subclass of bi-univalent functions M Σ ρ , η ( α , β ) as described below.
Definition 1.
A function l Σ defined by (1) is said to be in the class M Σ ρ , η ( α , β ) if it meets the following criteria:
R ( ς ) : ( 1 α ) M ρ , η l ( ς ) ς + α ( M ρ , η l ( ς ) ) + β ς M ρ , η l ( ς ) G ( ς )
and
K ( x ) : ( 1 α ) M ρ , η g ( x ) x + α ( M ρ , η g ( x ) ) + β x M ρ , η g ( x ) G ( x ) ,
where ς , x Ω , α , β 0 , ρ , η > 1 , with the function g ( x ) = l 1 ( x ) defined by (3).
Remark 1.
We would like to highlight that the class M Σ ρ , η ( α , β ) is not empty. we note that l * ( ς ) = ς + ( d 1 2 ) Γ ( ρ + η ) 2 ( 1 + α + 2 β ) Γ ( η ) ς 2 M Σ ρ , η ( α , β ) , it become simple to verify l * ( ς ) S ,   a n d ,   t h e r e f o r e ,   l * ( ς ) Σ w i t h g ( x ) = l 1 ( x ) = x ( d 1 2 ) Γ ( ρ + η ) 2 ( 1 + α + 2 β ) Γ ( η ) x 2 .
Remark 2.
Using the fact that R ( a ς ) = K ( a ς ) for all ς Ω confirms that the images of the mappings coincide, that is, R ( Ω ) = K ( Ω ) , for particular choices of l * ( ς ) and g * ( x ) . The 2D plot of R, K, and G is as shown in Figure 2. Since G is univalent in Ω, we obtain the subordinations l * ( ς ) G ( ς ) and g * ( x ) G ( x ) , which hold whenever l * ( 0 ) = g * ( 0 ) = G ( 0 ) and l * ( Ω ) = g * ( Ω ) G ( Ω ) .
The following lemma will ultimately be employed for the proof of our result.
Lemma 1
([27], Lemma 7, p.2)). Let k , s R and ς 1 , ς 2 C . If | ς 1 | < R , | ς 2 | < R , then
( k + s ) ς 1 + ( k s ) ς 2 2 | s | R , for | k | | s | , 2 | k | R , for | k | | s | .
The objective of this paper is to introduce two new subclasses of bi-univalent functions and to provide coefficient estimates, | a 2 | and | a 3 | , for the functions belonging to these subclasses.

2. Main Results

This section of the paper is dedicated to analyzing the bounds for the modulus of the initial coefficients of functions within the class M Σ ρ , η ( α , β ) .
Theorem 1.
Let l Σ , as given by (1), belong to the class M Σ ρ , η ( α , β ) ; then
a 2 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2 ,
a 3 Γ ( 2 ρ + η ) 2 Γ ( η ) ( 1 + 2 α + 6 β ) + 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2 .
Proof. 
Let l M Σ ρ , η ( α , β ) . We can write
( 1 α ) M ρ , η l ( ς ) ς + α ( M ρ , η l ( ς ) ) + β ς M ρ , η l ( ς ) = G ( p ( ς ) )
and
( 1 α ) M ρ , η g ( x ) x + α ( M ρ , η g ( x ) ) + β x M ρ , η g ( x ) = G ( q ( x ) ) ,
where p ( ς ) = d 1 ς + d 2 ς 2 + d 3 ς 3 + . . . and q ( x ) = e 1 x + e 2 x 2 + e 3 x 3 . . . such that p ( 0 ) = q ( 0 ) = 0 and p ( ς ) < 1 , q ( ς ) < 1 , for all ς , x Ω .
  • Equating coefficients of like powers of ς and x in (7) and (8), and using (3), we get
Γ ( η ) Γ ( ρ + η ) ( 1 + α + 2 β ) γ 2 = d 1 2
Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) γ 3 = 1 2 d 2 d 1 2 6
Γ ( η ) Γ ( ρ + η ) ( 1 + α + 2 β ) γ 2 = e 1 2
Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) ( 2 γ 2 2 γ 3 ) = 1 2 e 2 e 1 2 6
From (9) and (11),
d 1 = e 1
Squaring and adding (9) and (11), we obtain
8 Γ ( η ) Γ ( ρ + η ) 2 ( 1 + α + 2 β ) 2 γ 2 2 = d 1 2 + e 1 2
Adding (10) and (12), using (14), we obtain
γ 2 2 = d 2 + e 2 4 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 4 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2
γ 2 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2 .
Further, subtracting (12) from (10) and using (13), we have
γ 3 = Γ ( 2 ρ + η ) 4 Γ ( η ) ( 1 + 2 α + 6 β ) ( d 2 e 2 ) + d 2 + e 2 4 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 4 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2
γ 3 Γ ( 2 ρ + η ) 2 Γ ( η ) ( 1 + 2 α + 6 β ) + 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2 .

3. Fekete–Szegö Functional for the Function Class M Σ ρ , η ( α , β )

Theorem 2.
Let l Σ , as given by (1), belong to the class M Σ ρ , η ( α , β ) ; then
γ 3 ϕ γ 2 2 Γ ( 2 ρ + η ) 2 Γ ( η ) ( 1 + 2 α + 6 β ) , for | 1 ϕ | H 1 , 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2 , for | 1 ϕ | H 1 .
where
H 1 = 1 + Γ ( η ) Γ ( 2 ρ + η ) ( 1 + α + 2 β ) 2 Γ ( ρ + η ) 2 ( 1 + 2 α + 6 β ) .
Proof. 
From (15) and (16), we have
γ 3 ϕ γ 2 2 = Γ ( 2 ρ + η ) 4 Γ ( η ) ( 1 + 2 α + 6 β ) ( d 2 e 2 ) + d 2 + e 2 4 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 4 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2 ϕ d 2 + e 2 4 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 4 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2
γ 3 ϕ γ 2 2 = F ( ϕ ) + Γ ( 2 ρ + η ) 4 Γ ( η ) ( 1 + 2 α + 6 β ) d 2 + F ( ϕ ) Γ ( 2 ρ + η ) 4 Γ ( η ) ( 1 + 2 α + 6 β ) e 2
where
F ( ϕ ) = 1 ϕ 4 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 4 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2
According to Lemma 1 and (17), we get
γ 3 ϕ γ 2 2 2 Γ ( 2 ρ + η ) 4 Γ ( η ) ( 1 + 2 α + 6 β ) , for | F ( ϕ ) | 2 Γ ( ρ + η ) 4 Γ ( η ) ( 1 + 2 α + 6 β ) , 2 | F ( ϕ ) | , for | F ( ϕ ) | 2 Γ ( ρ + η ) 4 Γ ( η ) ( 1 + 2 α + 6 β ) .
γ 3 ϕ γ 2 2 Γ ( 2 ρ + η ) 2 Γ ( η ) ( 1 + 2 α + 6 β ) , for | 1 ϕ | H 1 , 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α + 6 β ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α + 2 β 2 , for | 1 ϕ | H 1 .
where
H 1 = 1 + Γ ( η ) Γ ( 2 ρ + η ) ( 1 + α + 2 β ) 2 Γ ( ρ + η ) 2 ( 1 + 2 α + 6 β ) .

4. Particular Cases

The following results are obtained by considering particular values of the parameters β and α in the above theorems.
Example 1.
Let l Σ , as given by (1), belong to the class M Σ ( α , 0 ) ; then
γ 2 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α 2 ,
γ 3 Γ ( 2 ρ + η ) 2 Γ ( η ) ( 1 + 2 α ) + 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α 2 .
Example 2.
Let l Σ , as given by (1), belong to the class M Σ ( α , 0 ) ; then
γ 3 ϕ γ 2 2 Γ ( 2 ρ + η ) 2 Γ ( η ) ( 1 + 2 α ) , for | 1 ϕ | H 2 , 1 2 Γ ( η ) Γ ( 2 ρ + η ) ( 1 + 2 α ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 1 + α 2 , for | 1 ϕ | H 2 .
where
H 2 = 1 + Γ ( η ) Γ ( 2 ρ + η ) ( 1 + α ) 2 Γ ( ρ + η ) 2 ( 1 + 2 α ) .
Example 3.
Let l Σ , as given by (1), belong to the class M Σ ( 1 , 0 ) ; then
γ 2 1 6 Γ ( η ) Γ ( 2 ρ + η ) + 8 3 Γ ( η ) Γ ( ρ + η ) 2 ,
γ 3 Γ ( 2 ρ + η ) 6 Γ ( η ) + 1 6 Γ ( η ) Γ ( 2 ρ + η ) + 8 3 Γ ( η ) Γ ( ρ + η ) 2 .
Example 4.
Let l Σ , as given by (1), belong to the class M Σ ( 1 , 0 ) ; then
γ 3 ϕ γ 2 2 Γ ( 2 ρ + η ) 6 Γ ( η ) , for | 1 ϕ | H 3 , 1 6 Γ ( η ) Γ ( 2 ρ + η ) + 8 3 Γ ( η ) Γ ( ρ + η ) 2 , for | 1 ϕ | H 3 .
where
H 3 = 1 + 4 Γ ( η ) Γ ( 2 ρ + η ) 3 Γ ( ρ + η ) 2 .
Example 5.
Let l Σ , as given by (1), belong to the class M Σ ( 0 , 0 ) ; then
γ 2 1 2 Γ ( η ) Γ ( 2 ρ + η ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 ,
γ 3 Γ ( 2 ρ + η ) 2 Γ ( η ) + 1 2 Γ ( η ) Γ ( 2 ρ + η ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 .
Example 6.
Let l Σ , as given by (1), belong to the class M Σ ( 0 , 0 ) ; then
γ 3 ϕ γ 2 2 Γ ( 2 ρ + η ) 2 Γ ( η ) , for | 1 ϕ | H 4 , 1 2 Γ ( η ) Γ ( 2 ρ + η ) + 2 3 Γ ( η ) Γ ( ρ + η ) 2 , for | 1 ϕ | H 4 .
where
H 4 = 1 + Γ ( η ) Γ ( 2 ρ + η ) Γ ( ρ + η ) 2 .

5. Conclusions

In this work, we have presented a novel subclass of bi-univalent functions associated with Mittag–Leffler functions within the open unit disk, which are linked to Gregory polynomials and fulfill specific subordination criteria. By establishing limits for the Taylor–Maclaurin coefficients | γ 2 | and | γ 3 | , we have enhanced the comprehension of these functions’ dynamics. Moreover, our research on the Fekete–Szegö functional has resulted in an improved understanding of the subclass’s attributes. By specializing parameters, we have revealed various new discoveries that enhance the wider theory of bi-univalent functions.

Author Contributions

Conceptualization, I.A., M.G.S., S.E.-D. and H.M.S.; methodology, I.A., M.G.S., S.E.-D. and H.M.S.; software, I.A., M.G.S., S.E.-D. and H.M.S.; validation, M.G.S. and S.E.-D.; formal analysis, I.A., M.G.S., S.E.-D. and H.M.S.; investigation, I.A., M.G.S., S.E.-D. and H.M.S.; resources, I.A., M.G.S., S.E.-D. and H.M.S.; data curation, I.A., M.G.S., S.E.-D. and H.M.S.; writing—original draft preparation, I.A., M.G.S., S.E.-D. and H.M.S.; writing—review and editing, M.G.S.; visualization, S.E.-D. and H.M.S.; supervision, M.G.S., S.E.-D. and H.M.S.; project administration, S.E.-D., I.A. and H.M.S.; funding acquisition, I.A. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-DDRSP-RP25).

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Robertson, M.S. On the theory of univalent functions. Ann. Math. 1936, 37, 374–408. [Google Scholar] [CrossRef]
  2. Goodman, A.W. Univalent Functions; Mariner: Tampa, FL, USA, 1983. [Google Scholar]
  3. Study, E. Vorlesungen über ausgewählte Gegenstände der Geometrie, Zweites Heft; Konforme Ab bildung Einfach-Zusammenhängender Bereiche; Druck und Verlag von B.G. Teubner: Leipzig, Germany; Berlin, Germany, 1913. [Google Scholar]
  4. Duren, P.L. Univalent Functions; Grundlehren der Mathematischen Wissenschaften, 259; Springer: New York, NY, USA, 1983. [Google Scholar]
  5. Miller, S.S.; Mocanu, P.T. Differential Subordinations: Theory and Applications; CRC Pres: Boca Raton, FL, USA, 2000. [Google Scholar]
  6. Lewin, M. On a coefficient problem for bi-univalent functions. Proc. Am. Math. Soc. 1967, 18, 63–68. [Google Scholar] [CrossRef]
  7. Brannan, D.A.; Clunie, J.G. Aspects of contemporary complex analysis. In Proceedings of the NATO Advanced Study Institute held at the University of Durham, Durham, UK, 1–20 July 1979; Academic Press: New York, NY, USA; London, UK, 1980. [Google Scholar]
  8. 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]
  9. Kamble, P.N.; Shrigan, M.G. Initial coefficient estimates for bi-univalent functions. Far East J. Math. 2018, 105, 271–282. [Google Scholar] [CrossRef]
  10. Kamble, P.N.; Shrigan, M.G. Coefficient estimates for a subclass of bi-univalent functions defined by Sălăgean type q-calculus operator. Kyungpook Math. J. 2019, 58, 677–688. [Google Scholar] [CrossRef]
  11. Yousef, F.; Al-Hawary, T.; Murugusundaramoorthy, G. Fekete-Szegö functional problems for some subclasses of bi-univalent functions defined by Frasin differential operator. Afr. Mat. 2019, 30, 495–503. [Google Scholar] [CrossRef]
  12. Srivastava, H.M.; Murugusundaramoorthy, G.; Bulboacă, T. The second Hankel determinant for subclasses of bi-univalent functions associated with a nephroid domain. Rev. Real Acad. Cienc. Exactas Físicas Nat. Ser. Matemáticas 2022, 116, 145. [Google Scholar] [CrossRef]
  13. Fekete, M.; Szegö, G. Eine Bemerkung Über Ungerade Schlichte Funktionen. J. Lond. Math. Soc. 1933, 1, 85–89. [Google Scholar] [CrossRef]
  14. Bansal, D.; Prajapat, J.K. Certain geometric properties of the Mittag-Leffler functions. Complex Var. Elliptic Equ. 2016, 61, 338–350. [Google Scholar] [CrossRef]
  15. Gorenflo, R.; Kilbas, A.A.; Mainardi, F.; Rogosin, S. Mittag-Leffler Functions. Related Topic and Applications, 2nd ed.; Springer: Berlin/Heidelberg, Germany, 2020. [Google Scholar]
  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]
  17. Srivastava, H.M.; Tomovski, Z. Fractional calculus with an integral operator containing a generalized Mittag-Leffler function in the kernel. Appl. Math. Comput. 2009, 211, 198–210. [Google Scholar] [CrossRef]
  18. Mittag-Leffler, M.G. Sur la nouvelle function eα(x). C. R. Hebd. Séances Acad. Sci. 1903, 137, 554–558. [Google Scholar]
  19. Mittag-Leffler, M.G. Une généralisation de l’intǵrale de Laplace-Abel. C. R. Hebd. Séances Acad. Sci. 1903, 136, 537–539. [Google Scholar]
  20. Wiman, A. Über den Fundamental satz in der Theorie der Funcktionen E(x). Acta Math. 1905, 29, 191–201. [Google Scholar] [CrossRef]
  21. Wiman, A. Über die Nullstellun der Funcktionen E(x). Acta Math. 1905, 29, 217–234. [Google Scholar] [CrossRef]
  22. Noreen, S.; Raza, M.; Malik, S.N. Certain geometric properties of Mittag-Leffler functions. J. Inequal. Appl. 2019, 2019, 94. [Google Scholar] [CrossRef]
  23. Berezin, I.S.; Zhidkov, N.P. Computing Methods; Pergamon, North Atlantic Treaty Organization and London Mathematical Society: Oxford, UK, 1965. [Google Scholar]
  24. Kazimoǧlu, S.; Deniz, E.; Srivastava, H.M. Sharp coefficients bounds for starlike functions associated with Gregory coefficients. Complex Anal. Oper. Theory 2024, 18, 6. [Google Scholar] [CrossRef]
  25. Phillips, G.M. Gregorys method for numerical integration. Am. Math. Mon. 1972, 79, 270–274. [Google Scholar] [CrossRef]
  26. Srivastava, H.M.; Cho, N.E.; Alderremy, A.A.; Lupas, A.A.; Mahmoud, E.E.; Khan, S. Sharp inequalities for a class of novel convex functions associated with Gregory polynomials. J. Inequal. Appl. 2024, 2024, 140. [Google Scholar] [CrossRef]
  27. Zaprawa, P. Estimates of initial coefficients for bi-Univalent functions. In Abstract and Applied Analysis; Wiley: Hoboken, NJ, USA, 2014; 6p. [Google Scholar] [CrossRef]
Figure 1. The image G ( Ω ) of the open unit disk U under the function G ( ς ) .
Figure 1. The image G ( Ω ) of the open unit disk U under the function G ( ς ) .
Mathematics 13 03121 g001
Figure 2. Images of R ( Ω ) = K ( Ω ) ( blue   color )   and   G ( Ω ) ( red   color ) .
Figure 2. Images of R ( Ω ) = K ( Ω ) ( blue   color )   and   G ( Ω ) ( red   color ) .
Mathematics 13 03121 g002
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

Aldawish, I.; Shrigan, M.G.; El-Deeb, S.; Srivastava, H.M. On Bi-Univalent Function Classes Defined via Gregory Polynomials. Mathematics 2025, 13, 3121. https://doi.org/10.3390/math13193121

AMA Style

Aldawish I, Shrigan MG, El-Deeb S, Srivastava HM. On Bi-Univalent Function Classes Defined via Gregory Polynomials. Mathematics. 2025; 13(19):3121. https://doi.org/10.3390/math13193121

Chicago/Turabian Style

Aldawish, Ibtisam, Mallikarjun G. Shrigan, Sheza El-Deeb, and Hari M. Srivastava. 2025. "On Bi-Univalent Function Classes Defined via Gregory Polynomials" Mathematics 13, no. 19: 3121. https://doi.org/10.3390/math13193121

APA Style

Aldawish, I., Shrigan, M. G., El-Deeb, S., & Srivastava, H. M. (2025). On Bi-Univalent Function Classes Defined via Gregory Polynomials. Mathematics, 13(19), 3121. https://doi.org/10.3390/math13193121

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