Mathematical Problems in Engineering
Volume 2016 (2016), Article ID 3154683, 8 pages
http://dx.doi.org/10.1155/2016/3154683

Research Article

Fixed Points and Exponential Stability for Impulsive Time-Delays BAM Neural Networks via LMI Approach and Contraction Mapping Principle

Ruofeng Rao,¹ Zhilin Pu,1,2 Shouming Zhong,1,3 and Xinggui Li1,3

¹Department of Mathematics, Chengdu Normal University, Chengdu, Sichuan 611130, China
²Institute of Mathematics, Chengdu Normal University, Chengdu, Sichuan 611130, China
³Institute of Mathematical Education, Chengdu Normal University, Chengdu, Sichuan 611130, China

Received 12 August 2016; Revised 24 September 2016; Accepted 29 September 2016

Academic Editor: Quanmin Zhu

Copyright © 2016 Ruofeng Rao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The fixed point technique has been employed in the stability analysis of time-delays bidirectional associative memory (BAM) neural networks with impulse. By formulating a contraction mapping in a product space, a new LMI-based exponential stability criterion was derived. Lately, fixed point methods have educed various good results inspiring this work, but those criteria cannot be programmed by a computer. In this paper, LMI conditions of the obtained result can be applicable to computer Matlab LMI toolbox which meets the need of the large-scale calculation in real engineering. Moreover, a numerical example and a comparable table are presented to illustrate the effectiveness of the proposed methods.

1. Introduction

Bidirectional associative memory (BAM) neural networks model was originally introduced by Kosko [1, 2]:

Thanks to its generalization of the single-layer autoassociative Hebbian correlation to two-layer pattern-matched heteroassociative circuits, widespread applications have been found in various areas, such as automatic control, signal and image processing, pattern recognition, artificial intelligence, parallel computation, and optimization problems. Often, a stable equilibrium of BAM neural networks is the important precondition of the successful applications. There are many factors influencing the stability of neural networks, in which pulse and time delay are usually the main reasons [3–8]. So, the stability analysis of impulse or delays system has become a hot topic. All the time, the Lyapunov functional method is employed to deduce stability criteria [9–20]. But every method may have its limitations. During the recent decades, other techniques have been developed to investigate the stability, in which the fixed point method is always one of those alternatives [21–27]. For example, in 2015, Zhou utilized Brouwer’s fixed point theorem to prove the existence and uniqueness of equilibrium of the hybrid BAM neural networks with proportional delays and finally constructed appropriate delay differential inequalities to derive the stability of equilibrium [28]. In [29], Banach fixed point theorem was applied to show the existence of the unique equilibrium of BAM neural networks with time-varying delays in the leakage terms, and then the Lyapunov functional method was for demonstrating the global exponential stability. Different from [28, 29], we shall use Banach fixed point theorem deriving straightway the stability criterion of impulsive time-delay BAM neural networks, in which LMI conditions facilitate computer programming. Finally, a numerical example is presented to illustrate the effectiveness of the proposed methods.

For the sake of convenience, we introduce the following standard notations [18]:

(i): a positive (negative) definite matrix; that is, for any .(ii): a semipositive (seminegative) definite matrix; that is, for any .(iii): this means matrix is a semipositive (seminegative) definite matrix.(iv): this means matrix is a positive (negative) definite matrix.(v) and denote the largest and the smallest eigenvalue of matrix , respectively.(vi)Denote for any matrix .(vii) for any vector .(viii) implies that , , and implies that , , for any vectors and .(ix) is identity matrix with compatible dimension.

Remark 1. Different from the methods of [28, 29], it will be the first time to utilize contraction mapping principle to infer directly the LMI-based stability criterion of BAM neural networks, convenient for computer programming. Recently, there have been a lot of good results and methods [21–29] enlightening our current work. In this paper, we shall propose the LMI-based criterion, novel against the existing results, published from 2013 to 2016 (see Remark 10 and Table 1).

Table 1: Comparing Theorem 6 with other existing results.

Types of equations
Fixed point methods
LMI-based?

Theorem 6
Impulsive BAM neural networks
Contraction mapping principle
Yes

[28, Th. 2–4]
BAM neural networks
Brouwer’s fixed theorem
No

[29, Th. 2.1, Th. 3.1]
BAM neural networks
Contraction mapping principle
No

[22, Th. 1.2]
Neural networks
Contraction mapping principle
No

