Stability and bifurcation analysis of a gene expression model with small RNAs and mixed delays

Abstract

This paper investigates a gene expression model, which is mediated by sRNAs (small RNAs) and includes discrete and distributed delays. We take both the strong and weak kernel forms of distributed delay into consideration. The discrete time delay is chosen as the bifurcation parameter. By analyzing the distribution of characteristic values, we obtain the sufficient conditions of stability and examine the existence of periodic oscillations. When the discrete time delay is small and not greater than the threshold, the equilibrium of the gene expression model is asymptotically stable. When the bifurcation parameter exceeds the critical value, the model can produce limit cycles. Finally, numerical simulations are implemented to verify the correctness of our theoretical results.

1 Introduction

The study of bifurcation phenomena has aroused the interest of scientists in many fields. Both theoretical and experimental results show that the phenomenon of bifurcation is a common physical phenomenon in various disciplines [1, 2]. In system theory, bifurcation theory can be used to discuss the generation and disappearance of bifurcation phenomena in nonlinear systems [3,4,5,6,7,8]. For gene networks, the bifurcation theory is a useful tool for studying the dynamic performance in regulation process [9,10,11,12,13,14,15].

The gene regulatory network systematically studies the function and behavior of genes in the highly connected cell environment [16, 17], and it regards the gene as a whole organizational structure. With the development of information technology and computer science progress in recent years, the gene expression model has been widely addressed [18,19,20]. On the basis of a comprehensive interpretation of cell metabolism, it has played a great role in exploring the mechanism of life activities, the cause and treatment of the disease. A mathematical model of gene expression mediated by sRNAs is put forward in [13,14,15]:

$$\begin{aligned} \textstyle\begin{cases} \dot{x}(t)=-cx(t)-dy(t)x(t)+g (z(t-\tau _{1}) ), \\ \dot{y}(t)=e-dy(t)x(t)-fy(t), \\ \dot{z}(t)=-bz(t)+ax(t-\tau _{2}), \end{cases}\displaystyle \end{aligned}$$

(1)

where $x(t)$, $y(t)$, and $z(t)$ represent the densities of mRNA, sRNA, and protein, respectively. a represents the synthesis rate of protein. b, c, and f are the degradation rates of protein, mRNA, and sRNA. d is the matching rate of sRNA with mRNA. e is the transcription rate of sRNA. $g(p(t-\tau _{1}))$ denotes the generation rate of mRNA. $\tau _{1}$ and $\tau _{2}$ stand for the time delays. All of the above parameters are positive.

Due to the complexity of the interaction of gene information in reality, the time delay of the system is not invariable [21,22,23], and it may produce complicated nonlinear phenomena with the change of time. According to literature [24,25,26,27,28], we find that there may be more than one kind of time delay in practical engineering systems. Scholars usually neglect the existence of two kinds of time delay in order to obtain simple differential equations. In most cases, gene regulatory networks with sRNA have mixed delays due to their complex network models. In order to describe the genetic process of organisms more accurately, we introduce the distributed delays to exactly describe the change of the time delay in the reality. This paper takes the following gene expression model having distributed and discrete delays into consideration:

$$ \textstyle\begin{cases} \dot{x}(t)=-cx(t)-dy(t)x(t)+g[\int _{-\infty }^{t} T(t-x)z(x)\,dx], \\ \dot{y}(t)=e-dy(t)x(t)-fy(t), \\ \dot{z}(t)=-bz(t)+ax(t-\tau ). \end{cases} $$

(2)

The time delay kernel function T is presumed to satisfy some conditions as follows:

• (i) $T:[0,\infty ) \to [0,\infty )$;

• (ii) T is piecewise continuous;

• (iii) $\int _{0}^{\infty }T(x)\,dx=1$, $\int _{0}^{\infty }xT(x)\,dx<\infty$.

The standard mathematical form of $T(x)$ is as follows:

$$\begin{aligned} T(x)=\sigma ^{n+1}\frac{{x^{n}}e^{-\sigma x}}{n!},\quad x\in (0,\infty ),n=0,1, \end{aligned}$$

(3)

where the positive real number σ stands for the rate of fading of past memories. $n=0$ and $n=0$ denote the weak and strong kernel, respectively. The forms of weak and strong kernel respectively read as follows:

$$\begin{aligned}& T(x)=\sigma e^{-\sigma x},\quad x\in (0,\infty ), \end{aligned}$$

(4)

$$\begin{aligned}& T(x)=\sigma ^{2} x e^{-\sigma x},\quad x \in (0,\infty ). \end{aligned}$$

(5)

Compared with the discrete time delay, the distributed time delay possesses a more complex mathematical form, and it may degenerate to the discrete time delay if taking the delta function as the kernel function [29]. This makes it unfavorable for theoretical analysis. There have been a great number of scholars who pay attention to bifurcation dynamics for various models with distributed time delays, such as predator-prey models [30], neural network models [31], Kuramoto oscillators [32], turbidostat models [33], and virus dynamics models [34].

