- Research
- Open access
- Published:
A converse to global exponential stability of a class of difference equations
Advances in Difference Equations volume 2013, Article number: 9 (2013)
Abstract
This paper discusses the global exponential stability of a class of difference equations. Sufficient and necessary conditions for the global exponential stability are derived. Particularly, the equivalent relationship between the global exponential stability of difference equations and the contractive property of the nonlinear operator of the systems is shown.
1 Introduction
In mathematics and automatic control, an equation system is discussed as discrete or continuous one with the type of input variables and linear or nonlinear one according to the relationship between the input and output. The stability of the equation systems always catches researchers’ eyes. The Lyapunov function is important for stability theory and control theory, and its existence is a necessary and sufficient condition of stability for many differential equation systems. Linear systems received more attention than nonlinear systems because of simplicity and controllability, and many good results are shown in the textbooks and literature. Bastinec [1] gives the sufficient condition for exponential stability and estimation of solutions of linear differential systems with delay-dependence. Nonlinear systems are of interest to researchers and engineers because most physical systems are inherently nonlinear in nature and difficult to solve. The converse Lyapunov problem on the stability of nonlinear discrete dynamical systems is developed and studied by many researchers (Gordon [2]; Ortega [3]; Mousa et al. [4]; Jiang and Wang [5]; Wang et al. [6]). Diblik [7] considers a particular critical case and gives conditions for the stability of a zero solution of difference systems with quadratic nonlinearities using the method of Lyapunov functions and derives classes of stable systems. Furthermore, the author estimates the stability domains as well. Berezansky [8] considers the asymptotic convergence of solutions in discrete and difference equations with delay and gives strong sufficient conditions of the asymptotic convergence of all solutions without computing the limits of the solutions as . It demonstrates that a difference equation is of exponential stability in if and only if there is a Lyapunov function which is an abstract presentation of system energy (Mousa et al. [4]; Jiang and Wang [5]; Wang et al. [9]; Wang et al. [10]). The inverse problem of exponential stability instead of the inverse Lyapunov function has been considered from a different view in the recent literature (Wang et al. [9]; Wang and Xu [11]).
Consider the following difference equation (Wang et al. [9]; Wang and Xu [11]):
where is a bounded closed set, is nonlinear and continuously differentiable in D. Then T is a Lipschitz continuous operator. is the unique equilibrium point (fixed point). Wang et al. [9], Wang and Xu [11] show that system (1) is of exponential stability in D if and only if T is contractive in D with a certain strongly equivalent metric and also present a converse not only to the exponential stability of system (1) different from the Lyapunov function, but also to the Banach contraction theorem different from the ones in Meyers [12], Leader [13], Opoitsev [14]. In other words, the two works show that T is contractive in D with a certain strongly equivalent metric if its iterative sequence exponentially converges to for any initial point . The result is helpful to understand the exponential stability of from a different view. However, Wang et al. [9], Wang and Xu [11] only consider nonlinear discrete dynamical systems in the bounded set D. The problem whether the result can be extended to difference equations in an unbounded set still remains open. It is hard to answer for general difference equations.
This paper focuses on a class of important difference equations in shown as follows:
where is the unique equilibrium point and is a continuous differentiable nonlinear operator in , and holds for a positive constant λ (e.g., ). System (2) includes the discrete-time neural network model in Wang and Xu [10] and difference equations in Wang et al. [9], Wang and Xu [11] as the special cases. The exponential stability of system (2) is developed and necessary and sufficient conditions to be exponentially stable in (namely, globally exponentially stable) are derived. Particularly, we give the result that system (2) is of global exponential stability if and only if T is contractive in with a certain strongly equivalent metric. A simple method to distinguish global exponential stability from global asymptotic stability is proposed. The results in this paper are helpful to discover some properties of the global exponential stability of system (2).
2 Definition and main results
A nonlinear operator T is Lipschitz continuous if is satisfied for any and the given constant M (), and contractive in with a strongly equivalent metric if there is a constant such that holds for any . A metric function is a strongly equivalent metric with the vector norm (or strongly equivalent with ) in the set if there are two constants such that for any , the following inequalities hold (Wang and Xu [11]):
The equilibrium point of some operator (for example, (1) or (2)) is globally asymptotically stable in if it is stable in the sense of Lyapunov and holds for any . And it is exponentially stable in the set if there are constants and such that for any initial point in E and the positive integer k,
Let Φ be the set of all equivalent norms of , Ω be the set of all strongly equivalent metrics of in and Θ be the set of all topologically equivalent metrics of in E. Then the inclusion relationship is satisfied. In other words, each equivalent norm of is also a strongly equivalent metric, and each strongly equivalent metric is a topologically equivalent metric. Generally, T maybe is not contractive in with any equivalent norm even if system (2) is of exponential stability. Besides, system (2) is possibly not of exponential stability in even if T is contractive with certain topologically equivalent metric (Wang and Xu [11]). In this paper, we show that strongly equivalent metrics are a class of appropriate equivalent metric functions describing the exponential stability of system (2).
Suppose is a Lipschitz continuous nonlinear operator in the arbitrary subset . Then the lub Lipschitz constants of F with and are defined as follows, respectively (Wang and Xu [11]; Soderlind [15]):
where and are two functions determined by F, E and or . Hence, for any , one obtains
Wang and Xu [11] give the result that and exist and the following formulas hold:
Denote . Then is a constant independent of different equivalent norms or strongly equivalent metrics. and can be regarded as nonlinear generalizations of the matrix norm and matrix spectral radius. By Wang and Xu [11], one can have
Namely, is a minimum Lipschitz constant. Furthermore, F is contractive in E with respect to a certain strongly equivalent metric in Ω if and only if or holds for a positive integer m.
Lemma 1 In system (2), holds. And for any and a positive integer j, one obtains .
Hence, the nonlinear operator T in system (2) is Lipschitz continuous in . The main results of this paper are presented below.
Theorem 1 In system (2), the following five conditions are equivalent:
-
(A)
is globally exponentially stable in .
-
(B)
is globally asymptotically stable in and .
-
(C)
.
-
(D)
T is contractive in with certain strongly equivalent metrics of .
-
(E)
The power of T is contractive in with the norm , i.e., there exist a positive integer m and a constant such that holds for any .
As long as system (2) is of global exponential stability, we have , and for any sufficiently small , is an exponential bound. Here, and is the spectral radius of the Jacobian matrix .
Theorem 1 shows that we can distinguish global exponential stability from global asymptotic one for system (2) by calculating the spectral radius of the Jacobian matrix at the equilibrium point , namely, . It tells us that the global exponential stability of system (2) is equivalent to the contractive property of the nonlinear operator T with certain strongly equivalent metrics of the norm . It actually describes a new converse to the Banach contraction theorem differing from the ones in Meyers [12], Leader [13], Opoitsev [14].
Theorem 2 In system (2), assume . If is globally exponentially stable in , then and is the infimum of all exponential bounds of convergent trajectories. Particularly,
holds for any and , where are the same constants as in Theorem 1.
Theorem 2 shows that exponential bounds of convergent trajectories describing the global property of trajectory motion in the whole space actually can be determined by the local information at the equilibrium point, namely .
3 Proofs
In this section, the proofs of results and theorems will be given.
Proof of Lemma 1 Since , for any , there is such that as . Let . Since T is continuously differentiable in , is a continuous function in the compact set . Thus, we have . This implies that holds. From the mid-value theorem, for any , one obtains
This implies that holds. Since is continuously differentiable, with the definition of the Gateaux differential, for any and any with ,
This implies that
The proof is done. □
Proof of Theorem 1 The equivalent relationships between (C), (D) and (E) can be easily gotten from Wang and Xu [11]. And it is also easy to deduce (B) from (A). Next, we mainly prove (C) ⇒ (A) and (B) ⇒ (C).
Firstly, prove (C) ⇒ (A).
If , then system (2) is of global exponential stability in . With equation (6), for any sufficiently small , there is a strongly equivalent metric such that . Assume that and have the following strongly equivalent relationships:
where are two constants. For any positive integer k and any , we have
Thus, system (2) is of global exponential stability in with the exponential bound .
Secondly, prove (B) ⇒ (C); namely, if system (2) is of global exponential stability in and , then .
Since , for any , there is a constant such that as . Let , , . For any and any given positive integer m, if holds for any positive integer , then by the chain-rule of derivative, one gets
For the fixed , there exists an equivalent norm such that the subordinated matrix norm . Since T is continuously differentiable, is a continuous function of . It implies that there exists a spherical neighborhood such that for any ,
By the mid-value theorem, for any , we have
If system (2) is of global exponential stability in , it is globally uniformly asymptotically stable in as well (Elaydi [16]). Therefore, there exists a positive integer N such that for any positive integer and any , holds. With equation (10), for any , if , we have
It implies that for any positive integer , one obtains
Since , then
holds for ε is an arbitrary positive number. Thus, there exists a positive integer such that for the fixed as a positive integer . For any positive integer , is continuously differentiable, and for any , x is an inner point of . By the definition of the Gateaux differential, for any , and with , one can obtain
It implies that for any and ,
holds. For any , either or , the result that if , then holds for any positive integer is shown above. Next, we will prove that a similar result exists for any . For any given and any given positive integer , there are the following two different cases.
Case 1: for any positive integer . From equation (9), one may have .
Case 2: There exists a positive integer such that for any positive integer and . If , then by the chain-rule of derivative and equations (9) and (11), we have
If , then from equation (9) and Lemma 1, one gets
Since is an arbitrary positive number, with equation (12), we have . And since holds for any (Wang et al. [9]), we have and . It implies that and .
From the above two cases, for any and ,
By combining equations (11) and (13), one can conclude that for any positive integer and any ,
For any and ,
It implies that
Since ε is an arbitrary positive number, holds. □
Proof of Theorem 2 Since system (2) is of global exponential stability in , there are constants and such that for any and any positive integer k, we have . With Lemma 1, for any positive integer k and , then . By the chain-rule of derivative, for any given positive integer k, one obtains . This implies that
holds from Theorem 1 and if system (2) is globally exponentially stable in . And from equation (8), for any and k, we have
where are the same constants as in equation (7). It implies that is not less than the infimum of exponential bounds of convergent trajectories. Moreover, from Wang et al. [9], Wang and Xu [11] if system (2) is of global exponential stability in with an exponential bound α, then . Therefore, is not larger than the infimum of exponential bounds of convergent trajectories. Finally, is the infimum of exponential bounds of convergent trajectories. □
4 Examples
In this section, we present two examples to clarify the concepts introduced in this paper and apply the obtained results to several concrete nonlinear discrete systems.
Example 1 Consider the following recurrent neural network model studied in Jin [17]:
where is an equilibrium point, is a diagonal state feedback coefficient matrix, with is the activation gain matrix; the interconnection matrix W is the lower triangular given by
is the activation mapping that is diagonally nonlinear, continuously differentiable in , and each satisfies for any .
In Jin et al. [17], it has been shown that (14) will be of global asymptotical stability in if for any . In Wang and Xu [11], (14) is proven to be of the global exponential stability of in a bounded convergence region. Since the global exponential stability in the whole space is more interesting than in a bounded region, we will focus on it in the following.
Denote , . Then it is easy to see that the Jacobian matrix of T at is given by and its eigenvalues are given by
Thus, whenever , we have and ; thus system (14) is of global exponential stability.
Example 2 Consider a general class of discrete-time dynamic neural networks with continuous states described in (Jin [17]) as follows:
where is the neural state vector, is the synaptic weight matrix, is the constant threshold vector, with is the feedback coefficient matrix, is the matrix of activation gains for controlling state decaying, and is the vector-valued activation function with a gain matrix ψ.
The nonlinear neural activation function may be chosen as a continuous and differentiable nonlinear sigmoid function satisfying the following conditions: (1) as ; (2) is bounded with the upper bound 1 and the lower bound −1; (3) at a unique point ; (4) and as ; and (5) has a global maximal value one.
Jin [17] only shows the global asymptotic stability of system (15). The global exponential stability is discussed as follows.
Denote , , then . From and as , it is easy to know that as . If is obtained at , then system (15) is of global exponential stability.
References
Bastinec J, Diblik J, Khusainov DY, Ryvolova A: Exponential stability and estimation of solutions of linear differential systems of neutral type with constant coefficients. Bound. Value Probl. 2010., 2010: Article ID 956121. doi:10.1155/2010/956121
Gordon SP: On converse to the stability theorems for difference equations. SIAM J. Control 1972, 10: 76–81. 10.1137/0310007
Ortega JM: Stability of difference equations and convergence of iterative processes. SIAM J. Numer. Anal. 1973, 10: 268–282. 10.1137/0710026
Mousa MS, Miller RK, Michel AN: Stability analysis of hybrid composite dynamical systems: descriptions involving operators and difference equations. IEEE Trans. Autom. Control 1986, 31: 603–615. 10.1109/TAC.1986.1104346
Jiang ZP, Wang Y: A converse Lyapunov theorem for discrete-time systems with disturbances. Syst. Control Lett. 2002, 45: 49–58. 10.1016/S0167-6911(01)00164-5
Wang LS, Xu ZB, Zhao QF: Quantitative characterizations of exponential convergent property of nonlinear discrete dynamical systems. IEEE Trans. Autom. Control 2007, 52(11):2129–2134.
Diblik J, Khusainov DY, Grytsay IV, Smarda Z: Stability of nonlinear autonomous quadratic discrete systems in the critical case. Discrete Dyn. Nat. Soc. 2010., 2010: Article ID 539087. doi:10.1155/2010/539087
Berezansky L, Diblik J, Ruzickova M, Suta Z: Asymptotic convergence of the solutions of a discrete equation with two delays in the critical case. Abstr. Appl. Anal. 2011., 2011: Article ID 709427. doi:10.1155/2011/709427
Wang LS, Heng PA, Leung KS, Xu ZB: Global exponential asymptotic stability in nonlinear discrete dynamical systems. J. Math. Anal. Appl. 2001, 258: 349–358. 10.1006/jmaa.2001.7510
Wang LS, Xu ZB: Sufficient and necessary conditions for global exponential stability of a class of general discrete-time recurrent neural networks. IEEE Trans. Circuits Syst. I, Regul. Pap. 2006, 53(6):1373–1380.
Wang LS, Xu ZB: On characterizations of exponential stability of nonlinear discrete dynamical systems on bounded regions. IEEE Trans. Autom. Control 2007, 52(10):1871–1881.
Meyers PR: A converse to Banach’s contraction theorem. J. Res. Natl. Bur. Stand. 1967, 71(B):73–76.
Leader S: A topological characterization of Banach contractions. Pac. J. Math. 1977, 69(2):461–466. 10.2140/pjm.1977.69.461
Opoitsev VI: A converse to the principle of contracting maps. Russ. Math. Surv. 1976, 31(4):175–204. 10.1070/RM1976v031n04ABEH001564
Soderlind G: On nonlinear difference and differential equations. BIT Numer. Math. 1984, 24: 667–680. 10.1007/BF01934923
Elaydi SN: An Introduction to Difference Equations. Springer, New York; 1995.
Jin L, Gupta MM: Global asymptotic stability of discrete-time analog neural networks. IEEE Trans. Neural Netw. 1996, 7(6):1024–1031.
Acknowledgements
The authors would like to thank the reviewers for their valuable comments and helpful suggestions that greatly improved the note’s quality.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
LW gave the key idea about the connection between global exponential stability and global asymptotic stability out and participating the revision and illustration. QZ participated the proof of Lemma 1 and part of Theorem 1. YF carried out the left work including the proof of Theorem 1 and Theorem 2 gave the two examples. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Fu, Y., Zhao, Q. & Wang, L. A converse to global exponential stability of a class of difference equations. Adv Differ Equ 2013, 9 (2013). https://doi.org/10.1186/1687-1847-2013-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-9