 Research
 Open Access
 Published:
Finite time synchronization of stochastic Markovian jumping genetic oscillator networks with timevarying delay and Lévy noise
Advances in Difference Equationsvolume 2019, Article number: 352 (2019)
Abstract
This paper is to investigate the finitetime synchronization of stochastic Markovian jumping genetic oscillator networks with timevarying delay and Lévy noise. At first, we generalize the finitetime stability theorem from the systems driven by Brownian motion to the Markovian jumping systems with Lévy noise. And then, we utilize the stochastic Lyapunov functional method and appropriate control to obtain sufficient conditions for finitetime synchronization. Finally, two numerical examples are presented to verify the effectiveness of the proposed criteria.
Introduction
Over the past few years, genetic oscillator networks (GONs) have received considerable attention in biological and biomedical sciences since they provide a powerful tool to elucidate the interactions between genes and proteins in gene expression and other gene regulation processes. As is known, GONs are inherently coupled complex biochemical systems, where proteins are synthesized from genes as transcriptional factors binding to the regulatory sites of their corresponding genes or other genes. Some important progress has been made in the development of GONs by means of various mathematical modeling, such as Boolean network model [1] and differential equation model [2]. Particularly, the differential equation model has obtained an increasing interest in qualitative and quantitative analysis [3,4,5].
Synchronization analysis of GONs is a hot topic in theory and numerical calculation. Usually, it is known that synchronization is essential for understanding biological rhythmic phenomena and molecular communication of living organisms [6, 7]. Very recently, some experimental results have implied that synchronization also plays a vital role in biomedical engineering. For instance, in Ref. [8] it has been found that synchronization can significantly increase the rate of homologous recombination during transformation in gene targeting, and in Ref. [9] it is showed that synchronization can enhance the anticancer activity of 2deoxyglucose in breast cancer cells due to an increase in cellular glucose metabolism. Therefore, it is not surprising that many theoretical analyses on synchronization with or without control have been established for GONs in these years [6, 7, 10,11,12,13,14,15,16]. As we know, in Ref. [10] the global exponential synchronization of delaycoupled GONs was considered in absence of control, while in Ref. [11] the cluster synchronization problem of GONs was investigated based on aperiodically adaptive intermittent control, and in Ref. [12] the conditions for multisynchronization of GONs were given via partial impulsive control strategy. Among the various synchronization protocols including exponential synchronization and asymptotic synchronization, finitetime synchronization is faster in synchronization realization. Moreover, the finitetime control techniques have demonstrated better robustness and disturbance rejection properties [17, 18]. As a result, the finitetime synchronization has obtained much attention in complex networks except for GONs [19,20,21,22,23]. Note that the real cellular life is finite, so it should be more meaningful for considering finitetime synchronization in GONs.
Although deterministic differential equations can capture some meanfield characteristics of practical dynamic systems, stochastic differential equations are more important in modeling uncertainties inherent in real world [24,25,26,27,28]. Gene expression is an intrinsically stochastic process [29, 30]. It should be pointed out that all of the existing literature about stochastic GONs mainly focuses on a system driven by Brownian motion [7, 13, 16]. However, researchers observed that the products of mRNAs and proteins occur in a bursty, unpredictable, and intermittent manner from a large number of biology experiments [31]. These burstlike events lead to a pulsatile fashion of high transcriptional activity followed by long periods of inactivity [32] and obey heavy tailed distributions [33]. The characteristics of burstlike events appear to be properly modeled by the nonGaussian Lévy process [34]. In fact, jumpdiffusion Lévy process, which involves Brownian motion as a specific case, allows not only the number of individuals to change continuously most of the time but also random jump discontinuities to occur occasionally [35, 36]. Meanwhile, we also note that a large number of studies have considered the effects of two kinds of necessary factors, i.e., time delay [37, 38] and Markovian jumping [39,40,41], in GONs. On the one hand, time delay is a ubiquitous phenomenon in slow biochemical reactions of genetic oscillator regulatory process. On the other hand, the dynamical systems with Markovian jumping are appropriate to describe the situation where gene switches between an inactive state, in which no protein will be produced, and an active state [42]. This evidence demonstrates that it is more meaningful and challenging to explore synchronization for delayed GONs with Lévy noise and Markovian jumping despite increased mathematical complexity. Nevertheless, to the best of our knowledge, the problem of synchronization for GONs in the case of Lévy noise has not been studied.
Motivated by the above discussions, the purpose of this paper is to deal with the finitetime synchronization problem of stochastic Markovian jumping GONs with timevarying delay and Lévy noise. We will introduce vector form Lévy noise into GONs to make a system more realistic in the true biological environment of networks because each node is always influenced by different multidimensional noises. By contrast of the existing literature, the main contributions of this paper can be highlighted into three points. Firstly, a more general model is proposed in this paper via introducing vector form Lévy noise into GONs. Secondly, we extend the finitetime stability theorem previously developed for the systems driven by Brownian motion to the Markovian jumping systems with Lévy noise. Thirdly, the sufficient finitetime synchronization conditions for stochastic Markovian jumping GONs with timevarying delay and Lévy noise are derived with the help of appropriate control and stochastic Lyapunov functional method.
The paper is organized as follows. In Sect. 2, some preliminary model notations and a lemma of finitetime stability for the Markovian jumping systems driven by Lévy noise are given. In Sect. 3, by applying Itô’s formula and the finitetime stability theorem, we obtain sufficient conditions of finitetime synchronization for GONs. Additionally, some corollaries are reduced to extend our main results. In Sect. 4, two numerical examples are presented to verify the effectiveness of the proposed criteria. Finally, conclusions are drawn in Sect. 5.
Notations
Throughout this paper, unless otherwise specified, we let \((\varOmega ,\mathcal{F},\{\mathcal{F}_{t}\}_{t\geq 0},P)\) be a complete probability space with a filtration \(\{\mathcal{F}_{t}\}_{t \geq 0}\) satisfying usual conditions (i.e., it is rightcontinuous and increasing while \(\mathcal{F}_{0}\) contains all Pnull sets). \(R^{n}\) is the ndimensional Euclidean space. \(R_{+}\) denotes the set of positive real numbers. If x is a vector or matrix, its transpose is denoted by \(x^{T}\). For vector \(x\in R^{n}\), its norm is defined as \(\Vert x \Vert =\sqrt{(x^{T}x)}\). \(I_{n}\) denotes the ndimensional identity matrix. \(A>0\) implies that A is a symmetric and positive definite matrix. \(\operatorname{diag}(\cdot )\) stands for a diagonal matrix. \(E(\cdot )\) denotes the expectation operator with respect to some probability measure.
Preliminaries
Let \(r(t)\), \(t\geq 0\) be a rightcontinuous Markovian chain on the probability space taking values in a finite state set \(S=\{1,2,\ldots ,M\}\) with generator \(\varPi =(\pi _{ij})_{M\times M}\) given by
where \(\delta >0\) and \(\pi _{ij}\geq 0\) is the transition rate from i to j if \(i\neq j\), while
It is well known that almost every sample path of \(r(t)\) is a rightcontinuous step function.
Consider the Markovian jumping GONs with timevarying delay of the form
where \(x_{k}(t)\in R^{n}\), \(k=1,\ldots ,N\), is the state vector of the kth genetic oscillator which represents the concentrations of proteins, RNAs, and chemical complexes at time t. \(r(t)\) is a Markov chain in a finite state space S. In the networks, \(A(r(t))\), \(B_{1}(r(t))\), and \(B_{2}(r(t))\) are matrices in \(R^{n \times n}\). \(\bar{e}_{n}=(1,\ldots ,1)^{T}_{n\times 1}\). \(\varGamma (r(t)) \in R^{n \times n}\) is a constant inner coupling matrix of the genetic oscillators to be determined, it should be noted that \(\varGamma (r(t))\) is not necessary to be diagonal in this paper. \(G(r(t))=(G(r(t))_{kl})_{N \times N}\) is the irreducible coupling matrix, which is defined as follows: if there is a link from node l to node k, then \(G(r(t))_{kl}\) is equal to a positive constant denoting the coupling strength of this link; otherwise, \(G(r(t))_{kl} = 0\); \(G(r(t))_{kk} = \sum_{l=1,l\neq k}^{N}G_{kl}(r(t))\). \(\tilde{f}(r(t), x_{k}(t))=[ \tilde{f}_{1}(r(t), x_{k1}(t)), \ldots , \tilde{f}_{n}(r(t), x_{kn}(t))]^{T} \in R^{n}\) and \(\tilde{g}(r(t), x_{k}(t\tau (t)))=[ \tilde{g}_{1}(r(t), x_{k1}(t\tau (t))), \ldots , \tilde{g}_{n}(r(t), x_{kn}(t\tau (t)))]^{T} \in R^{n}\) are the regulatory functions, which are monotonic increasing regulatory functions and usually are of the Michaelis–Menten or Hill form.
In this paper, we use the driveresponse approach to derive the finitetime synchronization criteria, where system (2.1) can be regarded as the drive system with the state variate denoted by \(x_{k}(t)\), and the response system with the state variate denoted by \(y_{k}(t)\) can be described in the following stochastic Markovian jumping GONs with timevarying delay and Lévy noise according to Lévy–Itô decomposition theorem and the interlacing technique [35]:
It should be noticed that the initial values in the response system are different from those in the drive system, where \(U_{k}(r(t))=(u_{k1}(r(t)),u _{k2}(r(t)),\ldots ,u_{kn}(r(t)))^{T} \in R^{n}\) is a control input vector. \({\sigma _{k}}: S\times R^{n}\times R^{n} \rightarrow R^{n \times n}\) and \({h_{k}}: S\times R ^{n}\times R^{n}\times \mathbb{Z} \rightarrow R^{n}\) are Lévy noise intensity functions. \(W(t)=(W_{1}(t),\ldots ,W_{N}(t))^{T}\) is a vector Brownian motion defined on the probability space \((\varOmega , \mathcal{F},\{\mathcal{F}_{t}\}_{t\geq 0},P)\) with \(\{\mathcal{F}_{t} \}_{t\geq 0}\) satisfying the usual conditions. \(N(t, z)\) is an Ndimensional Poisson process and \(N_{k}(dt,dz_{k})\) is Poisson counting measure with characteristic measure \(\{\lambda _{k}, k=1, \ldots ,N\}\) on a measurable subset \(\mathbb{Z}\) of \([0,\infty )\). \(\tilde{N}_{k}(dt,dz_{k})=N_{k}(dt,dz_{k})\lambda _{k}(dz_{k})\,dt\). Throughout the paper, it is assumed that \(W_{k}\) and \(W_{l}\), \(N_{k}\), and \(N_{l}\) are independent for all \(k\neq l\), and \(r(t)\), W and N are also independent.
Define the synchronization error vector \(e_{k}(t)=y_{k}(t)x_{k}(t)\), based on systems (2.1) and (2.2), we have the following error dynamic system:
where \(f(r(t), e_{k}(t))=\tilde{f}(r(t), y_{k}(t))\tilde{f}(r(t), x _{k}(t))\), \(g(r(t), e_{k}(t\tau (t)))=\tilde{g}(r(t), y_{k}(t\tau (t))) \tilde{g}(r(t), x_{k}(t\tau (t)))\). The initial value is given by \(\{e(\bar{\theta }): \tilde{\tau } \leq \bar{\theta } \leq 0\}=\xi _{0} \in R^{n}\). Throughout the paper, we assume that \(f(r(t),0)=g(r(t),0)= \sigma (r(t),0,0)=h(r(t),0,0,0)=0\). Usually, with an appropriate control in the response system, the error state will approach zero. And in this case, it is said that the response system is synchronized with the drive system. In order to achieve finitetime synchronization, we take the control of the form
where \(\operatorname{sign}(e_{k}(t))=\operatorname{diag}( \operatorname{sign}(e_{k1}(t)),\ldots ,\operatorname{sign}(e_{kn}(t)))\), \(e_{k}(t)^{\theta }=(e_{k1}(t)^{\theta },\ldots , e_{kn}(t)^{ \theta })^{T}\). \(\eta _{1}(r(t))\), \(\eta _{2}(r(t))\), \(\eta _{3}(r(t))\) are control strengths satisfying \(\eta _{2}(r(t))>0\), \(\eta _{3}(r(t))>0\). \(\vartheta (r(t))>0\) is a tunable constant and the real number θ satisfies \(0 < \theta <1\). For convenience, \(r(t)\) and \(r(t_{0})\) are written as i and \(i_{0}\), respectively.
In order to derive the main results of this paper, we require the functions \(\tilde{f}(\cdot ,\cdot )\), \(\tilde{g}(\cdot ,\cdot )\), \(\sigma (\cdot ,\cdot ,\cdot )\), and \(h(\cdot ,\cdot ,\cdot ,\cdot )\) to satisfy the following assumptions.
 \(\mathbf{A}_{1}\) :

