On Characterizations of Exponential Stability of Nonlinear Discrete Dynamical Systems on Bounded Regions

In this paper, we discuss the quantitative characterization problems of the exponential stability and trajectory convergence property of nonlinear discrete dynamical systems on a bounded set of the state space. Through introducing two new concepts-the Lip constant of a nonlinear operator and strongly equivalent metrics of a norm-we show that the nonlinear discrete dynamical systems are exponentially stable on the bounded set if and only if the corresponding nonlinear operator is contractive under some strongly equivalent metrics, or if and only if the Lip constant of the nonlinear operator is less than one. In the latter case, we further show that the infimum of the exponential bounds of trajectories of the system equals exactly to the Lip constant. Based on the obtained results, we clearly explain how trajectory convergence properties of the systems are determined quantitatively by the Lip constant and strongly equivalent metrics. The obtained results not only are of importance in understanding the essence of exponential stability and trajectory convergence properties of nonlinear discrete dynamical systems on bounded sets of the state space but also provide some new, useful criteria of testing exponential stability and estimating convergence speed of trajectories of the systems.

[1]  J. Ortega.  Stability of Difference Equations and Convergence of Iterative Processes , 1973 .

[2]  Philip R. Meyers.  A Converse to Banach/s Contraction Theorem , 1967 .

[3]  James M. Ortega,et al.  Iterative solution of nonlinear equations in several variables , 2014, Computer science and applied mathematics.

[4]  K. Deimling.  Nonlinear functional analysis , 1985 .

[5]  Gustaf Söderlind,et al.  Bounds on nonlinear operators in finite-dimensional banach spaces , 1986 .

[6]  Kwong-Sak Leung,et al.  Global Exponential Asymptotic Stability in Nonlinear Discrete Dynamical Systems , 2001 .

[7]  T. Tarn,et al.  Observers for nonlinear stochastic systems , 1975, 1975 IEEE Conference on Decision and Control including the 14th Symposium on Adaptive Processes.

[8]  R. K. Miller,et al.  Stability Analysis of Hybrid Composite Dynamical Systems: Descriptions Involving Operators and Difference Equations , 1986, 1986 American Control Conference.

[9]  Wei Lin,et al.  Losslessness, feedback equivalence, and the global stabilization of discrete-time nonlinear systems , 1994, IEEE Trans. Autom. Control..

[10]  A. Michel,et al.  Stability analysis of hybrid composite dynamical systems: Descriptions involving operators and differential equations , 1985, 1985 24th IEEE Conference on Decision and Control.

[11]  Donato Trigiante,et al.  THEORY OF DIFFERENCE EQUATIONS Numerical Methods and Applications (Second Edition) , 2002 .

[12]  A. Michel,et al.  Asymptotic stability of discrete-time systems with saturation nonlinearities with applications to digital filters , 1992 .

[13]  A.N. Michel,et al.  Analysis and synthesis of a class of discrete-time neural networks described on hypercubes , 1991, IEEE Trans. Neural Networks.

[14]  Solomon Leader.  A topological characterization of Banach contractions , 1977 .

[15]  Eugenius Kaszkurewicz,et al.  Existence and stability of a unique equilibrium in continuous-valued discrete-time asynchronous Hopfield neural networks , 1996, IEEE Trans. Neural Networks.

[16]  Wei Lin,et al.  Further results on global stabilization of discrete nonlinear systems , 1996 .

[17]  Ferenc Szidarovszky,et al.  An elementary result in the stability theory of time-invariant nonlinear discrete dynamical systems , 1999, Appl. Math. Comput..

[18]  Liang Jin,et al.  Globally asymptotical stability of discrete-time analog neural networks , 1996, IEEE Trans. Neural Networks.

[19]  S. Gordon.  On Converses to the Stability Theorems for Difference Equations , 1972 .

[20]  Youssef N. Raffoul,et al.  Exponential Stability in Non-linear Difference Equations , 2003 .

[21]  Nikita Barabanov,et al.  A new method for stability analysis of nonlinear discrete-time systems , 2003, IEEE Trans. Autom. Control..

[22]  Jun Wang,et al.  Global stability of a class of discrete-time recurrent neural networks , 2002 .

[23]  J. P. Lasalle.  The stability and control of discrete processes , 1986 .

[24]  Y. Raffoul.  EXPONENTIAL STABILITY IN NONLINEAR DIFFERENCE EQUATIONS , 2003 .

[25]  R. Stephenson.  A and V , 1962, The British journal of ophthalmology.

[26]  Lisheng Wang,et al.  Sufficient and necessary conditions for global exponential stability of discrete-time recurrent neural networks , 2006, IEEE Transactions on Circuits and Systems I: Regular Papers.

[27]  Kay Chen Tan,et al.  Global exponential stability of discrete-time neural networks for constrained quadratic optimization , 2004, Neurocomputing.

[28]  Gustaf Söderlind,et al.  On nonlinear difference and differential equations , 1984 .

[29]  Ravi P. Agarwal,et al.  Difference equations and inequalities , 1992 .

[30]  María José Pérez-Ilzarbe.  Convergence analysis of a discrete-time recurrent neural network to perform quadratic real optimization with bound constraints , 1998, IEEE Trans. Neural Networks.

[31]  Gustaf Stiderlind.  Bounds on nonlinear operators in finite-dimensional banach spaces , 1986 .

[32]  J. P. Lasalle.  The stability of dynamical systems , 1976 .

[33]  Howard M. Schwartz,et al.  On the exponential stability of discrete-time systems with applications in observer design , 1994, Proceedings of 1994 American Control Conference - ACC '94.