New Results of Global Asymptotical Stability for Impulsive Hopfield Neural Networks with Leakage Time-Varying Delay ()
1. Introduction
As we know, time delay is a common phenomenon that describes the fact that the future state of a system depends not only on the present state but also on the past state, and often encountered in many fields such as automatic control, biological chemistry, physical engineer, neural networks, and so on [1] [2] [3] [4] [5] . Moreover, the existence of time delay in a real system may lead to instability, oscillation, and bad dynamic performance [3] [4] [5] . So, it is significant and necessary to consider the delay effects on stability of dynamical systems. In Recent years, one typical class of neural networks, Hopfield neural networks (HNN) have been successfully applied to associative memory, pattern recognition, automatic control, optimization problems, etc, and HNN with various types of delay have been widely investigated by many authors, some interesting and important results have been reported in the literature, see [6] - [16] and the references therein.
On the other hand, impulsive phenomenon exists universally in a wide variety of evolutionary processes where the state is changed abruptly at certain moments of time, involving such fields as chemical technology, population dynamics, physics and economics [17] [18] [19] . Hopfield neural networks may experience change of the state abruptly, that is, do exhibit impulsive effects. Recently, some results for the stability of HNN with impulse as well as delays are obtained via different approaches [20] - [26] .
In the past several years, a special type of time delay, namely, leakage delay (or forgetting delay), is identified and investigated due to its existence in many real systems such as neural networks, population dynamics and some fuzzy systems [1] [3] . Leakage delay is a time delay that exists in the negative feedback terms of the system which are known as forgetting or leakage terms. It has been shown that such kind of time delay has a tendency to destabilize a system [27] . In [27] , Gopalsamy initially investigated the dynamics of bidirectional associative memory (BAM) network model with leakage delays by using model transformation technique, Lyapunov-Kravsovskii functional and inequalities together with some properties of M-matrices. Based on this work, several papers have considered stability of some kinds of neural networks [28] - [34] . More recently, Li et al. [35] , initially studies the impulsive effects on existence-uniqueness and stability problems of recurrent neural networks with leakage delay via some analysis techniques on impulsive functional differential equations. However, it is worth noting that in those existing results, the leakage delay considered is usually a constant. Stability research on leakage time-varying delay has been hardly considered in the literature. In [36] , Li et al. studied the effect of leakage time-varying delay on stability of nonlinear differential systems, but ignored impulsive effect. It is interesting to consider neural networks with leakage time-varying delay as well as impulse, which describes more realistic models [37] - [40] .
With the above motivation, in this paper, we consider Hopfield neural networks with leakage time-varying delay and impulse. By using Lyapunov-Kravsovskii functional, model transformation and some analysis techniques, New sufficient conditions for global asymptotical stability of the equilibrium point are derived. The criterion depends on the impulse and the bounds or length of the leakage time-varying delay and its derivative, and is given in terms of a linear matrix inequality (LMI). The developed results generalize the corresponding results in reference [36] . The work is organized as follows. In Section 2, we introduce the model, some basic notations and lemmas. In Section 3, we present the main results. Finally, the paper is concluded in Section 4.
2. Preliminaries
Notations. Let
denote the set of real numbers,
the set of nonnegative real numbers,
the set of positive integers,
the n-dimensional real space and
-dimensional real space equipped with the Euclidean norm
,
respectively. For
, set
.
or
denotes that the matrix
is a symmetric and positive definite or negative definite matrix. The notation
and
denote the transpose and the inverse of
, respectively. If
are symmetric matrices,
means that
is positive definite matrix.
and
denote the maximum eigenvalue and the minimum eigenvalue of matrix
, respectively. E denotes the identity matrix with appropriate dimensions and
. For any
, set
and
is continuously differentiable everywhere except at finite number of points t at which
exist and
,
where
denotes the derivative of
. For any
,
is defined by
,
,
. The notation
always denotes the symmetric block in one symmetric matrix.
Consider the following impulsive hopfield neural networks with leakage time- varying delay:
(1)
where
is the neuron state vector of the neural networks;
is a diagonal matrix with
; A and B are the connection weight matrix and the delayed weight matrix, respectively; J is an external input; f and g represent the neuron activation functions. Through-out this paper, we make the following assumptions:
(H1)
and
denote the time-varying leakage delay and time-varying transmission delay, respectively, and satisfies
,
and
,
, where
are some real constants;
(H2)
, are some continuous functions;
(H3) The impulsive times
satisfy
and
.
(H4)
, where
. For
, define
.
The following Lemmas will be used to derive our main results.
Lemma 2.1. [41] Given any real matrices
of appropriate dimensions and a scalar
such that
. Then the following inequality holds:
Lemma 2.2. [42] Given any real matrix
of appropriate dimension and a vector function
, such that the integrations concerned are well defined, then
Lemma 2.3. [43] Let
, then
for any
if X is a symmetric matrix.
Lemma 2.4. [44] A given matrix
, where
,
, is equivalent to any one of the following conditions:
(1)
(2)
In the following, we assume that some normal conditions, such as Lipschitz continuity of f and g, etc, are satisfied so that the equilibrium point of system (1) does exist, see [13] [21] etc, in which the existence results of equilibrium point are established by employing contraction mapping theorem, Brouwer’s fixed point theorem and some functional method. Note that these results are independent of time delays, so it is easy to extend the results in the literatures to an impulsive neural network with leakage time-varying delays and other delays, we omit the details and investigate the global asymptotic stability of the equilibrium point mainly in next section. As usual, we assume that
is an equilibrium point of system (1), i.e.
3. Global Asymptotic Stability
In this section, we investigate the global asymptotic stability of the unique equilibrium point of system (1). For this purpose, the impulsive function
which is viewed as a perturbation of the equilibrium point
of model (1) without impulses is defined by
where
are some
real symmetric matrices. It is clear that
. Such a type of impulse describes the fact that the instantaneous perturbations encountered depend not only on the state of neurons at impulse times
but also the state of neurons in recent history, which reflects a more realistic dynamics. Similar impulsive perturbations have also been investigated by some researchers recently [22] [23] [25] .
For convenience, we let
, then system (1) can be rewritten as
(2)
where
Obviously,
is a solution of system (2). Therefore, to consider the stability of the equilibrium point of system (1), it is equal to consider the stability of zero solution of system (2).
In this paper, we assume that there exist constants
such that
(H5)
which is a very important assumption for activation functions f and g. Using a model transformation, system (2) has an equivalent form as follows:
(3)
In the following, we shall establish a theorem which provides sufficient conditions for global asymptotical stability of the zero solution of system (3). It implies that, if system (1) has an equilibrium point, then it is unique and globally attractive.
Theorem 3.1. Assume that system (1) has one equilibrium and that assumptions (H1)-(H5) hold. Then the equilibrium of system (1) is unique and is globally asymptotically stable if there exist
matrices
such that the following LMI holds:
(4)
and
(5)
where
Proof. Let
be a solution of system (2) through
, where
. Construct a Lyapunov-Krasovskii functional in the form
(6)
where
Calculating the upper right derivative of
along the solution of system (2) at the continuous interval
, and considering the Lemma 2.1-2.3, it can be deduced that
(7)
(8)
(9)
(10)
where
Combining (6)-(10), one may deduce that
where
By the well known Schur complements, we know that
if and only if the LMI (4) holds. Hence, one may derive that
(11)
where
.
Suppose that
, for some
. Then integrating inequality (11) at each interval
, we derive that
which implies that
(12)
In order to analyze (12), we need consider the change of V at impulse times.
Firstly, it follows from (5) that
(13)
in which the last equivalent relation is obtained by Lemma 2.4.
Secondly, from system (3), it can be obtained that
which together with (13) yields
Obviously, we have
Thus, we can deduce that
Substituting the above inequality in (12) yields
(14)
By simple calculation, it can be deduced that
where
It follows that
which implies that
Employing Gronwall inequality, we get
which implies that the equilibrium point of system (2) is locally stable, and uniformly bounded on
.
Thus, considering the continuity of the activation function f and g, it can be deduced from system (2) that there exists some constant
such that
, where
denotes the right-hand derivative of y at impulse times
.
In the following, we shall prove that
as
.
We first show that
(15)
It is equivalent to prove that
as
. Note that
, then for any
, there exists a
such that, for any
implies that
(16)
By (H3), we define
, where
. From
(14), it can be obtained that
which implies that
as
.
Applying Lemma 2.2, we get
(17)
So for the above-given
, there exists a
such that
implies that
From the continuity of
on
, and using the integral mean value theorem, there exists some constant
such that
which leads to
(18)
Combining (16) and (18), one may deduce that, for any
, there exists a
such that
implies that
This completes the proof of (15).
Now we are in a position to prove that
as
. In fact,
it follows from (16) that, for any
, there exists a
such that, for any
implies that
(19)
Since (15) holds, there exists a constant
such that
(20)
In addition, applying the same argument as in (17), we can deduce that
where
So, for the above-given
, there exists a constant
such that
(21)
Set
. Now we claim that
. In fact, for any
and without loss of generality assume that
. We consider the following two cases.
Case1.
. In this case, it is obvious from (19) and (20) that
Case2.
. In this case, we know that
is continuous on
. By the integral mean value theorem, there exists at least one point
such that
which together with (21) yields
. Then, in view of
, we obtain
So we have proved that
. Therefore, the zero solution of system (2) or (3) is globally asymptotically stable, which implies that system (1) has a unique equilibrium point which is globally asymptotically stable. The proof of Theorem 3.1 is therefore complete. W
Remark 3.1. Theorem 3.1 provides some delay-dependent conditions for the global asymptotical stability of the unique equilibrium point of impulsive Hopfield neural networks with leakage time-varying delay. We would like to note that such a result has not been reported in other literatures.
In particular, when the leakage delay and transmission delay are all constants, i.e.,
, system (1) becomes
(22)
For system (22), we have the following result by Theorem 3.1.
Corollary 3.1. Assume that system (22) has one equilibrium and that assumptions (H2)-(H5) hold. Then the equilibrium of system (22) is unique and is globally asymptotically stable if there exist
matrices
such that the following LMI holds:
and
where
Remark 3.2. The conditions in Corollary 3.1 are independent on transmission delay and dependent only on leakage delay as
in Theorem 3.1. So, based on our results, we would like to say that the stability of system (1) is more sensitive to leakage delay, leakage time-varying delay or leakage constant delay. In other words, we should control not only the bound of leakage delay but also the bound of derivative of leakage delay, to obtain the stability of system (1), while the bound of transmission delay
or
do not affect the stability of system in our results.
Remark 3.3. So far, there are many papers to study the dynamics of time delay systems and impulsive systems, many effective methods and results have been developed [19] - [26] . But, those results cannot be applied to systems with leakage time-varying delay and impulse which could affect the dynamics of system essentially. In this paper, we investigate the stability of impulsive Hopfield neural networks with leakage time-varying delay by model transformation technique and a certain Lyapunov-Krasovskii functional combined with LMI technique and construct a new criterion. How to improve the dynamics of systems with leakage time-varying delay and impulse may be an interesting problem and requires further research.
4. Conclusion
We have studied the global asymptotic stability of the equilibrium point of impulsive Hopfield neural networks with leakage time-varying delay. Via an appropriate Lyapunov-Krasovskii functional and model transformation technique, a new stability criterion which depends on the impulse and the bounds of leakage time-varying delay and its derivative has been presented in terms of a linear matrix inequality. To the best of our knowledge, so far, few authors have considered the dynamics of systems with leakage time-varying delay and impulse which could affect the dynamics of neural networks essentially. How to further improve the conservation of the developed results is still a difficult problem and need consideration in the future work.
Fund
Supported by National Natural Science Foundation of China (11601269) and Project of Shan-dong Province Higher Educational Science and Technology Program (J15LI02).