For \(\forall x,y \in R^{n}\), the nonlinear functions f̃ and g̃ satisfy the following sectorlike conditions:
$$ 0\leq \frac{\tilde{f}_{s}(i,x)\tilde{f}_{s}(i,y)}{xy}\leq \mu _{s} ^{i}, \qquad 0\leq \frac{\tilde{g}_{s}(i,x)\tilde{g}_{s}(i,y)}{xy} \leq \nu _{s}^{i}, \quad s=1, \ldots , n, $$or equivalently,
$$\begin{aligned}& {\bigl(\tilde{f}(i,x)\tilde{f}(i,y)\bigr)^{T}\bigl( \tilde{f}(i,x)\tilde{f}(i,y)\bigr)\leq (xy)^{T}\mu ^{i} \mu ^{i}(xy),} \\& {\bigl(\tilde{g}(i,x)\tilde{g}(i,y)\bigr)^{T}\bigl(\tilde{g}(i,x) \tilde{g}(i,y)\bigr)\leq (xy)^{T}\nu ^{i}\nu ^{i}(xy),} \end{aligned}$$where \(\mu ^{i}=\operatorname{diag}\{\mu ^{i}_{1}, \ldots , \mu ^{i}_{n} \}\) and \(\nu ^{i}=\operatorname{diag}\{\nu ^{i}_{1}, \ldots , \nu ^{i} _{n}\}\).
 \(\mathbf{A}_{2}\) :

