Further results on Mittag-Leffler synchronization of fractional-order coupled neural networks

Abstract

In this paper, we focus on the synchronization of fractional-order coupled neural networks (FCNNs). First, by taking information on activation functions into account, we construct a convex Lur’e–Postnikov Lyapunov function. Based on the convex Lyapunov function and a general convex quadratic function, we derive a novel Mittag-Leffler synchronization criterion for the FCNNs with symmetrical coupled matrix in the form of linear matrix inequalities (LMIs). Then we present a robust Mittag-Leffler synchronization criterion for the FCNNs with uncertain parameters. These two Mittag-Leffler synchronization criteria can be solved easily by LMI tools in Matlab. Moreover, we present a novel Lyapunov synchronization criterion for the FCNNs with unsymmetrical coupled matrix in the form of LMIs, which can be easily solved by YALMIP tools in Matlab. The feasibilities of the criteria obtained in this paper are shown by four numerical examples.

1 Introduction

The rapid development of modern network science and technology makes humans be aware of the importance and universality of the research on complex networks. Qualitative and quantitative analysis on various artificial and real complex network systems need to be conducted. As a typical complex network system, a neural network has a strong intelligence characteristic and learning functions, which plays an important role in artificial intelligence-related fields over the past few decades [1].

In the 1980s, Mandelbrot [2] found that fractional-order phenomena appeared in real life and engineering, which caused great repercussion both in engineering and academic circles. Different from classical calculus, fractional-order calculus has unique memorization and heredity. Thus fractional-order systems can more reasonably reflect the dynamical response process of the model [3]. In fact, since memory exists in the fractional-order derivatives and biological neurons, neurons in the human brain can be more accurately described and simulated by fractional-order neural networks. Nowadays, fractional-order neural networks play an important role in artificial intelligence-related fields, such as automatic control, intelligent robots, pattern recognition, and so on. An increasing number of scholars turn to the study on dynamical behaviors of fractional-order neural networks, and many excellent results are reported (see, e.g., [4–8] and references therein).

Synchronization of fractional-order neural networks, as a collective behavior, has received much attention and is extensively investigated [9–14]. In [9] the authors study the synchronization and robust synchronization issues for the FCNNs based on the general convex quadratic Lyapunov function. However, the synchronization criteria are in the form of nonlinear matrix inequalities (NLMIs), which brings certain difficulty in the solving process. In [10] the authors investigate the hybrid synchronization problem of two coupled complex networks with fractional-order dynamical nodes based on the general convex quadratic Lyapunov function by the fractional-order Lyapunov stability theorem. In [11] a Lyapunov function including fractional-order integral term is constructed to derive the synchronization stability conditions for Riemann–Liouville fractional-order delay-coupled complex neural networks. However, the relationship between node networks and coupling matrix is neglected.

Due to the complexity of fractional-order calculus theory, some existing synchronization criteria for fractional-order neural networks have not fully considered the information of FCNNs, such as activation functions and coupled matrix. Based on the fractional-order Lyapunov stability theory, Lyapunov functions play a key role in the synchronization discrimination of the fractional-order system and directly affect the conservatism of synchronization discrimination conditions. Constructing some Lyapunov functions including the information of activation function may be more reasonable and effective. Recently, the global Mittag-Leffler group consensus and group consensus in finite time for fractional-order multiagent systems are concerned in [15]. Under the fractional-order Filippov differential inclusion framework, by applying the Lur’e–Postnikov-type convex Lyapunov functional approach and Clarke’s nonsmooth analysis technique, some sufficient conditions are provided in terms of LMIs. However, the Lur’e–Postnikov Lyapunov function constructed in [15] requires that the activation function should be nondecreasing. In this paper, we remove this constraint. The activation function just needs to satisfy the general Lipschitz condition. Since the existing research methods have some limitations, further research is needed.

Motivated by the discussion above, in this paper, we study the synchronization of FCNNs. The results obtained enrich the theory of synchronization of FCNNs. The major contributions can be highlighted as follows:

• The Lur’e–Postnikov Lyapunov function is extended to a general case suitable for the activation functions satisfying the generalized Lipschitz condition;

• A novel Mittag-Leffler synchronization criterion is derived for the FCNNs with symmetrical coupled matrix in the form of LMIs. Then a robust Mittag-Leffler synchronization criterion is given for the FCNNs with uncertain parameters;

• A novel Lyapunov synchronization criterion is derived for the FCNNs with unsymmetrical coupled matrix in the form of LMIs, which can be easily solved by YALMIP tools in Matlab;

• The information of network node and coupling matrix is adequately considered in the synchronization criteria.

The paper is structured as follows. In Sect. 2, we present some definitions and main properties of Caputo fractional-order calculus. In Sect. 3, we present three novel synchronization criteria for different types of FCNNs in the form of LMIs. Simulation examples are given in Sect. 4. Conclusions are given in Sect. 5.

2 Preliminaries

To study the synchronization of FCNNs, we first provide some definitions of Caputo fractional-order calculus and some useful lemmas.

Definition 1

([16])

Let $\alpha \in R^{+}$. The operator $D^{-\alpha }$ defined on $L_{1}[0,b]$ by

$$ D^{-\alpha } f(t)\triangleq \frac{1}{\Gamma (\alpha )} \int ^{t}_{0} \frac{f(s)}{(t-s)^{1-\alpha }}\,ds $$

(1)

for $0\leq t\leq b$ is called the Riemann–Liouville fractional-order integral of order α where Γ is the gamma function, $\Gamma (\alpha )=\int ^{+\infty }_{0}t^{\alpha -1}e^{-t}\,dt$.

Definition 2

([16])

Let $n-1\leq \alpha < n$, where $n\in N^{+}$. The operator $D^{\alpha }$ defined by

$$ D^{\alpha }f(t)\triangleq \frac{1}{\Gamma (n-\alpha )} \int ^{t}_{0} \frac{f^{(n)}(s)}{(t-s)^{\alpha +1-n}}\,ds $$

(2)

is called the Caputo fractional-order differential of order α.

Lemma 1

([17])

Let $V:\Omega \rightarrow R$ and $x:[0,\infty )\rightarrow \Omega$ be continuous differentiable functions, where $\Omega \subset R^{n}$. Suppose that $V(x(t))$ is convex over Ω and $V(0)=0$. Then, for any time instant $t\geq 0$,

$$ D^{\alpha }V \bigl(x(t) \bigr)\leq \biggl( \frac{\partial V(x(t))}{\partial x(t)} \biggr)^{T}D^{\alpha }x(t),\quad \forall \alpha \in (0,1). $$

(3)

Lemma 1 allows us to construct some more useful convex Lyapunov functions. Based on Lemma 1, the following propositions obviously hold.

Proposition 1

([18])

Let $x:[0,\infty )\rightarrow \Omega$ be a continuous differentiable function, where $\Omega \subset R^{n}$. Let $P\in R^{n\times n}$ be a positive definite matrix. Then, for any time instant $t\geq 0$,

$$ D^{\alpha } \bigl[x^{T}(t)Px(t) \bigr]\leq 2x^{T}(t)PD^{\alpha }x(t),\quad \forall \alpha \in (0,1). $$

(4)

Proposition 2

([19])

Let $x:[0,\infty )\rightarrow R$ be a continuous differentiable function. Then, for any time instant $t\geq 0$,

$$ D^{\alpha } \bigl\vert x(t) \bigr\vert \leq \operatorname{sign} \bigl\{ x(t) \bigr\} D^{\alpha }x(t),\quad \forall \alpha \in (0,1), $$

(5)

almost everywhere.

Proposition 3

([20])

Let $f:R\rightarrow R$ and $x:[0,\infty )\rightarrow R$ be continuous differentiable functions. Let f be a continuous nondecreasing function. Then, for any time instant $t\geq 0$,

$$ D^{\alpha } \int ^{x(t)}_{0}f(s)\,ds\leq f \bigl(x(t) \bigr)D^{\alpha }x(t),\quad \forall \alpha \in (0,1). $$

(6)

Moreover, we introduce Lemmas 2 and 3 for the discussion that follows.

Lemma 2

Let α and β be real column vectors of dimensions of $n_{1}$ and $n_{2}$, respectively. For real positive symmetric matrices $\Omega _{1}\in R^{n_{1}\times n_{1}}$ and $\Omega _{2}\in R^{n_{2}\times n_{2}}$, we have the following inequality for any matrix $S\in R^{n_{1}\times n_{2}}$ satisfying $\left(\begin{array}{cc}{\mathrm{\Omega }}_1& S\\ S^T& {\mathrm{\Omega }}_2\end{array}\right)\ge 0$:

$$ 2\alpha ^{T}S\beta \leq \alpha ^{T} \Omega _{1}\alpha +\beta ^{T} \Omega _{2} \beta . $$

(7)

Proof

The conclusion is obvious, and we omit the proof. □

This lemma is equivalent to the Moon inequality [21]. In this paper, we change its form for more convenient applications.

Lemma 3

([22])

Let $x=0$ be an equilibrium point of system $D^{\alpha }x(t)=f(t,x)$, $0\in D\subset R^{n}$. Let $V:[0,+\infty )\times D\rightarrow R$ be a continuously differentiable function that is locally Lipschitz in x and such that

$$ \textstyle\begin{cases} \alpha _{1} \Vert x(t) \Vert ^{a}\leq V (t,x(t) )\leq \alpha _{2} \Vert x(t) \Vert ^{ab}, \\ D^{\alpha }V (t,x(t) )\leq -\alpha _{3} \Vert x(t) \Vert ^{ab}, \end{cases} $$

(8)

where $t\geq 0$, $x\in D$, $\alpha \in (0,1)$, and $\alpha _{1}$, $\alpha _{2}$, $\alpha _{3}$, a, and b are arbitrary positive constants. Then $x=0$ is Mittag-Leffler stable. Moreover, if $\alpha _{3}=0$, then $x=0$ is Lyapunov stable.

3 Main results

In this paper, we consider the synchronization of the following FCNNs:

$$ D^{\alpha }y_{i}(t)=-Cy_{i}(t)+Bg \bigl(y_{i}(t) \bigr)+J(t)+d\sum^{N}_{j=1}A_{ij} \Gamma y_{j}(t),\quad t\geq 0, $$

(9)

