Next Article in Journal
A Bimodal Model Based on Truncation Positive Normal with Application to Height Data
Next Article in Special Issue
q-Analogue of a New Subclass of Harmonic Univalent Functions Associated with Subordination
Previous Article in Journal
An Accelerated Fixed-Point Algorithm with an Inertial Technique for a Countable Family of G-Nonexpansive Mappings Applied to Image Recovery
Previous Article in Special Issue
Applications of the Atangana–Baleanu Fractional Integral Operator
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fourth Hankel Determinant Problem Based on Certain Analytic Functions

1
School of Mathematics and Computer Sciences, Chifeng University, Chifeng 024000, China
2
Department of Mathematics, Abdul Wali Khan University Mardan, Mardan 23200, Pakistan
3
Department of Mathematics, Abbottabad University of Science and Technology, Abbottabad 22010, Pakistan
4
Department of Mathematics, Government Post Graduate Collage, Dargai 23060, Pakistan
5
School of Mathematical Sciences and Shanghai Key Laboratory of PMMP, East China Normal University, 500 Dongchuan Road, Shanghai 200241, China
*
Authors to whom correspondence should be addressed.
Symmetry 2022, 14(4), 663; https://doi.org/10.3390/sym14040663
Submission received: 17 February 2022 / Revised: 11 March 2022 / Accepted: 14 March 2022 / Published: 24 March 2022
(This article belongs to the Special Issue Symmetry in Pure Mathematics and Real and Complex Analysis)

Abstract

:
In recent years, the Hankel determinant bounds for different subclasses of analytic, starlike and symmetric starlike functions have been discussed and studied by the many well-known authors. In this paper, we first consider a new subclass of analytic function and then we derive the fourth Hankel determinant bound for this class.
MSC:
Primary 30C45, 30C50, 30C80; Secondary 11B65, 47B38

1. Introduction

We need to present some basic Geometric Function Theory literature for a better understanding of the topic discussed in this article. In this regard, the letters A and S are used to represent the classes of normalized analytic and univalent functions, respectively. The following set-builder form is used to define these classes:
A : = f H D : f ( z )   = j   = 1 a j z j a 1   = 1
and:
S : = f A : f is univalent in D ,
where H D stands for the set of analytic functions in the region D   = z C : z < 1 . Although function theory was started in 1851, it emerged as a good area of new research in 1916, due to the conjecture a n   n , which was proved by De-Branges in 1985 and many scholars attempted to prove or disprove this conjecture as a result they discovered multiple subfamilies of a class S of univalent functions that are associated with different image domains. The most basic of these families are the families of star-like, convex, and close-to-convex functions which are defined by:
S *   =   f S : z f z f z > 0 , z D , C   =   f S : 1 + z f z f z > 0 , z D , K   =   f S : z f z g z > 0 , g z S * z D .
Each of the functions classes described above has a distinct symmetry. We denote by P , the class of analytic functions p normalized by:
p z   = 1 + c 1 z + c 2 z 2 + c 3 z 3 +
and:
p z   > 0 , z D .
Assume that f and g are two analytic functions in D . Then, we say that the function f is subordinate to the function g, and we can write:
f z g z , z D ,
if there exists a Schwarz function w z with the following conditions:
w 0   = 0 and w z   < 1 , z D ,
such that:
f z   = g w z , z D .
Now, take the non-vanishing analytic functions q 1 z and q 2 z in D that satisfy the following condition:
q 1 0   = q 2 0   = 1 .
In this paper, we define a class of functions f z A that satisfy the following condition:
f z q 1 z q 2 z .
Instead of q 2 z , we will now select a specific function. Additionally, q 1 z should be subordinated to another function. These options are:
q 1 z e z and q 2 z   = 1 + sin z .
Using the above-mentioned concept, we now consider the following class:
p *   =   f A : f z q 1 z 1 + sin z & q 1 z e z , z D .
To show the functions class p * is nonempty. For this, let f 1 , q 1 C be given by:
q 1 ( z )   = e z
and:
f 1 ( z )   = e z 2 ( sin ( z ) cos ( z ) + 2 ) .
Then:
f 1 z q 1 z 1 + sin z .
The problem of determining coefficient bounds offers information on a complex-valued function’s geometry. In particular, the second coefficient provides information about the growth and distortion theorems for functions in class S . Similarly, in the study of singularities and power series with integral coefficients, the Hankel determinants are particularly useful. In 1976, Noonan and Thomas [1] stated the qth Hankel determinant for q 1 and n 1 of functions f as follows:
H q , n f     =   a n a n + 1 a n + q 1 a n + 1 a n a n + q 2 a n + q 1 a n + q 2 a n , a 1   = 1 .
For some special choices of n and q we have the following selections.
  • For q   = 2 , n   = 1 :
    H 2 , 1 f   = Δ 1 , where Δ 1   = a 1 a 2 a 2 a 3   = a 3 a 2 2 , a 1   = 1 ,
    is the famed Fekete-Szegő functional.
  • For q   = 2 , n   = 2 :
    H 2 , 2 f   = Δ 2 , where Δ 2   =   a 2 a 3 a 3 a 4   = a 2 a 3 a 3 2 ,
    is the second Hankel determinant. Janteng et al. [2] (see also [3]) investigated the sharp boundaries of H 2 2 for the class of S * , C , and R , which are listed below:
    H 2 , 2 f     1 f S * , 1 8 f C , 4 9 f K .
    Krishna [4] derived a precise estimate of H 2 , 2 f for the class of Bazilevič functions. On the other hand the sharp bound of H 2 , 2 f for the class of close-to-convex functions remains unknown.
  • For q   = 3 , n   = 1 :
    H 3 , 1 f   = Δ 3 , where Δ 3   = a 1 a 2 a 3 a 2 a 3 a 4 a 3 a 4 a 5 ,
    is the third Hankel determinant. Babalola [5] obtained the upper bound of H 3 , 1 f for S * , C , and K . Later, other writers calculated the bounds of H 3 , 1 f for different subclasses of analytic and univalent functions. In 2016, Zaprawa [6] enhanced Babalola’s results and demonstrated that:
    H 3 , 1 f     1 f S * , 49 540 f C , 41 60 f K .
    He also thought that the bounds were still not sharp. Later, in 2018, Kwon improved the Zaprawa inequality for f S * by achieving H 3 , 1 f     8 9 , and in 2021, Zaprawa refined this bound even further by establishing that H 3 , 1 f     5 9 for f S * . In the papers [7,8], the non-sharp bounds of this determinant for the sets S sin * and S c a r * , respectively, were also computed. They succeeded in achieving:
    H 3 , 1 f     0.51856 , for f S sin * , 1.1989 , for f S c a r * .
    Many specialists have attempted to find the determinant’s sharp bounds, but none has been successful. Finally, in 2018, Kowalczyk et al. [9] and Lecko et al. [10] achieved the following sharp bounds of H 3 , 1 f for the sets C and S * 1 2 , respectively:
    H 3 , 1 f     4 135 , for f C , 1 9 , for f S * 1 2 .
    For more information on this topic, the reader should look at the works of Srivastava et al. [11], and Wang et al. [12].
  • For q   = 4 , n   = 1 :
    H 4 , 1 f   = Δ 4 , where Δ 4   =   a 1 a 2 a 3 a 4 a 2 a 3 a 4 a 5 a 3 a 4 a 5 a 6 a 4 a 5 a 6 a 7 ,
    is the fourth Hankel determinant. Since f S and a 1   = 1 , thus:
    H 4 1   = a 7 a 3 I 1 a 4 I 2 + a 5 I 3 a 6 a 3 I 4 a 4 I 5 + a 6 I 3 + a 5 a 3 I 6 a 5 I 5 + a 6 I 2 a 4 a 4 I 6 a 5 I 4 + a 6 I 2 ,
    where:
    I 1   = a 2 a 4 a 3 2 , I 2   = a 4 a 2 a 3 , I 3   = a 3 a 2 2 , I 4   = a 2 a 5 a 3 a 4 , I 5   = a 5 a 2 a 4 , I 6   = a 3 a 5 a 4 2 .
