scispace - formally typeset
Search or ask a question
Journal ArticleDOI

Toeplitz Matrices Whose Elements Are the Coefficients of Functions with Bounded Boundary Rotation

TL;DR: In this paper, the Toeplitz determinants whose elements are the coefficients of functions of bounded boundary rotation have been obtained in the open unit disk, and sharp bounds for the determinants' elements are obtained for all functions.
Abstract: Let denote the family of functions of bounded boundary rotation so that in the open unit disk . We obtain sharp bounds for Toeplitz determinants whose elements are the coefficients of functions .

Content maybe subject to copyright    Report

Research A rticle
Toeplitz Matrices Whose Elements Are the Coefficients of
Functions with Bounded Boundary Rotation
V. Radhika,
1
S. Sivasubramanian,
2
G. Murugusundaramoorthy,
3
and Jay M. Jahangiri
4
1
Department of Mathematics, Easwari Engineering College, Ramapuram, Chennai 600089, India
2
Department of Mathematics, University College of Engineering Tindivanam, Anna University, Tindivanam 604001, India
3
Departmen t of Ma thema tics, Sc hool of Advanced Sciences, VIT U n iversity, Ve llor e 632 014, India
4
Department of Mathematical Sciences, Kent State University, Burton, OH 44021-9500, USA
Correspondence should be addressed to Jay M. Jahangiri; jjahangi@kent.edu
Received 3 July 2016; Accepted 3 August 2016
Academic Editor: Yan Xu
Copyright © 2016 V. Radhika et al. is is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Let R denote the family of functions ()=+
𝑛=2
𝑛
𝑛
of bounded boundary rotation so that (
󸀠
())>0in the open unit
disk U ={:||<1}. We obtain sharp bounds for Toeplitz determinants whose elements are the coecients of functions ∈R.
1. Introduction
Let A denote the class of all functions of the form
(
)
=+
𝑛=2
𝑛
𝑛
,
(1)
which are analytic in the open unit disk U ={:||<1}
and let S denote the subclass of A consisting of univalent
functions. Obviously, for functions ∈S,wemusthave
󸀠
=
0in U.For∈S we consider the family R of functions of
bounded boundary rotation so that (
󸀠
())>0in U.e
family R is properly contained in the class of close-to-convex
functions (e.g., see Brannan [1], Pinchuk [2], or Duren [3] pp.
269–271.)
Toeplitz matrices are one of the well-studied classes
of structured matrices. ey arise in all branches of pure
and applied mathematics, statistics and probability, image
processing, quantum mechanics, queueing networks, signal
processing, and time series analysis, to name a few (e.g.,
seeYeandLim[4]).Toeplitzmatriceshavesomeofthe
most attractive computational properties and are amenable
to a wide range of disparate algorithms and determinant
computations. Here we consider the symmetric Toeplitz
determinant
𝑞
(
)
=
𝑛
𝑛+1
⋅⋅⋅
𝑛+𝑞−1
𝑛+1
⋅⋅⋅
.
.
.
.
.
.
𝑛+𝑞−1
⋅⋅⋅
𝑛
(2)
and obtain sharp bounds for the coecient body |
𝑞
()|; =
2,3; =1,2,3,wheretheentriesof
𝑞
()are the coecients
of functions of form (1) that are in the family R of functions
of bounded boundary rotation. As far as we are concerned,
the results presented here are new and noble and the only
prior compatible result is published by omas and Halim
[5] for the classes of starlike and close-to-convex functions.
It is worth noticing that the bounds presented here are much
ner than those presented in [5].
2. Main Results
We note that, for the functions of form (1) that are in the
family R of functions of bounded boundary rotation, we can
Hindawi Publishing Corporation
Journal of Complex Analysis
Volume 2016, Article ID 4960704, 4 pages
http://dx.doi.org/10.1155/2016/4960704

2 Journal of Complex Analysis
write
󸀠
()=(),where∈P,theclassofpositivereal
part function satisfying (())>0for ∈U and is of the
form
(
)
=1+
𝑛=1
𝑛
𝑛
.
(3)
We shall state the following result [6], to prove our main
theorems.
Lemma 1. Let () = 1+
𝑛=1
𝑛
𝑛
P.enforsome
complex valued with || 1and some complex valued
with ||1we have
2
2
=
2
1
+4−
2
1
4
3
=
3
1
+24−
2
1

1
−
1
4
2
1

