Next Article in Journal
Door State Recognition Method for Wall Reconstruction from Scanned Scene in Point Clouds
Next Article in Special Issue
New Applications of Faber Polynomial Expansion for Analytical Bi-Close-to-Convex Functions Defined by Using q-Calculus
Previous Article in Journal
A State-of-the-Art Review of Probabilistic Portfolio Management for Future Stock Markets
Previous Article in Special Issue
Some Applications of Analytic Functions Associated with q-Fractional Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Third Hankel Determinant for a Subfamily of Holomorphic Functions Related with Lemniscate of Bernoulli

by
Halit Orhan
1,
Murat Çağlar
2 and
Luminiţa-Ioana Cotîrlă
3,*
1
Department of Mathematics, Faculty of Science, Atatürk University, 25240 Erzurum, Türkiye
2
Department of Mathematics, Faculty of Science, Erzurum Technical University, 25100 Erzurum, Türkiye
3
Department of Mathematics, Technical University of Cluj-Napoca, 400114 Cluj-Napoca, Romania
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(5), 1147; https://doi.org/10.3390/math11051147
Submission received: 25 January 2023 / Revised: 22 February 2023 / Accepted: 23 February 2023 / Published: 25 February 2023
(This article belongs to the Special Issue Complex Analysis and Geometric Function Theory)

Abstract

:
The main goal of this investigation is to obtain sharp upper bounds for Fekete-Szegö functional and the third Hankel determinant for a certain subclass SL u , v , α of holomorphic functions defined by the Carlson-Shaffer operator in the unit disk. Finally, for some special values of parameters, several corollaries were presented.

1. Introduction and Definitions

