Difference between revisions of "Szegö limit theorems"
Ulf Rehmann (talk | contribs) m (moved Szego limit theorems to Szegö limit theorems over redirect: accented title) |
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
||
Line 72: | Line 72: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> A. Böttcher, B. Silbermann, "Analysis of Toeplitz operators" , Springer (1990) {{MR|1086453}} {{MR|1071374}} {{ZBL|0732.47029}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> A. Böttcher, B. Silbermann, "Introduction to large truncated Toeplitz matrices" , Springer (1998)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> A. Böttcher, B. Silbermann, "Operator-valued Szegö-Widom limit theorems" , ''Oper. Theory Adv. Appl.'' , '''71''' , Birkhäuser (1994) pp. 33–53</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top"> E.L. Basor, C.A. Tracy, "The Fisher–Hartwig conjecture and generalizations" ''Phys. A'' , '''177''' (1991) pp. 167–173</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top"> T. Ehrhardt, "Toeplitz determinants with several Fisher–Hartwig singularities" ''PhD Thesis Techn. Univ. Chemnitz'' (1997)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top"> M.E. Fisher, R.E. Hartwig, "Toeplitz determinants: Some applications, theorems and conjectures" ''Adv. Chem. Phys.'' , '''15''' (1968) pp. 333–353</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top"> G. Szegö, "Ein Grenzwertsatz über die Toeplitzschen Determinanten einer reellen positiven Funktion" ''Math. Ann.'' , '''76''' (1915) pp. 490–503</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top"> G. Szegö, "On certain Hermitian forms associated with the Fourier series of a positive function" ''Comm. Sém. Math. Univ. Lund'' (1952) pp. 228–238</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top"> N.L. Zamarashkin, E.E. Tyrtyshnikov, "Distribution of eigenvalues and singular numbers of Toeplitz matrices under weakened requirements of the generating function" ''Mat. Sb.'' , '''188''' (1997) pp. 83–92 (In Russian)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top"> H. Widom, "Asymptotic behavior of block Toeplitz matrices and determinants. II" ''Adv. Math.'' , '''21''' (1976) pp. 1–29</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top"> E.L. Basor, H. Widom, "On a Toeplitz determinant identity of Borodin and Okounov" ''Integral Eq. Oper. Th.'' , '''37''' : 4 (2000) pp. 397–401</TD></TR></table> |
Revision as of 17:02, 15 April 2012
Let be a complex-valued function defined on the complex unit circle
, with Fourier coefficients
![]() |
Szegö limit theorems describe the behaviour of the determinants of the Toeplitz matrices , as
tends to infinity, for certain classes of functions
(cf. also Toeplitz matrix).
For real positive functions for which
, G. Szegö [a7] has proved that
![]() | (a1) |
with the constant . Here,
stands for the
th Fourier coefficient of the logarithm of
. A statement of type (a1) is referred to as a first Szegö limit theorem. Szegö's result has been considerably extended. In particular, (a1) holds for functions that are the exponentials of continuous complex-valued functions defined on the unit circle.
The strong Szegö limit theorem states that
![]() | (a2) |
with the constant defined by
![]() |
Relation (a2) was first proved by Szegö [a8] for positive real functions whose derivatives satisfy a Hölder–Lipschitz condition. This result has been generalized too. For instance, the strong Szegö limit theorem holds for functions that are the exponentials of continuous and sufficiently smooth complex-valued functions defined on the unit circle.
Such results about the asymptotics of Toeplitz determinants can be used to obtain information about the asymptotic distribution of the eigenvalues of the matrices
. It turns out that
![]() | (a3) |
as , if, for instance, one of the following assumptions is satisfied:
is real-valued and
is a continuous function on the real line with a compact support [a9];
is a continuous complex-valued function and
is an analytic function defined on an open neighbourhood of the set
![]() |
Here, stands for the Toeplitz operator acting on the Hilbert space
,
refers to its spectrum (cf. also Spectrum of an operator),
stands for the range of the function
, and
denotes the winding number of the function
. The asymptotic formula (a3) is sometimes also called the first Szegö limit theorem or a first-order trace formula. A second-order trace formula, which is the pendant of the strong Szegö limit theorem, has also been established [a2], [a10].
Some work was also done in order to determine the higher-order terms of the asymptotic expansion of Toeplitz determinants [a1]. Exact formulas for Toeplitz determinants in terms of the Wiener–Hopf factorization (cf. also Wiener–Hopf method; Wiener–Hopf operator) of the generating function do also exist (see, e.g., [a11]).
H. Widom [a10] was the first to give a crystal clear proof of the strong Szegö limit theorem, by an elegant application of ideas from operator theory and thereby replacing earlier long-winded proofs. With his approach he was able to generalize this theorem to the case of matrix-valued functions. Under the assumption that is a sufficiently smooth matrix-valued function defined on the unit circle for which
is the exponential of a continuous function, (a2) still holds, but with constants defined by
and
. The last expression has to be understood as an operator determinant. In this connection, the identity
plays an important role, where
is a Hankel operator and
. Note that for sufficiently smooth and invertible matrix functions
the operator
is a trace-class operator (cf. also Nuclear operator). An explicit expression for
is not known yet (as of 2000), apart from special cases related to the scalar situation. On the other hand, an operator-valued version of the strong Szegö limit theorem has been established [a3].
The asymptotic behaviour of Toeplitz determinants changes considerably if the function is discontinuous. If
possesses zeros, poles, jumps, or certain oscillations, then the asymptotics is predicted by the Fisher–Hartwig conjecture or by the more general Basor–Tracy conjecture. Let
![]() |
where are distinct points,
is the exponential of a sufficiently smooth function and
,
are complex parameters. The function
is defined as
![]() |
Then the Fisher–Hartwig conjecture [a6] asserts that
![]() |
where . An explicit, but more complicated expression is known for the constant
. It has turned out that in some cases the Fisher–Hartwig conjecture breaks down. However, this conjecture has been proved in all the cases in which it is suspected to apply [a2], [a5]. It is believed that the Basor–Tracy conjecture [a4], which is proved so far (2000) only in special cases, gives the correct answer for all cases.
The continuous analogue of Toeplitz determinants are the determinants of truncated Wiener–Hopf operators (cf. also Wiener–Hopf operator). Let be a complex-valued function in
defined on the real axis, and denote by
the Fourier transform of
. The integral operator defined on
with kernel
is called a truncated Wiener–Hopf operator and denoted by
. Under the above assumption,
is a trace-class operator. The asymptotics of the operator determinants of
, as
, for certain classes of functions
is described by the Akhiezer–Kac formula, which is the continuous pendant of the strong Szegö limit theorem. Suppose
, where
such that its Fourier transform
belongs to
and
![]() |
Then
![]() |
with the constants and
![]() |
There are many further results for Wiener–Hopf determinants which are quite similar to those of the discrete case [a1], [a2].
Finally, analogues of the Szegö limit theorem have also been established for multi-dimensional (i.e., multi-level) Toeplitz and Wiener–Hopf operators, for pseudo-differential operators, and in several abstract settings.
Another direction deals with the asymptotic distribution of the singular values of the matrices , their analogues and generalizations. Results of such a type are called Avram–Parter theorems [a2].
References
[a1] | A. Böttcher, B. Silbermann, "Analysis of Toeplitz operators" , Springer (1990) MR1086453 MR1071374 Zbl 0732.47029 |
[a2] | A. Böttcher, B. Silbermann, "Introduction to large truncated Toeplitz matrices" , Springer (1998) |
[a3] | A. Böttcher, B. Silbermann, "Operator-valued Szegö-Widom limit theorems" , Oper. Theory Adv. Appl. , 71 , Birkhäuser (1994) pp. 33–53 |
[a4] | E.L. Basor, C.A. Tracy, "The Fisher–Hartwig conjecture and generalizations" Phys. A , 177 (1991) pp. 167–173 |
[a5] | T. Ehrhardt, "Toeplitz determinants with several Fisher–Hartwig singularities" PhD Thesis Techn. Univ. Chemnitz (1997) |
[a6] | M.E. Fisher, R.E. Hartwig, "Toeplitz determinants: Some applications, theorems and conjectures" Adv. Chem. Phys. , 15 (1968) pp. 333–353 |
[a7] | G. Szegö, "Ein Grenzwertsatz über die Toeplitzschen Determinanten einer reellen positiven Funktion" Math. Ann. , 76 (1915) pp. 490–503 |
[a8] | G. Szegö, "On certain Hermitian forms associated with the Fourier series of a positive function" Comm. Sém. Math. Univ. Lund (1952) pp. 228–238 |
[a9] | N.L. Zamarashkin, E.E. Tyrtyshnikov, "Distribution of eigenvalues and singular numbers of Toeplitz matrices under weakened requirements of the generating function" Mat. Sb. , 188 (1997) pp. 83–92 (In Russian) |
[a10] | H. Widom, "Asymptotic behavior of block Toeplitz matrices and determinants. II" Adv. Math. , 21 (1976) pp. 1–29 |
[a11] | E.L. Basor, H. Widom, "On a Toeplitz determinant identity of Borodin and Okounov" Integral Eq. Oper. Th. , 37 : 4 (2000) pp. 397–401 |
Szegö limit theorems. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Szeg%C3%B6_limit_theorems&oldid=23538