Szegö limit theorems
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
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
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
as , if, for instance, one of the following assumptions is satisfied:
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
with the constants and
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].
|[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://www.encyclopediaofmath.org/index.php?title=Szeg%C3%B6_limit_theorems&oldid=24575