Assume that the noise intensity functions \(\sigma _{k}(\cdot ,\cdot ,\cdot )\) and \(h_{k}(\cdot ,\cdot ,\cdot ,\cdot )\) satisfy the following conditions:
$$\begin{aligned}& \operatorname{trace}\bigl(\sigma _{k}^{T} \bigl(i,e_{k}(t),e_{k}\bigl(t\tau (t)\bigr)\bigr)\sigma _{k}\bigl(i,e _{k}(t),e_{k}\bigl(t\tau (t)\bigr)\bigr)\bigr) \\& \quad \leq e^{T}_{k}(t)\lambda _{1}^{i}e_{k}(t)+ e ^{T}_{k}\bigl(t\tau (t)\bigr)\lambda _{2}^{i}e_{k}\bigl(t\tau (t)\bigr) \end{aligned}$$and
$$\begin{aligned}& \int _{\mathbb{Z}}h_{k}^{T} \bigl(i,e_{k}(t),e_{k}\bigl(t\tau (t) \bigr),z_{k}\bigr)h_{k}\bigl(i,e _{k}(t),e_{k} \bigl(t\tau (t)\bigr),z_{k}\bigr)\lambda _{k}(dz_{k}) \\& \quad \leq e^{T}_{k}(t)H_{1}^{i}e_{k}(t)+e^{T}_{k} \bigl(t\tau (t)\bigr)H_{2}^{i}e _{k} \bigl(t\tau (t)\bigr), \end{aligned}$$where \(\lambda _{1}^{i}\), \(\lambda _{2}^{i}\), \(H_{1}^{i}\), and \(H_{2}^{i}\) are positive constant matrices of appropriate dimensions.
 \(\mathbf{A}_{3}\) :

There exist positive constants τ̃ and τ̄ such that
$$ 0 < \tau (t) \leq \tilde{\tau },\qquad \dot{\tau }(t) \leq \bar{\tau }. $$
For the system
where \(x(t)\in R^{n}\), \(\bar{f}: S\times R_{+} \times R^{n}\times R ^{n}\rightarrow R^{n}\), \(\bar{g}: S\times R_{+} \times R^{n}\times R ^{n}\rightarrow R^{n \times n}\), and \(\bar{h}: S\times R_{+} \times R ^{n}\times R^{n}\times \mathbb{Z} \rightarrow R^{n}\) are Borelmeasurable functions. Given \(V\in C^{2,1}(S\times R_{+}\times R ^{n}; R_{+})\), we define the operator LV by
where
For later use, we list Itô’s formula (see [38] and [39]) as follows:
for the details on the function c̄ and the measure \(\bar{ \mu }(ds,dm)\), see [43, 44].
Specially, given \(V(i,t,e_{k})\in C^{2,1}(S\times R_{+}\times R^{n}; R _{+})\), and then the operator LV associated with stochastic model (2.3) is
Definition 2.1
([45])
A function \(C: R_{+}\rightarrow R_{+}\) is said to be a class \(\mathcal{K}\) function if it is continuous, strictly increasing, and \(C(0)=0\). A class \(\mathcal{K}\) function C is said to belong to class \(\mathcal{K}_{\infty }\) if \(C(x)\rightarrow \infty \) as \(x\rightarrow \infty \).
Definition 2.2
([45])
The trivial solution of system (2.5) is finitetime stable in probability if the equation admits a unique solution for any initial value \(x_{0}\in R^{n}\) and each \(i\in S\); moreover, the following properties hold:

(a)
Finitetime attractiveness in probability: For any initial value \(x_{0}\in R^{n}\backslash \{0\}\), the first hitting time \(\tau _{h}(x _{0})=\inf \{t; x(i,t,x_{0})=0\}\), called the stochastic settling time, is finite almost surely, that is, \(P\{\tau _{h}(x_{0})<\infty \}=1\);

