Next Article in Journal
A Time-Variant Reliability Analysis Method Based on the Stochastic Process Discretization under Random and Interval Variables
Next Article in Special Issue
Applications of Certain Conic Domains to a Subclass of q-Starlike Functions Associated with the Janowski Functions
Previous Article in Journal
Controllability of Semilinear Multi-Valued Differential Inclusions with Non-Instantaneous Impulses of Order α ∈ (1,2) without Compactness
Previous Article in Special Issue
Growth Analysis of Meromorphic Solutions of Linear Difference Equations with Entire or Meromorphic Coefficients of Finite φ-Order
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Second Hankel Determinant for a Certain Subclass of Bi-Close to Convex Functions Defined by Kaplan

by
Stanislawa Kanas
1,*,
Pesse V. Sivasankari
2,
Roy Karthiyayini
2 and
Srikandan Sivasubramanian
3
1
Department of Mathematical Analysis, Rzeszow University, Al. Rejtana 16c, PL-35-959 Rzeszów, Poland
2
Department of Science and Humanities, PES University-Electronic City Campus, Bangalore, Karnataka 560100, India
3
Department of Mathematics, University College of Engineering Tindivanam, Anna University (Chennai), Tindivanam, Tamil Nadu 604001, India
*
Author to whom correspondence should be addressed.
Symmetry 2021, 13(4), 567; https://doi.org/10.3390/sym13040567
Submission received: 24 February 2021 / Revised: 21 March 2021 / Accepted: 23 March 2021 / Published: 29 March 2021
(This article belongs to the Special Issue Symmetry in Geometric Functions and Mathematical Analysis)

Abstract

:
In this paper, we consider the class of strongly bi-close-to-convex functions of order α and bi-close-to-convex functions of order β . We obtain an upper bound estimate for the second Hankel determinant for functions belonging to these classes. The results in this article improve some earlier result obtained for the class of bi-convex functions.

1. Introduction

1.1. Bi-Univalence

If f is in the class S , then f is one-to-one in D = { z C : | z | < 1 } , and
f ( z ) = z + a 2 z 2 + a 3 z 3 + ,
then the inverse f 1 of f has Maclaurin expansion in a disk of radius at least 1 / 4 , say
f 1 ( w ) = w a 2 w 2 + ( 2 a 2 2 a 3 ) w 3 ( 5 a 2 3 5 a 2 a 3 + a 4 ) w 4 + .
An analytic function f of the form (1) is said to be bi-univalent in D if both f and f 1 are univalent in D , in the sense that f 1 has an univalent analytic continuation to D . Let Σ denote the class of all bi-univalent functions in D , given by the Taylor–Maclaurin series expansion (1). Family Σ has been the focus of attention for more than fifty years. In [1], Lewin established that for f Σ , | a 2 | 1.51 . Later on, Brannan and Clunie [2] hypothesized that | a 2 | 2 ; however, their hypothesis has not been proved. One of the results which deserves more attention but somehow unnoticed is that of Netanyahu [3] who obtained a sharp upper bound | a 2 | 4 3 for a class Σ 1 Σ , consisting of the functions that are bi-univalent and its range contain D . However, the sharp lower bound of the second coefficient | a 2 | in the class Σ is not known, as well as bounds for successive coefficients | a n | ( n > 2 ) . Some examples of bi-univalent functions are z 1 z , 1 2 log 1 + z 1 z or log ( 1 z ) ; however, the familiar Koebe function, or z 1 z 2 , which are the members of S , are not the elements of the class Σ .

1.2. Subfamilies of S and Related Bi-Univalent Functions