Denote by A the family of holomorphic functions defined in the unit disk Ω = ς C : ς < 1 , with expansion
l ( ς ) = ς + k = 2 m k ς k
and let S be the subset of A , consisting of functions which are univalent in Ω .
Let P be a family of the holomorphic functions t of the form
t ( ς ) = 1 + k = 1 t k ς k , ς Ω
satisfying Re ( t ( ς ) ) > 0 in Ω . The family of starlike functions in Ω are represented by the symbol S , which satisfies
ς l ( ς ) l ( ς ) P , for all ς Ω .
In addition, the symbol SL represents the family of functions that satisfy
ς l ( ς ) l ( ς ) 2 1 < 1 , ς Ω .
As a result, l SL can be expressed by
w 2 1 < 1 .
if and only if ς l ( ς ) l ( ς ) is the inside region bounded by the right half of the Bernoulli lemniscate.
This class was introduced by Sokól [1] and Sokól et al. [2]. If there is a Schwarz function w that is holomorphic in Ω , with w ( 0 ) = 0 , w ( ς ) < 1 , such that l ( ς ) = h ( w ( ς ) ) , ς Ω , then the function l is subordinate to h , denoted by the notation l h . If the function h is univalent in Ω , then l h if
l ( 0 ) = h ( 0 ) and l ( Ω ) h ( Ω ) .
A function l A is said to be starlike of order α if and only if
Re ς l ( ς ) l ( ς ) > α , ς Ω
for some α 0 α < 1 . We denote the class of all starlike functions of order α by S ( α ) . We also note that S ( 0 ) = S is the well-known class of all normalized starlike functions in Ω .
Now, the function
K α ς = ς 1 ς 2 1 α
is a well known extremal function for the class S ( α ) , (see [3,4,5]).
Setting
ψ ( α , k ) = Π k = 2 k k 2 α k 1 ! , ( k 2 ) ,
the function K α can be written in the form as follows:
K α ς = ς + k = 2 ψ ( α , k ) ς k .
We denote by F ( α , k , ψ ) the class of functions K α . Then, we note that ψ ( α , k ) is a decreasing function in α and satisfies
lim k ψ ( α , k ) = α < 1 2 1 α = 1 2 0 α > 1 2 .
Let ( l h ) ( ς ) be the Hadamard product (or convolution) of two functions l and h, that is, if l given by (1) and h is given by
h ( ς ) = ς + k = 2 n k ς k .
Then,
( l h ) ( ς ) = ς + k = 2 m k n k ς k = ( h l ) ( ς ) , ς Ω .
Let Θ ( u , v , ς ) be defined by
Θ u , v , ς = ς + k = 2 u k 1 v k 1 ς k , ( u C , v C Z 0 , Z 0 = { 2 , 1 , 0 } ; ς Ω ) .
The function, Θ u , v , ς is known as the incomplete beta function. The term ( ϰ ) k is the Pochhammer symbol that can be expanded in Gamma functions as
( ϰ ) k = Γ ( ϰ + k ) Γ ( ϰ ) = 1 , k = 0 ϰ ϰ + 1 ϰ + 2 ϰ + k 1 , k N = { 1 , 2 , 3 , } .
Corresponding to the Θ u , v , ς Carlson-Shaffer function [6], an operator L u , v is introduced for l A using the Hadamard product as follows:
L u , v l ( ς ) = Θ u , v , ς l ( ς ) = ς + k = 2 u k 1 v k 1 m k ς k ( ς Ω ) .
Further, for the function L u , v l ( ς )
τ ( ς ) = L u , v l ( ς ) K α ς = ς + k = 2 u k 1 v k 1 ψ α , k m k ς k
where L u , v is called the Carlson-Shaffer operator [6], and the operator ∗ stands for the Hadamard product (or convolution product) of two power series as given by (6). We will show by F ˜ ( α , k , ψ ) the family of functions τ ( ς ) .
Definition 1.
We consider that SL u , v , α is the family of holomorphic functions given by
SL u , v , α = τ ( ς ) F ˜ ( α , k , ψ ) : ς τ ( ς ) τ ( ς ) 2 1 < 1 ,
ς τ ( ς ) τ ( ς ) 1 + ς , ς Ω ,
where
τ ( ς ) = ς + k = 2 u k 1 v k 1 ψ α , k m k ς k .
Hankel matrices arise naturally in a wide range of applications in science, engineering, and other related areas, such as signal processing and control theory. For a survey of Hankel matrices and polynomials, the reader is referred to [7,8] and the references therein.
The Hankel determinant H q , k ( l ) ( q , k N ) for a function l S of the form (1) was defined by Pommerenke (see [9,10]) as
H q , k ( l ) = m k m k + 1 m k + q 1 m k + 1 m k + 2 m k + q m k + q 1 m k + q m k + 2 q 2 ( m 1 = 1 ) .
For fixed integer q and k, the growth of H q , k ( l ) has been studied for different subfamilies of univalent functions. These studies focus on the main subclasses of certain holomorphic functions. In fact, the majority of papers discuss the determinants H 2 , 2 ( l ) and H 3 , 1 ( l ) . Case H 2 , 1 ( l ) = m 3 m 2 2 is also very well known. In the year 1933, Fekete and Szegö (see [11]) obtained a sharp bound of the function m 3 μ m 2 2 with real μ R for a univalent function l . For μ C this functional was generalized as m 3 μ m 2 2 . Estimating for the upper bound of m 3 μ m 2 2 is known as the Fekete-Szegö problem, (see [12,13,14]). The second Hankel determinant H 2 , 2 ( l ) is given by H 2 , 2 ( l ) = m 2 m 4 m 3 2 . In recent years, the research on Hankel determinants has focused on the estimation of H 2 , 2 ( l ) . Several authors obtained results for different classes of univalent functions. For example, the sharp bounds for the second Hankel determinant H 2 , 2 ( l ) were obtained for the classes of starlike and convex functions in [15,16,17,18]. Lee et al. [19] established the sharp bound for H 2 , 2 ( l ) by generalizing their classes by means of the principle of subordination between holomorphic functions. Our main focus in this investigation is for the class SL u , v , α on the Hankel determinant H 3 , 1 ( l ) . The calculation of H 3 , 1 ( l ) is far more challenging compared to finding the bound of H 2 , 2 ( l ) . Further, in this work, we find the sharp bounds for H 2 , 2 ( l ) , when l SL u , v , α , α 0 , 1 , together with the sharp bound of the functional
Z = m 2 m 3 m 4 ,
when l SL u , v , α and α 0 , 1 .

2. Preliminary Lemmas

