Stability and synchronization analysis of inertial memristive neural networks with time delays

Abstract

This paper is concerned with the problem of stability and pinning synchronization of a class of inertial memristive neural networks with time delay. In contrast to general inertial neural networks, inertial memristive neural networks is applied to exhibit the synchronization and stability behaviors due to the physical properties of memristors and the differential inclusion theory. By choosing an appropriate variable transmission, the original system can be transformed into first order differential equations. Then, several sufficient conditions for the stability of inertial memristive neural networks by using matrix measure and Halanay inequality are derived. These obtained criteria are capable of reducing computational burden in the theoretical part. In addition, the evaluation is done on pinning synchronization for an array of linearly coupled inertial memristive neural networks, to derive the condition using matrix measure strategy. Finally, the two numerical simulations are presented to show the effectiveness of acquired theoretical results.

Introduction

In 1971, Chua discovered the fourth element in circuit theory and named it as memristor (short for memory resistor). Chua mathematically revealed that memristor has the relationship between the magnetic flux and electric charge as in Chua (1971). Almost after 40 years, Stanley Williams and his group formulated the practical memristor in May 2008 in Strukov et al. (2008). The rapid variation of voltage at certain instants leads to irregular change of memristance which is similar to the switching behaviors in a dynamical system. The most fascinating trait of the memristor is that it can memorize the direction of flow of electric charge in the past. Thus, it performs as a forgetting and remembering (memory) process in human brains and hence the memristor is acknowledged well and its potential applications are in next generation computers and powerful brain-like computers. In order to replicate the artificial neural networks of human brain better, the conventional resistor of self feedback connection weights and connection weights of the primitive neural networks are replaced by the memristor.

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 engineering, biological and economical systems. In reality, time delays often occur in many systems due to the finite switching speed of amplifiers in electronic neural networks or due to the finite signal propagation time in biological networks. In neural networks, the inner delay time that frequently occurs in the processing of information storage and telecommunication affects the dynamical behavior of the networks. Hence it is reasonable to consider time delay in modeling dynamical networks (Cao et al. 2016). In neural networks literature, research work on second-order states are very few compare to the first-order states. The second order states of the system is due to the inertial term or influence of inductance. There are some biological background for the inclusion of an inductance term in a neural system. For example, the membrane of a hair cell in the semicircular canals of some animals can be described by equivalent circuits that contain an inductance (Jagger and Ashmore 1999; Ospeck et al. 2001). The addition of inductance makes the membrane to have an electrical tuning, filtering behaviors and so on. The inertia can be treated as a helpful tool in the generation of chaos in neural systems. From the literature review of inertial neural networks, the bifurcation in a single inertial neuron model is discussed in He et al. (2012), Li et al. (2004), Liu et al. (2009) and the stability of an inertial two-neuron system in Wheeler and Schieve (1997). Furthermore, the stability analysis of Bidirectional Associative Memory (BAM) inertial neural networks has been discussed in Cao and Wan (2014), Yunkuan and Chunfang (2012), Zhang et al. (2015) and Ke and Miao (2013) deals with the inertial Cohen–Grossberg type neural networks in the literature.

The stability analysis of neural networks with time delay has received much more attention. Noticeable results on the stability analysis of neural networks with time delay has been projected by various authors. For instance, in Yunkuan and Chunfang (2012), the stability of an inertial BAM neural network with time delay is discussed by constructing suitable Lyapunov functional. Further, the stability of an inertial BAM neural network with time delay has been investigated by matrix measure theory in Cao and Wan (2014). The authors in Qi et al. (2014), Rakkiyappan et al. (2015), deals with the stability of a class of memristor-based recurrent neural networks with time delays using Lyapunov method and Banach contraction principle. In Chen et al. (2015), the global asymptotic stability of fractional memristor-based delayed neural networks has been discussed by employing the comparison theorem of fractional-order linear systems with time delay.

Synchronization of a complex network is a fascinating phenomena which is observed in fields such as physical, biological, chemical, technological, etc., and it has potential applications in biological systems, chemical reactions, secure communication, image processing and so on (Pan et al. 2015; Yang and Cao 2014, 2012). Synchronization of coupled inertial neural networks means that multiple neural networks can achieve a common trajectory, such as a common equilibrium, limit cycle or chaotic trajectory. The authors in Dai et al. (2016) have analyzed, the problem of neutral-type coupled neural networks with Markovian switching parameters by placing the adaptive controllers to part of nodes, and the sufficient conditions for exponential synchronization are drawn with the help of Lyapunov stability theory, stochastic analysis and matrix theory. Outer synchronization of partially coupled dynamical networks via pinning impulsive controller has been discussed in Lu et al. (2015). The global exponential synchronization of coupled neural networks with stochastic perturbations and mixed time-varying delays has been discussed in Wang et al. (2015) and synchronization criteria have been derived based on multiple Lyapunov theory. Two types of coupled neural networks with reaction–diffusion terms have been considered in Wang et al. (2016) and the general criterion for ensuring network synchronization has been derived by pinning a small fraction of nodes with adaptive feedback controllers. A sufficient condition for the exponential synchronization of fractional-order complex networks via pinning impulsive control has been derived using Lyapunov function and Mittag-Leffler function in Wang et al. (2015). In Yang et al. (2015), exponential synchronization of neural networks with discontinuous activations with mixed delays has been discussed by combining state feedback control and impulsive control techniques. Moreover, Pinning synchronization of coupled inertial delayed neural networks using matrix measure and Lyapunov–Krasovskii functional has been done in Hu et al. (2015). To the best of our knowledge, upto now no work in the literature have been carried out on the stability and synchronization problem for inertial Memristive neural networks (MNNs) with time-delay by using matrix measure and Halanay inequality.

Motivated by the above discussion, in this paper the stability of inertial memristive neural networks and pinning synchronization of coupled inertial memristive neural networks are presented. The main contribution of this paper are as follows: (1) The analysis on inertial MNNs is discussed. (2) The stability of inertial MNNs using matrix measure strategy is introduced. (3) In the literature, the stability of memristive-based first order system and fractional-order system are discussed but no work is done on inertial MNNs. Further, the synchronization of inertial MNNs is considered and pinning feedback control is used to synchronize the coupled inertial MNNs to the objective trajectory. In general, the matrix measure method utilizes the information of matrix elements, especially the diagonal elements of a matrix more sufficiently.

The rest of the paper is organized as follows. In “Problem formulation” section, model description and preliminaries are presented. Stability of the equilibrium point is investigated in “Stability analysis” section, and the pinning synchronization analysis of inertial MNNs are stated in “Synchronization analysis” section. In “Numerical simulation” section, some examples are given to show the validity of our results. Finally, in “Conclusion” section, conclusions are drawn.

Notations

Throughout this paper, ${\mathbb{R}}^n$ and ${\mathbb{R}}^{n\times n}$ denotes the n-dimensional Euclidean space and the set of all $n\times n$ matrices, respectively. ${\overline{a}}_{ij}=max\{{\widehat{a}}_{ij},{\check{a}}_{ij}\}$, ${\underline{a}}_{ij}=min\{{\widehat{a}}_{ij},{\check{a}}_{ij}\}$, ${\overline{b}}_{ij}=max\{{\widehat{b}}_{ij},{\check{b}}_{ij}\}$, ${\underline{b}}_{ij}=min\{{\widehat{b}}_{ij},{\check{b}}_{ij}\}$ for $i,j=1,2,\dots ,n$. ${\overline{a}}_{rs}=max\{{\widehat{a}}_{rs},{\check{a}}_{rs}\},{\underline{a}}_{rs}=min\{{\widehat{a}}_{rs},{\check{a}}_{rs}\},{\overline{b}}_{rs}=max\{{\widehat{b}}_{rs},{\check{b}}_{rs}\},{\underline{b}}_{rs}=min\{{\widehat{b}}_{rs},{\check{b}}_{rs}\}$ for $r,s=1,2,\dots ,n$. $\overline{A}={({\overline{a}}_{rs})}_{n\times n}$, $\underline{A}={({\underline{a}}_{rs})}_{n\times n}$, $\overline{B}={({\overline{b}}_{rs})}_{n\times n}$, $\underline{B}={({\underline{b}}_{rs})}_{n\times n}$. co$\{u,v\}$ denotes closure of the convex hull generated by real numbers u and v or real matrices u and v. $A{C}^1([0,1],{\mathbb{R}}^n)$ denote the space of differential functions $x:[0,1]\to \mathbb{R}$, whose first derivative, $x^{{}^{\prime }}$, is absolutely continuous. $I_n$ and $diag\{{\mathit{\alpha }}_1,{\mathit{\alpha }}_2,\dots ,{\mathit{\alpha }}_n\}$ denotes the identity matrix and the diagonal matrix of order $n\times n$. $I_{Nn}$ stands for the identity matrix with Nn dimension. Let A and B be the arbitrary matrices, then $A\otimes B$ denotes the Kronecker product of the matrices A and B.

Problem formulation

In this paper, we consider the following inertial memristive delayed neural networks,

$$\frac{{\text{d}}^2{s}_i(t)}{\text{d}{t}^2}=-d_i\frac{\text{d}{s}_i(t)}{\text{d}t}-c_i{s}_i(t)+\sum _{j=1}^n{a}_{ij}(s_i(t))f_j(s_j(t))+\sum _{j=1}^n{b}_{ij}(s_i(t))f_j(s_j(t-\mathit{\tau }(t)))+I_i,$$ 1

where $s_i(t)$ is the state vector of the ith neuron, $d_i>0$, $c_i>0$ are constants, $c_i$ denotes the rate with which the ith neuron will reset its potential to the resetting state in isolation when disconnected from the networks and external inputs. The second derivative of $s_i(t)$ is known as inertial term of system (1). $a_{ij}(s_i(t))$ and $b_{ij}(s_i(t))$ represent the memristive connective weights which changes based on the feature of memristor and current–voltage characteristic. They are given as,

