Discrete boundary value problems with initial and final conditions (Q2565456)

The author studies the nonhomogeneous linear difference equation with constant coefficients of order \(k\geq 2\): \[ \sum^k_{j=0}a_jy(t+j)= g(t),\quad t\in \{0\}\cup \mathbb N\tag{1} \] such that \(a_0 a_1\neq 0\), subject to initial conditions \[ y(i)-y_i,\quad N\leq i\leq k_1-1\tag{2} \] and to final conditions \[ y(i)=y_i, \quad N\leq i\leq N+k_2-1\tag{3} \] where \((k,k_1,k_2,N)\in\mathbb N^4\), \(k_1+k_2=k\), \(N>k_1\), \(a_j\in \mathbb C\), \(1\leq j\leq k\) and \(g:\{0\}\cup \mathbb N\to\mathbb C\). The main goal of the work is to characterize distributions of the characteristic roots that ensure the existence of a unique solution of discrete boundary value problem (1),(2),(3). The existence and uniqueness theorem proves that if \(z_j=|z_j|e^{i\theta}\), \(1\leq j\leq r\), \(|z_i|\neq |z_j|\), \(i\neq j\), that is the characteristic roots are on the same ray with different moduli, then the problem (1), (2),(3) has a unique solution.