where $i=1,2,\ldots,N$, $\alpha \in (0,1)$, N is the number of nodes, $y_{i}(t)=(y_{i1}(t),y_{i2}(t),\ldots , y_{in}(t))^{T}\in R^{n}$ is the state vector of node i, $g(y_{i}(t))=[g_{1}(y_{i1}(t)),g_{2}(y_{i2}(t)),\ldots , g_{n}(y_{in}(t))]^{T}$ with $g_{i}(0)=0$ is the activation function of node i, $J(t)$ denotes the external input, $B=(B_{ij})_{n\times n}$ and $0< C=\operatorname{diag}\{C_{1},C_{2},\ldots ,C_{n}\}$ are real matrices, $0< d\in R$ denotes the overall coupling strength, $A=(A_{ij})_{N\times N}$ is the coupled matrix of network, and $\Gamma =(\Gamma _{ij})_{n\times n}$ corresponds to the inner coupling matrix.

Throughout this paper, we make the following assumption on the FCNNs.

Assumption 1

([23, 24])

The activation function g is continuous and bounded. For any $x_{1},x_{2}\in R$, $x_{1}\neq x_{2}$, the activation functions $g_{j}$ satisfy

$$ k_{j}^{-}\leq \frac{g_{j}(x_{1})-g_{j}(x_{2})}{x_{1}-x_{2}} \leq k_{j}^{+}, \quad j=1,2,\dots ,n, $$

(10)

where $k_{j}^{+}$ and $k_{j}^{-}$ are known constant values. For convenience, we denote $K^{+}=\operatorname{diag}\{k_{j}^{+}\}$, $K^{-}=\operatorname{diag}\{k_{j}^{-}\}$, $k_{j}=\max \{|k_{j}^{+}|,|k_{j}^{-}|\}$, and $K=\operatorname{diag}\{k_{j}\}$.

Remark 1

Assumption 1 for activation functions is introduced to investigate the Mittag-Leffler synchronization of the FCNNs to guarantee the existence and uniqueness of the equilibrium point. Most of the common activation functions satisfy the generalized Lipschitz condition, such as A linear excitation function, threshold or step excitation function, and so on.

Next, for easier understanding, we give the definition of synchronization.

Definition 3

([9, 25])

The FCNNs (9) realize synchronization if

$$ \lim_{t\rightarrow +\infty } \Biggl\Vert y_{i}(t)-\frac{1}{N}\sum^{N}_{i=1}y_{i}(t) \Biggr\Vert =0,\quad i=1,2,\dots ,N. $$

(11)

3.1 Mittag-Leffler synchronization analysis for FCNNs with symmetrical coupled matrix

In this section, we consider FCNNs (9) with symmetrical coupled matrix, that is, $A=(A_{ij})_{N\times N}$ is the coupled matrix of network satisfying $A_{ii}=-\sum^{N}_{j=1,j\neq i}A_{ij}$; $A_{ij}=A_{ji}> 0$ if $i\neq j$ and there is a connection between nodes i and j, otherwise, $A_{ij}=0$, $i,j=1,2,\ldots,N$.

Defining $\bar{y}(t)=\frac{1}{N}\sum^{N}_{i=1}y_{i}(t)$ and the error vector $e_{i}(t)=y_{i}(t)-\bar{y}(t)$, we have

$$ D^{\alpha }e_{i}(t)=-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr)-\frac{1}{N}\sum ^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d \sum^{N}_{j=1}A_{ij}\Gamma e_{j}(t),\quad i=1,2,\ldots,N. $$

(12)

Thus the synchronization of FCNNs (9) with symmetrical coupled matrix is equivalent to the stability of system (12).

Notice that if we take $e(t)=[e_{1}^{T}(t),e_{2}^{T}(t),\ldots,e_{N}^{T}(t)]^{T}$, then system (12) can be written as

$$ D^{\alpha }e(t)=- \bigl[I_{N}\otimes C-d(A\otimes \Gamma ) \bigr]e(t)+ \biggl[ \biggl(I_{N}- \frac{E_{N}}{N} \biggr) \otimes B \biggr] g \bigl(y(t) \bigr), $$

where $E_{N}=(E_{ij})_{N\times N}$ with all $E_{ij}=1$.

For the synchronization of FCNNs (9) with symmetrical coupled matrix, we have the following result.

Theorem 1

FCNNs (9) with symmetrical coupled matrix realize Mittag-Leffler synchronization if there exist positive definite matrices P, $\Theta _{1}$, $\Delta _{1}$, $\Gamma _{2}$, $\Psi _{2}\in R^{n\times n}$, positive definite diagonal matrices $D_{i}\ ( i=1, 2, 3,4)$, $\Theta _{2}$, $\Delta _{2}$, $\Gamma _{1}$, $\Lambda _{1}$, $\Lambda _{2}$, $\Phi _{1}$, $\Phi _{2}$, $\Psi _{1}\in R^{n\times n}$ and a matrix $\Omega \in R^{Nn\times Nn}$ such that the following linear matrix inequalities hold:

$$\begin{aligned}& \begin{pmatrix} \Theta _{1} & PB \\ * &\Theta _{2} \end{pmatrix}>0, \\& \begin{pmatrix} \Delta _{1} & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]B \\ * &\Delta _{2} \end{pmatrix}>0, \\& \begin{pmatrix} \Gamma _{1} & [D_{1}-D_{2}+D_{3}-D_{4}]C \\ * &\Gamma _{2} \end{pmatrix}>0, \\& \begin{pmatrix} \Lambda _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Lambda _{2} \end{pmatrix}>0, \\& \begin{pmatrix} \Phi _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Phi _{2} \end{pmatrix}>0, \\& \begin{pmatrix} \Psi _{1} & d[-D_{1}+D_{2}-D_{3}+D_{4}] \\ * &\Psi _{2} \end{pmatrix}>0, \\& \Pi < 0, \end{aligned}$$

(13)

where $\Pi =-I_{N}\otimes (PC+C^{T}P) +I_{N}\otimes \Theta _{1}+I_{N} \otimes (K\Theta _{2}K)+dA\otimes (P\Gamma +\Gamma ^{T}P) -I_{N} \otimes [(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4})C +C^{T}(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4})]+I_{N} \otimes \Delta _{1} +I_{N}\otimes (K\Delta _{2}K) +dA\otimes [(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}) \Gamma + \Gamma ^{T}(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4})) +I_{N} \otimes (K\Gamma _{1}K)+I_{N}\otimes \Gamma _{2}+I_{N}\otimes (K \Lambda _{1}K)+I_{N}\otimes (K\Lambda _{2}K)+I_{N}\otimes (K\Phi _{1}K)+I_{N} \otimes (K\Phi _{2}K)+NI_{N}\otimes (K\Psi _{1}K)+\bar{A}\otimes ( \Gamma ^{T} \Psi _{2}\Gamma )+\Omega (E_{N}\otimes I_{n})+(E_{N} \otimes I_{n})\Omega ^{T}$ and $\bar{A}=\operatorname{diag}\{\sum_{i=1}^{N}A_{i1}^{2},\sum_{i=1}^{N}A_{i2}^{2},\ldots, \sum_{i=1}^{N}A_{iN}^{2}\}$.

Proof

Construct the Lyapunov function

$$ V \bigl(e(t) \bigr)=V_{1} \bigl(e(t) \bigr)+V_{2} \bigl(e(t) \bigr), $$

(14)

where

$$ \begin{aligned} V_{1} \bigl(e(t) \bigr)&=\sum^{N}_{i=1}e_{i}^{T}(t)Pe_{i}(t), \\ V_{2} \bigl(e(t) \bigr)&=2\sum_{i=1}^{N} \sum^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{1j} \bigl[ k_{j}^{+}s-g_{j}(s) \bigr]\,ds \\ &\quad {} +2\sum_{i=1}^{N}\sum ^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{2j} \bigl[g_{j}(s)-k_{j}^{-}s \bigr]\,ds \\ &\quad {}+2\sum_{i=1}^{N}\sum ^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{3j} \bigl[ k_{j}s-g_{j}(s) \bigr]\,ds \\ &\quad {}+2\sum_{i=1}^{N}\sum ^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{4j} \bigl[g_{j}(s)+ k_{j}s \bigr]\,ds. \end{aligned} $$

(15)

To prove the synchronization of FCNNs (9) with symmetrical coupled matrix, the process involves three steps.

Step 1: We prove that $V(e(t))$ is positive.

Obviously, $V_{1}(e(t))$ is positive by the positive definiteness of P. Next, we prove that $V_{2}(e(t))$ is nonnegative.

From Assumption 1 we have

$$ \frac{g_{j}( e_{ij}(t))}{ e_{ij}(t)}\leq k_{j}^{+},\quad j=1,2,\dots ,n. $$

(16)

Then

$$ \bigl[k_{j}^{+}e_{ij}(t)-g_{j} \bigl( e_{ij}(t) \bigr) \bigr] e_{ij}(t)\geq 0,\quad j=1,2, \dots ,n, $$

(17)

which leads to $\int _{0}^{e_{ij}(t)}[k_{j}^{+}s-g_{j}(s)]\,ds\geq 0$. Similarly, $\int _{0}^{ e_{ij}(t)}[g_{j}(s)-k_{j}^{-}s]\,ds\geq 0$, $\int _{0}^{e_{ij}(t)}[k_{j}s-g_{j}(s)]\,ds\geq 0$, and $\int _{0}^{e_{ij}(t)}[g_{j}(s)+k_{j}s]\,ds\geq 0$.

Step 2: We prove that there exist positive constants $\alpha _{1}$ and $\alpha _{2}$ satisfying $\alpha _{1}\|e(t)\|^{2}\leq V(e(t))\leq \alpha _{2}\|e(t)\|^{2}$.

Obviously, we have $\lambda _{\min }\{P\}\|e(t)\|^{2}\leq V(e(t))\leq [\lambda _{\max }\{P \}+8 \max_{1\leq k\leq 4, 1\leq j\leq n}\{d_{kj}\} \cdot \max_{1\leq j\leq n}\{ k_{j}\}]\|e(t)\|^{2}$.

Step 3: We prove that there exists a positive constant $\alpha _{3}$ such that $D^{\alpha }V(e(t))\leq -\alpha _{3}\|e(t)\|^{2}$.

