Nothing Special   »   [go: up one dir, main page]

Next Article in Journal
Set-Valued Interpolative Hardy–Rogers and Set-Valued Reich–Rus–Ćirić-Type Contractions in b-Metric Spaces
Next Article in Special Issue
A Study of Determinants and Inverses for Periodic Tridiagonal Toeplitz Matrices with Perturbed Corners Involving Mersenne Numbers
Previous Article in Journal
Optimising Parameters for Expanded Polystyrene Based Pod Production Using Taguchi Method
Previous Article in Special Issue
Transformation of Some Lambert Series and Cotangent Sums
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Upper Bound of the Third Hankel Determinant for a Subclass of Close-to-Convex Functions Associated with the Lemniscate of Bernoulli

1
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
2
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
3
Department of Mathematics, Abbottabad University of Science and Technology, Abbottabad 22010, Pakistan
4
School of Mathematical Sciences, Faculty of Sciences and Technology, Universiti Kebangsaan Malaysia, Bangi 43600, Selangor, Malaysia
5
Department of Mathematical Sciecnes, Balochistan University of Information Technology, Engineering and Management Sciences, Quetta 87300, Pakistan
*
Author to whom correspondence should be addressed.
Mathematics 2019, 7(9), 848; https://doi.org/10.3390/math7090848
Submission received: 26 June 2019 / Revised: 2 September 2019 / Accepted: 5 September 2019 / Published: 14 September 2019
(This article belongs to the Special Issue Mathematical Analysis and Analytic Number Theory 2019)

Abstract

:
In this paper, our aim is to define a new subclass of close-to-convex functions in the open unit disk U that are related with the right half of the lemniscate of Bernoulli. For this function class, we obtain the upper bound of the third Hankel determinant. Various other related results are also considered.
MSC:
primary 05A30, 30C45; secondary 11B65, 47B38

1. Introduction

