A trace formula for variable-coefficient Toeplitz matrices with symbols of bounded variation (Q1270894)

Let \(\sigma (x,\theta)\) be a bounded function defined on \([0,1]\times \mathbf{T}\) and let \(\widehat{\sigma}(x,j)=\frac{1}{2\pi }\int_{0}^{2\pi }\sigma (x,\theta)e^{-ij\theta }d\theta\), \(j\in \mathbb{Z} \). The author associates to the function \(\sigma \) and nonnegative integer the finite matrix \( \text{op}_{n}\sigma :=(\widehat{\sigma}(j/n,j-k))\), \(j,k=0,1,\dots,n \). This matrix is a finite section of the infinite Toeplitz matrix associated with \(\widehat{\sigma}(x,j)\). The aim of the paper is to find the second-order asymptotic formula for the trace of \(f(op_{n}\sigma): \text{tr }f(op_{n}\sigma)=c_{1}n+c_{2}\log n+o(\log n) \) where \(c_{1},c_{2}\) are constants and each has an explicit formula. The author considers the class functions on \([0,1]\times \mathbf{T}\) smooth in \(x\) for all \(\theta \) and bounded variation in \(\theta \) for each \(x\), and let \(\| \sigma \| _{BV}:=\sup_{x}\| \sigma (x,\theta \| _{BV(\mathbf{T)}}\), where \(\| \sigma (x,\theta)\| _{BV( \mathbf{T)}}\) is the bounded variation norm in \(\theta \), and let \(\sigma _{r}(x)=\sigma (x,\theta _{r}^{+})-\sigma (x,\theta _{r}^{-})\) be a jump of \( \sigma (x,\theta)\) at the point \(r\) with respect to \(\theta \). The main result of the paper is the following Theorem: For \(\sigma \in BV\) and any \(f(\lambda)\) analytic on \( \{\lambda \in \mathbb{C:}| \lambda | \leq \| \sigma \| _{L_{\infty }}+\sum_{r=1}^{\infty }\max_{x}| \sigma _{r}(x)| \}\) the following asymptotic of the trace of operators \(f(op_{n}\sigma)\) holds \[ \begin{multlined} \text{tr }f(op_{n}\sigma)=n/2\pi \int_{0}^{1}\int_{0}^{2\pi }f(\sigma (x,\theta))d\theta dx+\\ \log n/4\pi ^{2}\sum_{r=1}^{\infty }U(\sigma (1,\theta _{r}^{-}),\sigma (1,\theta _{r}^{+}));f)+ U(\sigma (1,\theta _{r}^{-}),\sigma (1,\theta _{r}^{+}));f)+o(\log n)\end{multlined} \] where \[ U(a,b,f)=\int_{0}^{1}\frac{f((1-t)a+bt)-[(1-t)f(a)+tf(b)]}{t(1-t)} dt. \]