However, so far, there are few results on the study of bifurcation for gene expression processes which have distributed delays. Distributed delays in Gamma-type were incorporated in a cyclic gene expression network [35], and the bifurcation and oscillation were discussed. But their model does not take sRNAs into account, which is depicted in the second equation in system (2). The influence of distributed time delays on dynamical behaviors of a mathematical model of gene expression was studied [36]. Both the cases of the weak and strong delay kernels were addressed. But the model proposed in [36] includes only distributed delays, no discrete delays and sRNAs, while model (2) has mixed delays and is mediated by not only mRNAs and protein, but also sRNAs.

We summarize the main contributions of this article as follows: (1) We first incorporate distributed time delays into genetic expression processes with sRNAs and put forward a novel mathematical model with mixed delays. (2) The proposed model can capture the effects of the distributed delay on the temporal and spatial dynamics of gene expression process. (3) The Hopf bifurcation theory is applied to investigate the dynamic characteristics of a gene expression model with distributed and discrete time delays. (4) Our model and analysis method are applicable to the analysis of gene expression information.

Next, the organization of this paper is as follows. In the case of weak kernel, the stability and local bifurcation of the gene expression model with sRNAs and mixed delays are discussed in Sect. 2. We investigate the existence of periodic oscillations in the case of strong kernel in Sect. 3. In Sect. 4, we give some numerical simulations to support the theoretic results. In Sect. 5, the conclusion is drawn.

2 Case of the weak kernel

For system (2), we consider the weak kernel form and let

$$\begin{aligned} u(t)= \int _{-\infty }^{t} \sigma e^{-\sigma (t-x)}p(x)\,dx. \end{aligned}$$

Then we have

$$\begin{aligned} \textstyle\begin{cases} \dot{x}(t)=-cx(t)-dy(t)x(t)+g(u(t)), \\ \dot{y}(t)=e-dy(t)x(t)-fy(t), \\ \dot{z}(t)=-bz(t)+ax(t-\tau ), \\ \dot{u}(t)=\sigma z(t)-\sigma u(t). \end{cases}\displaystyle \end{aligned}$$

(6)

Assume that $( x^{*},y^{*},z^{*},u^{*})$ is the equilibrium point of system (6), and let $y_{1}=x-x^{*}$, $y_{2}=y-y^{*}$, $y_{3}=z-z ^{*}$, $y_{4}=u-u^{*}$. Then the linearized system of (6) at $( x^{*},y^{*},z^{*},u^{*})$ is as follows:

$$\begin{aligned} \textstyle\begin{cases} \dot{y}_{1}(t)=-(c+dy^{*})y_{1}(t)-dx^{*}y_{2}(t)+g'(u^{*})y_{4}(t), \\ \dot{y}_{2}(t)=-dy^{*}y_{1}(t)-(f+dx^{*})y_{2}(t), \\ \dot{y}_{3}(t)=-by_{3}(t)+ay_{1}(t-\tau ), \\ \dot{y}_{4}(t)=\sigma y_{3}(t)-\sigma y_{4}(t). \end{cases}\displaystyle \end{aligned}$$

(7)

Then we have the following characteristic equation of system (7):

$$\begin{aligned} \det \begin{pmatrix} \lambda +(c+dy^{*})&dx^{*}&0&-g'(u^{*}) \\ dy^{*}&\lambda +(f+dx^{*})&0&0 \\ -ae^{-\lambda \tau }&0&\lambda +b&0 \\ 0&0&-\sigma &\lambda +\sigma \end{pmatrix}=0. \end{aligned}$$

(8)

From (8), we have

$$\begin{aligned} \lambda ^{4}+q_{1}\lambda ^{3}+q_{2}\lambda ^{2}+q_{3}\lambda +q_{4}+(q _{5}\lambda +q_{6})e^{-\lambda \tau }=0, \end{aligned}$$

(9)

where

$$\begin{aligned}& q_{1}=b+\sigma +c+f+dx^{*}+dy^{*}, \\& q_{2}=b\sigma +bc+\sigma c+bf+\sigma f+cf+bdx^{*}+bdy^{*}+ \sigma dx ^{*}+\sigma dy^{*}+cdx^{*}+dfy^{*}, \\& q_{3}=b\sigma c+b\sigma f+bcf+\sigma cf+b\sigma dx^{*}+b \sigma dy ^{*}+bcdx^{*}+\sigma cdx^{*}+bdfy^{*}+ \sigma dfy^{*}, \\& q_{4}=b\sigma cf+b\sigma cdx^{*}+b\sigma dfy^{*}, \\& q_{5}=-a\sigma g'\bigl(u^{*}\bigr), \\& q_{6}=-a\sigma f g'\bigl(u^{*}\bigr)-a\sigma d g'\bigl(u^{*}\bigr)x^{*}. \end{aligned}$$

If iω ($\omega >0$) is the pure imaginary root of (9), we have