For $V_{1}(e(t))$, by Proposition 1 we have

$$ \begin{aligned} D^{\alpha }V_{1} \bigl(e(t) \bigr)&\leq 2\sum_{i=1}^{N}e_{i}^{T}(t)PD^{\alpha }e_{i}(t) \\ &=2\sum_{i=1}^{N}e_{i}^{T}(t)P \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr)- \frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) \\ &\quad {}+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr]. \end{aligned} $$

(18)

Noticing that $\sum_{i=1}^{N}e_{i}^{T}(t)=0$, we have

$$ \begin{aligned} D^{\alpha }V_{1} \bigl(e(t) \bigr)&\leq 2\sum_{i=1}^{N}e_{i}^{T}(t)P \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr)-Bg \bigl( \bar{y}(t) \bigr)+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr] \\ &= -2\sum_{i=1}^{N}e_{i}^{T}(t)PCe_{i}(t)+2 \sum_{i=1}^{N}e_{i}^{T}(t)PB \bigl(g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr) \\ &\quad {}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}e_{i}^{T}(t)PA_{ij} \Gamma e_{j}(t). \end{aligned} $$

(19)

For $2\sum_{i=1}^{N}e_{i}^{T}(t)PB(g(y_{i}(t))-g(\bar{y}(t)))$, by Lemma 2 there exist a positive definite matrix $\Theta _{1}$ and a positive definite diagonal matrix $\Theta _{2}$ such that

$$ \begin{aligned} &2\sum _{i=1}^{N}e_{i}^{T}(t)PB \bigl(g \bigl(y_{i}(t) \bigr)-g \bigl(\bar{y}(t) \bigr) \bigr) \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t) \Theta _{1}e_{i}(t)+\sum_{i=1}^{N} \bigl(g \bigl(y_{i}(t) \bigr)-g \bigl(\bar{y}(t) \bigr) \bigr)^{T}\Theta _{2} \bigl(g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr) \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t) \Theta _{1}e_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t)K \Theta _{2}Ke_{i}(t) \end{aligned} $$

(20)

and

$$ \begin{pmatrix} \Theta _{1} & PB \\ * &\Theta _{2} \end{pmatrix}>0. $$

So

$$ \begin{aligned} D^{\alpha }V_{1} \bigl(e(t) \bigr)&\leq -2\sum_{i=1}^{N}e_{i}^{T}(t)PCe_{i}(t)+ \sum_{i=1}^{N}e_{i}^{T}(t) \Theta _{1}e_{i}(t) +\sum_{i=1}^{N}e_{i}^{T}(t)K \Theta _{2}Ke_{i}(t) \\ &\quad {}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}e_{i}^{T}(t)PA_{ij} \Gamma e_{j}(t) \\ &= e^{T}(t) \bigl[-I_{N}\otimes \bigl(PC+C^{T}P \bigr) +I_{N}\otimes \Theta _{1}+I_{N} \otimes (K\Theta _{2}K) \\ &\quad {}+dA\otimes \bigl(P\Gamma +\Gamma ^{T}P \bigr) \bigr]e(t). \end{aligned} $$

(21)

For $V_{2}(e(t))$, based on Proposition 3, we have

$$ \begin{aligned} D^{\alpha }V_{2} \bigl(e(t) \bigr) &\leq 2\sum_{i=1}^{N} \bigl[ e_{i}^{T}(t)K^{+}-g^{T} \bigl(e_{i}(t) \bigr) \bigr]D_{1} \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\quad {}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) +d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr] \\ &\quad {}+2\sum_{i=1}^{N} \bigl[g^{T} \bigl(e_{i}(t) \bigr)-e_{i}^{T}(t)K^{-} \bigr]D_{2} \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\quad {}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr] \\ &\quad {}+2\sum_{i=1}^{N} \bigl[ e_{i}^{T}(t)K-g^{T} \bigl(e_{i}(t) \bigr) \bigr]D_{3} \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\quad {}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) +d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr] \\ &\quad{}+2\sum_{i=1}^{N} \bigl[g^{T} \bigl(e_{i}(t) \bigr)+e_{i}^{T}(t)K \bigr]D_{4} \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\quad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr], \end{aligned} $$

(22)

where $D_{k}=\operatorname{diag}\{d_{k1}, d_{k2},\ldots, d_{kn}\}$, $k=1,2,3,4$.

By simple calculation we get

$$\begin{aligned} D^{\alpha }V_{2} \bigl(e(t) \bigr)&\leq 2\sum_{i=1}^{N}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr] \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\quad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr] \\ &\quad{}+2\sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}] \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\quad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr]. \end{aligned}$$

(23)

Similarly to (20), there exist a positive definite matrix $\Delta _{1}$ and a positive definite diagonal matrix $\Delta _{2}$ such that

$$ \begin{aligned} &2\sum _{i=1}^{N}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr] \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\qquad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr] \\ &\quad \leq -2\sum_{i=1}^{N}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr]C e_{i}(t) \\ &\qquad{}+\sum_{i=1}^{N}e_{i}^{T}(t) \Delta _{1}e_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t)K \Delta _{2}Ke_{i}(t) \\ &\qquad{}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr]A_{ij} \Gamma e_{j}(t) \\ &\quad =e^{T}(t) \bigl\{ -I_{N}\otimes \bigl[ \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)C \\ &\qquad{}+C^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigr]+I_{N}\otimes \Delta _{1} \\ &\qquad{}+I_{N}\otimes (K\Delta _{2}K) +dA\otimes \bigl[ \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \Gamma \\ &\qquad{}+\Gamma ^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)\bigr] \bigr\} e(t) \end{aligned} $$

(24)

and

$$ \begin{pmatrix} \Delta _{1} & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]B \\ * &\Delta _{2} \end{pmatrix}>0. $$

From (23) we have

$$\begin{aligned} &2\sum _{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}] \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\qquad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d\sum^{N}_{j=1}A_{ij} \Gamma e_{j}(t) \Biggr] \\ &\quad =2\sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[D_{1}-D_{2}+D_{3}-D_{4}]Ce_{i}(t) \\ &\qquad{}+2\sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr] \\ &\qquad{}+\frac{2}{N}\sum_{i=1}^{N} \sum^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl( \bar{y}(t) \bigr)-g \bigl(y_{j}(t) \bigr) \bigr] \\ &\qquad{}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]A_{ij} \Gamma e_{j}(t). \end{aligned}$$

(25)

For $2\sum_{i=1}^{N}g^{T}(e_{i}(t))[D_{1}-D_{2}+D_{3}-D_{4}]Ce_{i}(t)$, there exist a positive definite matrix $\Gamma _{1}$ and a positive definite diagonal matrix $\Gamma _{2}$ such that

$$ \begin{aligned} &2\sum _{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[D_{1}-D_{2}+D_{3}-D_{4}]Ce_{i}(t) \\ &\quad \leq \sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)\Gamma _{1}g \bigl(e_{i}(t) \bigr)+ \sum_{i=1}^{N}e_{i}^{T}(t) \Gamma _{2}e_{i}(t) \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t)K \Gamma _{1}Ke_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t) \Gamma _{2}e_{i}(t) \\ &\quad =e^{T}(t) \bigl[I_{N}\otimes (K\Gamma _{1}K) \bigr]e(t)+e^{T}(t)[I_{N}\otimes \Gamma _{2}]e(t) \end{aligned} $$

(26)

and

$$ \begin{pmatrix} \Gamma _{1} & [D_{1}-D_{2}+D_{3}-D_{4}]C \\ * &\Gamma _{2} \end{pmatrix}>0. $$

For $2\sum_{i=1}^{N}g^{T}(e_{i}(t))[-D_{1}+D_{2}-D_{3}+D_{4}]B[g(y_{i}(t))-g( \bar{y}(t))]$, we have a positive definite matrix $\Lambda _{1}$ and a positive definite diagonal matrix $\Lambda _{2}$ such that

$$ \begin{aligned} &2\sum _{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr] \\ &\quad \leq \sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)\Lambda _{1}g \bigl(e_{i}(t) \bigr)+ \sum_{i=1}^{N} \bigl[g \bigl(y_{i}(t) \bigr)-g \bigl(\bar{y}(t) \bigr) \bigr]^{T} \Lambda _{2} \bigl[g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr] \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t)K \Lambda _{1}Ke_{i}(t)+ \sum _{i=1}^{N}e_{i}^{T}(t)K \Lambda _{2}Ke_{i}(t) \\ &\quad = e^{T}(t) \bigl[I_{N}\otimes (K\Lambda _{1}K)+I_{N}\otimes (K\Lambda _{2}K) \bigr]e(t) \end{aligned} $$

(27)

and

$$ \begin{pmatrix} \Lambda _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Lambda _{2} \end{pmatrix}>0. $$

For $\frac{2}{N}\sum_{i=1}^{N}\sum^{N}_{j=1}g^{T}(e_{i}(t))[-D_{1}+D_{2}-D_{3}+D_{4}]B[g( \bar{y}(t))-g(y_{j}(t))]$, we have a positive definite matrix $\Phi _{1}$ and a positive definite diagonal matrix $\Phi _{2}$ such that

$$ \begin{aligned} &\frac{2}{N}\sum _{i=1}^{N}\sum^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl( \bar{y}(t) \bigr)-g \bigl(y_{j}(t) \bigr) \bigr] \\ &\quad \leq \sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)\Phi _{1}g \bigl(e_{i}(t) \bigr)+ \sum_{i=1}^{N} \bigl[g \bigl( \bar{y}(t) \bigr)-g \bigl(y_{i}(t) \bigr) \bigr]^{T}\Phi _{2} \bigl[g \bigl( \bar{y}(t) \bigr)-g \bigl(y_{i}(t) \bigr) \bigr] \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t)K \Phi _{1}Ke_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t)K \Phi _{2}Ke_{i}(t) \\ &\quad =e^{T}(t) \bigl[I_{N}\otimes (K\Phi _{1}K)+I_{N}\otimes (K\Phi _{2}K) \bigr]e(t) \end{aligned} $$

(28)

and

$$ \begin{pmatrix} \Phi _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Phi _{2} \end{pmatrix}>0. $$