Some preliminary results required in the following section are now listed.
Lemma 1
([20]). Suppose that P denotes the family of holomorphic functions t normalized by
t ( ς ) = 1 + t 1 ς + t 2 ς 2 +
and satisfying the condition R e t ( ς ) > 0 , ς Ω . Then, for any η R ,
t 2 η t 1 2 4 η + 2 , η < 0 2 , 0 η 1 4 η 2 , η 1
The equality holds true in (12) if and only if
t ( ς ) = 1 + ς 1 ς
or one of its rotations, when η < 0 or η > 1 . If 0 < η < 1 , then the equality holds true in (12) if and only if
t ( ς ) = 1 + ς 2 1 ς 2
or one of its rotations. If η = 0 , the equality holds true in (12) if and only if
t ( ς ) = 1 + δ 2 1 + ς 1 ς + 1 δ 2 1 ς 1 + ς , 0 δ 1
or one of its rotations. If η = 1 , then the equality in (12) holds true if t ( ς ) is a reciprocal of one of the functions, such that the equality holds true in the case when η = 0 .
Lemma 2
([21]). Assume that t P is the form Equation (2), and η C , we have
t 2 η t 1 2 2 max 1 , 1 2 η .
Lemma 3
([22,23]). If t P and has the form (11) then
2 t 2 = t 1 2 + x ( 4 t 1 2 )
for some x , x 1 and
4 t 3 = t 1 3 + 2 ( 4 t 1 2 ) t 1 x ( 4 t 1 2 ) t 1 x 2 + 2 ( 4 t 1 2 ) ( 1 x 2 ) ς
for some ς , ς 1 .
Lemma 4
([24]). If t P and has the form (11), then
t k 2 k N
and the inequality is sharp.

3. Main Results

In the remainder of this work, we will assume that u v > 0 until explicitly stated otherwise.
We now prove our first result asserted by Theorem 1 below.
Theorem 1.
If the function l , given by (1) belongs to the class S u , v , α , then μ R , we have
m 3 μ m 2 2 1 16 v v + 1 u u + 1 1 α 3 2 α μ v 2 u 2 1 α 2 μ 3 u v + 1 1 α v u + 1 3 2 α 1 4 v v + 1 u u + 1 1 α 3 2 α , 3 u v + 1 1 α v u + 1 3 2 α μ 5 u v + 1 1 α v u + 1 3 2 α 1 16 v v + 1 u u + 1 1 α 3 2 α + μ v 2 u 2 1 α 2 , μ 5 u v + 1 1 α v u + 1 3 2 α .
Proof. 
From Equation (9), it follows that
ς τ ( ς ) τ ( ς ) Φ ( ς ) .
Define the function first,
t ( ς ) = 1 + k = 1 t k ς k = 1 + w ( ς ) 1 w ( ς ) .
Since t P ,
w ( ς ) = t ( ς ) 1 t ( ς ) + 1 .
Using Equation (9), we have
ς τ ( ς ) τ ( ς ) = Φ w ( ς ) .
Now as
2 t ( ς ) 1 + t ( ς ) 1 2 = 2 2 1 + t ( ς ) 1 2 ,
so, we have
2 t ( ς ) 1 + t ( ς ) 1 2 = 1 + 1 4 t 1 ς + 1 4 t 2 5 32 t 1 2 ς 2 + 1 4 t 3 5 16 t 1 t 2 + 13 128 t 1 3 ς 3 + 19 8 t 1 t 3 3 2 t 4 + 361 512 t 1 4 + 9 8 t 2 2 34 16 t 1 2 t 2 ς 4 +
Similarly,
ς τ ( ς ) τ ( ς ) = 1 + Q 2 m 2 ς + 2 Q 3 m 3 Q 2 2 m 2 2 ς 2 + 3 Q 4 m 4 + Q 2 3 m 2 3 3 Q 2 Q 3 m 2 m 3 ς 3 + 4 Q 5 m 5 4 Q 2 Q 4 m 2 m 4 2 Q 3 2 m 3 2 Q 2 4 m 2 4 + 4 Q 2 2 Q 3 m 2 2 m 3 ς 4 +
where
Q 2 = u v 2 2 α , Q 3 = u u + 1 2 v v + 1 2 2 α 3 2 α , Q 4 = u u + 1 u + 2 6 v v + 1 v + 2 2 2 α 3 2 α 4 2 α , Q 5 = u u + 1 u + 2 u + 2 24 v v + 1 v + 2 v + 2 2 2 α 3 2 α 4 2 α 5 2 α .
Thus,
m 2 = v 4 u 2 2 α t 1 ,
m 3 = v v + 1 u u + 1 2 2 α 3 2 α 1 4 t 2 3 32 t 1 2 ,
m 4 = v v + 1 v + 2 u u + 1 u + 2 2 2 α 3 2 α 4 2 α 1 2 t 3 7 16 t 1 t 2 + 13 128 t 1 3
and
m 5 = v v + 1 v + 2 v + 3 u u + 1 u + 2 u + 3 2 2 α 3 2 α 4 2 α 5 2 α 19 8 t 1 t 3 3 2 t 4 + 361 512 t 1 4 + 9 8 t 2 2 34 16 t 1 2 t 2 .
We now have the following using the Equations (13) and (14):
m 3 μ m 2 2 = v v + 1 u u + 1 2 2 α 3 2 α 1 4 t 2 3 32 t 1 2 μ v 2 16 u 2 2 2 α 2 t 1 2 ,
m 3 μ m 2 2 v v + 1 8 u u + 1 1 α 3 2 α t 2 1 8 μ v u + 1 3 2 α u 1 α v + 1 + 3 t 1 2 .
We obtained the required result by applying Lemma 1 to Equation (17). This completes the proof of Theorem 1.  □
Theorem 2.
If the function l , given by (1), belongs to the class SL u , v , α , then μ C , we have
m 3 μ m 2 2 v v + 1 4 u u + 1 1 α 3 2 α max 1 , 1 4 μ v u + 1 3 2 α u v + 1 1 α 1 4 .
Proof. 
By making use of Equations (13) and (14), we have
m 3 μ m 2 2 = v v + 1 u u + 1 2 2 α 3 2 α 1 4 t 2 3 32 t 1 2 μ v 2 16 u 2 2 2 α 2 t 1 2 ,
m 3 μ m 2 2 v v + 1 8 u u + 1 1 α 3 2 α t 2 1 8 μ v u + 1 3 2 α u v + 1 1 α + 3 t 1 2
therefore, using Lemma 2, we obtain the result,
m 3 μ m 2 2 v v + 1 4 u u + 1 2 2 α 3 2 α max 1 , 1 4 μ v u + 1 3 2 α u v + 1 1 α 1 4 .
Thus, the proof of Theorem 2 is completed.  □
For the case μ C and u = v in Theorem 2, this reduces to the following result.
Corollary 1.
Let α [ 0 , 1 ) and μ C . If the function l, given by (1), belongs to the class SL u , u , α = SL u , α , then
m 3 μ m 2 2 1 4 1 α 3 2 α max 1 , 1 4 μ 3 2 α 1 α 1 4
and the inequality is sharp.