(b)
Stability in probability: For each pair of \(\varepsilon \in (0,1)\) and \(b > 0\), there exists \(\delta =\delta (\varepsilon , b)>0\) such that
$$ P\bigl( \bigl\Vert x(i,t;x_{0}) \bigr\Vert < b \text{ for all } t\geq 0\bigr)\geq 1\varepsilon , $$whenever \(\x_{0}\< \delta \).
To end of this section, we introduce the following lemma which is useful in deriving sufficient conditions of finitetime synchronization.
Lemma 2.1
Suppose system (2.5) has a unique solution denoted by \(x(i_{0}, t, x_{0})\), for any initial value \(\{x(\bar{\theta }):  \tilde{\tau } \leq \bar{\theta } \leq 0\}=x_{0} \in R^{n}\backslash \{0\}\) and \(r(t_{0})=i_{0}\in S\). Additionally, if there exists a function \(V(i,t,x)\in C^{2,1}(S\times R_{+}\times R^{n}; R_{+})\), \(\mathcal{K}_{\infty }\) class functions \(C_{1}(\cdot )\) and \(C_{2}(\cdot )\), and real numbers \(c_{i}> 0\), \(1> a >0\), such that
then the trivial solution of system (2.5) is finitetime stable in probability.
Proof
Applying Itô’s formula and integrating the both sides from \(t_{0}\) to t, then taking mathematical expectation for the both sides, it can be easily reduced that
where \(c=\min_{i\in S}c_{i}\). Define \(\tau _{b}=\inf \{t; \x(t, x_{0})\> b\}\). With the help of (2.6) and (2.7), it has
Thus, by taking \(\delta =(C_{2}(\varepsilon C_{1}(\b\)))^{1}\), we can obtain that
whenever \(\x_{0}\\leq \delta \). Letting \(t\rightarrow \infty \), we derive \(P(\tau _{b} \leq \infty )\leq \varepsilon \), which further leads to
Similar to Theorem 3.1 in [45], we can conclude that the trivial solution of system (2.5) is finitetime stable in probability. Moreover, according to Lemma 3.1 in [45], we have
which implies that \(T_{0}(i_{0},t_{0},x(t_{0}))< \infty \) a.s. □
Remark 2.1
Since the presence of the Lévy noise item can make the problem complicated, Theorem 3.1 in [45] and Theorem 4.1 in [46] obtained the finitetime stability conditions for stochastic differential equations driven by Brownian motion cannot be straightaway used to discuss our main problems. In Lemma 2.1, we make a first attempt to give the finitetime stability theorem for the Markovian jump systems driven by Lévy noise, which improves and generalizes the related results in the previous literature.
Main results
In this section, the finitetime synchronization criteria for Markovian jumping GONs with timevarying delay and Lévy noise will be got under the above assumptions \(\mathbf{A}_{1}\)–\(\mathbf{A}_{3}\) by means of the stochastic Lyapunov functional method and Lemma 2.1.
Definition 3.1
The genetic oscillator networks (2.1) and (2.2) are said to achieve finitetime synchronization in probability if the trivial solution of error system (2.3) is finitetime stable in probability.
Theorem 3.1
Suppose that error system (2.3) has a unique solution, and let assumptions \(\mathbf{A}_{1}\)–\(\mathbf{A}_{3}\) hold. If there exists a symmetric positive definite matrix \(P_{i}\in R^{n\times n}\) and positive definite diagonal matrices \(\varSigma _{1i}, \varSigma _{2i} \in R ^{n\times n}\), \(i\in S\), such that
then systems (2.1) and (2.2) are finitetime synchronization in probability in a finite time
where \(\vartheta =\min_{i\in S}\vartheta _{i}\) and ‘⊗’ represents the Kronecker product.
Proof
According to Lemma 2.1, it can be assumed that system (2.3) has a unique solution denoted by \(e_{k}(i_{0}, t, \xi _{0})\) on \(t \geq 0\) for any initial value \(\xi _{0}\in R^{n}\backslash \{0\}\). For simplicity, \(e_{k}(i_{0}, t, \xi _{0})\) is written as \(e_{k}(t)\). For system (2.3), define \(V(i,t,e_{k}(t))=V_{1}(i,t,e_{k}(t))+V_{2}(i,t,e _{k}(t))+V_{3}(i,t,e_{k}(t))\), where
Then applying Itô’s formula, we can derive
where
and
For \(LV_{2}\) and \(LV_{3}\), according to assumption \(\mathbf{A}_{3}\), we have
and
By using assumption \(\mathbf{A}_{1}\), it yields
and
Moreover, it can be easily reduced that
and
With assumption \(\mathbf{A}_{2}\) in mind, it is held that
and
where \(\rho (\cdot )\) denotes the spectral radius. Due to \(\sum_{i,j\in S}\pi _{ij}=0\), for an arbitrary symmetric positive definite matrix \(\varpi _{i}\), we obtain
Then submitting (3.3)–(3.11) into (3.2), it follows
According to condition (3.1) and the inequality in [47] as follows:
we can get
Based on Lemma 2.1, \(V (i, t, e_{k}(t))\) converges to zero in a finite time, and the finite time is estimated by
Consequently, systems (2.1) and (2.2) with control (2.4) are finitetime synchronized in probability in the finite time \(T^{*}\). This completes the proof. □
Remark 3.1
As far as we know, all the existing stochastic models concerning GONs [7, 13, 16, 41] have considered the situation of Brownian motion. In this paper, the model discussed is universal, which replaces purediffusion Brownian motion with jumpdiffusion Lévy process.
Remark 3.2
It should be noted that previous studies on synchronization problem of GONs [7, 10,11,12,13, 41] have just considered many types of synchronization including exponential synchronization and cluster synchronization but not finitetime synchronization. In this paper, we investigate finitetime synchronization problem of GONs for the first time. Moreover, compared with the studies on finitetime synchronization problem of complex networks [20,21,22,23], the problem of finitetime synchronization for the model driven by Lévy noise is also to be considered for the first time in this paper. Different from the classical Lyapunov stability, finitetime synchronization concerns the stability of the error system over a finite interval of time and plays an important role in the study of the transient behavior of systems.
When we do not consider timevarying delay, i.e., \(\tau (t)=0\), error system (2.3) will be reduced to the following stochastic Markovian jumping GONs driven by Lévy noise:
with the control of the form
Then we can easily get the following corollary.
Corollary 3.1
Suppose that error system (3.12) has a unique solution, and let assumptions \(\mathbf{A}_{1}\)–\(\mathbf{A}_{2}\) hold. If there exists a symmetric positive definite matrix \(P_{i}\in R^{n\times n}\) and positive definite diagonal matrices \(\varSigma _{1i}, \varSigma _{2i}\in R ^{n\times n}\), \(i\in S\), such that
then error system (3.12) is finitetime stable in probability in a finite time
Proof
Define \(V(i,t,e_{k}(t))=\sum_{k=1}^{N}e_{k} ^{T}(t)P_{i}e_{k}(t)\). The proof method is similar to that of Theorem 3.1, so we omit it. □
When we do not consider Markovian switching, i.e., Markovian chain \(r(t)\) takes value in the state space \(S=\{1\}\), error system (2.3) will be reduced to the following stochastic GONs with timevarying delay and Lévy noise:
with the control of the form
Then we can easily get the following corollary.
Corollary 3.2
Suppose that error system (3.14) has a unique solution, and let assumptions \(\mathbf{A}_{1}\)–\(\mathbf{A}_{3}\) hold. If there exists a symmetric positive definite matrix \(P\in R^{n\times n}\) and positive definite diagonal matrices \(\varSigma _{1}, \varSigma _{2} \in R^{n\times n}\) such that
then error system (3.14) is finitetime stable in probability in a finite time
Proof
Define \(V(t,e_{k}(t))=V_{1}(t,e_{k}(t))+V_{2}(t,e_{k}(t))+V _{3}(t,e_{k}(t))\), where
Similarly, following the same steps as in Theorem 3.1, one can easily obtain Corollary 3.2. □
When we do not consider Lévy jump, i.e., \(h_{k}(i,e_{k}(t),e_{k}(t \tau (t)),z_{k})=0\), error system (2.3) will be reduced to the following stochastic Markovian jumping GONs with timevarying delay:
with the control of the form
Then we can easily get the following corollary.
Corollary 3.3
Suppose that error system (3.16) has a unique solution, and let assumptions \(\mathbf{A}_{1}\)–\(\mathbf{A}_{3}\) hold. If there exists a symmetric positive definite matrix \(P_{i}\in R^{n\times n}\) and positive definite diagonal matrices \(\varSigma _{1i}, \varSigma _{2i} \in R ^{n\times n}\), \(i\in S\), such that
then error system (3.16) is finitetime stable in probability in a finite time
Proof
Define \(V(i,t,e_{k}(t))=V_{1}(i,t,e_{k}(t))+V_{2}(i,t,e _{k}(t))+V_{3}(i,t,e_{k}(t))\), where
By means of Theorem 3.1, the results of Corollary 3.3 are obvious, hence we omit their proofs here. □
Remark 3.3
As is known, GONs are inherently coupled networks. The finitetime synchronization criteria of genetic regulatory networks without coupled interaction proposed in [23] cannot be used to guarantee the case of the GONs. As a result, Corollary 3.3 is more general than previous results.
Numerical examples
Here, we present two illustrative numerical examples to demonstrate the effectiveness of the main results.
Example 4.1
Consider the following genetic oscillator networks [6]:
where \(x_{ak}\), \(x_{bk}\), \(x_{ck}\) and \(x_{Ak}\), \(x_{Bk}\), \(x_{Ck}\) represent the dimensionless concentrations of genes tetR, cI, lacI and their product proteins TetR, CI, LacI, respectively. The concentration of AI inside the kth cell is denoted by \(x_{Sk}\). More details are in Ref. [6]. In this example, \(N=2\). Here, the Markov chain \(r(t)\) is on the state space \(S=\{1, 2\}\) with the generator $\Pi =\left[\begin{array}{cc}4& 4\\ 6& 6\end{array}\right]$ and the following setting:

when \(r(t)=1\),
$$\begin{aligned}& d_{1}=d_{3}=0.35,\qquad d_{2}=0.3, \qquad d_{4}=0.25,\qquad d_{5}=0.28, \qquad d_{6}=0.26, \\& \alpha =5.4,\qquad \beta _{1}=0.6,\qquad \beta _{2}=8.0, \\& \beta _{3}=0.015,\qquad m=4,\qquad Q_{0}=0.8,\qquad k=8.0, \qquad k_{1}=0.016, \\& k_{2}=0.4,\qquad k _{3}=0.018,\qquad u=1.3,\qquad u_{s}=5, \end{aligned}$$ 
when \(r(t)=2\),
$$\begin{aligned}& d_{1}=d_{3}=0.33,\qquad d_{2}=0.3,\qquad d_{4}=0.23,\qquad d_{5}=0.27, \qquad d_{6}=0.27, \\& \alpha =4.9,\qquad \beta _{1}=0.5,\qquad \beta _{2}=9.0, \\& \beta _{3}=0.016,\qquad m=4,\qquad Q_{0}=0.8,\qquad k=8.0, \qquad k_{1}=0.016, \\& k_{2}=0.4, \qquad k _{3}=0.018,\qquad u=1.3,\qquad u_{s}=5. \end{aligned}$$
For system (4.1), its response system driven by Lévy noise can be described as system (2.2), in which \(\tau (t)=0\), \(\tilde{f}=[0, 0, 0, 0, 0, 0, \frac{x_{Sk}}{u_{s}(r(t))+x_{Sk}}]^{T}\), \(B_{1}(r(t))\) is a \(7\times 7\) matrix with all zero entries except for \(B_{1}(3,7)=k(r(t))\), \(\tilde{g}=[0, 0, 0, \frac{1}{u(r(t))+x_{Ak} ^{m}}, \frac{1}{u(r(t))+x_{Bk}^{m}}, \frac{1}{u(r(t))+x_{Ck}^{m}}, 0]^{T}\), \(B_{2}(r(t))\) is a \(7\times 7\) matrix with all zero entries except for \(B_{2}(2,4)=B_{2}(3,5)=\frac{\alpha (r(t))}{u(r(t))}\). And when \(r(t)=1\),
When \(r(t)=2\),
The initial values \(x_{1}(t)=[0.5, 0.3, 0.09, 0.6, 1.3, 5.03, 1.1]^{T}\), \(x_{2}(t)=[10.5, 0.31, 0.08,0.062, 1.31, 5.02, 1.2]^{T}\), \(y_{1}(t)=[6.3, 0.33, 0.1, 0.061, 1.29, 5.04, 1.1]^{T}\), \(y_{2}(t)=[3.2, 0.29, 0.02, 0.059, 1.32, 5.08, 0.99]^{T}\).
It is easy to verify that the given parameters satisfy the assumptions of Corollary 3.1, and thus system (4.1) and (2.2) should be finitetime synchronization. The simulated results in Figs. 1–3 clearly confirm our theoretical results. As seen from Fig. 1, due to the influence of Lévy noise, the trajectory of the response system without control has an evident deviation from the trajectory of the drive system. But in Fig. 2, under the same intensity of Lévy noise, the response system with control is synchronized with the drive system after a shorttime transient evolution even though those states start at different initial values. To further verify the effectiveness of the proposed control design, we take different values of \(\eta _{1}^{i}\) and \(\vartheta _{i}\) (\(i=1,2\)) in Fig. 3.
Example 4.2
For systems (2.1) and (2.2), let \(N=n=2\) and the Markov chain \(r(t)\) be on the state space \(S=\{1, 2\}\) with the generator $\Pi =\left[\begin{array}{cc}7& 7\\ 3& 3\end{array}\right]$ and the following setting:

when \(r(t)=1\),
$$\begin{array}{c}\tilde{f}({x}_{k}(t))=\tilde{g}({x}_{k}(t))=\frac{{x}_{k}{(t)}^{2}}{1+{x}_{k}{(t)}^{2}},\phantom{\rule{2em}{0ex}}\tau (t)=0.20.1cos(2t),\hfill \\ {\sigma}_{1}({e}_{1}(t),{e}_{1}(t\tau (t)))=diag\{0.5{e}_{11}(t),0.5{e}_{12}(t)\},\hfill \\ {\sigma}_{2}({e}_{2}(t),{e}_{2}(t\tau (t)))=diag\{0.5{e}_{21}(t\tau (t)),0.5{e}_{22}(t\tau (t))\},\hfill \\ {h}_{1}({e}_{1}(t),{e}_{1}(t\tau (t)),{z}_{1})={[0.25{e}_{11}(t){z}_{1},0.25{e}_{12}(t){z}_{1}]}^{T},\hfill \\ {h}_{2}({e}_{2}(t),{e}_{2}(t\tau (t)),{z}_{2})={[0.25{e}_{21}(t\tau (t)){z}_{2},0.25{e}_{22}(t\tau (t)){z}_{2}]}^{T},\hfill \\ A=\left[\begin{array}{cc}1.0& 0.2\\ 0.5& 0.1\end{array}\right],\phantom{\rule{2em}{0ex}}{B}_{1}=\left[\begin{array}{cc}1.8& 0.3\\ 0.2& 3.5\end{array}\right],\phantom{\rule{2em}{0ex}}{B}_{2}=\left[\begin{array}{cc}2.4& 0.01\\ 0.03& 3.5\end{array}\right],\hfill \\ G=\left[\begin{array}{cc}1.0& 1.0\\ 1.0& 1.0\end{array}\right],\phantom{\rule{2em}{0ex}}\Gamma =\left[\begin{array}{cc}1.5& 0\\ 0& 1.5\end{array}\right],\phantom{\rule{2em}{0ex}}\lambda =1,\hfill \end{array}$$ 
when \(r(t)=2\),
$$\begin{array}{c}\tilde{f}({x}_{k}(t))=\tilde{g}({x}_{k}(t))=\frac{{x}_{k}{(t)}^{2}}{1+{x}_{k}{(t)}^{2}},\phantom{\rule{2em}{0ex}}\tau (t)=0.20.1cos(2t),\hfill \\ {\sigma}_{1}({e}_{1}(t),{e}_{1}(t\tau (t)))=diag\{0.4{e}_{11}(t),0.4{e}_{12}(t)\},\hfill \\ {\sigma}_{2}({e}_{2}(t),{e}_{2}(t\tau (t)))=diag\{0.45{e}_{21}(t\tau (t)),0.45{e}_{22}(t\tau (t))\},\hfill \\ {h}_{1}({e}_{1}(t),{e}_{1}(t\tau (t)),{z}_{1})={[0.3{e}_{11}(t){z}_{1},0.3{e}_{12}(t){z}_{1}]}^{T},\hfill \\ {h}_{2}({e}_{2}(t),{e}_{2}(t\tau (t)),{z}_{2})={[0.2{e}_{21}(t\tau (t)){z}_{2},0.2{e}_{22}(t\tau (t)){z}_{2}]}^{T},\hfill \\ A=\left[\begin{array}{cc}0.9& 0.1\\ 0.4& 0.5\end{array}\right],\phantom{\rule{2em}{0ex}}{B}_{1}=\left[\begin{array}{cc}1.4& 0.2\\ 0.1& 2.1\end{array}\right],\phantom{\rule{2em}{0ex}}{B}_{2}=\left[\begin{array}{cc}2.5& 0.05\\ 0.01& 4.9\end{array}\right],\hfill \\ G=\left[\begin{array}{cc}1.0& 1.0\\ 1.0& 1.0\end{array}\right],\phantom{\rule{2em}{0ex}}\Gamma =\left[\begin{array}{cc}1.0& 0\\ 0& 1.0\end{array}\right],\phantom{\rule{2em}{0ex}}\lambda =1,\hfill \end{array}$$
and the initial values \(x_{1}(t)=[2.3, 0.3]^{T}\), \(x_{2}(t)=[6.3, 1.3]^{T}\), \(y_{1}(t)=[5.5, 4.0]^{T}\), \(y_{2}(t)=[2.5, 7.5]^{T}\).
We find that the parameters given by Example 4.2 satisfy the assumptions of Theorem 3.1, which means that response system (2.2) should be finitetime synchronized with drive system (2.1) in theoretical analysis. The simulated results in Figs. 4–6 clearly confirm our conclusions. As seen from Fig. 4, due to the effect of Lévy noise, the trajectory of the response system without control is not synchronized with the trajectory of the drive system. But for the case with control in Fig. 5, the trajectory of the response system rapidly becomes the same as the trajectory of the drive system after a shorttime transient evolution. Fig. 6 presents the synchronization time for different values of \(\eta _{s}^{i}\), \(\vartheta _{i}\) and θ (\(s=1,2,3\), \(i=1,2\)).
Remark 4.1
It can be seen from Examples 4.1 and 4.2 that the effect of Lévy noise does play an important role in achieving the finitetime synchronization of GONs. Obviously, all of the criteria about finitetime synchronization in [20,21,22,23] cannot be applied in Examples 4.1 and 4.2 since they all ignored the perturbation of jump process.
Conclusions
In this paper, the problem of finitetime synchronization for stochastic Markovian jumping GONs with timevarying delay and Lévy noise has been investigated. It is worthy to point out that vector form Lévy noise is introduced in GONs and the finitetime synchronization problem for GONs is studied for the first time. Since the previous results concerning finitetime stability theorem cannot be straightway used to deal with our problem, we have generalized the finitetime stability theorem from the case of purediffusion Brownian motion to jumpdiffusion Lévy process. By means of the stochastic Lyapunov functional method and the finitetime stability theorem, the sufficient criteria of finitetime synchronization for GONs with appropriate control have been given in Theorem 3.1. Moreover, we also have obtained sufficient conditions of finitetime synchronization for GONs under three situations, i.e., GONs without timevarying delay, Markovian switching or Lévy jump, in Corollary 3.1, 3.2 and 3.3. Finally, two numerical examples have been presented to confirm our theoretical results. These results not only have covered the gap that finitetime synchronization problem of GONs was not considered, but also are helpful for understanding the synchronization phenomena in living organisms and engineering applications.
References
 1.
