## Boundary Value Problems

Impact Factor 1.014

Open Access

# Stability analysis for impulsive stochastic fuzzy p-Laplace dynamic equations under Neumann or Dirichlet boundary condition

Boundary Value Problems20132013:133

DOI: 10.1186/1687-2770-2013-133

Accepted: 4 May 2013

Published: 20 May 2013

## Abstract

Under Neumann or Dirichlet boundary conditions, the stability of a class of delayed impulsive Markovian jumping stochastic fuzzy p-Laplace partial differential equations (PDEs) is considered. Thanks to some methods different from those of previous literature, the difficulties brought by fuzzy stochastic mathematical model and impulsive model have been overcome. By way of the Lyapunov-Krasovskii functional, Itô formula, Dynkin formula and a differential inequality, new LMI-based global stochastic exponential stability criteria for the above-mentioned PDEs are established. Some applications of the obtained results improve some existing results on neural networks. And some numerical examples are presented to illustrate the effectiveness of the proposed method due to the significant improvement in the allowable upper bounds of time delays.

MSC:34D20, 34D23, 34B45, 34B37, 34K20.

### Keywords

differential inequality Laplace diffusion Markovian jumping

## 1 Introduction

In this paper, we are concerned with the following delayed impulsive Markovian jumping stochastic fuzzy p-Laplace partial differential equations (PDEs):
(1.1)
equipped with the boundary condition
(1.1a)
where is a positive scalar, is a bounded domain with a smooth boundary Ω of class by . The smooth functions . Denote , and () corresponds to the transmission delays at time t. . is called impulsive moment, satisfying with . and denote the left-hand and right-hand limits at , respectively. , and is the impulsive perturbation at time . We always assume . , and are continuous functions. and denote the fuzzy AND and OR operation, respectively. Each is scalar standard Brownian motion defined on a complete probability space with a natural filtration . The noise perturbation is a Borel measurable function. is a right-continuous Markov process on the probability space which takes values in the finite space with generator given by

where is transition probability rate from i to j () and , and . In addition, the transition rates of the Markovian chain are considered to be partially available, namely, some elements in transition rates matrix Π are time-invariant but unknown. For notational clarity, we denote with and for a given . is a nonnegative scalar, satisfying for any given . In mode , we denote , , and . Besides, impulse parameters matrices and are denoted by and for convenience. The boundary condition (1.1a) is called the Dirichlet boundary condition if , and the Neumann boundary condition if , where denotes the outward normal derivative on Ω.

Remark 1.1 PDEs (1.1) own a wide range of physics and engineering backgrounds. They admit the following three Cohen-Grossberg neural networks (CGNNs) as their special cases.
(1.2)
(1.3)
(1.4)

where denotes the Hadamard product of matrix and (see, [1] or [2]), and satisfies for all j, k, (t, x, v). , and . Throughout this paper, for the mode , we denote , and . , and . .

The stability of p-Laplace diffusion stochastic CGNNs (1.2) was discussed by Xiongrui Wang, Ruofeng Rao and Shouming Zhong in 2012 [2], and the stability of deterministic system (1.3) was investigated by Xinhua Zhang, Shulin Wu and Kelin Li in 2011 [3]. Impulsive fuzzy CGNNs with nonlinear p-Laplace diffusion has never been studied as far as we know, and such a situation motivates our present study. Both the nonlinear p-Laplace diffusion and fuzzy mathematical model bring a great difficulty in setting up LMI criteria for the stability, and the stochastic functional differential equations model with nonlinear diffusion makes it harder. To study the stability of fuzzy CGNNs with diffusion, we have to construct a Lyapunov-Krasovskii functional in a non-matrix form (see, e.g., [4]). But stochastic mathematical formulae are always described in matrix forms. Furthermore, an impulsive model makes it harder. Recently, some new methods were employed to study the exponential stability for Markovian jumping, fuzzy neural networks in some related literature (see, e.g., [514]). Inspired by some methods and the idea of [3, 4] and the other above-mentioned papers, we overcame the difficulties brought by the Markovian jumping fuzzy impulsive model. By way of the Lyapunov-Krasovskii functional, Itô formula, Dynkin formula, the variational methods in Sobolev space (Lemma 2.1), and a differential inequality, new LMI-based global exponential stability criteria for the above-mentioned PDEs are established; we obtain an LMI-based global stochastic exponential stability criterion of PDEs (1.1). Some applications to neural networks improve some existing results, which are illustrated by some numerical examples thanks to the significant improvement in the allowable upper bounds of time delays.

