Abstract
This paper is concerned with the exponential synchronization for a class of -coupled complex partial differential systems (PDSs) with time-varying delay. The synchronization error dynamic of the PDSs is defined in the -dimensional spatial domain. To achieve synchronization, we added a linear feedback controller. A sufficient condition is derived to ensure the exponential synchronization of the proposed networks using the Lyapunov–Krasovskii stability approach and matrix inequality technology. The proposed system has broad applications. Two example applications are presented in the final section of this paper to verify the proposed theoretical result.
1. Introduction
Over the last few years, complex dynamical networks have been used to describe numerous large-scale systems in different fields, such as natural and human societies. A complex dynamical network is a large set of interconnected nodes; each node represents an individual in the system, whereas the edges denote the relations between them. Typical examples include physical systems, biological neural networks, the Internet, electrical power grids, and social networks. Many interesting and important studies have been previously conducted on various complex dynamical networks [1–5].
Synchronization, a common phenomenon in real systems, occurs within widespread fields such as flushing fireflies, brain web, distributed computing systems, sensor networks, and applause and ranges from natural to artificial networks. The present experiment proves the following: the flicker frequency of a firefly is affected by the flicker frequency of its surrounding luminescence; heart muscle cells can relax and contract the heart valve through synchronous oscillations. Synchronizations are vital in our daily life. Thus, we must find conditions to guarantee that the nodes in a network converge on the same desired trajectory; that is, the network achieves synchronization. Therefore, the synchronization problem of complex networks has attracted great attention in the past and is becoming an important topic. Many important results on synchronization have been obtained for various complex dynamical networks [3–6]. External force controllers usually need to be designed and applied to ensure the synchronization of networks. Several control schemes, such as adaptive, impulsive, and pinning control, have been reported [7–10]. Scholars have used various methods to study asymptotical synchronization, exponential synchronization, passivity synchronization, and synchronization, for different complex networks, and have achieved fruitful results [11–24].
Many phenomena exist in practice, such as the ones in chemical engineering, neurophysiology, and biodynamics, where state variables depend not only on time but also on spatial position. These phenomena are generally modeled in partial differential systems (PDSs). Therefore, increasing concerns have risen on the study of PDSs [25–43]. A significant part of research is based on reaction–diffusion neural network models, such as [25, 34–38]. Multiple intercoupled reaction–diffusion neural networks can generate complex networks, as shown in the following example: the author of [25] discusses the passivity-based synchronization of a complex delayed dynamical network consisting of linearly and diffusively coupled identical reaction–diffusion neural networks. In practice, the nodes of a complex network are not necessarily neurons. For example, in [26], Yang et al. address a class of complex spatiotemporal networks with space-varying coefficients, where node dynamics are described by coupled partial differential equations (PDEs); in [27], Wang et al. study a class of networked linear spatiotemporal networks consisting of identical nodes, where the spatiotemporal behavior of each node is described by parabolic PDEs. Complex network systems with a partial differential term are generally studied more.
The synchronization of complex partial differential systems has also yielded fruitful research results [25–29, 39–43]. Some of the studies have been based on networks without time delay, in which the spatial variables are one-dimensional, such as [26–28]. However, the spatial variable is not always one-dimensional. Thus, the authors expand spatial variables into the -dimensional spatial domain to discuss asymptotical [39], [39], and finite-time synchronizations [40] for two PDSs. No delay exists in the networks in the literature mentioned earlier.
Time delays are often encountered in practical cases, and their existence is often one of the key factors that cause system shock and instability. Hence, the problem of considering time delay in the PDSs has aroused the interest of researchers. In [29], sufficient conditions on asymptotical synchronization for a class of coupled time-delay PDSs via boundary control have been obtained; Wu et al. address the robust synchronization of PDSs with time delay [41, 42]; Wang et al. focus on the passivity problem of a class of delayed reaction–diffusion networks [43].
To date, some studies have been conducted on the exponential synchronization of PDSs, where spatial variables are one-dimensional and the networks have no time lag [26, 27]. However, no literature on the exponential synchronization of time-delay PDS in -dimensional space variables has been published.
Motivated by the above analysis, this paper considers the exponential synchronization for a class of time-varying delay -coupled PDSs in the -dimensional spatial domain. The innovation points of this paper can be summarized as follows:(1)We propose a method that studies exponential synchronization for the time-delay partial differential complex network model with reaction–diffusion term presented in this paper. That is, the sufficient condition of delay-dependent exponential synchronization is obtained by constructing the appropriate Lyapunov–Krasovskii function and using matrix inequality analysis technology. The sufficient condition is presented in the form of a linear matrix inequality and can reflect the influence of time delay on system exponential synchronization, hence becoming a less conservative method than the existing models. To the best of our knowledge, the exponential synchronization of the time-delay partial differential complex network model with multidimensional spatial variables has not yet been studied.(2)We reveal the influence of a diffusion coefficient on the exponential synchronization of the proposed system. The sufficient condition obtained reveals an interesting conclusion: if is sufficiently large, then condition (16) of Theorem 8 will always be satisfied. Hence, a given system will always reach exponential synchronization if the diffusion coefficient is large enough.(3)For the proposed system, we can use the obtained sufficient condition of exponential synchronization and the LMI Control Toolbox in MATLAB to easily calculate the estimated values of the maximum delay margin and maximum exponential synchronization decay rate .
The rest of this paper is organized as follows. In Section 2, a class of -coupled complex PDSs with time-varying delay is presented and some preliminaries are given. In Section 3, we analyze the synchronization of the addressed network based on the Lyapunov–Krasovskii stability theorem and linear matrix inequalities (LMIs) technology. Two numerical examples are provided to verify the effectiveness of the theoretical results in Section 4. Section 5 presents the concluding remarks.
2. Network Model and Preliminaries
2.1. Notations
Throughout this paper, and denote the -dimensional Euclidean space and the set of all real matrices, respectively. For symmetric matrix , the notation means that is a positive-definite matrix. and represent the minimum and maximum eigenvalues, respectively, of the matrix. refers to the space of functions with continuous partial derivatives of an order less than or equal to in . The symbol denotes the Kronecker product.
2.2. Model Description
Consider the following -coupled complex PDSs with time-varying delay, in which each node is an -dimensional dynamical subsystem:
The boundary conditions and initial values are given as follows: where is bounded and continuous on , ; is the number of nodes in the network; is the space variable; is the state vector of the th node; is the time variable; is the smooth nonlinear vector-valued function; and are the positive real numbers for the coupling strength for nondelayed and delayed configurations, respectively; is the positive-definite matrix; , is diffusion reaction coefficients; is the real matrix; and are the positive-definite matrices describing the individual coupling between two nodes for nondelayed and delayed configurations, respectively; and are the topological network structure and coupling strength between nodes for nondelayed and delayed configurations, respectively; if a connection exists between nodes and , then ; else, ; and the elements of the coupling matrix satisfy
can be defined similarly as .
The network in this paper is undirected and weighted.
2.3. Preliminaries
Lemma 1 (see [44]). Let be a cube and let be a real-valued function belonging to which vanishes on the boundary of (i.e., ). Then,
Lemma 2 (see [16]). For any vector , scalar , and positive-definite matrix , the following inequality holds:
Lemma 3 (Schur complement). Suppose and are symmetric matrices; the linear matrix inequality (LMI)is equivalent to one of the following conditions:(1),(2),where is a matrix with suitable dimensions.
Assumption 4. For any vector , there exists a positive constant such that the function satisfies the Lipschitz condition
Assumption 5. There exist real positive constants such that the time delay satisfies .
Let be the function to which all are expected to synchronize and satisfies the following equation:where may be an equilibrium point, a periodic orbit, or a chaotic orbit in the phase space and is bounded and continuous on .
Definition 6. The complex network (1) with initial condition (2) is said to achieve exponential synchronization if there exist constants , such thatwhere stands for the Euclidean vector norm and is synchronous evolution of network (1).
Remark 7. Notice that , where ; then, We add linear state feedback controllers to nodes in network (1); the controlled network is then described bywhere , are the linear state feedback controllers. And is defined bywhere , .
Let , and error dynamics can be described as follows:The synchronization problem of PDSs in (11) becomes the stabilization problem in (13) of the corresponding synchronization.
We can rewrite system (13) in a compact form bywhere , .
Denote
3. Main Results
Theorem 8. Suppose Assumptions 4 and 5 hold for the complex dynamical network (1) with initial condition (2), , if the following matrices exist: , , , , and ,where and network (1) is then exponentially synchronized under controllers (12) in Definition 6.
Proof. Construct the following Lyapunov functional:From Assumption 5, the time derivative of along the trajectory of system (13) is as follows:By using Green’s formula and the boundary condition (2), from Lemma 1, we can obtain the following:Similarly,We can then obtain where a real matrix exists, such that .
By using Assumption 4 and Lemma 2, we can derive Thus, substituting inequalities (22)–(26) in (21), we can obtainAdd to both sides of (27); then,By using Lemma 3, from (16), we deriveTo integrate both sides of inequality (29), we can obtainGiven that , , as given by (18), satisfies the following inequality:Finally, we obtainwhere .
Therefore, by using Definition 6, the error dynamical system (14) is globally exponentially stable at the equilibrium set with the exponential rate . Consequently, network (1) is globally exponentially synchronized under controllers (12). Thus, the proof is completed.
Remark 9. To date, some studies have been conducted on the exponential synchronization of PDSs, where spatial variables are one-dimensional and the networks have no time lag [26, 27]. However, no literature on the exponential synchronization of time-delay PDS in -dimensional space variables has been published.
Remark 10. We reveal the influence of a diffusion coefficient on the exponential synchronization of the proposed system in Theorem 8. The sufficient condition obtained reveals an interesting conclusion: if is sufficiently large, then condition (16) of Theorem 8 will always be satisfied. Hence, a given system will always reach exponential synchronization if the diffusion coefficient is large enough.
Remark 11. The criterion given in Theorem 8 is dependent on the time delay. It is well known that the delay-dependent criteria are less conservative than delay-independent criteria when the delay is small.
Remark 12. From Theorem 8, one can determine an upper bound of such that system (1) is exponentially synchronized. This requires solving the following optimization problem: maximize subject to LMI (16).
This means that system (1) under controllers (12) will be exponentially synchronized if , where is the maximized value of of the optimization problem.
Remark 13. By iteratively solving the LMIs given in Theorem 8 with respect to and , one can find the maximum allowable upper bound , of and , respectively, for guaranteeing the exponential synchronization of system (1).
4. Illustrative Example
In this section, two numerical examples are provided to illustrate the effectiveness of the proposed method.
Example 1. Consider the controlled delayed PDSs consisting of four identical coupling nodes, wherein each node is a one-dimensional value described bywith the initial values where satisfies the Lipschitz condition with .
TakeChoosing the Lyapunov positive-definite matrices and , by iteratively solving the LMIs given in Theorem 8 with respect to , we can find controller matrix .
Moreover, we can get the maximum allowable upper bound , , and of time delay , and exponential rate for guaranteeing the exponential synchronization of system (33).
Example 2. If we take , , with the parameters given in Example 1 and by using the LMI Toolbox in Matlab, we can find the controller matrix and the Lyapunov positive-definite matrices and as follows:Finally, Figures 1–4 show the error dynamical system of the controlled delayed PDSs given by (33), which is globally exponentially stabilized. Network (33) is globally exponentially synchronized, which supports the proposed methods.
5. Conclusion
In this paper, we discuss the exponential synchronization for a class of -coupled complex PDSs with time-varying delay. By using Lyapunov–Krasovskii stability approach and matrix inequality technology, sufficient conditions are derived to ensure the exponential synchronization of the proposed networks. Simulations also verify our theoretical results.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (11372107) and the Natural Science Foundation of Hunan Province (2017JJ4004, 2017JJ5011).