By H U we denote the class of functions which are analytic in the open unit disk
U = z : z C and z < 1 ,
where C is the set of complex numbers. We also let A be the class of analytic functions having the following form:
f z = z + n = 2 a n z n z U ,
and which are normalized by the following conditions:
f 0 = 0 and f 0 = 1 .
We denote by S the class of functions in A , which are univalent in U .
A function f A is called starlike in U if it satisfies the following inequality:
z f z f z > 0 z U .
The class of all such functions is denoted by S * . For f S * , one can find that (see [1]):
a n n for n = 2 , 3 ,
Next, by K , we denote the class of close-to-convex functions in U that satisfy the following inequality:
z f z g z > 0 z U ,
for some g S * .
An example of a function, which is close-to-convex in U , is given by:
F z = z e 2 i α cos α z 2 1 e i α z 2 0 < α < π
which maps U onto the complex z-plane excluding a vertical slit (see [2] where some interesting properties of this function are obtained).
Moreover, by SL * , we denote the class of functions f A that satisfy the following inequality:
z f z f z 2 1 < 1 z U .
Thus a function f SL * is such that z f z f z lies in the region bounded by the right half of the lemniscate of Bernoulli given by the following relation:
w 2 1 < 1 ,
where
w = z f z f z .
The above defined class was introduced by Sokół et al. (see [3]) and studied by the many authors (see, for example, [4,5,6]).
Next, if two functions f and g are analytic in U , we say that the function f is subordinate to the function g and write:
f g or f z g z ,
if there exists a Schwarz function w ( z ) that is analytic in U with:
w 0 = 0 and w z < 1 ,
such that:
f z = g w z .
Furthermore, if the function g is univalent in U , then we have the following equivalence (see, for example, [7]; see also [8]):
f ( z ) g ( z ) ( z U ) f ( 0 ) = g ( 0 ) and f ( U ) g ( U ) .
We next denote by P the class of analytic functions p which are normalized by p ( 0 ) = 1 and have the following form:
p z = 1 + n = 1 p n z n ,
such that:
p z > 0 z U .
In recent years, several interesting subclasses of analytic and multivalent functions have been introduced and investigated (see, for example, [9,10,11,12,13,14,15,16]). Motivated and inspired by recent and ongoing research, we introduce and investigate here a new subclass of close-to-convex functions in U which are associated with the lemniscate of Bernoulli by using some techniques similar to those that were used earlier by Sokół and Stankiewicz (see [3]).
Definition 1.
A function f of the form of Equation (1) is said to be in the class KL * if and only if:
z f z g z 2 1 < 1
for some g S * . Equivalently, we have:
z f z g z 1 + z z U
for some g S * .
Thus, clearly, a function f KL * is such that z f z g z lies in the region bounded by the right half of the lemniscate of Bernoulli given by the following relation:
w 2 1 < 1 .
A closer look at the above series development of f suggests that many properties of the function f may be affected (or implied) by the size of its coefficients. The coefficient problem has been reformulated in the more special manner of estimating a n , that is, the modulus of the nth coefficient. In 1916, Bieberbach conjectured that the nth coefficient of a univalent function is less or equal to that of the Koebe function.
Closely related to the Bieberbach conjecture is the problem of finding sharp estimates for the coefficients of odd univalent functions, which has the most general form of the square-root transformation of a function f S :
l z = f z 2 = z + c 3 z 3 + c 5 z 5
For odd univalent functions, Littlewood and Parley in 1932 proved that, for each postive integer n, the modulus c 2 n + 1 is less than an absolute constant M. For M = 1 , the bound becomes the Littlewood–Parley conjecture.
Let n 0 and q 1 . Then the qth Hankel determinant is defined as follows:
H q n = a n a n + 1 . . . a n + q 1 a n + 1 . . . . . . . . . . . a n + q 1 . . . . a n + 2 q 1
The Hankel determinant plays a vital role in the theory of singularities [17] and is useful in the study of power series with integer coefficients (see [18,19,20]). Noteworthy, several authors obtained the sharp upper bounds on H 2 2 (see, for example, [5,21,22,23,24,25,26,27,28,29]) for various classes of functions. It is a well-known fact for the Fekete-Szegö functional that:
a 3 a 2 2 = H 2 1 .
This functional is further generalized as follows:
a 3 μ a 2 2
for some real or complex number μ . Fekete and Szegö gave sharp estimates of a 3 μ a 2 2 for μ real and f S , the class of normalized univalent functions in N . It is also known that the functional a 2 a 4 a 3 2 is equivalent to H 2 2 . Babalola [30] studied the Hankel determinant H 3 1 for some subclasses of analytic functions. In the present investigation, our focus is on the Hankel determinant H 3 1 for the above-defined function class KL * .

2. A Set of Lemmas

Lemma 1.
(see [31]) Let:
p ( z ) = 1 + p 1 z + p 2 z 2 +
be in the class P of functions with positive real part in U . Then, for any number υ:
p 2 υ p 1 2 4 υ + 2 υ 0 2 0 υ 1 4 υ 2 υ 1 .
When υ < 0 or υ > 1 , the equality holds true in Equation (5) if and only if:
p ( z ) = 1 + z 1 z
or one of its rotations. If 0 < υ < 1 , then the equality holds true in Equation (5) if and only if:
p ( z ) = 1 + z 2 1 z 2
or one of its rotations. If υ = 0 , the equality holds true in Equation (5) if and only if:
p ( z ) = 1 + ρ 2 1 + z 1 z + 1 ρ 2 1 z 1 + z 0 ρ 1
or one of its rotations. If υ = 1 , then the equality in Equation (5) holds true if p ( z ) is a reciprocal of one of the functions such that the equality holds true in the case when υ = 0 .
Lemma 2.
[32,33] Let:
p ( z ) = 1 + p 1 z + p 2 z 2 +
be in the class P of functions with positive real part in U . Then:
2 p 2 = p 1 2 + x 4 p 1 2
for some x ( x 1 ) and:
4 p 3 = p 1 3 + 2 4 p 1 2 p 1 x 4 p 1 2 p 1 x 2 + 2 4 p 1 2 1 x 2 z
for some z ( z 1 ) .
Lemma 3.
[1] Let:
p ( z ) = 1 + p 1 z + p 2 z 2 +
be in the class P of functions with positive real part in U . Then:
p k 2 k N .
The inequality is sharp.

