Hyers-Ulam stability of the linear recurrence with constant coefficients (Q2495047)

Extending the result of \textit{Z. Páles} [Publ. Math. 58, No.~4, 651--666 (2001; Zbl 0980.39022)], the author solves the Hyers-Ulam stability problem for an \(n\)-order linear recurrence with constant coefficients in \(X\) as the following theorem [see also \textit{D. Popa}, PU.M.A., Pure Math. Appl. 15, No.~1--2, 285--293 (2005; Zbl 1112.39024)]: Suppose that \(X\) is a Banach space, \(a_1, a_2, \dots, a_p\) are scalars such that the equation \(r^p-a_1r^{p-1}-\cdots -a_{p-1}r-a_p=0\) admits the roots \(r_1, r_2, \dots, r_p, | r_k| \neq 1\), \(1 \leq k \leq p\), \(\varepsilon > 0\), and \((b_n)_{n\geq 0}\) is a sequence in \(X\). Suppose that \((x_n)_{n\geq 0}\) is a sequence in \(X\) with the property \(\| x_{n+p}-a_1x_{n+p-1}-\cdots -a_{p-1}x_{n+1}-a_px_n-b_n\| \leq \varepsilon\) (\(n \geq 0\)). Then there exists a sequence \((y_n)_{n\geq 0}\) in \(X\) given by the recurrence \(y_{n+p}=a_1y_{n+p-1}+\cdots +a_{p-1}y_{n+1}+a_py_n+b_n\) (\(n \geq 0\)) such that \(\| x_n - y_n\| \leq \frac{\varepsilon}{| (| r_1| -1) \cdots (| r_p| -1)| }\) (\(n \geq 0\)).