$$\begin{aligned}& \omega ^{4}-q_{2}\omega ^{2}+q_{4}+q_{6} \cos \omega \tau +q_{5}\omega \sin \omega \tau \\& \quad {}+i\bigl(-q_{1} \omega ^{3} +q_{3}\omega +q_{5}\omega \cos \omega \tau -q_{6}\sin \omega \tau \bigr)=0. \end{aligned}$$

(10)

Combining the properties of trigonometric functions, we separate the real and imaginary parts and get

$$\begin{aligned} \textstyle\begin{cases} q_{6}\cos \omega \tau +q_{5}\omega \sin \omega \tau =-\omega ^{4}+q _{2}\omega ^{2}-q_{4}, \\ q_{5}\omega \cos \omega \tau -q_{6}\sin \omega \tau =q_{1}\omega ^{3}-q _{3}\omega . \end{cases}\displaystyle \end{aligned}$$

(11)

Then

$$\begin{aligned} \textstyle\begin{cases} \cos \omega \tau =\frac{n_{1}\omega ^{4}+n_{2}\omega ^{2}+n_{3}}{n_{4} \omega ^{2}+n_{5}}, \\ \sin \omega \tau =\frac{n_{6}\omega ^{5}+n_{7}\omega ^{3}+n_{8}\omega }{n_{4}\omega ^{2}+n_{5}}, \end{cases}\displaystyle \end{aligned}$$

(12)

where

$$\begin{aligned}& n_{1}=q_{1}q_{5}-q_{6},\qquad n_{2}=q_{2}q_{6}-q_{3}q_{5}, \\& n_{3}=-q_{4}q_{6},\qquad n_{4}=q_{5}^{2}, \qquad n_{5}=q_{6}^{2}, \\& n_{6}=-q_{5}^{2}, \qquad n_{7}=q_{2}q_{5}-q_{1}q_{6}, \qquad n_{8}=q_{3}q_{6}-q _{4}q_{5} . \end{aligned}$$

This leads to

$$\begin{aligned} d_{1}\omega ^{10}+d_{2}\omega ^{8}+d_{3}\omega ^{6}+d_{4}\omega ^{4}+d _{5}\omega ^{2}+d_{6}=0, \end{aligned}$$

(13)

with

$$\begin{aligned}& d_{1}=n_{6}^{2},\qquad d_{2}=2n_{6}n_{7}+n_{1}^{2}, \\& d_{3}=2n_{1}n_{2}+n_{7}^{2}+2n_{6}n_{8}, \\& d_{4}=n_{2}^{2}-2n_{1}n_{3}+2n_{7}n_{8}-n_{4}^{2}, \\& d_{5}=n_{8}-2n_{2}n_{3}-2n_{4}n_{5}, \qquad d_{6}=n_{3}^{2}-n_{5}^{2} . \end{aligned}$$

Letting $z=\omega ^{2}$, (13) becomes

$$\begin{aligned} d_{1}z^{5}+d_{2}z^{2}+d_{3}z^{3}+d_{4}z^{2}+d_{5}z+d_{6}=0. \end{aligned}$$

(14)

Define

$$\begin{aligned} h(z)=d_{1}z^{5}+d_{2}z^{2}+d_{3}z^{3}+d_{4}z^{2}+d_{5}z+d_{6}. \end{aligned}$$

(15)

Lemma 1

If $d_{6}<0$, there exists at least one positive root for (14).

Proof

By simply calculating, we can easily get $h(0)=d_{6}<0$ and note that $\lim_{z \to +\infty }h(z)=+\infty$. Then there exists $h(z_{a})=0$ for $z_{a}\in (0,+\infty )$. □

We assume that (14) has five positive roots shown as $z_{k}$, $k=1, 2, \ldots , 5$. Clearly, $\omega _{k}=\sqrt{z_{k}}$, $k=1, 2,\ldots ,5$. Thus

$$\begin{aligned}& \tau _{k}^{(j)}=\frac{1}{\omega _{k}} \biggl\{ \arccos \biggl[\frac{n _{1}\omega ^{4}+n_{2}\omega ^{2}-n_{3}}{n_{4}\omega ^{2}+n_{5}} \biggr]+2j \pi \biggr\} , \\& \quad k=1, 2,\ldots , 5; j=0, 1, 2, \ldots . \end{aligned}$$

(16)

Assume that $\tau _{0}=\tau _{k_{0}}^{0}=\min \{ {\tau _{k}^{0}} \}$, and $\omega _{0}=\omega _{k_{0}}$. When $\tau =0$, (9) turns to be

$$\begin{aligned} \lambda ^{4}+q_{1}\lambda ^{3}+q_{2}\lambda ^{2}+(q_{3}+q_{5}) \lambda +q _{4}+q_{6}=0. \end{aligned}$$

(17)

We denote

$$\begin{aligned}& D_{1}=q_{1},\qquad D_{2}=q_{1}q_{2}-q_{3}-q_{5}, \\& D_{3}=q_{1}\bigl[q_{2}(q_{3}+q_{5})-q_{1}(q_{4}+q_{6}) \bigr]-(q_{3}+q_{5})^{2}, \\& D_{4}=(q_{4}+q_{6})D_{3}, \end{aligned}$$

