In mathematical analysis, the Szegő limit theorems describe the asymptotic behaviour of the determinants of large Toeplitz matrices.^[1][2][3] They were first proved by Gábor Szegő.

Notation

Let ${\displaystyle w}$ be a Fourier series with Fourier coefficients ${\displaystyle c_{k}}$, relating to each other as

${\displaystyle w(\theta )=\sum _{k=-\infty }^{\infty }c_{k}e^{ik\theta },\qquad \theta \in [0,2\pi ],}$

${\displaystyle c_{k}={\frac {1}{2\pi }}\int _{0}^{2\pi }w(\theta )e^{-ik\theta }\,d\theta ,}$

such that the ${\displaystyle n\times n}$ Toeplitz matrices ${\displaystyle T_{n}(w)=\left(c_{k-l}\right)_{0\leq k,l\leq n-1}}$ are Hermitian, i.e., if ${\displaystyle T_{n}(w)=T_{n}(w)^{\ast }}$ then ${\displaystyle c_{-k}={\overline {c_{k}}}}$. Then both ${\displaystyle w}$ and eigenvalues ${\displaystyle (\lambda _{m}^{(n)})_{0\leq m\leq n-1}}$ are real-valued and the determinant of ${\displaystyle T_{n}(w)}$ is given by

${\displaystyle \det T_{n}(w)=\prod _{m=1}^{n-1}\lambda _{m}^{(n)}}$.

Szegő theorem

Under suitable assumptions the Szegő theorem states that

${\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{n}}\sum _{m=0}^{n-1}F(\lambda _{m}^{(n)})={\frac {1}{2\pi }}\int _{0}^{2\pi }F(w(\theta ))\,d\theta }$

for any function ${\displaystyle F}$ that is continuous on the range of ${\displaystyle w}$. In particular

${\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{n}}\sum _{m=0}^{n-1}\lambda _{m}^{(n)}={\frac {1}{2\pi }}\int _{0}^{2\pi }w(\theta )\,d\theta <\infty }$

(1)

such that the arithmetic mean of ${\displaystyle \lambda ^{(n)}}$ converges to the integral of ${\displaystyle w}$.^[4]

See also

• Trigonometric moment problem
• Verblunsky's theorem

References