Volume 2013, Issue 1 802859
Research Article
Open Access

Generalized Outer Synchronization between Complex Networks with Unknown Parameters

Di Ning

Di Ning

School of Mathematics and Statistics, Wuhan University, Wuhan 430072, China whu.edu.cn

School of Mathematics and Statistics, South-Central University for Nationalities, Wuhan 430074, China scuec.edu.cn

Search for more papers by this author
Xiaoqun Wu

Corresponding Author

Xiaoqun Wu

School of Mathematics and Statistics, Wuhan University, Wuhan 430072, China whu.edu.cn

Search for more papers by this author
Jun-an Lu

Jun-an Lu

School of Mathematics and Statistics, Wuhan University, Wuhan 430072, China whu.edu.cn

Search for more papers by this author
Hui Feng

Hui Feng

School of Mathematics and Statistics, Wuhan University, Wuhan 430072, China whu.edu.cn

Search for more papers by this author
First published: 26 December 2013
Citations: 5
Academic Editor: Massimo Furi

Abstract

As is well known, complex networks are ubiquitous in the real world. One network always behaves differently from but still coexists in balance with others. This phenomenon of harmonious coexistence between different networks can be termed as “generalized outer synchronization (GOS).” This paper investigates GOS between two different complex dynamical networks with unknown parameters according to two different methods. When the exact functional relations between the two networks are previously known, a sufficient criterion for GOS is derived based on Barbalat′s lemma. If the functional relations are not known, the auxiliary-system method is employed and a sufficient criterion for GOS is derived. Numerical simulations are further provided to demonstrate the feasibility and effectiveness of the theoretical results.

1. Introduction

The past decade has seen many important achievements in the research of synchronization of complex networks. Most of this research has been focused on the coherent behavior within a network, where all the nodes within a network arrive at the same steady state [17]. This kind of synchronization, which was termed as “inner synchronization” [8], has attracted wide attention. However, in many real-world complex networks, there exist other kinds of synchronization, such as “outer synchronization” between two networks [8, 9], where the “complete outer synchronization” was studied under the assumption that all individuals in two networks have exactly identical dynamics. However, this kind of assumption may seem impractical. Take the predator-prey interactions in ecological communities as an example, where predators and preys influence one another’s behaviors. Without preys there would not be predators, while too many predators would bring the preys into extinction. The networks of predators and preys will finally reach harmonious coexistence without any man-made sabotage. It is worth noting that inside the networks of predators or preys, one individual always behaves differently from another. Thus it is more practical to assume that the nodes have different dynamics. Furthermore, the interaction patterns of predators themselves usually differ from those of preys; that is to say, the topological structure of the predators community is different from that of the preys community. There are a great many examples about harmonious coexistence between different real-world networks.

This kind of coexistence between different dynamical networks is termed as “generalized outer synchronization” [10], which represents another degree of coherence. As is known, due to parameter variation, various dynamics, or random perturbations, one individual always behaves differently from but still coexists in balance with others. That is to say, generalized synchronization widely exists. Particularly, it plays an important role in engineering networks [1113], biological systems [10], social activities, and many other fields. Therefore, it is necessary and significant to investigate this kind of relationships between different dynamical networks.

In general, the methods to achieve GS can be divided into two classes. One approach is to design control laws to force coupled systems to satisfy a prescribed functional relation. But this approach has the disadvantage that the designed controllers are usually quite complicated and thus difficult to implement in real applications. The other is the auxiliary-system approach, proposed by Abarbanel et al. [2], which makes an identical duplication of the response system that is driven by the same driving signal, as shown below:
()
where x, y, zRn are, respectively, the states of the drive, response, and auxiliary systems. GS between x(t) and y(t) occurs if lim ty(t) − z(t)∥ = 0 for any initial conditions y(t0) ≠ z(t0), that is, if the response system and the auxiliary system achieve complete synchronization (CS). This method has been widely used in many fields and also extended to the area of complex networks [1416]. It is noticed that it fails to decide what kind of functional relations exists between each other when nodes of the network achieve GS. However, if the purpose is only to show that there exists GS on networks rather than the exact functional relations, this approach is efficient for investigation of GS on complex networks.