3. Main Results and Their Demonstrations

In this section, we will prove our main results.
Theorem 1.
Let f KL * and be of the form of Equation (1). Then:
a 3 μ a 2 2 1 48 62 75 μ μ < 38 75 1 2 38 75 μ 86 75 1 48 75 μ 62 μ > 86 75 .
It is asserted also that:
a 3 μ a 2 2 + 1 3 3 μ 38 25 a 2 2 1 2 38 75 < μ 62 75
and:
a 3 μ a 2 2 + 1 3 86 25 3 μ a 2 2 1 2 62 75 < μ 86 75 .
Proof. 
If f KL * , then it follows from definition that:
z f z g z ϕ z for some g S * ,
where:
ϕ z = 1 + z 1 2 .
Define a function p ( z ) by:
p z = 1 + w z 1 w z = 1 + p 1 z + p 2 z 2 + .
It is clear that p z P . This implies that:
w z = p z 1 p z + 1 .
In addition, from Equation (6), we have:
z f z g z ϕ z
with:
ϕ w z = 2 p z p z + 1 1 2 .
We now have:
2 p z p z + 1 1 2 = 1 + 1 4 p 1 z + 1 4 p 2 5 32 p 1 2 z 2 + 1 4 p 3 5 16 p 1 p 2 + 13 128 p 1 3 z 3 + 1 4 p 4 5 16 p 1 p 3 + 39 128 p 2 p 1 2 5 32 p 2 2 141 2048 p 1 4 z 4 + .
Similarly, we get:
z f z g z = 1 + 2 a 2 b 2 z + 3 a 3 2 a 2 b 2 b 3 + b 2 2 z 2 + 4 a 4 2 a 2 b 3 3 a 3 b 2 + 2 b 2 b 3 + 2 a 2 b 2 2 b 4 b 2 3 z 3 + .
Therefore, upon comparing the corresponding coefficients and by using Equation (2), we find that:
a 2 = 5 8 p 1 ,
a 3 = 1 4 p 2 + 19 96 p 1 2
a 4 = 7 48 p 3 + 9 64 p 1 p 2 + 91 1536 p 1 3 .
We thus obtain:
a 3 μ a 2 2 = 1 4 p 2 1 48 75 μ 38 p 1 2 .
Finally, by applying Lemma 1 in conjunction with Equation (10), we obtain the result asserted by Theorem 1. □
Theorem 2.
Let f KL * and be of the form of Equation (1). Then:
a 2 a 4 a 3 2 9105 36416 .
Proof. 
Making use of Equations (7)–(9), we have:
a 2 a 4 a 3 2 = 35 384 p 1 p 3 + 45 512 p 1 2 p 2 + 455 12288 p 1 4 1 4 p 2 + 19 96 p 1 2 2 = 35 384 p 1 p 3 1 16 p 2 2 17 1536 p 1 2 p 2 79 36864 p 1 4 = 1 36864 3360 p 1 p 3 2304 p 2 2 408 p 1 2 p 2 79 p 1 4 .
With the value of p 2 and p 3 from Lemma 2, using triangular inequality and replacing x < 1 by ρ and p 1 by p , we have:
a 2 a 4 a 3 2 = 1 36864 19 p 4 + 1680 p 4 p 2 + 324 4 p 2 p 2 ρ + ρ 2 4 p 2 264 p 2 1680 p + 2304 = F p , ρ .
Differentiating Equation (12) with respect to ρ , we have:
F ρ = 1 36864 324 4 p 2 p 2 + 2 ρ 4 p 2 264 p 2 1680 p + 2304 .
It is clear that:
F ( p , ρ ) ρ > 0 ,
which shows that F ( p , ρ ) is an increasing function on the closed interval 0 , 1 . This implies that the maximum value occurs at ρ = 1 , that is:
max { F ( p , ρ ) } = F ( p , 1 ) = G ( p ) .
We now have:
G p = 1 36864 569 p 4 + 48 p 2 + 9216 .
Differentiating Equation (13) with respect to p, we have:
G ( p ) = 1 36864 2276 p 3 + 96 p
Differentiating the above equation again with respect to p, we have:
G ( p ) = 1 36864 6828 p 2 + 96 < 0 .
For p = 0 , this shows that the maximum value of G ( p ) occurs at p = 0 . Hence we obtain:
a 2 a 4 a 3 2 9105 36416 ,
which completes the proof of Theorem 2. □
Theorem 3.
Let f KL * and of the form of Equation (1). Then:
a 2 a 3 a 4 7 24 .
Proof. 
We make use of Equations (7)–(9), along with Lemma 2. Since p 1 2 , by Lemma 3, let p 1 = p and assume without restriction that p 0 , 2 . Then, taking the absolute value and applying the triangle inequality with ρ = x , we obtain:
a 2 a 3 a 4 1 1536 55 p 3 + 100 p ρ 4 p 2 + 112 4 p 2 + 56 ρ 2 p 2 4 p 2 = : F ( ρ ) .
Differentiating F ( ρ ) with respect to ρ , we have:
F ( ρ ) = 1 1536 100 p 4 p 2 + 112 ρ p 2 4 p 2 .
For 0 < ρ < 1 and fixed p 0 , 2 , it can easily be seen that:
F ρ < 0 .
This shows that F 1 p , ρ is a decreasing function of ρ , which contradicts our assumption. Therefore, we have:
max F p , ρ = F p , 0 = G p .
This implies that:
G p = 1 1536 165 p 2 224 p
and:
G p = 1 1536 330 p 224 < 0
for p = 0 . Thus, clearly, p = 0 is the point of maximum. Hence we get the required result asserted by Theorem 3. □
To prove Theorem 4, we need Lemma 4.
Lemma 4.
If a function f of the form of Equation (1) is in the class KL * , then:
a 2 5 4 , a 3 31 24 , a 4 85 64 and a 5 859 640 .
These estimates are sharp.
Proof. 
The proof of Lemma 4 is similar to that of a known result which was proved by Sokół (see [6]). Therefore, we here choose to omit the details involved in the proof of Lemma 4. □
Theorem 4.
Let f KL * and be of the form of Equation (1). Then:
H 3 ( 1 ) 1509169 1092480 .
Proof. 
Since:
H 3 ( 1 ) a 3 a 2 a 4 a 3 2 + a 4 a 2 a 3 a 4 + a 5 a 1 a 3 a 2 2 .
By Theorem 2, we have:
a 2 a 4 a 3 2 9105 36416 .
In addition, by Theorem 3, we get:
a 2 a 3 a 4 7 24 .
Now, using the fact that a 1 = 1 , as well as Theorem 1 with μ = 1 , Lemma 4, Equations (15) and (16) in conjunction with Equation (14), we have the required result asserted by Theorem 4. □