Many articles have been published in the last few years looking for upper bounds for the second-order Hankel determinant H 2 ( 2 ), the third-order Hankel determinant H 3 ( 1 ) and the fourth hankel determinant H 4 ( 1 ) , see for example [13,14]. Arif et al. [15] recently researched the problem of the fourth Hankel determinant for the class of bounded turning functions for the first time and successfully achieved the bound of H 4 , 1 f . Khan et al. [16] examined a range of bounded-turning functions that are connected to sine functions and found upper bounds for the third- and fourth-order Hankel determinants. As far as we know, there is minimal work related with the fourth Hankel determinant in the literature. The major objective of this work is to define a new subclass of analytic function using a new technique, we then find the fourth Hankel determinant for the our newly defined functions class.

2. A Set of Lemmas

In order to prove our desired results, we shall require the following Lemmas:
Lemma 1
(see [17]). If p z P , then there exist some x , z with x   1 , z   1 , such that:
2 c 2   = c 1 2 + 4 c 1 2 , 4 c 3   = c 1 3 + 2 c 1 x 4 c 1 2 c 1 x 2 4 c 1 2 + 2 4 c 1 2 1 x 2 z .
Lemma 2
(see [18]). Let p z P , then:
c 4 + c 2 2 + 2 c 1 c 3 3 c 1 2 c 2 c 4   2 , c 1 5 + 3 c 1 c 2 2 + 3 c 1 2 c 3 4 c 1 3 c 2 2 c 1 c 4 2 c 2 c 3 + c 5   2 , c 1 6 + 6 c 1 2 c 2 2 + 4 c 1 3 c 3 + 2 c 1 c 5 + 2 c 2 c 4 + c 3 2 c 2 3 5 c 1 4 c 2 3 c 1 2 c 4 6 c 1 c 2 c 3 c 6   2 , c n   2 , n   = 1 , 2 , 3 ,
Lemma 3
(see [19]). Let p z P , then:
c 2 c 1 2 2   2 c 1 2 2 , c n + k μ c n c k   < 2 0   μ   1 , c n + 2 k μ c n c k 2   2 1 + 2 μ .

3. Main Results

