Namespaces
Variants
Actions

Szegö limit theorems

From Encyclopedia of Mathematics
Revision as of 07:55, 26 March 2012 by Ulf Rehmann (talk | contribs) (moved Szego limit theorems to Szegö limit theorems over redirect: accented title)
Jump to: navigation, search

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)
[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
How to Cite This Entry:
Szegö limit theorems. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Szeg%C3%B6_limit_theorems&oldid=24575
This article was adapted from an original article by T. EhrhardtB. Silbermann (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article