## 2 Preliminaries

Throughout this paper, we always assume that the following five conditions hold.

(H1) There exists a positive definite diagonal matrix such that
(H2) There exist positive definite diagonal matrices , and such that

for all , .

(H3) There exist nonnegative symmetric matrices and such that

where , .

(H4) , , .

It is obvious from (H4) that system (1.1) admits a zero solution corresponding to the initial data . For simplicity, we write . Denote , , . Denote for short.

For convenience’s sake, we introduce the following standard notations similar to those of [2].

, , (<0), (0), (), (), , , the identity matrix I and the symmetric terms .

In addition, we denote for any matrix ; for any .

Next, we give the following lemma, which is completely similar to [[1], Lemma 2.3]. It can be derived by the Gauss formula (see, e.g., [2]).

Lemma 2.1 ([[1], Lemma 2.3], [[11], Lemma 6])

Let be a positive definite matrix, and let v be a solution of system (1.1) with the boundary condition (1.1a). Then we have

## 3 Main results

Theorem 3.1 Assume that . If the following three conditions hold:

(C1) there exist a sequence of positive scalars () and positive definite diagonal matrices () such that the following LMI conditions hold:
(3.1)
(3.2)
where matrices , , , , , , , and

(C2) , where , ;

(C3) there exists a constant such that , and , where with , for all , and is the unique solution of the equation .

Then the null solution of impulsive Markovian jumping stochastic fuzzy system (1.1) is globally stochastically exponentially stable in the mean square with the convergence rate .

Proof Consider the Lyapunov-Krasovskii functional

where is a solution for stochastic fuzzy system (1.1). Sometimes we may denote by v, by , and by for simplicity.

Let be the weak infinitesimal operator. Then it follows by Lemma 2.1 that
(3.3)
On the other hand, we have
(3.4)
(3.5)

From and the definition of , it is clear that .

So, we can conclude by (H1)-(H4)
(3.6)
Completely similar to (2.7)-(2.9) in [2], we can get by the Itô formula
(3.7)
Owing to , we can get
(3.8)
From (C3), it is not difficult to conclude that , where λ, , , ρ are defined in (C3), and so . Then, by (C2), the differential inequality lemma ([[2], Lemma 1.6]) yields , or
(3.9)
i.e.,
(3.10)

Therefore, we can see by the definition of global stochastic exponential stability (see, e.g., [15]) that the null solution of impulsive Markovian jumping stochastic fuzzy system (1.1) is globally stochastically exponentially stable in the mean square with the convergence rate . □

Particularly for the case of , we get from the Poincaré inequality (see, e.g., [[16], Lemma 2.4]) that , where is the lowest positive eigenvalue of the boundary value problem

Theorem 3.2 Let , and . Then all the conclusions of Theorem  3.1 are true if its conditions are satisfied except that the is replaced by .

Proof Indeed, if , we can get by the Poincaré inequality

Then, by (3.3), we can similarly complete the rest of the proof by way of the methods in (3.4)-(3.10). □

## 4 Applications of main results in neural networks

Let with and , , and satisfy the following.

(H1) There exist positive definite diagonal matrices and such that

for all , .

(H2) There exists a positive definite diagonal matrix such that
(H3) There exist positive definite diagonal matrices , and such that

for all , .

(H4) There exist nonnegative symmetric matrices and such that

where , .

(H5) , , .

Applying our main results to Cohen-Grossberg neural networks (CGNNs), we can conclude the following corollary from Theorem 3.1 directly.

Corollary 4.1 If the following three conditions hold:

(D1) there exist a positive scalar and a positive definite diagonal matrix P such that the following LMI conditions hold:
(4.1)
(4.2)

where matrices , , , , , , , ;

(D2) , where , ;

(D3) there exists a constant such that , and , where with , for all , and is the unique solution of the equation .

Then the null solution of impulsive stochastic fuzzy system (1.4) is globally stochastically exponentially stable in the mean square with the convergence rate .

Remark 4.1 Corollary 4.1 not only extends [[4], Theorem 3.1] from non-impulsive stochastic fuzzy CGNNs to impulsive stochastic fuzzy CGNNs, but also improves the criterion of [[4], Theorem 3.1] from the non-matrix form to the more condensed matrix form, which can be efficiently tested and verified by computer Matlab LMI toolbox.