4. Conclusions

Using the concept of the principle of subordination, we have introduced a new subclass of close-to-convex functions in U , associated with the limniscate of Bernoulli. We have then derived the upper bound on H 3 1 for this subclass of close-to-convex functions in U , which is associated with the limniscate of Bernoulli. Our main results are stated and proved as Theorems 1–4. These general results are motivated essentially by the earlier works which are pointed out in this presentation.

Author Contributions

Conceptualization, Q.Z.A. and N.K.; methodology, N.K.; software, B.K.; validation, H.M.S.; formal analysis, H.M.S.; Writing—Original draft preparation, H.M.S.; Writing—Review and editing, H.M.S.; supervision, H.M.S. H.H.S. revised the article as per suggestions from Referees.

Funding

The third author is partially supported by UKM grant: GUP-2017-064.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Duren, P.L. Univalent Functions; Grundlehren der Mathematischen Wissenschaften, Band 259; Springer: New York, NY, USA; Berlin/Heidelberg, Germany; Tokyo, Japan, 1983. [Google Scholar]
  2. Goodman, A.W.; Saff, E.B. Functions that are convex in one direction. Proc. Am. Math. Soc. 1979, 73, 183–187. [Google Scholar] [CrossRef]
  3. Sokół, J.; Stankiewicz, J. Radius of convexity of some subclasses of strongly starlike functions. Zeszyty Nauk. Politech. Rzeszowskiej Mat. 1996, 19, 101–105. [Google Scholar]
  4. Ali, R.M.; Cho, N.E.; Ravichandran, V.; Kumar, S.S. Differential subordination for functions associated with the lemniscate of Bernoulli. Taiwan J. Math. 2012, 16, 1017–1026. [Google Scholar] [CrossRef]
  5. Raza, M.; Malik, S.N. Upper bound of the third Hankel determinant for a class of analytic functions related with lemniscate of Bernoulli. J. Inequal. Appl. 2013, 2013, 412. [Google Scholar] [CrossRef] [Green Version]
  6. Sokół, J. Coefficient estimates in a class of strongly starlike functions. Kyungpook Math. J. 2009, 49, 349–353. [Google Scholar] [CrossRef]
  7. Miller, S.S.; Mocanu, P.T. Differential subordination and univalent functions. Mich. Math. J. 1981, 28, 157–171. [Google Scholar] [CrossRef]
  8. Miller, S.S.; Mocanu, P.T. Differential Subordination: Theory and Applications; Series on Monographs and Textbooks in Pure and Applied Mathematics, No. 225; Marcel Dekker Incorporated: New York, NY, USA; Basel, Switzerland, 2000. [Google Scholar]
  9. Srivastava, H.M.; Tahir, M.; Khan, B.; Ahmad, Q.Z.; Khan, N. Some general classes of q-starlike functions associated with the Janowski functions. Symmetry 2019, 11, 292. [Google Scholar] [CrossRef]
  10. Aldweby, H.; Darus, M. On Fekete-Szegö problems for certain subclasses defined by q-derivative. J. Funct. Spaces 2017, 2017, 7156738. [Google Scholar] [CrossRef]
  11. Noor, K.I.; Khan, N.; Darus, M.; Ahmad, Q.Z.; Khan, B. Some properties of analytic functions associated with conic type regions. Intern. J. Anal. Appl. 2018, 16, 689–701. [Google Scholar]
  12. Hussain, S.; Khan, S.; Zaighum, M.A.; Darus, M. Applications of a q-Sălăgean type operator on multivalent functions. J. Inequal. Appl. 2018, 2018, 301. [Google Scholar] [CrossRef]
  13. Kanas, S.; Srivastava, H.M. Linear operators associated with k-uniformly convex functions. Integral Transforms Spec. Funct. 2000, 9, 121–132. [Google Scholar] [CrossRef]
  14. Srivastava, H.M.; Eker, S.S. Some applications of a subordination theorem for a class of analytic functions. Appl. Math. Lett. 2008, 21, 394–399. [Google Scholar] [CrossRef]
  15. Rasheed, A.; Hussain, S.; Zaighum, M.A.; Darus, M. Class of analytic function related with uniformly convex and Janowski’s functions. J. Funct. Spaces 2018, 2018, 4679857. [Google Scholar] [CrossRef]
  16. Srivastava, H.M.; Owa, S. Current Topics in Analytic Function Theory; World Scientific Publishing: Hackensack, NJ, USA, 1992. [Google Scholar]
  17. Dienes, P. The Taylor Series: An Introduction to the Theory of Functions of a Complex Variable; New York-Dover Publishing Company: Mineola, NY, USA, 1957. [Google Scholar]
  18. Cantor, D.G. Power series with integral coefficients. Bull. Am. Math. Soc. 1963, 69, 362–366. [Google Scholar] [CrossRef] [Green Version]
  19. Edrei, A. Sur les determinants recurrents et less singularities d’une fonction donee por son developpement de Taylor. Comput. Math. 1940, 7, 20–88. [Google Scholar]
  20. Pólya, G.; Schoenberg, I.J. Remarks on de la Vallée Poussin means and convex conformal maps of the circle. Pac. J. Math. 1958, 8, 259–334. [Google Scholar] [CrossRef]
  21. 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]
  22. Janteng, A.; Abdulhalirn, S.; Darus, M. Coefficient inequality for a function whose derivative has positive real part. J. Inequal. Pure Appl. Math. 2006, 50, 1–5. [Google Scholar]
  23. Mishra, A.K.; Gochhayat, P. Second Hankel determinant for a class of analytic functions defined by fractional derivative. Int. J. Math. Math. Sci. 2008, 2008, 153280. [Google Scholar] [CrossRef]
  24. Singh, G.; Singh, G. On the second Hankel determinant for a new subclass of analytic functions. J. Math. Sci. Appl. 2014, 2, 1–3. [Google Scholar]
  25. Srivastava, H.M.; Ahmad, Q.Z.; Khan, N.; Khan, N.; Khan, B. Hankel and Toeplitz determinants for a subclass of q-starlike functions associated with a general conic domain. Mathematics 2019, 7, 181. [Google Scholar] [CrossRef]
  26. Srivastava, H.M.; Khan, B.; Khan, N.; Ahmad, Q.Z. Coefficient inequalities for q-starlike functions associated with the Janowski functions. Hokkaido Math. J. 2019, 48, 407–425. [Google Scholar] [CrossRef]
  27. Shi, L.; Srivastava, H.M.; Arif, M.; Hussain, S.; Khan, H. An investigation of the third hankel determinant problem for certain subfamilies of univalent functions involving the exponential function. Symmetry 2019, 11, 598. [Google Scholar] [CrossRef]
  28. Güney, H.Ö.; Murugusundaramoorthy, G.; Srivastava, H.M. The second hankel determinant for a certain class of bi-close-to-convex function. Results Math. 2019, 74, 93. [Google Scholar] [CrossRef]
  29. Sun, Y.; Wang, Z.-G.; Rasila, A. On Hankel determinants for subclasses of analytic functions and close-to-convex harmonic mapping. arXiv 2017, arXiv:1703.09485. [Google Scholar] [CrossRef]
  30. Babalola, K.O. On H3 (1) Hankel determinant for some classes of univalent functions. Inequal. Theory Appl. 2007, 6, 1–7. [Google Scholar]
  31. Ma, W.C.; Minda, D. A unified treatment of some special classes of univalent functions. In Proceedings of the Conference on Complex Analysis; Li, Z., Ren, F., Yang, L., Zhang, S., Eds.; International Press: Cambridge, UK, 1994; pp. 157–169. [Google Scholar]
  32. 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]
  33. 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]