For $2d\sum_{i=1}^{N}\sum^{N}_{j=1}g^{T}(e_{i}(t))[-D_{1}+D_{2}-D_{3}+D_{4}]A_{ij} \Gamma e_{j}(t)$, we have a positive definite matrix $\Psi _{1}$ and a positive definite diagonal matrix $\Psi _{2}$ such that

$$ \begin{aligned} &2d\sum _{i=1}^{N}\sum^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]A_{ij} \Gamma e_{j}(t) \\ &\quad \leq \sum_{i=1}^{N}\sum _{j=1}^{N}g^{T} \bigl(e_{i}(t) \bigr) \Psi _{1}g \bigl(e_{i}(t) \bigr) +\sum_{i=1}^{N}\sum ^{N}_{j=1} \bigl[A_{ij} \Gamma e_{j}(t) \bigr]^{T}\Psi _{2} \bigl[A_{ij}\Gamma e_{j}(t) \bigr] \\ &\quad \leq N\sum_{i=1}^{N}e_{i}^{T}(t)K \Psi _{1}Ke_{i}(t) +\sum_{i=1}^{N} \sum^{N}_{j=1} \bigl[A_{ij} \Gamma e_{j}(t) \bigr]^{T} \Psi _{2}A_{ij} \Gamma e_{j}(t) \\ &\quad =e^{T}(t) \bigl[NI_{N}\otimes (K\Psi _{1}K) +\bar{A}\otimes \bigl(\Gamma ^{T} \Psi _{2}\Gamma \bigr) \bigr] e(t) \end{aligned} $$

(29)

and

$$ \begin{pmatrix} \Psi _{1} & d[-D_{1}+D_{2}-D_{3}+D_{4}] \\ * &\Psi _{2} \end{pmatrix}>0, $$

where $\bar{A}=\operatorname{diag}\{\sum_{i=1}^{N}A_{i1}^{2},\sum_{i=1}^{N}A_{i2}^{2},\ldots, \sum_{i=1}^{N}A_{iN}^{2}\}$.

Since $\sum_{i=1}^{N}e_{i}(t)=0$, we get

$$ 2e^{T}(t)\Omega (E_{N}\otimes I_{n})e(t)=0, $$

(30)

where $\Omega \in R^{Nn\times Nn}$.

From (21), (24), and (26)–(30) we have

$$ \begin{aligned} D^{\alpha }V \bigl(e(t) \bigr)& \leq e^{T}(t) \bigl\{ -I_{N}\otimes \bigl(PC+C^{T}P \bigr) +I_{N} \otimes \Theta _{1}+I_{N}\otimes (K\Theta _{2}K) \\ &\quad{}+dA\otimes \bigl(P\Gamma +\Gamma ^{T}P \bigr)-I_{N} \otimes \bigl[ \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)C \\ &\quad{}+C^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigr]+I_{N}\otimes \Delta _{1} \\ &\quad{}+I_{N}\otimes (K\Delta _{2}K) +dA\otimes [ \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \Gamma \\ &\quad{}+\Gamma ^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr))+I_{N}\otimes (K \Gamma _{1}K) \\ &\quad{}+I_{N}\otimes \Gamma _{2}+I_{N}\otimes (K\Lambda _{1}K)+I_{N} \otimes (K\Lambda _{2}K) +I_{N}\otimes (K\Phi _{1}K) \\ &\quad{}+I_{N}\otimes (K\Phi _{2}K)+NI_{N} \otimes (K\Psi _{1}K) +\bar{A} \otimes \bigl(\Gamma ^{T} \Psi _{2}\Gamma \bigr) \\ &\quad{}+\Omega (E_{N}\otimes I_{n})+(E_{N} \otimes I_{n})\Omega ^{T} \bigr\} e(t) \\ &=e^{T}(t)\Pi e(t). \end{aligned} $$

(31)

So there exists a positive constant $\alpha _{3}$ such that $D^{\alpha }V(e(t))\leq -\alpha _{3}\|e(t)\|^{2}$ if $\Pi <0$. Therefore by Lemma 3 FCNNs (9) with symmetrical coupled matrix realizes synchronization under condition (13).

The proof is completed. □

3.2 Mittag-Leffler synchronization analysis for FCNNs with uncertain parameters

FCNNs may contain uncertain parameters due to the existence of environmental noises or model errors in many circumstances. In this section, we consider the following FCNNs with uncertain parameters:

$$ \begin{aligned} D^{\alpha }y_{i}(t)&=- \bigl(C+\Delta C(t) \bigr)y_{i}(t)+ \bigl(B+\Delta B(t) \bigr)g \bigl(y_{i}(t) \bigr)+J(t) \\ &\quad{}+d\sum^{N}_{j=1}A_{ij} \Gamma y_{j}(t),\quad t\geq 0, \end{aligned} $$

(32)

where $A=(A_{ij})_{N\times N}$ is the coupled matrix of network that satisfies $A_{ij}=A_{ji}> 0$ if $i\neq j$ and there is a connection between node i and node j, otherwise, $A_{ij}=0$, and $A_{ii}=-\sum^{N}_{j=1,j\neq i}A_{ij}$, $i=1,2,\ldots,N$.

For the uncertain parameters $\Delta C(t)$ and $\Delta B(t)$ in (32), we make the following assumption.

Assumption 2

The parametric uncertainties $\Delta C(t)$ and $\Delta B(t)$ are of the form

$$ \bigl[\Delta C(t), \Delta B(t) \bigr]=MF(t)[H_{C},H_{B}], $$

(33)

where M, $H_{C}$, and $H_{B}\in R^{n\times n}$ are known real constant matrices, and the uncertain matrix $F(t)$ is unknown real time-varying matrix satisfying $F^{T}(t)F(t)\leq I_{n}$.

To study the synchronization of (32), we need the following lemma.

Lemma 4

([26])

For given matrices Y, D, and E of proper dimensions, assume that Y satisfies $Y^{T}=Y$. Then

$$ Y+DFE+E^{T}F^{T}D^{T}< 0 $$

(34)

for any F satisfying $F^{T}F\leq I$ if and only if there is a real number $\varepsilon >0$ such that

$$ Y+\varepsilon DD^{T}+\varepsilon ^{-1}E^{T}E< 0. $$

(35)

For the synchronization of FCNNs (32), we have the following result.

Theorem 2

FCNNs (32) realize Mittag-Leffler synchronization if there exist positive definite matrices P, $\Theta _{1}$, $\Delta _{1}$, $\Gamma _{2}$, $\Psi _{2}\in R^{n\times n}$, positive definite diagonal matrices $D_{i}\ ( i=1, 2, 3, 4)$, $\Theta _{2}$, $\Delta _{2}$, $\Gamma _{1}$, $\Lambda _{1}$, $\Lambda _{2}$, $\Phi _{1}$, $\Phi _{2}$, $\Psi _{1}\in R^{n\times n}$, a matrix $\Omega \in R^{Nn\times Nn}$, and positive real numbers $\varepsilon _{1}$, $\varepsilon _{2}$, $\varepsilon _{3}$, $\varepsilon _{4}$, $\varepsilon _{5}$, $\varepsilon _{6}$, $\varepsilon _{7}$ such that the following linear matrix inequalities hold:

$$ \begin{aligned} & \begin{pmatrix} \Psi _{1} & d[-D_{1}+D_{2}-D_{3}+D_{4}] \\ * &\Psi _{2} \end{pmatrix}>0,\qquad \begin{pmatrix} \Theta _{1} & PB & PM \\ * &\Theta _{2}-\varepsilon _{1} H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{1} I_{n} \end{pmatrix}>0, \\ & \begin{pmatrix} \Delta _{1} & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]B & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]M \\ * &\Delta _{2}-\varepsilon _{2} H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{2} I_{n} \end{pmatrix}>0, \\ & \begin{pmatrix} \Gamma _{1} & [D_{1}-D_{2}+D_{3}-D_{4}]C & [D_{1}-D_{2}+D_{3}-D_{4}]M \\ * &\Gamma _{2}-\varepsilon _{3} H_{C}^{T}H_{C} &O \\ * &* &\varepsilon _{3} I_{n} \end{pmatrix}>0, \\ & \begin{pmatrix} \Lambda _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B & [-D_{1}+D_{2}-D_{3}+D_{4}]M \\ * &\Lambda _{2}-\varepsilon _{4} H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{4} I_{n} \end{pmatrix}>0, \\ & \begin{pmatrix} \Phi _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B & [-D_{1}+D_{2}-D_{3}+D_{4}]M \\ * &\Phi _{2}-\varepsilon _{5} H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{5} I_{n} \end{pmatrix}>0, \\ & \begin{pmatrix} \Pi +\varepsilon _{6}\Pi _{1}+\varepsilon _{7} \Pi _{2} &I_{N} \otimes (PM) &I_{N}\otimes [(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4})M] \\ * &-\varepsilon _{6} I_{Nn} &O \\ * &* &-\varepsilon _{7} I_{Nn} \end{pmatrix}< 0, \end{aligned} $$

(36)

where $\Pi _{1}= \Pi _{2}= [I_{N}\otimes H_{C}^{T}][I_{N}\otimes H_{C}]$, and Π is the same as in Theorem 1.

Proof

By Theorem 1 FCNNs (32) realize Mittag-Leffler synchronization if the following matrix inequalities hold:

$$\begin{aligned} & \begin{pmatrix} \Theta _{1} & P(B+MF(t)H_{B}) \\ * &\Theta _{2} \end{pmatrix}>0, \\ & \begin{pmatrix} \Delta _{1} & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}](B+MF(t)H_{B}) \\ * &\Delta _{2} \end{pmatrix}>0, \\ & \begin{pmatrix} \Gamma _{1} & [D_{1}-D_{2}+D_{3}-D_{4}](C+MF(t)H_{C}) \\ * &\Gamma _{2} \end{pmatrix}>0, \\ & \begin{pmatrix} \Lambda _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}](B+MF(t)H_{B}) \\ * &\Lambda _{2} \end{pmatrix}>0, \\ & \begin{pmatrix} \Phi _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}](B+MF(t)H_{B}) \\ * &\Phi _{2} \end{pmatrix}>0, \\ & \begin{pmatrix} \Psi _{1} & d[-D_{1}+D_{2}-D_{3}+D_{4}] \\ * &\Psi _{2} \end{pmatrix}>0, \\ &\Pi ^{*}=-I_{N}\otimes \bigl[P \bigl(C+MF(t)H_{C} \bigr)+ \bigl(C+MF(t)H_{C} \bigr)^{T}P \bigr] +I_{N} \otimes \Theta _{1} \\ &\hphantom{\Pi ^{*}={}}{}+I_{N}\otimes (K\Theta _{2}K) +dA\otimes \bigl(P \Gamma +\Gamma ^{T}P \bigr) \\ &\hphantom{\Pi ^{*}={}}{}-I_{N}\otimes \bigl[ \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigl(C+MF(t)H_{C} \bigr) \\ &\hphantom{\Pi ^{*}={}}{}+ \bigl(C+MF(t)H_{C} \bigr)^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigr] \\ &\hphantom{\Pi ^{*}={}}{}+I_{N}\otimes \Delta _{1} +I_{N}\otimes (K\Delta _{2}K) +dA\otimes \bigl[ \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \Gamma \\ &\hphantom{\Pi ^{*}={}}{}+\Gamma ^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)\bigr]+I_{N}\otimes (K \Gamma _{1}K) \\ &\hphantom{\Pi ^{*}={}}{}+I_{N}\otimes \Gamma _{2}+I_{N}\otimes (K\Lambda _{1}K)+I_{N} \otimes (K\Lambda _{2}K)+I_{N}\otimes (K\Phi _{1}K) \\ &\hphantom{\Pi ^{*}={}}{}+I_{N}\otimes (K\Phi _{2}K)+NI_{N} \otimes (K\Psi _{1}K)+\bar{A} \otimes \bigl(\Gamma ^{T} \Psi _{2}\Gamma \bigr) \\ &\hphantom{\Pi ^{*}={}}{}+\Omega (E_{N}\otimes I_{n})+(E_{N} \otimes I_{n})\Omega ^{T}< 0. \end{aligned}$$

(37)

Let $e_{1}=[ I_{n}, O]$ and $e_{2}=[O, I_{n}]$. Then

$$ \begin{aligned} & \begin{pmatrix} \Theta _{1} & P(B+MF(t)H_{B}) \\ * &\Theta _{2} \end{pmatrix} \\ &\quad = \begin{pmatrix} \Theta _{1} & PB+PMF(t)H_{B} \\ * &\Theta _{2} \end{pmatrix} \\ &\quad = \begin{pmatrix} \Theta _{1} & PB \\ * &\Theta _{2} \end{pmatrix}+e_{1}^{T}PMF(t)H_{B}e_{2}+e_{2}^{T}H_{B}^{T}F^{T}(t)M^{T}Pe_{1}. \end{aligned} $$

(38)

Lemma 4 implies that $\left(\begin{array}{cc}{\mathrm{\Theta }}_1& PB\\ \ast & {\mathrm{\Theta }}_2\end{array}\right)+e_1^{T}PMF(t)H_B{e}_2+e_2^T{H}_B^T{F}^T(t)M^{T}P{e}_1>0$ if and only if there exists $\varepsilon _{\Theta }>0$ such that

$$ \begin{pmatrix} \Theta _{1} & PB \\ * &\Theta _{2} \end{pmatrix}-\varepsilon _{\Theta }^{-1} e_{1}^{T}PMM^{T}Pe_{1}- \varepsilon _{\Theta }e_{2}^{T}H_{B}^{T}H_{B}e_{2}>0. $$

(39)

By the Schur complement theorem, $\left(\begin{array}{cc}{\mathrm{\Theta }}_1& PB\\ \ast & {\mathrm{\Theta }}_2\end{array}\right)-{\epsilon }_{\mathrm{\Theta }}^{-1}{e}_1^{T}PM{M}^{T}P{e}_1-{\epsilon }_{\mathrm{\Theta }}{e}_2^T{H}_B^T{H}_B{e}_2>0$ if and only if

$$ \begin{aligned} & \begin{pmatrix} \begin{pmatrix} \Theta _{1} & PB \\ * &\Theta _{2} \end{pmatrix}- \varepsilon _{\Theta }e_{2}^{T}H_{B}^{T}H_{B}e_{2} & e_{1}^{T}PM \\ * &\varepsilon _{\Theta }I \end{pmatrix} \\ &\quad = \begin{pmatrix} \Theta _{1} & PB & PM \\ * &\Theta _{2}-\varepsilon _{\Theta }H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{\Theta }I_{n} \end{pmatrix}>0. \end{aligned} $$

(40)

So $\left(\begin{array}{cc}{\mathrm{\Theta }}_1& P(B+MF(t)H_B)\\ \ast & {\mathrm{\Theta }}_2\end{array}\right)>0$ is equivalent to

$$ \begin{pmatrix} \Theta _{1} & PB & PM \\ * &\Theta _{2}-\varepsilon _{\Theta }H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{\Theta }I_{n} \end{pmatrix}>0 $$

(41)

for some $\varepsilon _{\Theta }>0$.

Similarly, $\left(\begin{array}{cc}{\mathrm{\Delta }}_1& [K^{+}{D}_1-K^{-}{D}_2+K{D}_3+K{D}_4](B+MF(t)H_B)\\ \ast & {\mathrm{\Delta }}_2\end{array}\right)>0$ if and only if

$$ \begin{pmatrix} \Delta _{1} & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]B & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]M \\ * &\Delta _{2}-\varepsilon _{\Delta }H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{\Delta }I_{n} \end{pmatrix}>0 $$

(42)

for some $\varepsilon _{\Delta }>0$;

$\left(\begin{array}{cc}{\mathrm{\Gamma }}_1& [D_1-D_2+D_3-D_4](C+MF(t)H_C)\\ \ast & {\mathrm{\Gamma }}_2\end{array}\right)>0$ if and only if

$$ \begin{pmatrix} \Gamma _{1} & [D_{1}-D_{2}+D_{3}-D_{4}]C & [D_{1}-D_{2}+D_{3}-D_{4}]M \\ * &\Gamma _{2}-\varepsilon _{3} H_{C}^{T}H_{C} &O \\ * &* &\varepsilon _{3} I_{n} \end{pmatrix}>0 $$

(43)

for some $\varepsilon _{3}>0$;

$\left(\begin{array}{cc}{\mathrm{\Lambda }}_1& [-D_1+D_2-D_3+D_4](B+MF(t)H_B)\\ \ast & {\mathrm{\Lambda }}_2\end{array}\right)>0$ if and only if

$$ \begin{pmatrix} \Lambda _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B & [-D_{1}+D_{2}-D_{3}+D_{4}]M \\ * &\Lambda _{2}-\varepsilon _{4} H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{4} I_{n} \end{pmatrix}>0 $$

(44)

for some $\varepsilon _{4}>0$; and

$\left(\begin{array}{cc}{\mathrm{\Phi }}_1& [-D_1+D_2-D_3+D_4](B+MF(t)H_B)\\ \ast & {\mathrm{\Phi }}_2\end{array}\right)>0$ if and only if

$$ \begin{pmatrix} \Phi _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B & [-D_{1}+D_{2}-D_{3}+D_{4}]M \\ * &\Phi _{2}-\varepsilon _{5} H_{B}^{T}H_{B} &O \\ * &* &\varepsilon _{5} I_{n} \end{pmatrix}>0 $$

(45)

for some $\varepsilon _{5} >0$.

Moreover, for $\Pi ^{*}$, we have

$$ \begin{aligned} \Pi ^{*}&=\Pi -I_{N}\otimes \bigl[PMF(t)H_{C}+ \bigl(MF(t)H_{C} \bigr)^{T}P \bigr] \\ &\quad{}-I_{N}\otimes \bigl[ \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)MF(t)H_{C} \\ &\quad{}+ \bigl(MF(t)H_{C} \bigr)^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigr] \\ &=\Pi - \bigl[I_{N}\otimes (PM) \bigr] \bigl[I_{N} \otimes F(t) \bigr] [I_{N}\otimes H_{C}] \\ &\quad{}- \bigl[I_{N}\otimes H_{C}^{T} \bigr] \bigl[I_{N}\otimes F^{T}(t) \bigr] \bigl[I_{N} \otimes (PM)^{T} \bigr] \\ &\quad{}- \bigl[I_{N}\otimes \bigl( \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)M \bigr) \bigr] \bigl[I_{N} \otimes F(t) \bigr] [I_{N}\otimes H_{C}] \\ &\quad{}- \bigl[I_{N}\otimes H_{C}^{T} \bigr] \bigl[I_{N}\otimes F^{T}(t) \bigr] \bigl[I_{N} \otimes \bigl( \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)M \bigr)^{T} \bigr], \end{aligned} $$

(46)

where $[I_{N}\otimes F^{T}(t)][I_{N}\otimes F(t)]\leq I_{Nn}$.

Thus by the Schur complement theorem, $\Pi ^{*}<0$ is equivalent to

$$ \begin{pmatrix} \Pi +\varepsilon _{6}\Pi _{1}+\varepsilon _{7} \Pi _{2} &I_{N} \otimes (PM) &I_{N}\otimes [(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4})M] \\ * &-\varepsilon _{6} I_{Nn} &O \\ * &* &-\varepsilon _{7} I_{Nn} \end{pmatrix}< 0 $$

(47)

for some $\varepsilon _{6}>0$ and $\varepsilon _{7}>0$, where $\Pi _{1}= \Pi _{2}= [I_{N}\otimes H_{C}^{T}][I_{N}\otimes H_{C}]$.

By Lemma 3 FCNNs (32) realize synchronization under condition (36).

The proof is completed. □

3.3 Synchronization analysis for FCNNs with unsymmetrical coupled matrix

In this section, we consider FCNNs (9) with unsymmetrical coupled matrix, that is, $A=(A_{ij})_{N\times N}$ is an unsymmetrical coupled matrix representing the coupling strength and topological structure of the networks.

Let $\bar{y}(t)=\frac{1}{N}\sum^{N}_{i=1}y_{i}(t)$ and define the error vector $e_{i}(t)=y_{i}(t)-\bar{y}(t)$. From FCNNs (9) we have

$$ \begin{aligned} D^{\alpha }e_{i}(t)&=-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr)-\frac{1}{N}\sum ^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) \\ &\quad{}+d\sum^{N}_{j=1} \Biggl(A_{ij}-\frac{1}{N}\sum^{N}_{i=1}A_{ij} \Biggr) \Gamma y_{j}(t) ,\quad i=1,2,\ldots,N. \end{aligned} $$

