Next Article in Journal
A Class of Binary Codes Using a Specific Automorphism Group
Previous Article in Journal
Oscillation of Third-Order Thomas–Fermi-Type Nonlinear Differential Equations with an Advanced Argument
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Faber Polynomial Coefficient Estimates of m-Fold Symmetric Bi-Univalent Functions with Bounded Boundary Rotation

by
Anandan Murugan
1,
Srikandan Sivasubramanian
2,*,
Prathviraj Sharma
2 and
Gangadharan Murugusundaramoorthy
3
1
Department of Mathematics, College of Engineering Guindy, Anna University, Chennai 600025, Tamilnadu, India
2
Department of Mathematics, University College of Engineering Tindivanam, Anna University, Tindivanam 604001, Tamilnadu, India
3
Department of Mathematics, School of Advanced Sciences, Vellore Institute of Technology, Vellore 632014, Tamilnadu, India
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(24), 3963; https://doi.org/10.3390/math12243963
Submission received: 15 November 2024 / Revised: 7 December 2024 / Accepted: 9 December 2024 / Published: 17 December 2024
(This article belongs to the Section B: Geometry and Topology)

Abstract

:
In the current article, we introduce several new subclasses of m-fold symmetric analytic and bi-univalent functions associated with bounded boundary and bounded radius rotation within the open unit disk D . Utilizing the Faber polynomial expansion, we derive upper bounds for the coefficients | b m k + 1 | and establish initial coefficient bounds for | b m + 1 | and | b 2 m + 1 | . Additionally, we explore the Fekete–Szegö inequalities applicable to the functions that fall within these newly defined subclasses.

1. Introduction

