Volume 2022, Issue 1 4227493
Research Article
Open Access

Bernardi Integral Operator and Its Application to the Fourth Hankel Determinant

Abid Khan

Abid Khan

School of Management Science and Engineering, Nanjing University of Information Science & Technology, Nanjing 210044, China nju.edu.cn

Search for more papers by this author
Mirajul Haq

Mirajul Haq

Department of Mathematics, Abdul Wali Khan University Mardan, Pakistan awkum.edu.pk

Search for more papers by this author
Luminiţa-Ioana Cotîrlă

Luminiţa-Ioana Cotîrlă

Department of Mathematics, Technical University of Cluj-Napoca, Romania utcluj.ro

Search for more papers by this author
Georgia Irina Oros

Corresponding Author

Georgia Irina Oros

Department of Mathematics and Computer Science, Faculty of Informatics and Sciences, University of Oradea, 410087 Oradea, Romania uoradea.ro

Search for more papers by this author
First published: 09 September 2022
Academic Editor: Mohammed S. Abdo

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

Let be the family of holomorphic (or analytic) functions in , and such that has the series representation:
(1)
Let be the subfamily of containing univalent functions in . Despite the fact that function theory was first proposed in 1851, it only became a viable research topic in 1916. Many academics attempted to prove or refute the conjecture |an| ≤ n, which was initially proven by de Branges in 1985, and as a result, they identified multiple subfamilies of the class that are connected to various image domains. The starlike, convex, and close-to-convex functions are among those families which are defined by
(2)
Let f and g be the two analytic functions in ; then, f is subordinate to g, denoted by
(3)
if there exists a Schwarz function w(z) satisfying the conditions:
(4)
such that
(5)
Let p(z) = 1 + c1z + c2z2 + ⋯ be an analytic and regular function in with p(0) = 1, , satisfying the criteria:
(6)
Then, this function is referred to as the Janowski function which is represented by . Geometrically, , and is inside the domain specified by
(7)
having diameter end points:
(8)
Let be the class of functions ϰ(z), where ϰ(0) = 0 = ϰ(0) − 1 are holomorphic in and meet the following requirements:
(9)
Distinct subclasses of analytic functions associated with various image domains have been introduced by many scholars. For example, Cho et al. [1] and Dziok et al. [2] discussed various properties of starlike functions related to Bell numbers and a shell-like curve connected with Fibonacci numbers, respectively. Similarly, Kumar and Ravichandran [3] and Mendiratta et al. [4] investigated subclasses of starlike functions associated with rational and exponential functions, respectively. Kanas and Raducanu [5] and Sharma et al. [6] explored some subclasses of analytic functions related to conic and cardioid domains, respectively. Raina and Sokól [7] investigated some important properties related to a certain class of starlike functions. Sokól and Stankiewicz [8] discussed radius problems of some subclasses of strongly starlike functions. Recently, Cho et al. [9] explored a family of starlike functions related to the sine function, which is defined as follows:
(10)
The qth Hankel determinant for q ≥ 1 and n ≥ 1 of the functions f is introduced by Noonan and Thomas [10], which is given by
(11)
The following options are provided for some special choices of n and q:
  • (1)

    For q = 2, n = 1,

(12)
is the famed Fekete-Szegő functional.
  • (2)

    For q = 2, n = 2,

(13)
is the second Hankel determinant.
There are relatively few findings in the literature in connection with the Hankel determinant for functions belonging to the general family . Hayman [11] established the well-known sharp inequality:
(14)
where λ is the absolute constant. Similarly for the same class , it was obtained in [12] that
(15)
For different subclasses of the set of univalent functions, the growth of |Δq,n(f)| has been estimated many times. For example, Janteng [13] investigated the sharp bounds of Δ2,2(f) for the classes , , and as given below:
(16)
The sharp bound of Δ2,2(f) for the class of close-to-convex functions is unknown. On the other hand, Krishna and Reddy [14] calculated a precision estimate of Δ2,2(f) for the Bazilevic function class.
  • (3)

    For q = 3, n = 1,

(17)
is the third Hankel determinant.
The calculations in (17) represent that estimating |Δ3,1(f)| is significantly more difficult than estimating the bound of |Δ2,2(f)|. In the first paper of Babalola [15] on Δ3,1(f), he obtained the upper bound of |Δ3,1(f)| for the classes , , and . Later, some more contributions have been made by different authors to calculate the bounds of |Δ3,1(f)| for different subclasses of analytic and univalent functions. Zaprawa [16] enhanced the results of Babalola [15] and demonstrated that
(18)
He also observed that the bounds are still not sharp.
  • (4)

    For q = 4, n = 1,

(19)
is the fourth Hankel determinant.
Since and a1 = 1, thus Δ4,1(f) = a7Λ1a6Λ2 + a5Λ3a4Λ4, where
(20)

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 [1929].

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 [3440].

Inspired from the above recent developments, in this study, we investigate the inclusion of the Bernardi integral operator in the class of starlike function associated with sine function in . The Bernardi integral operator was defined by Bernardi [41], which is given by the following relation:
(21)

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

(22)

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,

(23)

Choose Λ(z) so that

(24)

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,

(25)

That is,

(26)

This implies that

(27)
and hence,
(28)

Lemma 2 (see [12].)Let M(z) and N(z) be regular in and N(z) map onto many sheeted starlike regions:

(29)

Then,

(30)

Lemma 3. Let such that

(31)

Then, is (1 + γ)-valent starlike for γ = 1, 2, 3, ⋯, in .