We now state and prove the main results of our present investigation. The first result is about to find the bounds for the first seven initial coefficients for our defined functions class p * . The proceeding results shall be used in order to prove the major result (the fourth Hankel Determinant) for this define functions class.
Theorem 1.
If the function f z p * and is of the form (1), then:
a 2 1 , a 3 0.666 67 , a 4 0.5481125224 , a 5 0.608 , a 6 0.5878016243 , a 7 0.42857 .
Proof. 
Since f z p * , according to the definition of subordination, then there exists a Schwarz function w z with w 0   = 0 and w z < 1 , such that:
f z q 1 z   = 1 + sin w z ,
where:
q 1 z e z
and we define a function:
p z   = 1 + w z 1 w z   = 1 + c 1 z + c 2 z 2 + .
It is easy to see that p z P and:
w z   = p z + 1 p z 1   = c 1 z + c 2 z 2 + c 3 z 3 + 2 + c 1 z + c 2 z 2 + c 3 z 3 + .
On the other hand:
1 + sin w z = 1 + 1 2 c 1 z + 1 2 c 2 1 4 c 1 2 z 2 + 1 2 c 1 c 2 + 1 2 c 3 + 5 48 c 1 3 z 3 + 5 16 c 2 c 1 2 1 32 c 1 4 1 4 c 2 2 1 2 c 1 c 3 + 1 2 c 4 z 4
and:
e w z = 1 + 1 2 c 1 z + 1 2 c 2 1 8 c 1 2 z 2 + 1 4 c 1 c 2 + 1 2 c 3 + 1 48 c 1 3 z 3 + 1 16 c 2 c 1 2 + 1 384 c 1 4 1 8 c 2 2 1 4 c 1 c 3 + 1 2 c 4 z 4
Using (12) and (13) we achieve:
1 + sin w z e w z = c 1 z + c 2 c 1 2 8 z 2 + c 3 c 1 c 2 4 c 1 3 16 z 3 + c 4 3 c 2 c 1 2 16 c 1 c 3 4 1 c 2 2 8 + 25 c 1 4 384 z 4 + c 5 c 2 c 3 4 c 1 c 4 4 + 25 c 1 3 c 2 96 3 c 2 c 1 2 16 143 c 1 5 3840 3 c 1 2 c 3 16 z 5 + c 6 3 c 4 c 1 2 16 c 2 3 c 3 16 c 1 c 5 4 + 25 c 1 3 c 3 96 + 25 c 1 2 c 2 2 64 143 c 2 c 1 4 768 743 c 1 6 c 3 46080 c 3 2 8 3 c 1 c 2 c 3 8 c 2 c 4 4 z 6 + .
Additionally:
f z   = z + n   = 2 n a n z n 1   = 1 + 2 a 2 z 1 + 3 a 3 z 2 + 4 a 4 z 3 + 5 a 5 z 4 + .
When the coefficients of z , z 2 , z 3 are compared between the Equations (14) and (15), we get:
a 2 = c 1 2 , a 3   = c 2 3 c 1 2 24 , a 4   = c 1 c 2 16 c 1 3 64 + c 3 4 ,
a 5 = 3 c 1 2 c 2 80 c 1 c 3 20 c 2 2 40 + c 4 5 + 5 c 1 4 384 ,
a 6 = c 2 c 3 24 c 1 c 4 24 + 25 c 2 c 1 3 576 + c 5 6 3 c 1 c 2 2 96 143 c 1 5 23040 3 c 1 2 c 3 96 ,
a 7 = 3 c 1 2 c 4 112 c 2 3 112 c 1 c 5 28 + 25 c 3 c 1 3 672 + 25 c 1 2 c 2 2 448 143 c 2 c 1 4 5376 + 743 c 1 6 322560 + c 6 7 c 3 2 56 3 c 1 c 2 c 3 56 c 2 c 4 28 .
Using Lemma 2, we are easily able to obtain:
a 2     1 ,
a 3   =   c 2 3 c 1 2 24 .
Using Lemma 1, we get:
a 3   =   c 1 2 + x 4 c 1 2 6 c 1 2 24   =   c 1 2 8 + x 4 c 1 2 6 .
We suppose that x   = t 0 , 1 , c 1   = c 0 , 2 . Additionally, if we apply the triangle inequality to the equation above, we get:
a 3   c 2 8 + t 4 c 2 6 .
Assume that:
F c , t   = c 2 8 + t 4 c 2 6 .
Then there is what we achieved:
F t   = 4 c 2 6 0 ,
F c , t is clearly increasing on [ 0 , 1 ] . As a result, at t   = 1 , the function F c , t can obtain the maximum value:
max F c , t   = F c , 1   = c 2 8 + 4 c 2 6 .
Let:
G c   = 2 3 c 2 24 , G c   = c 12   0 .
As a result, G c has a maximum value at c = 0 , as seen below:
a 3   G 0   =   2 3 ,
a 4   =   c 1 c 2 16 c 1 3 64 + c 3 4   =   1 4 c 3 c 1 c 2 8 + c 1 32 c 2 c 1 2 2 .
Let c 1   = c , c 0 , 2 ; by using Lemma 3, we get:
a 4   =   1 4 c 3 c 1 c 2 8 + c 32 c 2 c 1 2 2   1 2 + c 32 2 c 2 2 .
Now, suppose:
F c   = 1 2 + c 16 c 3 64 .
Obviously, we come across:
F c   = 1 16 3 c 2 64 ,
the critical points of the function F c are c   = ± 2 3 3 , and we have:
F c   = F 2 3 3   = 0.1082531755 < 0 .
Hence, the maximum value of F c is given by:
a 4   F 2 3 3   = 1 2 + c 16 c 3 64   = 0.5481125224 ,
a 5 = 3 c 1 2 c 2 80 c 1 c 3 20 c 2 2 40 + c 4 5 + 5 c 1 4 384 = 1 5 c 4 c 1 c 3 4 5 c 1 2 192 c 2 c 1 2 2 c 2 40 c 2 c 1 2 2 11 c 1 2 c 2 960 .
Let c 1   = c , c 0 , 2 according to Lemma 3:
a 5 2 5 + 5 c 2 192 2 c 2 2 + 1 20 2 c 2 2 + 23 c 2 480 = 1 2 + 3 c 2 40 5 c 4 384 .
Assume that:
F c   = 1 2 + 3 c 2 40 5 c 4 384 .
Obviously, we come across:
F c   = 3 c 20 5 c 3 96 .
Setting F c   = 0 , we get:
c   = 6 2 5 , c   = 0 .
So, for c   = 6 2 5 , we achieved:
F 6 2 5   = 3 10 < 0 .
As a result, at c   = 6 2 5 , the function F c can obtain the maximum value:
a 5   F 6 2 5   = 76 125   = 0.608 .
a 6 = c 2 c 3 24 c 1 c 4 24 + 25 c 2 c 1 3 576 + c 5 6 3 c 1 c 2 2 96 143 c 1 5 23040 3 c 1 2 c 3 96 = 1 8 c 5 c 1 c 4 3 + 1 24 c 5 c 1 c 3 + 143 c 1 3 11520 c 2 c 1 2 2 3 c 1 c 2 96 c 2 c 1 2 2 + 59 c 1 3 c 2 3840 3 c 1 2 c 3 96 .
Let c 1   = c , c 0 , 2 , by using Lemma 3 we get:
a 6 2 8 + 2 24 + 143 c 3 11520 2 c 2 2 + 1 8 2 c 2 2 + 59 c 3 1920 = 7 12 c 2 16 + c 3 18 143 c 5 23040 + 3 c 2 48 .
Assume:
F c   = 7 12 + c 3 18 143 c 5 23040 .
Obviously, we come across:
F c   = c 2 6 143 c 4 4608 .
Setting F c   = 0 , we get c   = 0 is only one root lies in 0 , 2 . So for c   = 0 , the function F c can obtain the maximum value:
a 6   F 0   = 7 12   = 0.5833 .
a 7 = 3 c 1 2 c 4 112 c 2 3 112 c 1 c 5 28 + 25 c 3 c 1 3 672 + 25 c 1 2 c 2 2 448 143 c 2 c 1 4 5376 + 743 c 1 6 322560 + c 6 7 c 3 2 56 3 c 1 c 2 c 3 56 c 2 c 4 28 = 3 c 1 2 c 4 c 1 2 112 3 c 1 c 2 c 3 c 1 c 2 56 + 25 c 1 3 c 3 c 1 c 3 672 + 19 c 1 4 1792 c 2 c 1 2 2 c 2 2 112 c 2 c 1 2 2 1 7 c 6 c 2 c 4 4 + 2453 c 1 6 322560 + 11 c 1 2 c 2 2 64 c 3 2 56 c 1 c 5 28 .
By taking c 1   = c , c 0 , 2 , along with the use of Lemma 3, we obtained:
a 7   5 14 + 2 c 7 81 c 2 56 + 25 c 3 336 + 19 c 4 896 + 743 c 6 322560 .
Assume:
F c   = 5 14 + 2 c 7 81 c 2 112 + 25 c 3 336 + 19 c 4 896 + 743 c 6 322560 .
Obviously, we come across:
F c   = 2 7 81 c 56 + 25 c 2 112 + 19 c 3 224 + 743 c 5 53760 .
When we set F c = 0, we get c = 0.20449 , which is the only root of F c = 0, belonging to the interval 0 , 2 , obviously, we find:
F c = 81 56 + 25 c 56 + 57 c 2 224 + 743 c 4 10752 , F c   = 0.20449 = 1.3439 .
As a result, at c   = 0.20449 , F ( c ) reaches its maximum value:
a 7   F 0.20449   = 0.386000091 .
Hence the proof is completed. □
Theorem 2.
If the function f z p * and is of the form (1), then we have:
a 3 a 2 2   2 3 .
Proof. 
From (16), we have:
a 3 a 2 2   =   c 2 3 7 c 1 2 24 .
Using Lemma 1, we get:
a 3 a 2 2   =   c 1 2 + x 4 c 1 2 6 7 c 1 2 24 .
We suppose that x   = t 0 , 1 , c 1   = c 0 , 2 . Additionally, if we apply the triangle inequality to the equation above, we get:
a 3 a 2 2   t 4 c 2 6 c 2 8 .
Assume that:
F c , t   =   a 3 a 2 2   t 4 c 2 6 c 2 8 .
Obviously, we find:
F t   = 4 c 2 6 0 ,
F c , t is clearly increasing on [ 0 , 1 ] . As a result, at t   = 1 , the function F c , t can obtain the maximum value:
max F c , t   = F c , 1   = 4 c 2 6 c 2 8   = 2 3 c 2 24 .
Let:
G c   = 2 3 c 2 24 G c   = c 12   0 ,
G c is clearly decreasing on [ 0 , 2 ] . As a result, at c   = 0 , the function G c can obtain the maximum value:
a 3 a 2 2   G 0   = 2 3 .
Hence, proving Theorem 2. □
Theorem 3.
If the function f z p * and of the form (1), then we have:
a 2 a 3 a 4   0.540256083 .
Proof. 
From (16), we have:
a 2 a 3 a 4   = c 1 c 2 6 c 1 3 48 c 1 c 2 16 + c 1 3 64 c 3 4   = 5 c 1 c 2 48 c 1 3 192 c 3 4 .
We can deduce from the Lemma 1 that:
a 2 a 3 a 4   =   c 1 3 64 + 7 c 1 x 4 c 1 2 96 + c 1 x 2 4 c 1 2 16 4 c 1 2 1 x 2 z 8 .
We suppose that x   = t 0 , 1 , c 1   = c 0 , 2 . Additionally, if we apply the triangle inequality to the equation above, we get:
a 2 a 3 a 4   c 3 64 + 7 c t 4 c 2 96 + c t 2 4 c 2 16 + 4 c 2 8 .
Suppose that:
F c , t   = c 3 64 + 7 c t 4 c 2 96 + c t 2 4 c 2 16 + 4 c 2 8 .
Then, we obtain:
F t   = 7 c 4 c 2 96 + c t 4 c 2 8 0 .
As a result, F c , t is an increasing function about t on the closed interval 0 , 1 . This means that F c , t , reaches its maximum value at t   = 1 , which is:
max F c , t   = F c , 1   = c 3 64 + 7 c 4 c 2 96 + c 4 c 2 16 + 4 c 2 8 .
Now, define:
G c   = c 3 64 + 7 c 4 c 2 96 + c 4 c 2 16 + 4 c 2 8   = 1 4 + 13 c 24 c 2 8 23 c 3 192 .
Obviously, we find:
G c   = 13 24 c 4 23 c 2 64 .
When we set G c = 0, we get c = 24 + 29280 138 , obviously, we find:
G c   = 1 4 23 c 32 , G c   = G 24 + 29280 138   = 1.066043457 .
As a result, the function G c reaches its greatest value at c  c   = r   = 24 + 29280 138 , which is also:
a 2 a 3 a 4   = G c   = G 24 + 29280 138   0.540256083 .
The proof of Theorem 3 is completed. □
Theorem 4.
If the function f z p * and is of the form (1), then we have:
a 2 a 4 a 3 2   17 18 .
Proof. 
From (16), we have:
a 2 a 4 a 3 2   = c 1 2 c 2 32 c 1 4 128 + c 1 c 3 8 c 2 3 c 1 2 24 2   = 17 c 1 2 c 2 288 11 c 1 4 64 + c 1 c 3 8 c 2 2 9 .
As a result of Lemma 1, we obtain:
a 2 a 4 a 3 2 =   17 c 1 2 c 2 288 11 c 1 4 64 + c 1 c 3 8 c 2 2 9 =   7 c 1 2 x 4 c 1 2 192 c 1 2 x 2 4 c 1 2 32 + c 1 4 c 1 2 1 x 2 z 16 + x 2 4 c 1 2 2 36 + 3 c 1 4 128 .
We suppose that x   = t 0 , 1 , c 1   = c 0 , 2 . Additionally, if we apply the triangle inequality to the equation above, we get:
a 2 a 4 a 3 2   7 t c 2 4 c 2 192 + c 2 t 2 4 c 2 32 + t 2 4 c 2 2 36 + 4 c 2 2 + 3 c 4 128 .
Suppose that:
F c , t   = 7 t c 2 4 c 2 192 + c 2 t 2 4 c 2 32 + t 2 4 c 2 2 36 + 4 c 2 2 + 3 c 4 128 .
Obviously, we find:
F t   = 7 c 2 4 c 2 192 + t c 2 4 c 2 16 + t 4 c 2 2 18 0 .
As a result, F c , t is an increasing function about t on the closed interval 0 , 1 . This means that F c , t , reaches its maximum value at t   = 1 , which is:
max F c , t   = F c , 1   = 7 c 2 4 c 2 192 + c 2 4 c 2 32 + 4 c 2 2 36 + 4 c 2 2 + 3 c 4 128 .
Now, define:
G c = 7 c 2 4 c 2 192 + c 2 4 c 2 32 + 4 c 2 2 36 + 4 c 2 2 + 3 c 4 128 = 17 18 11 c 2 144 19 c 4 1152 .
Then:
G c   = 11 c 72 19 c 3 288   0 .
This means that at c   = 0 , the function G c can reach its maximum value:
a 2 a 4 a 3 2   = G c   = G 0   17 18 .
We complete the proof of Theorem 4. □
Theorem 5.
If the function f z p * and is of the form (1), then we have:
a 2 a 5 a 3 a 4   1 3 .
Proof. 
From (16) and (17), we have:
a 2 a 5 a 3 a 4 = 9 c 1 3 c 2 640 7 c 1 2 c 3 480 + c 1 c 2 2 30 + c 1 c 4 10 3 c 1 5 512 c 2 c 3 12 = 9 c 1 3 c 2 c 1 2 2 640 c 3 c 2 c 1 2 2 12 9 c 1 c 4 c 1 c 3 160 + 7 c 1 c 4 16 c 2 2 21 160 + 33 c 1 5 2560 .
Using Lemma 3, we obtain:
a 2 a 5 a 3 a 4   9 c 3 2 c 2 2 640 + 2 c 2 2 6 + c 5 + 33 c 5 2560 = 1 3 + c 5 c 2 12 + 9 c 3 320 + 3 c 5 512 .
Assume that:
F c   =   1 3 + c 5 c 2 12 + 9 c 3 320 + 3 c 5 512 .
Obviously, we find:
F c   = 1 5 c 6 + 27 c 3 320 + 15 c 4 512 .
When we set F c = 0, we get c = 0, c   = 1.2678 . Consequently, we find:
F c = 1 6 + 27 c 160 + 15 c 3 512 , F 0 = 1 6 < 0 .
Consequently, at c   = 0 , F c reaches its maximum value, which is:
a 2 a 5 a 3 a 4   F 0   1 3 .
We complete the proof of Theorem 5. □
Theorem 6.
If the function f z p * and is of the form (1), then we have:
a 5 a 2 a 4   2147 3680 .
Proof. 
From (16) and (17), we have:
a 5 a 2 a 4 = c 1 4 48 7 c 1 c 3 40 3 c 1 c 2 2 160 c 2 2 40 + c 4 5 = c 1 4 + c 2 2 + 2 c 1 c 3 3 c 1 2 c 2 c 4 40 + 3 c 1 2 c 2 c 1 2 2 32 c 1 4 960 + 7 c 4 40 c 1 c 3 56 40 .
Letting x   = t 0 , 1 , c 1   = c 0 , 2 and using Lemmas 2 and 3, we obtain:
a 5 a 2 a 4   2 40 + 3 c 2 2 c 2 2 32 + 7 20 + c 4 960 .
Suppose that:
F c   = 2 5 + 3 c 2 16 23 c 4 480 .
Obviously, we find:
F c   = 3 c 8 23 c 3 120 .
When we set F c = 0, we get c = 0, c   = ± 3 115 23 . Consequently, we find:
F c   = 3 8 23 c 2 40 , F 3 115 23   = 0.7499999 .
This means that F c reaches its maximum value at c   = 3 115 23 , which is:
a 5 a 2 a 4   F 3 115 23   = 2147 3680 .
The proof of the Theorem 6 is now complete. □
Theorem 7.
If the function f z p * and is of the form (1), then we have:
a 5 a 3 a 4 2   7 12 .
Proof. 
From (16) and (17), we have:
a 5 a 3 a 4 2 = 9 c 1 2 c 2 2 768 23 c 1 c 2 c 3 480 c 2 3 120 + c 2 c 4 15 + 133 c 1 4 c 2 23040 + 19 c 1 3 c 3 1920 c 1 2 c 4 120 29 c 1 6 36864 c 3 2 16 = c 2 15 c 4 23 c 1 c 3 2 c 3 16 c 3 23 c 1 c 2 2 c 2 2 c 2 c 1 2 2 120 11 c 1 2 c 2 c 2 c 1 2 2 3840 + 19 c 1 3 1920 c 3 9600 c 1 c 2 21888 c 1 2 c 4 120 29 c 1 6 36864 .
After that, use Lemmas 2 and 3, we obtain:
a 5 a 3 a 4 2   4 15 + 1 4 + 1 30 2 c 2 2 + 11 c 2 1920 2 c 2 2 + 19 c 3 960 + c 1 2 c 4 120 29 c 6 36864 .
Assume that:
F c = 4 15 + 1 4 + 1 30 2 c 2 2 + 11 c 2 1920 2 c 2 2 + 19 c 3 960 + c 2 c 4 120 29 c 6 36864 = 7 12 + 11 c 2 960 + 19 c 3 960 11 c 4 3840 + 29 c 6 36834 .
Then for all c 0 , 2 we have:
F c   = 11 c 480 + 19 c 2 320 11 c 3 960 + 29 c 5 6144 .
When we set F c = 0, we get c = 0, which is the only root of F c = 0, belonging to the 0 , 2 , obviously, we find:
F c   = 7 160 + 19 c 160 11 c 2 320 + 145 c 4 6144 , F 0   = 7 160 .
This means that F c reaches its maximum value at c   = 0 , which is:
a 5 a 3 a 4 2   7 12 .
We complete the proof of Theorem 7. □
We now state and prove the result related to fourth Hankel Determinant. We will use all the above results in order to obtain the bound for H 4 ( 1 ) .
Theorem 8.
If the function f ( z ) p * and is of the form (1), then we have:
H 4 ( 1 )   1.15
Proof. 
H 4 ( 1 ) = a 7 a 3 a 2 a 4 a 3 2 a 4 a 4 a 2 a 3 + a 5 a 3 a 2 2 a 6 a 3 a 2 a 5 a 3 a 4 a 4 a 5 a 2 a 4 + a 6 a 3 a 2 2 a 6 a 3 a 2 a 5 a 3 a 4 a 4 a 5 a 2 a 4 + a 6 a 3 a 2 2 + a 5 a 3 a 3 a 5 a 4 2 a 5 a 5 a 2 a 4 + a 6 a 4 a 2 a 3 a 4 a 4 a 3 a 5 a 4 2 a 5 a 2 a 5 a 3 a 4 + a 6 a 4 a 2 a 3 ,
so, by applying the triangle inequality, we obtain:
H 4 ( 1 ) =   a 7 a 3 a 2 a 4 a 3 2 + a 4 a 4 a 2 a 3 + a 5 a 3 a 2 2 + a 6 a 3 a 2 a 5 a 3 a 4 + a 4 a 5 a 2 a 4 + a 6 a 3 a 2 2 + a 6 a 3 a 2 a 5 a 3 a 4 + a 4 a 5 a 2 a 4 + a 6 a 3 a 2 2 + a 5 a 3 a 3 a 5 a 4 2 + a 5 a 5 a 2 a 4 + a 6 a 4 a 2 a 3 + a 4 2 a 3 a 5 a 4 2 a 5 a 2 a 5 a 3 a 4 + a 6 a 4 a 2 a 3 .
Next, substituting Equations (9), (21), (23)–(28) into (30), we easily get the desired assertion as given in (29). □