$$\begin{array}{c}\hfill a_{ij}(s_i(t))=\left\{\begin{array}{cc}{\widehat{a}}_{ij},\hfill & |s_i(t)|\le T_i,\hfill \\ {\check{a}}_{ij},\hfill & |s_i(t)|>T_i,\hfill \end{array}\right.b_{ij}(s_i(t))=\left\{\begin{array}{cc}{\widehat{b}}_{ij},\hfill & |s_i(t)|\le T_i,\hfill \\ {\check{b}}_{ij},\hfill & |s_i(t)|>T_i,\hfill \end{array}\right.\end{array}$$ 2

for $i,j=1,2,\dots ,n$ in which switching jumps $T_i>0$, ${\widehat{a}}_{ij}$, ${\check{a}}_{ij}$, ${\widehat{b}}_{ij}$, ${\check{b}}_{ij}$ are known constants with respect to memristance. $f_i$ denotes the nonlinear activation function of the ith neuron at time t. $I_i$ is the external input of the ith neuron. The time delay of the system (1) is defined as $\mathit{\tau }(t)\ge 0$. The initial conditions of the system (1) is given as,

$$\begin{array}{c}\hfill {\displaystyle s_i(\mathit{\chi })={\mathrm{\Phi }}_i(\mathit{\chi })\text{and}\frac{\text{d}{s}_i(\mathit{\chi })}{\text{d}\mathit{\chi }}={\mathrm{\Psi }}_i(\mathit{\chi });-\mathit{\tau }\le \mathit{\chi }\le 0,}\end{array}$$ 3

where ${\mathrm{\Phi }}_i(\mathit{\chi }),{\mathrm{\Psi }}_i(\mathit{\chi })\in {\mathrm{C}}^{(1)}([-\mathit{\tau },0],{\mathbb{R}}^n)$, ${\mathrm{C}}^{(1)}([-\mathit{\tau },0],{\mathbb{R}}^n)$ denotes the set of all n-dimensional continuously differentiable functions defined on the interval $[-\mathit{\tau },0]$ with $\mathit{\tau }=\text{sup}{}_{t\ge 0}\{\mathit{\tau }(t)\}$.

To proceed, the following assumption, definitions and lemmas are given.

Assumption 1

The activation function $f_i$ satisfies the Lipschitz condition, i.e., there exist constants $l_i>0$ such that $\forall$x, y$\in \mathbb{R}$, we have

$$\begin{array}{c}\hfill |f_i(x)-f_i(y)|\le l_i|x-y|,i=1,2,\dots ,n.\end{array}$$

Definition 1

(Benchohra et al. 2010) A function $s_i\in {\mathrm{AC}}^1((0,1),{\mathbb{R}}^n)$ is said to be a solution of (1), (3) if $s_i^{\prime \prime }(t)+d_i{s}_i^{\prime }(t)\in F(t,s_i(t))$ almost everywhere on [0, 1], where $d_i>0$ and the function $s_i$ satisfies conditions (3). For each $s_i\in \mathrm{C}([0,1],{\mathbb{R}}^n)$, define the set of selections of F by,

$$\begin{array}{c}\hfill S_{F,s_i}=\{v_i\in L^1([0,1],{\mathbb{R}}^n):v_i(t)\in F(t,s_i(t))\text{a.e.}t\in [0,1]\}.\end{array}$$

By applying the theories of set-valued maps and differential inclusion to system (1) as stated in Definition 1, where $d_i>0$ and $F(s_i,t)=-c_i{s}_i(t)+{\sum }_{j=1}^n{a}_{ij}(s_i(t))f_j(s_j(t))+{\sum }_{j=1}^n{b}_{ij}(s_i(t))f_j(s_j(t-\mathit{\tau }(t)))+I_i$.

The system (1) can be written as the following differential inclusion:

$$\frac{{\mathrm{d}}^2{s}_i(t)}{\mathrm{d}{t}^2}+d_i\frac{\mathrm{d}{s}_i(t)}{\mathrm{d}t}\in -c_i{s}_i(t)+\sum _{j=1}^{n}co[{\underline{a}}_{ij},{\overline{a}}_{ij}]f_j(s_j(t))+\sum _{j=1}^{n}co[{\underline{b}}_{ij},{\overline{b}}_{ij}]f_j(s_j(t-\mathit{\tau }(t)))+I_i,$$ 4

or equivalently, for $i,j=1,2,\dots ,n$ there exist measurable functions ${\tilde{a}}_{ij}(s_i(t))\in co[{\underline{a}}_{ij},{\overline{a}}_{ij}],{\tilde{b}}_{ij}(s_i(t))\in co[{\underline{b}}_{ij},{\overline{b}}_{ij}]$, such that

$$\frac{{\mathrm{d}}^2{s}_i(t)}{\mathrm{d}{t}^2}+d_i\frac{\mathrm{d}{s}_i(t)}{\mathrm{d}t}=-c_i{s}_i(t)+\sum _{j=1}^n{\tilde{a}}_{ij}(s_i(t))f_j(s_j(t))+\sum _{j=1}^n{\tilde{b}}_{ij}(s_i(t))f_j(s_j(t-\mathit{\tau }(t)))+I_i,$$ 5

where $i=1,2,\dots ,n$.

Consider the following variable transformation to the system (5):

$$\begin{array}{cc}\hfill p_{1i}(t)& =s_i(t),\hfill \\ \hfill p_{2i}(t)& {\displaystyle =\frac{\mathrm{d}{s}_i(t)}{\mathrm{d}t}+s_i(t).}\hfill \end{array}$$

Then we have the system (5) as,

$$\begin{array}{c}\hfill \left\{\begin{array}{c}{\dot{p}}_{1i}(t)=-p_{1i}(t)+p_{2i}(t),\hfill \\ {\dot{p}}_{2i}(t)=-{\mathbf{c}}_i{p}_{1i}(t)-{\mathbf{d}}_i{p}_{2i}(t)+{\sum }_{j=1}^n{\tilde{a}}_{ij}(p_{1i}(t))f_j(p_{1j}(t))\hfill \\ +{\sum }_{j=1}^n{\tilde{b}}_{ij}(p_{1i}(t))f_j(p_{1j}(t-\mathit{\tau }(t)))+I_i,\hfill \end{array}\right.\end{array}$$ 6

where ${\mathbf{c}}_i=c_i+1-d_i$ and ${\mathbf{d}}_i=d_i-1$ with the initial values $p_{1i}(\mathit{\chi })={\mathrm{\Phi }}_i(\mathit{\chi })$ and $p_{2i}(\mathit{\chi })={\mathrm{\Psi }}_i(\mathit{\chi })+{\mathrm{\Phi }}_i(\mathit{\chi }),-\mathit{\tau }\le \mathit{\chi }\le 0$.

Definition 2

For the system $p_i(t)\in f(p_i)$. Since $0\in f(0)$ it follows that $p_i=0$ is the equilibrium point. i.e.,

$$\begin{array}{cc}\hfill 0& =-p_{1i}^{\ast }(t)+p_{2i}^{\ast }(t),\hfill \\ \hfill 0& =-{\mathbf{c}}_i{p}_{1i}^{\ast }(t)-{\mathbf{d}}_i{p}_{2i}^{\ast }(t)+\sum _{j=1}^n{\tilde{a}}_{ij}(p_{1i}^{\ast }(t))f_j(p_{1j}^{\ast }(t))+\sum _{j=1}^n{\tilde{b}}_{ij}(p_{1i}^{\ast }(t))f_j(p_{1j}^{\ast }(t))+I_i.\hfill \end{array}$$

Definition 3

(He and Cao 2009) The matrix measure of a real square matrix $W={(w_{ij})}_{n\times n}$ is as follows:

$$\begin{array}{c}\hfill {\mathit{\mu }}_p(W)=\underset{h\to 0^{+}}{lim}\frac{\Vert I_n{+hW\Vert }_p-1}{h},\end{array}$$

where ${\Vert ·\Vert }_p$ is an induced matrix norm on ${\mathbb{R}}^{n\times n}$, $I_n$ is an identity matrix and $p=1,2,\infty ,\mathit{\omega }$. When the matrix norm,

$$\begin{array}{cc}& {\Vert W\Vert }_1=\underset{j}{max}\sum _{i=1}^n|w_{ij}{|,\Vert W\Vert }_2=\sqrt{{\mathit{\lambda }}_{max}(W^{T}W)},\hfill \\ \hfill & {\Vert W\Vert }_{\infty }=\underset{i}{max}\sum _{j=1}^n|w_{ij}{|,\Vert W\Vert }_{\mathit{\omega }}=\underset{j}{max}\sum _{i=1}^n\frac{{\mathit{\omega }}_i}{{\mathit{\omega }}_j}|w_{ij}|.\hfill \end{array}$$

We can obtain matrix measures as,

$$\begin{array}{cc}& {\displaystyle {\mathit{\mu }}_1(W)=\underset{j}{max}\left\{w_{jj}+\sum _{i=1,i\ne j}^n|w_{ij}|\right\},{\mathit{\mu }}_2(W)={\mathit{\lambda }}_{max}\left(\frac{W^T+W}{2}\right),}\hfill \\ \hfill & {\mathit{\mu }}_{\infty }(W)=\underset{i}{max}\left\{w_{ii}+\sum _{j=1,i\ne j}^n|w_{ij}|\right\},{\mathit{\mu }}_{\mathit{\omega }}(W)=\underset{j}{max}\left\{w_{jj}+\sum _{i=1,i\ne j}^n\frac{{\mathit{\omega }}_i}{{\mathit{\omega }}_j}|w_{ij}|\right\},\hfill \end{array}$$

where ${\mathit{\lambda }}_{max}(·)$ represents the maximum eigenvalue of the matrix $(·)$ and ${\mathit{\omega }}_i>0$ for $i=1,2,\dots ,n$ are any constant numbers.

Remark 1

${\mathit{\mu }}_p(W)$ is the one-sided directional derivative of the mapping ${\Vert ·\Vert }_p:{\mathbb{R}}^{n\times n}\to {\mathbb{R}}_{+}$ at the point $I_n$, in the direction of W. Matrix norm ${\Vert ·\Vert }_p$ holds the non-negative property. But ${\mathit{\mu }}_p(·)$ is not restricted to be non-negative. It may take negative values since it emphasizes more information about the diagonal elements of the matrix.

Definition 4

(Ke and Miao 2013) The equilibrium point $s^{\ast }$ of the system (1) is said to be globally exponentially stable, if there exist constants $\mathit{\eta }>0$ and $M>0$ such that

$$\begin{array}{c}\hfill |s_i(t)-s_i^{\ast }{|}^2\le M{e}^{-\mathit{\eta }t}{\Vert \mathrm{\Phi }-s^{\ast }\Vert }^2,t>0,\end{array}$$

where $i=1,\cdots ,n$, $s(t)={(s_1(t),s_2(t),\dots ,s_n(t))}^T$ is a solution of system (1) with the initial value (3).

Lemma 1

(Chandrasekar et al. 2014) Under Assumption1, if$f_j(\pm T_j)=0$$(j=1,2,\dots ,n)$then

$$\begin{array}{c}\hfill |K(a_{ij}(u_j))f_j(u_j)-K(a_{ij}(v_j))f_j(v_j)|\le {\tilde{a}}_{ij}^u{\mathit{\lambda }}_j|u_j-v_j|,\end{array}$$

for$i,j=1,2,\dots ,n$, i.e., for any${\mathit{\eta }}_{ij}(u_j)\in K(a_{ij}(u_j)),{\mathit{\eta }}_{ij}(v_j)\in K(a_{ij}(v_j)),$

$$\begin{array}{c}\hfill |{\mathit{\eta }}_{ij}(u_j)f_j(u_j)-{\mathit{\eta }}_{ij}(v_j)f_j(v_j)|\le {\tilde{a}}_{ij}^u{\mathit{\lambda }}_j|u_j-v_j|,\end{array}$$

for$i,j=1,2,\dots ,n$, where${\tilde{a}}_{ij}^u=\text{max}\{|{\widehat{a}}_{ij}|,|{\check{a}}_{ij}|\}$.

Lemma 2

If the activation function$f_i$is bounded, i.e., $|f_i(x)|\le M_i$, for each$i=1,2,\dots ,n$then for any given input$I=diag\{I_1,\dots ,I_n\}$, there exists an equilibrium for (1).

Proof

It is clear that $s^{\ast }$ is an equilibrium of (1) if and only if it is a solution of the following equation

$$\begin{array}{c}\hfill -c_i{s}_i^{\ast }+\sum _{j=1}^n{a}_{ij}(s_i(t))f_j(s_j^{\ast })+\sum _{j=1}^n{b}_{ij}(s_i(t))f_j(s_j^{\ast })+I_i=0.\end{array}$$

By applying the theories of set-valued maps and differential inclusion, we have

$$\begin{array}{c}\hfill -c_i{s}_i^{\ast }+\sum _{j=1}^{n}co[{\underline{a}}_{ij},{\overline{a}}_{ij}]f_j(s_j^{\ast })+\sum _{j=1}^{n}co[{\underline{b}}_{ij},{\overline{b}}_{ij}]f_j(s_j^{\ast })+I_i\in 0,\end{array}$$

or equivalently, for $i,j=1,2,\dots ,n$, there exist measurable functions ${\tilde{a}}_{ij}(s_i^{\ast }(t))\in co[{\underline{a}}_{ij},{\overline{a}}_{ij}],{\tilde{b}}_{ij}(s_i^{\ast }(t))\in co[{\underline{b}}_{ij},{\overline{b}}_{ij}]$, such that

$$\begin{array}{c}\hfill -c_i{s}_i^{\ast }+\sum _{j=1}^n{\tilde{a}}_{ij}(s_i^{\ast }(t))f_j(s_j^{\ast })+\sum _{j=1}^n{\tilde{b}}_{ij}(s_i^{\ast }(t))f_j(s_j^{\ast })+I_i=0.\end{array}$$

Noting that $c_i>0$, $|f_i(x)|\le M_i,\forall i,j=1,2,\dots ,n$, one yields that,

$$\begin{array}{cc}\hfill |s_i^{\ast }|& \triangleq |h_i(s_1^{\ast },\dots ,s_n^{\ast })|=\left|\frac{1}{c_i}\left[\sum _{j=1}^n({\tilde{a}}_{ij}+{\tilde{b}}_{ij})f_j(s_j^{\ast })+I_i\right]\right|,\hfill \\ \hfill & \le \frac{1}{c_i}\sum _{j=1}^n(|{\tilde{a}}_{ij}|+|{\tilde{b}}_{ij}|)M_j+|I_i|,\hfill \\ \hfill & \triangleq D_i,i=1,2,\dots ,n.\hfill \end{array}$$

Thus the function $h(s)={(h_1,h_2,\dots ,h_n)}^T$ maps $D=[-D_1,D_1]\times \dots \times [-D_n,D_n]$ into itself. According to Brower’s fixed point theorem, the existence of an equilibrium is obtained. $\square$

Lemma 3

(Vidyasagar 1993) Let${\Vert ·\Vert }_p$be an induced matrix normon${\mathbb{R}}^{n\times n}$and${\mathit{\mu }}_p(·)$be the corresponding matrix measure. Then${\mathit{\mu }}_p(·)$has the following properties:

1. For each$W\in {\mathbb{R}}^{n\times n}$, the limit indicated in Definition3exists and is well-defined;

2. $-{\Vert W\Vert }_p\le {\mathit{\mu }}_p(W)\le {\Vert W\Vert }_p$;

3. ${\mathit{\mu }}_p(\mathit{\alpha }W)=\mathit{\alpha }{\mathit{\mu }}_p(W)$, $\forall$$\mathit{\alpha }\ge 0$, $\forall W\in {\mathbb{R}}^{n\times n}$and in general, ${\mathit{\mu }}_p(W)\ne {\mathit{\mu }}_p(-W)$;

4. $max\{{\mathit{\mu }}_p(A)-{\mathit{\mu }}_p(-B),{\mathit{\mu }}_p(B)-{\mathit{\mu }}_p(-A)\}\le {\mathit{\mu }}_p(A+B)\le {\mathit{\mu }}_p(A)+{\mathit{\mu }}_p(B)$, $\forall$$A,B\in {\mathbb{R}}^{n\times n}$;

5. ${\mathit{\mu }}_p(·)$is a convex function, i.e., ${\mathit{\mu }}_p(\mathit{\alpha }A+(1-\mathit{\alpha })B)\le \mathit{\alpha }{\mathit{\mu }}_p(A)+(1-\mathit{\alpha }){\mathit{\mu }}_p(B)$, $\forall \mathit{\alpha }\in [0,1]$, $\forall A,B\in {\mathbb{R}}^{n\times n}$.

Lemma 4

(Halanay 1966) Let$k_1$and$k_2$be constants with$k_1>k_2>0$andy(t) is a non-negative continuous function defined on$[t_0-\mathit{\tau },+\infty ]$which satisfies the following inequality for$t\ge t_0$

$$\begin{array}{c}\hfill D^{+}y(t)\le -k_{1}y(t)+k_2\overline{y}(t),\end{array}$$

where$\overline{y}(t)\triangleq {sup}_{t-\mathit{\tau }\le s\le t}y(s)$. Then, $y(t)\le \overline{y}(t_0)e^{-r(t-t_0)}$, whereris a bound on the exponential convergence rate and is the unique positive solution of$r=k_1-k_2{e}^{r\mathit{\tau }}$, where the upper right Dini derivative$D^{+}y(t)$is defined as

$$\begin{array}{c}\hfill {\displaystyle D^{+}y(t)=\underset{h\to 0^{+}}{lim}\frac{y(t+h)-y(t)}{h},}\end{array}$$

where$h\to 0^{+}$means thathapproaches zero from the right-hand side.

Lemma 5

(He and Cao 2009) Under Assumption1, let${\mathit{\mu }}_p(·)$be the corresponding matrix measure associated withthe induced matrix norm${\Vert ·\Vert }_p$ on ${\mathbb{R}}^{n\times n}$. Then

$$\begin{array}{c}\hfill {\mathit{\mu }}_p(AF(e(t)))\le {\mathit{\mu }}_p(A^{\ast }L),\end{array}$$

where$F(e(t))=diag\left\{\frac{f_1(e_1(t))}{e_1(t)},\dots ,\frac{f_n(e_n(t))}{e_n(t)}\right\}$, $L=diag\{l_1,\dots ,l_n\}$, $p=1,\infty ,\mathit{\omega }$and$A^{\ast }={(a_{ij}^{\ast })}_{n\times n}=\left\{\begin{array}{cc}max\{0,a_{ii}\},\hfill & i=j,\hfill \\ a_{ij},\hfill & i\ne j.\hfill \end{array}\right.$

Stability analysis

In this section, we will investigate the exponential stability of inertial memristive neural networks using matrix measure strategy. The main result is given in the following theorem.

Theorem 1

Under the Assumption1, further

$$\begin{array}{c}\hfill -({\mathit{\mu }}_p(\mathbb{G})+l\Vert \tilde{A}{\Vert }_p)>l\Vert \tilde{B}{\Vert }_p>0,\end{array}$$ 7

where$\mathbb{G}=\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)$, $\mathcal{C}=C+I_n-D$, $\mathcal{D}=D-I_n$and$l={max}_{1\le i\le n}\{l_i\}$. Then the equilibrium${(p_1^{\ast }(t),p_2^{\ast }(t))}^T$of the system (6) is globally exponentially stable for$p=1,2,\infty ,\mathit{\omega }$.

Proof

Let us define the error between the trajectory of the system (6) and the corresponding equilibrium ${(p_1^{\ast }(t),p_2^{\ast }(t))}^T$ as,

$$\begin{array}{c}\hfill e(t)=\left(\begin{array}{c}{e}_1(t)\\ e_2(t)\end{array}\right)=\left(\begin{array}{c}{p}_1(t)-p_1^{\ast }(t)\\ p_2(t)-p_2^{\ast }(t)\end{array}\right).\end{array}$$

According to the error system, the upper-right Dini derivative of ${\Vert e(t)\Vert }_p$ with respect to ‘t’ is calculated as follows:

$$\begin{array}{c}\hfill D^{+}{\Vert e(t)\Vert }_p=\underset{h\to 0^{+}}{lim}\frac{{\Vert e(t+h)\Vert }_p-{\Vert e(t)\Vert }_p}{h}=\underset{h\to 0^{+}}{lim}\frac{\Vert e(t)+h\dot{e}{(t)+o(h)\Vert }_p-{\Vert e(t)\Vert }_p}{h}.\end{array}$$

We have,

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\dot{e}}_{1i}(t)\\ {\dot{e}}_{2i}(t)\end{array}\right)=\left(\begin{array}{c}-e_{1i}(t)+e_{2i}(t)\\ -{\mathbf{c}}_i{e}_{1i}(t)-{\mathbf{d}}_i{e}_{2i}(t)+\sum _{j=1}^n[{\tilde{a}}_{ij}(p_{1i}(t))f_j(p_{1j}(t))-{\tilde{a}}_{ij}(p_{1i}^{\ast }(t))f_j(p_{1j}^{\ast }(t))]\\ +\sum _{j=1}^n[{\tilde{b}}_{ij}(p_{1i}(t))f_j(p_{1j}(t-\mathit{\tau }(t)))-{\tilde{b}}_{ij}(p_{1i}^{\ast }(t))f_j(p_{1j}^{\ast }(t))]\end{array}\right).\end{array}$$

According to Lemma 1, the above equation can be written as follows:

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\dot{e}}_{1i}(t)\\ {\dot{e}}_{2i}(t)\end{array}\right)=\left(\begin{array}{c}-e_{1i}(t)+e_{2i}(t)\\ -{\mathbf{c}}_i{e}_{1i}(t)-{\mathbf{d}}_i{e}_{2i}(t)+\sum _{j=1}^n{\tilde{a}}_{ij}^u(f_j(p_{1j}(t))-f_j(p_{1j}^{\ast }(t)))\\ +\sum _{j=1}^n{\tilde{b}}_{ij}^u(f_j(p_{1j}(t-\mathit{\tau }(t)))-f_j(p_{1j}^{\ast }(t)))\end{array}\right),\end{array}$$

