Analysis and Mathematical Physics
, Volume 10 (3) – Aug 12, 2020

/lp/springer-journals/the-fourth-order-hermitian-toeplitz-determinant-for-convex-functions-MnM1ZYekov

- Publisher
- Springer Journals
- Copyright
- Copyright © The Author(s) 2020
- ISSN
- 1664-2368
- eISSN
- 1664-235X
- DOI
- 10.1007/s13324-020-00382-3
- Publisher site
- See Article on Publisher Site

The sharp bounds for the fourth-order Hermitian Toeplitz determinant over the class of convex functions are computed. Keywords Hermitian Toeplitz determinant · Univalent functions · Convex functions · Carathéodory class Mathematics Subject Classiﬁcation 30C45 · 30C50 1 Introduction Let H be the class of analytic functions in D := {z ∈ C :|z| < 1}, A be its subclass normalized by f (0) := 0, f (0) := 1, that is, functions of the form f (z) = a z , a := 1, z ∈ D, (1) n 1 n=1 and S be the subclass of A of univalent functions. Let S denote the subclass of S of convex functions, that is, univalent functions f ∈ A such that f (D) is a convex domain in C. By the well-known result of Study [11] (see also [5, p. 42]), a function B Adam Lecko alecko@matman.uwm.edu.pl Young Jae Sim yjsim@ks.ac.kr Barbara Smiarowska b.smiarowska@matman.uwm.edu.pl Department of Complex Analysis, Faculty of Mathematics and Computer Science, University of Warmia and Mazury in Olsztyn, ul. Słoneczna 54, 10-710 Olsztyn, Poland Department of Mathematics, Kyungsung University, Busan 48434, Korea 0123456789().: V,-vol 39 Page 2 of 11 A. Lecko et al. f is in S if and only if zf (z) Re 1 + > 0, z ∈ D. (2) f (z) Given q, n ∈ N, the Hermitian Toeplitz matrix T ( f ) of f ∈ A of the form (1) q,n is deﬁned by ⎡ ⎤ a a ... a n n+1 n+q−1 ⎢ ⎥ a a ... a n+1 n n+q−2 ⎢ ⎥ T ( f ) := ⎢ ⎥ , q,n . . . . . . . . ⎣ ⎦ . . . . a a ... a n+q−1 n+q−2 n where a := a . Let |T ( f )| denote the determinant of T ( f ). In particular, the k k q,n q,n third Toeplitz determinant |T ( f )| is given by 3,1 1 a a 2 3 2 2 2 |T ( f )|= a 1 a = 1 + 2Re a a − 2|a | −|a | (3) 3,1 2 2 3 2 3 a a 1 3 2 and the fourth Toeplitz determinant |T ( f )| is given by 4,1 a a a a 1 2 3 4 a a a a 2 1 2 3 |T ( f )|= 4,1 a a a a 3 2 1 2 a a a a 4 3 2 1 (4) 3 2 2 =1 − 2Re a a + 4Re a a − 2Re a a a 4 3 2 4 2 2 3 4 2 4 2 + 4Re (a a a ) +|a | − 3|a | +|a | − 2|a | 2 3 4 2 2 3 3 2 2 2 2 2 +|a | |a | − 2|a | |a | −|a | . 2 4 2 3 4 In recent years a lot of papers has been devoted to the estimation of determinants built with using coefﬁcients of functions in the class A or its subclasses. Hankel matrices i.e., square matrices which have constant entries along the reverse diagonal (see e.g., [3] with further references), and the symmetric Toeplitz determinant (see [1]) are of particular interest. For this reason looking on the interest of specialists in [4] and [7] the study of the Hermitian Toeplitz determinants on the class A or its subclasses has begun. Hermitian Toeplitz matrices play an important role in functional analysis, applied mathematics as well as in physics and technical sciences. In [4] the conjecture that the sharp inequalities 0 ≤|T ( f )|≤ 1 for all q ≥ 2, q,1 holds over the class S was proposed and was conﬁrmed for q = 2 and q = 3. The purpose of this paper is to prove this conjecture for q = 4. The fourth-order Hermitian Toeplitz determinant for convex… Page 3 of 11 39 Let P be the class of all p ∈ H of the form p(z) = 1 + c z , z ∈ D, (5) n=1 having a positive real part in D. The key to the proof of the main result is the following lemma. It contains the well-known formula for c (see e.g., [10, p. 166]) and the formula for c due to Libera 2 3 and Zlotkiewicz [8,9]. Lemma 1 If p ∈ P is of the form (5) with c ≥ 0, then 2 2 2c = c + (4 − c )ζ (6) 1 1 and 3 2 2 2 4c = c + (4 − c )c ζ(2 − ζ) + 2(4 − c )(1 −|ζ | )η (7) 3 1 1 1 1 for some ζ, η ∈ D := {z ∈ C :|z|≤ 1} 2 Main result In [4] the sharp bounds for the Hermitian-Toeplitz determinants of the second and third-order for the class of convex functions of order α were computed. In particular for α = 0, the results obtained are reduced for the class of convex functions, namely, 0 ≤|T ( f )|≤ 1 and 0 ≤|T ( f )|≤ 1 when f ∈ S . Both results suggested the 2,1 3,1 conjecture that 0 ≤|T ( f )|≤ 1 for every q ≥ 2. In this paper, this conjecture was q,1 conﬁrmed for q = 4. For the sake of consistency, we also provide a short proof of the case q = 3. Theorem 1 If f ∈ S , then 0 ≤|T ( f )|≤ 1. (8) 3,1 Both inequalities are sharp with equalities attained by f (z) = , z ∈ D, (9) 1 − z and by the identity, respectively. Proof Let f ∈ S be the form (1). Then by (2), f (z) + zf (z) = p(z) f (z), z ∈ D, (10) 39 Page 4 of 11 A. Lecko et al. for some p ∈ P of the form (5). Substituting the series (1) and (5)into(10) by equating the coefﬁcients we get 1 1 1 2 3 (11) a = c , a = (c + c ), a = (c + 3c c + 2c ). 2 1 3 2 4 1 2 3 1 1 2 6 24 Noting that the class S and |T ( f )| are rotationally invariant, we may assume that 3,1 c := c with c ∈[0, 2] ([2], see also [6, Vol. I, page 80, Theorem 3]), i.e., by (11), a ∈[0, 1]. Then by (3) and (11)wehave 2 2 2 |T ( f )|= 1 + 2a Re a − 2a −|a | 3,1 3 3 2 2 2 4 2 2 = 72 − 36c + 4c + 2c Re c − 2|c | . 2 2 Now by using (6) and (7) we get 2 2 2 0 ≤|T ( f )|= (4 − c ) (9 −|ζ | ) ≤ 1, 3,1 which shows (8). It is clear that the function (9) and the identity make the results sharp. We will now estimate the fourth-order Toeplitz determinant |T ( f )| for f ∈ S . 4,1 Theorem 2 If f ∈ S , then 0 ≤|T ( f )|≤ 1. (12) 4,1 Both inequalities are sharp with equalities attained by the function (9) and the identity, respectively. Proof Assuming as in the proof of Theorem 1 that c := c with c ∈[0, 2], so a ∈[0, 1], from (4) and (11) we obtain 4 2 2 2 2 3 2 2 |T ( f )|=1 + a − 3a + 4a Re a − 2a |a | − 2a Re a + a |a | 4,1 3 3 4 4 2 2 2 2 2 2 2 2 4 2 + 4a Re(a a ) − 2a Re(a a ) − 2|a | +|a | −|a | 2 3 4 2 4 3 3 4 2 4 6 8 2 = 20736 − 15552c + 3600c − 252c + c + 1152c Re c 4 4 2 6 2 2 (13) −288c Re c + 64c (Re c ) − 2c Re c + 252c |c | 2 2 2 2 4 2 4 2 4 2 −31c |c | + 16|c | − 1152|c | − 24c Re c 2 2 2 2 2 5 −8c |c | Re c − 12c Re c + 144c Re(c c ) 2 2 3 2 3 3 2 2 2 2 +12c Re(c c ) − 48c Re(c c ) − 144|c | + 36c |c | . 2 3 3 3 3 2 The fourth-order Hermitian Toeplitz determinant for convex… Page 5 of 11 39 Hence by using (6) and (7) after tedious computation we get 2 3 2 2 |T ( f )|= (4 − c ) 1296 − 9(c + 32)|ζ | 4,1 2 2 2 4 2 (14) + 6c |ζ | Re ζ + (16 − c )|ζ | − 36c(1 −|ζ | ) Re(ζ η) 2 2 2 2 2 +12c(1 −|ζ | ) Re(ζ η) − 36(1 −|ζ | ) |η| . A. Suppose that ζ = 0. Then 2 3 0 ≤|T ( f )|= (4 − c ) ≤ 1. 4,1 Suppose that η = 0. Then 2 3 2 2 |T ( f )|= (4 − c ) 1296 − 9(c + 32)|ζ | 4,1 (15) 2 2 2 4 +6c |ζ | Re ζ + (16 − c )|ζ | . We have 2 2 2 2 2 4 1296 − 9(c + 32)|ζ | + 6c |ζ | Re ζ + (16 − c )|ζ | 2 2 2 3 2 4 ≥ 1296 − 9(c + 32)|ζ | − 6c |ζ | + (16 − c )|ζ | 2 4 2 2 2 = 1296 − 288|ζ | + 16|ζ | −|ζ | (3 +|ζ |) c 2 4 2 2 ≥ 1296 − 288|ζ | + 16|ζ | − 4|ζ | (3 +|ζ |) 2 3 4 = 1296 − 324|ζ | − 24|ζ | + 12|ζ | ≥ 960, 0 ≤|ζ|≤ 1. Hence and from (15) it follows that |T ( f )|≥ 0. 4,1 We have 2 2 2 2 2 4 1296 − 9(c + 32)|ζ | + 6c |ζ | Re ζ + (16 − c )|ζ | 2 2 2 3 2 4 ≤ 1296 − 9(c + 32)|ζ | + 6c |ζ | + (16 − c )|ζ | 2 4 2 2 2 = 1296 − 288|ζ | + 16|ζ | −|ζ | (3 −|ζ |) c 2 4 ≤ 1296 − 288|ζ | + 16|ζ | ≤ 1296, 0 ≤|ζ|≤ 1. Hence and from (15) it follows that |T ( f )|≤ 1. 4,1 iθ iψ B. Let now ζ, η ∈ D \{0}. By setting ζ := xe ,η := ye , x , y ∈ (0, 1],θ,ψ ∈ [0, 2π), from (14) we get 2 3 |T ( f )|= (4 − c ) F (c, x , y,θ,ψ), (16) 4,1 82944 39 Page 6 of 11 A. Lecko et al. where 2 2 2 3 2 4 F (c, x , y,θ,ψ) :=1296 − 9(c + 32)x + 6c x cos θ + (16 − c )x 2 2 2 − 36c(1 − x )xy cos(θ − ψ) + 12c(1 − x )x y cos(2θ − ψ) 2 2 2 − 36(1 − x ) y . For c ∈[0, 2] and x , y ∈ (0, 1] we have G(c, x , y) ≤ F (c, x , y,θ,ψ) ≤ H (c, x , y), (17) where for x , y ∈[0, 1], G(c, x , y) := F (c, x , y,π,π) 2 2 2 3 2 4 = 1296 − 9(c + 32)x − 6c x + (16 − c )x 2 2 2 2 − 12c(1 − x )(3 + x )xy − 36(1 − x ) y and 2 2 2 3 2 4 H (c, x , y) :=1296 − 9(c + 32)x + 6c x + (16 − c )x 2 2 2 2 + 12c(1 − x )(3 + x )xy − 36(1 − x ) y . C. Let us observe that 2 2 2 3 2 4 G(c, x , y) =1296 − 9(c + 32)x − 6c x + (16 − c )x 2 2 2 2 − 12c(1 − x )(3 + x )xy − 36(1 − x ) y 2 3 2 2 2 ≥1296 − 324x − 24x − 24(1 − x )(3 + x )x − 36(1 − x ) ≥1296 − 480 = 816, c ∈[0, 2], x , y ∈ (0, 1]. Hence and from (16) with (17) it follows that 2 3 |T ( f )|= (4 − c ) F (c, x , y,θ,ψ) 4,1 1 17 2 3 2 3 ≥ (4 − c ) G(c, x , y) ≥ (4 − c ) ≥ 0, c ∈[0, 2], 82944 1728 which together with part A shows the lower bound in (12). D. Now will discuss the upper bound of |T ( f )|. 4,1 Let ﬁrst x = 1. Then for c ∈[0, 2] and y ∈ (0, 1], H (c, 1, 1) = H (c, 1, y) = 1024 − 4c ≤ 1024, c ∈[0, 2]. Let now x ∈ (0, 1). Then cx (x + 3) 2 2 y := ≥ 0, −36(1 − x ) < 0. 6(1 − x ) The fourth-order Hermitian Toeplitz determinant for convex… Page 7 of 11 39 Therefore we consider two cases. D1. Assume that y < 1, i.e., equivalently that x ∈ (0, x (c)), where w 1 −3c + 9c + 24c + 144 x (c) := , c ∈[0, 2]. 2(c + 6) Note that x (c) ≤ 1 for all c ∈[0, 2] and x (0) = 1. Let Δ := {(c, x ) : 0 ≤ c ≤ 1 1 1 2, 0 ≤ x ≤ x (c)}. We have H (c, x , y) ≤ H (c, x , y ) = h(c, x ), (c, x ) ∈ Δ , y ∈ (0, 1], w 1 where 2 2 3 4 h(c, x ) := 1296 − 288x + 12c x + 16x ,(c, x ) ∈ Δ . (i) On the vertices of Δ , h(0, 0) = 1296, h(0, x (0)) = h(0, 1) = 1296, h(2, 0) = 1296, √ √ 1 9 h(2, x (2)) = h 2, 57 − 3 = 3461 + 113 57 ≈ 1213.349. 8 32 (ii) On the side x = 0, h(c, 0) = 1296, c ∈ (0, 2). (iii) On the side x = x (c) for c ∈ (0, 2), h(c, x (c)) 6 5 4 3 2 = −9c − 72c − 180c + 216c + 11840c + 52224c + 73728 (c + 6) 5 4 3 2 +(3c + 20c + 36c + 344c + 768c) 9c + 24c + 144 =: γ(c). We will show that γ increasis. Note that −36 (c) + (c) 9c + 24c + 144 1 2 (18) γ (c) = √ > 0, c ∈ (0, 2), 5 2 (c + 6) 9c + 24c + 144 is equivalent to (c) + (c) 9c + 24c + 144 < 0, c ∈ (0, 2), (19) 1 2 39 Page 8 of 11 A. Lecko et al. where for t ∈ R, 7 6 5 4 3 2 (t ) := −27t − 630t − 4224t − 15084t − 55800t − 77472t − 214272t − 331776 and 6 5 4 3 2 (t ) := 9t + 198t + 1080t + 2268t + 9896t + 7296t − 9216. Since has only two real zeros at c ≈−12.8436 and c ≈−5.43834, and (0)< 0, 1 1 so decreases on (0, 2). This with (0)< 0 yields 1 1 (c)< 0, c ∈ (0, 2). (20) Since > 0for c ∈[0, 2], so increases from (0) =−9216 to (2) = 87296. 2 2 2 Thus (c) ≤ 0for c ∈ (0, c ] and (c)> 0for c ∈ (c , 2), where c ≈ 0.627225 is 2 2 the unique zero of γ in (0, 2). Hence and from (20) it follows that the inequality (19) occurs for c ∈ (0, c ]. Note now that for c ∈ (c , 2) we have 2 2 2 (c)>(9c + 24c + 144) (c). (21) 1 2 Indeed, the above inequality is equivalent to 48(c + 6) (c)< 0, c ∈ (c , 2), (22) where 6 5 4 3 2 (t ) := 9t − 30t − 4248t − 31392t − 70272t − 208896t − 262144, t ∈ R. As easy to see (c)< 0for c ∈ (0.6, 2), so decreases on (0.6, 2), and therefore on (c , 2). This and (0.6)< 0 yields (c)< 0, c ∈ (c , 2), which conﬁrms (21), (22), and ends the proof of (19)soof (18). Summarizing, h(c, x ) = γ(c) ≤ γ(2)< 1296, c ∈ (0, 2). (iv) When c = 0, then x (0) = 1 and 2 4 h(0, x ) = 1296 − 288x + 16x ≤ 1296, x ∈[0, 1). (v) When c = 2, then 2 3 4 h(2, x ) = 1296 − 288x + 48x + 16x ≤ 1296, x ∈ (0, x (2)). 1 The fourth-order Hermitian Toeplitz determinant for convex… Page 9 of 11 39 Indeed, as easy to see the function (0, x (2)) x → H (2, x ) decreases. 1 2 (vi) It remains to consider the interior of Δ . Since the system of equations 24cx = 0 2 2 3 −576x + 36c x + 64x = 0 has solutions (c , x ), i = 1, 2, 3, only when i i c = 0 c = 0 c = 0 1 2 3 x = 0 x =−3 x = 3 1 2 3 so h has no critical points in the interior of Δ . D2. Assume that y ≥ 1, i.e., equivalently that x ∈[x (c), 1]. Let Δ := {(c, x ) : w 1 2 0 ≤ c ≤ 2, x (c) ≤ x ≤ 1}. Then H (c, x , y) ≤ H (c, x , 1) = g(c, x ), (c, x ) ∈ Δ , y ∈ (0, 1], where for (c, x ) ∈ Δ , 2 2 2 3 2 4 g(c, x ) := 1260 + 36cx − 3(3c − 4c + 72)x + 6(c − 6c)x − (c + 12c + 20)x . (i) On the vertices of Δ , g(0, x (0)) = g(0, 1) = 1024, g(2, 1) = 1008, √ √ g(2, x (2)) = g 2,( 57 − 3)/8 = 3461 + 113 57 ≈ 1213.349. (ii) On the side x = x (c) we have the case B1(iii). (iii) On the side x = 1, g(c, 1) =−4c + 1024 ≤ 1024, c ∈ (0, 2). (iv) On the side c = 2, 4 3 2 g(2, x ) =−48x − 48x − 228x + 72x + 1260, x ∈ ( 57 − 3)/8, 1 . 3 2 Since −192x − 144x − 456x + 72 = 0 if and only if x ≈ 0.14944, so the function ( 57 − 3)/8, 1 x → H (2, x ) is decreasing. Therefore √ √ g(2, x ) ≤ g 2,( 57 − 3)/8 ≈ 1213.349, x ∈ ( 57 − 3)/8, 1 . 39 Page 10 of 11 A. Lecko et al. (v) It remains to consider the interior of Δ . The system of equations 2 3 4 36x − 6(3c − 2)x + 12(c − 3)x − 2(c + 6)x = 0 (23) 2 2 2 2 3 36c − 6(3c − 4c + 72)x + 18(c − 6c)x − 4(c + 12c + 20)x = 0 has the solution c = x = 0 evidently. Let x = 0 and x = 3. From the ﬁrst equation we get 6(1 − x )(x + 3) c = (24) x (x − 3) which satisﬁes the inequality 0 ≤ c ≤ 2 only when x ∈[x , 1), where x ≈ 0.81244. Now substituting (24) into the second equation of (23) we obtain the equation 6 5 4 3 2 4x + 45x − 333x + 162x − 486x + 945x − 81 = 0, which has the unique solution in (0, 1), namely x ≈ 0.089756 < x . Thus g has no critical point in the interior of Δ . Summarizing, from par D it follows that 1 1 2 3 3 |T ( f )|= (4 − c ) F (c, x , y,θ,ψ) ≤ · 4 · 1296 = 1. (25) 4,1 82944 82944 It is clear that equality for the upper bound in (12) holds for the identity function, and for the lower bound for the function (9). Compliance with ethical standards Conﬂict of interest The authors declare that there is no conﬂict of interest. Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/. References 1. Ali, M.F., Thomas, D.K., Vasudevarao, A.: Toeplitz determinants whose elements are the coefﬁcients of analytic and univalent functions. Bull. Aust. Math. Soc. 97, 253–264 (2018) 2. Carathéodory, C.: Über den Variabilitatsbereich der Koefﬁzienten von Potenzreihen, die gegebene werte nicht annehmen. Math. Ann. 64, 95–115 (1907) The fourth-order Hermitian Toeplitz determinant for convex… Page 11 of 11 39 3. Cho, N.E., Kowalczyk, B., Lecko, A.: Sharp bounds of some coefﬁcient functionals over the class of functions convex in the direction of the imaginary axis. Bull. Aust. Math. Soc. 100, 86–96 (2019) 4. Cudna, K., Kwon, O.S., Lecko, A., Sim, Y.J., Smiarowska, B.: The second and third-order Hermitian Toeplitz determinants for starlike and convex functions of order α. Bol. Soc. Mat. Mexicana 26, 361– 375 (2020) 5. Duren, P.L.: Univalent Functions. Springer, New York (1983) 6. Goodman, A.W.: Univalent Functions. Mariner, Tampa, Florida (1983) 7. Kowalczyk, B., Kwon, O.S., Lecko, A., Sim, Y.J., Smiarowska, B.: The third-order Hermitian Toeplitz determinant for classes of functions convex in one direction. Bul. Malays. Math. Sci. Soc. 43, 3143– 3158 (2020) 8. Libera, R.J., Zlotkiewicz, E.J.: Early coefﬁcients of the inverse of a regular convex functions. Proc. Am. Math. Soc. 85(2), 225–230 (1982) 9. Libera, R.J., Zlotkiewicz, E.J.: Coefﬁcient bounds for the inverse of a function with derivatives in P. Proc. Am. Math. Soc. 87(2), 251–257 (1983) 10. Pommerenke, C.: Univalent Functions. Vandenhoeck & Ruprecht, Göttingen (1975) 11. Study, E.: Vorlesungen über ausgewählte Gegenstände der Geometrie, Zweites Heft; Konforme Abbil- dung Einfach-Zusammenhängender Bereiche. Druck und Verlag von B.G. Teubner, Leipzig und Berlin (1913) Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional afﬁliations.

Analysis and Mathematical Physics – Springer Journals

**Published: ** Aug 12, 2020

Loading...

You can share this free article with as many people as you like with the url below! We hope you enjoy this feature!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Already have an account? Log in

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, **log in** first, or **sign up** for a DeepDyve account if you don’t already have one.

Copy and paste the desired citation format or use the link below to download a file formatted for EndNote

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.