2
+24−
2
1
1
|
|
2
.
(4)
In our rst theorem we obtain a sharp bound for the
coecient body |
2
(2)|.
eorem 2. Let ∈R be given by (1). en we have the sharp
bound
2
(
2
)
=
2
3
−
2
2
5
9
.
(5)
Proo f. Firstnotethatbyequatingthecorrespondingcoe-
cients of
󸀠
()=(),weobtain
2
=
1
2
(6)
3
=
2
3
(7)
4
=
3
4
.
(8)
Now by (2), (6), and (7) we have
2
(
2
)
=
2
3
3
2
=
2
2
−
2
3
=
2
1
4
2
2
9
. (9)
Making use of Lemma 1 to express
2
in terms of
1
,weobtain
2
3
−
2
2
=
2
1
4

2
1
+4−
2
1

2
36
.
(10)
Without loss of generality, let 0≤
1
=≤2. Applying
triangle inequality, we get
2
3
−
2
2
1
36
4
2
2
|
|
2
+2
2
4
2
|
|
+
2
9
2

š Φ
(
;
|
|
)
.
(11)
Dierentiating Φ(;||)with respect to we obtain
Φ
(
;
|
|
)

=
18
2
|
|
2
−2
|
|
−1
2
−8
|
|
2
−8
|
|
9.
(12)
Setting Φ(;||)/=0leads to either =0or
2
=
9+8
|
|
−8
|
|
2
1+2
|
|
|
|
2
.
(13)
But (9+8||8||
2
)/(1+2||||
2
)>4for ||1. erefore
the maximum of |
2
3
−
2
2
|occurs either at =0or =2.
For =0we obtain
2
=0and
3
=2/3which implies
|
2
3
−
2
2
|=|(2/3)
2
|≤4/9.
For =2we obtain
2
=1and
3
=2/3which implies
|
2
3
−
2
2
|=|1(2/3)
2
|≤5/9.
is bound is sharp and the extremal function is given by
󸀠
()=(1+)/(1).
We remark that the sharp bound |
2
3
−
2
2
|≤5/9given by
eorem 2 is much ner than |
2
3
−
2
2
|≤5that was obtained
byomasandHalim[5]fortheclassoffunctionsofform
(1) that are close-to-convex in U.
Next, we determine a sharp bound for the coecient body
|
2
(3)|.
eorem 3. Let ∈R be given by (1). en we have the sharp
bound
2
(
3
)
=
2
4
−
2
3
4
9
.
(14)
Proo f. Notethat,by(2),(7),and(8),wehave
2
(
3
)
=
3
4
4
3
=
2
4
−
2
3
=
2
3
16
2
2
9
. (15)
Making use of Lemma 1 and triangle inequality, we obtain
2
4
−
2
3
≤
2
2
256
+
2
64
2
64
|
|
4
+
2
2
64
2
32
|
|
3
+
2
2
64
2
288
+

4
128

3
64
+
2
64
+

2
18
|
|
2
+

4
64
+
2
32
|
|
+

3
64
+
2
64
+
4
36
6
256
Φ
(
,
|
|
)
,
(16)
where, without loss of generality, we let 0≤
1
=≤2and
=4
2
.
Dierentiating and using a simple calculus shows that
Φ(,||)/|| 0for || [0,1]and xed ∈[0,2].

Journal of Complex Analysis 3
It follows that Φ(,||)is an increasing function of ||.So
Φ(,||)Φ(,1).Uponletting||=1,asimplealgebraic
manipulation yields
2
4
−
2
3
649
2
144
4
9
.
(17)
is bound is sharp and the extremal function is given by
󸀠
()=(1+
2
)/(1
2
).
No bounds for |
2
4
−
2
3
|was obtained b y omas and
Halim [5] for the class of functions of form (1) that are close-
to-convex in U. In our next theorem we determine a sharp
bound for the coecient body |
3
(1)|.
eorem 4. Let ∈R be given by (1). en we have the sharp
bound
3
(
1
)
=
1
2
3
2
1
2
3
2
1
13
9
. (18)
Proo f. Expanding the determinant
3
(1)and letting =4
2
we obtain
3
(
1
)
=
1+2
2
2

3
−1−
2
3
=
1+
2
1
2
2
3
−1−
2
2
9
=
1+
1
18
4
1
1
2
2
1
+
1
36
2
1