where ${\tilde{a}}_{ij}^u=max\{|{\widehat{a}}_{ij}|,|{\check{a}}_{ij}|\}\text{and}{\tilde{b}}_{ij}^u=max\{|{\widehat{b}}_{ij}|,|{\check{b}}_{ij}|\}$.

The vector form of the above equation is,

$$\begin{array}{c}\hfill \dot{e}(t)=\left(\begin{array}{c}{\dot{e}}_1(t)\\ {\dot{e}}_2(t)\end{array}\right)=\left(\begin{array}{c}-e_1(t)+e_2(t)\\ -\mathcal{C}{e}_1(t)-\mathcal{D}{e}_2(t)+\tilde{A}(f(p_1(t))-f(p_1^{\ast }(t)))\\ +\tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t)))\end{array}\right),\end{array}$$ 8

where $\mathcal{C}=C+I_n-D$, $\mathcal{D}=D-I_n$, $\tilde{A}={({\tilde{a}}_{ij}^u)}_{n\times n}$ and $\tilde{B}={({\tilde{b}}_{ij}^u)}_{n\times n}$.

We have the upper right Dini-derivative as,

$$\begin{array}{cc}& D^{+}{\Vert e(t)\Vert }_p\hfill \\ \hfill & =\underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{c}\dot{e_1}(t)\\ \dot{e_2}(t)\end{array}\right)+o(h)∥}_p-{\Vert e(t)\Vert }_p}{h}\hfill \\ \hfill & =\underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{c}-e_1(t)+e_2(t)\\ \mathit{\xi }\end{array}\right)+o(h)∥}_p-{\Vert e(t)\Vert }_p}{h}\hfill \\ \hfill & \le \underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)e(t)∥}_p-{\Vert e(t)\Vert }_p}{h}+{\Vert \tilde{A}(f(p_1(t))-f(p_1^{\ast }(t)))\Vert }_p\hfill \\ \hfill & +\Vert \tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t))){\Vert }_p\hfill \\ \hfill & \le \underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)e(t)∥}_p-{\Vert e(t)\Vert }_p}{h}+l\Vert \tilde{A}{\Vert }_p{\Vert p_1(t)-p_1^{\ast }(t)\Vert }_p\hfill \\ \hfill & +l\Vert \tilde{B}{\Vert }_p{\Vert p_1(t-\mathit{\tau }(t))-p_1^{\ast }(t)\Vert }_p\hfill \\ \hfill & \le \underset{h\to 0^{+}}{lim}\frac{\Vert I_n{+h(\mathbb{G})\Vert }_p-1}{h}{\Vert e(t)\Vert }_p+l\Vert \tilde{A}{\Vert }_p\Vert e_1{(t)\Vert }_p+l\Vert \tilde{B}{\Vert }_p{\Vert e_1(t-\mathit{\tau }(t))\Vert }_p\hfill \\ \hfill & ={\mathit{\mu }}_p{(\mathbb{G})\Vert e(t)\Vert }_p+l\Vert \tilde{A}{\Vert }_p{\Vert e(t)\Vert }_p+l\Vert \tilde{B}{\Vert }_p{\Vert e(t-\mathit{\tau }(t))\Vert }_p\hfill \\ \hfill & \le ({\mathit{\mu }}_p(\mathbb{G})+l\Vert \tilde{A}{\Vert }_p{)\Vert e(t)\Vert }_p+l\Vert \tilde{B}{\Vert }_p\underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p\hfill \\ \hfill & =-(-{\mathit{\mu }}_p(\mathbb{G})-l\Vert \tilde{A}{\Vert }_p{)\Vert e(t)\Vert }_p+l\Vert \tilde{B}{\Vert }_p\underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p,\hfill \end{array}$$

