Abstract
The stability of coupled systems with time-varying coupling structure (CSTCS) is considered in this paper. The graph-theoretic method on a digraph with constant weight has been successfully generalized into a digraph with time-varying weight. In addition, we construct a global Lyapunov function for CSTCS. By using the graph theory and the Lyapunov method, a Lyapunov-type theorem and some sufficient criteria are obtained. Furthermore, the theoretical conclusions on CSTCS can successfully be applied to the predator-prey model with time-varying dispersal. Finally, a numerical example of CSTCS is given to illustrate the effectiveness and feasibility of our results.
Similar content being viewed by others
1 Introduction
During the past few decades, coupled systems (CSs) have been used to model a wide variety of systems in many fields, such as physics [1–3], biology [4–6] and social science [7]. The general CSs can be described as follows:
where \(f_{k}\) and \(H_{kh}\) are continuous functions, and \(a_{kh}\) represents the coupling strength. At the same time, it is of great importance to analyze the stability of CSs, because most applications of CSs heavily depend upon their stability. There are lots of results on CSs with time-invariant coupling structure having been reported (see [1, 4, 5, 8–10] and the references therein). In [11], the stability problem for a multi-group SIRS epidemic model was investigated. Guo et al. [12] considered the stability of a stochastic neural networks with infinite delay and Markovian switching. In [13, 14], Li et al. used graph theory to explore the global stability for general coupled systems of ordinary differential equations. Following this pioneering work in [13, 14], many scholars have studied the dynamics of CSs by this technique and obtained a number of conclusions [15–23]. Moreover, the method has been extended to stochastic systems [24–28], discrete time systems [29], and time delay systems [30].
Generally speaking, the coupling structure of CSs is not constant. For example, in biomathematics, the dispersal rate of some species among different groups changes over time. When a natural disaster occurs, such as earthquakes and flood, some species will migrate to a safe place, then the dispersal rate of them will improve significantly. In epidemiology, the transmission rate of infectious diseases is also time-varying. For instance, population migration across regions increases greatly during the high season, and then the transmission rate of infectious diseases will be higher. However, when some regions discontinue with each other due to some reasons, the transmission rate of infectious diseases will be lower. All these facts can illustrate that time-varying coupling structure should not be neglected. Thus, we should take this time-varying coupled behavior into account, which can help us investigate the persistence of species and control infectious diseases. Consequently, it is essential for us to investigate the coupled systems with time-varying coupling structure (CSTCS). Unfortunately, as far as we know, few papers mentioned in the existing literature consider CSTCS.
Until now, many researchers, including us, have given some results of global stability of CSs. However, in our previous work we do not consider the time-varying coupling structure. In this paper, in order to make up for the defect of our previous work and characterize CSs reasonably, we will devote ourselves to the investigation of CSTCS. Generally, compared with system (1), \(a_{kh}(t)H_{kh}(x_{k}(t),x_{h}(t))\) may more reasonably be used to describe the interactions within a group or among different groups in the course of the dispersal. However, it is intricate to study the dynamics of CSTCS, since constructing a global Lyapunov function and estimating the symbol of its derivative are complex and technical under the circumstances of the time-varying coupling structure.
Motivated by the above discussions, in this paper, by introducing the time-varying coupling structure, we present a class of novel CSs that is CSTCS. Based on the graph theory and the Lyapunov method, a systematic method is established to construct a global Lyapunov function for CSTCS. Moreover, sufficient criteria ensuring the stability of CSTCS can be obtained. Furthermore, we consider a predator-prey model with time-varying dispersal. Meanwhile, stability criteria for it are presented, respectively. Then a numerical example is given to illustrate the effectiveness of our results.
The paper is outlined as follows. In Section 2, we introduce several preliminaries and give the formulation of the CSTCS. In Section 3, sufficient criteria of the stability for CSTCS are obtained. The stability results for predator-prey model with time-varying dispersal in Section 4. Finally, a numerical example is given in Section 5.
2 Preliminaries and model formulation
2.1 Mathematical preliminaries
For the sake of simplicity, the following notations are used in this paper. Let \(\mathbb{Z}^{+}=\{1,2,\ldots\}\), \(\mathbb{L}=\{1,2,\ldots,l\} \), \(\mathbb{R}^{1}_{+}=[0,+\infty)\), \(n=\sum_{k=1}^{l}n_{k}\) for \(n_{k}\in\mathbb{Z}^{+}\), and \(\mathbb{R}^{n}\) denote n-dimensional Euclidean space. And we write \(C^{1,1}(\mathbb{R}^{n}\times\mathbb {R}^{1}_{+};\mathbb{R}^{1}_{+})\) for the family of all nonnegative functions \(V(x,t)\) on \(\mathbb{R}^{n}\times\mathbb{R}^{1}_{+}\) that are continuously once differentiable at x and t.
In this paper, use \((\mathcal{G},A)\) to represent the digraph with l vertices. Let \(V(\mathcal{G})\) denote the set of vertices in \(\mathcal {G}\); without loss of generality, let \(V(\mathcal{G})=\mathbb{L}\).
In what follows, we show an important lemma in [14] which will be used in the proof of our main results.
Lemma 1
Assume \(n\geq2\). Let \(c_{k}\) denote the cofactor of the kth diagonal element of the Laplacian matrix of \((\mathcal{G},A)\). Then the following identity holds:
Here, for any \(k, h\in\mathbb{L}\), \(F_{kh} (x_{k},x_{h} )\) is an arbitrary function, \(\mathbb{Q} \) is the set of all spanning unicyclic graphs of \((\mathcal {G},A )\), \(W(\mathcal{Q})\) is the weight of \(\mathcal{Q}\), and \(\mathcal{C}_{\mathcal{Q}}\) denotes the directed cycle of \(\mathcal {Q}\). In particular, if \((\mathcal{G},A )\) is strongly connected, then \(c_{k}>0\) for \(k\in\mathbb{L}\).
2.2 Model formulations
To begin with, we will establish CSTCS on a digraph \(\mathcal{G}\) with l (\(l\geq2\)) vertices. We assume that the kth vertex is described by
where \(x_{k}=(x_{k_{1}},x_{k_{2}},\ldots,x_{k_{n_{k}}})^{\mathrm{T}}\in \mathbb{R}^{n_{k}}\), and \(f_{k}: \mathbb{R}^{n_{k}}\times\mathbb {R}_{+}^{1}\rightarrow\mathbb{R}^{n_{k}}\) is a continuous function.
Secondly, we take the influence of coupling structure into account. Let \(a_{kh}(t)\) and \(H_{kh}(x_{k},x_{h})\) be continuous functions, representing the time-varying coupling strength and coupling function of the hth vertex to the kth vertex, respectively. Here \(a_{kh}(t)H_{kh}(x_{k},x_{h})=0\) if and only if there exists no coupling influence from the hth vertex to the kth vertex for any \(t\geq0\). Hence, for the kth vertex, via replacing \(f_{k}(x_{k}(t),t)\) by \(f_{k}(x_{k}(t),t)+\sum_{h=1}^{l}a_{kh}(t)H_{kh} (x_{k}(t),x_{h}(t) )\) we get the following CSTCS:
In the proofs of our main theorems, a Lyapunov function for system (3) is constructed by combining the Lyapunov functions of vertices with the coupling structure. In the sequel, the definition of a vertex Lyapunov function set is given as follows.
Definition 1
The set \(\{V_{k}(x_{k},t),k\in\mathbb{L}\}\) is called a vertex Lyapunov function set for system (3) if the following conditions are satisfied for any \(k\in\mathbb{L}\) and \(t\geq0\).
- V1.:
-
There exist functions \(V_{k}(x_{k},t)\), \(b_{kh}(t)\) and \(F_{kh}\) such that
$$ \begin{aligned} \frac{\mathrm{d}V_{k}(x_{k},t)}{\mathrm{d}t} &\triangleq\frac{\partial V_{k}(x_{k},t)}{\partial t}+ \frac{\partial V_{k}(x_{k},t)}{\partial x_{k}} \Biggl(f_{k}\bigl(x_{k}(t),t\bigr)+\sum _{h=1}^{l}a_{kh}(t)H_{kh} \bigl(x_{k}(t),x_{h}(t) \bigr) \Biggr) \\ & \leq\sum_{h=1}^{l} b_{kh}(t)F_{kh} \bigl(x_{k}(t),x_{h}(t)\bigr)-\frac {d'_{k}(t)}{d_{k}(t)}V_{k} \bigl(x_{k}(t),t\bigr), \end{aligned} $$where \(d_{k}(t)\) is the cofactor of the kth diagonal element of the Laplacian matrix of \((\mathcal{G}, (b_{kh}(t))_{l\times l})\).
- V2.:
-
Along each directed cycle \(\mathcal{C}\) of the weighted digraph \((\mathcal{G}, (b_{kh}(t))_{l\times l})\), we have
$$ \sum_{(h,k)\in E(\mathcal{C})}F_{kh} \bigl(x_{k}(t), x_{h}(t)\bigr)\leq0, $$(4)for all \(x_{k}\in\mathbb{R}^{n_{k}}\), \(x_{h}\in\mathbb{R}^{n_{h}}\).
We always suppose that all assumptions as regards the existence and uniqueness in Theorems 1.1 and 3.1 in [31] are fulfilled, so system (3) has a unique global solution for any given initial value \(x(0)=x_{0}\), and we here denote the solution by \(x(t;x_{0})\). Assume furthermore that \(f_{k}(0,t)=0\) and \(H_{kh}(0,0)=0\). Then system (3) has a trivial solution \(x(t)\equiv0\).
3 Global stability analysis for CSTCS
In this section, we investigate the stability of the trivial solution of system (3). Based on the graph theory and the Lyapunov method, we shall establish a theoretical framework for constructing a global Lyapunov function of system (3). The method used in the proof of main results is motivated by [13, 14].
Throughout this section, we always assume that \((\mathcal {G},(b_{kh}(t))_{l\times l})\) is strongly connected for any \(t\geq0\).
Theorem 1
Suppose that system (3) admits a vertex Lyapunov functions set \(\{V_{k}(x_{k},t), {k\in\mathbb{L}}\}\). Then
satisfies \(\dot{V}(x(t),t)\leq0\) for \(t\geq0\). In other words, it is a Lyapunov function of system (3).
Proof
By using (5) and condition V1, we can derive that
By Lemma 1, we have
where \(\mathbb{Q}(t)\) is the set of all spanning unicyclic graph of \((\mathcal{G},(b_{kh}(t))_{l\times l})\), \(W(\mathcal{Q}(t))\) is the weight of \(\mathcal{Q}(t)\), and \(\mathcal{C}_{\mathcal{Q}(t)}\) denotes the directed cycle of \(\mathcal{Q}(t)\). Then, making use of condition V2 and the fact that \(W(\mathcal{Q}(t))\geq0\), we obtain
The proof is complete. □
With the help of some properties in graph theory, now some other simple conditions are discussed. Note that if \((\mathcal{G},(b_{kh}(t))_{l\times l})\) is balanced for any \(t\geq0\), then
In this case, (4) can be replaced by
Based on this, a corollary is showed below.
Corollary 1
If \((\mathcal{G},(b_{kh}(t))_{l\times l})\) is balanced for any \(t\geq 0\), the conclusion of Theorem 1 holds if (4) is replaced by (7).
Furthermore, if for every \(F_{kh}(x_{k}(t),x_{h}(t))\) there exist functions \(P_{k}(x_{k}(t))\) and \(P_{h}(x_{h}(t))\), such that
then (4) follows naturally. Thus we obtain one more corollary below.
Corollary 2
If \((\mathcal{G},(b_{kh}(t))_{l\times l})\) is balanced for any \(t\geq 0\), the conclusion of Theorem 1 holds if (4) is replaced by (8).
Remark 1
In Theorem 1, we apply the graph theory and the Lyapunov method to prove the stability of system (3). Recently, the stability problem for coupled systems has been widely studied. In [14], Li et al. used graph theory to explore the global-stability problem for coupled systems of differential equations on networks. In this work, if \(a_{kh}(t)=a_{kh}\), our conclusion will be consistent with the Theorem 3.1 in [14]. Hence, our work is a generalization of the previous studies of CSs with time-invariant structure.
Remark 2
The stability result is based on the vertex Lyapunov functions set in Theorem 1. In practical applications, since finding a suitable Lyapunov function is quite difficult, the stability criterion in Theorem 1 is not very convenient to be verified for a given system. Thus it prompts us to establish a coefficient-type criterion for the stability analysis of system (3).
Theorem 2
Let \(p\geq2\). The trivial solution of system (3) is stable if the following conditions hold for any \(k,h\in\mathbb{L}\) and \(t\geq0\).
- A1.:
-
There is a constant \(\alpha_{k}>0\) such that
$$x_{k}^{\mathrm{T}}f_{k}(x_{k},t)\leq- \alpha_{k} \vert x_{k} \vert ^{2}. $$ - A2.:
-
There exists a constant \(A_{kh}\) such that
$$\bigl\vert H_{kh} (x_{k},x_{h} ) \bigr\vert \leq A_{kh} \bigl( \vert x_{k} \vert + \vert x_{h} \vert \bigr). $$ - A3.:
-
The digraph \((\mathcal{G},H(t))\), where \(H(t)=(A_{kh}a_{kh}(t))_{l\times l}\), is strongly connected and
$$ -\alpha_{k}p+2p\sum_{h=1}^{l}A_{kh}a_{kh}(t) \leq-\frac{g'_{k}(t)}{g_{k}(t)}, $$(9)where \(g_{k}(t)\) is the cofactor of the kth diagonal element of the Laplacian matrix of \((\mathcal{G},H(t))\).
Proof
For any \(k\in\mathbb{L}\), define a function \(V_{k}(x_{k},t)= \vert x_{k} \vert ^{p}\). Making use of condition A1, we get
By using condition A2 and the inequality (see [32], p.52)
in which \(p, q>0\), we have
Substituting it into (10) yields
where \(F_{kh}(x_{k}(t),x_{h}(t))= \vert x_{h}(t) \vert ^{p}- \vert x_{k}(t) \vert ^{p}\). Therefore, we verify the existence of a vertex Lyapunov functions set \(\{V_{k}(x_{k},t), k\in\mathbb{L}\}\) for system (3). Then we see that the trivial solution of system (3) is stable, which completes this proof. □
Remark 3
In Theorem 2, considering condition A3 one needs to compute the derivative of determinant. Computing the derivative of high-order determinant is difficult. Thus the condition of Theorem 2 is not easy to verify. In Theorems 3, 4, we will use conditions that are described by the coefficients \(a_{kh}(t)\) to study the stability of system (3), which are easier to verify.
Theorem 3
When \(a'_{kh}(t)\leq0\) for all \(k,h\in\mathbb{L}\), the conclusion of Theorem 2 holds if (9) is replaced by
Proof
By the definition of \(H(t)\), let \(B_{ij}=A_{ij}a_{ij}(t)\) and we can obtain
Because the digraph is strongly connected and \(a'_{kh}(t)\leq0\), we can obtain \(g'_{k}(t)\leq0\). Furthermore, we can compute that
Because \(a'_{kh}(t)\leq0\), we have \(g'_{k}(t)\leq0\). Thus we obtain
Consequently, it easily follows that
Then the condition A3 is satisfied. Thus we have verified all conditions in Theorem 2. This completes the proof. □
Theorem 4
When \(a_{kh}(t)=a_{k}(t)\), \(k,h\in\mathbb{L}\), the conclusion of Theorem 2 holds if (9) is replaced by
Proof
By the definition of \(H(t)\), we have
where
Then it is easy to get
Thus
Therefore, condition A3 holds. Then the proof is complete. □
4 An application to the predator-prey model with time-varying dispersal
In this section, we consider a predator-prey model, in which the dispersal rate of preys among l (\(l\geq2\)) patches is time-varying, the details are as follows:
where \(x_{k}\) and \(y_{k}\) denote the densities of preys and predators on the patch k, respectively. The parameters in the system (11) are nonnegative constants, and \(e_{k}\), \(\varepsilon_{k}\), \(\delta_{k}\) and \(b_{k}\) are positive. The notations and useful definitions in this section are as follows:
- \(r_{k}\)::
-
the intrinsic growth rate of the preys in the absence of predation in patch k,
- \(\gamma_{k}\)::
-
the death rate of the predators in patch k,
- \(b_{k}\)::
-
the intra-specific competition rate of the preys in patch k,
- \(\delta_{k}\)::
-
the intra-specific competition rate of the predators in patch k,
- \(\varepsilon_{k}x_{k}\)::
-
the proportion of preys which are eaten and become predators,
- \(e_{k}\)::
-
the predator response function for the predator with respect to that particular prey in the kth patch.
Function \(a_{kh}(t)\geq0\) is the dispersal rate of preys from patch h to patch k. Constant \(\alpha_{kh}\geq0\) is a boundary condition in the continuous diffusion case.
Remark 4
In existing literature, many researchers have investigated the predator-prey model with time-invariant dispersal (see [21, 33] and the references therein). However, to our knowledge, there is little work as regards the predator-prey model with time-varying dispersal. In this paper, if \(a_{kh}(t)=a_{kh}\), system (11) turns into system (6.1) in [14]. Hence, system (11) is much more general since it considers a dispersal rate of preys which is not constant but time-varying.
Remark 5
If we simplify system (11), in other words, if we let \(r_{k}=r\), \(b_{k}=b\), \(e_{k}=e\), \(\gamma_{k}=\gamma\), \(\delta_{k}=\delta\), \(\varepsilon_{k}=\varepsilon\), and \(a_{kh}(t)=\alpha_{kh}=1\), then it is trivial to see that system (11) has a unique equilibrium: \(x^{*}=\frac{\delta r+e\gamma}{\delta b+e\varepsilon}\), \(y^{*}=\frac {\varepsilon r-b\gamma}{\delta b+e\varepsilon}\). If condition \(\varepsilon r>b\gamma\) is satisfied, we can guarantee that \((x^{*},y^{*})^{\mathrm{T}}\) is a positive equilibrium. So it is reasonable to assume that there exists a positive equilibrium \(E^{*}=(x_{1}^{*},y_{1}^{*},\ldots,x_{l}^{*},y_{l}^{*})^{\mathrm{T}}\) for system (11).
Let \(D(t)=(a_{kh}(t)\varepsilon_{k}x_{h}^{*})_{l\times l}\), and \(l_{k}(t)\) be the cofactor of the kth diagonal element of the Laplacian matrix of \((\mathcal{G},D(t))\), respectively.
Theorem 5
For any \(t\geq0\), assume that the digraph \((\mathcal{G},D(t))\) is strongly connected and the following inequality holds:
Then, as long as a positive equilibrium \(E^{*}\) exists, it is unique and globally asymptotically stable in the positive cone \(\mathbb{R}^{2l}_{+}\).
Proof
Consider the Lyapunov functions
and
Making use of system (11), we get
where \(\theta_{kh}(t)=\varepsilon_{k}x_{h}^{*}a_{kh}(t)\) and \(F_{kh}(x_{k},x_{h})=x_{h}/x_{h}^{*}-x_{k}/x_{k}^{*}-x_{k}^{*}x_{h}/(x_{k}x_{h}^{*})+1\). Similarly,
Let
By (12), (15) and (16), we have
Since \((\mathcal{G},D(t))\) is strongly connected for any \(t\geq0\), \(l_{k}(t)>0\) for \(k\in\mathbb{L}\). Note the fact that
and the quality holds if and only if \(x_{k}^{*}x_{h}/x_{k}x_{h}^{*}=1\). Hence, we have \(\dot{V}=0\) if and only if \(-\varepsilon_{k} b_{k}l_{k}(t)(x_{k}-x_{k}^{*})^{2}=0\), \(\varepsilon _{k}l'_{k}(t) (x_{k}-x_{k}^{*}-x_{k}^{*}\ln\frac{x_{k}}{x_{k}^{*}} )=0\), \(-e_{k} \delta_{k}l_{k}(t)(y_{k}-y_{k}^{*})^{2}=0\), \(e_{k}l'_{k}(t) (y_{k}-y_{k}^{*}-y_{k}^{*}\ln\frac {y_{k}}{y_{k}^{*}} )=0\) and \(x_{k}^{*}x_{h}/x_{k}x_{h}^{*}=1\) for all \(k,h\in\mathbb{L}\). Since \(\varepsilon_{k},b_{k},e_{k},\delta _{k}>0\) and \(l_{k}(t)>0\), \(t\geq0\), we have \(x_{k}=x_{k}^{*}\), \(y_{k}=y_{k}^{*}\). And in view of the fact that \(x_{k}^{*}x_{h}=x_{h}^{*}x_{k}\) for all \(k,h\in\mathbb{L}\), one can see that \(x_{h}=x_{h}^{*}\) for \(h\in\mathbb{L}\). Then
Therefore, by the LaSalle invariance principle, \(E^{*}\) is globally asymptotically stable. This also implies that \(E^{*}\) is unique in \(\mathbb{R}_{+}^{2l}\). □
Based on Theorem 5, by using the dispersal rate of preys \(a_{kh}(t)\), \(k,h\in\mathbb{L}\), we can get two more simple stability criteria for system (11).
Theorem 6
For any \(t\geq0\), let \((\mathcal{G},D(t))\) be strongly connected. If \(a'_{kh}(t)\leq0\), then as long as a positive equilibrium \(E^{*}\) exists, it is unique and globally asymptotically stable in the positive cone \(\mathbb{R}^{2l}_{+}\).
Proof
In view of \(\varepsilon_{k}>0\) and \(x_{h}^{*}>0\), we have
Then we can get \(l'_{k}(t)\leq0\), and the proof is similar to the proof of \(g'_{k}(t)\leq0\) in Theorem 3, here, we omit it. This means that the conditions of Theorem 5 could be achieved. This completes the whole proof. □
Theorem 7
For any \(t\geq0\), let \((\mathcal{G},D(t))\) be strongly connected. When \(a_{kh}(t)=a_{k}(t)\), \(k,h\in\mathbb{L}\), the conclusion of Theorem 6 holds if
Proof
Similar to the proof of Theorem 4, we get
Using \(\sum_{i=1,i\neq k}^{l}\frac{a'_{i}(t)}{a_{i}(t)}\leq0\) and \(l_{k}(t)>0\) one then sees that
Furthermore, we can get
It is now the same as the proof of Theorem 5. The proof is complete. □
Remark 6
In Theorem 5, we have presented the stability criterion for a predator-prey model in which the dispersal rate \(a_{kh}(t)\) is time-varying for any \(k,h\in\mathbb{L}\). Li et al. [14] discussed a predator-prey model with time-invariant dispersal and achieved some results concerning the stability problem. In this paper, if \(a_{kh}(t)=a_{kh}\), the conclusion of Theorem 6 is consistent with Theorem 6.1 in [14], which means our work generalizes a global-stability result from time-invariant dispersal to time-varying dispersal.
Remark 7
Biologically, time-varying dispersal, such as seasonal migration, is an extremely common phenomenon. As a result, the effect of time-varying dispersal on the species survival has been an important topic in population biology. This paper provides a possibility that researchers could use it to make the adjustment for the prey dispersal network to protect some species, which truly shows that the results in this paper are meaningful not only in theory but also in practice.
5 Numerical simulations
In this section, we will discuss a numerical example to illustrate the effectiveness and feasibility of Theorems 6 and 7.
Let \(l=8\). Consider a predator-prey model in the form of system (11) with the following parameters:
Firstly, we can make a calculation to get \(x_{k}^{*}=\frac{4}{9}\), \(y_{k}^{*}=\frac{1}{9}\), \(k=1,2,\ldots,8\), which means that the positive equilibrium is
The time-varying dispersal coefficients for preys are the followings: \(a_{18}(t)=e^{-t}\), \(a_{21}(t)=t^{-1}\), \(a_{32}(t)=e^{-2t}\) \(a_{43}(t)=(\frac{1}{2})^{t}\), \(a_{54}(t)=e^{-3t}\), \(a_{65}(t)=e^{\sin t-t}\), \(a_{76}(t)=(\frac{1}{3})^{t}\), \(a_{87}(t)=e^{-t^{2}}\). Excluding these, other dispersal coefficients \(a_{kh}(t)=0\), \(k,h=1,2,\ldots,8\), we can easily get \(a'_{kh}(t)\leq 0\), \(k,h=1,2,\ldots,8\). And by the definition of \(D(t)\), we can obtain the coefficient-matrix \(D_{1}(t)\) for system (11) as follows:
Obviously, \((\mathcal{G},D_{1}(t))\) is strongly connected for any \(t\geq 0\). Until now, all conditions in Theorem 6 have been checked. Hence, we can get the conclusion that the positive equilibrium \(E^{*}\) is unique and globally asymptotically stable in the positive cone. The simulation result is shown in Figure 1.
When \(a_{kh}(t)=a_{k}(t)\), \(k,h\in\mathbb{L}\), let the time-varying dispersal coefficients for preys be the following: \(a_{1}(t)=0.01\), \(a_{2}(t)=e^{\sin t}\), \(a_{3}(t)=e^{-t}\), \(a_{4}(t)=e^{-10t}\), \(a_{5}(t)=\frac{1}{t}\), \(a_{6}(t)=\frac{1.1+\sin t}{10t}\), \(a_{7}(t)=e^{\cos t}\), \(a_{8}(t)=e^{-t}\). Coefficient-matrix \(D_{2}(t)\) for system (11) can be obtained via the definition of \(D(t)\) as follows: \(D_{2}(t)=(a_{ij})_{n\times n}\), where \(a_{11}=a_{22}=a_{33}=a_{44}=a_{55}=a_{66}=a_{77}=a_{88}=0\), \(a_{12}=a_{13}=a_{14}=a_{15}=a_{16}=a_{17}=a_{18}=\frac{1}{750}\), \(a_{21}=a_{23}=a_{24}=a_{25}=a_{26}=a_{27}=a_{28}=\frac{2}{15}e^{\sin t}\), \(a_{31}=a_{32}=a_{34}=a_{35}=a_{36}=a_{37}=a_{38}=\frac{2}{15}e^{-t}\), \(a_{41}=a_{42}=a_{43}=a_{45}=a_{46}=a_{47}=a_{48}=\frac{2}{15}e^{-10t}\), \(a_{51}=a_{52}=a_{53}=a_{54}=a_{56}=a_{57}=a_{58}=\frac{4}{45}\frac{1}{t}\), \(a_{61}=a_{62}=a_{63}=a_{64}=a_{65}=a_{67}=a_{68}= \frac{4}{45}\frac {1.1+\sin t}{10t}\), \(a_{71}=a_{72}=a_{73}=a_{74}=a_{75}=a_{76}=a_{78}=\frac{4}{45}e^{\cos t}\), \(a_{81}=a_{82}=a_{83}=a_{84}=a_{85}=a_{86}=a_{87}=\frac{4}{45}e^{-t}\). And
It is obvious that \((\mathcal{G},D_{2}(t))\) is strongly connected for any \(t\geq0\). We can easily check that all conditions of Theorem 7 are satisfied. And the equilibrium \(E^{*}\) of system (11) with time-varying dispersal coefficient-matrix \(D_{2}(t)\) is shown in Figure 2. In fact, we can clearly see from Figure 2 that the equilibrium \(E^{*}\) is unique and globally asymptotically stable in the positive cone. The numerical simulation result verifies the effectiveness and feasibility of the proposed results.
Compared with the existing results on the stability of CSs [13, 14], our main contributions are as follows.
-
1.
We generalize CSs with time-invariant coupling structure to CSTCS.
-
2.
We first study the global stability for CSTCS by combining the graph theory with the Lyapunov method.
-
3.
We apply these theoretical conclusions to a predator-prey model with time-varying dispersal.
References
Pecora, L, Carroll, T: Master stability functions for synchronized coupled systems. Syst. Control Lett. 80, 2109-2112 (1998)
Li, C, Xu, H, Liao, X, Yu, J: Synchronization in small-world oscillator networks with coupling delays. Physica A 335, 359-364 (2004)
Zheng, S, Wang, S, Dong, G, Bi, S: Adaptive synchronization of two nonlinearly coupled complex dynamical networks with delayed coupling. Commun. Nonlinear Sci. Numer. Simul. 17, 284-291 (2012)
Yuan, Y, Zhao, X: Global stability for non-monotone delay equations (with application to a model of blood cell production). J. Differ. Equ. 252, 2189-12209 (2012)
May, R: Stability and Complexity in Model Ecosystems. Princeton University Press, Princeton (1973)
Thieme, H: Mathematics in Population Biology. Princeton University Press, Princeton (2003)
Bost, K, Cox, M, Payne, C: Structural and supportive changes in couples’ family and friendship networks across the transition to parenthood. J. Marriage Fam. 64, 517-531 (2002)
Song, Q, Wang, Z: Stability analysis of impulsive stochastic Cohen-Grossberg neural networks with mixed time delays. Physica A 387, 3314-3326 (2008)
Lynch, J, York, R: Stability of mode locked states of coupled oscillator arrays. IEEE Trans. Circuits Syst. I, Fundam. Theory Appl. 42, 413-418 (1995)
Shu, H, Fan, D, Wei, J: Global stability of multi-group SEIR epidemic models with distributed delays and nonlinear transmission. Nonlinear Anal., Real World Appl. 13, 1581-1592 (2012)
Muroya, Y, Enatsu, Y, Kuniya, T: Global stability for a multi-group SIRS epidemic model with varying population sizes. Nonlinear Anal., Real World Appl. 14, 1693-1704 (2013)
Guo, Y, Su, H, Ding, X, Wang, K: Global stochastic stability analysis for stochastic neural networks with infinite delay and Markovian switching. Appl. Math. Comput. 245, 53-65 (2014)
Guo, H, Li, MY, Shuai, Z: A graph-theoretic approach to the method of global Lyapunov functions. Proc. Am. Math. Soc. 136, 2793-2802 (2008)
Li, YM, Shuai, Z: Global-stability problem for coupled systems of differential equations on networks. J. Differ. Equ. 248, 1-20 (2010)
Li, MY, Shuai, Z, Wang, C: Global stability of multi-group epidemic models with distributed delays. J. Math. Anal. Appl. 361, 38-47 (2010)
Sun, R: Global stability of the endemic equilibrium of multigroup SIR models with nonlinear incidence. Comput. Math. Appl. 60, 2286-2291 (2010)
Su, H, Qu, Y, Gao, S, Song, H, Wang, K: A model of feedback control system on network and its stability analysis. Commun. Nonlinear Sci. Numer. Simul. 18, 1822-1831 (2013)
Zhang, C, Li, W, Su, H, Wang, K: Asymptotic boundedness for stochastic coupled systems on networks with Markovian switching. Neurocomputing 136, 180-189 (2014)
Li, X, Fu, X: Stability analysis of stochastic functional differential equations with infinite delay and its application to recurrent neural networks. J. Comput. Appl. Math. 234, 407-417 (2010)
Li, T, Song, A, Fei, S: Global synchronization in arrays of coupled Lurie systems with both time-delay and hybrid coupling. Commun. Nonlinear Sci. Numer. Simul. 16, 10-20 (2011)
Zhang, C, Li, W, Wang, K: Graph-theoretic approach to stability of multi-group models with dispersal. Discrete Contin. Dyn. Syst., Ser. B 20, 259-280 (2015)
Song, H, Chen, D, Li, W, Qu, Y: Graph-theoretic approach to exponential synchronization of stochastic reaction-diffusion Cohen-Grossberg neural networks with time-varying delays. Neurocomputing 177, 179-187 (2016)
Wang, J, Zhang, X, Li, W: Periodic solutions of stochastic coupled systems on networks with periodic coefficients. Neurocomputing 205, 360-366 (2016)
Li, W, Su, H, Wang, K: Global stability analysis for stochastic coupled systems on networks. Automatica 47, 215-220 (2011)
Su, W, Chen, Y: Global asymptotic stability analysis for neutral stochastic neural networks with time-varying delays. Commun. Nonlinear Sci. Numer. Simul. 14, 1576-1581 (2009)
Kao, Y, Wang, C: Global stability analysis for stochastic coupled reaction-diffusion systems on networks. Nonlinear Anal., Real World Appl. 14, 1457-1465 (2013)
Cheng, P, Deng, F: Global exponential stability of impulsive stochastic functional differential systems. Stat. Probab. Lett. 80, 1854-1862 (2010)
Di, C, Jiang, D, Shi, N: Multigroup SIR epidemic model with stochastic perturbation. Physica A 390, 1747-1762 (2011)
Konishi, K: Time-delay-induced stabilization of coupled discrete-time systems. Phys. Rev. E 67, 017201 (2013)
Chen, H, Sun, J: Stability analysis for coupled systems with time delay on networks. Physica A 391, 528-534 (2012)
Hale, JK: Ordinary Differential Equations. Dover, New York (2009)
Mao, X, Yuan, C: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)
Chen, F, Huang, A: On a nonautonomous predator-prey model with prey dispersal. Appl. Math. Comput. 184, 809-822 (2007)
Acknowledgements
The authors would like to thank the reviewers for your very helpful comments and suggestions. This work was supported by the National Natural Science Foundation of China (No. 61401283) and Educational Commission of Guangdong Province, China (No. 2014KTSCX113).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Feng, J., Luan, X. Stability analysis for coupled systems with time-varying coupling structure. Adv Differ Equ 2017, 191 (2017). https://doi.org/10.1186/s13662-017-1217-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1217-z