Abstract
In this paper we investigate an impulsive discrete time system with delay. By using Lyapunov stability theory and a Razumikhin type technique, some new criteria for the exponentially practical stability of impulsive discrete time system with delay are established. A numerical example is given to show the effectiveness of our theoretical results.
Similar content being viewed by others
1 Introduction
According to a study, a discrete time system is a more natural way to represent systems such as networked control system, numerical analysis, and population models [1–9]. In most physical dynamic systems, abrupt state changes at certain moments often occur. It is natural to assume these changes to happen instantaneously. Such dynamical systems with these changes are called impulsive systems. Impulsive systems arise in many fields and there are several studies on stability of impulsive systems [3–5, 8, 10–15]. Moreover, the real processes in our world always involve time delay systems; for example, manufacturing processes, digital control systems, population dynamics, and the electronic implementation of analog neural networks, etc. It is well known that time delay might cause instability, divergence behavior, and oscillation of dynamic systems. Therefore, the stability of impulsive system with time delay has been investigated extensively over the past decades [1–22].
Recently, the stability analysis of time delay system has been investigated extensively in many areas [1–4, 6, 8, 9, 13, 23]. There are important types of stability of dynamical systems, namely exponential stability and practical stability. In the case of exponential stability, it is required that all solutions starting near an equilibrium point not only stay nearby, but tend to the equilibrium point very fast with exponential decay rate; see [2–4, 6, 12, 14, 15, 23]. Meanwhile, for practical stability, one only needs to stabilize a system in a region of phase space, namely the system may oscillate close to the state, in which the performance is still acceptable. There are several results on the practical stability for continuous time systems with delay [10, 16, 17] and without delay [12, 24, 25]. On the other hand, there are few results on practical stability for discrete time systems with delay [5, 7]. Moreover, there are several practical applications of impulsive discrete time system with delay such as BAM neural networks [18], Nicholson’s blowflies model [3], and switched systems with delays [19–21]. Therefore, it is important to investigate the practical stability problem of impulsive discrete time system with delay. In [3, 4], the authors have studied discrete time delayed dynamic systems with impulsive effects. By employing Lyapunov stability theory and a Razumikhin type technique, exponential stability criteria of impulsive discrete time system with delay have been derived. In [5], an asymptotically practical stability condition of impulsive discrete systems with time delays has been provided by using Lyapunov stability theory and a Razumikhin type technique. However, the stability criteria depend on τ, namely, \(\tau\triangleq\sup_{m \in\mathbb{Z}^{+}}\lbrace k_{m+1}-k_{m}\rbrace<+\infty\), where \(k_{m}\) are impulsive moments. Obviously, exponential stability implies exponentially practical stability but not conversely. However, in several practical applications, one only needs to stabilize a system in a region of phase space, namely the system may oscillate near the equilibrium point, in which the performance is still acceptable. Motivated by the above discussions, in this paper, we derive novel exponentially practical stability criteria of impulsive discrete time systems with delay by using Lyapunov stability theory and a Razumikhin type technique. To the best of our knowledge, it is the first result on the exponentially practical stability of impulsive discrete time systems with delay. Moreover, comparing to [5] which proposed an asymptotically practical stability condition, our technique can be used to derive an exponentially practical stability condition if it is more desirable. Furthermore, the obtained condition is not required that \(\sup_{m\in \mathbb{Z}^{+}}\lbrace k_{m+1}-k_{m}\rbrace<+ \infty\), where \(k_{m}\) are impulsive moments which is imposed in [5]. The paper is organized as follows. In Section 2, we introduce some notations, definitions, and a proposition. In Section 3, we give new criteria for exponentially practical stability of impulsive discrete time systems with delay. In Section 4, a numerical example is given to show the effectiveness of our theoretical results. Our conclusion is given in Section 5.
2 Preliminaries
Let \(\mathbb{R}^{n}\) denote the n dimensional Euclidean space, \(\Vert x \Vert \) is the Euclidean norm of vector x. Given a positive integer τ, for any function \(\phi: \mathbb{N}_{-\tau} \longrightarrow\mathbb{R}^{n}\), we define \(\Vert \phi \Vert =\max_{\theta\in\mathbb{N}_{-\tau}}\lbrace \Vert \phi(\theta) \Vert \rbrace\), \(\mathbb{N}=\{0,1,2,\ldots\}\) and \(\mathbb{N}_{-\tau}=\{ -\tau ,-\tau-1,\ldots,-1,0\}\).
Consider the following impulsive discrete time system with delay:
where \(x(k)\in\mathbb{R}^{n}\), \(\overline{x}_{k} \) is defined by \(\overline{x}_{k}(s)=\overline{x}(k+s)\) for any \(s \in\mathbb {N}_{-\tau }\). We assume \(f : \mathbb{N}\times\mathbb{N}_{k_{0}-\tau}\rightarrow \mathbb{R}^{n}\) and \(I_{m} : \mathbb{N}\times\mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\) for \(m \in\mathbb{N}\), and the impulsive moments satisfy \(0\leq k_{0}< k_{1}< k_{2}<\cdots,k_{m}\rightarrow\infty\) for \(m\rightarrow\infty\). Furthermore, we assume \(f(k,0)=0, I_{m}(k,0)=0\), which implies that (2.1) admits the trivial solution. Let \(x(k;k_{0},\phi)\) denote the trajectory of system (2.1) with initial condition ϕ.
Definition 2.1
The trivial solution of system (2.1) is exponentially practically stable in the pth moment, if, for any \(k\geq k_{0}\) there exist constants \(\lambda>0, M\geq0, r>0\) such that
The following proposition will be used in the proof of our main results. The proofs are straightforward and will be omitted.
Proposition 2.1
Let \(\gamma, \beta\) be positive real numbers and \(0<\lambda<1\). If one of the following conditions holds:
-
(i)
\(\gamma\geq1\) and \(\frac{\gamma e -1}{\gamma e} <\beta<1\),
-
(ii)
\(\gamma< 1\) and \(\frac{ e -1}{ e} <\beta<1\),
then \(\max\{(1-\beta) e^{\lambda}, (1-\beta)\gamma e^{\lambda}\}<1\).
3 Main results
We first consider the exponentially practical stability problem of system (2.1) in the case \(\gamma\geq1\).
Theorem 3.1
If there exist positive numbers \(a, c_{1}, c_{2}, p, \gamma, q, \beta, \eta;q> \gamma\geq1, \frac {\gamma e -1}{\gamma e} <\beta<1, \frac{1}{\gamma}>1-\beta, \eta< \min\lbrace\frac{a-a \gamma+a \gamma\beta}{\gamma} , \beta a \rbrace\) and a Lyapunov function \(V(k,\overline{x}(k))\) such that the following conditions hold:
-
(i)
\(c_{1}\Vert \overline{x}(k) \Vert ^{p}\leq V(k,\overline{x}(k))\leq c_{2}\Vert \overline{x}(k) \Vert ^{p}+a, \forall k\geq k_{0}-\tau, x\in \mathbb{R}^{n} \),
-
(ii)
if \(V(k+s,\overline{x}(k+s))< qV(k+1,x(k+1))\) with \(s \in \mathbb {N}_{-\tau}\), then \(\Delta V(k,\overline {x}(k))=V(k+1,x(k+1))-V(k,\overline{x}(k))\leq-\beta V(k,\overline {x}(k))+ \eta\) holds,
-
(iii)
\(V(k_{m},\overline {x}(k_{m}))=V(k_{m},x(k_{m}))+I_{m}(k_{m},x(k_{m}))\leq \gamma V(k_{m},x(k_{m})),m\in\mathbb{N},x\in\mathbb{R}^{n}\),
then the trivial solution of system (2.1) is exponentially practically stable in the pth moment.
Proof
Since \(q>\gamma\geq1\), there exists \(0<\lambda<1\) such that
From (i), for \(k \in[k_{0}-\tau,k_{0}]\), we get
We claim that
Now, we will prove (3.2) by using mathematical induction.
First, we show that (3.2) holds for \(m=1\), namely
We assume (3.3) were not true, then there exists \(k \in [k_{0}+1,k_{1}]\) such that \(V(k,\overline{x}(k))> c_{2}\Vert \phi \Vert ^{p}e^{-\lambda(k-k_{0})}+a\). Let \(k^{*}=\min\{k \in [k_{0}+1,k_{1}]/V(k,\overline{x}(k))> c_{2}\Vert \phi \Vert ^{p}e^{-\lambda(k-k_{0})}+a\}\). From (3.1) and the definition of \(k^{*}\), we have
We will consider two possible cases for \(k^{*} \in[k_{0}+1,k_{1}]\).
-
(I)
\(k^{*} \in[k_{0}+1,k_{1}-1]\).
In this case, for any \(s \in\mathbb{N}_{-\tau}\), we have
Let \(\overline{k}=k^{*}-1\), then we get \(V(\overline{k}+s,x(\overline {k}+s))\leq qV(\overline{k}+1,x(\overline{k}+1))\). By (ii), we have \(\Delta V(\overline{k},x(\overline{k}))\leq-\beta V(\overline {k},x(\overline{k}))+\eta\) holds. Thus, we have
By assumption of η and Proposition 2.1, we get \(V(k^{*},x(k^{*}))\leq(1-\beta)e^{\lambda}c_{2} \Vert \phi \Vert ^{p}e^{-\lambda(k^{*}-k_{0})}+a-\beta a+\eta\), which contradicts the definition of \(k^{*}\). Hence (3.3) holds.
-
(II)
\(k^{*}=k_{1}\).
In this case, we have \(V(k_{1},\overline{x}(k_{1}))> c_{2}\Vert \phi \Vert ^{p}e^{-\lambda(k_{1}-k_{0})}+a\) and for any \(s \in\mathbb {N}_{-\tau}\), we get
Let \(\overline{k}=k_{1}-1\), then we get \(V(\overline{k}+s,x(\overline {k}+s))\leq qV(\overline{k}+1,x(\overline{k}+1))\). By (ii), we have \(\Delta V(\overline{k},x(\overline{k}))\leq-\beta V(\overline {k},x(\overline{k}))+\eta\), which gives
Thus, we obtain
By assumption of η and Proposition 2.1, we get \(V(k^{*},x(k^{*}))\leq(1-\beta)\gamma e^{\lambda}c_{2} \Vert \phi \Vert ^{p}e^{-\lambda(k^{*}-k_{0})}+a\gamma-a \gamma\beta+\eta\gamma\), which contradicts the definition of \(k^{*}=k_{1}\). Hence (3.3) holds.
Next, we assume (3.2) holds for \(m \in\mathbb{N}\), namely
Then we will show that
We assume (3.4) were not true, then there exists
For \(k \in[k_{m}+1,k^{*}-1]\), we have \(V(k,\overline{x}(k))\leq c_{2}\Vert \phi \Vert ^{p}e^{-\lambda(k-k_{0})}+a\). We will consider two possible cases for \(k^{*} \in[k_{m}+1,k_{m+1}]\).
-
(I)
\(k^{*} \in[k_{m}+1,k_{m+1}-1]\).
In this case, for any \(s \in\mathbb{N}_{-\tau}\), we have
thus \(V(\overline{k}+s,x(\overline{k}+s))\leq qV(\overline {k}+1,x(\overline{k}+1))\) and from (ii), we have \(\Delta V(\overline {k},x(\overline{k}))\leq-\beta V(\overline{k}, x(\overline{k}))+\eta\), which contradicts the definition of \(k^{*}\). Hence (3.4) holds.
-
(II)
\(k^{*}=k_{m+1}\).
In this case, we have \(V(k_{m+1},\overline{x}(k_{m+1}))> c_{2}\Vert \phi \Vert ^{p}e^{-\lambda(k_{m+1}-k_{0})}+a\). Then, for any \(s \in\mathbb {N}_{-\tau}\), we get
Let \(\overline{k}=k_{m+1}-1\), then we get \(V(\overline{k}+s,\overline {x}(\overline{k}+s))\leq qV(\overline{k}+1,x(\overline{k}+1))\). By (ii), we have \(\Delta V(\overline{k},\overline{x}(\overline {k}))\leq -\beta V(\overline{k},\overline{x}(\overline{k}))+\eta\), which gives
Thus, we obtain
By assumption on η and Proposition 2.1, we get \(V(k^{*},x(k^{*}))\leq(1-\beta)\gamma e^{\lambda}c_{2} \Vert \phi \Vert ^{p}e^{-\lambda(k^{*}-k_{0})}+a\gamma-a \gamma\beta+\eta\gamma\), which contradicts the definition of \(k^{*}=k_{m+1}\). Hence (3.4) holds.
Thus, for all \(k\geq k_{0}\), we have
From (i), we obtain
which implies that
Therefore, the trivial solution of system (2.1) is exponentially practically stable in the pth moment. □
Next, we give an exponentially practical stability condition of system (2.1) for the case \(0<\gamma<1\).
Theorem 3.2
If there exist positive numbers \(a, c_{1}, c_{2}, p, \gamma, q, \beta, \eta;q>1>\gamma>0, \frac{ e -1}{ e} <\beta<1,\ \frac{1}{\gamma}>1-\beta, \eta< \min\lbrace\frac{a-a \gamma+a \gamma\beta}{\gamma} , \beta a \rbrace\) and a Lyapunov function \(V(k,\overline{x}(k))\) such that the following conditions hold:
-
(i)
\(c_{1}\Vert \overline{x}(k) \Vert ^{p}\leq V(k,\overline{x}(k))\leq c_{2}\Vert \overline{x}(k) \Vert ^{p}+a, \forall k\geq k_{0}-\tau, x\in \mathbb{R}^{n} \),
-
(ii)
if \(V(k+s,\overline{x}(k+s))< qV(k+1,x(k+1))\) with \(s \in \mathbb {N}_{-\tau}\), then \(\Delta V(k,\overline {x}(k))=V(k+1,x(k+1))-V(k,\overline{x}(k))\leq-\beta V(k,\overline {x}(k))+ \eta\) hold,
-
(iii)
\(V(k_{m},\overline {x}(k_{m}))=V(k_{m},x(k_{m}))+I_{m}(k_{m},x(k_{m}))\leq \gamma V(k_{m},x(k_{m})),m\in\mathbb{N} ,x\in\mathbb{R}^{n}\),
then the trivial solution of system (2.1) is exponentially practically stable in the pth moment.
Proof
Since \(q>1>\gamma>0\), there exists \(0<\lambda<1\) such that
From assumption of η and Proposition 2.1, by using a similar argument as in the proof of Theorem 3.1, we may show that \(\Vert \overline{x}(k) \Vert ^{p}\leq\frac{c_{2}}{c_{1}}\Vert \phi \Vert ^{p}e^{-\lambda(k-k_{0})}+\frac{a}{c_{1}}, \forall k\geq k_{0}\). Therefore, the trivial solution of system (2.1) is exponentially practically stable in the pth moment. □
Remark 3.1
From the methods of proof of Theorem 3.1 and Theorem 3.2, it is clear that these methods can be applied for an impulsive discrete time system with time varying delay \(\tau(k)\) with \(0\leq\tau(k) \leq\tau, \tau>0\).
Remark 3.2
We now provide a direct and effective solving algorithm corresponding to Theorems 3.1 and 3.2 as follows:
-
1.
First, we choose an appropriate Lyapunov function candidate. Then we make an estimate for \(c_{1} ,c_{2}\) and a satisfying condition (i).
-
2.
Next, find an estimation of γ which satisfies (iii).
-
3.
Finally, with estimates of \(c_{1}, c_{2}, a\) and γ in 1 and 2, we choose appropriate \(q, \beta\), and η which satisfy condition (ii).
4 Numerical example
Example 4.1
Consider the following impulsive discrete time system with delay:
where \(c, d\) are arbitrary constants and γ is positive constant, which is considered in [4]. Let \(a>0\) be given. If there exist positive numbers \(c_{1}, c_{2}, p, \gamma, q, \beta, \eta\) such that \(\eta = (1-\vert c\vert -\vert d\vert )a, \beta\leq\min\lbrace1-\frac {\vert c\vert }{1-\vert d\vert q}, \gamma-\frac{\vert c\vert }{1-\vert d\vert q} \rbrace\), then the trivial solution of system (4.1) is exponentially practically stable in the pth moment.
Proof
We choose a Lyapunov function \(V(k,\overline{x}(k))=\vert \overline{x}(k) \vert +a\); then we have
(i) \(c_{1}\Vert \overline{x}(k)\Vert \leq V(k,\overline {x}(k))=\vert \overline{x}(k) \vert +a \leq c_{2}\Vert \overline {x}(k)\Vert +a,\forall k\geq k_{0}-1\).
(ii) Assume \(V(k+s,\overline{x}(k+s))< qV(k+1,x(k+1))\) with \(s \in\mathbb{N}_{-1}\), then we have
We have two cases as follows.
Case I. \(k \neq k_{m}\). In this case, we have
Case II. \(k = k_{m}\). In this case, we have
From the assumptions, we get
(iii) For \(k=k_{m}\), we have
Therefore, from Theorem 3.2, we conclude that the system (4.1) is exponentially practically stable in the pth moment. For simulation purposes, we let \(a=0.5, \vert c \vert =0.04, \vert d \vert =0.43,\lambda =0.05, q=1.4,\gamma=0.9 \). We choose the Lyapunov function \(V(k,\overline{x}(k))=\vert \overline{x}(k) \vert +0.5\). Then Theorem 3.2 is satisfied with the parameters \(c_{1}=c_{2}=1,a=0.5,p=1,\beta =0.8,\gamma=0.9\), and \(\eta=0.27\). Therefore, we have \(\Vert \overline{x}(k) \Vert \leq1.8e^{-0.05 k}+0.5, \forall k\geq0\). In Figure 1 and Figure 2, with initial conditions given by \(x(-1)=1.8, x(0)=1.6\), the trajectories of solutions of (4.1) with impulsive moments \(k_{m}=4k+3, m\in \mathbb{N}\) in which \(\sup_{m\in\mathbb{Z}^{+}}\lbrace k_{m+1}-k_{m}\rbrace=4 <+ \infty \) and \(k_{m}=\lbrace4,6,9,13,18,24,\ldots\rbrace\) in which \(\sup_{m\in \mathbb{Z}^{+}}\lbrace k_{m+1}-k_{m}\rbrace= \infty\), are shown, respectively. It is worth noting that, in [4], the asymptotically practically stable criterion requires \(\tau\triangleq\sup_{m \in \mathbb{Z}^{+}}\lbrace k_{m+1}-k_{m}\rbrace<+ \infty\). On the other hand, this restriction is not required in Theorem 3.2. Therefore, our result is less conservative than the result obtained in [4].
□
5 Conclusion
In this paper the exponentially practical stability is derived for an impulsive discrete time system with delay by using Lyapunov stability theory and a Razumikhin type technique. Comparing to some existing results in the literature the obtained criterion is not required that \(\sup_{m\in\mathbb{Z}^{+}}\lbrace k_{m+1}-k_{m}\rbrace<+ \infty\), where \(k_{m}\) are impulsive moments. A numerical example is given to show the effectiveness of our theoretical results.
References
Liu, B, Marquez, H: Razumikhin-type stability theorems for discrete delay systems. Automatica 43(7), 1219-1225 (2007)
Li, C, Duan, S, Wu, S, Liao, X: Exponential stability of impulsive discrete systems with time delay and applications in stochastic neural networks: a Razumikhin approach. Neurocomputing 82, 29-36 (2012)
Wu, K, Ding, X: Impulsive stabilization of delay difference equation and its application in Nicholson’s blowflies model. Adv. Differ. Equ. 2012, 88 (2012)
Zhang, K, Liu, X: Global exponential stability of nonlinear impulsive discrete systems with time delay. In: 2013 25th Chinese Control and Decision Conference (CCDC), pp. 148-153 (2013)
Sun, L, Liu, C, Li, X: Practical stability of impulsive discrete systems with time delays. Abstr. Appl. Anal. 2014, 954121 (2014)
Xiang, M, Xiang, Z: Exponential stability of discrete time switched linear positive systems with time delay. Appl. Math. Comput. 230, 193-199 (2014)
Zhang, Q, Liu, W, Su, Z: Practical stability and controllability for a class of nonlinear discrete systems with time delay. Nonlinear Dyn. Syst. Theory 10(2), 161-174 (2010)
Liu, X, Zhang, Z: Uniform asymptotic stability of impulsive discrete systems with time delay. Nonlinear Anal. 72, 4941-4950 (2011)
Zhang, Y, Sun, J, Feng, G: Impulsive control of discrete systems with time delay. IEEE Trans. Autom. Control 54, 830-834 (2009)
Ellouze, I, Hammami, MA: Practical stability of impulsive control systems with multiple time delays. Dyn. Contin. Discrete Impuls. Syst., Ser. A Math. Anal. 20, 341-356 (2013)
Yan, J, Shen, J: Impulsive stabilization of functional differential equations by Lyapunov-Razumikhin functions. Nonlinear Anal. 37, 245-255 (1999)
Dlala, M, Hammami, MA: Uniform exponential practical stability of impulsive perturbed systems. J. Dyn. Control Syst. 13, 373-386 (2007)
Wang, Q, Liu, X: Impulsive stabilization of delay differential systems via the Lyapunov-Razumikhin method. Appl. Math. Lett. 20, 839-845 (2007)
Peng, SG, Zhang, Y: Razumikhin-type theorems on pth moment exponential stability of impulsive stochastic delayed differential equations. IEEE Trans. Autom. Control 55(8), 2795-2805 (2010)
Fu, X, Li, X: Razumikhin-type theorems on exponential stability of impulsive infinite delay differential systems. J. Comput. Appl. Math. 224, 1-10 (2009)
Hamed, BB, Ellouze, I, Hammami, MA: Practical uniform stability of nonlinear differential delay equations. Mediterr. J. Math. 8, 603-616 (2011)
Wu, B, Han, J, Cai, X: On the practical stability of impulsive differential equations with infinite delay in terms of two measures. Abstr. Appl. Anal. 2012, 434137 (2012)
Sun, G, Zhang, Y: Exponential stability of impulsive discrete-time stochastic BAM neural networks with time-varying delay. Neurocomputing 131, 323-330 (2014)
Huang, S, Li, X, Xiang, Z: Anti-windup design and l2-gain analysis for a class of discrete-time impulsive switched systems with actuator saturation. Trans. Inst. Meas. Control 38(4), 425-434 (2016)
Li, X, Xiang, Z: Observer design of discrete-time impulsive switched nonlinear systems with time-varying delays. Appl. Math. Comput. 229, 327-339 (2014)
Li, X, Xiang, Z, Karimi, HR: Asynchronously switched control of discrete impulsive switched systems with time delays. Inf. Sci. 249, 132-142 (2013)
Li, Z, Fang, J, Miao, Q, He, G: Exponential synchronization of impulsive discrete-time complex networks with time-varying delay. Neurocomputing 157, 335-343 (2015)
Ghanmi, B, Hammami, MA, Hadj Taied, N: Growth conditions for exponential stability of time-varying perturbed systems. Int. J. Control 89(6), 1086-1097 (2013)
Benabdallah, A, Ellouze, I, Hammami, MA: Practical stability of nonlinear time-varying cascade systems. J. Dyn. Control Syst. 15, 45-62 (2009)
Song, X, Li, S, Li, A: Practical stability of nonlinear differential equation with initial time difference. Appl. Math. Comput. 203, 157-162 (2008)
Acknowledgements
The first author is supported by student scholarship from the Human Resources Development in Science Project (Science Achievement Scholarship of Thailand SAST) and Chiang Mai University. The second author is supported by Chiang Mai University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors have equal contributions to the writing of this paper. All authors have read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wangrat, S., Niamsup, P. Exponentially practical stability of impulsive discrete time system with delay. Adv Differ Equ 2016, 277 (2016). https://doi.org/10.1186/s13662-016-1005-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-016-1005-1