Let S represent the set of functions characterized by the form
h ( z ) = z + k = 2 b k z k
which are analytic and univalent in the open unit disc D : = { z C : | z | < 1 } . Furthermore, each function h possesses an inverse, denoted as h 1 , which is defined by
z = h 1 ( h ( z ) ) , z D
and
v = h ( h 1 ( v ) ) ; | v | < 1 4 .
Hence, the inverse function is given by
h 1 ( v ) = ξ ( v ) = v b 2 v 2 + ( 2 b 2 2 b 3 ) v 3 ( 5 b 2 3 5 b 2 b 3 + b 4 ) v 4 + .
A function h is considered bi-univalent in the open unit disk D if both h and its inverse h 1 are univalent in D . Let Σ represent the class of bi-univalent functions within D . For a function f belonging to the class Σ , Lewin [1] demonstrated that | b 2 |   <   1.51 , while Brannan and Cluni [2] established that | b 2 |     2 . Netanyahu [3] determined that the maximum value of | b 2 | is 4 / 3 . Additionally, Brannan and Taha [4] proposed a specific subclass of bi-univalent functions within the class Σ . In recent years, researchers such as Srivastava et al. [5], Frasin and Aouf [6], Altinkaya and Yalcin [7], and Hayami and Owa [8] have explored various subclasses of analytic and bi-univalent functions. Notably, the influential research conducted by Srivastava et al. [9] has reinvigorated the exploration of analytic and bi-univalent functions in recent years, resulting in a significant increase in related publications by Srivastava et al. [9,10,11,12] and other researchers [13,14,15].
A function that is analytic and locally univalent within a simply connected domain is referred to as a function of bounded boundary rotation if the total variation in the direction angle of the tangent to the boundary curve is finite when traversing the boundary in a complete circuit. Paatero [16] defined and examined the class V ( ϑ ) , which encompasses all functions exhibiting boundary rotation not exceeding ϑ π . A function h that belongs to V ( ϑ ) will possess a specific representation,
h ( z ) = exp 0 2 π log | 1 z e i t | d η ( t ) .
Here, η ( t ) is a function with bounded variation that is real-valued and satisfies the conditions
0 2 π d η ( t ) = 2 a n d 0 2 π | d η ( t ) | ϑ , ϑ 2 .
The investigation of the class R ( ϑ ) , which encompasses all functions with a rotation radius not exceeding ϑ π , was initiated and examined by Robertson [17]. Consequently, the function h belonging to R ( ϑ ) can be expressed in an integral form as follows,
h ( z ) = z exp 0 2 π log | 1 z e i t | d η ( t ) .
Here, η ( t ) represents a previously defined function that meets the criteria outlined in (3). The notation P ( ϑ ) refers to the set of functions ϕ ( 0 ) = 1 , which are analytic within the region D and possess a specific representation,
ϕ ( z ) = 0 2 π 1 + z e i t 1 z e i t d η ( t ) .
Here, η ( t ) represents a previously defined function that meets the criteria outlined in (3). This class was first introduced and examined by Pinchuk in 1971.
A domain D is considered m-fold symmetric if
h e 2 π i m z = e 2 π i m h ( z ) .
The univalent function g ( z ) transforms the unit disk D into a region exhibiting m-fold symmetry and can be expressed as
g ( z ) = h ( z m ) m
Additionally, g also transforms D into a region exhibiting m-fold symmetry. A function with 2-fold symmetry is classified as an odd function, as the aforementioned condition simplifies to h ( z ) = h ( z ) .
Let A m represent the set of all m-fold symmetric functions (refer to [18]) provided it possesses the specified normalized form
h m ( z ) = z + k = 1 b k m + 1 z k m + 1 .
The collection of all m-fold symmetric univalent functions is represented by S m . We define the families of functions as follows: S m * represents m-fold symmetric starlike functions, C m denotes convex functions, K m refers to close-to-convex functions, V m ( ϑ ) indicates functions with a bounded boundary rotation of at most ϑ π , and R m ( ϑ ) signifies functions with a bounded radius rotation of at most ϑ π .
The idea of m-fold symmetric bi-univalent functions was first presented by Srivastava et al. [11]. It has been noted that every function h belonging to Σ produces an m-fold symmetric bi-univalent function for every integer m N . The normalized representation of h m is provided in Equation (4), while h m 1 is expressed as follows. The series expansion for h m 1 is outlined below:
ξ m ( v ) = h m 1 ( v ) = v b m + 1 v m + 1 + ( m + 1 ) b m + 1 2 b 2 m + 1 v 2 m + 1 1 2 ( m + 1 ) ( 3 m + 2 ) b m + 1 3 ( 3 m + 2 ) b m + 1 b 2 m + 1 + b 3 m + 1 v 3 m + 1 + .
We refer to the class of m-fold symmetric bi-univalent functions in D as Σ m . Therefore, when m = 1 , Formula (5) aligns with Formula (2).
Brannan [19] established that V ( ϑ ) is a subset of the class K ( ϕ ) of close-to-convex functions of order ϕ = ϑ 2 1 , and Koepf [18] demonstrated that V m ( ϑ ) is a subset of the class K m ( ϕ ) of m-fold symmetric close-to-convex functions of order ϕ = ϑ 2 2 m . This results in addressing the coefficient issue for m-fold symmetric functions with restricted boundary rotation when ϑ 2 m . Additionally, for m N , V m ( 2 m + 2 ) consists of close-to-convex functions and hence are univalent functions. Leach [20] also explored the notion of odd univalent functions characterized by limited boundary rotation, and later that year, he expanded this concept to include m-fold symmetric functions. Leach [21] demonstrated that if h m belongs to V m ( ϑ ) , then
| b m + 1 |     ϑ m ( m + 1 ) , ϑ 2 m
and
| b 2 m + 1 |     ϑ 2 + m 2 m 2 ( m + 1 ) : ϑ 2 m , 4 m ϑ + 6 ϑ + 4 2 m ( 2 m + 1 ) ( 4 m + 2 ϑ ) : 2 ϑ < 2 m .
In [22], Faber presented Faber polynomials, which were subsequently examined by Gong [23] within the context of geometric function theory. In their published research, certain advancements have been achieved in determining the general coefficient bounds | b k | through the application of Faber polynomial expansions. However, there has been minimal exploration regarding the coefficient bounds | b k | for k 4 within Maclaurin’s series using these expansions. For further investigation, refer to sources [24,25]. The coefficients of the inverse map ξ = h 1 can be expressed using the Faber polynomial expansion for functions h A of the form (1), as indicated in [25]. Let us assume that
ξ ( v ) = h 1 ( v ) = v + k = 2 B k v k = v + k = 2 1 k Q k 1 k ( b 2 , b 3 , , b k ) v k ,
where
Q k 1 k = ( k ) ! ( 1 2 k ) ! ( k 1 ) ! b 2 k 1 + ( k ) ! 2 ( 1 k ) ! ( 3 + k ) ! b 2 k 3 b 3 + ( k ) ! ( 3 2 k ) ! ( 4 + k ) ! b 2 k 4 b 4 + ( k ) ! 2 ( 2 k ) ! ( 5 + k ) ! b 2 k 5 b 5 + ( 2 k ) b 3 2 + ( k ) ! ( 5 2 k ) ! ( k 6 ) ! b 2 k 6 b 6 + ( 5 2 k ) b 2 b 4 + j = 1 b k j W j ,
and W j for j [ 7 , m ] in a homogeneous polynomial in the variable b 2 , b 3 , , b k and expressions such as (for example) ( k ) ! are symbolically interpreted as follows:
( k ) ! Γ ( 1 n ) : = ( n ) ( n 1 ) ( n 2 ) ( k N { 0 } ) .
The first three terms of Q k 1 k are
Q 1 2 = 2 b 2 ,
Q 2 3 = 3 ( 2 b 2 2 b 3 ) ,
and
Q 3 4 = 4 ( 5 b 2 3 5 b 2 b 3 + b 4 ) .
In general, an expansion of B k q is
B k q = q b k + q ( q 1 ) 2 D k 2 + q ! ( q 3 ) ! 3 ! D k 3 + + q ! ( q k ) ! k ! D k k ,
where B k q = B k q ( b 1 , b 3 , , b k ) and
D k q ( b 1 , b 2 , , b k ) = k = 1 ( k ) ! b 1 γ 1 b 2 γ 2 b k γ k γ 1 ! γ 2 ! γ k ! ,
where a 1 = 1 and the sum is taken over all non-negative integers γ 1 ! , γ 2 ! , γ k ! such that
γ 1 + γ 2 + + γ k = n γ 1 + 2 γ 2 + + k γ k = k .
In a similar manner, by using the Faber polynomial expansion for functions h m A m of the form (4), that is,
h m ( u ) = u + k = 1 Q k 1 m ( b 2 , b 3 , , b k + 1 ) u m k + 1 .
The coefficients of the inverse map ξ m ( v ) = h m 1 can be represented as follows:
ξ m ( v ) = v + k = 1 1 m k + 1 Q k ( m k + 1 ) ( b m + 1 , b 2 m + 1 , , b k m + 1 ) v m k + 1 .
Let h m S m of the form (4), then
u h m ( u ) h m ( u ) = 1 k = 1 X m k ( b m + 1 , b 2 m + 1 , , b k m + 1 ) u m k ,
where
X m k ( b m + 1 , b 2 m + 1 , , b k m + 1 ) = F m k ( 0 , , 0 , b m + 1 , 0 , , 0 , b m k + 1 ) = m j m + 2 m j 2 m + + m k j m k Y ( j 1 , j 2 , , j m k ) b m + 1 j m b 2 m + 1 j 2 m b m k + 1 j m k .
In the current article, we introduce several new subclasses of m-fold symmetric analytic and bi-univalent functions associated with bounded boundary and bounded radius rotation within the open unit disk D . Utilizing the Faber polynomial expansion, we derive upper bounds for the coefficients | b m k + 1 | and establish initial coefficient bounds for | b m + 1 | and | b 2 m + 1 | . Additionally, we explore the Fekete–Szegö inequalities applicable to the functions that fall within these newly defined subclasses.

2. Main Definitions