Some recent work [10, 1723] has studied generalized outer synchronization (GOS) in complex networks or complex systems, where the node dynamics parameters are known in advance. Nevertheless, in many practical situations, it is common that some system parameters cannot be exactly known in prior, and the synchronization will be destroyed and broken by the effects of these uncertainties.

Motivated by the above discussions, generalized outer synchronization between two dynamical networks with unknown parameters is investigated, where nodes in the two networks may have identical or different dynamics and the topological structures are different. Since the functional relations may be previously known or unknown, two kinds of generalized synchronization are considered.

The paper is organized as follows. In Section 2, GOS between two networks with predefined functional relations is investigated and the theoretical result is presented. In Section 3, based on the auxiliary-system method, GOS with unknown functional relations is studied. In Section 4, various numerical simulations are provided to demonstrate the feasibility and effectiveness of the theoretical results. A brief conclusion is drawn in Section 5.

2. GOS with Predefined Functional Relations

Consider the following complex dynamical network consisting of N nonidentical nodes as the drive network, which is described by
()
Here, xi(t) = (xi1, …, xin) TRn is the state vector of the ith node, Aixi(t) + fi(xi(t), t) + Fi(xi(t))α represents the node dynamics, α is the unknown parameter vector, PRn×n is the inner-coupling matrix determining the interaction of variables, and B = (bij) N×N is the coupling configuration matrix representing the coupling strength and the topological structure of the network, in which bij is defined as follows: if there is a connection from node j to node i(ji), bij ≠ 0; otherwise, bij = 0. The diagonal elements of matrix B are defined as
()
Consider another complex network which will be referred to as the response network with a different topological structure and nonidentical node dynamics as follows:
()
where yi(t) = (yi1, …, yim) TRm is the state vector of node i, represents the node dynamics which contains the unknown parameter vector β, ui(i = 1,2, …, N) are the controllers to be designed, and the other notations convey similar meanings as those in the drive network.

Definition 1. Let ϕi : RnRm(i = 1,2, …, N) be continuously differentiable vector maps. The two networks (2) and (4) are said to achieve asymptotical generalized outer synchronization if

()

Assumption 2 (global Lipschitz condition). Suppose that there exist nonnegative constants Li  (i = 1,2, …, N), such that for any time-varying vectors x(t), y(t) ∈ Rm, one has

()
where ∥·∥ denotes the 2-norm throughout the paper.

When the functional relations ϕi : RnRm(i = 1,2, …, N) are known, one arrives at the following theorem with the network models given above.

Theorem 3. Suppose that Assumption 2 holds. The dynamical networks (2) and (4) reach generalized outer synchronization as defined in Definition 1 with the following controllers:

()
and updating laws
()
where r1 and r2 are positive constants, and Dϕi(xi) is the Jacobian matrix of the map ϕi(xi).

Proof. Define ei = yiϕi(xi). From (2) and (4), one has

()
where ei = (ei1, ei2, …, eim) TRm.

Consider the following Lyapunov candidate function:

()
The derivative of V along the trajectory of (9) is
()

Denote L = max {Lii = 1,2, …, N}. Let , , 𝒬 = CQ, and let λm(·) be the largest eigenvalue of the matrix. Thus one has

()

Let

()
one obtains
()

Obviously, , so V(t) is uniformly continuous. Furthermore, V(t) ≤ V(0)e−2t; that is, exists, then V(t) is integrable on [0, +]. According to Barbalat’s lemma, one gets lim tV(t) = 0, thus lim tei(t) = 0 for i = 1,2, …, N. That is, networks (2) and (4) achieve generalized outer synchronization asymptotically. This completes the proof.

3. GOS with Unknown Functional Relations

The preceding section focuses on GOS between networks (2) and (4) with previously known relations yi = ϕi(xi), i = 1,2, …, N. However, the functional relations are sometimes unknown. For this case, one has to refer to the auxiliary-system method proposed by Kocarev and Parlitz [24]. According to the method, one can make a replica for each system in the response network (4), which results in the following network:
()
where ziRm. The drive network (2) and the response network (4) are said to achieve generalized outer synchronization; if the response network (4) and the auxiliary network (15) reach complete outer synchronization, that is, lim t ∥zi(t) − yi(t)∥ = 0 for any initial conditions yi(0) ≠ zi(0)(i = 1,2, …, N).

Assumption 4 (global Lipschitz condition). Suppose that there exist nonnegative constants , such that

