Impulsive Synchronization of Nonlinearly Coupled Complex Networks

This paper investigates synchronization problem of nonlinearly coupled dynamical networks, and an effectively impulsive control scheme is proposed to synchronize the network onto the objective state. Based on the stability analysis of impulsive differential equations, a low-dimensional sufficient condition is derived to guarantee the exponential synchronization in virtual of average impulsive interval. A numerical example is given to illustrate the effectiveness and feasibility of the proposed methods and results.


Introduction
Synchronization of complex networks is an important topic that has drawn a great deal of attention from diverse fields including physics, biology, neuroscience, and mathematics 1-3 .It is also a fundamental phenomenon that enables coherent behavior in networks as a result of interactions.In our real life, there are many interesting and useful network synchronization phenomena, such as, fireflies in the forest, applause, description of heart, and routing messages in the internet.
Due to its potential applications in many different areas, the synchronization of complex dynamical networks has been widely discussed in the last decade.For example, in 4, 5 , the authors studied the synchronization in two specific kinds of networks including scale-free networks and small-world networks.In 6-8 , the authors introduced a timevarying dynamical network with the same prototype of 4, 5 and further investigated its synchronization.In order to simulate more realistic complex networks, the researchers studied the influences of time delays on synchronization in 9-12 .In 9 , the authors extended the model of 4, 5 to a uniform model with coupling delays, and some synchronization criteria for complex networks are derived for both delay-independent and delay-dependent exponential stability of the synchronous state.In 10 , the authors are concerned with global synchronization of coupled delayed neural network.In 11 , the authors studied the globally exponential synchronization in arrays of coupled identical delayed neural networks by using Lyapunov functional method and Kronecker product techniques.Some interesting results about synchronization and consensus of sensor networks with communication constraints have been obtained in 12-14 .However, previous studies on synchronization mainly concerned with linearly coupled dynamical networks, with the coupling matrix constant or time varying, and so forth.Only some papers investigated nonlinearly-coupled networks, such as 15-17 .
Most recently, another synchronization technique, based on impulsive control, has been reported and developed in 18-22 .This technique is very effective and robust and with a low cost since the control input is implemented by the "sudden jumps" of some state variables at some instants.Therefore it is of great importance to study the coupled dynamical networks under impulsive control.Based on the theory of impulsive differential equations, in 18 , the authors proposed an impulsive synchronization criterion for an uncertain dynamical network.In 19 , the authors studied the synchronization of complex dynamical networks with time-varying delays and impulsive effects by introducing the concept of control topology.In 20 , the authors investigated the exponential synchronization of the complex dynamical networks with a coupled delay and impulsive control.By referring to the concept of average dwell time, a unified synchronization criterion was derived by proposing a concept named "average impulsive interval" in 21 .In 22 , the authors investigate the globally exponential synchronization for linearly coupled neural networks with time varying delay and impulsive disturbances under the concept of average impulsive interval.
Motivated by the above discussions, the aim of this paper is to discuss the impulsive synchronization of nonlinearly-coupled complex networks.Based on the stability analysis of impulsive functional differential equations, some sufficient synchronization criteria are derived in virtual of average impulsive interval.
The main contributions of this paper are as follows.First, this paper uses the concept of "average impulsive interval" to obtain the synchronization criterion.It makes the result much less conservative than previous results since the strict requirement on the upper bound and lower bound of the impulsive interval, which always appear in the previous results, is not necessary any more.Second, the model considered in this paper is nonlinearly coupled network, which includes linearly coupled network and array of linearly coupled systems as special cases.
The outline of this paper is given as follows.In Section 2, a model of nonlinearlycoupled complex networks with impulsive control and some necessary definitions are proposed.In Section 3, a sufficient criterion is derived based on the stability analysis of impulsive functional differential equations.In Section 4, a numerical example is given to illustrate the effectiveness and feasibility of the synchronization criterion.
Notation 1.Throughout this paper, some mathematical notations are used.I represents the identity matrix and R {−∞, ∞}.Denote the transpose of the vector x as x T .Without explicitly state, the dimension of the vectors and matrices are assumed to be compatible in the context.

