Trace formulas for a class of vector-valued Wiener-Hopf like operators. II (Q2444418)

Let \(d\in{\mathbb N}\) and \(\Delta(\mu)=I_d+\int_{\mathbb R}e^{i\mu x}h(x)\, dx\) for \(h\in L_1^{d\times d}\). The set of all matrix-valued functions of this form is the Wiener algebra \({\mathcal W}^{d\times d}\). By \({\mathcal W}_+^{d\times d}\) denote its subalgebra consisting of the functions of the same form with \(h(x)=0\) for \(x<0\). By the Gohberg-Krein theorem, if \(\Delta(\mu)>0\) for \(\mu\in{\mathbb R}\), then \(\Delta\) admits the Wiener-Hopf factorizations \(\Delta(\mu)=Q(\mu)^*Q(\mu)=R(\mu)R(\mu)^*\) with \(Q^{\pm 1}, R^{\pm 1}\in{\mathcal W}_+^{d\times d}\). By \(L_2^{d\times d}({\mathbb R},\delta)\) denote the space of all vector-valued functions \(f\) such that \(\int_{\mathbb R}f(\mu)^*\Delta(\mu)f(\mu)\, d\mu<\infty\) and by \({\mathcal E}_T^d(\Delta)\) denote its closed subspace of all entire function of exponential type less than or equal to \(T\). Let \(P_T\) be the orthogonal projection from \(L_ 2^d({\mathbb R},\Delta)\) onto \({\mathcal E}_T^d(\Delta)\). The authors continue the study of the operators \(A_{T,n}(G)=(P_T{\mathcal G}P_T)^n-P_T{\mathcal G}^nP_T\) initiated in [\textit{H. Dym}, J. Funct. Anal. 28, 33--57 (1978; Zbl 0449.47023)] and in Part I [Indag. Math., New Ser. 23, No. 4, 1129--1153 (2012; Zbl 1262.47043)]. Here, \({\mathcal G}\) is the operator of multiplication by a matrix-valued function \(G\) belonging to \({\mathcal A}_-^{d\times d}\cap{\mathcal A}_+^{d\times d}\), where \[ {\mathcal A}_\pm^{d\times d}=\biggl\{F\in L_\infty^{d\times d}\cap L_2^{d\times d}({\mathbb R},I_d):\int_{{\mathbb R}_\pm}|x|\,|F^\vee(x)|_2^2\,\,dx<\infty\biggr\} \] and \(F^\vee\) denotes the inverse Fourier transform of \(F\). Let \(p\) denote the orthogonal projection from \(L_2^d({\mathbb R},I_d)\) onto \(H_2^d\), \(q=I-p\), \(e_T=e^{iT\lambda}\), and for each \(F\), put \(F^\#(\lambda)=F(\overline{\lambda})^*\), \(F_T=e_TF\), and \(F_T^\#=e_{-T}F^\#\). Let \(V_T=(R_T^\#)^{-1}pR_T^\#\) and \(W_T=Q_T^{-1}qQ_T\). It is shown that, if \(\|W_TV_T\|<1\), then \(A_{T,n}(G)\) is of trace class for all large \(T\) and each \(n\in{\mathbb N}\). Moreover, if \(QR^\#\) belongs to the closure of \(\cup_{T\geq 0}e_{-T}H_\infty^{d\times d}\), then the limit \(k_n(G)=\lim_{T\to\infty}\text{trace}A_{T,n}(G)\) exists. If, in addition \(QG=GQ\) and \(R^*G=GR^*\), then \(k_n(G)\) does not depend on \(h\) in the definition of \(\Delta\). These results generalize those of Part I [Zbl 1262.47043]. As was observed there, results of this kind are related to continuous analogues of the strong Szegő limit theorem.