()
holds for any time-varying vectors y(t), z(t) ∈ Rm, where β* is the parameter vector.

Theorem 5. Suppose that Assumptions 2 and 4 hold. Using the following controllers:

()
and updating laws
()
then the drive network (2) and the response network (4) reach generalized outer synchronization.

Proof. According to the auxiliary-system method, networks (2) and (4) achieve generalized outer synchronization if networks (4) and (15) reach complete outer synchronization. Define the synchronization error between (4) and (15) for the ith node as ei = ziyi. Then the error dynamical systems can be described by

()

Let u(xi, zi) = −k(zixi) and u(xi, yi) = −k(yixi). Then the error dynamical systems can be rewritten into

()
where i = 1,2, …, N.

Consider the following Lyapunov candidate function:

()
The derivative of V along the trajectory of (20) is
()
where L = max (L1, L2, …, Ln) and .

Let e, 𝒜, 𝒬, and λm(·) have the same meaning as that in the proof of Theorem 3, then it turns out

()

Taking

()
one obtains
()

According to Barbalat’s lemma, networks (4) and (15) achieve complete outer synchronization; that is, networks (2) and (4) achieve generalized outer synchronization. This completes the proof.

4. Numerical Simulations

In this section, numerical simulations are carried out on networks consisting of 20 nodes to verify the effectiveness of the control schemes obtained in the preceding sections. Watts-Strogatz (WS) [25] algorithm is employed here to generate a small-world network. Specifically, start from a ring-shaped network with 20 nodes, with each node connecting to its 4 nearest neighbors. Then, rewire each edge in such a way that the beginning end of the edge is kept but the other end is disconnected with probability p and reconnected to another node randomly chosen from the network. In all the following simulations, a WS small-world network generated with rewiring probability p = 0.1, as shown in the left panel of Figure 1, is used as the topological structure for the drive network. Moreover, a directed ring network is employed as the structure of the response network, as shown in the right panel of Figure 1. The weight for every existent edge is supposed to be 0.01. For brevity, the inner-coupling matrices P and Q are taken as identity matrices with proper dimensions.

Details are in the caption following the image
A 20-node network generated using the WS small-world algorithm, where the rewiring probability p = 0.1 (left); a 20-node directed ring network (right).

4.1. GOS with Known Functional Relations

4.1.1. GOS with Identical Node Dynamics

In this subsection, it is supposed that nodes in the drive and response networks have the same dynamics described by the well-known Lorenz system [26]:
()
where the parameter vector α = (a,b,c) is unknown. Since Lorenz system is chaotic, it is easy to verify that it is bounded. Figure 2 displays a typical Lorenz chaotic attractor.
Details are in the caption following the image
Phase diagram of the Lorenz attractor for a = 10, b = 8/3, and c = 28.
For a response network (4) consisting of identical Lorenz systems, one has
()
and the unknown parameter vector is β = (l, m, n) .
First consider complete outer synchronization between the drive and response networks; that is, the functional relations are
()
The feedback gain k in the controllers is taken as 10, and the gains r1, r2 in the updating laws (8) are taken as 10. The left panel of Figure 3 displays the GOS error E(t) between the drive and response networks, where E(t) = 〈∥yi(t) − xi(t)∥〉 and 〈·〉 means averaging over all the nodes. One can see from the panel that complete outer synchronization is quickly achieved by employing the control method proposed in Theorem 3. The right panel of Figure 3 shows the estimated evolution of unknown parameters in the drive and response networks. It is obtained that all the estimated parameters evolving with the updating laws (8) tend to some certain constants, which is consistent to the proof of Theorem 3.
Details are in the caption following the image
(a) Synchronization error between the drive and response networks composed of identical node dynamics; (b) estimation of unknown parameters in the drive and response networks. Here, the node dynamics is Lorenz system, and the functional relations are yi = xi.
Details are in the caption following the image
(a) Synchronization error between the drive and response networks composed of identical node dynamics; (b) estimation of unknown parameters in the drive and response networks. Here, the node dynamics is Lorenz system, and the functional relations are yi = xi.
Next, consider the following nonlinear functional relations:
()
then
()

