Determinants and traces of multidimensional discrete periodic operators with defects

Abstract

As it is shown in previous works, discrete periodic operators with defects are unitarily equivalent to the operators of the form $$ {\mathcal A}{\bf u}={\bf A}_0{\bf u}+{\bf A}_1\int_0^1dk_1{\bf B}_1{\bf u}+...+{\bf A}_N\int_0^1dk_1...\int_0^1dk_N{\bf B}_N{\bf u},\ \ {\bf u}\in L^2([0,1]^N,\mathbb{C}^M), $$ where $({\bf A},{\bf B})(k_1,...,k_N)$ are continuous matrix-valued functions of appropriate sizes. All such operators form a non-closed algebra ${\mathscr H}_{N,M}$. In this article we show that there exist a trace $\pmbτ$ and a determinant $\pmbπ$ defined for operators from ${\mathscr H}_{N,M}$ with the properties $$ \pmbτ(α{\mathcal A}+β{\mathcal B})=α\pmbτ({\mathcal A})+β\pmbτ({\mathcal B}),\ \ \pmbτ({\mathcal A}{\mathcal B})=\pmbτ({\mathcal B}{\mathcal A}),\ \ \pmbπ({\mathcal A}{\mathcal B})=\pmbπ({\mathcal A})\pmbπ({\mathcal B}),\ \ \pmbπ(e^{\mathcal A})=e^{\pmbτ({\mathcal A})}. $$ The mappings $\pmbπ$, $\pmbτ$ are vector-valued functions. While $\pmbπ$ has a complex structure, $\pmbτ$ is simple $$ \pmbτ({\mathcal A})=\left({\rm Tr}{\bf A}_0,\int_0^1dk_1{\rm Tr}{\bf B}_1{\bf A}_1,...,\int_0^1dk_1...\int_0^1dk_N{\rm Tr}{\bf B}_N{\bf A}_N\right). $$ There exists the norm under which the closure $\overline{\mathscr H}_{N,M}$ is a Banach algebra, and $\pmbπ$, $\pmbτ$ are continuous (analytic) mappings. This algebra contains simultaneously all operators of multiplication by matrix-valued functions and all operators from the trace class. Thus, it generalizes the other algebras for which determinants and traces was previously defined.