4. Conclusions

In Geometric Function Theory, many authors have studied and investigated the third Hankel determinant problems for different subclasses of analytic functions as described in the introduction section. Recently, the investigation of the third and fourth Hankel determinant got attractions of many well-known mathematicians see for example [20,21,22,23,24,25,26,27]. We have essentially motivated by the recent research going on, in this paper, we have first considered the class of normalized holomorphic functions f in such way that the ratio f z q 1 z is subordinate to q 2 z , where q 1 z and q 2 z are non-vanishing holomorphic functions in the open unit disc. We have then derived the fourth Hankel determinant bound for our defined functions class.
In concluding our present investigation, one may attempt to produce the similar bounds for different subclasses of analytic functions. The current results presented in this article can be derive by means of certain q-difference operators.

Author Contributions

H.T., M.A., M.H., N.K., M.K., K.A. and B.K. equally contributed to this manuscript and approved the final version. All authors have read and agreed to the published version of the manuscript.

Funding

The present investigation was partly supported by the National Natural Science Foundation of the Peoples Republic of China under Grant 11561001, the Program for Young Talents of Science and Technology in Universities of Inner Mongolia Autonomous Region under Grant NJYT-18-A14, the Natural Science Foundation of Inner Mongolia of the Peoples Republic of China under Grant 2018MS01026, and the Higher School Foundation of Inner Mongolia of the Peoples Republic of China under Grant NJZY20200.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