4. The Hankel Determinant H 2 , 2 ( l )

In this section, we find the sharp bound for the modulus of the second Hankel determinant H 2 , 2 ( l ) = m 2 m 4 m 3 2 , when l SL u , v , α .
Theorem 3.
If the function l , given by (1), belongs to the class SL u , v , α , then
m 2 m 4 m 3 2 v 2 v + 1 2 16 u 2 u + 1 2 1 α 2 3 2 α 2 .
Proof. 
Using the Equations (13)–(15), we obtain the following
m 2 m 4 m 3 2 = v 4 u 2 2 α t 1 v v + 1 v + 2 u u + 1 u + 2 2 2 α 3 2 α 4 2 α 1 2 t 3 7 16 t 1 t 2 + 13 128 t 1 3 v v + 1 u u + 1 2 2 α 3 2 α 1 4 t 2 3 32 t 1 2 2 .
After simplification, we have
m 2 m 4 m 3 2 = v 2 v + 1 12 , 288 u 2 u + 1 2 2 α 2 3 2 α 1536 v + 2 u + 2 4 2 α t 1 t 3 768 v + 1 u + 1 3 2 α t 2 2 + 576 v + 1 u + 1 3 2 α 1344 v + 2 u + 2 4 2 α t 1 2 t 2 + 312 v + 2 u + 2 4 2 α 108 v + 1 u + 1 3 2 α t 1 4 .
By substituting values of t 2 and t 3 from Lemma 3, after some simplification, we arrive at
m 2 m 4 m 3 2 = v 2 v + 1 12 , 288 u 2 u + 1 2 2 α 2 3 2 α 312 v + 2 u + 2 4 2 α 108 v + 1 u + 1 3 2 α t 1 4 + 384 v + 2 u + 2 4 2 α t 1 t 1 3 + 2 t 1 4 t 1 2 x t 1 4 t 1 2 x 2 + 2 4 t 1 2 1 x 2 ς + 288 v + 1 u + 1 3 2 α 672 v + 2 u + 2 4 2 α t 1 2 t 1 2 + 4 t 1 2 x 192 v + 1 u + 1 3 2 α t 1 2 + 4 t 1 2 x 2 .
Now, taking the module and replacing x by ρ and t 1 by t, we have
m 2 m 4 m 3 2 v 2 v + 1 12 , 288 u 2 u + 1 2 2 α 2 3 2 α 12 v + 2 u + 2 2 α 12 v + 1 u + 1 3 2 α t 4 + 96 v + 1 u + 1 3 2 α 48 v + 2 u + 2 2 α t 2 4 t 2 ρ + 384 v + 2 u + 2 2 α t 4 t 2 + 192 v + 2 u + 2 2 α t 2 + 384 v + 2 u + 2 2 α t + 192 v + 1 u + 1 3 2 α 4 t 2 ρ 2 4 t 2 = F t , ρ .
Upon differentiating both sides (18) with respect to ρ , we obtain
F t , ρ ρ = v 2 v + 1 12 , 288 u 2 u + 1 2 2 α 2 3 2 α 96 v + 1 u + 1 3 2 α 48 v + 2 u + 2 2 α t 2 4 t 2 + 192 v + 2 u + 2 2 α t 2 + 384 v + 2 u + 2 2 α t + 192 v + 1 u + 1 3 2 α 4 t 2 2 ρ 4 t 2 .
It is clear that
F t , ρ ρ > 0 ,
which show that F t , ρ is an increasing function of ρ on the closed interval 0 , 1 . This implies that the maximum value occurs at ρ = 1 . This implies that
max F t , ρ = F t , 1 = G ( t ) .
We now observe that
G ( t ) = v 2 v + 1 12 , 288 u 2 u + 1 2 2 α 2 3 2 α 12 v + 2 u + 2 2 α 12 v + 1 u + 1 3 2 α t 4 + 96 v + 1 u + 1 3 2 α 48 v + 2 u + 2 2 α t 2 4 t 2 + 384 v + 2 u + 2 2 α t 4 t 2 + 192 v + 2 u + 2 2 α t 2 + 384 v + 2 u + 2 2 α t + 192 v + 1 u + 1 3 2 α 4 t 2 4 t 2 .
Differentiating (19) with respect to t, we obtain
G ( t ) = v 2 v + 1 12 , 288 u 2 u + 1 2 2 α 2 3 2 α 4 84 v + 1 u + 1 3 2 α 132 v + 2 u + 2 2 α t 3 96 v + 2 u + 2 2 α t 2 + 16 72 v + 2 u + 2 2 α 144 v + 1 u + 1 3 2 α t + 3072 v + 2 u + 2 2 α .
Differentiating again above equation with respect to t, we have
G ( t ) = v 2 v + 1 12 , 288 u 2 u + 1 2 2 α 2 3 2 α 12 84 v + 1 u + 1 3 2 α 132 v + 2 u + 2 2 α t 2 192 v + 2 u + 2 2 α t + 16 72 v + 2 u + 2 2 α 144 v + 1 u + 1 3 2 α .
For t = 0 , t 0 , 2 shows that the maximum value of G ( t ) occurs at t = 0 . Hence, we obtain,
m 2 m 4 m 3 2 v 2 v + 1 2 16 u 2 u + 1 2 1 α 2 3 2 α 2 .
Thus, the proof of Theorem 3 is completed.  □
Upon setting u = v in Theorem 3, we are led to the following results, respectively:
Corollary 2.
Let α [ 0 , 1 ) . If the function l, given by (1), belongs to the class SL u , u , α = SL u , α , then
m 2 m 4 m 3 2 1 16 1 α 2 3 2 α 2
and the inequality is sharp.
If we choose α = 0 in Corollary 2, we obtain the following corollary.
Corollary 3.
Let α [ 0 , 1 ) . If the function l, given by (1), belongs to the class SL u , u , 0 = SL u , then
m 2 m 4 m 3 2 1 144
and the inequality is sharp.