Let 0 β < 1 . The subclasses of S consisting of starlike functions of order β (and convex functions of order β , respectively) are denoted by ST ( β ) ( CV ( β ) , resp.), and are defined analytically
ST ( β ) = f S : z f ( z ) / f ( z ) > β , z D ,
CV ( β ) = f S : 1 + z f ( z ) / f ( z ) > β , z D .
A function f of the form (1) is said close-to-convex in D , if and only if there exists a function Φ CV = CV ( 0 ) such that f ( z ) Φ ( z ) > 0 , z D . The family of normalized close-to-convex functions was first introduced by Kaplan [4] and denoted K .
Brannan and Taha [5] introduced the classes ST Σ ( β ) (and CV Σ ( β ) ) of bi-starlike functions of order β (and bi-convex functions of order β , resp.) corresponding to ST ( β ) and CV ( β ) defined by (3) and (4). They also found non-sharp estimates on | a 2 | and | a 3 | for its members of the form (1). Following Brannan and Taha [5], many researchers (see, for example, in [6,7]) have recently introduced and investigated several interesting subclasses of Σ and found non-sharp estimates on the first two Taylor–Maclaurin coefficients. Furthermore, in [5] the class of strongly bi-starlike functions of order α , where 0 < α 1 has been defined and denoted ST Σ [ α ] . A function f is in the class ST Σ [ α ] , if
arg z f ( z ) f ( z ) < α π 2 and arg w g ( w ) g ( w ) < α π 2 ( z , w D ) ,
where g is the analytic continuation of f 1 to D .
For 0 α 1 , let K α denote the family of functions f of the form (1), analytic and locally univalent in D , for which there exists a convex function ϕ such that
arg f ( z ) ϕ ( z ) < α π 2 ( z D ) .
The above class has been introduced by Kaplan [4] and later studied by Reade [8]. In particular, K 0 is the family of convex univalent functions and K 1 is the family of close-to-convex functions. Moreover, K α 1 is a proper subclass of K α 2 whenever α 1 < α 2 . An extension of K α is a class K α ( β ) of close-to-convex functions of order β [8], given by
f ( z ) ϕ ( z ) > β ( z D ) .
Following Brannan and Taha, the related families of bi-univalent functions have been considered, for example, a class K Σ of bi-close-to-convex functions [9]; a class of strongly bi-close-to-convex functions of order α , denoted by K Σ [ α ] ; and the class of bi-close-to-convex functions of order β , denoted by K Σ ( β ) .
Definition 1.
([9]) A function f Σ of the form (1) belongs to the class of bi-close to convex functions K Σ , if there exist a function ϕ, convex and univalent for z D , such that
f ( z ) ϕ ( z ) 0 , and g ( w ) ϕ ( w ) 0 ( z , w D ) ,
where g is the analytic continuation of f 1 to D with a series expansion (2).
Definition 2.
[9] Let 0 α 1 . A function f Σ , given by (1), is said to be strongly bi-close-to-convex of order α if there exist bi-convex functions ϕ and ψ such that
arg f ( z ) ϕ ( z ) < α π / 2 and arg g ( w ) ψ ( w ) < α π / 2 ( z , w D ) .
Here, g is the analytic continuation of f 1 to D . We denote the class of strongly bi-close-to-convex functions of order α by K Σ [ α ] .
Remark 1.
We note that K Σ [ 1 ] K Σ and K Σ [ 0 ] CV Σ [5].
Definition 3.
[9] Let 0 β < 1 . A function f Σ , given by (1), is said to be bi-close-to-convex of order β if there exist the bi-convex functions ϕ and ψ CV Σ such that
f ( z ) ϕ ( z ) > β and g ( w ) ψ ( w ) > β ( z , w D ) ,
where g is the analytic continuation of f 1 to D . We denote the class of bi-close-to-convex functions of order β by K Σ ( β ) .
Remark 2.
We note that K Σ ( 0 ) K Σ . Furthermore, for ϕ ( z ) = z , the class N Σ ( α ) ( 0 α 1 ) reduces to the family of functions f Σ , satisfying the condition
arg f ( z ) < α π / 2 and arg g ( w ) < α π / 2 ( z , w D ) ,
and K Σ ( β ) reduces to N Σ ( β ) defined by the conditions
f ( z ) > β and g ( w ) > β ( z , w D ) ,
where the function g is defined by (2). These classes were studied by Çağlar et al. [10]
Observe that if f is given by (1), then g = f 1 is given by (2), and if
ϕ ( z ) = z + c 2 z 2 + c 3 z 3 + c 4 z 4 + ,
then
ψ ( w ) = ϕ 1 ( w ) = w c 2 w 2 + ( 2 c 2 2 c 3 ) w 3 ( 5 c 2 3 5 c 2 c 3 + c 4 ) w 4 + .
In the sequel, we assume that g , ϕ , ψ have Taylor expansions as in (2), (9), and (10).

1.3. Hankel Determinant

Towards the full understanding of a behavior of bi-univalence, it is necessary to extend our attention to the Hankel determinants, that is one of the most important tool in Geometric Function Theory, defined by Pommerenke [11,12]. Noonan and Thomas [13] defined the q t h Hankel determinant of f given by (1) for natural n 1 and q 1 by
H q ( n ) = a n a n + 1 a n + q 1 a n + 1 a n + 2 a n + q : : : : : : : : a n + q 1 a n + q a n + 2 q 2 .
The importance of the Hankel determinants was recognized over half a century ago, and it has been studied in great details, see, for example, in [11,12]. The significance of the Hankel determinants follows from the study of singularities of analytic functions ([14], p. 329), see also in [15], and from the fact that it contains the Fekete-Szegö functional with its generalization [16]. Moreover, H 2 ( 2 ) = a 2 a 4 a 3 2 is the well-known second Hankel determinant. The Hankel determinant is useful for estimating the modulus of coefficients and the rate of growth of the coefficients. Both estimates determine the behavior of the studied function when the function itself and its properties are unknown. Extensive studies of the Hankel determinant in the theory of meromorphic functions are due to Wilson [17]; numerous applications in mathematical physics are given by Vein and Dale [18]. Recently, many authors have discussed upper bounds of the Hankel determinant and Fekete-Szegö functional for numerous subclasses of univalent functions [13,14,19,20,21,22] and references therein. Very recently, the upper bounds of H 2 ( 2 ) for the classes S Σ * ( α ) and K Σ ( α ) were investigated by Deniz et al. [23], and extended by Orhan et al. [24,25].
Sivasubramanian et al. [9] found the estimates of | a 2 | and | a 3 | in the classes K Σ , K Σ [ α ] and K Σ ( β ) . Further, they verified Brannan and Clunie’s conjecture | a 2 | 2 for some of their subclasses.
Therefore, a naturally arising problem addressed in this paper is to investigate the behavior of the Hankel determinants in the newly defined families.

1.4. Some Useful Bounds

Let P denote the class of functions p ( z ) of the form
p ( z ) = 1 + p 1 z + p 2 z 2 + p 3 z 3 + . . . ,
which are analytic in the open unit disk D and such that p ( z ) > 0 , z D .
Lemma 1.
[26] If the function p P is given by the series (11), then | p k | 2 , k = 1 , 2 , . . . .
Lemma 2.
[27] If the function p P is given by the series (11), then
2 p 2 = p 1 2 + x ( 4 p 1 2 ) , 4 p 3 = p 1 3 + 2 p 1 ( 4 p 1 2 ) x p 1 ( 4 p 1 2 ) x 2 + 2 ( 4 p 1 2 ) ( 1 | x | 2 ) z ,
for some x, z with | x | 1 and | z | 1 .
Lemma 3.
[28] If the function ϕ CV , then for λ R ,
| c 3 λ c 2 2 | 1 λ f o r λ < 2 / 3 , 1 f o r 2 / 3 λ 4 / 3 , λ 1 f o r λ > 4 / 3 .
Lemma 4.
[29] If the function ϕ CV , then | c 2 c 4 c 3 2 | 1 8 .
Lemma 5.
[30] If the function ϕ CV , then | c 2 c 3 c 4 | 1 6 .