(48)

The synchronization of FCNNs (9) with unsymmetrical coupled matrix is equivalent to the stability of system (48).

Theorem 3

FCNNs (9) with unsymmetrical coupled matrix realize synchronization in the sense of Lyapunov if there exist positive definite matrices $P\in R^{n\times n}$, positive definite diagonal matrices $D_{i}\ ( i=1,2,3,4)$, positive semidefinite matrices $\Theta _{i}$, $\Delta _{i}$, $\Gamma _{i}$, $\Lambda _{i}$, $\Phi _{i}$, $\Psi _{i}\in R^{n\times n}$, $i=1,2$, and matrices $\Omega _{1}\in R^{Nn\times Nn}$ such that the following linear matrix inequalities hold:

$$ \begin{aligned} &\Pi \leq 0, \qquad \begin{pmatrix} \Theta _{1} & PB \\ * &\Theta _{2} \end{pmatrix} \geq 0, \qquad \begin{pmatrix} \Delta _{1} & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]B \\ * &\Delta _{2} \end{pmatrix}\geq 0, \\ & \begin{pmatrix} \Gamma _{1} & [D_{1}-D_{2}+D_{3}-D_{4}]C \\ * &\Gamma _{2} \end{pmatrix}\geq 0, \qquad \begin{pmatrix} \Lambda _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Lambda _{2} \end{pmatrix}\geq 0, \\ & \begin{pmatrix} \Phi _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Phi _{2} \end{pmatrix}\geq 0,\qquad \begin{pmatrix} \Psi _{1} & -D_{1}+D_{2}-D_{3}+D_{4} \\ * &\Psi _{2} \end{pmatrix}\geq 0, \end{aligned} $$

(49)

where $\Pi =(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N})[-I_{N}\otimes (PC+C^{T}P) +I_{N} \otimes \Theta _{1}+I_{N}\otimes (K\Theta _{2}K)-I_{N} \otimes ((K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4})C +C^{T}(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4})) +I_{N}\otimes \Delta _{1}+I_{N} \otimes (K\Delta _{2}K) +I_{N}\otimes (K\Gamma _{1}K)+I_{N}\otimes \Gamma _{2}+I_{N}\otimes (K\Lambda _{1}K)+I_{N}\otimes (K\Lambda _{2}K) +I_{N}\otimes (K\Phi _{1}K)+I_{N}\otimes (K\Phi _{2}K)+NI_{N}\otimes (K \Psi _{1}K)](I_{Nn}-\frac{E_{N}\otimes I_{n}}{N}) +\operatorname{sym}\{\Omega _{1} (E_{N} \otimes I_{n})\}(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N}) +\operatorname{sym}\{d(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N})[\underline{A}\otimes ((P+K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}) \Gamma )]\} +d^{2}\underline{A}^{*}\otimes (\Gamma ^{T} \Psi _{2} \Gamma )$, $\underline{A}=(A_{ij}-A_{\underline{j}})_{N\times N}$, $A_{\underline{j}}=\frac{1}{N}\sum^{N}_{i=1}A_{ij}$, and $\underline{A}^{*}=\operatorname{diag}\{\sum_{i=1}^{N}(A_{i1}-A_{ \underline{1}})^{2}, \sum_{i=1}^{N}(A_{i2}-A_{\underline{2}})^{2},\ldots, \sum_{i=1}^{N}(A_{iN}-A_{\underline{N}})^{2}\}$.

Proof

Construct the Lyapunov function

$$ V \bigl(e(t) \bigr)=V_{1} \bigl(e(t) \bigr)+V_{2} \bigl(e(t) \bigr), $$

(50)

where

$$ \begin{aligned} V_{1} \bigl(e(t) \bigr)&=\sum^{N}_{i=1}e_{i}^{T}(t)Pe_{i}(t), \\ V_{2} \bigl(e(t) \bigr)&=2\sum_{i=1}^{N} \sum^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{1j} \bigl[ k_{j}^{+}s-g_{j}(s) \bigr]\,ds \\ &\quad{} +2\sum_{i=1}^{N}\sum ^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{2j} \bigl[g_{j}(s)-k_{j}^{-}s \bigr]\,ds \\ &\quad{}+2\sum_{i=1}^{N}\sum ^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{3j} \bigl[ k_{j}s-g_{j}(s) \bigr]\,ds \\ &\quad{} +2\sum_{i=1}^{N}\sum ^{n}_{j=1} \int _{0}^{ e_{ij}(t)}d_{4j} \bigl[g_{j}(s)+ k_{j}s \bigr]\,ds. \end{aligned} $$

(51)

Proposition 1 implies

$$ \begin{aligned} D^{\alpha }V_{1} \bigl(e(t) \bigr)&\leq 2\sum_{i=1}^{N}e_{i}^{T}(t)PD^{\alpha }e_{i}(t) \\ &=2\sum_{i=1}^{N}e_{i}^{T}(t)P \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr)-Bg \bigl( \bar{y}(t) \bigr) \\ &\quad{}+Bg \bigl(\bar{y}(t) \bigr)-\frac{1}{N}\sum ^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr)+d \sum^{N}_{j=1}(A_{ij}-A_{\underline{j}}) \Gamma y_{j}(t) \Biggr], \end{aligned} $$

(52)

where $A_{\underline{j}}=\frac{1}{N}\sum^{N}_{i=1}A_{ij}$.

Because $\sum_{i=1}^{N}e_{i}^{T}(t)=0$, we get

$$ \begin{aligned} D^{\alpha }V_{1} \bigl(e(t) \bigr)&\leq 2\sum_{i=1}^{N}e_{i}^{T}(t)P \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr)-Bg \bigl( \bar{y}(t) \bigr) \\ &\quad{}+d\sum^{N}_{j=1}(A_{ij}-A_{\underline{i}j}) \Gamma y_{j}(t) \Biggr] \\ &= -2\sum_{i=1}^{N}e_{i}^{T}(t)PCe_{i}(t)+2 \sum_{i=1}^{N}e_{i}^{T}(t)PB \bigl(g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr) \\ &\quad{}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}e_{i}^{T}(t)P(A_{ij}-A_{ \underline{j}}) \Gamma y_{j}(t). \end{aligned} $$

(53)

By Lemma 2 there exist a positive definite matrix $\Theta _{1}$ and a positive semidefinite matrix $\Theta _{2}$ such that

$$ 2\sum_{i=1}^{N}e_{i}^{T}(t)PB \bigl(g \bigl(y_{i}(t) \bigr)-g \bigl(\bar{y}(t) \bigr) \bigr)\leq \sum_{i=1}^{N}e_{i}^{T}(t) \Theta _{1}e_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t)K \Theta _{2}Ke_{i}(t) $$

(54)

and

$$ \begin{pmatrix} \Theta _{1} & PB \\ * &\Theta _{2} \end{pmatrix}\geq 0. $$

So

$$ \begin{aligned} D^{\alpha }V_{1} \bigl(e(t) \bigr)&\leq -2\sum_{i=1}^{N}e_{i}^{T}(t)PCe_{i}(t)+ \sum_{i=1}^{N}e_{i}^{T}(t) \Theta _{1}e_{i}(t) +\sum_{i=1}^{N}e_{i}^{T}(t)K \Theta _{2}Ke_{i}(t) \\ &\quad{}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}e_{i}^{T}(t)P(A_{ij}-A_{ \underline{j}}) \Gamma y_{j}(t) \\ &= e^{T}(t) \bigl[-I_{N}\otimes \bigl(PC+C^{T}P \bigr) +I_{N}\otimes \Theta _{1}+I_{N} \otimes (K\Theta _{2}K) \bigr]e(t) \\ &\quad{}+2de^{T}(t)\underline{A}\otimes (P\Gamma )y(t), \end{aligned} $$

(55)

where $\underline{A}=(A_{ij}-A_{\underline{j}})_{N\times N}$.

Noting that $e(t)=(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N})y(t)$, we have

$$ \begin{aligned} D^{\alpha }V_{1} \bigl(e(t) \bigr)&\leq y^{T}(t) \biggl\{ \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[-I_{N}\otimes \bigl(PC+C^{T}P \bigr) \\ &\quad{}+I_{N}\otimes \Theta _{1}+I_{N}\otimes (K\Theta _{2}K) \bigr] \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \\ &\quad{}+2d \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[ \underline{A} \otimes (P \Gamma ) \bigr] \biggr\} y(t). \end{aligned} $$

(56)

For $V_{2}(e(t))$, by Proposition 3 we have

$$ \begin{aligned} D^{\alpha }V_{2} \bigl(e(t) \bigr)&\leq 2\sum_{i=1}^{N}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr] \Biggl[-Ce_{i}(t) \\ &\quad{}+Bg \bigl(y_{i}(t) \bigr)-\frac{1}{N}\sum ^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) +d \sum^{N}_{j=1}(A_{ij}-A_{\underline{j}}) \Gamma y_{j}(t) \Biggr] \\ &\quad{}+2\sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}] \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\quad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) +d\sum^{N}_{j=1}(A_{ij}-A_{ \underline{j}}) \Gamma y_{j}(t) \Biggr], \end{aligned} $$

(57)

where $D_{k}=\operatorname{diag}\{d_{k1}, d_{k2},\ldots, d_{kn}\}$, $k=1,2,3,4$.

Similarly, there are a positive definite matrix $\Delta _{1}$ and a positive semi-definite matrix $\Delta _{2}$ such that

$$ \begin{aligned} &2\sum _{i=1}^{N}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr] \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\qquad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) +d\sum^{N}_{j=1}(A_{ij}-A_{ \underline{j}}) \Gamma y_{j}(t) \Biggr] \\ &\quad \leq -2\sum_{i=1}^{N}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr]C e_{i}(t) \\ &\qquad{}+\sum_{i=1}^{N}e_{i}^{T}(t) \Delta _{1}e_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t)K \Delta _{2}Ke_{i}(t) \\ &\qquad{}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}e_{i}^{T}(t) \bigl[K^{+}D_{1}-K^{-}D_{2} +KD_{3}+KD_{4} \bigr](A_{ij}-A_{\underline{j}}) \Gamma y_{j}(t) \\ &\quad =y^{T}(t) \biggl\{ \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[-I_{N}\otimes \bigl( \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)C \\ &\qquad{}+C^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigr) \\ &\qquad{}+I_{N}\otimes \Delta _{1}+I_{N}\otimes (K\Delta _{2}K) \bigr] \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \\ &\qquad{}+2d \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[ \underline{A} \otimes \bigl( \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \Gamma \bigr) \bigr] \biggr\} y(t) \end{aligned} $$

