No label defined (Q4935853)

The present note is devoted to the stability of the discrete dynamical system \[ x(k+1)=Ax(k),\;x(0)=x_0,\;k\in\{0,1,2, \dots\}, \tag{1} \] where \(x\in\mathbb{R}^n\) and \(A=(a_{ij})\) \((i,j=1,\dots,n)\) is a real constant matrix. For any two constant matrices \(\underline A=(\underline a_{ij})\), \(\overline A=( \overline a_{ij})\), with \(\underline a_{ij} <\overline a_{ij}\), \(i,j=1,\dots,n\), define \[ \begin{aligned} I[\underline A,\overline A] & =\bigl\{ (a_{ij})\mid \underline a_{ij}\leq a_{ij}\leq \overline a_{ij},\;i,j=1, \dots,n\bigr\},\\ B^*[\underline A,\overline A] & =\left\{(t_{ij})\mid t_{ij}= {\underline a_{ij}+\underline a_{ji} \over 2}\text{ or }{\overline a_{ij} +\overline a_{ji}\over 2},\;i,j=1, \dots,n \right\}, \\ C^*[\underline A,\overline A] & =\left\{(s_{ij})\mid s_{ij}= {\underline a_{ij}- \underline a_{ji}\over 2}\text{ or }{\overline a_{ij}- \overline a_{ji} \over 2},\;i,j=1, \dots,n\right\}. \end{aligned} \] Let \(\alpha_m,\alpha_M\) \((j\mu_m,j\mu_M)\) be the smallest eigenvalue and largest eigenvalue of \(B^*[\underline A,\overline A]\) \((C^* [\underline A,\overline A])\), respectively, where \(j^2=-1\). If the spectral radius of every \(A\in I[ \underline A,\overline A]\) is less than one, then \(I[\underline A,\overline A]\) (or, system (1)) is said to be intervally stable. The authors prove that a sufficient condition for interval stability of \(I[\underline A,\overline A]\) is \[ \biggl(\max \bigl[|\alpha_m|, |\alpha_M |\bigr] \biggr)^2 +\biggl(\max\bigl[ |\mu_m|, |\mu_M|\bigr]\biggr)^2 <1. \] In the symmetric case when \(C^*[\underline A,\overline A]\) is empty, the above result coincides with the sufficient part of the necessary and sufficient condition for interval stability given by \textit{C. B. Soh} [Int. J. Control 51, 243-248 (1990; Zbl 0694.93077)].