where $\mathit{\xi }=-\mathcal{C}{e}_1(t)-\mathcal{D}{e}_2(t)+\tilde{A}(f(p_1(t))-f(p_1^{\ast }(t)))+\tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t)))$. Using Lemma 4, by considering $k_1=-({\mathit{\mu }}_p(\mathbb{G})+l\Vert \tilde{A}{\Vert }_p)$, $k_2=l{\Vert \tilde{B}\Vert }_p$ and the assumption of Theorem 1, $-({\mathit{\mu }}_p(\mathbb{G})+l\Vert \tilde{A}{\Vert }_p)>l\Vert \tilde{B}{\Vert }_p>0$. We have the result as,

$$\begin{array}{c}\hfill {\Vert e(t)\Vert }_p\le \underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p{e}^{-r(t-t_0)},\end{array}$$

where r is a bound on the exponential convergence rate with

$$\begin{array}{c}\hfill r=k_1-k_2{e}^{r\mathit{\tau }}=-({\mathit{\mu }}_p(\mathbb{G})+l\Vert \tilde{A}{\Vert }_p)-l\Vert \tilde{B}{\Vert }_p{e}^{r\mathit{\tau }}.\end{array}$$

Thus we conclude that, e(t) converges exponentially to zero with a convergence rate r. That is, every trajectory of the system (6) converges exponentially towards the equilibrium ${(p_1^{\ast }(t),p_2^{\ast }(t))}^T$ with a convergence rate r. This completes the proof. $\square$

Remark 2

The fundamental concept of the Lyapunov direct method is that if the total energy of a system is continuously dissipating, then the system will eventually reach an equilibrium point and remain at that point. Hence, the Lyapunov direct method consists of two steps. Firstly, a suitable scalar function is chosen and this function is referred as Lyapunov function Hahn (1967), Bacciotti and Rosier (2005). Secondly, we have to evaluate its first-order time derivative along the trajectory of the system. If the derivative of a Lyapunov function is decreasing along the system trajectory as time increases, then the system energy is dissipating and the system will finally settle down. However, it should be noted that much of the previous work in the stability analysis of neural networks is based on Lyapunov direct methods, where constructing a proper Lyapunov function is important for the stability analysis. Moreover, to construct a proper Lyapunov function for a given system is very difficult and there are no general rules to follow. Compared with Lyapunov direct method, matrix measure strategy is an efficient tool to address the stability problem of nonlinear systems. Generally, the established results by using matrix measure are more superior than common algebraic criterion due to the fact that matrix measure can not only be taken to be positive value but also it can be a negative value. Inspired by the above method, we introduce the so called matrix measure and Halanay inequality to study the stability of the system (1), and some simple but generic criteria have been derived.

Remark 3

Compared to the matrix norm ${\Vert ·\Vert }_p$, the matrix measure, ${\mathit{\mu }}_p(·)$ are sign sensitive which ensure that the obtained results are more precise and less computational burden those obtained by using matrix norm.

Corollary 1

Under the Assumption1and if further there exists matrix$\mathrm{\Lambda }=diag\{{\mathit{\xi }}_1,{\mathit{\xi }}_2,\dots ,{\mathit{\xi }}_n\}$such that

$$\begin{array}{c}\hfill -({\mathit{\mu }}_p(\mathbb{G})+l\Vert \tilde{A}{\Vert }_p)>l\Vert \tilde{B}{\Vert }_p>0,\end{array}$$ 9

holds where$\mathbb{G}=\left(\begin{array}{cc}-\mathrm{\Lambda }& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)$, $\mathcal{C}=C+I_n-D$, $\mathcal{D}=D-I_n$and$l={max}_{1\le i\le n}\{l_i\}$. Then the equilibrium${(p_1^{\ast }(t),p_2^{\ast }(t))}^T$of the system (6) isglobally exponentially stable for$p=1,2,\infty ,\mathit{\omega }$.

Proof

To the system (5), we consider the following transformation:

$$\begin{array}{cc}\hfill p_{1i}(t)& =s_i(t),\hfill \\ \hfill p_{2i}(t)& {\displaystyle =\frac{\mathrm{d}{s}_i(t)}{\mathrm{d}t}+{\mathit{\xi }}_i{s}_i(t).}\hfill \end{array}$$

and proceed as stated before and the proof is similar to the Theorem 1. $\square$

Remark 4

The condition of Theorem 1 certainly does not holds for $p=1,\infty$. On that case, it is better to introduce ${\mathit{\xi }}_i>0$, $i=1,2,\dots ,n$ in the variable transformation as in Corollary 1. So that the condition holds for $p=1,\infty$ and leads to the better performance.

Theorem 2

Under the Assumption1, further

$$\begin{array}{c}\hfill -({\mathit{\mu }}_p(\mathbb{G})+{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast }))>l{\Vert \tilde{B}\Vert }_p>0,\end{array}$$ 10

holds where$L^{\ast }=diag\{l_1,l_2,\dots ,l_n,1,1,\dots ,1\}$ and $\mathcal{A}=\left(\begin{array}{cc}0& 0\\ \tilde{A}& 0\end{array}\right)$. Then the equilibrium${(p_1^{\ast }(t),p_2^{\ast }(t))}^T$of the system (6) is globally exponentially stable for$p=1,\infty ,\mathit{\omega }$.

Proof

Similar to the proof of Theorem 1, first let us calculate the upper-right Dini-derivative as,

$$\begin{array}{c}\hfill D^{+}{\Vert e(t)\Vert }_p=\underset{h\to 0^{+}}{lim}\frac{{\Vert e(t+h)\Vert }_p-{\Vert e(t)\Vert }_p}{h}=\underset{h\to 0^{+}}{lim}\frac{\Vert e(t)+h\dot{e}{(t)+o(h)\Vert }_p-{\Vert e(t)\Vert }_p}{h}.\end{array}$$

The error system is defined as,

$$\begin{array}{c}\hfill e(t)=\left(\begin{array}{c}{e}_1(t)\\ e_2(t)\end{array}\right)=\left(\begin{array}{c}{p}_1(t)-p_1^{\ast }(t)\\ p_2(t)-p_2^{\ast }(t)\end{array}\right).\end{array}$$

Also note that, $e_1(t)=(e_{11}(t),e_{12}(t),\dots ,e_{1n}(t))$, $f_i(p_{1i}(t))-f_i(p_{1i}^{\ast }(t))=f_i(p_{1i}^{\ast }(t)+e_{1i}(t))-f_i(p_{1i}^{\ast }(t))$, $f(p_1(t))-f(p_1^{\ast }(t))=(f_{11}(p_{11}(t))-f_{11}(p_{11}^{\ast }(t)),\dots ,f_{1n}(p_{1n}(t))-f_{1n}(p_{1n}^{\ast }(t)))$.

Define the function as,

$$\begin{array}{cc}\hfill F_1(p_1(t))-F_1(p_1^{\ast }(t))& =diag\left\{\frac{f_{11}(p_{11}(t))-f_{11}(p_{11}^{\ast }(t))}{p_{11}(t)-p_{11}^{\ast }(t)},\dots ,\frac{f_{1n}(p_{1n}(t))-f_{1n}(p_{1n}^{\ast }(t))}{p_{1n}(t)-p_{1n}^{\ast }(t)}\right\},\hfill \\ \hfill F_2(p_2(t))-F_2(p_2^{\ast }(t))& \equiv I_n.\hfill \end{array}$$

Then, $f(p_1(t))-f(p_1^{\ast }(t))$ and $f(p_2(t))-f(p_2^{\ast }(t))$ can be written as,

$$\begin{array}{cc}\hfill f(p_1(t))-f(p_1^{\ast }(t))& =(F_1(p_1(t))-F_1(p_1^{\ast }(t)))(p_1(t)-p_1^{\ast }(t)),\hfill \\ \hfill f(p_2(t))-f(p_2^{\ast }(t))& =p_2(t)-p_2^{\ast }(t)=(F_2(p_2(t))-F_2(p_2^{\ast }(t)))(p_2(t)-p_2^{\ast }(t)).\hfill \end{array}$$

It follows from (8) that,

$$\begin{array}{cc}\hfill \dot{e}(t)& =\left(\begin{array}{c}{\dot{e}}_1(t)\\ {\dot{e}}_2(t)\end{array}\right)=\left(\begin{array}{c}-e_1(t)+e_2(t)\\ -\mathcal{C}{e}_1(t)-\mathcal{D}{e}_2(t)+\tilde{A}(f(p_1(t))-f(p_1^{\ast }(t)))\\ +\tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t)))\end{array}\right)\hfill \\ & =\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)\left(\begin{array}{c}{e}_1(t)\\ e_2(t)\end{array}\right)+\left(\begin{array}{c}0\\ \tilde{A}(f(p_1(t))-f(p_1^{\ast }(t)))\end{array}\right)\hfill \\ & +\left(\begin{array}{c}0\\ \tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t)))\end{array}\right)\hfill \\ & =\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)\left(\begin{array}{c}{e}_1(t)\\ e_2(t)\end{array}\right)+\left(\begin{array}{cc}0& 0\\ \tilde{A}& 0\end{array}\right)\left(\begin{array}{c}f(p_1(t))-f(p_1^{\ast }(t))\\ f(p_2(t))-f(p_2^{\ast }(t))\end{array}\right)\hfill \\ & +\left(\begin{array}{c}0\\ \tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t)))\end{array}\right)\hfill \\ & =\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)\left(\begin{array}{c}{e}_1(t)\\ e_2(t)\end{array}\right)+\mathcal{A}\left(\begin{array}{c}{F}_1(p_1(t))-F_1(p_1^{\ast }(t))(p_1(t)-p_1^{\ast }(t))\\ F_2(p_2(t))-F_2(p_2^{\ast }(t))(p_2(t)-p_2^{\ast }(t))\end{array}\right)\hfill \\ & +\left(\begin{array}{c}0\\ \tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t)))\end{array}\right).\hfill \end{array}$$