[23, Th. 3.1]
Cellular neural networks
Krasnoselskii fixed point theorem
No

[21, Th. 2.1]
Neutral differential equations
Contraction mapping principle
No

[30, Th. 1.1-1.2]
Neural networks
Schauder fixed point theorem
No

2. Preliminaries

Consider the following delayed differential equations:

where , , and . Here, represents the space of continuous functions from to . Active functions , , impulsive function , and time delays . The fixed impulsive moments satisfy with . and stand for the right-hand and left-hand limit of at time , respectively. We always assume , for all . Similar to [23], we assume in this paper that . Constant matrices , are positive definite diagonal matrices, and both and are matrices with dimension.

Throughout this paper, we assume that , , and are diagonal matrices, satisfying

(A1), .(A2), .(A3), .

Definition 2. Dynamic equations (2) are said to be globally exponentially stable if, for any initial condition , there exist a pair of positive constants and such that

where the norm , and , .

Definition 3. For a diagonal constants matrix , one denotes the matrix exponential function for all .

Lemma 4 (see [31] contraction mapping theorem). Let be a contraction operator on a complete metric space ; then, there exists a unique point for which .

Lemma 5. Let be a diagonal constants matrix and be the matrix exponential function of . Then, one has

(1), ;(2), ,

where and each is a constant.

3. Main Result

Theorem 6. Assume that there exists a positive constant such that . In addition, there exists a constant such that

and then the impulsive fuzzy dynamic equations (2) are globally exponentially stable, where .

Proof. To apply the fixed point theory, we firstly define a complete metric space as follows.
Let be the space consisting of functions , satisfying the following:

(a) is continuous on .(b), , for .(c), and exists, for all .(d) as , where is a positive constant, satisfying .

It is not difficult to verify that the product space is a complete metric space if it is equipped with the following metric:

where

and , , .
Next, we are to construct a contraction mapping , which may be divided into three steps.
Step  1 (formulating the mapping). Let be a solution of system (2).
Then, for , , we have

Further, we get by the integral property

where is the vector to be determined.
Next, we claim that , and

Indeed, on the one hand, we can conclude from (9) that

For , , taking the time derivative of both sides leads to

or

which is the first equation of system (2).
Moreover, as , we can gain by (9)

On the other hand, multiplying both sides of the first equation of system (2) by yields

Moreover, integrating from to gives

which yields, after letting ,

Throughout this paper, we assume that is a sufficient small positive number. Now, taking in the above equation yields

which yields by letting

So, we have actually got

for all , . Furthermore, (19) generates

Making a synthesis of the above equations results in (9).
Similarly, we can obtain

So, we may define the mapping on the space as follows:

Step  2. We claim that for any . In other words, we need to prove that must satisfy conditions (a)–(d) of .
Indeed, satisfies condition (b) due to (23).
Besides, let be a real number; we have

In (24), letting brings about

which implies that is continuous on , . Here, the convergences are under the metric defined on the space . Below, all the convergences of vector functions are in this sense. Thus, condition (a) is satisfied.
Furthermore, letting , , in (24), we have

which implies that condition (c) is also satisfied.
Next, condition (d) is satisfied if only

Indeed, obviously, and as .
Below, we may firstly prove

In fact, it follows from that, for any given , there exists a corresponding constant such that

Next, we get by (A1)

On the one hand,

On the other hand, obviously, there exists a positive number such that . So, we have

Combining (30)–(32) yields (28). Similarly, we can prove

Next, we need to prove that if ,

Indeed, it is obvious that

Below, we shall prove

Firstly, we may assume that and for any given . Hence,

which together with the arbitrariness of the positive number implies that

Similarly, we can also get

Hence, we have proved (36) and (34). And so we can conclude (27) from (28), (33), and (34). This means that condition (d) is satisfied, too.
Therefore, for any .
Step  3. Below, we only need to prove that is a contraction mapping.
Indeed, for any , we have

and hence

where and are the inverse matrices of and , respectively.
Therefore, is a contraction mapping such that there exists the fixed point of in , which implies that is a solution of the impulsive fuzzy dynamic equations (2), satisfying as . And the proof is completed.

Remark 7. Impulsive BAM neural networks model brings some mathematical difficulties to contraction mapping technique. However, in this paper, we set up the contraction mapping on the complete product space to overcome obstacles.

4. Numerical Example