Let ϑ 2 and 0 λ < 1 . Define P ϑ ( λ ) as the set of functions ψ ( u ) that are analytic and normalized such that ψ ( 0 ) = 1 , and that meet the specified condition
0 2 π ( ψ ( u ) ) λ 1 λ   d t ϑ π .
where u = r e i t D . The class P ϑ ( λ ) was established by Padmanabhan and Parvatham [26].
Definition 1.
Assume that m 1 ,   0 λ < 1 and ϑ 2 m . A function h m belonging to Σ m , as defined in (4), is considered to be in the class H Σ m ( ϑ , λ ) , if both conditions
h m ( z ) P ϑ ( λ )
and
ξ m ( v ) P ϑ ( λ )
are met, where ξ m represents the analytic continuation of h m 1 as specified in (5).
Remark 1. (i) Selecting m = 1 in Definition 1 results in the class H Σ m ( ϑ , λ ) being reduced to the class H Σ ( ϑ , λ ) , as introduced and examined by Sharma et al. [27].
(ii) Selecting m = 1 and ϑ = 2 in Definition 1 results in the class H Σ m ( ϑ , λ ) being reduced to the class H Σ ( λ ) , as introduced and examined by Srivastava et al. [12].
(iii) Selecting ϑ = 2 in Definition 1 results in the class H Σ m ( ϑ , λ ) being reduced to the class H Σ m ( λ ) , as introduced and examined by Srivastava et al. [11].
Definition 2.
Assume that m 1 ,   0 λ < 1 and ϑ 2 m . A function h m belonging to Σ m , as defined in (4), is considered to be in the class R Σ m ( ϑ , λ ) , if both conditions
u h m ( z ) h m ( z ) P ϑ ( λ )
and
v ξ m ( v ) ξ m ( v ) P ϑ ( λ )
are met, where ξ m represents the analytic continuation of h m 1 as specified in (5).
Remark 2. (i) Selecting m = 1 in Definition 2 results in the class R Σ m ( ϑ , λ ) being reduced to the class R Σ ( ϑ , λ ) , as introduced by Li et al. [28] and examined by Sharma et al. [27].
(ii) Selecting m = 1 and ϑ = 2 in Definition 2 results in the class R Σ m ( ϑ , λ ) being reduced to the class S Σ * ( λ ) , as introduced and examined by Brannan and Taha [4].
(iii) Selecting ϑ = 2 in Definition 2 results in the class R Σ m ( ϑ , λ ) being reduced to the class S Σ * , m ( λ ) , as introduced and examined by Sivasubramanian et al. [10].
Definition 3.
Assume that m 1 ,   0 λ < 1 , and ϑ 2 m . A function h m belonging to Σ m , as defined in (4), is considered to be in the class V Σ m ( ϑ , λ ) , if both conditions
1 + u h m ( z ) h m ( z ) P ϑ ( λ )
and
1 + v ξ m ( v ) ξ m ( v ) P ϑ ( λ )
are met, where ξ m represents the analytic continuation of h m 1 as specified in (5).
Remark 3. (i) Selecting m = 1 in Definition 3 results in the class V Σ m ( ϑ , λ ) being reduced to the class V Σ ( ϑ , λ ) , as introduced by Li et al. [28] and examined by Sharma et al. [27].
(ii) Selecting m = 1 and ϑ = 2 in Definition 3 results in the class V Σ m ( ϑ , λ ) being reduced to the class C Σ ( λ ) , as introduced and examined by Brannan and Taha [4].
(iii) Selecting ϑ = 2 in Definition 3 results in the class V Σ m ( ϑ , λ ) being reduced to the class C Σ m ( λ ) , as introduced and examined by Sivasubramanian et al. [10].
In order to demonstrate the theorems presented in the main sections, we require the following lemma, which is stated as follows.
Lemma 1
([29]). Let ψ ( z ) be defined as ψ ( z ) = 1 + k = 1 ψ k z k , where z D and ψ belongs to P ϑ ( λ ) , then
| ψ k |     ϑ ( 1 λ ) , k N .
Assume that the functions x m ( z ) and y m ( v ) belong to the class P ϑ ( λ ) and can be defined as:
x m ( u ) = 1 + x m z m + x 2 m z 2 m + x 3 m z 3 m +
and
y m ( v ) = 1 + y m v m + y 2 m v 2 m + y 3 m v 3 m +
It follows from Lemma 1, that
| x k m |     ϑ ( 1 λ ) , k , m N
and
| y k m |     ϑ ( 1 λ ) , k , m N .

3. Main Results