2. Second Hankel Determinant in Class K Σ [ α ] and K Σ ( β )

The first aim of this section is to find the best bound of the second Hankel determinant in the class K Σ [ α ] . A successful method of finding such bound has been exploited in [9] and other related publications.

2.1. The Class K Σ ( β )

In the family of strongly bi-close-to-convex of order α , we have the following non-sharp estimates of H 2 ( 2 ) ; however, this bound, for a particular selection of α , improves the earlier results in [23].
Theorem 1.
Let 0 α 1 , and let the function f, given by (1), be in the class K Σ [ α ] . Then,
| a 2 a 4 a 3 2 | 1 8 + 3 2 α + 43 9 α 2 + 1 3 α 3 + 4 3 α 4 .
Proof. 
From the condition (7) it follows that there exists p , q P such that
f ( z ) = ϕ ( z ) [ p ( z ) ] α and g ( w ) = ψ ( w ) [ q ( w ) ] α .
Let p be given by (11) and q has a series representations
q ( w ) = 1 + q 1 w + q 2 w 2 + q 3 w 3 + .
Then, equating the coefficients of both sides of (14), when f , p , q , ϕ , and ψ have given power series, we obtain a number of equalities, below.
2 a 2 = 2 c 2 + α p 1 , 2 a 2 = 2 c 2 + α q 1 ,
3 a 3 = 3 c 3 + 2 α c 2 p 1 + α p 2 + 1 2 α ( α 1 ) p 1 2 ,
4 a 4 = 4 c 4 + 3 c 3 α p 1 + 2 α c 2 p 2 + α p 3 + α ( α 1 ) c 2 p 1 2 + α ( α 1 ) p 1 p 2 + α ( α 1 ) ( α 2 ) 6 p 1 3 ,
6 a 2 2 3 a 3 = 6 c 2 2 3 c 3 2 α c 2 q 1 + α q 2 + 1 2 α ( α 1 ) q 1 2 ,
20 a 2 3 + 20 a 2 a 3 4 a 4 = 20 c 2 3 + 20 c 2 c 3 4 c 4 + 6 c 2 2 α q 1 3 c 3 α q 1 2 α c 2 q 2 + α q 3 α ( α 1 ) c 2 q 1 2 + α ( α 1 ) q 1 q 2 + α ( α 1 ) ( α 2 ) 6 q 1 3 .
The equality (16) immediately gives p 1 = q 1 . Next, by (17) and (19), we obtain
a 3 = c 3 + α c 2 p 1 + 1 4 α 2 p 1 2 + α 6 ( p 2 q 2 ) .
Similarly, making necessary calculations of (18) and (20), we get
a 4 = c 4 + α 8 ( p 3 q 3 ) + 1 4 c 2 α ( p 2 + q 2 ) + 5 24 α 2 p 1 ( p 2 q 2 ) + 5 12 α c 2 ( p 2 q 2 ) + 5 4 c 3 α p 1 + 1 4 α ( α 1 ) c 2 p 1 2 + 1 8 α ( α 1 ) p 1 ( p 2 + q 2 ) 1 2 c 2 2 α p 1 + 1 24 α ( α 1 ) ( α 2 ) p 1 3 .
Therefore,
a 2 a 4 a 3 2 = c 2 c 4 c 3 2 + 1 2 α c 4 p 1 3 4 c 2 c 3 α p 1 + 1 8 c 3 α 2 p 1 2 5 4 α 2 p 1 2 c 2 2 1 3 c 3 α ( p 2 q 2 ) + 5 12 c 2 2 α ( p 2 q 2 ) 1 2 c 2 3 α p 1 1 16 α 4 p 1 4 + 1 12 c 2 α 2 p 1 ( p 2 q 2 ) + 1 48 α 2 ( α 1 ) ( α 2 ) p 1 4 + 1 8 α 2 ( α 1 ) c 2 p 1 3 + 1 24 c 2 α ( α 1 ) ( α 2 ) p 1 3 + 1 8 α c 2 ( p 3 q 3 ) + 1 8 c 2 α 2 p 1 ( p 2 + q 2 ) + 1 48 α 3 p 1 2 ( p 2 q 2 ) + 1 4 α ( α 1 ) c 2 2 p 1 2 1 2 c 2 α 3 p 1 3 + 1 16 α 2 p 1 ( p 3 q 3 ) + 1 16 α 2 ( α 1 ) p 1 2 ( p 2 + q 2 ) + 1 4 c 2 2 α ( p 2 + q 2 ) + 1 8 c 2 α ( α 1 ) p 1 ( p 2 + q 2 ) 1 36 α 2 ( p 2 q 2 ) 2 .
Let us apply Lemma 2 to p 2 and q 2 . Then, for some x , y such that | x | 1 , | y | 1 , it holds
2 p 2 = p 1 2 + x ( 4 p 1 ) 2 , 2 q 2 = q 1 2 + y ( 4 q 1 ) 2 ,
from which we have
p 2 q 2 = ( 4 p 1 2 ) ( x y ) 2 ; p 2 + q 2 = p 1 2 + ( 4 p 1 2 ) ( x + y ) 2 .
Apply now Lemma 2 to p 3 , q 3 and obtain
p 3 q 3 = p 1 3 2 + p 1 ( 4 p 1 2 ) ( x + y ) 2 p 1 ( 4 p 1 2 ) ( x 2 + y 2 ) 4 + ( 4 p 1 2 ) 2 ( 1 | x | 2 ) z ( 1 | y | 2 ) w ,
for some x , y , z , and w with | x | 1 , | y | 1 , | z | 1 , and | w | 1 . Making use of (24) and (25) to (23) gives
a 2 a 4 a 3 2 = c 2 c 4 c 3 2 + α 2 ( c 4 c 2 c 3 ) p 1 1 4 α c 2 c 3 p 1 + 1 8 α 2 ( c 3 10 c 2 2 ) p 1 2 1 3 α c 3 5 4 c 2 2 ( p 2 q 2 ) + 1 12 c 2 α 2 p 1 ( p 2 q 2 ) 1 2 c 2 3 α p 1 1 2 c 2 α 3 p 1 3 1 16 α 4 p 1 4 + 1 16 α 2 ( α 1 ) p 1 2 ( p 2 q 2 ) + 1 4 α ( α 1 ) c 2 2 p 1 2 + 1 48 α 2 ( α 1 ) ( α 2 ) p 1 4 + 1 8 α 2 ( α 1 ) c 2 p 1 3 + 1 24 c 2 α ( α 1 ) ( α 2 ) p 1 3 + 1 8 α c 2 ( p 3 q 3 ) + 1 8 c 2 α ( α 1 ) p 1 ( p 2 + q 2 ) + 1 8 c 2 α 2 p 1 ( p 2 + q 2 ) + 1 48 α 3 p 1 2 ( p 2 q 2 ) + 1 16 α 2 p 1 ( p 3 q 3 ) + 1 4 c 2 2 α ( p 2 + q 2 ) 1 36 α 2 ( p 2 q 2 ) 2 .
Without lost of generality, we can restrict our considerations to p 1 : = p [ 0 , 2 ] . Applying this and the triangle inequality to (26), we have
a 2 a 4 a 3 2 c 2 c 4 c 3 2 + α 2 | ( c 4 c 2 c 3 ) | p + 1 2 | c 2 3 | α p + α 4 | c 2 c 3 | p + 1 8 α 2 | c 3 10 c 2 2 | p 2 + 1 2 | c 2 | α 3 p 3 + 1 16 α 4 p 4 + 1 4 | α ( α 1 ) | | c 2 2 | p 2 + 1 48 | α 2 ( α 1 ) ( α 2 ) | p 4 + 1 8 | α 2 ( α 1 ) | | c 2 | p 3 + 1 24 | c 2 | | α ( α 1 ) ( α 2 ) | p 3 + 1 16 | α 2 ( α 1 ) | p 4 + 1 16 α | c 2 | p 3 + 1 8 | c 2 | α 2 p 3 + 1 8 | c 2 | | α ( α 1 ) | p 3 + 1 32 α 2 p 4 + 1 4 | c 2 2 | α p 2 + ( | x | + | y | ) α 6 c 3 5 4 c 2 2 + 1 8 | c 2 2 | α ( 4 p 2 ) + 1 16 | c 2 | α + 5 48 | c 2 | α 2 + 1 16 | c 2 | | α ( α 1 ) | p ( 4 p 2 ) + 1 32 α 2 + 1 96 α 3 + 1 32 | α 2 ( α 1 ) | p 2 ( 4 p 2 ) + ( | x | 2 + | y | 2 ) α 2 64 p 2 ( 4 p 2 ) + α 32 | c 2 | p ( 4 p 2 ) + ( 1 | x | 2 ) α 16 | c 2 | ( 4 p 2 ) + α 2 32 p ( 4 p 2 ) + ( 1 | y | 2 ) α 16 | c 2 | ( 4 p 2 ) + α 2 32 p ( 4 p 2 ) + α 2 144 ( 4 p 2 ) 2 ( | x | + | y | ) 2 .
We now apply Lemma 3 and Lemma 4 with Lemma 5 to (27), and deduce that
a 2 a 4 a 3 2 1 8 + 5 6 α p + 9 8 α 2 + 1 4 α ( 1 α ) + 1 4 α p 2 + 1 16 α + 1 8 α 2 + 1 2 α 3 + 1 8 α ( 1 α ) 2 α + 5 3 p 3 + 1 16 α 4 + 1 32 α 2 + α 2 ( 1 α ) ( 5 α ) 48 p 4 + ( α ) 8 ( 4 p 2 ) + ( α ) 2 16 p ( 4 p 2 ) + ( | x | + | y | ) α 3 96 + α 2 32 + 1 32 α 2 ( 1 α ) p 2 ( 4 p 2 ) + 5 α 2 48 + α 16 + α ( 1 α ) 16 p ( 4 p 2 ) + α 6 ( 4 p 2 ) + ( | x | 2 + | y | 2 ) α 2 64 ( p 2 4 ) ( 4 p 2 ) + α 2 144 ( 4 p 2 ) 2 ( | x | + | y | ) 2 .
Taking γ 1 = | x | 1 , γ 2 = | y | 1 , we rewrite the above as follows:
| a 2 a 4 a 3 2 | S 1 + S 2 ( γ 1 + γ 2 ) + S 3 ( γ 1 2 + γ 2 2 ) + S 4 ( γ 1 + γ 2 ) 2 = F ( γ 1 , γ 2 ) ,
where
S 1 = S 1 ( p ) = 1 8 + 5 6 α p + 9 8 α 2 + 1 4 α ( 1 α ) + 1 4 α p 2 + 1 16 α + 1 8 α 2 + 1 2 α 3 + 1 8 α ( 1 α ) 2 α + 5 3 p 3 + 1 16 α 4 + 1 32 α 2 + α 2 ( 1 α ) ( 5 α ) 48 p 4 + ( α ) 8 ( 4 p 2 ) + ( α ) 2 16 p ( 4 p 2 ) 0 , S 2 = S 2 ( p ) = α 3 96 + α 2 32 + 1 32 α 2 ( 1 α ) p 2 ( 4 p 2 ) + 5 α 2 48 + α 16 + α ( 1 α ) 16 p ( 4 p 2 ) + α 6 ( 4 p 2 ) 0 , S 3 = S 3 ( p ) = α 2 64 ( p 2 4 ) ( 4 p 2 ) 0 , S 4 = S 4 ( p ) = α 2 144 ( 4 p 2 ) 2 0 .
In order to obtain an estimate of | H 2 ( 2 ) | , we need to maximize F ( γ 1 , γ 2 ) in the closed square
Δ : = { ( γ 1 , γ 2 ) : 0 γ 1 1 , 0 γ 2 1 } .
As S 3 < 0 and S 3 + 2 S 4 > 0 and p ( 0 , 2 ) , we conclude that F γ 1 γ 1 F γ 2 γ 2 ( F γ 1 γ 2 ) 2 < 0 for all γ 1 , γ 2 int Δ , and thus the function F can attain a maximum only on the boundary of Δ .
We first note that F is symmetric in γ 1 and γ 2 , therefore it is enough to consider 0 γ 1 1 and 0 γ 2 γ 1 . For γ 2 = 0 and 0 γ 1 1 , we obtain
F ( γ 1 , 0 ) = G ( γ 1 ) = S 1 + S 2 γ 1 + ( S 3 + S 4 ) γ 1 2 .
Fix p [ 0 , 2 ] and consider two separate cases:
(i) 
S 3 + S 4 0 . In this case, G ( γ 1 ) = 2 ( S 3 + S 4 ) γ 1 + S 2 > 0 , that is, G ( γ 1 ) is an increasing function. Therefore, for fixed p [ 0 , 2 ) the maximum of G ( γ 1 ) may occurs only at γ 1 = 1 , and
max G ( γ 1 ) = G ( 1 ) = S 1 + S 2 + S 3 + S 4 .
(ii) 
S 3 + S 4 < 0 . As S 2 + 2 ( S 3 + S 4 ) 0 for 0 < γ 1 < 1 , it is clear that S 2 + 2 ( S 3 + S 4 ) < 2 ( S 3 + S 4 ) γ 1 + S 2 < S 2 so that G ( γ 1 ) > 0 . Therefore, similarly as in the case (i) the maximum of G ( γ 1 ) is attained for γ 1 = 1 .
For γ 1 = 1 and 0 γ 2 1 , we obtain
F ( 1 , γ 2 ) = H ( γ 2 ) = ( S 3 + S 4 ) γ 2 2 + ( S 2 + 2 S 4 ) γ 2 + S 1 + S 2 + S 3 + S 4 .
Similarly, to the above cases of S 3 + S 4 , we get that
max H ( γ 2 ) = H ( 1 ) = S 1 + 2 S 2 + 2 S 3 + 4 S 4 .
As G ( 1 ) H ( 1 ) for p [ 0 , 2 ] , we have that max F ( γ 1 , γ 2 ) = F ( 1 , 1 ) on the boundary of Δ and from this on the closed square Δ .
Next, let us define a function K : [ 0 , 2 ] R as follows:
K ( p ) = max F ( γ 1 , γ 2 ) = F ( 1 , 1 ) = S 1 + 2 S 2 + 2 S 3 + 4 S 4 ,
that is, in view of (28),
K ( p ) = 1 8 + 11 6 α 1 18 α 2 + 11 6 α + 7 12 α 2 p + 1 24 α + 101 72 α 2 1 6 α 3 p 2 + 5 12 α 3 19 48 α 2 + 25 48 α p 3 + 1 12 α 4 7 48 α 3 + 11 144 α 2 + 1 16 α p 4 .
By an elementary calculation, we find that
K ( p ) = 11 6 α + 7 12 α 2 + 1 12 α + 101 36 α 2 1 3 α 3 p + 5 4 α 3 19 16 α 2 + 25 16 α p 2 + 1 3 α 4 7 12 α 3 + 11 36 α 2 + 1 4 α p 3 ,
that can be rewritten as
K ( p ) = 11 6 α + 7 12 α 2 + α p 3 α ( 1 α ) + 89 22 α + 1 4 + α p 2 4 5 α 2 + 19 4 ( 1 α ) + 3 2 + α p 3 3 α α 2 α + 11 12 + 3 4 ( 1 α 2 ) ,
from which it is easily seen that K ( p ) > 0 for 0 < α 1 . Therefore, K ( p ) is an increasing function of p so that K ( p ) attains its maximum at p = 2 . Consequently, we have
max 0 p 2 K ( p ) = K ( 2 ) = 1 8 + 3 2 α + 43 9 α 2 + 1 3 α 3 + 4 3 α 4 .
This completes the proof of the theorem. □
Remark 3.
For α = 1 , we have the following bound
| a 2 a 4 a 3 2 | 581 72 ,
and when ϕ ( z ) = z , Theorem 1 reduces to the Theorem 2 in [10]. Furthermore, when α = 0 , we get the estimate for the class of bi-convex functions, which significantly improves the bound due to Deniz et al. [23], below. Unfortunately, we do not know if that result is sharp.
Corollary 1.
For 0 α < 1 , and f K Σ K Σ [ 0 ] we have
| a 2 a 4 a 3 2 | 1 8 .

