Skip to main content

Theory and Modern Applications

Stability analysis for coupled systems with time-varying coupling structure

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.

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:

$$ \frac{\mathrm{d}x_{k}(t)}{\mathrm{d}t}= f_{k}\bigl(x_{k}(t),t \bigr)+\sum_{h=1}^{l}a_{kh}H_{kh} \bigl(x_{k}(t),x_{h}(t)\bigr),\quad k=1,2,\ldots,l, t\geq0, $$
(1)

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:

$$ \sum_{k,h=1}^{n}c_{k} a_{kh} F_{kh}(x_{k},x_{h}) = \sum _{\mathcal{Q}\in \mathbb{Q}}W(\mathcal{Q} )\sum _{(s,r)\in E(\mathcal{C}_{\mathcal{Q}} )}F_{rs} (x_{r}, x_{s} ). $$

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

$$ \frac{\mathrm{d}x_{k}(t)}{\mathrm{d}t}= f_{k}\bigl(x_{k}(t),t \bigr),\quad t\geq0, $$
(2)

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:

$$\begin{aligned} \begin{aligned} \frac{\mathrm{d}x_{k}(t)}{\mathrm{d}t}= 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),\quad k\in\mathbb{L}. \end{aligned} \end{aligned}$$
(3)

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

$$ V(x,t)=\sum_{k=1}^{l}d_{k}(t) V_{k}(x_{k},t) $$
(5)

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

$$\begin{aligned} \frac{\mathrm{d}V(x(t),t)}{\mathrm{d}t} =& \sum _{k=1}^{l}\frac{\mathrm {d}(d_{k}(t)V_{k}(x_{k}(t),t))}{\mathrm{d}t} \\ \leq& \sum_{k=1}^{l} \Biggl[d'_{k}(t)V_{k} \bigl(x_{k}(t),t\bigr)+d_{k}(t) \Biggl(\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) \Biggr) \Biggr] \\ =& \sum_{k=1}^{l}\sum _{h=1}^{l}d_{k}(t)b_{kh}(t)F_{kh} \bigl(x_{k}(t),x_{h}(t) \bigr). \end{aligned}$$
(6)

By Lemma 1, we have

$$\sum_{k=1}^{l}\sum _{h=1}^{l}d_{k}(t)b_{kh}(t)F_{kh} \bigl(x_{k}(t),x_{h}(t)\bigr)=\sum _{\mathcal{Q}(t)\in \mathbb{Q}(t)}W\bigl(\mathcal{Q}(t) \bigr)\sum _{(s,r)\in E(\mathcal {C}_{\mathcal{Q}(t)})}F_{rs}\bigl(x_{r}(t),x_{s}(t) \bigr), $$

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

$$\frac{\mathrm{d}V(x(t),t)}{\mathrm{d}t}\leq\sum_{\mathcal{Q}(t) \in \mathbb{Q}(t) }W\bigl( \mathcal{Q}(t) \bigr)\sum_{(s,r)\in E(\mathcal {C}_{\mathcal{Q}(t)})}F_{rs} \bigl(x_{r}(t),x_{s}(t) \bigr)\leq0. $$

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

$$ \begin{aligned} &\sum_{k=1}^{l} \sum_{h=1}^{l}d_{k}(t) b_{kh}(t)F_{kh}\bigl(x_{k}(t),x_{h}(t) \bigr) \\ &\quad =\frac{1}{2}\sum_{\mathcal{Q}(t) \in\mathbb{Q}(t) }W\bigl(\mathcal {Q}(t) \bigr)\sum_{(h,k)\in E(\mathcal{C}_{\mathcal{Q}(t)})} \bigl[F_{kh} \bigl(x_{k}(t),x_{h}(t)\bigr)+F_{hk} \bigl(x_{h}(t),x_{k}(t)\bigr) \bigr]. \end{aligned} $$

In this case, (4) can be replaced by

$$ \sum_{(k,h)\in E(\mathcal{C}_{\mathcal{Q}(t)})} \bigl[F_{kh} \bigl(x_{k}(t),x_{h}(t)\bigr)+F_{hk} \bigl(x_{h}(t),x_{k}(t)\bigr) \bigr]\leq0. $$
(7)

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

$$ F_{kh}\bigl(x_{k}(t),x_{h}(t) \bigr)\leq P_{k}\bigl(x_{k}(t)\bigr)-P_{h} \bigl(x_{h}(t)\bigr), $$
(8)

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

$$\begin{aligned} &\frac{\mathrm{d}V_{k}(x_{k}(t),t)}{\mathrm{d}t} \\ &\quad =p \bigl\vert x_{k}(t) \bigr\vert ^{p-2}x_{k}^{\mathrm{T}}(t) \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] \\ &\quad \leq p \Biggl[-\alpha_{k} \bigl\vert x_{k}(t) \bigr\vert ^{p}+\sum_{h=1}^{l}a_{kh}(t) \bigl\vert x_{k}(t) \bigr\vert ^{p-1} \bigl\vert H_{kh}\bigl(x_{k}(t),x_{h}(t)\bigr) \bigr\vert \Biggr]. \end{aligned}$$
(10)