5. The Zalcman Functional

In this section, we prove the following theorem on the upper bound estimate of the Zalcman functional m 2 m 3 m 4 , noting that a non-sharp inequality was found in [25,26,27,28,29].
Theorem 4.
If the function l , given by (1), belongs to the class SL u , v , α , then
m 2 m 3 m 4 v v + 1 v + 2 4 u u + 1 u + 2 1 α 2 α 3 2 α .
Proof. 
Using the values given in (13)–(15) we have
m 2 m 3 m 4 = v 4 u 2 2 α t 1 v v + 1 u u + 1 2 2 α 3 2 α 1 4 t 2 3 32 t 1 2 v v + 1 v + 2 u u + 1 u + 2 2 2 α 3 2 α 4 2 α 1 2 t 3 7 16 t 1 t 2 + 13 128 t 1 3 .
By substituting values of t 2 and t 3 from Lemma 3, after some simplification, we have
m 2 m 3 m 4 = v v + 1 u u + 1 2 2 α 3 2 α v 4 u 2 2 α 1 4 t 1 t 2 3 32 t 1 3 v + 2 u + 2 4 2 α 1 2 t 3 7 16 t 1 t 2 + 13 128 t 1 3 = v v + 1 u u + 1 2 2 α 3 2 α 1 32 v u 2 2 α t 1 t 1 2 + 4 t 1 2 x 3 v 128 u 2 2 α t 1 3 1 8 v + 2 u + 2 4 2 α t 1 3 + 2 t 1 4 t 1 2 x t 1 4 t 1 2 x 2 + 2 4 t 1 2 1 x 2 ς + 7 v + 2 32 u + 2 4 2 α t 1 t 1 2 + 4 t 1 2 x 13 v + 2 128 u + 2 4 2 α t 1 3 .
Using Lemma 3, and since t 1 2 by Lemma 4, let t 1 = t and assume, without restriction, that t 0 , 2 . By using the triangle inequality with ρ = x , we arrive at
m 2 m 3 m 4 v v + 1 768 u u + 1 2 2 α 3 2 α 3 v u 1 α 3 v u + 2 2 α t 3 + 12 v u 1 α 12 v + 2 u + 2 2 α t 4 t 2 ρ + 96 v + 2 u + 2 2 α + 96 v + 2 u + 2 2 α ρ 2 + 48 v + 2 u + 2 2 α t ρ 2 4 t 2 = F 1 ( t , ρ ) .
Differentiating F 1 ( t , ρ ) with respect to ρ , we have
F 1 ( ρ ) = v v + 1 768 u u + 1 2 2 α 3 2 α 12 v u 1 α 12 v + 2 u + 2 2 α t 4 t 2 + 192 v + 2 u + 2 2 α ρ 4 t 2 + 96 v + 2 u + 2 2 α t ρ 4 t 2 > 0 .
This implies that F 1 ( t , ρ ) is an increasing function of ρ on the closed interval 0 , 1 .
Hence, F 1 ρ F 1 0 for all ρ 0 , 1 , that is
F 1 ρ = v v + 1 768 u u + 1 2 2 α 3 2 α 3 v u 1 α 3 v u + 2 2 α t 3 + 96 v + 2 u + 2 2 α 4 t 2 = G 1 t .
Differentiating G 1 t with respect to t, we have
G 1 t = v v + 1 768 u u + 1 2 2 α 3 2 α 9 v u 1 α 9 v u + 2 2 α t 2 192 v + 2 u + 2 2 α t .
Again, differentiating the above equation with respect to t, we have
G 1 t = v v + 1 768 u u + 1 2 2 α 3 2 α 18 v u 1 α 18 v u + 2 2 α t 192 v + 2 u + 2 2 α < 0 .
Since t 0 , 2 , by the assumption, it follows that G 1 t attains maximum at t = 0 , which corresponds to ρ = 0 , and it is the desired upper bound. Hence, we obtain
m 2 m 3 m 4 v v + 1 v + 2 4 u u + 1 u + 2 1 α 2 α 3 2 α .
The proof of Theorem 4 is thus completed.  □
If we put u = v in Theorem 4, we have the following results, respectively:
Corollary 4.
Let α [ 0 , 1 ) . If the function l, given by (1), belongs to the class SL u , u , α = SL u , α , then
m 2 m 3 m 4 1 4 1 α 2 α 3 2 α
and the inequality is sharp.
If we choose α = 0 in Corollary 4, we arrive at the following result.
Corollary 5.
Let α [ 0 , 1 ) . If the function l, given by (1), belongs to the class SL u , u , 0 = SL u , then
m 2 m 3 m 4 1 24
and the inequality is sharp.
Theorem 5.
If the function l , given by (1), belongs to the class SL u , v , α , then
H 3 ( 1 ) v 2 v + 1 2 512 u 2 u + 1 2 1 α 2 3 2 α 2 × 2 v v + 1 u u + 1 1 α 3 2 α + 50 v + 2 2 u + 2 2 2 α 2 + 169 v + 2 v + 3 u + 2 u + 3 2 α 5 2 α .
Proof. 
Since
H 3 ( 1 ) m 3 m 2 m 4 m 3 2 + m 4 m 2 m 3 m 4 + m 5 m 3 m 2 2
using the fact that m 1 = 1 , with Theorems 1, 3 and 4 and Lemma 4, we have the required result
H 3 ( 1 ) m 3 m 2 m 4 m 3 2 + m 4 m 2 m 3 m 4 + m 5 m 1 m 3 m 2 2 = v v + 1 16 u u + 1 1 α 3 2 α 1 16 v v + 1 u u + 1 1 α 3 2 α 2 + 25 v v + 1 v + 2 64 u u + 1 u + 2 1 α 3 2 α 2 α 1 4 v v + 1 v + 2 u u + 1 u + 2 1 α 2 α 3 2 α + 169 v v + 1 v + 2 v + 3 128 u u + 1 u + 2 u + 3 1 α 3 2 α 2 α 5 2 α 1 4 v v + 1 u u + 1 1 α 3 2 α = v 2 v + 1 2 512 u 2 u + 1 2 1 α 2 3 2 α 2 × 2 v v + 1 u u + 1 1 α 3 2 α + 50 v + 2 2 u + 2 2 2 α 2 + 169 v + 2 v + 3 u + 2 u + 3 2 α 5 2 α .
The proof of Theorem 5 is thus completed.  □
If we set u = v in Theorem 5, we establish the below inequality.
Corollary 6.
Let α [ 0 , 1 ) . If the function l, given by (1), belongs to the class SL u , u , α = SL u , α , then
H 3 ( 1 ) 1 512 1 α 2 3 2 α 2 2 1 α 3 2 α + 50 2 α 2 + 169 2 α 5 2 α
and the inequality is sharp.