and take the hypothesis as follows:

$$\begin{aligned} (H1) \qquad D_{i}>0,\quad i=1,2,3,4. \end{aligned}$$

It follows from the Routh–Hurwitz criterion that if $(H1)$ holds, all roots of (17) have negative real parts.

Lemma 2

Premeditate the exponential polynomial

$$\begin{aligned}& R\bigl(\omega , e^{-\omega \sigma _{1}}, \ldots , e^{-\omega \sigma _{m}}\bigr) \\& \quad =\omega ^{n}+R_{1}^{(0)}\omega ^{n-1} +\cdots +R_{n-1}^{(0)}\omega +R _{n}^{(0)} \\& \qquad {} +\bigl[R_{1}^{(1)}\omega ^{n-1}+\cdots +R_{n-1}^{(1)}\omega +R_{n}^{(1)}\bigr]e ^{-\omega \sigma _{1}}+\cdots \\& \qquad {} +\bigl[R_{1}^{(m)}\omega ^{n-1}+\cdots +R_{n-1}^{(m)}\omega + R_{n}^{(m)} \bigr]e^{-\omega \sigma _{m}}, \end{aligned}$$

where $\sigma _{i}\geq 0$ ($j=1,2,\ldots , m$) and $R_{i}$ ($i=1,2,\ldots , m$) are constant. As $(\sigma _{1}, \sigma _{2},\ldots \sigma _{m})$ change, the sum of the order of the zeros of $R(\omega , e^{-\omega \sigma }, \ldots , e^{-\omega \sigma _{m}})$ in the open right half plane can be modified only if a zero appears on or crosses the imaginary axis.

Considering the transversal condition, we give the following hypothesis:

$$\begin{aligned}& (H2) \qquad \operatorname{Re} \biggl[\frac{d(\lambda (\tau ))}{d\tau } \biggr]_{\tau =\tau _{0}} \neq 0. \end{aligned}$$

We differentiate (9) and obtain the derivative of delay as follows:

$$\begin{aligned} \biggl[\frac{d\lambda }{d\tau } \biggr]^{-1}=\frac{(4\lambda ^{3}+3q _{1}\lambda ^{2}+2q_{2}\lambda +q_{3})e^{\lambda \tau }+q_{5}}{q_{5} \lambda ^{2} +q_{6}\lambda }- \frac{\tau }{\lambda }. \end{aligned}$$

Then

$$\begin{aligned} \operatorname{Re} \biggl[\frac{d\lambda }{d\tau } \biggr]_{\tau =\tau _{k}^{j}}^{-1} =& \frac{1}{M}\bigl\{ \bigl[(3q_{1}q_{5}-4q_{6}) \omega _{k}^{4}+(2q_{2}q_{6}-q _{3}q_{5})\omega _{k}^{2}\bigr]\cos \bigl(\omega _{k}\tau _{k}^{j}\bigr) \\ & {}-q_{5}^{2}\omega _{k}^{2}- \bigl[4q_{5}\omega _{k}^{5}+(3q_{1}q_{6}-2q _{2}q_{5})\omega _{k}^{3}-q_{3}q_{6} \omega _{k}\bigr]\sin \bigl(\omega _{k}\tau _{k}^{j}\bigr) \bigr\} , \end{aligned}$$

where $M=q_{5}{2}\omega _{k}^{4}+q_{6}^{2}\omega _{k}^{2}$. Note that

$$\begin{aligned} \operatorname{sign} \biggl\{ \operatorname{Real} \biggl[\frac{d\lambda }{d\tau } \biggr]_{ \tau =\tau _{k}^{j}} \biggr\} =\operatorname{sign} \biggl\{ \operatorname{Real} \biggl[\frac{d \lambda }{d\tau } \biggr]_{\tau =\tau _{k}^{j}}^{-1} \biggr\} . \end{aligned}$$

Next, we can derive the following theorem.

Theorem 1

Under $(H1)$ and $(H2)$, we have the following results.

• (i) When $\tau \in (0,\tau _{0})$, the trajectories of model (6) converge to the equilibrium point $( x^{*},y^{*},z^{*},u^{*})$.

• (ii) When $\tau >\tau _{0}$, model (6) presents an oscillatory dynamic near the unstable equilibrium point $( x^{*},y^{*},z^{*}, u^{*})$. More concretely, there exists a Hopf bifurcation when $\tau =\tau _{0}$.

Remark 1

For a gene expression model, it is challenging for us to construct the sufficient conditions of periodic oscillation and local stability when introducing the distributed delays, because the simplification of distributed delays with weak kernel can increase the dimension of the system. The results indicate that the gene expression model with mixed time delay can also produce bifurcation.

3 Case of the strong kernel

In view of the complexity of system (2) with strong kernel, we let

$$\begin{aligned}& u(t)= \int _{-\infty }^{t} \sigma e^{-\sigma (t-x)}p(x)\,dx, \\ & v(t)= \int _{-\infty }^{t} \sigma ^{2} (t-x) e^{-\sigma (t-x)}p(x)\,dx. \end{aligned}$$