1
36
2
2
.
(19)
As before, without loss o f generality, we assume that
1
=,
where 0≤≤2. en, by using the triangle inequality and
the fact that ||1,weobtain
3
(
1
)
1+
1
18
4
1
2
2
+
1
36
2
4
2
+
1
36
4
2
2
Ψ
(
)
.
(20)
Considering the modulus as positive, we get
Ψ
(
)
=
1
18
4
−11
2
+26
.
(21)
One can apply an elementary calculus to show that Ψ()
attains its maximum value of 13/9on [0,2]when =0.
Similarly, considering the modulus as negative, we obtain
Ψ
(
)
=
1
18
−
4
+7
2
−10
.
(22)
Again, using an elementary calculus argument shows that this
expression has a maximum value of 1/8on [0,2]when =
7/2.esharpbound|
3
(1)|=13/9is achieved for
1
=0
and
2
=2.
We remark that the sharp bound |
3
(1)| 13/9given
by eorem 4 is much ner than |
3
(1)| 8obtained by
omas and Halim [5] fo r the class of functions of form (1)
that are close-to-convex in U.Finally,anupperboundforthe
coecient body |
3
(2)|is presented in the following.
eorem 5. Let ∈R be given by (1). en we have the upper
bound
3
(
2
)
=
2
3
4
3
2
3
4
3
2
4
9
. (23)
Proo f. Write
3
(
2
)
=

2
−
4

2
2
−2
2
3
+
2
4
. (24)
Using the same techniques as above, one can obtain with
simple computations that |
2
−
4
|≤1/2. us we need to
show that |
2
2
−2
2
3
+
2
4
|≤8/9. In v iew of (6), (7), and (8),
a simple computation leads to
2
2
−2
2
3
+
2
4
=
2
1
4
2
2
2
9
+
1
3
8
.
(25)
Expressing
2
and
3
in terms of
1
as earlier and using
Lemma 1 with =4
2
1
and =(1||
2
),weobtain
2
2
−2
2
3
+
2
4
=
2
1
4
4
1
18
2
2
18
7
144
2
1

+
1
32
4
1
1
32
2
1

2
+
1
16
1

.
(26)
Applying the triangle inequality and assuming that 0≤
1
=
≤2,weobtain
2
2
−2
2
3
+
2
4
2
4
7
288
4
+
1
18
|
|
2
4
2
2
+
7
144
2
4
2
|
|
+
1
32
2
4
2
|
|
2
+
1
16
4
2
1
|
|
2
(
,
|
|
)
.
(27)
We need to nd the maximum value of (,||)on [0,2]×
[0,1]. First, assume that there is a maximum at an interior
point (,|
0
|)of [0,2]×[0,1]. en dierentiating (
0
,||)
with respect to ||andequalingitto0wouldimplythat
0
=2, which is a contradiction. us to nd the maximum
of (,||), we need only to consider the end points of [0,2]×
[0,1].
When =0, (0,||)=(16/18)||
2
≤8/9.
When =2, (2,||)=11/18.
When ||=0, (,0)=|
2
/4(7/288)
4
|+(1/16)(4
2
),
which has maximum value 11/18on [0,2].
When ||=1, (,1)=|
2
/4(7/288)
4
|+(1/18)(4
2
)
2
+(7/144)
2
(4
2
)+(1/32)
2
(4
2
),whichhasmaximum
value 8/9on [0,2].
No bounds for |
3
(2)|were obtained by omas and
Halim[5]fortheclassoffunctionsofform(1)thatareclose-
to-convex in U.

4 Journal of Complex Analysis
Competing Interests
e authors declare that there are no competing interests
regarding the publication of this paper.
Acknowledgments
e work of the second author is supported by a grant from
Department of Science and Technology, Government of India
vide ref: SR/FTP/MS-022/2012 under fast track scheme.
References
[1] D. A. Brannan, On functions of bounded boundary rotation. I,
Proceedings of the Edinburgh Mathematical Society,vol.16,no.
2, pp. 339–347, 1968.
[2] B. Pinchuk, A variational method for f unctions of bounded
boundary rotation, Transactions of the American Mathematical
Society,vol.138,pp.107113,1969.
[3] P. L. Duren, Univalent Functions,vol.259ofGrundlehren der
Mathematischen Wissenschaen, Springer, New York, NY, USA,
1983.
[4] K. Ye and L.-H. Lim, “Every matrix is a product of Toeplitz
matrices, Foundations of Computational Mathematics,vol.16,
no . 3, pp. 577–598, 2016.
[5]D.K.omasandS.A.Halim,“Toeplitzmatriceswhose
elements are the coecients of starlike and close-to-convex
functions, Bulletin of the Malaysian Mathematical Sciences
Society,2016.
[6] R. J. Libera and E. J. Zloktiewicz, Coecient bounds for the
inverse of a function with derivative in P, Proceedings of the
American Mathematical Society,vol.87,no.2,pp.251257,1983.