Now by letting,

$$\begin{array}{cc}\hfill F(p(t))-F(p^{\ast }(t))& =diag\left\{\frac{f_{11}(p_{11}(t))-f_{11}(p_{11}^{\ast }(t))}{p_{11}(t)-p_{11}^{\ast }(t)},\dots ,\frac{f_{11}(p_{11}(t))-f_{11}(p_{11}^{\ast }(t))}{p_{11}(t)-p_{11}^{\ast }(t)}\right\},\hfill \\ \hfill & =\left(\begin{array}{cc}{F}_1(p_1(t))-F_1(p_1^{\ast }(t))& 0\\ 0& F_2(p_2(t))-F_2(p_2^{\ast }(t))\end{array}\right).\hfill \end{array}$$

We have the error system as,

$$\begin{array}{cc}\hfill \dot{e}(t)& =\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)e(t)+\mathcal{A}(F(p(t))-F(p^{\ast }(t)))(p(t)-p^{\ast }(t))\hfill \\ & +\left(\begin{array}{c}0\\ \tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t)))\end{array}\right).\hfill \end{array}$$

Then, we have the upper-right Dini derivative as,

$$\begin{array}{cc}& D^{+}{\Vert e(t)\Vert }_p\hfill \\ & {\displaystyle \le \underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)e(t)+\mathcal{A}(F(p(t))-F(p^{\ast }(t)))(p(t)-p^{\ast }(t))\right)∥}_p-{\Vert e(t)\Vert }_p}{h}}\hfill \\ & +\Vert \tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t))){\Vert }_p\hfill \\ & {\displaystyle \le \underset{h\to 0^{+}}{lim}\frac{\Vert e(t)+h(\mathbb{G}+\mathcal{A}(F(p(t))-F(p^{\ast }(t)))e(t){\Vert }_p-\Vert e(t){\Vert }_p}{h}}\hfill \\ & +\Vert \tilde{B}(f(p_1(t-\mathit{\tau }(t)))-f(p_1^{\ast }(t))){\Vert }_p\hfill \\ & ={\mathit{\mu }}_p(\mathbb{G}+\mathcal{A}(F(p(t))-F(p^{\ast }(t)))){\Vert e(t)\Vert }_p+l\Vert \tilde{B}{\Vert }_p{\Vert e(t-\mathit{\tau }(t))\Vert }_p.\hfill \end{array}$$

It follows from Lemmas 3 and 5 that,

$$\begin{array}{cc}\hfill {\mathit{\mu }}_p(\mathbb{G}+\mathcal{A}(F(p(t))-F(p^{\ast }(t))))& \le {\mathit{\mu }}_p(\mathbb{G})+{\mathit{\mu }}_p(\mathcal{A}(F(p(t))-F(p^{\ast }(t)))),\hfill \\ \hfill & \le {\mathit{\mu }}_p(\mathbb{G})+{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast }),\hfill \end{array}$$

where $L^{\ast }=diag\{l_1,l_2,\dots ,l_n,1,1,\dots ,1\}$. Hence, we have

$$\begin{array}{cc}\hfill D^{+}{\Vert e(t)\Vert }_p& \le ({\mathit{\mu }}_p(\mathbb{G})+{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast }))\Vert e(t){\Vert }_p+l\Vert \tilde{B}{\Vert }_p\underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p,\hfill \\ \hfill D^{+}{\Vert e(t)\Vert }_p& \le -(-{\mathit{\mu }}_p(\mathbb{G})-{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast }))\Vert e(t){\Vert }_p+l\Vert \tilde{B}{\Vert }_p\underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p.\hfill \end{array}$$

Using Lemma 4, by considering $k_1=-({\mathit{\mu }}_p(\mathbb{G})+{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast }))$, $k_2=l{\Vert \tilde{B}\Vert }_p$ and the assumption of our Theorem 2, $-({\mathit{\mu }}_p(\mathbb{G})+{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast }))>l{\Vert \tilde{B}\Vert }_p>0$. We have the result as,

$$\begin{array}{c}\hfill {\Vert e(t)\Vert }_p\le \underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p{e}^{-r(t-t_0)},\end{array}$$

where r is a bound on the exponential convergence rate with

$$\begin{array}{c}\hfill r=k_1-k_2{e}^{r\mathit{\tau }}=-({\mathit{\mu }}_p(\mathbb{G})+{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast }))-l{\Vert \tilde{B}\Vert }_p{e}^{r\mathit{\tau }}.\end{array}$$

Thus we conclude that, e(t) converges exponentially to zero with a convergence rate r. That is, every trajectory of the system (6) converges exponentially towards the equilibrium ${(p_1^{\ast }(t),p_2^{\ast }(t))}^T$ with a convergence rate r. This completes the proof. $\square$

Remark 5

The stability condition of Theorem 1 utilize only the maximum Lipschitz constant and not the information of each $l_i$. But the stability condition of Theorem 2 utilizes the information of each Lipschitz constant $l_i$. Thus, by letting some terms, we make the term $\Vert \tilde{A}{\Vert }_p$ as ${\mathit{\mu }}_p(\mathcal{A}{L}^{\ast })$ in Theorem 2 and hence the result is more precise than Theorem 1. But the condition of Theorem 2 holds only for $p=1,\infty ,\mathit{\omega }$.

Synchronization analysis

Consider the following memristive delayed neural networks,

$$\frac{{\mathrm{d}}^2{\overline{y}}_r(t)}{\mathrm{d}{t}^2}=-d_r\frac{\mathrm{d}{\overline{y}}_r(t)}{\mathrm{d}t}-c_r{\overline{y}}_r(t)+\sum _{s=1}^n{a}_{rs}(\overline{y}(t))f_s({\overline{y}}_s(t))+\sum _{s=1}^n{b}_{rs}(\overline{y}(t))f_s({\overline{y}}_s(t-\mathit{\tau }(t)))+I_r,r=1,\dots ,n,$$ 11

where $\overline{y}(t)={({\overline{y}}_1(t),\dots ,{\overline{y}}_n(t))}^T\in {\mathbb{R}}^n$. $d_r>0$, $c_r>0$ are constants, $c_r$ denotes the rate with which the rth neuron will reset its potential to the resetting state in isolation when disconnected from the networks and external inputs. $I_r={(I_1,\dots ,I_n)}^T$ and $f(\overline{y}(t))={(f_1({\overline{y}}_1(t)),\dots ,f_n({\overline{y}}_n(t)))}^T$ denotes the external input and the non-linear activation function respectively. $A(\overline{y}(t))={(a_{rs}(\overline{y}(t)))}_{n\times n}$ and $B(\overline{y}(t))={(b_{rs}(\overline{y}(t)))}_{n\times n}$ are memristive connection weights which changes based on the feature of memristor and current–voltage characteristics are defined as,