If Markovian jumping and fuzzy factors are ignored, we can conclude the following corollary.

Corollary 4.2 Assume that . If the following three conditions hold:

(E1) there exist a sequence of positive scalars and positive definite diagonal matrices P such that the following LMI conditions hold:
(4.3)
(4.4)

where matrices , , , , , and ;

(E2) , where , ;

(E3) there exists a constant such that , and , where with , for all , and is the unique solution of the equation ,

then the null solution of impulsive stochastic system (1.2) is globally stochastically exponentially stable in the mean square with the convergence rate .

Remark 4.2 If letting , system (1.2) was investigated by [2]. However, LMIs criterion of Corollary 4.2 is more feasible and effective than that of [[2], Theorem 2.1]. In fact, we know from the Schur complement theorem that the LMI condition of [[2], Theorem 2.1] is equivalent to the inequality , where the term actually makes parameters amplify against if or . In other words, Corollary 4.2 can judge what [[2], Theorem 2.1] cannot do, which may be illustrated by Example 5.2 (below).

Corollary 4.3 If the following three conditions hold:

(F1) there exist a positive scalar and a positive definite diagonal matrix P such that the following LMI conditions hold:
(4.5)

where matrices , , , , , and ;

(F2) , where , ;

(F3) there exists a constant such that , and , where with , for all , and is the unique solution of the equation ,

then the null solution of impulsive deterministic system (1.3) is globally stochastically exponentially stable in the mean square with the convergence rate .

Remark 4.3 For the same reason as in Remark 4.2, the LMI (4.5) of Corollary 4.3 is more feasible and effective than that of [[3], Theorem 3.1], which may be illustrated by a numerical example below (Example 5.1).

## 5 Numerical examples

In this section, two examples are given to illustrate that the criteria of Corollary 4.2 and Corollary 4.3 can judge what some existing criteria cannot do. The third numerical example is presented to illustrate the effectiveness of our main results (Theorems 3.1-3.2).

Example 5.1 Consider impulsive system (1.3) with the following parameters:
(5.1)
In this section, we denote

Assume, in addition, , , , , , , ,  . , . Assume that the boundary condition is the Dirichlet boundary one, and then (see, e.g., [16]). Assume that the lower limit of the time interval between impulses . From the differential inequality lemma [[2], Lemma 1.6] we know that and , and hence the upper limit of time delay .

With the above data, one can use computer Matlab LMI toolbox to solve the LMI (C1) of [[3], Theorem 3.1], and obtain , . Next, we need verify (C2) in [[3], Theorem 3.1]. However, a direct computation derives , which implies . Hence, [[3], Theorem 3.1] cannot judge the stability of impulsive system (1.3) with the above data.

However, we can solve LMI (4.5) by Matlab LMI toolbox, and obtain , . Further computation yields , , and hence . In addition, a direct calculation derives . Let , , and then , , and .

All the conditions (F1)-(F3) of Corollary 4.3 are satisfied, then by Corollary 4.3 the null solution of impulsive deterministic system (1.3) is globally stochastically exponentially stable in the mean square with the convergence rate 0.0049 and the allowable upper bound of time delays .

Example 5.2 Under the Neumann boundary condition, we consider stochastic system (1.2) with the data (4.1) and the following parameters:

Let , and then . Now, one can use Matlab LMI toolbox to solve the LMI condition of [[2], Theorem 2.1] and obtain , , . Further computation yields that , which implies that the condition (C2) of [[2], Theorem 2.1] is not satisfied. Hence, the stability of system (1.2) with the above data cannot be judged by [[2], Theorem 2.1].

However, we solve LMIs (4.3)-(4.4), and obtain , , . Moreover, we can get by direct computation that , and . Let , so that , and . All (E1)-(E3) of Corollary 4.2 are satisfied, then by Corollary 4.2 the null solution of impulsive stochastic system (1.2) is globally stochastically exponentially stable in the mean square with the convergence rate 0.0027 and the allowable upper bound of time delays .

Example 5.3 Consider impulsive stochastic Markovian jumping fuzzy system (1.1) with the following parameters:

In addition, , , , , , .

The two cases of the transition rates matrices are considered as follows:

, . Assume that the boundary condition is the Dirichlet boundary one, and then . Assume that the lower limit of the time interval between pulses . From the differential inequality lemma (see, [17] or [[2], Lemma 1.3]), we know that and , and hence the upper limit of time delay (see, Remark 5.1).