By using condition A2 and the inequality (see [32], p.52)

$$ \vert a \vert ^{p} \vert b \vert ^{q}\leq \frac {p}{p+q} \vert a \vert ^{(p+q)}+\frac{q}{p+q} \vert b \vert ^{(p+q)}, $$

in which \(p, q>0\), we have

$$\begin{aligned} \begin{aligned} &\sum_{h=1}^{l}a_{kh}(t) \bigl\vert x_{k}(t) \bigr\vert ^{p-1} \bigl\vert H_{kh} \bigl(x_{k}(t),x_{h}(t) \bigr) \bigr\vert \\ &\quad \leq\frac{2p-1}{p}\sum_{h=1}^{l}A_{kh}a_{kh}(t) \bigl\vert x_{k}(t) \bigr\vert ^{p} +\frac{1}{p} \sum_{h=1}^{l}A_{kh}a_{kh}(t) \bigl\vert x_{h}(t) \bigr\vert ^{p}. \end{aligned} \end{aligned}$$

Substituting it into (10) yields

$$\begin{aligned} \begin{aligned} &\frac{\mathrm{d}V_{k}(x_{k}(t),t)}{\mathrm{d}t} \\ &\quad \leq p \Biggl[-\alpha_{k} \bigl\vert x_{k}(t) \bigr\vert ^{p} +\sum_{h=1}^{l}a_{kh}(t) \bigl\vert x_{k}(t) \bigr\vert ^{p-1} \bigl\vert H_{kh} \bigl(x_{k}(t),x_{h}(t) \bigr) \bigr\vert \Biggr] \\ &\quad \leq \Biggl(-\alpha_{k} p+(2p-1)\sum_{h=1}^{l}A_{kh}a_{kh}(t) \Biggr) \bigl\vert x_{k}(t) \bigr\vert ^{p}+\sum _{h=1}^{l}A_{kh}a_{kh}(t) \bigl\vert x_{h}(t) \bigr\vert ^{p} \\ &\quad = \Biggl(-\alpha_{k} p+2p\sum_{h=1}^{l}A_{kh}a_{kh}(t) \Biggr) \bigl\vert x_{k}(t) \bigr\vert ^{p}+\sum _{h=1}^{l}A_{kh}a_{kh}(t)F_{kh} \bigl(x_{k}(t),x_{h}(t)\bigr) \\ &\quad \leq -\frac{g'_{k}(t)}{g_{k}(t)}V_{k}\bigl(x_{k}(t),t\bigr)+\sum _{h=1}^{l}A_{kh}a_{kh}(t)F_{kh} \bigl(x_{k}(t),x_{h}(t)\bigr), \end{aligned} \end{aligned}$$

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

$$-\alpha_{k}p+2p\sum_{h=1}^{l}A_{kh}a_{kh}(t) \leq0. $$

Proof

By the definition of \(H(t)\), let \(B_{ij}=A_{ij}a_{ij}(t)\) and we can obtain

$$\begin{aligned} \begin{aligned} &g_{k}(t) \\ &\quad =\left \vert \begin{matrix} \sum_{i\neq1}^{l}B_{1i} & -B_{12} & \cdots& -B_{1,k-1}& -B_{1,k+1} & \cdots& -B_{1l} \\ -B_{21} &\sum_{i\neq2}^{l}B_{2i} & \cdots& -B_{2,k-1}& -B_{2,k+1} &\cdots& -B_{2l} \\ \vdots& \vdots& \vdots& \vdots& \vdots & \vdots& \vdots\\ -B_{k-1,1} & -B_{k-1,2} & \cdots& \sum_{i\neq k-1}^{l}B_{k-1,i} & -B_{k-1,k+1} & \cdots & -B_{k-1,l} \\ -B_{k+1,1} & -B_{k+1,2}= & \cdots& -B_{k+1,k-1} & \sum_{i\neq k+1}^{l}B_{k+1,i} & \cdots & -B_{k+1,l} \\ \vdots& \vdots& \vdots& \vdots& \vdots & \vdots& \vdots\\ -B_{l1} & -B_{l2} & \cdots& -B_{l,k-1}& -B_{l,k+1} &\cdots& \sum_{i\neq l}^{l}B_{li} \end{matrix} \right \vert . \end{aligned} \end{aligned}$$

Because the digraph is strongly connected and \(a'_{kh}(t)\leq0\), we can obtain \(g'_{k}(t)\leq0\). Furthermore, we can compute that

$$ g'_{k}(t)=-\sum_{j\neq k}\left \vert \begin{matrix} \vdots& \vdots& \vdots& \vdots& \vdots & \vdots \\ A_{j1}a'_{j1}(t) & A_{j2}a'_{j2}(t) & \cdots& \sum_{j\neq i}^{l} (-A_{ji}a'_{ji}(t) ) & \cdots & A_{jl}a'_{jl}(t) \\ \vdots& \vdots& \vdots& \vdots& \vdots & \vdots \end{matrix} \right \vert . $$