Then system (2) becomes

$$\begin{aligned} \textstyle\begin{cases} \dot{x}(t)=-cx(t)-dy(t)x(t)+g(v(t)), \\ \dot{y}(t)=e-dy(t)x(t)-fy(t), \\ \dot{z}(t)=-bz(t)+ax(t-\tau ), \\ \dot{u}(t)=\sigma z(t)-\sigma u(t), \\ \dot{v}(t)=\sigma u(t)-\sigma v(t). \end{cases}\displaystyle \end{aligned}$$

(18)

We assume $( x^{*},y^{*},z^{*},u^{*}, v^{*})$ is one equilibrium point of system (18), and let $y_{1}=x-x^{*}$, $y_{2}=y-y^{*}$, $y_{3}=z-z ^{*}$, $y_{4}=u-u^{*}$, $y_{5}=v-v^{*}$. Then the linearized system of (18) at $(x^{*},y^{*},z^{*},u^{*}, v^{*})$ is as follows:

$$\begin{aligned} \textstyle\begin{cases} \dot{y}_{1}(t)=-(c+dy^{*})y_{1}(t)-dx^{*}y_{2}(t)+g'(v^{*})y_{4}(t), \\ \dot{y}_{2}(t)=-dy^{*}y_{1}(t)-(f+dx^{*})y_{2}(t), \\ \dot{y}_{3}(t)=-by_{3}(t)+ay_{1}(t-\tau ), \\ \dot{y}_{4}(t)=\sigma y_{3}(t)-\sigma y_{4}(t), \\ \dot{y}_{5}(t)=\sigma y_{4}(t)-\sigma y_{5}(t). \end{cases}\displaystyle \end{aligned}$$

(19)

Then we have the following characteristic equation of system (19):

$$ \det \begin{pmatrix} \lambda +(c+dy^{*})&dx^{*}&0&-g'(v^{*})&0 \\ dy^{*}&\lambda +(f+dx^{*})&0&0&0 \\ -ae^{-\lambda \tau }&0&\lambda +b&0&0 \\ 0&0&-\sigma &\lambda +\sigma &0 \\ 0&0&0&-\sigma &\lambda +\sigma \end{pmatrix}=0. $$

(20)

Then

$$\begin{aligned} \lambda ^{5}+q_{1}\lambda ^{4}+q_{2}\lambda ^{3}+q_{3}\lambda ^{2}+q_{4} \lambda +q_{5}+\bigl(q_{6} \lambda ^{2}+q_{7}\lambda +q_{8}\bigr) e^{-\lambda \tau }=0, \end{aligned}$$

(21)

where

$$\begin{aligned}& q_{1}=b+2\sigma +c+f+dx^{*}+dy^{*}, \\ & q_{2}=\sigma ^{2}+2b\sigma +bc+2\sigma c+bf+2\sigma f+cf+bdx^{*}+bdy ^{*}+2\sigma dx^{*} \\ & \hphantom{q_{2}=}{}+ 2\sigma dy^{*}+cdx^{*}+dfy^{*}, \\& q_{3}=b\sigma d^{2}+\sigma ^{2} c+\sigma ^{2} f+2b\sigma c +2b\sigma f+bcf+2\sigma cf+\sigma ^{2}dx^{*}+\sigma ^{2}dy^{*} \\ & \hphantom{q_{3}=}{} +2b\sigma dx^{*}+2b\sigma dy^{*}+bcdx^{*}+2 \sigma cdx^{*}+bdfy^{*}+2 \sigma dfy^{*}, \\ & q_{4}=b\sigma ^{2} c+b\sigma ^{2} f+\sigma ^{2} cf +2b\sigma cf+b \sigma ^{2} dx^{*}+b\sigma ^{2} dy^{*}+\sigma ^{2} cdx^{*} \\ & \hphantom{q_{4}=}{} +\sigma ^{2} dfy^{*}+2b\sigma cdx^{*}+2b\sigma dfy^{*}, \\ & q_{5}=b\sigma ^{2} cf+b\sigma ^{2} cdx^{*}+b\sigma ^{2} dfy^{*}, \\ & q_{6}=-a\sigma g'\bigl(v^{*}\bigr), \\ & q_{7}=-a\sigma ^{2} g'\bigl(v^{*} \bigr)-a\sigma fg'\bigl(v^{*}\bigr)-a\sigma dg'\bigl(v^{*}\bigr), \\ & q_{8}=-a\sigma fg'\bigl(v^{*}\bigr)-a\sigma ^{2} dg'\bigl(v^{*}\bigr)x^{*}. \end{aligned}$$

In order to solve the crossing frequency, we let $\lambda =i\omega$ ($\omega >0$) and (21) turns to

$$\begin{aligned}& \omega ^{5} i-q_{1}\omega ^{4}-q_{2}\omega ^{3} i-q_{3}\omega ^{2}+q_{4} \omega i+q_{5} \\ & \quad {}+\bigl(q_{7} \omega i-q_{6}\omega ^{2} +q_{8}\bigr) (\cos \omega \tau -i\sin \omega \tau )=0. \end{aligned}$$