Thomas, R.: Boolean formalization of genetic control circuits. J. Theor. Biol. 42, 563–585 (1973)
 2.
Smolen, P., Baxter, D.A., Byrne, J.H.: Mathematical modeling of gene networks. Neuron 26(3), 567–580 (2000)
 3.
Reznik, E., Kaper, T.J., Segrè, D.: The dynamics of hybrid metabolicgenetic oscillators. Chaos 23, 013132 (2013)
 4.
Kuznetsov, A., Kærn, M., Kopell, N.: Synchrony in a population of hysteresisbased genetic oscillators. SIAM J. Appl. Math. 65(2), 392–425 (2004)
 5.
Gonze, D.: Modeling the effect of cell division on genetic oscillators. J. Theor. Biol. 325(10), 22–33 (2013)
 6.
Li, C.G., Chen, L.N., Aihara, K.: Synchronization of coupled nonidentical genetic oscillators. Phys. Biol. 3, 37–44 (2006)
 7.
Li, C.G., Chen, L.N., Aihara, K.: Stochastic synchronization of genetic oscillator networks. BMC Syst. Biol. 1, 6 (2007)
 8.
Tsakraklides, V., Brevnova, E., Stephanopoulos, G., Shaw, A.J.: Improved gene targeting through cell cycle synchronization. PLoS ONE 10(7), e0133434 (2015)
 9.
Lee, S.J., Park, B.N., Roh, J.H., An, Y.S., Hur, H., Yoon, J.K.: Enhancing the therapeutic efficacy of 2deoxyglucose in breast cancer cells using cellcycle synchronization. Anticancer Res. 36(11), 5975–5980 (2016)
 10.
Qiu, J.L., Cao, J.D.: Global synchronization of delaycoupled genetic oscillators. Neurocomputing 72, 3845–3850 (2009)
 11.
Guan, Z.H., Yue, D., Hu, B., Li, T., Liu, F.: Cluster synchronization of coupled genetic regulatory networks with delays via aperiodically adaptive intermittent control. IEEE Trans. Nanobiosci. 16(7), 585–599 (2017)
 12.
He, D.X., Ling, G., Guan, Z.H., Hu, B., Liao, R.Q.: Multisynchronization of coupled heterogeneous genetic oscillator networks via partial impulsive control. IEEE Trans. Neural Netw. Learn. Syst. 29(2), 335–342 (2018)
 13.
Zhang, W.B., Tang, Y., Fang, J.A., Zhu, W.: Exponential cluster synchronization of impulsive delayed genetic oscillators with external disturbances. Chaos 21, 043137 (2011)
 14.
Alofi, A., Ren, F.L., AlMazrooei, A., Elaiw, A., Cao, J.D.: Powerrate synchronization of coupled genetic oscillators with unbounded timevarying delay. Cogn. Neurodyn. 9, 549–559 (2015)
 15.
Wan, X.B., Xu, L., Fang, H.J., Yang, F., Li, X.: Exponential synchronization of switched genetic oscillators with timevarying delays. J. Franklin Inst. 351(8), 4395–4414 (2014)
 16.
Chen, B.S., Hsu, C.Y.: Robust synchronization control scheme of a population of nonlinear stochastic synthetic genetic oscillators under intrinsic and extrinsic molecular noise via quorum sensing. BMC Syst. Biol. 6, 136 (2012)
 17.
Haimo, V.T.: Finite time controllers. SIAM J. Control Optim. 24, 760–770 (1986)
 18.
Bhat, S., Bernstein, D.: Finitetime stability of homogeneous systems. In: Proceedings of ACC, Albuquerque, NM (1997)
 19.
Yang, X.R., Cao, J.D.: Finitetime stochastic synchronization of complex networks. Appl. Math. Model. 34, 3631–3641 (2010)
 20.
