Abstract
This paper investigates the coupled systems of stochastic differential equations with variable delays (CSDDEs) on networks. We analyze the existence and uniqueness of solution by combining the method of graph theory with the Lyapunov function analysis. Furthermore, we utilize the graph theory technique and the nonnegative semimartingale convergence theorem to obtain the almost sure stability of sample solutions and the sufficient principles to locate their limit sets, which correlate closely with the topology property of CSDDEs. Finally we illustrate our main results by examples from population dynamics and vibration systems.
Similar content being viewed by others
1 Introduction
Coupled systems of nonlinear differential equations on networks have been applied widely, especially in the mechanical, electronic, and biological fields [1–9]. A network is always described by a directed graph consisting of vertices and directed arcs connecting them. At each vertex, the local dynamics is given by a system of differential equations called a vertex system [2, 5]. The study of mathematical questions on coupled systems (including synchronization, clustering and transitions) has been introduced by [10]. Among various dynamical properties of the coupled systems on networks overall stability based on given vertex systems is very important and interesting from the viewpoint of controlling complex dynamical systems. However, the stability analysis for the coupled systems on networks is generally a complex and formidable task. It is inspiring that for a coupled deterministic system Li et al. [2, 5] gave a systematic method to construct an appropriate Lyapunov function making use of the graph-theoretic technique, and then applied this method to epidemic models [2, 3, 5, 6], oscillator models [5], and ecological models [5], obtaining the global stability.
On the other hand, stochastic differential equations (SDEs) have become a powerful tool in the modeling of realistic systems due to various disturbances; refer to [11]. As a matter of fact, the theory of SDEs has been developed very quickly since Itô introduced his stochastic calculus. The stability theory of stochastic delay differential equations (SDDEs) has been studied extensively; see e.g. [12–15]. However, so far as we know there are few papers to deal with almost sure asymptotic stability of the sample paths and their limit sets for stochastic systems except for [16–20]. It is worthy to mention that Mao et al. [16–19] made an important development by extending the LaSalle-type theorem from ordinary differential equations (ODEs) to stochastic versions after LaSalle discovered the internal relationship between Birkoff’s positive limit set and the Lyapunov function [21].
Motivated by the previous works, the purpose of this paper is to investigate the coupled systems of SDEs with variable delays (CSDDEs) on networks described by
with the initial data
where \(\xi(t)=(\xi_{1}(t), \xi_{2}(t),\ldots, \xi_{l}(t) )\in\mathbb{R}^{n_{1}} \times\mathbb{R}^{n_{2}}\times\cdots\times\mathbb{R}^{n_{l}}=:{\mathbb{R}}^{N}\), \(x(t)=(x_{1}(t), x_{2}(t), \ldots, x_{l}(t) )\in{\mathbb{R}}^{N}\), and \(B(t)=(B_{1}(t), B_{2}(t),\ldots, B_{l}(t))\) is a \(\mathbb{R}^{m_{1}} \times\mathbb{R}^{m_{2}}\times\cdots\times\mathbb{R}^{m_{l}}=:{\mathbb{R}} ^{M}\)-valued Brownian motion.
We analyze the existence and uniqueness of a solution to (1.1) by the combined method of graph theory and Lyapunov function analysis. Furthermore, we utilize the graph theory technique and the nonnegative semimartingale convergence theorem to investigate the almost sure stability of sample solutions and give the sufficient principles to locate their limit sets, which is helpful to understand the dynamical behaviors.
The paper is organized as follows: in Section 2, we prepare some notations and lemmas to be used. In Section 3 we discuss the existence of solution and its uniqueness. In Section 4, we give the sufficient conditions for the almost sure asymptotic stability which relate to the topology structure of the network closely. Moreover, we obtain the limit sets of sample paths with probability 1. Finally, we illustrate our main results through some examples.
2 Preliminaries
For convenience we first state some notations. Throughout the paper, let \((\Omega,\mathcal{F}, \{ {\mathcal{F}}_{t} \} _{t \geq0}, P )\) be a complete probability space with a filtration \(\{ {\mathcal{F}}_{t} \} _{t \geq0}\) satisfying the usual conditions. Let \(B(t)\), \(t\geq0\), be a standard \(\mathbb{R}^{M}\)-valued Brownian motion defined on this probability space. For any constant sequence \(\{c_{i}\}\) (\(i=1,2,\ldots, l\)), define \(\check{ c } =\max_{1\leq i \leq l}c_{i }\), \(\hat{c}=\min_{1\leq i \leq l }c_{i }\). For each \(x=(x_{1}, x_{2},\ldots, x_{l} )\in\mathbb{R}^{N}\), define \(\|x\|= [{ \sum_{i=1}^{l}{(x^{i})}^{T}\cdot(x^{i})} ]^{\frac{1}{2}}\). For any positive constant r, let \(C([-r, 0]; \mathbb{R}^{N})\) be the family of all continuous \(\mathbb{R}^{N}\)-valued functions ρ on \([-r, 0]\) with a norm \(|\rho |= \sup_{-r\leq\theta\leq0}\|\rho(\theta)\|\). For \(h\in C({\mathbb{R}}^{N} ;{\mathbb{R}})\), define \(\operatorname{Ker} (h)=\{x\in{\mathbb{R}}^{N} |h(x)=0\}\). Let \(C^{b}_{{\mathcal{F}}_{0}}([-r, 0]; \mathbb{R}^{N})\) be the family of all \({\mathcal{F} }_{0}\)-measurable bounded \(C([-r, 0]; \mathbb{R}^{N})\)-valued random variables ξ. For each \(V_{i}\in C^{2,1} ({\mathbb{R}}^{n_{i}} \times {{{\mathbb{R}}}}_{+}; {{{\mathbb{R}}}}_{+})\), define a function \({\mathcal{L}}V_{i}\) from \({\mathbb{R}} ^{N} \times{\mathbb{R}}^{N} \times {{{\mathbb{R}}}}_{+}\) to \({{{\mathbb{R}}}}\) by
where, for \(x_{i}=( x_{i}^{(1)}, x_{i}^{(2)},\ldots, x_{i}^{(n_{i})})\),
and
A function \(V(x,t):\mathbb{R}^{N}\times\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\) is said to be radially unbounded, if
We denote by \(\Psi({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\) the family of all continuous functions \(\psi: {\mathbb{R}}_{+} \rightarrow{\mathbb{R}}_{+}\) with the property that for any \(\delta>0\) we have \(\liminf_{t\rightarrow\infty} \int_{t }^{t +\delta} \psi(s)\, ds>0\); see [16] for details.
For self-completeness we cite the following concepts and theorems on graph theory given by [5, 22, 23]. A directed digraph \(\mathcal{G} =(\mathcal{V}, \mathcal{E})\) contains a vertex set denoted by \({\mathcal{V}}=\{1,2,\ldots,l\}\) and an arc set denoted by \(\mathcal{E}\). Denote by \((j,i)\) an arc leading from initial vertex j to terminal vertex i. A directed digraph \(\mathcal{G}\) is weighted if each arc \((j,i)\) is assigned a positive weight \(a_{ij}\). The weight \(w(\mathcal{G})\) of a subgraph \(\mathcal{G}\) is the product of the weights on all its arcs. Given a weighted digraph \(\mathcal{G}\) with l vertices, define the weight matrix \(A=(a_{ij})\) whose entry \(a_{ij}\) equals the weight of arc \((j,i)\) if it exists, and 0 otherwise. A weight matrix A is cogredient to a matrix E if there exists some permutation matrix P such that \(PAP^{T}=E\). A is reducible if it is cogredient to \(E=\bigl[ {\scriptsize\begin{matrix} B & 0\cr C &D\end{matrix}} \bigr]\), where B and D are square matrices, or if \(l=1\) and \(A=0\). Otherwise, A is irreducible. A directed path \(\mathcal{H}\) in \(\mathcal{G}\) is a subgraph with distinct vertices \(\{i_{1}, i_{2},\ldots, i_{k}\}\) such that its set of arcs is \(\{(i_{m},i_{m+1}): m=1,2,\ldots, k-1\}\). If \(i_{k}=i_{1}\), we call \(\mathcal{H}\) a directed cycle. A connected subgraph \(\mathcal{T}\) is a tree if it contains no cycle, directed or undirected. A tree \(\mathcal{T}\) is rooted at vertex i, called the root, if i is not a terminal vertex of any arcs, and each of the remaining vertices is a terminal vertex of exactly one arc. A subgraph \(\mathcal{Q}\) is unicyclic if it is a disjoint union of rooted trees whose roots form a directed cycle. A digraph \(\mathcal{G} =(\mathcal{V}, \mathcal{E})\) is strongly connected if, for any pair of distinct vertices, there exists a directed path from one to the other. The Laplacian matrix of \((\mathcal{G},A)\) is defined as
Let \(c_{i}\) denote the cofactor of the ith diagonal element of L. We mention the Kirchhoff’s matrix tree theorem.
Lemma 2.1
Assume \(l\geq2\). If \((\mathcal{G},A)\) is strongly connected, then each \(c_{i}>0\), \(i \in\mathcal{V}\).
Lemma 2.2
[23]
A weighted digraph \((\mathcal{G},A)\) is strongly connected, if and only if A is irreducible.
Lemma 2.3
[5]
Assume \(l\geq2\). Let \(c_{i}\) be given in Lemma 2.1. Then the following identity holds:
Here for any \(i, j \in\mathcal{V}\), \(U_{ij} (x_{i},x_{j})\) 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 spanning unicycle graph \(\mathcal{Q}\), and \(C_{\mathcal{Q}}\) denotes the directed cycle of \(\mathcal{Q}\).
Consider the CSDDEs (1.1) on \(t\geq0\) with initial data (1.2) satisfying \(\xi_{i}\in C^{b}_{{\mathcal{F}}_{0}}([-r_{i}(0),0]; \mathbb{R}^{n_{i}})\), \(i=1,2,\ldots, l\), where, for each \(1\leq i, j\leq l\),
\(f=(f_{1}, f_{2}, \ldots, f_{l})^{T}\), \(g=(g_{1}, g_{2}, \ldots, g_{l})^{T}\), \(P_{j}=(P_{1j}, P_{2j}, \ldots, P_{lj})^{T}\) are all Borel-measurable functions. For CSDDEs (1.1), we propose the following assumptions.
Assumption 1
Time delays \(r_{i}: {\mathbb{R}}_{+} \rightarrow \mathbb{R}_{+}\), \(i=1, \ldots, l\), are differentiable and their derivatives are less than 1. That is to say, there exist constants \(d_{i}< 1\), \(i=1, \ldots, l\), such that
For each \(1\leq i\leq l\), Assumption 1 implies \(t-r_{i}(t)\) is an increasing function of t, so
Assumption 2
For each \(1\leq i, j\leq l\), \(f_{i}\), \(g_{i}\), and \(P_{ij}\) satisfy the local Lipschitz conditions. That is to say, for each \(h>0\) there are positive constants \(C_{i}(h) \) and \(\bar {C}_{ij}(h)\), such that
for all \(t\geq0\), \(x_{i}, \bar{x}_{i}, y_{i}, \bar{y}_{i}\in{\mathbb{R}}^{n_{i}}\), \(x_{j}, \bar{x}_{j}, y_{j}, \bar{y}_{j}\in{\mathbb{R}}^{n_{j}}\) with \(\|x_{i}\|\vee\|\bar{x}_{i}\|\vee\|y_{i}\|\vee\|\bar{y}_{i}\|\vee\| {x_{j}}\|\vee\| {\bar{x}_{j}}\|\vee\| {y_{j}}\|\vee\| {\bar{y}_{j}}\|\leq h\).
Assumption 3
\(\sup_{0\leq t< \infty} (\|f_{i}(0,0,t)\|\vee\|g_{i}(0,0,t)\|\vee\|P_{ij}(0,0,0,0,t)\| )<\infty\), \(i, j=1,2,\ldots,l\).
3 Existence and uniqueness of solution
In order to investigate the sophisticated properties of the solution, we need the existence and uniqueness of the global solution to CSDDEs (1.1) firstly, while their coefficients are usually required to satisfy the linear growth condition and local Lipschitz condition (see e.g. Friedman [12] and Mao [14]). However, the coefficients of CSDDEs (1.1) may not satisfy the linear growth condition, though they are locally Lipschitz continuous. We therefore wonder what other alternative conditions proposed can avoid the explosion at a finite time. We answer this question in the following theorem.
Theorem 3.1
Let Assumptions 1 and 2 hold. Assume for all \(1\leq i, j\leq l\), there exist functions \(V_{i}(x_{i}, t)\in C^{2, 1}({\mathbb{R}}^{n_{i}}\times{\mathbb{R}}; {\mathbb{R}}_{+})\) (radially unbounded), \(F_{ij}\in C({{\mathbb{R}}}^{N}\times{{\mathbb {R}}}^{N}\times{{\mathbb{R}}_{+}}; {\mathbb{R}} )\), \(q_{i} \in C({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\), \(p_{j} \in C({\mathbb{R}}^{n_{j}}\times[-r_{j}(0), \infty]; {\mathbb{R}}_{+})\), and nonnegative constants \(a_{ij}\geq0\) (\(A=(a_{ij})\) is irreducible), such that
Assuming that along each directed cycle \(\mathcal{C}_{\mathcal{Q}}\) of weighted digraph \((\mathcal{G},A)\), there exist functions \(h^{\mathcal{Q}} \in C({\mathbb{R}} _{+}; {\mathbb{R}}_{+})\), \(k_{j}^{\mathcal{Q}}\in C({\mathbb{R}}^{n_{j}}\times[-r_{j}(0), \infty]; {\mathbb{R}}_{+})\), \(j=1,2,\ldots,l\), such that
Then for any given initial data ξ, CSDDEs (1.1)-(1.2) have a unique global solution on \([0,\infty)\).
Proof
Under Assumptions 1 and 2, CSDDEs (1.1)-(1.2) have a unique maximal local solution \(x(t)\) on \(t\in [[0, \sigma_{\infty}[[\) for any given initial data ξ, where \(\sigma_{\infty}\) is the explosion time. We then need only to show that \(\sigma_{\infty}=\infty\) a.s. Therefore, choose sufficiently large N, such that \(N\geq |\xi_{i} | \) (\(i=1,2,\ldots, l\)), then for any \(n >N\), define the stopping time
and set \(\inf\emptyset=\infty\). Clearly, the \(\tau_{n}\) are increasing so we define the limit \(\tau_{\infty}=\lim_{k\rightarrow\infty}\tau_{n}\). Obviously, \(\tau_{\infty}\leq\sigma_{\infty}\) a.s. Next, we use the stochastic Lyapunov analysis method to prove \(\tau_{\infty}=\infty\), then we will obtain the required equality \(\sigma_{\infty}=\infty\). Let \(c_{i}\) is the cofactor of the ith diagonal element of Laplacian matrix of \((\mathcal{G},A)\). From Lemma 2.1 and Lemma 2.2, we know each \(c_{i} > 0\). Then we define \(V(x,t)= \sum_{i=1}^{l}c_{i}V_{i}(x_{i}, t)\). Utilizing inequalities (3.1), (3.2), and Lemma 2.3, we compute
where
For any \(n> N\) and \(t\geq0\), utilizing Itô’s formula, we get
From Assumption 1, we know for each \(1\leq i\leq l \), \(t-r_{i}(t)\) is an increasing function and
Then inequality (3.3) implies
where
The Gronwall inequality yields
On the other hand, define \(\mu: R_{+}\rightarrow R_{+}\) by
Clearly, \(\mu(\|x(t)\|)\leq V (x(t),t)\). Since \(V_{i}(x_{i},t)\), \(i=1,2,\ldots, l\) is radially unbounded,
It therefore follows from (3.5) that
Letting \(n\rightarrow\infty\), we have
Then \(t \rightarrow\infty\), and we obtain
That is, \(\tau_{\infty} = \infty\) a.s. We, therefore, must have \(\sigma_{\infty} = \infty\) a.s. This completes the proof. □
Corollary 3.1
Suppose that the assumptions of Theorem 3.1 are satisfied except that inequalities (3.1) and (3.2) are replaced by
and
where \(\gamma_{i}(t), \alpha_{ij} (t), \beta_{ij} (t), \delta^{\mathcal{Q}} (t), \theta^{\mathcal{Q}}_{j} (t), \vartheta ^{\mathcal{Q}}_{j} (t)\in C({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\). Then the result of Theorem 3.1 still holds.
Proof
Define \(q_{i}(t)= \max_{1\leq j\leq l}\{ \gamma_{i}(t), \alpha_{ij} (t), \beta_{ij} (t)\}\), \({h}^{\mathcal{Q}} (t)=\max_{1\leq j\leq l}\{ \delta ^{\mathcal{Q}} (t), \theta^{\mathcal{Q}}_{j} (t), \vartheta^{\mathcal {Q}}_{j} (t) \}\), \(p_{j}(x_{j},t)= k^{\mathcal{Q}} _{j}(x_{j},t)\equiv0\), then the required assertion follows from Theorem 3.1. □
Theorem 3.2
Suppose that all of the assumptions of Theorem 3.1 are satisfied, moreover, for each \(1\leq i\leq l\), \(V_{i}(x_{i}, t)\in C^{2, 1}({\mathbb{R}}^{n_{i}}_{+}\times{\mathbb{R}}; {\mathbb{R}}_{+})\) (radially unbounded) satisfies
where \(x_{i}=(x_{i}^{(1)}, x_{i}^{(2)},\ldots, x_{i}^{(n_{i})})\). Then for any given initial data ξ (\(\xi(t)\in\mathbb{R}^{N}_{+} \)), CSDDEs (1.1)-(1.2) have a unique global solution \(x(t)\) on \([0, \infty)\) and \(x(t)\in\mathbb{R}^{N}_{+} \) for all \(t\in [0,\infty)\) a.s.
Proof
Let \(N>0\) be sufficiently large for
For each integer \(n\geq N\), define the stopping time
The left proof is a modification of that of Theorem 3.1 directly, we omit it for avoiding duplication. □
Example 3.1
(n-Dimensional stochastic diffusion population model)
Consider the environmentally perturbed n-dimensional diffusion population system given by the SDEs
where \(a_{i}(t), b_{i}(t), \sigma_{ij}(t) \in C({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\), \(d_{ij}\geq0\) are the diffusion coefficients and \(r_{i}(t)\) satisfy Assumption 1. The above system describes the phenomenon that species always migrate from high concentration regions to low concentration ones, i.e., the movement is a function of species density [24]. Let \(d_{ii}=0\). In order to yield the existence of the global positive solution we define \(C^{2}\)-functions \(V_{i}: R_{+} \rightarrow R_{+}\), \(i=1,2,\ldots,n\), by
Obviously, \(V_{i}\) is radially unbounded and \(\lim_{ x_{i} \rightarrow0^{+}}\inf_{0\leq t<\infty}V_{i}(x_{i}) =\infty\). By Itô’s formula, compute
dropping \((t)\) from a, b, σ, where
here \(\delta_{i} \) may be any nonnegative constant for \(i=1,2,\ldots, n\), because \(F_{ii}(x) \equiv0\).
Utilizing the inequality for \(x>0\), \(2(x-1-\log x)>x\), we have
where \(K (t)\in C({\mathbb{R}}_{+};{\mathbb{R}}_{+})\). Obviously,
Then by Theorem 3.2, we obtain the following result.
Corollary 3.2
If Assumption 1 hold, moreover, there is a series of nonnegative constants \((\delta_{1}, \delta_{2}, \ldots, \delta_{n})\) such that
is irreducible. Then SDE (3.9) with initial data (1.2) have a unique global solution \(x(t)\) on \([0, \infty)\) and \(x(t)\in\mathbb{R}^{n }_{+}\) for all \(t\in [0,\infty)\) a.s.
4 The almost sure stability
One of the important issues in the study of coupled systems is the automatic control with consequent emphasis being placed on the analysis of stability. In this paper, we will mainly discuss the almost surely asymptotic stability of the CSDDEs. The main result is as follows.
Theorem 4.1
Let Assumptions 1-3 hold. For all \(1\leq i, j\leq l\), there exists a radially unbounded function \(V_{i}(x_{i},t)\in C^{2,1}({\mathbb{R}}^{n_{i}}\times{\mathbb {R}};{\mathbb{R}}_{+})\), \(\beta_{i}\in L({\mathbb{R}}_{+};{\mathbb{R}}_{+})\), \(w_{i}\in C({\mathbb{R}}^{N}\times{\mathbb{R}}; {\mathbb{R}}_{+})\), \(\bar{w}_{ij}\in C({\mathbb{R}}^{n_{j}}\times[-r_{j}(0), \infty]; {\mathbb{R}}_{+}) \), \(\alpha_{i} \in\Psi({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\), \(h_{i} \in C ({\mathbb{R}}^{N} ; {{\mathbb{R}}}_{+})\), \(F_{ij}\in C({{\mathbb{R}}}^{N}\times{{\mathbb{R}} }^{N}\times{{\mathbb{R}}_{+}}; {\mathbb{R}})\) and constants \(a_{ij}\geq0 \) (\(A=(a_{ij})\) is irreducible) such that
where
Assume along each directed cycle \(\mathcal{C}_{\mathcal{Q}}\) of a weighted digraph \((\mathcal{G},A)\) that there are functions \(\beta^{\mathcal{Q}}\in L({\mathbb{R}}_{+};{\mathbb{R}}_{+})\), \(w^{\mathcal{Q}}\in C({\mathbb {R}}^{N}\times{\mathbb{R}}; {\mathbb{R}}_{+})\), \(\bar{w}^{\mathcal{Q}}_{ j}\in C({\mathbb{R}}^{n_{j}}\times[-r_{j}(0), \infty]; {\mathbb{R}}_{+}) \), \(\alpha^{\mathcal{Q}} \in\Psi({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\), \(h^{\mathcal{Q}} \in C ({\mathbb{R}}^{N};{{\mathbb{R}}}_{+})\) such that
where
Then \(S= ( \bigcap_{i=1}^{l}\operatorname{Ker}( h_{i} ) ) \cap ( \bigcap_{\mathcal{Q}\in \mathbb{Q}}\operatorname{Ker}(h^{\mathcal{Q}} ) )\neq \emptyset\) and for any initial data ξ, the CSDDEs (1.1)-(1.2) has a unique global solution on \([0,\infty)\) denoted by \(x(t;\xi)\) satisfying
Proof
For any given initial data, the global existence of the unique solution on \(t\geq0\) is a direct application of Theorem 3.1. Next, we borrow the technique in [16] and combine it with the graph method from [5] to get the limit set. Because the proof is rather technical, we divide it into three steps.
Step 1. Write the solution \(x_{i}(t; \xi)=x_{i}(t)\) for simplicity. Let \(c_{i}\) be the cofactor of the ith diagonal element of Laplacian matrix of \((\mathcal{G},A)\), and compute
dropping \((t)\) from x and y, where
Then
where
Next, we prove \(\sum_{i=1}^{l} M_{i}(t) \) is a local martingale. Choose sufficiently large N, such that \(N\geq |\xi_{i}| \) (\(i=1,2,\ldots,l\)), then for any \(n >N\), define the stopping time
So this stopping sequence \(\tau_{n} \uparrow\infty\) a.s. From Assumptions 2 and 3, we know that, for each i, \(g_{i}\) is local bounded. Notice that \(\frac{\partial V_{i}}{\partial x_{i}}(x_{i}(s),s)\) is continuous in s and \(g_{i}(x_{i}(s),x_{i}(s-r_{i}(s)), s)I_{\{0\leq s\leq\tau_{n}\}}\) is uniformly bounded in \(s\in[0, t]\), where \(I_{A}\) is the indicator function of set A. So \(M_{i}(t\wedge \tau_{n})=\int_{0}^{t} c_{i} \frac{\partial V_{i}}{\partial x_{i}}(x_{i}(s),s)g_{i}(x_{i}(s),x_{i}(s-r_{i}(s)), s)I_{\{0\leq s\leq\tau_{n}\}}\, dB_{i}(s) \) is a martingale (see [14] for the details of the martingale proof). Thus each \(M_{i}(t) \) is a local martingale. Then the required assertion follows.
Using the nonnegative semimartingale convergence theorem (cf. Liptser and Shiryayev [25] or Mao [14]) we get
On the other hand, the left side of (4.6) is positive, taking the expectations on the right hand and letting \(t\rightarrow\infty\), we obtain
This implies
Step 2. From (4.8) and \(\alpha\in\Psi ({\mathbb{R}} _{+}, {\mathbb{R}}_{+})\), it is not difficult to prove that, for each \(1\leq i\leq l\) and each \(\mathcal{Q}\in\mathbb{Q}\),
We now claim that, for each \(1\leq i\leq l\) and each \(\mathcal{Q}\in \mathbb{Q}\),
If this is false, then there is some \(i_{1}\in\mathbb{L}\) such that
or there is some \(\mathcal{Q}_{1}\in\mathbb{Q}\) such that
Without loss of generality we suppose (4.13) holds. Hence there is a small constant \(0<\epsilon_{1}<\frac{1}{3}\) such that
where
For each \(i\in\mathbb{L}\), define \(\mu_{i} : R_{+}\rightarrow R_{+}\) by
So by (4.7) and the continuity of both \(x_{i }(t)\) and \(V_{i }(x_{i },t)\), we have
On the other side, the radial unboundedness of each \(V_{i }(x_{i },t)\) implies
Recalling the boundedness of the initial data we can then find a positive number χ, which depends on \(\epsilon_{1}\), sufficiently large such that \(|\xi|<\chi\), and
where
It is easy to see from (4.15) and (4.19) that
For any fixed number \(\eta>0\), let us now define a sequence of stopping times
Throughout this paper we set \(\inf\emptyset=\infty\). From (4.11), for each \(\omega\in A_{i_{1}}^{1}\cap A^{2}\), we have
By Hölder’s inequality and Doob’s martingale inequality (see [14]), from the CSDDEs (1.1), for any \(T>0\), we have
where \(A^{3,k}_{i_{1}}=\{\tau\wedge\sigma_{i_{1}}^{ 2k-1} <\infty\}\), \(K_{\chi}>0\) is a constant only dependent on χ. Since \(h_{i_{1}}(\cdot)\) is uniformly continuous in the closed ball \(\bar{S} _{i_{1}}^{\chi}=\{x\in{\mathbb{R}} ^{n_{i_{1}}}: \|x\|\leq \chi\}\), we can therefore choose \(\delta=\delta(\epsilon_{3})>0\) such that, for any pair \({x}_{i}, \bar{x}_{i}\in\bar{S}^{\chi}_{i_{1}} \) with \(\|x_{i}-\bar{x}_{i}\|<\delta\), we have
We furthermore choose a positive constant \(T_{ 1}\) (<η) sufficiently small such that
then from (4.21) and (4.22), we have
where
Recalling (4.20) and (4.24), we further compute
where
On the other side, it follows from \(\alpha_{i_{1}}\in\Psi(R_{+}, R_{+})\) that for \(T_{1}>0\) there exist two constants \(\epsilon_{2}=\epsilon_{2}(T_{1})>0\) and \(t_{3}=t_{3}(\epsilon_{2} )>0 \) such that
By the definition of \(\sigma_{i_{1}}^{k}\), there exists a positive integer N such that, for any \(\omega\in A_{i_{1}}^{1}\cap A^{2}\),
Therefore, by (4.8), we compute
which is a contradiction. Thus (4.12) must hold, implying for each i and \(\mathcal{Q}\),
Step 3. Observe from (4.27) that there exists an \(A^{0}\subset\Omega\) with \(\mathbb{P}(A^{0})=1\) such that, for each \(1 \leq i\leq l\) and each \(\mathcal{Q}\in\mathbb{Q}\),
Fix an \(\omega\in A^{0}\), then \(\{x(t, \omega)\}_{t\geq0}\) is bounded in \({\mathbb{R}}^{N} \). So there must be an increasing sequence \(\{t_{j}\} _{j\geq 1}\) such that \(\{x(t_{j}, \omega)\}_{j\geq1}\) converges to some \(x^{*}\in{\mathbb{R}}^{N} \). Hence
which implies \(x^{*}\in ( \bigcap_{i=1}^{l}\operatorname {Ker}( h_{i} ) ) \cap ( \bigcap_{\mathcal{Q}\in\mathbb{Q}}\operatorname{Ker}(h^{\mathcal{Q}} ) )\), so \(S\neq\emptyset\). We shall now show that
If this is false, then there is some \(\bar{\omega}\in A^{0}\), such that
Then there exists either an \(i_{2}\), \(1\leq i_{2}\leq l\) such that
or a \(\mathcal{Q}_{2}\in\mathbb{Q}\) such that
Without loss of generality we suppose inequality (4.30) holds. Then there is a constant \(\epsilon_{3}>0\) and a sequence \(\{x(t_{j},\bar {\omega})\}_{j\geq1}\) of \(\{x(t ,\bar{\omega})\}_{t\geq0}\) such that
Since \(\{x(t_{j},\bar{\omega})\}_{j\geq1}\) is bounded, we can find a subsequence \(\{x( t_{j_{k}},\bar{\omega})\}_{k\geq1}\) which converges to z. Clearly, \(z\notin\operatorname{Ker}(h_{i_{2}})\), so \(h_{i_{2}}(z)>0\). However, by (4.28),
which contradicts \(h_{i_{2}}(z)>0\). Hence (4.29) must hold and the required assertion (4.5) follows from \(\mathbb{P}(A^{0})=1\). The proof is therefore complete. □
Theorem 4.1 implies the solutions to the CSFDEs (1.1) will asymptotically approach the set S almost surely. Then we deduce some useful corollaries.
Corollary 4.1
Let Assumptions 1-3 hold. For all \(1\leq i, j\leq l\), there exists a radially unbounded function \(V_{i}(x_{i},t)\in C^{2,1}({\mathbb{R}}^{n_{i}}\times{\mathbb {R}};{\mathbb{R}}_{+})\), \(\beta_{i}\in L({\mathbb{R}}_{+};{\mathbb{R}}_{+})\), \(\alpha_{i }\in \Psi({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\), \(\bar{\alpha}_{ij}\in C([-r_{j}(0), \infty), {\mathbb{R}}_{+} ) \), \(h_{i } \in C ({\mathbb{R}}^{N} ; {{\mathbb{R}}}_{+})\), \(\bar{h}_{ij } \in C ({\mathbb{R}}^{n_{j}} ; {{\mathbb{R}}}_{+})\), \(F_{ij}\in C({{\mathbb{R}}}^{N}\times{{\mathbb{R}} }^{N}\times{{\mathbb{R}}_{+}}; {\mathbb{R}})\) and constants \(a_{ij}\geq0 \) (\(A=(a_{ij})\) is irreducible) such that
where
Assume along each directed cycle \(\mathcal{C}_{\mathcal{Q}}\) of weighted digraph \((\mathcal{G},A)\), there are functions \(\beta^{\mathcal{Q}}\in L({\mathbb{R}} _{+};{\mathbb{R}}_{+})\), \(\alpha^{\mathcal{Q}} \in \Psi({\mathbb{R}}_{+}; {\mathbb{R}}_{+})\), \(\bar{\alpha}_{ j}^{\mathcal{Q}} \in C([-r_{j}(0), \infty), {\mathbb{R}}_{+} ) \), \(h^{\mathcal{Q}} \in C ({\mathbb{R}}^{N} ; {{\mathbb{R}}}_{+})\), \(\bar{h}_{ j }^{\mathcal{Q}}\in C ({\mathbb{R}} ^{n_{j}} ; {{\mathbb{R}}}_{+}) \) such that
where
Then
and for any initial data ξ, the CSDDEs (1.1)-(1.2) have a unique global solution on \([0,\infty)\) denoted by \(x(t,\xi)\) satisfying
Proof
Define \(w_{i }(x ,t)=\alpha_{i }(t)h_{i }(x)\), \(\bar{w}_{ij}(x_{j},t)=\bar{\alpha}_{ij}(t)\bar{h}_{ij}(x_{j})\), \(w^{\mathcal{Q}}(x ,t)=\alpha^{\mathcal{Q}}(t)h^{\mathcal{Q}}(x)\), and \(\bar{w}^{\mathcal{Q}}_{ j}(x_{j}, t)=\bar{\alpha}^{\mathcal{Q}}_{ j}(t)\bar{h}^{\mathcal{Q}}_{ j}(x_{j})\), then we have
Hence, the result is obtained by Theorem 4.1 directly. □
Notice that if \(h_{i }(x)\equiv\bar{h}_{i }(x)\) and \(h^{\mathcal {Q}}(x)\equiv\bar{h}^{\mathcal{Q}} (x)\), the result of above corollary is useless. Therefore, the stronger conditions are needed to locate the limit set of the CSDDEs (1.1).
Corollary 4.2
Let all the assumptions of Corollary 4.1 hold, moreover, assume there are subsets \(\mathbb{I}, \mathbb{J} \subseteq \mathbb{L}\) and \(\mathbb{P} \subseteq \mathbb{Q}\) such that, for each \(i\in\mathbb{I}\), \(j\in\mathbb{J}\), \(\mathcal{Q}\in\mathbb{P}\), \((\alpha_{i }(t)-\bar{\alpha}_{ij}(t)), (\alpha^{\mathcal{Q}} (t)-\bar{\alpha}^{\mathcal{Q}}_{ j}(t))\in\Psi({\mathbb{R}}_{+} ; {{\mathbb{R}}}_{+}) \). Then
where \(\bar{S}\) is defined as equality (4.32) and for any initial data ξ, the CSDDEs (1.1)-(1.2) have a unique global solution on \([0,\infty)\) denoted by \(x(t,\xi)\) satisfying
Proof
Obviously, the conditions of Corollary 4.1 are satisfied. So the conclusions of Corollary 4.1 still hold. By inequalities (4.33) and (4.34), we get
By Theorem 4.1, the required assertions are obtained. □
From Theorem 4.1, S is the limit set of solutions to the CSDDEs (1.1). Therefore, the asymptotic properties of the solutions, such as the asymptotic boundedness, can be obtained more precisely from the information of S.
Corollary 4.3
Let all the assumptions of Theorem 4.1 hold. If S is bounded, then with the initial data ξ, the solution has the property
where \(C= \sup_{x\in S}\| x\|\).
If S only contains the origin of \({\mathbb{R}}^{N}\), we can obtain the following result on the globally asymptotic stability with probability 1.
Corollary 4.4
Let all the assumptions of Theorem 4.1 hold. If \(h_{i}( x) =0\), \(h^{\mathcal{Q}}( x)=0\), \(i\in\mathbb{L}\), \(\mathcal {Q}\in\mathbb{Q}\) iff \(x=0\), then the solution with the initial data ξ has the property
Furthermore, if the rate of \(V_{i}(x_{i})\) tending to infinity is known, the rate of the solutions converging to \(\operatorname{Ker}(h )\) is obtained. Exponential stability is a simple application of Theorem 4.1, which is arranged in the following corollary.
Corollary 4.5
Let all the assumptions of Theorem 4.1 hold. Assume for each \(i\in\mathbb{L}\), there are pairs of positive constants \(\lambda_{i} \) and \(p_{i}\), such that
Then the solution with the initial data ξ has the property
Proof
From (4.7) in the proof of Theorem 4.1, for almost all \(\omega\in\Omega\), the solution \(x(t,\xi)\) satisfies
Equation (4.36) implies
where K is a positive constant. Then the required assertion follows directly. □
Example 4.1
(Coupled stochastic oscillators with unbounded delays)
Given a network represented by digraph \(\mathcal{Q}\) with l vertices, a couple system can be built by assigning the ith vertex (\(i=1,2,\ldots, l\)) its own oscillator satisfying the Itô equation
and then coupling these oscillators based on directed arcs in the digraph. For each i, define \(x_{i}=(x_{i}^{(1)}, x_{i}^{(2)})^{T}=(z_{i},\dot{z}_{i})^{T}\), then we obtain the following self-excited coupled system (SCS) on \(\mathcal{Q} \):
where, for each \(1\leq i, j\leq l\), \(\theta_{i} \in(0,1)\), \(p_{i}(\cdot ), q_{i}(\cdot), f_{i}(\cdot)\in C({\mathbb{R}};{\mathbb{R}})\), \(x_{i}^{(1)}f_{i}(x_{i}^{(1)})>0\) for \(x_{i}^{(1)}\neq0\), \(\int_{0}^{\infty} f_{i}(u) \, du=\infty\), \(a_{ij}\geq0\), and \(A=(a_{ij})\) is irreducible. Then the total energy function \(V_{i}(x_{i},t)= \frac {(x_{i}^{(2)})^{2}}{2}+\int_{0}^{x_{i}^{(1)}}f_{i}(u)\, du\) is radially unbounded. Compute
where \({w}_{i }(x ,t)= p_{i}(t)(x_{i}^{(2)})^{2}\),
Compute
Assume along each directed cycle \(\mathcal{C}_{\mathcal{Q}}\) of the weighted digraph \((\mathcal{G},A)\),
Suppose that there exists a \(1\leq k \leq l\) such that \(p_{k}(t)-\frac {1}{2(1-\theta_{k})}q_{k}^{2}(t)\in\Psi(\mathbb{R}_{+};\mathbb{R}_{+} )\), by Theorem 4.1, the point \((x_{1},x_{2})\in S\) satisfies \(x_{k}^{(2)}=0\). By the strong connectivity of \((\mathcal{Q},A)\), each vertex i belongs to a connective circle \(\mathcal{C}_{\mathcal{Q}}\) including vertex k. Using Theorem 4.1 again, we know \(x_{i}^{(2)}=0\), \(i=1,2,\ldots,l\). Denote by \((x_{1}(t),x_{2}(t))\) the global solution of SCS (4.38) with an initial value, then
Furthermore, by the second equation of (4.38), the stochastic oscillator has the property
For example, see Figure 1 for a computer simulation of the paths of three independent oscillators described by (4.37), where \(f_{1}(x)=x|x|\), \(\theta_{1}=0.5\), \(p_{1}=1+0.3\cos t\), \(q_{1}=0.5\sin t\); \(f_{2}(x)=x\), \(\theta_{2}=0.6\), \(p_{2}=0.05+1.25e^{-t}\), \(q_{2}=0.2-e^{-\frac{1}{2}t}\); \(f_{3}(x)=x\), \(\theta_{3}=0.25\), \(p_{3}=1+e^{-t}\), \(q_{3}=0.2+e^{-t}\).
Computer simulation of the paths of \(\pmb{x_{1}^{(1)}(t)}\) , \(\pmb{x_{2}^{(1)}(t)}\) and \(\pmb{x_{3}^{(1)}(t)}\) for the three discrete-time independent oscillators described by ( 4.37 ) using the Euler-Maruyama method with step size 0.02 and initial values \(\pmb{x_{1}^{(1)}(0)=1}\) , \(\pmb{x_{1}^{(2)}(0)=0.6}\) , \(\pmb{x_{2}^{(1)}(0)=0.4}\) , \(\pmb{x_{2}^{(2)}(0)=0.7}\) , \(\pmb{x_{3}^{(1)}=-0.5}\) , \(\pmb{x_{3}^{(2)}(0)=-0.5}\) .
Couple these oscillators based on directed arcs in the digraph described by Figure 2, simulate the paths of the coupled oscillators and obtain Figure 3, which supports the main results clearly.
References
Chen, H, Sun, J: Global stability for coupled nonlinear systems with time functional on networks. Physica A 391, 528-534 (2012)
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)
Guo, H, Li, MY, Shuai, Z: Global dynamics of a general class of multistage models for infectious diseases. SIAM J. Appl. Math. 72, 261-279 (2012)
Kao, Y, Wang, C: Global stability analysis for stochastic coupled reaction-diffusion systems on network. Nonlinear Anal., Real World Appl. 14, 1457-1465 (2013)
Li, MY, 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)
Li, W, Su, H, Wang, K: Global stability analysis for stochastic coupled systems on network. Automatica 47, 215-220 (2011)
Roy, R, Murphy, TW, Maier, TD, Gills, Z, Hunt, ER: Dynamical control of a chaotic laser: experimental stabilization of a globally coupled system. Phys. Rev. Lett. 68, 1259-1262 (1992)
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)
Hoppensteadt, FC, Izhikevich, EM: Weakly Connected Neural Networks. Springer, New York (1997)
Øksendal, B: Stochastic Differential Equations. Springer, New York (2005)
Friedman, A: Stochastic Differential Equations and Their Applications. Academic Press, San Diego (1976)
Kolmanovskii, VB, Nosov, VR: Stability and Periodic Models of Control Systems with Aftereffect. Nauka, Moscow (1981)
Mao, X: Stochastic Differential Equations and Applications. Horwood, Chichester (1997)
Shaikhet, LE: Some new aspects of Lyapunov-type theorems for stochastic differential equations of neutral type. SIAM J. Control Optim. 48, 4481-4499 (2010)
Li, X, Mao, X: The improved LaSalle-type theorems for stochastic differential delay equations. Stoch. Anal. Appl. 30, 568-589 (2012)
Li, X, Mao, X: A note on almost sure asymptotic stability of neutral stochastic delay differential equations with Markovian switching. Automatica 48, 2329-2334 (2012)
Mao, X: Stochastic versions of the LaSalle theorem. J. Differ. Equ. 153, 175-195 (1999)
Mao, X: A note on the LaSalle-type theorem for stochastic differential delay equations. J. Math. Anal. Appl. 268, 125-142 (2002)
Rodkina, A, Schurz, H, Shaikhet, L: Almost sure stability of some stochastic dynamical systems with memory. Discrete Contin. Dyn. Syst. 21, 571-593 (2008)
LaSalle, JP: Stability theory of ordinary differential equations. J. Differ. Equ. 4, 57-65 (1968)
Berman, A, Plemmons, RJ: Nonnegative Matrices in the Mathematical Sciences. Academic Press, New York (1979)
Moon, JW: Counting Labelled Trees. Canadian Mathematical Congress, Montreal (1970)
Lu, Z, Takeuchi, Y: Global asymptotic behavior in single-species discrete diffusion systems. J. Math. Biol. 32, 66-77 (1993)
Liptser, RS, Shiryayev, AN (eds.): Theory of Martingales. Kluwer Academic, Dordrecht (1989)
Acknowledgements
The authors are grateful to the editor and anonymous reviewers for their helpful comments and valuable suggestions, which have greatly improved our original manuscript. This work is financially supported by the National Natural Science Foundation of China (11171056, 11171081) and Natural Science Foundation of Jilin Province (20101593).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors indicated in parentheses made substantial contributions to the following tasks of research: drafting the manuscript (RW); participating in the design of the study (WL, XL); writing and revising of the paper (XL). All authors read and approved the final manuscript.
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
Wang, R., Li, W. & Li, X. The almost sure stability of coupled system of stochastic delay differential equations on networks. Adv Differ Equ 2015, 133 (2015). https://doi.org/10.1186/s13662-015-0476-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0476-9