Now one can use Matlab LMI toolbox to solve the LMI conditions (3.1)-(3.2) of Theorem 3.1 for Case (1) and , and obtain , and , , , , , .

Moreover, a direct computation derives , . So, the condition (C2) holds in this case.

By the definition of , , further computation derives . Let and . Then solving the equation yields . By these data, one can calculate that , and , which implies the condition (C3) of Theorem 3.1 holds. By Theorem 3.1, the null solution of impulsive Markovian jumping stochastic fuzzy system (1.1) is globally stochastically exponentially stable in the mean square with the convergence rate 0.00185 and the allowable upper bounds of time delays .

Assume that the boundary condition is the Dirichlet boundary one, and then (see, e.g., [16]). Similarly, we can solve the corresponding conditions of Theorem 3.2 for Case (1) and , and obtain , , , , and , , .

Similarly, we can calculate and obtain , , .

Let and , and then , , and . By Theorem 3.2, the null solution of impulsive Markovian jumping stochastic fuzzy system (1.1) with is stochastically exponentially stable in the mean square with the convergence rate 0.00145 and the allowable upper bounds of time delays .

Obviously in Case (2) we can assume . Next, we employ Matlab LMI toolbox to solve LMI conditions (3.1)-(3.2) of Theorem 3.1 for Case (2) and , and obtain , , , , , , . So, , , .

Let and , and then , , and . By Theorem 3.1, the null solution of impulsive Markovian jumping stochastic fuzzy system (1.1) is stochastically exponentially stable in the mean square with the convergence rate 0.00565 and the allowable upper bounds of time delays .

Similarly, we can solve the corresponding conditions of Theorem 3.2 for Case (1) and , and obtain , , , , and , , , and then , , . Let and , and then .

Further computation yields , and . By Theorem 3.2, the null solution of impulsive Markovian jumping stochastic fuzzy system (1.1) with is stochastically exponentially stable in the mean square with the convergence rate 0.0048 and the allowable upper bounds of time delays .

Table 1 shows that the upper bounds of time delay decrease when there exist unknown elements of a transition rates matrix. This means that unknown elements of transition rates bring a great difficulty in judging the stability.

In some related literature [18, 19], their impulsive assumption is . However, our impulse matrix may not satisfy the assumption of decreasing impulse. In all the above numerical examples, impulsive parameters matrices satisfy so that . Thereby, the increasing impulse not only brings some unstable factors to CGNNs, but also limits the time-delays’ upper limit (see [17] or [[2], Lemma 1.6]).

Remark 5.1 The parameters of impulsive deterministic system (1.3) do not satisfy the conditions of [[3], Theorem 3.1] so that we are not sure whether system (1.3) is stable, for the conditions of [[3], Theorem 3.1] are only sufficient ones, not necessary for the stability of system (1.3). However, we can conclude the stability by our Corollary 4.3, which implies that Corollary 4.3 allows for more effectiveness and less conservatism than [[3], Theorem 3.1]. By the same token as in Remark 5.2, Corollary 4.2 is better than [[2], Theorem 2.1].

Remark 5.2 Table 1 shows that the diffusion plays a positive role in the criterion of Theorem 3.2, which admits a wider range of time delays. Table 1 also illustrates the effectiveness and less conservatism of Theorems 3.1-3.2 due to the significant improvement in the allowable upper bounds of time delays.

Remark 5.3 Finding a solution x to the LMI system is called the feasibility problem. So, in Examples 5.1-5.3, the system is feasible if , and infeasible if (see [[11], Remark 29(3)] for detail).

## Declarations

### Acknowledgements

The authors would like to thank the referees for their valuable suggestions. This work was supported by the Scientific Research Fund of Science Technology Department of Sichuan Province (2012JY010), and the Scientific Research Fund of Sichuan Provincial Education Department (12ZB349).

## Authors’ Affiliations

(1)
Institution of Mathematics, Yibin University
(2)
College of Mathematics and Software Science, Sichuan Normal University

## References

