English

Determinants and traces of multidimensional discrete periodic operators with defects

Mathematical Physics 2015-10-27 v2 math.MP

Abstract

As it is shown in previous works, discrete periodic operators with defects are unitarily equivalent to the operators of the form Au=A0u+A101dk1B1u+...+AN01dk1...01dkNBNu,  uL2([0,1]N,CM), {\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 (A,B)(k1,...,kN)({\bf A},{\bf B})(k_1,...,k_N) are continuous matrix-valued functions of appropriate sizes. All such operators form a non-closed algebra HN,M{\mathscr H}_{N,M}. In this article we show that there exist a trace τ\pmb{\tau} and a determinant π\pmb{\pi} defined for operators from HN,M{\mathscr H}_{N,M} with the properties τ(αA+βB)=ατ(A)+βτ(B),  τ(AB)=τ(BA),  π(AB)=π(A)π(B),  π(eA)=eτ(A). \pmb{\tau}(\alpha{\mathcal A}+\beta{\mathcal B})=\alpha\pmb{\tau}({\mathcal A})+\beta\pmb{\tau}({\mathcal B}),\ \ \pmb{\tau}({\mathcal A}{\mathcal B})=\pmb{\tau}({\mathcal B}{\mathcal A}),\ \ \pmb{\pi}({\mathcal A}{\mathcal B})=\pmb{\pi}({\mathcal A})\pmb{\pi}({\mathcal B}),\ \ \pmb{\pi}(e^{{\mathcal A}})=e^{\pmb{\tau}({\mathcal A})}. The mappings π\pmb{\pi}, τ\pmb{\tau} are vector-valued functions. While π\pmb{\pi} has a complex structure, τ\pmb{\tau} is simple τ(A)=(TrA0,01dk1TrB1A1,...,01dk1...01dkNTrBNAN). \pmb{\tau}({\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 HN,M\overline{{\mathscr H}}_{N,M} is a Banach algebra, and π\pmb{\pi}, τ\pmb{\tau} 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.

Keywords

Cite

@article{arxiv.1510.05906,
  title  = {Determinants and traces of multidimensional discrete periodic operators with defects},
  author = {Anton A. Kutsenko},
  journal= {arXiv preprint arXiv:1510.05906},
  year   = {2015}
}