Model Description and Preliminaries
Consider a complex dynamical network consisting of N nonlinearly-coupled identical nodes, which is described by where the nonlinear coupling function h x j t h x j1 t , h x j2 t , . . ., h x jn t T satisfies the following condition: The configuration coupling matrix L ij N×N is defined as follows: if there is a connection between node i and node j j / i , then ij ji > 0; otherwise, ij ji 0; the diagonal elements are defined as ii − N j 1,j / i ij .Γ diag{γ 1 , γ 2 , . . ., γ n } > 0 is the inner coupling positive definite matrix between two connected nodes i and j.
In order to achieve the synchronization of the complex dynamical network 2.1 at the original point, we design an impulsive control law: where the impulsive instant sequence ∞, μ is the impulsive control gain, and δ • is the Dirac delta function.Then, we obtain the following impulsive dynamical network with nonlinear coupling as follows: where i 1, 2, . . ., N, and Δx i t k x i t k − x i t − k is the "jump" in the state variable at the time instant t k , with x i t k lim t → t k x t , and For simplicity, we assume that x t is left continuous at t t k , that is, There are some definitions and denotations that are necessary for presenting the main results as follows.
Definition 2.1.The nonlinear-coupled dynamical network is said to be exponentially synchronized to the original point if there exist some constants > 0 and M > 0 such that for any initial conditions Now, we give the following definition on quadratic QUAD inequality, which plays an important role in the discussion of synchronization.
Definition 2.2.The function f • is said to satisfy f • ∈ QUAD P, Δ, σ , if there exists a positive definite diagonal matrix P diag p 1 , . . ., p n , a diagonal matrix Δ diag δ 1 , . . ., δ n , and a scalar σ > 0, such that where N ζ T, t denotes the number of impulsive times of the impulsive sequence ζ in the time interval t, T .

Main Result
Suppose that we are mainly interested in achieving synchronization of the network 2.3 by defining the controlled synchronization state as original point x * 0, which satisfies f x * 0. Now the main result will be presented in this section.x T i t x i t .

3.2
When t ∈ t k−1 , t k , the derivative of V t with respect to 2.3 can be calculated as follows:

3.5
From the inequalities 3.4 and 3.5 , we can obtain that Therefore, On the other hand, when t t k , k 1, 2, . .., From 3.7 and 3.8 , we know that for any t ∈ t 0 , t 1 , V t ≤ V t 0 e α t−t 0 , which leads to Let N ζ t, t 0 be the number of impulsive times of the impulsive sequence ζ on the interval t 0 , t .Hence for any t ∈ R we can obtain Since μ ∈ −2, 0 , it follows from Definition 2.3 that

3.11
Since η 2 ln |1 μ| /T a α < 0, the system 2.1 can be exponentially stabilized to the original point, which implies exponential synchronization of the impulsive dynamical network 2.3 .The proof is completed.Remark 3.2.Due to the introduction of the concept "average impulsive interval", the requirement on the lower bound and upper bound of impulsive interval is removed in Theorem 3.1.It makes our result less conservative.

Numerical Example
In this section, based on the results obtained in the previous section, we consider the impulsive control of four nonlinearly-coupled canonical Lorenz systems to show the effectiveness of our results.The network is described as follows: ẋi f x i t c The uncoupled canonical Lorenz system ẏ t f y t is described as and the respective double-scroll attractor is shown in Figure 1.
In this case, we can prove that the coupled Lorenz system satisfies the QUAD condition with P I, Δ diag{10, 19, −5/3} and σ 1, which can be verified in the following:  Then α −2σ 2 max k {δ k } 36.If we choose average impulsive interval T a 0.125 and μ −1.1, the sufficient condition in the Theorem 3.1 will be satisfied with 2 ln |1 μ| /T a α < 0. The simulation results of x i t , i 1, 2, 3, 4 are shown in Figure 2 with the coupling strength c 1.

Conclusion
In this paper, the synchronization of nonlinearly-coupled networks has been investigated.By using the impulsive controllers, the nonlinearly-coupled dynamical networks can be synchronized to the original point.A criterion for the synchronization is derived by using the stability analysis of impulsive differential equations and the concept of average impulsive interval.A numerical example is finally given to illustrate the effectiveness and feasibility of the proposed method and result.One of the future research topics would be extending the present results to the synchronization of nonlinearly coupled networks by impulsively controlling a small fraction of nodes.

Figure 1 :
Figure 1: The double-scroll attractor of the Lorenz system.
Definition 2.3 see 20 average impulsive interval .The average impulsive interval of the impulsive sequence ζ {t 1 , t 2 , . ..} is less than T a , if there exist positive integer N 0 and positive number T a , such that