We consider discrete self-adjoint Dirac systems determined by the potentials (sequences) {C k } such that the matrices C k are positive definite and j-unitary, where j is a diagonal m × m matrix and has m 1 entries 1 and m 2 entries −1 (m 1 + m 2 = m) on the main diagonal. We construct systems with rational Weyl functions and explicitly solve inverse problem to recover systems from the contractive rational Weyl functions. Moreover, we study the stability of this procedure. The matrices C k (in the potentials) are so called Halmos extensions of the Verblunsky-type coefficients ρ k . We show that in the case of the contractive rational Weyl functions the coefficients ρ k tend to zero and the matrices C k tend to the indentity matrix I m .
MSC(2010): 34B20, 39A12, 39A30, 47A57Keywords. Discrete self-adjoint Dirac system, Weyl function, inverse problem, explicit solution, stability of solving inverse problem, asymptotics of the potential, Verblunsky-type coefficient.