Theorem 1.
Assume that m 1 ,   0 λ < 1 , and ϑ 2 m . A function h m H Σ m ( ϑ , λ ) , and if b m n + 1 = 0 ,   1 n k 1 , then
| b m k + 1 |     ϑ ( 1 λ ) m k + 1 , k 2 .
Proof. 
According to Definition 1, a function h m H Σ m ( ϑ , λ ) ; then, there exist two functions x ( x ) and y ( v ) that belong to the family P ϑ ( λ ) , and we have
h m ( z ) = x m ( z )
and
ξ m ( v ) = y m ( v ) ,
where x ( z ) and y ( v ) are represented in the form (6) and (7), respectively. For the function h m represented in the form (4), we have
h m ( z ) = 1 + k = 1 ( m k + 1 ) b m k + 1 z m k .
For its inverse map ξ m = h m 1 , we obtain
ξ m ( v ) = 1 + k = 1 ( m k + 1 ) B m k + 1 v m k = 1 + k = 1 Q k ( m k + 1 ) ( b m + 1 , b 2 m + 1 , , b k m + 1 ) v m k .
On the other hand,
h m ( z ) = 1 + k = 1 D k 1 ( x m , x 2 m , , x k m ) z m k
and
ξ m ( v ) = 1 + k = 1 D k 1 ( y m , y 2 m , , y k m ) v m k .
By examining the coefficients of Equations (13) and (15), we find that
( m k + 1 ) b m k + 1 = D k 1 ( x m , x 2 m , , x k m ) .
Similarly, by examining the coefficients of Equations (14) and (16), we find that
Q k ( m k + 1 ) ( b m + 1 , b 2 m + 1 , , b k m + 1 ) = D k 1 ( y m , y 2 m , , y k m ) .
For b m n + 1 = 0 ,   1 n k 1 , we have B m k + 1 = a m k + 1 = 0 ,
( m k + 1 ) b m k + 1 = x m k
and
( m k + 1 ) b m k + 1 = y m k .
By taking the absolute values of Equations (19) and (20), and utilizing Equations (8) and (9), we obtain
| b m k + 1 |     | x m k | m k + 1 = | y m k | m k + 1 ϑ ( 1 λ ) m k + 1 .
This concludes the proof of Theorem 1. □
Theorem 2.
Assume that m 1 ,   0 λ < 1 , and ϑ 2 m . A function h m H Σ m ( ϑ , λ ) , then
| b m + 1 |     2 ϑ ( 1 λ ) ( m + 1 ) ( 2 m + 1 ) ,
| b 2 m + 1 |     ϑ ( 1 λ ) 2 m + 1
and
| b 2 m + 1 δ b m + 1 2 |     ϑ ( 1 λ ) ( m + 1 2 δ ) ( m + 1 ) ( 2 m + 1 ) if δ < 0 , ϑ ( 1 λ ) ( m + 1 ) ( 2 m + 1 ) if 0 δ 2 , ϑ ( 1 λ ) ( 2 δ 1 m ) ( m + 1 ) ( 2 m + 1 ) if δ > 2 ,
where δ represents a real number.
Proof. 
By substituting k = 2 in Equations (17) and (18), respectively, we obtain
( 2 m + 1 ) b 2 m + 1 = x 2 m
and
( 2 m + 1 ) ( m + 1 ) b m + 1 2 ( 2 m + 1 ) b 2 m + 1 = y 2 m .
By summing (25) and (26), we obtain
( 2 m + 1 ) ( m + 1 ) b m + 1 2 = x 2 m + y 2 m .
By taking the absolute values of Equation (27), and utilizing Equations (8) and (9), we obtain the bound of | b m + 1 | given in (22). Similarly, by taking the absolute values of Equation (25), and utilizing Equations (8) and (9), we obtain the bound of | b 2 m + 1 | given in (23). For any δ in R and based on Equations (25) and (27), we obtain
b 2 m + 1 δ b m + 1 2 = [ 1 + m δ ] x 2 m δ y 2 m ( m + 1 ) ( 2 m + 1 ) .
By taking the absolute values of Equation (28), and utilizing Equations (8) and (9), we obtain the bound of | b 2 m + 1 δ b m + 1 2 | given in (24). This concludes the proof of Theorem 2. □
Theorem 3.
Assume that m 1 ,   0 λ < 1 , and ϑ 2 m . A function h m R Σ m ( ϑ , λ ) , and if b m n + 1 = 0 ,   1 n k 1 , then
| b m k + 1 |     ϑ ( 1 λ ) m k , k 2 .
Proof. 
According to Definition 2, a function h m R Σ m ( ϑ , λ ) ; then, there exiss two functions x ( z ) and y ( v ) belonging to the family P ϑ ( λ ) , and we have
z h m ( z ) h m ( z ) = x m ( z )
and
v ξ m ( v ) ξ m ( v ) = y m ( v ) ,
where x ( z ) and y ( v ) are represented in the form (6) and (7), respectively. For the function h m represented in the form (4), we have
z h m ( z ) h m ( z ) = 1 k = 1 X m k ( b m + 1 , b 2 m + 1 , , b k m + 1 ) z m k .
For its inverse map ξ m = h m 1 , we obtain
v ξ m ( v ) ξ m ( v ) = 1 k = 1 X m k ( B m + 1 , B 2 m + 1 , , B k m + 1 ) v m k ,
where
B m k + 1 = 1 m k + 1 Q k ( m k + 1 ) ( b m + 1 , b 2 m + 1 , , b k m + 1 ) .
On the other hand,
z h m ( z ) h m ( z ) = 1 + k = 1 D k 1 ( x m , x 2 m , , x k m ) z m k
and
v ξ m ( v ) ξ m ( v ) = 1 + k = 1 D k 1 ( y m , y 2 m , , y k m ) v m k .
By examining the coefficients of Equations (32) and (34), we find that
X m k ( b m + 1 , b 2 m + 1 , , b k m + 1 ) = D k 1 ( x m , x 2 m , , x k m ) .
Similarly, by examining the coefficients of Equations (33) and (35), we find that
X m k ( B m + 1 , B 2 m + 1 , , B k m + 1 ) = D k 1 ( y m , y 2 m , , y k m ) .
For b m n + 1 = 0 ,   1 n k 1 , we have B m k + 1 = a m k + 1 = 0 ,
m k b m k + 1 = x m k ,
and
m k b m k + 1 = y m k .
By taking the absolute values of Equations (38) and (39), and utilizing Equations (8) and (9), we obtain
| b m k + 1 |     | x m k | m k = | y m k | m k ϑ ( 1 λ ) m k .
This concludes the proof of Theorem 3. □
Theorem 4.
Assume that m 1 ,   0 λ < 1 , and ϑ 2 m . A function h m R Σ m ( ϑ , λ ) , then
| b m + 1 |     ϑ ( 1 λ ) m ,
| b 2 m + 1 |     ϑ ( 1 λ ) ( m + 1 ) 2 m 2
and
| b 2 m + 1 δ b m + 1 |     ϑ ( 1 λ ) ( m + 1 2 δ ) m 2 if δ < 1 2 , ϑ ( 1 λ ) 2 m if 1 2 δ m + 1 2 , ϑ ( 1 λ ) ( 2 δ 1 m ) 2 m 2 if δ > m + 1 2 ,
where δ represents a real number.
Proof. 
By substituting k = 2 in Equations (36) and (37), respectively, we obtain
2 m b 2 m + 1 m b m + 1 2 = x 2 m
and
( 2 m + 1 ) m b m + 1 2 2 m b 2 m + 1 = y 2 m .
By summing (44) and (45), we obtain
2 m 2 b m + 1 2 = x 2 m + y 2 m .
By taking the absolute values of Equation (46), and utilizing Equations (8) and (9), we obtain the bound of | b m + 1 | given in (41). Similarly, we can derive the following from Equations (44)–(46), and once more we obtain
4 m 2 b 2 m + 1 = ( 2 m + 1 ) x 2 m + y 2 m .
By taking the absolute values of Equation (47), and utilizing Equations (8) and (9), we obtain the bound of | b 2 m + 1 | given in (42). For any δ in R and based on Equations (46) and (47), we obtain
b 2 m + 1 δ b m + 1 2 = ( 2 m + 1 2 δ ) x 2 m + ( 1 2 δ ) y 2 m 4 m 2 .
By taking the absolute values of Equation (48), and utilizing Equations (8) and (9), we obtain the bound of | b 2 m + 1 δ b m + 1 2 | given in (43). This concludes the proof of Theorem 4. □
Theorem 5.
Assume that m 1 ,   0 λ < 1 , and ϑ 2 m . A function h m V Σ m ( ϑ , λ ) , and if b m n + 1 = 0 ,   1 n k 1 , then
| b m k + 1 |     ϑ ( 1 λ ) m k ( m k + 1 ) , k 2 .
Proof. 
According to Definition 3, a function h m V Σ m ( ϑ , λ ) ; then, there exist two functions x ( z ) and y ( v ) belonging to the family P ϑ ( λ ) , and we have
1 + z h m ( z ) h m ( z ) = x m ( z )
and
1 + v ξ m ( v ) ξ m ( v ) = y m ( v ) ,
where x ( z ) and y ( v ) are represented in the form (6) and (7), respectively. For the function h m represented in the form (4), we have
1 + z h m ( z ) h m ( z ) = 1 k = 1 X m k ( ( m + 1 ) b m + 1 , ( 2 m + 1 ) b 2 m + 1 , , ( m k + 1 ) b k m + 1 ) z m k .
For its inverse map ξ m = h m 1 , we obtain
1 + v ξ m ( v ) ξ m ( v ) = 1 k = 1 X m k ( ( m + 1 ) B m + 1 , ( m + 1 ) B 2 m + 1 , , ( m k + 1 ) B k m + 1 ) v m k ,
where
B m k + 1 = 1 m k + 1 Q k ( m k + 1 ) ( ( m + 1 ) b m + 1 , ( 2 m + 1 ) b 2 m + 1 , , ( k m + 1 ) b k m + 1 ) .
On the other hand,
1 + z h m ( z ) h m ( z ) = 1 + k = 1 D k 1 ( x m , x 2 m , , x k m ) z m k
and
1 + v ξ m ( v ) ξ m ( v ) = 1 + k = 1 D k 1 ( y m , y 2 m , , y k m ) v m k .
By examining the coefficients of Equations (52) and (54), we find that
X m k ( ( m + 1 ) b m + 1 , ( 2 m + 1 ) b 2 m + 1 , , ( m k + 1 ) b k m + 1 ) = D k 1 ( x m , x 2 m , , x k m ) .
Similarly, by examining the coefficients of Equations (53) and (55), we find that
X m k ( ( m + 1 ) B m + 1 , ( m + 1 ) B 2 m + 1 , , ( m k + 1 ) B k m + 1 ) = D k 1 ( y m , y 2 m , , y k m ) .
For b m n + 1 = 0 ,   1 n k 1 , we have B m k + 1 = a m k + 1 = 0 ,
m k ( m k + 1 ) b m k + 1 = x m k ,
and
m k ( m k + 1 ) b m k + 1 = y m k .
By taking the absolute values of Equations (58) and (59), and utilizing Equations (8) and (9), we obtain
| b m k + 1 |     | x m k | m k ( m k + 1 ) = | y m k | m k ( m k + 1 ) ϑ ( 1 λ ) m k ( m k + 1 ) .
This concludes the proof of Theorem 5. □
Theorem 6.
Assume that m 1 ,   0 λ < 1 , and ϑ 2 m . A function h m V Σ m ( ϑ , λ ) , then
| b m + 1 |     ϑ ( 1 λ ) m 2 ( m + 1 ) ,
| b 2 m + 1 |     ϑ ( 1 λ ) 2 m 2
and
| b 2 m + 1 δ b m + 1 2 |     ϑ ( 1 λ ) ( m + 1 2 δ ) 2 m 2 ( m + 1 ) if δ < ( m + 1 ) 2 2 ( 2 m + 1 ) , ϑ ( 1 λ ) 2 ( 2 m + 1 ) if ( m + 1 ) 2 2 ( 2 m + 1 ) δ ( m + 1 ) ( 3 m + 1 ) 2 ( 2 m + 1 ) , ϑ ( 1 λ ) ( 2 δ 1 m ) 2 m 2 ( m + 1 ) if δ > ( m + 1 ) ( 3 m + 1 ) 2 ( 2 m + 1 ) ,
where δ represents a real number.
Proof. 
By substituting k = 2 in Equations (56) and (57), respectively, we obtain
2 m ( 2 m + 1 ) b 2 m + 1 m ( m + 1 ) 2 b m + 1 2 = x 2 m
and
m ( m + 1 ) ( 3 m + 1 ) b m + 1 2 2 m ( 2 m + 1 ) b 2 m + 1 = y 2 m .
By summing (64) and (65), we obtain
2 m 2 ( m + 1 ) b m + 1 2 = x 2 m + y 2 m .
By taking the absolute values of Equation (66), and utilizing Equations (8) and (9), we obtain the bound of | b m + 1 | given in (61). Similarly, we can derive the following from Equations (64)–(66), and once more, we obtain
4 m 2 ( 2 m + 1 ) b 2 m + 1 = ( 3 m + 1 ) x 2 m + ( m + 1 ) y 2 m .
By taking the absolute values of Equation (67), and utilizing Equations (8) and (9), we obtain the bound of | b 2 m + 1 | given in (62). For any δ in R and based on Equations (66) and (67), we obtain
b 2 m + 1 δ b m + 1 2 = [ ( m + 1 ) ( 3 m + 1 ) ( 4 m + 2 ) δ ] x 2 m + [ ( m + 1 ) 2 ( 4 m + 2 ) δ ] y 2 m 4 m 2 ( m + 1 ) ( 2 m + 1 ) .
By taking the absolute values of Equation (68), and utilizing Equations (8) and (9), we obtain the bound of | b 2 m + 1 δ b m + 1 2 | given in (63). This concludes the proof of Theorem 6. □