$$\begin{array}{c}\hfill a_{rs}(\overline{y}(t))=\left\{\begin{array}{cc}{\widehat{a}}_{rs},\hfill & |\overline{y}(t)|\le T_r,\hfill \\ {\check{a}}_{rs},\hfill & |\overline{y}(t)|>T_r,\hfill \end{array}\right.b_{rs}(\overline{y}(t))=\left\{\begin{array}{cc}{\widehat{b}}_{rs},\hfill & |\overline{y}(t)|\le T_r,\hfill \\ {\check{b}}_{rs},\hfill & |\overline{y}(t)|>T_r,\hfill \end{array}\right.\end{array}$$ 12

for $r,s=1,2,\dots ,n$ in which switching jumps $T_r>0$, ${\widehat{a}}_{rs}$, ${\check{a}}_{rs}$, ${\widehat{b}}_{rs}$, ${\check{b}}_{rs}$ are known constants with respect to memristance. When N inertial MNNs are coupled by a network, we can obtain the following array of linearly coupled inertial MNNs with the dynamics of the kth node as,

$$\frac{{\mathrm{d}}^2{x}_k(t)}{\mathrm{d}{t}^2}=-D\frac{\mathrm{d}{x}_k(t)}{\mathrm{d}t}-C{x}_k(t)+A(x_k(t))f(x_k(t))+B(x_k(t))f(x_k(t-\mathit{\tau }(t)))+I+\mathit{\alpha }\sum _{l=1}^N{W}_{kl}\mathrm{\Gamma }\left(\frac{\mathrm{d}{x}_l(t)}{\mathrm{d}t}+x_l(t)\right),$$ 13

where $k=1,\dots ,N$. $x_k(t)={(x_{k1}(t),\dots ,x_{kn}(t))}^T\in {\mathbb{R}}^n$ is the state of the kth neural network. $D=diag\{d_1,d_2,\dots ,d_n\}$ and $C=diag\{c_1,c_2,\dots ,c_n\}$ denote the positive definite matrices. $A(x_k(t))$ and $B(x_k(t))$ are memristive connection weights defined in (12). $\mathit{\alpha }$ is the positive constant which represents network coupling strength. $\mathrm{\Gamma }$ is the inner coupling matrix. The matrix $W={(W_{kl})}_{N\times N}$ is the constant coupling configuration matrix which is considered to be diffusive. i.e., $W_{kl}\ge 0$$(k\ne l)$ and $W_{kk}=-{\sum }_{l=1,l\ne k}^N{W}_{kl}$. Also, W is not required to be symmetric or irreducible.

The initial condition of the system (13) is given as,

$$\begin{array}{c}\hfill {\displaystyle x_k(\mathit{\chi })={\mathrm{\Phi }}_k(\mathit{\chi })\text{and}\frac{\mathrm{d}{x}_k(\mathit{\chi })}{\mathrm{d}\mathit{\chi }}={\mathrm{\Psi }}_k(\mathit{\chi });-\mathit{\tau }\le \mathit{\chi }\le 0,}\end{array}$$ 14

where ${\mathrm{\Phi }}_k(\mathit{\chi })$, ${\mathrm{\Psi }}_k(\mathit{\chi })\in {\mathrm{C}}^{(1)}([-\mathit{\tau },0],{\mathbb{R}}^n)$. The isolated node of network (13) is given as,

$$\frac{{\mathrm{d}}^{2}s(t)}{\mathrm{d}{t}^2}=-D\frac{\mathrm{d}s(t)}{\mathrm{d}t}-Cs(t)+A(s(t))f(s(t))+B(s(t))f(s(t-\mathit{\tau }(t)))+I.$$ 15

The connection weight matrices of A(s(t)) and B(s(t)) are defined as in (12). The initial condition of the system (15) is given as,

$$\begin{array}{c}\hfill {\displaystyle s(\mathit{\chi })=\mathrm{\Phi }(\mathit{\chi })\text{and}\frac{\mathrm{d}s(\mathit{\chi })}{\mathrm{d}\mathit{\chi }}=\mathrm{\Psi }(\mathit{\chi });-\mathit{\tau }\le \mathit{\chi }\le 0,}\end{array}$$ 16

where $\mathrm{\Phi }(\mathit{\chi })$, $\mathrm{\Psi }(\mathit{\chi })\in {\mathrm{C}}^{(1)}([-\mathit{\tau },0],{\mathbb{R}}^n)$. By applying the theories of set-valued maps and differential inclusion to (15) as stated in Definition 1 we have,

$$\begin{array}{c}\hfill \frac{{\mathrm{d}}^{2}s(t)}{\mathrm{d}{t}^2}+D\frac{\mathrm{d}s(t)}{\mathrm{d}t}\in -Cs(t)+co[\underline{A},\overline{A}]f(s(t))+co[\underline{B},\overline{B}]f(s(t-\mathit{\tau }(t)))+I,\end{array}$$ 17

or equivalently, there exist measurable functions $\tilde{A}(s(t))\in co[\underline{A},\overline{A}],\tilde{B}(s(t))\in co[\underline{B},\overline{B}]$, such that

$$\begin{array}{c}\hfill \frac{{\mathrm{d}}^{2}s(t)}{\mathrm{d}{t}^2}+D\frac{\mathrm{d}s(t)}{\mathrm{d}t}=-Cs(t)+\tilde{A}(s(t))f(s(t))+\tilde{B}(s(t))f(s(t-\mathit{\tau }(t)))+I.\end{array}$$ 18

Consider the following transformation to the system (18),

$$\begin{array}{cc}\hfill p(t)& =s(t),\hfill \\ \hfill q(t)& {\displaystyle =\frac{\mathrm{d}s(t)}{\mathrm{d}t}+s(t).}\hfill \end{array}$$

Then we have the system (18) as,

$$\begin{array}{c}\hfill \left(\begin{array}{c}\dot{p}(t)\\ \dot{q}(t)\end{array}\right)=\left(\begin{array}{c}-p(t)+q(t)\\ -\mathcal{C}p(t)-\mathcal{D}q(t)+\tilde{A}(p(t))f(p(t))\\ +\tilde{B}(p(t))f(p(t-\mathit{\tau }(t)))+I\end{array}\right),\end{array}$$ 19

where $\mathcal{C}=C+I_n-D$ and $\mathcal{D}=D-I_n$. The pinning controlled networks of the system (13) is given as,

$$\begin{array}{cc}\hfill \frac{{\mathrm{d}}^2{x}_k(t)}{\mathrm{d}{t}^2}& =-D\frac{\mathrm{d}{x}_k(t)}{\mathrm{d}t}-C{x}_k(t)+A(x_k(t))f(x_k(t))+B(x_k(t))f(x_k(t-\mathit{\tau }(t)))+I\hfill \\ \hfill & +\mathit{\alpha }\sum _{l=1}^N{W}_{kl}\mathrm{\Gamma }\left(\frac{\mathrm{d}{x}_l(t)}{\mathrm{d}t}+x_l(t)\right)\hfill \\ \hfill & -\mathit{\alpha }{\mathit{\sigma }}_k\mathrm{\Gamma }\left(\frac{\mathrm{d}(x_k(t)-s(t))}{\mathrm{d}t}+(x_k(t)-s(t))\right),\hfill \end{array}$$ 20

where $k=1,2,\dots ,N$ and ${\mathit{\sigma }}_k=1$ if the node is pinned, otherwise ${\mathit{\sigma }}_k=0$. $A(x_k(t))$, $B(x_k(t))$ and the initial condition of the system are given in (12) and (14) respectively.

By applying the theories of set-valued maps and differential inclusion to the form as stated in Definition 1 to the system (20) we have,

$$\begin{array}{cc}& \frac{{\mathrm{d}}^2{x}_k(t)}{\mathrm{d}{t}^2}+D\frac{\mathrm{d}{x}_k(t)}{\mathrm{d}t}\in -C{x}_k(t)+co[\underline{A},\overline{A}]f(x_k(t))+co[\underline{B},\overline{B}]f(x_k(t-\mathit{\tau }(t)))+I\hfill \\ \hfill & +\mathit{\alpha }\sum _{l=1}^N{W}_{kl}\mathrm{\Gamma }\left(\frac{\mathrm{d}{x}_l(t)}{\mathrm{d}t}+x_l(t)\right)\hfill \\ \hfill & -\mathit{\alpha }{\mathit{\sigma }}_k\mathrm{\Gamma }\left(\frac{\mathrm{d}(x_k(t)-s(t))}{\mathrm{d}t}+(x_k(t)-s(t))\right),\hfill \end{array}$$

or equivalently, there exist measurable functions $\tilde{A}(x_k(t))\in co[\underline{A},\overline{A}],\tilde{B}(x_k(t))\in co[\underline{B},\overline{B}]$, such that

$$\begin{array}{cc}\hfill \frac{{\mathrm{d}}^2{x}_k(t)}{\mathrm{d}{t}^2}+D\frac{\mathrm{d}{x}_k(t)}{\mathrm{d}t}& =-C{x}_k(t)+\tilde{A}(x_k(t))f(x_k(t))+\tilde{B}(x_k(t))f(x_k(t-\mathit{\tau }(t)))+I\hfill \\ \hfill & +\mathit{\alpha }\sum _{k=1}^N{W}_{kl}\mathrm{\Gamma }\left(\frac{\mathrm{d}{x}_l(t)}{\mathrm{d}t}+x_l(t)\right)\hfill \\ \hfill & -\mathit{\alpha }{\mathit{\sigma }}_k\mathrm{\Gamma }\left(\frac{\mathrm{d}(x_k(t)-s(t))}{\mathrm{d}t}+(x_k(t)-s(t))\right).\hfill \end{array}$$

Consider the following transformation to the above system,

$$\begin{array}{cc}\hfill y_k(t)& =x_k(t),\hfill \\ \hfill z_k(t)& {\displaystyle =\frac{\mathrm{d}{x}_k(t)}{\mathrm{d}t}+x_k(t).}\hfill \end{array}$$

Then we have,

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\dot{y}}_k(t)\\ {\dot{z}}_k(t)\end{array}\right)=\left(\begin{array}{c}-y_k(t)+z_k(t)\\ -\mathcal{C}{y}_k(t)-\mathcal{D}{z}_k(t)+\tilde{A}(y_k(t))f(y_k(t))+\tilde{B}(y_k(t))f(y_k(t-\mathit{\tau }(t)))\\ +I+\mathit{\alpha }\sum _{l=1}^N{W}_{kl}\mathrm{\Gamma }(z_l(t))-\mathit{\alpha }{\mathit{\sigma }}_k\mathrm{\Gamma }(z_k(t)-q(t))\end{array}\right),\end{array}$$

where $\mathcal{C}=C+I_n-D$ and $\mathcal{D}=D-I_n$. Now, let us introduce a Laplacian matrix $L={(l_{kl})}_{N\times N}$ of the coupling network and define $L=-W$. Then we have,

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\dot{y}}_k(t)\\ {\dot{z}}_k(t)\end{array}\right)=\left(\begin{array}{c}-y_k(t)+z_k(t)\\ -\mathcal{C}{y}_k(t)-\mathcal{D}{z}_k(t)+\tilde{A}(y_k(t))f(y_k(t))+\tilde{B}(y_k(t))\\ \times f(y_k(t-\mathit{\tau }(t)))+I-\mathit{\alpha }\sum _{l=1}^N{l}_{kl}\mathrm{\Gamma }(z_l(t))-\mathit{\alpha }{\mathit{\sigma }}_k\\ \times \mathrm{\Gamma }(z_k(t)-q(t))\end{array}\right).\end{array}$$ 21

Let us define the error dynamical network as,

$$\begin{array}{c}\hfill e_k(t)=\left(\begin{array}{c}{e}_{1k}(t)\\ e_{2k}(t)\end{array}\right)=\left(\begin{array}{c}{y}_k(t)-p(t)\\ z_k(t)-q(t)\end{array}\right).\end{array}$$

Subtracting (19) from (21), we obtain the following,

$$\begin{array}{c}\hfill {\dot{e}}_k(t)=\left(\begin{array}{c}{\dot{e}}_{1k}(t)\\ {\dot{e}}_{2k}(t)\end{array}\right)=\left(\begin{array}{c}-y_k(t)+z_k(t)+p(t)-q(t)\\ -\mathcal{C}{y}_k(t)-\mathcal{D}{z}_k(t)+\tilde{A}(y_k(t))f(y_k(t))+\tilde{B}(y_k(t))f(y_k(t-\mathit{\tau }(t)))\\ -\mathit{\alpha }\sum _{l=1}^N{l}_{kl}\mathrm{\Gamma }(z_l(t))-\mathit{\alpha }{\mathit{\sigma }}_k\mathrm{\Gamma }(z_k(t)-q(t))+\mathcal{C}p(t)+\mathcal{D}q(t)\\ -\tilde{A}(p(t))f(p(t))-\tilde{B}(p(t))f(p(t-\mathit{\tau }(t)))\end{array}\right),\end{array}$$

According to Lemma 1, the above system can be written as follows:

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\dot{e}}_{1k}(t)\\ {\dot{e}}_{2k}(t)\end{array}\right)=\left(\begin{array}{c}-e_{1k}(t)+e_{2k}(t)\\ -\mathcal{C}{e}_{1k}(t)-\mathcal{D}{e}_{2k}(t)+\widetilde{\stackrel{~}{A}}(f(y_k(t))-f(p(t)))\\ +\widetilde{\stackrel{~}{B}}(f(y_k(t-\mathit{\tau }(t)))-f(p(t-\mathit{\tau }(t))))\\ -\mathit{\alpha }\sum _{l=1}^N{l}_{kl}\mathrm{\Gamma }(e_{2l}(t))-\mathit{\alpha }{\mathit{\sigma }}_k\mathrm{\Gamma }(e_{2k}(t))\end{array}\right),\end{array}$$

where $\widetilde{\stackrel{~}{A}}=\text{max}\{|{\overline{a}}_{rs}|,|{\underline{a}}_{rs}|\}\text{and}\widetilde{\stackrel{~}{B}}=\text{max}\{|{\overline{b}}_{rs}|,|{\underline{b}}_{rs}|\}.$

Using the Kronecker product, the above system can be written in the following compact form,

$$\begin{array}{c}\hfill \left(\begin{array}{c}{\dot{e}}_1(t)\\ {\dot{e}}_2(t)\end{array}\right)=\left(\begin{array}{c}-e_1(t)+e_2(t)\\ -(I_N\otimes \mathcal{C})e_1(t)-(I_N\otimes \mathcal{D})e_2(t)+(I_N\otimes \widetilde{\stackrel{~}{A}})(f(y_k(t))-f(p(t)))\\ +(I_N\otimes \widetilde{\stackrel{~}{B}})(f(y_k(t-\mathit{\tau }(t)))-f(p(t-\mathit{\tau }(t))))\\ -\mathit{\alpha }((L+\mathrm{\Sigma })\otimes \mathrm{\Gamma })e_2(t)\end{array}\right).\end{array}$$ 22

Lemma 6

(Cao et al. 2006) For matricesA, B, CandDwith appropriate dimensions, one has

1.

$(\mathit{\alpha }A)\otimes B=A\otimes (\mathit{\alpha }B)$.

2.

$(A+B)\otimes C=A\otimes C+B\otimes C$.

3.

$(A\otimes B)(C\otimes D)=(AC)\otimes (BD)$.

Definition 5

The linearly coupled inertial MNNs (13) is said to be exponentially synchronized if the error system (22) is exponentially stable, i.e., there exist two constants $\overline{\mathit{\alpha }}>1$ and $\overline{\mathit{\beta }}>0$ such that