Submit your manuscripts at
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematics
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Dierential Equations
International Journal of
Volume 2014
Applied Mathematics
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Probability and Statistics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical Physics
Advances in
Complex Analysis
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Optimization
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Operations Research
Advances in
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Function Spaces
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
The Scientic
World Journal
Hindawi Publishing Corporation
http://www.hindawi.comVolume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in
Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Decision Sciences
Advances in
Discrete Mathematics
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Stochastic Analysis
International Journal of
Citations
More filters
Journal ArticleDOI
TL;DR: In this article, the class of analytic and univalent functions in which the Toeplitz determinants are the Taylor coefficients of functions in and certain of its subclasses is studied. But the analysis is restricted to functions of the form.
Abstract: Let denote the class of analytic and univalent functions in which are of the form . We determine sharp estimates for the Toeplitz determinants whose elements are the Taylor coefficients of functions in and certain of its subclasses. We also discuss similar problems for typically real functions.

35 citations


Cites background or result from "Toeplitz Matrices Whose Elements Ar..."

  • ...Apart from [8] and [11], there appears to be little in the literature concerning estimates of Toeplitz determinants....

    [...]

  • ...In [8], it was claimed that |T2(2)| ≤ 5/9, |T2(3)| ≤ 4/9, |T3(1)| ≤ 13/9 and |T3(2)| ≤ 4/9 hold for functions in R and these estimates are sharp....

    [...]

  • ...Similarly, estimates of the Toeplitz determinant |Tq(n)| for functions in R have been studied in [8], when n and q are small....

    [...]

  • ...In [8, 11], we observe an invalid assumption in the proofs....

    [...]

Journal ArticleDOI
06 May 2019
TL;DR: In this paper, the third-order Hankel determinant and Toeplitz determinant were investigated for the class S s * associated with sine functions and the upper bound of the determinants was obtained.
Abstract: Let S s * be the class of normalized functions f defined in the open unit disk D = { z : | z | < 1 } such that the quantity z f ′ ( z ) f ( z ) lies in an eight-shaped region in the right-half plane and satisfying the condition z f ′ ( z ) f ( z ) ≺ 1 + sin z ( z ∈ D ) . In this paper, we aim to investigate the third-order Hankel determinant H 3 ( 1 ) and Toeplitz determinant T 3 ( 2 ) for this function class S s * associated with sine function and obtain the upper bounds of the determinants H 3 ( 1 ) and T 3 ( 2 ) .

15 citations

Journal ArticleDOI
TL;DR: In this article, the authors obtained upper bounds for functions belonging to a comprehensive subclass of analytic bi-univalent functions, which is defined by subordinations in the open unit disk.
Abstract: In this work with a different technique we obtain upper bounds of the functional ∣∣a2a4 − a23∣∣ for functions belonging to a comprehensive subclass of analytic bi-univalent functions, which is defined by subordinations in the open unit disk. Moreover, our results extend and improve some of the previously known ones.

11 citations

Journal ArticleDOI
TL;DR: In this paper , a new subclass of q-star-like functions related to the Salagean q-differential operator is defined, and initial coefficient estimates, Hankel determinants, Toeplitz matrices, and Fekete-Szegö problem are investigated.
Abstract: This paper considers the basic concepts of q-calculus and the principle of subordination. We define a new subclass of q-starlike functions related to the Salagean q-differential operator. For this class, we investigate initial coefficient estimates, Hankel determinants, Toeplitz matrices, and Fekete-Szegö problem. Moreover, we consider the q-Bernardi integral operator to discuss some applications in the form of some results.

7 citations

Posted Content
TL;DR: In this article, the Toeplitz determinants whose elements are the Taylor coefficients of functions in the class of analytic and univalent functions were determined for both real and non-real functions.
Abstract: Let $\mathcal{S}$ denote the class of analytic and univalent functions in $\mathbb{D}:=\{z\in\mathbb{C}:\, |z|<1\}$ of the form $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$. In this paper, we determine sharp estimates for the Toeplitz determinants whose elements are the Taylor coefficients of functions in $\mathcal{S}$ and its certain subclasses. We also discuss similar problems for typically real functions.

3 citations


Cites background or result from "Toeplitz Matrices Whose Elements Ar..."

  • ...In [6], it was claimed that |T2(2)| ≤ 5/9, |T2(3)| ≤ 4/9, |T3(1)| ≤ 13/9 and |T3(2)| ≤ 4/9 hold for functions in R and these estimates are sharp....

    [...]

  • ...Apart from [6] and [9], there appears to be little in the literature concerning estimates of Toeplitz determinants....

    [...]

  • ...Similarly, estimates of the Toeplitz determinant |Tq(n)| for functions in R have been studied in [6], when n and q are small....

    [...]

  • ...In both [6, 9] we observe an invalid assumption in the proofs....

    [...]