2.2. The Class K Σ ( β )

In order to estimate the second Hankel determinate in K Σ ( β ) we apply consideration similar to that used in the proof of 1.
Theorem 2.
Let 0 β < 1 , and let the function f given by (1) be in the class K Σ ( β ) . Then,
| a 2 a 4 a 3 2 | 1 8 + 19 6 ( 1 β ) + 6 ( 1 β ) 2 + 4 ( 1 β ) 3 + ( 1 β ) 4 .
Proof. 
By (8) there exist p , q P such that
f ( z ) ϕ ( z ) = β + ( 1 β ) [ p ( z ) ] a n d g ( w ) ψ ( w ) = β + ( 1 β ) [ q ( w ) ] .
Let p , q have series representations as in the previous section. Then, equating coefficients of z , z 2 and z 3 of both sides of (31), we obtain
2 a 2 = 2 c 2 + ( 1 β ) p 1 a n d 2 a 2 = 2 c 2 + ( 1 β ) q 1 ,
3 a 3 = 3 c 3 + 2 ( 1 β ) c 2 p 1 + ( 1 β ) p 2 ,
4 a 4 = 4 c 4 + 3 c 3 ( 1 β ) p 1 + 2 ( 1 β ) c 2 p 2 + ( 1 β ) p 3 .
6 a 2 2 3 a 3 = 6 c 2 2 3 c 3 2 ( 1 β ) c 2 q 1 + ( 1 β ) q 2 ,
20 a 2 3 + 20 a 2 a 3 4 a 4 = 20 c 2 3 + 20 c 2 c 3 4 c 4 + 6 c 2 2 ( 1 β ) q 1 3 c 3 ( 1 β ) q 1 2 ( 1 β ) c 2 q 2 + ( 1 β ) q 3 .
From (32), we get p 1 = q 1 , and a 2 = c 2 + ( 1 β ) p 1 2 , and making use of (33), (35), and (36), we have
a 3 = c 3 + ( 1 β ) c 2 p 1 + ( 1 β ) ( p 2 q 2 ) 6 + ( 1 β ) 2 p 1 2 4 ,
a 4 = c 4 + 1 8 ( 1 β ) ( p 3 q 3 ) + 1 4 c 2 ( 1 β ) ( p 2 + q 2 ) 1 2 c 2 2 ( 1 β ) p 1 + 5 4 c 3 ( 1 β ) p 1 + 5 12 c 2 ( 1 β ) ( p 2 q 2 ) + 5 24 ( 1 β ) 2 p 1 ( p 2 q 2 ) .
Therefore,
a 2 a 4 a 3 2 = c 2 c 4 c 3 2 + 1 2 ( 1 β ) c 4 p 1 3 4 c 2 c 3 ( 1 β ) p 1 + 1 8 c 3 ( 1 β ) 2 p 1 2 5 4 ( 1 β ) 2 p 1 2 c 2 2 1 3 c 3 ( 1 β ) ( p 2 q 2 ) + 5 12 c 2 2 ( 1 β ) ( p 2 q 2 ) 1 2 c 2 ( 1 β ) 3 p 1 3 + 1 12 c 2 ( 1 β ) 2 p 1 ( p 2 q 2 ) 1 2 c 2 3 ( 1 β ) p 1 1 16 ( 1 β ) 4 p 1 4 + 1 48 ( 1 β ) 3 p 1 2 ( p 2 q 2 ) + 1 16 ( 1 β ) 2 p 1 ( p 3 q 3 ) + 1 8 ( 1 β ) c 2 ( p 3 q 3 ) + 1 4 c 2 2 ( 1 β ) ( p 2 + q 2 ) + 1 8 c 2 ( 1 β ) 2 p 1 ( p 2 + q 2 ) 1 36 ( 1 β ) 2 ( p 2 q 2 ) 2 .
Now, we apply the relations (24) and (25) to (39) and obtain
a 2 a 4 a 3 2 = c 2 c 4 c 3 2 + ( 1 β ) 2 ( c 4 c 2 c 3 ) p 1 1 4 ( 1 β ) c 2 c 3 p 1 + 1 8 ( 1 β ) 2 ( c 3 10 c 2 2 ) p 1 2 1 3 ( 1 β ) c 3 5 4 c 2 2 4 p 1 2 2 ( x y ) 1 2 c 2 ( 1 β ) 3 p 1 3 + 1 12 c 2 ( 1 β ) 2 p 1 4 p 1 2 2 ( x y ) 1 2 c 2 3 ( 1 β ) p 1 1 16 ( 1 β ) 4 p 1 4 + 1 48 ( 1 β ) 3 p 1 2 4 p 1 2 2 ( x y ) + 1 16 ( 1 β ) 2 p 1 p 1 3 2 + ( 4 p 1 2 ) p 1 2 ( x + y ) ( 4 p 1 2 ) p 1 4 ( x 2 + y 2 ) + 4 p 1 2 2 ( 1 | x | 2 ) z ( 1 | y | 2 ) w + 1 8 ( 1 β ) c 2 p 1 3 2 + ( 4 p 1 2 ) p 1 2 ( x + y ) ( 4 p 1 2 ) p 1 4 ( x 2 + y 2 ) + 4 p 1 2 2 ( 1 | x | 2 ) z ( 1 | y | 2 ) w + 1 4 c 2 2 ( 1 β ) p 1 2 + 4 p 1 2 2 ( x + y ) + 1 8 c 2 ( 1 β ) 2 p 1 p 1 2 + 4 p 1 2 2 ( x + y ) 1 36 ( 1 β ) 2 ( 4 p 1 2 ) 2 ( x y ) 2 4 ,
where x , y , z , and w are such that | x | 1 , | y | 1 , | z | 1 , and | w | 1 .
According to Lemma 4, we may assume without any restriction that p 1 [ 0 , 2 ] . Thus, applying the triangle inequality and taking p 1 = p , we find that
a 2 a 4 a 3 2 c 2 c 4 c 3 2 + ( 1 β ) 2 ( c 4 c 2 c 3 ) p + 1 4 ( 1 β ) | c 2 c 3 | p + 1 8 ( 1 β ) 2 ( c 3 10 c 2 2 ) p 2 + 1 2 | c 2 | ( 1 β ) 3 p 3 + 1 2 | c 2 3 | ( 1 β ) p + ( 1 β ) 4 16 p 4 + ( 1 β ) 2 32 p 4 + 1 β 16 | c 2 | p 3 + 1 4 | c 2 2 | ( 1 β ) p 2 + 1 8 | c 2 | ( 1 β ) 2 p 3 + ( | x | + | y | ) 1 β 24 | c 3 5 4 c 2 2 | ( 4 p 2 ) + 1 24 | c 2 | ( 1 β ) 2 p ( 4 p 2 ) + 1 96 ( 1 β ) 3 p 2 ( 4 p 2 ) + ( 1 β ) 2 32 p 2 ( 4 p 2 ) + ( 1 β ) 16 | c 2 | p ( 4 p 2 ) + 1 8 | c 2 2 | ( 1 β ) ( 4 p 2 ) + ( 1 β ) 16 c 2 p ( 4 p 2 ) + ( | x | 2 + | y | 2 ) ( 1 β ) 2 64 p 2 ( 4 p 2 ) + ( 1 β ) 32 | c 2 | p ( 4 p 2 ) + ( 1 | x | 2 ) 1 β 16 | c 2 | ( 4 p 2 ) + 1 β ) 2 32 p ( 4 p 2 ) + ( 1 | y | 2 ) 1 β 16 | c 2 | ( 4 p 2 ) + 1 β ) 2 32 p ( 4 p 2 ) + ( 1 β ) 2 144 ( 4 p 2 ) 2 ( | x | + | y | ) 2 .
We now apply the Lemmas 3–5, and set γ 1 = | x | 1 , γ 2 = | y | 1 . Then, (41) can be rewritten in the form
| a 2 a 4 a 3 2 | S 1 + S 2 ( γ 1 + γ 2 ) + S 3 ( γ 1 2 + γ 2 2 ) + S 4 ( γ 1 + γ 2 ) 2 = F ( γ 1 , γ 2 ) ,
where
S 1 = S 1 ( p ) = 1 8 + 5 6 ( 1 β ) p + 9 8 ( 1 β ) 2 + ( 1 β ) 4 p 2 + 1 β 16 + ( 1 β ) 3 2 + ( 1 β ) 2 8 p 3 + ( 1 β ) 4 16 + ( 1 β ) 2 32 p 4 + ( 1 β ) 8 ( 4 p 2 ) + ( 1 β ) 2 16 p ( 4 p 2 ) 0 , S 2 = S 2 ( p ) = ( 1 β ) 2 32 + ( 1 β ) 3 96 p 2 ( 4 p 2 ) + 1 β 16 + 5 ( 1 β ) 2 48 p ( 4 p 2 ) + ( 1 β ) 6 ( 4 p 2 ) 0 , S 3 = S 3 ( p ) = ( 1 β ) 2 64 ( p 2 4 ) ( 4 p 2 ) 0 , S 4 = S 4 ( p ) = ( 1 β ) 2 144 ( 4 p 2 ) 2 0 .
Maximizing F ( γ 1 , γ 2 ) in a square Δ : = { ( γ 1 , γ 2 ) : 0 γ 1 1 , 0 γ 2 1 } we conclude that max F ( γ 1 , γ 2 ) = F ( 1 , 1 ) . Defining now a function K : [ 0 , 2 ] R as in Theorem 1 defined by
K ( p ) = max F ( γ 1 , γ 2 ) = F ( 1 , 1 ) = S 1 + 2 S 2 + 2 S 3 + 4 S 4 ,
and analyzing its behavior, we infer that K ( p ) is an increasing function of p and attains its maximum at p = 2 . Consequently, we have
max 0 p 2 K ( p ) = K ( 2 ) = 1 8 + 19 6 ( 1 β ) + 6 ( 1 β ) 2 + 4 ( 1 β ) 3 + ( 1 β ) 4 ,
that completes the proof of the theorem. □
Remark 4.
For ϕ ( z ) = z , Theorem 2 reduces to the Theorem 1 [10].

