Agbana Gail Oluwatunmise 18CF006160
Agbana Gail Oluwatunmise 18CF006160
BY
JULY, 2022.
COEFFICIENT BOUNDS OF CERTAIN SUBCLASS OF UNIVALENT
FUNCTIONS ASSOCIATED WITH THE MODIFIED SIGMOID
FUNCTION
BY
[B.Sc. Mathematics]
JUNE 2022.
i
CERTIFICATION
This is to certify that this work was carried out by AGBANA OLUWATUNMISE GAIL with
the Matriculation number and Registration number of 18CF006160 and 1800879 respectively
and approved as meeting the requirement of the award of the Bachelor of Science (B.Sc.)
Degree in Mathematics of the Department of Physical Sciences, College of Pure and Applied
Project Supervisor
Head of Units
(Mathematics Programme)
Head of Department
(Physical Sciences)
ii
DEDICATION
This work is dedicated to God for His Grace upon my life, to my family and to all my
distinguished lecturers for the love, support and encouragement shown to me during my
undergraduate programme.
iii
ACKNOWLEDGEMENT
I appreciate God for all the protection, guidance and direction that He granted me throughout
my university education. I acknowledge my family, the Olowolayemo’s, the Alika’s and the
Jonathan’s for their consistent love, supporting me in the achievement of my B.Sc. Degree in
appreciate all the support, tutelage and encouragement given to me by my supervisor Mr. M.
O. Oluwayemi and my level advisor Dr. (Mrs.) E. O. Davids. I acknowledge all the lecturers
Ogunlade, Dr. O. O. Alabi, Dr. (Mrs.) O. Y. Oludoun, Mr. J. O. Okoro, and Mrs. B. B.
Aladeitan for always being available out of their busy schedules to educate me and guide me
iv
ABSTRACT
univalent functions involving a generalised differential operator and sigmoid function. Since
the functions are univalent and of bounded turning, this work finds applications in any field
v
TABLE OF CONTENTS
CERTIFICATION .................................................................................................................... ii
ACKNOWLEDGEMENT ........................................................................................................iv
ABSTRACT............................................................................................................................... v
vi
1.5. Justification of the Study .............................................................................................. 17
1.6. Significance of the Study .............................................................................................. 18
REFERENCE ...............................................................................................................................
vii
TABLE OF FIGURES
Figure 1 ................................................................................................................................................... 1
Figure 2 ................................................................................................................................................... 4
Figure 3 ................................................................................................................................................... 5
Figure 4 ................................................................................................................................................... 5
Figure 5 ................................................................................................................................................... 6
viii
CHAPTER 1 - GENERAL INTRODUCTION
1.1. Background of the Study
Complex numbers and complex variables are studied significantly in mathematical science,
without proper emphasis on the real number system being its parent. Real numbers consist of
all positive integers, negative integers, and decimal fractions, whereas the complex number
can be written as the sum or difference of a real number and imaginary number.
𝑧 ℂ: 𝑧 = 𝑅𝑒(𝑧) + 𝐼𝑚(𝑧) = 𝑥 + 𝑖𝑦
(Imaginary axis)
y
𝑷 (𝒙, 𝒚)
𝒛 = 𝒙 + 𝒊𝒚
(Real axis)
x
Figure 1
Therefore, 𝑧 = 𝑥 + 𝑖𝑦 has both the real part 𝑅𝑒 𝑧 = 𝑥 and the imaginary part 𝐼𝑚 𝑧 = 𝑦,
The set ℂ of complex numbers is closed under the operations of addition (+), subtraction
(−), multiplication (×) and division (÷) as it satisfies the following laws for any 𝑥, 𝑦 ℂ:
i. Commutative Law
1
𝑥 + 𝑦 = 𝑦 + 𝑥 𝑎𝑛𝑑 𝑥𝑦 = 𝑦𝑥.
𝑥 (𝑦 + 𝑧) = 𝑥𝑦 + 𝑥𝑧 and (𝑥 + 𝑦)𝑧 = 𝑥𝑧 + 𝑦𝑧
a. Additive Identity
𝑥 + 0 = 0 + 𝑥 = 𝑥
b. Multiplicative Identity
𝑥1 = 1𝑥 = 𝑥
a. Additive Inverse
𝑥 + (−𝑥) = (−𝑥) + 𝑥 = 0
b. Multiplicative Inverse
1 1
𝑥 = 𝑥 = 1
𝑥 𝑥
This makes the complex numbers a field that has the real numbers as a subfield. The set ℂ of
complex numbers has no natural ordering which makes it superior to the set ℂ of real
numbers. For Instance, for any two real numbers a and b, either 𝑎 > 𝑏 or 𝑎 < b or 𝑎 == 𝑏
must be true.
The Order Relation: The set ℂ of complex numbers is said to be an ordered field if it
i. Law of Trichotomy
For any 𝑎, 𝑏 ℂ, one and only one of the following holds 𝑎 == 𝑏, 𝑎 > b, 𝑎 < 𝑏
2
iii. Law of Addition
If 𝑎 < 𝑏 and 𝑏 < 𝑐 then 𝑎𝑐 < 𝑏𝑐, for all complex numbers ℂ.
Hence, we can express the set of complex numbers as the set of all ordered pair of real
numbers (𝑥, 𝑦). Thus, a complex number 𝑧 is an ordered pair (𝑥, 𝑦) of real numbers so that
𝑧 = (𝑥, 𝑦), where 𝑥 is the real part of 𝑧 and 𝑦 is the imaginary part of 𝑧.
function of 𝑧. A complex function is a function that has a subset of the complex numbers as
a domain and the complex numbers as a codomain. For any complex function, the values 𝑧
from the domain and their images 𝑓(𝑧) in the range may be separated
𝑧 = 𝑥 + 𝑖𝑦
𝑢: ℝ2 → ℝ and 𝑣: ℝ2 → ℝ
A complex function 𝑤 = 𝑓(𝑧) can be viewed as a mapping from a domain 𝐷 in the 𝑧-plane.
2. Surjective Mapping
3
3. Bijective Mapping
of 𝑧. For Example: 𝑓(𝑧) = 𝑧 3 ; 𝑓(0) = 0, 𝑓(1) = 1 and 𝑓(2) = 8, etc. However, if more
coordinate system with the horizontal 𝑥-axis as the real axis and the vertical 𝑦-axis as the
imaginary axis. Since complex numbers 𝑧 = 𝑥 + 𝑖𝑦 can expressed as an ordered pair of real
called the complex plane or Argand diagram. Often times, the complex plane is referred to as
the 𝑧 plane. The distance between two points on the complex plane can be discussed as a
result of this. A curve ℂ of center 𝑧0 and radius 𝑟 can be defined and represented on the
complex plane as |𝑧 − 𝑧0 | = 𝑟.
𝑖𝑟
−𝑟 𝑧0 𝑟 x
−𝑖𝑟
Figure 2
4
Unit Circle: A unit circle defined as |𝑧| ≤ 1 is the circle of radius 1 and center 𝑧0 = 0.
1
|𝑧| = 1
1
Unit Circle
Figure 3
If the centre is shifted to the origin without loss of generality, then, |𝑧| ≤ 𝑟, where 𝑧0 = 0.
We consider when 𝑟 = 1 which is a unit circle. Then for every 𝑧 inside the circle 𝐶, the
inequality |𝑧| < 1 holds which refers to the interior of ℂ. The region is known as an open
disk but by Riemann mapping theorem, any simple connected region that is not whole on the
𝑥𝑦 plane can be a conformal map onto the unit disk. The interior 𝑧 ∈ ∁: |𝑧| < 1 is open and
bounded but the exterior 𝑧 ∈ ∁: |𝑧| > 1 is open but not bounded.
|𝑧 − 𝑧0 | = 𝑟
Figure 4
However, a closed disk defined by |𝑧| ≤ 1 consists of the interior of ℂ and its boundary. The
whole complex plane can be said to consists of the interior of a circle, the boundary of the
The 𝒘-plane: Since 𝑤 = 𝑓(𝑧) = 𝑢 + 𝑖𝑣 with 𝑢 and 𝑣 are both functions of 𝑥 and 𝑦. For
every point (𝑥, 𝑦) in the 𝑧-plane, 𝑤 = 𝑓(𝑧) defines a corresponding set of points (𝑢, 𝑣) in the
5
𝑤-plane which is the mapping of the 𝑧-plane onto the 𝑤-plane. Then 𝑤-plane is the image of
a circle in 𝑧-plane which is mapped by the function 𝑓(𝑧). This is geometrically illustrated by:
𝑓(𝑧)
y v
x u
Figure 5
𝑤 = 𝑓(𝑧) = ln 𝑟 + 𝑖𝜃.
Let 𝑓(𝑧) be a single-valued defined on all points in some neighbourhood of point 𝑧0 and
when 𝑧 ≠ 𝑧0 . Then a number 𝑙 is the limit of 𝑓(𝑧) as 𝑧 approaches of 𝑧0 if for any real
number 𝜖 > 0, however small, there exists a real number 𝛿 > 0 such that
6
to 𝑧0 (Murray, Seymour, John, & Dennis, 2009). If 𝑧0 is a point in the complex plane then
lim 𝑓(𝑧) = 𝑙
𝑧 → 𝑧0 (1.3)
1.2.4. Continuity
well as when 𝑧 = 𝑧0 . The function 𝑓(𝑧) at 𝑧 = 𝑧0 if for any 𝜖 > 0, there exists a 𝛿 > 0 such
that |𝑓(𝑧) − 𝑓(𝑧0 )| < 𝜖 whenever |𝑧 − 𝑧0 | < 𝛿. Then the function 𝑓(𝑧) is said to be
Remark 1.2.1. These are conditions must hold for 𝑓(𝑧) to be continuous:
3. 𝑙 = 𝑓(𝑧0 )
Continuity is the definition of Limit without the restriction that 𝑧 ≠ 𝑧0 and when 𝑙 = 𝑓(𝑧0 ).
1.2.5. Differentiability
𝑓(𝑧) − 𝑓(𝑧0 )
lim (1.5)
𝑧→𝑧0 𝑧 − 𝑧0
The limit is called the derivative of 𝑓 at 𝑧0 and is denoted by 𝑓 ′ (𝑧0 ) (Howie, 2003).
7
1.2.6. Domain and Range of Complex functions
a region but conversely is not true because not all regions are domains.
(𝑥0 − 𝜖, 𝑥0 + 𝜖) where 𝜖 is any positive real number. Thus, we say than an 𝜖 neighbourhood
|𝑥 − 𝑥0 | < 𝜖 (1.6)
A complex function 𝑓(𝑧) is said to be analytic at 𝑧0 if its derivative 𝑓 ′ (𝑧) exists at each point
function analytic in 𝑅. The terms regular and holomorphic are sometimes used as synonyms
𝜕𝑢 𝜕𝑣 𝜕𝑢 𝜕𝑣
= , =− (1.7)
𝜕𝑥 𝜕𝑦 𝜕𝑥 𝜕𝑥
Remark 1.2.2. The Cauchy-Riemann Equation are necessary but not sufficient for 𝑓(𝑧) to be
analytic. It can be sufficient when the four partial derivatives in (1.7) are continuous.
Conformal Mapping: In considering a plane with points 𝑧 = 𝑥 + 𝑖𝑦 and a second plane with
points 𝑤 = 𝑢 + 𝑖𝑣. If there exists a function 𝑓 such that to each point 𝑧 corresponds one point
𝑤 = 𝑓(𝑧), we say that the function 𝑓 is a mapping or transformation of the plane 𝑧 into the
8
plane 𝑤. If the function 𝑓(𝑧) is complex differentiable at every point in a region 𝑅 of the
complex plane we say that the function is analytic in the region 𝑅. Mapping by analytic
function preserve angles; therefore, such angles are qualified as conformal. In other words, if
in the plane 𝑧 the angle between two curves is 𝛼, in the plane 𝑤 the angle between the
conformal mappings of the given curves is also 𝛼 (Brian, 2017). A function that preserves
Riemann Mapping Theorem: Suppose 𝐷 is a simply connected domain, other than the
whole plane, and 𝑧0 is a point in 𝐷. Then there exists a unique function 𝑓(𝑧), analytic and
univalent in 𝐷, which maps 𝐷 onto the disk |𝑤| < 1 in such manner that 𝑓(𝑧0 ) = 0 and
Hence, the Riemann mapping theorem simply says that any two simply connected domains,
other than the whole plane can be mapped to each other by a conformal map.
If a function 𝑓(𝑧) is analytic on the whole complex plane, then 𝑓(𝑧) is said to be an integral
complex function 𝑓(𝑧) is analytic in the whole plane, then 𝑓(𝑧) must be a constant. An entire
function can be represented by a Taylor’s series expansion which has an infinite radius of
convergence.
discrete subset of its domain, and at those singularities it must go to infinity like
9
a polynomial (i.e., these exceptional points must be poles and not essential singularities). A
simpler definition states that a meromorphic function is a function 𝑓(𝑧) of the form,
𝑔(𝑧)
𝑓(𝑧) = (1.8)
ℎ(𝑧)
where 𝑔(𝑧) and ℎ(𝑧) are entire functions and ℎ(𝑧) ≠ 0 (Krantz, 1999).
Taylor’s Series Expansion: Generally, the Taylor series of a function 𝑓(𝑥) that is infinitely
𝑓 ′ (𝑎) 𝑓 ′′ (𝑎) 2
𝑓 ′′′ (𝑎)
𝑓(𝑎) + (𝑥 − 𝑎) + (𝑥 − 𝑎) + (𝑥 − 𝑎)3
1! 2! 3!
Suppose that a complex function 𝑓 (𝑧) is analytic everywhere with center 𝑧0 and radius 𝑟.
𝑓(𝑧) = ∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛
𝑛=0
𝑓 (𝑛) 𝑧0
𝑎𝑛 =
𝑛!
𝑛! 𝑓(𝑧) (1.10)
𝑓 (𝑛) (𝑧) = ∮ 𝑑𝑧
2𝜋𝑖 (𝑧 − 𝑧0 )𝑛+1
10
where 𝐶 is a Jordan Curve and 𝑓 is analytic inside and on 𝐶 with 𝑧0 inside 𝐶.
Hence this shows that, power series represents analytic functions and conversely, every
analytic function has a Taylor’s Series representation which converges at every point within a
disk |𝑧 − 𝑧0 | = 𝑅.
Laurent Series Expansion: Taylor series fails to expand a complex variable around its
points when 𝑓(𝑧) is said to be singular. The representation of Laurent series thus valid in an
annulus bounded by two concentric circles 𝐶1 and 𝐶2 such that 𝑓(𝑧) is analytic in the annulus
and at each point of 𝐶1 and 𝐶2 , 𝑓(𝑧) may be singular at some points outside 𝐶1 or even some
points inside 𝐶2 .
𝑓(𝑧) = ∑ 𝑏𝑛 (𝑧 − 𝑧0 )−𝑛 + ∑ 𝑎𝑛 (𝑧 − 𝑧0 )𝑛
𝑛=1 𝑛=0
∑∞ −𝑛
𝑛=1 𝑏𝑛 (𝑧 − 𝑧0 ) , (𝑛 = 1,2,3 … ) as the principal part.
𝑝(𝑧) = 1 + 𝑐1 𝑧 + 𝑐2 𝑧 2 + 𝑐3 𝑧 3 + ⋯ (1.11)
let there exist analytic function 𝑝 ∈ ℘ in the unit disc U when 𝑝(0) = 1 and 𝑅𝑒 𝑝(𝑧) > 0.
11
1.2.13. Univalent Functions
mapping 𝐷 onto another domain (i.e., 𝑓 provides a one-to-one mapping onto its image 𝑓(𝐷)).
Alternatively,
Some of the classes of analytic univalent functions include the convex functions, the starlike
Convex Function
The analytic and normalized univalent function in the unit disk 𝑈 is said to be a convex
𝑧𝑓′′(𝑧)
𝑅𝑒 [1 + ] > 0, 𝑧∈𝑈
𝑓′(𝑧)
Starlike Function
The analytic and normalized univalent function in the unit disk 𝑈 is said to be a starlike
𝑧𝑓 ′ (𝑧)
𝑅𝑒 [ ] > 0, |𝑧| < 1
𝑓(𝑧)
Let 𝑓(𝑧) be analytic in the unit disk 𝑈 = {𝑧: |𝑧| < 1; 𝑧 ∈ ℂ}, then 𝑓(𝑧) has the power series
expansion
𝑔(𝑧) = 𝑏0 + 𝑏1 𝑧 + 𝑏2 𝑧 + 𝑏3 𝑧 + ⋯ = ∑ 𝑏𝑘 𝑧 𝑘 ,
2 3 (𝑏1 ≠ 0),
𝑘=0
12
that is convergent in the unit disk 𝑈. Then,
𝑔(𝑧) − 𝑏0 = 𝑏1 𝑧 + 𝑏2 𝑧 2 + 𝑏3 𝑧 3 + ⋯
𝑔(𝑧) − 𝑏0 𝑏2 𝑏3
= 𝑧 + 𝑧2 + 𝑧3 + ⋯
𝑏1 𝑏1 𝑏1
𝑔(𝑧) − 𝑏0 𝑏𝑘
let 𝑓(𝑧) = and 𝑎𝑘 = (𝑏 ≠ 0), when 𝑘 = 2, 3, 4, …
𝑏1 𝑏1 1
𝑓(𝑧) = 𝑧 + ∑ 𝑎𝑘 𝑧 𝑘 (1.12)
𝑘=2
Thus, such that 𝑓(0) = 0 and 𝑓 ′ (0) = 1. (1.12) is a normalized univalent function.
Let 𝑓(𝑧) and 𝑔(𝑧) be analytic functions in 𝑈 = {|𝑧| <1}, 𝑓(𝑧) is said to be subordinate to
𝑔(𝑧) if there exists a function 𝜙(0) = 0, and |𝜙(𝑧)| < 1 such that
In the nineteenth century, C. F. Gauss, C. G. J. Jacobi, F. Klein and many others developed
the theory of special functions. And in the twentieth century, the theory of special functions
has been outstripping by the other fields in mathematics such as real analysis, functional
13
Bessel Function
𝑧 2 𝑌 ′′ + 𝑧𝑌 ′ + (𝑧 2 − 𝑛2 )𝑌 = 0
Legendre Function
Sigmoid Function
Sigmoid function is given by
1
ℎ(𝑧) = (1.14)
1 + 𝑒 −𝑧
4. It increases monotonically.
Fadipe-Joseph et. al (2013) studied and established that the modified sigmoid function
2
𝜙𝑛,𝑚 (𝑧) =
1 + 𝑒 −𝑧
and introduced the series form of the sigmoid function
∞ ∞ 𝑚
(−1)𝑚 (−1)𝑛 𝑛
𝜙𝑛,𝑚 (𝑧) = 1 + ∑ ((∑ 𝑧 ) )
2𝑚 𝑛!
𝑚=1 𝑛=1
14
Therefore,
1 1 1
𝜙𝑛,𝑚 (𝑧) = 1 + 𝑧 − 𝑧3 + 𝑧5 − ⋯ (1.15)
2 24 240
certain class of univalent functions. The continuous extension and generalization of the tool
have since then continued to gain attention among the function theorists Oluwayemi et al.
defined by
(1.16)
∞
𝑅 𝑛 𝑓(𝑧) = 𝑧 + ∑ 𝐵𝑘 (𝑛)𝑎𝑘 𝑧 𝑘
𝑘=2
where,
𝑛+𝑘−1 (𝑛 + 1)(𝑛 + 2) ⋯ (𝑛 + 𝑘 − 1)
𝐵𝑘 (𝑛) = 𝐵(𝑛, 𝑘) = ( )=
𝑛 (𝑘 − 1)!
(𝑛 + 1)(𝑛 + 2) ⋯ (𝑛 + 𝑘 − 1) (𝑛 + 1)𝑘−1
= =
(𝑘 − 1)! (1)𝑘−1
𝐷 𝑓(𝑧) = 𝑧 + ∑ 𝑘 𝑛 𝑎𝑘 𝑧 𝑘
𝑛
(1.17)
𝑘=2
15
Amourah and Yousef (2020)
∞
𝑚 𝜇 + 𝜆 + (𝑛 − 1)(𝜆 − 𝛼)(𝛽 − 𝜎) 𝑚
𝐷𝜇,𝜆,𝜎 𝑓(𝑧) =𝑧+∑[ ] 𝑎𝑛 𝑧 𝑛 (1.18)
𝜇+𝜆
𝑛=2
Szegö problem.
The Hankel determinant of 𝑓(𝑧) when 𝑞 ≥ 1 and 𝑛 ≥ 1 defined by Pommerenke (1975) as;
𝑎𝑛 𝑎𝑛+1 … 𝑎𝑛+𝑞−1
𝑎𝑛+1 𝑎𝑛+2 … 𝑎𝑛+𝑞
𝐻𝑞 (𝑛) = | ⋮ | (1.20)
⋮ ⋱ ⋮
𝑎𝑛+𝑞−1 𝑎𝑛+𝑞 … 𝑎𝑛+2𝑞−2
It is observed that the Fekete-Szegö functional from (2.4) is 𝐻2 (1) and Fekete-Szegö further
generalised the estimate as |𝑎3 − 𝛿𝑎22 | with 𝛿 being real. Further, the second Hankel
𝑎2 𝑎3 2
𝐻2 (2) = |𝑎 𝑎4 | = |𝑎2 𝑎4 − 𝑎3 |
3
was obtained by several authors in literature for various classes on univalent functions but in
this work the Hankel determinant in the case 𝑞 = 3 and 𝑛 = 1 will be considered.
16
1.3. Aims and Objectives of the Study
The aim of this study is to establish certain subclass of univalent functions associated with
3. determine the Fekete-Szegö functional and the Hankel determinants of the subclass of
univalent functions.
among function theorists have continued to gain attention in recent times. This study
Furthermore, the class of functions investigated by Vamshee et al. (2015) was generalised
and the study of sigmoid function in relation to the function of bounded turning was
17
1.6. Significance of the Study
function in geometric function theory. There are many subclasses of analytic and univalent
functions because researchers in the field are seeking to improve on existing works and add
new knowledge to the classes of analytic and univalent functions related to GFT. The class of
differential operator and sigmoid function. Since the functions are univalent and of bounded
turning, the work finds applications in any field that involves reduction or enlargement.
18
CHAPTER 2 - LITERATURE REVIEW
to univalent functions theory and establiahed that the modified sigmoid function belongs to
𝜆 −pseudo starlike functions related to sigmoid functions and the Fekete-Szegö coefficient
functional for certain normalized analytic functions defined on the open unit disk. Vamshee
et. al (2015) obtained an upper bound to the third Hankel determinant for a certain subclass
Olatunji and Dansu (2016) obtained the first few coefficients estimates for Bazilevicˇ
Ma-Minda Functions for a certain class and the relevant connection to Fekete-Szegö
inequality. From the work of Ramachandran and Dhanalakshmi (2017), some classes were
considered and the initial coefficient and Fekete-Szegö functional were estimated.
Oluwayemi et. al (2019) used the Sălăgean differential operator in (1.17) involving modified
sigmoid function to define a class and established various geometric properties of the class.
From the work of Amourah and Yousef (2020), a new generalized differential
operator was defined on the open unit disk U and a subclass was introduced using the
operator defined. Furthermore, coefficient estimates, growth and distortion theorems, closure
theorems and class preserving integral operators for functions in the class defined were
tool to investigate a new class of functions and its subclass and investigated various
19
CHAPTER 3 - METHODOLOGY
3.1. Introduction
𝑓(𝑧) = 𝑧 + ∑ 𝑎𝑘 𝑧 𝑘
𝑘=2
1
1
𝜎 − 𝜇(𝜔 − 𝛼) 𝜇(𝜔 − 𝛼) ′ 𝜏(𝜔 − 𝛼) 2 ′′
𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏) 𝑓(𝑧) = ( 𝑓(𝑧) + 𝑧𝑓 (𝑧) + 𝑧 𝑓 (𝑧)) .
𝜎 𝜎 𝜎
It follows that,
∞
𝜎 − 𝜇(𝜔 − 𝛼) 𝜎 − 𝜇(𝜔 − 𝛼) 𝜎 − 𝜇(𝜔 − 𝛼)
𝑓(𝑧) = 𝑧+∑ 𝑎𝑘 𝑧 𝑘 .
𝜎 𝜎 𝜎
𝑘=2
∞
𝜇(𝜔 − 𝛼) ′ 𝜇(𝜔 − 𝛼) 𝜇(𝜔 − 𝛼)
𝑧𝑓 (𝑧) = 𝑧+∑𝑘 𝑎𝑘 𝑧 𝑘 .
𝜎 𝜎 𝜎
𝑘=2
∞
𝜏(𝜔 − 𝛼) 2 ′′ 𝜏(𝜔 − 𝛼)
𝑧 𝑓 (𝑧) = ∑ 𝑘(𝑘 − 1) 𝑎𝑘 𝑧 𝑘 .
𝜎 𝜎
𝑘=2
Therefore,
∞
1
𝜎 − 𝜇(𝜔 − 𝛼) 𝜎 − 𝜇(𝜔 − 𝛼) 𝜇(𝜔 − 𝛼)
𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏) 𝑓(𝑧) = 𝑧+∑ 𝑎𝑘 𝑧 𝑘 + 𝑧
𝜎 𝜎 𝜎
𝑘=2
∞ ∞
𝜇(𝜔 − 𝛼) 𝜏(𝜔 − 𝛼)
+∑𝑘 𝑎𝑘 𝑧 𝑘 + ∑ 𝑘(𝑘 − 1) 𝑎𝑘 𝑧 𝑘 .
𝜎 𝜎
𝑘=2 𝑘=2
∞ ∞ ∞
𝜎 − 𝜇(𝜔 − 𝛼) 𝜇(𝜔 − 𝛼) 𝜏(𝜔 − 𝛼)
= 𝑧+∑ 𝑎𝑘 𝑧 𝑘 + ∑ 𝑘 𝑎𝑘 𝑧 𝑘 + ∑ 𝑘(𝑘 − 1) 𝑎𝑘 𝑧 𝑘 .
𝜎 𝜎 𝜎
𝑘=2 𝑘=2 𝑘=2
∞ 1
𝑘(𝑘 − 1)𝜏(𝜔 − 𝛼) + 𝑘𝜇(𝜔 − 𝛼) − 𝜇(𝜔 − 𝛼)
= 𝑧 + ∑ (1 + ) 𝑎𝑘 𝑧 𝑘
𝜎
𝑘=2
20
∞ 1
1
(𝑘 − 1)(𝑘𝜏(𝜔 − 𝛼) + 𝜇(𝜔 − 𝛼))
𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏) 𝑓(𝑧) = 𝑧 + ∑ (1 + ) 𝑎𝑘 𝑧 𝑘
𝜎
𝑘=2
∞ 𝑛
𝑛
(𝑘𝜏(𝜔 − 𝛼) + 𝜇(𝜔 − 𝛼))
𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏) 𝑓(𝑧) = 𝑧 + ∑ (1 + (𝑘 − 1) ) 𝑎𝑘 𝑧 𝑘 , ( 𝑛 ∈ ℕ)
𝜎
𝑘=2
Where 𝜇, 𝜔 ≥ 0, 𝛼, 𝜏 ≥ 0, 𝜎 ≠ 0, 𝑛 ∈ ℕ
𝑛
𝛼 (𝑛,𝜎,𝜏) (𝑘𝜏 + 𝜇)(𝜔 − 𝛼)
Let 𝛱𝜇,𝜔 = (1 + (𝑘 − 1) ( ))
𝜎
∞
𝑛 𝑛 (𝛼,𝜎,𝜏)
𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏) 𝑓(𝑧) = 𝑧 + ∑ 𝛱𝜇,𝜔 𝑎𝑘 𝑧 𝑘
𝑘=2
The differential operator reduces to that of Amourah and Yousef (2020) if 𝜇 = 𝜆 − 𝛼 and
𝜎 = 𝜇 + 𝜆.
𝑛 𝑛 (𝛼,𝜎,𝜏)
With the aid of the differential operator 𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏) 𝑓(𝑧) we define the class 𝑇(𝛱𝜇,𝜔 ),
defines as follows.
𝑛 (𝛼,𝜎,𝜏)
Definition 3.1. The function 𝑓(𝑧) ∈ 𝑅𝑇(𝛱𝜇,𝜔 ) if the following condition is satisfied:
𝑛
𝑅𝑒{𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏) 𝑓(𝑧)} > 𝛽
Where 𝑧 ∈ 𝑈 and 𝑛 ∈ ℕ.
Lemma 3.1. (Pommerenke, 1975) If 𝑝 ∈ ℘, the |𝑐𝑘 | ≤ 2, for each 𝑘 ≥ 1 and the triangle
1+𝑧
inequality is sharp for the function 1−𝑧
Lemma 3.2. (Vamshee, Venkateswarlu, & RamReddy, 2015) The power series for
𝑝(𝑧) = 1 + ∑∞ 𝑛
𝑛=1 𝑐𝑛 𝑧 given in (1.11) converges in the open unit disc U to a function in ℘ if
2 𝑐1 𝑐2 ⋯ 𝑐𝑛
𝑐−1 2 𝑐1 ⋯ 𝑐𝑛−1
𝐷𝑛 = || 𝑐−2 𝑐−1 2 ⋯ 𝑐𝑛−2 || , 𝑛 = 1,2,3 …
⋮ ⋮ ⋮ ⋮ ⋮
𝑐−𝑛 𝑐−𝑛+1 𝑐−𝑛+2 ⋯ 2
21
and 𝑐−𝑘 = 𝑐̅𝑘 are all non-negative. They are strictly positive except for
1+𝑧
𝑝(𝑧) ∑∞
𝑚=1 𝜌𝑛 𝜌0 (𝑒
𝑖𝑡𝑘
𝑧), 𝜌𝑘 > 0, 𝑡𝑘 real and 𝑡𝑘 ≠ 𝑡𝑗 for 𝑘 ≠ 𝑗, where 𝜌0 (𝑧) = 1−𝑧; in the case
We may assume without restrictions that 𝑐1 > 0. On using Lemma 3.2., for 𝑛 = 2, we
have that
2 𝑐1 𝑐2
𝐷2 = |𝑐̅1 2 𝑐−1 | = [8 + 2𝑅𝑒{𝑐12 𝑐2 } − 2|𝑐2 |2 − 4|𝑐1 |2] ≥ 0,
𝑐̅2 𝑐̅1 2
Which is equivalent to
For 𝑛 = 3,
2 𝑐1 𝑐2 𝑐3
𝑐̅ 2 𝑐1 𝑐2
𝐷3 = | 1 |≥0
𝑐̅2 𝑐̅1 2 𝑐1
𝑐̅3 𝑐̅2 𝑐̅1 2
Which is equivalent to
4𝑐3 = (c13 + 2𝑐1 (4 − c12 )𝑥 − 𝑐1 (4 − c12 )𝑥 2 + 2(4 − c12 )(1 − |𝑥|2 )𝑧) (3.2)
𝑛 (𝛼,𝜎,𝜏) 1
Theorem 3.1. If 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4) then,
3
(1 − 𝛽) 4 − 9𝜋 + 4𝛽) 2
|𝑎2 𝑎3 − 𝑎4 | = (−4 + 6𝜋) ( )
12𝜋 2 6 − 9𝜋
Proof: Assume 𝑓(𝑧) and 𝑝(𝑧) from (1.12) and (1.11) such that
𝑓 ′ (𝑧) − 𝛽
= 𝑝(𝑧)
1−𝛽
22
Applying the series representation for 𝑓 ′ (𝑧) and 𝑝(𝑧) into (3.3) follows that
𝑓 ′ (𝑧) = 𝛽 − (1 − 𝛽) 𝑝(𝑧)
𝑐2 𝛽𝑧 2 − 𝑐3 𝛽𝑧 3 − ⋯
Substituting the values of 𝑎2 , 𝑎3 and 𝑎4 from (3.5) in the functional |𝑎2 𝑎3 − 𝑎4 | for the
𝑛 (𝛼,𝜎,𝜏)
function 𝑓(𝑧) ∈ 𝑅𝑇 (𝛱𝜇,𝜔 ) then
(1 − 𝛽) (1 − 𝛽)𝑐1 𝑐2 𝑐3
|( )( − )|
𝜋 6𝜋 4
(1 − 𝛽)
|𝑎2 𝑎3 − 𝑎4 | = |𝑑1 𝑐1 𝑐2 + 𝑑2 𝑐3 | (3.8)
12𝜋 2
Substituting the values of 𝑐2 and 𝑐3 from (3.1) and (3.2) respectively, then the right-hand
1 1
|𝑑1 𝑐1 𝑐2 + 𝑑2 𝑐3 | = |𝑑1 𝑐1 × (c12 + 𝑥(4 − c12 )) + 𝑑2 × (c13 + 2𝑐1 (4 − c12 )𝑥 − 𝑐1 (4 −
2 4
23
2 1
= |𝑑1 𝑐1 × 4 (c12 + 𝑥(4 − c12 )) + 𝑑2 × 4 (c13 + 2𝑐1 (4 − c12 )𝑥 − 𝑐1 (4 − c12 )𝑥 2 + 2(4 −
≤ |(2𝑑1 + 𝑑2 )c13 + 2𝑑2 (4 − c12 ) + 2(𝑑1 + 𝑑2 )𝑐1 (4 − c12 )|𝑥| − 𝑑2 (𝑐1 + 2)(4 −
+ 3𝜋(c − 2)(4 − c 2 )𝜇 2 ]
𝑑𝐹
= 2(−2 + 3𝜋 − 2𝛽)c(4 − c 2 ) + 6𝜋(c − 2)(4 − c 2 )𝜇
𝑑𝜇
+ 3𝜋(c − 2)(4 − c 2 )
24
= 4𝑐 3 − 3𝜋𝑐 3 − 4𝛽𝑐 3 + 24𝜋 − 6𝜋𝑐 2 + (−4𝑐 + 6𝜋𝑐 + 4𝛽𝑐)(4 − c 2 ) + (3𝜋𝑐
− 6𝜋)(4 − c 2 )
4 − 9𝜋 + 4𝛽 (3.17)
c2 =
6 − 9𝜋
4 − 9𝜋 + 4𝛽)
𝐺 ′′ (𝑐) = 6(8 − 12𝜋)√( )
6 − 9𝜋
This shows that 𝐺(𝑐) has its maximum value of 𝑐 at (3.17), Therefore substituting the value
of 𝑐 2 into (3.14),
25
4 − 9𝜋 + 4𝛽) 4 − 9𝜋 + 4𝛽)
𝐺𝑚𝑎𝑥 = (8 − 12𝜋) ( ) √( ) − 4(9𝜋 − 4
6 − 9𝜋 6 − 9𝜋
4 − 9𝜋 + 4𝛽)
− 4𝛽) √( )
6 − 9𝜋
4 − 9𝜋 + 4𝛽) 4 − 9𝜋 + 4𝛽)
= √( ) ((8 − 12𝜋) ( ) − 4(9𝜋 − 4 − 4𝛽))
6 − 9𝜋 6 − 9𝜋
1
4 − 9𝜋 + 4𝛽) 2 4 − 9𝜋 + 4𝛽) 1
=( ) ( ) (8 − 12𝜋 + 24 − 36𝜋)
6 − 9𝜋 6 − 9𝜋
3
4 − 9𝜋 + 4𝛽) 2
=( ) (−16 + 24𝜋)
6 − 9𝜋
3
4 − 9𝜋 + 4𝛽) 2 (3.18)
𝐺𝑚𝑎𝑥 = (−16 + 24𝜋) ( )
6 − 9𝜋
3
4 − 9𝜋 + 4𝛽) 2
4|𝑑1 𝑐1 𝑐2 + 𝑑2 𝑐3 | ≤ (−16 + 24𝜋) ( )
6 − 9𝜋
3
4 − 9𝜋 + 4𝛽) 2 (3.19)
|𝑑1 𝑐1 𝑐2 + 𝑑2 𝑐3 | ≤ (−4 + 6𝜋) ( )
6 − 9𝜋
𝑛 (𝛼,𝜎,𝜏) 1
Corollary 3.1.1. If 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4)
3
(1 − 𝛽) 4 − 9 + 4𝛽) 2
|𝑎2 𝑎3 − 𝑎4 | = (−4 + 6) ( )
12 6−9
26
3
(1 − 𝛽) −5 + 4𝛽) 2
|𝑎2 𝑎3 − 𝑎4 | = (2) ( )
12 −3
3
(1 − 𝛽) 5 − 4𝛽) 2
|𝑎2 𝑎3 − 𝑎4 | = ( )
6 3
Remark 3.1.1. This result coincides with that of Vamshee et al. (2015).
𝑛 (𝛼,𝜎,𝜏) 1
Corollary 3.1.2. If 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4)
5 5
|𝑎2 𝑎3 − 𝑎4 | ≤ √
18 3
𝑛 (𝛼,𝜎,𝜏) 1
Theorem 3.2. If 𝑓(𝑧) ∈ 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4) then,
2
|𝑎3 − 𝑎22 | ≤ (1 − 𝛽)
3𝜋
(1 − 𝛽) (3.21)
|𝑎3 − 𝑎22 | = |(4𝜋𝑐2 − 3(1 − 𝛽)𝑐12 )|
12𝜋 2
Substituting the values of 𝑐2 from (3.1) , then the right-hand side of (3.21) will be,
1
|(4𝜋𝑐2 − 3(1 − 𝛽)𝑐12 )| = |(4𝜋 × (c12 + 𝑥(4 − c12 )) − 3(1 − 𝛽)𝑐12 )|
2
= |(2𝜋(c12 + 𝑥(4 − c12 )) − 3(1 − 𝛽)𝑐12 )| = |(2𝜋c12 + 2𝜋𝑥(4 − c12 ) − 3𝑐12 + 3𝛽𝑐12 )|
27
|(4𝜋𝑐2 − 3(1 − 𝛽)𝑐21 )| = |(2𝜋 − 2𝜋𝑥 − 3 + 3𝛽)c12 + 8𝜋𝑥| (3.22)
(1 − 𝛽)
|𝑎3 − 𝑎22 | ≤ × 8𝜋
12𝜋 2
2 (3.28)
|𝑎3 − 𝑎22 | ≤ (1 − 𝛽)
3𝜋
𝑛 (𝛼,𝜎,𝜏) 1
Corollary 3.2.1. If 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4)
2
|𝑎3 − 𝑎22 | ≤ (1 − 𝛽) (3.29)
3
Remark 3.2.1. This result coincides with that of Vamshee et al. (2015).
𝑛 (𝛼,𝜎,𝜏) 1
Corollary 3.2.2. If 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ )
4
2
|𝑎3 − 𝑎22 | ≤ (3.30)
3
𝑛 (𝛼,𝜎,𝜏) 1
Theorem 3.3. If 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4) and
1
|𝑎2 𝑎3 − 𝑎4 | ≤ (1 − 𝛽)
96𝜋
28
𝑛 (𝛼,𝜎,𝜏) 1
Proof: Assume 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4) then
𝑓 ′ (𝑧) − 𝛽
= 𝜙𝑛,𝑚 (𝑧)
1−𝛽
1 1 3 1 5
1 + 2𝑎2 𝜋𝑧 + 3𝑎3 𝜋𝑧 2 + 4𝑎4 𝜋𝑧 3 + ⋯ = 𝛽 + (1 − 𝛽) (1 + 𝑧 − 𝑧 + 𝑧 −⋯)
2 24 240
1 1 1 𝛽
2𝑎2 𝜋𝑧 + 3𝑎3 𝜋𝑧 2 + 4𝑎4 𝜋𝑧 3 + ⋯ = 𝛽 − 1 + 1 + 2 𝑧 − 24 𝑧 3 + 240 𝑧 5 − ⋯ − 𝛽 − 2 𝑧 +
𝛽 𝛽
𝑧 3 − 240 𝑧 5 − ⋯
24
1 1 1 5 𝛽 𝛽 𝛽 5
2𝑎2 𝜋𝑧 + 3𝑎3 𝜋𝑧 2 + 4𝑎4 𝜋𝑧 3 + ⋯ = 𝑧 − 𝑧3 + 𝑧 − ⋯ − 𝑧 + 𝑧3 − 𝑧 +⋯
2 24 240 2 24 240
1
2𝑎2 𝜋𝑧 + 3𝑎3 𝜋𝑧 2 + 4𝑎4 𝜋𝑧 3 + 5𝑎5 𝜋𝑧 4 + 6𝑎6 𝜋𝑧 5 … = 2 (1 − 𝛽)𝑧 −
1 1 (3.32)
(1 − 𝛽)𝑧 3 + (1 − 𝛽)𝑧 5 + ⋯
24 240
(1 − 𝛽)𝑧 5
5𝑎5 𝜋𝑧 4 = 0; 6𝑎6 𝜋𝑧 5 = ;
240
Then,
(1 − 𝛽) −(1 − 𝛽) (1 − 𝛽)
𝑎2 = ; 𝑎3 = 0; 𝑎4 = ; 𝑎5 = 0; 𝑎6 = ; (3.33)
4𝜋 96𝜋 1440𝜋
Substituting the values of 𝑎2 , 𝑎3 and 𝑎4 from (3.33) into the functional |𝑎2 𝑎3 − 𝑎4 | for the
function
(1 − 𝛽) −(1 − 𝛽)
|𝑎2 𝑎3 − 𝑎4 | = |(( ) × 0) − ( )|
4𝜋 96𝜋
(1 − 𝛽)
=| |
96𝜋
29
1
|𝑎2 𝑎3 − 𝑎4 | ≤ (1 − 𝛽) (3.34)
96𝜋
𝑛 (𝛼,𝜎,𝜏) 1
Corollary 3.3.1. If 𝑓(𝑧) from (1.12) be in the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4)
1
|𝑎2 𝑎3 − 𝑎4 | ≤ (1 − 𝛽) (3.35)
96
𝑛 (𝛼,𝜎,𝜏) 1
Corollary 3.3.1. If 𝑓(𝑧) from (1.12) be in the class 𝑅𝑇(𝛱𝜇,𝜔 ) (0 ≤ 𝛽 ≤ 4)
1
|𝑎2 𝑎3 − 𝑎4 | ≤ (3.36)
96
30
CHAPTER 4 - DISCUSSION OF RESULTS
𝑛 𝑛 (𝛼,𝜎,𝜏)
Using a differential operator 𝐷𝜇,𝜔 (𝛼, 𝜎, 𝜏), a class 𝑅𝑇(𝛱𝜇,𝜔 ) was defined. The
upper bound to the Third Hankel determinant for the class was obtained with the use of the
Toeplitz determinants.
𝑛 (𝛼,𝜎,𝜏)
Recall from theorem 3.1. that if 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 )
3
1 (1−𝛽) 4−9𝜋+4𝛽) 2
(0 ≤ 𝛽 ≤ 4) then, |𝑎2 𝑎3 − 𝑎4 | = (−4 + 6𝜋) 2
( ). When the value of 𝜋 = 1,
12𝜋 6−9𝜋
3
(1−𝛽) 5−4𝛽) 2
the corollary 3.1.1. where |𝑎2 𝑎3 − 𝑎4 | = ( 3 ) was obtained and the result coincides
6
with that of Vamshee et al. (2015). Also, when the value of 𝛽 = 0, the corollary 3.1.2. where
5 5
|𝑎2 𝑎3 − 𝑎4 | ≤ √ was obtained and the result coincides with that of Babalola (2010).
18 3
𝑛 (𝛼,𝜎,𝜏)
Recall from theorem 3.2. that if 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 )
1 2
(0 ≤ 𝛽 ≤ 4) then, |𝑎3 − 𝑎22 | ≤ 3𝜋 (1 − 𝛽). When the value of 𝜋 = 1, the corollary 3.2.1.
2
where |𝑎3 − 𝑎22 | ≤ 3 (1 − 𝛽) was obtained and the result coincides with that of Vamshee et
2
al. (2015). Also, when the value of 𝛽 = 0, the corollary 3.2.2. where |𝑎3 − 𝑎22 | ≤ 3 was
𝑛 (𝛼,𝜎,𝜏)
Recall from theorem 3.3. If 𝑓(𝑧) from (1.12) belongs to the class 𝑅𝑇(𝛱𝜇,𝜔 )
1 1
(0 ≤ 𝛽 ≤ 4) and 𝜙𝑛,𝑚 (𝑧) from (1.15) then, |𝑎2 𝑎3 − 𝑎4 | ≤ 96𝜋 (1 − 𝛽). When the value of
1
𝜋 = 1, the corollary 3.3.1. where |𝑎2 𝑎3 − 𝑎4 | ≤ 96 (1 − 𝛽) was obtained. Also, when the
1
value of 𝛽 = 0, the corollary 3.3.1. where |𝑎2 𝑎3 − 𝑎4 | ≤ 96 was obtained.
31
CHAPTER 5 - CONCLUSION AND RECOMMENDATION
5.1. Conclusion
In this study,
𝑛 (𝛼,𝜎,𝜏)
3. the initial coefficients for functions in the class 𝑅𝑇(𝛱𝜇,𝜔 ) were obtained; and
𝑛 (𝛼,𝜎,𝜏)
4. the Fekete-Szegö functional and the Hankel determinant for the class 𝑅𝑇(𝛱𝜇,𝜔 )
were determined.
associated with sigmoid function was defined. Furthermore, coefficient problems for the class
5.3. Recommendation
Further research can be done with the class developed. Also, more geometric properties such
32
REFERENCE
Amourah, A. A., & Yousef, F. (2020). Some Properties of a Class of Analytic Functions
Involving a New Generalized Differential Operator. 33-42.
Babalola, K. O. (2010). Third Hankel Determinant for some classes of univalent functions in:
Inequality Theory and application. 6, 1-7.
Fadipe-Joseph, O. A., Oladipo, A., & Uzoamaka Ezeafulukwe, A. (2013). Modified Sigmoid
Function in Univalent Function Theory. International Journal of Mathematical
Sciences and Engineering Applications (IJMSEA), 7, 313-317.
Helm. (2008). Functions of Complex Variables - Learn. Retrieved from loborough university:
https://learn.lboro.ac.uk/archive/olmp/olmp_resources/pages/workbooks_1_50_jan20
08/Workbook26/26_1_cmplx_fns.pdf
Murray, R. S., Seymour, L., John, J. S., & Dennis, S. (2009). Schaum’s Outlines Complex
Variables Second Edition (Vol. 2). The McGraw-Hill companies.
Olatunji, S. O., & Dansu, E. J. (2016). Coefficient Estimates for Bazilevic Ma-Minda
Functions in the Space of Sigmoid Function. Malaya Journal of Matematik, 4(2), 502-
512.
Oluwayemi, M. O., & Fadipe-Joseph, O. A. (2022). A New Class of Functions with Finitely
Many Fixed Points. Hindawi, 7.
Ponnusamy, S., & Silverman, H. (2006). Complex Variables with Applications. Birkhauser.
Ramachandran, C., & Dhanalakshmi, K. (2017). The Fekete-Szego Problem For a Subclass
of Analytic Functions Related to Sigmoid Function. International Journal of Pure
and Applied Mathematics, 113(3), 389-398.
Vamshee, K. D., Venkateswarlu, B., & RamReddy, T. (2015). Third Hankel Determinant for
bounded turning functions of order alpha. Journal of Nigerian Mathematical Society,
121-127.