Exponential Stability of Impulsive Delayed Reaction-Diffusion Cellular Neural Networks via Poincaré Integral Inequality
Abstract
This work is devoted to the stability study of impulsive cellular neural networks with time-varying delays and reaction-diffusion terms. By means of new Poincaré integral inequality and Gronwall-Bellman-type impulsive integral inequality, we summarize some novel and concise sufficient conditions ensuring the global exponential stability of equilibrium point. The provided stability criteria are applicable to Dirichlet boundary condition and show that not only the reaction-diffusion coefficients but also the regional features including the boundary and dimension of spatial variable can influence the stability. Two examples are finally illustrated to demonstrate the effectiveness of our obtained results.
1. Introduction
Cellular neural networks (CNNs), proposed by Chua and Yang in 1988 [1, 2], have been the focus of a number of investigations due to their potential applications in various fields such as optimization, linear and nonlinear programming, associative memory, pattern recognition, and computer vision [3–7]. As the switching speed of neurons and amplifiers is finite in the implementation of neural networks, time delays are inevitable and therefore a type of more effective models is afterwards introduced, called delayed cellular neural networks (DCNNs). Actually, DCNNs have been found to be helpful in solving some dynamic image processing and pattern recognition problems.
As we all know, all the applications of CNNs and DCNNs depend heavily on the dynamic behaviors such as stability, convergence, and oscillatory [8, 9], wherein stability analysis is a major concern in the designs and applications. Correspondingly, the stability of CNNs and DCNNs is a subject of current interest and considerable theoretical efforts have been put into this topic with many good results reported (see, e.g., [10–13]).
With reference to neural networks, however, it is noteworthy that the state of electronic networks is often subject to instantaneous perturbations which may be caused by a switching phenomenon, frequency change, or other sudden noise. On this account, neural networks will experience abrupt change at certain instants, exhibiting impulse effects [14, 15]. For instance, according to Arbib [16] and Haykin [17], when a stimulus from the body or the external environment is received by receptors, the electrical impulses will be conveyed to the neural net and impulse effects arise naturally in the net. In view of this discovery, many scientists have shown growing interests in the influence that the impulses may have on CNNs or DCNNs with a result that a large number of relevant results have been achieved (see, e.g., [18–24]).
Besides impulsive effects, diffusing effects are also nonignorable in reality since the diffusion is unavoidable when the electrons are moving in asymmetric electromagnetic fields. Therefore, the model of impulsive delayed reaction-diffusion neural networks appears as a natural description of the observed evolution phenomena of several real world problems. This one acknowledgement poses a new challenge to the stability research of neural networks.
So far, there have been some theoretical achievements [25–33] on the stability of impulsive delayed reaction-diffusion neural networks. Previously, authors of [27–32] studied the stability of impulsive delayed reaction-diffusion neural networks and put forward several stability criteria by impulsive differential inequality and Green formula, wherein the reaction-diffusion term is evaluated to be less than zero by means of Green formula and thereby the presented stability criteria are shown to be wholly independent of diffusion. According to this result, we fail to see the influence of diffusion on stability.
Recently, it is encouraging that, for impulsive delayed reaction-diffusion neural network, some new stability criteria involving diffusion are obtained in [25, 26, 33–36]. Meanwhile the estimation of reaction-diffusion term is not merely less than zero, instead a more accurate one is given; that is, the reaction-diffusion term is verified to be less than a negative definite term by using some inequalities together with Green formula. It is thereby testified that the diffusion does contribute to the stability of impulsive neural networks.
On the other hand, it is well known that the theory of differential and integral inequalities plays an important role in the qualitative and quantitative study of solution to differential equations. Up till now, there have been many applications of impulsive differential inequalities to impulsive dynamic systems, followed by lots of stability criteria provided. However, these stability criteria appear a bit complicated and we wonder if we can deduce relatively concise stability criteria by using impulsive integral inequalities.
Motivated by these, we attempt to, for impulsive delayed neural networks, employ new Poincaré integral inequality to further investigate the influence of diffusion on the stability and combine Gronwall-Bellman-type impulsive integral inequality so as to provide some new and concise stability criteria. The rest of this paper is organized as follows. In Section 2, the model of impulsive cellular neural networks with time-varying delays and reaction-diffusion terms as well as Dirichlet boundary condition is outlined; in addition, some facts and lemmas are introduced for later reference. In Section 3, we provide a new estimate on the reaction-diffusion term by the agency of new Poincaré integral inequality and then discuss the global exponential stability of equilibrium point by utilizing Gronwall-Bellman-type impulsive integral inequality with a result of some novel and concise stability criteria presented. To conclude, two illustrative examples are given in Section 4 to verify the effectiveness of our obtained results.
2. Preliminaries
- (H1)
fi(∙) : R → R satisfies fi(0) = 0, and there exists a constant li > 0 such that |fi(y1) − fi(y2)| ≤ li|y1 − y2| for all y1, y2 ∈ R and i = 1,2, …, n.
- (H2)
Pik(∙) : R → R is continuous and Pik(0) = 0, i = 1,2, …, n, k = 1,2, ….
According to (H1) and (H2), it is easy to see that problem (5)–(8) admits an equilibrium point u = 0.
Definition 1 (see [25].)The equilibrium point u = 0 of problem (5)–(8) is said to be globally exponentially stable if there exist constants κ > 0 and ϖ ≥ 1 such that
Lemma 2 (see [37] Gronwall-Bellman-type Impulsive Integral Inequality.)Assume that
- (A1)
the sequence {tk} satisfies 0 ≤ t0 < t1 < t2 < ⋯, with lim k→∞tk = ∞,
- (A2)
q ∈ PC1[R+, R] and q(t) is left-continuous at tk, k = 1,2, …,
- (A3)
p ∈ C[R+, R+] and for k = 1,2, …,
()
Lemma 3 (see [38] Poincaré integral inequality.)Let be a fixed rectangular region in Rn and B : = max {bi − ai : i = 1, …, n}. For any ,
Remark 4. According to Lemma 2.1 in [25], we know if 𝒮 is a cube |xj| < lj (j = 1,2, …, m) and υ(x) is a real-valued function belonging to , then
3. Main Results
Theorem 5. Provided that one has the following:
- (1)
let and denote ;
- (2)
Pik(ui(tk, x)) = −θikui(tk, x), 0 ≤ θik ≤ 2;
- (3)
there exists a constant γ > 0 satisfying γ + λ + hρeγτ > 0 as well as λ + hρeγτ < 0, where , ;
then, the equilibrium point u = 0 of problem (5)–(8) is globally exponentially stable with convergence rate −(λ + hρeγτ)/2.
Proof. Multiplying both sides of (5) by ui(t, x) and integrating with respect to spatial variable x on Ω, we get
Regarding the right-hand part of (19), the first term becomes by using Green formula, Dirichlet boundary condition, Lemma 3, and condition (1) of Theorem 5
Moreover, From (H1), we have
Consequently, substituting (20)–(22) into (19) produces
Define a Lyapunov function Vi(t) as . It is easy to find that Vi(t) is a piecewise continuous function with the first kind discontinuous points tk (k = 1,2, …), where it is continuous from the left, that is, Vi(tk − 0) = Vi(tk) (k = 1,2, …). In addition, we also see
Put t ∈ (tk, tk+1), k = 0, 1,2, …. It then results from (23) that
Choose V(t) of the form . From (26), one reads
Now construct again, where γ > 0 satisfies γ + λ + hρeγτ > 0 and λ + hρeγτ < 0. Evidently, V*(t) is also a piecewise continuous function with the first kind discontinuous points tk (k = 1,2, …), where it is continuous from the left, that is, V*(tk − 0) = V*(tk) (k = 1,2, …). Moreover, at t = tk (k = 0,1, 2, …), we find by use of (24)
Set t ∈ (tk, tk+1), k = 0, 1,2, …. By virtue of (27), one has
Choose small enough ε > 0. Integrating (29) from tk + ε to t gives
Next we will estimate the value of V*(t) at t = tk+1, k = 0,1, 2, …. For small enough ε > 0, we put t = tk+1 − ε. An application of (31) leads to, for k = 0, 1,2, …,
If we let ε → 0 in (32), there results
Note that V*(tk+1 − 0) = V*(tk+1) is applicable for k = 0, 1,2, …. Thus,
This, together with (28), results in
Recalling assumptions that 0 ≤ τj(t) ≤ τ and (h > 0), we obtain
Hence,
By induction argument, we reach
Therefore,
Since
According to Lemma 2, we know
Remark 6. According to Theorem 5, we see that the diffusion can really influence the stability of equilibrium point u = 0 of problem (5)–(8), wherein the factors embrace not only the reaction-diffusion coefficients but also the regional features including the dimension and boundary of spatial variable. Owing to the employ of new Poincaré integral inequality, in this paper, the estimation of reaction-diffusion terms is superior to that in [25] in some cases, and this will be helpful to further know the influence of diffusion on stability. What is more, from condition (1) of Theorem 5, we also see that the dimension of spatial variable has an impact on the stability while this is not mentioned in [25].
Remark 7. Among the three conditions of Theorem 5, condition (3) is critical and therefore we must ensure the existence of constant γ > 0. Fortunately, it is not difficult to find that there must exist a constant γ > 0 satisfying condition (3) if λ < −hρ which is easily checked.
Theorem 8. Providing that one has the following:
- (1)
let and denote ;
- (2)
Pik(ui(tk, x)) = −θikui(tk, x), , α ≥ 0;
- (3)
inf k=1,2,…(tk − tk−1) ≥ μ;
- (4)
there exists a constant γ > 0 which satisfies γ + λ + hρeγτ > 0 and λ + hρeγτ + (ln (1 + α)/μ) < 0, where and ;
Proof. Define Lyapunov function V of the form , where . Obviously, V(t) is a piecewise continuous function with the first kind discontinuous points tk, k = 1,2, …, where it is continuous from the left, that is, V(tk − 0) = V(tk) (k = 1,2, …). Furthermore, when t = tk (k = 0,1, 2, …), it follows from condition (2) of Theorem 8 that
Thereby,
Construct another Lyapunov function , where γ > 0 satisfies γ + λ + hρeγτ > 0 and λ + hρeγτ + (ln (1 + α)/μ) < 0. Then, V*(t) is also a piecewise continuous function with the first kind discontinuous points tk, k = 1,2, …, where it is continuous from the left, and for t = tk (k = 0,1, 2, …), it results from (46) that
Set t ∈ (tk, tk+1], k = 0, 1,2, …. Following the same procedure as in Theorem 5, we get
The relations (47) and (48) yield
By induction argument, we reach
Introducing as shown in the proof of Theorem 5 into (51), (51) becomes
On the other hand, since inf k=1,2,…(tk − tk−1) ≥ μ, one has k ≤ (tk − t0)/μ. Thereby,
Theorem 9. Provided that one has the following:
- (1)
let and denote ;
- (2)
Pik(ui(tk, x)) = −θikui(tk, x), 0 ≤ θik ≤ 2;
- (3)
there exist constants γ > 0 and ε1, ε2 > 0 such that γ + λ + hρeγτ > 0 and λ + hρeγτ < 0, where and ;
Remark 10. According to Theorem 5, we know that there must exist constant γ > 0 satisfying condition (3) of Theorem 9 if there are constants ε1, ε2 > 0 such that λ < −hρ.
Theorem 11. Assume that one has the following:
- (1)
let and denote ;
- (2)
Pik(ui(tk, x)) = −θikui(tk, x), , α ≥ 0;
- (3)
inf k=1,2,…(tk − tk−1) ≥ μ;
- (4)
there exist constants γ > 0 and ε1, ε2 > 0 such that γ + λ + hρeγτ > 0 and λ + hρeγτ + ln (1 + α)/μ < 0, where and ;
Identical with the proof of Theorem 8, we reach the following.
Theorem 12. Assume that one has the following:
- (1)
let and denote ;
- (2)
|Pik(ui(tk, x))| ≤ θik|ui(tk, x)|, where and α ≥ 1;
- (3)
inf k=1,2,…(tk − tk−1) ≥ μ;
- (4)
there exist constants γ > 0 and ε1, ε2 > 0 such that γ + λ + hρeγτ > 0 and λ + hρeγτ + (ln (1 + α)/μ) < 0, where and ;
4. Examples
Example 14. Consider system (5)–(8) equipped with Pik(ui(tk, x)) = 1.343ui(tk, x). Let n = 2, m = 2, Ω = [0, 1.5] × [0, 2], τj(t) = (3/4)arctan(t), a1 = a2 = 6.5, , , , and .
Let h = 4. Since λ = −6.461 < −4 = −hρ, we conclude from Theorem 5 that the equilibrium point u = 0 of this system is globally exponentially stable.
Example 15. Consider system (5)–(8) equipped with Pik(ui(tk, x)) = arctan(0.5ui(tk, x)). Let n = 2, m = 2, τj(t) = (1/π)arctan(t), Ω = [0,1.5] × [0,2], ai = 6.5, , , , , and tk = tk−1 + 2k.
It is then concluded from Theorem 12 that this system is globally exponentially stable.
Acknowledgment
The work is supported by National Natural Science Foundation of China under Grant nos. 60904028, 71271118, and 71171116.