(22)

It follows that

$$ \textstyle\begin{cases} (-q_{6}\omega ^{2}+q_{8})\cos \omega \tau +q_{7}\omega \sin \omega \tau =-q_{1}\omega ^{4}+q_{3}\omega ^{2}-q_{5},\\ q_{7}\omega \cos \omega \tau -(-q_{6}\omega ^{2}+q_{8})\sin \omega \tau =-\omega ^{5}+q _{2}\omega ^{3}-q_{4}\omega . \end{cases} $$

(23)

Thus,

$$\begin{aligned} \textstyle\begin{cases} \cos \omega \tau =\displaystyle\frac{n_{1}\omega ^{6}+n_{2}\omega ^{4}+n_{3}\omega ^{2}+n_{4}}{n_{5}\omega ^{4}+n_{6}\omega ^{2}+n_{7}}, \\ \sin \omega \tau =\displaystyle\frac{n_{8}\omega ^{7}+n_{9}\omega ^{5}+n_{10}\omega ^{3}+n_{11}\omega }{n_{5}\omega ^{4}+n_{6}\omega ^{2}+n_{7}}. \end{cases}\displaystyle \end{aligned}$$

(24)

This leads to

$$ d_{1}\omega ^{14}+d_{2}\omega ^{12}+d_{3}\omega ^{10}+d_{4}\omega ^{8}+d _{5}\omega ^{6}+d_{6}\omega ^{4}+d_{7}\omega ^{2}+d_{8}=0, $$

(25)

in which

$$\begin{aligned}& d_{1}=n_{8}^{2},\qquad d_{2}=2n_{8}n_{9}+n_{1}^{2}, \\ & d_{3}=2n_{1}n_{2}+n_{9}^{2}+2n_{8}n_{10}, \\ & d_{4}=n_{2}^{2}+2n_{1}n_{3}+2n_{8}n_{11}+2n_{9}n_{10}-n_{5}^{2}, \\ & d_{5}=2n_{1}n_{4}+2n_{2}n_{3}+n_{10}^{2}+2n_{9}n_{11}-2n_{5}n_{6}, \\ & d_{6}=2n_{2}n_{4}+n_{3}^{2}+2n_{10}n_{11}-n_{6}^{2}-2n_{5}n_{7}, \\ & d_{7}=2n_{3}n_{4}+n_{11}^{2}-2n_{6}n_{7}, \\ & d_{8}=n_{4}^{2}-n_{7}^{2}. \end{aligned}$$

Letting $z=\omega ^{2}$, (25) becomes

$$ d_{1}z^{7}+d_{2}z^{6}+d_{3}z^{5}+d_{4}z^{4}+d_{5}z^{3}+d_{6}z^{2}+d _{7}z+d_{8}=0. $$

(26)

Define

$$ l(z)=d_{1}z^{7}+d_{2}z^{6}+d_{3}z^{5}+d_{4}z^{4}+d_{5}z^{3}+d_{6}z ^{2}+d_{7}z+d_{8}. $$

(27)

Lemma 3

If $d_{8}<0$, there exists at least one positive root for (26).

Proof

By simply calculating, we can easily get $l(0)=d_{8}<0$ and note that $\lim_{z \to +\infty }l(z)=+\infty$. Therefore, there exists $l(z_{0})=0$ for $z_{0}\in (0,+\infty )$. □

Suppose that (26) has seven roots with positive real parts defined as $z_{k}, k=1,2,\ldots ,7$. Clearly, $\omega _{k}=\sqrt{z _{k}}$, $k=1,\ldots ,7$. Thus

$$ \begin{aligned}[b] &\tau _{k}^{(j)}= \frac{1}{\omega _{k}} \biggl\{ \arccos \biggl[\frac{n_{1} \omega ^{6}+n_{2}\omega ^{4}+n_{3}\omega ^{2}+n_{4}}{n_{5}\omega ^{4}+n _{6}\omega ^{2}+n_{7} } \biggr]+2j\pi \biggr\} , \\ &\quad k=1,2,\ldots ,7; j=0,1,2,\ldots . \end{aligned} $$

(28)

Define $\tau _{0}=\tau _{k_{0}}^{0}=\min \{ {\tau _{k}^{0}} \}$, and $\omega _{0}=\omega _{k_{0}}$. When $\tau =0$, (21) turns to be

$$ \lambda ^{5}+q_{1}\lambda ^{4}+q_{2}\lambda ^{3}+(q_{3}+q_{6}) \lambda ^{2}+(q_{4}+q_{7})\lambda +q_{5}+q_{8}=0. $$

(29)

Define