References
More filters
Journal Article

1,452 citations


"Toeplitz Matrices Whose Elements Ar..." refers background in this paper

  • ...The familyR is properly contained in the class of close-to-convex functions (e.g., see Brannan [1], Pinchuk [2], or Duren [3] pp. 269–271.)...

    [...]

  • ..., see Brannan [1], Pinchuk [2], or Duren [3] pp....

    [...]

  • ...[3] P. L. Duren, Univalent Functions, vol. 259 of Grundlehren der MathematischenWissenschaften, Springer, New York, NY, USA, 1983....

    [...]

Journal ArticleDOI
01 Feb 1983
TL;DR: In this paper, the first six coefficients of a function which is inverse to a regular normalized univalent function whose derivative has a positive real part in the unit disk are used to find sharp bounds.
Abstract: Coefficient bounds for functions with a positive real part are used in a rather novel way to find sharp bounds for the first six coefficients of a function which is inverse to a regular normalized univalent function whose derivative has a positive real part in the unit disk.

234 citations

Journal ArticleDOI
01 Dec 1969

66 citations


"Toeplitz Matrices Whose Elements Ar..." refers background in this paper

  • ...Differentiating and using a simple calculus shows that ∂Φ(c, |x|)/∂|x| ≥ 0 for |x| ∈ [0, 1] and fixed c ∈ [0, 2]....

    [...]

  • ...We need to find the maximum value of μ(c, |x|) on [0, 2] × [0, 1]....

    [...]

  • ...Thus to find the maximum of μ(c, |x|), we need only to consider the end points of [0, 2]× [0, 1]....

    [...]

  • ...First, assume that there is a maximum at an interior point (c, |x 0 |) of [0, 2] × [0, 1]....

    [...]

  • ..., see Brannan [1], Pinchuk [2], or Duren [3] pp....

    [...]

Journal ArticleDOI
TL;DR: In this article, it was shown that toeplitz and Hankel matrices do not have a subspace of size at most 2n+5, and that such subspaces do not exist even if the factors are symmetric Toplitz or persymmetric Hankel.
Abstract: We show that every $$n\,\times \,n$$n×n matrix is generically a product of $$\lfloor n/2 \rfloor + 1$$?n/2?+1 Toeplitz matrices and always a product of at most $$2n+5$$2n+5 Toeplitz matrices. The same result holds true if the word `Toeplitz' is replaced by `Hankel,' and the generic bound $$\lfloor n/2 \rfloor + 1$$?n/2?+1 is sharp. We will see that these decompositions into Toeplitz or Hankel factors are unusual: We may not, in general, replace the subspace of Toeplitz or Hankel matrices by an arbitrary $$(2n-1)$$(2n-1)-dimensional subspace of $${n\,\times \,n}$$n×n matrices. Furthermore, such decompositions do not exist if we require the factors to be symmetric Toeplitz or persymmetric Hankel, even if we allow an infinite number of factors.

65 citations

Journal ArticleDOI
01 Feb 1971
TL;DR: In this paper, the generalized area of the image of the set I z? r under some mapping f(z), L(r) the length of C(r), by A (r) we denote the integral rw2g rr fJ7F fJ 7F f f'(t) 12pdpdO (t pei0) which was defined by Nunokawa for the case k = 2.
Abstract: Let U = {z-reiO I r 2 the recent result of Nunokawa for the case k = 2. Let U be the unit disk, I z I 0. It is clear that V2 = K. Let C(r) denote the image of the circle z = r <1 under some mapping f(z), L(r) the length of C(r). By A (r) we denote the integral rw2g rr fJ7F f f'(t) 12pdpdO (t pei0) which is the generalized area of the image of the set I z ? r under the mappingf(z). Recently, Nunokawa [2, p. 332 ] obtained: Received by the editors September 15, 1970. AMS 1970 subject classifications. Primary 30A32; Secondary 30A04.

36 citations


"Toeplitz Matrices Whose Elements Ar..." refers background in this paper

  • ...The familyR is properly contained in the class of close-to-convex functions (e.g., see Brannan [1], Pinchuk [2], or Duren [3] pp. 269–271.)...

    [...]

  • ...References [1] D. A. Brannan, “On functions of bounded boundary rotation....

    [...]

  • ..., see Brannan [1], Pinchuk [2], or Duren [3] pp....

    [...]