4. Corollaries and Consequences

For m = 1 , we derive the subsequent corollary from Theorem 1.
Corollary 1.
Assume that 0 λ < 1 and ϑ 2 m . A function h H Σ ( ϑ , λ ) , and if b n + 1 = 0 ,   1 n k 1 , then
| b k |     ϑ ( 1 λ ) k , k 3 .
For the case where m = 1 and ϑ = 2 , we derive the following corollary from Theorem 1.
Corollary 2.
Assume that 0 λ < 1 . A function h H Σ ( λ ) , and if b n + 1 = 0 ,   1 n k 1 , then
| b k |     2 ( 1 λ ) k , k 3 .
For ϑ = 2 , we derive the subsequent corollary from Theorem 1.
Corollary 3.
Assume that m 1 and 0 λ < 1 . A function h m H Σ m ( λ ) , and if b m n + 1 = 0 ,   1 n k 1 , then
| b m k + 1 |     2 ( 1 λ ) m k + 1 , k 2 .
For m = 1 , we derive the subsequent corollary from Theorem 2.
Corollary 4.
Assume that 0 λ < 1 and ϑ 2 m . A function h H Σ ( ϑ , λ ) , then
| b 2 |     ϑ ( 1 λ ) 3 ,
| b 3 |     ϑ ( 1 λ ) 3
and
| b 3 δ b m + 1 2 |     ϑ ( 1 λ ) ( 1 δ ) 3 if δ < 0 , ϑ ( 1 λ ) 6 if 0 δ 2 , ϑ ( 1 λ ) ( δ 1 ) 3 if δ > 2 ,
where δ represents a real number.
For ϑ = 2 , we derive the subsequent corollary from Theorem 2.
Corollary 5.
Assume that m 1 and 0 λ < 1 . A function h m H Σ m ( λ ) , then
| b m + 1 |     2 ( 1 λ ) ( m + 1 ) ( 2 m + 1 ) ,
| b 2 m + 1 |     2 ( 1 λ ) 2 m + 1 ,
and
| b 2 m + 1 δ b m + 1 2 |     2 ( 1 λ ) ( m + 1 2 δ ) ( m + 1 ) ( 2 m + 1 ) if δ < 0 , 2 ( 1 λ ) ( m + 1 ) ( 2 m + 1 ) if 0 δ 2 , 2 ( 1 λ ) ( 2 δ 1 m ) ( m + 1 ) ( 2 m + 1 ) if δ > 2 ,
where δ represents a real number.
For m = 1 , we derive the subsequent corollary from Theorem 3.
Corollary 6.
Assume that 0 λ < 1 and ϑ 2 m . A function h R Σ ( ϑ , λ ) , and if b n + 1 = 0 ,   1 n k 1 , then
| b k + 1 |     ϑ ( 1 λ ) k , k 2 .
For the case where m = 1 and ϑ = 2 , we derive the following corollary from Theorem 3.
Corollary 7.
Assume that 0 λ < 1 . A function h S Σ * ( λ ) , and if b n + 1 = 0 ,   1 n k 1 , then
| b k + 1 |     2 ( 1 λ ) k , k 2 .
For ϑ = 2 , we derive the subsequent corollary from Theorem 3.
Corollary 8.
Assume that m 1 and 0 λ < 1 . A function h m R Σ * , m ( λ ) , and if b m n + 1 = 0 ,   1 n k 1 , then
| b m k + 1 |     2 ( 1 λ ) m k , k 2 .
For m = 1 , we derive the subsequent corollary from Theorem 4.
Corollary 9.
Assume that 0 λ < 1 and ϑ 2 . A function h R Σ ( ϑ , λ ) , then
| b 2 |     ϑ ( 1 λ ) ,
| b 3 |     ϑ ( 1 λ )
and
| b 3 δ b 2 |     2 ϑ ( 1 λ ) ( 1 δ ) if δ < 1 2 , ϑ ( 1 λ ) 2 if 1 2 δ 3 2 , 2 ϑ ( 1 λ ) ( δ 1 ) if δ > 3 2 ,
where δ represents a real number.
For ϑ = 2 , we derive the subsequent corollary from Theorem 4.
Corollary 10.
Assume that m 1 and 0 λ < 1 . A function h m S Σ * , m ( λ ) , then
| b m + 1 |     2 ( 1 λ ) m ,
| b 2 m + 1 |     ( m + 1 ) ( 1 λ ) m 2
and
| b 2 m + 1 δ b m + 1 |     2 ( 1 λ ) ( m + 1 2 δ ) m 2 if δ < 1 2 , 2 ( 1 λ ) 2 m if 1 2 δ m + 1 2 , 2 ( 1 λ ) ( 2 δ 1 m ) 2 m 2 if δ > m + 1 2 ,
where δ represents a real number.
For m = 1 , we derive the subsequent corollary from Theorem 5.
Corollary 11.
Assume that 0 λ < 1 and ϑ 2 m . A function h V Σ ( ϑ , λ ) , and if b n + 1 = 0 ,   1 n k 1 , then
| b k + 1 |     ϑ ( 1 λ ) k ( k + 1 ) , k 2 .
For the case where m = 1 and ϑ = 2 , we derive the following corollary from Theorem 3.
Corollary 12.
Assume that 0 λ < 1 . A function h C Σ ( λ ) , and if b n + 1 = 0 ,   1 n k 1 , then
| b k + 1 |     2 ( 1 λ ) k ( k + 1 ) , k 2 .
For ϑ = 2 , we derive the subsequent corollary from Theorem 3.
Corollary 13.
Assume that m 1 and 0 λ < 1 . A function h m C Σ m ( λ ) , and if b m n + 1 = 0 ,   1 n k 1 , then
| b m k + 1 |     2 ( 1 λ ) m k ( m k + 1 ) , k 2 .
For m = 1 , we derive the subsequent corollary from Theorem 6.
Corollary 14.
Assume that 0 λ < 1 and ϑ 2 . A function h V Σ ( ϑ , λ ) , then
| b 2 |     ϑ ( 1 λ ) 2 ,
| b 3 |     ϑ ( 1 λ ) 2
and
| b 3 δ b 2 2 |     ϑ ( 1 λ ) ( 1 δ ) 2 if δ < 2 3 , ϑ ( 1 λ ) 6 if 2 3 δ 4 3 , ϑ ( 1 λ ) ( δ 1 ) 2 if δ > 4 3 ,
where δ represents a real number.
For ϑ = 2 , we derive the subsequent corollary from Theorem 6.
Corollary 15.
Assume that m 1 and 0 λ < 1 . A function h m C Σ m ( λ ) , then
| b m + 1 |     ϑ ( 1 λ ) m 2 ( m + 1 ) ,
| b 2 m + 1 |     2 ( 1 λ ) 2 m 2
and
| b 2 m + 1 δ b m + 1 |     2 ( 1 λ ) ( m + 1 2 δ ) 2 m 2 ( m + 1 ) if δ < ( m + 1 ) 2 2 ( 2 m + 1 ) , 2 ( 1 λ ) 2 ( 2 m + 1 ) if ( m + 1 ) 2 2 ( 2 m + 1 ) δ ( m + 1 ) ( 3 m + 1 ) 2 ( 2 m + 1 ) , 2 ( 1 λ ) ( 2 δ 1 m ) 2 m 2 ( m + 1 ) if δ > ( m + 1 ) ( 3 m + 1 ) 2 ( 2 m + 1 ) ,
where δ represents a real number.
Remark 4. (i) Corollary 1, Corollary 6, and Corollary 11 confirm the coefficient bound established by Huo Tang [30].
(ii) Corollary 2, Corollary 7, and Corollary 12 confirm the coefficient bound established by Hamidi and Jahangiri [31].
(iii) Corollary 3 confirms the coefficient bound established by Sakar and Güney [32].
(iv) Corollary 8 confirms the coefficient bound established by Hamidi and Jahangiri [33].
(v) Corollary 10 and Corollary 15 confirm the bounds of | b 2 | and improve the bounds of | b 3 | established by Sivasubramanian [10].
(vi) Corollary 5 confirms the bounds of | b 2 | and | b 3 | established by Srivastava [11].
(vii) Corollary 4, Corollary 9, and Corollary 14 confirm the coefficient bound established by Sharma [27].