(58)

and

$$ \begin{pmatrix} \Delta _{1} & [K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4}]B \\ * &\Delta _{2} \end{pmatrix}\geq 0. $$

Simple calculation yields

$$ \begin{aligned} &2\sum _{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}] \Biggl[-Ce_{i}(t)+Bg \bigl(y_{i}(t) \bigr) \\ &\qquad{}-\frac{1}{N}\sum^{N}_{i=1}Bg \bigl(y_{i}(t) \bigr) +d\sum^{N}_{j=1}(A_{ij}-A_{ \underline{j}}) \Gamma y_{j}(t) \Biggr] \\ &\quad =2\sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[D_{1}-D_{2}+D_{3}-D_{4}]Ce_{i}(t) \\ &\qquad{}+2\sum_{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr] \\ &\qquad{}+\frac{2}{N}\sum_{i=1}^{N} \sum^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl( \bar{y}(t) \bigr)-g \bigl(y_{j}(t) \bigr) \bigr] \\ &\qquad{}+2d\sum_{i=1}^{N}\sum ^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}](A_{ij} -A_{\underline{j}})\Gamma y_{j}(t). \end{aligned} $$

(59)

There exist a positive definite matrix $\Gamma _{1}$ and a positive semidefinite matrix $\Gamma _{2}$ such that

$$ \begin{aligned} &2\sum _{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[D_{1}-D_{2}+D_{3}-D_{4}]Ce_{i}(t) \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t)K \Gamma _{1}Ke_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t) \Gamma _{2}e_{i}(t) \\ &\quad =y^{T}(t) \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[I_{N}\otimes (K \Gamma _{1}K)+I_{N} \otimes \Gamma _{2} \bigr] \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr)y(t) \end{aligned} $$

(60)

and

$$ \begin{pmatrix} \Gamma _{1} & [D_{1}-D_{2}+D_{3}-D_{4}]C \\ * &\Gamma _{2} \end{pmatrix}\geq 0. $$

Similarly, we have a positive definite matrix $\Lambda _{1}$ and a positive semidefinite matrix $\Lambda _{2}$ such that

$$ \begin{aligned} &2\sum _{i=1}^{N}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl(y_{i}(t) \bigr)-g \bigl( \bar{y}(t) \bigr) \bigr] \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t)K \Lambda _{1}Ke_{i}(t)+ \sum _{i=1}^{N}e_{i}^{T}(t)K \Lambda _{2}Ke_{i}(t) \\ &\quad =y^{T}(t) \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[I_{N}\otimes (K \Lambda _{1}K) \\ &\qquad{}+I_{N}\otimes (K\Lambda _{2}K) \bigr] \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr)y(t) \end{aligned} $$

(61)

and

$$ \begin{pmatrix} \Lambda _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Lambda _{2} \end{pmatrix}\geq 0. $$

By Lemma 2 we have a positive definite matrix $\Phi _{1}$ and a positive semidefinite matrix $\Phi _{2}$ satisfying the matrix inequalities

$$ \begin{aligned} &\frac{2}{N}\sum _{i=1}^{N}\sum^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}]B \bigl[g \bigl( \bar{y}(t) \bigr)-g \bigl(y_{j}(t) \bigr) \bigr] \\ &\quad \leq \sum_{i=1}^{N}e_{i}^{T}(t)K \Phi _{1}Ke_{i}(t)+\sum_{i=1}^{N}e_{i}^{T}(t)K \Phi _{2}Ke_{i}(t) \\ &\quad =y^{T}(t) \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[I_{N}\otimes (K\Phi _{1}K)+I_{N} \otimes (K\Phi _{2}K) \bigr] \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr)y(t) \end{aligned} $$

(62)

and

$$ \begin{pmatrix} \Phi _{1} & [-D_{1}+D_{2}-D_{3}+D_{4}]B \\ * &\Phi _{2} \end{pmatrix}\geq 0, $$

where $\Phi _{1}$ and $\Phi _{2}$ are diagonal matrices.

For $2d\sum_{i=1}^{N}\sum^{N}_{j=1}g^{T}(e_{i}(t))[-D_{1}+D_{2}-D_{3}+D_{4}](A_{ij}-A_{ \underline{j}})\Gamma y_{j}(t)$, by Lemma 2 there exist a positive definite matrix $\Psi _{1}$ and a positive semidefinite matrix $\Psi _{2}$ such that

$$ \begin{aligned} &2d\sum _{i=1}^{N}\sum^{N}_{j=1}g^{T} \bigl(e_{i}(t) \bigr)[-D_{1}+D_{2}-D_{3}+D_{4}](A_{ij}-A_{ \underline{j}}) \Gamma y_{j}(t) \\ &\quad \leq N\sum_{i=1}^{N}e_{i}^{T}(t)K \Psi _{1}Ke_{i}(t) +d^{2} \sum _{i=1}^{N}\sum^{N}_{j=1} \bigl[(A_{ij}-A_{ \underline{j}})\Gamma y_{j}(t) \bigr]^{T}\Psi _{2}(A_{ij}-A_{\underline{j}}) \Gamma y_{j}(t) \\ &\quad =y^{T}(t) \biggl\{ \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[NI_{N}\otimes (K \Psi _{1}K) \bigr] \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \\ &\qquad{}+d^{2}\underline{A}^{*}\otimes \bigl(\Gamma ^{T} \Psi _{2}\Gamma \bigr) \biggr\} y(t) \end{aligned} $$

(63)

and

$$ \begin{pmatrix} \Psi _{1} & -D_{1}+D_{2}-D_{3}+D_{4} \\ * &\Psi _{2} \end{pmatrix}\geq 0, $$

where $\underline{A}^{*}=\operatorname{diag}\{\sum_{i=1}^{N}(A_{i1}-A_{ \underline{1}})^{2}, \sum_{i=1}^{N}(A_{i2}-A_{\underline{2}})^{2},\ldots, \sum_{i=1}^{N}(A_{iN}-A_{\underline{N}})^{2}\}$.

Combining (58) with (60)–(63) gives

$$ \begin{aligned} D^{\alpha }V_{2} \bigl(e(t) \bigr)&\leq y^{T}(t) \biggl\{ \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[-I_{N}\otimes \bigl( \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)C \\ &\quad{}+C^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigr) +I_{N}\otimes \Delta _{1} \\ &\quad{}+I_{N}\otimes (K\Delta _{2}K)+I_{N} \otimes (K\Gamma _{1}K)+I_{N} \otimes \Gamma _{2}+I_{N}\otimes (K\Lambda _{1}K) \\ &\quad{}+I_{N}\otimes (K\Lambda _{2}K)+I_{N} \otimes (K\Phi _{1}K)+I_{N} \otimes (K\Phi _{2}K) \\ &\quad{}+NI_{N}\otimes (K\Psi _{1}K) \bigr] \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \\ &\quad{}+2d \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[ \underline{A} \otimes \bigl( \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \Gamma \bigr) \bigr] \\ &\quad{}+ \bigl[\underline{A}^{*}\otimes \bigl(\Gamma ^{T} \Psi _{2}\Gamma \bigr) \bigr] \biggr\} y(t). \end{aligned} $$

(64)

Since $\sum_{i=1}^{N}e_{i}^{T}(t)=0$, we have $2y^{T}(t)\Omega _{1} (E_{N}\otimes I_{n})(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N})y(t)=0$ for any matrix $\Omega _{1}\in R^{Nn\times Nn}$. Then

$$ \begin{aligned} D^{\alpha }V \bigl(e(t) \bigr)& \leq y^{T}(t) \biggl\{ \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[-I_{N}\otimes \bigl(PC+C^{T}P \bigr) +I_{N} \otimes \Theta _{1} \\ &\quad{}+I_{N}\otimes (K\Theta _{2}K)-I_{N} \otimes \bigl( \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr)C \\ &\quad{}+C^{T} \bigl(K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \bigr)+I_{N}\otimes \Delta _{1} \\ &\quad{}+I_{N}\otimes (K\Delta _{2}K) +I_{N} \otimes (K\Gamma _{1}K)+I_{N} \otimes \Gamma _{2}+I_{N}\otimes (K\Lambda _{1}K) \\ &\quad{}+I_{N}\otimes (K\Lambda _{2}K)+I_{N} \otimes (K\Phi _{1}K)+I_{N} \otimes (K\Phi _{2}K) \\ &\quad{}+NI_{N}\otimes (K\Psi _{1}K) \bigr] \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \\ &\quad {}+2 \Omega _{1} (E_{N}\otimes I_{n}) \biggl(I_{Nn}- \frac{E_{N}\otimes I_{n}}{N} \biggr) \\ &\quad{}+2d \biggl(I_{Nn}-\frac{E_{N}\otimes I_{n}}{N} \biggr) \bigl[ \underline{A} \otimes \bigl( \bigl(P+K^{+}D_{1}-K^{-}D_{2}+KD_{3}+KD_{4} \bigr) \Gamma \bigr) \bigr] \\ &\quad{}+d^{2}\underline{A}^{*}\otimes \bigl(\Gamma ^{T} \Psi _{2}\Gamma \bigr) \biggr\} y(t) \\ &=y^{T}(t)\Pi y(t). \end{aligned} $$

(65)

So $D^{\alpha }V(e(t))\leq 0$ if $y^{T}(t)\Pi y(t)\leq 0$. Therefore by Lemma 3 FCNNs (9) with unsymmetrical coupled matrix realize synchronization in the sense of Lyapunov under condition (49). The proof is completed. □

The Lyapunov synchronization of the FCNNs with unsymmetrical coupled matrix in Theorem 3 is weaker than the Mittag-Leffler synchronization.

Remark 2