Example 8. We equip the impulsive system with the following parameters:

Let . Then, we can use Matlab LMI toolbox to solve LMI conditions (4), obtaining the datum feasible as follows:

Obviously, . Thereby, we can conclude from Theorem 6 that the impulsive equations (2) are globally exponentially stable.

Remark 9. Example 8 illustrates the effectiveness of LMI-based criterion (Theorem 6). Table 1 presents a comparable result among the related literature, mainly published from 2013 to 2016.

Remark 10. From Table 1, we know that there are many existing literatures involving fixed point technique and stability analysis, and a lot of interesting conclusions are derived [21–23, 28–30]. Motivated by some methods of those literatures, we utilized Banach contraction mapping theorem to obtain the LMI-based stability criterion applicable to computer Matlab LMI toolbox. It is well known that computer software can solve large-scale computations in actual engineering, which demonstrates the superiority of the proposed method in this paper to a certain extent.

5. Conclusion

Recently, fixed point technique and methods are employed to the stability analysis to BAM neural networks, and some stability criteria are derived (see, e.g., [28, 29]). Some good methods and results of related literature [21–23, 28–30] inspire our current work. Different from existing papers, we utilized Banach fixed point theorem deriving immediately the exponential stability criterion applicable to computer Matlab LMI toolbox. Computer programming is suitable for large-scale computation in practical engineering.

Competing Interests

The authors declare that they have no competing interests.

Authors’ Contributions

Ruofeng Rao wrote the original manuscript, Zhilin Pu and Shouming Zhong checked it, and Xinggui Li and Ruofeng Rao were in charge of correspondence. All authors typed, read, and approved the final manuscript.

Acknowledgments

This work was supported by the Scientific Research Fund of Science Technology Department of Sichuan Province (2010JY0057, 2012JYZ010) and the Scientific Research Fund of Sichuan Provincial Education Department (12ZB349).

References

B. Kosko, “Adaptive bidirectional associative memories,” Applied Optics, vol. 26, no. 23, pp. 4947–4960, 1987.

B. Kosko, “Bidirectional associative memories,” IEEE Transactions on Systems, Man, and Cybernetics, vol. 18, no. 1, pp. 49–60, 1988.

R. Rao, X. Wang, and S. Zhong, “LMI-based stability criterion for impulsive delays Markovian jumping time-delays reaction-diffusion BAM neural networks via Gronwall-Bellman-type impulsive integral inequality,” Mathematical Problems in Engineering, vol. 2015, Article ID 185854, 11 pages, 2015.

X. Li and S. Song, “Research on synchronization of chaotic delayed neural networks with stochastic perturbation using impulsive control method,” Communications in Nonlinear Science and Numerical Simulation, vol. 19, no. 10, pp. 3892–3900, 2014.

X. Li and X. Fu, “Effect of leakage time-varying delay on stability of nonlinear differential systems,” Journal of the Franklin Institute, vol. 350, no. 6, pp. 1335–1344, 2013.

H. Chen, S. Zhong, M. Li, X. Liu, and F. Adu-Gyamfi, “Stability criteria for T–S fuzzy systems with interval time-varying delays and nonlinear perturbations based on geometric progression delay partitioning method,” ISA Transactions, vol. 63, pp. 69–77, 2016.

X. Liu and S. Zhong, “T-S fuzzy model-based impulsive control of chaotic systems with exponential decay rate,” Physics Letters, Section A: General, Atomic and Solid State Physics, vol. 370, no. 3-4, pp. 260–264, 2007.

Q. Zhu, X. Li, and X. Yang, “Exponential stability for stochastic reaction-diffusion BAM neural networks with time-varying and distributed delays,” Applied Mathematics and Computation, vol. 217, no. 13, pp. 6078–6091, 2011.

M. De la Sen, “About robust stability of Caputo linear fractional dynamic systems with time delays through fixed point theory,” Fixed Point Theory and Applications, vol. 2011, article 867932, 2011.

D. Li, X. Wang, and D. Xu, “Existence and global p-exponential stability of periodic solution for impulsive stochastic neural networks with delays,” Nonlinear Analysis: Hybrid Systems, vol. 6, no. 3, pp. 847–858, 2012.

Q. Song, Z. Zhao, and Y. Li, “Global exponential stability of BAM neural networks with distributed delays and reaction-diffusion terms,” Physics Letters A, vol. 335, no. 2-3, pp. 213–225, 2005.