5. Conclusions

In the present work, we introduced three classes of m-fold symmetric bi-univalent functions with bounded boundary rotation. We applied the Faber polynomial technique and investigated the mth coefficient bounds, the initial coefficients, and the Fekete–Szegö for this newly defined class of m-fold symmetric functions.
Additionally, the research discussed in this article could be expanded by exploring specific types of functions and various operators applied to m-fold symmetric functions that exhibit bounded boundary rotation and bounded radius rotation. Additionally, similar results can be derived for other noteworthy special functions and various operators found in the literature.
The study considered in this article can be used in a lung CT image segmentation method that includes a new image enhancement model that uses the bounded turning Mittag–Leffler function with bounded boundary rotation to improve the CT images for much better segmentation outcomes [34]. The approximated coefficient constraints can be used in image processing, specifically texture analysis. This work also be extended for colored images and investigate various image-processing techniques like enhancement, sharpening, pattern identification, restoration, and retrieval. Mathematically, future research can be carried out with the results of Feketö inequality obtained for inverse functions and can be applied in image processing.

Author Contributions

Methodology, S.S. and G.M.; Formal analysis, A.M., S.S. and P.S.; Investigation, S.S. and P.S.; Data curation, G.M. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No data are used in this research.

Acknowledgments

The authors would like to thank the reviewers for many useful corrections and opinions on the original version of the manuscript.