Li, L.L., Jian, J.G.: Finitetime synchronization of chaotic complex networks with stochastic disturbance. Entropy 17(1), 39–51 (2014)
 21.
Abdurahman, A., Jiang, H.J., Teng, Z.D.: Finitetime synchronization for memristorbased neural networks with timevarying delays. Neural Netw. 69(3–4), 20–28 (2015)
 22.
Ren, H.W., Deng, F.Q., Peng, Y.J.: Finite time synchronization of Markovian jumping stochastic complex dynamical systems with mix delays via hybrid control strategy. Neurocomputing 272, 683–693 (2018)
 23.
Jiang, N., Liu, X.Y., Yu, W.W., Shen, J.: Finitetime stochastic synchronization of genetic regulatory networks. Neurocomputing 167, 314–321 (2015)
 24.
Tuerxun, N., Teng, Z.D., Muhammadhaji, A.: Global dynamics in a stochastic three species foodchain model with harvesting and distributed delays. Adv. Differ. Equ. 2019, 187 (2019)
 25.
Feng, T., Qiu, Z.P., Meng, X.Z., Rong, L.B.: Analysis of a stochastic HIV1 infection model with degenerate diffusion. Appl. Math. Comput. 348, 437–455 (2019)
 26.
Song, Y., Miao, A.Q., Zhang, T.Q., Wang, X.Z., Liu, J.X.: Extinction and persistence of a stochastic SIRS epidemic model with saturated incidence rate and transfer from infectious to susceptible. Adv. Differ. Equ. 2018, 293 (2018)
 27.
Feng, T., Qiu, Z.P.: Global analysis of a stochastic TB model with vaccination and treatment. Discrete Contin. Dyn. Syst., Ser. B 24(6), 2923–2939 (2019)
 28.
Dai, X.J., Mao, Z., Li, X.J.: A stochastic preypredator model with timedependent delays. Adv. Differ. Equ. 2017, 297 (2017)
 29.
Swain, P.S., Elowitz, M.B., Siggia, E.D.: Intrinsic and extrinsic contributions to stochasticity in gene expression. Proc. Natl. Acad. Sci. 99, 12795–12800 (2002)
 30.
Elowitz, M.B., Levine, A.J., Siggia, E.D., Swain, P.S.: Stochastic gene expression in a single cell. Science 297(5584), 1183–1186 (2002)
 31.
Sanchez, A., Golding, I.: Genetic determinants and cellular constraints in noisy gene expression. Science 342, 1188–1193 (2013)
 32.
Golding, I., Paulsson, J., Zawilski, S.M., Cox, E.C.: Realtime kinetics of gene activity in individual bacteria. Cell 123, 1025–1036 (2005)
 33.
Raj, A., Peskin, C.S., Tranchina, D., Vargas, D.Y., Tyagi, S.: Stochastic mRNA synthesis in mammalian cells. PLoS Biol. 4, 1707–1719 (2006)
 34.
Zheng, Y.Y., Serdukova, L., Duan, J.Q., Kurths, J.: Transitions in a genetic transcriptional regulatory system under Lévy motion. Sci. Rep. 6, 29274 (2016)
 35.
Applebaum, D.: Lévy Processes and Stochastic Calculus, 1st edn. Cambridge University Press, Cambridge (2004) 2nd edition, 2009
 36.
Ma, S., Kang, Y.M.: Exponential synchronization of delayed neutraltype neural networks with Lévy noise under nonLipschitz condition. Commun. Nonlinear Sci. Numer. Simul. 57, 372–387 (2018)
 37.
MieryTeránRomero, L., Silber, M., Hatzimanikatis, V.: The origins of timedelay in template biopolymerization processes. PLoS Comput. Biol. 6(4), e1000726 (2010)
 38.
Wang, Z.X., Liao, X.F., Guo, S.T., Wu, H.X.: Mean square exponential stability of stochastic genetic regulatory networks with timevarying delays. Inf. Sci. 181(4), 792–811 (2011)
 39.
Zhang, W.B., Fang, J.A., Miao, Q.Y., Chen, L., Zhu, W.: Synchronization of Markovian jump genetic oscillators with nonidentical feedback delay. Neurocomputing 101, 347–353 (2013)
 40.
Lu, L., He, B., Man, C.T., Wang, S.: Passive synchronization for Markov jump genetic oscillator networks with timevarying delays. Math. Biosci. 262, 80–87 (2015)
 41.
Wang, Y., Wang, Z.D., Liang, J.L., Li, Y.R., Du, M.: Synchronization of stochastic genetic oscillator networks with time delays and Markovian jumping parameters. Neurocomputing 73, 2532–2539 (2010)
 42.
Bressloff, P.C.: Stochastic Liouville equation for particles driven by dichotomous environmental noise. Phys. Rev. E 95, 012124 (2017)
 43.
Yuan, C.G., Mao, X.R.: Stability of stochastic delay hybrid systems with jumps. Eur. J. Control 6, 595–608 (2010)
 44.
Mao, X.R., Yuan, C.G.: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)
 45.
Yin, J.L., Khoo, S., Man, Z.H., Yu, X.H.: Finitetime stability and instability of stochastic nonlinear systems. Automatica 47, 2671–2677 (2011)
 46.
Zhao, P., Feng, W., Zhao, Y., Kang, Y.: Finitetime stochastic inputtostate stability of switched stochastic nonlinear systems. Appl. Math. Comput. 268, 1038–1054 (2015)
 47.
Mei, J., Jiang, M., Xu, W., Wang, B.: Finitetime synchronization control of complex dynamical networks with time delay. Commun. Nonlinear Sci. Numer. Simul. 18(9), 2462–2478 (2013)
Acknowledgements
We thank the referees and the editor for their helpful comments and constructive suggestions that greatly improved the presentation of this paper.
Funding
The work is financially supported by the National Natural Science Foundation of China (No. 11372233 and 11772241).
Author information
Affiliations
Contributions
All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.
Corresponding author
Correspondence to Yanmei Kang.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
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
Received
Accepted
Published
DOI
Keywords
 Stochastic genetic oscillator networks
 Markovian jumping
 Timevarying delay
 Lévy noise
 Finitetime synchronization