$$\begin{aligned}& D_{1}=q_{1},\qquad D_{2}=q_{1}q_{2}-q_{3}-q_{6}, \\& D_{3}=(q_{3}+q_{6}) (q_{1}q_{2}-q_{3}-q_{6})-q_{1} \bigl[q_{1}(q_{4}+q _{7})-q_{5}-q_{8} \bigr], \\& D_{4}=(q_{4}+q_{7})D_{3}-(q_{5}+q_{8}) \bigl\{ q_{1}\bigl(q_{2}^{2}-q _{4}-q_{7} \bigr)-\bigl[(q_{3}+q_{6})q_{2}-q_{5}-q_{8} \bigr] \bigr\} , \\& D_{5}=(q_{5}+q_{8})D_{4}. \end{aligned}$$

For the correctness of the theory, we give the following necessary assumption:

$$\begin{aligned}& (H3) \qquad D_{i}>0,\quad i=1,2,\ldots ,5. \end{aligned}$$

It complies with the Routh–Hurwitz criterion that the equilibrium point of system (18) without delays is asymptotically stable if $(H3)$ holds.

We give the following hypothesis:

$$\begin{aligned}& (H4) \qquad \operatorname{Re} \biggl[\frac{d(\lambda (\tau ))}{d\tau } \biggr]_{\tau =\tau _{0}} \neq 0. \end{aligned}$$

Consider the derivative of (21) with the respect to τ:

$$\begin{aligned} \biggl[\frac{d\lambda }{d\tau } \biggr]^{-1}=\frac{(5\lambda ^{4}+4q _{1}\lambda ^{3}+3q_{2}\lambda ^{2}+2q_{3}\lambda +q_{4})e^{\lambda \tau }+2q_{6}\lambda +q_{7}}{q_{6}\lambda ^{3}+q_{7}\lambda ^{2}+q_{8} \lambda }- \frac{\tau }{\lambda }. \end{aligned}$$

(30)

Then

