Dixmier traces for discrete pseudo-differential operators (Q2183537): Difference between revisions

The authors look for sharp conditions for the Dixmier traceability of discrete pseudo-differential operators on \(\ell^2(\mathbb{Z}^n)\). In this setting, the pseudo-differential operators on \(\mathbb{Z}^n\) are defined by \[ t_m f(n'):=\int\limits_{\mathbb{T}^n} e^{i2\pi n'\cdot\xi}m(n',\xi)(\mathscr{F}f)(\xi)\,d\xi \] (with \(f\in \mathscr{S}(\mathbb{Z}^n)\) and \(n'\in\mathbb{Z}^n\)). Under suitable conditions on the symbol \(m\), \(t_m\) is a continuous linear operator from the discrete Schwartz space \(\mathscr{S}(\mathbb{Z}^n)\) into itself. Assuming \(t_m\) in the class of periodic pseudo-differential operators \(\Psi^{-n}_{cl}(\mathbb{Z}^n)\), and that \(t_m\) is a positive discrete pseudo-differential operator, the main conclusion of this work is that its Dixmier trace is given by \[ \operatorname{Tr}_\omega(t_m)= \frac{1}{n(2\pi)^n} \int\limits_{\mathbb{T}^n}\int\limits_{\mathbb{S}^{n-1}}[i^*(\tau)(x,\xi)]_{(-n)}\,d\Sigma(\xi) \,d_{\mathrm{Vol}}x, \] where \(\tau(x,k):=\overline{m(-k,x)}\), \(d\Sigma(\xi)\) is the surface measure associated to the sphere \(\mathbb{S}^{n-1}\subset \mathbb{R}^n,\) and \(d_{\mathrm{Vol}}x\) is the volume form on \(M=[0,1)^n\).