Conflicts of Interest

The authors declare that they have no competing interests.

References

  1. Lewin, M. On a coefficient problem for bi-univalent functions. Proc. Am. Math. Soc. 1967, 18, 63–68. [Google Scholar] [CrossRef]
  2. Brannan, D.A.; Clunie, J.G. Aspects of Contemporary Complex Analysis; Academic Press, Inc.: London, UK, 1980. [Google Scholar]
  3. Netanyahu, E. The minimal distance of the image boundary from the origin and the second coefficient of a univalent function in |u| < 1. Arch. Ration. Mech. Anal. 1969, 32, 100–112. [Google Scholar]
  4. Brannan, D.A.; Taha, T.S. On some classes of bi-univalent functions. Studia Univ. Babeş-Bolyai Math. 1986, 31, 70–77. [Google Scholar]
  5. 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]
  6. Frasin, B.A.; Aouf, M.K. New subclasses of bi-univalent functions. Appl. Math. Lett. 2011, 24, 1569–1573. [Google Scholar] [CrossRef]
  7. Altınkaya, S.; Yalçın, S. Coefficient bounds for a subclass of bi-univalent functions. TWMS J. Pure Appl. Math. 2015, 6, 180–185. [Google Scholar]
  8. Hayami, T.; Owa, S. Coefficient bounds for bi-univalent functions. Pan Am. Math. J. 2012, 22, 15–26. [Google Scholar]
  9. Srivastava, H.M.; Bansal, D. Coefficient estimates for a subclass of analytic and bi-univalent functions. J. Egypt. Math. Soc. 2015, 23, 242–246. [Google Scholar] [CrossRef]
  10. Sivasubramanian, S.; Sivakumar, R. Initial coefficient bound for m-fold symmetric bi-λ-convex functions. J. Math. Inequal. 2016, 10, 783–791. [Google Scholar] [CrossRef]
  11. Srivastava, H.M.; Sivasubramanian, S.; Sivakumar, R. Initial coefficient bounds for a subclass of m-fold symmetric bi-univalent functions. Tbilisi Math. J. 2014, 7, 1–10. [Google Scholar] [CrossRef]
  12. Srivastava, H.M.; Wanas, A.K. Initial Maclaurin coefficient bounds for new subclasses of analytic and m-fold symmetric bi-univalent functions defined by a linear combination. Kyungpook Math. J. 2019, 59, 493–503. [Google Scholar]
  13. Jahangiri, J.M.; Murugusundaramoorthy, G.; Vijaya, K.; Uma, K. Coefficient bounds for a subclass of m-fold symmetric λ-pseudo bi-starlike functions. In Proceedings of the Advances in Algebra and Analysis: International Conference on Advances in Mathematical Sciences, Vellore, India, 1–4 December 2017; Volume I. [Google Scholar]
  14. Çağlar, M.; Orhan, H.; Yağmur, N. Coefficient bounds for new subclasses of bi-univalent functions. Filomat 2013, 27, 1165–1171. [Google Scholar] [CrossRef]
  15. Zireh, A.; Salehian, S. On the certain subclass of analytic and bi-univalent functions defined by convolution. Acta Univ. Apulensis Math. Inform. 2015, 44, 9–19. [Google Scholar]
  16. Paatero, V. Über Gebiete von beschrankter Randdrehung. Ann. Acad. Sci. Fenn. Ser. A 1933, 37, 1–20. [Google Scholar]
  17. Robertson, M.S. On the theory of univalent functions. Ann. Math. 1936, 37, 74–408. [Google Scholar] [CrossRef]
  18. Koepf, W.A. Coefficients of symmetric functions of bounded boundary rotation. Proc. Am. Math. Soc. 1089, 105, 324–329. [Google Scholar] [CrossRef]
  19. Brannan, D.A. On functions of bounded boundary rotation. I. Proc. Edinb. Math. Soc. 1969, 16, 339–347. [Google Scholar] [CrossRef]
  20. Leach, R.J. On odd functions of bounded boundary rotation. Can. J. Math. 1974, 26, 551–564. [Google Scholar] [CrossRef]
  21. Leach, R.J. Coefficients of symmetric functions of bounded boundary rotation. Can. J. Math. 1974, 26, 1351–1355. [Google Scholar] [CrossRef]
  22. Faber, G. Über polynomische Entwickelungen. Math. Ann. 1903, 57, 389–408. [Google Scholar] [CrossRef]
  23. Gong, S. The Bieberbach Conjecture; Translated from the 1989 Chinese original and revised by the author; AMS/IP Studies in Advanced Mathematics; American Mathematical Society/International Press: Providence, RI, USA, 1999; Volume 12. [Google Scholar]
  24. Airault, H. Remarks on Faber polynomials. Int. Math. Forum 2008, 3, 449–456. [Google Scholar]
  25. Airault, H.; Bouali, A. Differential calculus on the Faber polynomials. Bull. Sci. Math. 2006, 130, 179–222. [Google Scholar] [CrossRef]
  26. Padmanabhan, K.S.; Parvatham, R. Properties of a class of functions with bounded boundary rotation. Ann. Polon. Math. 1976, 31, 311–323. [Google Scholar] [CrossRef]
  27. Sharma, P.; Sivasubramanian, S.; Cho, N.E. Initial coefficient bounds for certain new subclasses of bi-univalent functions with bounded boundary rotation. AIMS Math. 2023, 8, 29535–29554. [Google Scholar] [CrossRef]
  28. Li, Y.; Vijaya, K.; Murugusundaramoorthy, G.; Tang, H. On new subclasses of bi-starlike functions with bounded boundary rotation. AIMS Math. 2020, 5, 3346–3356. [Google Scholar] [CrossRef]
  29. Alkahtani, B.S.T.; Goswami, P.; Bulboacă, T. Estimate for initial MacLaurin coefficients of certain subclasses of bi-univalent functions. Miskolc Math. Notes 2016, 17, 739–748. [Google Scholar] [CrossRef]
  30. Tang, H.; Sharma, P.; Sivasubramanian, S. Coefficient estimates for new subclasses of bi-univalent functions with bounded boundary rotation by using faber polynomial technique. Axioms 2024, 13, 509. [Google Scholar] [CrossRef]
  31. Hamidi, S.G.; Jahangiri, J.M. Faber polynomial coefficient estimates for bi-univalent functions defined by subordinations. Bull. Iran. Math. Soc. 2015, 41, 1103–1119. [Google Scholar]
  32. Sakar, F.M.; Güney, H. Coefficient bounds for M-fold symmetric analytic bi-Bazilevi c ˘ functions using by Faber polynomial expansion. Creat. Math. Inform. 2020, 29, 81–89. [Google Scholar] [CrossRef]
  33. Hamidi, S.G.; Jahangiri, J.M. Unpredictability of the coefficients of m-fold symmetric bi-starlike functions. Internat. J. Math. 2014, 25, 1450064. [Google Scholar] [CrossRef]
  34. Hasan, A.M.; Khalaf, M.; Sabbar, B.M.; Ibrahim, R.W.; Jalab, H.A.; Meziane, F. Lung CT image segmentation using VGG-16 network with image enhancement based on bounded turning mittag-leffler function. Baghdad Sci. J. 2024, 21, 3892–3902. [Google Scholar] [CrossRef]
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