$$\begin{aligned} \operatorname{Re} \biggl[\frac{d(\lambda (\tau ))}{d\tau } \biggr]_{\tau =\tau _{k} ^{j}}^{-1} = &\frac{1}{N} \bigl\{ \bigl[(5\omega _{k}^{4}\cos \bigl(\omega _{k}\tau _{k}^{j}\bigr) +4q_{1}\omega _{k}^{3}\sin \bigl(\omega _{k}\tau _{k}^{j}\bigr) -3q_{2} \omega _{k}^{2}\cos \bigl(\omega _{k}\tau _{k}^{j}\bigr) \\ & {}-2q_{3}\omega _{k}\sin \bigl(\omega _{k} \tau _{k}^{j}\bigr)+q_{4}\cos \bigl(\omega _{k} \tau _{k}^{j}\bigr)\bigr] \bigl(-q_{7}\omega _{k}^{2}\bigr)+\bigl[5\omega _{k}^{4}\sin \bigl(\omega _{k} \tau _{k}^{j}\bigr) \\ & {}-4q_{1}\omega _{k}^{3}\cos \bigl(\omega _{k}\tau _{k}^{j}\bigr)-3q_{2}\omega _{k} ^{2}\sin \bigl(\omega _{k}\tau _{k}^{j}\bigr)+2q_{3}\omega _{k}\cos \bigl(\omega _{k}\tau _{k}^{j}\bigr) \\ & {}+q_{4}\sin \bigl(\omega _{k}\tau _{k}^{j} \bigr)\bigr]\bigl(q_{8}\omega _{k}-q_{6}\omega _{k} ^{3}\bigr)+2q_{6}\omega _{k} \bigl(q_{8}\omega _{k}-q_{6}\omega _{k}^{3}\bigr)-q_{7}^{2} \omega _{k}^{2} \bigr\} , \end{aligned}$$

where $N=q_{7}^{2}\omega _{k}^{4}+(q_{8}\omega _{k}-q_{6}\omega _{k}^{3})^{2}$. Note that

$$\begin{aligned} \operatorname{sign} \biggl\{ \operatorname{Real} \biggl[\frac{d\lambda }{d\tau } \biggr]_{ \tau =\tau _{k}^{j}} \biggr\} =\operatorname{sign} \biggl\{ \operatorname{Real} \biggl[\frac{d \lambda }{d\tau } \biggr]_{\tau =\tau _{k}^{j}}^{-1} \biggr\} . \end{aligned}$$

Combining with the above theoretical analysis, we can draw the following theorem.

Theorem 2

Under the conditions of $(H3)$ and $(H4)$, we have the following results.

• (i) When $\tau \in (0,\tau _{0})$, the trajectories of model (18) converge to the equilibrium point $(x^{*},y^{*},z^{*},u^{*},v^{*})$.

• (ii) When $\tau > \tau _{0}$, model (18) shows an oscillatory dynamic. Furthermore, a Hopf bifurcation takes place at the equilibrium point $(x^{*},y^{*},z^{*},u^{*},v^{*})$ when $\tau =\tau _{0}$.

Remark 2

The appearance of strong kernel may greatly increase the dimension of the gene model, which makes the dynamic characteristics of the model more complicated. As the bifurcation parameters change, the phase diagrams of u and v can also produce limit cycles.

4 Numerical example

We will make some MATLAB simulations of the gene expression model to support the theoretical analysis obtained above in this section.

We take the following model with weak kernel form into consideration:

$$\begin{aligned} \textstyle\begin{cases} \dot{x}(t)=-0.2x(t)-y(t)x(t)+\frac{200}{100+u^{2}}, \\ \dot{y}(t)=1-y(t)x(t)-0.25y(t), \\ \dot{z}(t)=-0.1z(t)+x(t-\tau ), \\ \dot{u}(t)=1.2z(t)-1.2u(t), \end{cases}\displaystyle \end{aligned}$$

(31)

which includes an equilibrium point $(x^{*},y^{*},z^{*},u^{*})=(1,0.8,10,10)$. By calculating, we can obtain that $\tau _{0}=6.834$. It is known from Theorem 1 that system (31) is asymptotically stable at the equilibrium point when $\tau \in (0,\tau _{0})$ (see Figs. 1 and 2), while system (31) produces a limit cycle when $\tau >\tau _{0}$ (see Figs. 3 and 4).

Figure 1

The equilibrium $(1,0.8,10,10)$ of system (31) is asymptotically stable when $\tau =6.6 < \tau _{0}=6.834$

Figure 2

The phase plots of system (31). It is asymptotically stable when $\tau =6.6 <\tau _{0}=6.834$

Figure 3

A Hopf bifurcation occurs when $\tau =7 >\tau _{0}=6.834$, which means that system (31) is unstable

Figure 4

The phase plots of system (31). It is unstable with $\tau =7>\tau _{0}=6.834$

Next, we consider the case of strong kernel. The model is as follows:

$$\begin{aligned} \textstyle\begin{cases} \dot{x}(t)=-0.2x(t)-y(t)x(t)+\frac{200}{100+v^{2}}, \\ \dot{y}(t)=1-y(t)x(t)-0.25y(t), \\ \dot{z}(t)=-0.1z(t)+x(t-\tau ), \\ \dot{u}(t)=1.2z(t)-1.2u(t), \\ \dot{v}(t)=1.2u(t)-1.2v(t). \end{cases}\displaystyle \end{aligned}$$

(32)

There is an equilibrium point $(x^{*},y^{*},z^{*},u^{*},v^{*})=(1,0.8,10,10,10)$ for system (32). A Hopf bifurcation occurs and a periodic oscillation appears around the equilibrium point when τ crosses the critical value $\tau _{0}=6.153$ which is calculated by (28). From Theorem 2, when $\tau \in (0,\tau _{0})$, the equilibrium $(x^{*},y^{*},z^{*},u^{*},v^{*})$ is stable (see Figs. 5 and 6). When τ passes through an appropriate value, it can cause the loss of stability of equilibrium $(x^{*},y^{*},z^{*},u^{*},v^{*})$, and system (32) produces an oscillation phenomenon (see Figs. 7 and 8).

Figure 5

The equilibrium $(1,0.8,10,10,10)$ of system (32) is asymptotically stable when $\tau =5.8 <\tau _{0}=6.153$

Figure 6

The phase plots of system (32). It is asymptotically stable when $\tau =5.8 <\tau _{0}=6.153$

Figure 7

A Hopf bifurcation occurs when $\tau =6.5 >\tau _{0}=6.153$, which means that system (32) is unstable

Figure 8

The phase plots of system (32). It is unstable when $\tau =6.5>\tau _{0}=6.153$

Remark 3

From the aforementioned simulation, we can clearly observe that the bifurcation parameter $\tau _{0}$ in system (31) is smaller than that in system (32). This phenomenon indicates that the system with strong kernel can advance the generation of bifurcation, which means the stable domain of the system can shrink accordingly. Seen from long-term, it may play an important role in analyzing the stability of gene expression processes.

Remark 4

It can be found that after the coordinate transformations, the dimension of the gene network with the strong kernel is higher than that of the weak kernel. However, the genetic models with strong kernel or weak kernel are asymptotically stable when the bifurcation parameters are less than the critical value, and generate limit cycles when the bifurcation parameters are greater than the critical value.

5 Conclusion

We introduce distributed time delays into a gene expression model with sRNA in this paper. Specifically, we take two forms of distributed delays into consideration. The introduction of distributed time delay increases the dimension of the network and makes the dynamic behaviors more complex. However, it can describe the time delay of the actual genetic express process more accurately. Here, we take the time delay as the bifurcation parameter to reveal the dynamic behavior of the model. Based on the bifurcation analysis of the gene expression model, we obtain that the model is asymptotically stable when the time delay is suitable. Meanwhile, when the delay is greater than the critical value, the model will lose the stability and produce limit cycles.

This paper mainly discusses the effects of distributed delay of the strong kernel and the weak kernel on the stability and periodic oscillation of gene regulatory networks. We consider the case where the delay core is 0 and 1. Our future work will be devoted to the dynamical analysis of genetic regulatory networks having a delay core greater than 1. The dimension of the network may increase greatly, which makes the analysis more challenging.