1. Rao, R, Zhong, S, Wang, X: Stochastic stability criteria with LMI conditions for Markovian jumping impulsive BAM neural networks with mode-dependent time-varying delays and nonlinear reaction-diffusion. Commun. Nonlinear Sci. Numer. Simul. (accepted on May 18, 2013)
2. Wang X, Rao R, Zhong S: LMI approach to stability analysis of Cohen-Grossberg neural networks with p -Laplace diffusion. J. Appl. Math. 2012., 2012: Article ID 523812
3. Zhang X, Wu S, Li K: Delay-dependent exponential stability for impulsive Cohen-Grossberg neural networks with time-varying delays and reaction-diffusion terms. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 1524–1532. 10.1016/j.cnsns.2010.06.023
4. Zhu Q, Li X: Exponential and almost sure exponential stability of stochastic fuzzy delayed Cohen-Grossberg neural networks. Fuzzy Sets Syst. 2012, 203: 74–94.
5. Li D, He D, Xu D: Mean square exponential stability of impulsive stochastic reaction-diffusion Cohen-Grossberg neural networks with delays. Math. Comput. Simul. 2012, 82(8):1531–1543. 10.1016/j.matcom.2011.11.007
6. Li B, Xu D: Existence and exponential stability of periodic solution for impulsive Cohen-Grossberg neural networks with time-varying delays. Appl. Math. Comput. 2012, 219(5):2506–2520. 10.1016/j.amc.2012.08.086
7. Long S, Xu D: Stability analysis of stochastic fuzzy cellular neural networks with time-varying delays. Neurocomputing 2011, 74(14–15):2385–2391. 10.1016/j.neucom.2011.03.017View Article
8. Li B, Xu D: Mean square asymptotic behavior of stochastic neural networks with infinitely distributed delays. Neurocomputing 2009, 72(13–15):3311–3317. 10.1016/j.neucom.2009.01.009View Article
9. Tian J, Li Y, Zhao J, Zhong S: Delay-dependent stochastic stability criteria for Markovian jumping neural networks with mode-dependent time-varying delays and partially known transition rates. Appl. Math. Comput. 2012, 218(9):5769–5781. 10.1016/j.amc.2011.11.087
10. Ding Y, Zhu H, Zhong S, Zeng Y: Exponential mean-square stability of time-delay singular systems with Markovian switching and nonlinear perturbations. Appl. Math. Comput. 2012, 219(4):2350–2359. 10.1016/j.amc.2012.08.067
11. Rao R, Wang X, Zhong S, Pu Z: LMI approach to exponential stability and almost sure exponential stability for stochastic fuzzy Markovian-jumping Cohen-Grossberg neural networks with nonlinear p -Laplace diffusion. J. Appl. Math. 2013., 2013: Article ID 396903
12. Cheng J, Zhu H, Zhong S, Li G: Novel delay-dependent robust stability criteria for neutral systems with mixed time-varying delays and nonlinear perturbations. Appl. Math. Comput. 2013, 219(14):7741–7753. 10.1016/j.amc.2013.01.062
13. Zhao H, Zhang Q: Global impulsive exponential anti-synchronization of delayed chaotic neural networks. Neurocomputing 2011, 74(4):563–567. 10.1016/j.neucom.2010.09.016View Article
14. Zhao H, Mao Z: Boundedness and stability of nonautonomous cellular neural networks with reaction-diffusion terms. Math. Comput. Simul. 2009, 79(5):1603–1617. 10.1016/j.matcom.2008.07.008
15. Zhu Q, Li X, Yang X: Exponential stability for stochastic reaction-diffusion BAM neural networks with time-varying and distributed delays. Appl. Math. Comput. 2011, 217(13):6078–6091. 10.1016/j.amc.2010.12.077
16. Pan J, Zhong S: Dynamic analysis of stochastic reaction-diffusion Cohen-Grossberg neural networks with delays. Adv. Differ. Equ. 2009., 2009: Article ID 410823
17. Yue D, Xu S, Liu Y: Differential inequality with delay and impulse and its applications to design robust control. Control Theory Appl. 1999, 16(4):519–524.
18. Rakkiyappan R, Balasubramaniam P: Dynamic analysis of Markovian jumping impulsive stochastic Cohen-Grossberg neural networks with discrete interval and distributed time-varying delays. Nonlinear Anal. Hybrid Syst. 2009, 3(4):408–417. 10.1016/j.nahs.2009.02.008
19. Dong M, Zhang H, Wang Y: Dynamics analysis of impulsive stochastic Cohen-Grossberg neural networks with Markovian jumping and mixed time delays. Neurocomputing 2009, 72(7–9):1999–2004. 10.1016/j.neucom.2008.12.007View Article