Some indefinite cases of spectral problems for canonical systems of difference equations (Q1348096)

It is known that the solutions of the operator identity \[ AS-SA^*=i(\Phi _1\Phi _2^*+\Phi _2\Phi _1^*) \] with \(S=S^*\) yield an environment for the spectral theory of boundary problems. In this article certain operator identities are used to investigate some direct and inverse problems of spectral theory for systems of difference equations of the form (in the indefinite case) \[ \begin{cases} Y(k,z)-Y(k-1,z)=izJq(k)Y(k-1,z),\quad k=1,...,N\cr D_2Y_1(0,z)+D_1Y_2(0,z)=0 \end{cases} \] where \[ J=\left[ \begin{matrix} 0 & I_m\cr I_m & 0 \end{matrix} \right]\qquad Y(k,z)=\left[ \begin{matrix} Y_1(k,z)\cr Y_2(k,z) \end{matrix} \right]\qquad k=1,...,N \] \(Y_1(k,z)\) and \(Y_2(k,z)\) belong to \(C^n\), \(m\) is a positive integer, \(q(1),...,q(N)\) are \(2m\times 2m\) matrices and \(D_1\), \(D_2\) are \(m\times m\) matrices such that \[ q(k)=q(k)^*\qquad q(k)Jq(k)=0\qquad D_1D_2^*+D_2D_1^*=0\qquad D_1D_1^*+D_2D_2^*=I_m. \] The correspondence between these systems and some classical systems is analysed.