6. Conclusions

In the present investigation, we have estimated smaller upper bounds and more accurate estimations for the functionals m 3 μ m 2 2 and m 2 m 4 m 3 2 for the class SL u , v , α of holomorphic functions associated with the Carlson-Shaffer operator in the unit disk.

Author Contributions

Conceptualization, H.O., M.Ç. and L.-I.C.; Methodology, H.O., M.Ç. and L.-I.C.; Software, L.-I.C.; Investigation, M.Ç. and L.-I.C.; Resources, H.O. and L.-I.C.; Writing—review & editing, M.Ç.; Supervision, H.O. and M.Ç.; Project administration, H.O. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Not applicale.

Acknowledgments

The authors thank the referees for useful suggestions that essentially improved the manuscript.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Sokół, J. Coefficient estimates in a class of strongly starlike functions. Kyungpook Math. J. 2009, 49, 349–353. [Google Scholar] [CrossRef] [Green Version]
  2. Sokół, J.; Stankiewicz, J. Radius of convexity of some subclasses of strongly starlike functions. Zesz. Nauk. Politech. Rzesz. Mat 1996, 19, 101–105. [Google Scholar]
  3. Ahuja, O.P.; Silverman, H. Convolutions of prestarlike functions. Int. J. Math. Math. Sci. 1983, 6, 59–68. [Google Scholar] [CrossRef] [Green Version]
  4. Robertson, M.I. On the theory of univalent functions. Ann. Math. 1936, 374–408. [Google Scholar] [CrossRef]
  5. Ruscheweyh, S. Convolutions in Geometric Function Theory; Gaetan Morin Editeur Ltee.St.: Boucherville, QC, Canada, 1982; p. 48. [Google Scholar]
  6. Carlson, B.C.; Shaffer, S.B. Starlike and prestarlike hypergrometric functions. SIAM J. Math. Anal. 2002, 15, 737–745. [Google Scholar] [CrossRef]
  7. Henrici, P. Applied and Computational Complex Analysis; Wiley: New York, NY, USA, 1974; Volume 1. [Google Scholar]
  8. Householder, A.S. The Numerical Treatment of a Single Nonlinear Equation; McGraw Hill: New York, NY, USA, 1970. [Google Scholar]
  9. Pommerenke, C. On the Hankel determinants of univalent functions. Mathematika 1967, 14, 108–112. [Google Scholar] [CrossRef]
  10. Pommerenke, C. On the coefficients and Hankel determinants of univalent functions. J. Lond. Math. Soc. 1966, 41, 111–122. [Google Scholar] [CrossRef]
  11. Fekete, M.; Szegö, G. Eine Bemerkung uber ungerade schlichte Funktionen. J. Lond. Math. Soc. 1933, 8, 85–89. (In German) [Google Scholar] [CrossRef]
  12. Choi, J.H.; Kim, Y.C.; Sugawa, T.A. General approach to the Fekete-Szegö problem. J. Math. Soc. Jpn. 2007, 59, 707–727. [Google Scholar] [CrossRef]
  13. Soh, S.C.; Mohamad, D. Second Hankel determinant for a class of close-to-convex functions with Fekete-Szego parameter. Int. J. Math. Anal. 2014, 12, 561–570. [Google Scholar] [CrossRef]
  14. Zaprawa, P. On the Fekete–Szegö type functionals for starlike and convex functions. Turk. J. Math. 2018, 42, 537–547. [Google Scholar] [CrossRef]
  15. Janteng, A.; Halim, S.A.; Darus, M. Hankel determinant for starlike and convex functions. Int. J. Math. Anal. 2007, 1, 619–625. [Google Scholar]
  16. Mohapatra, R.; Panigrahi, T. Second Hankel determinant for a class of analytic functions defined by Komatu integral operator. Rend. Mat. Appl. 2020, 41, 51–58. [Google Scholar]
  17. Motamednezhad, A.; Bulboaca, T.; Adegani, E.A.; Dibagar, N. Second Hankel determinant for a subclass of analytic bi-univalent functions defined by subordination. Turk. J. Math. 2018, 42, 2798–2808. [Google Scholar] [CrossRef]
  18. Murugusundarmoorthy, G.; Magesh, N. Coefficient inequality for certain classes of analytic functions associated with Hankel determinant. Bull. Math. Anal. Appl. 2009, 1, 85–89. [Google Scholar]
  19. Lee, S.K.; Ravichandran, V.; Supramaniam, S. Bounds for the second Hankel determinant of certain univalent functions. J. Inequalities Appl. 2013, 2013, 281. [Google Scholar] [CrossRef] [Green Version]
  20. Li, Z.; Ren, F.; Yang, L.; Zhang, S. (Eds.) Conference Proceedings and Lecture Notes in Analysis; International Press: Cambridge, MA, USA, 1994; Volume I, pp. 157–169. [Google Scholar]
  21. Ma, W. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis, Tianjin, China, 19–23 June 1992; International Press Inc.: Somerville, MA, USA, 1992. [Google Scholar]
  22. Libera, R.J.; Zlotkiewicz, E.J. Early coefficient of the inverse of a regular convex function. Proc. Am. Math. Soc. 1982, 85, 225–230. [Google Scholar] [CrossRef]
  23. Libera, R.J.; Zlotkiewicz, E.J. Coefficient bounds for the inverse of a function with derivative in P . Proc. Am. Math. Soc. 1983, 87, 251–257. [Google Scholar] [CrossRef]
  24. Duren, P.L. Univalent Functions; Grundlehren der Mathematischen Wissenschaften; Springer: Berlin/Heidelberg, Germany, 1983; Volume 259. [Google Scholar]
  25. Breaz, D.; Cătaș, A.; Cotîrlă, L. On the upper bound of the third Hankel determinant for certain class of analytic functions related with exponential function. An. Ştiinţifice Ale Univ. Ovidius Constanţa. Ser. Mat. 2022, 30, 75–89. [Google Scholar] [CrossRef]
  26. Cho, N.E.; Kwon, O.S.; Lecko, A.; Sim, Y.J. Sharp estimates of generalized Zalcman functional of early coeffcients for Ma-Minda type functions. Filomat 2018, 32, 6267–6280. [Google Scholar] [CrossRef] [Green Version]
  27. Ma, W. Generalized Zalcman conjecture for starlike and typically real functions. J. Math. Anal. Appl. 1999, 234, 328–339. [Google Scholar] [CrossRef] [Green Version]
  28. Miller, S.S.; Mocanu, P.T.; Reade, M.O. All a-convex functions are univalent and starlike. Proc. Am. Math. Soc. 1973, 37, 553–554. [Google Scholar] [CrossRef]
  29. Mahmood, S.; Srivastava, H.M.; Khan, N.; Ahmad, Q.Z.; Khan, B.; Ali, I. Upper bound of the third Hankel determinant for a subclass of q-starlike functions. Symmetry 2019, 11, 347. [Google Scholar] [CrossRef] [Green Version]
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

Orhan, H.; Çağlar, M.; Cotîrlă, L.-I. Third Hankel Determinant for a Subfamily of Holomorphic Functions Related with Lemniscate of Bernoulli. Mathematics 2023, 11, 1147. https://doi.org/10.3390/math11051147

AMA Style

Orhan H, Çağlar M, Cotîrlă L-I. Third Hankel Determinant for a Subfamily of Holomorphic Functions Related with Lemniscate of Bernoulli. Mathematics. 2023; 11(5):1147. https://doi.org/10.3390/math11051147

Chicago/Turabian Style

Orhan, Halit, Murat Çağlar, and Luminiţa-Ioana Cotîrlă. 2023. "Third Hankel Determinant for a Subfamily of Holomorphic Functions Related with Lemniscate of Bernoulli" Mathematics 11, no. 5: 1147. https://doi.org/10.3390/math11051147

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