Volume 2013, Issue 1 131836
Research Article
Open Access

Exponential Stability of Impulsive Delayed Reaction-Diffusion Cellular Neural Networks via Poincaré Integral Inequality

Xianghong Lai

Corresponding Author

Xianghong Lai

School of Economics & Management, Nanjing University of Information Science & Technology, Nanjing 210044, China nuist.edu.cn

Search for more papers by this author
Tianxiang Yao

Tianxiang Yao

School of Economics & Management, Nanjing University of Information Science & Technology, Nanjing 210044, China nuist.edu.cn

Search for more papers by this author
First published: 31 March 2013
Citations: 5
Academic Editor: Qi Luo

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 [37]. 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., [1013]).

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., [1824]).

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 [2533] on the stability of impulsive delayed reaction-diffusion neural networks. Previously, authors of [2732] 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, 3336]. 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.

In [25], the authors quoted the following inequality to deal with the reaction-diffusion terms:
()
where Ω* is a cube |xj| < lj  (j = 1,2, …, m) and υ(x) is a real-valued function belonging to . We can easily derive from this inequality that
()
For better exploring the influence of diffusion on stability, we wonder if we can get a more accurate estimate of reaction-diffusion term. Fortunately, we find the following new Poincaré integral inequality supporting this idea:
()
One can refer to Lemma 3 in Section 2 for the details of this inequality.

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

Let R+ = [0, ) and t0R+. Let Rn denote the n-dimensional Euclidean space, and let be a fixed rectangular region in Rm and M : = max {kidi :     i = 1, …, m}. As usual, denote
()
Consider the following impulsive cellular neural network with time-varying delays and reaction-diffusion terms:
()
()
where n corresponds to the numbers of units in a neural network; , ui(t, x) denotes the state of the ith neuron at time t and in space x; Dis = const > 0 represents transmission diffusion of the ith unit; activation function fj(uj(t, x)) stands for the output of the jth unit at time t and in space x; bij, cij, and ai are constants: bij indicates the connection strength of the jth unit on the ith unit at time t and in space x, cij denotes the connection weight of the jth unit on the ith unit at time tτj(t) and in space x, where τj(t) corresponds to the transmission delay along the axon of the jth unit, satisfying 0 ≤ τj(t) ≤ τ(τ = const) and ), and ai > 0 represents the rate with which the ith unit will reset its potential to the resting state in isolation when disconnected from the network and external inputs at time t and in space x. The fixed moments tk (k = 1,2, …) are called impulsive moments meeting 0 ≤ t0 < t1 < t2 < ⋯ and limktk = ; ui(tk + 0, x) and ui(tk − 0, x) represent the right-hand and left-hand limit of ui(t, x) at time tk and in space x, respectively. Pik(ui(tk, x)) stands for the abrupt change of ui(t, x) at the impulsive moment tk and in space x.
Denote by u(t, x) = u(t, x; t0, φ), uRn, the solution of system (5)-(6), satisfying the initial condition
()
and Dirichlet boundary condition
()
where the vector-valued function is such that is bounded on [t0τ, t0].
The solution of problem (5)–(8) is, for the time variable t, a piecewise continuous function with the first kind discontinuity at the points tk  (k = 1,2, …), where it is continuous from the left; that is, the following relations are true:
()
Throughout this paper, the norm of u(t, x; t0, φ) is defined by
()
Before proceeding, we introduce two hypotheses as follows:
  • (H1)

    fi(∙) : RR satisfies fi(0) = 0, and there exists a constant li > 0 such that |fi(y1) − fi(y2)| ≤ li|y1y2| for all y1, y2R and i = 1,2, …, n.

  • (H2)

    Pik(∙) : RR 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

()
where .

Lemma 2 (see [37] Gronwall-Bellman-type Impulsive Integral Inequality.)Assume that

  • (A1)

    the sequence {tk} satisfies 0 ≤ t0 < t1 < t2 < ⋯, with lim ktk = ,

  • (A2)

    qPC1[R+, R] and q(t) is left-continuous at tk, k = 1,2, …,

  • (A3)

    pC[R+, R+] and for k = 1,2, …,

    ()