$$\begin{array}{c}\hfill {\Vert e(t)\Vert }_p\le \overline{\mathit{\alpha }}\underset{t_0-\mathit{\tau }\le \mathit{\theta }\le t_0}{sup}{\Vert e(\mathit{\theta })\Vert }_p{e}^{-\overline{\mathit{\beta }}(t-t_0)},t\ge t_0.\end{array}$$

Now, we present the synchronization result in the following theorem based on the above transformations.

Theorem 3

Under the Assumption1, further

$$\begin{array}{c}\hfill -({\mathit{\mu }}_p(\mathcal{K})+l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p)>l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p>0,\end{array}$$ 23

where$\mathcal{K}=\left(\begin{array}{cc}-I_{Nn}& I_{Nn}\\ -(I_N\otimes \mathcal{C})& -(I_N\otimes \mathcal{D})-\mathit{\alpha }(L+\mathrm{\Sigma })\otimes \mathrm{\Gamma }\end{array}\right)$and$l={max}_{1\le i\le n}\{l_i\}$. Then the pinning controlled inertial MNNs (22) is globally exponentially synchronized for$p=1,2,\infty ,\mathit{\omega }$.

Proof

The upper-right Dini derivative of the synchronization error, ${\Vert e(t)\Vert }_p$ with respect to t is calculated as follows,

$$\begin{array}{cc}\hfill D^{+}{\Vert e(t)\Vert }_p& =\underset{h\to 0^{+}}{lim}\frac{{\Vert e(t+h)\Vert }_p-{\Vert e(t)\Vert }_p}{h}=\underset{h\to 0^{+}}{lim}\frac{\Vert e(t)+h\dot{e}{(t)+o(h)\Vert }_p-{\Vert e(t)\Vert }_p}{h}\hfill \\ & =\underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{c}\dot{e_1}(t)\\ \dot{e_2}(t)\end{array}\right)+o(h)∥}_p-{\Vert e(t)\Vert }_p}{h}\hfill \\ & =\underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{c}-e_1(t)+e_2(t)\\ \mathit{\lambda }\end{array}\right)+o(h)∥}_p-{\Vert e(t)\Vert }_p}{h}\hfill \\ & \le \underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{cc}-I_{Nn}& I_{Nn}\\ -(I_N\otimes \mathcal{C})& -(I_N\otimes \mathcal{D})-\mathit{\alpha }(L+\mathrm{\Sigma })\otimes \mathrm{\Gamma }\end{array}\right)e(t)∥}_p-{\Vert e(t)\Vert }_p}{h}\hfill \\ & +\Vert (I_N\otimes \widetilde{\stackrel{~}{A}})(f(y_k(t))-f(p(t))){\Vert }_p\hfill \\ & +\Vert (I_N\otimes \widetilde{\stackrel{~}{B}})(f(y_k(t-\mathit{\tau }(t)))-f(p(t-\mathit{\tau }(t)))){\Vert }_p\hfill \\ & \le \underset{h\to 0^{+}}{lim}\frac{{∥e(t)+h\left(\begin{array}{cc}-I_{Nn}& I_{Nn}\\ -(I_N\otimes \mathcal{C})& -(I_N\otimes \mathcal{D})-\mathit{\alpha }(L+\mathrm{\Sigma })\otimes \mathrm{\Gamma }\end{array}\right)e(t)∥}_p-{\Vert e(t)\Vert }_p}{h}\hfill \\ & +l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p\Vert y_k{(t)-p(t)\Vert }_p+l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p{\Vert y_k(t-\mathit{\tau }(t))-p(t-\mathit{\tau }(t))\Vert }_p\hfill \\ & \le \underset{h\to 0^{+}}{lim}\frac{\Vert I_n{+h(\mathcal{K})\Vert }_p-1}{h}{\Vert e(t)\Vert }_p+l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p{\Vert e_1(t)\Vert }_p\hfill \\ & +l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p{\Vert e_1(t-\mathit{\tau }(t))\Vert }_p\hfill \\ & ={\mathit{\mu }}_p{(\mathcal{K})\Vert e(t)\Vert }_p+l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p{\Vert e(t)\Vert }_p+l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p{\Vert e(t-\mathit{\tau }(t))\Vert }_p\hfill \\ & \le ({\mathit{\mu }}_p(\mathcal{K})+l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p{)\Vert e(t)\Vert }_p+l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p\underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p\hfill \\ & =-(-{\mathit{\mu }}_p(\mathcal{K})-l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p{)\Vert e(t)\Vert }_p+l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p\underset{t-\mathit{\tau }\le \mathit{\chi }\le t}{sup}{\Vert e(\mathit{\chi })\Vert }_p,\hfill \end{array}$$

where $\mathit{\lambda }=-(I_N\otimes \mathcal{C})e_1(t)-(I_N\otimes \mathcal{D})e_2(t)+(I_N\otimes \widetilde{\stackrel{~}{A}})(f(y_k(t))-f(p(t)))+(I_N\otimes \widetilde{\stackrel{~}{B}})(f(y_k(t-\mathit{\tau }(t)))-f(p(t-\mathit{\tau }(t))))-\mathit{\alpha }((L+\mathrm{\Sigma })\otimes \mathrm{\Gamma })e_2(t)$. Using Lemma 4 by considering $k_1=-({\mathit{\mu }}_p(\mathcal{K})+l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p)$, $k_2=l{\Vert I_N\otimes \widetilde{\stackrel{~}{B}}\Vert }_p$ and the assumption of Theorem 3, $-({\mathit{\mu }}_p(\mathcal{K})+l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p)>l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p>0$. We have the result as,

$$\begin{array}{c}\hfill {\Vert e(t)\Vert }_p\le \underset{t_0-\mathit{\tau }\le \mathit{\chi }\le t_0}{sup}{\Vert e(\mathit{\chi })\Vert }_p{e}^{-r(t-t_0)},\end{array}$$

where r is a bound on the exponential convergence rate with

$$\begin{array}{c}\hfill r=k_1-k_2{e}^{r\mathit{\tau }}=-({\mathit{\mu }}_p(\mathcal{K})+l\Vert I_N\otimes \widetilde{\stackrel{~}{A}}{\Vert }_p)-l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p{e}^{r\mathit{\tau }}.\end{array}$$

Thus, we conclude that e(t) converges exponentially to zero with a convergence rate r. It implies that the global synchronization of the system (22) is achieved. This completes the proof. $\square$

Theorem 4

Under Assumption1, if there exists a matrix measure${\mathit{\mu }}_p(·)(p=1,\infty ,\mathit{\omega })$such that