Proof. The proof is analogous to the one given in [41] and hence omitted.

Lemma 4. Let and for γ = 1, 2, 3, ⋯, where is given by (31) in Lemma 3. Then, .

Proof. Let

(32)

Then,

(33)
where
(34)

By Lemma 3, is (1 + γ)-valent starlike for γ = 1, 2, 3, ⋯ in :

(35)
and since ,
(36)

From Lemma 1, we can get the conclusion:

(37)

Lemma 5 (see [42].)If , then there exists some x, z with |x| ≤ 1, |z| ≤ 1, such that

(38)

Lemma 6 (see [43].)Let ; then,

(39)

Lemma 7 (see [44].)Let ; then,

(40)

Now, we are in position to present our main results.

Theorem 8. If the function and is of the form (1), then

(41)
(42)
(43)
(44)
(45)
(46)

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

(47)

Now,

(48)
where βn = (n + γ)/(1 + γ). We define a function:
(49)

It is easy to see that and

(50)

On the other hand,

(51)

When the coefficients of z, z2, z3 are compared between the equations (51) and (48), then we get

(52)
(53)
(54)
(55)

Using Lemma 6, we can simply obtain

(56)
(57)

with b1 = 1 and

(58)

If , then by comparing like powers of z, z2, ⋯, zn, we have

(59)

For sharpness, if we take

(60)
and thus b2 = 1, b3 = 0, and b4 = −1/6, then A2 = 1/β2. This shows that the obtained second coefficient bound is sharp.

Again, by Lemma 6,

(61)

Let c1 = c, with c ∈ [0, 2]; then, by Lemma 7, we can get

(62)

Now, suppose that

(63)

Then obviously,

(64)

Setting F(c) = 0, we can get , and hence, the maximum value of F(c) is given by

(65)

Also,

(66)

Let c1 = c, with c ∈ [0, 2]; then, again by Lemma 7,

(67)

Assume that

(68)

Obviously, we meet the requirement:

(69)

So the function F(c) attains its maximum value at c = 0, and it is given by

(70)

Next,

(71)

Take c1 = c, with c ∈ [0, 2]; then, according to Lemma 7, we have

(72)

Suppose that

(73)

Then obviously,

(74)

We see that F′′(0) < 0, and we get the maximum value at c = 0:

(75)

Finally,

(76)

Again, taking c1 = c, with c ∈ [0, 2], and using the result of Lemma 7, we can obtain

(77)

Let

(78)

Then obviously, F(c) ≥ 0. As a result, the function F(c) attains its maximum value at c = 2. Hence,

(79)

Theorem 9. If the function and is of the form (1), then we have

(80)

Proof. From (52), we can write

(81)

Using Lemma 5, we get

(82)

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

(83)

Assume that

(84)

Obviously, we can write

(85)

F(c, t) is increasing on [0, 1]. Therefore, at t = 1, the function F(c, t) will obtain its maximum value:

(86)

Let us take

(87)

It is clear that G(c) is decreasing on [0, 2]. So at c = 0, the function G(c) will obtain its maximum value:

(88)

This complete the proof.

Theorem 10. If the function and is of the form (1), then we have

(89)

Proof. From (52), we can write

(90)

From Lemma 5, we can deduce that

(91)

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

(92)

Suppose that

(93)

Then, we get

(94)

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

(95)

Now define

(96)

Since G′′(c) < 0, the function G(c) has maximum value at c = 0. That is,

(97)
and this completes the proof.

Theorem 11. If the function and is of the form (1), then we have

(98)

Proof. Again from (52), we can write

(99)

Using the result of Lemma 5, we can obtain

(100)

Also, by Lemma 7, we have

(101)
where
(102)

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,

(103)

Theorem 12. If the function and is of the form (1), then we have

(104)

Proof. From (52) and (53), we have

(105)

Using the result of Lemma 7, we can write

(106)
where
(107)

Obviously,

(108)

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

(109)

Also,

(110)

where H(c) attains its maximum value at c = 2, so

(111)

Using the results of (109) and (111) in (106), we can get

(112)

Theorem 13. If the function and is of the form (1), then we have

(113)

Proof. From (52) and (53), we have

(114)

Letting |x| = t ∈ [0, 1] and c1 = c ∈ [0, 2] and using the results of Lemmas 6 and 7, we get

(115)

Suppose that

(116)
where
(117)

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,

(118)

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,

(119)

Theorem 14. If the function and is of the form (1), then we have

(120)

Proof. From (52) and (53), we have

(121)

Now, using the results of Lemmas 6 and 7, we obtain

(122)
where
(123)

It is clear that H(c) is an increasing function, so it attains its maximum value at c = 2, which is

(124)

Also, for all c ∈ [0, 2], we have

(125)

When we set M(c) = 0, then we get c = 1.464167. Obviously,

(126)
and it attains its maximum value at c = 1.464167, which is given by
(127)

Hence,

(128)
which completes the proof of Theorem 14.

Theorem 15. If the function and is of the form (1), then we have

(129)

Proof. We know that

(130)
which further implies that
(131)

Using the triangle inequality, we can write

(132)

By substituting the results of (41), (80), (89), (98), (104), (113), (120), and (128) in (132), we can get the desired result in (129).

3. Conclusion

In the present investigation, first, we have extended the well-known Bernardi theorem to a specific class of univalent starlike functions in the open unit disk . We have proven that if g is a starlike univalent function in the unit disk and , then , where
(133)

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.

Data Availability

No data were used to support this study.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.