No date were used to support this study.

Acknowledgments

The authors are thankful to the reviewers for their valuable suggestions.

Conflicts of Interest

The authors declare that they have no conflict of interest.

References

  1. Noonan, 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] [CrossRef]
  2. Janteng, A.; Halim, S.; Darus, M. Coefficient inequality for a function whose derivative has a positive real part. J. Inequalities Pure Appl. Math. 2006, 7, 1–5. [Google Scholar]
  3. Janteng, S.; Halim, A.; Darus, M. Hankel determinant for starlike and convex functions. Int. J. Math. Anal. 2007, 13, 619–625. [Google Scholar]
  4. Krishna, D.V.; Reddy, T.R. Second Hankel determinant for the class of Bazilevic functions. Stud. Univ. Babes-Bolyai Math. 2015, 60, 413–420. [Google Scholar]
  5. Babalola, K.O. On H3(1) Hankel determinant for some classes of univalent functions. Inequal. Theory Appl. 2007, 6, 1–7. [Google Scholar]
  6. Zaprawa, P. Third Hankel determinants for subclasses of univalent functions. Mediterr. J. Math. 2017, 14, 19. [Google Scholar] [CrossRef] [Green Version]
  7. Arif, M.; Raza, M.; Tang, H.; Hussain, S.; Khan, H. Hankel determinant of order three for familiar subsets of analytic functions related with sine function. Open Math. 2019, 17, 1615–1630. [Google Scholar] [CrossRef]
  8. Shi, L.; Ali, I.; Arif, M.; Cho, N.E.; Hussain, S.; Khan, H. A study of third Hankel determinant problem for certain subfamilies of analytic functions involving cardioid domain. Mathematics 2019, 7, 418. [Google Scholar] [CrossRef] [Green Version]
  9. Kowalczyk, B.; Lecko, A.; Sim, Y.J. The sharp bound of the Hankel determinant of the third kind for convex functions. Bull. Aust. Math. Soc. 2018, 97, 435–445. [Google Scholar] [CrossRef]
  10. Lecko, A.; Sim, Y.J.; Śmiarowska, B. The sharp bound of the Hankel determinant of the third kind for starlike functions of order 12. Complex Anal. Oper. Theory 2019, 13, 2231–2238. [Google Scholar] [CrossRef] [Green Version]
  11. Srivastava, H.M.; Kaur, G.; Singh, G. Estimates of the fourth Hankel determinant for a class of analytic functions with bounded turnings involving cardioid domains. J. Nonlinear Convex Anal. 2021, 22, 511–526. [Google Scholar]
  12. Wang, Z.-G.; Raza, M.; Arif, M.; Ahmad, K. On the third and fourth Hankel determinants for a subclass of analytic functions. Bull. Malays. Math. Sci. Soc. 2022, 45, 323–359. [Google Scholar] [CrossRef]
  13. Breaz, V.D.; Cătas, A.; Cotîrlă, L. On the Upper Bound of the Third Hankel Determinant for Certain Class of Analytic Functions Related with Exponential Function. An. Șt. Univ. Ovidius Constanța 2022, 30, 75–89. [Google Scholar] [CrossRef]
  14. Rahman, I.A.R.; Atshan, W.G.; Oros, G.I. New Concept on Fourth Hankel Determinant of a Certain Subclass of Analytic Functions. Afr. Mat. 2022, 33, 7. [Google Scholar] [CrossRef]
  15. Arif, M.; Rani, L.; Raza, M.; Zaprawa, P. Fourth Hankel determinant for the family of functions with bounded turning. Bull. Korean Math. Soc. 2018, 55, 1703–1711. [Google Scholar]
  16. Khan, M.G.; Ahmad, B.; Sokol, J.; Muhammad, Z.; Mashwani, W.K.; Chinram, R.; Petchkaew, P. Coefficient problems in a class of functions with bounded turning associated with sine function. Eur. J. Pure Appl. Math. 2021, 14, 53–64. [Google Scholar] [CrossRef]
  17. 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]
  18. Ravichandran, V.; Verma, S. Bound for the fifth coefficient of certain starlike functions. Comptes Rendus Math. 2015, 353, 505–510. [Google Scholar] [CrossRef]
  19. Pommerenke, C. Univalent functions. In Mathematik, Lehrbucher, Vandenhoeck and Ruprecht; Vandenhoeck & Ruprecht: Gottingen, Germany, 1975. [Google Scholar]
  20. Bansal, D. Upper bound of second Hankel determinant for a new class of analytic functions. Appl. Math. Lett. 2013, 26, 103–107. [Google Scholar] [CrossRef] [Green Version]
  21. Bansal, D.; Maharana, S.; Prajapat, J.K. Third order Hankel determinant for certain univalent functions. J. Korean Math. Soc. 2015, 52, 1139–1148. [Google Scholar] [CrossRef] [Green Version]
  22. Lee, S.K.; Ravichandran, V.; Supramaniam, S. Bounds for the second Hankel determinant of certain univalent functions. J. Inequalities Appl. 2013, 2013, 729. [Google Scholar] [CrossRef] [Green Version]
  23. Mashwani, W.K.; Ahmad, B.; Khan, N.; Khan, M.G.; Arjika, S.; Khan, B.; Chinram, R. Fourth Hankel Determinant for a Subclass of Starlike Functions Based on Modified Sigmoid. J. Funct. Spaces 2021, 2021, 6116172. [Google Scholar] [CrossRef]
  24. Murugusundaramoorthy, G.; Bulboacă, T. Hankel determinants for new subclasses of analytic functions related to a shell shaped region. Mathematics 2020, 8, 1041. [Google Scholar] [CrossRef]
  25. Raza, M.; Malik, S.N. Upper bound of the third Hankel determinant for a class of analytic functions related with lemniscate of Bernoulli. J. Inequalities Appl. 2013, 2013, 2378. [Google Scholar] [CrossRef] [Green Version]
  26. Zaprawa, P.; Obradović, M.; Tuneski, N. Third Hankel determinant for univalent starlike functions. Rev. Real Acad. Cienc. Exactas Fis. Nat. Mat. 2021, 115, 49. [Google Scholar] [CrossRef]
  27. Zhang, Y.H.; Tang, H. A Study of Fourth-Order Hankel Determinants for Starlike Functions Connected with the Sine Function. J. Funct. Spaces 2021, 2021, 9991460. [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

Tang, H.; Arif, M.; Haq, M.; Khan, N.; Khan, M.; Ahmad, K.; Khan, B. Fourth Hankel Determinant Problem Based on Certain Analytic Functions. Symmetry 2022, 14, 663. https://doi.org/10.3390/sym14040663

AMA Style

Tang H, Arif M, Haq M, Khan N, Khan M, Ahmad K, Khan B. Fourth Hankel Determinant Problem Based on Certain Analytic Functions. Symmetry. 2022; 14(4):663. https://doi.org/10.3390/sym14040663

Chicago/Turabian Style

Tang, Huo, Muhammad Arif, Mirajul Haq, Nazar Khan, Mustaqeem Khan, Khurshid Ahmad, and Bilal Khan. 2022. "Fourth Hankel Determinant Problem Based on Certain Analytic Functions" Symmetry 14, no. 4: 663. https://doi.org/10.3390/sym14040663

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