3. Conclusions

In the present paper, we have estimated a smaller upper bound and more accurate estimation for the functional | a 2 a 4 a 3 2 | for functions in the class of strongly bi-close-to-convex functions of order α , ( 0 α 1 ) and the class of bi-close-to convex functions of order β , ( 0 β < 1 ) . Obtaining a sharp estimate for | a 2 a 4 a 3 2 | in these classes are still open and keeps the researcher interested.

Author Contributions

Conceptualisation, S.K., P.V.S., R.K. and S.S.; methodology, S.K., P.V.S., R.K. and S.S.; software, S.K., P.V.S., R.K. and S.S.; validation, S.K., P.V.S., R.K. and S.S.; formal analysis, S.K., P.V.S., R.K. and S.S.; investigation, S.K., P.V.S., R.K. and S.S.; resources, S.K., P.V.S., R.K. and S.S.; data curation, S.K., P.V.S., R.K. and S.S.; writing—original draft preparation, P.V.S., R.K. and S.S.; writing—review and editing, S.K.; visualisation, S.K., P.V.S., R.K. and S.S.; supervision, S.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors thank the referee(s) for useful suggestions that essentially improved the manuscript. The work of the fourth author is supported by a grant from the Science and Engineering Research Board, Government of India under Mathematical Research Impact Centric Support of Department of Science and Technology (DST) (vide ref: MTR/2017/000607).

