Bernardi Integral Operator and Its Application to the Fourth Hankel Determinant
Abstract
In recent years, the theory of operators got the attention of many authors due to its applications in different fields of sciences and engineering. In this paper, making use of the Bernardi integral operator, we define a new class of starlike functions associated with the sine functions. For our new function class, extended Bernardi’s theorem is studied, and the upper bounds for the fourth Hankel determinant are determined.
1. Introduction
- (1)
For q = 2, n = 1,
- (2)
For q = 2, n = 2,
- (3)
For q = 3, n = 1,
- (4)
For q = 4, n = 1,
In the last few years, many articles have been published to investigate the upper bounds for the second-order Hankel determinant Δ2,2(f), third-order Hankel determinant Δ3,1(f), and fourth Hankel determinant Δ4,1(f). For the functions with bounded turning, Arif et al. [17, 18] estimated the bound for the fourth- and fifth-order Hankel determinants. Khan et al. [19] also addressed this issue and derived upper bounds for the third- and fourth-order Hankel determinants for a class of functions with bounded turning that are related to sine functions. For more study about the Hankel determinant, we refer to [19–29].
In geometric function theory (GFT), especially in the category of univalent functions, integral and differential operators are extremely helpful and important. Convolution of certain analytic functions has been used to introduce certain differential and integral operators. This approach is developed to facilitate further exploration of geometric features of analytic and univalent functions. Libera and Bernardi were the ones who investigated the classes of starlike, convex, and close-to-convex functions by introducing the idea of integral operators. Recently, some researchers have shown a keen interest in this field and developed various features of the integral and differential operators. Srivastava et al. [30] investigated a new family of complex-order analytic functions by using the fractional q-calculus operator. Mahmood et al. [31] looked at a group of analytic functions that were defined using q-integral operators. Using the q-analogue of the Ruscheweyh-type operator, Arif et al. [32] constructed a family of multivalent functions. Srivastava [33] presented a review on basic (or q-) calculus operators, fractional q-calculus operators, and their applications in GFT and complex analysis. This review article has been proven very helpful to investigate some new subclasses from different viewpoints and perspectives [34–40].
In the first part of the study, we extend Bernardi’s theorem to a certain class of univalent starlike functions in . Particularly, we prove that if , then . In the second part of the study, we investigate the upper bounds for the fourth-order Hankel determinant Δ4,1(f) with respect to the function class associated with the sine function.
2. Main Results
In order to obtain our desired results, we first need the following lemmas.
Lemma 1. Let M and N be holomorphic functions in such that N maps onto many sheeted starlike regions with M(0) = N(0) = 0 and M′(0) = N′(0) = 1. If , then
Proof. We know that
Also, σ(z) = 1 + sinz maps |z| < r onto the disc |σ(z) − 1| < sin(1). But M′(z)/N′(z) takes values in the same disc, and therefore,
Choose Λ(z) so that
Then, |Λ(z)| < sin(1). Fix z0 in . Let be the segment joining 0 and N(z0), which lies in one sheet of the starlike image of by N. Let be the preimage of under N. Then,
That is,
This implies that
Lemma 2 (see [12].)Let M(z) and N(z) be regular in and N(z) map onto many sheeted starlike regions:
Then,
Lemma 3. Let such that
Then, is (1 + γ)-valent starlike for γ = 1, 2, 3, ⋯, in .
Proof. The proof is analogous to the one given in [41] and hence omitted.
Proof. Let
Then,
By Lemma 3, is (1 + γ)-valent starlike for γ = 1, 2, 3, ⋯ in :
From Lemma 1, we can get the conclusion:
Lemma 5 (see [42].)If , then there exists some x, z with |x| ≤ 1, |z| ≤ 1, such that
Lemma 6 (see [43].)Let ; then,
Lemma 7 (see [44].)Let ; then,
Now, we are in position to present our main results.
Proof. Since , according to the definition of subordination, there exists a Schwarz function w(z) with w(0) = 0 and |w(z)| < 1 such that
Now,
It is easy to see that and
On the other hand,
When the coefficients of z, z2, z3 are compared between the equations (51) and (48), then we get
Using Lemma 6, we can simply obtain
with b1 = 1 and
If , then by comparing like powers of z, z2, ⋯, zn, we have
For sharpness, if we take
Again, by Lemma 6,
Let c1 = c, with c ∈ [0, 2]; then, by Lemma 7, we can get
Now, suppose that
Then obviously,
Setting F′(c) = 0, we can get , and hence, the maximum value of F(c) is given by
Also,
Let c1 = c, with c ∈ [0, 2]; then, again by Lemma 7,
Assume that
Obviously, we meet the requirement:
So the function F(c) attains its maximum value at c = 0, and it is given by
Next,
Take c1 = c, with c ∈ [0, 2]; then, according to Lemma 7, we have
Suppose that
Then obviously,
We see that F′′(0) < 0, and we get the maximum value at c = 0:
Finally,
Again, taking c1 = c, with c ∈ [0, 2], and using the result of Lemma 7, we can obtain
Let
Then obviously, F′(c) ≥ 0. As a result, the function F(c) attains its maximum value at c = 2. Hence,
Theorem 9. If the function and is of the form (1), then we have
Proof. From (52), we can write
Using Lemma 5, we get
We suppose that |x| = t ∈ [0, 1], and c1 = c ∈ [0, 2]. Also, if we apply the triangle inequality to the above equation, then we get
Assume that
Obviously, we can write
F(c, t) is increasing on [0, 1]. Therefore, at t = 1, the function F(c, t) will obtain its maximum value:
Let us take
It is clear that G(c) is decreasing on [0, 2]. So at c = 0, the function G(c) will obtain its maximum value:
This complete the proof.
Theorem 10. If the function and is of the form (1), then we have
Proof. From (52), we can write
From Lemma 5, we can deduce that
We suppose that |x| = t ∈ [0, 1], and c1 = c ∈ [0, 2]. Once again, if we apply the triangle inequality to the above equation, then we get
Suppose that
Then, we get
The above expression shows that F(c, t) is a decreasing function about t on the closed interval [0, 1]. This implies that F(c, t) will attain its maximum value at t = 0, which is
Now define
Since G′′(c) < 0, the function G(c) has maximum value at c = 0. That is,
Theorem 11. If the function and is of the form (1), then we have
Proof. Again from (52), we can write
Using the result of Lemma 5, we can obtain
Also, by Lemma 7, we have
Clearly H(c) is an increasing function about c on the closed interval [0, 2]. This means that H(c) will attain its maximum value at c = 2, which is H(c) ≤ 3. Thus,
Theorem 12. If the function and is of the form (1), then we have
Proof. From (52) and (53), we have
Using the result of Lemma 7, we can write
Obviously,
For M′(c) = 0, we can get c = 1.71468508801 and consequently M′′(1.71468508801) = −2.8693. As M′′(0) < 0, the maximum value at c = 0 is
Also,
where H(c) attains its maximum value at c = 2, so
Using the results of (109) and (111) in (106), we can get
Theorem 13. If the function and is of the form (1), then we have
Proof. From (52) and (53), we have
Letting |x| = t ∈ [0, 1] and c1 = c ∈ [0, 2] and using the results of Lemmas 6 and 7, we get
Suppose that
We see that H′(c) ≥ 0 and the maximum value of H(c) can be attained at c = 2, which is H(2) ≤ 7/9. Also,
If we set M′(c) = 0, then we get c = 1.46416723. Consequently, M′′(1.46416723) = −0.86. As M′′(0) < 0, the maximum value at c = 0 is given by M(0) ≤ 0.50. Hence,
Theorem 14. If the function and is of the form (1), then we have
Proof. From (52) and (53), we have
Now, using the results of Lemmas 6 and 7, we obtain
It is clear that H(c) is an increasing function, so it attains its maximum value at c = 2, which is
Also, for all c ∈ [0, 2], we have
When we set M′(c) = 0, then we get c = 1.464167. Obviously,
Hence,
Theorem 15. If the function and is of the form (1), then we have
3. Conclusion
Additionally, we have estimated the upper bounds of the fourth-order Hankel determinant for the functions class associated with the sine function systematically.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Authors’ Contributions
All authors equally contributed to this manuscript and approved the final version.
Open Research
Data Availability
No data were used to support this study.