The GOS error E(t) = 〈∥yiϕi(xi)∥〉 between the drive and response networks is displayed in Figure 4. It is obvious that the two networks reach generalized outer synchronization with the proposed controller and updating laws (8). The phase diagrams of node 3 in both networks are displayed in Figure 5. Some corresponding subvariables of node 3 are also depicted in Figure 6, where transients are discarded. The relationships between dynamics of corresponding nodes in the two networks can be clearly observed.

Details are in the caption following the image
GOS error between the drive and response networks consisting of identical Lorenz systems, with the functional relations being .
Details are in the caption following the image
The phase diagrams for node 3 in the drive and response networks consisting of identical Lorenz systems, with the functional relations being . (a) Node 3 in the drive network; (b) node 3 in the response network.
Details are in the caption following the image
The phase diagrams for node 3 in the drive and response networks consisting of identical Lorenz systems, with the functional relations being . (a) Node 3 in the drive network; (b) node 3 in the response network.
Details are in the caption following the image
Relationships between the subvariables for node 3 in the drive and response network. Left: yi1 = 2xi1; right: .
Details are in the caption following the image
Relationships between the subvariables for node 3 in the drive and response network. Left: yi1 = 2xi1; right: .

4.1.2. GOS with Different Node Dynamics

In this subsection, the classical Lorenz system is still taken as the node dynamics in the drive network. Chen system [27] is taken as the node dynamics in the response network, which is described by
()
where the parameter vector β = (l, m, n)  is supposed to be unknown. A typical Chen attractor is shown in Figure 7.
Details are in the caption following the image
Phase diagram of the Chen attractor for l = 35, m = 3, and n = 28.
Let the functional relations be
()
Thus
()

Figure 8 displays the GOS error E(t) = 〈∥yi(t) − ϕi(xi(t))∥〉 between the two different networks, with k = 100, r1 = r2 = 10. It is obvious that E(t) tends to zero after a short transient period. Figure 9 shows the dynamics of node 3 in the drive and response networks, where projections on different planes are displayed.

Details are in the caption following the image
GOS error with different node dynamics, where the node dynamics in the drive and response networks are the Lorenz and Chen systems with unknown parameters, respectively. Here, the functional relations are (yi1, yi2, yi3) = (2xi1, 2xi2 − 1, xi3).
Details are in the caption following the image
Phase plane diagrams for node 3, where (yi1, yi2, yi3) = (2xi1, 2xi2 − 1, xi3). (a) Projection in the (xi1, xi2) plane of node 3 in the drive network. (b) Projection in the (yi1, yi2) plane of node 3 in the response network.
Details are in the caption following the image
Phase plane diagrams for node 3, where (yi1, yi2, yi3) = (2xi1, 2xi2 − 1, xi3). (a) Projection in the (xi1, xi2) plane of node 3 in the drive network. (b) Projection in the (yi1, yi2) plane of node 3 in the response network.

4.2. GOS with Unknown Functional Relations

Take the node dynamics in the drive network to be Lorenz system with three unknown parameters and that in the response network to be the classical Chen system with two unknown parameters, as described by
()
Thus in the auxiliary network, the node dynamics is
()

Let k = 20 in the controllers (17), and r = 10 in the updating laws (18). Figure 10 displays the synchronization error between the response and auxiliary networks, where E(t) = 〈∥zi(t) − yi(t)∥〉. One can see that when the control is imposed, the synchronization error quickly tends to zero, which means the existence of generalized outer synchronization between the drive and response networks. Figure 11 plots the dynamics of node 3 in the drive and response networks.

Details are in the caption following the image
Synchronization error between the response and auxiliary networks.
Details are in the caption following the image
Phase diagrams of node 3 in the drive network (a) and response network (b).
Details are in the caption following the image
Phase diagrams of node 3 in the drive network (a) and response network (b).

5. Conclusions

Research on generalized outer synchronization between complex networks has attracted wide attention in the past few years. To the best of our knowledge, few works focused on the case that the node dynamics parameters are unknown. In this paper, the generalized outer synchronization between two complex dynamical networks with unknown parameters has been investigated, with previously known or unknown functional relations. The feasibility and applicability of the theoretical findings have been validated by numerical simulations.

Acknowledgments

This work was supported in part by the National Natural Science Foundations of China (Grant nos. 61174028, 11172215, and 91130022) and in part by the Fundamental Research Funds for the Central Universities (Grant no. CZQ11010).

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.