Second-order difference systems in unbounded domains: Existence conditions and construction of exact and approximate bounded solutions (Q1899335)

The authors consider systems of second-order difference equations of the type \[ y(n+ 2)+ A_1 y(n+ 1)+ A_0 y(n)= f(n+ 1),\tag{1} \] where \(A_0\), \(A_1\) are square complex matrices, \(\{f(n)\}\) is a sequence of complex vectors, and \(n\in \mathbb{Z}\). After investigating the homogeneous version of problem (1) as well as some auxiliary problem, in the main section 1 a bounded solution of (1) with bounded right-hand side is given. Moreover, an explicit expression for a bounded solution of the initial value problem \[ y(n+ 2)+ A_1 y(n+ 1)+ A_0 y(n)= g(n),\tag{2} \] with \(n\geq 0\) and initial values \(y(0)= y_0\), \(y(1)= y_1\) is presented. Also, numerical solutions of (2) are given, and their approximation error is investigated.