Murugan, A.; Sivasubramanian, S.; Sharma, P.; Murugusundaramoorthy, G. Faber Polynomial Coefficient Estimates of m-Fold Symmetric Bi-Univalent Functions with Bounded Boundary Rotation. Mathematics 2024, 12, 3963. https://doi.org/10.3390/math12243963

AMA Style

Murugan A, Sivasubramanian S, Sharma P, Murugusundaramoorthy G. Faber Polynomial Coefficient Estimates of m-Fold Symmetric Bi-Univalent Functions with Bounded Boundary Rotation. Mathematics. 2024; 12(24):3963. https://doi.org/10.3390/math12243963

Chicago/Turabian Style

Murugan, Anandan, Srikandan Sivasubramanian, Prathviraj Sharma, and Gangadharan Murugusundaramoorthy. 2024. "Faber Polynomial Coefficient Estimates of m-Fold Symmetric Bi-Univalent Functions with Bounded Boundary Rotation" Mathematics 12, no. 24: 3963. https://doi.org/10.3390/math12243963

APA Style

Murugan, A., Sivasubramanian, S., Sharma, P., & Murugusundaramoorthy, G. (2024). Faber Polynomial Coefficient Estimates of m-Fold Symmetric Bi-Univalent Functions with Bounded Boundary Rotation. Mathematics, 12(24), 3963. https://doi.org/10.3390/math12243963

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