Because \(a'_{kh}(t)\leq0\), we have \(g'_{k}(t)\leq0\). Thus we obtain

$$-\frac{g'_{k}(t)}{g_{k}(t)}\geq0. $$

Consequently, it easily follows that

$$-\alpha_{k}p+2p\sum_{h=1}^{l}A_{kh}a_{kh}(t) \leq-\frac{g'_{k}(t)}{g_{k}(t)}. $$

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

$$-\alpha_{k}p+2p\sum_{h=1}^{l}A_{kh}a_{k}(t)+ \sum_{i=1,i\neq k}^{l}\frac {a'_{i}(t)}{a_{i}(t)}\leq0. $$

Proof

By the definition of \(H(t)\), we have

$$\begin{aligned} \begin{aligned} &g_{k}(t) \\ &\quad = \prod_{i=1,i\neq k}^{l}a_{i}(t) \left \vert \begin{matrix} \sum_{i\neq1}^{l}A_{1i} & \cdots& -A_{1,k-1}& -A_{1,k+1} & \cdots& -A_{1l} \\ -A_{21} & \cdots& -A_{2,k-1}& -A_{2,k+1} &\cdots& -A_{2l} \\ \vdots& \vdots& \vdots& \vdots & \vdots& \vdots\\ -A_{k-1,1} & \cdots& \sum_{i\neq k-1}^{l}A_{k-1,i} & -A_{k-1,k-1} & \cdots & -A_{k-1,l} \\ -A_{k+1,1} & \cdots& -A_{k+1,k-1} & \sum_{i\neq k+1}^{l}A_{k+1,i} & \cdots & -A_{k+1,l} \\ \vdots& \vdots& \vdots& \vdots & \vdots& \vdots\\ -A_{l1} & \cdots& -A_{l,k-1}& -A_{l,k+1} &\cdots& \sum_{i\neq l}^{l}A_{li} \end{matrix} \right \vert \\ &\quad \triangleq \prod_{i=1,i\neq k}^{l}a_{i}(t) \cdot G, \end{aligned} \end{aligned}$$

where

$$ G=\left \vert \begin{matrix} \sum_{i\neq1}^{l}A_{1i} & -A_{12} & \cdots& -A_{1,k-1}& -A_{1,k+1} & \cdots& -A_{1l} \\ -A_{21} &\sum_{i\neq2}^{l}A_{2i} & \cdots& -A_{2,k-1}& -A_{2,k+1} &\cdots& -A_{2l} \\ \vdots& \vdots& \vdots& \vdots& \vdots & \vdots& \vdots\\ -A_{k-1,1} & -A_{k-1,2} & \cdots& \sum_{i\neq k-1}^{l}A_{k-1,i} & -A_{k-1,k-1} & \cdots & -A_{k-1,l} \\ -A_{k+1,1} & -A_{k+1,2} & \cdots& -A_{k+1,k-1} & \sum_{i\neq k+1}^{l}A_{k+1,i} & \cdots & -A_{k+1,l} \\ \vdots& \vdots& \vdots& \vdots& \vdots & \vdots& \vdots\\ -A_{l1} & -A_{l2} & \cdots& -A_{l,k-1}& -A_{l,k+1} &\cdots& \sum_{i\neq l}^{l}A_{li} \end{matrix} \right \vert . $$

Then it is easy to get

$$g'_{k}(t) = \sum_{i=1,i\neq k}^{l}a_{1}(t) \cdot a_{2}(t)\cdots a'_{i}(t) \cdots a_{l}(t)\cdot G. $$

Thus

$$\frac{g'_{k}(t)}{g_{k}(t)}=\sum_{i=1,i\neq k}^{l} \frac{a'_{i}(t)}{a_{i}(t)}. $$

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:

$$ \textstyle\begin{cases} \frac{\mathrm{d}x_{k}}{\mathrm {d}t}=x_{k}(r_{k}-b_{k}x_{k}-e_{k}y_{k})+\sum_{h=1}^{l}a_{kh}(t)(x_{h}-\alpha_{kh}x_{k}), \\ \frac{\mathrm{d}y_{k}}{\mathrm{d}t}=y_{k}(-\gamma_{k}-\delta _{k}y_{k}+\varepsilon_{k}x_{k}),\quad k\in\mathbb{L}, \end{cases} $$
(11)

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:

$$ l'_{k}(t)\leq0,\quad k\in\mathbb{L}. $$
(12)

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

$$ V^{(k)}_{1}(x_{k})= \varepsilon_{k} \biggl(x_{k}-x_{k}^{*}-x_{k}^{*} \ln\frac {x_{k}}{x_{k}^{*}} \biggr) $$
(13)

and

$$ V^{(k)}_{2}(y_{k})=e_{k} \biggl(y_{k}-y_{k}^{*}-y_{k}^{*} \ln\frac{y_{k}}{y_{k}^{*}} \biggr),\quad k\in\mathbb{L}. $$
(14)

Making use of system (11), we get

$$\begin{aligned} &\frac{\mathrm{d}V^{(k)}_{1}(x_{k})}{\mathrm{d}t} \\ &\quad =\varepsilon_{k} \biggl(1-\frac{x_{k}^{*}}{x_{k}} \biggr) \Biggl[x_{k}(r_{k}-b_{k}x_{k}-e_{k}y_{k})+ \sum_{h=1}^{l}a_{kh}(t) (x_{h}-\alpha _{kh}x_{k}) \Biggr] \\ &\quad = \varepsilon_{k}\bigl(x_{k}-x_{k}^{*} \bigr) \Biggl[-b_{k}\bigl(x_{k}-x_{k}^{*} \bigr)-e_{k}\bigl(y_{k}-y_{k}^{*} \bigr)+\sum_{h=1}^{l}a_{kh}(t) \biggl(\frac{x_{h}}{x_{k}}-\frac {x_{h}^{*}}{x_{k}^{*}} \biggr) \Biggr] \\ &\quad = -\varepsilon_{k} b_{k}\bigl(x_{k}-x_{k}^{*} \bigr)^{2}-\varepsilon_{k} e_{k} \bigl(x_{k}-x_{k}^{*}\bigr) \bigl(y_{k}-y_{k}^{*} \bigr) \\ &\qquad {}+\sum_{h=1}^{l}\varepsilon_{k} x_{h}^{*}a_{kh}(t) \biggl(\frac{x_{h}}{x_{h}^{*}}- \frac{x_{k}}{x_{k}^{*}}-\frac {x_{k}^{*}x_{h}}{x_{k}x_{h}^{*}}+1 \biggr) \\ &\quad \triangleq -\varepsilon_{k} b_{k}\bigl(x_{k}-x_{k}^{*} \bigr)^{2}-\varepsilon_{k} e_{k} \bigl(x_{k}-x_{k}^{*}\bigr) \bigl(y_{k}-y_{k}^{*} \bigr)+\sum_{h=1}^{l}\theta _{kh}(t)F_{kh}(x_{k},x_{h}) , \end{aligned}$$
(15)

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,

$$ \begin{aligned}[b] &\frac{\mathrm{d}V^{(k)}_{2}(y_{k})}{\mathrm{d}t} \\ &\quad = e_{k}y_{k} \biggl(1-\frac{y_{k}^{*}}{y_{k}} \biggr) (- \gamma _{k}-\delta_{k}y_{k}+\varepsilon_{k}x_{k} ) \\ &\quad =e_{k}\bigl(y_{k}-y_{k}^{*}\bigr) \bigl[\varepsilon_{k}\bigl(x_{k}-x_{k}^{*} \bigr)-\delta _{k}\bigl(y_{k}-y_{k}^{*} \bigr) \bigr]. \end{aligned} $$
(16)

Let

$$V=\sum_{k=1}^{l}l_{k}(t) \bigl(V^{(k)}_{1}(x_{k})+V^{(k)}_{2}(y_{k}) \bigr). $$

By (12), (15) and (16), we have

$$\begin{aligned} \frac{\mathrm{d}V}{\mathrm{d}t} =& \sum _{k=1}^{l} \biggl[l_{k} (t) \biggl( \frac{\mathrm{d}V^{(k)}_{1}(x_{k})}{\mathrm{d}t}+\frac{\mathrm {d}V^{(k)}_{2}(y_{k})}{\mathrm{d}t} \biggr) +l'_{k}(t) \bigl(V^{(k)}_{1}(x_{k})+V^{(k)}_{2}(y_{k}) \bigr) \biggr] \\ =& \sum_{k=1}^{l} \Biggl[l_{k}(t) \Biggl(-\varepsilon_{k} b_{k}\bigl(x_{k}-x_{k}^{*} \bigr)^{2}+\sum_{h=1}^{l}\theta _{kh}(t)F_{kh}(x_{k},x_{h})-e_{k} \delta_{k}\bigl(y_{k}-y_{k}^{*} \bigr)^{2} \Biggr) \\ &{}+l'_{k}(t) \bigl(V^{(k)}_{1}(x_{k})+V^{(k)}_{2}(y_{k}) \bigr) \Biggr] \\ =&\sum_{k=1}^{l} \biggl[- \varepsilon_{k} b_{k}l_{k}(t) \bigl(x_{k}-x_{k}^{*}\bigr)^{2}+ \varepsilon_{k}l'_{k}(t) \biggl(x_{k}-x_{k}^{*}-x_{k}^{*} \ln\frac{x_{k}}{x_{k}^{*}} \biggr) \\ &{}-e_{k} \delta_{k}l_{k}(t) \bigl(y_{k}-y_{k}^{*}\bigr)^{2} +e_{k}l'_{k}(t) \biggl(y_{k}-y_{k}^{*}-y_{k}^{*} \ln\frac{y_{k}}{y_{k}^{*}} \biggr) \biggr] \\ &{}+\sum_{k=1}^{l}\sum _{h=1}^{l}l_{k}(t)\theta _{kh}(t)F_{kh}(x_{k},x_{h}) \\ \leq&\sum_{k=1}^{l}\sum _{h=1}^{l}l_{k}(t)\theta _{kh}(t)F_{kh}(x_{k},x_{h}) \\ \leq&0. \end{aligned}$$

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

$$ F_{kh}(x_{k},x_{h})=\frac{x_{h}}{x_{h}^{*}}- \frac {x_{k}}{x_{k}^{*}}-\frac{x_{k}^{*}x_{h}}{x_{k}x_{h}^{*}}+1 \leq \biggl(-\frac{x_{k}}{x_{k}^{*}}+\ln \frac{x_{k}}{x_{k}^{*}} \biggr)- \biggl(-\frac{x_{h}}{x_{h}^{*}}+\ln\frac{x_{h}}{x_{h}^{*}} \biggr) $$

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

$$\biggl\{ E \Big\vert \frac{\mathrm{d}V}{\mathrm{d}t}=0 \biggr\} =\bigl\{ E^{*}\bigr\} . $$

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

$$\bigl(a_{kh}(t)\varepsilon_{k}x_{h}^{*} \bigr)'=a'_{kh}(t)\varepsilon _{k}x_{h}^{*}\leq0. $$

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

$$\sum_{i=1,i\neq k}^{l}\frac{a'_{i}(t)}{a_{i}(t)}\leq0. $$

Proof

Similar to the proof of Theorem 4, we get

$$\begin{aligned} l'_{k}(t) =& \sum _{i=1,i\neq k}^{l}l_{k}(t)\frac{a'_{i}(t)}{a_{i}(t)}. \end{aligned}$$

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

$$\begin{aligned} \begin{aligned} &\sum _{k=1}^{l} \biggl[-\varepsilon_{k} b_{k}l_{k}(t) \bigl(x_{k}-x_{k}^{*} \bigr)^{2}+\varepsilon_{k}l'_{k}(t) \biggl(x_{k}-x_{k}^{*}-x_{k}^{*} \ln\frac{x_{k}}{x_{k}^{*}} \biggr)-e_{k} \delta_{k}l_{k} \bigl(y_{k}-y_{k}^{*}\bigr)^{2} \\ &\qquad{} +e_{k}l'_{k}(t) \biggl(y_{k}-y_{k}^{*}-y_{k}^{*} \ln\frac{y_{k}}{y_{k}^{*}} \biggr) \biggr] \\ &\quad =\sum_{k=1}^{l}l_{k}(t) \Biggl[-\varepsilon_{k} b_{k}\bigl(x_{k}-x_{k}^{*} \bigr)^{2}+\varepsilon_{k}\sum_{i=1,i\neq k}^{l} \frac {a'_{i}(t)}{a_{i}(t)} \biggl(x_{k}-x_{k}^{*}-x_{k}^{*} \ln\frac {x_{k}}{x_{k}^{*}} \biggr) \\ &\qquad {}-e_{k} \delta_{k}\bigl(y_{k}-y_{k}^{*} \bigr)^{2} +e_{k}\sum_{i=1,i\neq k}^{l} \frac{a'_{i}(t)}{a_{i}(t)} \biggl(y_{k}-y_{k}^{*}-y_{k}^{*} \ln\frac {y_{k}}{y_{k}^{*}} \biggr) \Biggr] \\ &\quad \leq0. \end{aligned} \end{aligned}$$

Furthermore, we can get

$$\frac{\mathrm{d}V}{\mathrm{d}t} \leq\sum_{k=1}^{l}\sum _{h=1}^{l}l_{k}(t) \theta_{kh}(t)F_{kh}(x_{k},x_{h})\leq0. $$

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:

$$\begin{gathered} r_{k}=0.2,\qquad b_{k}=0.4,\qquad e_{k}=0.2,\qquad \gamma_{k}=0.1,\\ \delta_{k}=0.3,\qquad \varepsilon _{k}=0.3,\quad k=1,2,\ldots,4, \\ r_{k}=0.15,\qquad b_{k}=0.3,\qquad e_{k}=0.15,\qquad \gamma_{k}=\frac{1}{30},\\ \delta _{k}=0.5,\qquad \varepsilon_{k}=0.2,\quad k=5,7,\ldots,8, \\ \alpha_{kh}=1,\quad (k,h=1,2,\ldots,8). \end{gathered} $$

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

$$E^{*}= \biggl(\frac{4}{9},\frac{1}{9},\frac{4}{9}, \frac{1}{9},\ldots,\frac {4}{9},\frac{1}{9} \biggr)^{\mathrm{T}}_{16\times1}. $$

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:

$$D_{1}(t)=\left ( \begin{matrix} 0 & 0 & 0 & 0 & 0 & 0 & 0 & \frac{2}{15}e^{-t} \\ \frac{2}{15}t^{-1} & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & \frac{2}{15}e^{-2t} & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & \frac{2}{15}(\frac{1}{2})^{t} & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & \frac{4}{45}e^{-3t} & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & \frac{4}{45}e^{\sin t-t} & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & \frac{4}{45}(\frac{1}{3})^{t} & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & \frac{4}{45}e^{-t^{2}} & 0 \end{matrix} \right ). $$

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.

Figure 1
figure 1

The solution of coupled predator-prey model with time-varying dispersal coefficient-matrix \(\pmb{D_{1}(t)}\) when \(\pmb{l=8}\) .

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

$$\begin{aligned} \sum_{i=1,i\neq k}^{8} \frac{a'_{i}(t)}{a_{i}(t)} =& \cos t-\sin t-12-\frac{1}{t}+\frac{t\cos t-1.1-\sin t}{t(1.1+\sin t)} \\ \leq& -2+\cos t-\sin t-\frac{2}{t} < 0. \end{aligned}$$

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.

Figure 2
figure 2

The solution of coupled predator-prey model with time-varying dispersal coefficient-matrix \(\pmb{D_{2}(t)}\) when \(\pmb{l=8}\) .

Compared with the existing results on the stability of CSs [13, 14], our main contributions are as follows.

  1. 1.

    We generalize CSs with time-invariant coupling structure to CSTCS.

  2. 2.

    We first study the global stability for CSTCS by combining the graph theory with the Lyapunov method.

  3. 3.

    We apply these theoretical conclusions to a predator-prey model with time-varying dispersal.

References

  1. Pecora, L, Carroll, T: Master stability functions for synchronized coupled systems. Syst. Control Lett. 80, 2109-2112 (1998)

    Google Scholar 

  2. Li, C, Xu, H, Liao, X, Yu, J: Synchronization in small-world oscillator networks with coupling delays. Physica A 335, 359-364 (2004)

    Article  MathSciNet  Google Scholar 

  3. 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)

    Article  MathSciNet  MATH  Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. May, R: Stability and Complexity in Model Ecosystems. Princeton University Press, Princeton (1973)

    Google Scholar 

  6. Thieme, H: Mathematics in Population Biology. Princeton University Press, Princeton (2003)

    MATH  Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. Song, Q, Wang, Z: Stability analysis of impulsive stochastic Cohen-Grossberg neural networks with mixed time delays. Physica A 387, 3314-3326 (2008)

    Article  Google Scholar 

  9. 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)

    Article  Google Scholar 

  10. 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)

    Article  MathSciNet  MATH  Google Scholar 

  11. 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)

    Article  MathSciNet  MATH  Google Scholar 

  12. 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)

    MathSciNet  MATH  Google Scholar 

  13. 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)

    Article  MathSciNet  MATH  Google Scholar 

  14. Li, YM, Shuai, Z: Global-stability problem for coupled systems of differential equations on networks. J. Differ. Equ. 248, 1-20 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  15. Li, MY, Shuai, Z, Wang, C: Global stability of multi-group epidemic models with distributed delays. J. Math. Anal. Appl. 361, 38-47 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  16. Sun, R: Global stability of the endemic equilibrium of multigroup SIR models with nonlinear incidence. Comput. Math. Appl. 60, 2286-2291 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. 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)

    Article  MathSciNet  MATH  Google Scholar 

  18. Zhang, C, Li, W, Su, H, Wang, K: Asymptotic boundedness for stochastic coupled systems on networks with Markovian switching. Neurocomputing 136, 180-189 (2014)

    Article  Google Scholar 

  19. 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)

    Article  MathSciNet  MATH  Google Scholar 

  20. 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)

    Article  MathSciNet  MATH  Google Scholar 

  21. 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)

    Article  MathSciNet  MATH  Google Scholar 

  22. 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)

    Article  Google Scholar 

  23. Wang, J, Zhang, X, Li, W: Periodic solutions of stochastic coupled systems on networks with periodic coefficients. Neurocomputing 205, 360-366 (2016)

    Article  Google Scholar 

  24. Li, W, Su, H, Wang, K: Global stability analysis for stochastic coupled systems on networks. Automatica 47, 215-220 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  25. 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)

    Article  MathSciNet  MATH  Google Scholar 

  26. Kao, Y, Wang, C: Global stability analysis for stochastic coupled reaction-diffusion systems on networks. Nonlinear Anal., Real World Appl. 14, 1457-1465 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  27. Cheng, P, Deng, F: Global exponential stability of impulsive stochastic functional differential systems. Stat. Probab. Lett. 80, 1854-1862 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  28. Di, C, Jiang, D, Shi, N: Multigroup SIR epidemic model with stochastic perturbation. Physica A 390, 1747-1762 (2011)

    Article  Google Scholar 

  29. Konishi, K: Time-delay-induced stabilization of coupled discrete-time systems. Phys. Rev. E 67, 017201 (2013)

    Article  Google Scholar 

  30. Chen, H, Sun, J: Stability analysis for coupled systems with time delay on networks. Physica A 391, 528-534 (2012)

    Article  MathSciNet  Google Scholar 

  31. Hale, JK: Ordinary Differential Equations. Dover, New York (2009)

    MATH  Google Scholar 

  32. Mao, X, Yuan, C: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)

    Book  MATH  Google Scholar 

  33. Chen, F, Huang, A: On a nonautonomous predator-prey model with prey dispersal. Appl. Math. Comput. 184, 809-822 (2007)

    MathSciNet  MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Jiqiang Feng.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-017-1217-z

Keywords