$$\begin{array}{c}\hfill -({\mathit{\mu }}_p(\mathcal{K})+{\mathit{\mu }}_p(\mathcal{A}{L}^{\ast })>l\Vert I_N\otimes \widetilde{\stackrel{~}{B}}{\Vert }_p>0,\end{array}$$ 24

where$\mathcal{A}=\left(\begin{array}{cc}0& 0\\ I_N\otimes \widetilde{\stackrel{~}{A}}& 0\end{array}\right)$, $L^{\ast }=diag\{l_1,l_2,\dots ,l_n,1,1,\dots ,1\}$. Then the pinning controlled coupled inertial MNNs (22) is globally exponentially synchronized.

Proof

Similar to the proof of Theorem 2. $\square$

Remark 6

Compared with the results on pinning synchronization of the coupled inertial delayed neural networks of Hu et al. (2015), our results on pinning synchronization are with discontinuous right-hand side. So the results in this paper are more superior than in Hu et al. (2015).

Remark 7

Recently, many of the researchers have developed synchronization results by constructing suitable Lyapunov–Krasovskii functional and by using linear matrix inequality techniques. Several effective methods such as delay decomposition approach, convex combination, free weighting matrix approach and inequalities technique have been explored and developed in the literature, see for examples Balasubramaniam et al. (2011), Balasubramaniam and Vembarasan (2012). Moreover, in Wang and Shen (2015), authors have concerned the synchronization of memristor-based neural networks with time-varying delays is investigated by employing the Newton–Leibniz formulation and inequality technique. In Bao and Cao (2015), authors deal with the problem of projective synchronization of fractional-order memristor-based neural networks in the sense of Caputo’s fractional derivative. However, to the best of our knowledge, upto now the memristor based neural networks have been investigated by the Lyapunov–Krasovskii method but the result discussed in this paper is more superior than the results that are obtained by constructing a Lyapunov–Krasovskii functional. Another important feature of the derived results is because of the usage of matrix measure and Halanay inequality.

Remark 8

In the real world, resistors are used to model connection weight to emulate the synapses in analog implementation of neural networks. By making use of the memristor which has memory and behaviour more like biological synapses we can able to develop memristor based neural network models. The memristive neural networks have characteristics of complex brain networks such as node degree, distribution and assortativity both at the whole-brain scale of human neuroimaging. With the development of application as well as many integrated technologies, memristive neural networks have proven as a promising architecture in neuromorphic systems for the high-density, non-volatility, and unique memristive characteristic. Due to the promising applications in wide areas, various memristive materials, such as ferroelectric materials, chalcogenide materials, metal oxides have attracted great attention. Further, several physical mechanisms have been proposed to illustrate the memristive behaviors, such as electronic barrier modulation from migration of oxygen vacancies, voltage-controlled domain configuration, formation and annihilation of conducting filaments via diffusion of oxygen vacancies, trapping of charge carriers and metal ions from electrodes. Motivated by the aforementioned applications, in this paper we investigate the problem of stability and synchronization analysis of inertial memristive neural networks with time delays.

Numerical simulation

In this section, numerical examples are presented to illustrate the effectiveness and usefulness of the theoretical result.

Example 1

Consider the following inertial MNNs:

$$\begin{array}{cc}\hfill \frac{{\mathrm{d}}^2{s}_i(t)}{\mathrm{d}{t}^2}& =-d_i\frac{\mathrm{d}{s}_i(t)}{\mathrm{d}t}-c_i{s}_i(t)+\sum _{i=1}^n{a}_{ij}(s_i(t))f_j(s_j(t))\hfill \\ \hfill & +\sum _{i=1}^n{b}_{ij}(s_i(t))f_j(s_j(t-\mathit{\tau }(t)))+I_i,\hfill \end{array}$$ 25

where the activation function is given as, $f_j(x)=sin(|x|-1)$ for $j=1,2$, $d_1=c_1=6$, $d_2=c_2=8$, $I_1=I_2=6$, and $\mathit{\tau }(t)=\frac{e^t}{1+e^t}$. Also the memristive weights of the system (25) is given as,

$$\begin{array}{c}\hfill \begin{array}{cc}{a}_{11}(s_1(t))=\left\{\begin{array}{cc}\frac{-0.01\mathit{\pi }\sqrt{2}}{8},\hfill & |s_1(t)|\le 1,\hfill \\ \frac{-0.07\mathit{\pi }\sqrt{2}}{8},\hfill & |s_1(t)|>1,\hfill \end{array}\right.\hfill & b_{11}(s_1(t))=\left\{\begin{array}{cc}0.01,\hfill & |s_1(t)|\le 1,\hfill \\ 0.05,\hfill & |s_1(t)|>1,\hfill \end{array}\right.\hfill \\ a_{12}(s_1(t))=\left\{\begin{array}{cc}0.06,\hfill & |s_1(t)|\le 1,\hfill \\ 0.04,\hfill & |s_1(t)|>1,\hfill \end{array}\right.\hfill & b_{12}(s_1(t))=\left\{\begin{array}{cc}0.04+\frac{\mathit{\pi }}{16},\hfill & |s_1(t)|\le 1,\hfill \\ 0.01+\frac{\mathit{\pi }}{16},\hfill & |s_1(t)|>1,\hfill \end{array}\right.\hfill \\ a_{21}(s_2(t))=\left\{\begin{array}{cc}\frac{-0.01\mathit{\pi }\sqrt{2}}{8},\hfill & |s_2(t)|\le 1,\hfill \\ \frac{-0.07\mathit{\pi }\sqrt{2}}{8},\hfill & |s_2(t)|>1,\hfill \end{array}\right.\hfill & b_{21}(s_2(t))=\left\{\begin{array}{cc}0.02,\hfill & |s_2(t)|\le 1,\hfill \\ 0.06,\hfill & |s_2(t)|>1,\hfill \end{array}\right.\hfill \\ a_{22}(s_2(t))=\left\{\begin{array}{cc}0.06,\hfill & |s_2(t)|\le 1,\hfill \\ 0.04,\hfill & |s_2(t)|>1,\hfill \end{array}\right.\hfill & b_{22}(s_2(t))=\left\{\begin{array}{cc}0.09+\frac{\mathit{\pi }}{16},\hfill & |s_2(t)|\le 1,\hfill \\ 1.01+\frac{\mathit{\pi }}{16},\hfill & |s_2(t)|>1.\hfill \end{array}\right.\hfill \end{array}\end{array}$$

In order to show that the system is globally exponentially stable, we have to prove $-({\mathit{\mu }}_p(\mathbb{G})+l\Vert \tilde{A}{\Vert }_p)>l\Vert \tilde{B}{\Vert }_p>0$, where $\mathbb{G}=\left(\begin{array}{cc}-I_n& I_n\\ -\mathcal{C}& -\mathcal{D}\end{array}\right)$.

From the given example we calculate the following,

$$\begin{array}{cc}\hfill \mathcal{C}& =C+I_n-D=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right),\mathcal{D}=D-I_n=\left(\begin{array}{cc}5& 0\\ 0& 7\end{array}\right),\hfill \\ \hfill \tilde{A}& =\left(\begin{array}{cc}\frac{-0.04\mathit{\pi }\sqrt{2}}{8}& 0.05\\ \frac{-0.04\mathit{\pi }\sqrt{2}}{8}& 0.05\end{array}\right),\tilde{B}=\left(\begin{array}{cc}0.03& 0.025+\frac{\mathit{\pi }}{16}\\ 0.04& 0.55+\frac{\mathit{\pi }}{16}\end{array}\right)\hfill \end{array}$$

and $l_i=1$ for $i=1,2$.

When $p=2$, we have ${\mathit{\mu }}_2(G)=-1,\Vert \tilde{A}{\Vert }_2=0.0774,{\Vert \tilde{B}\Vert }_2=0.7799$. Hence we have $0.9226>0.7763>0$. By choosing ${\mathit{\xi }}_1={\mathit{\xi }}_2=2.1$ and $p=\infty$ we have, ${\mathit{\mu }}_{\infty }(\mathbb{G})=-1.1$, $\Vert \tilde{A}{\Vert }_{\infty }=0.0722$, $\Vert \tilde{B}{\Vert }_{\infty }=0.7863$. Hence we obtain $1.0278>0.7863>0$. Figure 1a, b, depicts the trajectories of system (25) for different initial values. It is clear that the equilibrium is globally exponentially stable. Hence, the Theorem 1 is verified.

Fig. 1.

a, b The state trajectories of inertial memristive neural networks of Example 1 with different initial values

Example 2

Consider the following pinned inertial MNNs with 10 nodes:

$$\begin{array}{cc}\hfill \frac{{\mathrm{d}}^2{x}_k(t)}{\mathrm{d}{t}^2}& =-D\frac{\mathrm{d}{x}_k(t)}{\mathrm{d}t}-C{x}_k(t)+A(x_k(t))f(x_k(t))+B(x_k(t))f(x_k(t-\mathit{\tau }(t)))\hfill \\ \hfill & +I+\mathit{\alpha }\sum _{l=1}^N{W}_{kl}\mathrm{\Gamma }\left(\frac{\mathrm{d}{x}_l(t)}{\mathrm{d}t}+x_l(t)\right),\hfill \end{array}$$ 26

where $k=1,2,\dots ,10$. $x_k(t)={(x_{k1}(t),x_{k2}(t))}^T\in {\mathbb{R}}^2$ is the state variable of kth node. The isolated node of MNNs (26) is given as,

$$\begin{array}{c}\hfill \frac{{\mathrm{d}}^{2}s(t)}{\mathrm{d}{t}^2}=-D\frac{\mathrm{d}s(t)}{\mathrm{d}t}-Cs(t)+A(s(t))f(s(t))+B(s(t))f(s(t-\mathit{\tau }(t)))+I,\end{array}$$ 27

where $s(t)={(s_1(t),s_2(t))}^T\in {\mathbb{R}}^2$. Let $N=10$, $f(x_k(t))=(tanh(|x_{k1}(t)|-1),tanh(|x_{k2}{(t)|-1))}^T$, $I={(0.2,0.6)}^T$ and $\mathit{\tau }(t)=\frac{0.15e^t}{1+e^t}$. So, it is easy to get $l_k=1$ and $\mathit{\rho }=0.0375$. The coefficient matrices are given as, $C=\left(\begin{array}{cc}0.2& 0\\ 0& 0.1\end{array}\right)$, $D=\left(\begin{array}{cc}0.9& 0\\ 0& 0.8\end{array}\right)$, and

$$\begin{array}{c}\hfill \begin{array}{cc}{a}_{11}(x_k(t))=\left\{\begin{array}{cc}-0.08,\hfill & |x_k(t)|\le 1,\hfill \\ -0.95,\hfill & |x_k(t)|>1,\hfill \end{array}\right.\hfill & b_{11}(x_k(t))=\left\{\begin{array}{cc}0.03,\hfill & |x_k(t)|\le 1,\hfill \\ 0.05,\hfill & |x_k(t)|>1,\hfill \end{array}\right.\hfill \\ a_{12}(x_k(t))=\left\{\begin{array}{cc}0.05,\hfill & |x_k(t)|\le 1,\hfill \\ 0.28,\hfill & |x_k(t)|>1,\hfill \end{array}\right.\hfill & b_{12}(x_k(t))=\left\{\begin{array}{cc}-0.005,\hfill & |x_k(t)|\le 1,\hfill \\ -0.015,\hfill & |x_k(t)|>1,\hfill \end{array}\right.\hfill \\ a_{21}(x_k(t))=\left\{\begin{array}{cc}0.95,\hfill & |x_k(t)|\le 1,\hfill \\ 0.05,\hfill & |x_k(t)|>1,\hfill \end{array}\right.\hfill & b_{21}(x_k(t))=\left\{\begin{array}{cc}-0.075,\hfill & |x_k(t)|\le 1,\hfill \\ -0.095,\hfill & |x_k(t)|>1,\hfill \end{array}\right.\hfill \\ a_{22}(x_k(t))=\left\{\begin{array}{cc}-0.06,\hfill & |x_k(t)|\le 1,\hfill \\ -0.28,\hfill & |x_k(t)|>1,\hfill \end{array}\right.\hfill & b_{22}(x_k(t))=\left\{\begin{array}{cc}0.02,\hfill & |x_k(t)|\le 1,\hfill \\ 0.08,\hfill & |x_k(t)|>1.\hfill \end{array}\right.\hfill \end{array}\end{array}$$

From the given example we calculate the following,

$$\begin{array}{cc}& \mathbf{C}=C+I_n-D=\left(\begin{array}{cc}0.3& 0\\ 0& 0.3\end{array}\right),\mathbf{D}=D-I_n=\left(\begin{array}{cc}-0.1& 0\\ 0& -0.2\end{array}\right),\hfill \\ \hfill & \widetilde{\stackrel{~}{A}}=\left(\begin{array}{cc}-0.5& 0.2\\ 0.5& -0.1\end{array}\right)\text{and}\widetilde{\stackrel{~}{B}}=\left(\begin{array}{cc}0.04& -0.01\\ -0.08& 0.05\end{array}\right).\hfill \end{array}$$

The coupling matrix W is determined by the directed topology given in Fig. 2. From Fig. 2, it is clear that the pinning node is 1 and 9. The inner coupling matrix $\mathrm{\Gamma }$ is given as, $\mathrm{\Gamma }=diag\{6,4\}$ and the coupling strength is chosen as $\mathit{\alpha }=20$. In order to show that the system is synchronizable, $-({\mathit{\mu }}_p(\mathcal{K})+l\Vert \widetilde{\stackrel{~}{A}}{\Vert }_p)>l\Vert \widetilde{\stackrel{~}{B}}{\Vert }_p>0$. Choosing $p=2$ we have, ${\mathit{\mu }}_2(\mathcal{K})=-0.9805,{\Vert \widetilde{\stackrel{~}{A}}\Vert }_p=0.7616$ and $\Vert \widetilde{\stackrel{~}{B}}{\Vert }_p=0.1023$. Hence we have, $0.2189>0.1023>0$. Based on the conclusion of Theorem 3 the coupled inertial memristive neural networks can be exponentially synchronized. The synchronization state trajectories $x_k(t),k=1,2,\dots ,10$ and objective state trajectory s(t) are given in Fig. 3a, b respectively. The synchronization of error system $e_k(t),k=1,2,\dots ,10$ is given in Fig. 4. Hence, the Theorem 3 is verified.

Fig. 2.

Digraph with 10 nodes

Fig. 3.

a State trajectories $x_k(t)$ of system (26) and b objective state trajectory s(t) of system (27)

Fig. 4.

Synchronization error for Example 2

Remark 9

Note that coupled complex dynamical networks can be represented by a large number of interconnected nodes, in which each node consists of a dynamical system. Owing to their applications in real life, many researchers have studied coupled complex dynamical networks recently. In addition, it can be seen from previous researches that most of the authors have attempted to find a proper controller such that the considered coupled complex network can achieve synchronization, i.e., the synchronization error dynamical network is asymptotically stable. However, controlling all nodes in a network may result in a high cost, and is hard to implement. To tackle these issues, the pinning control scheme has been adopted to study synchronization of coupled complex networks, in which only some selected nodes need to be controlled.

Remark 10

The condition of Theorem 3 is difficult to verify for the case $p=1,\infty ,\mathit{\omega }$ in our example. In Example 1, by introducing the coefficient matrix ${\mathit{\xi }}_i$ in variable transformation we verified the stability condition for $p=\infty$. But this transformation is not applicable in our synchronization case.

Conclusion

In this paper, we have discussed the global exponential stability of inertial memristive neural networks and global exponential pinning synchronization of coupled inertial memristive neural networks by using matrix measure strategy and Halanay inequality. Firstly, matrix measure strategies are utilized to analyze the closed-loop error system, under which two sufficient criteria have been established such that the exponential synchronization can be achieved. The model based on the memristor widens the application scope for the design of neural networks. Finally, numerical simulations have been given to demonstrate the effectiveness of our theoretical results. Our future works may involve the stability and synchronization analysis of inertial memristive neural networks under different control schemes.