Share and Cite

MDPI and ACS Style

Srivastava, H.M.; Ahmad, Q.Z.; Darus, M.; Khan, N.; Khan, B.; Zaman, N.; Shah, H.H. Upper Bound of the Third Hankel Determinant for a Subclass of Close-to-Convex Functions Associated with the Lemniscate of Bernoulli. Mathematics 2019, 7, 848. https://doi.org/10.3390/math7090848

AMA Style

Srivastava HM, Ahmad QZ, Darus M, Khan N, Khan B, Zaman N, Shah HH. Upper Bound of the Third Hankel Determinant for a Subclass of Close-to-Convex Functions Associated with the Lemniscate of Bernoulli. Mathematics. 2019; 7(9):848. https://doi.org/10.3390/math7090848

Chicago/Turabian Style

Srivastava, Hari M., Qazi Zahoor Ahmad, Maslina Darus, Nazar Khan, Bilal Khan, Naveed Zaman, and Hasrat Hussain Shah. 2019. "Upper Bound of the Third Hankel Determinant for a Subclass of Close-to-Convex Functions Associated with the Lemniscate of Bernoulli" Mathematics 7, no. 9: 848. https://doi.org/10.3390/math7090848

APA Style

Srivastava, H. M., Ahmad, Q. Z., Darus, M., Khan, N., Khan, B., Zaman, N., & Shah, H. H. (2019). Upper Bound of the Third Hankel Determinant for a Subclass of Close-to-Convex Functions Associated with the Lemniscate of Bernoulli. Mathematics, 7(9), 848. https://doi.org/10.3390/math7090848

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