Each sufficient synchronization condition proposed in Theorems 1–3 includes several LMIs. The forms of sufficient synchronization conditions seem to be complicated, but they can be easily solved by Matlab. The sufficient conditions in Theorems 1–3 require $(0.5N^{2}+2.5)n^{2}+(14.5+0.5N)n$, $(0.5N^{2}+2.5)n^{2}+(14.5+0.5N)n+7$ and $(0.5N^{2}+2.5)n^{2}+(14.5+0.5N)n$ decision variables, respectively, where N stands for the number of nodes, and n is the dimension of the state vector for each node.

4 Numerical examples

In this section, we provide four numerical examples to confirm the correctness of the obtained synchronization criteria.

Example 1

Consider FCNNs (9) consisting of 5 identical 2-D fractional-order neural networks, where $\alpha =0.97$, $f_{j}(\xi )=\frac{|\xi +1|-|\xi -1|}{4}\ (j=1,2)$, $d=0.7$,

$$ \begin{aligned} &C= \begin{pmatrix} 0.6& 0 \\ 0 & 0.5 \end{pmatrix},\qquad B= \begin{pmatrix} 0.1& 0.2 \\ 0.1 & 0.1 \end{pmatrix}, \qquad \Gamma = \begin{pmatrix} 0.5& 0.6 \\ 0.7 & 0.3 \end{pmatrix}, \\ &J(t)= \begin{pmatrix} 0.1 \\ 0.05 \end{pmatrix},\qquad A= \begin{pmatrix} -0.4& 0.2& 0.1& 0& 0.1 \\ 0.2& -0.5& 0& 0.3& 0 \\ 0.1& 0 & -0.5& 0.3& 0.1 \\ 0 & 0.3& 0.3& -0.6& 0 \\ 0.1& 0 & 0.1& 0 & -0.2 \end{pmatrix}. \end{aligned} $$

(66)

It is clear that $f_{j}$ satisy Assumption 1 with $k_{j}^{-}=-0.5$ and $k_{j}^{+}=0.5$. Solving LMIs in Theorem 1 by using LMI tools in Matlab, we get $t_{\min }=-0.3441$. So the FCNNs in this example realize synchronization.

Take $y_{11}(0)=0.2$, $y_{12}(0)=-0.1$, $y_{21}(0)=0.15$, $y_{22}(0)=-0.3$, $y_{31}(0)=-0.26$, $y_{32}(0)=0.16$, $y_{41}(0)=0.05$, $y_{42}(0)=-0.07$, $y_{51}(0)=0.1$, and $y_{52}(0)=-0.19$. The trajectories of the state and error systems are shown in Figs. 1 and 2, respectively. Figure 2 shows that FCNNs (9) with coefficient (66) achieve synchronization.

Figure 1

State trajectories of the state system in Example 1

Figure 2

State trajectories of the error system in Example 1

Remark 3

This example was studied in [9]. The fractional-order neural network is synchronized under a pinning controller $U(t)=Ke(t)$ with $K=\operatorname{diag}\{0.8I,1.6I,O,O,O\}$. However, the synchronization criteria are in the form of NLMIs, which brings certain difficulty in the solving process. Differently from the method used in [9], Lemma 2 is adopted to get a synchronization criterion in the form of LMIs. Moreover, a novel convex Lyapunov function $V_{2}$ is constructed to take into account the information of the activation functions.

Example 2

Consider FCNNs (9) with uncertain parameters consisting of 5 identical 2-D fractional-order neural networks, where $\alpha =0.97$, $f_{j}(\xi )=\frac{|\xi +1|-|\xi -1|}{4}$ ($j=1,2$), $d=0.7$,

$$ \begin{aligned} &C= \begin{pmatrix} 0.6& 0 \\ 0 & 0.5 \end{pmatrix}, \qquad B= \left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} 0.1& 0.2 \\ 0.1 & 0.1 \end{array}\displaystyle \right ), \qquad \Gamma = \begin{pmatrix} 0.5& 0.6 \\ 0.7 & 0.3 \end{pmatrix}, \\ &J(t)= \begin{pmatrix} \sin (t) \\ \cos (t) \end{pmatrix},\qquad A= \begin{pmatrix} -0.4& 0.2& 0.1& 0& 0.1 \\ 0.2& -0.5& 0& 0.3& 0 \\ 0.1& 0 & -0.5& 0.3& 0.1 \\ 0 & 0.3& 0.3& -0.6& 0 \\ 0.1& 0 & 0.1& 0 & -0.2 \end{pmatrix}, \\ & M= \begin{pmatrix} 0.1& 0 \\ 0& 0.1 \end{pmatrix}, \qquad H_{C}= \begin{pmatrix} 0.05&0 \\ 0&-0.05 \end{pmatrix}, \qquad H_{B}= \begin{pmatrix} -0.03& 0 \\ 0& 0.03 \end{pmatrix}. \end{aligned} $$

(67)

It is clear that $f_{j}$ satisfy Assumption 1 with $k_{j}^{-}=-0.5$ and $k_{j}^{+}=0.5$. Solving LMIs in Theorem 2 by LMI tools in Matlab, we get $t_{\min }= -0.2642$. So FCNNs with uncertain parameters realize synchronization.

Take $y_{11}(0)=0.3$, $y_{12}(0)=-0.2$, $y_{21}(0)=0.15$, $y_{22}(0)=-0.3$, $y_{31}(0)=-0.15$, $y_{32}(0)=-0.25$, $y_{41}(0)=0.05$, $y_{42}(0)=-0.07$, $y_{51}(0)=0.1$, and $y_{52}(0)=-0.1$. The trajectories of the state system are shown in Fig. 3. The trajectories of the error system are shown in Fig. 4. From Fig. 4 we can see that FCNNs with coefficient (67) are synchronized.

Figure 3

State trajectories of the state system in Example 2

Figure 4

State trajectories of the error system in Example 2

Example 3

Consider the FCNNs (9) with unsymmetrical coupled matrix consisting of 2 identical 2-D fractional-order neural networks, where $\alpha =0.97$, $f_{j}(\xi )=\frac{|\xi +1|-|\xi -1|}{4}$ ($j=1,2$), $d=0.5$,

$$ \begin{aligned} &C= \begin{pmatrix} 3& 0 \\ 0 &4 \end{pmatrix},\qquad B= \begin{pmatrix} 0.5& -0.1 \\ -0.2 & 0.4 \end{pmatrix},\qquad \Gamma = \begin{pmatrix} 1& 0 \\ 0 &1 \end{pmatrix}, \\ & A= \begin{pmatrix} -0.1& 0.1 \\ 0.3& -0.4 \end{pmatrix},\qquad J(t)= \begin{pmatrix} 0.05 \\ 0.05 \end{pmatrix}. \end{aligned} $$

(68)

It is clear that $f_{j}$ satisfy Assumption 1 with $k_{j}^{-}=-0.5$ and $k_{j}^{+}=0.5$.

Solving LMIs in Theorem 3 by YALMIP tools in Matlab, we get

$$ \Pi =1.0\mathrm{e}{-}06* \begin{pmatrix} -0.0793 & 0.0020& 0.0803& -0.0020 \\ 0.0020 & -0.1166& -0.0020& 0.1177 \\ 0.0803& -0.0020& -0.0812& 0.0020 \\ -0.0020& 0.1177& 0.0020& -0.1188 \end{pmatrix}\leq 0. $$

Since Π is negative semidefinite, FCNNs with uncertain parameters in this example realize synchronization in the sense of Lyapunov.

Take $y_{11}(0)=0.05$, $y_{12}(0)=-0.05$, $y_{21}(0)=0.2$, and $y_{22}(0)=-0.2$. The trajectories of the state system are shown in Fig. 5. The trajectories of the error system are shown in Fig. 6. Figure 6 shows that FCNNs with coefficient (68) are synchronized.

Figure 5

State trajectories of the state system in Example 3

Figure 6

State trajectories of the error system in Example 3

Example 4

Consider FCNNs (9) consisting of 5 identical 2-D fractional-order neural networks. Let $\alpha =0.97$, $f_{j}(\xi )=\frac{|\xi +1|-|\xi -1|}{4}\ (j=1,2)$, $d=0.7$,

$$ \begin{aligned} &C= \begin{pmatrix} 0.6& 0 \\ 0 & 0.5 \end{pmatrix}, \qquad B= \begin{pmatrix} 0.1& 0.2 \\ 0.1 & 0.1 \end{pmatrix},\qquad \Gamma = \begin{pmatrix} 0.5& 0.6 \\ 0.7 & 0.3 \end{pmatrix}, \\ &J(t)= \begin{pmatrix} 0.1\sin (t) \\ \cos (t) \end{pmatrix}, \qquad A= \begin{pmatrix} -0.4& 0.2& 0.1& 0& 0.1 \\ 0.2& -0.5& 0& 0.3& 0 \\ 0.1& 0 & -0.5& 0.3& 0.1 \\ 0 & 0.3& 0.3& -0.6& 0 \\ 0.1& 0 & 0.1& 0 & -0.2 \end{pmatrix}. \end{aligned} $$

(69)

It is clear that $f_{j}$ satisfy Assumption 1 with $k_{j}^{-}=-0.5$ and $k_{j}^{+}=0.5$.

Since all conditions in Theorem 1 are satisfied, FCNNs in this example can realize synchronization.

The trajectories of the state system are shown in Fig. 7. From Fig. 7 we see that FCNN system is unstable. The trajectories of the error system are shown in Fig. 8. Figure 8 shows that FCNNs with coefficient (69) realize synchronization.

Figure 7

State trajectories of the state system in Example 4

Figure 8

State trajectories of the error system in Example 4

5 Conclusions

In this paper, we study the synchronization of FCNNs. We construct some novel convex Lyapunov functions containing the activation function information, based on which, we present several novel Mittag-Leffler synchronization criteria for FCNNs with and without uncertain parameters. Then we establish a novel synchronization criterion in the sense of Lyapunov for FCNNs with unsymmetrical coupled matrix. The benefits of the synchronization criteria obtained in this paper are illustrated by four numerical examples. The global synchronization for stochastic dynamic networks [27, 28] and the synchronization in fixed or finite time for fractional-order network [29, 30] have attracted considerable attention in the past few decades. In the future, we will study the global synchronization of fractional-order stochastic neural networks basing on the event-triggered strategy.