where ηk ≥ 0 and c = const. Then,
()

Lemma 3 (see [38] Poincaré integral inequality.)Let be a fixed rectangular region in Rn and B : = max {biai :   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

()
which yields
()
Through the simple example as follows, we can find that in some cases the estimate ∫𝒮|∇υ(x)|2dx ≥ (4n/B2)∫𝒮υ2(x)dx shown in Lemma 3 can do better. Let 𝒮 = [0,1] × [0,2], we derive from Lemma  2.1 in [25] that
()
whereas the application of Lemma 3 of this paper will give
()
which is obviously superior to ∫𝒮|∇υ|2dx ≥ (5/4)(∫𝒮υ2(x)dx).

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

()
for tt0, ttk, i = 1, …, n,  k = 1,2, ….

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

()
as Vi(t0 + 0) ≤ Vi(t0) and the following estimate derived from condition (2) of Theorem 5:
()

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

()
where and .

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

()
which yields, after letting ε → 0 in (30),
()

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,

()
holds for k = 0, 1,2, …. By synthesizing (31) and (34), we then arrive at
()

This, together with (28), results in

()
for t ∈ (tk, tk+1],  k = 0,1, 2, ….

Recalling assumptions that 0 ≤ τj(t) ≤ τ and (h > 0), we obtain

()

Hence,

()

By induction argument, we reach

()

Therefore,

()

Since

()
we claim
()

According to Lemma 2, we know

()
which reduces to
()
This completes the proof.

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,…(tktk−1) ≥ μ;

  • (4)

    there exists a constant γ > 0 which satisfies γ + λ + hρeγτ > 0 and λ + hρeγτ + (ln (1 + α)/μ) < 0,  where and ;

then, the equilibrium point u = 0 of problem (5)–(8) is globally exponentially stable with convergence rate −(1/2)(λ + hρeγτ + (ln (1 + α)/μ)).

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

()
Hence,
()

Introducing as shown in the proof of Theorem 5 into (51), (51) becomes

()
It then results from Lemma 2 that, for tt0,
()

On the other hand, since inf k=1,2,…(tktk−1) ≥ μ, one has k ≤ (tkt0)/μ. Thereby,

()
and (53) can be rewritten as
()
which implies
()
The proof is completed.

As
()
hold for any ε1, ε2 > 0. In the sequel, analogous to the proofs of Theorems 5 and 8 we arrive at the following.

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 ;

then, the equilibrium point u = 0 of problem (5)–(8) is globally exponentially stable with convergence rate −(λ + hρeγτ)/2.

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,…(tktk−1) ≥ μ;

  • (4)

    there exist constants γ > 0 and ε1, ε2 > 0 such that γ + λ + hρeγτ > 0 and λ + hρeγτ + ln (1 + α)/μ < 0, where and ;

then, the equilibrium point u = 0 of problem (5)–(8) is globally exponentially stable with convergence rate −(1/2)(λ + hρeγτ + (ln (1 + α)/μ)).

Further, on the condition that |Pik(ui(tk, x))| ≤ θik|ui(tk, x)|, where and α ≥ 1, we obtain, for t = tk  (k = 1,2, …),
()

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,…(tktk−1) ≥ μ;

  • (4)

    there exist constants γ > 0 and ε1, ε2 > 0 such that γ + λ + hρeγτ > 0 and λ + hρeγτ + (ln (1 + α)/μ) < 0, where and ;

then, the equilibrium point u = 0 of problem (5)–(8) is globally exponentially stable with convergence rate −(1/2)(λ + hρeγτ + (ln (1 + α)/μ)).

Remark 13. Different from Theorems 511, the impulsive part in Theorem 12 could be nonlinear and this will be of more applicability. Actually, Theorems 511 can be regarded as the special cases of Theorem 12.

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 .

For M = 2 and , we compute χ = 4.8. This, together with , yields
()
()

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.

For M = 2 and , we compute χ = 4.8. This, together with and ε1 = ε2 = 1, yields
()
Letting τ = 0.5, h = 4, μ = 2, and α = 1.5, we can find γ = 0.78 satisfying
()

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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.