Attractivity Implies Lyapunov Stability for Multidimensional Fornasini–Marchesini Systems

Abstract

We study the linear multidimensional Fornasini–Marchesini recurrence with uniformly bounded boundary data prescribed on the open coordinate faces. Attractivity is understood in the sense of Pringsheim convergence, in which all discrete indices tend to infinity. We establish that attractivity alone implies Lyapunov stability, and consequently is equivalent to asymptotic stability, for an arbitrary number of discrete directions. Our proof combines inheritance of attractivity by lower-dimensional subsystems, a Baire-category uniform boundedness argument, and word-sum estimates to control coordinate slabs outside the Pringsheim tail. We use a generalized spectral stability criterion proved in a separate companion preprint, without reproving that criterion here. We also obtain a uniform exponential interior estimate and contrast our boundary/convergence convention with an earlier two-dimensional attractivity theorem.