Conflicts of Interest

The authors declare no conflict of interest.

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: 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 |z| < 1. Arch. Ration. Mech. Anal. 1969, 32, 100–112. [Google Scholar]
  4. Kaplan, W. Close-to-convex schlicht functions. Michigan Math. J. 1952, 1, 169–185. [Google Scholar] [CrossRef]
  5. Brannan, D.A.; Taha, Ṫ.S. On some classes of bi-univalent functions. Studia Univ. Babeş Bolyai Math. 1986, 31, 70–77. [Google Scholar]
  6. Ali, R.M.; Lee, S.K.; Ravichandran, V.; Supramaniam, S. Coefficient estimates for bi-univalent Ma-Minda starlike and convex functions. Appl. Math. Lett. 2012, 25, 344–351. [Google Scholar] [CrossRef] [Green Version]
  7. Hayami, T.; Owa, Ṡ. Coefficient bounds for bi-univalent functions. PanAm. Math. J. 2012, 22, 15–26. [Google Scholar]
  8. Reade, M.O. The coefficients of close-to-convex functions. Duke Math. J. 1956, 23, 459–462. [Google Scholar] [CrossRef]
  9. Sivasubramanian, S.; Sivakumar, R.; Kanas, S.; Kim, S.A. Verification of Brannan and Clunie’s conjecture for certain subclasses of bi-univalent functions. Ann. Polon. Math. 2015, 113, 295–304. [Google Scholar] [CrossRef]
  10. Çağlar, M.; Deniz, E.; Srivastava, Ḣ.M. Second Hankel determinant for certain subclasses of bi-univalent functions. Turk. J. Math. 1986, 41, 694–706. [Google Scholar] [CrossRef]
  11. Pommerenke, C. On the coefficients and Hankel determinants of univalent functions. J. Lond. Math. Soc. 1966, 41, 111–122. [Google Scholar] [CrossRef]
  12. Pommerenke, C. On the Hankel determinants of univalent functions. Mathematika 1967, 14, 108–112. [Google Scholar] [CrossRef]
  13. Noonan, J.W.; Thomas, D.K. On the second Hankel determinant of areally mean p-valent functions. Trans. Am. Math. Soc. 1976, 223, 337–346. [Google Scholar]
  14. Dienes, P. The Taylor Series: An Introduction to the Theory of Functions of a Complex Variable; Dover Publications, Inc.: New York, NY, USA, 1957. [Google Scholar]
  15. Edrei, A. Sur les déterminants récurrents et les singularitiés d’une fonction donée por son développement de Taylor. Compos. Math. 1940, 7, 20–88. [Google Scholar]
  16. Fekete, M.; Szegö, G. Eine bemerkung uber ungerade schlichten funktionene. J. Lond. Math. Soc. 1993, 8, 85–89. [Google Scholar]
  17. Wilson, R. Determinantal criteria for meromorphic functions. Proc. Lond. Math. Soc. 1954, 4, 357–374. [Google Scholar] [CrossRef]
  18. Vein, R.; Dale, P. Determinants and Their Applications in Mathematical Physics. In Applied Mathematical Sciences; Springer: New York, NY, USA, 1999; Volume 134. [Google Scholar]
  19. Kanas, S.; Adegani, E.A.; Zireh, Ȧ. An unified approach to second Hankel determinant of bi-subordinate functions. Mediterr. J. Math. 2017, 14, 12. [Google Scholar] [CrossRef]
  20. Keogh, K.R.; Merkes, E.P. A coefficient inequality for certain classes of analytic functions. Proc. Am. Math. Soc. 1969, 20, 8–12. [Google Scholar] [CrossRef]
  21. Lee, S.K.; Ravichandran, V.; Supramaniam, Ṡ. Bounds for the second Hankel determinant of certain univalent functions. J. Inequal. Appl. 2013, 2013, 17. [Google Scholar] [CrossRef] [Green Version]
  22. Motamednezhad, A.; Bulboacă, 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]
  23. Deniz, E.; Çağlar, M.; Orhan, Ḣ. Second Hankel determinant for bi-starlike and bi-convex functions of order β. Appl. Math. Comput. 2015, 271, 301–307. [Google Scholar] [CrossRef] [Green Version]
  24. Orhan, H.; Magesh, N.; Yamini, J. Bounds for the second Hankel determinant of certain bi-univalent functions. Turk. J. Math. 2016, 40, 679–687. [Google Scholar] [CrossRef]
  25. Orhan, H.; Toklu, E.; Kadıoğlu, E. Second Hankel determinant problem for k-bi-starlike functions. Filomat 2017, 31, 3897–3904. [Google Scholar] [CrossRef]
  26. Pommerenke, C. Univalent Functions; Vandenhoeck & Ruprecht: Göttingen, Germany, 1975. [Google Scholar]
  27. Grenander, U.; Szegö, Ġ. Toeplitz forms and their applications. In California Monographs in Mathematical Sciences; University of California Press: Berkeley, CA, USA, 1958. [Google Scholar]
  28. Kanas, S. An unified approach to the Fekete-Szegö problem. Appl. Math. Comput. 2012, 218, 8453–8461. [Google Scholar] [CrossRef]
  29. Janteng, A.; Halim, S.; Darus, M. Hankel determinant for starlike and convex functions. Int. J. Math. Anal. (Ruse) 2007, 1, 619–625. [Google Scholar]
  30. Babalola, K.O. On H3(1) Hankel determinant for some classes of univalent functions. In Inequality Theory and Applications; Cho, Y.J., Kim, J.K., Dragomir, S.S., Eds.; Nova Science Publishers, Inc.: Hauppauge, NY, USA, 2003; Volume 2. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Kanas, S.; Sivasankari, P.V.; Karthiyayini, R.; Sivasubramanian, S. Second Hankel Determinant for a Certain Subclass of Bi-Close to Convex Functions Defined by Kaplan. Symmetry 2021, 13, 567. https://doi.org/10.3390/sym13040567

AMA Style

Kanas S, Sivasankari PV, Karthiyayini R, Sivasubramanian S. Second Hankel Determinant for a Certain Subclass of Bi-Close to Convex Functions Defined by Kaplan. Symmetry. 2021; 13(4):567. https://doi.org/10.3390/sym13040567

Chicago/Turabian Style

Kanas, Stanislawa, Pesse V. Sivasankari, Roy Karthiyayini, and Srikandan Sivasubramanian. 2021. "Second Hankel Determinant for a Certain Subclass of Bi-Close to Convex Functions Defined by Kaplan" Symmetry 13, no. 4: 567. https://doi.org/10.3390/sym13040567

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