J. Hu, S. Zhong, and L. Liang, “Exponential stability analysis of stochastic delayed cellular neural network,” Chaos, Solitons & Fractals, vol. 27, no. 4, pp. 1006–1010, 2006.

M. De la Sen, “Total stability properties based on fixed point theory for a class of hybrid dynamic systems,” Fixed Point Theory and Applications, vol. 2009, Article ID 826438, pp. 1–19, 2009.

M. De la Sen, “About robust stability of dynamic systems with time delays through fixed point theory,” Fixed Point Theory and Applications, vol. 2008, article 480187, 2008.

Q. Song and Z. Wang, “An analysis on existence and global exponential stability of periodic solutions for BAM neural networks with time-varying delays,” Nonlinear Analysis: Real World Applications, vol. 8, no. 4, pp. 1224–1234, 2007.

W. Peng, Q. Wu, and Z. Zhang, “LMI-based global exponential stability of equilibrium point for neutral delayed BAM neural networks with delays in leakage terms via new inequality technique,” Neurocomputing, vol. 199, pp. 103–113, 2016.

X. Li and X. Fu, “Global asymptotic stability of stochastic Cohen-Grossberg-type BAM neural networks with mixed delays: an LMI approach,” Journal of Computational and Applied Mathematics, vol. 235, no. 12, pp. 3385–3394, 2011.

R. Rao, S. Zhong, and X. Wang, “Stochastic stability criteria with LMI conditions for Markovian jumping impulsive {BAM} neural networks with mode-dependent time-varying delays and nonlinear reaction-diffusion,” Communications in Nonlinear Science and Numerical Simulation, vol. 19, no. 1, pp. 258–273, 2014.

R. Sakthivel, R. Anbuvithya, K. Mathiyalagan, A. Arunkumar, and P. Prakash, “New LMI-based passivity criteria for neutral-type BAM neural networks with randomly occurring uncertainties,” Reports on Mathematical Physics, vol. 72, no. 3, pp. 263–286, 2013.

J. Tian, W. Xiong, and F. Xu, “Improved delay-partitioning method to stability analysis for neural networks with discrete and distributed time-varying delays,” Applied Mathematics and Computation, vol. 233, pp. 152–164, 2014.

J. Luo, “Fixed points and stability of neutral stochastic delay differential equations,” Journal of Mathematical Analysis and Applications, vol. 334, no. 1, pp. 431–440, 2007.

G. Chen, O. van Gaans, and S. Verduyn Lunel, “Fixed points and pth moment exponential stability of stochastic delayed recurrent neural networks with impulses,” Applied Mathematics Letters, vol. 27, pp. 36–42, 2014.

C. Guo, D. O'Regan, F. Deng, and R. P. Agarwal, “Fixed points and exponential stability for a stochastic neutral cellular neural network,” Applied Mathematics Letters, vol. 26, no. 8, pp. 849–853, 2013.

X. Lai and Y. Zhang, “Fixed point and asymptotic analysis of cellular neural networks,” Journal of Applied Mathematics, vol. 2012, Article ID 689845, 12 pages, 2012.

R. Rao and Z. Pu, “LMI-based stability criterion of impulsive T-S fuzzy dynamic equations via fixed point theory,” Abstract and Applied Analysis, vol. 2013, Article ID 261353, 9 pages, 2013.

G.-Q. Wang and S. S. Cheng, “Fixed point theorems arising from seeking steady states of neural networks,” Applied Mathematical Modelling, vol. 33, no. 1, pp. 499–506, 2009.

P. Wawrzyński and B. Papis, “Fixed point method for autonomous on-line neural network training,” Neurocomputing, vol. 74, no. 17, pp. 2893–2905, 2011.

L. Zhou, “Novel global exponential stability criteria for hybrid BAM neural networks with proportional delays,” Neurocomputing, vol. 161, pp. 99–106, 2015.

B. Liu, “Global exponential stability for BAM neural networks with time-varying delays in the leakage terms,” Nonlinear Analysis: Real World Applications, vol. 14, no. 1, pp. 559–566, 2013.

J. Deng and Z. Deng, “Existence and exponential stability of solutions of NNs with continuously distributed delays,” Neurocomputing, vol. 171, pp. 492–496, 2016.

D. Smart, Fixed Point Theorems, Cambridge University Press, Cambridge, UK, 1980.